 h be 47/2 - (0 - 3). Let t = h - 27. Let m = 17 - 19. Which is bigger: m or t?
t
Let m be (-4)/(-26) - 1104/6838. Let c = 568/5523 + m. Do 1 and c have the same value?
False
Let i = 0.11 - 4.11. Let u = -3.9 - i. Let q be (-98)/(-24) + 15/(-20). Which is smaller: q or u?
u
Let k be -4 - (9/(-3) - 1). Suppose -29*z + 24*z - 5 = k. Is z at most -4/5?
True
Let l = 1325 - 2647/2. Do l and 3 have the same value?
False
Let m = -288 + 288. Let r be (-6)/21 - (-256)/994. Which is smaller: r or m?
r
Let o = -101 - -90. Let z(b) = 11*b + 1. Let k(n) = n**2 - n + 1. Let d(l) = -k(l) - z(l). Let a be d(-10). Which is smaller: a or o?
o
Let o = -135643/121 + 1121. Is 0 at least as big as o?
True
Let f(r) = r**3 - 16*r**2 + 14*r + 17. Let z be f(15). Suppose -5*v - 39 = z*t + 27, v = -t - 33. Which is bigger: -34 or t?
t
Let r be 63/(-14) + (-104)/(-120). Which is smaller: -5 or r?
-5
Let y be 18/6 - (-60)/(-2). Which is greater: -24 or y?
-24
Let y = -4.91 - 0.09. Let c = -6 - y. Let k = -11 + 11.4. Are c and k equal?
False
Let i = -3801756 + 34729040834/9135. Let k be ((-4)/(-14))/(58/4). Let o = i - k. Is -1 < o?
True
Let i = -0.508 - 45.372. Let n = i - -46. Is n not equal to 1/4?
True
Let l = 15 - 7. Let n = l + -12. Let p = 5 - 5. Which is smaller: n or p?
n
Let t be 0 + 3/(-3) + 6. Suppose -5*c = -0*n + 5*n - 40, 3*n - 32 = -t*c. Suppose -p + c - 3 = 0. Which is bigger: 1/6 or p?
p
Suppose -4*h = 91 + 613. Let a be h/(-77) - (-4)/(-14). Let n be a/14 - 76/434. Which is bigger: n or 0?
0
Suppose 4*b - 2*v - 2 = 0, 2*b + 4*v + v - 7 = 0. Let w(f) = 3*f + 1. Let u be w(b). Suppose -5*s = 4*l - 25, -u*s = l - 2*s - 10. Which is smaller: 1/5 or l?
l
Let k = -1.58 - -18.38. Let v = 16 - k. Let x = v + 1.8. Which is bigger: 2 or x?
2
Let y be (1/(-2))/(2/4). Let m(j) = -2*j**2 - 21*j + 5. Let w be m(-8). Let z be 1/(6/4)*w/100. Is z at most as big as y?
False
Let p(u) = 6*u**2 - 5*u + 15. Let n be p(3). Suppose -2*a - 5*f + n = 0, 0 = 3*f - f - 4. Is 22 != a?
False
Suppose 0 = -3*d - d + 16. Let s be (1*-1)/((-37)/111). Suppose -x = 4*l + 10, 0 = -3*x - 21*l + 18*l - s. Which is smaller: d or x?
x
Let t(x) = x**2 - x - 39. Let n be t(-8). Are 267/8 and n equal?
False
Let w(x) = -3*x**2 - 6 - 7*x + 0*x**2 + 4*x**2. Let o be w(8). Let h(p) = p**2 - p. Let l be h(o). Is l at least 2?
True
Suppose 5*z + 5*o + 20 = 0, 3*z - 2*o = -9 - 3. Let y be 4*(-5)/60 - z/(-6). Let g = 2.06 + -0.06. Which is smaller: g or y?
y
Let f = 15 - 12. Does f = 44/25?
False
Let h = -26/25 + 336/275. Let u = -4 - -8. Let a = u - 3. Which is bigger: a or h?
a
Suppose -u + 3*z = 3*u + 7, -4*z + 5 = -u. Let a = 5635/12181 - 1/937. Which is greater: u or a?
a
Let y = -1.45 + 1.4. Let k = y - -0.15. Let c = -18 - -17. Which is smaller: k or c?
c
Let i(g) = -g**3 - 9*g**2 - 3*g + 40. Let k be (-2)/(-6) - (-75)/(-9). Let a be i(k). Which is bigger: 2/49 or a?
2/49
Suppose -135*y + 146*y = 11. Which is smaller: 2/1267 or y?
2/1267
Let v = -51.2 + 46. Let r = 5.4 + v. Which is smaller: -0.13 or r?
-0.13
Suppose -5*d - 2*x - 30 = 0, x = -5*d - 0*x - 35. Let m = d + 19. Which is greater: 12 or m?
12
Let k = 28 - 27. Let w be ((-56)/10)/(k/5). Which is greater: w or -27?
-27
Let n = -1.5 + 0.5. Let v = n - -1.08. Is -5 >= v?
False
Suppose 2*v = 0, 4*d - v = 2*d - 4. Let c be d/(-120)*9096/(-1596). Let p = c - 2/399. Is 0 <= p?
False
Let v(z) = 3*z**2 + 5*z + 1. Let x(t) = -8*t**2 - 14*t - 3. Let s(m) = -11*v(m) - 4*x(m). Let f be s(1). Let d = -1 + 3. Which is bigger: d or f?
d
Let r(m) = -m**2 + 5*m + 16. Let s be r(8). Let v be 596/(-30) + s/60. Let k = 25 + v. Which is smaller: k or 3?
3
Suppose a + 2*a = -4*p + 72, -3*a + 45 = -5*p. Let v be (-2)/(-1) - -2*a/(-24). Which is greater: -0.26 or v?
v
Suppose o + 4*k = -493, -42*o + 37*o - 4*k = 2545. Which is greater: o or -514?
o
Let k = -401 + 385. Which is smaller: -29/2 or k?
k
Let l be (19 - 20)*(-21 + 4). Let p be (4 + 1)*(-28)/(-10). Is l smaller than p?
False
Let b(f) = 3*f - 33. Let l(t) = t**2 - 8*t + 2. Let z be l(9). Let x be b(z). Do x and 2/15 have different values?
True
Let y be (-1)/(-5) + (-68)/(-10). Suppose y = -m + 1. Let j be (-8)/m*1*-9. Is j greater than -12?
False
Suppose y = 2*w - 12 - 3, 25 = -5*y. Suppose 0 = -4*r + 9*r + w. Is -2/7 not equal to r?
True
Let w = -24.6 - -39.6. Is w > 12?
True
Let c(i) = -i**3 + 18*i**2 - 15*i - 48. Let s be c(17). Is -18 bigger than s?
False
Suppose b - 3 + 0 = 3*k, -3*k = 4*b - 87. Suppose 20*f - 17 = -3*z + b*f, 10 = -2*f. Which is bigger: 3 or z?
z
Let n = 27 + -107/4. Let k = -13.15 - -13. Which is bigger: n or k?
n
Let d = 0.8 - 1. Let g = 15 + -15.5. Let t = g + 0.6. Which is greater: t or d?
t
Suppose -4*z + 55 = 5*o, 5*o + 32 = 6*o + 5*z. Suppose -180 = -5*b - o*b. Which is bigger: 8 or b?
b
Let i be (-9666)/270*(-4 - 1). Is 179 greater than or equal to i?
True
Let z(s) = -s**3 + 3*s**2 + 2*s. Let x be z(3). Let n = -6 + x. Suppose h + 5*a + 1 - 28 = 0, n = -3*h - 4*a + 26. Is -0.1 != h?
True
Let c be ((-32)/(-6))/((-374)/54813). Let t = -782 - c. Is -1 at most as big as t?
True
Let p = -101.957 + 102. Let k = p - -0.057. Is k <= 0.1?
True
Let m = -233 - -485. Which is smaller: 251 or m?
251
Let d = 1700 + -1689. Let h(n) = 4*n**2 - 3*n + 1. Let x be h(2). Is x >= d?
True
Let q = -91 - -65. Let w be 86/(-11) + (1 - q/(-22)). Is -5 less than or equal to w?
False
Let c = -1639 - -1634. Is c less than 83?
True
Let t(h) = -h - 1. Let v(u) = -u**3 - 5*u**2 + 6*u - 4. Let p be v(-6). Let w be t(p). Suppose 0 = o - w*z - 13, -2*z - 12 + 0 = o. Does -9/10 = o?
False
Let h(t) = -t**3 + t**2 - 2*t + 11. Let u be h(-6). Let x be (-280)/u - (-4)/(-22). Let w be (1/(-2))/1*2. Which is smaller: x or w?
x
Let r be (-11)/(-132)*-1*4. Let f = 2 + -2.02. Let b = -0.1 - f. Which is smaller: r or b?
r
Suppose 2*a + 2*a = -20. Let b(w) be the second derivative of -2*w**3/3 - 3*w**2/2 + 5*w. Let z be b(0). Which is bigger: z or a?
z
Let a = 27 - 2. Let f be ((-9)/30)/((-30)/a). Is f at most as big as -12?
False
Let n(w) = 10*w + 59. Let b be n(-6). Let t = 151/144 + -15/16. Is b less than t?
True
Suppose -4*p + 4 = 0, -w - 45*p + 47*p - 58 = 0. Which is bigger: -55 or w?
-55
Suppose 0 = 4*m + 7*m - 2*m. Let j be (-40)/261 + 10/45. Is j <= m?
False
Let l = 4 - 9. Let a = -0.3051 - -0.1051. Is l > a?
False
Let o be ((-61)/(-732))/(1/12). Let s = 35/13 - 3408/1261. Which is bigger: s or o?
o
Let a = -3/215 + 1/5. Which is bigger: -1 or a?
a
Suppose -6*l + 12 = -3*l, 2*l = -3*u + 74. Let d = u - 43/2. Is d greater than or equal to 0.1?
True
Let f = 36 - 17. Which is greater: 20 or f?
20
Let k = -290 - -289.016. Let p = 0.114 + k. Let n = p + -0.13. Which is greater: n or -2/11?
-2/11
Let m = -37.5594 + 1.5334. Let g = m - -0.026. Let s = -20 - g. Is s at least as big as -2/3?
True
Let i(c) = 17*c**2 - 23*c + 64. Let z be i(3). Is 151 smaller than z?
False
Suppose 5*s - 2*s - 87 = -c, -5*s - 5*c = -155. Is s at least 25?
True
Let x = -34/9 + 299/72. Is 0 < x?
True
Let o = 993/2 - 82413/166. Which is greater: 0 or o?
o
Let p = 152.2 + -166. Let f = p - -14. Let t = 0.3 - f. Which is smaller: t or 4?
t
Let r(g) = -g**3 + 10*g**2 + 10*g + 13. Let v be r(11). Let s be 2 - v - (15 + -54). Is 39 bigger than s?
False
Let c = 24 + -36. Let w = c + 11.9. Which is greater: w or 5/14?
5/14
Let u(d) = -d**2 + 35*d - 217. Let o be u(27). Which is greater: o or 3/176?
3/176
Let t(b) = -b**2 + 9*b - 9. Let p(i) = -i**2 + 2*i. Let q be p(1). Let o(d) = 7*d**2 + d. Let z be o(q). Let v be t(z). Which is greater: -2 or v?
v
Let x(b) be the second derivative of -3/2*b**2 - 2*b + 1/3*b**3 + 1/12*b**4 + 0. Let r be x(-3). Is -6/5 at least as big as r?
False
Suppose 0 = b - 6 + 2. Let l be (b - 7)*1 + 3. Which is bigger: 2/5 or l?
2/5
Let w(v) = 14*v + 60. Let c be w(12). Is c >= 229?
False
Suppose 3168 = 14*f + 4*f. Suppose 174*r = f*r. Is r at least 10/31?
False
Let d = -511 + 735. Let z be (d/44 + -4)/2. Suppose -2*y = 2*x - 6, 0 = 2*y - 4*y - 3*x + 7. Is y less than z?
False
Let r = -5 - -3. Let o be (3/24)/(7*(-3)/126). Which is greater: r or o?
o
Let z be ((-18)/12)/((-3)/8). Let l(i) = z*i**2 - 5*i - 3*i**2 + i**2 - 3*i**2 + 7. Let p be l(-7). Is p less than -7?
False
Let i = -6.66 + -134.4. Let j = -141 - i. Is j