Is q <= 1?
True
Let k = 62331/7 + -8883. Let n = 63974/7 + -9118. Let l = k - n. Is l at most as big as 1?
True
Let q be (-3)/12 + 1/(-28). Let f = 3.2 + -5.2. Is f at most as big as q?
True
Let z = -2.2 + -0.8. Let b = z - -3. Let j = b - -0.1. Which is bigger: 2 or j?
2
Suppose 2*f - 6*f + 12 = y, -2*y = 5*f - 21. Which is bigger: y or 6?
y
Suppose 3*r - 5 = 10. Let w(h) = h**3 - 8*h**2 + h - 6. Let p be w(8). Let o be p - 0/1 - -3. Is o greater than r?
False
Let p = -6 - 0. Suppose 2 = -2*x - 0. Let b be (p/4 - -2)/x. Which is smaller: -2 or b?
-2
Let m = -15 - -46. Which is smaller: m or 30?
30
Suppose -4*g + 11 = -1. Suppose 0 = -5*s - 5, 0 = -g*v + 5*s + 4 + 1. Is v bigger than 0?
False
Suppose -5*b + v - 7 = 2, 5*v - 23 = 3*b. Which is smaller: b or -2/29?
b
Let b = 6.07 - 6.1. Which is smaller: b or -2?
-2
Suppose 0*x = 3*x. Suppose -2*l - 2*w - w + 3 = x, 5*l - 3*w + 3 = 0. Is l greater than -2/15?
True
Let y be (-4)/(-8) + (2 - 3). Let k(u) = u**2 + 6*u. Let g be k(-6). Let z = y - g. Are -2/5 and z unequal?
True
Let g(s) = -s**2 - 5*s + 5. Let y be g(-6). Let v be 3 + y + 0 + -1. Let w = -14 - -13.9. Which is bigger: w or v?
v
Let s = 1.9 - 0.8. Let b = 0 + s. Let v = b + -1. Which is smaller: 0 or v?
0
Suppose -315 = -4*x + 637. Let f = x + -467/2. Let i = f - 5. Which is bigger: 0 or i?
0
Let o(k) = -k**2 + 7*k - 2. Let q be o(6). Suppose 5*a - 4 - 12 = 3*g, 4*a + q*g = 0. Let u = 4 - a. Are 1 and u unequal?
True
Suppose 5*o + 14 + 6 = 5*j, 4 = -4*j - o. Is j smaller than -3/11?
False
Suppose -c = c + 18. Is -8 less than or equal to c?
False
Let f(y) = y + 32. Let t be f(-26). Let z be -2 - (-6 - -1)/1. Suppose 2*n + 2*n = -z*w + 22, -3*w + 4*n = -14. Is w bigger than t?
False
Suppose -3 = -l - 2*l. Let p be 3261/(-12948) + 4/16. Let a = 2128/16185 - p. Does a = l?
False
Let l(x) = 2*x + 6. Let r be l(-4). Suppose 3 = -3*q - 3. Is q at most r?
True
Suppose -8*p - 10 = 6. Is -24/11 <= p?
True
Let x be 16/(-60)*(-75)/(-6). Which is smaller: x or -3?
x
Let u(o) = -o - 13. Let t be u(-13). Let i(y) = y**2 + 3. Let g be i(t). Suppose -4*n - 11 = -g. Is 0 greater than n?
True
Let y be (-1)/6 + 35/(-30). Which is bigger: -2 or y?
y
Let u be (1 + 2)/((-4)/69). Let t = u - -52. Let h = 0.06 + 0.01. Is t >= h?
True
Let h = -4 - -3. Let x be (0 - h) + 10/20. Which is smaller: 3 or x?
x
Let w(j) be the second derivative of j**4/12 + 2*j**3/3 - j. Let k be w(-4). Is 1/8 at least k?
True
Let w be (0 - 1) + (-2 - 0). Which is greater: -2/7 or w?
-2/7
Let a = 2540/33 + -77. Let x = 4/11 + a. Suppose 6 = 5*h + 1. Which is bigger: h or x?
h
Suppose -a + 2*k - 4 = 0, 3*a + 0*k - 8 = k. Suppose 0 = -a*h + 1 + 11. Suppose i = 4*i - h. Which is bigger: 2 or i?
2
Let b(s) = -2*s + 23. Let p be b(11). Is p less than or equal to -6?
False
Let t be (-8)/3 + (-2)/(-3). Let y(o) = 3*o + 81. Let s be y(-26). Is s greater than or equal to t?
True
Let q(k) be the second derivative of -k**4/12 - 5*k**3/6 - k**2 + k. Suppose -3*c = -4*c - 4. Let w be q(c). Which is greater: 4 or w?
4
Let t(j) = j - 13. Let b be t(9). Let z be b/(-8) + 41/(-10). Which is greater: z or -4?
z
Suppose -15 = -2*f + 5*f. Let h(w) be the third derivative of -w**5/60 + w**2. Let n be h(2). Which is smaller: n or f?
f
Let a = 11/29 - 188/725. Is a >= -1?
True
Let k = -0.49 + 0.69. Is -0.1 < k?
True
Let j = 6 + -9. Let w = j - -3.8. Let z = w - 0.6. Is z equal to 3?
False
Let x = -1385/1032 + 882643/308568. Let q = x + -42/23. Which is bigger: 1 or q?
1
Let w(k) = k**3 + 4*k**2 - 5*k + 4. Let y be w(-5). Suppose y*d = 2*d. Which is greater: d or -9?
d
Let g be (106/10)/(-1) + -3. Let m = g + 622/45. Which is greater: m or 1?
1
Suppose -3*d = -4*v - 23, d - 7 = 2*v - v. Suppose d - 2 = t. Let f = t - 4. Does f = -1?
True
Let w(s) = -s**2 - 7*s - 11. Let q be w(-5). Which is smaller: q or -7/5?
-7/5
Let j(t) = t**3 + 7*t**2 + 2. Let z be j(-7). Let c(q) = -q**3 + 9*q**2 - 7*q - 9. Let m be c(8). Let p be (5/15)/(z + m). Which is greater: p or 1?
1
Let d = 6.1 + -6. Is d > -3/5?
True
Suppose 4*o = 4*m - 156, -1 + 5 = 4*m. Is o smaller than -37?
True
Let j = -142 - -155.8. Let b = j + -14. Is 1 bigger than b?
True
Let g be (-12)/90 - (-47)/15. Is g at least as big as 7/4?
True
Let n = -135 + 113. Which is smaller: n or -21?
n
Let r be 1/((-4)/3)*20. Let g be (-12)/99*r + -2. Do g and -1 have the same value?
False
Let l = -16.66 + -0.34. Let v = l + 11.9. Let c = -5 - v. Is c at most as big as 2?
True
Let i = -21.56 + -0.44. Let s = -11 - i. Are s and 0 equal?
False
Suppose -2*c + 4*g + 0*g + 14 = 0, -5*c + 5*g = -10. Let x(v) be the first derivative of v**2/2 + 4*v + 1. Let t be x(c). Is t less than or equal to -0.1?
False
Let p = -13/27 + 4/27. Let t = 421 - 424. Which is smaller: p or t?
t
Let i = 0.5 + -0.14. Let l = -1.1 + 1.06. Let f = l - i. Which is smaller: -1/4 or f?
f
Suppose s + 4*n + 9 = 2*n, -s + 11 = -3*n. Which is bigger: -8/7 or s?
s
Let h be 1*(-3 - -3)/(-4). Which is smaller: -2 or h?
-2
Suppose -2*y + 5 = 9. Let j(m) be the first derivative of m**3/3 + m**2 + 2*m - 2. Let b be j(y). Which is greater: -2 or b?
b
Let x be 7/21*16*3. Which is greater: x or 9?
x
Let w(d) = 57*d**3 - 2*d**2 + d. Let b be w(1). Let f be 72/b + 4/(-14). Are f and 1 equal?
True
Let n(s) = 2*s**2 + 2*s - 2. Let t be n(-3). Suppose 4 = k + t. Let v be ((-4)/78*k)/2. Is 0 bigger than v?
False
Let s(g) = g**2 - 5*g + 5. Let o be s(4). Suppose b = -0*b - o. Suppose 2*r - 4*r - 2 = 0. Are b and r nonequal?
False
Suppose 0 = -0*d + 6*d - 72. Do d and 13 have the same value?
False
Let l be 11/30 - 2/12. Let m be 3/12 - (-2)/(-8). Let h be (m/(-2))/(-4 + 2). Is h less than or equal to l?
True
Let g(d) be the second derivative of d**4/12 - d**3 - 9*d**2/2 + d. Let a be g(7). Is -1 <= a?
False
Suppose 41 = -5*a + 6. Let q be (-3)/(-5)*5/a. Are -1 and q nonequal?
True
Suppose -4*d - 9 = 11. Let g be ((-16)/(-100))/((-1)/d). Are g and 2 equal?
False
Let b be ((-20)/8)/(1/(-2)). Let z = -4 + 2. Let l = b + z. Is 2 >= l?
False
Suppose -5*s = -19 - 21. Suppose -3*m - s = -5. Suppose -2*c - 2 + 0 = 0. Do c and m have different values?
False
Let r(u) = -2*u**3 + 2*u - 1. Suppose -5*f - 12 = -d, -2*d - 2*f + 2 = -f. Suppose -x = -d*x + 1. Let c be r(x). Are c and 1/4 unequal?
True
Suppose 0 = 11*k + 22*k - 165. Let o be -8*(-1 - (-3)/2). Let w be (9/2)/((-3)/o). Is w bigger than k?
True
Let w = 12 - -5. Suppose -5*t - w - 13 = 0. Let c be 2/t*2/(-11). Which is smaller: 0 or c?
0
Let r = 3/131 + -1873/1703. Are r and -1 nonequal?
True
Let w = -13 - -12.9. Let q = 0.09 + 0.91. Which is smaller: q or w?
w
Let f = 34 + -104/3. Is f equal to 48?
False
Let w be 2*(-3)/9*38358. Let b = -357743/14 - w. Let u = b - 19. Is 1 less than or equal to u?
False
Suppose -a - 12 = 6. Let f = a + 18. Is -2/41 smaller than f?
True
Let x(h) = 2*h**2 + 18*h + 1. Let t be x(-9). Do -1/22 and t have different values?
True
Suppose -3*i - 4*k - 6 = 2*i, 2*i + 2*k + 2 = 0. Let q = 2 + i. Is -3 > q?
False
Suppose -1 = 2*m - m. Let k be m*(-4 + (0 - -3)). Let l be 2/8*1*-1. Which is smaller: l or k?
l
Let r(b) = -9*b**3 - 12*b**2 - 12*b - 10. Let m(g) = -4*g**3 - 6*g**2 - 6*g - 5. Let u(t) = -7*m(t) + 3*r(t). Let k be u(-5). Let w = -19 - -359/19. Is k != w?
True
Let d = -6.82 - 0.18. Let r = d - -9. Let l = 0 + 1. Which is greater: l or r?
r
Suppose 2*u + 102 = 3*y, -74 = 4*u - 2*u + 4*y. Is -45 equal to u?
True
Let g(i) = i**2 + 2*i + 2. Let m be g(-2). Suppose -3*v - m*p = -p - 2, -10 = 2*v - 5*p. Let c = 167/4 + -42. Is v smaller than c?
False
Suppose 0 = 8*n - 8. Is n greater than or equal to 11/7?
False
Let m = 61 + -73. Which is smaller: -3 or m?
m
Suppose -5*n - 2 = -6*n. Suppose -g = g - m, n*m = 3*g + 2. Let h = g - 0. Which is smaller: h or 3?
h
Let u = 15.7 + -17. Let v = u - -1.5. Is v greater than 2/9?
False
Let b(d) = d**3 + 6*d**2 - 9*d - 1. Let o be b(-7). Is 1 > o?
False
Let x(r) = -24*r - 37. Let z be x(-5). Is z at most as big as 83?
True
Suppose g + 2 = 2*g. Let y be (0 + g)/((-5)/(-2)). Is 1 equal to y?
False
Suppose -5*i - z = -5, -4*i - 17 = 3*z + 2*z. Suppose 7 + 2 = 3*u. Which is smaller: i or u?
i
Suppose 1 = v + 2. Let g = 5 + -13. Let f = -6 - g. Which is bigger: v or f?
f
Suppose z + 4*j - 7 - 1 = 0, 2*z - 4*j =