e k(1). Is d less than n?
True
Let d be (60/14)/((-1158)/168 - -7). Does 33 = d?
False
Suppose 7*r - 2*r - 3*z + 3 = 0, 4*r + z = 1. Let h = 138/341 - -10/31. Which is bigger: h or r?
h
Let d be (-3 + (12 - -1))/((-2)/24). Is -123 smaller than d?
True
Let p(i) = i**3 - 20*i**2 + 63*i + 16. Let q be p(16). Which is greater: q or -117?
q
Let f = 145 + -144.9. Let w = -1.9 + 2. Is w at most as big as f?
True
Let t be -7 + -4 + 18726/1704. Is 0 equal to t?
False
Let g = 10.3 + -8.3. Suppose -2*i - 2*v + v = 371, 724 = -4*i + 4*v. Let a = i - -1290/7. Is g < a?
False
Let b = 25 - 22. Suppose 4*w = -i - 292, 75 + 125 = -b*w + 4*i. Let z = 794/11 + w. Which is greater: z or 1?
1
Suppose -27*c + 16 = -31*c, 0 = -3*n + 4*c - 272. Do n and -104 have the same value?
False
Let v = -2910 - -582001/200. Is v smaller than 1?
True
Let a = 0.09 - 0.29. Let y = a + 0.15. Is y not equal to -0.3?
True
Suppose -10*w + 7*w - 192 = 0. Is w >= -4?
False
Let f = -125 + 245. Let k be (-16)/20*-1 + (-501)/f. Which is bigger: k or -4?
k
Let y = -118 + 133. Suppose g + 5*n = -y, 2*n + 6 = g + 4*g. Is g >= -67?
True
Let o = 1 - 8. Let z(r) be the first derivative of -3*r**4/4 - r**3/3 + r**2 - r - 31. Let q be z(1). Do o and q have different values?
True
Suppose 2*v + 9 - 15 = 0. Suppose -5*t - b - 579 = 0, 466 = -t - v*t + 2*b. Let d = t + 583/5. Is d less than 2?
True
Let n be 9/(-12)*(120/(-9))/5. Suppose 5*p + 1 = 4*m, 0*m - n*m - 6 = 4*p. Is m at most 10/21?
True
Let u(d) = -2*d**3 + d**2 - 2*d - 3. Let i be u(-1). Let y = i + -5/2. Is y at least as big as 1.4?
False
Let k = 6529 - 3427726/525. Is k >= -1?
True
Let x be 23/(-99) - (-4)/(-18). Let u be (-2)/5 - (-2)/2*77/55. Does x = u?
False
Let s be (-159)/(-106)*(-1 - 5/(-3)). Let r be 8/(-28) - (-39)/112. Is r greater than or equal to s?
False
Let l = -0.4 - -0.37. Let h = 18.03 + l. Do -1/2 and h have the same value?
False
Let z = -11 + 20. Let i = 7.7 - z. Let a = i - -1.1. Which is greater: a or -0.3?
a
Suppose -65*v + 43413 = -16452. Is v smaller than 920?
False
Let u = 1.43 - 1.3. Let y = -14.13 + u. Let s = 9 + y. Is 0 at least s?
True
Let x = -341 + 341.1. Is 13.1 equal to x?
False
Let o = 13 - 33. Let k = -14 - o. Let p(u) = -u**2 - 7*u. Let w be p(-6). Is w at least as big as k?
True
Let c be -2 - (18 + -19)/((-1)/(-1)). Let n be 22/(-96) + (-4)/(-6). Which is bigger: c or n?
n
Let c = -163/14 + 176/7. Suppose -3*d + 7 = -2. Suppose -18 = -b - d*a - 6, 0 = 2*b - a - 31. Is c < b?
True
Let t = -0.0968 - 11.9032. Which is smaller: t or 0.01?
t
Let l = -155/3 - -1079/21. Let h = 9 - 41/5. Is l >= h?
False
Let w = -11 + -20. Let a = -38 - w. Which is smaller: a or -6?
a
Let v = 131/3 - 44. Let s = -26.02 + 26. Is v >= s?
False
Let f be 70/15*(-51)/(-2)*-1. Let j = f + 123. Which is bigger: j or 5?
5
Let i(t) = -t**2 - 26*t + 23. Let c be i(-20). Suppose -9*w = -20*w - c. Which is greater: w or -12?
-12
Let t = 200 + -200. Do -3/185 and t have the same value?
False
Suppose 0 = -9*a + 1 + 53. Let i be (a/4 - 2)*2. Does i = -1/25?
False
Let g(j) = -j**3 - 12*j**2 - 14*j + 4. Let t be g(-10). Let n = -66 - t. Do n and -10 have the same value?
True
Suppose -11 - 1 = -4*f. Suppose t + f*t = 0. Suppose -3*m + 2*m = t. Which is smaller: -1/10 or m?
-1/10
Let c(j) = -5*j**2 + 4*j - 2. Suppose -5*z = -0*z - 15. Let f be c(z). Let h be (-2)/7 - f/49. Which is greater: 0 or h?
h
Suppose 69*v = 82*v. Are 269 and v nonequal?
True
Let h = -61060/26169 + 24/793. Which is smaller: h or -3?
-3
Let k = 18659548/23 - 2438846/3. Let o = -1664 - k. Which is greater: 0 or o?
0
Let y(a) = -a - 5. Let m be y(-9). Suppose 4*z + 0 = m*o - 12, -5*z - 24 = 4*o. Let q be -1 + (10/8 - 2). Which is greater: q or o?
o
Suppose 5 + 3 = -4*q. Let p = 1 + q. Let j be (3/(-14))/(8/(-16)). Which is greater: j or p?
j
Let v(d) = -d**3 + 5*d**2 - 5*d + 1. Let x be (-93)/66*-2 - 4/(-22). Let i be v(x). Let g(m) = m**3 + 7*m**2 + 7*m + 9. Let l be g(-6). Is l != i?
True
Let h be (3*(-3)/(-36))/(5/20). Is h < -2/1947?
False
Let r = 23 + -18. Is 27/2 at least as big as r?
True
Let x(r) = -7*r + 10. Let u = -58 + 58. Let c be x(u). Which is greater: c or 4?
c
Let c(b) = 2*b**2 - 8*b - 5. Let a be c(4). Which is bigger: -37/8 or a?
-37/8
Suppose 5 = -5*o, -3*o - 144 - 4 = -5*g. Let b = -29 + g. Which is smaller: b or -3/23?
-3/23
Let x = -129 - -143. Is x less than 3/7?
False
Suppose -13*c + 10*c - k = -19, -3*c + 2*k + 34 = 0. Is 17 > c?
True
Let p(k) = 4*k**2 - k. Let g be p(1). Let y be -1 + 0 + 10 - g. Suppose 14 = 3*f - 2*z - 10, 0 = -4*f + 3*z + 33. Is y <= f?
True
Suppose -5*s + s - 143 = 3*w, -s - 137 = 3*w. Let j be (-18)/w*10/18. Let u = 0 - 1. Is u at most as big as j?
True
Suppose -2*c + 96 = -5*z, -4*z + 5*z + 88 = 2*c. Which is smaller: 44 or c?
c
Suppose 5*l = 3*x + 1 + 37, 2*x - 19 = -3*l. Suppose -6*b = -4*o - 3*b - 39, 0 = 3*o + 5*b - l. Suppose -5*t - 31 + 11 = 0. Is o greater than or equal to t?
False
Suppose -6 = x - 5, 0 = 5*y + 2*x - 123. Which is bigger: 207/8 or y?
207/8
Let q = 81 + -82. Which is bigger: q or 3/740?
3/740
Let w be 3/2*(-2 - 453/(-9)). Let r = -301/4 + w. Is -4 bigger than r?
False
Let j = 0.2018 + -0.0018. Which is smaller: j or -101?
-101
Let t(z) = 12*z**2 + 92*z + 38. Let a be t(-11). Is a at most as big as 479?
True
Let f be (2/(-1300))/(3*4/48). Let d = f + 991/2600. Which is smaller: 3 or d?
d
Suppose 2*f + 3 = -p + 4, -2*f - 24 = -4*p. Which is smaller: -44 or p?
-44
Let d(p) = -p**3 + p**2 + p + 15. Let s be d(0). Let h = 17 - s. Let v be h/4 + (-1)/(-2). Which is smaller: v or 0.1?
0.1
Let q = -1464 - -1631. Do q and 671/4 have different values?
True
Let w = 9361/1333 - 204/31. Is w <= 1?
True
Let z = -53/96 - -5/96. Let l be ((-8)/(-10))/((-2)/(-20)). Let k be (-2)/l - 1/(-4). Which is smaller: z or k?
z
Let r be (-876)/(-434) + (-18 - -16). Let q = -5/31 + r. Which is smaller: q or 1?
q
Suppose -15 + 5 = -5*w. Suppose 1 = -w*g + 3. Are g and 3/22 equal?
False
Let y = -190.9 - -191. Let f = -0.42 - -0.4. Let r = 0.07 - f. Is r smaller than y?
True
Let m be 117/105 - 14/(-49). Let b = 10 + -9. Is b less than m?
True
Let u(h) = -h**3 - 7*h**2 - 7*h - 9. Let y be u(-6). Which is smaller: y or -21/8?
y
Let p = -277 - -246. Which is bigger: p or -11?
-11
Let d = 725 - 7978/11. Which is smaller: d or -40?
-40
Let t = -2 - -4. Suppose 2*j + 2*x - 6*x - 32 = 0, -t*j - 4*x + 40 = 0. Which is smaller: 17 or j?
17
Let h = -1316 + 1314. Is h bigger than 46?
False
Let t be (-290)/(-308) + 11/(924/24). Is t at most 0?
False
Let d = 1016 - 27419/27. Let w = d - 548/297. Which is greater: 0 or w?
0
Let c be (1/83)/(2/4). Suppose 235 = 15*y + 220. Is y bigger than c?
True
Let f be -7*(-3)/1 - (-3 + 0). Suppose u - 10 - 10 = x, 3*u = 5*x + 52. Is f bigger than u?
False
Let q be 2 + (432/(-60))/6. Let p = -0.2 + -0.3. Is p greater than or equal to q?
False
Let h be ((-26)/18)/(1/(-3)). Suppose 16 = -4*r, r = 5*u + 3*r - 52. Let k be 40/u*(-6)/(-4). Are k and h equal?
False
Suppose -6*z + 7*z - 1 = 0. Let o = z - -1. Let k = -7 + o. Which is smaller: -4 or k?
k
Let d(s) = 243*s + 239. Let o be d(-1). Let m be 1/((-2)/(4 + 2)). Let l(f) = -f**2 - 2*f - 3. Let z be l(m). Which is bigger: o or z?
o
Let y be ((124/(-792))/31)/((-1)/3). Which is bigger: -1 or y?
y
Let q be 2/(-12) + (2550/(-1332))/25. Is -1 < q?
True
Let i = -2.63 - -0.73. Let v = i - -2.2. Which is smaller: v or 2?
v
Let b(d) = -10*d**2 - d + 3. Let t be b(-2). Let q = t - -31. Which is smaller: 1 or q?
q
Let m be ((-2)/(-4))/((-4)/16). Let q = -14 + 18. Suppose 2*a + d = -7, -3*a - q*d - 2 = 11. Which is smaller: m or a?
a
Let g(y) = -y - 47. Let h(v) = 12. Let s(k) = 2*g(k) + 9*h(k). Let c be s(7). Is -5/7 at least c?
False
Suppose 3*k - 5*b - 55 = 41, -2*k = -b - 71. Which is greater: k or 28?
k
Let n = -23 + 23.1. Let q = n + 12.9. Let i = -13 + q. Which is smaller: -1 or i?
-1
Let d be 7/(-56)*4 + (-36)/40. Suppose 3*n = -n + 12. Suppose -n*v = v. Is d less than or equal to v?
True
Suppose 0 = -5*i + 3*m + 14, 3*i - m - 2 = 2*i. Suppose h - i = -0. Suppose h - 3 = b. Which is greater: -2/9 or b?
b
Let s(d) = -6*d + 190. Let x be s(25). Is x greater than 40?
False
Suppose -4*c + 2*c - u = -101, 251 = 5*c + 3*u. Let z = c + -39. Which is greater: z or 1