 + 3. Let d(v) = -v**3 + 5*v**2 - 2*v - 2. Let j be d(2). Let q be n(j). Which is greater: s or q?
s
Suppose -2 = -4*q - 2*r - 4, 3*r = 4*q - 13. Suppose 0*o + 5*c - 10 = 5*o, -2*o - 4*c = -2. Is o at most q?
True
Let m = -194 + 192. Is -24 at least m?
False
Let z = -3/20 + -7/20. Which is smaller: -1 or z?
-1
Suppose 0 = 4*j + 8. Let d be j/(-1 + (-7)/(-5)). Let l be -5*7/(-14)*4/(-2). Is d > l?
False
Let b = 3 + -14. Let o be (0 + -1)*-3 + b. Let g(r) = r**2 + 9*r + 9. Let k be g(o). Which is smaller: 2/11 or k?
2/11
Let n = -0.59 + 0.33. Let a = 0.06 + n. Are a and -2/13 non-equal?
True
Let g be -3 + 5 - -15 - 1. Let v = g - 15. Which is greater: 2/7 or v?
v
Let a = 0.3 - 0.3. Suppose -18 = -5*x + 372. Let s be 2/(-13) + (-1)/x. Which is smaller: s or a?
s
Let x be 147/14 + (-2)/4. Suppose s = -q - 2, 5*q - 5*s - x = -0. Are -3/5 and q equal?
False
Let x be (10/(-15))/((-2)/6). Suppose -2*y + 5*z - 11 = 0, -4*y + 2*z = -x - 0. Suppose -3*d + 4*f = -19, -2*f + 5*f + 10 = -y*d. Which is smaller: 2 or d?
d
Let j = -13/14 - -10/7. Let q = -56 - 16. Let f be q/(-42) + 4/14. Which is smaller: j or f?
j
Suppose -4*w - 24 = -4*n, -2*w + 0 = 3*n - 3. Let y = n - 1. Suppose -6 = 3*p - 5*p. Is y at least p?
False
Let h(k) = -k**2 - 7*k - 5. Let s be h(-4). Suppose 23 - 2 = s*o. Suppose 0 = 6*l - l - 20. Is l <= o?
False
Let g be ((-3)/2)/((-11)/(-154)). Is g equal to -21?
True
Let x = -4 + 4. Suppose u - 3*u = x. Suppose 3*j = 5*c - 6, 5*c + 0*c + 5*j + 10 = u. Which is greater: c or -2?
c
Let j(y) = -y**3 + 6*y**2 - 3*y - 5. Let o be j(5). Suppose 5*i = o*p + 20, -2*i = -4*p + i - 13. Which is bigger: -2/31 or p?
-2/31
Let a = -30 + 54. Let q = a - 22. Which is smaller: 3 or q?
q
Suppose -h - 4 = -3. Is h not equal to -1?
False
Suppose 5*o - 20 = -t, 5*t - 2*o - 3*o = -20. Suppose t = -2*j + 6*j + 4. Are -2 and j unequal?
True
Let z(o) = -o**2 - 2*o + 4. Let p be z(-4). Let u = -3 - -3. Which is smaller: p or u?
p
Suppose 28 = 2*k - 4*z, -55 = -5*k + 2*z + 23. Is k > 16?
False
Let r(s) = 5*s**2 - 8*s - 2. Let d(n) = -6*n**2 + 8*n + 2. Let q(v) = -6*d(v) - 7*r(v). Let f be q(-8). Are f and 4 unequal?
True
Let n = -1565594/2925 - -6956/13. Let w = n - 4/75. Which is bigger: -2 or w?
w
Let w be ((-2)/20)/(68/(-85)). Does 1 = w?
False
Let i = 6.1 + -1.1. Let z = -1 + i. Let c = 53 + -54. Which is greater: z or c?
z
Let x(j) = -j**3 - 9*j**2 + 6. Let i be x(-9). Suppose 22 = -4*k + i. Are -4 and k nonequal?
False
Let j = 5 + -32. Are -27 and j equal?
True
Suppose 10 = -5*m + 5*w, -2*m = w + 4*w - 10. Which is bigger: 4 or m?
4
Let x = -26 + 32. Which is bigger: 4 or x?
x
Let v = 5.19 + -5.2. Suppose 0*d - 3 = -3*d. Which is greater: d or v?
d
Let v be (-4)/(-22) - 20/(-11). Suppose v*u = 1 + 1. Suppose m + 4*i = 14, -5*i + 15 + 0 = 0. Which is bigger: m or u?
m
Let r be 2/(1/(-2) + 1). Suppose 3*i - 2 = r. Is 2 less than or equal to i?
True
Suppose -4*q = p - 16, 2*q - 8 = p + 4*p. Let x be ((-1)/(-2)*-2)/1. Let w = p + x. Is -1 greater than or equal to w?
True
Let h = 61 + -63. Let c(l) = 2*l**2 + 2*l - 2 - l**2 + 2*l. Let q be c(-4). Is q > h?
False
Let q be (-16)/(-6)*(1 + -4). Which is greater: q or -7?
-7
Let u(q) = q**2 - 8*q + 20. Let i be u(8). Is i at most as big as 20?
True
Let j(b) = 5*b - 36. Let v be j(7). Which is greater: v or 1/83?
1/83
Let a(b) = -b**3 + 2*b - 2. Let l be a(2). Which is bigger: l or -5?
-5
Suppose -l - 20 = -5*r, 3*l + 5*r - 10 = 6*l. Let o = 8 - l. Suppose c + 16 = n - o*c, -13 = -3*n + 5*c. Which is bigger: -5 or n?
n
Let t = -2.8 - -2.67. Let k = t - -0.03. Let d be 2/20*32/8. Is k at least as big as d?
False
Suppose 0 = -9*a + 4*a. Suppose 5*b + a*b = 0. Do -1/5 and b have the same value?
False
Suppose -5*p + 320 = -0*p. Suppose -3*v + 3*w = -4*v + 27, -p = -2*v + 4*w. Let k be ((-2)/v)/(2/(-6)). Is 1 at least as big as k?
True
Let j = 95485/6 - 15990. Let b(i) = -i**3 + 11*i**2 + 6*i + 10. Let a be b(11). Let k = j + a. Which is bigger: 0.1 or k?
k
Suppose 0 = 5*n - 89 + 69. Let o be (6/(-4))/((-2)/4). Which is smaller: o or n?
o
Let o(u) = u**3 + 6*u**2. Let g be o(-6). Suppose 0 = -g*p + 4*p. Let d(q) = q - 4. Let c be d(5). Is c less than p?
False
Let x = 7 - 5. Let q be x/(-4)*-4 - 3. Let g be ((-20)/8)/(q/2). Which is bigger: 4 or g?
g
Let j = 34 - 32.7. Let d = 13 + -14. Let k = j + d. Which is smaller: 1 or k?
k
Let z be 54/(1 - -2) - 0. Suppose 5*y - z = 4*x, 5*y - 3*y = x + 6. Is x < -1/2?
True
Let v be 1*105/25 + -4. Which is smaller: v or -0.02?
-0.02
Let b = 0.38 - 0.19. Let l = -0.022 + 0.032. Let i = l + b. Which is smaller: i or 2/7?
i
Let b = 52 + -311/6. Let d(j) = -j**2 + j + 1. Let a be d(0). Which is smaller: b or a?
b
Suppose 3*f - 2*f - 1 = 0. Let o be (f/3)/(1/3). Let j = -1 - -2. Is j smaller than o?
False
Suppose -j - 31 = -5*p - 1, -3*j + 5 = 4*p. Let r be j/(-10) - 3/(-6). Is 2/67 less than or equal to r?
True
Let h = 99 + -125. Which is smaller: h or -28?
-28
Suppose c + 2 = 2*c. Let d be (c/(-6))/(8/6). Suppose 4*l - 3*n + 49 = 0, -3*n + 5*n - 6 = 0. Is d >= l?
True
Let m be (-3 + 1)/(1*4)*2. Is 9/11 <= m?
False
Suppose 2*b + 8 = -2*b. Suppose -11 = -r + 2*n, 4*n - 3*n = -4*r + 8. Let z be ((-3)/r + 1)/(-2). Is b > z?
False
Suppose -5*d + 4*d = -3. Let x = d + -2. Does 2 = x?
False
Suppose 4*y + 6 = 2*k + 2, -5*k = 5*y + 35. Which is greater: y or 1/5?
1/5
Let h = -14 + 13. Let l be 4/10 + 8/(-70). Are h and l non-equal?
True
Let x = 1.9 + -2. Which is greater: x or -5?
x
Let n = -3 + 3.7. Let c = -0.81 + n. Let m = c - -0.01. Is -1 at least as big as m?
False
Let t be (-15)/(-1)*(3 + -2). Suppose t + 5 = 4*a. Are a and 4 nonequal?
True
Let p = 2 + -5. Let j(i) = -i**2 - 5*i - 2. Let b be j(-5). Let m = b - p. Is -3 greater than or equal to m?
False
Let h be (-1)/((-1 - -2)/28). Which is bigger: h or -27?
-27
Let c(f) = 3*f + 29. Let z be c(-13). Is -12 at least as big as z?
False
Let c(h) = -h - 8. Let b be c(-8). Let o = b - 1. Which is bigger: o or -3/4?
-3/4
Suppose 0 = -5*f - 56 - 144. Are -39 and f unequal?
True
Suppose 0 = -2*p - 0*p + 14. Do 9 and p have different values?
True
Let u(p) = 8*p**3 - p. Let g be u(1). Let k = 6 - g. Is 0 greater than k?
True
Let o be 155/(-90) - (0 - 4/18). Is o < 2?
True
Suppose 4*t + 0*t - 40 = 0. Let a(u) = -u**3 + 13*u**2 + 17*u - 31. Let x be a(14). Which is bigger: t or x?
x
Suppose -4*o + 11 = -1. Suppose 3*x - 8*x - 25 = 0, 2*x = -2*t - 8. Let n be 16/12 + (t - o). Is 0 equal to n?
False
Let p be 13/21 + 2/(-7). Which is bigger: 2/17 or p?
p
Suppose 0 = 8*q - 2 - 6. Let y(m) be the third derivative of -7*m**6/120 - m**5/60 + m**4/24 - m**3/6 - m**2. Let i be y(q). Is i >= -7?
False
Suppose 3*v = 5*v - 4, -5*m = 4*v - 18. Suppose 3*j - 2 = m*s, -5*j - 4*s = -2*s + 2. Is -2/9 >= j?
False
Let s be (-1 - -2) + 88/8. Suppose 0 = 2*i - 6*i - s. Which is greater: 2 or i?
2
Suppose -2*q - q + 5 = -5*x, -5*x - 5*q - 5 = 0. Suppose -6 = 5*w - 26. Suppose 0*l + 4 = -w*l. Is x >= l?
True
Let h = -1172/17 - -69. Are h and 0 non-equal?
True
Suppose 2*a + 4 = 3*a. Let l = a + 1. Let p = l + -6. Which is smaller: 1/10 or p?
p
Let o = -12 - -17. Suppose 100 + 35 = -o*b. Let a be ((12/b)/2)/1. Which is smaller: a or 0?
a
Let q(u) = -u**2 - 2*u + 2. Let l be q(-2). Let f be l/3 - (-5)/15. Let p be -3 + f - (1 - 6). Is p at least as big as 4?
False
Suppose -5*s - 124 - 16 = 0. Which is smaller: s or -27?
s
Suppose 4 = 5*s - 61. Are s and 53/4 equal?
False
Suppose -2*n - 4 = 2. Let i = n - -7. Suppose -5*u - 15 = 3*v, 3*v + 3*u + i + 5 = 0. Which is smaller: v or -2/3?
-2/3
Let z = -6 - -5. Suppose -4*m + 9*m = 15. Suppose t = -m*t. Which is smaller: z or t?
z
Suppose 3*l - l + 3*l = 0. Which is greater: 2 or l?
2
Let f(i) = i + 7. Let z be f(-6). Is -2/45 greater than or equal to z?
False
Let v = 0.05 + 1.95. Let u = -0.04 - -0.14. Which is greater: v or u?
v
Let m be (84/(-15))/(4/(-10)). Let j be (-10)/(-35) - 88/m. Is j less than or equal to -6?
True
Let w be 2/9 - (-10)/(-45). Suppose 0 = 4*h - l + 5 + 12, h + 4*l = 17. Let g = -3 - h. Is g less than w?
False
Suppose -z - 123720 = -4*z. Let s be 6/(-2) + z/9528. Let j = -2/397 - s. Which is bigger: -2 or j?
j
Let w = 1.5 + -1.32. Let m = -1.82 - w. Are m and -0.4 unequal?
True
Let k = -18 + 6. Are k and 