or 2/35?
f
Let i be (-2)/14 + (-2)/7. Let x(q) = -7*q - 1 - 6*q**2 + q**3 + 2*q**2 - 2*q**2. Let j be x(7). Which is greater: j or i?
i
Let i = -0.4 - -1.4. Let g = i - 0. Which is smaller: -2/5 or g?
-2/5
Let t = -3.1 - -3. Let x = 6/937 + 8/291407. Let p = -604/2799 - x. Are p and t equal?
False
Let o(l) = l**2 + 1. Let h be o(0). Which is smaller: h or 2?
h
Let i = 11 - 6. Let c be i*(-3 + (-19)/(-6)). Are c and 2 equal?
False
Let l = -0.12 + 0.14. Which is bigger: l or 0.1?
0.1
Suppose 31 = -4*q - 3*k, -3 = q - k + 10. Is -9 less than q?
False
Let f(w) = -w - 11. Let q be f(-11). Is 3/20 equal to q?
False
Let v = -2 + 2. Let d = 93 - 559/6. Is d at least as big as v?
False
Suppose -w - 1 = 4*a + 12, -2*w = -5*a - 13. Is a at most -3?
True
Let h = -79 - -80. Is -81 equal to h?
False
Suppose 0 = -j - 2*j - 45. Which is smaller: -16 or j?
-16
Let s = 36 + -35. Which is bigger: s or 3/31?
s
Suppose -3*i + 9 = 0, -4*i - 3 + 13 = 2*q. Is q < 1/16?
True
Suppose 15 + 0 = 5*x. Suppose -5 + 2 = x*u. Which is smaller: 1/12 or u?
u
Suppose 0*k + 5*k = -j - 18, -4*k - 4*j - 24 = 0. Which is smaller: -17/5 or k?
-17/5
Let b = 10 - 3. Suppose -2*s = -b*s. Suppose s = -2*u + u. Are 0.3 and u non-equal?
True
Suppose -2*i + 7*i + 120 = 0. Let f = 21 + i. Is -3 equal to f?
True
Suppose -4*d - 6 + 2 = 0. Let s be 2*d - (-45)/25. Which is smaller: 0 or s?
s
Let u = 0 - -2. Which is greater: -0.5 or u?
u
Let p = -157/3 + 53. Let m be (-1)/(2/(-6) + 0). Let g = -2 + m. Do g and p have the same value?
False
Let u be (3/(-2))/(24/(-160)). Let r be u*1/(-2) + 3. Let y be (0 - -2)/((-1)/r). Is y less than or equal to 4?
True
Let k(w) = w**3 - 6*w**2 + w - 3. Let d be k(6). Suppose -32 = 4*x + 2*g, 2*x + g = -3*g - 16. Let j = x - -12. Is j < d?
False
Let c = 0.02 + -0.26. Let d = c - -0.04. Are -1 and d non-equal?
True
Let t(s) = -s + 8. Let z be t(6). Let u be z/7 + (-47)/(-7). Let q = -11 + u. Is -4 greater than q?
False
Let y = -1.8 + 1.7. Is 21/5 < y?
False
Let x = 1456 + -142687/98. Is x >= -1?
True
Suppose -q - 44 = 4*f, -3*f = f + 5*q + 28. Let t be 9/f - 1/4. Let j = 1/3 - 1. Which is bigger: j or t?
j
Let x = 13 + -12. Is -5/23 less than x?
True
Suppose 2*h = -22 + 2. Let x = 2 + -17. Let p be (-1)/(-2)*h/x. Is p at most as big as 1?
True
Let u = -6.6 + 6.7. Is u < -6?
False
Let c be (120/(-98))/((-10)/(-35)). Which is smaller: -4 or c?
c
Let m(k) = -2*k + 8. Let h be m(7). Is -8 smaller than h?
True
Let t be (5 - 29/3) + 4. Let r be 0/((-1 - 1) + 1). Which is bigger: t or r?
r
Let q = 14 + -26. Let c = 0 + q. Is -12 bigger than c?
False
Let y(a) = -a**2 - 4*a - 4. Let k be y(-3). Is k at least -1/14?
False
Let h be (1 - 8)/21 - (-328)/30. Which is greater: 10 or h?
h
Let u = 350 - 2801/8. Let n be (-3)/(-4) - (-2)/8. Which is bigger: u or n?
n
Let n be (-2)/3*6/(-10). Let a = 1 - 0. Is a <= n?
False
Let g be 56/10 - (-8)/20. Suppose -4*v - 2 = g. Suppose 3*a - 17 = -4*k, -5*k = -10 - 15. Is a > v?
True
Suppose 3*u - 12 = -3*u. Let h(s) = s**2 - 5*s - 4. Let d(a) = a + 1. Let g(y) = -3*d(y) - h(y). Let c be g(u). Which is smaller: 2/3 or c?
2/3
Let v(b) = 3*b + 7. Let p be v(-3). Which is bigger: 1 or p?
1
Let b = 3 + -12. Let d be 3*1 - (-45)/b. Let l = -4 + 3. Which is bigger: d or l?
l
Let w(f) = f**2 - 5*f + 2. Let n be w(4). Let k = -0.37 - -0.17. Is k greater than n?
True
Let z = -36 + 35. Is z less than 2?
True
Let h = 17 - 7. Is h greater than 10?
False
Let n = 343/4 + -262/3. Let b = 11/6 + n. Suppose 0*q = -4*q. Which is greater: b or q?
b
Let f be (5/2)/((-5)/10). Let h be 7/(-2) + (1 - -5)/(-12). Do h and f have the same value?
False
Let z be 0/(-3) + 1 - 2. Let x = z + -1. Are x and -2 nonequal?
False
Let h = 8 + -5. Let m = 6 - 3. Suppose -4*s = -5 - m. Which is smaller: s or h?
s
Let b be (-6)/(-8)*16/54. Is b greater than -1/5?
True
Let p = 3 - 1. Suppose -4*y = -p - 2. Which is smaller: -1 or y?
-1
Suppose 0 = -4*j - 2*q - 30, j + 3*q + q - 10 = 0. Is -10 < j?
False
Let h = 25 - 16. Suppose 5*i = -h - 6. Which is smaller: -4 or i?
-4
Let k(z) = z**2 + 7*z + 7. Let p be k(-6). Let g = 71/48 - 13/16. Which is greater: p or g?
p
Suppose -4*o = -2*c + 8248, -o - 3*c + 4128 = -3*o. Let l be 1 + (o/(-420))/(-3). Let j = l + 7/20. Which is bigger: 2 or j?
2
Let w = -154/897 - 2/897. Let a = 18/161 - w. Suppose 0 = 4*r + z + 6, 2*r = 6*r - 4*z - 4. Is a greater than r?
True
Let x(m) = -m**3 + 4*m**2 - 3*m + 7. Let a be x(5). Let o be a/(-4) + (-1)/4. Let r be o/(-12) - 2/24. Is r at least as big as 0?
False
Let i(o) = o**2 + 3*o - 1. Let y be i(-3). Let p(z) = -6*z**3 + z + 1. Let c be p(y). Suppose 2*m + c = -m. Which is smaller: m or 1?
m
Let h(t) be the first derivative of -t**4/4 + 2*t**3 + 9*t**2/2 - 6*t - 1. Let d be h(7). Is d greater than 9?
False
Suppose 0 = 3*c - 4*w + 23, -1 - 9 = -2*w. Let y be (c/4)/(14/30). Let d = -1/4 - y. Which is smaller: d or -1?
-1
Let k = -33 - -27. Let z = -5.6 + 11.7. Let m = k + z. Which is bigger: 4 or m?
4
Let v(c) = -5*c - 119. Let w be v(-24). Which is bigger: 8 or w?
8
Let r = -0.1 - -0.2. Let w = -551/4 + 137. Is r at most as big as w?
False
Let b be (3 - 1)*-1 - 6. Which is smaller: -9 or b?
-9
Let p = 3 - 4. Let d = p + 1.2. Let v = 0 + d. Which is greater: -0.2 or v?
v
Suppose 3*d = d. Let v = 8 + d. Is 8 bigger than v?
False
Let a = -25 - -9. Does a = -16?
True
Suppose 3*o - 14 = -k - 4*k, -2*k + o = -10. Suppose -x - k = 3*x. Let h = -2 - x. Which is greater: h or -2?
h
Suppose -3 = -p - 6. Suppose 2*j = 4*s + 2, -3 = 4*s + 3*j + 4. Let w be (p/(-9))/(s/3). Which is smaller: -2 or w?
-2
Suppose -4*s = -2*u + 114, -2*u + 0*s - s + 89 = 0. Let f = 326/7 - u. Which is smaller: -1 or f?
-1
Let c = -2 + 2. Let u = 24.1 - 24. Which is greater: u or c?
u
Let t = -10 + 10. Suppose 3*q = 3*w - t*q + 15, -4*w = q. Is -3 greater than or equal to w?
False
Suppose -130*g + 134*g = 4. Let h be -2 + 1 - 18/1. Let n be h/(-17) - (-1)/(-1). Which is greater: g or n?
g
Let p be 0 + 3*(-5)/15. Which is smaller: -2/33 or p?
p
Let j be (14/6)/((-4)/(-24)). Is 15 < j?
False
Let u = 3 - 1. Let o = 0.6 - -3.4. Let x = 6 - o. Is x less than u?
False
Let u be ((6/3)/(-2))/(-1). Is -3 smaller than u?
True
Suppose -o - 2*d - 1 = 0, -o = -d - 4*d - 6. Which is smaller: 2/11 or o?
2/11
Let c = 92 - 84. Is c at least as big as 8?
True
Let q(c) = -6*c**2 + c + 1. Let w be q(-1). Let u(k) = -2*k - 2. Let m be u(-8). Let i be 50/(-8) + m/56. Are w and i non-equal?
False
Let z = 8 - 6. Is z less than -1/5?
False
Let c = -242/5 - -49. Let p be (-6)/(-9)*(-6)/(-4). Is p less than c?
False
Let b = -0.06 - 6.86. Let y = 0.08 - b. Let s = y - 6.9. Which is smaller: 0.3 or s?
s
Suppose 2 = -5*w + 2*x + 1, 3*x - 5 = 4*w. Suppose 9 - w = 4*d. Suppose -2*y = h + 3, -d*h + h = -3*y + 3. Which is bigger: y or 1?
1
Let a = 10 - 6. Are 5 and a non-equal?
True
Suppose 3*v - 56 = -4*s, -5*s - 3*v + 30 = -40. Let b = s + -10. Let d be 4/144 + b/18. Which is smaller: 0 or d?
0
Let g = 15.46 - 1.56. Let s = g + -11. Let d = s - 3. Is d smaller than -3?
False
Suppose l = 8 + 1. Let g = l - 8. Let c = 0 + -7. Which is smaller: c or g?
c
Let v = -2141/5 + 432. Which is smaller: 0 or v?
0
Suppose 5*g + 21 = -0*d + 3*d, 5 = -5*d - 5*g. Suppose d*m = 6*m. Suppose m*v = 3*v. Do v and -1/4 have the same value?
False
Let q(h) = 2*h + 3*h + 2*h + 6 + h**2. Let s be q(-5). Is s >= -4?
True
Suppose -4*f + 38 = -3*z + 14, 0 = f + z + 1. Let t(b) = 2*b - 12 + f*b - 4*b. Let a be t(10). Is -1 at least a?
True
Let y = 407/2412 + -5/36. Is y at least as big as 0?
True
Suppose 0 = 3*i - 5*z - 5, 0 = 3*i + 3*z - 2 + 5. Let s = -442/5 + 89. Which is smaller: s or i?
i
Let h = -1.5 + 2.6. Let y = 1 - h. Let t = 0.2 + y. Which is smaller: -2 or t?
-2
Let i = 123 - 124.7. Are i and -1/3 unequal?
True
Let w(x) = -x. Let p(o) = o**2 + 8*o - 7. Let z(i) = p(i) + 5*w(i). Let s(h) = -h**2 - 5*h - 5. Let q be s(-5). Let u be z(q). Is 0 smaller than u?
True
Let k(h) = h - 4. Let i be k(9). Suppose -3*m + i*g = -13, -4*g = 2*m - 3*m + 9. Is 1/4 != m?
True
Let p(f) = f**3 - 5*f**2 + 1. Let l be p(5). Let q = 592 + -1221/2. Let v = -18 - q. Which is greater: l or v?
l
Let i = -1.41 - -1.5. Let z = 1.09 - i. Is z not equal to 1/4?
True
Let u be 20*-1*(1 + -2). Suppose 0 = 6*d -