t most as big as 2/17?
False
Suppose -2*h - 36 - 4 = 0. Let t be 9/36 + 13/h. Which is bigger: t or 1?
1
Let w(b) = b - 4 + 2 + 1. Let o = 25 - 25. Let q be w(o). Are q and -1 equal?
True
Let v be (4 - (-75)/(-20))/((-14)/44). Which is smaller: v or -1?
-1
Let a = 23 + -25. Let k be (-5 - a)*8/(-12). Is 7/6 equal to k?
False
Let h be (-139)/43 - (0 - 3). Let w = h - -202/129. Which is greater: 0 or w?
w
Suppose 23 + 3 = 2*k. Is 12 > k?
False
Let k = -0.1 - -0.05. Let d = -5.95 + k. Let u = d + 7. Which is smaller: u or 2/3?
2/3
Let a = 8 - 7.7. Let q = -70.1 + 65. Let p = q + 5. Which is greater: p or a?
a
Let q = -13/7 + 25/21. Let a = 3.1 - 1.5. Let f = 0.6 - a. Which is smaller: f or q?
f
Let d(y) = -2*y - 19. Let x be d(-11). Is 2 bigger than x?
False
Let l = -6 - -8. Suppose 0 = -3*w - 3*d, l*d + 3 = 2*w + d. Let y be w/(-2)*(-4 - -6). Is y equal to -3?
False
Let n(f) = f**2 + 9*f - 51. Let r be n(-13). Which is smaller: -1 or r?
-1
Let g(x) = x**3 + 6*x**2 - 6*x + 7. Let t be g(-7). Let u(l) = 2*l + 4. Let k be u(t). Which is smaller: 3 or k?
3
Let y = 52 + -52. Is -1/46 greater than or equal to y?
False
Let g be 3/(-6) - 1/(-10). Let m(w) be the first derivative of -w**3/3 + 3*w**2/2 + 3*w + 1. Let i be m(4). Which is smaller: i or g?
i
Suppose 5*i - 4*r = 85, 49 = 3*i - 3*r + r. Let d = -261.9 + 262. Is d bigger than i?
False
Let x be (-12)/(-7) - (-2)/(-1). Let k(l) = -l + 1. Let m be k(-4). Suppose -m*p = -6*p + 2. Which is smaller: x or p?
x
Let m(s) = -s**3 - 7*s**2 + 4. Let v be m(-7). Let d be (-1)/((v/4)/(-1)). Which is smaller: d or 5?
d
Let c = 0.12 - 0.82. Let m = c - -0.8. Let k = -88 - -438/5. Which is bigger: k or m?
m
Suppose 1 = 2*n - 1. Let x(h) = -h**3 + 6*h**2 - h + 5. Let b be x(6). Is n < b?
False
Let d(q) = -3*q**3 + q. Let h be d(-1). Suppose r - 1 = 5*p - 15, -4*r = h*p - 10. Which is smaller: r or -1/6?
-1/6
Suppose 7*b - b + 282 = 0. Does -48 = b?
False
Let d be 6/(-2) - (1 + 2 + -4). Which is greater: -19/7 or d?
d
Let n be (4/(-10))/(36/45). Let a(h) = -h**2 + 6*h - 1. Let s be a(6). Which is greater: n or s?
n
Let l = 0.066 + -0.076. Is l less than or equal to 2?
True
Suppose -4*q - 3*l = -10, 0*q - 2*l - 1 = -5*q. Is q at least as big as -1?
True
Let t = 6 - 6. Suppose -d - 3*d + 88 = t. Suppose 2*z = 4*w - d, 3*w + 4*z = 4*w - 23. Which is bigger: 1 or w?
w
Suppose -i = -3*i - 10. Let b = i + 5. Is b not equal to 1/2?
True
Let u = 6 + -9. Suppose t + 0 - 7 = 0. Let b = 5 - t. Is u bigger than b?
False
Let a be ((-7)/(42/12))/15. Which is greater: -2 or a?
a
Let r be (2/4)/(11/(-110)). Which is bigger: r or -4?
-4
Let j = -439 + 25021/57. Let v = j + -100/399. Let r = 17 - 17. Which is bigger: v or r?
r
Let i = -5 - -3. Let p(b) = b**2 + 6*b - 4. Let m be p(-6). Are i and m unequal?
True
Suppose -2*j = -7*j + 4*r + 31, -15 = -j + 3*r. Suppose j*m - 4*m = 0. Let u be (0 - (0 + m))/(-1). Which is smaller: u or -0.3?
-0.3
Suppose 0 = 4*z - 8*z, -h - 4*z = 7. Is h != -6?
True
Suppose 3*f - 16 = -z, -5*f - 9 + 37 = 3*z. Suppose 0 = -4*i + 20, 5*l + 3*i = f + 20. Let u = 6 - 3. Which is greater: u or l?
u
Let q = 0.06 - -2.94. Let t = -6.9 - -7. Is q equal to t?
False
Let u = -0.35 - -5.35. Is u > -5?
True
Let q = -7.17 + 0.17. Are q and 1 equal?
False
Let o = -1.9 - -2.5. Is o > 2?
False
Let t(k) = 4*k + 58. Let r be t(-15). Do r and -7 have different values?
True
Let b(u) = u**3 - 8*u**2 - 9*u + 3. Let v(d) = 2*d**2 - 4*d + 3. Let n be v(2). Suppose n*q - c - 31 = 0, -5*q + 2 = c - 39. Let w be b(q). Is w at most 7/4?
False
Let g(x) = x**3 - x + 2. Suppose 0 = 2*l - 0*l. Let n be g(l). Let q = 2 - n. Are -1 and q equal?
False
Let s be 5 + -3 + -1 - 2. Let t(j) = -j**2 - 6*j - 5. Let u be t(-5). Which is greater: u or s?
u
Let t = 2 - 6. Let b be (t/(-6))/(28/6). Let d be (-2 + 2)/(4 + -1). Is d >= b?
False
Suppose -3*b - 4*r + 9 = 0, -3 = 5*b + 2*r - 4. Let s be (-4)/10*b/(-5). Is 0 at most s?
False
Let t = -5 + 7. Let k = 2.7 + 0.3. Let g = k - t. Is 0 > g?
False
Let q(t) = t**3 + 5*t**2 + 5*t + 4. Let z be q(-4). Suppose 5*k - 5 = -4*n + 3*n, -3*k + 3 = z. Which is smaller: n or -1/22?
-1/22
Suppose -8 - 7 = -3*f. Suppose f*l + 0*c = 3*c - 1, -2*c = 5*l - 9. Is 4 less than l?
False
Let f = 2829 + -90549/32. Let u = f + -1/96. Which is smaller: 1/4 or u?
u
Suppose d + 0 = -4. Let n(j) = -j**3 - 11*j**2 - 8*j - 10. Let h(a) = -a**3 - 10*a**2 - 7*a - 9. Let r(t) = 7*h(t) - 6*n(t). Let v be r(d). Is -0.4 > v?
False
Suppose 0*n = -q + 4*n - 7, 5*n = 2*q + 5. Suppose -2*m + 3*m = 0, -5*m = q*i - 10. Is i less than or equal to 0?
False
Let q = -5.13 + 0.13. Let i = -5.4 - q. Let v = -0.2 - i. Which is greater: 0 or v?
v
Suppose 0 = 2*u + 3*u - 25. Which is greater: u or -0.2?
u
Let c = -13 + 12.9. Do 2 and c have the same value?
False
Suppose 0 = 4*h - 18 - 2. Suppose 13 = -h*o + o - 3*k, -16 = 3*o - 4*k. Suppose -2*r - 1 = 9. Is r greater than o?
False
Suppose -2 = 5*y + 3. Which is bigger: y or -2/29?
-2/29
Suppose 2*r + 2 = 3*u, -3*u - 3 = 3*r + 2*u. Let m = 4 - 4.3. Let j = 0.3 + m. Which is greater: j or r?
j
Let w(t) = t**2 + 2*t - 4. Let s be w(3). Is s bigger than 14?
False
Let y(n) be the third derivative of n**7/5040 + n**6/72 - n**5/30 + 2*n**2. Let q(p) be the third derivative of y(p). Let o be q(-6). Which is greater: 3 or o?
o
Let k = -4.5 - -7.5. Are 2 and k non-equal?
True
Let s = 4 - 8. Let f be 0*(-2)/s*-2. Let o = 189 + -3593/19. Is o < f?
True
Let o = 523/6850 - -1/274. Let w = 2 + -1. Which is bigger: w or o?
w
Let v = 154553542879410427/117524 + -1315080688884. Let f = v + 42/2671. Let z = f - -33/4. Which is greater: z or 1?
1
Let s = -13.2 - -17.2. Is s at least as big as -0.03?
True
Let h be -1*(5 - 2 - -54). Let l be 5/25 + h/295. Let w = -179/295 + l. Is w greater than 0?
False
Let h(b) = b**2 - b + 2. Let k(i) = 6*i**2 - 4*i + 9. Let p(a) = -11*h(a) + 2*k(a). Let q be p(-3). Is -4 at most as big as q?
True
Let i be 39/65 + 29/(-5). Is -0.1 greater than or equal to i?
True
Let v = 23/63 - 2/9. Are -1 and v equal?
False
Let a = -18 - -14. Is a bigger than -3?
False
Let d be (-1)/3 + 174/(-18). Let o = -12 - d. Are -1 and o non-equal?
True
Suppose 0 = 5*w - 0*w + 45. Which is greater: w or -7?
-7
Let f = -9 - -5. Let i = f + 4.03. Let z = i - 0.13. Is -1/2 smaller than z?
True
Suppose 2*v - 15 = m, 4*v = -3*m + 7 - 2. Let s = 3 + m. Is -3/5 < s?
False
Let a = -22 + 21. Which is greater: a or 1/20?
1/20
Let z = -491/7 - -70. Is z at most as big as 0?
True
Suppose -160 = 5*h - 5*z, 0*z + 4*z - 158 = 5*h. Is -29 less than or equal to h?
False
Let j be (-1 - 5/(-8))*18/27. Is j greater than or equal to 2/119?
False
Let s = -702/11 - -64. Is s >= -1?
True
Let x = 3/119 - 15/17. Is x != 1/8?
True
Let z = -1.8 - -2.7. Let p = z - -0.1. Which is bigger: -2/7 or p?
p
Let v = -1 + 1. Suppose p = m - 4, m + 2*p = 2*m - 4. Let f be (2 + 1 - m)/2. Is v greater than f?
True
Let z = -13/112 + -5/16. Is z bigger than -0.1?
False
Let v(i) = -i**2 - 22*i. Let x be v(-22). Which is bigger: x or 5/14?
5/14
Let n(j) = j**3 + 4*j**2 - 3. Let g be n(-4). Is -3 smaller than g?
False
Suppose 0 = 3*k - 0*k. Suppose k*j - 2*j = 2. Let h = -1 + j. Is h < -2?
False
Let s(w) = w**3 - 8*w**2 + 6*w + 4. Let t be s(7). Let i be (-8)/t*(-4 - -1). Let z be i/10*1/6. Which is smaller: z or -1?
-1
Suppose 0 = d - 4 + 3. Which is bigger: 4/23 or d?
d
Let x be 2 + 1/((-2)/(-34)). Suppose 5*z + 4*r + 7 = r, z = -5*r - x. Let y = 1439/10 + -144. Which is smaller: z or y?
y
Suppose -2*c - 3*c = -15. Suppose i - 8 = -c. Suppose -4*x - 3*z = -2*x + 2, 0 = i*z + 10. Is 1 greater than x?
False
Suppose 53*g + 3 = 56*g. Suppose -z + 4*m = 4*z - 3, 5*m = z + 12. Which is greater: z or g?
z
Let p = 2.99 - 1.99. Is -0.1 greater than p?
False
Let p = -3.1 + -34.9. Which is bigger: p or 0?
0
Suppose -d + 2 - 4 = 0, 16 = 5*f - 3*d. Suppose -w - f*w = 0. Suppose 4*u - 4 = -w*u. Is u less than -2/7?
False
Let d = 466/5751 + -4/71. Which is greater: 1 or d?
1
Let c(s) = s + 8. Let k be c(-5). Suppose 0*m - 4*p = -3*m + 1, k*p = -m + 9. Do m and 4 have the same value?
False
Let z = -37 + 36. Is z equal to 0.2?
False
Let n = 6811/26 - 262. Is n not equal to -1?
True
Let r = -1849/13640 + -1/1240. Is r > 0?
False
Let y be ((-2)/4*0)/(-2). Let v 