igger than -633?
True
Let k be ((-23)/(-46))/((-1)/(-36)). Suppose -36 = 2*b - k. Which is bigger: b or -22?
b
Let l(j) = -1. Let s(k) = -k**2 - 4*k + 3. Let u(c) = 4*l(c) + s(c). Let r be 2 + -12 + 15 + (0 - 7). Let n be u(r). Which is greater: n or -3?
n
Suppose -111*o = -96*o + 390. Let d be o/91 - (-337)/1253. Which is greater: d or 1?
1
Let f be (-217 + 7)/(-7)*-3. Let k be (-3)/9*240/f. Which is smaller: k or 1?
k
Let d be (-128)/6240*(10/3 - 0). Is d < 3?
True
Suppose 3*x = 6, 2*f - 132 = 4*x - 142. Let b = 1097/54 + -41/2. Is b bigger than f?
True
Let u(j) = -j**3 + 2*j**2 + 13*j + 8. Let t be u(5). Let c be 2/6*-2 + (-111)/t. Is c < 55?
True
Let s(d) = 3*d - 43. Let z be s(14). Suppose 1 + 9 = 2*w. Let f be (z + w/3)/(4/6). Which is bigger: f or -1/12?
f
Let y = -3014 - -33149/11. Let t be (2 + 2/(-4))/(-33). Let w = y + t. Does 3/2 = w?
False
Let h be (-60)/(-14) + (-20592)/5236. Let d be (-1)/3 + 4/(-6). Is h != d?
True
Let p = 53 + -60. Let a be 99/(-9) - (-3 + 6 + p). Which is bigger: -8 or a?
a
Let v = 258.2 + -228. Let n = -70 + v. Let m = -40 - n. Which is greater: m or -8?
m
Let t = -6803 + 6803. Are t and 35/218 equal?
False
Let x = -70708201/29616 + 1/29616. Let j = -1103581793 + 461296191495/418. Let c = j - x. Is c less than 0?
True
Let q = -152639/19 - -8034. Let u(p) = 3*p - 2 + p**2 + 0 - p. Let n be u(-3). Which is smaller: q or n?
q
Let h(d) = 5*d**2 - 17*d + 9. Let l be h(3). Let o be l/(297/(-6))*120/176. Which is smaller: o or 1?
o
Let a = -58 - -83. Let h = 263 - 237. Which is greater: a or h?
h
Let d be (-24)/(-14) - ((-378)/(-49) + -8). Suppose 4*f + b + b = 18, 4*b = d*f - 34. Let g be 2 + (-10)/f - (-11)/42. Which is greater: g or 0?
g
Let q be (8 - -1) + (-25080)/2728. Is 0.3 != q?
True
Suppose 2*g - 5*u = 7 - 34, -5*u - 57 = 2*g. Let p(d) = d**3 + 22*d**2 + 21*d - 3. Let c be p(g). Suppose 0 = 2*i - 3*i - 1. Is c smaller than i?
True
Let r be 4/20 - 336/2080. Which is greater: r or 2/15?
2/15
Let u be 21/(-2952)*-13 - 4/32. Let t = 107/4551 + u. Which is bigger: t or 1?
1
Let w = 466 + -843. Let l = 1998892513/5300879 + -8/230473. Let a = w + l. Is 0 >= a?
False
Suppose -4*s - 140*i - 4 = -142*i, -8 = 4*s - 3*i. Is -58/133 at most s?
True
Let h = 224 - 244.1. Let i = 20.2 + h. Is 47 != i?
True
Let v(x) = x**3 + 10*x**2 + x + 13. Let q be v(-10). Suppose -138 = -q*z - 0*s + 5*s, -4*s + 267 = 5*z. Let f be -6*(z/18 - 3). Are f and -2 unequal?
True
Let i(o) = o + 41. Let n be i(26). Suppose -c - 56 = 4*s, -n = 4*s + s + 2*c. Let p = -19 + 4. Is s smaller than p?
False
Let w = -836 + 963. Let s = w - 128. Is s <= -3/719?
True
Suppose 8*w = -128 - 0. Let v = 40 - 7. Suppose 3*k + 31 = 5*a, 3*a + v = -4*k - 47. Is w smaller than k?
False
Let v(p) = p**3 - 26*p**2 - 28*p + 28. Let t be v(27). Let z be 2*-1 - 288/(-99). Is z greater than t?
False
Let r be (-4)/(-4*4/320). Suppose -3*s - 25 = 4*q, -4*q - r = 4*s - 8*q. Let k = -1481/3 - -480. Which is smaller: k or s?
s
Let m = -6.1 + 51.1. Let t = m + -45.2. Which is smaller: 1 or t?
t
Let k = -30628881/433636 + 43602/911. Let v = k - -378/17. Is -1 >= v?
False
Let x = 17438 - 19343. Is x bigger than -1910?
True
Let u = 1030 - 1029.76. Is -14 >= u?
False
Let s = 2014.35 + -1990. Let x = -21.65 - -23. Let o = s - x. Which is smaller: -3 or o?
-3
Let f(c) = 3*c**2 + 32*c + 41. Let p be f(-14). Let m = -177 + p. Which is bigger: -19 or m?
m
Let r(a) = 4*a**2 - 13*a - 30. Let l be r(-6). Suppose 3*z + 64 = -n - 2*z, -3*n - l = 2*z. Let p = 50 + -115. Which is smaller: n or p?
p
Let d(g) = -8*g + 86. Let z be 4/12 + (-1)/3. Let s be d(z). Let a = s - 86. Which is bigger: -1/5 or a?
a
Suppose 195*x - 25435 = 135050. Do 822 and x have the same value?
False
Let f = 365.4 - 413. Let u = f + 38.6. Which is bigger: u or -20/9?
-20/9
Suppose k - 217 = 6*j + 324, j - 1566 = -3*k. Which is bigger: k or 521?
k
Let x be -6*57/(-6) - (-75 + 63). Which is bigger: x or 114?
114
Suppose 0 = -4*l - 5*l + 18. Let g be 40/l + 14 + -14. Which is smaller: 19 or g?
19
Let b = -3512/1449 - -17/7. Let k be (-6)/18*457/(-2967). Let g = b - k. Which is greater: -1 or g?
g
Let p be (-648)/(-120)*8515/39. Which is greater: 1182 or p?
1182
Let m = 15.362 + -15.7. Let c = -0.488 - -0.45. Let n = c - m. Is -0.8 greater than or equal to n?
False
Let f(t) = 1481*t + 80. Let y be f(-1). Which is smaller: y or -1400?
y
Suppose -143*l - 140698 = 131*l - 68*l. Are -683 and l non-equal?
False
Suppose -5*n - 5*h - 110 = 0, 45*h = 40*h + 10. Let t be -9*3/n - (-11)/44. Which is smaller: t or 1?
1
Let a be (-156)/(-1820)*-10 - 9799/(-7). Is 1400 at most a?
False
Suppose -1 = -5*h - 3*u + 10, -5*h + 2*u = 24. Which is smaller: h or -96/157?
h
Let r be (-18)/(-90) - (-2 - 43366/(-19730)). Is r > -1?
True
Let c = -295 + 1479/5. Which is smaller: c or -0.154?
-0.154
Let z = 19.75 + -18. Let l = -0.2449 + -0.0051. Let y = l - z. Which is smaller: y or 0.5?
y
Let b be 27 + -51 + 23 + 34/22. Which is smaller: b or -2/4119?
-2/4119
Let j be (-2)/(-684)*(-1443)/52. Let x = 1/456 - j. Is -1 greater than or equal to x?
False
Let h be 15/(-10)*8/(-6). Let z be 4 + (h - 1) + 4411/(-627). Let c = z + 7/19. Is c >= -1?
False
Let f = -3.76 - -3.4. Let g = -0.18 + 0.34. Let z = g + f. Is z bigger than -3/2?
True
Let r = 5069/405 + -544/81. Let v(o) = o**3 - 3*o**2 - 4*o + 5. Let c be v(4). Suppose -3*j - 5*z + 15 = j, -3*j - c*z + 10 = 0. Which is smaller: r or j?
j
Let o = -541.18 + -10.82. Let v = o - -551.9. Is v at least as big as 324?
False
Let h(p) = -p**2 - 9*p - 1. Let w(d) = -d + 15. Let u be w(24). Let s be h(u). Let o be 6/(-15) + (-780)/(-1450). Is o <= s?
False
Let q(j) = -4*j - 38. Suppose -2*n = -10*n + 40. Let w be 2/(-6)*195/n. Let p be q(w). Which is bigger: 15 or p?
15
Let l(b) be the second derivative of -b**4/12 + 11*b**3/6 - 5*b**2/2 - 29*b. Let q be l(16). Let g = -79 - q. Which is smaller: -0.2 or g?
-0.2
Let y = -32554 - -19880. Are y and -12672 non-equal?
True
Suppose 5*i = -3*p - p + 10, 2 = 2*p + i. Suppose 3*j + 43 = -4*q - 0*j, -3*q - 29 = -j. Let f be (-355)/59 + 16 + q. Which is smaller: f or p?
f
Let z = 1094 + -1100.4. Is z > -0.33?
False
Suppose -u + 1300 = g + 98, 2*g + u = 2408. Does g = 1206?
True
Let n = 2767 - 2690. Which is bigger: 60 or n?
n
Suppose -2*q + o = 2478, 4*q + 4980 = -o - 3*o. Let u = 1/570591 - -3513699373/2852955. Let b = u + q. Which is bigger: -10 or b?
b
Let f be 84/(-35)*(-40)/(-16). Let c = 28 + -39. Which is greater: c or f?
f
Let h = 4752 - 4681. Which is bigger: 1/6 or h?
h
Let d = -1659 - -1490.6. Let c = -192 - d. Which is bigger: c or -0.1?
-0.1
Suppose 6*q - 1116 = 144. Let f = -242 + q. Do f and -35 have different values?
True
Let s(q) = 5*q + 65. Let h be s(-13). Let o = -1617 - -79237/49. Which is smaller: o or h?
h
Let t be (-90)/44 - (5 + -1 + -6). Let k = 27 + -25. Let q be (k/(-10))/(13/(-65)). Which is smaller: t or q?
t
Let c(i) = 40*i - 39. Let n be c(1). Suppose n = k + 3*d, -2*k + 0*k - 4*d = -8. Which is bigger: k or -23?
k
Let j be (330/(-36) + 9)*-2. Let i = -198/5 + 13256/335. Which is smaller: j or i?
i
Suppose 0 = u + 1 - 2. Let w be 12/(-5)*(-10 + 4 + (-1847)/(-308)). Which is smaller: u or w?
w
Let d = -58 - -193. Let t be (d/(-10))/(2/(-4)). Let c = t + -26. Is -3/16 greater than c?
False
Let p be (16104/660 - (0 - -23)) + (0 - 1). Let s = 0 + -1. Which is smaller: p or s?
s
Let m = 83 - 82. Let g be (-1264)/12 + 1 + -3 + m. Let l = g + 1577/15. Is 0 <= l?
False
Let s = 0.1009 + -2.9959. Which is smaller: 0.1 or s?
s
Let n(v) be the third derivative of -v**6/30 + v**5/30 - v**4/4 - 7*v**3/6 + 32*v**2. Let j be n(3). Which is smaller: -117 or j?
-117
Let i be ((-3)/12)/(18/(-144))*(-2)/4. Which is smaller: i or -3/3638?
i
Let z be (-3207)/8552 - 2/(16/28093). Which is smaller: z or -3509?
z
Let k = -5464596839 + 177528357526112/32487. Let l be (((-1)/(-42))/(-1))/(833/(-28)). Let i = k - l. Which is bigger: 0 or i?
i
Suppose 34 + 22 = -2*i. Let y = 16549 + -16580. Is y < i?
True
Let k = 29 + -23. Let o = 72 + -122. Let d = 48 + o. Is d less than k?
True
Let v = -10441 + 10440. Is 5/192 bigger than v?
True
Let t be (12/8)/((-9)/708). Suppose -235*h + 139 = -236*h + 4*j, 5*h = 5*j - 620. Is t != h?
True
Let g = -341 + 1353/4. Suppose -4*