 = -28 + 41. Which is bigger: 14 or s?
14
Suppose -3*o + u = 65, 4*o - 5*u + 40 = -54. Let n be ((-10)/(-9))/((-14)/o). Which is smaller: 1 or n?
1
Let d = 386 + -2682/7. Which is smaller: -1 or d?
-1
Suppose -3*c - 79 = -4. Which is greater: c or -26?
c
Suppose 7*n = 3*n - 24. Is n < -5?
True
Let x = 1321/7 + -189. Let c = -4/7 - x. Which is greater: -4 or c?
c
Let x = -4 - -2. Let g be ((-3)/(-9) - 1)*-6. Let f = x + g. Which is smaller: f or 3?
f
Suppose -3*d = -3*b + 39, 4*b - b = 4*d + 51. Suppose 0 = 3*l + 4*c + 22, -21*l = -26*l + 4*c - 58. Which is bigger: l or d?
l
Suppose 4*m = -i + 152, m - 5*m - 5*i = -152. Is m bigger than 38?
False
Suppose 3*i + 3 = 4*i. Is 3 greater than i?
False
Suppose 4*f - 5 = 3*p - 0*p, 4 = -2*p + 3*f. Which is greater: p or -4?
p
Let g(u) = -3*u + 4. Let j be g(3). Which is smaller: -4 or j?
j
Let b(z) = z**2 + 4*z + 3. Let x be b(-3). Which is bigger: x or -1/3?
x
Let b be ((2199/21)/1)/1. Let p = 105 - b. Is -2 <= p?
True
Let u be -1 + -3 - (0 - 2). Is u >= -2?
True
Let k(r) = r**2 - 4*r + 4. Let x be k(3). Suppose -w = x - 5. Suppose 0 = s - 0*s + w. Is s > -4?
False
Let n(f) = 3*f + 38. Let s be n(-9). Is 10 at least s?
False
Let r(j) = -j + 10. Let z be r(7). Suppose 4*d - z*d + 5 = 2*k, d = 3*k - 9. Is 4 less than or equal to k?
True
Let j(z) = -z**3 + z**2 - 2*z - 20. Let v be j(0). Which is smaller: v or -17?
v
Let c(z) = z**2 + 15*z + 49. Let i be c(-6). Is i > 0?
False
Let v(l) = -l - 18. Let g be v(-9). Which is bigger: g or -15?
g
Let c = -20 - -20. Suppose c = 3*v - 7*v - 4. Let r(f) = -3*f**2 - 3*f - 2. Let p be r(-2). Do v and p have different values?
True
Let k = -179/485 - 3/97. Suppose a = -3 + 2. Does a = k?
False
Let o = -3/14 - -5/14. Is -1 < o?
True
Let g = 3/7 + 1/14. Let r = 39 - 32.9. Let f = r - 6. Is g bigger than f?
True
Suppose 3 = -3*q + 3. Does -0.03 = q?
False
Let f(v) = v**2 + 6*v + 6. Let j be f(-5). Let y(q) = q**3 + 6*q**2 - 2. Let b be y(-6). Let z be 9/12 - b/(-4). Which is smaller: j or z?
z
Let y = -0.09 + -0.11. Is 0.09 at least as big as y?
True
Let p be (2/(-3))/(10/(-6)). Let s be (9 + -11)*10/4. Let l(j) = -j**2 - 4*j + 4. Let g be l(s). Which is greater: g or p?
p
Suppose v - 37 = -4*d, v - 5 + 0 = 0. Let m = 13 - d. Suppose -10 - 2 = -2*j. Which is bigger: m or j?
j
Let a = 9 + -5. Suppose a*z + 12 = 2*z. Which is smaller: -5 or z?
z
Let j = 49 - 48. Are j and 0 equal?
False
Suppose 5*h - 20 = -4*r, 4*h = r + 3*r - 20. Let x(b) = -b**2 - b. Let m be x(h). Suppose m = 2*z - 12 + 2. Which is greater: z or 1?
z
Suppose -23 = -x + 4*x + 5*g, 4*x + g + 8 = 0. Let v(q) = -4*q**3 + q**2 + q. Let y be v(x). Is 3 bigger than y?
False
Let n = 28 - 36. Let r = 2.9 + -3. Which is greater: n or r?
r
Suppose 0*k - 10 = -5*k. Let t be ((-2)/(-12)*k)/(-1). Let w = -3 - -2.9. Which is bigger: t or w?
w
Let a = -3 + 1. Let j = 7 - 4. Suppose -3*u + 22 = -5*m, 16 = -4*m + 5*u - j*u. Are m and a equal?
True
Suppose -3*g = 2*g + 5. Let s be (-3)/g*(-2)/(-3). Suppose 5 = s*z + 3*z. Is z bigger than -1?
True
Let a = -4 - -3.5. Let j = 1 + a. Let b = -0.4 + j. Do 1 and b have the same value?
False
Suppose -33*r + 14 = -40*r. Let b = 0 - -3. Suppose -2*f = b*f + 15. Is r at most as big as f?
False
Let r = 5 - 3. Let s be r/12*(-16)/20. Is -1 smaller than s?
True
Suppose 0 = b + 4*x + 18, 0 = b + x - 5*x - 14. Let f be (20/8)/((-2)/(-4)). Let g = b + f. Is 3 less than g?
False
Let c = -1 - -4. Suppose 0 = c*t + t. Suppose -2*d - 7 = 3*b, -4*b - 2 = -t*b - d. Which is smaller: 2 or b?
b
Let d be (3/33)/((-21)/48). Let b = 2/77 + d. Which is smaller: b or 0?
b
Suppose 22 = -h - 3*j + 1, 4*h + 39 = -3*j. Let o = -16 - h. Which is smaller: o or -11?
-11
Let u = 1 - -11. Which is bigger: 13 or u?
13
Let o be 1/(121/(-60) + 2). Suppose 2*d - 2*f + 12 = 0, -6*d + 3*d - f - 10 = 0. Let j be (-9)/o + d/10. Which is bigger: 1 or j?
1
Let l be ((-962)/(-39))/((-2)/6 - 0). Is -73 > l?
True
Let f be ((-24)/132)/((-1)/2). Which is greater: 0 or f?
f
Suppose -5*b = -7*b - 56. Let m = -21 - b. Is 8 greater than m?
True
Let p = -32 + 31.7. Is p less than or equal to -0.1?
True
Let h be 0 + (18464/2340 - 2). Let l = -76/13 + h. Is l at least as big as -1?
True
Let y(f) = -f + 5. Let s be y(4). Let g(h) = -h**3 - 7*h**2 - 8*h - 8. Let i be g(-6). Suppose -2*o + 10 = 2*d, -2 = -2*d - i*o + 18. Is d less than s?
True
Let a be (-138)/7 + 4/(-14). Suppose -2*l = -l - 2. Let x be (l/a)/(5/110). Which is bigger: x or -1?
-1
Suppose 3*x - g = 8, -2*x - 8*g = -4*g + 4. Suppose 0 = -q + x*q. Let v(d) = -d**2 - d. Let t be v(q). Is t less than 1?
True
Suppose 3*h - 13 = -10. Which is greater: h or 0.1?
h
Let g(m) = -m**2 - 26*m - 74. Let z be g(-22). Which is bigger: z or 15?
15
Let q = 11 - 6. Let u = -7 + q. Let b be (-1)/2*(-4)/(-10). Which is bigger: b or u?
b
Let r be 50/4*11/(-110). Let k(d) be the third derivative of d**5/60 - d**4/8 - 2*d**3/3 + 3*d**2. Let p be k(4). Do r and p have different values?
True
Let c(r) = r**3 - r**2. Let i be c(0). Let o(q) = -q**2 - 2*q. Let s be o(-2). Is i at least as big as s?
True
Let k = -0.547 - 0.053. Let z = 2 - 4.6. Let i = k - z. Are i and 4 equal?
False
Let l(n) = -3*n - 17. Let d be l(9). Is -44 at least as big as d?
True
Let r = 21 + -22.04. Let m = r + 0.04. Are m and -0.3 non-equal?
True
Let q = -32 - -32. Let n = q + -1. Suppose -3*z + 2 = -4. Which is smaller: z or n?
n
Let l be ((-834)/419)/(-2) - 1. Let x be 6/10 - (1776015/(-324725) - -6). Let n = l + x. Which is greater: -1 or n?
n
Let t = -26 + 28. Is t greater than or equal to 1.8?
True
Let u = -291 + 621/2. Suppose 2*a - a = 20. Let v = u - a. Are v and -2 non-equal?
True
Let x = 2/461 + -932/2305. Let t = 3.03 + -0.03. Let h = 6 - t. Which is bigger: h or x?
h
Let p(s) = -s**3 + 27*s**2 - 28*s + 33. Let d be p(26). Is d at least -20?
True
Suppose 2*z = -d - 2, -d - 4 = -3*z + d. Which is bigger: z or -2/69?
z
Suppose -2*d - 5*m = 19, 5*d + 2*m - 1 = -80. Is -10 at most d?
False
Let d = -232 - -229. Let y(l) = l**2 + 5*l - 3. Let k be y(-5). Is k less than d?
False
Suppose 0 = -u + 3 - 0. Suppose -3 = u*q - 6. Are -1/17 and q non-equal?
True
Let p be ((-204)/(-35))/(4/(-10)). Let a = p - 111/14. Let y = 22 + a. Which is smaller: y or -2?
-2
Suppose 5 = -f + 2. Let t = -1 - 1. Is f smaller than t?
True
Let c = -46 + 45.9. Is -39 > c?
False
Suppose 0*x = -x - 3. Let d be (1 - (-1 - x))*1. Is d less than 2/7?
True
Let b = 1.9 + 2.6. Let w = 4 - b. Are w and -1/4 equal?
False
Let f be (30/(-2 + -1))/(-2). Suppose -5 = -f*v, 5*o + 3*v - 34 = -v. Let l(j) = -j**3 + 5*j**2 + 6*j - 4. Let u be l(o). Which is bigger: u or -5?
u
Let q = -27 - -27.13. Let k = 4.13 - q. Do k and -0.1 have the same value?
False
Suppose -4*g - 16 = 4*a - 324, 4*a + 2*g - 300 = 0. Which is smaller: 74 or a?
a
Let g(z) = z - 4. Let c be g(-6). Which is greater: c or -9?
-9
Suppose 0*y - 3*y = -6. Let i be (-2 - 5) + (y - 0). Are -5 and i unequal?
False
Suppose -2*k = -4*k. Let g be k*(-3 + 2)/2. Suppose 0*z + 4 = 4*z - 4*a, g = -5*z + a + 5. Do z and -1 have the same value?
False
Let g = -1000/9 + 111. Is g at least as big as -1?
True
Let k = -95 - -96. Which is bigger: -6 or k?
k
Let j = 81 + -57. Let h be j/36*(-2)/4. Are h and -2/5 nonequal?
True
Let q = -25 + 23. Which is greater: -3/4 or q?
-3/4
Let c(q) = -q**3 - 2*q**2 + 2*q + 3. Suppose -2*i - 12 = 5*p, -3*p - 2*i - 3 - 5 = 0. Let b be c(p). Is 0 less than or equal to b?
False
Suppose -j - 6*j = -3*j. Do j and 2/5 have the same value?
False
Let u = -5.46 - 0.74. Let h = u - -6. Which is smaller: h or 0?
h
Let z = 2 + 1. Suppose z*y = y. Suppose 4*r = -y*r. Which is smaller: r or 2?
r
Let y be 4 - (11 - 1)/2. Let m(t) = -t - 1. Let s be m(-1). Which is greater: s or y?
s
Suppose -86*y + 91*y = 10. Which is smaller: 0 or y?
0
Suppose -2*j = j + 4*y - 64, 4*y - 80 = -4*j. Let a be (1/2)/(8/j). Let s = -4 + 3. Which is smaller: a or s?
s
Suppose 4 + 1 = f. Suppose 0 = -5*a + f, -4*y - 4*a + 4 = -y. Is y at most 1?
True
Let x = 15871/64 + -248. Let b = x - 15/64. Which is smaller: b or 0?
b
Let i = -10.2 + 10. Let n = -6 - 1. Which is bigger: n or i?
i
Let v(t) = 4*t + 1. Let f be v(1). Suppose -f*n + 0*n = 0. Is 2/3 less than n?
False
Let z = -12 - -27. Let d be (-210)/24 - 1