igger: w or -2520?
-2520
Let p = 2976 - 796. Which is greater: 2178 or p?
p
Let t = -12367.8 + 12368. Is 7831 less than t?
False
Suppose 0 = -2*v + 2*f, -4*v + 7*v + f - 12 = 0. Let k be (9/v + -2)*-4. Let u be 1 + ((-1255)/245 - k). Which is smaller: 1 or u?
u
Let j = -444 + 385. Is -22 smaller than j?
False
Let b = -499004/9745 + 12/1949. Is -51 at least b?
True
Let d = -202 - -295. Suppose -4139 + 149 = -42*z. Is d greater than or equal to z?
False
Suppose 3158*s - 3162*s = -3672. Which is smaller: s or 921?
s
Let w = -4376 + 4375. Do w and 2/2079 have different values?
True
Let m(o) = 57*o + 1. Let b be m(2). Let s(g) = 2*g**3 + 281*g**2 - 428*g - 170. Let a be s(-142). Which is bigger: a or b?
b
Let l(x) = x - 8. Let v be l(7). Let u = 1239 + -128855/104. Is u bigger than v?
True
Let d(c) = -c**3 + 3*c**2 + 8*c + 4. Let z(v) = v**3 - 15*v**2 + 16*v - 24. Let g be z(14). Let m be d(g). Let s = -61/3 + m. Is 0 at least as big as s?
True
Suppose 672 - 686 = 14*t. Which is smaller: t or -3/1318?
t
Suppose -5*z = j - 6, 0*j + 12 = -2*j + 2*z. Let w be -2*(-6)/j*(-8)/6. Suppose 0 = 5*x - i - 112, 2*i + w = -0*i. Is 22 < x?
False
Let l = -18 - 13. Let r = -145.2 - -112. Let v = r - l. Is 0 < v?
False
Suppose -41*a - 99 + 140 = 0. Is a equal to 35?
False
Suppose 9*t = -19*t. Suppose t = 2*j + 6*j + 8*j. Let z be (-2)/1*2/14. Which is bigger: j or z?
j
Let k be -1*(14 - (-45)/(-3)). Is k bigger than -2/5381?
True
Let t be 4151/(-1779)*3/7. Which is greater: -23347 or t?
t
Suppose -14*i = -4*i - 180. Suppose i*d = -d. Which is bigger: -6 or d?
d
Let w = 455 - 288. Let i = 415/844 + -51/211. Is i > w?
False
Let t = -168 + 168. Suppose t = 3*u - 3*z + 24, -3*z + 8 = 2. Is u less than -10?
False
Suppose 83 = 55*k - 134 - 58. Suppose 0 = 5*x - z - 28, 0 = 4*x + 4*z + 6 - 14. Suppose -5*v + 28 = 2*n, v + 0*n = x*n - 16. Is v less than k?
True
Let t be (2/4*-86)/(21/1869). Which is bigger: t or -3826?
-3826
Let o = 43 - 38. Let h = -0.038 + -0.962. Let c = 0.5 + h. Which is bigger: c or o?
o
Let y = 309 + -5869/19. Let m = 78 - 75. Suppose 34*g = 37*g + m. Is g smaller than y?
True
Let s = 21861 - 20616. Which is smaller: 4 or s?
4
Suppose -s = 5*o - 26, 2*o - o - 18 = 3*s. Let q = -46 + 53. Suppose 2*j - q*j = j. Is j less than or equal to o?
True
Let s be (2 + 4/((-120)/39))*(-20)/(-35). Is -34/7 smaller than s?
True
Let i = 0.15 - -0.75. Let n = 289 + -142. Let r = 147 - n. Is i smaller than r?
False
Let o = -97554 + 14340364/147. Let g = o + 1/294. Which is greater: g or 16?
16
Let q be 3414/24 + 6 + (-135)/108. Suppose w - j = -0*j + 141, 5*w = 2*j + 717. Which is smaller: q or w?
w
Let i = -0.119 + 0.599. Let q = i - 2.48. Let b be 0/2 + -1 + 2. Which is greater: q or b?
b
Let c = 4.8 + -0.8. Let u = 4.1 - c. Let p be (-84)/(-7350)*(-10)/4. Which is smaller: p or u?
p
Suppose 0 = -5*i + 4*y + 935, 2*y = i - 156 - 31. Let l be 6 + -1*(-2)/(-2). Suppose 487 = l*q + i. Which is bigger: 59 or q?
q
Let i = -2059 - -1835. Is i less than or equal to -206?
True
Let m(p) = 2*p**2 + 12*p + 10. Let w be m(-5). Let b = 141599/101 - 1402. Is b at most as big as w?
True
Let p = -58923/122 + 483. Which is smaller: p or -1?
-1
Let k = -2.62 + -157.38. Let x = -157 - k. Which is smaller: x or 11?
x
Let k be ((-13)/(234/(-63)))/((-2)/(-4)). Let m be (k - 258/42)/((-3)/(-14)). Which is smaller: 3 or m?
3
Let m = -276 + 311. Suppose 38*t = m*t. Let b = -7 + -37. Is t greater than or equal to b?
True
Let w be ((-5882)/(-1476) - -7) + 88/(-8). Is -1 greater than w?
False
Let y be 4 + (-5 - (5 - 72/8)). Which is bigger: y or 12.32?
12.32
Let c = 23 - -19. Suppose c*x - 40*x = 8. Suppose -3*y = -0*y - 3, -2 = -2*v + x*y. Is 17/4 equal to v?
False
Let y be 26/(-78) - (-1)/3. Suppose -22 = -y*q - q. Is q < 190/9?
False
Let u = 3.24 + -6.24. Let o = 9 + -17. Let b = o - -8.6. Which is smaller: b or u?
u
Let g = -88750 - -88731. Let d = -0.2 - -2.2. Is d less than or equal to g?
False
Let z = 485.0416 - 0.0416. Let j = -41 - z. Which is smaller: 1/3 or j?
j
Suppose 50*a - 98 = 22*a - 350. Let x = 4 - 12. Is x greater than a?
True
Let g = -79/1049534 + -195489173455/2364600102. Let u = 5/751 + g. Let q = u + 83. Which is smaller: -3/13 or q?
-3/13
Let d be (-83 - -2) + 0/(-2). Let x be 1/6 - 10101/126. Which is bigger: d or x?
x
Let i be 1 - -1 - (-246)/(-2). Let q = 92986 - 93105. Which is smaller: q or i?
i
Let r = -4310 - -4362. Let o = -4.3 + 4. Which is bigger: r or o?
r
Suppose -78450 = w + 9*w - 5*r, 5*w - r = -39228. Do w and -7845 have the same value?
False
Let k be (-2)/(-12) - (-25185)/90. Suppose 201*a = 209*a + k. Which is smaller: -34 or a?
a
Let l(t) = 2*t**3 + 24*t**2 - 2*t + 7282. Let c be l(0). Do 7283 and c have the same value?
False
Let h = -1270 - -13972/11. Are h and 801 non-equal?
True
Let p = 17800 + -17301. Which is greater: 2/5 or p?
p
Let a = -16935/699358 + 1/8426. Is a at least -1.05?
True
Let k be 8/(-5)*20*(-8)/(-64). Let w(o) = -o**2 + 3*o - 7. Let q be w(0). Let v = 62/9 + q. Which is bigger: k or v?
v
Let g = 19408 + -19408. Which is smaller: -55/422 or g?
-55/422
Let n = 51 + -54. Let l = 2 + 3. Suppose -l*b = -7*b. Are n and b equal?
False
Let v = 130 - 114. Suppose -v - 9 = -25*f. Is 8/7 equal to f?
False
Let a = -80/1313 - -716913/11744785. Are a and -1 nonequal?
True
Let f = 22 - 36. Let k(y) = -y**2 - 12*y + 35. Let j be k(f). Suppose 4*p - j*p - 9 = 0. Which is bigger: p or -15?
p
Let c(q) = 356*q + 814. Let w be c(-12). Are -3455 and w unequal?
True
Let b(x) = -32*x - 10. Let r be b(0). Let f be 414/68 - (r + 16). Is f at least 5?
False
Let x(k) = -61*k**3 - 10*k**2 + 9*k + 2. Let o be x(3). Is o smaller than -1710?
False
Let f = 1024.4 - 761. Let a = 258 - f. Suppose -2*t = 4*t. Do a and t have different values?
True
Let c = -598.6 + 420. Let r = 179 + c. Which is greater: r or -0.16?
r
Let w = -178 + 166. Let o be (w/(-8))/((-1242)/8). Is o at least -1?
True
Let o = -43384 - -911980/21. Let u = -131/3 + o. Which is smaller: 1 or u?
u
Suppose -7*p = -2*p + 6*p. Suppose 7*x + 0*x + 770 = p. Is -110 less than x?
False
Suppose -5*t + w + 1077 = 0, 3*w - 15 = -2*t + 409. Suppose 4*q = 5*j - 121 - t, q + 68 = j. Which is greater: 66 or j?
66
Let k = 153.2 + -153. Is 705 smaller than k?
False
Suppose 3*j + 937 + 21 = 4*i, -i - 2 = 0. Let z = 24345 - 24344.9. Which is bigger: j or z?
z
Let v(f) = -f**3 - 98*f**2 + 95*f - 110. Let j be v(-99). Do j and 860/3 have the same value?
False
Let m be (2*-3)/(5 - (2 + 5)). Let f be 87/58*1/m. Let b = -45/98 - 2/49. Which is bigger: f or b?
f
Let s = 58605/4 + -13951. Let b = 700 - s. Is b > 34?
False
Suppose -b = -3*d + 3731, 3*b - d + 11200 = d. Let p be b/(-17)*(-2)/(-34440)*6. Let y = 2/595 - p. Which is bigger: y or -1?
y
Let s = 1337.4 + -1338.4. Which is bigger: s or 1214?
1214
Let d be -383 + 239 + -2 + 18. Is d smaller than -2457/19?
False
Let r = 345 - 283. Let u be (-96)/r*(-36 - -37). Do u and -2 have the same value?
False
Suppose v - 84 = -2*p, 0 = -v - 4. Suppose -p*d = -48*d + 4. Let z be 1 - 4 - d - -2. Is 10 >= z?
True
Suppose 3*k - 5*k + s + 3 = 0, 5*s = 4*k + 3. Suppose 2*n = 4*o + 32, 0*n + n - 24 = k*o. Is o bigger than -4?
False
Let b be (-8748)/(-252) - 4/(-14). Suppose 5*k - 160 = b. Which is smaller: k or 40?
k
Let n(y) = -87*y**2 - 782*y + 10. Let w be n(-9). Let j = -5/48 - 11/240. Is j smaller than w?
True
Let j be (-7)/8 - 0/(-2). Suppose -5*a + 3*a = 4*c - 16, -5*a - 2 = -4*c. Suppose 3*y + 0 = -5*b - 25, -a*b = -5*y + 10. Is j greater than or equal to y?
False
Let j = -459.22 + 454. Let i = 4.5 + j. Let d = -0.32 - i. Which is bigger: d or -2/7?
d
Let h = -198.178 - -198. Let o = h - -0.2. Let y = -0.074 - -0.174. Which is smaller: o or y?
o
Let s be (9 - 5 - 10) + (-21)/(84/160). Which is greater: 0 or s?
0
Let p = -75.56 - -1.56. Let j = 82.4 + -12.4. Let c = j + p. Is -3 less than or equal to c?
False
Let x be 1 + -58*11/22. Is x > 1?
False
Let r(w) = -35*w + 673. Let t be r(57). Is -1322 bigger than t?
False
Let r(p) = -p**3 + 18*p**2 - 20*p + 46. Let g be r(17). Let f(a) = -6*a**2 - 2*a - 13. Let n be f(g). Is -153 < n?
False
Let a be ((-35)/(-7 + 2))/(-1)*-1. Suppose 2*i - a = d, 5*d + 12 = 4*i - 17. Is 14/17 at most as big as i?
True
Suppose 3*m = 5*m - 3*x +