Let m = h - t. Which is smaller: 2 or m?
m
Let i(z) = z**3 - 11*z**2 + 11*z - 9. Let r be (9 + -2 - 2)/((-12)/(-24)). Let m be i(r). Does m = 3/4?
False
Let f = 15.72 + 0.18. Let h = f + 7.1. Is h at least as big as 2?
True
Suppose -2219 = 5*x + 5021. Is -1448 <= x?
True
Let r be 1302/(-22) + 18/99. Let s = -237/4 - r. Suppose m = -m. Which is greater: m or s?
m
Let y be (90/(-40))/(2/16). Let d be 58/y - (-57)/19. Is d at least 0?
False
Let g = -1.3 + 0.3. Let p be ((-41633)/(-68))/31 - 5/(-4). Is g != p?
True
Let s(j) = -j**2 - 6*j - 2. Let g be s(-4). Let y(h) = -3*h + 15. Let o be y(g). Let d be (o - (-28)/8)*4. Do 3 and d have the same value?
False
Let f = 3 - 1. Suppose -3*p - 2*r + 3 = 0, 0 = -p + f*r - r - 4. Let g = -178/145 + 24/29. Is p at least g?
False
Let i = 740 - 741. Which is smaller: -4 or i?
-4
Let q(n) = 2*n**2 + 50*n - 27. Let s be q(-26). Which is greater: s or -1/2?
s
Let i(w) be the third derivative of -w**6/60 - w**5/20 + w**4/6 + 5*w**3/6 - 6*w**2. Let p be i(-3). Which is greater: p or 21?
21
Let w = 152 + -152. Which is greater: 50 or w?
50
Suppose 2*d - o = 558, -d - d - 2*o = -558. Which is smaller: d or 280?
d
Let o = 801 + -807. Is o != -16/3?
True
Suppose 0 = -n - 1 + 2. Let g be ((-4)/2)/(0 - 9/2). Is n at most as big as g?
False
Let a be 26650/78 - 2/(-6). Is 340 less than a?
True
Let c = -1085/4404 - 4/1101. Is 12 less than c?
False
Let t(y) = -y**2 - 14*y + 21. Let c be t(12). Which is smaller: -292 or c?
-292
Let n(w) = -w**2 + 22*w - 103. Let r be n(7). Is r > 4/5?
True
Suppose 0 = -6*b - 391 - 689. Is -180 at least b?
True
Let o be (-3)/(-9) + 6/(-21). Let z = 86 - 87. Is z less than o?
True
Let h be ((-15)/(-12))/1*(-4)/(-96). Let v = 755873 - 943329631/1248. Let i = v - h. Is i > 1?
False
Suppose -3*i + 1 = r, 0*r - 38 = -5*r - 4*i. Suppose -2*f - 16 = -4*f. Does f = r?
False
Let t(l) = -l**3 + 14*l**2 + 75*l - 54. Let o be t(18). Is -32/63 less than o?
True
Suppose -y = 32 - 33. Let b = 5.6 - -1.4. Which is greater: b or y?
b
Let i = -4 - -2. Let x = 129.137 - -1.263. Let z = -130 + x. Which is greater: i or z?
z
Let r be (-26)/728 - 2/(-7). Is r at least -161?
True
Suppose -2*d = -9*d. Suppose 0 = 5*k - d*k + 30. Is k at least as big as -8?
True
Let w = -513 - -1073/2. Which is bigger: 24 or w?
24
Let x = 118 + -132. Which is bigger: -10 or x?
-10
Suppose 0 = -12*f - 941 + 305. Suppose d - 98 = 2*x, -2*x - 82 - 8 = -3*d. Are x and f non-equal?
True
Let m = -22 - -9. Let y = m + 11. Let f = -3 + y. Which is smaller: -0.1 or f?
f
Let p(t) = t**2 - 2*t + 6. Let z be (-8)/28 - 37/(-7). Let d be p(z). Let q = 9617 - 9596. Is q less than or equal to d?
True
Let t be (-989)/69 + (6/(-9) - 0). Let w be ((-2)/(-4))/((-2)/48). Let u = t - w. Is -6 equal to u?
False
Let g = -3.55 - -3.35. Are g and -1.02 unequal?
True
Suppose 3*d = 3*i - 625 + 37, -3*i + d + 580 = 0. Is i > 196?
False
Let b = -10.76 + 8. Which is bigger: 0.1 or b?
0.1
Let s be ((-9)/(-4))/((3/(-8))/(-1)). Suppose -q = -4 + 1. Which is smaller: q or s?
q
Suppose -4*z - 367 = -l, 3*z - z + 167 = -5*l. Let r = z + 90. Which is smaller: -2 or r?
-2
Let u = 799/6302 - -1/274. Which is smaller: -0.1 or u?
-0.1
Suppose 3*w + 306 = a - 2*w, 5*a + 3*w - 1614 = 0. Is a not equal to -0.1?
True
Let q be -586*(-9)/(-522) + 10. Is q greater than 0.8?
False
Suppose 24 = 2*p + 2*p. Let l be (-22)/p + (65/(-15) - -5). Which is bigger: -3/2 or l?
-3/2
Let z = -237 + 223. Which is smaller: z or 1/2?
z
Let n = -2/1215 - -2732/183465. Which is bigger: n or -0.1?
n
Let z = 18323/8801385 + 1/9619. Are 0 and z nonequal?
True
Let n be (53 - 52) + (0 - 4/2). Are n and -3/32 unequal?
True
Let i = -548 + 548. Which is smaller: i or -122?
-122
Let j = 56 - 42. Suppose l + j = -6. Do l and 1 have different values?
True
Let c(f) = -f**3 + f + 12. Let i be c(0). Let b be ((-1)/10*4)/(1/(-25)). Is i at least b?
True
Let t = 468 - 939/2. Let j(b) = b**2 - 5*b + 3. Let u be j(4). Which is smaller: t or u?
t
Let j(n) = -n**3 + 24*n**2 + 23*n + 52. Let d be j(25). Let l be (-10)/65*7/d*-1. Which is greater: l or 1?
1
Let c = 13 - 20. Let s = c - -10. Let x be 18/(-81)*18/(-2). Which is smaller: s or x?
x
Let p be -3 - 2/15*18. Which is greater: p or 0?
0
Let q be (-47 - -216) + (0 - 8). Is 161 less than q?
False
Let i = 27 - -41. Let h = i + -67. Are 59 and h unequal?
True
Suppose -t = -h + 1, t + 12 = -3*h - 5. Let f = 1 + -6. Is f equal to t?
True
Suppose -f + 0 - 2 = 0. Let d = 39836/7 + -5690. Is d less than or equal to f?
False
Let m(z) = -z. Let q be m(-3). Let x = -15 - -5. Let p = x - -11. Is q less than p?
False
Suppose 2*a - 2*j = -2, -5*a - 4*j = 8 - 3. Suppose -i + 2*m = 4*i + 4, 3*m = 3*i - 3. Let l = 0 + i. Which is greater: l or a?
a
Suppose -2*p + 85 = -5. Let g = p + -36. Let z = g + -9. Is z not equal to -2/99?
True
Let c(g) = 22*g**3 - g**2 - g. Let h be c(-1). Let u be (-14)/(-4) - 11/h. Suppose u*v - 6 = v. Is 3 at most v?
False
Let p be (21 - 24)/(30/(-346)). Is p less than or equal to 34?
False
Let p be -7 + 4 - 4/(-12)*10. Which is smaller: 3 or p?
p
Let b = 8 + -21. Let p(f) = -f**3 + 6*f**2 + 27*f - 13. Let q be p(9). Are b and q unequal?
False
Let r be 2*183/18*3. Suppose m = -4*n + r, -2*m + 169 = m - 2*n. Let p be (-3 + m/15)*5. Is 4 != p?
False
Let k = -354 - -354. Which is bigger: -25/11 or k?
k
Suppose -8 = -x - 2*y, -10*y + 8 = 5*x - 8*y. Which is smaller: -6/137 or x?
-6/137
Suppose -217 + 1212 = -3*r - t, 0 = -4*r - 4*t - 1316. Let d = 23905726/19 + -1257863. Let f = r + d. Which is greater: f or -1?
f
Suppose -u - 4*r = -r, 0 = r + 4. Suppose u*f - 2*f = 220. Is f <= 20?
False
Let u(n) = -n**3 - 4*n**2 + 4*n + 1. Suppose -3*k - 18 = 3*a, -2*k - k = 5*a + 20. Let d be u(k). Let c be ((-6)/(-116))/(d/8). Do 1 and c have the same value?
False
Let h be ((4/26)/2)/((-87)/4080). Let q = 46/13 + h. Is 1 at most q?
False
Suppose -81*j = -92*j. Which is greater: j or 2/1441?
2/1441
Let x(o) = -o**2 + 7*o - 1. Let f be x(8). Let q = f - 38. Is -47 < q?
False
Suppose -6*v = -10*v + 84. Suppose 0 = -3*h - 4*h + v. Are h and 0.01 equal?
False
Suppose 11*m - 2197 - 2742 = 0. Is 449 at most m?
True
Let z(b) be the first derivative of b**3/3 - 3*b**2 + 3*b + 2. Let g be z(6). Suppose -w = -4 + g. Which is smaller: 3/7 or w?
3/7
Let g = -58 - -66. Suppose 0 = -f + 5*a + g, 2*f = 4*a + 3 + 1. Is f greater than -1?
False
Let s be ((-1188)/(-495))/(6/(-20)). Is 2 <= s?
False
Let o = -108 + 108.41. Let u = 0.81 - o. Is 12 != u?
True
Let u = 22 + -21.1. Let t = 15.77 + -16. Let y = 2.23 + t. Do y and u have the same value?
False
Let i(g) = -g + 26. Let x be i(8). Let f(v) = -v + 24. Let c be f(x). Which is smaller: c or -2?
-2
Let n(g) = g**3 + 21*g**2 + 7*g + 125. Let k be n(-21). Is -24 bigger than k?
False
Let o = 24.04 + -0.04. Let y = o - 24.1. Which is smaller: y or -24?
-24
Let n = -2 - -14. Suppose 0 = -4*k - n, 4*b = 4*k - 3*k - 33. Let i(y) = -y**2 - 8*y + 9. Let r be i(b). Is r bigger than 1/6?
False
Let l be 2/28*((-128)/(-248))/(-4). Is -2/3 at least l?
False
Let h be ((-10)/(-4))/1 - 425/170. Let f = 14401/60 + -240. Which is smaller: h or f?
h
Suppose -3*b + 3*h = -6, 19*h - 6 = -4*b + 22*h. Which is smaller: b or 2/175?
b
Suppose 4*t = -3*a + 4*a, 2*t = -4*a. Suppose t = 5*i - 8*i + 36. Suppose -17*o + 19*o - i = 0. Is o > 5?
True
Let w(z) = 2*z**2 - 32*z + 28. Let v be w(15). Let f be 3/(101 + v)*108/12. Let b be 0/(2 - 6/2). Which is smaller: f or b?
b
Let w be -1 + 1 - 1*2. Let l be 2 - (w - 0) - -2. Suppose -c = 2*u - 12, -u - 18 = -4*u - 5*c. Is l < u?
False
Let d be (-4)/(-10) + 576/(-1740). Which is bigger: d or 35?
35
Suppose 0 = -2*p + 6*p - 8. Let y be 0 + 0 + -1 + p. Which is greater: y or -1/24?
y
Let b be (-82)/246 + 2/(-3). Which is greater: 4/113 or b?
4/113
Suppose 0 = 2*a + 2, -73*q + 72*q = a + 2. Is -11/24 >= q?
True
Let h = -21 - 5. Let g = 32 + -30. Is g smaller than h?
False
Suppose 4*n + f - 13 = 0, 2*n + 4*f + 3 = 13. Let s(k) = 2*k**2 - 4*k. Let p be s(n). Suppose 0 = -3*d + p + 12. Is 5 at most d?
True
Let x(g) = -g**2 + 7*g + 4. Let d be x(7). Suppose -d = a - 3. Let u be 1/(16/(-4))*2. Which is bigger: a or u?
u
Let l(d) = 2*d**3 - 20*d**2 + 71*d - 297. Let m be l(8). Suppose -3*v - 5 = 1. Let w be (30/4)/((-1)/v). Is 