ave different values?
False
Let i = -35 + 43. Let b be (-1)/(-8) + 28/i + -4. Let k = -0.2 - 0.8. Is k > b?
False
Suppose 0 = 3*h - p - p - 9, -2*h - 5*p + 25 = 0. Suppose -21 - 4 = -h*g. Suppose -g*l + 0*w + w = -39, 0 = 5*l + 4*w - 19. Is 7 less than or equal to l?
True
Let c(f) = f**2 + 8*f - 11. Let y be c(-8). Let t = y - -6. Are t and -3 nonequal?
True
Suppose 178*u + 45 = 187*u. Is u > 17?
False
Let s = 93 + 37/3. Which is smaller: s or 106?
s
Let n(d) = -d**3 + 5*d**2 + 3*d. Suppose b = -3*b + 20. Let v be n(b). Let w = -3 + v. Is 13 less than or equal to w?
False
Suppose 5*p + 4 = 3*f - 11, 0 = 5*f + 2*p + 6. Suppose -c - 13 = 3*i, f = -5*i - 0*i - 2*c - 20. Let v be (2/2)/1*-6. Is v > i?
False
Let m(g) = -3*g**2 + 4*g**2 + 2*g - g + g. Let o be m(-2). Suppose o*t = -3*t. Which is greater: -8 or t?
t
Let r = 0 + 0. Let o = 311/13 + -25. Let a = o - -122/65. Is r at most a?
True
Let v be ((-14)/30)/(3/18). Let x(a) = 6*a**2. Let u be x(1). Let k be (-196)/42 - (-4)/u. Which is greater: v or k?
v
Let c = -69.2 + 97.97. Let x = c - 29. Is x equal to -1/3?
False
Let n = -2.443 + 2.503. Is -169 greater than or equal to n?
False
Let w be (-15)/(-50) - (-34)/20. Which is smaller: w or 0.088?
0.088
Suppose -6*p - 6 = -24. Let f = -10 + 14. Suppose 0 = -f*y - y + 10. Is y at least as big as p?
False
Suppose -2 = -2*f, -2*f - 2*f - 2 = 3*u. Let n be (-2)/u + (-7)/(-7). Let x be (-3 - -3)/(-3 - -5). Is x at least as big as n?
False
Let v = -0.2 - 0. Let l = 1.2 + v. Let n = -4.06 + 3.06. Which is smaller: n or l?
n
Let w be 17/((-136)/(-48)) - 7. Is 1/679 >= w?
True
Suppose 60 = -3*f + 7*f. Is f equal to 10?
False
Let u be (-30)/(-68)*(-17)/(153/(-24)). Is 1 not equal to u?
True
Suppose 0 = 2*n + p - 3*p + 362, -4*n - 692 = 4*p. Which is smaller: -175 or n?
n
Let l(w) = 2*w**2 + 5*w - 52. Let p be l(6). Suppose -55 = 5*f + p. Which is smaller: -22 or f?
-22
Let o = -41.45 + 11. Let d = -0.55 + o. Are d and -2/9 unequal?
True
Suppose 3*h - 13 = -2*z, 2 + 0 = 3*z + h. Let s(k) = 2*k**3 - k**2 - 2*k - 1. Let w be s(z). Let r be -2 - -7*7/49. Which is smaller: w or r?
w
Suppose -p + 437 - 445 = 0. Are -1 and p nonequal?
True
Let q = 23 - 22. Let o be 4048/240 + (-4)/(-30). Which is smaller: q or o?
q
Let m = -3/28 - 1/7. Let g(d) = -2*d + 12. Let r be g(5). Suppose -r*b + 22 = -5*x, 4*b - x = b + 7. Is b bigger than m?
True
Let x be (-27)/(-18)*4*1/(-3). Is x at most -5/6?
True
Let o(b) = -7*b**3 - 2*b**2 + 1. Let h be o(1). Let q be (h - -6)/(-2*1). Let j = -4 - -5. Are j and q unequal?
False
Let z = -5 - -5. Suppose -x + 0 = -1, z = 4*q - 4*x + 8. Let t = -376 + 3757/10. Which is bigger: q or t?
t
Let b = 8.04 - 8. Let a = -29.04 + b. Is -0.1 bigger than a?
True
Let g = -4151/2540 - -33/20. Are g and 0 equal?
False
Let m(r) = 2*r**3 + 8*r**2 - 6*r + 20. Let j be m(6). Suppose j = -8*s - 240. Is s <= -118?
True
Suppose -3*q = -228 - 429. Are 218 and q non-equal?
True
Let t be (-3 - (1 - 3))*1789. Let m = t - -227204/127. Is m greater than 1?
False
Let l = -526 - -888. Is 362 > l?
False
Let a(s) = -2*s**3 - 33*s**2 - 44*s - 1. Let p be a(-8). Do p and -738 have the same value?
False
Let y be (20607/(-8))/(48/3 - 0). Let n = y + 161. Are n and 1 nonequal?
True
Suppose -3*g - 3 = -2*a, -2*a - g - 12 = g. Let y be 2*a/6*(0 + 0). Is y at most as big as 5?
True
Let f(b) = b**2 + 19*b + 36. Let z be f(-17). Let o be (-4)/(-16)*2*z. Which is smaller: o or 8/13?
8/13
Let d be (-164)/10 - (-24)/(-40). Let i = -21 - d. Is i less than or equal to -5?
False
Let p be (-129)/7 - 81/(-189). Which is smaller: p or -81?
-81
Let b = 1060 + -1051. Are 1 and b non-equal?
True
Suppose -5*h + 9 = -t, 0 = -5*t - 2*h + 40 - 4. Let r be (-3)/t - 13/2. Let z = r + 6. Which is greater: -1/22 or z?
-1/22
Let k(t) = -2*t**2 - 13*t + 2. Let n be k(-6). Is n != 13?
True
Suppose 0*s = -5*s. Let l = -16 + 686/43. Which is bigger: l or s?
s
Suppose 0 = -3*o - 2*y - 12, -2*y - y = 2*o + 13. Is -9/14 at least o?
True
Let b be -27*2/28 - (-11 - -9). Is 1/2 greater than or equal to b?
True
Suppose 639 = 15*g - 6*g. Is g at least 72?
False
Let p be (2/(-414))/(60/(-72)). Which is bigger: p or 1?
1
Let f be (-6)/15*(-20)/(-2). Suppose -12 = -4*y, -3*q + 0*y = -2*y + 12. Is q smaller than f?
False
Let o = -0.109 + 0.519. Let f = -0.12 + 0.02. Are f and o equal?
False
Let y = -751/5 - -150. Which is greater: y or 71?
71
Let y be (-3)/((6/56)/1). Let q = 424 - 47. Let l be (q/39)/(2/(-6)). Which is bigger: l or y?
y
Suppose -4*v = -0*v + 64. Let m = 16 - 11. Let j = m - 20. Which is smaller: j or v?
v
Let n be (-25)/50 - 133/(-262). Let f = 517/917 + n. Which is smaller: 0 or f?
0
Let g(x) = 6*x. Let n be g(1). Let k = 26 - 24. Suppose -k*a + 8 = -n*a. Which is smaller: -3 or a?
-3
Let i(v) = -9*v - 28. Let g be i(-4). Which is smaller: 47/7 or g?
47/7
Let z = 14.5 - 14.5695. Let v = z + -12.0605. Let k = v - -0.13. Are k and 0 unequal?
True
Let m(g) = -2*g**2 + g + 3. Let f be m(2). Let v be 2 + -2 + (-2 - (f + 2)). Is v greater than -15?
True
Let r = 8 - 8.015. Let b = 0.015 + r. Is 4 less than b?
False
Suppose -3*w = -62 + 2. Let l = w + -26. Let h be (l/(-21))/(15/21). Is -1/4 smaller than h?
True
Let v be (-1)/2 - 4/6. Let g = -510 + 510. Is g equal to v?
False
Let c(m) = m**3 + 9*m**2 - 7*m + 11. Let w be c(-10). Let h = w - -17. Is -3 at most h?
True
Suppose 36*d - 33*d = 0. Let z(f) be the third derivative of f**5/60 - 5*f**4/24 + 5*f**3/6 - 2*f**2. Let n be z(4). Which is smaller: d or n?
d
Let w(c) = 78*c + 703. Let x be w(-9). Let i = -2/741 + 344/741. Is x greater than or equal to i?
True
Let n(q) = -2*q**3 + 2*q**2 - 15*q - 48. Let y be n(-3). Let s(c) = 5*c**2 + 2*c - 2. Let p be s(-4). Which is smaller: p or y?
y
Let w be (-1008)/(-16) + (-2 - 1). Are -2/9 and w nonequal?
True
Let l be -1 + -1 + 5 + -3. Which is smaller: -2/107 or l?
-2/107
Let s(a) = -3*a. Suppose 0*o - 12 = 3*o. Let w be s(o). Let j be -4 + -4 + 5 + 15. Is j greater than w?
False
Suppose -4*l - 2192 = -4*f, 5*f - 1237 - 1491 = 2*l. Which is smaller: 546 or f?
f
Let n(c) = -2*c**2 - 4*c - c**3 - 1 - 2*c**2 - 3*c**2. Let o be n(-6). Let a = -14 - o. Are a and 2 unequal?
True
Let z be ((-21)/6)/(-7) - 6055/12150. Which is smaller: 0 or z?
0
Let h be ((-5)/35 - -1)*-7. Let n be 8/(-18)*h/4. Are n and 0.09 equal?
False
Let d be ((-20)/(-480))/((-4)/156). Is d greater than or equal to -2?
True
Let s = -569 + 572. Are -30 and s unequal?
True
Let i = 54.3 + 16.7. Let a = i + -44. Which is bigger: a or -0.1?
a
Let j = -124 - -82. Let s = j + 461/11. Let z = 1 - 1. Is s at least z?
False
Let n = -5 + 4.5. Let y = n - -0.6. Let p = 2 - 1.4. Which is smaller: p or y?
y
Let v(m) = 11*m - 36. Let o(g) = 7*g - 24. Let l(i) = -8*o(i) + 5*v(i). Let a be l(7). Is 4 less than or equal to a?
True
Let t be (8/12)/(5 + (-30)/18). Let c(f) = -f**2 + 7*f - 9. Let a be c(6). Let r(z) = -z**2 - 3*z - 1. Let q be r(a). Which is smaller: t or q?
q
Suppose -o = 4*a - 1 - 1, 0 = 5*a - 5. Let l be (26/11)/o - (-54)/297. Let y(u) = -2*u**3 + u**2 - 1. Let p be y(1). Which is smaller: l or p?
p
Let y = 667 - 646. Which is bigger: y or 14?
y
Suppose g - 22 = 2*u, -3*g + 2*g - 32 = 4*u. Let n be -2*(2 + u/6). Let b = -188/323 + 9/17. Are n and b unequal?
True
Let u = -0.35 + 0.45. Let n = -0.04 + u. Which is smaller: 0 or n?
0
Let y be ((-12)/38)/(13 + -14). Let i = -26/291 - 482/1843. Let n = y - i. Which is smaller: n or 0?
0
Suppose -28*y + 32*y = -8, 69 = -3*c - 3*y. Suppose -66 = -2*z + 5*z. Which is smaller: c or z?
z
Let d be 2/(-3 + 2058/684) + 5. Is 233 less than d?
False
Suppose -428*s + 1655 = -433*s. Is -331 at least as big as s?
True
Let i(w) = -2*w + 4. Let j be i(0). Suppose -2*u + 21 = -3*b, 2*u + 5 + j = -3*b. Let q be 5/((-75)/48)*b. Is 16 smaller than q?
False
Let s = 563 + -533. Which is bigger: 31 or s?
31
Let f(j) be the first derivative of 2*j**3/3 - j**2 + 2*j - 6. Let v be f(2). Is 4 > v?
False
Suppose p + 3*t + 0 = 2, 0 = -p - 2*t + 3. Let m(w) = w**2 - 6*w + 5. Let s be m(p). Let a be (s + 0)/((-6)/(-3)). Is 1 at most as big as a?
False
Let s = 23 - 21. Suppose -3*z + 6 = -5*y, 0*y = -s*y + z - 2. Suppose -q - 2 + y = 0. Which is greater: -3/5 or q?
-3/5
Let w = 397/6 - 299/2. Is -2 at least w?
True
Suppose -3*