= f**2 + 33*f + 63. Let j be b(-31). Let z be 2*(489/(-162) + 3). Is j less than or equal to z?
False
Let b = -364 + 364.1. Which is smaller: b or -7.3?
-7.3
Let r = 32.8 - 37.8. Which is greater: -45 or r?
r
Let s = 0.1 + -0.1. Let d(g) = g - 4. Let o be d(0). Let y be 1/(o - 1/(-2)). Which is smaller: s or y?
y
Let r be 6*((-1)/((-8)/(-28)) - -3). Let g be r/(-12)*-14 + 4. Let n = 0.1 + -0.1. Which is smaller: g or n?
n
Let q = -29 + 57/2. Let p = 14.91 + -15. Does q = p?
False
Let n = 31 + -63. Let l = 65/2 + n. Are l and -2/7 non-equal?
True
Let u = -1663.19 + 1652. Let g = -11 - u. Is 0 greater than g?
False
Let f(p) = -p**2 + 5*p + 4*p**3 + 0*p**2 - 5*p + p. Let w be f(1). Suppose w*g + 2 = 2*g. Is 1 less than g?
False
Let m be (-132)/(-5) + (-4)/10. Let t be (-8)/(-12) - m/(-6). Let w = -6 + t. Is w at least -1?
True
Let w = 531.9 + -532. Which is bigger: 307 or w?
307
Let c = -19.9 + 28.9. Which is smaller: 5 or c?
5
Let p(q) = -q**3 - 5*q**2 - 4*q + 5. Let t be p(-4). Let a(b) = b**3 - 6*b**2 + 4*b + 5. Let m be a(t). Suppose -5*u = -m*u - 5. Which is smaller: -1/3 or u?
-1/3
Let s = 414 + -201. Suppose 59 + s = -2*q. Let x be 1/4 + q/32. Do x and 0.3 have different values?
True
Let f = -0.093 + 30.093. Let u = f + -28. Are 2/13 and u equal?
False
Let z(w) = w**2 + 6*w - 5. Let g be z(-7). Suppose 0 = -3*r - g*k - 89 - 36, -3*r = -k + 140. Let q be 130/r + (-6)/(-2). Is 1 at least q?
True
Suppose -3*a - 9 = 0, -5*n + 0*a = 4*a + 187. Let s = -337 - -303. Which is greater: n or s?
s
Let n be 1/4 + 553/140. Suppose -3*u - 54*g + 9 = -51*g, -g = 0. Which is greater: u or n?
n
Suppose 41*a - 32*a - 594 = 0. Are 67 and a nonequal?
True
Let l = -83.6 + 54.1. Is 2/3 > l?
True
Suppose -19 = -6*k + 1319. Which is bigger: k or 225?
225
Let l(z) = -5*z**2 + 15*z + 23. Let t(h) = h**2 - 1. Let y(g) = -l(g) - 6*t(g). Let n be y(-13). Let w be 8/36 - 101/n. Which is bigger: -21/2 or w?
-21/2
Let w(x) = -6*x**3 + 2*x**2 - 3*x + 1. Let g be w(1). Is g not equal to -3?
True
Let m(i) = -i**2 + i - 25. Let v be m(0). Let u = v - -24. Is -7/6 at least u?
False
Let p be ((-2)/(-8))/((-10)/40). Which is bigger: p or 46?
46
Let r be -4 + 6 - (-1356)/(-3). Let c be 28068/r*(-21)/(-2). Let q = c - -655. Which is smaller: -1 or q?
-1
Let a(l) = l**2 + 6*l. Let r be a(-6). Let j be (-4178800)/3204 - 2/(-9) - -4. Let n = 1300 + j. Which is smaller: r or n?
n
Let x(z) = -70*z**2 - 38*z - 107. Let q be x(-3). Is q != -624?
True
Suppose -2*m - 2*m = -60. Let a = m - 1. Is a at most as big as 0?
False
Let j = 489 - 488. Is j > 41?
False
Let i be 2/9 + 12/864*2504. Is i at most as big as 0.5?
False
Let i be -1 - (314/(-104) - -2). Let b be (18/18 + (-2)/1)/1. Is i < b?
False
Let n be 2/(-8) - 0 - 36/48. Let z(g) = -g**2 - 4*g - 3. Let x be z(n). Suppose 0 = -2*b + b - 1. Is x greater than b?
True
Let c be (5 + -1)*14/140. Let g = 7 - 7.08. Let w = g + -0.12. Which is smaller: c or w?
w
Suppose -5*p - 2*y + 160 = y, 0 = -5*p - y + 170. Suppose 2*v + 3*v - p = -5*t, 3*v = -4*t + 25. Let k be t/((-24)/(-14)) + -2. Which is greater: k or -11?
k
Let w be (-24)/235 - 2/(-5). Let c = w - -118/235. Let k(s) = -24*s - 432. Let o be k(-18). Is c > o?
True
Let j = -181 + -3. Let v = j + 122. Is v at least as big as -61?
False
Let f(l) = -l**2 + 4*l + 5. Let m be f(5). Let b be (-2 - (-801)/318) + 6 + -7. Let x = b + -1/53. Which is smaller: x or m?
x
Let c(m) = 12*m + 5. Let h be c(-6). Suppose 1278*w + 198 = 1275*w. Is h less than or equal to w?
True
Let m be (2*-16)/(0 + -2). Suppose f + 2*r + 6 = 0, 2*r + 2 = 5*f - m. Are 2 and f equal?
True
Suppose 5*g + 2*c - 41 = -142, -79 = 4*g + c. Let k = g - -16. Let q be k/(-27)*(-3 - -5). Are -0.9 and q equal?
False
Let q be (32/18 - 26/(-117))/(-2). Is q at most as big as -5/3?
False
Let n = -18 + 20. Let s be 3 + n + (-134)/28. Let q(v) = -v**2 - 7*v. Let b be q(-7). Which is smaller: b or s?
b
Let u(a) = -a**3 - 8*a**2 + 16*a - 7. Let y be u(-10). Suppose 2*d + 170 = 7*d. Is y at least d?
False
Let q be (-6)/93*15/(-24). Is q at least 1?
False
Let b = 15 - 8. Let z(v) = -7*v**3 + 0 - b*v + 0 + 8*v**3 + 6*v**2. Let h be z(-7). Which is smaller: -2 or h?
-2
Let z = -14.0527 - -0.0527. Is 2/5 bigger than z?
True
Let o(c) be the third derivative of -c**4/24 + 5*c**2. Let v(n) = -3*n + 6. Let u(k) = -4*o(k) + v(k). Let g be u(-3). Which is greater: g or 1?
g
Let h(g) be the second derivative of -g**5/20 + 2*g**4/3 - 2*g**3 - 7*g**2/2 + 17*g. Let p be h(5). Let o(u) = 2*u - 1. Let w be o(2). Which is bigger: w or p?
p
Let d = 73.7 + -78.7. Is 2/11 greater than or equal to d?
True
Suppose 8 = 2*h, 8 = -2*r + 4*r - 5*h. Suppose 2*q + r = 4*q. Suppose 2*a + q = n, 3*n + 2 - 20 = 3*a. Which is smaller: a or -1/4?
a
Suppose o + 24 = 4*o. Let w be (o/20)/((-2)/20). Are w and -3 non-equal?
True
Let x be (-18)/4*226/(-6). Let k = 779/6 - x. Let j = -40 - k. Is 1 < j?
False
Let o(l) = -l**2 - 6*l + 5. Let t be o(-5). Suppose 0 = -t*s + 4*s. Let q be 0 + -2 - 28/(-20). Which is smaller: s or q?
q
Let b = -1513 + 10635/7. Are b and 5 non-equal?
True
Let n(s) = -9*s**2 - 109*s + 51. Let m be n(-12). Which is greater: 64 or m?
64
Suppose 3*t - 68*t + 924 = t. Let y be 11 - (0 + 0) - -1. Is y not equal to t?
True
Let s = 436791/161 - 2713. Let x be 0/((-10)/35*7). Which is greater: x or s?
x
Let y = -40 - 0. Let h be 5/y*2*1. Which is greater: 1 or h?
1
Suppose l + 1 = -0*l. Suppose -h + 2*h = -4*f + 16, -5*f + 2*h = -7. Let p be (-2 - (0 - f))/(-1). Is p at most l?
True
Let b be 1 + -1 - (6 - 1). Let f be (-3)/(-1) + (-15 - 1). Let j = f - b. Which is greater: j or -2?
-2
Suppose -z = -3*z + 14. Suppose c = z*c + 42. Let d be (-2 - 0) + (-3 - c). Is d bigger than 2?
False
Suppose 20 = 4*o - 2*o. Suppose 8*j = 3*j + o. Suppose 3*y + 1 + j = 0. Which is bigger: -10/7 or y?
y
Let y = -10 + 20. Let o = -9.3 - -8. Let x = o - -2.3. Is y <= x?
False
Let u = -3/11 + 17/22. Let y be (-1)/((-8 - -4)/56). Is y at most u?
False
Suppose 238 = -6*y + 22. Let f be (-1)/(-1) + y/9. Do f and -3 have different values?
False
Let o(c) be the third derivative of c**6/120 - 7*c**5/60 + c**4/12 + 7*c**3/6 + c**2. Let d be o(7). Let k = d - 21. Is -3/5 >= k?
False
Let n = -27.8 - -27.974. Is n smaller than 1?
True
Let v be 277/4 - 1/4*1. Is 71 > v?
True
Let s be 11 + 0 - 6072/56. Which is bigger: s or -97?
-97
Suppose 5 = -s - 3*q, 3*s - 5*q + 3 = -2*q. Suppose 4*l + 0 = 12. Let o be l/(-4)*(-4)/(-6). Which is smaller: o or s?
s
Let f = 8/8317 - 1164612/241193. Which is greater: f or -5?
f
Suppose -27 = 2*s + 5*a - 68, 4*s - a - 115 = 0. Let i be (12/(-7))/(114/s + -6). Does i = 2?
False
Let z = 0 - -4. Let d be 9/z + (-3)/(-4). Suppose 2*r - r + d = -y, 3*r = -9. Is -2/25 greater than y?
False
Suppose -4*y + 3*y + 9 = 0. Let i be (y/(-4))/(1/4). Let z be (1 - 7) + 2 - 6. Which is bigger: z or i?
i
Let h(l) = l**2 + 3*l - 15. Suppose -4*k - 9 = 15. Let i be h(k). Is i > 11/6?
True
Suppose 286 + 122 = 12*z. Which is greater: z or 32?
z
Suppose -24 = -0*y - 6*y. Suppose j = 4*g + 25, -3*g + 5 = -0*g + y*j. Do g and -8 have different values?
True
Let j(n) = 2*n**2 + 90*n - 198. Let t be j(-49). Is 190 at least as big as t?
False
Let y be 16/32 - (-2 + (-1135)/(-410)). Which is smaller: y or -1?
-1
Suppose -1548 = 55*t - 59*t. Which is greater: t or 389?
389
Let m = -203 - -302. Let i = m - 102. Are i and -4 unequal?
True
Suppose -15 = -5*j + 5*c, -j = -c + 2*c - 1. Suppose j*y - 6*y + 68 = 0. Suppose -2*d = -2*p + 3 + 3, -y = p + 3*d. Is p greater than -4/7?
False
Let o(u) = -u**2 - u + 2. Let g be o(0). Let q be 8/(-3)*195/(-70). Let z = 58/7 - q. Is g greater than z?
True
Let q(j) = -5*j - 34. Let z be q(-8). Which is smaller: 7 or z?
z
Let f = -11.979 + 12. Let u = 10.979 + f. Which is greater: u or -2?
u
Let p be (-60 - -62)*(-3)/2. Which is greater: 1/32 or p?
1/32
Suppose 0 = 5*u + 37 - 47. Let z be (-21)/2*2/(-3). Suppose z*s - 8 = 5*s + 2*d, -5*s + 2*d = -11. Is s > u?
False
Let b = -8.93 + 8.83. Are b and -0.601 equal?
False
Suppose a = -2*a + 6. Suppose -3*j = -32 + a. Let l = j + -12. Which is greater: -4 or l?
l
Suppose 66 = 19*c - 48. Do c and 12 have the same value?
False
Suppose 2*l + 15 - 29 = -4*u, 5*u = 3*l - 10. Is u bigger than -26/77?
True
Suppose 