1 greater than m?
False
Suppose 1 = -i - 0. Is i at least as big as -1/3?
False
Let u(o) = -2*o - 5. Let r be u(-4). Let i = r + 0. Which is bigger: i or -1?
i
Let n = -4 - -3.4. Let l = n - -0.3. Let b = l + 0.2. Which is bigger: 0 or b?
0
Suppose -5*v = -9 + 29. Let i be 1 - (3 + -1 + -1). Suppose 2*x - x = -4*q - 13, i = 5*q + 15. Which is bigger: x or v?
x
Let p be (-2 + 3)*5*1. Suppose 0 = -2*z + z + f + 6, -2 = -3*z - 5*f. Let r = 0 + z. Is p greater than r?
True
Let k = -0.3 + 0.4. Let i = -0.3 - -0.3. Let g = -6 - i. Which is smaller: k or g?
g
Let r(q) = 2*q - 3. Suppose -3*i - 4*d + 19 = 2*i, -d = -1. Let n be r(i). Suppose -34*o - 6 = -37*o. Is n equal to o?
False
Let i = 8 + -20. Let q = -9 + -2. Which is bigger: q or i?
q
Let q be (-1)/(1 - 2)*5. Suppose 7 = -q*l + 2*m, 4*l - 2*m = 6*l. Suppose 0 = 5*r + 5*n + 30, 12 = -4*n - 8. Is l less than r?
False
Let x = -0.9 + 0.98. Let n = -7.92 - x. Which is bigger: n or 0.1?
0.1
Let s be -1 + (0 - (-8)/684 - -1). Which is smaller: s or 0?
0
Let p = 130 + -67. Let v = 312/5 - p. Is 0 at most v?
False
Let p be 43/(-11) + 4/(-4). Let d = p - -507/110. Which is greater: 0 or d?
0
Let o = -101.1 - -161. Let w = 65 - o. Let q = 5 - w. Which is bigger: -2/11 or q?
q
Let j be (-1)/(-5)*(-25)/(-2). Let d(z) = z**2 + 6*z - 12. Let h be d(-8). Is h >= j?
True
Suppose 4*h + 21 = 7*h. Which is smaller: 6 or h?
6
Let j = 8 - 11. Let r be (2 - j) + -1 + 0. Suppose -p + w - 11 = r*w, -3*p - 5*w - 17 = 0. Is -1/6 at most p?
True
Let x be (-85)/(-15) - 4/6. Let d = 8 - x. Is d <= 1?
False
Suppose 3*f = -c, 0*f + f - 4 = c. Let k be (-11)/(-21) - 2/3. Which is greater: f or k?
f
Let p be 2 - (-3 + 0)*1. Suppose -4*o + 3 = -p*o. Let d = o - 0. Is 2 >= d?
True
Let s(l) = -l**3 + 2*l**2 - 2*l + 6. Let g(k) = -1. Let i(z) = -5*g(z) - s(z). Let t be i(2). Do 2 and t have the same value?
False
Suppose -3*p + 2 + 1 = 0. Suppose j + 5 = -p. Let i = 6 + j. Which is smaller: i or -2/5?
-2/5
Let r(x) = 4*x**3 - x**2 + x - 1. Let l be r(1). Let o be (-2)/l - (-20)/12. Which is greater: -0.3 or o?
o
Let o = 2/4839 - -9452/546807. Which is bigger: 1 or o?
1
Suppose -5*b - 2*q = -3*q + 14, -18 = -b - 5*q. Suppose 2*g + 0*g - 4 = 0. Suppose -5*h - 2 = -3*r - 5, h + 2*r = -g. Is b < h?
True
Suppose -2 = -k + 1. Let v(g) = g**2 - 6*g + 9. Let d be v(5). Which is smaller: d or k?
k
Let t(v) = v - 8. Let x be t(8). Which is bigger: 2/25 or x?
2/25
Suppose -5*f = -5*j + 35, -j = -f + 2*j - 1. Let g(u) = u + 9. Let d be g(f). Is d >= 2/11?
False
Suppose -10 = -2*s - 2*j, -5*j + 11 = 2*s - 4*s. Let g(y) = -y**2 + y - 2. Let o(d) = 2*d**2 - 2*d + 5. Let b(q) = -9*g(q) - 4*o(q). Let h be b(s). Does -3 = h?
False
Let b = 137/3 + -46. Suppose d + 0*d = 0. Let x be 0 + -1 + 1 + d. Which is bigger: x or b?
x
Suppose -4 = -5*s + 3*h, 2 = -2*s + 4*h + 12. Is s at least as big as -4/37?
False
Let w = -192.61 + 193. Is -0.2 > w?
False
Let d(i) = -i + 3. Let z be d(-3). Suppose -2 = s + 4*a + 10, 2*a + z = -4*s. Is s <= 2?
True
Let n be -1 - (-6)/(-3)*-1. Let c = -162/1903 + -1/173. Which is smaller: n or c?
c
Let d be (-12)/20 - 29/10. Which is greater: d or -5?
d
Let v = 5 + -5.5. Let y = 1.4 - 1. Let w = y + v. Are 0.5 and w equal?
False
Let q = 0.32 - -1.08. Are 0 and q equal?
False
Let y(c) = -c**2 + 3*c - 12. Let b be y(8). Which is smaller: b or -54?
-54
Let a = 1 - -2. Let l(j) = -j**3 + 10*j**2 - 6 - 11*j - 2 + a*j. Let y be l(9). Which is bigger: y or -0.3?
y
Let t = 0.006 + 2.094. Let g = t + -0.1. Let j(s) = -s**3 - 7*s**2 - 5*s + 6. Let l be j(-6). Is g != l?
True
Let x = 2554/4763 + 4/433. Suppose 4*p - 5*d + 20 = p, 4*p - 20 = -5*d. Let w be (p - (0 - 0))/(-2). Is w greater than x?
False
Suppose 15*p = 42 + 3. Which is smaller: p or 4?
p
Let f be (-62)/15 + (-2)/(-15). Which is greater: f or -7?
f
Let m = -4 - -6. Suppose -5*r = -14 - 1. Let i = r - m. Is 2/13 > i?
False
Let o be 1*-3 + (2 - 14/(-21)). Which is smaller: 0.1 or o?
o
Suppose 0 = 4*h + 2*n - 22, -4*n + 2*n = 3*h - 15. Are 2 and h non-equal?
True
Let t = 16 + -15.8. Is 0.2 less than t?
False
Suppose 2*n + 8 = -2*n. Let l(q) = q - 2. Let w be l(-2). Which is smaller: w or n?
w
Let k(n) = 4*n + 5. Let f be k(-4). Let v = -32/3 - f. Which is greater: -0.5 or v?
v
Let m(w) = 4*w**2 + 2*w - 1. Let z be m(-2). Suppose 4*t + 4*a + z = -5, 3*t = a. Which is smaller: t or 1/3?
t
Let y = -2 - -5. Suppose -3 = -y*s - 9. Is -3 at least s?
False
Let q be 7/21*(-6)/10. Is q at least as big as 0?
False
Let t = -389/5 - -77. Is -2 < t?
True
Let u = -298 + 2091/7. Does 0 = u?
False
Let h(y) = y**2. Suppose 2*m - 3*v + 2 + 3 = 0, -m + 3*v - 1 = 0. Let w be (-2)/m*(-1 + 1). Let a be h(w). Are -1 and a non-equal?
True
Let i be 2 + (-1 - 1/1). Suppose i = -5*f - 0*f + 5. Is 1/3 bigger than f?
False
Let r = 11916/37 + -322. Is r < 0?
False
Let q(g) = -g**3 - 11*g**2 + g + 12. Let t be q(-11). Suppose 0 = 3*i - 3. Let n = t + i. Is n at most 2?
True
Let x(a) = -a**3 + 7*a**2 - 6*a - 4. Let h be x(5). Suppose 8 = 4*t + 3*q - h, -q - 5 = -3*t. Let c be 8/3*1 - 3. Which is greater: c or t?
t
Suppose -3*m - 60 = -3*w, -3*w + 0*w - 60 = 2*m. Let v be (-16)/m + 8/(-30). Is -0.3 <= v?
True
Let g be (56/3)/4 - 4. Is -2/5 < g?
True
Suppose 0 = 11*p - 7*p. Suppose -4*y = 3*f + 9, 2 = y - p*y + 5*f. Which is greater: y or -9/4?
-9/4
Let y(q) = -q**2 + 3*q + 13. Let z be y(5). Is -3 at least as big as z?
False
Let d = -0.083 - 0.247. Is -2/5 less than d?
True
Let g = -1.8 + 1.2. Let q = -0.7 - g. Is q at least 0.7?
False
Let i(z) = -7*z**2 - 9 - z**3 + 0*z - 2*z**2 - 9*z. Suppose 0 = 6*h - 2*h + 32. Let p be i(h). Which is bigger: p or 1/4?
1/4
Suppose 4*o + 95 = 7*o + 4*p, 0 = -5*o + 4*p + 137. Which is smaller: 28 or o?
28
Let v = -2.96 - -3. Let k = v + -0.1. Which is greater: -1 or k?
k
Let f = -3 - -10/3. Is f at most as big as 0?
False
Let b be 26/(8/20*5). Which is bigger: -2 or b?
b
Let a(q) = 7*q**3 + 6*q**2 + q + 8. Let v(w) = -20*w**3 - 18*w**2 - 4*w - 23. Let m(l) = -17*a(l) - 6*v(l). Let g be m(-5). Do -6 and g have different values?
True
Suppose -7*j - 10 = -2*j. Let b be 91/4 - j/8. Let s be b/18 + 9/(-6). Is s greater than 0.1?
False
Let f = 0.1 - 1.1. Let b = -14.09 + 14. Let l = b - -0.09. Is f at least l?
False
Let v be ((-2)/12)/(-1)*221. Let d = v + -37. Suppose 0 = -8*m + 5 + 3. Which is smaller: d or m?
d
Let f = -3982/7 + 67946/119. Is 2 <= f?
True
Let n = -17 + 8. Let i = 13 + n. Let k = i - 5. Is 2/9 at least as big as k?
True
Let x = -17/12 + -1/3. Does -2 = x?
False
Suppose -2*i - 7 = -9. Is i <= -2/7?
False
Let w(c) = -3*c**2 + 3*c - 6. Let x be w(-5). Let b = x + 674/7. Which is smaller: -1 or b?
-1
Let h = -10 + 14. Let l(q) = 13*q**2 - q - 2. Let w be l(-1). Let c be 1/h - w/(-16). Do 2/7 and c have the same value?
False
Let f(d) be the third derivative of -3*d**2 + 1/60*d**5 + 0*d + 0 - 5/6*d**3 - 1/6*d**4. Let o be f(5). Is 1/4 greater than o?
True
Let c be (-3 - (-2 - -2))/(-4). Is 2 greater than c?
True
Suppose 0*j - 4*j + 5*y + 12 = 0, -j - 5*y = 22. Let g(d) = -2*d. Let t be g(j). Suppose -t*s + 12 = -0. Is 4 greater than or equal to s?
True
Let h = 44 - 43. Which is bigger: -0.1 or h?
h
Let h(v) = -v + 5. Let d(r) = -r**2 - 11*r - 5. Let f be d(-10). Let u be h(f). Which is greater: u or -1?
u
Let q = 29 + -30. Which is smaller: -2/113 or q?
q
Suppose -2*f - 73 = 5*l - 2*l, -2*l - 17 = -5*f. Do l and -99/5 have the same value?
False
Let p = 7759 + -706050/91. Let q = 1/13 + p. Which is bigger: q or 0?
q
Let x(h) = -34*h**2 - 3*h + 4. Let n be x(2). Let u = 269/2 + n. Is u at most -4?
False
Let p be ((-40)/(-240))/((-7)/(-4)). Let o(g) = -g + 3. Let s be o(3). Suppose -n + 3*n = s. Is n != p?
True
Let j(y) = y**2 + 2*y - 4. Let t be j(-3). Let g = 3 - 5. Are t and g unequal?
True
Let b(f) = -f**3 + 2*f**2 - f + 2. Let w be b(3). Let g be 5/2*2/w. Suppose 6*v = 2*v - 4. Is v greater than g?
False
Suppose 0 = -2*x - 5*y - 8, 0 = 2*x + 3*x - 5*y - 50. Suppose x = -3*o - 0*o. Let z = 3 + o. Which is smaller: 2 or z?
z
Let f = 22/21 - 158/231. Is f at most -1/2?
False
Let p = -9 - -7. Is -3 < p?
True
Let w = 9 - 2. Suppose 0 = -2*c + w*c. Is 1/7 at least c?
True
Let k = -3.8 + 5. Let t = -18.2 - -17.2. Is k != t?
True
Let s = 6.94 + -7. Let j = s + 1.06. Whic