3. Suppose -3*i + 2*i + 2 = 0. Let s be (i + 10/(-6))*3. Is s less than b?
False
Suppose 2*i = 13*i + 9*i. Is -6/5 at least as big as i?
False
Let q(t) = t**2 - 2*t - 1. Let r be q(-3). Suppose -5*n + 9 = r. Is n smaller than -1?
False
Let y = 67 + -67. Is y bigger than 10?
False
Let k be ((-6)/(-8))/((180/8)/(-15)). Which is bigger: 10 or k?
10
Let b be 1 + (-5)/((-95)/(-16)). Let g = b + -173/133. Which is greater: g or -2?
g
Let a be -2 - (-28)/12 - 0. Is a less than 0?
False
Let i = 21 - 29. Is i equal to -8?
True
Let l(p) = 3*p**3 - 2*p**2 + p. Let b be l(1). Let z = 0 + b. Let k = -32 - -33. Do z and k have the same value?
False
Suppose -25 = -4*w - w, v + w - 10 = 0. Suppose -4 + 3 = -o + v*i, 4*o - 4 = -5*i. Which is smaller: o or 0?
0
Let a(s) = s**2 - 7*s. Let q be a(6). Is q bigger than -5?
False
Suppose 1 - 15 = 2*t. Let x(k) = -k - 9. Let u be x(t). Is u less than -2?
False
Let z = -43 - -46. Is z less than or equal to 25/8?
True
Let q(u) = -u**3 + 8*u**2 - 2*u**2 - u + 8 + 0*u. Let r be q(6). Suppose -2 = 5*d - 3*j, j + 2 - 1 = 0. Which is greater: d or r?
r
Let f = 2.4 - 0. Let u = f - 0.4. Let a(c) = -c**2 + 6*c + 3. Let k be a(7). Is k bigger than u?
False
Let g = -13/12 - 7/12. Let x(a) = -a - 11. Let h(m) = -3*m + 10. Let s be h(6). Let w be x(s). Which is greater: g or w?
g
Let m = -31.7 - -31. Is 1/4 <= m?
False
Let x(v) be the second derivative of -v**3/3 + 5*v**2/2 + 5*v. Let s be x(3). Which is smaller: -6/5 or s?
-6/5
Suppose -2*z + 2*t + 10 = 0, -2*t = -3*z + 6 + 9. Let f = 1 - z. Is -4 > f?
False
Let m(j) = j**2 + 3*j - 5. Let h be m(-4). Does 2/11 = h?
False
Let o be (-1042)/1872 + (-4)/18. Let y = o - -5/8. Is -2 greater than or equal to y?
False
Let k = 29267/306 - 860/9. Is k equal to 1?
False
Let n(z) be the first derivative of z**4/4 + 3*z**3 + 4*z**2 - 6*z + 4. Let m be n(-8). Are m and -2 non-equal?
True
Suppose 5*o = 4*v - 32, -2*o + 0*v - 17 = -3*v. Let m be (-7 - -3)/(0 + 1). Do m and o have different values?
False
Let o(k) = -k**3 + 8*k**2 + 7*k + 11. Let p be o(9). Are p and -7 equal?
True
Let w = 6 + 0. Let c(v) = -v**3 + 8*v**2 - 5*v - 7. Suppose 35 = 4*f + f. Let p be c(f). Are p and w equal?
False
Let y be 2/(-11) - 1169/(-77). Suppose 5*q + 5*r - 71 + 21 = 0, 0 = 2*r - 10. Let t be (2/18)/(q/y). Is 0 != t?
True
Let r(d) = -d**2 + 3*d. Let m be r(3). Suppose -x + 2*u - 4 = -m*u, -3*u = 2*x - 6. Which is smaller: x or 1?
x
Let g = 17 + -18. Let z be 0/(4/6*-3). Which is bigger: z or g?
z
Let t = 7 - 6. Suppose t + 27 = 3*x + 5*j, 2*x + j - 14 = 0. Let g be 122/18 + 2/9. Which is greater: g or x?
g
Let w = -3/73 + 211/8687. Is 1 >= w?
True
Let k = -0.102 - -2.102. Is 0.08 at least as big as k?
False
Let a be (17/(-595))/((-2)/5). Is -0.1 >= a?
False
Let s = 88/5 + -17. Which is greater: 0 or s?
s
Let w = 21 + -36. Are -14 and w unequal?
True
Let j = 2271597/319 - 7121. Which is greater: 1 or j?
1
Let q = -0.07 - 0.03. Let k = 0.06 + -0.26. Is q less than or equal to k?
False
Let d = 7 + -6.95. Let v = -0.15 + d. Is v <= -0.1?
True
Suppose 2 = -5*w + 27. Is 5 less than w?
False
Suppose 0 = -q - 4*z + 8, 0 = -3*q + 4*z + 2 - 10. Which is bigger: 1 or q?
1
Suppose a + x + 7 = -2*x, 7 = -a + 4*x. Let r be (-2)/a + 30/336. Is r equal to 1?
False
Let r(f) = -25 - f + 8 + 0*f. Let p be r(-8). Let h be (9 + 1)/(3/(-3)). Which is smaller: p or h?
h
Suppose -4 = -2*u - 2*u. Do u and 1 have the same value?
True
Let w(c) = 8*c**2 - 2*c - 5. Let k(o) = -7*o**2 + o + 4. Let r(f) = 7*k(f) + 6*w(f). Let p be r(-3). Are 4 and p equal?
True
Let d be 12/(-8)*1*(-4)/18. Which is greater: d or 0.2?
d
Let p = -0.33 + 0.13. Let s = p - 0. Is 0.07 less than or equal to s?
False
Let f = 971/5 + -195. Is f != -1?
True
Let o = 452/5 - 91. Is o greater than -31/4?
True
Let m be (-51)/(0 + -3) - 1. Suppose -4*t + 4*o - m = 0, 5*t - 2*o + 3 = -11. Is t smaller than -3?
False
Let n = 30 + -23. Is 9 <= n?
False
Let m be (27/(-12))/(2/8). Let y = 10 + m. Is y less than or equal to 4/5?
False
Let k be 2 + -6*1/2. Let z be k/(-2) + (-6)/4. Is -4/5 > z?
True
Let l be ((-9)/(-30) + -2)*-1. Let v = 11/5 - l. Let i be 4/(-2) + 2*3. Which is smaller: v or i?
v
Suppose 5*j - 5*v - 25 = 0, -3*j + j - v + 4 = 0. Suppose 2*y - 2 - 15 = j*d, -2*y = 2*d - 2. Let b = -3 - d. Which is smaller: b or 3?
b
Let i = 1 + -0.5. Let v = -0.3 + i. Let n be 0 - 1/(-2)*-2. Which is greater: v or n?
v
Let y = 2 + -1. Let b = y - -1. Is b > -2/11?
True
Let n = 0.032 - 0.542. Let y = 0.01 + n. Let v = 2 + -3. Which is smaller: v or y?
v
Let t = 0.951 + 0.049. Do t and 15 have the same value?
False
Suppose -2*p = -p - 6. Let t = p - 14. Are t and -7 unequal?
True
Suppose j + 0*g = g - 24, g - 4 = 0. Is j less than -39/2?
True
Suppose -5*t + 13 + 7 = 0. Suppose 2*z - 8 = -t. Which is smaller: 7 or z?
z
Suppose 0*x = -x + 3. Let w be 0 - x/(-12)*-3. Are w and -1 equal?
False
Let j = 25/7 + -361/105. Is j bigger than -1?
True
Let m = 15 - 6. Suppose -p - 5*w + 17 = -w, 3*p - 3*w + m = 0. Which is greater: p or 3?
3
Let b be (-565)/(-30) - 2/(-12). Which is greater: 18 or b?
b
Let n be 4*12/32*2. Suppose -n + 0 = 3*p. Which is smaller: 3/2 or p?
p
Let p(t) = t - 4. Let b be p(5). Let g be 957/(-5) - (-7 - -4). Let r = g + 189. Which is greater: r or b?
b
Suppose 5*n = 1 - 26. Let h = n + 6. Let v be (-2)/(-1) + 28/(-13). Is h less than v?
False
Let l = -19 - -4. Is -43/3 <= l?
False
Let m(i) be the third derivative of -i**4/24 - 5*i**3/6 + 5*i**2. Let v be m(-6). Which is smaller: 3/16 or v?
3/16
Let m = 4 + 0. Suppose 4 = m*k + 12. Let g be -2 - (k - 3 - -2). Which is bigger: g or 2?
2
Let u(z) = 101*z - 2. Let o be u(6). Suppose -o = -4*i - 2*j + 5*j, 758 = 5*i - 3*j. Let r = -613/4 + i. Is 0 > r?
False
Let g = 16 - 14. Let w be 1 + (8*-1)/1. Let i = w + g. Which is smaller: -4 or i?
i
Let o be -2*(-2 - (-6)/4). Let s(q) = q**3 + 5*q**2 + 2. Let p be s(-5). Is o at most as big as p?
True
Let m = 81 + -79. Which is greater: m or 9/5?
m
Let b = 290/11 - 2514/77. Do b and -6 have the same value?
False
Suppose -5 = i - 0. Let g be (-2)/i*75/(-40). Is g equal to 0?
False
Suppose 3*a = r - 7, r + 2 = -a - 3. Is -5 <= a?
True
Suppose 2*j + 1 = 11. Suppose 0 = 2*a + 2*a - 20. Suppose -20 = -2*u - a*y, u + j*y - 20 = -2*u. Which is bigger: u or 1/6?
1/6
Let g(u) = u**2 + 3*u - 11. Let o be g(-5). Suppose 0*w + w = 4. Suppose -5*t + 4*q = 14, 5*t + w*q + 6 = -0*q. Which is greater: o or t?
o
Let y = 52 - 53. Suppose 0 = -2*r + r. Which is smaller: y or r?
y
Let c = 22 + -19. Suppose 6 = -0*w + c*w. Is w bigger than 0.9?
True
Let i be 1 + 2 + 1 + -2. Is i bigger than 2?
False
Let d(o) = 2*o**3 - 2*o**2 - 3*o + 2. Suppose 0 = -4*k - k + 10, -3*a - k + 8 = 0. Let w be d(a). Let y be (6/(-4))/(171/30 + -6). Which is smaller: y or w?
w
Let q = 15.4 - 17. Which is smaller: 1 or q?
q
Let m be ((-28)/21)/(5/(-3)). Which is bigger: 1 or m?
1
Suppose 5*k = -9 - 1. Are k and -3 equal?
False
Suppose -17 = -3*t - t - 5*y, t + 2*y = 8. Let g be -1 + (3 - 3) + -1. Do t and g have the same value?
True
Let h = -42 - -65. Is 23 not equal to h?
False
Let q = 0 - -0.03. Let u = q - 3.03. Is u greater than or equal to -0.4?
False
Let w(r) = 0 - 2 - 2*r**2 - 5*r + r**2. Let j be w(-5). Suppose -2*b = 3*b + 15. Which is greater: j or b?
j
Suppose 0 = 2*c - 9 - 7. Let j be 1/3 + c/3. Suppose -12 = -3*t - j. Is t bigger than 3?
False
Suppose -4*m + 3*g = 5*g + 4, 4*m - 3*g + 4 = 0. Suppose -4*i + 0*i - 18 = -2*h, -2*h = 2*i. Let p = 5 - h. Is p < m?
False
Let n(a) = -a**2 + 6*a + 16. Let c be n(8). Which is smaller: c or 2/145?
c
Let p(a) = 5*a. Let y be p(1). Suppose 0 = y*n + 42 - 2. Which is smaller: 2/7 or n?
n
Let b = -2.9 - -3. Let a = -453 - -466. Is b greater than or equal to a?
False
Let b = -1 + -1. Let o = 1.01 + -0.01. Let t = o - 1. Do t and b have the same value?
False
Let r be ((-8)/6)/(-2)*15/605. Which is smaller: 0 or r?
0
Suppose q = -2*q. Let i be (-1 + 1)*7/(-21). Let w = i - q. Which is bigger: 1 or w?
1
Let v be (-1)/1 + -1 + 1. Let k = 979/2955 + 2/985. Is k != v?
True
Let b be (-6)/(-39) + -5 - (-4)/(-26). Is -19/3 greater than b?
False
Let l = -68 + 40. Which is smaller: -27 or l?
l
Let v = -1 + 3. Let k = -7 + v. Which is smaller: k or 1?
k
Let s be (5/(-10))/((-2)/8).