 36 = k. Let b = -46 - 35. Let i = b + 81. Which is smaller: l or i?
i
Let h = 366 + -365. Which is bigger: 773 or h?
773
Let z = 41 - 146. Let l = -105.8 - z. Is l equal to 2?
False
Let a be (-4 + 5)*-2 - (3 + -50). Let w = a + -44. Which is smaller: 6/13 or w?
6/13
Let j = -0.183 + 0.003. Are j and -1/2 equal?
False
Let i(n) = -n**2 + 18*n + 17. Suppose 4*j + 6*j = 190. Let s be i(j). Which is bigger: s or -7/8?
-7/8
Suppose -5*k - 440 = 5*w, -4*k - 201 = -w + 126. Which is smaller: -84 or k?
-84
Suppose 3*m - 18 = -3*t, 5*m - 3*t = 2*m + 12. Let r = -2 + m. Let o = -20 - -20. Which is smaller: o or r?
o
Let j = 21/8 - 939/376. Let l = 165/188 - j. Let q(r) = 3*r**3 - 2*r**2 + 2*r - 1. Let k be q(1). Which is smaller: l or k?
l
Suppose -5*q = -4*a - 275, 4*q - 6*q + 278 = -4*a. Is a bigger than -70?
False
Let s = -1915 + 588. Let x = -6597/5 - s. Is x less than or equal to 7?
False
Let p = 262131/112 - 16479/7. Let b = 41/3 + p. Which is greater: -1 or b?
b
Let x = -2 - -4. Suppose -x = y - 5. Suppose -y*t + g + g - 12 = 0, 0 = 3*t - g + 9. Is t != -2/11?
True
Let m = -241 - -5065/21. Let d = 213 - 214. Which is greater: d or m?
m
Let m = 0.043 + -36.043. Let z = m + 43. Let a = -3.1 + 3. Which is greater: z or a?
z
Let i = -0.42 - 56.58. Let y = -121 - i. Are 0.1 and y equal?
False
Let x = 0.9452 - -0.0548. Which is bigger: x or 3/4?
x
Let a be ((-13418)/(-5))/((-2)/(-5)). Let j = 161039/24 - a. Let t = -5/8 + j. Which is bigger: t or -1/3?
t
Let n(d) = -2*d**3 + 5*d**2 - 3*d + 3. Let z be n(3). Is -7 equal to z?
False
Suppose 0 = 3*w + 3*w. Suppose w = 5*q - 11 - 9. Suppose -q*d + 19 = -1. Is d at most 5?
True
Let m = 0.476 - 5.776. Are 7 and m non-equal?
True
Let c(o) = 2*o - 3. Let v(n) = -4*n + 7. Let d(b) = 7*c(b) + 4*v(b). Let i be d(-3). Which is smaller: 14 or i?
i
Let h be (17/(-85))/(1 - 0). Let z = 1.2 - 1. Let a = 0.1 + z. Is a > h?
True
Suppose j - 20 = -4*j. Suppose 0*m - 2*m + j = 0. Suppose -35 = -5*r + 5*i, -5*r + 27 = -5*i + 2*i. Which is smaller: r or m?
m
Let b(s) = s**2 - 6*s - 4. Let l be b(5). Let g be (-2)/((-20)/(-66)) + 74/(-185). Does g = l?
False
Let m be (-8)/14 - (-96)/336. Is -526 bigger than m?
False
Let x(f) = -f - 2. Let n be x(-5). Suppose 5*g - n*g - 8 = 0. Suppose 0 = -g*o + o. Which is smaller: 1 or o?
o
Let v = -91 + 91. Let t = 3 - 5. Is t greater than v?
False
Suppose -3*k - 4*c = -5*k + 110, -3*c = 6. Let g = 53 - k. Let p = 1 + 0. Is g < p?
False
Let i = 937 - 938. Which is smaller: i or 1366?
i
Let v = 941/481 - 135/37. Let u = v + 320/143. Is u greater than 2?
False
Let i be (0/(-2))/(-3 + 2). Let p be 129/9*12/(-8). Let q = p - -733/34. Which is bigger: q or i?
q
Suppose 0*w - 3*w - 15 = 3*k, -w - 5*k = 25. Let s(p) = 2*p + 0*p + 3*p**2 + 0*p - p**3 + 2 + 2*p**3. Let i be s(-2). Which is bigger: w or i?
i
Let d(a) = -28*a. Let s be d(-1). Let t = s - 26. Let x be 3/t*-2 - -16. Which is smaller: 12 or x?
12
Let i = -1125 + 1126. Let w = -1 - -1. Is i at most as big as w?
False
Suppose -i + 4 = -2*i + k, 2*i - k + 3 = 0. Is 5/138 at most i?
True
Let i = 10 + -16. Let c = 7 + i. Let x = -0.59 - -0.69. Is x at most c?
True
Let f(t) = t**2 - 34*t + 11. Let i be f(33). Which is greater: -28 or i?
i
Let r(k) = k**3 - 13*k**2 - 18*k + 19. Let n be r(14). Which is smaller: -34 or n?
n
Suppose -3*b - 15 = -3*j - 2*j, -b - 6 = -2*j. Suppose i - 1 + 5 = b. Which is smaller: -5 or i?
-5
Suppose -34 = 17*m - 0. Let g(x) = -x**3 + 2*x**2 + 3*x + 2. Let z be g(3). Let b = m + z. Which is bigger: b or -1/2?
b
Suppose 4*j = 2*j, -5*j = -4*a - 28. Let w(s) = -s**2 - 6*s - 7. Let p be w(a). Is -13 at most p?
False
Let y(p) = 2*p. Let o be y(-7). Let j(h) = -h - 17. Let v be j(-4). Which is bigger: o or v?
v
Suppose 0 = 5*n - 4*l - 236, 60 = n - 6*l + 2*l. Suppose 516 = -8*i + n. Which is bigger: i or -60?
i
Let m = -7552/10535 + 31/43. Is 0 equal to m?
False
Let r = -4.364 - 0.036. Let c = r + -15.6. Let x = c + 18. Which is greater: x or 0?
0
Let m(c) = c**3 - 6*c**2 - 2*c - 15. Let w be m(7). Suppose 16*s + 8 = w*s. Suppose -3*z + 1 + s = 0. Does z = 1/12?
False
Let d(s) = s + 22. Let b be d(-13). Suppose -b*u + 4*u + 190 = 0. Which is bigger: 37 or u?
u
Let d = -16.2 - -16.5. Suppose 3*a - 3*n + 4*n = 0, -n + 5 = -2*a. Which is smaller: d or a?
a
Let n be (-52)/91 + 50/14. Suppose -n*d - v = -15, 0 = 4*d + 4*v - 44 + 16. Let b be ((-20)/14)/((-9)/21). Which is bigger: b or d?
d
Suppose 11 - 17 = 2*o. Let m = 19 + -33. Let c be 7/m*22/5. Which is bigger: c or o?
c
Let h(g) = -g**3 - 3*g**2 - 2*g + 1. Let r be h(-2). Let s be -2 - (-618)/1610*6. Let b = s + -2/115. Is b smaller than r?
True
Let w = -5 - -6. Let l = -1.027 + w. Which is greater: 0 or l?
0
Let r(c) = c**3 - 16*c**2 + 2*c - 28. Let h be r(16). Suppose 15 = 6*j - 3*j, h*o = 5*j - 301. Are o and -70 equal?
False
Suppose 47 = 3*o - 1. Suppose 3*k + 7 = 5*b + o, -3*b = -2*k + 5. Is b bigger than -4?
True
Suppose 0 = -2*h - 5*w - 16, 4*h + 5*w + 10 = -h. Which is greater: 26/19 or h?
h
Let o = -12.29 - 0.71. Are o and -1.4 equal?
False
Let t = -4 - -8. Let u = 158 - 157.8. Which is bigger: u or t?
t
Let y = 133.7 - 14.7. Let f = y - 120. Which is smaller: f or 0.03?
f
Let n(w) = -2*w**3 + 44*w**2 + 77*w - 13. Let r be n(24). Are -470 and r equal?
False
Let m = 1376.89 + -1386. Let n = 0.11 + m. Let o = -3.268 + 1.268. Is n <= o?
True
Suppose 0 = -2*t - 2*d - 3 - 9, -26 = 3*t - 5*d. Which is smaller: 13 or t?
t
Let x be 1/(-8) + 1339/(-2472). Which is greater: x or 366?
366
Let i = -1008171/100 + 10082. Let d = -1/25 + i. Let u = 2 + -1. Which is smaller: d or u?
d
Let k = -2 + 2. Let v = 4.98 - 5. Let d = -1.02 - v. Which is greater: k or d?
k
Let m = -7 - -8. Let i be 0 - -143*(0 + -1). Let y be 304/1638 - (-22)/i. Is m at least y?
True
Let g = -0.32 - 14.68. Let a = g + 10. Let j = -6 - a. Which is bigger: -2/35 or j?
-2/35
Suppose -x + 12 = 2*c - 63, -3*x = -4*c + 165. Is c less than or equal to 38?
False
Suppose 2*v + 281 = -t, 0 = -2*v + 2*t - 205 - 67. Is v <= -137?
True
Let x(y) = -y**3 - 4*y**2 - y + 1. Let n be x(-4). Suppose -4 = 4*h - 5*h, 5*k + 165 = n*h. Is -30 > k?
False
Suppose 4*x - 12 = 0, 9*x - 7*x - 370 = -4*k. Suppose -4*w - k + 99 = 0. Which is greater: -1 or w?
w
Let t be (22 - 1)*(1 + 4/(-6)). Let g be 2 - (-2 + 1)*1. Suppose 2*c - g*c = -5. Is c greater than t?
False
Let g(c) = -11*c + 825. Let d be g(67). Is 0.4 at most d?
True
Let s = 1 - 36. Let w = s + 60. Let k = -17 + w. Is 1/2 less than k?
True
Let r be (2 + 3)*1*-1. Let c(i) = -2*i - 11. Let n be c(-3). Let x = r - n. Which is smaller: x or -1/10?
-1/10
Suppose -18 = 20*p - 26*p. Suppose 2*u + p*u = 4*u. Is 1/2 at least u?
True
Let h be 58/319 + 1492/22. Which is smaller: h or 79?
h
Suppose -n - 10 = 5*u - 11, u - 3 = -3*n. Which is smaller: u or 2/4093?
u
Suppose t - 136 = -22. Is 113 at most as big as t?
True
Let t = -13 - -16. Suppose -t*o - 7 - 5 = 0. Let w be (-44)/20 + (o - -5). Which is smaller: -1 or w?
w
Let l = -276/7 - -10226/259. Let g = 976 + -976. Which is greater: l or g?
l
Suppose 3*c = 2*c + x + 40, 0 = -4*c + 2*x + 170. Let y be 2*(c/(-39) + 1). Let w = 247 + -246. Is w less than y?
False
Let x = -27 + 43. Let q be x/10 - 24/40. Let f(k) = -2*k**2. Let o be f(q). Which is greater: o or -10/11?
-10/11
Let n be 0/((-7)/((-28)/(-12))). Let o(f) = -f**3 + f**2 + f + 252. Let y be o(n). Let g be 225/y - (-3)/(-4). Which is greater: g or 1?
1
Suppose 45 = -m - 5*w - 18, -5*m - 3*w - 205 = 0. Is m greater than or equal to 0?
False
Let q = -4/14561 + 5285671/101927. Let u = 51 - q. Is -2 greater than or equal to u?
False
Let h be (6 + -119)/(29/9). Let v = 35 + h. Let j = 41.1 - 41. Is j >= v?
True
Let f = -9.5385 - -0.5385. Let g = 3 + -2.8. Let c = -0.2 + g. Is f at most as big as c?
True
Let a be ((3 - 1) + 405/10)*-2. Let q be ((-3)/a)/(16/80). Is -1 not equal to q?
True
Let k = 26 + -67. Let q = k + 46. Let x be (1 - 3)*4/24. Which is smaller: q or x?
x
Let m be (-11440)/(-96) - 1/6. Let u = 133 - m. Is u at least as big as 17?
False
Let p be (916/10)/((-7)/10). Is -131 greater than or equal to p?
False
Let c = 2 + -10. Let t(u) = -u - 15. Let x be t(c). Is -7 >= x?
True
Let h = 29645955/365377844 - -5/1067316. Let i = h - 1/237. Which is greater: i or 0