= -49 + 26. Let l(z) = 3*z**3 + 114*z**2 + 3*z + 91. Let a be l(-38). Is h at most as big as a?
True
Let c(n) = n**2 + 12*n - 9. Let p be c(-11). Let k be ((-9)/(-18))/(2/p). Let m be 0/1 + (-7 - -1). Which is smaller: m or k?
m
Suppose 2*l + 5*v = -2*l, 3*l + 2*v = 0. Suppose r = -5*t + 2*t - 19, l = -5*r - 3*t - 47. Let u(h) = -h**2 - 7*h + 7. Let n be u(r). Is -0.1 at most n?
True
Let a be ((-6)/16)/((-27)/11652). Let o = 170 - a. Let v = o + -325/42. Which is smaller: 0 or v?
0
Let k be 1/(0 - (3 - 2)). Let z = 8 + k. Let w = 99/4 + -25. Does w = z?
False
Suppose -o = 3*o + 32. Let i = -16.8 - -16. Let j = i + 1.8. Does j = o?
False
Let a = -13 - -13. Let t be 54/(-12)*(33/(-45) - -1). Which is smaller: a or t?
t
Let b = 0.09 + 5.91. Let y = -59.072 - -0.072. Let u = -60 - y. Which is bigger: u or b?
b
Suppose -36 = -12*i + 9*i. Let l be i + -8 + (-236)/58. Suppose 0*h + 5*h = 0. Is h at least as big as l?
True
Let h = -91 - -166. Suppose 113 = 3*x - 4*u, 0 = x - 3*x + 3*u + h. Suppose x = -3*y - 0*y. Which is greater: -12 or y?
-12
Let s = 4249/50 - -88/25. Let t = s - 89. Which is bigger: t or 20?
20
Let p be (-10)/(-55) - (-53)/11. Suppose -z = -3*f - 9, p*f = -3*z + 8*z - 25. Suppose -z*g + g = -4. Are g and 4/7 equal?
False
Let w(a) = -a**2 + 3*a - 2. Let f be w(2). Let x be (21 - 22)*(-125 + -1). Let z be (3/(-8))/(x/24). Which is bigger: z or f?
f
Let p = -59 - -58. Let q be -31*(-38)/390 - 3. Let w = 158/1365 - q. Are w and p unequal?
True
Let p = -24 - -21.4. Let d = p + 2.5. Which is smaller: d or -3?
-3
Let q = -0.056 + 0.086. Which is greater: q or 3?
3
Suppose 0 = -11*z + 7*z - 2*x, 3*x + 2 = -5*z. Which is smaller: 40/33 or z?
40/33
Let d(m) = 4*m**2 + m. Let p be d(-1). Let i be 48/(-10)*160/48. Let g = i + 18. Is p less than g?
False
Let c = -0.5 - -0.6. Let b = 209 - 210.99. Let p = -0.01 + b. Which is smaller: p or c?
p
Let f = -5638 - -35114/7. Let j = -618 - f. Which is smaller: 5 or j?
j
Let f = 25 + -21. Suppose j + f = 5. Which is smaller: j or -5/12?
-5/12
Let c(k) = 4*k**2 + 2. Let a be c(3). Let m = -38 + a. Suppose 3*w = -2*z + 37, -3 = -m*w - w. Is z less than 12?
False
Let g = -6 - -4. Let x(k) = 5*k + 4*k**2 - 4 + 4 - 3 - 5*k**2. Let v be x(4). Is v less than g?
False
Let c(x) = x**2 - 12*x - 192. Let t be c(27). Which is bigger: 212 or t?
t
Let a = -337537/315 - -5359/5. Which is smaller: 1 or a?
a
Suppose 5*b = -2*s + 6, 2*s + 9 = 5*s + 3*b. Suppose 0 = -6*x + 45 - s. Is x >= 1?
True
Suppose -2*p + 4*c - 9*c = -47, 0 = 5*p - 4*c - 68. Let s(g) = -2*g**2 + 4*g + 3. Let w be s(-2). Let a = p + w. Which is bigger: a or 10/3?
10/3
Let i = 35/3 - 12. Let k = 358 - 2857/8. Which is greater: i or k?
k
Suppose -13*a - 11*a - 48 = 0. Which is smaller: -21/26 or a?
a
Suppose 2*f - 28 = 12. Suppose -218 = 6*i - f. Is i != -1/4?
True
Suppose -33 = v - 111. Which is smaller: v or 80?
v
Suppose 5*p = -21 + 6. Let v = 2239 - 24653/11. Which is smaller: v or p?
p
Let t(u) = u**3 + 8*u**2 + 4*u. Let p be t(-5). Which is greater: 1 or p?
p
Let m = -4 + 11. Let x be (-2)/(-4)*(-3 - -1). Let d = m + x. Is 6 < d?
False
Let h be 350/(-20) - 2/(-4). Let b = -14 - h. Let t be (-36)/(-3) - (-5 + b). Is t greater than or equal to 14?
True
Let f(v) = v**3 - 10*v**2 + 9*v - 4. Let o = -24 - -33. Let w be f(o). Let q be 3 + w + 1 - 1. Which is bigger: q or 3/20?
3/20
Let w(f) = -f - 1. Suppose 2 = h - 2*h. Let j be w(h). Let q be 280/(-42) + (0 - -7). Which is greater: j or q?
j
Let n = -11 + 19. Let m(w) = -5*w**2 - 7*w - 10. Let l(i) = -14*i**2 - 21*i - 30. Let f(y) = 6*l(y) - 17*m(y). Let o be f(n). Is o < -2?
False
Suppose 6*d - 2*d + 3*y = 11, 3*d + 2*y - 8 = 0. Let c be 8/(-4 + d) + 5. Which is bigger: -1 or c?
c
Let y be (2 + 1)/(24/208). Is -1/6 at least y?
False
Let i = 12 - 10. Suppose -3*y + 26 = r, -4 = -2*y + 5*r + i. Suppose j = -799 + 807. Is j > y?
False
Suppose 3*n = -0*n + 4*k - 1, -4*n + k + 3 = 0. Let u be n/5 + 8/(-40). Which is bigger: u or 1/26?
1/26
Suppose -5 = -4*j - 1, -4 = 3*a - 4*j. Suppose -z = -2, a*i + 3*i + 59 = -5*z. Is i equal to -21?
False
Let d = -5769751/2751 - 310/917. Let s = d - -2067. Which is bigger: -31 or s?
s
Let x = -167 + 1505/9. Let n = x + -31/18. Which is bigger: n or -3?
n
Let o be (-2046)/(-216) - (-4)/(-18). Let a = -47/4 + o. Which is smaller: -0.05 or a?
a
Let p = -15 + 11. Let s be p - (-3)/3 - -5. Suppose -s*n = -n + 5. Is n not equal to -7?
True
Let f = -12 - -5. Let b(u) be the first derivative of u**4/4 + 2*u**3 - 4*u**2 - 3*u + 9. Let j be b(f). Do 5 and j have different values?
True
Suppose 2*r - 4*x - 14 = -2*x, x = 2*r - 10. Suppose 6*j + 48 = r*j. Let q be (0 - -1)/((-296)/j). Is q > -1?
True
Let p(j) = -j + 10. Let s(z) = z**2 + 7*z - 5. Let n be s(-7). Let m be p(n). Let o = m - 21. Are -6 and o non-equal?
False
Let r(s) be the third derivative of s**4/24 - 7*s**3/2 - 23*s**2. Let g be r(13). Is g equal to -3?
False
Let f = 0.054 - -0.406. Let s = 15235.9 + -15236. Which is greater: s or f?
f
Suppose -267 = -47*f + 50*f. Is -92 greater than or equal to f?
False
Let h = 24 + -28.5. Let d = -0.5 - h. Which is greater: 5 or d?
5
Let l = -1374 + 1425. Which is greater: 358/7 or l?
358/7
Let h = 485 - 910. Is h smaller than -426?
False
Let k = 0.2 - 1.2. Let f be (-21)/(-216)*-1 + 5/(-40). Which is greater: f or k?
f
Let h be 84/14 + -5 - (-4 - -1). Let a be 2/7 - (-302)/70. Which is smaller: a or h?
h
Let i = -41 + 41.2. Let z = -9 - -29/3. Which is bigger: z or i?
z
Suppose 0 = 5*w - 5*h - 30, -3*h - 13 = -2*w - 0*h. Suppose -w*s - 7 = -2*g, -4*s - 5*g = -0*s - 1. Let m be (-10)/14*(-6)/(-5). Does m = s?
False
Suppose 7*x - x + 444 = 0. Let n be x/40 - 27/(-45). Is n < -1?
True
Let k = -3 + 2. Let b be ((1 - 1) + 27/222)/6. Let a = 275/1036 + b. Does a = k?
False
Let p = 493/10 + 149/2. Is p at most 125?
True
Let k be 2*1/6*18. Let j = 10 - k. Suppose -j*l = -0*l. Do 1/4 and l have the same value?
False
Suppose m - 6 = o, 0*m + 12 = -3*m - 3*o. Let q = -48 + 159. Let j = q + -3771/34. Which is smaller: m or j?
j
Suppose -5*p - 12 = -2*p. Let j(t) = 4*t + 5. Let b(s) = -2*s - 3. Let u(r) = p*j(r) - 7*b(r). Let i be u(1). Which is smaller: -2 or i?
-2
Let b = -62 - -61. Let j = -5 + b. Which is smaller: j or 3?
j
Let l(r) = r - 12. Let t(n) = 3*n**2 - 3*n + 5. Let k be t(2). Let h be l(k). Let g = -1.2 - 0.8. Which is smaller: h or g?
g
Let k = 36.4 + -2.4. Is -3 < k?
True
Suppose 0 = 4*v - 0 - 88. Let q = v - 44. Let o = q + 21. Which is greater: o or -3?
o
Let h = -2/967 - 51223/13538. Which is smaller: -5 or h?
-5
Let d = -0.57 + 0.59. Let p = -0.08 - d. Which is greater: 29 or p?
29
Suppose -2*z + 2 = -3*d, -z = -3*d - 3 - 1. Let q be 36/(-11)*z/4. Which is greater: q or 2?
2
Let u = -851 + 4231/5. Let x = 134 + -140. Which is bigger: u or x?
u
Suppose -4*k = -2*s - 26, 9 = -2*k + 5*s + 34. Suppose 0 = -f + 5*f - 60. Suppose -k*v - 15 = f. Which is greater: -4 or v?
-4
Let j be 7 - (1 + 2 + 8). Suppose -2*q + 5 = -i, 4*q - 2*i - i = 11. Which is smaller: j or q?
j
Suppose 2*u - 13 + 7 = 0. Is 4 < u?
False
Let l = -4 + 5. Suppose -2*h + t = 0, 4 = h + 2*t - l. Let u be ((-42)/98)/(2/(-14)). Which is smaller: u or h?
h
Let b = 73 - 69. Suppose b*c = 27 - 23. Which is smaller: c or -2?
-2
Let a = 1/928 + 4629/10208. Which is bigger: a or -1?
a
Let i be ((-36)/10)/(852/40). Which is smaller: -1 or i?
-1
Let q = 10 + -2. Let h(v) = -v**3 + 8*v**2 + 2*v + 9. Let s be h(q). Let y = s + -49/2. Which is smaller: y or 2/23?
2/23
Let f = 1579 - 1585. Is -95/14 < f?
True
Let b = -89 - -99. Is b less than 1?
False
Let g = 2 - 1. Suppose -5*j + 35 + 10 = 0. Let m be (((-63)/(-98))/j)/(2 + -1). Which is bigger: g or m?
g
Let j = -7.5 - -9.74. Let l = -0.24 + j. Let n = l - 6. Which is smaller: n or 1?
n
Let g = -292.96 + 293. Is g smaller than 3/2?
True
Suppose -4*z + 2*c = -20, -2*z + 3*c + 0*c + 2 = 0. Let h be 2/8 + (-201)/180. Let k = h - -7/15. Is z >= k?
True
Let r = 774 - 425. Is r bigger than -2/3?
True
Suppose 0 = -17*l + 22*l + 5, -4*i - 30 = 2*l. Which is smaller: i or 8?
i
Let o = 253 - 253. Is 78 > o?
True
Suppose 4*s = -761 - 51. Are -199 and s nonequal?
True
Let n = -1 - -0.9. Let s = -31 - -29. Let k be (-22)/30 - s/6. Are n and k equal?
False
Let w be 12*(-6 + 258