 + b. Let s = -247/210 + h. Which is smaller: s or 2/7?
s
Suppose 4*q - 2*p = 4, 0*q + 5*p = -4*q + 18. Suppose -2*w = 2*w - q*v + 42, -v = -5*w - 48. Is -4 != w?
True
Suppose 3 + 0 = 3*x. Suppose b + 3*w = 2, -w - 8 = -11*b + 7*b. Which is bigger: x or b?
b
Let a = -233/4 - -58. Which is greater: -9/20 or a?
a
Let w be (-19)/(-1254)*(-8)/(-4). Is -1 smaller than w?
True
Let a be 5 - 2272/226*1/2. Is a <= -1?
False
Let d = -673 + 674. Are d and -1/78 nonequal?
True
Let k = 381 - 401. Suppose -2*d - d - 90 = 0. Let i be d/12*2/k. Is i > -1/4?
True
Let k(y) = 4*y**2 - 3*y + 5. Let s be k(3). Suppose s = -6*u - 4. Is -7 != u?
True
Let o = -1 - 5. Let m = -4 - o. Let g be (0 + 8/(-6) + 3)*3. Is m less than g?
True
Suppose 4*m + 52 = 5*r + 247, 4*m - 201 = -r. Let w = 37 - m. Which is smaller: w or 2?
w
Let w = -1.1 + 6.1. Which is smaller: 2 or w?
2
Let f = 0.48 + -8.48. Let s be 14/21 + (-40)/42. Which is smaller: f or s?
f
Let r be 1 + 1 + -3 + 177/87. Which is smaller: r or 0?
0
Let a = -2470 + 17292/7. Let r = 27 + -26.44. Is r > a?
True
Let j be 1/2*0*-1. Let d be ((-21)/(-910))/(65/(-156) + (-1)/12). Which is smaller: d or j?
d
Let l be (-3)/(7/(28/(-6))). Is l at least 3?
False
Let y(a) = -2*a - 14. Let z be y(-11). Suppose 0 = -q - 4*r - 9, 4*q = 5*q - 4*r + 9. Let l = z + q. Which is smaller: 6 or l?
l
Let z be -2*(1 - 47/14). Let p = -18 + 17. Let k = p + 5. Which is bigger: k or z?
z
Let z be (-713)/132 - 50/275. Which is smaller: -7 or z?
-7
Let a = -32 + 31. Let j = 176596/5 + -35583. Let i = j - -263. Is i smaller than a?
False
Let h = -7 - -15. Let w be 42/h - (-1)/(-4). Suppose 0 = -0*c + w*c + 20. Is c greater than -4?
False
Let c be 3/2 - (-20)/(-80). Is c != 2.9?
True
Let j(v) = 4*v**2 - 6*v + 6. Let i(u) = -9*u**2 + 13*u - 13. Let k(b) = -3*i(b) - 7*j(b). Let c be k(2). Let o = -4.973 - 0.027. Which is smaller: c or o?
o
Suppose 2*b = 8*b - 1116. Which is smaller: b or 185?
185
Let t be ((-945)/24)/(28 + -25). Which is smaller: t or -14?
-14
Let d(b) = -3*b**2 + 19*b - 1. Let w be d(9). Let k = w + 98. Which is smaller: k or 26?
k
Let x = 312/7 + -2822/63. Is x bigger than 0?
False
Let s be 10761/21 - (-6)/10. Let o = s + -513. Which is greater: 0 or o?
o
Let o = -5 - -3. Let p be (-1 + o)/(9/6). Suppose 3 = 4*r + f + 9, -4*r - 4*f = 12. Is p > r?
False
Let o be (-27)/36 - (-3)/4. Let c be (-9)/27*(1 - 2 - 11). Which is smaller: o or c?
o
Let k(o) = -o**2 - o + 9. Let v(t) = 5*t**2 + 4*t - 46. Let d(q) = -11*k(q) - 2*v(q). Let y be d(-7). Which is greater: 22 or y?
22
Suppose 0 = -4*s + 64 + 48. Let d be (s/(-30) + 1)*6. Is d at most 0?
False
Let u be 24/15 - (-12)/(-20). Is u < 7/24?
False
Let a be (7/(-105))/((-244)/(-12)). Which is bigger: 1 or a?
1
Let q(x) = x**2 - 4*x + 1. Let j be q(4). Let y be 5 - (-2)/(j + 1). Suppose 5*k - 60 = -30. Are y and k equal?
True
Let l = -125 + 63. Which is smaller: -63 or l?
-63
Let x = -84 + 150. Suppose x = 4*a - 134. Are a and 50 nonequal?
False
Suppose -q + 5*q = 88. Suppose 4*k - 3*a = -k + 117, q = k - 2*a. Suppose -4*p = 4 + k. Is -7 at least as big as p?
True
Let i be ((-2)/155)/(25/(-50)). Which is smaller: -1 or i?
-1
Let p = -23 - -26. Suppose -4*i - p*h = -50, -3*h + 0*h + 22 = 2*i. Which is greater: 0 or i?
i
Let n = 0.79 + -65.89. Let k = n - -65. Is k <= -0.8?
False
Let n be (-9)/(-6)*(-2)/9*3. Is n equal to -11/7?
False
Suppose -122*q + 169*q - 2538 = 0. Which is smaller: 6 or q?
6
Let p = -0.04 + 2.04. Let d = 0.03198 + 0.16802. Which is greater: p or d?
p
Suppose 3*v - 75 = -3*s, -1 = v - 2. Suppose 5 = 3*m - 4*o - 15, s = m + 3*o. Suppose 2*h = -h - m. Which is bigger: -6 or h?
h
Let f be 1 + 12 + -4 + -5. Is 21/8 greater than or equal to f?
False
Let m(y) = y**3 - y**2 + 2. Let a be m(-1). Which is smaller: -2/369 or a?
-2/369
Let b = -14 + 12. Let o be 3 + 1 + -3 + -1. Suppose 5*p + 0*p = o. Is b at most as big as p?
True
Let j(p) = p**2 - p + 1. Let h(l) = -l**3 - 11*l**2 - 13*l + 3. Let t(x) = h(x) - 2*j(x). Let b be t(-12). Is -11 less than b?
False
Let k be ((-2)/21)/((847/21)/(-11)). Which is bigger: -1 or k?
k
Let w = 3.9 - -0.1. Let m = w - -5. Let q = -1 + 0.9. Which is smaller: m or q?
q
Let d be 1 + 2 + -2 + 37. Let b = d - 38. Which is greater: b or 3?
3
Let m = 3 + -5. Suppose 5*g - 22 = 98. Let p be (((-64)/(-8))/g)/(4/(-6)). Which is smaller: p or m?
m
Let p = 1236 + -1236. Is p >= -6?
True
Suppose 54*f - 21*f + 231 = 0. Are f and -7 nonequal?
False
Suppose -2*f + 6*f = 4*d + 8, 14 = 5*f - d. Suppose -3 = -2*q + f. Suppose 55 = q*m - 5*i, -m + 5*m = -i + 58. Is 15 greater than m?
False
Suppose -5*d + 19 = -2*y, -7 = -16*d + 13*d - y. Which is greater: d or 18/7?
d
Let s = -163 + 3098/19. Suppose 3*b = -2*b. Suppose -3*q + 2*q + 1 = b. Are s and q non-equal?
True
Let t be (140/(-1785))/((-1)/(-3)). Which is smaller: 1 or t?
t
Let h = 10 + -9. Let f be (-14)/(-2) + h*-4. Do 1 and f have different values?
True
Suppose 3*y = 4*p + 68 + 12, -2*y - 77 = 3*p. Let o = 16 + p. Which is greater: o or -8?
o
Let w = -193 + 44. Which is greater: w or -0.2?
-0.2
Suppose 279 = 2*z + 3*z - 3*j, 4*j = z - 66. Suppose 2*h - 4*h - z = 0. Let w be (-99)/h - 2/3. Which is smaller: w or -1/3?
-1/3
Suppose -360 = 81*n - 90*n. Is 119/3 at least n?
False
Suppose 2*a = 121 + 113. Let w = 463/4 - a. Are w and 0 equal?
False
Let c = -97958/25 + 3916. Is c != -2?
True
Suppose m = -q - 3*q - 99, -2*m - 2*q - 192 = 0. Which is greater: -96 or m?
m
Let t = -11.21567 + 0.13767. Let a = t - -0.078. Which is smaller: a or -2?
a
Let x(b) be the second derivative of b**5/20 + b**4/2 - b**3 + 5*b**2/2 - 15*b. Let c be x(-7). Which is smaller: -14/9 or c?
c
Let i = 7 - 3. Suppose i*c - 124 = -3*h, -6*h = -h - 3*c - 197. Suppose -6*z + z = h. Does z = -8?
True
Let x(s) = -17*s**3 - 4*s**2 - 2*s - 3. Let u be x(-2). Suppose -3*r = u - 124. Let q(l) = -l**2 - 5*l. Let p be q(-5). Are p and r non-equal?
True
Let z = -1.26 + -4.74. Which is smaller: 4 or z?
z
Let q be 6/((-31)/((-93)/18)). Which is greater: 1/46 or q?
q
Let c(z) = -z + 15. Let s be c(12). Let u be ((-63)/(0 - s))/(30/(-8)). Which is greater: u or -5?
-5
Let i = -35/22 + 911/462. Let m(d) = -d**3 + 2*d**2 + d - 3. Let b be m(-1). Which is smaller: i or b?
b
Let l = 1.48 - 1.58. Which is greater: 137 or l?
137
Let b = 39 + -39. Let d be (-2)/(-4)*-2*b/5. Is 8/7 <= d?
False
Let u(m) = m**2 - 3. Suppose t + 3*t - 12 = 0, 0 = -3*c - 3*t + 21. Let i be u(c). Is i equal to 13?
True
Let v be (-12)/20 + 66/10. Let q be ((99/v)/(-11))/((-6)/148). Are -1 and q non-equal?
True
Suppose h + 3 + 35 = 0. Which is bigger: h or -40?
h
Suppose 0 = -7*b + 4*x + 345, -3*x - 168 = -5*b + 79. Which is smaller: 65 or b?
b
Let t(v) = -v**2 - 21*v - 6. Let c be t(-22). Which is greater: -27 or c?
-27
Let w be ((-20)/5)/1 - -5. Which is bigger: w or 27/26?
27/26
Let a = -9.9 - -9.972. Which is bigger: 2/3 or a?
2/3
Let n = 92 - -18. Is n < 108?
False
Let i = -76 - -97. Let h = i + -20.9. Which is smaller: -81 or h?
-81
Let r(p) = -2*p + 5. Suppose -24 = 4*d + 2*y, -y + 4*y + 12 = -2*d. Let g(n) = -n**3 - 7*n**2 - 8*n - 7. Let j be g(d). Let t be r(j). Is t equal to -6?
False
Suppose -193*o + 195*o + 192 = 0. Let u be ((-8)/o)/((-4)/(-16)). Which is greater: 1.6 or u?
1.6
Let f = -18.6 - -18.59. Which is bigger: 0 or f?
0
Let q be 95/(-399) - (-3)/(-7). Let d = q - -7/6. Suppose -3*c + 1 = c - 5*p, 0 = -2*c + 4*p - 4. Which is smaller: c or d?
d
Let t = -6.79 - -0.79. Let g = -5 - -8. Let w = g - t. Is -2/3 bigger than w?
False
Suppose 5*c - 10 = -4*k - 5, -5*k = -c + 1. Suppose 61 = -4*f - 3*q, 2*f - 3*q + 53 = -k*q. Does -19 = f?
True
Let d be -4 - 4/(1 - -1). Let t be 26/6 + (-5)/15. Let w = t + d. Is w greater than 0?
False
Let f = -3.007 - -52.047. Let b = f - 49. Let u(v) = 2*v + 2. Let a be u(-3). Is a bigger than b?
False
Let o(k) = -k**2 - 49*k - 454. Let f be o(-13). Which is smaller: f or 17?
f
Suppose -12*y = -10*y - 734. Is 367 < y?
False
Let p(a) = a - 86. Let z be p(69). Is z > -11?
False
Let l(g) be the second derivative of -g**3/6 - 3*g**2/2 + 8*g. Let p be l(-6). Suppose p*f - 2*f + 4 = 0. Which is smaller: f or -3?
f
Let p be (1 + (-3)/(-6))*28. Let u = -18 + p. Let v be (3 + u/(-9))/(-1). Is 1 at most v?
False
Suppose 4*z - 53*z + 352