i = 5878 + -5881. Is i at most as big as 4/291?
True
Let v be -10*(-2)/(-45) + (-3)/((-54)/4148). Which is smaller: 252 or v?
v
Let l = 138/5 - 33764/1225. Let d = l - 3/175. Let k = -217 - -218. Are k and d equal?
False
Suppose -3*c + 2*u = -4, c + 3*u - 3 = 4*u. Let v be 15 + (c - -3) - (-4 - -1). Let j(k) = k - 11. Let l be j(v). Is l at most as big as 25/3?
True
Let d = -42.7 - 8.3. Let i = 1160 + -1210.9. Let s = d - i. Is s less than 2/5?
True
Suppose 4*r - 271 = 33. Suppose -3*y = -360 + 147. Suppose r*i - 5 = y*i. Which is smaller: i or -2/91?
-2/91
Let u be (7 - 208) + -2 + (-2 - -1). Let x be 24327/u*4/(-3). Which is greater: x or 160?
160
Let o = -24 - -22. Let d be (2*(-87)/(-18))/(o/12). Let t be ((-2)/3)/(d/435). Is 32/5 at least t?
True
Let i(b) = -b**3 - 9*b**2 + 9*b - 10. Let d be (-2)/((-68)/20 + 3). Let q be d/(((-2)/12)/((-5)/(-15))). Let f be i(q). Is f at least as big as -2?
True
Let g(b) = -b**2 + 10*b + 874. Let f be g(-25). Which is bigger: 3/352 or f?
3/352
Let m(g) = -g**2 - 18*g + 40. Let y be m(-20). Suppose y = q - 36. Let c be ((-2)/(-12))/((-9)/q). Is -27 != c?
True
Suppose -8035*s + 8017*s = 7794. Is -432 less than s?
False
Let h = 0.093 + -1.093. Let y be (-19)/7 + (-16)/56. Let c be y*5/(105/2). Which is smaller: c or h?
h
Let i be 8/7*96/128*-14. Suppose 0*z + 22 = -2*z. Is z less than i?
False
Let o(w) = -2*w**3 + 38*w**2 - 19*w + 361. Let i be o(19). Let f be 8/6*-2*3. Let t be (-99)/(-50) + f + 6. Are t and i unequal?
True
Suppose 13267 + 35582 = 57*p. Which is bigger: p or 1/3?
p
Suppose 3*x + 7*x + 340 = 0. Let o be (x/(-14))/((-3)/12). Which is smaller: o or -11?
-11
Suppose -5*i = -64 - 107 - 319. Let c(l) = -l**3 - 5*l**2 + 7*l + 9. Let h be c(-6). Suppose 0 = h*j - 19 - i. Are 41 and j equal?
False
Let z(a) = a**3 + 3*a**2 - 2. Let d be z(-2). Let w = 78542460/17 - 4617876. Let r = w + -2268. Is r less than or equal to d?
True
Suppose 12 + 18 = 3*a. Suppose -23*r + a*r - 975 = 0. Is r equal to -75?
True
Suppose 93*p + 91 = 100*p. Are p and 7 non-equal?
True
Let l be 1/((-75)/18) - 0. Suppose -263*f = -266*f - 75. Let u(v) = -v**3 - 24*v**2 + 27*v + 51. Let y be u(f). Which is bigger: y or l?
y
Suppose 0 = 48*f - 50*f + 6. Suppose k + 9 = -4*v, 0 = f*v + 5 + 1. Which is smaller: k or 1/54?
k
Let t(z) = z**2 + 142*z - 894. Let a be t(15). Which is smaller: a or 1463?
a
Suppose 0*w + 2*i = 3*w + 22, -4*w = -5*i + 34. Let s(t) = t**2 - 12*t - 9. Let q be s(11). Let j be q/(-3)*(-24)/20. Is j at most w?
True
Let x be (-3)/(-9) - ((-115818)/(-18) + 6). Let c be 1 + 16/28 + x/4067. Is c greater than 0?
False
Let d(j) = -10*j**3 + j**2 - 132*j + 132. Let t be d(1). Is 1025 at most as big as t?
False
Let f be (-4 + 1)*1 - 14/2. Let j(o) be the second derivative of -o**4/4 - 5*o**3 + 2*o**2 + 3*o. Let h be j(f). Is 5/2 < h?
True
Let d be 1*((-1)/1 + 9 + -3). Suppose 5*w + 25 = 2*t + t, 0 = -d*t - 5*w + 15. Let b = t - 10. Is b < -7?
False
Let d = 2.9 - 3. Let k = -614 - -614.303. Let q = -0.047 - k. Which is smaller: d or q?
q
Let j = -271 + 272. Let u be ((-37)/(-87727))/((j + -4)/(-6)). Which is smaller: -1 or u?
-1
Let b = 0.312 - 1.742. Let z = b - 1.57. Is 8 greater than z?
True
Let m = 194 - 194. Suppose 14*g - 35*g - 1134 = m. Which is bigger: -55 or g?
g
Let v(o) = o**3 + 19*o**2 - 29*o - 10. Let j be v(-19). Let i = 5877 + -5335. Do j and i have the same value?
False
Let k = 40 + -59. Let f be 2/(-153)*39*156/k. Let l = 84/19 - f. Do l and -1 have different values?
True
Let f be (78/104)/(-3) - 461*34/8. Are f and -1960 unequal?
True
Suppose -83*z - 23783 - 13982 = 0. Which is bigger: z or -432?
-432
Let r(o) = -6*o + 6. Let c be r(5). Suppose 4*h + x = -2*x, 2*x = -h - 5. Suppose 0 = h*a - g + 72, 122*a - 96 = 126*a - 4*g. Is c at most as big as a?
True
Let f(c) = -594*c + 4206. Let d be f(7). Suppose 142 = 3*r + s, 5*s - 34 - 18 = -r. Is d smaller than r?
False
Let n = -0.0142 + 2.9842. Let z = n + -1.97. Is z equal to 10.8?
False
Suppose -2*b = 0, 5*b = 3*o + 2*b - 147. Let x = 113 - o. Is x <= 66?
True
Let l(b) = 27*b**2 + 2*b - 1. Let j be l(1). Let o be (70/j)/(10/(-6)). Are o and -1.7 equal?
False
Let r be (48/(-132))/(12/66). Which is greater: 913 or r?
913
Let a = -234 - -238. Suppose 4*f - 3*w + 61 = 226, -a*w - 12 = 0. Which is greater: 38 or f?
f
Let y = -842 + 863. Which is smaller: -7/6 or y?
-7/6
Let r be 3/(-6) - 6/(-28). Let g be (-2)/(-5)*60/(-7). Let w = g - -422/119. Which is smaller: r or w?
r
Let s = -6/203 + -328/2639. Does 77 = s?
False
Let q = -0.5 + 0.3. Let w = -133412 - -133411.84. Is w < q?
False
Let h be ((-132)/8)/(9/(-48)). Suppose -5*y - h = -27*y. Suppose 0 = -t + 4*t + 5*m - 159, -y*t + 3*m = -212. Is 55 greater than or equal to t?
True
Let m = 38618 - 38424. Which is smaller: m or 181?
181
Suppose -10183 = -7*j - 2875. Are 1044 and j non-equal?
False
Suppose -98*z - 5775 = -6265. Is z != 1/448?
True
Let y(m) = m**3 - 6*m**2 - 11*m + 12. Let u be y(9). Let s = u - 107. Let t be 26/(-143) + s/88. Is 0 greater than or equal to t?
False
Suppose -42*u + 45*u = -1593. Let n = 548 + u. Suppose -2*y - 1 = -35. Is n bigger than y?
False
Let k be 8/(-3) + -5*20/(-150). Let r be (-1 - -1)/(-2 + 1 + k). Do r and -1/274 have the same value?
False
Let y = -2.45 - 0.15. Let p = -0.5 - y. Let s = -23148 + 23148. Is s less than p?
True
Let a = 194.097 - 194. Let c = 0.097 - a. Which is smaller: c or -0.25?
-0.25
Let b(v) = -309*v - 10. Let a be b(0). Which is smaller: 12 or a?
a
Let y be ((-2)/9)/(1644/750 + 2 - 4). Is -2 at most as big as y?
True
Let t(l) = l**3 - 6*l**2 - 6*l + 6. Let r be t(6). Let f be 16/(-8) + 82/r. Let m = -27/5 - f. Is -3 greater than or equal to m?
False
Let f be -7 + 12 + 1781573/(-356307). Is 1 < f?
False
Suppose 0 = 50*i - 21*i - 17*i. Which is smaller: i or 3/277?
i
Suppose -6*u + 105 - 33 = 0. Let c be ((-154)/49)/(-13 - u/(-4)). Which is greater: -1/4 or c?
c
Let n(o) = 7*o + 11. Let m(f) = -18*f - 28. Let g(v) = 5*m(v) + 12*n(v). Let p be g(-2). Suppose -4*l + y = -l, 2*y = 2*l + p. Which is smaller: 1/4 or l?
1/4
Let d = -1.303 - -0.303. Let j = -114 + 44. Is j at least d?
False
Let i = 125205/253114 - -117/934. Which is bigger: i or 2?
2
Let l = 8.505 - -11.495. Which is bigger: 2 or l?
l
Let d = 28.09 - -0.61. Let k = 1.7 - d. Is 1 bigger than k?
True
Let g = -88031/8 - -11004. Which is smaller: -23 or g?
-23
Suppose 6*x - 3012 = 2*x + 5*s, 3*x - 5*s = 2259. Let o = x - 32376/43. Is o not equal to 1?
True
Let a = -6.3 - -6.4. Let j = 25477/51 - 1499/3. Which is smaller: a or j?
j
Suppose -2*r = 3*d, 4*d + 7 = r + 18. Let u(j) = 3*j + 8. Let p be u(r). Let w be 2 - 0 - 66/32. Which is smaller: p or w?
p
Suppose 2*g + 4*m + 0*m = 40, -m - 45 = -2*g. Suppose 2*x + 4*i + i + g = 0, -5*i = x + 16. Which is smaller: x or -10?
-10
Let n = 1786312/377249 + -516/109. Which is bigger: n or -1?
n
Let m = -2.6 + 4.5. Let s = m + -1.9. Let q = -1.89 + 2. Which is greater: s or q?
q
Let c = 379.3448 + -1.3448. Which is smaller: -1/3 or c?
-1/3
Suppose -2*s - s - 20 = -5*r, -3*r = -3*s - 12. Let d be r/(-5) - -5*15108/(-450). Is d <= -168?
True
Let c be 4/((-1)/((-45)/21820)). Are 1 and c equal?
False
Suppose 3*c = j - 95, 4*j + 4 = -c - 6. Let i = c + 85. Suppose i = -p - 23. Do -78 and p have different values?
False
Let i = 4504/345 + -334/23. Let o(r) = r**3 + 17*r**2 - 175*r - 168. Let n be o(-24). Is n <= i?
False
Let v be -1 + 10 - -3*1358/(-453). Let b(y) = -y + 7. Let k be b(6). Does v = k?
False
Let a = -20820 - -20772. Let j(i) = -i**3 + 12*i**2 + 2*i - 18. Let v be j(12). Let c be (-574)/12 - 1/v. Is a greater than c?
False
Let b be (4/(-102))/((-960)/(-432)). Let i = b - -577/13430. Is 0 not equal to i?
True
Let z = -44 + 52. Let s be (22/12)/(z/2824). Let x = -649 + s. Is 1/3 not equal to x?
True
Let j be (-40)/(-606)*((-6)/(-21))/((-180)/28). Which is greater: 0 or j?
0
Let w(k) = 3*k**3 - 10*k**2 + 48*k - 132. Let v be w(4). Do 73 and v have different values?
True
Suppose -248 - 572 = 5*u. Suppose 3*g + 4*x - 19 = 0, -44 + 59 = -g + 4*x. Which is greater: u or g?
g
Let u = -151 - -82. Let m(x) = 6*x**2 - 163*x - 42. Let t be m(27). Do t and u have the same value?
True
Let a = 1.4 + -1.1. Which is greater: 258 or a?
258
Let n be (-3)/(-6)*-1*