Is -5343 at least as big as b?
True
Let l = 252006430/437 + -576674. Is l < 1?
True
Suppose 3*u + v - 6 = 0, -3*v = -6*u + 11*u - 10. Let q be 77/28 + (-1 - u). Is -84 greater than q?
False
Let g = 54 - 47. Suppose -g*l + 732 = -l. Suppose -2*y = -2*z + 58, -3*y + l = 4*z - y. Which is bigger: 29 or z?
z
Suppose -546*n + 540*n = 0. Do -339 and n have different values?
True
Let n = 2.06 + 2.94. Which is smaller: -21 or n?
-21
Let c = -0.218 + 109.218. Let r = -109.3 + c. Is 11/2 greater than r?
True
Let q(d) = 148*d + 23. Let l be q(2). Suppose -l*n = -322*n + 30. Let z be 0 - (-3)/(6/22). Which is bigger: z or n?
z
Let q(t) = -29*t. Let o be q(1). Let x = 20 + o. Suppose -4*c = -3*s + 8*s - 21, 4 = c. Which is bigger: x or s?
s
Suppose 219 = -9*h + 237. Let k = 49 + -21. Suppose y = -d - d - 12, h*y + 5*d + k = 0. Is -4 bigger than y?
False
Let u(h) = 14*h + 1170. Let m be u(-84). Is -0.362 not equal to m?
True
Let g = 172 - 671/4. Let r = 35 - 39. Let i be (-1)/((24/30)/r). Which is bigger: i or g?
i
Let i = 97 + -97.56. Let y = -176 + 176. Are i and y equal?
False
Let k be 0/1 - 12647/(-31). Let g = 408 - k. Let x = 4125 - 4125. Are x and g nonequal?
True
Let p = -3579 + 2148. Let b = p + 124499/87. Is -1 greater than or equal to b?
False
Let a be 6/15 + 2403/30. Let x = -79 + a. Let n = -12931/9 + 1437. Is n greater than x?
False
Suppose -2*u - 165 = w - 44, 186 = -3*u - 3*w. Let q = 86 - 144. Is q >= u?
True
Let z = -4666 + 4666. Which is greater: z or 92.6?
92.6
Let g = 130/181 + -15956/543. Which is smaller: -28 or g?
g
Let c = -1095897 - -13140149/12. Let a = c - -885. Is -13 > a?
False
Let i(o) = 301*o + 1743. Let w be i(-6). Which is smaller: -76 or w?
-76
Suppose -145*w - 1381 = -1381. Let r be -8 + 0 + (-1 - 0). Let u = -4 - r. Is u greater than w?
True
Let u(c) = c**3 + 27*c**2 + 40*c + 78. Let x be u(-26). Let a = x - -287. Is 28/13 smaller than a?
False
Let a = 2018.9 - 2016.9. Which is smaller: a or 851?
a
Let w(k) = 91*k**3 - 2*k**2 + 17*k + 53. Let p be w(-5). Let y be (2/(-3))/((-76)/p). Which is smaller: -102 or y?
-102
Suppose -2*g - 91741 = -99205. Is g > 1?
True
Let a(v) = 3*v**2 - 8*v - 1. Let j be a(3). Let n be 0 + j - (-12 + (3 - 3)). Suppose 1 = -3*y - n. Which is smaller: -0.05 or y?
y
Suppose -4*s + 204 = -4*l, 39 = s - 28*l + 31*l. Let z = 87 - 41. Which is greater: z or s?
s
Let r be 3/7 - (-1235)/(-7). Let i be (-307)/28 - (-6 - r/28). Is -12 < i?
True
Let o = -7356 + 7376.54. Is -2/5 >= o?
False
Let x = 1700 - 1724. Which is smaller: x or -43?
-43
Let t be 1193/(-63) + (-42)/(-196). Is t > -18?
False
Let f be -89*(-6)/4*12/396. Which is smaller: 4 or f?
4
Suppose 4*f - 3*f = 29. Suppose -4*q + 5*t = -f - 6, -q = -2*t - 11. Suppose 4*d = -q*d. Is -20 less than or equal to d?
True
Let s = -120 + 57. Let z = 104.2717 + -0.2717. Let k = s + z. Which is smaller: k or 2?
2
Let v(p) = 6*p**2 - 256*p + 168. Let z be v(42). Let h be 1152/14 - 2/7. Let l = -740/9 + h. Is z < l?
False
Let k = 0.527 + 166.473. Let i = k + -167.16. Is i >= 12?
False
Let g be (-12)/16 + (1134/8 - -2). Suppose 137*t + 132 = g*t. Which is smaller: 26 or t?
t
Let f = -538 + 887. Let r = 1049/3 - f. Which is smaller: -5/6 or r?
-5/6
Suppose -3*n + 5 = 2*s, 0 = 2*s - s + n - 3. Let c(b) = -41*b + 23. Let p be c(s). Which is smaller: p or -142?
-142
Let b be (-9711)/(-1547) + -11 - (2 + -7). Let c = 10553/38913 - b. Is 1 smaller than c?
False
Let v = -16812 + 15875. Which is smaller: -4681/5 or v?
v
Let d be 7/(336/(-704)) - -15. Does 4589 = d?
False
Let q(a) = -a**3 + a**2 - 2*a. Suppose 0 = 5*h - 20, 4*h - 6 = l + 10. Suppose 2*y + 3*b = -6 - 0, l = -y + b + 2. Let d be q(y). Which is bigger: 1/12 or d?
1/12
Let b(c) be the third derivative of -c**4/24 - 41*c**3/6 + 20*c**2 - c. Let f = -13 + 3. Let i be b(f). Which is smaller: i or -59/2?
i
Suppose 18*r = 60*r - 27*r. Let u be 54/99*(-2)/30. Which is smaller: r or u?
u
Let w(o) = -o**3 - 10*o**2 + 12*o + 10. Let z be w(-11). Let p be (29 + z)*(-5)/(-4). Suppose 8*i = -11 + p. Is 7 at least as big as i?
True
Let v(d) = 39*d**2 + 9*d - 300. Let o be v(-11). Is 4322 != o?
True
Let z = -210 - -216. Let n be 3655/(-1219) - (15 + -12 - z). Which is bigger: n or 1?
1
Let z = 31/121 + -4870/19481. Is -1 greater than or equal to z?
False
Let r(x) = -2*x**2 + 58*x - 52. Let b be r(28). Suppose -5*m - 4 = -4*l - 40, 2*l = 4*m - 24. Suppose 8 = -2*v, m*a = 3*v + b - 12. Is a > -23/5?
False
Let x(m) = 880*m - 44. Let a be x(6). Let o be (-4)/(-10) - (a/(-20))/(-7). Is -38 at most o?
True
Let o(f) = -64*f + 3. Let d be o(-1). Let l = -68 + d. Let t be (0/l - 1) + -5. Which is bigger: t or 5?
5
Suppose 5*t + 0*c - 14 = -2*c, -t - 5*c - 11 = 0. Suppose t*o + 2 = 10. Let s be (o - 6) + -489*3/(-360). Is 1 at most as big as s?
False
Let y be (-1)/(-3) + 492/(-78282)*53. Which is greater: y or -1?
y
Suppose 43*j = 13518 + 192151. Does j = 4784?
False
Suppose -4*g + 40 = -3*g. Suppose -4*a - g = -8. Let i be (-58)/(-24) - (2 + 0)/a. Which is smaller: 4 or i?
i
Let p = 167.9577 + 0.0423. Let i = p + -141. Which is bigger: 2/7 or i?
i
Let y(h) = -2*h**2 + 67*h - 210. Let n be y(30). Is -1/63 <= n?
True
Suppose 0 = 3*d - 4*l - 584, -3*d + 139 = -l - 439. Which is greater: 189 or d?
d
Let o = 27448 - 38965. Which is smaller: 1/2 or o?
o
Suppose 3*j + 9973 = 2*a, -271*a - 14964 = -274*a + 5*j. Is a < 4977?
True
Suppose o - 2*g + 218 = -3*o, 0 = 3*o + g + 151. Let b = 47 + o. Let j = 267.1 - 267. Which is smaller: b or j?
b
Suppose -54 = -18*i + 36. Suppose l + 0*l - c - i = 0, 3*l - 2*c = 13. Suppose 19 + 125 = -l*t. Do t and 2 have the same value?
False
Let n = -13028574 + 677465359/52. Let f = 394 + n. Which is smaller: f or 1?
f
Let u = 5 - 7. Let l be (6 + -12 - -7)*13. Suppose -h - 4*h - l = i, 0 = 2*i - h + 4. Which is smaller: u or i?
i
Let m be 2/9 + (-63194)/(-342). Suppose -m*s + 191*s + 918 = 0. Is -153 less than s?
False
Let x = 579.23 + -3.23. Let o = x - 588. Is o at least as big as -0.1?
False
Suppose -5*a - 1556 = -0*a + w, -3*a - 2*w = 935. Let z be (-4)/16 + a/4. Is -79 greater than or equal to z?
False
Let l be (14/(-5))/(-2) - 344/860. Let s be 1/(155/(-10))*2/l. Is s greater than -1?
True
Let n = 45 + -50. Let j = 74 - 80. Let b = j - -10. Is b < n?
False
Let q = -0.089974 + 497.699974. Let g = q - 497. Which is smaller: g or 3?
g
Suppose 42448 + 1904 = -288*j. Is -1685/11 >= j?
True
Suppose o - 5*x + 14 = 0, -8*x = 3*o - 5*x - 12. Let h be 30/12 + 1/(-2)*o. Which is smaller: 3.4 or h?
h
Let f(k) = -k**3 + 10*k**2 - 18. Let h be f(10). Let n be 21/66*-98 - h/99. Which is smaller: -91/3 or n?
n
Let j be (3/4 - 3/(-12))*(609 - 12). Is j > 2387/4?
True
Suppose 0 = -5*n + 44 + 161. Suppose -3156*u - 2*b + 27 = -3155*u, -u + 59 = -2*b. Do u and n have different values?
True
Let i be 12/108 - 35/(-9). Let q be 553/(-1519) + i/(-62). Which is smaller: 23 or q?
q
Let h(o) = -o**3 + 14*o**2 + 11*o + 66. Let j be h(15). Let y be ((-500)/j)/((-44)/264). Are y and 499 nonequal?
True
Suppose a + 5*b = 26, 5*b - 1 = a + 13. Suppose 0 = -x - 5*m + a, -m = -2*x - 0*x + 1. Let u = -0.03806 + 53.03806. Which is smaller: x or u?
x
Let p be -3 + (-1)/2 + 63/4. Suppose 0 = 2*h - 20 - 6. Which is bigger: h or p?
h
Let u = -380 + 138. Which is smaller: -239 or u?
u
Let p = -8578 - -8577. Are p and 5/22 nonequal?
True
Let r = -4 - -1. Let b = r + 23. Let x = -548010 - -548010. Is b less than or equal to x?
False
Let l be 14876*1/20100 - (-9)/(-15). Let t = -4/201 - l. Which is smaller: t or -1?
-1
Let k = -9 - 4. Let h be 23*-3*(-3)/(-9). Is h smaller than k?
True
Let r be (8904/105 - -11)*5. Which is greater: 468 or r?
r
Let d = 28.93082 - -0.06918. Is d at least -44?
True
Let o(f) = -5*f + 9. Let m be o(3). Let l be 9/(-54) + (-61)/m. Let k = -4087/4 - -1033. Is l > k?
False
Let n = -80520.91 + 463.91. Let x = -80123.979 - n. Let v = 67 + x. Is v at least as big as -1/2?
True
Suppose -t + 73 = -3*p + 2, 39 = -2*p - t. Let i = p - -40. Suppose i - 15 = -r. Is r greater than -2?
False
Suppose 0 = -4*b - 24 + 96. Let g be 230/b + (0 - (-4)/18). Let m = g + -14. Is -3/32 less than m?
False
Let m(d) = 4*d + 52. Let v be m(-14). Let s be v/28 + (-114)/(-602). Let t be (-27)/36*8/(-6). Is s not equal to t?
True
Let c = -2