*x. Let r be i(-6). Which is bigger: 8 or r?
r
Let d(g) = g**2 + 7*g + 3. Let m be d(-6). Let p be (m/(-6))/(12/32). Is 2 at most p?
False
Let r = 1103/7 - 158. Are r and -1 equal?
False
Suppose 3 = 4*t - 7*t + 5*h, -2*t - h - 2 = 0. Let p(x) = x**3 + 3*x**2 + 2*x + 6. Let s be p(-3). Is t greater than s?
False
Let w = 17 - 11. Is w greater than 1?
True
Let z be (-1 - 3) + 8 + 2. Which is bigger: -3 or z?
z
Suppose 0 = 3*k - 9. Suppose 2 = -k*b + b. Is -1 less than b?
False
Let h = 6.4 + -6.4. Is 28 smaller than h?
False
Suppose 10 = 2*u, -r - 3*r - 3*u + 15 = 0. Which is smaller: -1/24 or r?
-1/24
Let r be 3/(-2) - (-30)/140. Is r at least -1?
False
Let s be (-3)/15 + 18/(-10). Suppose -5*z + 29 = -4*n, -3*n = 2*n + 5*z - 20. Are s and n equal?
False
Let q = 290 + -5513/19. Which is smaller: -1 or q?
-1
Let v = -2 - -5. Suppose 0*h + 17 = v*f + 4*h, 5*f - 17 = -h. Suppose 2*c + f*u - 7 = 0, -2*u = 3*c - 0*u - 3. Is -2/11 less than c?
False
Let n be (-6 + (1 - 2))*-1. Let d be (-1 - 1) + n/4. Let f = -0.6 - 1.4. Which is bigger: d or f?
d
Let u = 4.67 + -1.37. Which is bigger: u or -0.1?
u
Let c = -238 + 6189/26. Which is smaller: c or 0?
0
Let u(p) = -p**2 - 7*p - 5. Let s be u(-6). Let z(j) = j**3 + j + 1. Let r be z(0). Is r greater than s?
False
Suppose 5*h + o - 53 + 4 = 0, 5*o = 3*h - 35. Suppose -h = x - 2*p, 4*x - 4 = -2*p - 14. Let v = x + 4. Is 2/3 at least as big as v?
True
Let v = -40 + 15. Let n be v/20*(-4)/(-10). Is -1 not equal to n?
True
Suppose -51 = 3*i + 4*j + j, 0 = -3*i + 2*j - 51. Which is smaller: -18 or i?
-18
Let s be 0*((-9)/(-6))/3. Let b be s/(-4 - (-2 - 0)). Which is smaller: b or -6/7?
-6/7
Suppose -t + 48 = 3*t. Is t at most as big as 13?
True
Suppose 2*b - x - 1 = b, 0 = 5*b + 3*x - 29. Suppose r = b*r + 3*d - 18, 4*r + 21 = 5*d. Let u be (3/6)/((-4)/(-32)). Which is bigger: r or u?
u
Let y(l) = l**2 + 1. Let n be y(2). Let r = -8 - -14. Is r greater than n?
True
Let u(b) = -6 + 1 - b**2 - 4 - 8*b. Let z be u(-6). Let g = z - 3. Is g smaller than 2/7?
True
Suppose a + 3*k = 2, 0*a - 3*k - 10 = -5*a. Let i = 0 + a. Suppose 6*v - 2*v = -2*u + 8, -6 = -i*u - 3*v. Is u smaller than 4/7?
True
Let b be (-9)/(-6)*(-1 - -3). Suppose u + b*u = 12. Which is bigger: -3 or u?
u
Let l(a) be the first derivative of -a**4/2 - a**3/3 + a**2/2 - a + 3. Let u be l(1). Is u equal to -3?
True
Let g = -2173/7 - -311. Suppose 2*c = -4*l + 34, 5*l = 4*c - 6 - 10. Let r be (-96)/189 - (-2)/c. Are g and r equal?
False
Let b = -7/55 + -3/11. Let x = -0.4 - -0.4. Let o = 0.2 - x. Is b equal to o?
False
Let c(l) = -l + 4. Let q be c(7). Let o be -14 - (0/3 + q). Which is greater: o or -10?
-10
Suppose 2*r = 3*r. Let o = 3 + r. Suppose 2*q - k - 9 = 2*k, 4 = o*q + 5*k. Is 3 less than or equal to q?
True
Let l be (-3 - (-4 - -5)) + -2. Which is smaller: -2/5 or l?
l
Let u(k) = -k**2 - 9*k - 9. Let q be u(-7). Let t = q + -2. Is t > 3?
False
Let c = -7 - -2. Let w = -6 - c. Let i be w/(-7) - (-4)/14. Which is smaller: 1 or i?
i
Let c = 45 + -65. Let x be (4/(-6))/(c/6). Suppose 5 = -9*r + 4*r. Is x at least as big as r?
True
Suppose -12 = -2*s - 2*s. Let d be 0/(0 - 2/(-2)). Suppose -o - s = -d*o. Is -3 > o?
False
Suppose -4*x + 16 = 4*q, 0*x = 4*x + 5*q - 17. Let z be x/(-12) - 26/(-8). Which is greater: 0.1 or z?
z
Let d be (-6)/(-3) - 116/56. Which is bigger: -1 or d?
d
Suppose -2*v = -p - 0*p - 1, -3 = -5*v + 3*p. Let y be (v + 2)*(-2)/(-4). Is 1 at least y?
True
Suppose 2*y - 3*s = -5, 10 = 5*y + s - 3. Let i = y - 0. Let h = -7 + i. Does h = -5?
True
Let f(w) = 5*w + 4. Let j be f(-1). Let x(s) = -s + 5. Let o be x(3). Let k be -1 + o + 14/(-10). Which is smaller: j or k?
j
Let o be -6 + (-9)/(-3) - -4. Let s be o/(26/8 - 3). Suppose 5*l + s = 9. Which is bigger: -1/17 or l?
l
Let w be (9/(-12))/(1 + (-92)/32). Is w less than 41?
True
Let o be 6/(-9) - (-7)/(-3). Let f = 1 + o. Let u be (f/2)/((-1)/2). Is u < 2?
False
Suppose -2*b - b = 2*g + 11, -4*b - 22 = -g. Suppose -4 = -g*d + 4*d. Which is smaller: d or -3?
-3
Let w(p) = -2*p**2 + 16*p + 17. Let b be w(9). Is b greater than or equal to -2/13?
False
Let p be (-102)/198 + 1/3. Suppose k = -4*z, -4*k = -z - 0*k. Does z = p?
False
Let k be 2 + 0 + 4/1. Suppose -37*y - 25 = -42*y. Which is smaller: k or y?
y
Let c(z) = z**2 + 9*z + 4. Let k be c(-8). Are k and -3 equal?
False
Suppose 0 = 2*c - 3*j - 4, 2*c + 3*j + 28 = -2*j. Do c and 12 have the same value?
False
Let p = -17 + 17. Is p at most -0.1?
False
Let r be 1 - 1/((-1)/(-2)). Let o(d) = d**2 - 9*d - 12. Let h be o(11). Suppose 0*y + h = -5*y. Which is bigger: r or y?
r
Let n = 8 + -5. Suppose 2*h - 7 - n = 0. Let v be (h - 4) + (5 - 1). Does 4 = v?
False
Let s(w) = 2*w + 7. Let a(u) = u + 4. Let o = -3 + 6. Let x(z) = o*s(z) - 7*a(z). Let m be x(-8). Which is bigger: 2 or m?
2
Suppose -6*p + t = -p - 12, 3 = 2*p - t. Suppose -4*h - 4 = 0, -4*i + 53 = -p*h - 18. Is 17 >= i?
True
Suppose -28 + 1 = 3*f. Let a = f - -4. Suppose t = -t + 4*b - 16, -5*t = -5*b + 35. Which is smaller: a or t?
t
Let d = -4 + 14. Let g = 6 - d. Let j = -0.15 - -0.15. Are j and g unequal?
True
Let q be 1/(-3) - 0 - (-23)/71. Is q smaller than -1?
False
Let r be 0/((-4)/4) + -1. Which is smaller: r or 2?
r
Let g(h) = -h**3 + 4*h**2 - h - 2. Let v be g(3). Let i be (-3)/v + 1/(-4). Let s be (3/(-3) - -1)/i. Are 0 and s nonequal?
False
Let f(d) = -15*d - 7. Let w(x) = -7*x - 1. Let q be w(-2). Let z(t) = 7*t + 3. Let y(o) = q*z(o) + 6*f(o). Let s be y(3). Which is smaller: s or 2?
s
Let h = 2 - 4. Let l = -2.1 - h. Which is smaller: l or 0.1?
l
Let o = 47/86 - 2/43. Are o and -8 nonequal?
True
Suppose -27 = -5*j + 13. Suppose j*t = 4*t. Let y be (-26)/22 + 2/11. Are y and t unequal?
True
Let q = -13/80 - 5/48. Let x = 69 - 342/5. Let v = q + x. Is 0.4 at least as big as v?
True
Let b = -12 + 12. Let z be 6 + -2 - (b - -3). Let s(h) = -h**3 - 3*h**2 + 4*h. Let r be s(-4). Which is smaller: r or z?
r
Let j = 17 - 12. Suppose -4*b + 21 = 1, j*z + 25 = 4*b. Which is greater: 2/3 or z?
2/3
Let f = 4 + 0. Suppose -2*b - 2*b = 0. Does f = b?
False
Suppose -4*c + 6*s - s = -40, -2*s - 30 = -3*c. Let f be (-4)/c*9/6. Is -0.1 at least as big as f?
True
Let m = -41/102 + 4/17. Let q = -1 + 1. Which is greater: q or m?
q
Suppose 5*x - 37 = 5*i - 7, 1 = -i. Let p = x - 6. Let v(q) = q - 1. Let d be v(-1). Which is bigger: d or p?
p
Let p = -54 - -75. Is p less than or equal to 19?
False
Let g be (-2)/(-6) - 0/(-7). Let b be (-2)/4*(-2 - 0). Which is greater: b or g?
b
Let w be ((-15)/(-10))/((-3)/(-8)). Suppose -4*q + 3*q = w. Are -4 and q non-equal?
False
Let w be 5/(-2)*20/(-25). Suppose -4*y + w*y = 2. Let h(a) = -a - 5. Let v be h(-5). Which is greater: y or v?
v
Let l = 19 + -11. Let k = l - 11. Let t = 60 - 60. Are k and t unequal?
True
Let p = -17 + 61. Is p at least as big as 44?
True
Suppose 4*t = -5*x + 106, 4 = -4*t - 0. Which is bigger: x or 21?
x
Let h = 37 - 35.9. Do -2 and h have the same value?
False
Suppose 2 + 1 = n. Let u = 3 - 1. Suppose n*o = -u*o. Are o and 1 equal?
False
Let s = 6 + -6.2. Which is smaller: s or -1?
-1
Let x = 2.9 - 3. Let h(a) = 15*a - 11. Let u be h(5). Let p be u/(-16)*(-14)/(-8). Which is smaller: p or x?
p
Let w = 67/2 - 33. Let q = 0 + 1. Which is greater: w or q?
q
Suppose -2*t = -0*t - 2. Let n be t + 0 - 0 - -3. Suppose -o = h - 4*h - n, -o + 8 = -5*h. Is o > -3?
True
Let u be -1 + 46/42 + 0. Let p be (3/2 + 5/(-2))/(-1). Which is bigger: p or u?
p
Let i be 1 + 2 + 7*1. Let u be 4 + (-5)/(i/6). Which is smaller: 1/5 or u?
1/5
Let d be -3 - 1/(1/(-3)). Let l be 2/(d - (-3 - -5)). Let j = l + 3. Which is smaller: j or 3/2?
3/2
Let q = 63/2 + -31. Let b(n) = n - 9. Suppose 0 = -5*r + 113 - 43. Let l be b(r). Which is smaller: l or q?
q
Let o = -3 + 1. Let d = 1015/3 - 338. Is o at most as big as d?
True
Let p = -17 + 16.91. Let h = p + 4.09. Which is greater: h or -1?
h
Let m(u) = 17*u + 5. Let c be m(4). Suppose 4*v = -5*n + 77, 5*n - 2*v = c + 16. Suppose 4*w + 5*h + n = -2, -2*w = -h - 1. Which is smaller: w or -1/8?
w
Suppose n - 3*n + f - 5 = 0, n - 3*f = 10. Let d = -27/5 - n. Which is bigger: d or -1?
d
Suppose 0 = -3*n + 5*l + 2, -n - 3*l = 3*n + 7. Let w = n - -1. Let b = -0.2 - -0.2. Is b smaller than w?
False
