2 != h?
True
Suppose 4*l = -2*n + 2, 0 = 3*l - 2*l + 5*n - 14. Let w = 0 - l. Let u = 2 - 0. Is w at most as big as u?
True
Suppose 0 = -3*y + j - 2, j + 1 = -4*y + 10. Which is greater: y or 2/39?
y
Let s be (-2)/5 + 14/10. Suppose 4*b = -0*b + 56. Let k be (-8)/b*7/(-10). Do k and s have the same value?
False
Suppose 3*n + 0*n + 10 = -q, 3*q - n = 10. Suppose -q*y = -y. Suppose 0 = 5*d + 5 - y. Are d and -5/6 unequal?
True
Let a(h) = -h. Let c be a(0). Let k(g) = -2*g - 13. Let u be k(-8). Let m = c + u. Do m and 4 have the same value?
False
Let k(d) = 2*d - 3*d**3 - 2*d**3 + 6 + 4*d**2 + 6*d**3. Let q be k(-4). Let a be (-5 - q)*(-2)/6. Which is greater: 2/5 or a?
a
Let h(b) = 4*b + 5. Let c(r) = -r + 1. Let v(n) = 6*c(n) + h(n). Let i(m) = 1. Let o(x) = -22*i(x) + 2*v(x). Let w be o(-1). Is w at least 3?
True
Let b = 35/3 + -13. Does 1 = b?
False
Let u = 8/5 - 109/15. Let m = 4 + u. Let v = 2 - 1.9. Which is smaller: m or v?
m
Let v = -21 - -19.9. Let h = -5.1 - v. Let c = -4.04 - h. Which is bigger: 0 or c?
0
Suppose -3*j + 2*j - 7 = 2*f, f = 2*j - 1. Let g = 0.08 - -0.22. Is g less than j?
False
Let d be 4/(-6)*-6*1. Suppose -5 = -3*h + d*o - 17, 5*o = -4*h - 16. Let g = 4 + h. Which is smaller: g or -2/7?
-2/7
Let b = -3 + 2. Let q = -0.03 + 2.03. Let f = q + -2. Are b and f nonequal?
True
Suppose 0*t + 25 = 5*t. Suppose -t*b + 12 = 2. Suppose b = 4*a - 2*i, 4*i - 2 = a + 1. Is 2/11 >= a?
False
Suppose -3*n + 2*y = -19, -9 = 3*n + 4*y + 2. Suppose -3*h + 4*k + 4 = 3*k, -n*h - 4*k + 29 = 0. Suppose h*r = r. Which is smaller: r or 3?
r
Let m = -0.64 - -1.7. Let p = 0.06 - m. Are p and 0 non-equal?
True
Suppose 0 = w + 2*f + 2 - 1, -w + 5*f + 6 = 0. Let d = 275/7 + -39. Which is smaller: d or w?
d
Let u = 1.1 + -11. Let x = u - 0.1. Which is smaller: -1 or x?
x
Let v = 0.216 + 0.074. Let k = -0.21 - v. Which is greater: k or -1?
k
Let d = 15/26 - 1/13. Is -0.06 >= d?
False
Let p = -1851 + 135125/73. Which is bigger: 0 or p?
p
Let h = 51 + -42. Is h smaller than 9?
False
Let t = -33 - -34. Which is greater: 11/5 or t?
11/5
Suppose 3*z - 3*x + x - 6 = 0, -z = 5*x - 2. Suppose -2*l = t - 9, -3*l + z*l = t - 7. Suppose -l*w + 1 = -2*f - 3, w - 2 = 2*f. Do w and 2 have the same value?
True
Let z be 2*6/(-4)*3. Let t = -1.51 - -0.11. Let f = t + 1.4. Is z <= f?
True
Suppose -3*p = 5*d - 16, 3*d = -p - 0*d + 8. Suppose 2*f - 8 = -p*f. Suppose f*c = 6*c + 4. Is -2 bigger than c?
False
Suppose a + 29 = 2. Let p = a - -27. Is p at most as big as 0?
True
Let y = -130 + 130.7. Is 5 not equal to y?
True
Suppose -l - 4*z - 3 = -7, -l + 14 = -z. Let q = l + -12. Which is smaller: q or 1/12?
q
Let j(r) = -r**2 + 2*r + 7. Let n be j(4). Which is bigger: n or -1/106?
-1/106
Let t = -6 - -5. Let d be ((-2 - -1)/t)/(-1). Is 1/10 less than or equal to d?
False
Suppose -5*u = -161 + 56. Suppose u = -2*a - a. Which is smaller: a or -6?
a
Suppose -3*x + 1 = -14. Suppose 22 = x*j - 4*j. Let t be (-48)/j - 4/(-2). Does 0 = t?
False
Let r(y) = -y + 7. Let d be r(6). Let m be 1 - d - 2/(-18). Is -1 > m?
False
Let g = 3 + 0. Is g greater than 11/4?
True
Let i = 5/18 - -61/234. Which is smaller: 0 or i?
0
Suppose 6*v - 30 = 60. Is v equal to 13?
False
Let z(i) = -6*i - 1. Let c be z(-1). Suppose -d + 2*a + 1 = 3*a, c*a = 2*d + 12. Which is smaller: 0 or d?
d
Suppose 5*g + 33 = 5*c - 17, 5*c - 36 = 3*g. Let q = -6 - g. Are 1 and q nonequal?
False
Let m = -4 - -3.96. Let d = m + 3.04. Which is bigger: d or 0?
d
Let g be (-3)/(-12) + (-12)/(-80). Are -1 and g unequal?
True
Suppose 3*m - 18 + 6 = 0. Suppose -8 + 0 = m*g. Which is bigger: -6/7 or g?
-6/7
Let a = 116.98 - 121. Let m = 4 + a. Let h = m + 0.12. Is h less than 0?
False
Let a = -0.083 - 0.217. Let l be (((-2)/(-6))/(-1))/(-1). Which is bigger: l or a?
l
Let g be 407/9 + 8/(-36). Let s be 13/g - (-6)/(-15). Which is smaller: s or 0?
s
Let v = 49 + -48. Is v <= 0.24?
False
Suppose -3*b = -4*f + 14, -4*f - 5*b - 2 = -0*b. Suppose 2*w = -f*k - k - 13, 2*k = 3*w. Which is greater: k or -4?
k
Suppose 2*b + h = -b + 2, 9 = b + 2*h. Let i be ((-28)/(-315))/(2/3). Which is smaller: i or b?
b
Let s be (-8)/(168/(-245))*14/10. Which is smaller: s or 17?
s
Let n(v) = v**3 + 5*v**2 - 8*v - 13. Let q be n(-6). Which is bigger: -6/13 or q?
-6/13
Suppose 2*q = -5*l + 44, -2*l = -q + l. Suppose 2*n - q = 3*o - 3*n, -3*o - n + 6 = 0. Let c = -1 + 1. Is o <= c?
False
Let j(o) = o + 11. Let x be j(-11). Is x equal to -4/17?
False
Let o = -228 - -1134/5. Is 0 smaller than o?
False
Let g be ((-1)/15)/(-6 - 85/(-15)). Let w(j) = j**2 - 3*j + 1. Let z be w(1). Which is smaller: z or g?
z
Let w = -24.9 + 23. Let x = w + -0.1. Let k = -1.9 - x. Which is smaller: 0.2 or k?
k
Let k = -1 + 0. Suppose 5 = -3*p + 2. Let d be p - 0/(-2 - -1). Is k >= d?
True
Let c = -219198 - -2851587/13. Let m = c + -155. Which is bigger: 1 or m?
1
Let v = -8 - -16. Suppose 3*k = v*k + 10. Is k > -2?
False
Let w(n) = n**3 - 10*n**2 + 17*n. Let k be w(8). Which is smaller: 4 or k?
4
Suppose 2*k = -2*k + 20. Let q = -26 - -51. Suppose s + 3*v - q = -3*s, -3 = -v. Is k less than s?
False
Suppose 0 = -9*r + 2*r + 6*r. Is 0 less than r?
False
Let m be ((-2)/4)/(1/2). Suppose -k + 9 = 3*u, -2*u + 4*u = 8. Is k at most m?
True
Let o be 2/24 + (-2)/6. Let d = 49 + -48. Which is greater: o or d?
d
Let d = -1 + 0. Let t(i) be the second derivative of i**5/20 - 3*i**4/4 - 3*i**3/2 - 11*i**2/2 - 5*i. Let o be t(10). Is o at most as big as d?
True
Let t be 2*-1 - (0 + -3). Is t at most -1/6?
False
Let u = -6 + 19. Let o = 18 - u. Is -0.1 not equal to o?
True
Let g = -12 - -8. Let b be (-2)/((2/g)/(-1)). Let k(l) = l**3 - 6*l**2 - 3. Let c be k(6). Is c at most as big as b?
False
Let g(u) = u - 2. Let d be g(-7). Let t be -1 - -1 - (-6 + d). Which is bigger: 16 or t?
16
Let v be (-30)/(-7) - 12/42. Suppose -3*p = -w + 1, -v*p - 5*w - 15 = p. Is p at most as big as -2/17?
True
Let z(b) = b**3 + 4*b**2 - 7*b - 6. Let s be z(-5). Let f(d) = d**3 - 6*d**2 + d - 3. Let j be f(6). Is s at most j?
False
Let x be (8/62)/(-2 + 4). Let g be 15/70*7 + 5/(-2). Which is greater: x or g?
x
Suppose 2*a - 3*a + 4 = 0. Suppose -3*z + 2*z = -a*g + 13, -7 = 4*z - g. Which is bigger: z or -2/7?
-2/7
Suppose 2*t - 4*t - 8 = -5*q, -5*q + t + 9 = 0. Suppose -5*h + 20 = -q*x, -6*x + 4*x - 12 = -3*h. Which is greater: -1 or x?
x
Let i = -2641/210 + 63/5. Which is smaller: 1 or i?
i
Let d = 0.03 + -0.63. Is d <= -0.8?
False
Let x = -5 + 7. Suppose -3*z + z = -x. Is 1 smaller than z?
False
Let i = -4 + 14/3. Let c = -10 + 17. Let o = c + -8. Are i and o nonequal?
True
Let r(n) = -2*n + 9. Let d be r(8). Let m(u) = u**3 + u. Let s(p) = 6*p**3 + 8*p**2 + 13*p + 7. Let x(g) = 5*m(g) - s(g). Let z be x(d). Is z <= 1/10?
True
Suppose -41 = 4*j + 7. Let f(i) = i**3 + 3*i**2 - i + 4. Let y be f(-3). Let v = y + j. Is v >= -6?
True
Let r(u) = u**3 - 8*u**2 + 3*u + 6. Let w be r(7). Let n be 4/w + (-4)/(-22). Is -4/3 bigger than n?
False
Let x = -5 + 7. Let l = x + -5. Let k be 1*(l + (2 - 1)). Do k and -2 have different values?
False
Let w = -68 - -73. Which is smaller: 2 or w?
2
Let g be -2 + 2 + 2 - -2. Let x be 0/(-2*2/g). Let t = 3/10 - 1/70. Is t greater than or equal to x?
True
Let h = -9 - -9.23. Let c = h - -0.77. Is c at least as big as -2/23?
True
Suppose -803 - 1129 = 4*i. Let o = 9179/19 + i. Is 0 less than o?
True
Let p = -0.05 - 1.95. Let u = p - -2.4. Let j = 0.3 - u. Which is smaller: j or 0?
j
Let t = -3 - 7. Let i = -17 - t. Is i != -7?
False
Let r = -7 + 7. Suppose -2*g - g + 6 = r. Suppose -2*f = g*q - 12, -4*q + 9 = -f - 5. Which is smaller: q or 1?
1
Suppose 3*g = 4*g + 36. Let u be (-70)/(-21)*g/15. Which is smaller: u or -7?
u
Let b(p) = -p**2 + 9*p + 14. Let t be b(10). Suppose 0 = -2*o - 3*m + t, o = -0*o - 5*m - 5. Let c be 1*4 - (-3 - -3). Which is bigger: o or c?
o
Let x = -125 - -624/5. Which is bigger: x or -1?
x
Let k = 0.04 - 0.54. Is -0.4 less than k?
False
Let o be 6/4 - 4/((-456)/(-183)). Which is greater: 1 or o?
1
Let n = 0.3 - 0.2. Are 0 and n unequal?
True
Suppose -30 = 4*o + o. Let c be (-3)/(0 - o)*0. Do 0 and c have different values?
False
Suppose -116 = -3*p - p. Suppose 5*j + p = y, -2*y + 10 = -2*j - 0*y. Let d be (-2)/(-6)*(-9)/j. Which is greater: 0 or d?