u equal to g?
False
Let y = -91/3 - -30. Which is smaller: y or -54?
-54
Suppose 6*o + 22 = 2*o - w, 5*o - 4*w + 38 = 0. Which is smaller: 2/5 or o?
o
Let k(c) = -c + 6. Let f be k(12). Suppose 3*y = 13 + 29. Let q be (y/(-2))/((-2)/(-2)). Which is greater: f or q?
f
Let a be -2 - -3 - 2/1. Suppose 3*f + 25 = 5*k - 2*f, 5*k = -3*f + 1. Let l be ((-1)/k)/((-3)/(-6)). Is l greater than or equal to a?
True
Let n = -25.8 + 26. Suppose 0 = 3*p - 8*p + 10. Suppose -3*w + 11 = -y, p*y - w + 3*w = 2. Is y less than or equal to n?
True
Let x(q) = 9*q + 6. Let n(g) = 8*g + 5. Let r(s) = 5*n(s) - 4*x(s). Let u be r(1). Does 7 = u?
False
Suppose 3*g + b - 34 = 0, -4*b + 3*b - 54 = -5*g. Suppose -y + 12 = -5*y, -2*y = -5*c + g. Let h = -0.12 - -0.12. Which is bigger: h or c?
c
Let u be ((-168)/27 - 0)*5/(-20). Which is smaller: u or -1/4?
-1/4
Let l(p) = -p**3 + 16*p**2 + 4*p - 56. Let b be l(16). Is 8 <= b?
True
Suppose s = 4 - 3. Let w be (s/(-5))/(12/15). Is 1 >= w?
True
Let l = -6 + 6. Does l = -6/7?
False
Suppose -7*x + 3*f = -6*x + 3, 0 = 2*x + 2*f - 2. Let c be (-2)/(-5)*10/(-18). Which is bigger: c or x?
x
Let i = 33 - -11. Are i and 44 unequal?
False
Let d(r) = -2*r**3 + 6*r**2 - r - 1. Let n be d(4). Let b = n - -261/7. Let c(a) = -a**2 - 5*a - 2. Let x be c(-5). Which is bigger: x or b?
b
Let s = -0.26 - -0.26. Let j = -0.07 - 0.03. Is s not equal to j?
True
Let w be 6/(6/((-9)/3)). Let z be 1/(-8) + 0/w. Let q = 3 + -2. Is q >= z?
True
Let m be (-14)/(-4) - 1/2. Suppose -5*w - 40 = -2*s - 3*s, m*w = -5*s + 24. Is 7 > s?
True
Let n(q) = -q**2 + 7*q - 7. Let s be n(5). Suppose s*w + 4*r = 23, -4*w + 5*r = w + 20. Suppose 4*i = 7 + w. Which is greater: 1 or i?
i
Suppose 6*a = 5*a. Let s = 0 - 0. Suppose s*h = 3*h. Is a greater than or equal to h?
True
Let z be (-548)/42*-3 + -1. Let x be (-573)/(-15) + 3/(-15). Let g = x - z. Is -1 at least as big as g?
False
Let v = 22 + -24. Which is greater: v or 0?
0
Let l be 3*(-20)/(-12) - -2. Are 5 and l non-equal?
True
Let r = 0.925 + 0.075. Which is bigger: r or -0.04?
r
Let k(g) = -g - 3. Let o be k(-4). Let j = -3 + o. Which is smaller: -3 or j?
-3
Suppose -v - 4 = -0. Let u be (-1 - (-7)/6)*v. Suppose d + 1 = -3*s - 1, -3*s = -5*d - 28. Which is smaller: u or s?
u
Suppose -3*b + 1 = -2. Let q be (-2)/(-12)*10/(-15). Which is smaller: q or b?
q
Suppose 4*l = 2*k + 68, 7 = 5*k + 17. Which is smaller: l or 17?
l
Let g = 0.019 + -0.009. Are g and 0 equal?
False
Let b = -622/5 - -124. Which is greater: 39 or b?
39
Let b = 26576 - 1169017/44. Let k = b - 68/11. Which is bigger: 0 or k?
k
Let f be 59/13 + (-22 - -17). Is f > 3/5?
False
Let x = 1.6 + -1.51. Do x and 2 have different values?
True
Let y(a) = a + 8. Let j be y(-5). Suppose 20 = 3*q - 4*r, -r = q + 3*q + 5. Suppose 9 = 5*v + 4*d, q*d + d - 1 = 0. Are j and v equal?
False
Let a be (6/(-12))/(2/(-24)). Let y be 0/(2/a*3). Let f be y*(0 + 2/6). Which is smaller: 4 or f?
f
Let d(n) = -n**2 + 7*n - 7. Let r be d(5). Suppose 15 = -4*a + r. Let g = a + 0. Is g at least -3?
True
Let q(l) = -l**3 + 3*l**2 + 5*l - 2. Let w be q(4). Suppose s - 7 = -2*r + w, -r + 2*s = 8. Which is smaller: 6/11 or r?
6/11
Let y(b) = -b**2 + 7. Let o be y(-5). Let q = 71/4 + o. Which is smaller: -2/13 or q?
q
Let s(h) = h - 4. Let j be s(4). Let m = 2/225 + 16/75. Is m <= j?
False
Suppose -5*x - 9 = 2*i, 2*x = 4*i - 2*x + 4. Let d be 154/(-33)*6/i. Are 14 and d non-equal?
False
Let m(n) = -n**3 + 6*n**2 - 4*n - 3. Let p be (3 - (2 - 4))*1. Let c be m(p). Which is bigger: c or 1/2?
c
Let j = -74877751 - -105681024. Let y = -81721081739/2653 + j. Let n = -2/379 + y. Which is greater: n or 0?
n
Let r = -8 + 11. Let s(b) = -b + 2. Let o(m) = m**3 - 2*m**2 + 1. Let z be o(1). Let i be s(z). Are i and r unequal?
True
Suppose -2*n + 3 + 9 = m, -3*m = n - 11. Which is smaller: -29 or m?
-29
Suppose 0 = 5*b, -v + b - 6*b - 1 = 0. Let o be (-2)/8*(-16)/(-5). Is v at least as big as o?
False
Let j(v) = -2*v - 32. Let f be j(-23). Which is greater: 11 or f?
f
Suppose -3 = 2*o + 1. Suppose -4*u - 35 = -3*i, u + 2 = -0*u. Let y = i + -11. Are y and o equal?
True
Let p(m) = -2*m - 9. Let h be p(-4). Which is smaller: h or 2/31?
h
Let s = 0 - 1. Let c(n) = -27*n + 1. Let h be c(s). Suppose t = 2*i + 14, -4*i - 3*t = -0 + h. Which is smaller: i or -6?
i
Let m = -8 - -13. Let i = m + -7. Let x be i/(-7) + 24/14. Which is smaller: x or 1?
1
Suppose 1 + 1 = -2*d. Is d > 2/9?
False
Suppose 0 = 4*g - 5*m - 45 - 12, -5*g + 102 = 4*m. Does g = 18?
True
Let o = -63 - -188/3. Let y = 0.1 + 0.1. Which is greater: y or o?
y
Let s = 6 + -4. Let x be 22/33*(-2 - -6). Is s at most x?
True
Let t be 2*(-4 - 39/(-6)). Let k(d) = -d**2 - 5*d. Let n be k(-4). Which is greater: t or n?
t
Let b = 67/84 + -1/21. Suppose 8 = 2*w - 4*u, 0*u - 2*u = -2*w + 18. Suppose 4*o + 2*t = 6*t - 8, 3*t - w = -o. Is b <= o?
True
Let u = 9 - 11. Let h be u/2*-1*-5. Let f(p) = -2*p**2 - 2*p. Let w be f(-2). Is h greater than w?
False
Let i = -3.4 + 4.5. Let a = 9/10 - 7/5. Which is bigger: a or i?
i
Let x = 35 + -31. Which is bigger: x or 3?
x
Let b = -1 - -2. Suppose r - 4 + 1 = 0. Let m be 3 - (3/(-12) + r). Is b equal to m?
False
Let u be (2/15)/((-3)/(-5)). Let x(f) = f**3 + 4*f**2 + f + 4. Let g be x(-4). Suppose -4*a + 0*a = g. Is u at least a?
True
Let i be (5 - 1) + (-204)/6. Is i less than -31?
False
Suppose -9 = -3*r - 0*r. Suppose -3*f - 16 = -2*i - 6, -3*f = r*i - 15. Suppose f = -4*s - 3 - 5. Which is smaller: 1 or s?
s
Let d = -151/3 + 52. Which is bigger: d or 2/5?
d
Let u = 11 - 7. Suppose -4*y = u*f - 3*f, 0 = f. Is 1/17 <= y?
False
Suppose -3*m = -0*m. Suppose 5*k + 5 + 15 = m. Is k != -4?
False
Let b(s) = -s + 6. Let t be b(0). Let v = t - 6. Which is greater: -2/11 or v?
v
Let d = -0.12 - -7.12. Let h = d + -7.1. Do 2 and h have the same value?
False
Suppose 5*d + 15 = 0, 0 = -4*n - d + 4*d + 9. Suppose -5*u = -n*u. Is u less than or equal to 2/21?
True
Let t = -2.8 + 3. Let r = -25 - -51/2. Which is bigger: r or t?
r
Let s = -373/5 + 3337/45. Let f = 11/45 + s. Which is greater: f or 0?
0
Let j be 33/7 + 8/28. Suppose -9 + 49 = j*h. Let w be 8/(-20) - h/5. Which is greater: -1 or w?
-1
Let j = 79 - 67. Is j not equal to 5?
True
Let t = 1564/7 - 223. Let i = 20 - 6. Let n be (-6)/21 + 4/i. Is n <= t?
True
Suppose -3*z = 2*z. Is 3/11 bigger than z?
True
Let o be -1 + 1 - (-4)/4. Let m = -168/11 - -2173/143. Which is smaller: o or m?
m
Let m = -16.6 + 15. Let a = m - -2. Is 1/3 <= a?
True
Suppose -4 = 2*l - 2. Is l smaller than -2/33?
True
Let g be (-96)/3 - 1*(-6)/2. Which is bigger: -0.1 or g?
-0.1
Let d = 37 + -17. Let q = 19.59 - d. Let k = 0.01 + q. Are -1 and k nonequal?
True
Let c be -6*1/(-36) + (-1)/(-2). Is c at most as big as 58?
True
Let x(u) = 2*u**2 - 10*u + 2. Let w be x(6). Let z be (4/(-6))/((-8)/156). Is z < w?
True
Suppose p - 3*p = 0. Let o = p + -4. Let r be (-4)/8*o/1. Do r and 3/5 have the same value?
False
Let h = -10 + 26. Let z be 1/(-2) - 69/(-6). Let a = z - h. Does a = -1?
False
Let h(p) = p - 1. Let o be h(4). Suppose -r = -4*u - 3*r + 4, o*u + 3*r - 6 = 0. Which is greater: u or -2/21?
u
Let x be (-3)/2 + (-5)/(-6). Is x at least -1/2?
False
Let d = 6 - 2. Let o = -4 + d. Let c be (-14)/6 + 3 - o. Are 2 and c non-equal?
True
Suppose 2*o + k = 3*o - 9, 4*o + k - 31 = 0. Is o not equal to 4?
True
Suppose m + 5 - 1 = 0. Let g(i) = -6*i - 4. Let o be g(m). Suppose 2*r - 12 = d + 5*r, d - 5*r = o. Which is bigger: -2 or d?
d
Let v(o) = o**2 + 6*o + 5. Let w be (-18)/3*(-5)/(-5). Let l be v(w). Is 4 greater than l?
False
Let l = 3 - 3. Suppose 4*q - 5*a = -15, -3*q + 20 = -6*q - 5*a. Let o be (1/(-2))/((-2)/q). Which is greater: o or l?
l
Suppose -14*n + 16 = -12*n. Is n greater than 8?
False
Let z = 22.4 + -14. Let x = z - 0.4. Is -1 > x?
False
Let j be 2 + 2 + -1 - 1. Let h(d) = -5 + 0 + 6*d - d - d**j. Let q be h(4). Is 0 > q?
True
Let u be ((-5)/30)/((-1)/(-4)). Let i be (-2)/6 + 4/(-6). Is i != u?
True
Let a = 151 + -111. Is 40 <= a?
True
Suppose -7 + 1 = -p. Suppose g - p*g + 5 = 0. Suppose 2 - 22 = -5*k. Which is greater: k or g?
k
Let i = -7 - -7. Let w be 2 + -4 - (-24)/10. Are w and i equal?
False
Let y be 38/96 + (-1)/3. Let r be (-3)/4 - (-56)/32. Which is smaller: r or 