be 4/(-10) - (-6)/(-10). Let b be (2/(-8))/(k + 2). Which is smaller: w or b?
b
Suppose 0 = 7*j - 6*j. Is j at most as big as 1/6?
True
Let k = -14349/35 + 410. Let c be 1 + (-24)/42 + (-3)/7. Is c less than or equal to k?
True
Let d be ((-4)/6)/(20/30). Is 1/47 <= d?
False
Let g(n) be the second derivative of n**5/20 + n**4/2 - n**3/3 - 9*n**2/2 + 2*n. Let j be g(-6). Let i be j/4*2 - 0. Is i < 1?
False
Let m be -1 + (-2)/((-4)/(-10)). Let q = 23 + -28. Let t = m - q. Which is smaller: t or -2?
-2
Let b = -5070280/94143 + 1/13449. Suppose 6*y + 3*u = 2*y - 219, -112 = 2*y + 4*u. Let k = y - b. Which is smaller: -1 or k?
-1
Let t = -0.025 - 2.975. Let h be 3/(-5)*4/6. Are h and t unequal?
True
Let i(a) = a**2 - 3*a + 4. Let d be i(3). Suppose 4*b = -5*x - 10, -3*x + x = -3*b + d. Let o = -47/86 - -2/43. Is o smaller than b?
True
Let f be (-2 - -4) + (-68)/24. Let h be (-5)/5*(0 + 1). Is f at most h?
False
Let o = -1.4 - -0.4. Let n(m) = 26*m - 2. Let d be n(4). Let t be 4/d*(-1 + 4). Which is smaller: o or t?
o
Let d be 12/(-6)*(-2)/(-4). Let r(s) = 2*s - 5. Let q be r(4). Let b = -8 + q. Is b bigger than d?
False
Let l = 5 - 6. Which is smaller: l or 3/7?
l
Let l = 2.6 + -2. Let q = 0.5 - l. Which is smaller: 3 or q?
q
Let o = -0.5 - 4.5. Is o less than or equal to -1?
True
Let c = -13 + 5. Let z = c - -8.4. Is -1 smaller than z?
True
Suppose -3*s - 4*p + 28 = s, -5*s - 4*p = -33. Suppose s*x - 12 = -r, -x - 6 = -5*r + x. Are r and 1 equal?
False
Let t = 2.4 - 2.3. Which is greater: -4 or t?
t
Let g be (-3)/3*8 + 2. Let c be 1/(-2) - g/8. Which is smaller: 1 or c?
c
Suppose -3*q - 10 + 1 = 3*k, k - 3*q + 3 = 0. Which is greater: -1 or k?
-1
Let x = -7/6 - -8/3. Let a be 0/(0 - 1*-2). Let h = a - -1. Which is greater: x or h?
x
Let i(c) = -c + 5. Let r(l) = -21 + 5*l - 3 - 2. Let n(q) = 11*i(q) + 2*r(q). Let w be n(4). Which is greater: -3/5 or w?
-3/5
Let c be (-4)/2 - 98/2. Let q = -513/10 - c. Suppose 3*f + 4 = 7. Is q greater than or equal to f?
False
Let j = -42 - -43. Which is greater: -0.5 or j?
j
Suppose -17 = 4*l + 11. Which is bigger: -13/2 or l?
-13/2
Let p = 1 - 2. Let o = 1.104 - 0.004. Let f = o + p. Is 0.1 < f?
False
Let j = 12 - 11. Which is smaller: j or -12?
-12
Let u(o) = o**2 + 4*o - 4. Let w be u(-5). Let k = 0 - w. Let a be ((-8)/48)/(40/(-72)). Which is smaller: a or k?
k
Let n = 24 + -20. Do n and 6 have the same value?
False
Let r = -3.2 + 3. Let g = r - 0. Let d = g + 0.1. Are d and -1/4 nonequal?
True
Let v be 1*18387/42*-2. Let q = v - -877. Is 2 > q?
True
Let a = -33 + 44. Which is smaller: a or 5?
5
Let y(w) = w**2 - 14*w + 7. Let x be y(14). Which is bigger: x or 8?
8
Let q = -5.82 - 0.18. Let x = q + 5.6. Is x not equal to -1/2?
True
Suppose 2*b = -0*b. Let y = -1 + b. Let p be (0 - -1) + y/1. Is 0.2 bigger than p?
True
Let u = 0.021 - -3.979. Suppose 3*n = -t + 7, -6 = -n - 2*n. Which is smaller: t or u?
t
Let g = -31535 - -223205/7. Let r = g - 352. Which is greater: r or -1?
r
Suppose 2*u + 8 = 6*u + 3*s, 8 = -2*s. Suppose 0*v + 2*v = 10. Is v at least u?
True
Suppose -7 = -5*n + 8. Suppose -3*g = -n*k + 9, g + 2*k = -g + 6. Does g = -2?
False
Let d = 0.13 + -5.13. Which is bigger: d or -3?
-3
Let l be 2/9 + 116/(-198). Let c be (4/(-1))/(-4) - 2. Is l less than c?
False
Let a be -2 - (-6 + (-1)/1). Suppose a*v + 3*y = 2, 2*y - 3*y = -4. Let n be (-2)/(-8) + v/(-24). Are 1 and n nonequal?
True
Let b = 17 - 12. Let o = b + -1. Let s = -2.9 + 3. Do o and s have different values?
True
Suppose 0 = 3*d + 11 - 8. Do d and 2/3 have the same value?
False
Suppose 15 = 6*m - m. Suppose 0 = -5*r - j + 3, 7*r - 2*j - 8 = m*r. Is r smaller than 3?
True
Let b(n) = 2 + 6*n + 5*n**2 + 4 - 1. Let y(w) = -w**2 - 1. Let s(v) = -b(v) - 4*y(v). Let m be s(-6). Does -2 = m?
False
Let z(w) = -4*w**3 - w**2 + 1. Let p be z(-1). Let x(q) = q - 4. Let i be x(p). Let j be 4/16*(-8)/6. Is j != i?
True
Let o = 2.1 + -2.2. Which is bigger: -1 or o?
o
Let y be (5/2)/(5/10). Suppose -5 - 20 = -y*i. Are i and 5 nonequal?
False
Let t = -0.08 - 3.92. Let u = 7 + t. Let n be ((-9)/(-12) + -1)/(-1). Do n and u have the same value?
False
Suppose 3*x - 3*n + 9 = 0, -n - 4*n + 25 = 5*x. Let k = 0.009 - -0.011. Which is greater: x or k?
x
Let q(n) = -5*n + 9. Let k be q(6). Is -21 less than or equal to k?
True
Suppose -g = -4*f + 29, f + g - 19 = -3*f. Let s(k) = -k**2 + 7*k - 8. Let x be s(f). Which is smaller: x or 0?
x
Let u = -315 - -1564/5. Which is smaller: u or -0.1?
u
Suppose 4*b - 3*j = -2*j + 36, 0 = 2*b - 3*j - 28. Suppose b*l + 5 = 3*l. Do l and -1 have the same value?
True
Suppose 0 = 3*r + 2*r - 40. Let f = r + -7. Is 1 at least as big as f?
True
Let g = 10 + -23/2. Suppose -3*q = -8*q, 0 = -p - 5*q. Let r = -1 - p. Which is smaller: r or g?
g
Suppose 6 = 25*s - 19*s. Which is smaller: -4/59 or s?
-4/59
Let h be (-106)/(-3)*21/14. Let w = 161/3 - h. Is 1/3 > w?
False
Let a be 1*(-1 + (-9)/(-6)). Let o = 4 + -3. Which is smaller: o or a?
a
Suppose 2*t - 23 = -5*p, 31 = 4*t + p + 4*p. Let s = 75 + -45. Suppose 9*x - 2*r + 26 = t*x, 4*x = -3*r - s. Which is smaller: -5 or x?
x
Let p = -3 - -5. Suppose -10 = -j + 2. Suppose -y + 3*q - 2 = -j, 0 = -2*y + 2*q + 8. Is y at most as big as p?
True
Let h = -14 + 13. Let q be h/(-3) + (-28)/3. Which is bigger: q or -7?
-7
Let s = -4/117 - -22/117. Which is smaller: 0 or s?
0
Let v = 0.3 - 0.2. Let q = -0.1 + 0.3. Let n = 0.2 + q. Are n and v nonequal?
True
Let j = -60 - -69. Which is smaller: j or 0.3?
0.3
Let k(u) = -u**3 - 3*u**2 + 3*u - 3. Let l be k(-4). Is -2/69 at least l?
False
Let f = -17 - -27. Let b be 0 - (-5)/(f/4). Suppose 0 = -2*u - b. Is u at most -1?
True
Suppose 3*w = -w - 4*l, -4*w + 3*l - 35 = 0. Let x(m) = 2*m - 9. Let f be x(6). Let o be -1 - (-1)/(2/f). Which is smaller: o or w?
w
Suppose -4*d + d = 9. Let j be 2 - (-24)/(-3) - d. Let a = -1 - 1. Does a = j?
False
Let v be 1/(1 + -1 + -1). Let l = -45 - -15. Let s = -29 - l. Are v and s non-equal?
True
Let j(l) be the third derivative of l**5/60 - l**4/6 + 2*l**2. Let c be j(5). Suppose 3*u + 9 = -0*g - g, 4*u + 44 = 4*g. Is c at most g?
True
Suppose 4*x + 3*o + 18 = 0, -4*o - o = x + 13. Let c(l) = 3*l**2 + 1. Let w be c(-1). Suppose -w*b + 12 = -7*b. Do x and b have the same value?
False
Let r be ((-1)/(-4))/((-4)/42954). Let l = r - -2688. Let b = -213/56 + l. Which is smaller: b or 1?
b
Suppose 0*r + 11 = -4*c + 3*r, -2*c + 2*r = 6. Let o = 6 - 4. Is o greater than c?
True
Let w = 5 - 4. Let l be (((-4)/13)/4)/w. Which is greater: l or 0?
0
Suppose 3*b - 5*z - 14 = 0, 4*b = 6*z - 5*z - 4. Let g = 1 + b. Suppose -4*v + 0 - 8 = 0. Which is smaller: v or g?
v
Let q(r) = -r**2 - 9*r + 8. Let v be q(-10). Is v at most -10/19?
True
Let q(o) = o - 61. Let d be q(10). Is d < -52?
False
Let c = -91 - -365/4. Which is greater: 19 or c?
19
Suppose 75*k + 27 = 78*k. Which is bigger: 4 or k?
k
Let p = 7.1 - 12.7. Let z = p - -11.7. Let g = z - 6. Is -0.1 >= g?
False
Let g(b) = b**3 + 6*b**2 + b + 4. Let v be g(-6). Let d = -7 - 4. Let x = d - -9. Is v greater than x?
False
Let f be ((-504)/(-32))/((-3)/8). Is f bigger than -42?
False
Let y be (2/3)/((-1200)/(-36)). Is y at most as big as 1?
True
Suppose 5*u - 19 - 5 = -3*w, 0 = 5*u - 2*w - 34. Let l(y) = -y**3 + 6*y**2 - y + 5. Let i be l(u). Let o be i/(-4) + (-3)/4. Are o and -1 unequal?
True
Let j be (16/(-20))/((-4)/10). Let o be 1 - j - 217/(-114). Let s = o + -14/19. Which is smaller: s or -1?
-1
Let x be (-18)/(-81) - (-7)/9. Which is smaller: -2/59 or x?
-2/59
Let h be (75/10)/(3/(-4)). Are h and -8 equal?
False
Let y be (21/4)/((-12)/32). Is -14 at least y?
True
Let y be 588/(-60)*(-10)/36. Let m = y + -56/9. Which is smaller: m or -3?
m
Let m be (-2 + 3)*-2 - 76/(-39). Is 0 < m?
False
Let t = 145/2 + -71. Is t >= -0.2?
True
Suppose 2*c + c = -3*k - 3, -5*k - 5 = c. Suppose -3*y - 3 = -c. Which is smaller: y or 2/13?
y
Let t = 3 - 6. Let n(o) = -o**3 + 4*o**2 + 3*o + 5. Let d be n(5). Let k = t - d. Is 1 != k?
True
Let k(y) = y**2 - 10*y + 2. Let q be k(8). Suppose -2*x + 6*x + 52 = 0. Which is greater: q or x?
x
Let y(i) = i**2 - 15*i + 13. Let v be y(13). Which is smaller: -7 or v?
v
Let r = -98 - -100. Which is bigger: r or 4?
4
Let g(x) = -x**2 + 12*x - 6. Let r be 