be 6 + (u/(-4) - 2). Is d < t?
True
Let q(w) = -3*w**3 + 2*w**2 - 2. Let o be q(-2). Suppose -4*p = -5*b - 0*b - 99, 2*p - 3*b - 47 = 0. Is p greater than o?
True
Let j = 132.4 - 106. Which is smaller: j or 0.1?
0.1
Suppose -4*k + 3*k + 3 = 0. Suppose -5 = 2*p - k*p. Let t be 1/p + (-363)/55. Which is bigger: -5 or t?
-5
Let i = -139 - -137. Is i at most 0?
True
Let p(t) = 5*t - 2. Suppose -5*r - 24 = -4. Let v be p(r). Does v = -22?
True
Let f = 2421/55 - 44. Let r = f + 103/385. Let i be (3/((-3)/4))/1. Are r and i equal?
False
Let v = 28 - 16. Suppose -v = -8*x + 9*x. Let d be (0 + 1 + -3)*6. Is x less than or equal to d?
True
Suppose -k = 2*k + 3. Let y be ((-4 - k) + 3)/(-2). Let z = -8/13 - -53/65. Is z greater than y?
True
Suppose 112 = -19*n + 27*n. Which is bigger: n or 24?
24
Let i = 53.1 + -55.1. Is -10/29 >= i?
True
Suppose 0 = w - 6*w. Suppose -3*c + w*c + 11 = -m, -5*c = -5*m - 35. Let g be c*(18/8 + -2). Which is greater: 4 or g?
4
Let m(j) = j**3 + 17*j**2 - 3*j - 50. Let p be m(-17). Let h be (0/(-1))/(3 - 1). Which is smaller: h or p?
h
Let h(s) = -6*s + 18. Let f be h(2). Let z(l) = l**2 - 8*l + 12. Let o be z(f). Which is smaller: o or -1/111?
-1/111
Let c be -1 - ((-74)/2 + -1). Let r = 21 - c. Is r < -17?
False
Suppose 2*g - 2*t = 22, 2*t = 3*g - 24 - 13. Let z be ((-6)/(-9))/(g/(-9) + 1). Which is greater: z or 1.3?
1.3
Let b = 430 - 71. Which is bigger: b or 2/3?
b
Let p = -34 - -47. Let r = p - 14. Suppose y + 3*z = -4, y + 12 = -2*y + 3*z. Which is greater: y or r?
r
Let p(s) be the third derivative of s**5/30 - s**4 - s**3/3 - 7*s**2 - 3*s. Let m be p(12). Suppose -n = -4*n - k + 4, 2*k = 2*n + 8. Which is bigger: n or m?
n
Let x be (-1)/((-308)/66*(-18)/8). Is 1 not equal to x?
True
Suppose 2*d - 24 = -2*d. Suppose 4*i = -2*t + 2 + 14, 4*t - 2*i = 2. Suppose g = -0*g - 5*h - 10, -g + t = h. Which is smaller: d or g?
g
Let h = -8 - -7.93. Let u = 3182.5 - 3182. Which is smaller: u or h?
h
Let k be 51/85 - (-48)/(-5). Which is greater: -3 or k?
-3
Let j = 915 + -915. Is 7/220 at least as big as j?
True
Let u = 3491/33 - 317/3. Which is smaller: -1 or u?
-1
Suppose -76*w + 74*w = 12. Do w and 14 have the same value?
False
Suppose -4*h - 7*i = -11*i - 516, 5*i - 552 = -4*h. Suppose 3*g - h = 3*u + 7*g, -3*u + g = 158. Is u smaller than -50?
True
Let q = -4867/122673 - -1/1191. Is 0.1 < q?
False
Suppose -3*o - 3 = 9, 2*p + 4 = -2*o. Suppose -3*g - 1 = p. Let t be 9/7*1 + g. Which is bigger: t or -2/5?
t
Suppose 4*t = 5*x - 70, 25 = -3*t - 2*t. Suppose x = 3*d - d. Suppose -d*l - 15 = -0*l. Does l = 0?
False
Suppose 4*x + 20068 = -54*x. Is -346 greater than x?
False
Let q be -3 + 2 + 2 + 238/(-240). Is q at least 0?
True
Suppose -2*g + 108 = 2*g. Let i = 7.52 - 7.5. Let x = -0.02 + i. Is g equal to x?
False
Let m = 304.87 + -305. Which is smaller: -0.2 or m?
-0.2
Let o = -147 + -22. Is -169 > o?
False
Let d be 2/3*(-12)/(-10). Let g = -0.17 - -3.17. Let i = 3.3 - g. Is d less than or equal to i?
False
Let n be ((-6)/5)/(6*7/(-20)). Is -3/7 smaller than n?
True
Let f be (-2)/(20/34) + 4. Let o = -4/15 + f. Which is smaller: o or -5/4?
-5/4
Let l = 200 - 194. Let x = -13/8 - -15/8. Which is smaller: l or x?
x
Let j = 94 - 94.37. Let k = -9.37 - j. Is -0.1 at most k?
False
Let w = -0.0352 - 0.4648. Which is greater: -9/5 or w?
w
Suppose k = -b - k, 0 = 2*b - 5*k - 36. Let u = -19 + b. Is -11 greater than u?
False
Let p = -9617808/21097 - -58/21097. Suppose -3*s - s + 1824 = 0. Let b = p + s. Is b smaller than 0.2?
True
Let m = 5 + -4.91. Let v = 15 - -3. Suppose -3*d = -g, 2*d + d + 5*g - v = 0. Which is bigger: m or d?
d
Let y = -10 - 6. Let r be (-2)/y*(-5)/((-15)/(-4)). Is r greater than -6?
True
Let i(c) = -c**3 + 6*c**2 - 3*c - 7. Let p be i(5). Suppose -p*w = -8*w. Let v be (16/54)/((-10)/15). Is w bigger than v?
True
Let q = -72 + 6. Let n = q + 63.5. Which is greater: n or 1/4?
1/4
Let d = -1219.06 + 1240. Let m = 21 - d. Let o = m - 0.16. Do o and 3/14 have different values?
True
Let h = 20.8 + 1.2. Let b = h + -21. Is b <= 25?
True
Suppose 6*n - 4*l = 3*n + 134, -3*n = 4*l - 142. Let s = n - 25. Is s at least as big as 41/2?
True
Suppose 0 = -14*w - 236 + 222. Let i(d) = -d**3 - 2*d**2 + 4*d - 4. Let x be i(-4). Let f be 0 + -1 + x/10. Which is smaller: w or f?
w
Let j(u) = u**3 + 3*u + 2. Let v be j(0). Let c be 6/(-15) - (-41)/90. Let h = 4/9 + c. Is v > h?
True
Suppose 3*z = 3*s + 4 + 17, 0 = -3*s - 5*z - 37. Let u be 1 + (1 - -8)*-1. Which is greater: s or u?
u
Suppose -4*s + c = 915, -c = -5*s + 2*c - 1149. Which is smaller: -229 or s?
-229
Let y be (-48)/(-18) + -3 + 220/(-6). Let n be (-5)/((-10)/y)*(-2)/5. Are n and 7 unequal?
True
Let s = -15/139 - -3839/2085. Are 3 and s nonequal?
True
Let u(l) = 3*l**2 - 3*l - 8. Suppose 3*k + 9 = -2*d, 4*d - 1 - 14 = 5*k. Let h be u(k). Which is smaller: h or 26?
26
Let y = 264 + -263.9. Is 0.023 > y?
False
Let m(b) = -2*b**3 - 11*b**2 - 13*b - 71. Let c be m(-9). Does 615 = c?
False
Suppose 0 = -0*a + 4*a + 160. Let m be (-85)/a - (-1)/(-1). Which is greater: m or 2?
2
Let x = -243 + 5349/22. Let h = -7 + 6. Is x > h?
True
Let q(t) be the first derivative of -2*t**2 + 59*t + 31. Let f be q(15). Which is bigger: f or -1/112?
-1/112
Let j(w) = -90*w - 6. Let o be j(1). Let n = 104 + o. Which is smaller: n or 10?
n
Suppose -2*h + h - 1 = 0. Let w(a) = 10*a. Let d be w(h). Which is greater: d or -9?
-9
Let m = 1821 - 1821. Is m at least as big as 1/791?
False
Let s(f) = f**2 - 52. Let z be s(0). Which is smaller: z or -50?
z
Let t be (-4)/(-2) - (1 - -1). Suppose t = 3*u - 2*u - 10. Let v be ((-8)/u)/(13/(-65)). Is v at least as big as 4?
True
Let i = 48 - -352. Do 0 and i have the same value?
False
Let g = 28 + -24. Suppose -64*p + 67*p = 15. Is p at least g?
True
Let i = 14.91 + -14.93. Which is greater: i or 2/5?
2/5
Let c = -1811 + 1810.9794. Are -0.3 and c non-equal?
True
Let g = 0.06 - 0.05. Let b = g + 0.69. Let i = -0.6 + b. Which is smaller: -13 or i?
-13
Let h = -671 + 660. Which is greater: -17 or h?
h
Let o be ((-624)/(-285) - 2) + 6/(-15). Suppose m + 2 = -3*z - 14, 4*m - 2*z - 6 = 0. Is m smaller than o?
True
Let c = 110 - 77. Let d = -31 + c. Which is bigger: d or 2/3?
d
Let l(d) = d**3 - d**2 - d. Let s be l(0). Let g = -125/104 - -14/13. Which is smaller: s or g?
g
Let j = 4443/3542 - 29/23. Is 0 bigger than j?
True
Let y(w) = w**3 + 6*w**2 + 8*w + 19. Let n be y(-9). Is n < -296?
False
Let l(n) = -2*n**3 - 6*n**2 + 54*n + 11. Let o be l(-9). Is 496 > o?
False
Let y(c) = -c**3 - 4*c**2 - 2*c. Suppose -3*q = 3*i - 27, q = 2*q - 5*i + 9. Suppose -5*v - q = -3*v. Let f be y(v). Which is smaller: -5 or f?
-5
Let x = -15 - -193/13. Which is greater: -1/14 or x?
-1/14
Suppose 0 = l - 4*n - 110, 0 = 2*n + 4 - 12. Let j be 1 - (l/15)/6. Which is smaller: 1 or j?
j
Suppose 40*s = 7*s - 66. Are -51/22 and s non-equal?
True
Let z be 4/(-6) - 2/6. Let j = 88010/11 + -1144314/143. Let u = -12/13 - j. Is z <= u?
True
Suppose c - 2*c = 0. Suppose c*g = g. Do g and 3 have the same value?
False
Let l be (-1)/(3 - (-64)/(-20)). Suppose 4*u = -3 + 11. Suppose q = 0, 2*w = -l*q + u*q. Is w >= -14?
True
Let c be (-316)/(-14) - 15/(-35). Suppose -l = -c + 16. Is 6 > l?
False
Suppose -1 = u - 2. Let y be (-10)/(20/310*(2 - 1)). Let b = -2791/18 - y. Is u < b?
False
Let v = 0.0582 - -0.9418. Which is bigger: -0.045 or v?
v
Suppose 3*a - 16*a + 247 = 0. Let z be 4*-3*(-1)/4. Let i be (-9)/(-3) - a/z. Are i and -4 nonequal?
True
Let u(l) = -l**3 - 10*l**2 + 14*l + 101. Let y be u(-10). Which is bigger: -23 or y?
-23
Let t(r) = -r**3 + 11*r**2 - 13*r + 36. Let x be t(10). Suppose 3*f - 3*m = 0, -f + 4 = 3*m - 8. Suppose f*u = u + 16. Do u and x have different values?
True
Let d = 3369/3220 - -3/805. Do 2 and d have different values?
True
Suppose -4*f = 3*i - 7, 3*f - 5*i - 13 = 14. Suppose -5*g = -4*w + 84, 4*w - 63 - 17 = f*g. Are w and 15 unequal?
True
Let z = -49 - -51.5. Let q = 2.6 - z. Is -5 less than q?
True
Let o be 1*(3 + 2)*1. Suppose -o = 4*j + j. Let n be (-20)/(-20)*2/(-40). Are j and n equal?
False
Let n be (-2)/8 + (12383/(-3300) - -4). Let z = n - 701/51150. Are z and 1 nonequal?
True
Suppose -5*u = 15, 0 = -3*s - 26*u + 23*u + 750. Is 254 at most s?
False
Suppo