6?
6
Let h = 4.9 - 4.2. Which is bigger: -2 or h?
h
Suppose 7*z - 8*z = 0. Let q = z - -1. Which is greater: q or -2/9?
q
Let x = 1.07 + -0.07. Let p = -0.9 + x. Is p < 13?
True
Let n(b) be the third derivative of 0*b + 2/3*b**3 + 0 - b**2 + 1/24*b**4. Let h be n(-7). Are h and -3 nonequal?
False
Let y = -1.06 - -1. Let l = y - -0.46. Is 2 less than l?
False
Let v = 0.45 + -0.35. Suppose -y = -2*y - 1. Let x be 0 - ((-10)/8 - y). Which is greater: v or x?
x
Suppose 0 = -5*k + 5. Let j be 1 - 0 - 1/k. Let q(z) = z**3 - 14*z**2 + 23*z + 10. Let u be q(12). Which is bigger: j or u?
j
Let b = 3 + -6. Let k be 2 + 0/(6/b). Let s be k + -1 + 0 + -2. Is s at most 0?
True
Let v = 0.06 - -0.14. Are v and 1/11 nonequal?
True
Let g(m) = -m**3 + 7*m**2 - 9*m + 15. Let a be g(6). Is a smaller than -3?
False
Let b = -10 + 6. Let f = -2 - b. Let t be (-1)/(-3) - (-1)/(-3). Which is bigger: t or f?
f
Let i = 2 - 4. Let u = 1.9 + i. Let n = 19/2 + -59/6. Which is smaller: u or n?
n
Let p = -62 + 61.7. Let v = 1/11 + -25/33. Which is smaller: v or p?
v
Suppose 0 = -4*s + 38 + 106. Let k be (-1)/(-4) - 57/s. Suppose -6*b - 1 = -5*b. Which is greater: k or b?
b
Suppose s + 6 = 2. Let k(o) = -o**2 - 7*o - 6. Let r be k(s). Suppose r*c - c = 5. Is c < 1/6?
False
Suppose 0 = 5*l - 0*l - 25. Let w = l + -5. Is -2/3 less than w?
True
Let q = 3/2 + 0. Let x(s) = -s**3 - 13*s**2 - 13*s - 12. Let v be x(-12). Suppose t + 3 = -3*t + 3*g, -3*t - 3*g + 24 = v. Which is greater: t or q?
t
Let s(d) = -d - 10. Let k be s(-8). Which is greater: k or 6?
6
Let n(f) = 5*f**2 - 1. Let u be n(1). Is u less than or equal to 2?
False
Let g(l) = -l + 7. Let w be g(9). Let m = w - -6. Let c be 2/4*m + -5. Which is smaller: c or -2?
c
Let g = 5 - -1. Let z = -8 + g. Let y(f) = f**2 + 6*f - 8. Let v be y(-7). Which is bigger: z or v?
v
Suppose z - 1 = -0. Let m be -1 + (-3)/(-2 - z). Let r be 5/(-3) + 3/9. Which is greater: r or m?
m
Let l be 2 - (-2 - -1) - 1. Let v be (-3)/(-3)*(1 - l). Are -1 and v equal?
True
Let g be 2/4 + (-10)/4. Let p be (-2 - -10)*(-2)/(-4). Suppose -l = p*l. Is g < l?
True
Suppose 2 = -y + 4. Let s(d) = d**2 + 6*d - 5. Let v be s(-7). Suppose v*o = o + 3. Is o at least as big as y?
True
Let z(v) = -v**3 + 2*v**2 + 4*v - 1. Let f be z(3). Suppose 0 = 5*x - 8 - f. Let r = 2 - x. Is r bigger than -4/5?
True
Let c(m) = -m**3 - 2*m + 2*m - 3*m + 3*m**2 + 2. Let o be c(2). Let b be 2/1 + (-13)/7. Which is greater: b or o?
b
Let n be 0 + (51/(-34))/((-30)/8). Which is smaller: 1/4 or n?
1/4
Let x = -5 - -1. Let j(c) = -c**3 - 5*c**2 - 4*c + 1. Let m be j(x). Let q = -1/65 - -133/195. Is q at least m?
False
Suppose 4*a - a = 6. Let d = 0 + a. Let c(l) = -23*l**2 + 138*l + 1. Let o be c(6). Which is smaller: o or d?
o
Suppose -2*g + 0*g = 0. Let v = -1762/21 + 84. Is v less than or equal to g?
False
Suppose 2*m - 3*k - 6 = -0*k, -m = k + 2. Suppose -c - 5*y = m, 5*y = c + 3*y - 7. Are c and 5 unequal?
False
Let x = -81/2 + 32. Is -9 != x?
True
Let m = 5 + -1. Let b be (-26)/56 - m/14. Let l = 491 - 490.9. Which is smaller: l or b?
b
Let y = 18 - 13. Let q(n) = 2*n - 10. Let s be q(7). Let c = y - s. Is c at least 2/43?
True
Suppose 5*f = 3*f - 12. Let o = -4 - f. Suppose 2*a = 6*a. Is a < o?
True
Let l(m) = m**3 + 4*m**2 + 4*m + 2. Let g be l(-3). Let n(u) = -u**3 + 9*u**2 - u + 11. Let q be n(9). Suppose q*s - 5*s - 3 = 0. Is g smaller than s?
False
Let j be 4/(-18) + 407/9. Let y be (-5)/(j/26) + 3. Which is smaller: 1 or y?
y
Suppose -4*q - 4 = -8*q. Let a = -1 - q. Is -2 at least as big as a?
True
Let k = 4/89 - 114/6497. Which is bigger: 1 or k?
1
Let n be (4 - 6) + 5 - 11. Is -7 at most as big as n?
False
Let c = 1.2 - 1. Which is smaller: 0.03 or c?
0.03
Let q = -4 - -4. Is -3/20 not equal to q?
True
Let x be ((-2)/3)/((-2)/12). Suppose -2*i - r = -2*r - 8, -2*r = x*i. Let z be ((i - 3) + 3)/(-3). Is -4 smaller than z?
True
Let l = 4.018 - 0.018. Which is smaller: l or -0.1?
-0.1
Let i = -1 + 1. Suppose -t + i*t = -1. Which is greater: 2 or t?
2
Let u be (-303)/(-12) + -2 + -1. Let m = 181/8 - u. Is m < -1?
False
Suppose 3*q - 2*q - 12 = 3*w, -9 = -4*q - w. Suppose -q*z - 3 = 5*r, 3*z = 3*r + 27 - 6. Let x = -14 + 9. Is r > x?
True
Suppose -5*k - 3 = -u, -2*k - 4*u = -3*k - 12. Which is smaller: k or 0.01?
k
Let n = 13 + -16. Suppose 2*p + 0 = -2. Let i = p + -1. Is i equal to n?
False
Let m be 12 + (3 - 3) + 0. Let b be (-1)/(-5)*(-15)/m. Let o = 1 + -1. Which is smaller: o or b?
b
Let d = 0 - -3. Suppose -3 = -5*a - 8. Does a = d?
False
Let i = 0.48 - -1.52. Which is smaller: -1/8 or i?
-1/8
Let i(k) = 9*k**2 + 2*k. Let h be i(-2). Let x = h + -63/2. Which is bigger: x or -0.1?
x
Suppose -f + 17 = 4*z, -2*f - 2 = -5*z + 3. Let i = -4 + z. Which is smaller: 3/14 or i?
i
Let j(d) = d**3 + 5*d**2 + 6*d + 4. Let f be j(-4). Let g = -16 + 13. Which is bigger: f or g?
g
Let c = 0 - -3. Let w be c/(-2)*(-3)/(-9). Which is smaller: w or 0?
w
Suppose 0 = 2*w - 1 - 3. Suppose -2*l - 8 = w*v, -v + 2*l = 4*l + 7. Does 3/7 = v?
False
Let v(i) = -i**2 - 4*i - 2. Let u be v(-4). Is u at least -1?
False
Let h = 4.87 - -0.13. Let b = 4.7 - h. Let r = 0 + 0.1. Which is smaller: r or b?
b
Let o = -1129/636 + 4/159. Which is greater: -3 or o?
o
Let d(r) be the second derivative of 7*r**3/3 - 3*r**2/2 - 4*r. Let s be d(2). Let c be (-2 + -3)*2/s. Which is greater: c or 0?
0
Let f = -2 + 5. Let d be ((-6)/(-9))/(4/30). Which is bigger: f or d?
d
Let u = -9 - -10. Let f(k) = -k**3 + 4*k**2 - 3*k - 2. Let g be f(3). Is g >= u?
False
Let b(u) = u**2 + 4*u + 8. Let q be b(-5). Is q <= 13?
True
Suppose 0 = -0*u + 3*u - 5*x - 125, -u + 2*x = -42. Suppose 4*p + 120 = u. Let m be (-6)/5*p/(-6). Which is bigger: -1 or m?
-1
Let l = 10 - 11. Is -0.12 bigger than l?
True
Let o = -3.01 + 0.01. Are o and -6 nonequal?
True
Let m be 80/700 - (-2)/7. Let a(u) = u**2 + 4*u + 3. Let h be a(-2). Is m at most as big as h?
False
Suppose -18*m + 12 = -6*m. Let p = 0 - 0. Which is bigger: p or m?
m
Suppose -8*u = -14*u + 18. Is 6 < u?
False
Suppose 19*w = 16*w - 12. Are w and -13/4 unequal?
True
Let m be -4 + -7*4/(-4) - -1. Is 7 bigger than m?
True
Let z = 0 - -0.2. Let o = -41/100 - -4/25. Which is greater: o or z?
z
Let h(o) = -o**2 - 3*o - 3. Let j be h(-3). Let c = 1 + -2. Do c and j have different values?
True
Let a = -0.36 + 0.18. Let t = a - -0.22. Which is smaller: t or 0.1?
t
Let k = 18 + -145/8. Is k less than -3/4?
False
Let n = -6 + 10. Let x(t) = 6 - 5 - 5 + t. Let g be x(n). Which is bigger: 2/17 or g?
2/17
Suppose -3*x + 54 = -s, -x + 36 = x + 2*s. Let d = x + -13. Are d and 5 non-equal?
False
Suppose -432 = i + 3*i. Let a = 970/9 + i. Let r = -1 - -2. Which is smaller: r or a?
a
Let r(p) = p**2 + 8*p - 8. Suppose 3*a - 5*l + 16 = 0, 3*a + 5*l + 24 + 2 = 0. Let i be r(a). Let z be ((-2)/i)/(16/(-100)). Is -2 greater than or equal to z?
False
Let h = 1.7 + -1.6. Let n be (12/3)/(4/(-6)). Are h and n non-equal?
True
Let r = 16.2 - 16.1. Is r at least 15/13?
False
Let u = -4 - -5. Suppose c = -u + 4. Let n be (c/2)/(4/(-4)). Are n and -2 unequal?
True
Suppose 5*c = k + 30, 3*c - 46 = -0*k - 5*k. Do c and 9 have different values?
True
Let i(n) = n**3 - 3*n**2 + n. Let w be i(2). Let h be ((-1)/2)/((-2)/4). Let u = w - h. Which is smaller: -1 or u?
u
Let a be (1 + -1)*1/(-2). Let o(f) = f**2 + 6*f - 7. Let r be o(-7). Is r smaller than a?
False
Let x(j) = 3*j + 3. Let s be x(-3). Let b be (-6)/(-9) + (-2)/s. Let u = 55/6 - 17/2. Is u greater than b?
False
Let k = 7 + -8. Which is greater: k or 1/11?
1/11
Let l = 0 + 1. Let b(a) = 18*a + 1. Let h be b(l). Suppose 4*t - 3 + h = 0. Which is bigger: t or -5?
t
Let x = 9.1 - 1.1. Let v = 8.2 - x. Is v greater than 4?
False
Let k be 1 - 9*57/(-6). Let n = k + -89. Is -4 <= n?
True
Let r be ((-4)/10)/(2/(-20)). Do 3 and r have the same value?
False
Let t = -6 + 10. Let g = 313 - 313. Do t and g have the same value?
False
Suppose -17 = -m - 2*m - 5*z, 0 = 5*m - 5*z - 15. Suppose m = 2*o, -5*w + 30 = 3*o + 9. Let p = w - 3. Is -1/2 less than p?
True
Let d = -10 - -19. Let u = 94 + -85. Let b = d - u. Is -0.1 at most b?
True
Let q(i) = -i**3 - i**2 - i - 1. Let y be q(-2). Suppose 10 = -3*x + y*x. Is x smaller than 5?
False
Suppose -4*k + 28 = -28. W