(-6). Let q = -2 + -1. Is q bigger than x?
False
Let t = 3 - 37. Which is smaller: t or -33?
t
Suppose -2*z - 30 = -5*z. Let h be -2 + (z - (2 - 0)). Which is smaller: h or 7?
h
Let u = 3 + -3. Let a(m) = 15*m. Let l be a(1). Let t be -3 + l*20/84. Which is bigger: t or u?
t
Let f(b) = -b**3 + 11*b**2 - 10*b + 10. Let u be f(10). Let w = -9 + u. Which is smaller: w or 3?
w
Let b be (4/6)/((-2)/(-3)). Let a be (-4)/(-22) + 910/77. Let j be a/(-66) + 34/66. Which is smaller: j or b?
j
Suppose -5*l + s + 31 = -2*s, -l = 2*s - 1. Which is bigger: l or 6?
6
Let a = 0.054 + 0.046. Which is smaller: -2/5 or a?
-2/5
Let t = -21 - -27. Is -1/5 >= t?
False
Suppose 3*k - 13 = 2*h, 3*h - 2 + 4 = k. Which is bigger: h or 2/7?
h
Let d be 2/(-12)*-10*12/375. Which is bigger: d or -1?
d
Let p(c) = -c - 3. Let r be p(0). Let f be 1*((-8)/(-4))/(-2). Let t be ((-2)/r)/(f/(-3)). Which is smaller: 0 or t?
0
Let t be (-4)/(-6)*(-3)/7. Let u = -15 + 9. Let w = 5 + u. Which is greater: w or t?
t
Suppose 4*o - 3*w = 13, 4*o - 28 = -4*w - 8. Suppose -o*k + 5 + 11 = 0, -t - 11 = -3*k. Do t and -2 have the same value?
False
Let s = -13/84 - 2/21. Is 1/2 < s?
False
Let g(i) = -2*i**2 + i. Suppose -5*y = -4 - 1. Let l be g(y). Which is greater: l or 3/10?
3/10
Let l(j) = -j**3 - 2*j**2 + 3*j - 3. Let n be l(-3). Let q be 0 - (n + 29/9). Which is smaller: q or 0?
q
Let n(w) = -w**3 - 9*w**2 - w - 1. Let d be n(-9). Which is greater: 7 or d?
d
Let m = -7 - -29/4. Which is smaller: 0 or m?
0
Suppose 5*i = -4*f + 8, 4*f + 10 = 9*f - 5*i. Let u be 26/12 - 1/f. Let a be (8/(-1) + 5)/(0 - 1). Do u and a have the same value?
False
Let y be ((-15)/120)/(-1 + 0). Which is smaller: y or 1?
y
Let m = 2 - 18. Do -1 and m have different values?
True
Let w = 7 + 32. Which is greater: w or 40?
40
Let o = 29 + -29. Which is smaller: o or 2/13?
o
Let g = 19 + -19.11. Let z = 0.01 + g. Which is bigger: z or 1?
1
Let w = 4.2 + -3.2. Let v = 0.44 + -0.04. Which is greater: v or w?
w
Let x = -85 - -84. Does x = 0.1?
False
Suppose -3*h = 72 + 33. Is h at least -35?
True
Suppose j - 4*n + 26 = 3*j, -26 = -4*j + 5*n. Let t be 2/(-3)*(j + -18). Is t at least 6?
True
Let j(y) = -y**2 + 5*y - 4. Let w(v) = -v**2 + 1. Let o(k) = -j(k) + 2*w(k). Let g be o(-11). Let c be (2/(-6))/(4/g). Is 6 != c?
True
Suppose 2*r - 1 = 3. Suppose -m + 18 = 4*g, 4*g - 30 = r*m + 3*m. Is 6 bigger than g?
True
Let b be 474/(-198) - -3*1. Let u = -3/11 + b. Which is greater: 0.2 or u?
u
Suppose 0 = -4*r - 3*f + 24, 4*r = -0*r + 3*f. Let n be 0/(-1) + -2 + r. Let d = -32 - -97/3. Which is bigger: n or d?
n
Suppose -3*x = -7*x - 20. Let r be 1*(-3 + (-3 - x)). Let d be (-2)/4 + 11/26. Which is bigger: r or d?
d
Suppose 7 = 2*y + 1. Suppose k - 4 = y*k. Let c = k - 0. Which is greater: 0.1 or c?
0.1
Let r(n) = -5*n + 14. Let q be r(4). Is -6 at most as big as q?
True
Suppose -p + 13 = -3. Let q be (-6)/p - (-9)/36. Which is bigger: q or 1?
1
Let b = 3 - 2.9. Let m = b + 0.3. Is m < -1?
False
Suppose 0 = -a - 4*g + 13, -2*g + 1 = 5*a + 2*g. Is -3 bigger than a?
False
Let z be 1 + -1 + -3 + 4. Is -1/5 greater than z?
False
Suppose -4*c = 3*c. Suppose 9*v - 4*v - 5 = c. Which is smaller: 2 or v?
v
Let t = 0 + 0. Let s = -0.5 + 0.3. Let m = -0.1 - s. Is m greater than or equal to t?
True
Let m = 64 - 61. Let h = -6 - -9. Are m and h non-equal?
False
Let x(d) be the first derivative of -5*d - 1/3*d**3 - 2 - 7/2*d**2. Let b be x(-6). Is 1/3 not equal to b?
True
Let y(f) = 4*f + 6. Let o(i) = 11*i + 18. Let t(g) = -3*o(g) + 8*y(g). Let c be t(-6). Is 2/9 at most c?
False
Let m be (120/28)/(2/14). Which is greater: m or 1?
m
Let u be (-18316)/(-24) - (-1)/(-6). Let g be 3/(-5) + u/1330. Which is smaller: 1 or g?
g
Let i be (-6)/(-4)*(-20)/(-1 - -3). Let r = 1/15 - 17/30. Which is smaller: i or r?
i
Let z(w) = w + 4. Let t be z(-2). Suppose -y - 1 = -t*y. Are y and -2/5 equal?
False
Let r = 11 + -11. Let l = -3 + r. Which is smaller: l or 0?
l
Suppose 3*g = -2*g - 40. Let u be 2/8 - (-2)/g. Suppose y + 1 = -u. Which is smaller: 2/7 or y?
y
Let b = 22 - 7. Let t = -15.3 + b. Let a = 0 - 0.1. Which is bigger: t or a?
a
Let z = 6 + -3. Suppose 6*a - a = -4*n + 1, -4*n + z*a = 7. Let g = -4/41 - 62/205. Is g not equal to n?
True
Let p be 1 + (-1)/1 + 1. Is p at least as big as 1?
True
Let c = -12.13 + 0.13. Let j = 18 + c. Which is smaller: 1/4 or j?
1/4
Let h be (-6)/(-18) + 4/(-6). Which is smaller: 15 or h?
h
Let v be -1 - 7 - 4*8/(-8). Suppose -4*f + 3*f = 2*a - 18, 2*a - 8 = 4*f. Let j = 5 - a. Is v smaller than j?
True
Let c = -117 - -112. Is 2/39 bigger than c?
True
Let o be (-16)/(-7) - 10/35. Let v be (-2 + o)/(6/(-3)). Suppose -c + 7 = -5*i, -5*i + v = -4*c + 13. Is i bigger than 2/5?
False
Suppose -5*m = 4*b - 172, -89 = -4*m - 3*b + 48. Let o = -97/3 + m. Which is bigger: o or -1?
o
Let u = 233 + -7457/32. Which is smaller: 1 or u?
u
Suppose n = 3*p - 4 + 2, 0 = -3*p - 4*n + 22. Suppose 3*t - 10 = -p*t, 8 = j + 2*t. Let r(o) = -o**2 - 5*o + 6. Let i be r(-6). Are i and j unequal?
True
Suppose 5*d - 2*b + 0*b = -12, -3*b = d + 16. Let k be 1/2*d/7. Let c = -0.1 - 0. Which is bigger: c or k?
c
Let k(j) = 3*j + 5. Let h(p) = 16*p + 26. Let z(d) = 2*h(d) - 11*k(d). Let w be z(-4). Let n be w/2 + (-9)/6. Which is greater: n or -3/7?
-3/7
Let l(q) = q**2 + 12*q - 5. Let k be l(-12). Which is smaller: -2 or k?
k
Let r(k) = -8*k**2 + 1. Let l be r(1). Let n be (2/(-6))/(l/(-147)). Is -7 at least as big as n?
True
Suppose 0 = 3*u - 2*s + 99, 3*u - s + 55 + 41 = 0. Are u and -29 non-equal?
True
Let x be 1/(-3)*6/8. Let w = -8 - -10. Let m be (w + -2)/(3 - 5). Are m and x unequal?
True
Let z(y) = -y**2 + 5*y + 1. Let a be z(5). Is -3 > a?
False
Let x be (5567/(-70) - 1)*-2. Let q = x - 161. Which is smaller: -1 or q?
-1
Suppose 0 = -i + 6*k - 3*k - 1, 4*k - 4 = 4*i. Which is greater: -2/107 or i?
-2/107
Let y(k) = -k**3 - 4*k**2 - 3*k - 9. Let n be y(-4). Suppose 7*t - n*t = 0. Which is smaller: t or 1/2?
t
Let s(y) = -y**2 + 3*y + 4. Let k be s(5). Let r be (2/k)/((-51)/18). Which is smaller: -1 or r?
-1
Suppose 2*l = -4, k - 14 = 5*l - 0. Suppose -k*q - 25 - 11 = 0. Let s be q/(-6)*(-4)/(-6). Is s greater than or equal to 2/11?
True
Let k = -15 - -11. Let d be 24/(-7) - 44/77. Is d greater than or equal to k?
True
Suppose -f + 2 = -0. Let n(d) = -d**2 - 5*d - 9. Let t be n(-4). Let u be f/10 - (-6)/t. Which is greater: u or 1/3?
1/3
Let y(v) = -v - 6. Let q be y(-7). Let l = q - 1. Let x = -0.92 - 0.08. Which is greater: x or l?
l
Suppose -5*w + 20 = 5*t, w + 6 = 4*t - 5. Let o = w + -1. Suppose 0 = -o*r - r. Is 3/8 smaller than r?
False
Let m = -107/5 - -21. Which is bigger: -1/4 or m?
-1/4
Let a = -107/12 + 26/3. Suppose -2 = 3*b + 5*n + 11, -2*b = -n. Is a smaller than b?
False
Let b be ((-3)/(-12))/((-27)/(-4)). Which is smaller: b or 0?
0
Let y be 0 - (-3)/(18/16). Suppose -12 = 4*j, x + 2*j + 15 = 4*x. Is y less than x?
True
Let d be (-170)/(-25) + (-2)/(-10). Which is smaller: -2/11 or d?
-2/11
Let b(o) = 2*o + 24. Let m be b(-12). Are 6/37 and m nonequal?
True
Suppose -3*z + 11 = f, -f + 3*z - 7*z = -15. Let j(g) = -g**2 + g + 1. Let n be j(f). Is 1/2 at most n?
False
Let d(n) = -n**3 - 17*n**2 - 16*n. Let y be d(-16). Let u = -3 + -6. Is y greater than u?
True
Let p = -16 - -15.6. Which is greater: p or 6?
6
Suppose -1 = b - 6. Suppose -y + b = -6*y. Which is bigger: -5/3 or y?
y
Let c = -710617/273 - -2603. Is -1 bigger than c?
False
Let k = -0.45 + 0.05. Let i = 6 - 7. Which is greater: i or k?
k
Let v = -199 + 209. Is 19 bigger than v?
True
Suppose -4*d - 12 = -4*u, 5*d + 0*u + 33 = -4*u. Let o be 3/d + 12/(-5). Let x be ((-20)/21)/(-5)*o. Which is greater: x or -2?
x
Let i = 72 + -47. Let w be (1/5)/((-10)/i). Let l(o) = -o**2 + o - 1. Let f be l(2). Is f >= w?
False
Suppose 0 = r - h - 3, 5*h = r - 6 - 17. Let k be (1 + -5)*1/(-2). Suppose -6 = d + k*d. Is r >= d?
True
Suppose 5*x - 8 = 2. Let w be 0/(3/6*x). Is w greater than or equal to 4/7?
False
Let q(s) = -5*s - 5. Let i be q(-4). Suppose 0 = 2*v - 5*v + i. Do 5 and v have the same value?
True
Let f be (-1)/(-4) + (-16790)/(-264). Let k = f + -191/3. Is k != -2/3?
True
Suppose 12 = -2*o + 4*o. Let i(p) = -3*p - 18. Let d be i(-8). Is d at least as big as o?
Tr