1?
-0.011
Suppose -6 = 2*i + 2. Which is smaller: i or -5?
-5
Let p be (-2)/8 + (-3)/(-12). Which is smaller: 4/11 or p?
p
Let d(f) = -2*f**3 + f**2 - f - 1. Let n be d(1). Which is smaller: -30/7 or n?
-30/7
Let n = 16 - 15.99. Let z = 3/10 + 1/30. Is z equal to n?
False
Suppose -5 = -a, -8*a + 27 = 2*c - 3*a. Which is smaller: 1/54 or c?
1/54
Let u be (2 - (-12 + 4))*-1. Which is greater: -9 or u?
-9
Let x be ((-16)/(-20))/(4/(-10)). Let g be x - 0 - (-54)/24. Is 1/4 > g?
False
Let z be 28/(-30) - 2/5. Suppose -5*s = -0*s - 105. Let p = -22 + s. Which is greater: p or z?
p
Let i be 90/84*4/(-3). Is -1 at most i?
False
Suppose -4*z = -b + 844, -3*z = -2*b + 4*b + 622. Let q be 1 - ((-309)/z + -1). Let s = q + -1/35. Which is smaller: 0 or s?
0
Suppose 1 + 2 = 5*p + 4*v, v - 6 = 4*p. Let d be (-1)/2*(p + -11). Let w(s) = s**3 - 5*s**2 - 7*s + 5. Let q be w(d). Does 1 = q?
False
Let i(m) = -m**3 + 19*m**2 - 17*m - 13. Let f be i(18). Suppose -4*t + f = -w, w + 4 + 1 = -2*t. Which is greater: -2/15 or t?
t
Suppose 2*w + w + 12 = 0. Let a be 15/(-12) + w/16. Is a greater than or equal to -2?
True
Suppose 4*r = 1 - 13. Let t = -14 + 10. Let k = t + 2. Which is greater: r or k?
k
Suppose -4*y + 3*n - 13 = 0, 0 = -y - 3*n - 2 + 10. Is y < 2/13?
True
Let y(k) = 4*k + 2*k**2 - 7*k + 1 + k. Let x be y(1). Is 2 smaller than x?
False
Suppose 0 = -4*k - 94 - 54. Is k smaller than -37?
False
Let i be 2/4 + 34/(-36). Are -1 and i nonequal?
True
Let n(x) = -x**3 - 11*x**2 + 13*x + 12. Let s be n(-12). Suppose 5*m = -s*m. Suppose f = -0*f. Is f < m?
False
Let b = -1/2 - -9/16. Is b greater than or equal to -1?
True
Suppose -2*d + 3 - 1 = 0. Let z be d/4 - 11/12. Suppose -4 = -2*j - 2*i, -14 = 4*j + j - i. Does j = z?
False
Let i = 6 - 5. Let w be (i - 3) + 8/4. Suppose -4 = -3*s - 2*h, -3*s + w*h + 5*h = 10. Which is bigger: 2/11 or s?
2/11
Let b be (-2 + -2 + 3)/(70/(-1420)). Are 21 and b nonequal?
True
Let q(v) = v**3 - 6*v**2 + 7*v - 6. Suppose 5*k - 25 = -0*k. Let u be q(k). Which is bigger: u or -1?
u
Let k be (-9)/(-15)*5/19. Let t = k + 45/76. Suppose -1 + 5 = -4*i + 4*j, i = 3*j - 5. Which is smaller: i or t?
t
Let s(o) = 2*o**3 + 19*o**2 + 12*o + 30. Let w be s(-9). Is w < 12?
True
Let o be 14/4 + 2/4. Let x be ((-2)/20)/(o/(-10)). Which is bigger: -2/7 or x?
x
Let y be 59/(-22) - 12/(-66). Let w = y + 17/6. Which is greater: -1 or w?
w
Let g(n) = n + 7. Let v = 15 - 22. Let h be g(v). Suppose -k + 0*k = h. Which is bigger: k or 3/7?
3/7
Let i be -2 - ((-3)/6 - 1). Let v = 2 - 3. Do v and i have the same value?
False
Let s = -356 - -353. Let n be 32/(-30) - (-4)/6. Are s and n nonequal?
True
Let b = 0 + 1. Is -2/83 less than or equal to b?
True
Let r(f) = -f + 4. Let y(k) = -k - 3. Let g be y(-7). Let h be r(g). Let x = -3 - h. Which is greater: -2 or x?
-2
Let h = -14 + 11. Let s be 32/12 + h/1. Which is smaller: s or 0?
s
Let y(a) = -a + 4. Let h = 0 - -3. Let r be y(h). Which is greater: r or -2/11?
r
Let c = 119/6 - 20. Suppose -6*o = -o. Suppose -4 + o = -4*m. Which is greater: m or c?
m
Let q = 0.1 - 4.1. Let h = -4.1 - q. Is h at most 3/5?
True
Let g = -112 - -296. Let r = 1286/7 - g. Is 1/2 bigger than r?
True
Let n be 2 - (3*3 + 0). Suppose 0 = 3*z - u - u - 11, -3*z + 21 = 3*u. Let c = n + z. Is c < -2?
False
Let t be (-2)/(-9) + 80/45. Let m = t + 2. Suppose 5*a - 1 = m. Are 1/4 and a nonequal?
True
Let l = 7 - 29. Let o = -16 - l. Is o less than or equal to 8?
True
Suppose -40 = -u + 126. Let y = u + -1325/8. Let h = y - 5/24. Which is bigger: 0 or h?
h
Let a = -114 + 114.5. Which is smaller: a or -1?
-1
Let g = -0.5 + 0.3. Let c = 0.2 + g. Let i = 12.9 - 13. Is c < i?
False
Let b = 14 - 9. Suppose v - 20 = -4*v. Let y = b - v. Is 3/4 < y?
True
Let q = 255/2 + -124. Is 3 at least as big as q?
False
Suppose 42 = 4*z + 2*c, 5*z - c - 4 = 45. Suppose 4*v = -v + z. Suppose d = v*d. Which is greater: -1/3 or d?
d
Let f(d) = -d**3 + 3*d**2 + 3*d + 1. Let k be (0 - 3)/(9/(-12)). Let a be f(k). Which is bigger: -0.1 or a?
-0.1
Let z = -43/4 + 11. Let m be (-2 - (2 + -7)) + -1. Let v be 3 + -3*(m - 1). Is v smaller than z?
True
Let v = 51 + -51.7. Is -3/8 < v?
False
Let q = 73 + -73.8. Is 6/5 greater than or equal to q?
True
Let n be (-3 - -2)/(0 - -1). Suppose -r = -0*r - 69. Let b = r + -1037/15. Are b and n unequal?
True
Let l = -173 - -1214/7. Let j be (6/(-12))/(1/2). Which is greater: l or j?
l
Let b(v) = -v**2 + 3*v + 6. Let j(l) = 2*l**2 - 6*l - 11. Let d(f) = 7*b(f) + 4*j(f). Let n be d(2). Is -2 != n?
True
Suppose 2*a - 9 = -0*a - c, 2*a + 3*c = 15. Suppose 5*d = a*d - 10. Let v = 6 + d. Is v not equal to -1/6?
True
Let q be (-1)/3 + 7/3. Let d be (q/1)/2 - 6. Let w be 6/d - (-2)/10. Which is smaller: 2/17 or w?
w
Let o = 10 + -11. Is -5 < o?
True
Let l(q) = -q**2 - 12*q - 12. Suppose 0 = -3*t - 3*m - 27, -2*t + 2 - 16 = -2*m. Let z be l(t). Which is smaller: 21 or z?
z
Suppose 0 = -3*x + 8*x + 5. Do -1 and x have different values?
False
Let f = 23 + -25.05. Let x = 0.1 - 0.05. Let v = x + f. Is v less than or equal to 1?
True
Suppose -3*x + 10 = 2*c + 2*x, -5*c = -x + 2. Let n be ((-12)/10)/((-2)/10). Suppose -5*a - 11 = -s, -a - n = -5*s + s. Which is bigger: s or c?
s
Suppose -2*c + 2*v = -4, -2*v + 4 = 5*c + 1. Which is smaller: 7/3 or c?
c
Let j = 121/3 + -41. Is -6 at least as big as j?
False
Let h = 1.2 - 2.2. Which is greater: h or -7/4?
h
Suppose -2 = 4*q + 2*w, -q = -0*q - 2*w - 12. Let n be (q/20)/((-7)/14). Which is bigger: -2/5 or n?
n
Let r = -13 + 14. Which is smaller: r or 1/5?
1/5
Let i be (3 - 1)/(5 + -19). Is 0 >= i?
True
Let k = -68 - -64.9. Let f = -0.1 - k. Is f greater than 3?
False
Let c(g) = g**2 - 5*g - 2. Let u be c(6). Suppose 0 = -2*m + u*i - i + 1, 3 = -3*i. Let z be -4*(37/(-18) + 2). Is z less than m?
False
Let n(p) = p**3 - p - 7*p**2 + 2 - 4 + 9 + 0*p. Let m be n(7). Let x be -2*1*(-2)/(-10). Is x less than or equal to m?
True
Let o = -22 - -26. Let d be (0/1 - 0)/(-2). Do d and o have the same value?
False
Suppose -3*f - 4 = 5. Is -3 <= f?
True
Let s(q) = q - 10. Let m be s(12). Suppose -r + 0*y - 9 = m*y, -30 = -5*r + 5*y. Which is smaller: r or 3/4?
3/4
Suppose 0*x + 2*x + 5*h = 7, -4*h + 5 = x. Let o = 93 - 275/3. Which is smaller: x or o?
x
Suppose 3 = -5*t + 4*t. Let f be 3/(-2)*(-32)/(-6). Let m be (-2)/(-8) - (-18)/f. Is m at most t?
False
Let b be (2/(-8))/(7/(-42)). Let o be (12/(-10))/((-4)/10). Is b < o?
True
Let t be (-18)/14 - 4/(-14). Suppose -2*n + 54 = -4*f, -n - f - 3 + 15 = 0. Suppose -u + 4*p = -2*u - n, -5*u = -2*p - 3. Is u greater than or equal to t?
True
Let n = 28 + -20. Which is greater: 6 or n?
n
Let u be 8/(-3)*2/(-24). Let f be (-2)/(-9) - (-6)/(-27). Which is smaller: u or f?
f
Let b(t) = t**2 - 4*t - 2. Let h be b(4). Are h and -2 unequal?
False
Let q(g) be the first derivative of g**3/3 + 2*g**2 - 4*g - 1. Let h be q(-5). Let y be 5 + -2 - (-1 - -2). Which is greater: y or h?
y
Let v = 3 - -9. Let w = 22 - v. Are 8 and w nonequal?
True
Let l = 16 + -14. Let y = l - 1.9. Is y < 1.8?
True
Suppose 0 = 2*s + m - 29 - 4, 0 = -5*s + 5*m + 105. Let o be (-3)/s*-3 + 0. Which is smaller: o or 1?
o
Let t be (44/8 + -4)*2. Is 2 at least t?
False
Let h = 4 + -10. Let x = 8 + h. Is 4/3 greater than or equal to x?
False
Let m = -9 + 9.07. Let s = m + -0.17. Let d(w) = -w**2 + 5*w - 3. Let o be d(5). Which is greater: s or o?
s
Let t = -12 - -15. Suppose -4*b = 20, -t*g + 0*g - 2*b - 13 = 0. Is g != -1?
False
Let b = -10.74 + -0.26. Let l = 8 + b. Is l less than or equal to 1?
True
Let a = -10 - -14. Is a at least as big as 2?
True
Let z = -62 - -247/4. Let r = -20.74 + 21. Let a = r - 0.06. Which is smaller: z or a?
z
Suppose 2*g - 72 = -6*g. Is -1 at least as big as g?
False
Let w(t) = -2*t - 1 + 2*t - 7*t + 0*t. Let k be w(-1). Let q be (-8)/12*k/4. Which is greater: 2 or q?
2
Let g = -6 + 5.98. Let r = -0.06 + g. Is 0 equal to r?
False
Let p = 5/17 - -1/17. Which is bigger: p or -1?
p
Suppose 24 = 4*k - 6*k. Let f be (-16)/k*9/(-6). Is -7/5 bigger than f?
True
Let a = -8 - -15. Is -1 < a?
True
Let t(g) = g**3 + 2*g**2 - 4*g - 4. Let b be t(-3). Let f = -5/13 - -48/91. Which is smaller: b or f?
b
Let k = -186 + 185.7. Is k less than 10?
True
Let s be 2/8 - 21686241/87912900. Let 