 = u**3 - 4*u**2 + 2*u + 3. Let f be z(3). Let v(o) = -o + 9. Let y be v(7). Let w be 1/(11/y + 1). Which is smaller: f or w?
f
Let z = -57 - -29. Let y be (-3)/((-6)/z)*1. Let b be (-48)/21 + (-4)/y. Which is bigger: b or -3/4?
-3/4
Let h be 391/805 - 6/10. Which is smaller: h or 1?
h
Let c be 13*(2 - (-2 - -5)). Let s = c + 12. Let g = 2 - 3. Is s less than or equal to g?
True
Let d = 18 + -17.1. Let y = d - 1. Which is smaller: y or 1?
y
Let n = -586 - -29887/51. Which is greater: n or -1?
n
Suppose -16*k = -4*k. Is -24/17 less than or equal to k?
True
Let w = -77097/680 - 3/136. Let v = -113 - w. Let n = 3 - 5. Which is smaller: n or v?
n
Let w = -24 - -22. Are w and -2 non-equal?
False
Suppose 0 = -3*z + 12, -4*j + 0*z - 28 = -3*z. Let c = j + 5. Is c equal to 2?
False
Let y = -19.186 + -0.014. Let n = -19 - y. Let v = 2.6 - 0.6. Are n and v nonequal?
True
Let d = -18 + 37. Which is smaller: 20 or d?
d
Suppose -2*o = -r + 14, 0 = 2*o + 3*o + 3*r + 46. Let p(b) = 21*b**3 - 2*b + 1. Let w be p(1). Let x be 2/w + 4/o. Is x at most as big as -1?
False
Suppose 0 = -4*d - 0*u + 3*u + 20, -d + 5 = -5*u. Suppose -n = i, i - d*n = -n - 10. Is i greater than -1/2?
False
Let b = -114 - -115. Which is smaller: 21 or b?
b
Let a = -253 + 271.65. Let z = -18 + a. Let j = -0.05 + z. Do j and -1 have the same value?
False
Let f be 5*((-690)/175 + 4). Which is greater: -18 or f?
f
Let v be ((-40)/3)/((-4)/18). Let u = 601/10 - v. Suppose 3*p = -0*p. Is u >= p?
True
Suppose 0 = -2*g - 3*g - 4*z - 70, 0 = -g - 2*z - 20. Let k be (-2)/(-6) - g/15. Let u be k - (-9)/(-24)*2. Is u != 0?
True
Let h(o) = o**3 + 6*o**2 - o - 7. Let a be h(-6). Let j = 285 + -4273/15. Are j and a nonequal?
True
Let t = -20 - -29. Let o = t + -11. Let h = -3 + 5. Is h at most as big as o?
False
Let z(o) = -16*o**2 + 3*o + 2. Let g be z(-1). Which is smaller: g or -20?
-20
Let s(b) = 3*b + 0*b**2 + 4*b + b**2. Let m be s(-7). Suppose 2*a = 3*p + 2*p + 9, -3 = 5*p + a. Is m less than p?
False
Let d = 0 - -4. Suppose 0 = -2*p + 7*p + 2*x - 22, d*p = -5*x + 21. Suppose 0 = 2*n + p*c - 0*c + 6, -3*n + 1 = -4*c. Which is smaller: n or 2/7?
n
Suppose -v - 3*j + 2 = -0*j, j = 5*v - 26. Suppose t = -4*t + 5*a - 85, -a = -v*t - 77. Let y = -44/3 - t. Which is smaller: y or 0?
0
Let d = 12 - 10. Let z = -1 - -3/4. Are d and z equal?
False
Suppose 0*t - 3*t = 5*w + 13, 0 = 2*w + 5*t + 9. Let x = w - 1. Let a = -21 - -19. Is a greater than x?
True
Let i be ((-57)/(-38))/((-1)/(-2) - 0). Let n = -3 + 6. Does i = n?
True
Let g(u) = u**2 + 8*u + 15. Let z be g(-6). Suppose -3*h + 30 = z*p, -3*p = -p - 6. Is h > 7?
False
Let c = -339/5 + 68. Which is smaller: -1 or c?
-1
Let r = -0.11 + -0.03. Let d = -0.08 + r. Let q = d - -0.02. Which is bigger: 2 or q?
2
Let n(z) = -3*z**2 - 2*z - 2. Let l be n(-2). Let b be 5/(-17)*4/l. Which is bigger: b or 0?
b
Let m(t) = -t - 8. Let a be m(-5). Let i = -3 - -2. Let l be ((-3)/i)/(-2 + 1). Is l bigger than a?
False
Suppose 3*t - 4*n + 2 = 6, 18 = 5*t - n. Let u = -1 - -2. Let j be (-5 + u + 0)*-1. Is t less than j?
False
Let i(s) = -2*s - 7. Let j be i(-5). Suppose -3*v + 3*p = -6, -22 = 3*v + 4*p + 7. Let z = v + 5. Is z at most j?
True
Let s = 12336/31 + -398. Which is smaller: 0.1 or s?
s
Suppose -4*u + 15 = 4*c - 9*c, 0 = -4*u - c + 45. Suppose -2 = -4*r + u. Let n = r + -3. Are n and -2/7 equal?
False
Let c be ((-30)/8)/3 + 1. Let d(i) = -7*i**2 - 23*i + 5 + 31*i - 18 + i**3. Let v be d(6). Which is smaller: v or c?
v
Suppose -4*x + 3*x - 1 = 0. Which is bigger: x or -3?
x
Suppose -n - 3*v - 4 = 0, -2*v + 40 = -5*n + 3*v. Which is smaller: -8 or n?
-8
Let i be ((-1)/(-27))/((-17)/(-102)). Is i at most as big as -1/6?
False
Let j(b) = -2*b + 12. Let o be j(8). Let d be 3/(3 - (-2 - o)). Which is smaller: 2 or d?
2
Let b = -0.36 + 0.79. Let t = b - -0.07. Let f = t - 0.6. Is 1/3 equal to f?
False
Suppose -3*y + 0 + 6 = 0. Suppose -2*r + 2 = -4*n, 0*r + 3*r - 4*n = 3. Does y = r?
False
Let j = -5 + 9. Let t(m) = 3*m**2 + 5*m + 2. Let c be t(-2). Are c and j non-equal?
False
Let h = 11 + -8. Let d be ((-51)/(-15))/(3/5). Let j = d + -25/6. Is h <= j?
False
Let p be -2*(39 + (-4 - -8))/(-2). Is 85/2 < p?
True
Let c = 173.1 + -173. Which is smaller: 4 or c?
c
Let m = -0.47 + 0.17. Is -0.03 at least as big as m?
True
Suppose 0 = -a - 4, 2*l - 14 = 5*a + 8. Which is smaller: l or -3/13?
-3/13
Let w = -1367/15 + 91. Is 0 equal to w?
False
Let h = 2 + -1. Let r be (5 - 6)*(-2 + h). Is r less than 4/5?
False
Let h(p) = -p + 7. Let w be h(5). Suppose j + j = -w. Is -3/2 at most j?
True
Let h = -4 + 8. Let c(n) = -n**2 - 7*n - 5. Let i be c(-5). Suppose f + i*u = -15, f + 10 + 2 = -h*u. Is -3 < f?
True
Let v = -14 - 2. Let u be v/(-65) - 14/35. Is u at most 0?
True
Let z be (-68)/16 + (-1)/(-4). Let y be (-2)/2*(z + 3). Does 1 = y?
True
Let d = 39 + -40. Which is bigger: 0.2 or d?
0.2
Let p = -7816/2665 - -38/13. Is -1 less than p?
True
Let x be (0 - (-2)/(-8))*24/15. Is -0.4 greater than or equal to x?
True
Let s be (-12)/(1 + -5) - 12. Is s less than 0?
True
Let j = 3 - 3. Let g be (j - 1) + (-3)/3. Let q = -4/15 + -8/15. Are q and g non-equal?
True
Suppose 2*z + 37 = -55. Let k = z + 140/3. Let p = -0.3 + 1.3. Is k smaller than p?
True
Let v be 1/3*-2*1. Let l be 1 + 1 + 0/2. Suppose -3*x + 4*i = 0, 2*x + l*i = -3*i. Is x > v?
True
Let i = -5 - -41. Is i equal to 35?
False
Let x = -441 - -3079/7. Let d be ((-4)/(-6) + 2/(-12))*0. Which is bigger: x or d?
d
Let f be 2*-1 + -3 + 1. Let k be f/2 - (-14)/8. Which is smaller: k or 3?
k
Let s = 6.2 + -8. Let k = 7 + -5. Let j = k + s. Which is bigger: 0 or j?
j
Let g(m) = m**3 + 9*m**2 - 11*m - 8. Let k be g(-10). Let p be ((-4)/(-10))/(k/130). Let x be (-2)/1 + 56/p. Do -1 and x have different values?
True
Let b = 9 - 8.2. Let d = 0.2 + b. Is d at least -2?
True
Let y be (-16)/18*9/(-6). Let j = 59/42 - y. Is j <= -1?
False
Let f(p) = p**3 + 6*p**2 - 4*p - 6. Let b be 11/(-2) - (-1)/(-2). Let t be f(b). Suppose h + 7 = 5*r, r + t - 5 = 5*h. Is h > 0?
True
Let z be 80/35 - (2 + 0). Let o(k) = k - 4. Let j be o(2). Let q = j - -3. Are q and z equal?
False
Let l = 0.5 + 2.5. Let y = l + -2. Let u be 3/(-44) + 8/(-44). Which is bigger: y or u?
y
Suppose 2*c + 2*c - 8 = 0. Let s(i) = 3*i**2 + 0 - 3*i + 1 + 3*i**2 - 4*i**2. Let z be s(c). Is z equal to 2?
False
Let m(b) = b + 14. Let a be m(-14). Are 5/8 and a non-equal?
True
Suppose 5*q - 42 + 17 = 0, -2*r - 5*q + 37 = 0. Let u be (-2 - -5 - -1)/r. Is -2/3 < u?
True
Let u(n) = -n**2 + 6. Let i be u(-2). Let s = -14 + 41/3. Which is smaller: i or s?
s
Suppose -37 = -5*j + 3*r + 8, -2*j + 18 = r. Let c be (-4)/(-10) - j/(-15). Let u be (c/14)/(3/12). Is u greater than or equal to -1?
True
Suppose -6*s + 5*s + 10 = 0. Let m(n) = n**2 - 11*n + 15. Let r be m(s). Is r less than or equal to 5?
True
Let b be ((-1)/3)/(5/75). Let i be (-8)/b*(-1 + 6). Let z = -10 + i. Which is smaller: z or 2/7?
z
Let z(a) = a**2 + 3*a + 3. Let k be z(-2). Suppose -g - 3 = -k. Is -2 not equal to g?
False
Let t = 10 - 5. Suppose 4*u + 5 = 2*a + 3, 0 = 3*a + t*u + 8. Let f = 21/10 + -177/70. Which is smaller: f or a?
a
Suppose 0 = 2*y + 5*d - 116 - 98, -3*y + 321 = 5*d. Is 108 != y?
True
Let x be (-10)/8 + (-2)/(-8). Suppose -2*l = -0*l. Let j = x - l. Is j at least -1?
True
Let t(u) = -u**3 - 4*u**2 + 4*u - 6. Let x be t(-5). Which is smaller: x or -5/7?
x
Let g = 4 + -9. Is g > -6?
True
Let f = 21 - 19. Which is smaller: -1 or f?
-1
Suppose -5*o + 2*o = b - 9, -5*o + 15 = 3*b. Which is smaller: 1/16 or b?
b
Let c(z) = 2 + 0*z**2 + z**2 + 3*z - 3. Let x be c(-3). Let u = 16/9 - 98/45. Which is smaller: x or u?
x
Let z(u) = -u**3 - 2*u**2 + u + 4. Let h be z(-3). Suppose 18 = 3*b + 3*l, -3*b + 33 = -4*l - 20. Is h at least b?
False
Let y(l) = -7 + 3*l - 4*l + 1 + 0*l. Let w be y(-6). Which is bigger: w or -4/5?
w
Suppose x = -x - 2*q - 6, -7 = 3*x + 2*q. Which is smaller: x or 1/9?
x
Let z = 56 - 56.2. Is z at most as big as 14?
True
Suppose -5*x + 48 + 27 = 0. Suppose 3 = 2*i + w - 6, 5*i = -w + x. Is i at most as big as 4?
True
Let c(q) = -q**3 + 4*q**2 - q + 1. Let w be c(4). Let x be 3/(w/1) + 1. Is 1 less than x?
False
Let d = 0.2 + -0.1. Let h be 2/(-56) - (-3)/(-12). Is d at most as big as