+ -3.92. Is c greater than or equal to j?
False
Let d = 74/11 - 149/22. Let h(f) = -f**3 + 3*f**2 + 4*f. Let w be h(3). Let y be w/9*12/16. Is y greater than or equal to d?
True
Let f = -1644.1 + 1644. Let w = 33 + -52. Which is greater: f or w?
f
Suppose 7*h + 80 = -3*h. Is -66/7 at least h?
False
Let a = 0.0857 - 0.2657. Suppose 0 = -3*i - 4 - 26. Let q(y) = y**2 + 11*y + 11. Let u be q(i). Are u and a nonequal?
True
Let n be -1*(3 - 9)/24. Is 25 smaller than n?
False
Let u(c) = -13*c**3 - 2*c**2 + 5*c - 4. Let r be u(1). Which is bigger: -94/7 or r?
-94/7
Let y = -32 - -20. Let i be 3*(112/y - 0). Let t be 76/224 - 8/i. Is 2 at most as big as t?
False
Let w = 6 + -3. Suppose 0 = f - w*f - f. Is 2 at most as big as f?
False
Suppose -2*s - 5*y = -75, -5*s = y - 0*y - 176. Let b = -37 + s. Which is bigger: -8/5 or b?
-8/5
Let b be 1624/(-20) - 5/(-25). Let a be 0 + (-28)/b + 13/(-39). Is a less than or equal to -1?
False
Let n = 25/161 - 5/138. Let r = n + -23/546. Is r < 0?
False
Let n = -26/45 - -4/5. Let v be 1*(2 - 0) - 1. Is v at most as big as n?
False
Let n(q) = -q**2 - 7*q + 3. Suppose -2*h = 4*x - 756, -h + 4 = 2. Let m be x/(-28) - 2/7. Let k be n(m). Is k bigger than 3?
False
Suppose 12*w - 16*w + 24 = 0. Let c = 10 + -9.8. Which is smaller: w or c?
c
Suppose 7*m + 393 + 13 = 0. Let l = 57 + m. Which is smaller: l or 5?
l
Suppose 7*t + 620 = 39. Which is bigger: t or -82?
-82
Suppose 0 = 2*c + r - 79, 48*c + r = 45*c + 117. Is 14 greater than c?
False
Let m(q) = q**3 + 6*q**2 - q + 9. Let s be m(-6). Let c = -10 + s. Suppose c*b = 4*t + 10, 0 = b + t - 1 - 1. Which is bigger: -1 or b?
b
Let k be (2/(-6) - 0)*(-18 + 30). Which is smaller: 7 or k?
k
Let c be ((-16)/(-24))/(2/(-789)). Do -263 and c have different values?
False
Suppose l + 13 = 11. Let x be (l/(-7))/(2/14). Is -25 smaller than x?
True
Let b = 29 - 16. Let j = b + -40. Let h = -27.1 - j. Which is smaller: 5/2 or h?
h
Let l = -16.1 + 38. Let c = -0.035 + 22.035. Let p = c - l. Is -10 < p?
True
Let x(w) = 16*w + 21. Let h(r) = r + 1. Let q(m) = -6*h(m) + x(m). Let c be q(-5). Is -34 <= c?
False
Let n = -0.083 + 1.083. Is n equal to -330/13?
False
Let q = -1 + 4.8. Let a = 15.2 + q. Let b = -19 + a. Which is smaller: b or -2?
-2
Let q(d) = d**3 + 9*d**2 - 8*d - 25. Let v be q(-11). Which is smaller: -355/2 or v?
v
Let u be (3*-3)/(4 + -3). Let h = u - -12. Suppose -3*i = 4*w + 13, -h*i - 10 = -5*w + 2*i. Is w greater than or equal to 0?
False
Let y(w) = 2*w + 8. Let p be y(3). Let n be (p/(-6) - -2)*(-6)/4. Let f = -0.04 - 0.26. Are f and n non-equal?
True
Suppose -9*b = 39 - 354. Let s = 981/28 - b. Do s and -1 have different values?
True
Let p = 2480563/404 + -6140. Which is bigger: p or 0?
p
Let k = 14 + -12. Suppose -6*q = -3*q - k*r - 21, 5*q = 2*r + 31. Suppose -q*a + 0 = 10. Which is smaller: 0.3 or a?
a
Let x(v) = v**3 - 15*v**2 - 2. Let l be x(15). Let u be 2/(-11) + (-216)/(-99). Which is smaller: u or l?
l
Let v be (-6)/(-1412)*84/(-63). Which is greater: v or -1?
v
Let o = -255 + 12241/48. Which is bigger: -0.8 or o?
o
Let i be 9/(27/12) - 54. Let y = 30 + i. Let z be (-16)/y*25/(-2). Which is smaller: z or -7?
z
Let c = 25.7 - 34.7. Are c and -11 equal?
False
Let q = -22 + 108. Is q greater than 87?
False
Suppose -q = -2*k + 562, -11 = -2*q + k - 1147. Let i be q/(-135) + 2/(-9). Which is greater: 9 or i?
9
Let o be -2 - ((-29)/3 + 1). Let c(m) = -m + 1. Let h be c(-4). Suppose 0 = -g - j + 4, 0 = -h*g + 2*j + 48. Is o bigger than g?
False
Let b(k) = k**2 - 13*k + 5. Let r be b(13). Let p(n) = 2*n - 4. Let d be p(2). Suppose -8*g + r*g = d. Which is smaller: -8 or g?
-8
Let s be -2 - (-23)/(-6) - -2. Let i be ((-6)/4)/(1/2). Which is greater: s or i?
i
Let f = -295 - -508. Which is greater: 212 or f?
f
Suppose 5*c + 5 = -5*w, 0 = 10*c - 5*c. Is 4/21 at most as big as w?
False
Suppose 17*y = -0*y - 0*y. Do 2/713 and y have the same value?
False
Suppose x + 5*w - 27 = -10, 3*w = -3*x + 63. Let o = x - 22. Is o >= -11?
True
Let f be (-47 - 1)*36/(-24). Let r = f - 48. Let n = 5 - r. Is n greater than -19?
False
Let g(k) = -43 - 4*k + k**2 + 3*k + 49. Let z be g(-8). Let x = 232/3 - z. Which is greater: -1 or x?
x
Let c = -20 + 20.2. Let f = 21 - 8. Is f at most c?
False
Let v = -69 - -47. Let n = v + 24.2. Let p = -1.2 + n. Is -0.01 <= p?
True
Let s be -3*87*(1 + -2). Let q be s/116*(-16)/42. Which is bigger: q or 0?
0
Let m(r) = -2*r - 2. Let q be m(-2). Let y be (2/(-32))/(q/12). Is -1 >= y?
False
Let g = -25/7891 + -1852060/733863. Let j = 6/31 + g. Is -1 less than or equal to j?
False
Suppose -2*y + 1 = -7, n + y - 424 = 0. Let r be 10/25 + (-173)/n. Let x = -11/42 - r. Is x >= 4/7?
False
Let a(t) = -132*t**3 - 1. Let u be a(-1). Let n be (3*(-3)/27*-3)/u. Is n less than or equal to 0?
False
Suppose -3 = 3*n + 15. Let q be (4/n)/((-4)/(-6)). Let b = 3 - 7/2. Which is greater: b or q?
b
Let d = -659/6 + 1945/18. Is -3 not equal to d?
True
Suppose -x = 4*p + 11, 4*p + 32 = -5*x - 23. Let v = 3 - 5. Let g = v - -2. Which is smaller: x or g?
x
Let w = 0.8871 + 0.1129. Suppose 3*t - p = 16, -2*t - 3*t - 5*p = 0. Suppose -4*x + 2*s = 8, 0 = -x + 6*x + s - t. Do w and x have different values?
True
Let c = -24 - -24. Suppose 2*o - 7*o - 5 = c. Which is bigger: -5/3 or o?
o
Let h be (-3)/84 + (-2)/8. Let w(v) = 124*v - 2. Let b be w(-1). Let n be (-2)/(-10) - b/(-330). Which is smaller: n or h?
h
Let s = 129 - 74. Let w = 54.2 - s. Which is greater: w or 2/9?
2/9
Let j = 3/352 - -29/1760. Are 1/2 and j unequal?
True
Let x = 53579543/1911990 + -44636/1955. Let h = 4/163 - x. Is h smaller than -1?
True
Let c be 192940/(-104650) + 2 - 6/39. Which is smaller: -3 or c?
-3
Let t(d) be the first derivative of -2*d**2 - 26*d + 5. Let o be t(-8). Is o > 4?
True
Suppose s - 5*x - 20 = 0, -3*s - x + 22 = 2*s. Let k(w) = w**3 - 3*w**2 + 9*w + 3. Let o be k(3). Suppose 4*n + n = o. Is n <= s?
False
Let p = 0 - 2. Let u = 3811 + -3815. Is u equal to p?
False
Let l be (-3)/(12/368)*31/62. Is l equal to -34?
False
Let d be (-13020)/(-30) - (-6)/(-2). Let c = -4737/11 + d. Which is smaller: c or 0?
0
Let l = 0.0218 - 0.1218. Is l > -859?
True
Let j(p) = -2*p - 1. Let o be j(-4). Let a = 7 - o. Let d be a + (-1 - -2) - 2. Which is greater: -2/7 or d?
-2/7
Let b be (-16)/(96/63)*4/(-2). Is 21 equal to b?
True
Let v = 131.2 + -135. Let q = v - -10.8. Let o = 2.3 + -2. Is o not equal to q?
True
Let u = -0.72 - -0.51. Let d = u - 18.79. Which is smaller: d or -2?
d
Suppose 2560 = -5*m + 3*m - 4*z, -m - 1283 = 5*z. Which is smaller: m or -1279?
-1279
Let s = -0.2 + 0.08. Let c = -0.1768 - -1.1768. Which is bigger: c or s?
c
Let v = 6 + -4. Suppose 35 = -7*y + 35. Is v < y?
False
Let f = -0.42 - -0.02. Let m = 1.2 + -1. Do m and f have the same value?
False
Let d(l) = -12*l + 42. Let z be d(4). Suppose -3*u = 18 - 0. Does z = u?
True
Suppose -3*r - 80 + 76 = 4*i, -4*r + 4*i + 4 = 0. Is r at least -1/2139?
True
Suppose -3*u + 1 - 4 = 3*t, -3*t = -3*u + 9. Which is smaller: t or -11?
-11
Let w(p) be the second derivative of p**5/20 + p**4/4 - p**3 - 3*p**2 - 3*p. Let q = 28 - 32. Let g be w(q). Which is greater: 5/6 or g?
g
Suppose -2*j + 132 + 12 = y, -361 = -5*j - 3*y. Which is smaller: 2 or j?
2
Let g(j) = j**3 + 7*j**2 - 4*j + 31. Let r be g(-8). Which is smaller: -2/41 or r?
r
Let t be (-10)/4*(-5)/25*4. Suppose -z - 3*x + 13 = 0, -5*z - t*x - x + 17 = 0. Is -3/29 at most z?
True
Let t = -250 - -210.9. Let y = t - -39. Let k = 1 - 1.01. Which is smaller: k or y?
y
Suppose 3*a + 0*h - h - 23 = 0, h = 4*a - 30. Let k(g) = 2*g - 17. Let f(o) = 3*o - 33. Let q(u) = -3*f(u) + 5*k(u). Let v be q(-7). Are a and v unequal?
False
Suppose -30*j + 25*j = 0. Which is smaller: -4/93 or j?
-4/93
Suppose 2*j - 3 - 3 = 0. Let n(l) = l**2 - 4*l + 4. Let m be n(j). Let b = -517/7 - -74. Is m at most b?
False
Suppose -9*v + 11*v = -96. Let d = v - -60. Which is smaller: 13 or d?
d
Suppose 12*z + 15 = 87. Suppose -9*o = z*o - 15. Which is smaller: -2 or o?
-2
Let o(m) = 2*m - 3. Let p be o(4). Suppose -p*l + 3*l = 0. Let i be (4/6)/((-4200)/(-945)). Are i and l equal?
False
Let b = 43 - 52. Let t = -0.45 + 0.25. Which is bigger: b or t?
t
Suppose 4*j + 4 = -5*y - 7, -j + 16 = -5*y. Let q = 0.001 + 46.999