 2*k - 4*k + 20, 16 = 4*d - 5*k. Suppose d*a - 32 = -76. Is p at least a?
True
Let b = -67 - -142. Let i be 3/(b/(-365)) + 1 + 1. Is -12 at most as big as i?
False
Suppose -2*t + 2*g = -3*t - 6, -3*g = -4*t - 2. Let z be 1 - 2 - -4 - 3. Which is bigger: z or t?
z
Let t be -8 - 222/(-30) - (-137)/(-5). Suppose -2*q - 56 = -0*q. Is t less than q?
False
Suppose 2*c + 5 + 13 = 0. Let w be (-5 - -1) + 4 + 0 + 267. Let g = w - 272. Which is bigger: c or g?
g
Let k be ((-19)/114)/((-1)/(-3)). Let d(n) = 3*n**2 + 2*n - 1. Let b be d(1). Let t be 31/(-52) - b/26. Is k less than or equal to t?
False
Let z(o) be the third derivative of -o**6/120 - o**5/20 + o**4/24 + o**3/3 + 5*o**2. Let i be z(-3). Let r = 7 + -8. Are i and r non-equal?
False
Suppose -x = -3*m - 80, 0 = -2*m - x - 2*x - 68. Is -28 >= m?
True
Suppose 9 = -7*m + 2. Suppose -5*q + 4*q = 0. Suppose -9 = 3*v - q. Which is greater: m or v?
m
Let p = 75 - 72. Suppose 3 + 5 = g. Suppose 0 = m + p*m + g. Is m at least -2?
True
Let n(k) = -3*k - 15. Let p = -35 - -31. Let t be n(p). Which is smaller: t or 12?
t
Suppose -2*r + 2 = -4*x, -6*x + 3*x = 4*r - 4. Is 6/223 <= x?
False
Let q be (-2)/(-4)*12 + -3. Let s(n) = -n**2 + 2*n + 1. Let l be s(q). Which is smaller: l or -2/13?
l
Let a be ((-8)/14 - (-12)/(-28))/(-1). Which is smaller: a or -0.119?
-0.119
Let d = -9.81 + 10. Let o = d + -0.09. Let x be ((-2)/10)/(6*1/(-5)). Is o < x?
True
Let i = -1.277 + 1.377. Does i = 4/3?
False
Let y = 3692936748313/2838522918 + -2/202751637. Let d = y - 1301. Which is bigger: d or 1?
1
Suppose 10 = 5*n - 4*p, 3*n - 3*p - 10 = -1. Let r(q) = 3*q - 6. Let o be r(-9). Let k be n + 5 - (-93)/o. Is k less than 0?
False
Let u(n) = -5*n**2 + 30*n + 54. Let w(q) = 2*q**2 - 10*q - 18. Let y(a) = -3*u(a) - 8*w(a). Let j be y(-7). Is j at least as big as 6?
False
Let x(p) = -p**3 - 9*p**2 - 13*p - 9. Let u be x(-8). Which is smaller: 28 or u?
28
Let m = -6.8578 - 0.0322. Let p = m + -0.11. Let d = p - -14. Which is smaller: -0.1 or d?
-0.1
Let j be 935/2618*8/(-150). Let x = -1 + 1. Is j at least x?
False
Let q = 20 + -15. Suppose 0 = -q*r + 92 + 28. Suppose 0 = -2*j - 4 + r. Which is greater: j or 2?
j
Let l = -8.2 + 1.2. Let x = -5 + l. Let f = x - -11.8. Is 4 <= f?
False
Suppose -5*k + 4*z = -15, 4*z + 31 = -3*k + 8. Suppose 0 = -5*v - 3*a - 22, 10 = 4*v - 4*a + 2. Let j = 0 + v. Which is bigger: k or j?
k
Let s(t) be the first derivative of t**2/2 + 10*t - 2. Let c(o) = -10*o**2. Let j be c(1). Let k be s(j). Are -3/5 and k unequal?
True
Let h = 57 + -59. Let n be (-1)/(-2 - (-19)/10). Suppose 2*k - 3 - 7 = 3*o, 0 = -2*k + n. Is o <= h?
False
Suppose 0 = -2*r - 3*y + 14, r - 2*r + y = 3. Let g be (-18)/30 - 329/(-490). Which is greater: r or g?
r
Let r = 439 + -436. Do 6 and r have different values?
True
Let s = 165 + -33. Let y = -153 + s. Let c be (-2 + 14/(-3))*3. Is c at least y?
True
Let g = -31 - -146. Let k = g - 154. Which is greater: k or -40?
k
Let q(m) = 14*m + 397. Let x be q(36). Which is greater: 900 or x?
x
Let u(n) = -n**3 - 6*n**2 + 3*n + 4. Let k be u(-4). Suppose -5*o - 9 = -4. Is o equal to k?
False
Let w = 55601254/11 + -5063031. Let k = -50547733/6039 - w. Let b = k - -2/549. Which is smaller: 2 or b?
b
Let s = 10 + -10. Let a be (-3)/6*1/((-9)/(-6)). Which is bigger: a or s?
s
Suppose f - 9 + 38 = 0. Let g = f + 29. Is g greater than 1/4?
False
Let w(r) be the third derivative of r**5/60 - 13*r**4/24 + 9*r**3/2 + 8*r**2. Let t be w(10). Which is bigger: 3 or t?
3
Let k = -1092 + 1109. Is k at most as big as 22?
True
Suppose -q + 2*q = -5*q. Are q and -2/241 unequal?
True
Let r = -2596 - -2658. Is r != 12?
True
Let d be 1/(-2)*(-1 - -3). Let i be (d + 0)*(-4)/(-8). Let n = -11 - -19. Is i > n?
False
Suppose 3*f = 2*f + 5. Let m(i) = -4*i - 2. Let l be m(-3). Suppose 2*a = l - 0, -3*a + f = -2*q. Which is smaller: q or 2?
2
Let n = -0.394 + 9.994. Which is bigger: n or 1?
n
Let i = 4550 + -4576. Let y(p) = 9*p - 1. Let u be y(-3). Which is smaller: i or u?
u
Let s = -20 + 20. Suppose 26 = -4*x - 2*o - o, x - 5*o + 18 = s. Is -9 at most x?
True
Let j be -3 - 6*28/(-52). Let b = 46.1 + -46. Which is greater: j or b?
j
Suppose 2*w - 4 = 16. Let d(i) = i**3 + 60*i**2 + 114*i - 107. Let o be d(-58). Do o and w have the same value?
False
Let s be 1*(-9)/(-3) - (-7)/(-2). Let u = 118.1 + -124. Let y = 0.9 + u. Is s smaller than y?
False
Let r = -2.1 - -1. Let l = -0.3 + r. Let x = -2.4 - l. Is 16 equal to x?
False
Let x = -281 - -3093/11. Suppose -14*j = -0*j. Which is smaller: x or j?
j
Let t(d) = d**3 + 37. Let j be t(0). Suppose -140*b - 2886 = -214*b. Which is bigger: b or j?
b
Let a be 1*-21 + (-1 - 0). Suppose -397 + 19 = 18*p. Which is smaller: p or a?
a
Let u = -219/199 - -656821/597199. Is 1 not equal to u?
True
Suppose 4*b = -2*c + 6*c + 12, 15 = 2*b - 5*c. Let v = -100.94 + 102. Let l = 1 - v. Which is greater: b or l?
b
Let u be (-2)/(7/(196/8)) - 60. Is u smaller than -69?
False
Let t = 4 + -2. Let g(p) = -p**2 + 3*p - 2. Let v be g(t). Let u = 249 + -249. Is u < v?
False
Suppose 3*v - 3*o - 23 - 25 = 0, 5*o - 91 = -4*v. Is v bigger than -3?
True
Suppose 2*h = 5*f - 1475, -1321 - 159 = -5*f + 3*h. Which is greater: f or 583/2?
f
Let c = 807 + -570. Which is smaller: c or 238?
c
Let k(a) = 4*a + 2. Let w be k(-2). Let x be w/(-14) + ((-44)/(-28) - 2). Which is smaller: x or -5/11?
-5/11
Let y = 0.38 + -0.08. Let w = -1/27 - 37/459. Which is smaller: y or w?
w
Let t = -0.0789 - 0.9211. Is t greater than or equal to -1/118?
False
Let j = 42/19 - 2974/1311. Which is bigger: 1 or j?
1
Let c be ((-3)/(30/8))/(38/57). Do c and -1.7 have the same value?
False
Let w = -18 - -13. Let i(l) = -l - 5. Let c be i(w). Which is bigger: c or 1/4?
1/4
Let w be (((-36)/30)/(-1))/((-1)/(-5)). Suppose 16 = 5*i + 4*l, i - 3*l - w = 1. Which is greater: 9/2 or i?
9/2
Let i be (-4)/(-18)*-1 + 28/36. Let z be (3/(-9))/(1/(-3)). Suppose 4 = 3*c + z. Is i greater than c?
False
Let b = 1079/3 + -360. Let n(h) = -h + 5. Let q be n(7). Let y be q + -6*2/(-4). Does b = y?
False
Let w(s) = 6*s - 10. Let y be 12/18 + 4/3. Let x be w(y). Which is smaller: -1 or x?
-1
Let t(m) be the third derivative of m**6/120 + m**5/15 - m**4/6 + 5*m**3/6 + 4*m**2. Let d be 45/6*(-2)/3. Let z be t(d). Is z < -2/15?
False
Let m = 334.3 + -352. Let i = m - -19. Let b = -1.4 + i. Is 2/11 > b?
True
Let l = -2.33 + 2.5. Let q(v) = 8*v + 143. Let o be q(-18). Are l and o nonequal?
True
Let k = 471 - 460. Is 61/5 at most k?
False
Suppose 397*p - 6978 = 403*p. Which is bigger: -1164 or p?
p
Let l(m) = m**2 - 13*m + 16. Let d be l(11). Let n be (-2 + 3)*d/21. Let w = -0.4 + -0.8. Which is greater: w or n?
n
Suppose -3*n - 11*n = -4*n. Which is smaller: n or -1/64?
-1/64
Let i = 2 + -7. Let c = 1 - i. Are c and 4 nonequal?
True
Let x = -366/37 + 8064/703. Which is bigger: 1 or x?
x
Suppose -5*s + 11 = 1. Let y be s/(-1)*(-3)/(-9). Let v = -1.766 - -0.866. Is y >= v?
True
Suppose 2*v - 2*i = -i, -5*i = 5*v - 30. Let x be (-4)/(-4) + (0 - -1). Let t = x - v. Which is bigger: t or 5/9?
5/9
Suppose 2*j - 10 = 3*j - 5*i, 62 = 5*j + 3*i. Suppose o + j = -o. Let f = 0.07211 - 0.17211. Is f at least o?
True
Suppose -2*o - s = s + 14, 3*o + 4*s = -18. Let x = -106 + 95. Is x at most as big as o?
True
Let z = -2 + 0. Let r = -5 + 9. Let h = r - 4.1. Is h at most as big as z?
False
Let f be (9788/(-85))/((-12)/30). Let j = 288 - f. Is j > 0?
True
Let s(t) = 114*t + 43. Let f be s(1). Which is smaller: f or 158?
f
Let a = 0.24 + 3.76. Let u = a + 4. Let d = 8.1 - u. Which is smaller: d or -8?
-8
Let z = -21 + 20. Let d be (z - 0) + -2 + -1. Let f be 2 - -1 - 68/d. Is f > 21?
False
Let y be (1*(-2)/(-1))/((-19)/(-228)). Suppose -3*h - 8 = -4*r - 21, 5*r + y = -4*h. Let n be ((-9)/(-4))/(-2 + -4). Are n and h equal?
False
Let j = -34517/1593 - -2/1593. Is -21 != j?
True
Suppose -2*s + s + 5*j + 35 = 0, 0 = 2*s - j - 61. Let w = s + 2. Is 34 >= w?
True
Suppose -2*r + 6*r - 4*v = 124, v = -3*r + 85. Suppose -3*i + 2*a = -i - 8, a + 8 = 5*i. Is r greater than or equal to i?
True
Suppose -4*v + 56 = 8. Suppose 5*l = 0, -5*r = -4*l + v + 18. Which is bigger: r or -10?
r
Let t = -0.76 - -106.76. Which is bigger: 2 or t?
t
Let i = 13 + -21. Let m be 1*i*(-6)/219.