*n + 591. Let a be p(31). Is a at most as big as -2/5?
False
Let b = 0.05 + 22.95. Let l = 23.3 - b. Let f = l - 1.3. Is f smaller than 1?
True
Let h(u) be the third derivative of 14*u**5/15 + u**4/8 + 20*u**2. Let n be h(1). Is 60 greater than n?
True
Let u be (-7)/(28/(-216)) - 4. Suppose 0*w - 2*w - u = 0. Is -26 greater than or equal to w?
False
Let g(v) = v**2 - 25*v + 57. Let f be g(22). Which is bigger: -32 or f?
f
Suppose 5*q = u, -4*u = -3*q + 4*q. Let l = -19/7 - -53/35. Which is bigger: q or l?
q
Let k(h) = -2 + 4*h**2 - 6*h**2 - 7*h + 3*h**2 + 14. Let b be k(5). Suppose 45 = -5*j + 2*z - 3*z, -b*z - 18 = j. Which is smaller: j or -10?
-10
Suppose -2*a - a = -3*z + 21, 0 = -3*z + 5*a + 29. Suppose -z*k = -3*k + k. Which is smaller: k or -3/7?
-3/7
Suppose -3*v + 4*u = 14, -2*v + 0*v - 16 = -4*u. Suppose -2*c - 23*c = -125. Which is bigger: v or c?
c
Let g = -40 - -12. Let o be -18*(g/8 + 0). Let r be (-3 + o/12)/(-6). Which is smaller: r or 0.1?
r
Suppose 0 = -c - 0 - 34. Suppose -2*v + 0*v = 66. Let g = c - v. Which is smaller: g or 1/19?
g
Let x = 1 - 5. Let c = x - -3.98. Which is smaller: c or 1?
c
Let q(t) = -t**3 + 3*t**2 - t - 3. Let y be q(2). Let c be 4*(0 - y) + (-18)/6. Is 0 at most as big as c?
True
Let v = 0.1 + -0.1. Let p = v - 0.3. Let g = -0.2 - p. Is g greater than or equal to 3?
False
Let z be (-1)/(-1) + (-6)/(-2). Suppose -4 = -v, -2*m = 2*m + 5*v - z. Let y be (-4)/(-6) - 44/12. Is y less than m?
False
Suppose -51 - 79 = -26*k. Let t(s) = 7 - 3*s + 0 - 1. Let v be t(k). Which is greater: v or -8?
-8
Let l be 1 + (3 - 1 - 1). Suppose -3*h = 5 + 1, 3*w - 491 = 4*h. Let o = w - 162. Which is smaller: o or l?
o
Suppose -26*i = -8*i + 36. Let k be (0 - -1) + (-27)/12. Is i > k?
False
Let s(k) = k**2 - 16*k - 34. Let l be s(18). Let h be (0 + l - 0)*(-10)/4. Which is smaller: h or -4?
h
Let m be 75/35 - 2 - (-16)/(-14). Let g = -141/7 - -2411/119. Is g bigger than m?
True
Let l = 40/17 - 1153/136. Which is greater: -6 or l?
-6
Suppose -5*y + 30 = -5*o, -4*y + 7 = -2*o - 11. Suppose 2*l - x + 3*x = -6, -3*l = -3*x - y. Which is greater: l or 3/73?
3/73
Let x(i) = i**2 + 8*i + 7. Suppose g - 22 = 5*d + 13, -d - 5*g = 7. Let f be x(d). Do f and 2/55 have the same value?
False
Let n be (-159)/77 - (-159)/371. Let u be (-2)/(-6) - (-12)/(-9). Is n smaller than u?
True
Suppose -33*b = -10*b - 184. Which is smaller: 1/3 or b?
1/3
Suppose -12 = -3*t, 22 + 16 = -3*p + 5*t. Suppose 4*h + 52 = -4*s, 5*s + h + 3*h = -60. Does s = p?
False
Let x = -601 + 659. Which is smaller: x or 60?
x
Let p(d) = -d**3 - d**2 + 9. Suppose -2*t + 30 = 4*t. Let j be p(t). Let b = -2257/16 - j. Which is bigger: b or 1?
1
Suppose -3*g = 3*z - 21, z + z + 16 = 4*g. Suppose -h + 35 = 5*r, g*r - 7 - 28 = -3*h. Suppose -4*x - 5*l + 0 = -r, 5*l - 19 = 2*x. Which is smaller: -1 or x?
x
Suppose v - 75 = -2*n, -11*n + 14*n = -5*v + 368. Which is bigger: v or 75?
75
Suppose -2*w = -3*y - y + 34, 0 = -4*y - 2*w + 14. Suppose 0 = 2*z + f + 3, 2*f + 18 = 4*z + 44. Let m be (y/z)/(18/(-78)). Is m smaller than 6?
False
Suppose -1146 - 830 = 8*l. Which is greater: -250 or l?
l
Let j(u) = 2*u**2 + 34*u - 24. Let a be j(-18). Suppose -2*r - 46 = -16. Let o be a/(-15) + 93/r. Which is smaller: o or 1?
o
Let t = 1 + -2. Let s = t - -0.8. Let k be (-3)/(-12)*(-4 - 2). Is k less than s?
True
Let g = -328 + 331. Let y(d) = -d**3 - 5*d**2 + d - 5. Let z be y(-5). Let x = z - -14. Is g <= x?
True
Let f = -2210 + 3537. Let d = f + -759. Let t = 1720/3 - d. Is t less than or equal to 6?
True
Let l = -9206 + 9146. Let i be 8/12 - 364/6. Do i and l have the same value?
True
Let j be ((-8)/8)/((-2)/190). Let p = 30 - j. Let y be ((-2)/p)/(13/(-65)). Is y at least 0?
False
Suppose -16 = -6*s + 4*s. Suppose 6 = u - 3*v, s*u + 4*v + 8 = 3*u. Which is smaller: -3/7 or u?
-3/7
Let v be (-2*3/(-24))/(414/(-24)). Let f = 25/138 + v. Is f bigger than -0.2?
True
Let q = -191379/28577 + -15/1681. Which is greater: q or -7?
q
Let n(i) = -i**3 - 2*i**2 - 3. Suppose 2*y + 21 = -5*y. Let x be n(y). Let m be (-59)/(-21) + x/18. Which is smaller: m or 4?
m
Let o(i) = -18*i + 11. Let a be o(-4). Which is greater: a or 84?
84
Let b be 4 + (2 - 104/(-4)). Let v = b - 34. Are -14/5 and v equal?
False
Let p(j) = -j**2 - 20*j + 20. Let f(h) = 3*h**2 + 41*h - 39. Let m(t) = -2*f(t) - 5*p(t). Let i be m(17). Let y be (-18)/4 + (-1)/2. Is y greater than i?
False
Let s = -168.4 - -183. Let y = -14.6 + s. Which is greater: y or -2/19?
y
Let j = -34641/433 + 80. Is -1 at most as big as j?
True
Let a be ((-4)/8)/((-873)/(-36)). Do a and 2/11 have different values?
True
Let u be (1/4 - 0)*1. Let r = -5.33 + -0.17. Let k = r + 3.5. Which is smaller: u or k?
k
Suppose -6*g = -11*g + 15. Let o be ((-2)/g*-3)/(12/(-4)). Is o greater than -1?
True
Let y(a) = -a**2 + a. Let p(h) = -23*h**3 + 4*h**2 - 3*h - 1. Let s(k) = p(k) + 3*y(k). Let i be s(-1). Suppose -5*x + 3 = i. Is x not equal to -3?
True
Let w = 2 - 5. Let f be (-7 + 22)*1/w - 4. Which is smaller: f or 0?
f
Suppose -2*y + 43 - 15 = 0. Let h be ((-4)/12)/(y/48). Which is bigger: h or -1?
-1
Let z = -9.03 - -9. Let o = 0.11 - -0.04. Let f = 0.35 - o. Is z not equal to f?
True
Let z be (-1512)/(-26) - (7 - (-89)/(-13)). Which is greater: z or 61?
61
Let m be -10 - 0/5 - 0. Let b be 14/28 - 25*m/(-4). Is b at most -62?
True
Let k(g) = 5*g - 1. Let b be k(-2). Let w be 2 - (-3 - (-3 - 0)) - 54. Let y = 43 + w. Is y at most b?
False
Let w = -150.2 + 151. Is 27 > w?
True
Let r be 5 - (141/3)/(3 + -4). Does r = 51?
False
Suppose -z - 532 = 18*z. Are z and 2 equal?
False
Let o(t) = t - 10. Let f be o(10). Let m(h) = f*h - 4 + 2*h + 20. Let s be m(-7). Which is smaller: 0 or s?
0
Let o = 388 + 402. Let z = 46612/59 - o. Let v be (1 - 1)/(1 - 3). Is v > z?
False
Let o(m) = -m**2 + 11*m - 26. Let r be o(6). Let k(d) = -d**3 + d**2 + 10*d - 6. Let h be k(r). Are -12 and h nonequal?
True
Let g = 3.2 - -0.8. Let m = g + -3.7. Let j = 207/602 - 5/86. Which is bigger: j or m?
m
Let w = -2286/13 - -176. Suppose 29 + 3 = 2*k. Suppose -k = 4*n, -20 = 4*x - x + 5*n. Is x at least as big as w?
False
Let s = -0.1 - -0.13. Let z = 0.1 - s. Let y = z + -0.11. Which is smaller: -1 or y?
-1
Let g be -4 + 16/6*(-9)/(-6). Is 14/11 at most g?
False
Suppose 0 = 16*u - 4*u - 192. Suppose 20*w - 28 = u*w. Is 0 not equal to w?
True
Let z be (2 - 1)/((-104)/(-20) + -5). Suppose z*r + 6 = -4. Is r less than -10/3?
False
Suppose 3*t + 4*w - 22 = 0, -w - 23 = -3*t - 6. Let z be t/9 + 2/(-6). Let g = -23.9 - -24.2. Which is bigger: z or g?
z
Let v be 636/(-2745) + (-8)/(-60). Let g = 346475/2783979 + -3/5071. Let s = g - v. Is s smaller than -1?
False
Suppose -4*j - 9 = 5*i + 23, 0 = 5*i - j + 42. Let q be ((4/i - -2)*-11)/2. Is -8 less than or equal to q?
False
Let w(v) = v - 1. Let z(j) = j**2 - 7*j + 12. Let u(q) = -6*w(q) + z(q). Let p be u(12). Is 8 at least as big as p?
True
Let b be ((-20)/(-195))/(2/(-12)). Let d = 75/26 - b. Which is smaller: 5 or d?
d
Let s be (-20)/(1/(-3)*-3). Let p be ((-6)/s)/((-12)/(-10)). Let w = -380 - -380. Do p and w have different values?
True
Let d = 0 + 0. Let g be (-84)/(-18) - 31/(-93). Suppose -4*v - 12 = d, 2*x + 2*x = g*v + 19. Which is greater: 18/11 or x?
18/11
Let m = 49 + -140. Let h be -2 + m/(-29) + -1. Is 1 smaller than h?
False
Suppose -5*m - 45 + 5 = 0. Let i = m + 13. Let n be (3/4)/(i/20). Which is greater: n or -2/3?
n
Suppose 5*p + y + 59 - 20 = 0, 3*y = -p - 5. Let s be (9/(-4))/(3/p). Let w be (-3)/9 - 4/s. Which is smaller: w or 0.23?
w
Let t = -282 - -42. Let j = 239214/5 - 48085. Let m = j - t. Which is bigger: m or -1?
-1
Let r = 16 + -12. Suppose -k = -4*f - 5, -r*k + 4 = -0*k. Let q be -11*(-2)/12 - 2. Which is greater: q or f?
q
Let k = 275 - 279. Which is smaller: k or -11/4?
k
Let m(v) = v**3 + v**2 - 2*v + 2. Let j be m(1). Suppose 19 = 4*i - 3*t, 3*i + j*t = -i - 6. Which is smaller: -2/9 or i?
-2/9
Let s = 12 - 3. Suppose -2*f - f + s = 0. Suppose 6*v = 3*q + v + 44, -28 = 5*q + f*v. Are -9 and q equal?
False
Let x be (2 - 0) + (-1 - 63). Let d be 1 - -1 - x/(-6). Is d > -7?
False
Let u = -663 - -662.91. Is 4 greater than or equal to u?
True
Suppose 0 = 5*j - 93 + 18. Let a be 2/(-24)*((-80)/j)/8. Suppose 0*k + 2*k