 be c(-11). Is 1209 equal to f?
False
Let z = 12239 - 10901. Which is bigger: -0.4 or z?
z
Suppose 7*v - 61 - 58 = 0. Suppose -v*b = -16*b + 12. Let c be ((-1)/3)/((-1)/(b/4)). Is 1/6 < c?
False
Let v be (((-312)/13325)/(-12))/2. Which is bigger: 0 or v?
v
Let f = -24689/15 + 5185/3. Is f at most as big as 81?
False
Let b = 3245 + -2291. Which is bigger: b or 4764/5?
b
Let h = -33377 + 33294. Are h and -105 nonequal?
True
Let o = 67.7 - 67.8. Which is bigger: 501/7 or o?
501/7
Let t be (-849)/(-335) + 28/(-20). Do t and 1 have the same value?
False
Let u be 1982/220 - (-121 + 130). Suppose -4*r - 1 - 3 = 0. Which is smaller: u or r?
r
Let g be (55 - (-110)/(-22))*3/2. Is 68 greater than or equal to g?
False
Suppose 0 = 6*p - 139 - 713. Let j = p - 134. Which is smaller: -3 or j?
-3
Let k be 4 - ((-64)/384 - 3263/(-786)). Let y be ((-2)/(-8))/(5/8). Which is bigger: k or y?
y
Suppose 0 = 244*k - 226*k. Suppose 2*u - u = -2, -2*u = -2*j + 16. Suppose k = -2*i + 5*t + 6, 0 = i - 2*t + j*t + 23. Which is bigger: i or -8?
i
Let q = 80 + -81. Let d be (2/(-3))/(4 - 65/15). Let g be d*-2*-2*(-2)/184. Which is greater: q or g?
g
Let a be (9/288)/((-57)/(-12766)) + -7. Is a greater than or equal to 1?
False
Let s(b) = b**3 + 4*b**2 - 4*b + 1. Let u be s(-4). Let t = -24 + u. Let v(q) = 4*q**3 - 68*q**2 - 3*q + 46. Let l be v(17). Which is bigger: t or l?
l
Suppose -85*x - 242323 = 346609 + 237693. Is x at least -0.1?
False
Let p be (-494)/(-76)*12/39. Let d = 5.7 - -33.3. Which is smaller: d or p?
p
Let f = -194 - -271. Let l = f - 78.36. Let j = l + -0.04. Which is greater: 2 or j?
2
Let a = 5677 - 3628. Let u = -2036.31 + a. Let b = 1.31 + u. Is 1/5 not equal to b?
True
Let a(k) = -25*k + 6. Let g be a(-4). Suppose g = 12*c + 310. Which is smaller: c or -18?
-18
Let n = 284 + -255. Suppose -59 = 10*c - n. Which is greater: -28 or c?
c
Suppose -2*r - 257*c = -253*c + 284, -r + 2*c - 162 = 0. Suppose 0 = -2*f - 3*l - 295, 0 = -3*f + f + 3*l - 313. Are r and f nonequal?
False
Let f = 2363 - -1573. Is f at least 3938?
False
Let y = -39280 + 141093759/3592. Which is smaller: y or 1?
y
Let b be 594/55*95/171. Do -136 and b have the same value?
False
Suppose 0 = b + 3*i + 23 + 71, -4*b = -i + 402. Let o = b - -2101/21. Let f(v) = -v - 1. Let h be f(-2). Which is smaller: o or h?
o
Let v(y) = -147*y - 25. Let z(o) = -37*o - 6. Let r(x) = 2*v(x) - 9*z(x). Let u be r(1). Which is greater: u or 45?
45
Let q(a) = a**3 + a**2 - 8*a - 2. Let s be q(-3). Suppose 2*b + s*b - 84 = 0. Which is smaller: 77/6 or b?
77/6
Let w = -2278 - -2266. Let u = 9 + 0. Is u greater than or equal to w?
True
Let g be (74/(-1036) + 13/(-14))/1. Which is bigger: 3/5963 or g?
3/5963
Let n = -6132 - -5910. Suppose 437 = -2*m - 7. Is m <= n?
True
Let m(d) = d**2 - 127*d - 2387. Let j be m(-17). Which is bigger: j or 58?
j
Let j be (2105/2155 + 1 + -2)/((-3)/(-3)). Do 1 and j have the same value?
False
Suppose 16*x - 5*j - 3588 = 12*x, 2698 = 3*x - 2*j. Is x equal to 903?
False
Let r = 0.00428 + -152.86428. Let y = -153 - r. Let c(w) = -w**2 + 5*w - 2. Let k be c(4). Which is bigger: k or y?
k
Suppose 0 = -i - 7, -487*d + 488*d + 408 = -5*i. Suppose 0 = 2*n - 4, -4*q + 0*q - 1506 = -5*n. Which is greater: d or q?
d
Suppose -3*u - 2*w = 2 - 5, -5*u + 4*w = -5. Suppose 2*g + 21 = -u. Suppose -1 + 37 = -3*k + 3*o, -k - o = 12. Is g != k?
True
Let l(w) = w**3 - 4*w**2 + 4*w + 1. Let k be l(3). Let d be 84/(-49)*(-42)/12. Suppose -k*y - d = 2*y. Does -1/2 = y?
False
Let c(s) = 5*s + 59. Let f be c(-11). Let o be 2/f*-19*12. Let x be (-1 + (-13)/(-3))/((-118)/4071). Is x >= o?
False
Suppose -3*m + 3*j + 36 = -6*m, -3*j + 76 = -5*m. Are m and -572 non-equal?
True
Let f be (1/(-2))/(25 - 1849/74). Which is smaller: -1059/29 or f?
f
Suppose 0*d - 2*d = -2. Let s = -338600/23 + 14722. Are s and d nonequal?
True
Let r = 53 - 54. Let c be r + (-11176)/(-20) + 1 - 1. Let a = -563 + c. Which is bigger: a or -5?
-5
Let n be (584 - -311) + -2*4/(-1). Do n and 902 have the same value?
False
Let v(a) = 2*a**2 + 57*a + 675. Let y be v(-35). Which is smaller: y or 1129?
1129
Let w be 2*(0 + 1) - (-18288)/(14 + 2). Is 0.3 < w?
True
Let u = 19.052 - 19.352. Which is bigger: u or 1146?
1146
Let l be (-666)/(-34) + (-136 - -122). Is l greater than 2/9?
True
Suppose -128*r = 367*r - 27*r. Let s be (-8)/91 - 0/1. Is s < r?
True
Let j(y) = y**2 + 8*y + 9. Let a be j(-2). Let s = -11 - a. Let f be ((-4)/s)/(1 - (-9)/(-6)). Is f bigger than -2/57?
False
Let j = 4193 + -649913/155. Suppose 0 = 3*h - 0*y - y - 2, -5*h = -y. Which is smaller: j or h?
h
Let f(j) = -j**3 + 29*j**2 - 309*j + 71. Let s be f(25). Is -5155 less than s?
True
Suppose -6 = -4*f + 2. Let i be (f/22*-6)/((-5)/(-15)). Let y = -19 - -16. Which is smaller: y or i?
y
Let h = -28 - -26. Let d be (5/4 + h)/(-90). Let b(l) = l**3 - 23*l**2 + 62*l - 41. Let y be b(20). Is d at most as big as y?
False
Let t = 0.113 + 174.887. Let k = t - 174.3. Which is greater: -1/14 or k?
k
Let l = 10493 + -10494. Let m = -8 + 11. Suppose m*g = g + 22. Which is bigger: g or l?
g
Let w = -1759/90 + 111/10. Is -0.1 equal to w?
False
Let g be 85739/287180 - 6/20. Let j = g + 31845/8996. Which is greater: j or 3?
j
Suppose 4*t + a = 9*t - 870, 4*a + 680 = 4*t. Let h be 5320/532*88/5. Is h >= t?
True
Suppose 5*j - 8 = 2*p, 0*j + 3*j + p = 7. Suppose -j*b - 1060 = -6*b. Let d = b + -11923/45. Which is smaller: 1 or d?
d
Let i = 159 + -157. Let g be (-14)/35*(30/123)/i. Is g at least as big as -1?
True
Let z = -10861 - -10885. Let d = -31.9 - -56. Let w = z - d. Are w and -1.1 non-equal?
True
Let l be (8/(-6) + 1)/((-3)/(-63)*8/(-40)). Suppose 0 = 3*b - 3*w + 3, 3*w + 2 = 2*b - w. Is b smaller than l?
True
Let x = -2.1 - -0.1. Let a = x - -1.88. Let t = -202.245 - -201.245. Which is smaller: t or a?
t
Let b be ((-54)/(-4))/3 + 5 + -8. Which is smaller: 303 or b?
b
Let j(r) = r**3 - 2*r + 1. Let g be j(2). Suppose -3*a - 15 = -0. Which is smaller: a or g?
a
Let g be 900/150 - (3238/(-4) + -1). Which is smaller: 818 or g?
g
Suppose 5*p + 3*r = -160, 1 - 81 = 2*p - 2*r. Which is greater: p or -59?
p
Let t = 817 + -575. Which is smaller: t or 241?
241
Let g(a) = 36*a - 12. Let i be g(-3). Let t = i + 119. Let y be (-826)/70*(0 + t). Which is greater: 13 or y?
13
Let d = 97 - 161. Let g = -50 - d. Suppose -18*u = -g*u - 52. Are 40/3 and u nonequal?
True
Suppose 2*f + 4 = -4*i, i + 10 = -5*f - 0*f. Let v be 1*f*6*1/(-13). Which is bigger: 2 or v?
2
Let o = 83749/361460 - -330/11501. Let n = o + -4/385. Which is bigger: n or -14/33?
n
Let m be 1/(-3 + (-20)/(-6)). Suppose 3*q + 3*d = -0 - m, d = 4*q + 9. Suppose -15 = 4*x + p - 0*p, -5*p + 10 = 3*x. Which is bigger: x or q?
q
Let g = 1.14 - 177.14. Let x = g + 185. Which is greater: -0.8 or x?
x
Let p be 2860/(-165)*((-571)/(-2) - -1). Let u be p/(-884) + (96/51 - 2). Which is smaller: -1 or u?
-1
Let a be (63/(-135)*-5 + (-8)/4)*-3. Suppose 0 = -3*o - 34 - 77. Let x be o/(-56) - 2/7. Which is bigger: x or a?
x
Let f be 1 + -5 + 9 - 3. Suppose 10*x - 48 = f*x. Suppose -x*o + 4*h + 32 = -4*o, 80 = 5*o - 5*h. Is o < 14?
False
Let n = 9 - 10. Let r(y) = -3*y**3 - 481*y**2 - 158*y + 314. Let z be r(-160). Do n and z have different values?
True
Let j = -0.055 - 3.745. Let k = j - -4. Let o = -2203/10 - -220. Which is bigger: o or k?
k
Let x = 8589 + -205975/24. Let t = -97/24 - x. Does t = -12?
False
Let j be 3/5 + 3/(-5). Suppose j = -2*g - 5*b + 6, -5*g + b + 3 = -4*g. Suppose 0 = 2*r - 3*c + 43, g*c + 8 = 2*r - 3*r. Which is bigger: r or -3?
-3
Let a = 69.35 - 68. Let p = a - 0.95. Does p = -8/3?
False
Let q = -14 - -7. Let x = 0.938 - -0.07. Let h = 0.008 - x. Is q equal to h?
False
Let c(f) = -14*f**2 - 16*f + 59. Let u = -494 - -497. Let l be c(u). Which is bigger: -112 or l?
-112
Let x = -355.2 - -355.3. Which is smaller: x or 501?
x
Let s = -1429/5764 + -3/1441. Which is greater: s or 4.7?
4.7
Let n = -9001 + 9003. Is n not equal to -10659?
True
Suppose -y + 6 = 16. Let k be (-3 - 14/35) + 6/y. Let n be 3*k/16*-4 - 36. Is -33 less than n?
False
Let l(s) = -s**3 - 7*s**2 + 8*s + 26. Let x be l(-8). Let a be 5/(-3) - x/78. Suppose 2*j + 3*y = -y + 10, 0 = 4*j + y - 6. Is a > j?
False
Let b = -1 + 4. Suppose k = -i + 9, -11*k = -b