 >= b?
True
Let l(g) be the second derivative of -g**5/20 + g**3/6 - g**2/2 + g. Let b be l(1). Let d be (-3 + 91/35)/((-1)/(-5)). Does d = b?
False
Let a be ((-16)/168)/(6/(-56)). Which is bigger: a or 1?
1
Let z be ((-3)/4)/((-36)/(-32)). Which is smaller: 0.4 or z?
z
Suppose 4*a + 0*a - 20 = 0. Suppose -a*c + 4*c = 5. Let f = c - -13. Which is smaller: 1 or f?
1
Let d = -312 + 14021/45. Let h = d + -1/45. Is h at least -2/3?
True
Let m = 65 - 110. Let o be m/(-6) + (-2)/4. Suppose 0 = j - 2*p - o, j - 3*p = 6*j - 9. Do j and 2 have different values?
True
Let s(q) = -q**2 + 7*q + 2. Let l be s(8). Which is greater: l or -4?
-4
Suppose 4*o = -0*o + 12, 3*c - 4*o + 9 = 0. Are 1/9 and c equal?
False
Suppose -8*a + r - 3 = -3*a, 0 = -a - 4*r + 12. Let q be -5*(1 - -1)*-13. Let m be ((-13)/q)/((-4)/(-10)). Which is greater: m or a?
a
Let h(s) = -s - 5. Let l be h(-7). Let v be 0 - -1 - l/(-2). Let n = -2 + 1. Is v at most as big as n?
False
Let n be (-4)/12*18/8. Let b be (-1)/(-2) - 2/4. Do n and b have the same value?
False
Let k = -1.82 + 3.82. Let b = -3 - 1. Do b and k have the same value?
False
Suppose 2*x = 5*b - 915, 2*x = -5*b + x + 930. Let r = 4627/25 - b. Which is smaller: 1 or r?
r
Let d(y) = y**3 + 3*y**2 - 2*y - 4. Let c = -1 - 2. Let p be d(c). Suppose -p*h + 0 = -2. Which is greater: 0 or h?
h
Let q = 21 - 21.24. Let t = q + 0.17. Are 0 and t unequal?
True
Let i = 3.6 - -0.4. Let w = -10 + 11. Which is smaller: i or w?
w
Let c = 52/3 + -18. Let s(m) = 2*m**2 + 14*m + 10. Let u be s(-6). Are c and u equal?
False
Let h = 77 + -77.3. Does 2 = h?
False
Let k = 65 - 44. Is 20 < k?
True
Suppose 3*q - 4*l - 52 = 0, -5*l - 69 = -0*q - 4*q. Are 15 and q equal?
False
Suppose -b = -4*g + 53, -g = 2*b - 2*g + 120. Is b > -61?
False
Let x(b) = 4*b. Let h be x(-1). Let o be h/14 - (-57)/(-21). Let q = o + 3. Is q equal to -1?
False
Let v be (-2)/4 - 9/(-12). Let i be (12/2)/(1 + 1). Suppose 2*t - i*w = 2*w + 2, 0 = 3*w. Are t and v unequal?
True
Suppose 7 = -3*n - 5*u + 33, -n - 6 = -2*u. Suppose -n*w = -w. Is w at least 0?
True
Let g = 84.6 + -85. Which is smaller: g or 1/3?
g
Let q = -0.236 + -9.764. Suppose 4*y - 6*z + 3*z = -2, 1 = -5*y + 3*z. Which is smaller: q or y?
q
Suppose 0 = 2*v + r - 11, r + 3*r = -5*v + 29. Suppose -o + 22 = -3*w - 17, -o = v*w - 31. Let f be 5/(-2)*o/(-30). Is f > 4?
False
Let g = -0.306 - -0.106. Which is smaller: g or -1?
-1
Suppose 2*g + 7 = -5. Which is smaller: g or -19/3?
-19/3
Let q(p) = 9*p**3 + p**2 + p. Let c be q(-1). Which is greater: -7 or c?
-7
Let k be 4/18 + 5555/(-2925). Let i = k - -14/13. Suppose 0 - 4 = 4*j. Which is bigger: i or j?
i
Suppose 0 = -y - 3*y - 28. Let d be (-2)/y + 69/(-21). Which is smaller: -2 or d?
d
Let u(o) = o**2 + 8*o + 8. Suppose -7*v - 42 = -v. Let h be u(v). Are h and 2/7 nonequal?
True
Let b = -32 - -34. Is 2 < b?
False
Let y be (-45)/6*(-2)/3. Suppose -3*i + x = -1, -i + y*x = 4 + 5. Let w = -2/5 - -17/30. Do w and i have the same value?
False
Let s be (-2)/4 - (-95)/(-10). Let f = s - -8. Which is smaller: f or -4/3?
f
Let b = 3 + -5. Let y = 13.3 - 19.3. Is b greater than y?
True
Let m(d) = -4 - 4 - 11*d - 1 + 10*d. Let v be m(-11). Is v > -3?
True
Let a(g) = g**3 + 19*g**2 + 17*g - 24. Let q be a(-18). Which is bigger: -4 or q?
-4
Let v = -21 + 31. Suppose 4*f - 3*f = v. Is f at most -0.1?
False
Let z = -1/959 - 18215/5754. Are z and -3 non-equal?
True
Suppose 2*w + w = 12. Suppose -4*a + 3*a + 4*f + 24 = 0, 28 = w*a + f. Do a and 8 have different values?
False
Let y be (-1 + -2)/((-6)/64). Suppose -4*k + 5*d = d - y, -2*k - 4 = 2*d. Suppose m + 5 = 0, -k*m + m = 5*n + 10. Is -1/3 <= n?
True
Let x(l) = l - 3. Suppose 0 = -w - 1 + 2. Suppose -3*u + 8 = -w. Let j be x(u). Which is smaller: -2/9 or j?
-2/9
Let q be (-21)/21*(0/(-3) - -1). Let i = 7 - 10. Is i >= q?
False
Let s = -4 - -6. Suppose -4*t - t = 3*q, -2*t + s*q = 0. Let c be 1*(t - (4 - 2)). Is c less than or equal to -3?
False
Suppose 2*h - 1 = -3. Is h at most -2?
False
Let v = -22 - -30. Which is greater: -1 or v?
v
Let y = 23 + -22. Which is smaller: y or -7?
-7
Let y be -2 - (95/(-20) + 4). Let o(v) = -v**3 + 2*v**2 + v + 4. Let q be o(3). Is q >= y?
False
Suppose 3*k - 4 = -16. Let p = k + 6. Let i = 1/2 - 0. Is p less than or equal to i?
False
Let p be 1*(-1 + 3/1). Let r be (p/(-33))/((-6)/18). Is r bigger than -1?
True
Let m = 0.75 + -0.55. Which is smaller: 52 or m?
m
Let g = -10.9 - 14.1. Which is smaller: -1 or g?
g
Suppose 3*u + 5*q = 16, u - 2*u = -2*q + 13. Let d(m) = -m**3 - 4*m**2 - 3*m. Let a be d(u). Is a less than 3/4?
True
Let i be (12/7)/((-2)/(-7)). Let h be -15*(-2)/6*4. Let p = h + -13. Which is greater: i or p?
p
Suppose 3*f = -3*n + 27, 0*f + 2*f + 14 = 2*n. Suppose s = -3*s + n. Suppose -6*h + 4*h = s. Is h > -1?
False
Let u be ((-2)/(-3))/(2/15). Suppose -u*j - 5 = -30. Suppose w - 3*a = 5, -3*w + 5*a + 2 + j = 0. Is -1/9 not equal to w?
True
Let l(i) = -i**3 + 10*i**2 - 8*i - 5. Let x be l(9). Suppose 0*z = -3*z - 5*r + 30, x*r = 12. Which is smaller: z or 4?
4
Let a be 4/10 - (-492)/20. Suppose -2*y + 2*u - 28 = 0, -5*y + u = a + 25. Which is smaller: y or -10?
-10
Let a = 33 - 25. Is a equal to 0.1?
False
Let o = -5.15 + 0.15. Which is smaller: 1/2 or o?
o
Let d = -11.9 + 69.9. Which is smaller: 2/3 or d?
2/3
Let b(u) = -u**3 + 15*u**2 + u - 16. Let g be b(15). Is -2/45 smaller than g?
False
Let o(g) = g**3 - 5*g**2 - 5*g - 7. Let v be o(6). Which is smaller: -12 or v?
-12
Let t = -0.16 + 0.1. Let d = 0.04 + -0.1. Let r = t - d. Is 5 greater than r?
True
Let w be (4/10)/(19/95). Let r be (5/(-2))/(1/(-2)). Suppose o = -3*b + 3*o, -4*b - r*o = 0. Which is bigger: b or w?
w
Suppose 325 = 5*s - 4*m, 3*s - 168 = -2*m - m. Is s at least as big as 62?
False
Suppose 2*l = -3*t + 3 - 13, -11 = -3*l + 2*t. Suppose -w - 1 = j, -4*j - l = w - 0*w. Suppose 3*p = -2*p - 5. Is w bigger than p?
False
Let k = -4 - -4. Suppose -4*r + 4*p = -12, -4*r + p + 15 = -k*p. Let c = 3 - r. Which is smaller: -8/7 or c?
-8/7
Let i = 402 - 285. Do 117 and i have the same value?
True
Let p = -985/7 - -141. Which is smaller: 0.3 or p?
p
Let v = 2.05 - 0.08. Let g = -2.11 - -0.11. Let a = g + v. Do 1 and a have the same value?
False
Let c(w) = 9*w**2 + 3*w + 4. Let o(g) = -18*g**2 - 5*g - 7. Let d(r) = 5*c(r) + 3*o(r). Let q be d(1). Are q and -9 nonequal?
True
Let s be (372/(-36))/(((-20)/6)/2). Is s at least -2/3?
True
Let l = 0 + 0.2. Let r = l + -0.6. Let c = -0.5 - r. Which is smaller: -1 or c?
-1
Let d = 13416/7 - 1920. Let y = 17486 + -611876/35. Let v = y + d. Are 1 and v non-equal?
True
Suppose 0 = -4*x - x - 5. Which is smaller: x or -4/9?
x
Let h be (-2)/(-1 - (-5)/3). Let u(n) = -2*n - 3. Let g be u(h). Suppose 4*z - g = 5. Is 2/3 equal to z?
False
Suppose 0 = -4*x + d + 8, 2*x - 3*d - 18 = d. Let y(o) = -o**3 + 5*o**2 - 5*o + 5. Let m be y(4). Is x greater than m?
False
Suppose 14 = 2*z + 2. Which is smaller: 1 or z?
1
Suppose -2*h - z = 7, -2 - 11 = 5*h + z. Let j be 1 + h + (-13)/(-11). Let s be (-2)/((-6)/(-1))*3. Which is smaller: j or s?
s
Suppose -8 = -2*b, -4*z = -4*b + b + 4. Let w be (z/(-12))/((-5)/25). Let p = 1/2 - w. Is 4/5 not equal to p?
True
Suppose -5*b = -2*b + 3*w - 18, 0 = -2*b + 3*w - 3. Is b equal to 0.08?
False
Let y = 1.57 - 1.5. Let o = y - 0.08. Is -0.1 at most as big as o?
True
Let z = 0.28 - 0.17. Which is smaller: -1/2 or z?
-1/2
Let w = 11 + -11. Which is greater: w or -1.4?
w
Let c = 5 + 5. Suppose 2*i = 7*i - c. Suppose 0 = -3*l + 2*l + i. Which is smaller: 3/5 or l?
3/5
Let u(w) = -w - 4. Let i be u(-6). Suppose 3*g + 4 + i = 0. Does -4 = g?
False
Suppose 4*o + r = 8*o - 16, 2*r = 8. Let w = -2 + o. Which is greater: w or 1?
w
Let h = 0 + -3. Let j be 77/28 + h*1. Is -1 smaller than j?
True
Let s(j) = j**3 + 5*j**2 - 5*j - 3. Let o be s(-3). Let x = o + -272/9. Which is greater: 0 or x?
0
Let g be (-3)/((-6)/(-4)) + 5. Suppose 9 + 11 = -5*s, -2*i + g*s + 16 = 0. Let f be (i + 0)/(-2)*1. Are f and -3/2 equal?
False
Let i be (56/6)/((-2)/6). Is -28 bigger than i?
False
Suppose -4*n - 7 = -5*p + 8, -3*p = n + 8. Let y be 2/(-10) + (-6)/n. Let t = -8/91 + 3/13. Is y > t?
True
Suppose -2*m + 7*m = -25, 3*b = -2*m - 7. Let p be (0 - 0)/(-2 + b). Is -11 <= p?
Tru