Let d = 137 - 134. Let y be ((-13 - -10) + 4)*(d + -1). Which is bigger: -22 or y?
y
Let a be (15/2872)/((-288)/(-128)). Which is bigger: a or -1?
a
Let f = 26 - -485. Let u = f - 509.3. Does u = 1/5?
False
Let i = 369.706 - 0.706. Let o = 320.8 - i. Let b = o + 48. Is b greater than or equal to -1/3?
True
Let r(n) = -3*n**3 - 43*n**2 - 15*n - 17. Let j be r(-14). Let x be (-2 - 0) + (-10)/j. Which is smaller: x or -0.04?
-0.04
Suppose -b + 3*q = -q + 128, 3*b + 348 = 3*q. Let n be (-868)/b*2/(-4). Which is smaller: -4 or n?
-4
Let z(u) = -u - 1. Let v be z(1). Let j = -238 + 280. Let f = j - 43. Is v equal to f?
False
Suppose 6*p + 0*p - 2538 = 0. Let w be (-154)/(-1044) - (-47)/p. Which is bigger: w or 0?
w
Let o = -136/2079 - 23/297. Let v = 6.7 + 3.9. Which is bigger: v or o?
v
Suppose 3 = 4*y - 37. Let f(b) = b**3 - 10*b**2 + b - 9. Let t be f(y). Let o be 9 - (208635/1547)/15. Is t smaller than o?
False
Let j = 720 + -122. Let r = -704 + j. Is -107 at most r?
True
Suppose 0 = 3*o + 2*w - 923, 0 = -3*o + 2*o - w + 309. Let a = -226 + o. Is a greater than or equal to 79?
True
Let n = 282991/12 - 23512. Let j = -265/4 + n. Let p = 0.1 - 0.2. Is j greater than p?
True
Suppose 4*x + 552 = -w, 2*w - 2*x - 453 = -1627. Which is bigger: w or -583?
w
Let x(w) = -13*w + 41. Let q be x(5). Let t = q - -39. Let s be (-4 - -1)/(3/(-2)). Is s equal to t?
False
Suppose 3*a + 2*c = 9, -2*c - c + 3 = a. Suppose w - 3*p + 2 = 0, -8*w + 11*w = a*p - 18. Which is smaller: w or -25/3?
-25/3
Let w be 0/(-1) + (-6)/15. Let l = 1797 + -1158. Let i be (-4)/32*l + 4/(-32). Which is smaller: i or w?
i
Let p(o) = o**3 + 51*o**2 - 52*o + 14. Let x be p(-52). Let d be x/(-5 - (-189)/35). Suppose -w = c - 23 - 12, 5*c - 5 = 0. Is d != w?
True
Let u(s) = s**3 - 11*s**2 - 76*s - 28. Let c be u(-17). Which is greater: -6830 or c?
c
Let h = -3044 + 3082. Suppose -2*p = p + 4*c + 1, 5*c + 4 = -p. Which is greater: h or p?
h
Let z = -7336 + 7344. Let d = 312/49 + 24/49. Is d bigger than z?
False
Let u = -70 + -42. Let m = -2508 + 2400. Let h = m - u. Which is smaller: -3/5 or h?
-3/5
Let c(w) = 2*w**2 + 12*w - 29. Let a be c(2). Let d be 2*a*(-9 - (-455)/50). Is d less than -2?
False
Suppose -5*k + 2*s + 7 = s, 2*k = 4*s - 8. Suppose -q - k - 13 = 0. Let n be 2 + q/(-282)*-38. Is n at most as big as 1?
True
Suppose 0 = -5*m + x - 2, 0*m = 2*m + 5*x - 10. Let o = -480 + 896. Let r = o - 416.24. Are r and m non-equal?
True
Let r be (11/(11 - -22))/(10/6). Is -551 at least as big as r?
False
Let u = 14 - 31/2. Suppose 339 - 319 = -5*s. Let l(f) = -3*f - 13. Let y be l(s). Which is smaller: u or y?
u
Suppose -42*l - 3*l - 467670 = 40*l. Is l < -5501?
True
Let f be 351/(-231543)*(-2)/96. Which is greater: 0 or f?
f
Let v = -13157 - -13156.66. Let k be (-4)/(-22) + 16/(-572). Which is smaller: v or k?
v
Let s = 29152 + -49646. Is s at least -20494?
True
Let j = -206.1 - -229.1. Let i = -24 - -30. Which is smaller: i or j?
i
Suppose -4*w = 235 + 905. Let i = -1711/6 - w. Is i smaller than -49?
False
Let h = -314 - -694. Suppose 3*t = -7*t - h. Let i = -36 - t. Is 0 >= i?
False
Let t(q) = 6*q + 7*q - 3*q - 6 + q**2 + 4 + 17. Suppose 0 = -8*j + 3*j + 2*z - 50, -4*j - 22 = 2*z. Let u be t(j). Which is bigger: u or 6?
6
Suppose 12 = -35*l + 38*l. Suppose 85*k - 83*k + l = 0. Let s be (-2)/12*(-132)/(-9). Which is smaller: s or k?
s
Let p = -2 - 16. Suppose -20*t - 36 = -32*t. Suppose -5 + 1 = 5*f + 3*x, -14 = t*f - 4*x. Is p at most as big as f?
True
Let j = -115257/85 - -1356. Let i = j + 4/2295. Do i and 2 have the same value?
False
Let u(o) = 6*o**3 - 2*o**2 - 4*o - 2. Let p be u(-2). Let j = p - -21. Is j at most as big as -28?
True
Let k be ((-4)/64)/((-5)/(-4)). Let c(a) = -a + 1. Let i be c(1). Suppose -2*r + 7 = -3*y - i, -y - r + 6 = 0. Which is greater: k or y?
y
Let j = -16295 - -11503. Is j bigger than -4793?
True
Let b = -191.56 - -191.39. Is b greater than 2.89?
False
Let f = -0.1695 - -0.251. Let b = -41.0815 + f. Do b and -0.1 have different values?
True
Let y = 542.8 - 543. Let p = 72.1 - 246.1. Which is greater: y or p?
y
Let y = -122.53 - 2461.47. Which is smaller: y or 0.4?
y
Let o be (3 - -3)*10470/(-90) + 10. Which is bigger: -689 or o?
o
Let x be (0 - -4)*2/28. Let t = 1167 + -1172.633. Let u = t - 0.367. Is u less than x?
True
Let c = -275/9 + 278/9. Which is smaller: c or 17?
c
Let x = -1045 + 737. Let i = 302 + x. Are i and 1.6 unequal?
True
Suppose 64 = -5*g - 76. Let y = 33245 - 33273. Is y <= g?
True
Let l be -1 + -3*6/(-9). Let k(f) = f**3 + 5*f**2 - 10*f + 7. Let b be k(-7). Let o be (-1 - 1)*(-10)/((-6020)/b). Which is smaller: o or l?
o
Let r = 7386 + -7386. Which is smaller: r or 3.17?
r
Let t = 326.724 + -327. Let w = 2.224 - t. Which is bigger: -7 or w?
w
Let w = 35 - 31. Suppose z + 22 = -3*o, 0 = z - w*o - 0*o - 13. Let h be (-4 - 0)*(z/(-2) - 3). Are h and -14/5 non-equal?
True
Let g = -79 + 92. Suppose -g*i - 5 = 47. Let w be -3 + 5 + 6*i/8. Which is smaller: -6/17 or w?
w
Let y = 1143 + -548. Let l = 598 - y. Which is smaller: 7.9 or l?
l
Let q(l) = 2*l. Let t(j) = 49*j - 74. Let i(a) = -6*q(a) + t(a). Let k be i(3). Which is greater: 41 or k?
41
Suppose -15 = -5*s, -3*s = -2*n + 295 + 540. Let h be 7 + (n/(-38) - -4). Is h smaller than 1/10?
True
Let m = 12135 + -1201388/99. Let a = m - -4/33. Suppose -110*j - 29 = -13 - 16. Which is bigger: a or j?
j
Suppose -4*v + 4 = 0, 0 = 4*d - d + 4*v - 7. Let s(u) = 149*u - 1. Let m be s(d). Are 148 and m unequal?
False
Let n = 112 - 117. Let h = n - -1. Let o = -0.38 - -3.38. Which is greater: h or o?
o
Let j(r) = r**3 + 17*r**2 + 16*r - 9. Suppose 5*p + 105 = 25. Let m be j(p). Let f = 64/7 + m. Do f and 1 have the same value?
False
Suppose 0 = 2*t - 12 + 6, 4*q + 3*t = 313. Let b = 229/3 - q. Which is greater: -12.2 or b?
b
Let h = 14606 - 102092/7. Do h and 18 have the same value?
False
Let b(v) = -v - 4. Let y be b(6). Let d = -555 - -1177. Let x = -622 + d. Which is bigger: y or x?
x
Let x = -9380 + 9380. Which is smaller: -19/111 or x?
-19/111
Let q be 1340/(-8)*(6 - (-126)/(-20)). Which is bigger: q or 50?
q
Let t(f) = 4*f**3 + 569*f**2 - 579*f**2 + 3*f + 0*f + 27 - 3*f**3. Let y be t(8). Which is bigger: -78 or y?
y
Let i = -430 - -382. Let x be (-1 + 3)*((-3928)/i)/(-1). Which is greater: x or -165?
x
Suppose -65*v + 70*v = -4*l - 455, -5*l = -3*v - 236. Let w be 14*(-6)/1 + -3. Are v and w nonequal?
False
Let t = -10325 - -10320. Is t greater than -47/8?
True
Let b(i) = 2*i**2 + 6*i - 29. Let v be b(-7). Suppose 32*o + 40 = v*o. Let r be 54/(-72) + 66/o. Which is smaller: r or -28/3?
-28/3
Let x = -92 - -72. Let p = 26 + x. Let m be ((-9)/p)/((-324)/32). Which is smaller: m or 0?
0
Suppose -9*p - 6*p = 15. Which is smaller: p or 1245?
p
Let h = -438/19 + 13824/209. Is 42 < h?
True
Suppose -11*a - 3515 = -457. Let x = a + 122. Is -156 greater than x?
False
Let c = 2 + -25. Let o be (-126)/(-9) + 1/((-1)/(-1)). Let w be 1*(-333)/o + 1/5. Which is smaller: w or c?
c
Let i be (28/(-6) + 4)/((-12)/522). Which is smaller: 35 or i?
i
Suppose 3*x = 5*x + 36*x + 38. Which is smaller: 2/465 or x?
x
Suppose -8*t + 4*t = 0. Suppose -4*v = t, -3*v + 4 = -4*k - 6*v. Let f = 12/13 + -61/52. Is k greater than f?
False
Let v = 200.09 + -9.69. Let x = v - 190. Which is smaller: x or -14?
-14
Let w = -1256125/1091254 - 1/12689. Is w greater than -2?
True
Suppose 65*p + 1423 = -1047. Which is smaller: p or -74?
-74
Let z(u) be the third derivative of 1/6*u**3 + 1/24*u**4 - 15*u**2 + 0*u + 0. Let j be z(1). Is j smaller than -3/5?
False
Suppose -3*q + h - 20 = 0, -5*h + 16 = -41*q + 40*q. Which is smaller: q or -2?
q
Let u be (8256/(-72))/(-8)*(2 - -1). Which is smaller: 72 or u?
u
Let f(s) = -246*s + 7. Let p be f(2). Let t be -496 + 2 - (-152)/(7 + 12). Which is bigger: p or t?
p
Let n(b) = -b**3 - 5*b**2 - 6*b - 9. Let u be n(-4). Let q = 1/1233 + 302081/4932. Let r = q + -62. Are r and u equal?
False
Let a be -7*11/(-154) + (-187)/(-2). Let m = a + -273. Do m and 1/3 have different values?
True
Suppose 2*c - 16 = -5*w, 3*w = -2*c + 6*w - 16. Let y be 47/(-7) + (-156)/(-169)*39/6. Are y and c equal?
False
Let b(d) = -8*d + 9. Let j be b(1). Let a be (j/((-2)/8))/((-28)/(-56)). Which is smaller: 11 or a?
a