e -4 + -6*1*-46. Suppose x*b - y = 3*j, -j + 204 = 3*b - 0*j. Which is bigger: 67 or b?
b
Let o be 823/390 + (-5)/20 + (-187)/(-340). Is 1 < o?
True
Suppose 906 + 2115 = -53*o. Let q be -1*(57*1 + -1). Is o > q?
False
Suppose 7*n - 2*n - 590 = 2*l, 5*l = -5*n - 1440. Does -1449/5 = l?
False
Let x = 1823/7303 + -63/109. Suppose 13 + 2 = -5*u - 4*g, -g - 6 = -u. Is u bigger than x?
True
Let q(s) = 3*s**2 - 9*s + 127. Let i be q(-9). Is 450 at least as big as i?
False
Let u be (-3 - 76/(-24)) + (-597311)/(-78). Which is bigger: 7656 or u?
u
Let k be 1/(17/66) + (-10)/(-85). Let z be -1*(-3 + 3)/k. Which is greater: 3 or z?
3
Let r(t) = t**3 - 5*t**2 + 5*t + 3. Let v be r(3). Suppose f = -21 - v. Let z = f + 23. Is 13/6 > z?
True
Let t = 2575 + 623. Which is bigger: -1/4 or t?
t
Let b be 6*2/(-3) - -4. Suppose 5*z - 4295 = -5*y, 2*z - 1577 = -3*y + 137. Let d = -8639/10 + z. Which is greater: b or d?
b
Suppose 4*s = s + s. Suppose -5*r - 225 = -s*r. Let h be (-4)/(10/r*69). Which is smaller: -1 or h?
-1
Suppose -4*j + 26 + 214 = 0. Let q be (-85)/75 - -1*8/j. Which is smaller: -17/9 or q?
-17/9
Suppose -3*p = p - 48. Let v be 3 + p/4 + 892. Let c = v + -11680/13. Which is smaller: c or 1?
c
Let w = -515.7 + 578.7. Is w greater than 0.04?
True
Let n be ((-35)/(-20685))/((1 - -1)/12). Is 7 at most as big as n?
False
Suppose -3*o + z - 27 = 0, 2*o + 4*z + 2 + 16 = 0. Let j be 6/o - (1 + (-16)/6). Suppose 2*q + 2*u - u - 9 = 0, 5*q + 15 = 5*u. Are j and q non-equal?
True
Let r be 18/15 + 12/15 + -3. Do r and -1/2906 have the same value?
False
Let b be (6578/39)/(2/(-6)). Let y = 574 + b. Is y greater than or equal to 66?
True
Let j be -1*0/(9/3). Suppose j = -5*g + 3*m + 90 + 47, 3*m + 81 = 3*g. Let n be (-3)/14 - 8/g. Is n smaller than 8?
True
Let k(x) be the first derivative of x**4/2 + 8*x**3 - 25*x**2/2 + 13*x + 26. Let s be k(-13). Is s < -1?
False
Let g = -2055 + 2054.95. Which is bigger: 52 or g?
52
Suppose 5*d = 10*d - 100. Suppose -l - 53 - d = 0. Let o = l + 85. Which is bigger: o or 13?
13
Let s = -108 - -202. Let h = -89 + s. Do h and 22/5 have the same value?
False
Let w = 0.03832 - 3.03832. Is w != -920?
True
Let y = 104 + -48. Let w(n) = -6*n + 179. Let j be w(29). Suppose k + 4 = 5*z + 44, -15 = -j*z. Is y greater than or equal to k?
True
Let g(m) = -2*m**3 - 65*m**2 - 32*m + 4. Let q be g(-32). Suppose 4*d - 3*i = -29, 4*d + 29 = q*i + 1. Which is smaller: -13 or d?
-13
Let v(t) = -531*t - 7423. Let s be v(-14). Is -3.15 >= s?
False
Suppose 31 + 3 = 12*t - 29*t. Which is greater: -4/2265 or t?
-4/2265
Let g = -14 - -21. Let v = -6.61 - -282.61. Let l = v + -278. Is g not equal to l?
True
Let r = 7 + 0. Suppose -46*a - 7*a = -396 - 505. Which is smaller: r or a?
r
Let t be (-9)/((-27)/(-12)) + 6. Let j be 0 - (t/1 - 4). Is -1 < j?
True
Let v = -35.2 - -48. Let q = -101.8 + v. Let n = 92.8 + q. Which is smaller: 2/5 or n?
2/5
Let z(m) = 452*m - 3. Let n be z(1). Let l be (-12)/(-66) + n/11. Let b = l + -41. Which is smaller: b or 3/7?
b
Let t = -1811736451/12654 + 143175. Are 0 and t unequal?
True
Suppose 3*a + 16 = 7. Let j be 15/(a/(-11 - 4)). Suppose 6*d - d = -5*x - j, -75 = 5*x + 4*d. Does 2 = x?
False
Let x(d) = d**3 + 9*d**2 + 3*d - 9. Let y be x(-8). Let k be (-20)/6*(38 + 1). Let b = k - -162. Which is greater: y or b?
b
Let s = 158 - 149. Let r = 0.021 - 28.021. Let l = 26 + r. Which is greater: s or l?
s
Let j = 85189/7 + -12209. Is 1/4 at least j?
True
Let h = 689/99975 + 2/2325. Let r = -9392 - -9392. Which is smaller: r or h?
r
Let f(u) = u**3 - 14*u**2 + 47*u - 108. Let k be f(16). Which is smaller: k or 1157?
k
Let n be 7*(16/(-7) + 2) + 31410/15704. Which is bigger: n or 1?
1
Let y = -0.0433 + -38.9567. Let h = 0 - y. Which is smaller: h or -4?
-4
Suppose 127*q + 2*q + 40293 - 1077 = 0. Which is smaller: -3031/10 or q?
q
Let f = -8754955/642 + 13637. Is f >= 1?
False
Let r = 1350/263 + -3498972/681959. Is 1 > r?
True
Let q = 4313 + -4313. Which is bigger: -33/233 or q?
q
Let o be 2 - 6/(12/86). Suppose -46 = -3*i + 152. Let k = i + o. Is k at most as big as 23?
False
Suppose 0 = -2*p - 5*i + 38 - 26, 4*i - 3 = 5*p. Is -24/457 not equal to p?
True
Let s = 3757 + -3518. Is s greater than or equal to 239?
True
Let j = 3 + -2.8. Let v = 451.89 - -9.11. Let d = 461.03 - v. Is d > j?
False
Suppose -3*g - 4*x - 111 = 0, g + 0*g = -5*x - 26. Suppose 5*l = 3 + 7. Suppose -6*s = -l*s + 168. Which is smaller: s or g?
s
Suppose 0 = -61*m + 65*m - 3*c - 2, 0 = -19*m + 4*c - 11. Is -1/6344 >= m?
True
Let s be (10765/(-15) + (-8)/(-24))/1. Let f = s - -718. Which is bigger: f or 43?
43
Let c = -32075 - -32044. Which is smaller: 64 or c?
c
Let z be 54/(-4) + 1/(-2). Let g be (-221)/35 - (-4)/z. Let m = 8063 - 8071. Do m and g have the same value?
False
Let m be (-324170)/2520 - (-1)/(-4). Which is greater: -130 or m?
m
Let r(g) = -78*g - 2849. Let s be r(-33). Which is smaller: -269 or s?
s
Let w be (-5)/((-30)/(-4))*(-4 - 2). Suppose 3*j = -w*j + 28. Suppose -27*z - j = -23*z. Is 1/6 at most as big as z?
False
Let w = 126 + -126. Let k(q) = -q**2 - 10*q + 1. Let v be k(w). Let a = 0.66 + 26.34. Which is greater: v or a?
a
Let p be (1760/(-120))/((-14)/1029). Is -0.03 at most p?
True
Let h = 1736338/39 + -44520. Which is smaller: h or 0?
0
Let o = -7164 - -7158. Let v be 1/(-5)*(41 - 9). Is v not equal to o?
True
Let u = -442 + -255. Which is smaller: -699 or u?
-699
Let l be 1/2*2*(6 + -203). Let v = l - -590/3. Which is smaller: v or 90?
v
Let t = 64372 + -255751/4. Do 435 and t have the same value?
False
Let d = -1093 + 1093. Which is greater: -1/1344 or d?
d
Let q = -22283 + 22282. Is 2/25765 less than q?
False
Let t be -28*(-140)/(-50)*(-5)/(-4). Which is smaller: t or -105?
-105
Let z = -21.45 - 0.55. Let n = -65 + 65.46. Let x = n + -0.56. Is z at least as big as x?
False
Suppose s - 5*z + 11 = 0, 3*s - 2*z = 4 + 2. Suppose s*v = -v - 10. Let r = -218 + 3708/17. Which is smaller: r or v?
v
Let t be 6/(-8) - 45/36. Let b(o) = 2*o**3 + 5*o**2 - 2*o - 5. Let m be b(t). Is 52/19 not equal to m?
True
Suppose 0 = -4*t - 3*j - 222, -3*t - j - 10 - 149 = 0. Let w = -14 - -13.9. Are w and t equal?
False
Let z = 119.2 - 108. Let t = -12 + z. Let l = 61/27 + -95/54. Which is smaller: t or l?
t
Suppose 39 = 115*m - 114*m. Suppose 2*c + o + 0*o - m = 0, 0 = 3*c + o - 56. Which is smaller: 15 or c?
15
Let o = 2.3 + -0.3. Suppose b = 5*j - 19, 2*b - 61*j = -56*j - 18. Is b smaller than o?
True
Let k = 29 + -25. Suppose k*m = 5 + 3. Suppose -m*f - 3*f - 10 = -b, -b = -3*f - 6. Which is bigger: b or 7/8?
7/8
Let u = 23 + -70/3. Let c = 1/2 + u. Suppose 25 = 4*b + 29. Which is greater: b or c?
c
Let r be -1 + 81/9 - 1912. Which is smaller: r or -1902?
r
Let u be 31/63 + ((-816)/(-432) - 2). Let b = -2 - -2. Which is smaller: b or u?
b
Let g(q) = 197*q - 1. Let i be g(1). Let l = -7249/37 + i. Suppose 4*z - 4*f + 112 = 124, 12 = 5*z - 4*f. Is z >= l?
False
Let n = -0.63 - -0.03. Let m be (-22)/110 - (-488)/15. Let f = 33 - m. Is n greater than f?
False
Let z = -22.525 + -462.475. Which is greater: 0.06 or z?
0.06
Let m be (4 + 2/4)*(-32)/(-3). Let k be (4/(-7))/(14/(-49)). Suppose 5*q + 0*q = i + 246, q - 51 = k*i. Which is bigger: m or q?
q
Let u(c) = 3*c + 12. Let g be u(0). Suppose 0 = -2*z - 3*f - 5 + g, -3*z + 10 = 4*f. Suppose -7 + 7 = z*l. Which is bigger: l or 2/3?
2/3
Let q = -0.8 - -0.83. Let t = q - 0.33. Let i = -0.906 + -6.094. Which is greater: t or i?
t
Let f = 1665 + -1733. Which is smaller: -52 or f?
f
Let k(t) = 7*t**2 + 54*t + 582. Let m be k(-20). Which is greater: m or 2301?
m
Let r be 55/6 - (103 - 94) - (-2)/(-4). Is 3709 less than r?
False
Suppose -1255 + 3436 = 12*d - 3687. Which is smaller: 492 or d?
d
Let j = 0.00852 - -0.07148. Is 296 at most as big as j?
False
Suppose -889*f + 877*f = -108. Which is smaller: 300/29 or f?
f
Suppose -11261 = -2*w - 11133. Let q be (-6)/8 - 1/4. Is q > w?
False
Let o = -11474 + 11080. Which is bigger: o or -393?
-393
Let v be (652/(-2282))/(((-2)/(-182))/(-1)). Let o(a) = -5*a - 1. Let y be o(-5). Which is bigger: y or v?
v
Suppose -2*n = -4*c + 2*n + 60, -4*n = 12. Let w be 4/c - 159/(-9). Let i be (19/380)/(w/(-16)). Is -1 >= i?
False
Let n = -10126/93 + 571582508/5249571. Which is