e k/175*-5 - 71/(-10). Is j less than or equal to 8?
True
Let o be (0 - -2)*58/4. Suppose 5*n + o + 6 = 0. Suppose 0*q + 20 = -4*q. Which is bigger: n or q?
q
Let c = 0.287 + -0.387. Is c bigger than 6?
False
Suppose -5*t = -23 + 98. Is -2 < t?
False
Let q be -1 + 298/(-110) + 4. Let d = 383/385 + q. Which is smaller: d or 0.1?
0.1
Let m(j) be the second derivative of j**4/6 - j**3/2 - j**2 + 3*j. Let i be m(3). Are 2 and i nonequal?
True
Let g(k) = -3*k + 6. Let f = 12 + -9. Let z be g(f). Let n be 5/(-3 - z - 1). Are n and -5 unequal?
False
Let j be (20*(-5)/(-10))/(-2). Is -11 > j?
False
Let m be (-4)/(-10) + 1698/5. Let f = m - 4418/13. Is f at least as big as 1?
False
Let d be ((-14)/(-28))/(-1 + (-3030)/(-3028)). Is 757 less than d?
False
Let j be -5*(-6)/(-15) + 4 + 0. Are j and 46/19 nonequal?
True
Let l = 16 + -11. Suppose v + 0 + 9 = 0. Let i be v + 11 + 10/6. Is i less than l?
True
Suppose -486 = -16*o + 7*o. Let b = o + -31. Is b at least 26?
False
Let k = 43 + -76.6. Let d = k - -36. Let q = d + -2.4. Which is smaller: q or -6?
-6
Let v be (1 - 5) + 1460/28. Let c = -48 + v. Which is smaller: 3 or c?
c
Let w be (1/89)/((-44)/88). Which is smaller: -0.08 or w?
-0.08
Suppose 0*k = k + 4*h + 15, 4*k - h - 8 = 0. Let t be k*-2 + (-49)/(-21). Which is greater: -0.2 or t?
t
Let i = -2.1 - -12.1. Let m = 679 - 690. Let s = m + i. Which is bigger: -3/7 or s?
-3/7
Suppose 0 = 4*a + 3*k + 1 - 0, 0 = 2*a + 2*k. Let f = -863/8 + 108. Is f greater than or equal to a?
True
Let f = 21 - 28. Let v = 8 + f. Are v and 1/10 unequal?
True
Let c = 52 - 66. Let i = 3 + c. Let k(y) = -9*y - 1. Let t be k(1). Which is smaller: t or i?
i
Let c(t) = -t. Let x be c(-1). Let y = 44 + -43. Is x equal to y?
True
Let r = 0.635 - 762.635. Is r not equal to -1?
True
Suppose -29 + 5 = -4*j. Let t be ((-15)/6 + 2)*(-3)/j. Which is smaller: 18 or t?
t
Let k be 2/(-5) - 340/25. Let g = k - -28. Let s = g + -16. Which is greater: s or 4?
4
Let d = 167 + -1181/7. Let i be 8/(4 + 4)*-2. Is i != d?
True
Let j = 49 - 46. Let y = 52 + -36. Suppose 4*c = 4*v - y, -c - 6 = j*v + 2. Which is smaller: v or 0?
v
Suppose 4*t - 59 = -p - 0*t, 236 = 4*p - 3*t. Let b(h) = -h**3 - 5*h**2 + 2*h - 25. Let i be b(-7). Are i and p non-equal?
False
Let d = -272.1 - -272.3. Let m = 47 + -27. Let j = m - 29. Which is smaller: j or d?
j
Let s be (4 - 2)/(240/(-904)) + 6. Is s less than or equal to -3?
False
Let x(n) = -n**2 + 8*n - 12. Let y be x(6). Suppose -6*c - 18 = -y*c. Let i be ((-12)/(-170))/(c/(-5)). Are i and -0.2 equal?
False
Let i = 4452 + -120185/27. Which is bigger: 0 or i?
i
Suppose -y = -5*u + 22, -7*u + 5*y - 25 = -9*u. Which is smaller: 0.01 or u?
0.01
Let k(x) = x**3 + x**2 - 12*x - 15. Let z be k(5). Which is bigger: 78 or z?
78
Let u(i) = i**3 + 14*i**2 + 1. Let o be u(-14). Suppose -3 - o = 2*p. Which is bigger: p or -10/17?
-10/17
Let o(n) = 10*n - 25. Let x(b) = -3*b + 8. Let y(m) = 2*o(m) + 7*x(m). Let a be y(4). Is a greater than or equal to -1?
True
Let c = 361 - 582. Let q be (2/(-3))/(c/51). Which is smaller: 0 or q?
0
Let v(g) = g**2 + 4*g + 3. Let i be v(-2). Let c be -1 - 1*(i - -5). Suppose d - 9 = 3*x, -x + 4*x + 18 = -2*d. Is d > c?
True
Let l = -28.86 + 29. Let j = l - -0.06. Is j less than -8?
False
Let k = 100 + -70. Let j be (-6)/k - (-46)/5. Suppose -j = h - 3*w, 5*h + 4*w = 3*w - 13. Is h >= -2?
False
Suppose 2*i - 480 - 2492 = 2*q, -4*q + 5*i - 5947 = 0. Is q < -1484?
False
Let o be (-1 + -1)*(-2)/(9 + -5). Let g be (-1)/(o - (1 - 1)). Are g and -1 non-equal?
False
Let v(q) = -q**2 - q. Let f(u) = 3*u**2 + u + 6. Let c(x) = f(x) + 4*v(x). Let j be c(2). Is j smaller than -6?
False
Let k = -68 + 70. Let o = 2.1 - k. Is o smaller than -5?
False
Let v = 43 - 43.054. Let b = 12.054 + v. Which is smaller: 0.2 or b?
0.2
Let h(b) = b**3 + 4. Let g be h(0). Suppose -5*f + 9 = -3*k - 0*f, 0 = 3*k + g*f + 36. Are -7 and k equal?
False
Let s = -368 - -1115. Is s at least as big as 1/2?
True
Suppose 4*j + 6 = -a + 7, j = 3*a - 16. Is j bigger than -1/1210?
False
Let a = -363 + 14521/40. Let r(l) = l**2 - 8*l - 28. Let x be r(-4). Let f be 132/x + -7 - (-4)/10. Which is smaller: a or f?
f
Suppose -8*n + 7*n = 0. Suppose 5*p - 335 = -5*o, n*p - 133 = -2*p - 3*o. Suppose p = -0*f - 4*f. Is -16 <= f?
False
Let a be (3 - (-28)/(-8))*(1 + -3). Let b = 6.9 + 1.1. Let l = 7.94 - b. Do l and a have different values?
True
Suppose a - 2 = 2. Suppose 0 = -a*v + v - 6. Let c be 192/(-280) + v/(-7). Is -2/7 at most as big as c?
False
Let i = 18 + -14. Suppose 3*m - 6 = -o + m, -4*o = -2*m - i. Suppose 0 = -2*w - o*w. Which is smaller: 1/4 or w?
w
Let p = -994 - -1178. Is p > 182?
True
Suppose -4*v = 3*t - 12, 3 = -0*v + v - 4*t. Suppose -5*k + v*k + 24 = 0. Let a = k + -11. Is -2/7 > a?
False
Let z be (1202/2314)/(-6*(-2)/(-28)). Let d = 5/267 - z. Which is smaller: d or 1?
1
Let r(j) = j + 8. Let t be r(-3). Suppose -5*y + t*d = -80, 5*d + 20 + 22 = 3*y. Which is smaller: 20 or y?
y
Let a = 28.2 + -26. Let l = a + -2.3. Which is bigger: l or 1/3?
1/3
Let p be (-5 + (-1581)/(-315))/(1558/5718). Let r = 8/133 - p. Are r and -1 equal?
False
Let v = 64 + -50. Suppose 0 = -4*j + v + 2. Which is bigger: j or 2?
j
Let r = 0.25 - 2.6. Let v = 0.35 + r. Which is greater: v or -9?
v
Let d be ((-36)/45)/((-4)/10). Which is smaller: d or 15/11?
15/11
Let p(g) = -g - 17. Let j be p(-17). Which is smaller: j or 3/22?
j
Suppose y - 231 = 2*t, 0 = 14*y - 16*y + 6. Which is smaller: -227/2 or t?
t
Let h = -9 - -21. Let w = 17 - h. Suppose 0 = o - w. Is 5 at most o?
True
Let i = 37 - 36. Let q be i - 0*(-2)/10. Which is smaller: 18/13 or q?
q
Suppose 0 = -4*w - w + 40. Let h be w/(2/1) - 0. Let i be (-2)/h - 3/(-2). Which is bigger: i or 0.8?
i
Suppose 0 = -3*j + 2*j + 5. Suppose -j*w + 345 = -3*a + 6*a, -3*a + 372 = -4*w. Let q be (1/4)/(9/a). Is 4 less than q?
False
Suppose -2*k - 4*r = -20, -3*k - 29*r - 15 = -32*r. Which is smaller: k or -1/316?
-1/316
Suppose -5*r + 2*a + 7 = 0, 17 = 5*r + a - 2. Let q be (-100)/(-8)*2 - r. Is q <= 22?
True
Suppose -5*g = -15, 4*z + 12 = -z - g. Let c be 4/46*z/12. Is 1 < c?
False
Let v be (8/6)/(-2) + -1. Let s(k) = 3*k**2 - 7*k - 4. Let w be s(3). Let d be (-1)/w - 22/(-28). Are d and v equal?
False
Let n = -915/4 + 230. Let d be (1 - 2) + 3 - 5. Let p be d + 2/(-1 - 9/(-6)). Which is greater: p or n?
n
Suppose -f - 254 = 2*v - 5*f, 3*f + 261 = -2*v. Which is bigger: v or -128?
-128
Suppose 0 = 11*f - 9*f - 38. Suppose -8 = -3*q + f. Let z be -2 - (-3)/q*0. Which is smaller: 4 or z?
z
Let x = -778 + 776. Which is bigger: -28 or x?
x
Let u(l) = l**2 + 43*l + 347. Let t be u(-11). Which is smaller: 8 or t?
t
Suppose -2*z = a + 47, -2*z + z = 3*a + 16. Do z and -25 have the same value?
True
Let j be (-259)/196 + (-20)/(-35). Which is smaller: j or -2?
-2
Let h = 10.74 + 0.26. Let c = -10.6 + h. Let t = c - 5.4. Which is smaller: -1 or t?
t
Let u = -34.2 + 31. Let c = u + 1.2. Let s = -289/3 + 95. Which is smaller: c or s?
c
Suppose -2*x = -2, 3*x = -3*j + 190 - 64. Is -1 at least j?
False
Let u(z) = -z**2 + 16*z - 14. Let v be u(16). Let f be (2/3)/(v/(-21)). Which is smaller: f or 0.01?
0.01
Suppose 2*t - 41 = 5*p + 1, -19 = 2*p - 3*t. Which is bigger: p or -10?
p
Let w = 0.73 - 41.73. Let x = -40.9 - w. Which is smaller: x or -14/3?
-14/3
Suppose -6 = 2*i + 3*k + 6, -5*i + k = -4. Is -1/1558 equal to i?
False
Let y = 758 + -756. Which is smaller: -15/4 or y?
-15/4
Suppose 2*z - 30 = 3*f + 5*z, -3*f + 3*z - 24 = 0. Let p = 8/69 - 226/759. Which is greater: p or f?
p
Let s = 39.8 - 18.8. Which is bigger: s or -21?
s
Let h be ((-2)/(-5) - (-912)/120)/(-137). Which is smaller: h or 1?
h
Suppose 9*g + 11*g + 17*g = 9*g. Let c = -7910/27 + 293. Which is bigger: c or g?
c
Let i be (2 - -3)*(-4)/10. Let o = 1.04 + -1. Let f = -5.04 + o. Is f > i?
False
Let u(i) = 8*i**3 - 6*i**2 + 6*i. Let r be u(1). Is r smaller than 47?
True
Let l = -5 + 4. Let v = -5 - -29. Let y = 35 - v. Which is greater: l or y?
y
Let y = -0.58 - -32.58. Let c = y - 31. Suppose 0 = p - 5. Which is greater: p or c?
p
Let o(s) = -s**3 + 7*s**2 - 4*s - 10. Let n be o(6). Let h = -1099/8 + 138. Which is greater: n or h?
n
Suppose 4*v = -5*m + 21, 3*v + 2*m - 6 = 1. Let z = -1224 + 1221.