er: h or -3?
h
Suppose -3*y = 4*y. Is -2/41 <= y?
True
Let y = 1.9 - 2. Let a be 2/(-6) - (-91)/147. Do a and y have the same value?
False
Let h = -263985 - -21120167/80. Let f = h + -27/80. Let l = f - 17. Is 0 at most as big as l?
False
Let b = 33 - 41. Which is smaller: b or 0.4?
b
Let d = 49.8 + -50. Is -0.02 at most d?
False
Let v be (-63)/27 - (-2)/3. Let f(u) = u**3 + 5*u**2 - u - 7. Let p be f(-5). Is v < p?
False
Let f be ((-2)/8)/((-2)/8). Let b be (f/3)/(1/(-4)). Suppose 0 = 4*j - 0*j. Is j <= b?
False
Suppose 81 = -3*b - 3*h, -7*b + 4*h - 22 = -6*b. Is -26 greater than or equal to b?
True
Let u = -3.6 - -4.1. Let h = 0.35 - -0.05. Let f = h - u. Which is bigger: f or 0.4?
0.4
Let r = 1 + 0. Let l = 0.2 - 0.1. Let p = -0.1 + l. Which is smaller: r or p?
p
Let o be -2*((-9)/6 + 3). Let u be 3 + o + 12/22. Is 1 greater than or equal to u?
True
Suppose -4 = -2*k, -2*j - 2*k + 4*k - 2 = 0. Is j < -2/23?
False
Let l(p) = 2*p + 3. Let w be l(-2). Let m(v) = 3*v**3 + 2*v + 1. Let i be m(w). Let n be 2 + 0 + i/2. Is 4/7 at least n?
True
Let b(g) = -g - 3. Let z be b(-5). Let o be z + ((-660)/(-112))/(-3). Which is greater: o or 1?
1
Suppose 5*g - 100 - 120 = 0. Let m be ((-138)/g)/(5/2). Let o = m - 6/11. Which is smaller: -2 or o?
-2
Let n(g) be the third derivative of 0 - g**2 + 3/2*g**3 + 1/3*g**4 + 0*g + 1/60*g**5. Let o be n(-6). Does o = -4?
False
Suppose 2 = -0*p + 2*p. Let t be ((-9)/6)/1 + 2. Do p and t have the same value?
False
Let x be 3*(-3)/6*(-22)/33. Which is greater: x or 2/71?
x
Let g be -1 - -2*-2*1/(-4). Let u = 27/406 + -4/29. Which is bigger: u or g?
g
Let h(v) = -2*v**2 - 2*v - 9. Let f be h(0). Is -9 <= f?
True
Let k = 3 - 5. Let f be (k/(-8))/(3/(-6)). Are f and -1 equal?
False
Let a = 14 + -24. Which is bigger: a or -11?
a
Let l(d) = 2*d + 6. Let s be l(-4). Let n be (-48)/(-18) + 2/6. Let v = s + n. Which is smaller: 0 or v?
0
Let o = -5.8 + 6. Let f = 0 - 0.1. Let x = o - f. Is -1/2 greater than x?
False
Let w(j) = j - 1 - 1 + 0. Let f be w(6). Let r = -3 + f. Which is smaller: r or -2/5?
-2/5
Let z = -6 - -3. Let p be (5 - 2)*(-8)/6. Which is smaller: z or p?
p
Suppose -2*c + 4*i - 20 = 0, -5*i + 7 = 3*c - c. Which is bigger: c or -16?
c
Suppose 5*u + 5 = -5*y, -4*y = -4*u - 10 - 18. Let t = 8 - y. Suppose 0 = -w + 1 - t. Is w < -5?
False
Let r be (-2 - 1)/(9/(-6)). Suppose -r*n = 5*o - 6, -o + 2 + 1 = n. Is o less than -2?
False
Suppose b + 0*b = 46. Let z = b - 233/5. Suppose 0*r + 8 = -4*r. Is z at least as big as r?
True
Let j = -21.928 + 0.128. Let o = 22 + j. Which is greater: -0.7 or o?
o
Let f be (-6)/(-4)*(-18)/(-9). Which is smaller: f or -4?
-4
Let n = -1.2 - -2. Let o = -0.9 + n. Which is bigger: o or 4?
4
Let c be (-1 - 0/(-1))/(-1). Which is bigger: c or -2/167?
c
Suppose 0 = t - 1. Suppose 4*l + 7 = -i - 2, -3*l = -5*i - 22. Which is smaller: l or t?
l
Let d = -6 + 10. Let o(z) = z. Let u be o(d). Suppose u*w + 3*i = 6, -5*w = -4*i + 3*i - 17. Is w != 1?
True
Let x = 3 + -7. Let c(v) = v**2 - v - 5. Let l be c(0). Let a = -8 - l. Is x greater than a?
False
Let y be (-1)/(-3) + (-9)/27. Which is greater: 3 or y?
3
Let v(q) = -4*q**3 + q**2 - q. Let o be v(1). Let n be (o/30)/(11/33). Which is bigger: -1 or n?
n
Let p = -6 + 10. Suppose o = -3*z - p, 0 = o - 3*z - 2*z - 4. Which is smaller: 1/6 or o?
o
Let p = 148 + -1034/7. Which is smaller: 21 or p?
p
Let m = -9 - -21. Is m greater than 12?
False
Let p = -7 - -3. Let g(r) = 2*r - 2. Let d be g(2). Suppose -4*s + 3 = w, d = w + 3. Which is smaller: p or s?
p
Let i = 2 - 8. Let g be i/(-69)*1/(-1). Is g >= 1?
False
Let q = 0.2 - 0.2. Let x = 0 + q. Let p = 0 + x. Is 4 smaller than p?
False
Let l(m) = m**3 - m**2. Let a be l(0). Suppose 0 = 5*t + 5. Is a greater than or equal to t?
True
Let s = -57.1 - -61. Let a = -4 + s. Let g be (2/(-12))/(3/4). Is a at most as big as g?
False
Let n be (4/(-8))/((-2)/4). Let j(l) = -l**2 - 4*l + 4. Let c be j(-4). Suppose -3*o = -c + 1. Is o smaller than n?
False
Let o = 10 + -7. Suppose v + 0 = o. Suppose n + i = -3, i + 9 + 2 = v*n. Which is smaller: n or 4?
n
Let n be 4/(-2)*(-2)/28. Let g = 17/21 - n. Is 1/8 smaller than g?
True
Let c = 456/5 - 92. Is c at least as big as 0?
False
Let y = -3 - -1. Let l(v) = -2*v - 2. Let a be l(y). Suppose b - 4 = a*b. Is b <= -3?
True
Let w = 3 - 2. Let q = w + -1. Let h = -18 - -17. Is h greater than or equal to q?
False
Suppose -2*w + 3*v + 8 = -3*w, -w + v + 4 = 0. Which is smaller: w or 0?
0
Let j be -1 - (-4)/2 - -4. Let g = -5 + j. Which is smaller: g or -1?
-1
Suppose z + 3*p + 9 = 0, -2*z - p + 0*p = 3. Is -4/5 at most as big as z?
True
Let j be ((-6)/21)/2*4. Let g(o) = o - 1. Let w be g(-1). Let f be 4*-1*w/(-4). Which is bigger: j or f?
j
Let o(c) = -c - 7. Let q be o(-6). Are -7 and q equal?
False
Let n = -22 - -7. Which is smaller: -14 or n?
n
Suppose -n - 4*g + 15 = 0, 6*n - n - g - 12 = 0. Suppose -n*m = -6*m + 9. Let y be 13/12 - (m - 2). Which is bigger: y or -1?
y
Let z = -8/13 - -69/91. Which is smaller: -4 or z?
-4
Let j be (-225)/665 - 4/(-14). Which is smaller: j or 0?
j
Let y = 126/65 + -20/13. Let f = -1 - 0. Which is bigger: f or y?
y
Let p = -8 - -8.09. Which is smaller: -0.1 or p?
-0.1
Suppose 0 = 5*v - 80 - 20. Let c = v - 14. Let w be 28/6 - (-2)/6. Are w and c non-equal?
True
Let y = 59/2 + -29. Let g be (-5)/(5/(-3)) - -1. Suppose 4 = g*d - 3*a - 0, 2*a = 0. Is d equal to y?
False
Let z(a) = a**3 + a**2 - 5*a + 1. Let b(p) = 4*p**3 + 3*p**2 - 21*p + 3. Let k(x) = -2*b(x) + 9*z(x). Let h be k(-4). Which is smaller: h or -2/3?
h
Let s = -764 - -45080/59. Which is smaller: s or 0?
0
Suppose -5*b = -b + 16. Let n be 0*(-3 - b*1). Is n < 0.1?
True
Let y = 6 - 6. Suppose 3*q = 4*a - q + 8, 5*q + 20 = y. Is -4 bigger than a?
True
Let h be ((-2)/(-16))/(1/6). Let f = -17 - -9. Let d be 1/2*f/(-2). Are d and h equal?
False
Let a(k) = -k - 13. Let r be a(-6). Is -7 greater than r?
False
Let g = -5 + 2. Let f = 0 + -2. Let b be f + 0 + 0/2. Is b > g?
True
Let o be (-3)/2 - (-1)/2. Let v be ((-248)/(-10))/((-2)/3). Let w = v - -37. Which is greater: w or o?
w
Suppose -2*x + 3*x - 13 = 2*r, 2*r - 4*x = 2. Let i be 2/(-72) + 2/r. Which is smaller: i or 0?
i
Let o be (4/18)/(10/(-75)). Are 0 and o equal?
False
Let g = 1 - 0.8. Let x = -6.9 + 7. Let m = x + 0. Is g > m?
True
Let c(o) = -o**2 + 7*o - 5. Let z be c(7). Suppose -5*s = -0*s + 25. Is z < s?
False
Let j = -21 - -33. Is j at most as big as 10?
False
Let f(c) = -c**2 - 11*c + 1. Let s be f(-11). Let j = 0.1 - -0.14. Let x = 0.17 - j. Which is smaller: s or x?
x
Suppose c + 3*b - 5 = 0, -3 = -0*b - b. Let h be (22/(-33))/(1/3). Which is greater: c or h?
h
Let t be (-16)/(-10) - 12/12. Suppose 2*x = -2*h - 3 + 5, 0 = 4*x. Which is greater: t or h?
h
Let a = -3 - -2. Let f be 3 + a - (3 + 1). Which is bigger: -1 or f?
-1
Let q = 431/8 - 14375/264. Let r be -4*10/(-44) - 0. Let h = r + q. Does h = 0?
False
Let z = 40 - 161/4. Which is smaller: -8 or z?
-8
Let v(d) = -d**2 - 4*d - 2. Let p be v(-3). Let o = -113 + 191. Let k = -232/3 + o. Which is smaller: k or p?
k
Let w(c) = c**3 + 7*c**2 - c + 8. Let y be w(-7). Let t be (0 - 0)*2/(-4). Suppose y = 5*m - t*m. Which is smaller: 4 or m?
m
Let a(p) = -p**3 + 5*p**2 + 7. Let q be a(5). Let k = -4 - q. Which is greater: -10 or k?
-10
Let l = -23 + 37. Is 14 equal to l?
True
Let n = 27 + -26.95. Let x = n + 0.25. Which is smaller: -0.1 or x?
-0.1
Let q be (-2)/(-4)*4/(-5). Let b = -6.7 + 0.7. Is b > q?
False
Suppose -3*n = 3*x - 18, 2 = 5*n - x - x. Is n at most 2?
True
Let s = 1333/8 - 167. Let q(d) = d**3 + 7*d**2 - 9*d - 8. Let w be q(-8). Are s and w non-equal?
True
Let g = -162 - -162. Is g at least 5?
False
Let t(z) = 5*z**2 + 3*z**2 - 3*z**2 - 4*z**2 - 2. Let m be t(-2). Suppose -2 = m*o - 0. Which is smaller: -2 or o?
-2
Let y = 223/3 + -74. Let f be (0 + 0 - -2)/(-2). Which is bigger: f or y?
y
Let m be (-198)/(-210) - 1/(-5). Let i = m + -53/28. Suppose 5*z - 5*f - 5 = 0, 6*f - 4*f = -2*z - 2. Which is smaller: i or z?
i
Let m = 13 + -11. Suppose -2*w + k - 16 = -2*k, 2*w - m*k = -16. Is -9 < w?
True
Let d = -0.1 - -0.3. Let n = 0.1 + d. Let m = -1 - -0.9. Do m and n have the same value?
False
Let o = 3.17 - 0.17. Let u = o - 1. Which is smalle