h is bigger: 0 or x?
0
Let c = -55 + 53. Let v = 2 - 2. Let n = 1 + v. Which is smaller: c or n?
c
Let r = -26.1 - -25. Let b = r - -1. Let h(f) = -f**3 - 3*f**2 + f + 2. Let i be h(-3). Is i not equal to b?
True
Suppose -5*b - 2*r - 8 = -0*b, 0 = 5*r + 20. Suppose b + 3 = -3*h. Is -1 > h?
False
Suppose 2*z + z = 0. Let j be (-2 + z)/((-6)/3). Is 8 <= j?
False
Let i be (-1)/(-3) - (-3)/45. Suppose -2 = -r + 10. Suppose -2*y + 3 = 8*h - 3*h, r = 3*y. Which is bigger: h or i?
i
Let q(b) = 2*b - b**3 + 0*b**3 + 2*b**3 - 2*b**2 - 1 + 0*b**3. Let x be q(1). Do x and 0 have different values?
False
Let v be -2 - (-2 + 1*-2). Let a(p) = 2*p**2 - p. Let c be a(-1). Is v greater than c?
False
Let i = -85847 + 770666/9. Let r = i - -217. Suppose 3*g - 4*g - 5 = 4*c, 2*g + 3*c = -5. Is g < r?
True
Suppose -19 = 2*f + p - 7, 8 = -4*p. Let r(h) = -4*h - 7. Let n be r(f). Suppose -3*g - n = -5*k, k + 0*g - g = 3. Is 1/2 < k?
True
Let n(b) = -b**2 + b. Let d(k) = -k**2 - 3*k - 1. Let g(s) = d(s) + 5*n(s). Suppose 3 = 2*r + 1. Let p be g(r). Which is smaller: -1 or p?
p
Let w = -0.17 - -0.17. Is 26 less than or equal to w?
False
Let i(a) = a**3 - 4*a**2 + 3*a + 2. Let d be i(3). Let u be 0 + 3*d/3. Let f be (-28)/(-24) - (-6)/(-9). Do f and u have the same value?
False
Let y = 17 + -97/6. Suppose 0 = 3*a + 4 - 10. Which is smaller: y or a?
y
Suppose -d = -4*d + 6. Suppose 2*h = -0 - d. Is -2 smaller than h?
True
Suppose 2*x + 2 = -2. Suppose 5 = -l + 1. Let i = -5 - l. Does i = x?
False
Suppose 39 = -4*l + 27. Let p be 14 - -1 - 6/l. Is 17 greater than or equal to p?
True
Suppose -5*t - 620 = -0*t. Let x be 2/14 - t/14. Which is bigger: x or 10?
10
Let z be 3/9 - (-11336)/(-42). Let h = z + 269. Which is smaller: h or 0?
h
Let y = 164 + -278. Let f = 20531/180 + 61/180. Let v = y + f. Is -1 > v?
False
Let p be 3 + (-1)/((-42)/360). Which is greater: p or 11?
p
Let u = 53.7 - 56. Let p = 4.3 + u. Is p greater than or equal to -3?
True
Let q be 1 + (-32)/(-20) + -3. Is q < 1/2?
True
Suppose 2*r + 12 - 3 = -5*w, 0 = -w - 5. Let x be -18*(6/r)/(-3). Is x at most 6?
True
Suppose -3*w = -2 - 1. Let u = 136/6279 - -2/273. Which is greater: w or u?
w
Let s(w) = -w + 5. Let j be s(4). Is 2/33 smaller than j?
True
Let l = -82 + 83. Is l greater than or equal to -1/117?
True
Let y be 844/(-24) + 3/18. Let z be 4/(-14) - (-25)/y. Which is bigger: 1/11 or z?
1/11
Suppose 0 = 4*s - 0*s. Suppose -4*f = -22 + 6. Let u be f/16*(-16)/(-6). Which is greater: u or s?
u
Suppose m = k - 2, 5*k = -2*m + m + 28. Let p be 2/4 - 9/6. Let o(q) = 6*q**2 - 1. Let v be o(p). Is v at most as big as m?
False
Let g be ((-6)/3)/(4/10). Let q(c) be the second derivative of c**5/20 + c**4/3 - 5*c**3/6 + c**2/2 - 2*c. Let n be q(g). Are n and 3/7 unequal?
True
Let p = -1.9 + 2. Let j = -1.98 + 2. Let b = 0.22 - j. Is b less than p?
False
Let t = 4407/88 - 405/8. Suppose -14 = 3*v + 4*k, 3*v + 0*k + 8 = -k. Which is smaller: v or t?
v
Let h = 1.2 + -0.2. Let c = 38 + -116/3. Do h and c have the same value?
False
Suppose -3*h - 2*q + 2 = 0, -3*h + 0*q - 4*q = 2. Let d = 0.4 - 3.4. Is d < h?
True
Suppose 0 = 2*r + 3*r + 2*v - 5, -2*r = 3*v + 9. Let x be -1 + r + (-64)/28. Which is greater: 0.2 or x?
0.2
Let u(z) = -20*z - 6. Let h be u(-4). Let x = -316324/4279 - 100/389. Let o = h + x. Is -1 less than o?
True
Let l = 227 + -1592/7. Let c = 5 + 1. Suppose c = 5*v + 1. Which is greater: v or l?
v
Let o = 5 + -9. Let n be (o/5)/((-4)/(-30)). Let z be (-1)/(3/n) + 1. Is 3 at most as big as z?
True
Let o = 0.13 + -0.03. Which is bigger: o or -9?
o
Let t = -3 + 6. Let v(d) = -2*d**2 + 3*d + 4. Let u be v(t). Suppose 0 = o - 1 + 5. Is o less than u?
False
Suppose 49 = -6*z + 1. Which is smaller: z or -12?
-12
Let r(v) = -2*v**3 - 3*v**2 - 5*v - 4. Let l be r(-2). Is l at least as big as 9?
True
Let s(b) = -b. Let v(u) = u + 1. Let w(c) = 4*s(c) + 3*v(c). Let o be w(-4). Which is bigger: -2/3 or o?
o
Let z be 20/4*-1 + 4. Are -1/106 and z nonequal?
True
Let n = -36 + 21. Let g = n + 8. Let r = g + 7. Which is bigger: r or 2/7?
2/7
Suppose 3*s - 18 - 9 = 0. Let w be (1 - 0)*(5 - 3). Let i be (-114)/27 + w/s. Are i and -2 nonequal?
True
Let t = 0 - -0.9. Let v be (1/8)/(3/(-6)). Which is smaller: v or t?
v
Let w = -83.9 + 84. Which is bigger: w or 40?
40
Let k be ((-2)/12)/(14/(-21)). Is -0.18 less than k?
True
Suppose -6*g = -8*g. Let r be ((-8)/(-34))/(-2 - g). Which is bigger: r or 0?
0
Let j = 1781/4792 - -2/599. Which is smaller: 1 or j?
j
Suppose -5*m = 15, 4*w + 7*m - 3*m - 116 = 0. Is w at least 31?
True
Let d(p) = -p**3 - 6*p**2 + 2. Let c be d(-6). Suppose -c*m = -m + 3. Let a(x) = -x**2 + 3*x - 2. Let w be a(2). Is w >= m?
True
Let s = -7 - -10. Suppose 0*x = s*x. Is x bigger than 1/8?
False
Let l be 4/(-10) - 118/5. Let p be 13/4 + (-18)/l. Suppose -4*b + 0*b + 16 = 0. Is b >= p?
True
Let j = 4.11 - 0.11. Let s = j + -4.1. Let r be ((-2)/6)/((-6)/18). Which is smaller: r or s?
s
Suppose -b + 2*q - 19 = 0, -2*q = 3*b - 7*q + 58. Is b at least -21?
True
Let g = 11 + -6. Let y = 15 - g. Let z = -13 + y. Is -3/2 > z?
True
Let d = -16 + 22. Let h be (3/(-3))/(4/(-20)). Which is smaller: h or d?
h
Let t = 24 - 25. Suppose -20 = -5*b - 0*b, 16 = -3*l + b. Let u = -6 - l. Which is bigger: t or u?
t
Suppose -2*n = -0*n - 3*z + 6, 5*z = 4*n + 14. Let c = n - 3. Do c and -0.1 have the same value?
False
Suppose 6*j = 3*j - 15. Let s(m) = m**2 + 7*m - 1. Let g be s(j). Is g <= -11?
True
Let h = -1 + -3. Let a be (3 - (-10)/h)*0. Which is greater: a or -3?
a
Suppose -6 = 2*q + 3*d, 9 = 3*q - 5*d - 1. Is q greater than or equal to -2?
True
Let t = -66 + 68. Let m = -2 + -1. Is m greater than t?
False
Suppose c - p = 5*c - 233, 0 = -c - 5*p + 44. Which is smaller: c or 58?
58
Let u = -6 - -9. Let c = u - -16. Let i be 2 + (-2)/(20/c). Which is smaller: i or 1?
i
Suppose w - 36 = s, 4*s + 104 = -0*s - 4*w. Are s and -30 equal?
False
Let c(w) = -w**2 - 17*w - 2. Let o be c(-18). Which is smaller: -21 or o?
-21
Suppose h - 3*l = 4*h - 3, 2*h - l = 5. Suppose -h*u = -3*p - 0*u + 7, -3*p - 3*u = 3. Which is smaller: p or 1/3?
1/3
Let s be ((-2)/(-3))/(2/6). Suppose -5*b + 36 = -s*b. Is b equal to 11?
False
Let b = -0.1 + 0.05. Is 2 less than or equal to b?
False
Let m = 1.2 - -0.8. Let j = 0.2 + -0.1. Let c = j - 0.2. Which is smaller: c or m?
c
Suppose -14*q = -20*q. Which is bigger: 2 or q?
2
Suppose 4*k - 57 = -17. Which is bigger: 9 or k?
k
Let f = 3 - 2. Let n = f - 1. Suppose -4*h + 5 = -y, -3*h + 0*h + 21 = 5*y. Which is bigger: h or n?
h
Let n(w) = -w**3 - 17*w**2 + 18*w - 43. Let f be n(-18). Which is bigger: -44 or f?
f
Let p = -1.6 + 1.49. Let f = 0.91 + p. Let k = -0.7 + f. Which is bigger: k or 0.5?
0.5
Let p be 2/6*(-27)/8. Let s(w) = w**2 + 3*w - 1. Let x be s(-3). Is x > p?
True
Let o = 151/9 - 3769/225. Are o and 1 non-equal?
True
Suppose 2 = -6*b + 2. Is -2/11 at least as big as b?
False
Let u = -23 + 23. Is u equal to 2/11?
False
Suppose -4*i + 2*k + 10 = 0, -17 - 3 = -i + 4*k. Suppose 0 = 5*d + 2*y - 3 - 3, 0 = -2*y + 6. Is i smaller than d?
False
Let y = -12 - 8. Let a = 20 + y. Which is greater: -0.3 or a?
a
Let z be (-2 + 3)*(0 + -4). Let q be (6/(-27))/(z/6). Let h = -1 + 0. Is h smaller than q?
True
Let w be -3 + ((-4)/(-146) - -3). Which is smaller: w or 0?
0
Let u = -2 + 2. Let y(j) = j - 1. Let l be y(3). Does l = u?
False
Suppose 5*p = r - 25, -53 = -4*r - p + 5. Is r at most 15?
True
Suppose -13 = 3*w + 35. Let p = w + 17. Which is greater: -4/11 or p?
p
Let f(k) = -k - 14. Let v(m) = -m - 13. Let x(n) = 3*f(n) - 4*v(n). Let p be x(-12). Is -1 equal to p?
False
Let u(q) = q**2 + 6*q. Let k be u(-6). Suppose y = 0, 3*y = -5*l - 3 + 8. Let h = k - l. Which is greater: h or 1/3?
1/3
Let t be ((-2)/(-6))/(21/63). Which is smaller: -2/43 or t?
-2/43
Let i = 13771/34 - 405. Is i > 1?
False
Let p = -0.1 - -0.05. Let g = 0.18 - -1.82. Is g smaller than p?
False
Let y(c) = c**3 - 5*c**2 - 6*c + 1. Let o(h) = h**2 + 8*h + 6. Let z be o(-8). Let i be y(z). Suppose 0 = -2*x - i - 3. Is 0.2 smaller than x?
False
Suppose -4*t = 2*f + 14, -2*f = 3*t - 2*t - 1. Let k be (-5 + 0 - 0)/1. Is k bigger than t?
False
Let m(b) = -2*b - 2. Let d be m(-3). Suppose 64 = -4*a + d*h, 7*a = 2*a - h - 62. Is a <