ler: m or 2?
2
Suppose 2*a + 0*a - 6 = 0. Suppose 5*h + a = 33. Is 5 >= h?
False
Let b(s) = s**3 + 11*s**2 + 19*s + 16. Let z be b(-9). Is 7 at least as big as z?
True
Let q = 10.923 - 0.123. Let w = 11 - q. Which is smaller: 2 or w?
w
Let i = 61 - 61. Is i greater than or equal to 1?
False
Let k = 6 - 5. Suppose -k + 5 = 4*c. Suppose 4*z + 4 = -4*s, -5*z + 3*s + 2 + 9 = 0. Is z greater than or equal to c?
True
Let g be 4/(((-6)/2)/(-18)). Suppose -4*b = -g - 4. Is b <= 2/3?
False
Suppose 1 = -a + 4. Suppose -5*i + 6 = -a*i. Which is bigger: i or 2/3?
i
Let x be (10/75)/(1 + 2/(-3)). Is 0.039 less than x?
True
Suppose 2*o + 20 = 3*a, -o - 3*o = 16. Suppose -u = 5*v - a*v - 6, v - 3*u + 10 = 0. Is v at least 3?
False
Let q be 4/(-3)*3/2. Let j = -2 - -6. Let k = j - 5. Is q at least as big as k?
False
Let o(q) = q**2 - 3*q + 1. Let h be o(3). Let f = h + -3. Are f and -2/3 nonequal?
True
Suppose -g = -4*g + 6. Let x = 0 - g. Let u = 4 + x. Is u at least 3?
False
Let u = -26 + 26. Is -9/23 less than u?
True
Suppose -u = -2*j + 42, j + 58 = -2*u - 26. Let f be u/20*5/6. Let h = -2 - f. Is 1/3 less than h?
False
Suppose -k = -6*k. Suppose k = 2*q + 2*q + 3*b + 11, 21 = -4*q - 5*b. Suppose 4*h + h - 10 = 0. Is q != h?
True
Let k = -13 + 8. Let g = k - -7. Is 4 > g?
True
Let n = 10.5 - 12.5. Which is smaller: -2.3 or n?
-2.3
Let v = -41/28 + -2/7. Which is greater: v or -2?
v
Let t = 1 + 0. Let o be t/((18/4)/3). Are 0 and o nonequal?
True
Let s = 2/1455797 - -37226653/113552166. Let p = s + -10/39. Is p at least 0?
True
Suppose 3*u = 4*q + 26, -u - q - 2*q - 13 = 0. Suppose 6*g = u*g. Suppose 4*h = 1 + 3. Which is bigger: g or h?
h
Let c = -182 + 184. Let a = -7.1 + 0.1. Is c < a?
False
Let t = -0.19 - 0.17. Let d = t + -0.04. Let p = 21.1 - 21. Which is greater: p or d?
p
Let j = 0.149 - -4.761. Let r = j - -0.09. Which is smaller: r or 0.1?
0.1
Suppose -2*w = -8*w + w. Do 1/105 and w have different values?
True
Suppose w + w = -2*z + 8, -2*z - 4*w = -10. Suppose -2*c + 6 = -z*c. Let b be (-2)/c - (-2)/3. Is b bigger than 1/5?
True
Suppose 0 = -w - 5*r + 13, 0 = 3*w - r - 7. Are w and 2/11 unequal?
True
Let h be -2 + (-1 - -5) - -1. Suppose 0 = -3*f + h. Let m = 2 - 1. Is f != m?
False
Suppose -24*a + 22*a = -2. Which is bigger: 0 or a?
a
Let o(v) = v**3 + 5*v**2 - 8*v - 8. Let u be o(-6). Suppose 13 = u*s + 5. Suppose -2*m = 4*t - 14, 2*t = -t - 3*m + 18. Is t <= s?
True
Let r = 20.7 - 2.7. Which is smaller: r or -2?
-2
Let i = -8 + 10. Suppose i*a - 4*a = 10. Is -5 at least a?
True
Suppose 5 = -g + 2. Let i be (-2)/(-4) + g/(-6). Which is greater: i or 0?
i
Suppose -4*v + 3*v = 0. Suppose -u - 4 + 7 = 0. Is u >= v?
True
Suppose -2*s - 2 = 5*z + 2, -z + 5*s + 10 = 0. Suppose z = -2*h - h + 6, 0 = 2*b - 5*h. Is 5 > b?
False
Let s be 12/(-16) - 44/(-16). Is 2/3 > s?
False
Let q be -2*(-1)/(-2) + 7. Is q >= 6?
True
Let h = 3 - 2. Which is bigger: -8/7 or h?
h
Let h = 11 - 10. Let j(g) = -2*g + 8. Let c be j(6). Let i be (-1 - 14/c)*h. Are i and 3 non-equal?
True
Let c(w) be the third derivative of w**6/120 + 7*w**5/60 + 5*w**4/24 - w**2. Let a be c(-6). Let i be (a/12)/((-1)/(-12)). Is 0 at least as big as i?
False
Let t(i) = -5*i - 23. Let h be t(-5). Is 1 <= h?
True
Let b = -4 + 8. Let x = b + -3. Let r = 5 + -5. Which is greater: r or x?
x
Let d = 0.16 + 2.84. Are -0.1 and d unequal?
True
Suppose -4 = -x - 4*g - 7, g = -2*x - 6. Let o = 8 + x. Let s be 2/(-5) + 22/5. Is o at least as big as s?
True
Let g be (320/390)/((-4)/6). Which is smaller: g or 0?
g
Let j = 5 + -7. Let a = 2.4 + j. Let r = -0.4 + a. Which is greater: 1 or r?
1
Let u = -2/115 - 1031/230. Which is greater: -4 or u?
-4
Let m = -3 - -3. Suppose m = -r - 8. Let t be (-4)/(-3)*12/r. Which is smaller: 0 or t?
t
Let x be (1038/20)/(12/(-10)). Let b = x - -44. Which is bigger: 1 or b?
1
Let a = -0.6 - -0.4. Let q = -0.2 - a. Is 0.1 >= q?
True
Let l = 25 + -523/21. Is l >= 0?
True
Let y = 2.4 + -8.4. Which is bigger: -2/3 or y?
-2/3
Let d be (-6)/9 + -3 - -1. Let k = d - -2. Let c = 0.5 - 0.3. Is k greater than or equal to c?
False
Suppose 4*t - 5 + 1 = 0. Suppose w + 2 = -5*y, 0 = 5*y - 2*w - 5 + t. Which is smaller: -3 or y?
-3
Let f = 7 + -7. Is f bigger than 0.3?
False
Suppose 0 = 5*c - 0*c. Suppose c = -2*k + 4, -2*v - 5*k = 2*v - 6. Let z(t) = t**2 + 2*t - 1. Let m be z(-2). Is v > m?
False
Let p be -15*2/(-12)*4. Suppose p = -7*x + 12*x. Is x less than 4?
True
Let t be (-6)/(-21) - 330/28. Let s = -12 - t. Let n be 8/((6/3)/1). Is s equal to n?
False
Let p = 5 - 8. Suppose -22 = -t + 41. Let w be p/(t/(-6))*-1. Is w not equal to 2/3?
True
Let j = 103/70 + 1/35. Let f = 7 - 6.9. Which is smaller: f or j?
f
Let b = -0.1 + -0.5. Let l = b + 5.6. Do -1 and l have the same value?
False
Let i = -27/5 + 923/170. Is i less than 1?
True
Suppose 4 = 5*o - 36. Let q = o - 8. Which is bigger: q or -1/11?
q
Let x be ((-332)/(-8) + 2)/((-15)/(-20)). Is 57 not equal to x?
True
Suppose -3*y - 1 = -16. Suppose -y*k - 6 = k. Which is greater: 5 or k?
5
Suppose -v = -d - 7, v - 3*d + 3 = -4*d. Let c = -7 + 9. Is c > v?
False
Suppose -3*z + 5*g + 52 = 0, -4*g - 11 = -z + 2*z. Let b be ((-5)/10)/(1/(-20)). Is z at least b?
False
Let k be (8/10)/((-6)/(-20)). Let x = -6 - -8. Which is smaller: x or k?
x
Let s = -2 - -3. Let l = 1 - s. Let n = 8 + -5. Which is smaller: l or n?
l
Let t = -28 + 27.95. Let a = 2.95 - 3. Let x = a - t. Which is smaller: x or 0.6?
x
Suppose 2*n + 2*n = -96. Let g be ((-12)/(-16))/((-261)/n). Are 1 and g non-equal?
True
Let q = 12 + -14. Let w be (-2 - q)*2/4. Which is greater: w or 3?
3
Let o = -14 - -6. Let k = o + 2. Let z = k - -6.4. Do z and -1/2 have different values?
True
Suppose 0 = -2*b + c + 7, b + b - 4*c - 4 = 0. Let j be 0 + 0 - b/24. Let f(z) = -z**3 - 2*z**2 + 2*z + 3. Let i be f(-2). Which is greater: i or j?
j
Let l(i) be the second derivative of -i**5/20 + i**4/12 + i**2/2 - i. Let b be l(0). Which is bigger: b or 2/13?
b
Let w = -10/9 + 49/36. Which is smaller: -17 or w?
-17
Let z be 178/4*(-1)/(-11). Let q = z - 6/11. Let m be ((-1)/((-2)/(-10)))/(-2 + 1). Which is bigger: q or m?
m
Let f(d) = -d**3 - 8*d**2 - 2*d - 12. Suppose 2*c + 6 = -10. Let v be f(c). Suppose h = v*h - 30. Which is smaller: h or 9?
9
Let p(g) = g**3 - g**2 + 2. Let x be p(0). Let u be (-4)/(-8)*(x + -2). Which is smaller: u or 2/3?
u
Suppose 4*y - 16 + 4 = 0. Let b be (y/(-2))/(3/(-6)). Suppose u + 1 - b = 0. Is u equal to 1?
False
Let w = -3534/13 + 272. Are w and -0.06 non-equal?
True
Let k be (-6)/(-27) + (-8)/9. Let t = -701/44 - -63/4. Which is greater: k or t?
t
Suppose -2*j = 1 - 7. Suppose 0*w - 2*w - 13 = -j*u, 5*u + 2*w + 5 = 0. Is u greater than -1/3?
True
Let o(f) = -f**3 - 5*f**2 - f - 7. Let v be o(-5). Let i(w) = 3*w**2 - w. Let g be i(1). Suppose 0 = -g*n - 4. Is v >= n?
True
Let r(x) = 3*x**2 + 3*x + 1. Let j be r(-2). Let q = -9 + j. Is q equal to -1?
False
Let q(a) = -a**2 + 4. Let h be 1 - (2 - 1/1). Let x be q(h). Let r = x + -8. Is r smaller than -4?
False
Let m = -48 + 50. Suppose 0 = -4*i - 16, 5*b - 5*i = -10 + 60. Which is smaller: b or m?
m
Let n = 30 + -30. Suppose v + 2 = -0*v. Let b be (-2 + 24/10)/v. Which is smaller: b or n?
b
Suppose -q = 5*o - 4, -4*q - 2 = -o - 60. Let v = q + -9. Let g be 3/v - 96/(-40). Is 4 <= g?
False
Let z = -0.2 - 1.8. Let r = z - -2.2. Is -1 greater than r?
False
Let c be (-17)/((5 - 7)/(2*-1)). Which is smaller: c or -15?
c
Let p = -3.57 - -1.55. Let c = -0.02 - p. Are c and -0.1 equal?
False
Let f = -12 - -16. Let z(w) = w - 1. Suppose 4*q - 17 - 5 = -3*r, 3*q = -r + 14. Let n be z(q). Is n at most f?
True
Suppose 4*b = -v + 6, b - 5 = -4*v + 19. Which is smaller: v or 10?
v
Suppose 0 = -h - 2 + 3. Let o(c) = -2*c + 1. Let j be o(h). Is -2 equal to j?
False
Let m = 121/516 + 2/129. Which is smaller: m or 10?
m
Let w be ((-6)/8)/((-90)/(-1080)). Let z = 10 - 18. Is z greater than or equal to w?
True
Let z(i) = -i**3 + 6*i**2 - 6*i + 7. Let r be z(5). Let y be (-1)/3*(1 + r). Suppose 3*b - 9 = -4*o + 1, -4*o + 16 = 0. Which is smaller: b or y?
b
Let p be (-10)/45 + (-584)/(-198) - 3. Let h be 4/(-18) + (-2)/(-9). Is p less than h?
True
Let n = -144/35 - -22/5. Is 0.24 at least as big as n?
False
Let b = -265 - -6093/2