ppose 3*o + 0 + 3 = 0. Let t be (o + 66)/(3 - 4). Let n = t - -324/5. Are n and -2/7 unequal?
True
Let a = -1 + 1. Let o = -15 + 9. Is a greater than or equal to o?
True
Suppose 2*a + 5*r = 5, r - 2 = a - 1. Let m = -5 + a. Let t(y) = -y**2 - 6*y + 3. Let i be t(-7). Which is smaller: i or m?
m
Let t(d) = 4*d + 54. Let c be t(-17). Is c at most as big as -108/7?
False
Suppose 3*u + 3 = -5*i, -3 = -2*u - u - 3*i. Is u > 3?
True
Suppose 0*u - 5*u + b - 33 = 0, -15 = 2*u - b. Which is bigger: u or 2?
2
Suppose -2*y = -3*y + 2. Is 6 greater than y?
True
Suppose -3*k - 4*b - b - 19 = 0, -2*b = 5*k. Suppose -k*h = h. Is h less than 0?
False
Let j(d) = d - 5. Let i be j(5). Suppose 0 = -4*u + 2*h + 46, 4*u + 8*h = 3*h + 11. Let c be (6/8)/(u/(-2)). Which is smaller: c or i?
c
Let i(c) = c**3 - 10*c**2 + c - 8. Let w be i(10). Which is smaller: 8/3 or w?
w
Let w be 2/(-3 + (-9)/(-23)). Let o = -4/15 - w. Which is smaller: o or 2?
o
Let q = 80/3 + -27. Is 22 <= q?
False
Let k(h) = -h**3 + 5*h**2 + 1. Let m be k(5). Let i = 4 - m. Suppose -4*t - 4*j - 18 = t, 2 = i*t - 4*j. Which is greater: t or -1?
-1
Let g = 0.08 - 0.2. Let t = g + -2.08. Let o = t + 2. Is 2 not equal to o?
True
Suppose 3 = -2*f + 1. Is f at most as big as 2/35?
True
Let f = -6 + 7. Which is bigger: 2/29 or f?
f
Let x = -24 + 23. Let a(o) = -o + 7. Suppose -2*g = -11 - 5. Let f be a(g). Is f at least as big as x?
True
Let h(s) = s - 1. Let t be h(1). Let a(z) = z**2 - 5*z - 4. Let k be a(5). Let w be t - 1/((-6)/k). Which is smaller: w or -2?
-2
Let w be (1711/(-14))/(-1)*-4. Let c = w - -490. Which is greater: 1 or c?
c
Let p be (11/(-6))/(-1) - 2. Let y(n) = 5*n**2 - 1. Let x be y(1). Suppose -x*b = 4 - 0. Which is bigger: b or p?
p
Let t be (-4)/(-14) - (-1586)/(-14). Let j be (-9)/(-12) + t/140. Is 0 equal to j?
False
Let z(y) be the third derivative of y**4/24 - 4*y**3/3 + 2*y**2. Let d be z(8). Which is smaller: d or -2/9?
-2/9
Let t be (-11)/(-9) + ((-12)/(-27))/(-2). Which is smaller: 2/7 or t?
2/7
Let n be (2/(-4))/((-4)/(-8)). Let z be (10/5)/(0 - n). Let f = 1 - 0. Is z >= f?
True
Suppose 8*i = 6*i + 32. Is i less than 16?
False
Let h be 4/9 + 6/(-9). Let j(f) be the first derivative of -f**4/4 - 2*f**3/3 + 3*f**2/2 - f - 1. Let k be j(-3). Which is greater: h or k?
h
Let u = -4.6 + 4. Let z = 0.3 + u. Let d = 0.6 + z. Is d >= -0.2?
True
Let b = -38 - -36. Is b > -12/7?
False
Let t = -89.92 + 90. Does -4 = t?
False
Let c = -1 - 0. Let k = -2347/11 - -213. Which is bigger: c or k?
k
Let d be 0/(3 + 0 - 1). Suppose r - 3 + 1 = d. Let q be (-3)/(-6) + (-1)/r. Is q at most 6/7?
True
Let y = 6 + -3. Suppose 7*o + y = 4*o. Let w be 9/12*o/(-1). Is 2 equal to w?
False
Let i be 2 + 1/(-3) + -1. Is i less than -4/7?
False
Let q(z) = z**2 - 3*z. Let g be q(3). Let t be (2 - 18/8)*-4. Are t and g equal?
False
Let p = -8 - -5. Let s = p - -2. Let u = 31/24 - 5/8. Which is greater: s or u?
u
Let u be (-4)/21*196/42. Is 0 at most as big as u?
False
Suppose 3*r - 3*x - 25 = -2*r, -5*x = -4*r + 33. Let d be ((-14)/4)/7*r. Which is greater: 2/9 or d?
2/9
Suppose 4*d = -r - 30, 0 = -3*r + d - 36 + 11. Which is bigger: r or -8?
-8
Let h = 572/5 - 114. Let s be 1/(2/(-12)*-2). Let c(z) = z**2 - 2*z - 3. Let x be c(s). Which is smaller: h or x?
x
Suppose 3*k + 0 = 6. Suppose 0 = 4*y - 8 + 4. Which is bigger: y or k?
k
Let m be (0 + (-2)/(-6))/((-7)/14). Are m and -72 nonequal?
True
Let r = 0.3 - 0.1. Let y = -0.3 + r. Let x = 0.1 - 0.2. Does x = y?
True
Suppose -n + 3*n = 6. Suppose 8*o - n*o = 10. Suppose -2*i + 2 + 0 = -o*f, 5*f = -i + 7. Are i and 1/2 unequal?
True
Suppose 4 + 8 = -4*f + t, -4*t + 12 = -4*f. Is f < -1?
True
Let w(b) = 3*b**2 - b + 1. Let d be w(1). Which is smaller: 2 or d?
2
Let k = 7 + 18. Suppose -10 = -3*v - k. Is v less than -5?
False
Let i = 19.7 + -20. Which is smaller: -40 or i?
-40
Let p = -0.9 + 0.4. Let b = p - -0.4. Let g = -0.2 - b. Which is bigger: -2 or g?
g
Let b = -0.012 + -0.188. Does b = 8?
False
Let t be (-3)/(-2)*(-8)/(-3). Suppose 5*r - 14 - 11 = 0. Suppose r = t*y + 1. Is 3/8 bigger than y?
False
Let t be 20/28 - 2/(-7). Let a be 0 - (2 - 18/7). Which is greater: a or t?
t
Suppose 5*b + 30 = 5*x, -x + 1 + 5 = -2*b. Let m be (x - 7)/(1/9). Which is greater: m or -7?
-7
Suppose -2*a = -8 + 2. Suppose 2*z - 4 = -2*q, -2*z + a = 2*q + q. Which is smaller: 0.6 or q?
q
Let g = 1 + 2. Suppose 4*y + 5*d = y - 3, -4*d = 5*y + 5. Let b be 0 - (y + 6/4). Is b < g?
True
Let c be (-5)/6 - 3/6. Let l = -1/6 + c. Are -1 and l non-equal?
True
Let x(a) = -5*a + 21. Let h be x(4). Suppose 3*j - 3*p - 9 = p, -p - 9 = -3*j. Let r = j + -2. Is h less than or equal to r?
True
Let i be ((-9)/6)/(9/(-24)). Suppose 0*c = 4*z - c + 5, -z + i*c - 20 = 0. Is z less than -2/11?
False
Let y(w) = -w + 10. Let u = -2 + 2. Let b = u - -8. Let n be y(b). Which is smaller: -2/7 or n?
-2/7
Let h = -90 + 93. Let d(f) = -f**2 - 4*f + 2. Let t be d(-4). Which is smaller: t or h?
t
Let f(l) = l**2 + 3. Let s be f(-7). Let g = -470/9 + s. Is 1 < g?
False
Let i = -5/3 - -43/6. Is i less than 7?
True
Suppose 0 = 9*j - 6*j. Let o = -57/4 - -619/44. Which is smaller: j or o?
o
Suppose 0 = -0*i - 3*i. Let c be (-1 - -2)/(1/2). Let q be (-2)/5*c/4. Is q bigger than i?
False
Let j = -53.6 - -45. Let c = j - -8. Let l = 1.4 - c. Are -1 and l equal?
False
Let j = 0.05 + 12.65. Let w = -12 + j. Which is bigger: -0.2 or w?
w
Let y be (-24)/(-28)*4/6. Which is smaller: y or 0?
0
Suppose -5*g = -4*l - 14, -2*g + 11 = -5*l + g. Let u be l + (40/12 - 2). Which is greater: 0 or u?
u
Let k be (4 + -2)*(-3)/(-6). Is k less than 3/40?
False
Let j = 2 - 3. Suppose 0 = 3*t + t. Suppose t*r - 5 = 3*r - g, 0 = -r + 5*g - 25. Are j and r nonequal?
True
Let n = -584 + 7612/13. Is 2 bigger than n?
True
Let p(o) = -o - 1. Let d be p(-9). Let k(j) = j**3 - 7*j**2 - 8*j + 3. Let i be k(d). Let v be (i/(-5))/(-1 - 1). Is v <= 1?
True
Let p(n) = -n + 1. Let q be p(1). Let f = q - 3. Is -3 greater than f?
False
Suppose u - 5*j = -u - 15, 5*j = -4*u + 45. Suppose 20 = -0*k - u*k. Is k bigger than -2?
False
Let o = -43 - -36. Which is smaller: o or -9?
-9
Let t = 10.1 + -0.1. Let v = t - 6. Let p = -2 + v. Is 0.1 greater than p?
False
Suppose -5*y = -y + 24. Let q be 10/(-15) + (-7)/y. Which is greater: q or 3?
3
Let q(d) be the first derivative of d**2/2 + 7*d - 3. Let k be (0 - -1)/((-2)/10). Let c be q(k). Is 2 != c?
False
Let f = -20/7 + 46/21. Is f <= -0.5?
True
Suppose 3*b + 3*w = 219, -2*b = 4*w - 58 - 88. Suppose -4*q - 3*d = -9*q + b, -4*q + 55 = d. Let u be ((-4)/q - 0)*-3. Is u < 1?
True
Let p(o) = -2*o - 14. Let b be p(-11). Which is smaller: b or 7?
7
Suppose 2*g + 2*g + x = 5, 3 = 3*g + x. Which is smaller: 1 or g?
1
Let k be 4/(-195)*(-75)/210. Which is bigger: 0 or k?
k
Let k = 5 + 0. Let z = 9 + -5. Suppose -4*i - 8 = -2*d - 24, z*d = 4*i - 16. Which is greater: i or k?
k
Suppose 2*f + 2*f - 56 = 0. Suppose 0 = -3*o - 2*u - 8, 0 = 3*o - 2*o + 4*u - f. Are o and -6 nonequal?
False
Let x be 4/(-90)*(-6)/2. Let m be ((-91)/(-28) + -3)*0/(-1). Is m greater than or equal to x?
False
Let m be (-6)/15 + 13/(-5). Let s be 10*3/(4 - -2). Let h = -9 + s. Is m at most h?
False
Suppose -j - 4*n = 3*j + 20, -29 = 4*j - 5*n. Which is smaller: j or -4?
j
Let q = -3 - -8. Suppose 4*p - 5*z = 15, 0*p - q*p = 5*z + 15. Which is smaller: p or 2/7?
p
Suppose 12 = -2*f - 4*s, 0 = -2*f + 5*s + 3 + 3. Which is bigger: f or 0.03?
0.03
Suppose 0 = -2*d - 4*b + 24, 3*d + 2*d - b = 5. Let v = 12 - 11. Which is greater: v or d?
d
Let l = -14 - -13. Is l > -0.3?
False
Let y be -1 + (2/(-3))/(-2). Let z = 1 - -2. Let s = 3 - z. Is s < y?
False
Suppose -f + t = 4*f - 67, -5*f - t = -63. Let g be f/12 + (-4)/12. Let n = -51/5 + 49/5. Is g at least n?
True
Let v = 10.2 + -3.2. Is v smaller than 3?
False
Let d = -1.3 - -0.1. Let p = -9 + 9.2. Let k = p + d. Which is greater: 2/3 or k?
2/3
Let z = 0 - -3. Suppose z = -f + 2. Let a be 31/42 - (-2)/(-3). Which is bigger: a or f?
a
Let w(b) be the first derivative of b**3/3 - 4*b**2 - b + 2. Let o be w(9). Let u(a) = a**3 - 8*a**2 - a + 7. Let s be u(o). Is s not equal to -2/7?
True
Let k = 16071/1268 + 24/317. Which is bigger: 14 or k?
14
Let f(g) be the first derivative of g**3/3 - 11*g**