e 0/(-2 - (2 - v)). Is 1/3 at most m?
False
Let t = -98.9 + 94. Let m = 5 + t. Suppose -h - 9 = 2*w, 2*w + 3 = 3*h - 2. Is m < w?
False
Let i = -1.278 - -1.18. Which is greater: 1/2 or i?
1/2
Suppose -4 - 4 = 2*z. Let s be -2 - -4 - (-10)/z. Suppose 4*l = -2*f + 8, 0 = -l - 3*l - f + 6. Do l and s have different values?
True
Suppose -m + 3 = 1. Suppose 0 = -3*c - m*b + 22, -2*b + 7*b - 33 = -2*c. Which is bigger: c or 5/2?
c
Let d = -2 + 14. Is -0.1 greater than or equal to d?
False
Let j be -89 + -1 - (-8)/4. Let x be (-2)/10*(-58)/j. Let d = -3/44 + x. Which is bigger: d or 0?
0
Let z = 2 - 1.96. Let c = -56.04 - -54. Let d = z + c. Which is greater: d or 1/5?
1/5
Let q be 7/((-63)/(-30))*3. Suppose 8*n = q*n + 10. Suppose -x + 3 - 1 = -2*i, 0 = 3*i - 3*x. Which is smaller: i or n?
n
Let n(d) = d**2 - 6*d + 3. Let t be n(6). Suppose -t*b = b. Is 0 greater than b?
False
Let v(x) = -x**3 + 6*x**2 + 2*x - 5. Let u be v(3). Is u equal to 28?
True
Let c(l) = -3*l**3 + 2*l**2 - l. Let f be c(1). Let z = -10 - f. Is z less than -8?
False
Let g = 24 - 24. Suppose 3*l - 6 = -3*z + 2*z, g = 2*z - 5*l - 23. Is z >= 9?
True
Let b(v) = 4*v**2 - 1. Let k be b(-1). Suppose 0 = -k*c + 3. Let q = -1/73 + 77/292. Which is smaller: q or c?
q
Suppose 15 = 2*x + 5. Suppose 4*t = -m + 2*m + 11, 4*t - 5*m = -9. Which is greater: t or x?
x
Suppose -5*l = -8*l + 3. Let q be 1/14*-3*2. Which is greater: l or q?
l
Let o = -0.5 - -0.48. Let q = o - 0.28. Let d = -0.4 - q. Which is smaller: 0.1 or d?
d
Suppose 0*v = 4*v - 64. Let l = v - 50/3. Which is smaller: l or 4/3?
l
Let r be 1/(7*10/(-4) - -3). Is r less than or equal to 2?
True
Suppose 8*m + 34 = 4*m + 3*n, m + 3*n = -16. Let p = -7 - m. Are 2 and p equal?
False
Let r = -4.04 - -0.04. Let z = -3 - r. Which is greater: z or -0.1?
z
Let o(r) = r**2 - 12*r + 12. Let t be o(7). Which is greater: t or -20?
-20
Let g = 45 + -44.8. Does -0.24 = g?
False
Let x = -0.01 - 1.19. Let r = 1.1 + x. Is -0.2 bigger than r?
False
Let m = -1 - -1/3. Let k = m + -5/3. Is -3 at least k?
False
Let b be (8/(-35))/2*(-125)/(-50). Are -4 and b equal?
False
Let n(z) = z + 2. Let h be n(4). Let c = -8 + h. Do -2/9 and c have the same value?
False
Let b = -1.5 - -1. Suppose -4*k - k + 8 = 4*f, -3*k = 2*f - 4. Is k not equal to b?
True
Suppose -17*f + 22 = -12. Let a be 2/(-6) - (-11)/6. Which is smaller: f or a?
a
Let s be 3/3 + (-4)/1. Let z be 12/3*s/6. Which is greater: z or 1?
1
Let z = 38 - -3. Let f = z + -167/4. Which is smaller: f or -2?
-2
Let h(z) = 6*z**3 - 13*z**2 + 2*z - 4. Let b(d) = 7*d**3 - 14*d**2 + d - 5. Let m(f) = -5*b(f) + 6*h(f). Let k be m(7). Which is smaller: k or 0?
0
Let j(o) = -o**2 - 9. Let c be j(-3). Which is greater: -19 or c?
c
Let n = -47/130 - 1/26. Which is bigger: -4 or n?
n
Let p = 47 - 33. Which is greater: p or 1?
p
Let c = -78 + 84. Let m = 6 - 1. Are c and m nonequal?
True
Let v(x) = -x - 4. Let d be v(-7). Suppose d*s = -4*r + 2*r - 21, 5*r + 3*s + 30 = 0. Let m be (r/9)/((-1)/(-3)). Is -2 < m?
True
Let d = 50 + -99/2. Which is greater: d or -0.8?
d
Let r(q) = -5*q + 24. Let y be r(5). Is y <= -30/17?
False
Let t be (-3)/6 + (-10)/(-4). Let k be 3 - 1/1 - -46. Let v be k/18 - (-4)/(-2). Which is greater: t or v?
t
Let o be ((-15)/12)/((-2)/(-8)). Let t be ((-2)/o)/(16/10). Let q = 3 + -1. Which is bigger: q or t?
q
Let l = 2 - 1. Let q = 16 - 37. Let k be (-7)/q - 2/(-6). Is k at least as big as l?
False
Let k be (-3)/(0 - -3 - 2). Let r = 1 + k. Let h be (-4 + 2)/r*-3. Which is smaller: h or -2?
h
Let v(i) = 5*i**2 - 14*i - 2. Let u(l) = l**2 - l - 1. Let f(k) = -4*u(k) + v(k). Let j be f(4). Let g be 1 - (-3 - j/6). Which is smaller: 4 or g?
g
Let a = -0.07 - 15.93. Let t = -16 - a. Which is greater: 0.4 or t?
0.4
Suppose -x - 32 = 3*a, a - 13 + 45 = -x. Is x equal to 2?
False
Let a = 9.41 - -0.69. Let b = 10 - a. Is -4 greater than or equal to b?
False
Let u(g) = 8*g**3 + g + 1. Let q be u(-1). Do -2 and q have the same value?
False
Suppose 5*d + 5*z = -70, -3*z - 12 = d + 2. Is d at least -2/3?
False
Suppose 6*m - 3*m = u - 10, 4*u - 13 = 3*m. Let b be 1 - (0 + (-6)/(-3)). Let h be 2 + -3 - (b - -1). Which is greater: m or h?
h
Let f = -1/53 + -47/318. Which is bigger: f or 0.03?
0.03
Let w(m) = -3*m + 1. Let q be w(1). Let g be ((-1)/3)/((-4)/(-36)). Is g greater than q?
False
Suppose 6*i + 2*r + 3 = 3*i, 5*i + 10 = -5*r. Let h = 240063/2 - 48732505/406. Let k = 12/29 - h. Which is smaller: i or k?
k
Let c = 10.4 - 10. Let w = c + -0.3. Let l = 1.95 - 2. Which is bigger: w or l?
w
Let r = 0.2 + -5.2. Let w = 5 - 9.8. Let z = w - r. Does 0 = z?
False
Let v = 0 + 1. Let k = 11 + -6. Suppose -3*m - 3 = 0, 0*m = -k*i - 2*m + 13. Which is smaller: i or v?
v
Let g be (-17)/(-4) + (-3)/(-4). Suppose -p + 5 - 2 = 0. Let b be g/p + (-6 - -5). Is -2 equal to b?
False
Suppose 7*h = 3*h + 3*j - 2, 2*h - 2*j = -2. Let q = 75 - 451/6. Are h and q nonequal?
True
Suppose -26*a = -25*a - 29. Which is greater: 55/2 or a?
a
Let d = 23 + -160/7. Let f be -2 - (1 - -1)/(-1). Is d smaller than f?
False
Suppose -h + 3 + 3 = 0. Let c be (-8)/h*(-15)/10. Is c smaller than 1/2?
False
Let w = 5 - 3. Let p be 3/21*(w + 1). Is p < -1?
False
Suppose -2*n - 8 = -5*z, -3*n + 3*z - 2 - 10 = 0. Let l = -99 - -289/3. Is n > l?
False
Let g(l) = l**2 + 6*l + 5. Let o be g(-4). Let v(c) = -c**2 + 4*c - 2. Suppose -18 = -5*z + h, 2*z + z = 4*h + 4. Let i be v(z). Which is greater: i or o?
i
Let o = 0.04 - -0.06. Suppose 4*g + 4*j - 40 = 0, -2*j + 4 = -0*j. Suppose -2 = 2*l + g. Which is smaller: l or o?
l
Let q be 408/(-9) - (2 + -5). Let m = 42 + q. Does m = 1?
False
Let u = -6 + 26. Are 17 and u non-equal?
True
Let w = 4 - 5. Let d = -2 - w. Is 0.3 at least d?
True
Let h = 73 - 431/6. Which is smaller: h or 2?
h
Let m = -59 + 115/2. Let a = 15 - 10. Let o be (-7)/a + (-2)/(-5). Which is bigger: o or m?
o
Let z(d) = -d**2. Let o(h) = h**3 + 3*h**2 + h + 2. Let l be o(-3). Let c be z(l). Let g be 2/2 + (-4)/3. Which is smaller: c or g?
c
Suppose -5*x = -5*m - 0*m - 15, -2*m = 2*x + 2. Let y be (x/(-4))/((-15)/(-12)). Which is smaller: 0.8 or y?
y
Suppose -144 = -52*t + 49*t. Is 48 <= t?
True
Suppose 11 = -3*l - 5*m, -4*l - m = l - 11. Suppose 4*a = -j - 7, -3 - l = 3*a. Which is greater: j or 0?
j
Let r = -0.18 - -2.88. Let f = 0.7 - r. Let g = 43 - 475/11. Is g != f?
True
Let m be (0 - -2)*(-6)/(-15). Are m and 1 non-equal?
True
Let b = -92 + 92.2. Is b greater than -4?
True
Let w = -8 + 7.9. Let q = w - 1.9. Are q and 7 unequal?
True
Let o be (-146)/6 + 4/(-6). Which is smaller: -26 or o?
-26
Suppose 0*p = 2*p - 10. Let i = p + -2. Let c be 2/i - (-1)/(-6). Is c equal to 0.2?
False
Let c(g) = 2*g**2 - 13*g + 8. Let r be c(9). Is 54 smaller than r?
False
Let k(b) = -2*b - 3. Let x be k(-4). Suppose -2*n + 0 - 12 = -4*f, 3*n = -f + 17. Is x < f?
False
Let a = 119/3 + -39. Which is greater: 2 or a?
2
Let n = -2.1 + 1.6. Is n > 0.02?
False
Let j be ((-4)/10)/(2/(-70)). Let c = 20 - j. Which is smaller: 14/3 or c?
14/3
Let f be (513/(-42))/(-3) - 4. Let o(g) = g - 3. Let m be o(4). Do m and f have the same value?
False
Suppose 3 - 5 = -2*z - 2*q, -20 = 5*q. Suppose z = g + 3. Which is smaller: g or 0.2?
0.2
Let r = -0.14 + 0.3. Let d = r + -0.16. Which is smaller: 0.1 or d?
d
Let i be -2 - 1*(-6)/4. Let m = -6.58 + 0.68. Let w = m - -6. Which is bigger: i or w?
w
Let g be 21/14*4/(-6). Is 0 > g?
True
Let h = -0.08 - 0.02. Suppose -4*q - 2*j = 3*j + 20, 20 = 3*q - 5*j. Suppose q = -5*x + 2*x. Is x at most h?
False
Let c be 6/(-4)*16/(-12). Suppose c*l = -2*o + 12, o = 5*l - 6 - 6. Is 3 less than o?
False
Let b(y) = 5*y**3 - 4*y**2 + 6*y. Let l(c) = -9*c**3 + 7*c**2 - 11*c. Let p(o) = -11*b(o) - 6*l(o). Let q be p(2). Is q at least -2/5?
True
Suppose -4*a - 47 = -5*a. Is a greater than or equal to 48?
False
Suppose -x - 32 = -5*x. Let o be (-2)/6*1*-27. Is o != x?
True
Let w be (-2 - -1)*(11 + -10). Is w equal to -4/17?
False
Let y = 2 + -2. Let z = 0 + 0.25. Let h = z - -0.05. Is y at least h?
False
Let j be -13 + ((-9)/3 - -3). Which is smaller: -14 or j?
-14
Suppose 0 = -n - 2*n + 9. Let u be (2/(-10))/((-1)/5). Let v = n - u. Which is smaller: 1 or v?
1
Let m = 3 - 2. Let k be m/(-2) - (-22)/4. Let b = 4 - k. Is 2/7 not equal