= -4*c - 0*a - 2*a + 28, 3*c - 3 = 3*a. Suppose j - c = 6*j. Let m = 6 + -7. Is m at most j?
True
Let a be (-1)/(-294)*(-3)/2. Let y = -983/588 - a. Is y at least -2?
True
Suppose 0 = -b - 1, -b + 3 = c + 4. Let j be (-3)/(-4)*(-16)/(-30). Which is greater: c or j?
j
Suppose -3*r + p - 8 = 0, r + 0*p - 6 = -4*p. Suppose 1 + 1 = -2*c. Let b be r/(c*2 + 4). Is -3/5 at least b?
True
Let b = -2 - -2. Let f = 0 - b. Let u be (-6)/(-21) + (-4)/(-35). Which is bigger: f or u?
u
Let s = -5.3 - -1.3. Let z = 1.4 - 0.4. Which is smaller: s or z?
s
Let n be (-6)/(-21) + 381/14. Let y = n + -27. Suppose 4*h - 1 = -s, 3*s = 3*h + 4*s - 1. Which is smaller: h or y?
h
Suppose -2*x + 5*q = -6, 0 = -4*x - x - 4*q + 48. Let k be (x/(-12))/(5/(-3)). Let p = 113 - 563/5. Is k bigger than p?
False
Suppose -1 = 16*s - 15*s. Let x(d) = 2*d + 2. Let r be x(-2). Is s smaller than r?
False
Let g = -41/90 + -2/45. Let i = -1.7 - 0.3. Let q = -1 - i. Is q at least as big as g?
True
Suppose -10*m = -421 + 131. Are m and 28 unequal?
True
Let l = 1 - 0. Suppose 35 - 11 = -4*j. Let w be 2/(-3)*j/8. Which is bigger: l or w?
l
Let d be 1/1*2/(-38). Which is smaller: 1 or d?
d
Let s = -2.1 - -2.19. Let m = 0.41 + s. Which is greater: m or -2?
m
Let f(m) = m**2 + 5*m - 3. Let j be f(-6). Suppose 0 = j*l + 2*l. Which is smaller: 4/5 or l?
l
Let s be ((-4)/10)/((-5)/(4 - -21)). Suppose 2*t = -5*k + 9, 0 = 3*t - k - 4*k - 1. Suppose -2*g = z + s, 4*g - 4 = t*g + 2*z. Is 4/3 < g?
False
Let w be (-71)/(-6) - 4/(-24). Suppose 0 = 3*v - w - 3. Which is smaller: 3 or v?
3
Let o = -1/12 + -1/6. Suppose 3*q - b + 11 = b, 0 = 4*q + 3*b - 8. Are q and o unequal?
True
Let j = -5.2 + 0.2. Let x = -5 - j. Let c = -1 - x. Is -1/2 less than c?
False
Let n(x) = x**3 - 9*x**2 + 14*x - 22. Let l be n(7). Does -22 = l?
True
Suppose 0 = 5*d + 3 - 8. Let p be (d/(-3))/((-2)/24). Suppose 7*n = p*n - 12. Which is smaller: n or -2?
n
Suppose 3*k + 21 + 12 = 0. Let l be (k + 2)*5/(-15). Which is smaller: 4 or l?
l
Suppose -126 = 4*i - i. Let r be 4/(-16) - i/8. Suppose 3*w - 5*m - 19 = -m, -w + r = -m. Is 2/7 != w?
True
Suppose f = 2*q + 2*f - 2, -f - 4 = -4*q. Is 2/3 <= q?
True
Let v = -11 + 10.96. Is 0 equal to v?
False
Let g be (-3)/(-2)*(3 + -17). Let b = -167/8 - g. Let l = b + 11/8. Which is smaller: l or -0.1?
-0.1
Suppose -4*d + 16 + 24 = 4*c, 4*c - 10 = 2*d. Suppose -5*a - 26 = -0*a - 3*x, -2*a = 5*x - 2. Let y = c + a. Which is smaller: y or 1/5?
1/5
Let w(m) = -14*m - 1. Let p be w(1). Is p <= -16?
False
Suppose 2*l - 5 = 6*l - f, 2 = -5*l - 3*f. Let k be (2 - 1) + l/(-1). Suppose k*s = 3*s. Which is smaller: 2 or s?
s
Let t be (-4)/(-6) - 1/(-3). Suppose 0 = 2*r + 5*n - 20, -2*n = -4*r + 16. Suppose 0 = 5*d - r. Does d = t?
True
Let y be 2/(-10) - (-154)/970. Which is smaller: y or 1?
y
Let v be ((-54)/36)/(322/164 - 2). Is 42 equal to v?
False
Let w be 2/2 - (-6)/(-4). Let p be 8/(-12)*(2 + 1). Let o = -2 - p. Which is greater: w or o?
o
Let k be (74/(-10))/((-2)/10). Suppose 0 = o - i - 8, 4*o - k = -0*o + 5*i. Which is bigger: o or 1?
o
Let u be (-4 - -98 - 0)/(0 + 2). Are u and 49 equal?
False
Let b = -112 - -111.97. Let t = -202.03 + 203. Let a = b - t. Is -2 >= a?
False
Suppose 16 = -5*o - 4. Suppose -3*s - 7 = 5. Is s greater than o?
False
Suppose -3*d + 2*d - 4 = 0. Let g = -5 - d. Is 0 <= g?
False
Suppose 4*x - 2*p + 7*p = 73, -5*x + 2*p + 50 = 0. Is x less than or equal to 10?
False
Let f(o) = -4*o + 1. Let u(m) = -21*m + 6. Let i(r) = -11*f(r) + 2*u(r). Let l be i(1). Which is greater: 2 or l?
l
Suppose -41 = 5*q - 1. Let v(w) = -2*w - 12. Let l be v(q). Let h(p) = -p**3 + 3*p**2 + 4*p - 1. Let f be h(l). Which is smaller: f or -1/6?
f
Suppose -4*i + i = 24. Let n = -6 - i. Is 2 at least as big as n?
True
Let j = -0.02 + 1.02. Which is smaller: j or 0.2?
0.2
Let s(w) = 12*w - 4. Let t be s(4). Which is smaller: t or 45?
t
Let w = 3 + -2. Suppose 11*b + w = 10*b. Suppose 0 = 4*r - 0*r, q = -3*r - 1. Is b at least q?
True
Let d = -40/11 + 178/55. Let p = -1 + 1. Which is greater: p or d?
p
Let o be (-3)/2 - (-1)/4. Let k(w) = 2*w - 5. Let r be k(4). Suppose 3*i + 23 = -4*s, -2*i + r*i - 5*s = 24. Is o > i?
False
Let f = -0.3 - -0.2. Let i be (-26)/(-1) - (3 - 3). Suppose 5*u = -1 + i. Is u not equal to f?
True
Suppose 0 = -3*d, -2*y + 4 = -d + 36. Let l = y - -17. Let a = 2.8 - 3. Which is greater: a or l?
l
Let s(b) be the second derivative of 0 - 5/12*b**4 + 1/20*b**5 - 5/6*b**3 - 7/2*b**2 - b. Let p be s(6). Which is smaller: 1/8 or p?
p
Let c(u) = -u - 3. Let p be c(-6). Suppose g + 21 + 12 = 4*x, 36 = 3*x + 3*g. Let s be 26/24 - p/x. Are 1 and s equal?
False
Suppose -n = 5*s + 3*n + 253, 0 = -4*s + n - 194. Let w be (-22)/28 - 14/s. Which is smaller: w or -1?
-1
Let b be (27/4)/9 + 3. Which is bigger: 5 or b?
5
Let v be (-6)/(-21) - 36/(-21). Let n(x) = -5*x - 6. Let j be n(-4). Let h be 2 + j/(-3) + v. Which is smaller: h or -1?
-1
Let a = -16 + 9. Which is bigger: a or -5?
-5
Let c = -101 - -53. Is c less than -49?
False
Let r(y) = y**2 + y + 1. Suppose 2*m + 5 = 3. Let u be r(m). Is 0.06 smaller than u?
True
Let u(r) = r**2 - 7*r + 6. Let c be u(6). Let w(h) = -2*h**2 - 14*h + 2. Let s be w(-7). Which is greater: s or c?
s
Let q be ((-6)/5)/((-5)/(-25)). Let i(p) = -p**2 - 7*p - 5. Let z be i(q). Is 1/3 less than or equal to z?
True
Suppose 3*u = d + 4*d + 28, -3*u - 5*d = 22. Which is greater: 8 or u?
8
Suppose -3 - 1 = -4*c. Suppose -n + 0 - c = 0. Is -3 equal to n?
False
Let u = 0.81 + -1.63. Let o = -1 - u. Which is smaller: -2/7 or o?
-2/7
Let h be (4 - (16 + -1))*-1. Which is smaller: 12 or h?
h
Let i be (190 - 10) + (0 - -1). Let b = i - 1993/11. Is 1 smaller than b?
False
Let l = -56/3 + 19. Let i = 2.8 - 3. Let p = 0.4 + i. Which is smaller: l or p?
p
Let d = -144 + 428/3. Is d >= -1?
False
Let a = 874 - 27088/31. Which is greater: a or 1?
1
Let l = -11 - -6. Let z = l + 10. Which is smaller: 4 or z?
4
Let v(i) = -i**2 + 6*i + 12. Let z be v(11). Is -43 at most z?
True
Let t = 716232 - 59448034/83. Let o = t - 46159/415. Let d = o + 121. Is -1 less than or equal to d?
True
Suppose -3*v + 121 = 4*y, 2*y = -2*v + 5*v - 97. Is 33 not equal to v?
True
Let z = -3 + 3.9. Let n = 0.8 - z. Let r = -0.06 + 2.06. Is n less than r?
True
Let a = 1 + 0. Does a = -9?
False
Let g = -7 + 9. Let f be ((-6)/4 + 2)*g. Which is greater: 2 or f?
2
Suppose k - 5 = -0. Suppose -k*z = -z. Is -1/14 at least as big as z?
False
Let u = 30 + -179/6. Suppose -3*q = 5*m, 4*m + q + 3*q = 0. Let s be m*(-2 - (-7)/3). Is u <= s?
False
Let u = 3 - 2.8. Let l = -0.6 + 0.9. Let b = l - u. Which is smaller: b or -2/7?
-2/7
Suppose 7 = -5*k - 3. Suppose -5*p + 4 = -3*p. Suppose -n = -2*z + 5, -6*n - 2*z = -p*n. Is n >= k?
True
Let d(r) = 2*r**3 - 14*r**2 + 12*r - 5. Let q be d(6). Let s = -6 - -10. Let g = q + s. Which is smaller: g or 0?
g
Let m be ((-9)/4)/(1/(-4)). Suppose -m = 5*i + 6. Which is greater: i or -1?
-1
Let p(c) = 11*c - 5. Let h be p(4). Suppose h = 4*s + 7. Is s > 8?
False
Let u = -1.3 + 4.35. Let r = 0.05 - u. Let p = 2.9 + r. Is -1 at least as big as p?
False
Let t = 155.94 - 157. Which is smaller: -0.1 or t?
t
Let u = 20 + -5. Suppose 0 = -4*b - 2*y - 6, -4*y - u = -4*b + y. Which is bigger: 1/2 or b?
1/2
Suppose 0 = 5*z - 4*y + y + 10, y = 5*z + 10. Let k be (-448)/6 + (-3)/9. Let i be (-4)/k*5/z. Which is smaller: -1 or i?
-1
Suppose 2*w = 3*w - 4. Let m be 2/w*(-4)/7. Which is smaller: m or 1?
m
Let m be (-7)/(-21)*(2 + 1). Which is bigger: m or -2/5?
m
Let x be 10/(-6) - 2/(-3). Is x bigger than 4/13?
False
Let q(o) = o**2 + 18*o + 2. Let g be q(-18). Which is smaller: 0 or g?
0
Let f = 3.9 + -2.9. Which is smaller: f or 0?
0
Suppose -5*a + 17 = -2*z, -2*a - z + 7 = -2*z. Let o be a/12*-1 + 0. Is o <= -0.1?
True
Let g(f) = -f**2 + 7*f + 6. Let m be g(10). Do -24 and m have the same value?
True
Let d = 2.4 + -2. Let k = 0.2 - d. Which is smaller: -2 or k?
-2
Let a = 0.14 + -3.24. Let m = a - -1.1. Is m < -0.3?
True
Let d = -3.73 + -0.38. Let w = 0.11 + d. Let u = w + 3.8. Is 1 > u?
True
Suppose -2*x - 2 = 46. Which is greater: -25 or x?
x
Suppose -3*o + 3 + 6 = 0. Suppose p = -o*p. Suppose 5*z + 3*j + 15 = 0, p*z - 3*z = -4*j - 20. Which is greater: -0.2 or z?
z
Let g(z) = -z*