 -b. Is 2 at most q?
False
Let d be 3/((-3)/5) - -2. Let x = d - -3. Is -2 equal to x?
False
Let b be (2 + -2)/(4 - 5). Suppose b = -d - 2*d. Is -3/4 at most d?
True
Suppose 3*z + 12 = f, 0*f - 4*z = 5*f + 35. Let x(l) be the second derivative of -l**5/20 - l**4/4 + l**3/2 + 2*l**2 + l. Let q be x(f). Is q != -3?
True
Let g = 14 + -16. Let o = g - -9. Suppose 0 = -5*d, -2*l = -4*d + d - 12. Which is smaller: o or l?
l
Suppose 2*j + 5*d = -25 - 4, 5*d = 5*j - 15. Which is bigger: -3 or j?
j
Let j be (6/6)/(0 - -1). Suppose -2*k + j = -k. Which is smaller: k or -2/25?
-2/25
Let q be (2 + 7/(-2))*6. Let z be -3*1*(-6)/q. Which is greater: -3/2 or z?
-3/2
Let y = -27 - -26. Which is smaller: -2/81 or y?
y
Let k = 967/2 + -493. Which is smaller: k or -10?
-10
Let s = 767 - 511. Let y = s + -1789/7. Is y <= -1?
False
Let k = -1.3 - -0.3. Let l be 67/105 - (-4)/(-10). Let u = -17/105 - l. Is k != u?
True
Let k be 1*(-3)/(-6)*6. Let w be (k + -6)/((-2)/2). Suppose -3*m = w*h + 6, 3*m + h = -h - 3. Which is greater: m or 6?
6
Let p = 0 - -5. Let k be -3*-1*p/3. Suppose c = 6*c - k. Is 0 less than c?
True
Let p = 449 - 446.97. Let b = p - 0.23. Let h = -0.2 - b. Which is greater: -0.4 or h?
-0.4
Suppose 3*t = 3*z - 0*z - 18, -2*t - 6 = 0. Suppose -5*r = -z*l + 1, 3*r - 4*l = -r - 4. Is r != 1/13?
True
Let q(b) = 3*b + 2. Let x be q(-2). Let v = 6 - 0. Let f = v + x. Is 3 bigger than f?
True
Suppose 5*g + p = 44, -g + 0*p = -p - 4. Which is smaller: 7 or g?
7
Let z = -0.386 - 16.714. Let p = z - 0.9. Is p != 1/2?
True
Let c = 24 - 9. Do 0 and c have different values?
True
Let a be 1/((-2)/8*2). Let y(u) = u**2 + 9*u + 11. Let d be y(-7). Which is smaller: a or d?
d
Let f = 41 + -43. Is -32 < f?
True
Let v = -2 - -0.8. Let p = -1 - v. Let t = p + -0.2. Is 1 < t?
False
Let o be (-1 - (-19)/3) + 12/(-9). Suppose h + 4 = 9. Suppose h*i - p - o + 1 = 0, -4*i + 6 = -2*p. Is -1/2 greater than i?
False
Let f(r) = r. Let c be f(0). Suppose y + c = -2. Are y and -6/5 unequal?
True
Suppose s - 11 = -28. Let m = s + 21. Is 1/3 less than m?
True
Suppose h - 8 = 6. Is h greater than 16?
False
Let w = -9 - 4. Let f = 8 + w. Which is smaller: 2/7 or f?
f
Suppose 104 = -x - 3*x + z, -3*x - z = 78. Let w be 24/18*3/x. Is w less than or equal to 1?
True
Let d = 6.9 + 1.1. Let w = -3 + d. Let j = -4.5 + w. Is 0 < j?
True
Let a = 11.8 - 12. Let d = a + 0.1. Let o = -3.08 + 0.08. Is d at least as big as o?
True
Let u(i) = i - 13. Let m be ((-18)/(-8))/(1/4). Let w be u(m). Which is smaller: -3 or w?
w
Suppose -4*a = -3 + 7. Let i be a/3 - 30/(-9). Suppose -h + i = 2*h. Is h less than or equal to 2/3?
False
Suppose -h - 2 = -3*l - 13, 0 = 3*h - 4*l - 18. Suppose -4*v = -h*v. Are 0 and v equal?
True
Let t(j) = j**2 - 7*j + 7. Let o be t(7). Which is greater: o or 3?
o
Let z = -0.21 + 0.1. Let n = -796 + 791.89. Let t = n - z. Is t at least -1/3?
False
Let v(n) = n**3 + n**2 - 3. Let g(b) = -4*b**3 - 3*b**2 - b + 13. Let j(t) = 2*g(t) + 9*v(t). Let d be j(-4). Which is smaller: -8 or d?
d
Let c = 0.58 - 0.5. Let y = -0.28 + c. Let t = -4 - -3. Is y greater than or equal to t?
True
Let h be 3/(-1)*-3 + 0. Let g = h + 2. Is 12 >= g?
True
Let k be (2 + -4)/(1 - 3). Let u = 1/154 - -3/22. Which is bigger: k or u?
k
Let v(c) = c**3 - 2*c**2 + 3*c + 4. Let s be v(3). Suppose 0*p + 2*p = s. Let j be 2/p + 27/33. Which is bigger: -4/9 or j?
j
Let x = 0 + 23. Suppose 2*s = 2*o - 6*o - 4, x = -5*s + 3*o. Is s less than -3?
True
Let t = -3 + 12. Suppose 5*d - 20 = -2*u, -t - 3 = -3*d + 4*u. Suppose 0 = d*z + 6*s - 4*s - 10, 13 = 4*z + 3*s. Is z >= 2/7?
True
Suppose 5*j = 4*p - 14, 2*p - 5*p + 3*j = -12. Let l = p + -4. Is l > 3?
False
Let b = 83 - 579/7. Let d be (2/(-3))/(6/9). Which is smaller: d or b?
d
Let y(u) = u - 1. Let w be y(-6). Let b be (7 + w)/((-4)/(-2)). Let s(c) = -c - 1. Let a be s(-1). Is b at least a?
True
Let r(c) = -2*c - 11. Let d be r(-5). Which is smaller: d or 5/11?
d
Suppose -4*r + 12 = -2*r. Let h(n) = n**3 - 6*n**2 + n - 5. Let b be h(r). Does -0.1 = b?
False
Let w = 7.7 + -8. Let u = 1/2 - 1/6. Does u = w?
False
Let y = -4 + -37. Let r = 285/7 + y. Which is smaller: r or -1/4?
r
Let j be (2 + -8)/(-3)*2. Suppose -14 - 2 = -j*f. Suppose 3*v - d = d - 12, 0 = f*v - 5*d + 23. Which is bigger: v or -4?
v
Let d = -7.7 - -8. Let g = 24.7 - 26. Let n = g + d. Which is bigger: 0.3 or n?
0.3
Suppose -4*b + 23 = -3*s - 16, -b = -s - 13. Let t = 5 + s. Is -0.1 less than or equal to t?
False
Let w = -4 + -4. Suppose -2 = 5*v + 38. Let j = w - v. Are j and 1 equal?
False
Let b be 2/6*0*1. Which is smaller: b or -2/13?
-2/13
Let l = 6/35 - 107/420. Which is smaller: l or -2?
-2
Let s be 24 - 44 - (-2)/(-3 + 1). Which is bigger: -3 or s?
-3
Let q(y) = -y**3 + 8*y**2 - 3*y + 24. Let l be q(8). Suppose 0 = 4*k + 2*x - 14, x + 2 = -4*k + 11. Is l < k?
True
Suppose 0 = -3*d + 2*d - 2. Let p be (-3)/d*(-4)/(-3). Let a be -1 + (-2)/8*-4. Does a = p?
False
Let p = 7/24 - -25/24. Let w = -55 - -56. Which is smaller: w or p?
w
Let y be 7/(-35) - 655/475. Is -3 at most y?
True
Let p = 10 + -14. Which is smaller: 22 or p?
p
Let q = 28 - 65. Which is smaller: q or -38?
-38
Let t = -0.07 + 0.57. Suppose 3*c + 1 = 2*c. Is c >= t?
False
Suppose -s = 4*p - 9, 0 = 3*s - 0 - 15. Let i(o) = 33*o**3 - o**2 + o - 1. Let d be i(1). Let y be 12/d*2/3. Which is smaller: p or y?
y
Let h = 0.02 + -2.02. Let j = h + 1. Is -2 bigger than j?
False
Let t be 2/1*1/(-2). Let i be ((-1)/t)/((-1)/10). Let b = 7 + i. Are -3 and b nonequal?
False
Suppose 2*v = -0*v. Let z be (-694)/(-15) + (-3)/(-9). Let j = z + -46. Which is greater: j or v?
j
Let p be (3 - -2) + (-2 - 3). Is p equal to -2/359?
False
Let g(x) = x**2 - 5*x. Let n be g(3). Let i be ((-16)/(-12))/((-4)/n). Is 5/2 > i?
True
Let p = 10 - 6. Suppose q = 5*s - q + 30, 2*s = p*q - 28. Let c be (-4)/12 - s/3. Which is bigger: c or 3/5?
c
Let f = 62 + -107. Let u be 2320/6*12/f. Let j = u + 103. Is j at most 1?
True
Let c = 0.6 - 1. Let t = -0.2 + c. Which is greater: t or -2/7?
-2/7
Let p = 120 - 118. Is 19 <= p?
False
Suppose 0 = -d + 5 + 12. Suppose 5 - d = -3*s. Is s != 4?
False
Let g = -10 + 17. Let v(f) = f + 1. Let u be v(5). Do u and g have different values?
True
Let x = 20 + -18. Which is smaller: 5 or x?
x
Let b = -4/3 - -1. Is -0.8 greater than or equal to b?
False
Let g = 1 + 2. Let c = -4 - -7. Suppose -2*z - c*i = -13, -6*z + z = 2*i - 16. Which is smaller: g or z?
z
Let k = 7 + -23. Which is smaller: k or -76/5?
k
Let v = 0.63 + -0.5. Let a = v - 0.23. Is a at most as big as -1.4?
False
Suppose 0 = -2*y - 0*y + 6. Let s be (-1)/y - 1066/24. Let k = s + 1261/28. Is k at least as big as 1?
False
Let k be ((-73)/4)/((-22)/(-346)). Let j = 287 + k. Let u = -47/132 - j. Which is smaller: u or 1?
u
Let c(a) = a**3 - 6*a**2 + 3*a + 4. Let x = -7 - -12. Let l be c(x). Suppose -5 = -5*j - 30. Which is smaller: j or l?
l
Suppose -l = -3*d + 7, -d + 3*l + 1 = 2*l. Let o = -1 - -3. Which is bigger: d or o?
d
Suppose -5*n = -g + 26, -g - 5*n + 1 - 25 = 0. Let d(p) = 2*p + p**3 - 2*p**2 + 6*p**2 - p**2. Let t be d(-2). Are g and t unequal?
True
Let b = -39/70 - 3/70. Suppose 0*k = 3*k. Which is smaller: b or k?
b
Let x be (3 - 4) + (-41)/(-44). Which is greater: -1 or x?
x
Let p = -17 + 16.3. Which is bigger: -1 or p?
p
Suppose q + 2*q - 111 = 0. Which is smaller: q or 36?
36
Let w(j) = -j - 9. Let v be w(-9). Suppose d + v*d = -1. Let s = 248 - 2234/9. Do d and s have different values?
True
Let s(p) = 6*p + 35. Let r be s(-5). Are 3/7 and r unequal?
True
Let s be (-1 - 2) + (-2)/(-4). Does s = 1?
False
Let k = -15 - -163/11. Suppose 2*b + 0*b - 6 = 0. Let g be 3/9 + (-1)/b. Does g = k?
False
Let u = -35693/38 - -28582987/30438. Let z = 1/89 + u. Is z <= 1?
True
Suppose -3*f - 4 + 1 = 0. Let j = -57957/35 + 7441/5. Let i = j + 168. Is i >= f?
True
Let n = 12 + -15. Let m = -3.94 - 0.06. Let b = n - m. Is b bigger than 0?
True
Let k be ((-25)/(-80))/((-2)/(-8)). Let o(m) = -2*m**3 + m**2 + 2*m + 2. Let u(q) = -q**3 + q**2 + 1. Let i(y) = o(y) - 3*u(y). Let c be i(1). Is k < c?
False
Suppose 2*q - 8*q + 30 = 0. Is q < 6?
True
Let f = -3 - -5. Let j(o) = o**2 + 5*o - 7. Let m be j(-6). Let u be 2*(m/(-2) + 1). Which is greater: f or u?
u
Let n = 10 -