 -1 greater than d?
False
Let d be (-15)/(-2)*(-64)/(-6). Suppose 15*q - 800 = -21*q + 26*q. Is q greater than d?
False
Let g be 1*(-20)/210 - 58/(-168). Which is bigger: 2.18 or g?
2.18
Let l be 19950/684*(-1 + (-164)/(-14)). Which is smaller: l or 312?
312
Let j be (36/162 + 8300/72)/((-4)/(-120)). Which is smaller: j or 3464?
3464
Suppose -51 = -6*p + 3. Let x be 3/p - (-1)/(-3). Suppose -3*s - 20 + 23 = x. Which is smaller: s or 2/69?
2/69
Suppose -3*t = -4*p - 5327, 2*t = -51*p + 47*p - 5322. Is p > 2?
False
Let s = 6.18 - 6. Let z = 0.28 - s. Let b = 539 + -538.9. Is z less than b?
False
Let h be (0 - (3 - (24 + 3)))/(-1). Let j = h + 37. Let r = -5/11 - -73/88. Which is smaller: r or j?
r
Suppose -397 = 99*a - 1288. Which is smaller: a or 153?
a
Let r = 172.83 - -1.17. Let l = 136 - r. Which is smaller: -0.2 or l?
l
Let x = -207/2 + 123. Let g = -20 + x. Suppose 4*t = -t. Which is smaller: t or g?
g
Let h(w) = 5*w**3 - 185*w**2 - 8*w + 86. Let a be h(37). Are a and -204 non-equal?
True
Let r = -442 - -1153. Let m = r - 713. Let y = 6 + 6. Is y at most m?
False
Let h = -293.95 + 294. Let x = -0.6 + 0.53. Let y = -0.17 - x. Is h bigger than y?
True
Suppose 74*z = 69*z + 30. Suppose z = -26*u + 24*u. Let s be (-384)/(-117) + 3/(-9) + u. Which is smaller: s or 1?
s
Let h be ((-1)/(-33))/((-6767)/(-2121)). Is 1 smaller than h?
False
Let x be 63/36 - 2191/(-28). Which is smaller: 38 or x?
38
Suppose -2 = -6*h + 70. Let v be (1 + -2)/(h + (-31)/2). Which is smaller: v or 6?
v
Let a(i) = -i**3 + 2*i**2 + 234*i + 37. Let g be a(-15). Which is smaller: g or 351?
351
Let h be 8676/8 + -1 + 6*6/72. Is h less than 1084?
False
Let o = -54 - -56. Suppose 5*j - 1540 = -5*i, j = -0*j - o*i + 305. Let p be (-4)/(-16) + j/(-1276). Which is bigger: -1 or p?
p
Suppose 0 = -2*q - 1 + 11. Suppose q*a = -r - 87, -4*r - 2*a - 258 = -0*a. Suppose -2*x - 3*x + 4*d = 309, -5*x + d - 306 = 0. Are x and r unequal?
True
Let g = 6.3 + 28.7. Let a = 34 - g. Does a = 18/17?
False
Let o(d) = d**3 + d**2 - d - 4. Let m be o(0). Let q be 1 - (-2)/((-8)/(-12)). Let c be q/(-8) - (-33)/42 - 5. Which is greater: m or c?
m
Let l = -309 + 328. Suppose -l*m - 2 = -17*m. Which is greater: 8 or m?
8
Let t = 367451/5 + -76992. Let b = -3491 - t. Which is greater: 12 or b?
12
Let t = 2 + -1. Let p(z) = z**2 - 8*z - 13. Let i be p(21). Let f be (91/i - 3/5)*-28. Which is bigger: t or f?
f
Let p = 1.917 + 6.773. Let j = 22.46 + p. Let c = -0.15 + j. Is c > -1?
True
Let c = 314 - -476. Let v = 706 - c. Which is smaller: v or -85?
-85
Let d = -846 - -820. Which is smaller: -46 or d?
-46
Let q be (288/(-120))/(4/(-10)) - 194740/32459. Which is smaller: 1 or q?
q
Suppose -k = -5*i - 0*k - 898, 12 = 4*k. Is i less than or equal to -173?
True
Let c = 20475 + -20195. Is 36 greater than c?
False
Let k be (0 - 16/(-80))/((-1)/(-5)). Is k smaller than 1/348?
False
Let w = -972.36 + 975. Is -1/4 greater than or equal to w?
False
Let z = -661 - -1325/2. Let a be ((-10)/(-4) - 2)*10. Suppose -5*c - 3 = -a*v - 48, -3*v - 32 = -2*c. Which is greater: v or z?
z
Let q = -77401/7 + 1338007/119. Which is bigger: 185 or q?
q
Let p be (2 + 367/27)/((-75)/180). Let c = -281/9 - p. Which is smaller: c or 6?
6
Let h be 1/(-1) + 1 + 1. Let d(f) = -29*f + 17*f + 70 - 71. Let b be d(0). Which is smaller: b or h?
b
Suppose -3*w + 12 = 3*m, -4*w + 7 = -3*w + 2*m. Suppose 3 + w = p. Which is smaller: p or 21/5?
p
Let r be (-2 + -2 + (-3252)/(-816))*4/(-11). Is r greater than or equal to -1?
True
Let x be 8/104 + 48/52. Are -6.83 and x nonequal?
True
Let l = 0.50706 - -1.49294. Let d = 20.4 + -1.4. Is l greater than d?
False
Let n be (1 - (-1 - 111))*(-1187 - -1188). Which is greater: 567/5 or n?
567/5
Let i(l) = -4*l**2 + 6*l - 2. Suppose -4*b = -0*b - 8. Let a be i(b). Let p(k) = -k**3 - 6*k**2 - 2*k - 8. Let v be p(a). Which is greater: -0.02 or v?
v
Let g = 95231/159 + 625/106. Do 0 and g have the same value?
False
Let q = -53 + 13. Let b = 3805 - 3725. Let n = q + b. Is n bigger than -2/3?
True
Suppose -b = -0 + 1. Suppose 89*d = 4*c + 90*d - 4, -4*d = c - 16. Is c at least b?
True
Let m be 2/(104/1026 + (-34)/323). Is -515 greater than m?
False
Let q = -4064 + 4060. Which is greater: 22.69 or q?
22.69
Let l = 44/3 - 284/21. Let c = -142 + 144. Suppose -3*z + f = -1 - 1, c*z + 3*f - 16 = 0. Is z at least as big as l?
True
Let r be 13717/(-11310) + 14/12. Is 0 < r?
False
Suppose 6*r = 9*r - 12. Suppose 6*q - 2*q = r. Suppose -2*a = -4*p + 22, a - q = 2. Does p = -1?
False
Let z be -421*-1*(-6 - -7). Let l = z + -367. Is 60 less than l?
False
Let b = 434 + -429. Which is smaller: -216 or b?
-216
Let u = 190.1 - -40.9. Let k = -232 + u. Which is bigger: k or -0.86?
-0.86
Let n = 44 + -39. Let p be -4*n/40 + 2/(-4). Which is smaller: 11/25 or p?
p
Let k(c) = 3*c + 89. Let h be k(0). Let p = h - 84. Suppose 0 = 3*a - w - w - 58, p*a - 2*w = 94. Is a equal to 18?
True
Let h = -35 - -44. Let f be 3*(4 - 2)/(-2). Let i be (h/f - -7) + -23. Do i and -19 have the same value?
True
Suppose -30*b = -33*b + 5*m + 11, 3*b - 8 = 2*m. Let s be -3 - -3 - (b - -12). Is s < -8?
True
Let u be ((-5160)/16)/(((-2)/(-3))/(8/42)). Which is greater: u or 0.2?
0.2
Suppose 3*b - 25 = -2*b. Let l(s) = 3*s + 136*s**3 - 4*s**2 - 1 + b*s**2 - 137*s**3. Let d be l(2). Is 2 equal to d?
False
Let c be (-112)/(-8) - (2 + 1). Suppose 0 = c*v + 35 - 167. Is v greater than or equal to 13?
False
Let l(h) = 115*h - 174. Let u be l(8). Let q = u - 736. Is q greater than 21?
False
Let j(b) = 91*b - 1057. Let x be j(16). Is 398 smaller than x?
True
Suppose -3*y - 2 = -5. Let q = 19052 + -2610122/137. Is q equal to y?
False
Let z = -33.1 - -64.47. Let y = -0.63 - z. Let b be (0 - -1)/(1 - 0). Is b greater than or equal to y?
True
Suppose 9*z - 69 - 39 = 0. Let m be 3/6 - (-18)/z. Are 17/13 and m equal?
False
Let f be -34002*10/(-150)*5. Is f smaller than 11336?
True
Suppose -2*l = -42*l - 33*l - 330471. Which is smaller: l or -4526?
l
Let g be 16/6*5025/20. Let f = -662 + g. Let o(n) = 12*n - 1. Let t be o(1). Which is smaller: t or f?
f
Let y(k) = 30*k - 2108. Let z be y(56). Is -432 at least as big as z?
False
Suppose 26*n = 18*n - 198*n. Do 19/405 and n have different values?
True
Suppose 74*m = -74*m - 24*m - 37152. Which is smaller: -218 or m?
-218
Let j be (1/638)/(2/(-1192)). Let k = j - 52/29. Let y be ((-237)/33 - -4) + 18/99. Do k and y have different values?
True
Suppose -1042 + 363 - 406 = -155*i. Which is bigger: 102/13 or i?
102/13
Suppose n + 244 = 6*d - 3*d, d - 8 = 0. Is -212 equal to n?
False
Suppose -i = 4*a - 113, i - 254 = -2*i + 5*a. Let t(z) = z + 11. Let c be t(-6). Suppose c*x + 32 = -i. Which is greater: x or -24?
-24
Let j = 25534 - 25519. Which is bigger: j or 940?
940
Let b = 409 + -1073. Is -663 greater than b?
True
Let z(i) = -i**3 + i. Let j be z(-4). Suppose d - j = -2*v - d, -75 = -4*v + 5*d. Let n = -5 - v. Which is bigger: n or -31?
n
Let y be (-10)/8 + (-3)/(-12). Let m = -809 - -808.83. Is y less than m?
True
Let f be (-6)/8 - (-1006509)/(-84). Let h = 95981/8 + f. Which is bigger: h or 15?
15
Let c(u) = -u**3 - 2*u**2 + 4*u - 3. Let m be c(-4). Let s = m + -10. Let b = 0.513 + -0.113. Are b and s non-equal?
True
Let d be 2/((16/18)/(-4)). Suppose 12*i - 10*i - 14 = p, 5*p + 34 = -2*i. Are d and p nonequal?
True
Let o(y) = y**2 + 13*y + 1. Let h be o(-13). Let l be (h/4)/((2 - -1)/(-3)). Which is smaller: l or 15?
l
Let a(k) = -6*k**2 + 13*k - 31. Let r be a(9). Let j = r + 414. Which is greater: -3 or j?
j
Let s be (2/10)/((-24)/((-1344)/(-175))). Which is smaller: s or 0?
s
Let t = -81900418/31 + 2641573. Let n = t + 376. Which is greater: 1/4 or n?
1/4
Let w be (-19)/456*-36*-4*(-1)/85302. Which is bigger: w or 0?
w
Let r = -3572.13 - -3619. Let w = -0.87 + r. Let m = w - 47. Is m at most -5.9?
False
Let w(l) be the second derivative of l**4/12 + 7*l**3/3 + 47*l**2/2 + 3*l + 1. Let a be w(-5). Let c be 2/(-4)*(-3 + 1). Which is bigger: a or c?
a
Suppose -30*t + 25*t + 3*o = -2754, -2764 = -5*t - 2*o. Is t greater than or equal to 553?
False
Let h be 20/12*-2 - 1/(-3). Let l = h + 0. Let g be (-1)/l + (-768)/18 + 4. Which is smaller: -38 or g?
g
Let o = -4 + 1. Let u(z) = 14*z - 1. Let n(s) = s**2 + s - 2. Let