90/198 + -41 + 38. Which is smaller: r or 0?
r
Let l = -577 + 628. Is 48 < l?
True
Suppose -2*b = -2 - 4. Let p = 5 - b. Suppose 2*k - 9 = 3*v - 12, 0 = k - 4*v - 1. Which is smaller: p or k?
k
Let b be 50/(-630) - (-4)/18. Let p be (-2)/(-3) + (-15)/(-27)*-3. Which is smaller: p or b?
p
Suppose -o - v + 2 - 126 = 0, -3*v = -o - 112. Is o less than -121?
False
Let i be ((-70)/24 + 3)/((-40)/16). Are -1 and i non-equal?
True
Let d = -4.3 - -4.1. Let o = 9.5 + -12. Let t = -2 - o. Is t at most d?
False
Let z = -1682 - -1713. Is z greater than 41?
False
Suppose -13 = -4*s + c, -6 = 3*s - 5*c - 3. Let r(g) = g**3 - g**2 + g - 2. Let k be r(0). Let q be s/(k/(-1)) - 2. Is -1/9 less than q?
True
Let q = 16 + -29. Let i = q - -12. Is i equal to 23?
False
Let g = -27/92 - 89/69. Are -1 and g unequal?
True
Let q be (-4)/(-10)*1851/(-6). Let g = -1741/15 - q. Is 8 <= g?
False
Suppose -9*o = -2*o - 28. Let n be (18/o)/((-25)/50). Is n < -6?
True
Let b be 209/187 + (-1)/(51/6). Let y = 4208593/6259 - -79/569. Let f = -673 + y. Is f <= b?
True
Let v = -67.71 + 67.9. Which is smaller: 1/8 or v?
1/8
Suppose 27 = -4*o + 75. Let j(x) = x**2 - 10*x - 13. Let m be j(11). Let g be -22*(m + (-9)/(-6)). Is g > o?
False
Let u = -125 - -124.9. Is u greater than or equal to -0.16?
True
Suppose -31 = j + 35. Let l be (16/28)/(-4) - j/21. Suppose -2*v - 2*p + 17 = v, -p + 7 = v. Are v and l unequal?
False
Suppose -26700 = -64*v - 5644. Is v less than 332?
True
Let o be (-6)/45 + 14922/2565. Which is greater: 6 or o?
6
Let z(p) = -p**2 + 8*p - 1. Suppose 1 + 11 = 4*b. Suppose 2*i - 8 = -2*a, 4*a + b*i - 8 = 12. Let x be z(a). Is -6 at least x?
False
Let k(d) = -d - 2. Let p be k(-3). Let u(o) = -o**3 - 3*o**2 + 4*o + 6. Let j be u(-4). Suppose 0 = j*q + 3*q - 18. Which is smaller: q or p?
p
Suppose i - 4*i = -39. Let n be (5 - 1) + i/(-3). Which is bigger: n or -2/7?
-2/7
Let k = 51 + -50.4. Let j = 0.2 - 0.7. Let s = j + k. Are 0.01 and s non-equal?
True
Suppose 3*u + 6 = 0, -2*z + 2*u + 6 = -u. Let b = 97 - 883/9. Which is bigger: z or b?
z
Let i(h) = h**2 + 9*h + 17. Let j be i(-7). Suppose 0 = -j*q + q + 10. Suppose u = 2*b + 2*u - 2, 0 = -q*b + 5*u + 5. Is 11/5 bigger than b?
True
Suppose p - 37 = -5*c, 5*c - 3*p - 2*p = 55. Is 73/8 bigger than c?
True
Let w = 6497123/7686 + -39077/122. Let i = w - 525. Is i bigger than 1?
False
Let c = -785 - -421. Let g be 1/6 - (c/24)/(-13). Which is smaller: -1/9 or g?
g
Let h be (2 - 6/9)*-3. Let f = -3 + h. Let p = f - -28. Does 20 = p?
False
Let i(a) = -a - 2. Let r be i(-5). Let m(p) = -p**2 + 3*p - 5. Let q be m(2). Let x be ((-26)/(-39))/((-1)/q). Which is greater: x or r?
r
Let d = -37 - -85. Let i = 45.7 - d. Let j = -1.3 - i. Which is greater: -3 or j?
j
Let v = -58 + 29. Let t = 29 + v. Let g be 4/14 - 144/14. Is t >= g?
True
Let a = 36 + -36. Which is bigger: a or 89?
89
Let u = -0.234 - -3.234. Which is bigger: u or -0.081?
u
Let c(r) = 30*r**2 + 11*r - 11. Let n(f) = -15*f**2 - 5*f + 5. Let j(a) = -6*c(a) - 13*n(a). Let g be j(1). Suppose -y + 4*y = g. Is y smaller than 5?
False
Let v be -2*(-3)/12*-38. Let r = v - -7. Is r less than -12?
False
Suppose -3*k - 15 = -3*a, k + 2 = -k. Suppose 0 = 4*u + 5*s + 154, 2*s + 2*s + 152 = -a*u. Are -36 and u unequal?
False
Let b = 544 + -544.2. Which is bigger: 2/127 or b?
2/127
Let j be ((-1344)/(-105) - 18) + (-5)/(-1). Let u = 129 - 2065/16. Which is bigger: j or u?
u
Let p = 41 + -41. Is p smaller than -2/283?
False
Let t(f) = f + 4. Let q be t(-6). Let l = 7 + -5. Suppose l*u + 3*u - 5 = 4*x, -3*u + 1 = -2*x. Which is smaller: q or u?
u
Let j(q) be the second derivative of -q**5/40 - 7*q**4/24 + 2*q**3/3 - 8*q. Let w(n) be the second derivative of j(n). Let u be w(-6). Which is bigger: 10 or u?
u
Let k = 9/38 - 4/57. Is k at least -0.04?
True
Let x be (-4)/(-14) + (-20)/21. Suppose 3 - 12 = -9*l. Let t be -1 - (35/(-25))/l. Is x greater than or equal to t?
False
Let s = -2.2 + 7. Let p = s - 2.8. Let t(g) = g**2 - g - 3. Let c be t(3). Which is bigger: p or c?
c
Let k = -813.82 + 823. Let i = -0.18 + k. Is i >= 1/6?
True
Suppose 4*q + 0*q = 2*f + 18, 3*q - f = 13. Suppose 6*a + 92 = q*a. Is -45 at most as big as a?
False
Let g be (18 - 4) + -3 - -1. Let a be g/8 + 1/2. Let h be 585/(-63) - a/(-7). Are -10 and h nonequal?
True
Let n = 863/5214 + 1/869. Let k be (-1)/(-3) + (-4)/12. Which is smaller: n or k?
k
Let t(y) = -y**2 + 40*y + 226. Let v be t(45). Is 10/33 <= v?
True
Let n(g) = -g**3 - 8*g**2 + 10*g + 9. Let h be n(-9). Suppose h = 4*y + 15 - 23. Is 2 <= y?
True
Let k be 37/(518/(-84)) + 9. Let q = 4 + 2. Does q = k?
False
Suppose 5*o - 3 = -8. Let w = 153 + -381. Let b be 1/2 + 90/w. Are o and b nonequal?
True
Let a = -6.594 - -1.594. Which is greater: 19 or a?
19
Let j(a) = a**3 - 4*a**2 + 5*a - 4. Let h be j(2). Let v be 12*1/7 + h. Let m = 7.99 + 0.01. Which is smaller: m or v?
v
Let p(q) = q**3 + 8*q**2 - 2*q + 4. Let i be p(-8). Let k = i + -21. Which is bigger: -3/8 or k?
-3/8
Let n = -1.74 + -9.26. Let v = 8.32 + 2.78. Let m = n + v. Which is smaller: m or -5?
-5
Let u = 1.8 + -5. Let f = 3.37 + u. Let l = -2.17 + f. Which is smaller: l or -2/15?
l
Suppose 4*f = v - 0*f + 11, 3*f = -4*v + 32. Let w be ((-117)/(-6))/(3/4). Suppose -v*t + y = w, 3*t - 2 + 16 = y. Which is greater: t or -2?
-2
Let i(b) = -b**3 + b**2 - 7*b. Let j(w) = -w**3 + w**2 - 6*w. Let l(q) = -2*i(q) + 3*j(q). Let r be l(0). Which is smaller: -1/39 or r?
-1/39
Let i = -1.37 - -1.248. Let k = -1.122 - i. Let f = -112/177 - 2/59. Do f and k have the same value?
False
Let u = 122 + -123. Let w be u + 47/46 + 0. Which is smaller: 1 or w?
w
Let h = -171 - -173.98. Let c = h + -3. Let a = 0.1 - 0.2. Which is smaller: c or a?
a
Let g(f) = -f**2 - 5*f - 7 - 13 - 2*f - 12*f. Let m be g(-12). Is m at least 64?
True
Suppose 2*c - 110 = 5*k, -2*c + 59 + 3 = -3*k. Let i = k + 30. Are 6 and i unequal?
False
Suppose h + 7 = 2*h. Suppose 6 - 13 = -h*d. Is 2/61 > d?
False
Suppose -3*d + 3 = -0. Suppose -5*t + 3*j + 2 = d, 4*t = -4*j - 12. Let o = -18191/13 - -1399. Which is smaller: o or t?
t
Suppose -3*j = 3 - 0. Let i be 192/594 + (-1)/3. Let d = i - -122/2277. Is j >= d?
False
Suppose -k + 10 + 0 = 3*q, -5*k = 2*q - 11. Suppose 5 - 3 = r. Which is greater: q or r?
q
Let k be (-6)/21 + (-213521)/2646. Let x = k + 81. Which is smaller: 1 or x?
x
Let q = -7.95 - 110.05. Is q less than or equal to -2?
True
Let z = 2 - 0. Let w(d) = 2*d**2 - 12*d + 7. Let k be w(6). Suppose -3*l = 3*a, -4*a - 6 = -k*a + 3*l. Is z at most as big as a?
False
Suppose -13*y + 8*y - 10 = 5*r, 10 = 2*r - 5*y. Is -16/71 at most r?
True
Suppose -3*r + 24 = 87. Which is bigger: 3 or r?
3
Suppose -2789*y + 1292 = -2785*y. Which is bigger: y or 324?
324
Let i = 43 - 29. Suppose -5*y + 51 + i = 0. Let m = 0 - -14. Is y >= m?
False
Let n = -19.7 - 57.3. Which is greater: n or -0.2?
-0.2
Let i = 530 + -795. Is -262 <= i?
False
Let v = 383 + -94983/248. Which is smaller: v or 0.2?
v
Let m be (274/6)/((-12)/(-9) - 1). Are m and 136 nonequal?
True
Suppose -10*d - 149 = 61. Which is smaller: d or -18?
d
Let r = 21 - 21. Let g = -7 + r. Is g < -7?
False
Let c = 107/20 + -121/10. Let p(s) = -10*s + 2. Let r be p(1). Which is bigger: r or c?
c
Let i be -3 - (0 - (2 - -7)). Let s be (2 + (-3230)/1614)/(i/(-36)). Is -1 equal to s?
False
Let q(c) be the second derivative of -c**4/12 + 7*c**3/6 - 3*c**2/2 + 4*c. Let v be 7/(-8)*-4*2. Let k be q(v). Which is smaller: -2 or k?
k
Suppose 3*r = -5*a + 547, -2*a + 278 = 4*r + 62. Is 111 bigger than a?
True
Let s = 686/3 - 228. Are 56 and s equal?
False
Let f(o) = o - 50. Let y be f(26). Which is smaller: y or 0?
y
Let j = -244 - -6098/25. Is j at most 1?
True
Let l = -93/16 + 45/8. Let y = 1/176 + l. Which is greater: -1 or y?
y
Let r = 251/5 - 50. Let d = -7/10 + r. Which is smaller: 5 or d?
d
Let b be (-4)/(1 + -1 + -1). Let i(o) = -4*o - 65. Let f be i(-17). Suppose -f*u + b = -u. Is 3 <= u?
False
Suppose 0 = -4*j + 347 + 137. Let s = 727/6 - j. Which is smaller: s or -2?
-2
Suppose 0*g - 3*g = -3*w - 6, -g + 18 = 3*w. Suppose 3*p - 2*l = -l + 30, 2*l + g = 0. Suppose -3*r + 3*a - p = 0, -a + 5*a = 3*r + 9. Which is bigger: -4 or r?
r
Let r(p) = 4*p**3 + 24*p**2 + 25*p + 49. Let j(d) = 5*d**3 +