 + 4*g - 3. Let c be k(3). Let f be (-6)/28*2 + c. Which is bigger: f or z?
f
Let p = -6 - -8. Let y = -4 + p. Let z be ((-2)/6)/(2/y). Which is bigger: -1 or z?
z
Let t = 27 - 18. Let s = -0.2 - -6.2. Let l = s - t. Does 1/4 = l?
False
Let z = -143/4 - -36. Is z greater than or equal to 1?
False
Let m = -7 - -8. Let d be (1/m + 0)/(-5). Is d less than -2?
False
Suppose 0 = 2*a - f - 0*f - 1, 5*a + f + 1 = 0. Which is smaller: a or -14?
-14
Let y = 16 - 10. Let v = y + -2. Let r = -4.1 + v. Which is smaller: r or 7?
r
Let d(l) = -l**3 + 2*l**2 + 2*l - 6. Let g be d(4). Let s be (-8)/(-16) - g/4. Which is bigger: 9 or s?
9
Let h be (-1)/(-1) - (0 - -1). Let y = 0 - h. Suppose -k = -y*k. Is -1 < k?
True
Suppose 0 = -2*t + 4 - 10, -284 = 5*n + 3*t. Is -54 equal to n?
False
Suppose 3*h = -h + 4*r + 24, -4*h = -5*r - 22. Suppose -4*o - h = 5*c - c, -5*c - 10 = -5*o. Is 2/9 greater than o?
True
Let v(m) = -6*m - 21. Let b be v(-3). Let q = 6 + -13. Which is smaller: b or q?
q
Let g = 333 - 985/3. Which is bigger: 5 or g?
5
Let o be 3 + -4 + 1 + 1. Are o and -1/8 nonequal?
True
Suppose 0 = -3*q + 30 - 24. Is q at least as big as 4/3?
True
Suppose 5*w = 2*n - 20 + 3, 0 = -3*n - 2*w - 3. Suppose 3*q - 2*q + 8 = 4*s, -q - 6 = -2*s. Is s at most n?
True
Suppose 2*l - 2 = 3*l. Let h(q) = -q**3 - 1 - 3*q - 5*q**3 - 2*q**3 - 3*q**2 + 7*q**3. Let z be h(l). Is 0 greater than or equal to z?
False
Let a be (-6)/8 + (-302)/(-216). Let l = -1/54 - a. Is 0 smaller than l?
False
Let m(x) = x**2 - 10*x + 17. Let b be m(9). Suppose -k + b = 5. Let y = 827/520 - -1/104. Does y = k?
False
Suppose -4*f - 2 = -0*n - 3*n, 0 = -4*n - 5*f + 13. Suppose -2 = -o - n*i - 1, 0 = 2*o - 2*i - 2. Let u = 66 - 458/7. Are u and o non-equal?
True
Let h = 1/15296957 - 1302367622082/902520463. Let g = h + 1443. Is g bigger than 1?
False
Let c = 63 - 64. Do c and -1/13 have the same value?
False
Suppose 0 = -2*z + 6*z + 44. Let o = 7 + z. Is o bigger than -3?
False
Let m be 919/6438 - (-1)/(-6). Let j = 5/111 - m. Is 1 at most j?
False
Suppose -6*l - 8 = -5*l. Are l and -9 unequal?
True
Let t = -12 - -22. Let n be 56/6 + 5/(-15). Which is greater: n or t?
t
Let o be 1*2/(0 + 2). Which is greater: o or -9/35?
o
Let b be (-2)/(-2) - 2/4. Suppose s = 3*o - 0*o - 7, 3*o - 5 = -s. Which is greater: o or b?
o
Suppose -3*h - 4*z + 71 = 15, 55 = 5*h - z. Is h less than 11?
False
Let l = 864/13 - 876/13. Which is bigger: l or -1?
l
Let y be (-2)/(-3) - 49/(-21). Suppose y*z + z = -20. Are -5 and z unequal?
False
Suppose -4*p - 23 = -5*m, -2*p = -4*m + 25 - 3. Let u = -5 + m. Which is smaller: u or 3?
u
Let k be (-22627)/(-55) + 3/5. Let b = k - 3704/9. Let m = -0.3 - 0.7. Do m and b have different values?
True
Let j = 0.2 - 0.17. Are j and -2 equal?
False
Let v = -2/879 + 1844/37797. Let l(g) = -g**3 - 6*g**2 - 4*g + 5. Let b be l(-5). Which is smaller: v or b?
b
Let k = 2/97 + -394/291. Is k != 3?
True
Let o = -95.1 - -95. Is o > 21?
False
Let i be -9*11/(22/16). Which is bigger: -73 or i?
i
Let g = 38221 - 8561461/224. Let a = g + 3/32. Which is greater: a or -0.02?
a
Suppose -7*t - 5 = -2*t. Let n = 2 - t. Let u = 1 - n. Is u at least -1?
False
Let y be (-1)/(-36) - (-5)/(180/8). Suppose -h - 16 = -5*h + 4*j, 0 = -h - 2*j - 11. Which is smaller: y or h?
h
Let x be (6/(-4))/(15/(-10))*1. Suppose 5*f - f = 0. Is f not equal to x?
True
Let u = -2 + 4. Let z = -1.97 - 0.03. Is z less than or equal to u?
True
Let a be -1 + -1 - (-44)/19. Let h = -20/57 - a. Is h less than or equal to -2?
False
Suppose 2*u + 4 = 2*w, 0*w + 5*u = -w - 10. Let v be (-2 + -1 + 2)/1. Are w and v equal?
False
Let m = -6 + 9. Let j = m + -3. Let u = 45/196 + 1/49. Does u = j?
False
Suppose 5*f + 6 = -19. Which is bigger: -3 or f?
-3
Suppose 0 = 3*h - 2*v - 24, -h = -5*h + 2*v + 32. Suppose -3*s = -h*s. Is -2/11 greater than s?
False
Let u be 32/(-24) + ((-4)/(-3) - 2). Which is smaller: -16/19 or u?
u
Let o be (-2)/8 - 3/4. Suppose p - 3*p = 14. Let f be ((-7)/p)/(3*1). Is f at most as big as o?
False
Let c(j) = 2*j**2 + 48*j + 9. Let r be c(-24). Let m(y) = 3*y + 2. Let i(d) = -8*d - 7. Let f(o) = -4*i(o) - 11*m(o). Let a be f(r). Are -3 and a equal?
True
Let h be 9/4 + (-2)/8. Let t = 0 - 0. Suppose t = z + h*z. Does z = -2/3?
False
Let h be (-2)/(2/(-14)*2). Is 5 greater than h?
False
Let s(i) = -i**2 + 3*i + 1. Suppose -3*r = 2 - 11. Let b be s(r). Suppose 0 = -w + 2. Is w at most as big as b?
False
Let p be 28/(-315) - (-2)/9. Which is greater: -5 or p?
p
Let a be (-6)/8*12/(-18). Let v = -12 - -14. Does v = a?
False
Let i be 0 - 24/(-9) - 3. Let a = 15 + -11. Suppose 0 = 3*s - 2*h + a*h + 1, 4*s = -h + 2. Is i > s?
False
Let t(n) = -n**2 - 4*n + 2. Let j be t(-4). Let y = j + 2. Let i be (2 - y)*1 + 2. Which is greater: -1/2 or i?
i
Let p = 32 - 9. Is 24 at most p?
False
Let b be (2/(-10))/(-1)*(-55)/(-22). Do -4 and b have the same value?
False
Let g = 10 - 18. Let k = g - -25/3. Which is smaller: k or -1?
-1
Let t(w) = 3*w**2 + 3*w - 3. Let u be t(2). Let s be (-16)/u - (-4)/10. Let y be -5 + 1 - 4*-1. Which is smaller: s or y?
s
Suppose n + n + 2 = 0, 0 = 2*w + 3*n - 1. Suppose -u + w*u = -5*l, 3*l - 4*u = 0. Does l = -2/13?
False
Let x(w) = -w - 3. Let q be x(-11). Let f = q + -5. Let i(l) = l + 3. Let g be i(0). Is f bigger than g?
False
Let l = 37.2 - 37. Which is bigger: l or -1/12?
l
Let b(u) = u**2 - u + 2*u - 7 + 2*u**3 + 8. Let c be b(-1). Let y be 6/(-21)*7/(-3). Which is greater: y or c?
y
Let q = 1076 + -19379/18. Let w = q + 7/9. Is w > 2?
False
Let a = -5 + 5. Suppose a = 4*y + 4*z - 7*z + 12, 0 = -2*z. Which is smaller: y or -5/3?
y
Let f = 28 - 139/5. Which is smaller: f or 1?
f
Let h = 23 + -23. Let i = 0.5 - 0.44. Which is bigger: h or i?
i
Let c = 42.1 - 3.2. Let h = -41 + c. Let w = -2 - h. Which is greater: -0.2 or w?
w
Suppose 4*j - 7 = -5*p, -8 = -p - 3*j - 0*j. Let m be ((-200)/80)/(-1*-1*3). Which is greater: p or m?
m
Suppose -5*k = -k + 8. Let g(v) = -v**2 - 5*v + 6. Let x(r) = r**2 + 6*r - 7. Let n(y) = -6*g(y) - 5*x(y). Let l be n(0). Is l equal to k?
False
Let z = 37/12 + -733/300. Which is greater: 1 or z?
1
Let g = -2 + 1. Let l = -0.6 - g. Let n = 0.02 - 0.12. Which is smaller: l or n?
n
Let b be 20/(-14) + -18 + 19. Which is bigger: b or -1?
b
Suppose z - 6*p + 3*p = 5, -3 = 5*z - p. Which is smaller: z or -2/25?
z
Let t = -0.3 - 0.7. Let q = -0.4 - t. Let i = q + 0.4. Which is smaller: i or -0.1?
-0.1
Let o be 10/(-8)*(-2)/(-25). Let h(j) = -j**3 + j**2 + j + 1. Let r be h(0). Are r and o unequal?
True
Let k(w) = -w - 2. Let p be k(-3). Which is bigger: p or 2/9?
p
Let l(b) be the third derivative of b**5/60 + b**4/12 - 2*b**3/3 - 7*b**2. Let g be l(-4). Is g > -2?
True
Let f = -2.84 - -4.8. Let b = -0.04 - f. Let d = b - -1. Which is smaller: d or 0.1?
d
Let j(z) = -1 + 0 + 1 - 4 + 6*z. Let d be j(4). Suppose -4*o = w - 20, 3*o - d = -o. Which is smaller: 4/7 or w?
w
Let h(j) = -j**3 - 3*j**2 + 4*j - 3. Let z be h(-4). Let l(r) = r**3 + 2*r**2 - 2*r - 4. Let i be l(z). Does -6 = i?
False
Let r = -0.08 - 3.02. Let c = -2 - -5. Let o = r + c. Which is smaller: o or 4/5?
o
Let b = -3 + 9. Let q = 3 - b. Let t = -4 - q. Is -3 at most t?
True
Suppose 4*u - 6 = 2*u. Suppose -u*i = -i. Suppose p = 5*p - 4. Which is greater: i or p?
p
Suppose 0 = m - 6*m - 5. Suppose -11 = 3*p - 5*p - 3*f, 0 = 5*p - 5*f + 10. Let d be (0 + -5 + p)/(-6). Which is greater: d or m?
d
Let p be (-453)/30 + (-13)/(-130). Is p at most -15?
True
Let i be 4/10 - 16/(-10). Let l be ((-2)/(-28)*i)/(-1). Suppose 3*c - 2*c = -1. Which is smaller: l or c?
c
Let m(d) = d**3 - 9*d**2 + 1. Let l be m(9). Let w be l/3 - 156/252. Which is smaller: -1 or w?
-1
Let y = 80787/5 + -16085. Let a = y + -72. Does a = -1?
False
Let n be 328/720 + 4/(-10). Does n = -1?
False
Let i = -2.3 - 1.7. Which is bigger: i or -0.3?
-0.3
Let b be (-48)/(-8) + 2/(-1). Let j be (b/16)/((-1)/(-4)). Which is smaller: -0.3 or j?
-0.3
Let t(a) = a**2 - 11*a + 12. Let n be t(9). Let m(i) = -6*i + 41. Let k(s) = s - 8. Let z(p) = 11*k(p) + 2*m(p). Let q be z(n). Which is smaller: q or -2/3?
-2/3
Let l(y) = -2*y**3 + 2*y + 1. Suppose 2*m + m + 6 = 3*k, 4 = -k - m. Let x be l(k). Is 2 bigger than x?
True
Let o = -5 + 11. Let s be ((-6)/4)/(o/32