. Let i be c(3). Suppose -119*v + 122*v - 12 = 3*w, 3*w + 5*v = 20. Is i less than w?
True
Let k = -29.0474 + 31.988. Let h = k - -0.0594. Which is bigger: 0.79 or h?
h
Let n(z) = 3*z**3 + 2*z**2 - z + 40. Let k be n(0). Let i(a) = 5*a - 6. Let f be i(9). Let t be (k/12 - 3) + f/(-9). Which is bigger: t or -5?
t
Let z be ((-220)/(-165))/(-1)*3/164. Let y = 193 + -901/5. Let g = y + -62/5. Which is smaller: g or z?
z
Let o be 11116/(-50589) + 1*(-6)/(-27). Let f be -4 + -3 + 9 + (4 - 6). Which is smaller: o or f?
f
Let g = 545646/31 + -17594. Do g and 7 have the same value?
False
Let l = -0.332 + 0.352. Let j = -9/2 + 37/8. Which is smaller: j or l?
l
Let j be ((-60)/126)/(38/(-399)). Suppose -3*c + 8 = -c. Suppose c*d - i - i = 4, 2*i + j = 5*d. Is -1/105 at least d?
False
Let v = -6 + -5. Let k(r) = 3 - 253*r + 16 + 255*r. Let o be k(v). Which is greater: o or 19?
19
Let b be 6/14 - 106148/(-196). Let h = 3020210/9 + -336120. Let c = h + b. Is 1 != c?
True
Let z = -11143.9 - -11144. Is z not equal to -13959?
True
Let l be (7 - 3)*15/(-4)*46/(-115). Suppose 4*o = -0*m - 2*m, 0 = -2*m. Do o and l have the same value?
False
Let g(m) = -m**3 + m**2 - m. Let x(a) = -5*a**3 + 9*a**2 - 5*a + 1. Let u(p) = 6*g(p) - x(p). Let c be u(-2). Which is greater: c or 1?
1
Let d be ((-5)/20)/((-4)/32). Suppose 0 = d*y + 11 - 65. Let h = 23 - y. Which is smaller: -6 or h?
-6
Let w = 53 + 20. Let v = w - 75. Let u = -120 - -123. Do u and v have different values?
True
Let h(w) = 28*w**3 + 10*w**2 + 14*w - 46. Let z be h(3). Is 842 greater than z?
False
Let k = -30008.47 - -30348. Let h = 340 - k. Are h and 1/2 equal?
False
Suppose 0 = 2*q - 5*b - 10301, -25724 = 3*q - 8*q + 3*b. Let y = 35864/7 - q. Which is smaller: y or -19?
y
Let f = 1805 - 1753. Is f less than 40?
False
Let s = -20900 + 21438. Is s < -1/2?
False
Suppose 0 = -3*s - 3*i - 30, -99*i = -s - 97*i - 13. Which is smaller: s or -162/13?
-162/13
Let y = 564 - 403. Let h = -108565/2 - -54283. Is h equal to y?
False
Suppose -5*h + 38 = -10*z + 6*z, 2*h = -4. Let q be 258/172 + 50/z. Let s = 1 - 3. Does q = s?
False
Let t = -264.29 + 258.29. Is t <= 0.0991?
True
Let d(v) = -5*v + 3. Let j be d(6). Let f = 220 + -122. Let b = f - 99. Which is bigger: j or b?
b
Let p = 32138 + -32139. Is p at least as big as -4699?
True
Let b(j) = -3*j**2 - 49*j + 111. Let i be b(2). Suppose 0 = -5*t - 7 + 2. Let l be 0 - ((-4)/78)/t. Which is smaller: i or l?
l
Let x = -22 + 16. Let n be 6*3/x - (-189)/33. Let f = 211/33 - n. Is f greater than 5?
False
Let k = 24706 - 24860. Which is bigger: k or 1?
1
Let g(x) = -2*x + 201. Suppose -5*i + 61 = -159. Let v be g(i). Which is smaller: 112 or v?
112
Suppose -15*y = -28*y. Suppose -c + 3*s + y*s + 14 = 0, 5*c = -s + 70. Let n = 1 - 0. Is c bigger than n?
True
Suppose -5*s + 3*p - 1 - 3 = 0, 5*s = 4*p - 7. Which is smaller: -5/10316 or s?
-5/10316
Let x be (-128660)/80 + (-2)/(-8). Let k be x/(-160) + 2*12/32. Which is smaller: 12 or k?
k
Let l = -64 - -19. Let a be 5*-3*2425/l. Let g = -816 + a. Which is smaller: -8 or g?
-8
Let v = 7 - 12. Let y = v - -5.88. Let b = y - 0.7. Which is smaller: -2 or b?
-2
Let c = 365 + -177. Let n = 39 - c. Which is greater: -0.1 or n?
-0.1
Let k = -289462/3311 - -612/7. Which is bigger: k or 1?
1
Let v be 1 - -14 - (2810 - -88)/126. Suppose -5*q + 15 = -3*q + d, 3*q = -4*d + 35. Suppose -40 = q*r - 3*z + 2*z, 0 = -2*r - 3*z + 1. Which is smaller: v or r?
v
Let r = 0.7 + -3.7. Let u be 2/15*(-4)/(-3) - (-1886)/8487. Which is bigger: r or u?
u
Let m(g) = 28*g**3 + g**2 - 2*g + 1. Let x be m(-2). Let z = -59 - x. Suppose 0 = -o - 12*o + z. Which is smaller: 13 or o?
o
Let c = 336 + -339. Let o be ((-524)/(-12) + 8)*c. Is o smaller than -155?
False
Let l = -92367/49 - -1885. Suppose -o + 4*b + 14 = -0*o, 5*o + 5*b = -30. Let u = 1 + o. Which is greater: l or u?
l
Let p(c) = -15*c**2 + 13*c + 3. Let m be p(3). Let x = m - 61. Is x equal to -153?
False
Suppose 108 = -98*s + 100*s. Suppose 5*h = 3*l - 0*l + 14, -3*l - 3*h - s = 0. Let t be (l/52)/(1/10). Is 0.2 less than or equal to t?
False
Let h(m) = m**2 + 54*m + 171. Let l be h(-19). Which is smaller: -500 or l?
-500
Let k be (-35)/(-7) + 2472/8. Is 3462/11 bigger than k?
True
Let y = 81 - 80.917. Let c = y - 0.038. Is 2 >= c?
True
Let s be -84 - (-3 + (-3 - -10)). Let p = 88 + s. Is p < 2?
True
Suppose 20*h - 47*h - 810 = 0. Which is bigger: -15 or h?
-15
Let z = 46683/24469765 - 1/22805. Suppose -15 = 4*x - 5*o, -12*o + 14*o = 3*x + 6. Which is greater: z or x?
z
Let k(y) = -11*y**2 + 41*y + 273. Let n be k(-10). Are -1237 and n unequal?
False
Suppose 0 = -a + 3*s + 19, -1 = a + 4*s + 1. Let j be (3 + -1 + -1)/(261/3393). Which is smaller: a or j?
a
Let t = 37 - 52. Let r be -7 - (1140/70)/2. Which is bigger: t or r?
t
Suppose 3*q - 276*h + 38817 = -282*h, 0 = -2*q - 3*h - 25873. Which is greater: q or -12930?
q
Let n = 0.14 - 0.59. Let o = 20764.9 + -20765. Which is greater: n or o?
o
Let w = 61/20 - 14/5. Let y = 88 + -90.18. Let i = y + 1.38. Is i greater than or equal to w?
False
Suppose 102*t = 41926 + 2546. Is 452 less than or equal to t?
False
Suppose -8 = 4*j + 32. Let b = -90332 + 90316. Is j less than b?
False
Let g(i) = 4*i + 88. Let r be g(-22). Suppose 2 = -h - 2*q, r = -4*h - q - 17 + 44. Let f = 3 + 6. Is f equal to h?
False
Let s be 2/(-32)*14586/(234/(-18)). Which is smaller: s or 70?
70
Let b = -19912 - -19886. Which is bigger: -41 or b?
b
Let s = 3/1198 + 61041/22762. Let x = -3657/16 - -4326629/19152. Let o = s + x. Which is bigger: o or 1?
1
Let t = 21013 - 21291. Which is greater: t or -53?
-53
Let o(q) = -q**2 - 2*q + 7. Let j be o(-6). Let u(s) = -2*s - 35. Let k be u(j). Let g be (20/(-60))/(3*k). Which is smaller: 0 or g?
0
Let j = -18 + 37. Suppose -z + j = 2*g - 4*z, z - 1 = -3*g. Suppose g = 2*o - 0*o. Which is bigger: -1 or o?
o
Let h(b) = -53*b - 1845. Let q be h(-35). Suppose 5*s - 70 = -0*s. Is q smaller than s?
True
Let m = -368.418 + 319.418. Let f = -175/3 - -59. Is m less than or equal to f?
True
Let k = -293 + 329. Let o be (k/8 + -4)*134 - -1. Do o and 67 have different values?
True
Suppose c + 11*g - 10*g + 1179 = 0, -2*g = -4*c - 4740. Let f = 5454548553/115 - 47432040. Let x = c - f. Is x less than or equal to 1?
True
Let l = 75 + -56. Suppose i = -3*h - 11, -l - 1 = 4*i. Let j be (-14)/3*(-9)/(-15). Which is greater: h or j?
h
Let n be (2 + -2)/(-4 - -6). Suppose n*x - 4*r = -x + 21, -r + 67 = 4*x. Suppose 0 = -2*w + 3*w - 3. Which is smaller: x or w?
w
Let t(m) = -m**3 - 12*m**2 + 57*m + 772. Let w be t(-10). Which is greater: 68/49 or w?
w
Let r = 786 + -743.1. Let z = r - 0.9. Let m = z + -20. Which is greater: -1 or m?
m
Let f = -10.747 - -140.747. Let r = -106 - -187. Let x = f - r. Which is smaller: x or 1?
1
Let o be (-1 + 130)*14/21. Suppose -o*x + 87*x + 32 = 0. Let f be (-176)/x + 3/(-2). Is 5 < f?
False
Suppose -c = -8*c. Suppose 199 = 4*w - 3*p, c*w - w = -5*p - 37. Suppose -50 = -6*y + w. Which is smaller: 18 or y?
y
Let f = -22 - -22.099. Let v = 0.253 + f. Let l = 0.018 + v. Which is smaller: -1 or l?
-1
Let t = 82 + -54. Let z = -99717 + 99744. Which is greater: z or t?
t
Suppose -4*h + 3*k + k + 8 = 0, 4*h + 4*k + 16 = 0. Let t be 305/(-840) + 2/28. Which is greater: h or t?
t
Suppose -2*f = -a - 23, -f + 4*a = 73 - 109. Which is smaller: f or -17?
-17
Let u(y) = -y**3 - 10*y**2 + 2. Let d be u(-10). Suppose 4*n + d*n - 30 = 0. Suppose n*j - 2*f = 3, f + f + 11 = -3*j. Is -1/4 >= j?
True
Let n = 181999477/4949 + -36775. Which is bigger: -1 or n?
n
Let s = -89 + 3. Let h = -1824 - -10975/6. Let l = h + -205/42. Which is greater: s or l?
l
Let i = 1269 - 885. Let y = i - 348.1. Let c = 36 - y. Which is greater: -9 or c?
c
Let o = -10.1 - -77.1. Let v = -69 + o. Let c = 0.2 - 0.1. Is c <= v?
False
Suppose 0 = -4*z + 3 + 1, -p = 4*z - 2. Suppose -5*d - 4 = 1. Let a be ((-4)/p + -1)/d. Which is bigger: a or -9?
a
Let c = -16367/237817 + -7/1459. Let w = c + 5494/79055. Which is bigger: 0 or w?
0
Let v = -0.15458 + -0.00542. Which is smaller: 561 or v?
v
Let l(j) = j**2 + 7*j + 12. Let z be l(-5). Suppose -20 = z*i - 3*i. Let f = i - 28. Which is smaller: -6 or f?
f
Let j = 7 - 4. Suppose -4*k = -0*k - 1212. Let y = k + -301. Does j =