n + 2/407. Is i greater than 1/5?
False
Let f(u) = -6*u - 18. Let v be f(-2). Is v greater than or equal to -38/7?
False
Let d = -39 + 89. Let p be d*((-6)/(-5))/(-3). Let t be (-1)/5 + 16/p. Is -1 at least as big as t?
True
Let y be (-1)/4 - 3/6. Let n be (-2)/(0 - -2) + -1. Is n <= y?
True
Suppose -l = 3*y - 14, -4 = -y - 4*l + 8. Let p = 7 + -4. Is p less than y?
True
Suppose 5*w = h + 28, 5*w + h - 19 = -h. Suppose -10 = -w*l - 0*l. Suppose q = -m + 5, -l*q - q = -12. Which is greater: -2/7 or m?
m
Let b = -17 + 28. Suppose 4*q - 5*d = -17, -5*d + 1 = -2*q - 0. Let g = b + q. Is g > 5?
False
Let g(p) be the second derivative of p**4/12 + 12*p**2 - 2*p. Let j be g(0). Let o be 42/(-104) + 6/j. Which is smaller: o or 1?
o
Let i = -81 - -43. Let r = 42.8 + i. Let c = 5 - r. Which is smaller: c or -1?
-1
Let i = 2.15 + -2. Let g = 0.75 - i. Which is bigger: g or -2?
g
Let f(v) = -v**3 - 3*v**2 - 3*v - 2. Let n be f(-2). Let r be (-16)/7 + (3 - 1). Which is smaller: n or r?
r
Let g be (46/(-2))/(-1) + -1. Let s be 1 + 2 + (-70)/g. Let f(b) = -b. Let p be f(1). Which is smaller: s or p?
p
Suppose -2*b + 4 + 4 = 0. Suppose b + 1 = -5*l. Let x be 20/(-28)*(-4)/10. Is l less than x?
True
Let z = -528 - -23233/44. Is -1 != z?
True
Suppose 5*u + 80 - 25 = 0. Let g = 7 + u. Suppose -o - 17 = -14. Is o <= g?
False
Let h(d) = 0 + 16*d**2 - 25*d**2 - 1. Let s be h(-1). Which is smaller: 1 or s?
s
Let g = 5.91 - -0.09. Let d = g - 7. Which is greater: d or 2/9?
2/9
Let j = -0.3 + 0.8. Let f = 0.54 - j. Let k = f - -0.26. Which is greater: -0.1 or k?
k
Suppose -4*c = -4*x, -c - 4*c = 3*x + 24. Let b be (((-6)/x)/1)/1. Let n be 1/b + (-95)/150. Which is greater: n or 1?
1
Let j = 0.52 + -1.52. Is -0.24 greater than or equal to j?
True
Let v be 3*-3*1/(-63). Which is bigger: -1 or v?
v
Let l(c) = -c - 6. Let m be l(-7). Let u be (m/(-54))/((-3)/(-12)). Which is bigger: u or -1?
u
Let a = -3/85 - -21/17. Is a greater than or equal to 1?
True
Let i = 8039/70452 + 4/927. Let q = 3/149 - -1731/2831. Let l = q + i. Is 0 >= l?
False
Let o = 4 - 6. Let w(g) = g**2 + 7*g + 4. Let u be w(-6). Is u less than or equal to o?
True
Let o(f) = f**2 + 2*f + 1. Let c be o(-2). Let w be (3 - (3 + -2))/(-13). Which is smaller: c or w?
w
Suppose -17 = -0*j + j - 2*o, 3*j + 23 = -o. Is j less than 3?
True
Let b = 0.7 - 0.8. Let f = 49 + -15. Let h = -101/3 + f. Which is smaller: h or b?
b
Let y = -1 - -2. Let j be (1 + y - 0)/8. Suppose -5*m + 2 + 13 = -z, 2*z - m + 3 = 0. Which is smaller: j or z?
z
Let v be 8/6*99/6. Let q = v + -38. Are -16 and q unequal?
False
Let b = 1/15 + -26/15. Suppose -3*k + k = 2, 4*s = 5*k + 1. Which is smaller: b or s?
b
Let g = 4 - 2. Suppose 3*z + 1 = 4*j - 4, -3*j = g*z - 25. Suppose 6*n + j = n. Is n smaller than 1/7?
True
Let w = 112 - 113. Is w smaller than 1/6?
True
Suppose 0 = -5*p + 57 + 43. Which is greater: 18 or p?
p
Let k(h) = h**2 - 6*h - 7. Let b(n) = 7*n**2 - 2*n + 1. Let r be b(1). Let s be k(r). Is -7 less than s?
False
Let k(t) = -t. Let s be k(-8). Let c(h) = h**3 - 8*h**2 + h - 5. Let w be c(s). Suppose -w*a = -a. Is 1/5 > a?
True
Suppose -4*f = -4*y + 20, -y + 2*f + 2 = -1. Let r(g) = -g + 8. Let k be r(y). Let n be 1 - k - (-3 + 3). Which is greater: n or 2?
2
Suppose 3 + 3 = 2*y. Suppose -5*l + 12 + y = 0, 0 = 2*n - l + 3. Which is bigger: n or 2/31?
2/31
Let f be 7/(217/(-35) + 1/5). Is f smaller than -0.2?
True
Let u be 215/71 - (15 - 12). Is -1 at least u?
False
Let c = -8 - 8. Let v = 21 - 21.1. Which is bigger: c or v?
v
Let q be 10 + (-7 - (-6)/2). Is q less than or equal to 7?
True
Suppose -2*m + 4*m - 2 = 2*j, 3*j = -4*m + 25. Suppose -m*q = -2*q. Is -2 less than or equal to q?
True
Let v(p) = p**2 - 7*p - 11. Let b = -10 - -18. Let u be v(b). Let f = 4 + u. Does 3 = f?
False
Suppose 19 = -4*o - 5*z, 5*z + 0 - 11 = o. Which is bigger: o or -7?
o
Let a = -2.9 + 2.4. Which is smaller: -0.02 or a?
a
Let o = 6.32 + -6. Let s = o - 0.23. Is -1 >= s?
False
Suppose -3*j + 6*j = 0. Let u be -2 + (-40 - (0 + j)). Let q = u - -125/3. Which is smaller: -0.2 or q?
q
Let f = 12.79 - -0.21. Which is greater: f or 2?
f
Suppose -2*a = -6*a - 8. Is a != -3?
True
Suppose -52*l = -56*l - 108. Which is smaller: -26 or l?
l
Let k = -2 - -5. Suppose 2 = k*s - 1. Are s and 6 unequal?
True
Suppose o - 3 = -0*o. Let f be (-3)/o*1*-5. Let x(g) = -g. Let p be x(-3). Which is greater: p or f?
f
Let i(v) = -2*v**2 + 30*v + 16. Let u be i(12). Which is bigger: 89 or u?
89
Let c(m) = -m**2 + 5*m + 9. Suppose -4*h + 5*h = 7. Let l be c(h). Is l at least -5?
True
Let t = 8 - 8. Is t less than or equal to -1?
False
Let m(p) = p**3 + 7*p**2 - 4. Suppose -3*f - 12 = 0, 3*l + l + 36 = -2*f. Let u be m(l). Is u smaller than 0.1?
True
Let p be ((-2)/(-4) + -1)*1. Let q be (-12)/8 - (-2)/4. Which is smaller: q or p?
q
Let f(b) = b**3 - 13*b**2 - 30*b - 15. Let a be f(15). Are a and -4 equal?
False
Let q be 11*2/42*3. Let i = q - 12/7. Is i > -1?
True
Suppose 3*m + 2 = -7. Let t = m - -5. Suppose 7*p - 4 = -4*i + t*p, -5*i + 5 = 2*p. Is 2 > i?
True
Suppose 4 + 2 = 3*t. Let q be 0 - (-7)/3 - t. Let s = q + -8/15. Which is smaller: s or 1?
s
Suppose 3*h + 3*o = -18, o + 15 = 5*h - 3*o. Let m(t) = 9*t**2. Let i be m(h). Is 8 != i?
True
Suppose 8*v + 28 = 12*v. Is 2/11 equal to v?
False
Let r = 0.037 - 1.037. Is -15 greater than r?
False
Let y be 9/(-15) + (-65)/(-25). Suppose h + 5*p + 2 = 30, h + y = p. Which is greater: 4 or h?
4
Suppose -2*x - 163 = -4*a + 209, -5*x - 460 = -5*a. Let y = a + -656/7. Suppose -2*t = -6*t - 5*d - 5, 4*d = -2*t - 4. Which is greater: t or y?
y
Let c(u) be the third derivative of -u**4/12 + 2*u**3/3 - u**2. Let k be c(3). Let d = -133/4 - -33. Do d and k have the same value?
False
Let c be ((-5)/10)/((-2)/(-4)). Let t = 0 + -9. Is c greater than t?
True
Suppose 6*z + 174 = 3*z. Are 0.2 and z nonequal?
True
Let q = -65.9 - -66. Let y = -954/7 - -136. Is y greater than q?
False
Let f(g) = 2*g + 8. Let k(z) = -5*z - 17. Let j(s) = -7*f(s) - 3*k(s). Let n be j(4). Is n less than -1?
False
Let a be (-6)/3 + 1*22. Suppose 7*p - 2*p = -a. Let g(r) = r + 5. Let t be g(p). Is 1/6 greater than or equal to t?
False
Suppose 5*l - 3*n = 76, -2*n = -5*l - 3*n + 88. Is 21 at most as big as l?
False
Let w = -290 - -292. Suppose 0 = 2*c - 5*k - 15, 6*c + k = 2*c + 19. Suppose q = c*y - 2*q + 7, 0 = 3*y - 3*q + 9. Is w greater than or equal to y?
True
Let b = -25 - -26. Is 1 > b?
False
Suppose -7*v - 68 + 222 = 0. Which is bigger: v or 21?
v
Suppose 18*g = 19*g + 3. Let s be 2/(-2 - (-3 - g)). Is -1/2 at most as big as s?
False
Suppose -4*u - 96 = -8*u. Let g be 3*(3 - u/9). Which is smaller: 1/3 or g?
1/3
Suppose -4*q - d = -3, -13 = -4*q - 5*d + 2. Which is bigger: q or 2/33?
2/33
Let f = 42.7 + -41. Let n = f + -1.5. Does n = -0.03?
False
Suppose 4*g - 8 = -3*m - 24, 3*g - 2*m = -12. Let u be 1 + 0 + (-8)/g. Which is smaller: u or 1/2?
1/2
Let j = 272721 - 386991541/1419. Let k = -5/129 - j. Which is smaller: -1 or k?
-1
Let m be 2/(-6) - (-2)/(-3). Let z = -22 - -20. Is m not equal to z?
True
Let t = -2/251 - 737/2008. Suppose 4*i = 3*i - 2, 0 = -3*c + 3*i + 21. Let o be c/(-4) + 1 + 0. Is o greater than t?
True
Let l(x) = x**2 + 9*x + 6. Let d be l(-5). Which is greater: d or -1/7?
-1/7
Let q = -22/3 - -7. Let x = -0.14 + 0.07. Which is bigger: q or x?
x
Suppose 2 = -5*i - 3. Let h = -511889/2295 - 518/135. Let r = h - -227. Which is greater: r or i?
r
Let j = -32/13 - -30/13. Let v = -81 + 82. Is v at most j?
False
Suppose 3 = n - 4*n. Let m = 107/5 + -1707/80. Which is smaller: m or n?
n
Let z(i) = i**2 + 5*i - 2. Let c be z(-6). Let b be 6/(-21) + c/14. Is b >= 0?
True
Suppose 2*n - 1 + 17 = 0. Are -1/2 and n equal?
False
Suppose -2*u = -4*r - 50, 8 = r - 2*r + 2*u. Let p be 2 - (-1)/(6/r). Let j = -6 + 5. Is p at least j?
True
Let s be (9/5)/(6/130). Which is bigger: s or -1/3?
s
Let u be (-6)/9 + (-4)/30. Which is bigger: u or 1?
1
Suppose -x + 1 = 2*q, -4*x = 3*q + 2*q - 4. Which is bigger: 6.1 or x?
6.1
Suppose -8*c = -5*c. Suppose 4*h + o - 16 = -1, -4*h - 3*o = -13. Suppose 0 = 5*k - 2*s + 9, 4*k - s = -h*s + 2. Is c less than k?
False
Let c(a) = -3*a + 17. Let z be c(6). Which is smaller: -12/7 or z?
-12/7
Let b(v) = v**3 - v -