as 0?
False
Let o = 28 - 14. Let a be 3/o - (-10)/35. Which is smaller: a or 0?
0
Suppose 0 = -8*k + 6*k - 4*s + 4, s - 3 = 0. Is -22 >= k?
False
Let b(i) = i**2 + 3*i. Let f be (1 + 0)/(8/(-24)). Let t be b(f). Is t smaller than -2?
False
Let b = 30 + -12. Suppose -14 = -3*o - 2*p + 4*p, b = 3*o - 3*p. Suppose -5*j - d = -0 + 9, o*j - 3*d - 10 = 0. Is j smaller than -2?
False
Let i(d) = -d**2 - 10*d - 5. Let u be i(-12). Let p be (-2)/(-13) - u/(-104). Is p != 1?
True
Suppose h + 1 - 3 = 0. Let f be h*-1 + 28/16. Let u = -0.81 + 0.51. Is u greater than f?
False
Let g = -9.09 - -0.09. Let v = -10 - g. Let i be 1 - 3 - 10/(-4). Which is smaller: v or i?
v
Let z = 254/35 + -37/5. Let m = 2 + -1. Which is smaller: m or z?
z
Let l be (-2)/8 - (-17)/(-12). Which is greater: l or -2?
l
Let g(c) = c - 9. Suppose 4*d + 4*b - 28 = 0, -4*d + 7*d - 24 = -4*b. Let l be g(d). Suppose -11 = 5*a - 3*w + 4, -a = 5*w + 31. Is l greater than a?
True
Suppose 0*f - 4 = -4*f. Let l = 0 - f. Which is smaller: 0 or l?
l
Suppose 0 = a + 3*l - 3, a - 4 = -8*l + 4*l. Let d = -4.7 - -0.7. Let s = d + 4. Is a greater than s?
False
Suppose 31 = 5*i - s - 3*s, 4*i = 5*s + 32. Let m be (-3 - -2) + (-3 - -2). Let d be (0 + m)*i/(-6). Is d smaller than -2/5?
False
Let f = 0 + 0. Suppose 2*z = -f*z + 2. Is z bigger than -2/15?
True
Suppose 163 = 3*v - 17. Let i be 1*-2 + v/26. Which is smaller: i or -1?
-1
Let f = -47 - -67. Let q be (-10)/(-6)*(-122)/10. Let w = q + f. Is 0 greater than or equal to w?
True
Let x = 0.81 - -3.19. Which is smaller: x or 16?
x
Let v = 2.48 - 0.38. Let j = v - 2. Is -1/4 smaller than j?
True
Suppose 0*s = 2*s - 54. Let d be s/(-15) - 1/5. Which is smaller: 0 or d?
d
Let u = 0.4 + 0. Let y = -0.4 + u. Which is smaller: -3 or y?
-3
Let a = 25469/90 - 283. Is a smaller than -1?
False
Let b(v) = -v**2 + 11*v - 31. Let o be b(6). Is o greater than or equal to -26?
True
Let d = 165 - 1153/7. Are d and -0.2 nonequal?
True
Let z = -4 - -3. Let c = 0.97 + z. Let k = c + 0.06. Which is greater: k or -0.1?
k
Let l = 8 + -9. Which is bigger: l or -1/25?
-1/25
Let b be (-1)/(0 + 13)*(-42)/(-28). Which is smaller: 0 or b?
b
Let l(t) be the first derivative of t**2/2 + 6*t - 4. Let w be l(-9). Let m be (-14)/11 - (w + 2). Are 1 and m equal?
False
Let f(p) = p + 6. Let v be f(-3). Suppose -v*l - 2 = -l. Which is smaller: l or 1/4?
l
Let q be 2 + 0 + (-2 - 2). Let c = 2 - q. Let d be (6/c)/(-3) + 0. Which is bigger: -1 or d?
d
Suppose -28 = h - 0. Is -29 less than h?
True
Let l(y) = -y + 1. Let k be l(0). Suppose 5*n + 6 = k. Which is greater: n or 4?
4
Let l = -501 + 13529/27. Which is smaller: 0 or l?
0
Let l = -0.043 + 0.043. Is l bigger than -0.01?
True
Let z be 2 - 0/(0 - -1). Let r(q) = -4 + 4*q + 0*q - 2*q - q. Let v be r(6). Are z and v non-equal?
False
Let n = 19 - 20. Let x = 1.5 - 2. Which is smaller: n or x?
n
Let g be (2/(-8))/(3/(-12)). Is 1/37 > g?
False
Suppose 0 = 2*a + 1 + 15. Let t(g) = g. Let s be t(1). Which is bigger: s or a?
s
Let v be 2/6 - 2/6. Suppose o + 2 = -0*o + 3*q, v = 2*o + 4*q - 6. Which is bigger: -1/5 or o?
o
Let d = 8 - 6. Are 2 and d unequal?
False
Let l be (-6)/(-27) - (-160)/9. Do 20 and l have different values?
True
Let r = 2 + -2. Let h = -42 - -60. Let v be -2 + (-4)/h*-3. Is v > r?
False
Suppose g - 42 = 5*u, 5*g + 0*u - 100 = 3*u. Let j = g + -13. Is j smaller than 4?
False
Let n = 83 - 82. Which is bigger: 0 or n?
n
Let d = 5 - 5. Let t = 8.98 - -0.02. Let o = t + -10. Which is smaller: d or o?
o
Let w = -2318/75 + 195568/6325. Let a = 817/6072 + w. Let g = -1/44 + a. Are 1 and g nonequal?
True
Suppose 0 = -2*x + 3*t - 5*t - 8, -x + 6 = -4*t. Let y be x/6 - 20/3. Which is smaller: -6 or y?
y
Let x be (-3)/2 + (-19)/(-10). Which is greater: 1 or x?
1
Let l = -3/10 + 7/10. Let q(x) be the third derivative of -x**5/30 + x**4/24 - 2*x**2. Let b be q(1). Which is bigger: b or l?
l
Let s be (-1 + 1 - 2)/1. Let q = -2 + 5. Let h = q + -5. Is s smaller than h?
False
Let v = 3 - 22. Is -0.1 at least v?
True
Let m(u) = u**3 - 9*u**2 - 2*u + 12. Let j be m(9). Let g = -2 - j. Suppose -r = -g*r - 15. Is -5 equal to r?
True
Suppose -4*x - 52 = -2*m - 2*m, -34 = 4*x + 5*m. Let c = 12 + x. Is c bigger than 1?
False
Let t = 2 - 1.2. Let z = -1.2 - t. Is z > -4?
True
Let a = -0.3 - -0.4. Let o = -1 - -1.2. Let r = 0.2 - o. Is a less than r?
False
Let h = -7 + 7. Which is smaller: -1/21 or h?
-1/21
Let q be (27/(-16))/(5/(-6)). Let p = 3/5 + q. Let j = -17/8 + p. Which is smaller: 0 or j?
0
Suppose -3 - 9 = 2*d. Suppose 6 - 3 = -3*z. Let g = -3 + z. Which is bigger: d or g?
g
Let l be (4/(736/(-12)))/(2/4). Which is bigger: 0 or l?
0
Let v = -4060/54081 + 2/2003. Is 1 != v?
True
Suppose 0 = -w - 50 - 112. Let h = -30710 + 154357/5. Let q = w + h. Is -2 at least q?
False
Suppose -28 = -5*z + 4*v, -3*v - 8 = -2. Do -3 and z have the same value?
False
Let l(t) = 2*t**2 - 2*t - 1. Let g be l(2). Let f(i) = -3*i + 3*i + 3 + i. Let k be f(-2). Which is bigger: g or k?
g
Suppose 0 = -4*w + 2*a - 6, 5*a - 15 = -2*w - 3*w. Suppose 3*d = -w*d. Is -1/6 > d?
False
Let h(d) = 3*d**2 - 13*d + 15. Let s be h(7). Which is greater: s or 70?
s
Let o = 0.09 - 0.49. Let y = 0.1 - o. Is y at most 2/5?
False
Let h = 5.5 + 1.5. Let q = -10 + h. Let r = -4 - q. Which is greater: 1 or r?
1
Let u(a) = a**3 - 11*a**2 - 11*a - 14. Suppose 2 - 26 = -2*c. Let v be u(c). Which is greater: -4 or v?
v
Let d = 36 + -21. Let m = -16 + d. Is m < 1/10?
True
Let p = 283/34 - -3/17. Are p and 8 nonequal?
True
Suppose -3*d = -5*x + 97, -60 = 5*x + 2*d - 162. Which is smaller: x or 19?
19
Let y = 6 + -2. Suppose 0 = g + g - y, 0 = l - g - 2. Suppose -3*x + a = -2, -4*x - 3*a + l = -3*x. Is x greater than -2/5?
True
Let a be ((28/(-86))/7)/(0 + -1). Is a greater than 0?
True
Let c be 0 + 1 + (-18)/14. Suppose 0*o + 5*p = 4*o + 25, -2*p = 2*o - 10. Which is greater: o or c?
o
Suppose 5*j + 3 + 17 = 0. Let l = 11 - 1. Let b = -9.9 + l. Which is smaller: b or j?
j
Let b = 0 - -3. Let l = 0.037 - 0.137. Is l > b?
False
Let b be (-10)/42 + 4/6. Let j be (-2 - (-5)/1)/1. Suppose -j*c + s = -s - 8, -4*c + 3*s + 12 = 0. Is b > c?
True
Suppose -6*k + 4 = -4*k. Is k >= 1/2?
True
Let z = -10 + 16. Let c = 3 - z. Suppose -4*k - a - 11 = 0, -5 = 5*k - 2*a + 12. Is c at most k?
True
Let v = -0.1 + 0.1. Let b = -14 - -27. Let n = b - 10. Which is smaller: v or n?
v
Let t(d) = -7*d + 2. Let r(u) = -11*u + 3. Let k(y) = -5*r(y) + 8*t(y). Let p = -15 + 17. Let b be k(p). Which is bigger: b or 2/9?
2/9
Suppose 11*c = 7*c. Let t be 5*(-2 + 24/15). Which is smaller: c or t?
t
Let o = -2970/203 - -184/29. Which is smaller: -8 or o?
o
Let b(a) = a + 3. Let s be b(-2). Suppose s + 8 = -3*p. Is -3 greater than or equal to p?
True
Suppose -7*p + 2*p = 10. Let q = p - -1. Let n = -5/4 - -7/12. Which is smaller: n or q?
q
Let v = 788/3519 - 1/153. Which is bigger: v or 0?
v
Let b = -145 + 155. Is 75/8 greater than b?
False
Let d be (-1 + -1 - -7)*(-6)/(-18). Which is smaller: -2/23 or d?
-2/23
Suppose -b = -t + 4*t, 3*b + 4*t = 0. Suppose 2*v + 2 = 0, b = 2*u - 0*u - v - 13. Suppose 0 = -a - 3*a - k - u, -2*k = 2*a. Which is smaller: -6/11 or a?
a
Let b(p) = p**2 + 6*p + 2. Let a be b(-6). Suppose 7 = -a*g + 2*x - x, -2*x = 5*g - 5. Is -1/10 > g?
True
Let j = 25 - 31. Let z = j - -6.1. Is -0.04 != z?
True
Let j = -8.4 - -8.6. Let p(u) = 3*u. Let b be p(-1). Let t be (-6)/(-8)*1/b. Is t >= j?
False
Let k = -57 + 69. Which is smaller: 15 or k?
k
Suppose 10*y - 4 = -174. Which is smaller: y or -18?
-18
Suppose 3*r - 14 + 8 = 0. Suppose 0 = 2*t + f - 6*f - 5, 3 = t - 2*f. Suppose 5*l - l + t*g = 2, -2*g = r*l. Which is smaller: l or -1?
l
Suppose 5*v - 124 = -g - 0*g, g = -3*v + 76. Is 26 bigger than v?
True
Let d = 54 - 323/6. Let n = -0.5 - -0.8. Is d equal to n?
False
Let g = 0.54 - 0.44. Which is bigger: 28 or g?
28
Let p = -1.1 + 1. Let y = -13 - -21. Suppose 4*d + 0 = -y. Is p at least d?
True
Let m = -0.1 - 0.9. Let c be (-392)/136 + (0 - -3). Which is smaller: c or m?
m
Let z be -10*25/(-2) + -5. Is 119 >= z?
False
Let y = -18 - -12. Let n be (-14)/(-35) + y/(-10). Which is greater: -1/5 or n?
n
Suppose 2*r = -2*n + 2 - 20, 0 = 4*r + 3*n + 31. Is -4 >= r?
True
Let y = -7.11 - -0.11. Let k = y + 4