560 = -4*s. Which is smaller: s or -105?
-105
Let b = -247 - -247. Which is smaller: b or -208?
-208
Suppose 0*o + 5*s - 13 = o, s = 3*o + 11. Let j = 23 + -25. Let w be (-17)/(2 + 0 - j). Do o and w have different values?
True
Suppose 11914 = -34*d - 9370. Which is smaller: -627 or d?
-627
Let x = 86 + -122.1. Let u = 36 + x. Which is greater: u or -0.59?
u
Let v = -6.4 - -6. Let g = 201.4 - 201. Let d = v + g. Which is bigger: d or 1/12?
1/12
Suppose 6 = -s + 10. Suppose 0 = -3*b + 5*b - s. Is b equal to -1?
False
Suppose -f + 3*f = 0. Suppose -3*g + 3*i + 6 = f, -2*g + 2 = -i - 3. Let y = 5 + -5. Are g and y equal?
False
Let r(i) = -26*i - 235. Let b be r(-9). Which is smaller: b or 8/189?
b
Suppose -3*t + f = -4, t = 3*f + 7 - 3. Which is smaller: 11/19 or t?
11/19
Let t(j) = -2*j**2 - 52*j + 101. Let d be t(-28). Is d bigger than -19?
True
Suppose -17*q - 70 = 185. Is q smaller than -14?
True
Suppose 5*i + 13 + 2 = -5*d, 2*d = -5*i - 3. Suppose -2*q = -3*k - 14 + i, -q - 6 = k. Is 5/37 at least q?
True
Let b = 41.757 - 44.64. Let h = b - 0.117. Which is bigger: 1.6 or h?
1.6
Suppose k + 0*i + 3*i = 14, -k + 18 = 4*i. Let t = -24233/13 + 1865. Which is bigger: t or k?
k
Let o be (15/(-20))/((-3)/24). Let d(l) be the second derivative of l**5/20 - l**4/2 + l**3/6 - 7*l**2/2 + l. Let f be d(o). Is f at least as big as -1/27?
False
Suppose -7*p = -27*p - 10200. Which is smaller: -2/9 or p?
p
Let t = 0.466 - -0.134. Let r = 0.039 - 1.039. Which is smaller: t or r?
r
Suppose p + 7*p = -272. Which is bigger: p or -67/2?
-67/2
Let s(k) = k**2 - 4*k + 6. Suppose q - 14 = 2*n, -3*q + 16 + 17 = -3*n. Let y be s(q). Is 39 bigger than y?
True
Let v be 5/(-3 + -2) + 5. Suppose -j - 1 = 2*r - 3, -v = -j. Which is greater: -1/2 or r?
-1/2
Suppose -3*a + 4*z - 19 = 0, -9 - 19 = 2*a + 5*z. Let f be (15/a - -2)/(3/117). Is 15 != f?
True
Let b = -7 + 17. Let q = -7 + b. Let g = 1/129 + 14/43. Which is greater: q or g?
q
Let v be (-12)/(-230)*780/3432. Do -1 and v have the same value?
False
Suppose 26*s - 10140 = 31*s. Let l be ((-4)/s)/(20/(-24) - -1). Is l less than or equal to -1?
False
Suppose 0 = -2*z + 47 - 9. Let i = -10 + z. Let s be i/18 - (-14)/(-4). Which is bigger: -5 or s?
s
Suppose 9*z = 80 - 1889. Is -204 not equal to z?
True
Let h = 1691/56 + -289/28. Which is greater: 21 or h?
21
Let g = -2.7 + 13.8. Let o = g - 11. Do o and -32 have different values?
True
Let j be 4*(33/4 - 1). Let r be (-1)/(-2) - j/18. Suppose v = 2*k, -4*v + 19*k = 24*k + 13. Which is smaller: v or r?
v
Suppose 3*n + n - 16 = 0. Let j be 5 - (-2 - -3) - n. Which is greater: j or 2?
2
Let f = 57 + -8. Let q = 50 - f. Let d(k) = -k**3 - 4*k**2 + 4*k - 3. Let j be d(-5). Which is bigger: q or j?
j
Let u be (-2)/8 + 6/(-8). Suppose 0 = 2*j + 2*j - 32. Let v be (j/32)/((-26)/(-8)). Which is smaller: u or v?
u
Let r(q) be the second derivative of -q**3/6 + 13*q**2/2 + 3*q - 7. Let u be r(15). Is u >= 0?
False
Suppose -9*j + 15*j = 6. Is 63 at least as big as j?
True
Suppose -4*y = 5*t - 7, -2*y - 2 = -2*t - 10. Suppose -4*z + 2*z + 100 = 0. Suppose -z = -2*j - y*j. Which is greater: 8 or j?
j
Let j(f) = 2*f**3 - 28*f**2 - 3*f - 2. Let q be j(14). Which is bigger: -46 or q?
q
Let g = 4610 - 4579.59. Let a = 0.59 + g. Which is smaller: 1 or a?
1
Suppose 4*p + 8 + 12 = 0. Let m be 18/(-45) + 3/p. Which is smaller: m or -2?
-2
Let t = -17170261/25718 - -7344/11. Is t bigger than -1?
True
Suppose 3*n + 621 = -2*d - 2*d, d + 4*n = -165. Which is greater: d or -152?
-152
Let v = -1.88 - -2. Let b = 0.12 - v. Is b less than 20?
True
Let b(w) = -2*w**3 - 17*w**2 + 32*w - 132. Let p be b(-11). Suppose k - 113 = -3*t, 0 = 2*k - 0*t - 5*t - 259. Which is bigger: p or k?
k
Suppose -3*d + 4*s - 98 = -0*s, -5*s - 140 = 5*d. Let m be -4 + (-116)/d - 95/(-150). Is m greater than or equal to 0.6?
False
Suppose -o = -4*m - 0*o + 17, 5*o = -4*m + 35. Suppose 5*y + 3*p - 1 = 25, 3*y - 2*p = 27. Let q be m/(-10)*(y + -1). Which is bigger: -8/3 or q?
-8/3
Let u = -20 + 13. Let f = -6.9 - u. Are f and -0.12 nonequal?
True
Let x = -7 - -4. Let y = 15219/7 + -2176. Is y at least as big as x?
True
Let x = 2.05 - 0.05. Let b = 14/279 - 5915/1116. Which is bigger: b or x?
x
Suppose 2*i - 5*m + 30 = 2, 5*m = -5*i. Suppose 3*z = -0 - 9. Is z less than i?
False
Let t = -6 - -6.1. Let a = 0.4 - 0.21. Let r = a + 5.81. Which is greater: t or r?
r
Let s(p) = -p**3 + 7*p**2 - 5*p - 7. Let b be s(6). Let i = -20 - -20.2. Let t = 0.1 + i. Is t smaller than b?
False
Let j be 1 - 14/(-1)*(-24 - -25). Let h be (-327)/(-21) + 1*-1. Which is smaller: h or j?
h
Suppose -12*r + 10*r + 30 = 0. Which is bigger: r or 16?
16
Let y = -0.8 + -16.2. Let v = y + 18. Let x = 1/6 + 1/3. Which is bigger: v or x?
v
Let f(d) = -d**3 + 9*d - 1. Let k be f(3). Is 0.157 > k?
True
Suppose 2*z = v - 281, -532 = -3*v - 3*z + 329. Let d be (3/12)/((-5)/v). Which is bigger: -13 or d?
-13
Let t = 12450 - 149285/12. Let q = t - 33/4. Suppose 3*j - 7*j = 0. Which is bigger: j or q?
q
Suppose -2*y - 5*m = -18, 0 = m + 2*m - 6. Suppose -y*b = -0*b - 20, j = -4*b + 26. Suppose j*q = 7*q + 4. Which is smaller: -3 or q?
q
Let k be 6*-1 - 0 - -1. Let u(o) = 30*o - 7 - 12*o - 19*o. Let a be u(k). Which is smaller: a or 6/5?
a
Let r be ((-5)/20)/((-1)/(-15)). Let v(c) be the third derivative of -c**6/120 - c**5/12 - c**4/6 - c**3/2 + 12*c**2. Let p be v(-4). Which is greater: r or p?
p
Suppose 2*m = o + 20 - 60, -5*o - 2*m = -152. Suppose -5*n + 20 = 0, -n + o = 4*b + 4*n. Suppose -5*r = -b*r. Are r and -2/13 equal?
False
Let p = 1/7516 - 14101/63886. Let d = p + -1/68. Does 0 = d?
False
Let n = -829 + 99479/120. Which is greater: -1 or n?
n
Let n be (-1)/3 - (-1 - 0). Let y = -4984 + 4984.01. Which is smaller: y or n?
y
Let n(y) = -2*y + 2. Let l be n(4). Suppose 4*c + 22 = o, -4*o = -7*o + 6. Which is greater: l or c?
c
Let r = 3549 - 3547. Let t = -21 - -40. Which is bigger: r or t?
t
Let n = 14 + -12. Let g be 1 - (-5)/65*5. Are n and g equal?
False
Suppose 4*x - 7 = c, 2*c = 6 + 4. Suppose -9 = -4*l + x. Is 8/5 at most l?
True
Let b(a) = -5*a + 26. Let y(o) = 6*o - 38 + 5*o - 15. Let t(g) = -13*b(g) - 6*y(g). Let z be t(-10). Is -9 bigger than z?
True
Let o = -16503/56 - -2161/8. Which is smaller: o or -24?
o
Let k = 30 - 24. Let b be (2/k)/((-19)/(-3135)). Is 55 < b?
False
Let u = 15 + -9. Let l(a) be the first derivative of -a**3/3 + 4*a**2 - 8*a + 6. Let k be l(u). Which is bigger: 3 or k?
k
Let s be (12/6 - 2)/(-1). Which is greater: 2/855 or s?
2/855
Let b = -22691/63 - -3053/9. Let p be 155/30*(-6 - -2). Let y = b - p. Is y greater than -1?
True
Let l be 1/(-3) - (-692)/(-24). Is l equal to -30?
False
Let s(t) = 7*t**2 - 14*t - 13. Let b(i) = -6*i**2 + 13*i + 13. Let c(d) = 6*b(d) + 5*s(d). Let a be c(9). Let l be -1 + (a - 308/100). Is -0.2 less than l?
True
Let k(c) = c**3 + 10*c**2 - 12*c - 9. Let z be k(-11). Suppose 3*l - z*l = 232. Let a = 5569/24 - l. Which is bigger: 0 or a?
a
Let z be (-2)/(-4)*(-8 + 18). Let c be 6/(-3) + z + 2. Let a be 3/(-5) + 63/c. Which is smaller: 11 or a?
11
Let r = -120 - -120. Suppose -u - 2 - 1 = 0. Which is bigger: r or u?
r
Let l = 997 - 4987/5. Is -616 smaller than l?
True
Let x = -3 + 15. Suppose -7*q = -9*q + x. Which is smaller: 13/2 or q?
q
Suppose -a - 2*a + 3*u = -6, 0 = -u. Is -0.7 at least as big as a?
False
Suppose 21*p - 16 = 2*q + 22*p, 5*q + 3*p + 40 = 0. Let n = 1 + -6. Let m(x) = x - 2. Let c be m(n). Which is smaller: q or c?
q
Let r = 2.05 + -2. Let h = -245 + 245.05. Let b = h - r. Is b at most 3/8?
True
Let h = 6 + -3. Let j = 11/27 - 23/189. Which is greater: j or h?
h
Let l = -30 + -56. Let v be 4/16 + l/(-8). Let t be (110/(-15))/(4/(-6)). Do v and t have the same value?
True
Let q be -2*116/62 - (16 - 20). Which is bigger: q or -1?
q
Suppose 0 = -2*q - 9 - 5. Let b(f) = -f**3 - 7*f**2 - 4*f - 7. Let x be b(q). Is x smaller than 21?
False
Suppose -5*c = n + 353 + 162, -3*n = 0. Which is greater: -104 or c?
c
Let s = -66 - -56. Let b be s*(-6)/9*(-6)/(-5). Is 7 not equal to b?
True
Let n(u) = -u**3 - u**2 + 2*u + 2. Let o be n(-2). Suppose 0*s + 250 = 4*k - o*s, 5*k - 305 = -5*s. Let j = k + -307/5. Is 1 at most j?
False
Suppose 0 = -5*i - 5*n + 830, -2*n = i - 14 - 151. Is i < 