/9
Let v = -2/841 - -10947/5887. Which is smaller: v or 3?
v
Suppose -2*y - 28 = -4*w, 2*y = -w + 6*y + 21. Suppose -w*g = -g. Is g > 2?
False
Let d be (208/(-12) - -4)*(-6)/(-4). Which is greater: d or -21?
d
Suppose 3*q - q + 106 = -4*f, -5*f - 100 = -4*q. Is -24 greater than f?
False
Let u = 23 + -58/3. Let j(h) = h**3 + 6*h**2 - 4*h - 21. Let v be j(-6). Is u >= v?
True
Let y = 1 - 0.6. Let h = y + 0. Is h > -2/5?
True
Let h = -0.6 - -1.14. Which is greater: h or -1?
h
Let w = -26 + 5. Let p be (-2)/(-7) - (-6)/w. Suppose x = -2*j, p = 2*x + j - 3*j - 6. Is x not equal to 1/2?
True
Let t be 2/8 + (26/(-8) - -3). Let i = -311 - -5289/17. Which is smaller: t or i?
t
Let n be ((-2)/1)/(14/3). Let x = 24 + -24. Is n != x?
True
Let j be 0/11 + (-4)/3. Is -2 != j?
True
Let j = 709.95 - 696. Let l = j + -14. Which is smaller: -2/3 or l?
-2/3
Let c = -29/39 - -1/13. Let v(q) = -q**3 - 2. Let k be v(-2). Suppose a = -4*d + k, 3*a - 3*d = d - 14. Is c >= a?
True
Let x(r) = -r. Let w(h) = 4*h + 6. Let d(f) = w(f) + 3*x(f). Let p be d(-6). Which is smaller: p or -1/8?
-1/8
Let r(w) = -2*w**2 + 3*w + 2. Let j be r(-2). Let l = 9 + j. Let m be (-1)/((l + 2)*1). Are m and 1/6 non-equal?
True
Let r = -0.34 - 0.06. Let x = r - -0.35. Let p = 1.95 - x. Which is smaller: p or 0.1?
0.1
Suppose k + 104 = 105. Which is bigger: k or -85?
k
Let o be (-142)/(-504) + (-3)/12. Which is smaller: -1 or o?
-1
Let n(p) = -3*p**2 - 2*p - 2. Let a be n(-1). Is -2 at most as big as a?
False
Suppose 0*r + 2*r - 8 = 0. Suppose 2*m + 14 = 3*d, r*d + 2*m + m = -4. Is 1/2 greater than or equal to d?
False
Let f be -4 + 3 + -1*8. Let c be 24/f*1/(-12). Are c and -0.1 unequal?
True
Let i = -302/5 - -60. Let t = -215/1122 - -1/102. Are t and i equal?
False
Let x be 4/10*(-2)/4. Let h be 8/(-1 + -3) + 2. Is h greater than x?
True
Let y = -288 - -871/3. Which is smaller: 2 or y?
2
Let l = 2 + -1. Let j be -2*(l - 0 - 3). Let x be 4/14 - (7 + 164/(-14)). Are j and x equal?
False
Let d = -2.8 + 3. Let j = -13.6 - -11. Let q = -0.6 - j. Is q bigger than d?
True
Let r be -1 + -1 - 7*-1. Suppose -3*a + 6 = 4*g - 5, r*g - 14 = -4*a. Let s be ((-1)/4)/((-9)/8). Are s and a unequal?
True
Suppose 0 = -3*r + 3. Let o be r/(-4) + 5/4. Suppose o + 14 = 5*q. Is 2 bigger than q?
False
Let t(l) = l**3 - 8*l**2 + 8*l - 7. Let z be t(7). Let u be z + 4/27 - 0. Let y = u + 73/54. Is 2 not equal to y?
True
Let a = -0.41 + -0.09. Let m = 0.7 + a. Which is smaller: m or -1?
-1
Suppose 9*x - 10*x + 1 = 0. Which is smaller: x or 1/39?
1/39
Suppose -2*a - 20 = 4*n, -2 = -5*a + 3*n - 0*n. Is -1 less than a?
False
Let d be 1/(-4) + (-656)/(-2112). Which is greater: d or -0.1?
d
Suppose 10 = 4*h - 2*h, 2*x + 5*h = 29. Which is smaller: x or -1?
-1
Let s = 6 + -7. Which is bigger: -9 or s?
s
Let i = 6 - 3. Let o(t) = -4 - 1 + i - 5*t - t**2. Let s be o(-4). Is 2 greater than s?
False
Let l be (2/4)/((-1)/16). Let y = l - -5. Let g be (y - -1) + 2 + 0. Is g less than -1?
False
Let g be (-10)/30*(-2 - 1). Which is smaller: -1/12 or g?
-1/12
Let g be (4/(-42))/((-9)/(-27)). Is -3/7 > g?
False
Suppose -4 = 4*k - 2*m, 3*k - 4*m = -0 - 8. Let h = 25 - 29. Let t be 20/8 + h + 2. Which is smaller: t or k?
k
Let w = -20 - -22. Which is smaller: w or -2?
-2
Let v = -1 - -1.5. Let h = v + -0.6. Which is bigger: 0.2 or h?
0.2
Let c be (-4)/(-2)*2/10. Let z = -0.033 + 1.033. Which is smaller: c or z?
c
Let j be 0/1 + (-12)/348. Is j < -1?
False
Let c = -1.8 + 2. Let z = -0.04 - -0.1. Let p = z - -0.04. Is p at most as big as c?
True
Let d be 10/(-4)*10/50. Suppose -2*n - 3*n - 5*r = 0, 3*r = n + 12. Which is bigger: n or d?
d
Let b = -2734 - -2701.66. Let f = b + 32. Let y = f + -0.06. Is -0.1 > y?
True
Let d be -3*2/(-12)*-4. Suppose 0*m + 4 = -4*m. Let n = d + m. Which is smaller: -1 or n?
n
Let z = 3 + -2. Suppose u + 0 + z = 0. Let a = 58/399 + 8/57. Which is smaller: a or u?
u
Let p = -14 + 28. Suppose 6 = 4*a - p. Is 5 greater than or equal to a?
True
Let h(t) = t**2 - 9*t + 8. Let g be h(8). Suppose g = 2*r - 7*r + 15. Let n = 4 - 3. Which is greater: r or n?
r
Let a = -8 + 14. Let p be 27/(-5) - a/10. Is p greater than or equal to -6?
True
Let f(k) = -7*k + 3. Let p(c) = -3*c + 2. Let b(n) = 2*f(n) - 5*p(n). Let t be b(3). Is -2/35 at most as big as t?
False
Suppose 0 = 9*h - 7*h + 4. Let q be (3/(-9))/(14/24). Which is greater: q or h?
q
Suppose 2*r = 4*h - 0*r - 12, -4*r = 2*h + 14. Is 1/5 equal to h?
False
Let w(l) = l**3 - 3*l**2 - l + 4. Let h be w(3). Let a be (-3)/30*7/7. Which is greater: a or h?
h
Let v = 4 - 2. Let j be ((-12)/(-4) - 3) + 3. Suppose -j*u = -u - v. Which is greater: 0 or u?
u
Let l = 9 + 73. Let p = 121 - l. Let h be (-9)/15 + p/15. Is h bigger than 2?
False
Let s = 31 + -34. Which is greater: s or 0.2?
0.2
Suppose a - 4*a = -3. Suppose 0 = -x - 2*r - 11, 0 = 2*x + r + 9 + a. Suppose 4 = -2*b + d, 5*d = 3*b - 8*b + 5. Is x smaller than b?
True
Let v = -1.8 - -11.8. Let i = -9.9 + v. Is i >= 1/6?
False
Let i = 231 + -1154/5. Suppose 2*z = -3*z - 20. Let n be (2/4)/((-2)/z). Which is smaller: n or i?
i
Let x = -3 + 3.1. Let d = -0.3 + x. Let u = 0.04 - 0.14. Which is greater: d or u?
u
Let l = 1 + 1. Let u be l/(-12)*148/(-14). Let d = u - 3/7. Which is smaller: d or 2?
d
Let d(w) = 2*w**3 - 10*w**2 + 5*w + 6. Let i be d(6). Let y be ((-3)/(-20))/(i/48). Is 1 at least as big as y?
True
Let d = 241316/615 + -1962/5. Which is smaller: d or 1?
d
Suppose 0 = 2*x - 3*x + 9. Suppose x = -3*y - 0*y. Which is smaller: y or 1?
y
Let m(j) = -j**2 + j + 1. Let q(z) = -4*z**2 - 3*z + 8. Let o(b) = -5*m(b) + q(b). Let v be o(6). Which is smaller: -10 or v?
-10
Let n = 237 - 704/3. Which is smaller: 1 or n?
1
Let j = 5714/17 + -336. Let n = 0.01 - 0.01. Is j smaller than n?
False
Let h be 15/4 + (-12)/(-48). Suppose 2*l + 2*w = l - 21, 48 = -h*l + 4*w. Is l < -15?
False
Suppose -3*o + 51 = -0*o. Suppose 4*a = 5*b - 25, -o - 8 = 2*a - 5*b. Let v = a + -1. Which is greater: 0 or v?
0
Let q = 9.7 - -3.3. Let a = q + -8. Which is smaller: a or -1?
-1
Let l = 2.09 - 2. Let p = l - 2.09. Is p at most -2?
True
Let p be 2/(52/(-82)) - (-28)/182. Which is smaller: p or -6?
-6
Let m(a) = -a**2 - 8*a - 3. Let g be m(-5). Suppose 2*i = 40 - 14. Which is smaller: i or g?
g
Let m be 8/52 - 4/26. Which is bigger: -2/41 or m?
m
Let t(s) = s - 12. Let a be t(13). Which is smaller: a or 2/9?
2/9
Let u be 0/2 - -1 - 2. Suppose -12 = 3*q, -4*y - q = 4*q + 24. Is u at least y?
True
Let k = 8 - 8. Suppose 4*i + 4*x = k, 5*i + 11 = 2*x - 3. Is i < -1/2?
True
Suppose -1 = -w - 4*o - 6, -w = -3*o - 2. Does w = -2/55?
False
Let p = -14/23 + 164/345. Let q = -5.7 + 6. Let f = q + -0.2. Is p bigger than f?
False
Suppose 5*s - 5 = 25. Let d be -4 - (1 - (-3 + s)). Let z be (-1 + 23/20)*-4. Is d at most as big as z?
True
Let g be 4/(-3) + (-304)/(-264). Is g at least 2?
False
Let r(s) = s**3 + s**2 - 45. Let o be r(0). Let t be (-3)/o - (-9)/15. Suppose 0 = 4*f - f - 6. Which is greater: t or f?
f
Suppose 0 = -7*m + 4*m + 12. Suppose -3*x - 10 = -m. Is x greater than 0?
False
Let w = 0.02 + -0.12. Let x = 0 - w. Is 0.2 at least as big as x?
True
Suppose -5*q = -4*u + 33, 8 = 5*q + 4*u + 25. Is -15/4 at most q?
False
Let v = 89/606 + 2/101. Suppose 2*w + 1 = -3*d + w, d - 2*w = 2. Is d bigger than v?
False
Let v = -195 - -184.95. Let b = 10 + v. Is b <= 1/4?
True
Let t be (-440)/425 + 1/1. Let v be (1/(119/382))/(-10). Let p = v - t. Which is smaller: p or 0?
p
Let v(b) = b - 4. Let r be 10/2 + (10 - 10). Let q be v(r). Is q < 0.1?
False
Let k = 1640/3 + -540. Are 8 and k non-equal?
True
Suppose -50 = -2*b - 4*j + 48, 2*j + 49 = b. Is 49 > b?
False
Let d be (-10336)/459*35/(-2). Let x = d - 394. Is x smaller than 1?
True
Suppose 0 = 3*y + 7 + 32. Is y bigger than -12?
False
Let z be (-1 + 6)*44/55. Suppose -26 = -2*i + z*r - 10, -i + r + 4 = 0. Which is smaller: i or -3?
-3
Let i = 3/169 - 531/1352. Let g be (1 + 0)*0/(-3). Which is smaller: i or g?
i
Let w = -1406 + 136381/97. Which is bigger: w or -1?
w
Let s = -4.9 + 4.4. Which is smaller: -0.3 or s?
s
Let f be (1 + 14/6)*-3. Is -3 less than or equal to f?
False
Let q be (2 + -3)*(1 + -3). Suppose -q*s + 7 = 1. Suppose -5 = s*h + 4. Is h equal to -2?
False
Let m be -2 + (2/(-7)