22*f + 6 = 0. Which is greater: f or -2/153?
-2/153
Suppose 6*x - 3*x = -4*t + 28, t = 4*x - 12. Suppose 0 = q - x - 4. Are q and 7 equal?
False
Let y = -6 + 2. Let d = -3 - y. Does 1/5 = d?
False
Let p be (-185)/4 - (5 - 105/20). Which is smaller: p or -47?
-47
Let u = 7 + 1. Let d = u - 7. Is d > 1/5?
True
Suppose 5*r - 4*c - 30 = 0, -r + 5*c - 5 = r. Suppose 2*s = 5*m - 4 + 33, 2*m = -r. Suppose 2*z - 4 = -4*i, 5*i + 5 = 4*i - 2*z. Which is bigger: s or i?
i
Let h(w) = -6*w**3 - 7*w**2 - 3. Let d(b) = 9*b**3 + 11*b**2 + 5. Let a(l) = -5*d(l) - 8*h(l). Let r be a(-1). Is r at most as big as -7/3?
True
Let r be (2 - 0)/(0 - 2). Does -2/39 = r?
False
Let f = 1217660/99113 - -2/14159. Is 11 less than or equal to f?
True
Let j = 6 + 27. Suppose 5*o - 3*m = -1, 3*o - 2*m = -0*o. Let c be j/30 - o/(-4). Is 2 greater than or equal to c?
True
Let w(u) = 7*u - 2. Let i be w(2). Let j = -5 + i. Suppose s + 3 = j. Is 3 equal to s?
False
Let w = -6 + 6. Let z = w - -2. Let s = z - 1.9. Are -1 and s nonequal?
True
Let q = -2.287 + -0.013. Let c = q - 0.7. Suppose -2*t = s, s + 3*t + 3 = 2. Which is smaller: s or c?
c
Let q = 26 + -18. Suppose 0 = -5*n + n - 2*j, -q = -4*n + 2*j. Which is bigger: -3 or n?
n
Let i = -7 - -8. Let q = -1.1 + i. Let w = -0.1 - -0.3. Which is smaller: q or w?
q
Let z be 12/(-22)*1/1. Let m = -6 - -6. Suppose -4*i = -m*i. Is i not equal to z?
True
Suppose -g + 3*i + 27 = 4*g, 3*i = -12. Let v be 3 + (g - 7) - -3. Which is greater: 3 or v?
3
Suppose -5 = 3*w + 4*f - 54, 2*w - 3*f = 10. Let g = -7 + w. Which is greater: 1 or g?
g
Let q = 0 + 11. Is q bigger than 12?
False
Suppose 0 = 2*c + 2*h + 140, -4*h + 1 = -c - 59. Let d be c/18 - 8/36. Let f = 4 + d. Are 3/7 and f equal?
False
Suppose 5*c + 5*j - 5 = 0, 2*c - 3*c - 9 = -j. Which is smaller: -37/7 or c?
-37/7
Let x be (-3944)/52 - 2/13. Is x at most as big as -76?
True
Let v be 2/(-4) - 1/2. Let n be -9*(v - (-2)/6). Do 7 and n have the same value?
False
Let g = 164 + -95. Is g equal to -1?
False
Suppose m - 3*m = -28. Let y = -26 + m. Which is smaller: -13 or y?
-13
Let o be ((-6)/164)/(9/12). Which is bigger: 1 or o?
1
Suppose 0*z - 3*z + 30 = 0. Are z and 13 non-equal?
True
Let c(u) = -3*u**3 + 4*u**2 - 3*u + 2. Let i be c(2). Let b be (-20)/8*i/70. Is b at most as big as 1?
True
Let x = 41 - 165/4. Let z = 0.1 - 0.16. Is x at most as big as z?
True
Let p be 4/14 - 95/210. Let y = -8 + 7. Which is greater: p or y?
p
Suppose -d + 3 = 1. Is d less than or equal to 6/7?
False
Let h = -33/164 - 2/41. Is 0 smaller than h?
False
Let p = -8 + 6. Let m(o) = o**3 + 3*o**2 + o - 2. Let x be m(p). Let k be (-2)/18*12/10. Which is smaller: x or k?
k
Let z = 190/77 - 16/7. Let w = -1 + -2. Let p be w + 2 + 4/2. Is z greater than p?
False
Let d be (-4 - -2) + 2 + (2 - 0). Which is greater: d or -19?
d
Let k = -4.9 + 5. Is -13 not equal to k?
True
Let a be 10/(-8)*4/(-20). Let i = 6.04 + -6. Let h = -0.06 - i. Which is greater: a or h?
a
Let b = 17 + -16. Are 6/17 and b equal?
False
Suppose 20 + 6 = 2*v + 5*p, 3*v = 2*p + 1. Let m be v/9*5 - 1. Is m < 0?
False
Suppose 0 = 8*i - 34 - 6. Is i >= 6?
False
Let g = -1.4 + -1.8. Let h = 7.1 + g. Let r = 4 - h. Do r and -1 have the same value?
False
Let m(l) = -6 + 3*l**2 + 6*l + 0*l**2 + 0*l**2 - 2*l**2. Let w be m(-7). Let g = 1 + 0. Do w and g have different values?
False
Let b = -80 - -92. Is b less than or equal to 4?
False
Let t = 279 - 5581/20. Is t greater than or equal to 2/5?
False
Let b be (-1)/(-4) + 21/12. Suppose 3*j - 11 = -b*r + 5, -j = 2*r - 8. Let p be (30/(-4))/(-3) + -2. Which is smaller: r or p?
p
Let z(t) = -t + 9. Let i be z(7). Let o be ((-14)/(-10) + -1)/((-8)/(-40)). Is o less than i?
False
Let g(v) be the third derivative of v**5/60 - v**3/6 - 4*v**2. Let t be g(1). Which is greater: 7 or t?
7
Let y be (-6)/(-3) - (3 - 2). Let c be y*-3*4/(-4). Do 5 and c have the same value?
False
Suppose -4*l - l = -5. Is l at most as big as 0?
False
Let c be (1 + -2)*(-8)/(-2). Let t be (-344)/(-72) + c/(-18). Do 4 and t have the same value?
False
Let w = 16 - 12. Let r = w - 8. Suppose -1 + 4 = -f. Which is greater: f or r?
f
Let d be 2/4 - 2/(-4). Let f = 0 + -6. Let n be (-3)/(-6)*f/(-5). Which is smaller: n or d?
n
Let m(q) be the second derivative of 5/12*q**4 + 0 + 2/3*q**3 - q + 1/20*q**5 + 1/2*q**2. Let u be m(-4). Is u at most -2/9?
False
Let c = 42 - 30. Which is greater: c or 13?
13
Let y = 0.66 + -0.36. Does y = 4?
False
Suppose 0 = 4*x + 28 + 20. Which is smaller: -11 or x?
x
Let s(r) = r**2 + 3*r + 2. Let t be s(-2). Suppose -4*l + 2 + 2 = t. Let i = -141 + 703/5. Is i greater than l?
False
Suppose -9*h + 2 = -7*h. Is h smaller than 3/14?
False
Let q(b) be the second derivative of b**4/12 - 5*b**3/6 + b**2 + 3*b. Let h be q(5). Is -0.3 <= h?
True
Suppose -54 - 66 = -12*x. Is x at most as big as 1?
False
Let z(w) = -w**3 + 2*w**2 + 4*w - 2. Let o(c) = 2*c - 5. Let r be o(4). Let a be z(r). Is a less than 1/3?
False
Let v = -3053/63 - -354/7. Which is bigger: v or 0?
v
Suppose -3*o = -0*o - 18. Let j = o - 2. Let c be j + 2 + -4 - 1. Is 2 less than c?
False
Suppose 0 = n + a - 10, 0 = n + 2*a - 6 - 9. Suppose -3*f + n*t - 5 = 0, -1 = -3*f + f - t. Do 2/41 and f have the same value?
False
Let z(w) = w + 7. Let m be z(-26). Which is smaller: m or 0?
m
Suppose 4*k = 2 - 6. Let u(f) = f. Let a be u(k). Suppose -2 = 2*s - 0*s. Is a at least s?
True
Let c = 5 - 4. Let d = 2 + c. Let a = 13.9 + -14. Which is smaller: d or a?
a
Let r = 1.1 + -0.8. Let q = 0.1 - r. Let x = q - -0.3. Is x != 0.3?
True
Let l be (0 + 2 + -3)*0. Let t = 9483/14 + -678. Let y = t + 8/7. Which is greater: y or l?
y
Let r = 8.2 + 11.6. Let m = -20 + r. Which is greater: 1/4 or m?
1/4
Suppose -3*d = 11*d + 28. Which is smaller: d or 1?
d
Suppose 2*w = 4*w - 10. Suppose w*g = 3*x - x + 41, -3*g = -3*x - 48. Is -13 at least x?
True
Let h = -11 + 16. Suppose j = 4*z + 4, 0*z = -h*z - 2*j + 8. Let f be (-6)/(-10) + 4/10. Which is bigger: f or z?
f
Let f = -7 + 23. Let c be -2 + 148/(-18) + 4/18. Let m = c + f. Does m = 6?
True
Let o = -8 - -5. Let y be (4 - 1)*1/1. Suppose 0 = m + 2*m + q + 2, -y*m - 5*q + 14 = 0. Is m bigger than o?
True
Let s = -4 - -3.7. Let l = s + 0.5. Let h be (-2)/(-9) - (-26)/(-36). Does h = l?
False
Let j be 6/27 - (-282)/(-54). Let x(i) = -i**2 + 7*i - 5. Let u be x(7). Is j at most u?
True
Let i be (1/(-4) - -2) + -2. Let f = 1 + -1. Are f and i equal?
False
Let k be ((-4)/90)/(3/30). Let d = 12 - 10. Suppose 0*z + 4*i = 5*z - 1, 4*i - d = 2*z. Which is bigger: z or k?
z
Let s = -53 + 81. Which is bigger: 1 or s?
s
Let h = -34 - -46. Which is greater: 13 or h?
13
Let a = -27 - -26.8. Which is smaller: 1/3 or a?
a
Let c = 4 + -2. Suppose -4*k + 5*j + 1 = 0, -c*k = -j - j. Let i = k - -1. Does i = -1?
False
Let d be (7/14)/((-2)/76). Is d less than or equal to -19?
True
Let f(u) be the first derivative of u**2/2 + 5*u - 3. Let b be f(-4). Is 6/5 smaller than b?
False
Let w = -12 - -11.9. Which is smaller: w or -0.2?
-0.2
Let c = 3 - 1. Let t = 217 - 196.2. Let m = t + -21. Which is greater: c or m?
c
Let q(d) = d - 1. Let h be q(0). Let y = -243 + 3889/16. Do h and y have the same value?
False
Let r = -1125 + 57377/51. Let h = r + -19/51. Is 0 > h?
True
Suppose 4*t = -5*q + 2*t - 406, -4*q - 2*t = 324. Is q >= -81?
False
Let l(j) = j**2 - 4*j + 3. Suppose 5*g - 4*v - 3 = 0, g + 4*g - 3*v = 6. Let a be l(g). Are 3/7 and a equal?
False
Let c be 4/26*-2*5/20. Suppose -3*o - 2*o - 5 = 0. Which is smaller: c or o?
o
Suppose -2 = -w - 3*d, -1 - 19 = 3*w - 4*d. Let u = -2 - w. Suppose -2*b = u*b. Is -1/6 less than b?
True
Let i be (-6)/(-12) + (-18)/32. Let z = i - -5/16. Is z > 1?
False
Suppose 2*n - 2*m - 38 = 0, -3*m + 6*m - 63 = -3*n. Is 19 >= n?
False
Let u be 1 - (4 - 2 - 1). Suppose -2*t = 4*c - 1 + 11, u = -2*c + 3*t + 15. Suppose 5*z - 5*v + 30 = c, -3*v + 8 = 4*z - 3. Is 0 equal to z?
False
Let f = 16/31 + -270/403. Which is bigger: 1 or f?
1
Let d be ((-3)/(-81))/((-2)/(-4)). Let t = 4 - 4.5. Let o = t - 0.5. Is o at most as big as d?
True
Let g be 1/(2 + -3) + 0. Let h be -3 - 9/(-2 + g). Suppose 2*m + 5*b - 5 - 2 = h, -1 = -m - 5*b. Which is smaller: m or 7?
m
Suppose -54*s + 49*s = -5. Let p(k) = 4*k - 4. Let r be p(4)