equal?
True
Let p = -9 - -8.3. Let q = p + 0.8. Is q greater than or equal to -2/3?
True
Let n = -179 + -29. Let j be ((-4)/n)/((-2)/4). Let c = j + -6/13. Which is bigger: c or 2?
2
Let z = 17 + -17. Which is greater: 2/279 or z?
2/279
Let k = 9.3 - 9. Let f = 0.21 - 1.51. Let s = f + k. Is -5 at most as big as s?
True
Suppose -2*g - 22 = 4*b - 7*b, -16 = -3*b - g. Let x = 5 - b. Are 0 and x non-equal?
True
Let f(p) = -p**3 + p**2 + 1. Let r be f(4). Let x be 2 - (-2 - r/5). Let d = 103/20 + x. Are -1 and d equal?
False
Let w = 19 + -12. Let y = w - 7. Is y less than -0.4?
False
Suppose 5*q = -2*o + 14, o + 4*q = -q + 2. Suppose -3*v - 5*f - o = 0, 0*v = 2*v - f - 5. Let t = 17/10 + -3/2. Do v and t have the same value?
False
Let n be (4/2)/22*(15 - 17). Let v = -3 + 4. Which is greater: v or n?
v
Let o(j) = -j**2 + 7*j - 7. Let b be o(5). Let g = -5 + b. Let l be 1 - g/(-1*2). Which is greater: -1/2 or l?
l
Suppose -5*n - 2*m + 5 = 0, -4*m - 3 = 17. Suppose 3*i = -n*w - 33, 0*i + 40 = -5*w - 2*i. Let k be (w/4)/(30/16). Are k and -2 nonequal?
True
Suppose 2*p = 55 + 25. Suppose -5*o - 3*g + p = 0, -3*g + 6*g - 25 = -2*o. Suppose o*w - j = -2, j - 1 + 4 = 0. Which is smaller: w or 1?
w
Let j(q) be the third derivative of -q**4/8 - q**3/3 + 2*q**2. Let p be j(-4). Let s be (-2)/p + (-4)/5. Is s > -2?
True
Let g = -4 + 9. Suppose -g*q + 4*a = -26, -q + 4 = 3*q + a. Which is bigger: q or 5/8?
q
Let q = -0.4 - -1. Let f = -0.4 - q. Is f greater than -2?
True
Let z = -4 + -3. Is -2 != z?
True
Suppose -3*i + 255 = 2*y + 47, -y + 5*i + 91 = 0. Let a be ((-2)/(-3))/((-2)/y). Let c = a - -34. Is c greater than or equal to -0.2?
True
Let o be -11*4/(-36) + (-10)/45. Let y be ((-1)/8*-2)/(-1). Is y != o?
True
Suppose 5*q - r = r - 35, -3*r - 14 = 2*q. Let b(m) = -2*m**2 + 5*m + 4. Let d be b(4). Is d at least as big as q?
False
Let w(p) = p**2 - 10*p + 9. Let k be w(9). Let d be 2*(k + 1) + 0. Which is greater: 2/3 or d?
d
Let u(d) = d**3 - d**2 + 2*d - 3. Let k be u(2). Suppose k + 1 = -2*i, -5*s - i - 28 = 0. Let t be 8/((-6)/(-3)) + -8. Is t less than or equal to s?
False
Let h = -856 - -9410/11. Is h less than or equal to -2?
False
Suppose 4*k - 6*k - 3*m = 3, 4*k - 2*m + 14 = 0. Which is smaller: k or -1?
k
Suppose -x = -4*g + x - 68, 5*g = 5*x - 90. Let t be (-174)/(-10) - g/(-40). Is t != 18?
True
Let l = 107/206 + -2/103. Is 0.06 greater than or equal to l?
False
Let q = -1506.02 + 1490. Let f = q + 16. Do 1 and f have the same value?
False
Let n be (-30)/16*3/15. Is n less than -2/7?
True
Suppose 0*y = y - 2. Suppose -3*k + 25 = 4*a, 2 = 3*k + y*a - 15. Let p = k + -1. Which is greater: p or -1?
p
Let q = -17 - -12. Which is smaller: -2 or q?
q
Let v = 170/117 - 16/13. Let s(y) be the third derivative of -y**4/24 + 2*y**2. Let t be s(-1). Are t and v equal?
False
Let a = -174075473 - -2953722917/17. Let f = 327237 + a. Let i = -171 + f. Is i at least -1?
True
Let d = 114 + -114.1. Which is greater: d or -0.13?
d
Suppose 0 = 2*z + 7 - 3. Which is smaller: 0 or z?
z
Suppose -6 = 2*v + 4. Let o be (-2)/v + 6/(-15). Is 1 != o?
True
Let n(k) = k**2 - 11*k + 10. Let j be n(10). Suppose j = 2*r + 4*y + 2 - 0, 4*r + 4 = -4*y. Which is greater: r or 0?
0
Suppose -5*o + 3*i + 7 = -3, 3*o = -i + 6. Suppose 5 - 3 = -o*n. Let h be ((-130)/(-56))/5 + 33/(-44). Are n and h unequal?
True
Suppose -3*u = -22 + 40. Let l be 2/u + (-12)/(-9). Is 2/31 >= l?
False
Suppose 25 = -5*x, 5*x + 8 = 2*b - 27. Let q be -4*(b/8)/1. Are q and -2 non-equal?
True
Suppose -4 = 5*x - 14. Suppose 4 = -2*v + 5*s - 3*s, x*v + 4*s = -34. Which is smaller: -9 or v?
-9
Let o(y) = -y - 3. Let g be o(-2). Which is smaller: 3 or g?
g
Suppose -c = -9 + 9. Is 1 at least c?
True
Let z = 13.9 + -14. Let j = -1.6 + -4.4. Is z bigger than j?
True
Let m be 11/3 - 2/(-6). Let s be 2/m*(-6 + 6). Suppose -3*k + 2*j = -5, -5*k = 5*j - s - 25. Which is bigger: k or 4?
4
Let g be 2/7 - 3/42*18. Which is greater: 21 or g?
21
Let x(q) = q**3 + 6*q**2 - 8*q - 10. Let c be x(-7). Let g be (-33)/18 - c/2. Is 0 bigger than g?
True
Let g = 32.6 + -33. Is 1 < g?
False
Let p(q) = -q**3 + q**2 + 2*q - 1. Let t be p(1). Suppose -5*c + w + 2 = t, -4*c + 16 = 3*w. Which is smaller: -2/5 or c?
-2/5
Let z = -2.9 - 20.1. Let o = 22 + z. Which is smaller: -0.2 or o?
o
Let g(b) = 13*b + 8. Let v be g(-4). Let o be v/30 - (-8)/10. Is 4/7 not equal to o?
True
Let z = -9.836 + 0.036. Let j = 10 + z. Which is greater: j or 1?
1
Let v be (-14)/(-49) - (-6478)/14. Let q = 5087/11 - v. Which is smaller: q or -1/3?
q
Let f = -0.8 + -0.2. Let l = -0.4 + 0.6. Which is bigger: f or l?
l
Let c be 10/(-95) - (-128)/(-228). Which is smaller: -41 or c?
-41
Let l = 4.6 + -4.8. Is -0.01 != l?
True
Suppose 2*o - 29 = -13. Is o greater than 8?
False
Let i be (0 - -3) + 1*-6. Let o(s) = -s**2 - s + 2. Let z be o(-2). Is i < z?
True
Let o be (1 - -2)/(3/(-16)). Let y = o + 11. Let c = 9 + -15. Does c = y?
False
Suppose 3*w + 2*z = -68, -2*w + w = -2*z + 28. Let i be 192/72*-1*9. Is i > w?
False
Let v = 12923/36 - 359. Is 1 bigger than v?
True
Let d(g) = 2*g**2 - 7*g + 6. Let t be d(4). Let f be 0 + (1 - t/6). Which is smaller: -1 or f?
-1
Let i = 4 + -2. Let f(t) = -2*t + 5*t**2 + t**2 - 2 - 5*t**2 + 4*t. Let y be f(i). Which is smaller: y or 5?
5
Let c = 4 + -4.17. Let v = c - -0.07. Is -1 equal to v?
False
Let i = 23232 - 116549/5. Let k = i - -78. Is -1 at most as big as k?
True
Suppose 2*o - 8 = 4*v - 0*o, 5*o + 19 = -3*v. Let u be 8/24 - (-1)/v. Which is smaller: u or 1/2?
u
Let z(c) = c**3 + 3*c**2 - 5*c - 4. Suppose -3*n = -2*s - 17, 2*s - 3*n - 2*n = -23. Let r be z(s). Which is smaller: 1/15 or r?
r
Let c(t) = -10*t**3 + 5*t**2 - 4*t. Let h be c(3). Let j = h + 1179/5. Let g(p) = p**3 - 3*p**2. Let v be g(0). Is v bigger than j?
True
Let i be -1*4*(-2)/(-4). Let b be (-1)/10*i/1. Is b equal to 0?
False
Let c = -14.1 - -14. Is c <= -0.1?
True
Let y = 813.4 - 813. Let i = -2/31 + 37/93. Which is bigger: y or i?
y
Let k = -23 + 14. Let s = 0.01 + 8.99. Let a = s + k. Is -0.3 bigger than a?
False
Let b(d) = 3*d - 6. Let p be b(3). Let r(w) = -w**2 + 8*w - 6. Let s be r(6). Let n = p - s. Which is bigger: -2 or n?
-2
Suppose -4*x - 8 = 4*i, 2*i + 4*x + 10 = -i. Let m be (-92)/(-20) - (-3)/(-5). Suppose -m*o - 13 = 3*k, 2*k = -o + i*o + 6. Which is greater: 0 or k?
k
Let z(i) = -3*i**3 - 2*i**2 + 1. Let g be z(-1). Let h be g + 0/(-1)*-1. Which is smaller: h or 0?
0
Let g = 0.2 - -0.8. Let w = -0.403 + -0.107. Let c = w + 0.01. Which is bigger: g or c?
g
Let c = 15 + -14. Let n = -30 + 29. Is c equal to n?
False
Let y = -36 + 287/8. Which is greater: -2 or y?
y
Let g be (-2 - -1)*(1 - 0). Suppose 2*s + 0*s + 4*f + 10 = 0, 6 = 3*s - f. Let o be -5*2/14 + s. Is o <= g?
False
Let q be ((-35)/14)/(2/(-4)). Suppose 2*v - 11 = -4*p - 3*v, 3*v - q = -4*p. Which is greater: p or 0?
0
Let g = -240 - -7924/33. Let p = g - -79/165. Which is smaller: -1 or p?
-1
Let a(b) = b**3 - 10*b**2 + b - 7. Let n(p) = -2*p**3 + 20*p**2 - 2*p + 13. Let m(r) = -5*a(r) - 2*n(r). Let q be m(10). Which is smaller: -1/18 or q?
q
Suppose 3*q - q = 0. Let u = 0 - q. Let o = 7/4 + -19/12. Are u and o unequal?
True
Let b = 92 + -51. Is b <= 39?
False
Let t = -120 + 121. Let b = 1 + 4. Suppose b*p = p - 8. Is t != p?
True
Let v(r) = r**3 + 6*r**2 - 7*r + 8. Let m be v(-7). Suppose -m = 2*l, 0 = 2*n + 3*n - 4*l - 46. Suppose -n = g - 2*d, -2*g + 3*g + 5*d = 22. Are g and 4 equal?
False
Suppose 0 = r - 6*r - 10. Suppose -3*u + 6*u - 3 = 0. Suppose 2*k = -1 - u. Is k at most r?
False
Suppose -46 + 19 = -3*v. Let p = v + -7. Let a = 0 + p. Is a bigger than 2?
False
Let h(u) = u**2 + 10*u - 5. Let t be h(-10). Let x be 38/(-14) - (-2)/(-7). Which is smaller: t or x?
t
Suppose -n + 5*y = 7 + 3, 3*n - 4*y = -8. Suppose n = -3*r - 1 - 2. Let v be r*2 + 16/7. Which is smaller: v or -1?
-1
Let s = 10 - 8. Let v be s + (-39)/15 - -1. Suppose a - 2 = -a. Is v equal to a?
False
Suppose -5*b + 15 = 5*d, 0*b + 3*b = 3*d + 15. Let c be d/((-1)/2) + -1. Which is greater: -2/9 or c?
c
Let v = 14 + -8. Is v less than 4?
False
Let v = -4.2 - -4.4. Which is smaller: 5 or v?
v
Let o = 30 + 5. Is 36 at least o?
True
Suppose 9 = -4*w + 7*w. Suppose 0 = -3*h + 4*m - 0 - 6, -4*h - m = -11. 