Let s = 2 + -6. Let b be 2 + 4*2/s. Suppose -4 = -3*o - o. Which is bigger: o or b?
o
Let r = 58.8 - 59. Which is bigger: -0.1 or r?
-0.1
Let j(z) = -z + 12. Let p be 15 + (-3 - (-3 - -3)). Let q be j(p). Is q != -2/15?
True
Let k(j) = 5*j**3 + j**2 - j. Let d be k(1). Suppose -2*v - 6 = d*b, 4*b - 5*v + 13 + 5 = 0. Is b at most -1?
True
Let z be 2/(-7) - (-26)/(-7). Let b(t) = -6*t - 2. Let q be b(-1). Let y = q - 9. Is z >= y?
True
Let r(g) = 30*g**2. Let w be r(1). Suppose 2*v - 1 - 19 = -2*t, 5*v = -t + w. Suppose 2*x - 4*x = -4*o + 4, 42 = 5*x + 3*o. Is x != v?
True
Suppose -26 + 11 = -3*r. Let m(s) = -s**2 + 6*s - 6. Let c be m(r). Is -3/2 less than or equal to c?
True
Let c be (-2)/(-2)*1*-2. Let t be 1*6/((-6)/c). Let q = 1 - t. Which is smaller: q or -1/2?
q
Suppose -3*i = 18 + 9. Let l = -69 + 67.88. Let m = 0.12 + l. Is i greater than m?
False
Let h(j) = 7*j**2 - 2*j + 2. Suppose -k - 2 = -3. Let x be h(k). Which is smaller: x or 1?
1
Suppose 0 = -2*b + 5*b. Suppose -3*p + 7 - 4 = 0. Which is bigger: p or b?
p
Let b(a) = a**2 + 2*a + 1. Let h be b(-3). Let w(y) = -y**2 + 4*y - 6. Let q be w(h). Is -7 not equal to q?
True
Let z be 6/10 - 112/320. Let m be (1 + 0 - 0) + -1. Is z equal to m?
False
Suppose -4*c + 83 = -3*t, 5*c - 5*t - 15 = 95. Let f = 20 - c. Do f and -1/3 have the same value?
False
Let q be 12/(-18)*3/(-8). Which is smaller: -0.4 or q?
-0.4
Let n = -1.45 + -0.05. Let q = n + 1.6. Is q != 6?
True
Suppose -4*a - 2 = 2. Is a at least as big as -1?
True
Let f = -1 - -4. Let h be (f - 1)/((-2)/(-2)). Let j be 0 - (1 + 1)/h. Which is smaller: 1 or j?
j
Let a be 2/(-7) + (-516)/(-42). Suppose -b + 33 = 3*r, -4*r + 3*r + b + 15 = 0. Is a not equal to r?
False
Let d(v) = v**2. Let s be d(0). Let a be -1*(0/(-3) - 0). Let c be a + 1 + 27/(-33). Which is smaller: s or c?
s
Let q = 10 + -6. Let z = q - 6. Let n = 4 + -4. Which is greater: z or n?
n
Let s(t) be the third derivative of t**6/120 - t**5/15 - t**4/8 - 7*t**3/6 - t**2. Let q be s(5). Is q bigger than -1?
True
Let v = 26 + -27. Is 1/5 less than v?
False
Let w = 33 + -35. Are -4 and w nonequal?
True
Let a = -33.2 + 31.8. Let u = 0.2 + -0.3. Are u and a equal?
False
Let y(k) = k**3 + 2*k + 3*k**2 + 4 + 0*k**3 + k**3 - k**3. Let o be y(-3). Which is bigger: 0.1 or o?
0.1
Let i be ((-4)/(-30))/((-5)/35). Let a = i - -4/15. Is -1 at least a?
False
Let a be -2 - 6/(1 + -3). Let p be (a + -2)*1/5. Is -1 less than p?
True
Suppose o + 2*o = -15. Let x be 8/2*(-16)/8. Let b = x - -2. Is b less than or equal to o?
True
Let d = 5 - 8. Is -3 less than d?
False
Let k be 1/(6/(-5) + 1). Let h = k - -8. Suppose -19*p = -16*p - 9. Is h < p?
False
Let v(u) = -2*u**3 + 3*u - 4*u + 4*u**3 - 3*u**3. Let z be v(0). Which is smaller: 2/35 or z?
z
Let w(h) = 9*h**3 - 3*h**2 + 2*h - 3. Let q be w(2). Let x = 430/7 - q. Is -1 at least as big as x?
False
Let u be (-6)/33 - 15600/231. Let r = -68 - u. Suppose 0 = 3*b - 5 + 20, 2*k + b = -7. Is r at most k?
False
Let s = -0.96 - -1. Is s less than or equal to -1?
False
Suppose 11 + 43 = -3*s. Does s = -18?
True
Suppose 2*h - 3*b = -2*h - 15, -5*b = -25. Let q(t) = 4*t**3 + t. Let k be q(2). Let o = 103/3 - k. Which is smaller: o or h?
h
Let k = 58 - 38. Which is smaller: k or 21?
k
Let f = -42 + 42. Which is greater: f or -1?
f
Let n = -10 - -7. Which is bigger: n or -2?
-2
Let t(j) = j**3 - 5*j**2 - 7*j + 7. Let i(a) = -7*a - 1. Let v be i(-1). Let k be t(v). Suppose 3*s = -k + 4. Which is greater: 2/3 or s?
s
Let z = 36 - 65. Let f be z/(-5) + 4/(-14). Let i = f - 40/7. Which is greater: i or -1?
i
Let q = -51 - -50. Which is smaller: q or -1/2?
q
Let u = -0.6 + 0.6. Let l be (-18)/(28/(-10) - -2). Let w = 23 - l. Are w and u nonequal?
True
Let f(k) = -k**3 - 3*k**2 - 4*k - 3. Let i be f(-2). Suppose 3*b - 5*h = 13, 4*b - h - 7 + i = 0. Let s = 0 + -1. Which is smaller: s or b?
s
Let p be (-1 - 15/(-9)) + 0/7. Suppose -4*k - 3 = 21. Let y be (-10)/k - 6/9. Are y and p non-equal?
True
Let s be 6/27 - (-75)/27. Suppose s*n - 2*j = -7, 4*n + 22 = 5*j + 1. Which is greater: -2/45 or n?
n
Suppose 0 = 5*s + 3*j - 7, -2 = 3*j - j. Suppose 8 = 4*n - 5*m - 8, -4*n = 2*m - 44. Suppose 5*a - 1 = n. Is s greater than or equal to a?
True
Let r(b) = -3*b + 1. Let m be r(-1). Let z be (-1)/(-3 - -2) - -3 - 1. Which is smaller: z or m?
z
Let k be (-2)/6*(-66)/77. Is -4/9 at most k?
True
Let q be -3 - (-6 + 2)*4. Which is bigger: 12 or q?
q
Let o = 1 + -3. Let y = -21 + 15. Let d = o - y. Is 4 < d?
False
Suppose -5*g - 1 = -11. Suppose -g*f - f = 3. Which is smaller: 3/8 or f?
f
Let f(i) = -i**2 + 7*i + 6. Let j be f(7). Suppose g - j*g = 10. Let x = 0.1 - 0.2. Is g less than or equal to x?
True
Let l = -0.01 + 0.2. Let q = l + 0.01. Which is bigger: q or -2?
q
Suppose -2*c = -3*t + 8, 0*t + 2*t - 4*c - 8 = 0. Let f be (0 + -3 + 1)*t. Is f not equal to -3?
True
Let b(s) = s. Let k be b(3). Let r be (k/(1 - -2))/1. Is r not equal to 1/5?
True
Let x be (-4)/10 - (-4)/10. Let f = -66 + 38. Let r = 27.5 + f. Is x greater than or equal to r?
True
Suppose m - 13 = -5*z, -3*m - m = z - 14. Do 15/7 and m have the same value?
False
Let b be 2/3 - 2/(-6). Let p be -2*3089/22*1. Let h = p + 281. Which is smaller: h or b?
h
Let c(g) = 4*g**2 - g**3 - 2 + 3*g**2 + 2*g**3 - g**2. Let r be c(-6). Let f = -2 - -3. Is r not equal to f?
True
Let r = 1.9 - 2. Let m = r + 0. Let u = 14 + -14. Which is bigger: u or m?
u
Suppose -q = 3, 0 = -2*a + 4*q - 7 + 25. Suppose -65 = 3*l - 5*v - 0*v, a*v - 23 = l. Let u be 2/6*(-15)/l. Is u < -0.4?
False
Let k = -539 - -3227/6. Is k less than -2?
False
Suppose 4*m = 3*p - 271, -3*p = -2*m - 331 + 62. Do 90 and p have the same value?
False
Let y = -5 - -5.04. Let h = y - 1.04. Let j = 1.2 + h. Is -2/9 at most j?
True
Let k be ((-1)/3)/((-2)/18). Suppose k*o - 8*o - 5 = 0. Let f(c) = -2*c**2 + 4*c - 2. Let w be f(2). Is o greater than w?
True
Let y = 98 + -98. Do -3/17 and y have different values?
True
Let k(y) = y**3 - 10*y**2 - 10*y. Let b be k(11). Which is smaller: 10 or b?
10
Suppose -5*d + 3*f = 4, 6 = -d - 3*f + f. Let v be 2 + (22/(-5) - d). Let x = -1 - 0. Which is bigger: x or v?
v
Let t = -554 + 1185/2. Let j = t - 40. Which is smaller: -1 or j?
j
Let n = -10179/5 - -2043. Does n = 6?
False
Let m = 1/176 + -361/1584. Let w(y) = -y**3 - 4*y**2 - 2*y - 6. Let c be w(-4). Let h = 1 - c. Is h at least as big as m?
False
Let t = 1406309/787 + -15906100411/8855324. Let s = t - -864/97. Let i = s + 4/29. Which is greater: i or 1?
1
Suppose -2*u = o - 21, -4*u - 3*o = 2*o - 57. Suppose -l - u = -3*l. Suppose -l*t = -2*y + 14, -t + 5*y = 4*t + 15. Is -3 < t?
False
Let d = 0 - 0. Let r be ((-9)/6 - -2)*2. Is d less than r?
True
Let c(o) = -o**3 - 3*o**2 - 2*o + 2. Let d be c(-2). Let i(z) = z + 1. Let j be i(3). Suppose d*k + j = 2. Is k <= -1/3?
True
Let s = -11 + 9.7. Let w = 1 + s. Which is greater: w or -2?
w
Let k be 158/(-14) - 12/(-42). Let o = k - -11. Let x = 0.04 + 0. Is x greater than o?
True
Suppose 6*n - 2 = 5*n. Suppose 4*z = 5*d + 3, -4*d = -3*z + 5 - 2. Let h = z + n. Which is greater: -2 or h?
h
Suppose -1 - 5 = 2*z. Let g be (2/(-6))/(z/(-9)). Which is greater: -2/7 or g?
-2/7
Let u = 4.6 - 4.63. Let c = -15 + 15.07. Let j = c - u. Are j and 0.4 unequal?
True
Let c(h) = h - 2. Let t be c(2). Let u = 3 + -4. Which is smaller: u or t?
u
Suppose -2*b - 3 = 3*v, 0 = 5*b - b + 3*v + 9. Suppose 9 = 7*a + 37. Which is smaller: a or b?
a
Let r be 2/8*128/24. Is 2 less than r?
False
Let w = -0.28 + 0.2. Let z = -2.72 + 3. Let j = w + z. Which is bigger: 2/11 or j?
j
Let g(b) = b**2 - 10*b - 1. Let s be g(8). Which is greater: 0.3 or s?
0.3
Let h be 7 + (0 + -1 - 1). Suppose -4*g - 32 = -5*a, 15 = -0*g - h*g. Which is smaller: 5 or a?
a
Suppose 3*f + 0*f + 165 = 0. Let j be 10/f + 0/(-1). Which is smaller: 0 or j?
j
Suppose 2*x - 4 = 3*t, -2*t - 2*x + 15 = 1. Suppose 4*u - 18 = u. Let n be 2 - t*u/5. Is 0 greater than or equal to n?
True
Let m be ((-3)/(-4) - (-114)/(-120))*67. Which is smaller: -13 or m?
m
Suppose -3 = -2*s + p - 1, -2*s + 2*p + 6 = 0. Is 2 bigger than s?
True
Let q(n) = -n**3 + 7*n**2 - 8*n + 2. Let m be q(6). Let o be (m/25)/((-1)/15). Is 5 at least as big as o?
False
Let l(z) = -z**2 + 3*z - 2. Let t = 0 - -3. 