 -l - 8 = -3*w, w + 4 = -l + 3*w. Suppose -d + 15 = l*d. Let c be (-17)/(-4) - (-3)/(-12). Is d at most c?
True
Let g = -7 - -8. Suppose -11 = -t + 3*t - 3*d, t + 4*d - 22 = 0. Suppose 5*k - 18 = 6*x - 3*x, 14 = 4*k - t*x. Which is greater: g or k?
k
Let q be (4 + -2)*(-2)/(-4). Which is greater: q or 2?
2
Suppose 5*j - 10 = -5*b + 25, -b = 5*j - 15. Let o be 6/(-12) + b/2. Let r = 4 - o. Which is bigger: r or 1?
r
Let q be (-4)/25*3/(-12). Is 1/3 bigger than q?
True
Let v = -21 - -10. Let h = 6 + v. Let k = 5 + h. Is k greater than 4?
False
Let v = 9.9 + -10. Which is smaller: v or -2?
-2
Let s be (3/(-4))/(1/(-8)). Let q be (5 - 2) + (-24)/s. Is -5/3 > q?
False
Let d be 2/(-11) - 2/(-11). Suppose d*b = -3*b - 12. Which is smaller: b or 0?
b
Let y(p) = -p - 1. Let g be y(0). Let n = -217/4 + 9757/180. Which is smaller: g or n?
g
Let o = 8/17 - 39/119. Which is bigger: o or -1?
o
Let s be 14/21 - (-86)/(-21). Let m = -41/14 - s. Which is greater: 2 or m?
2
Let k(v) = 3*v - 23. Let c be k(11). Which is greater: c or 9?
c
Let o = -2/351 + -1043/1755. Let p = o + -11/15. Is -0.2 <= p?
False
Suppose 0*a + 18 = 3*a. Let x(c) = -c**2 - 6*c + 1. Let w be x(-6). Let f be (-3)/a*(w + 1). Which is greater: -1/2 or f?
-1/2
Suppose 3*b - 3 = 5*d, -b - 3*d - 13 = -0*d. Let a be (5 + -14)*b/(-6). Is -6 < a?
False
Let w(m) = -16*m + 1. Let k(r) = -r - 1. Let i(a) = -k(a) + w(a). Let j be i(-1). Which is greater: j or 16?
j
Let s = 0 + 1. Let z be (-26)/8 - s/(-4). Let x(y) = -y**3 - 2*y**2 + 5*y + 2. Let c be x(z). Does c = -5?
False
Let g be 1/(-8)*(-33 - 2). Let y = g - 369/88. Let q = 0 + 0. Which is smaller: y or q?
q
Let n(m) = -m**2 - 8*m - 7. Let l be n(-6). Is l at least 4?
True
Suppose -85*y = -84*y. Which is bigger: -1 or y?
y
Let w = 0.5 - -5.5. Let u = w + -6.5. Is u at least as big as 1?
False
Suppose -3*q + 11 = 2. Which is smaller: 0 or q?
0
Suppose 2*h + 4 + 18 = 0. Is h bigger than -10?
False
Let o be (-4 - (-210)/49) + 1516/(-14). Is o > -107?
False
Let k(n) = n**2 - 2*n - 5. Let c be k(-2). Are 2 and c equal?
False
Let o be 6/16*(-4)/6. Let j = -40 + 39.7. Is j greater than o?
False
Let a = -1.2 + 0.2. Let s = -3.3 - 1.7. Is a bigger than s?
True
Let x = -1 + 2. Which is smaller: x or -1/10?
-1/10
Let s = -48 + 47. Let q be 3/7*4/6. Are q and s non-equal?
True
Let s = 2.6 + -3. Let b = -28 - -30.4. Let z = s + b. Which is smaller: z or 3?
z
Let p(v) = -v**3 - 5*v**2 - 4*v + 3. Suppose 1 = -g - 3. Let r be p(g). Which is greater: 4 or r?
4
Suppose -5*u = -w - 2*w + 90, -u + 4*w = 18. Let z be 6/(-21) + u/(-14). Which is greater: 1/2 or z?
z
Let u = 341 + -337. Let r = 1 + -1. Are u and r non-equal?
True
Let j = -907 + 22671/25. Is j not equal to 0?
True
Let c = -33 + 36. Suppose 0*u + 4*u = 20. Which is smaller: c or u?
c
Suppose -2*s - 3*s + 120 = 0. Let w be (-6)/s + 17/36. Is w at most 0.4?
True
Let w = -144 + 1149/8. Which is bigger: w or 1?
1
Let m = 25 - 22. Suppose q + 3*x - 15 = 0, 2*q - 5*x = m + 5. Is 10 at most as big as q?
False
Let s = 0 - 5. Let d = -5.8 - s. Which is smaller: d or -1?
-1
Suppose 0 = j - 2, -2*b + 0 = -3*j + 12. Let d be (1 - (-1)/(-3))*b. Let s be (-1)/2*d/2. Which is bigger: s or 2?
2
Suppose -4*s + 13 = -3. Suppose 6*b + 4*r = 2*b + 4, -4*r = -4*b + s. Suppose 5*n - 25 = -2*c, 10 = 4*c + 2*n - 0. Are b and c equal?
False
Let c = -1871/5032 - 2/629. Which is smaller: c or 0?
c
Let s(x) = x**3 - 5*x**2 + 12*x - 16. Let z be s(5). Which is bigger: 45 or z?
45
Suppose -4*a = -3*p - p + 44, 4*a + 20 = 0. Let c = 3 - p. Suppose t = n - 7, 3*t - 2*n + 11 + 6 = 0. Are c and t unequal?
False
Suppose 3*r - 12 = 3, -4*p = 3*r - 27. Suppose -p*v + 5*v - 4 = 0. Let s be (1 - v)*-1*1. Which is smaller: 0 or s?
0
Let z = 6 - 6. Suppose -3*k - 2*k - 5 = z. Let n be 3/6 + (-8)/6. Is k at least as big as n?
False
Suppose -3*d = 29 - 8. Let k(q) = -q**3 - 5*q**2 - 3*q - 2. Let m be k(-4). Is d not equal to m?
True
Let p be (-1 - -2)*(1 + -22). Let r(v) = -v**3 + 5*v**2 + v + 8. Let h be r(6). Which is smaller: h or p?
h
Let x be (2 + -4)*(10 + -6). Is -7 at most as big as x?
False
Suppose 0 = 4*y - 2*c + 2, 4*y = 3*c - 4 + 1. Is y < 1/5?
True
Let b = -62 + 44. Let i(p) = p + 13. Let n be i(b). Do n and -5 have the same value?
True
Let c = -2.8 + 3. Let b = 2.08 + -2. Let q = b + -1.08. Which is greater: c or q?
c
Let j(d) = 4*d - 5*d - 4 + 0. Suppose 5*a + 3*y + 14 - 2 = 0, -a = -2*y + 5. Let w be j(a). Is -1/4 >= w?
True
Suppose 6*k + 8 = 2*k. Is k > -2?
False
Let m = 0.048 + 0.052. Is 9 at most m?
False
Suppose 1 = -k - 1. Is k less than -0.01?
True
Let d be (-9)/(-12) - 1 - 57/12. Is -6 smaller than d?
True
Let n be -1 - -1 - 12/(-2). Let c be 2/4*n + -2. Let s = 1.8 - 2. Is s bigger than c?
False
Let p = 1 - -5. Let n(s) = -s**2 + 5*s + 4. Let t be n(p). Is t greater than -2?
False
Suppose 4*r + 4 = 12. Is 6/5 bigger than r?
False
Let v be 2 + 0 - (0 - 0). Let k = -70 + 65.1. Let b = -5 - k. Which is bigger: b or v?
v
Let g be -5 - -7 - (0 - -1). Let b = 4 + g. Suppose k = 2*n - 1, -6*k + 5*k - 1 = b*n. Which is smaller: n or 3/7?
n
Let h = -6 + 6.1. Let j = h + -0.2. Let s = 827/5 - 166. Which is smaller: s or j?
s
Let d = 39 + -38.9. Is d greater than -11?
True
Let z = 12.11 + -12. Does z = 0.1?
False
Let r be 4 + (0 - 3) - 1. Which is smaller: -3/4 or r?
-3/4
Let q = 1.8 + -1.3. Let a = 18.5 + q. Is -1 less than a?
True
Suppose -3*m + 11 = -10. Let h = 6 - m. Which is smaller: h or 0?
h
Let t(z) = z**3 + 9*z**2 - 10*z + 1. Let k be t(-10). Is 11 greater than or equal to k?
True
Suppose 4*x = -111 - 161. Is x >= -68?
True
Let j = -11/558 - 1/124. Which is smaller: 0.1 or j?
j
Let z = -19/3 - -86/15. Which is smaller: -1 or z?
-1
Suppose 5*w - c + 32 = -4, -4*c - 40 = 3*w. Let l be (-12)/8*w/(-6). Which is smaller: -1 or l?
l
Let y = -14/25 + 32/75. Let d = 55 + -54. Is d at least y?
True
Let u(o) = o**2 + 14*o - 53. Let d be u(-14). Which is bigger: -103/2 or d?
-103/2
Suppose -10 = -r - 4*r. Suppose -5*i + 0 = r*f - 5, -5*i = 5. Suppose 0 = -2*b + 4, 0 = c + b - f + 1. Is c smaller than 2/3?
False
Let k = 14 + -43. Which is smaller: -30 or k?
-30
Suppose 5*w - 5 = -0*w. Let p(c) = -c**2 + 11*c - 5. Let y be p(10). Suppose -y*l - 1 = 4. Is w at least l?
True
Let b(k) = k**2 + 5*k - 12. Let p be b(-6). Is p greater than -7?
True
Let b(d) = -4*d - 6. Let n be b(-8). Suppose -5*u + 14 = -n. Let j(x) = -x**3 + 9*x**2 - 9*x + 7. Let s be j(u). Which is greater: 2/7 or s?
2/7
Suppose 2*y + 5*j + 63 = 0, 4*y + 134 = -5*j + 3*j. Are y and -33 equal?
False
Let h = 84 + -231. Let u = 2198/15 + h. Let t = -2/15 + u. Which is greater: -2 or t?
t
Let q be 3 + -3 + 0 + 1. Let v(k) = 2*k**2 + 0*k**2 + k**2. Let b be v(q). Is 3 at least b?
True
Suppose 3*q + 21 = 5*z, q + 3 = z - 0. Let y(m) = 7*m**2 + m + 1. Let s be y(-1). Are z and s equal?
False
Let y = 2 + -5. Let l be -2*(-3)/3 + -3. Let n = -4 - l. Is n at most as big as y?
True
Let j = -10 - -15/2. Is -0.2 greater than j?
True
Suppose -6 - 3 = -3*q - 3*d, -2*d - 24 = -4*q. Suppose -3*j = -q - 4. Let h be (4 - j)/((-2)/2). Which is bigger: -2 or h?
h
Let z(y) be the second derivative of -y**3/6 + 5*y**2 + 3*y. Let u be z(10). Which is smaller: u or -1/4?
-1/4
Suppose -4*m + 4*l + 8 = 0, 0*l = -l + 3. Let u = 0 + m. Let w = -5 + u. Is 2 less than w?
False
Let x = -3 - -3. Is -1/6 greater than x?
False
Suppose -m - 137 = -5*i, 5*i - 4*m = 143 - 0. Is i <= 28?
True
Suppose 0 = -5*b + 2*k - 7, 4*b = 5*k - 10 + 1. Suppose i - 6 = -m + 2, 5*i = 3*m. Let g be 0/(2/(-3)*i). Which is smaller: g or b?
b
Let g be (15 + -3)*20/14. Let z = g + -358/21. Which is smaller: z or 0?
0
Let i(c) = -c**3 + c**2 + 1. Let r be i(2). Let y be 1/r - -1 - 1. Does y = 0.3?
False
Suppose v + 0*q + 3*q = 10, 8 = 4*v - 4*q. Let l = -3 + v. Is 1 less than l?
False
Let g be 7/(21/50) - 3. Let y = g + -14. Let f be ((-2)/(-6))/((-2)/(-6)). Which is smaller: f or y?
y
Let o = -0.074 - 4.826. Let w = o - -5. Is -3 at most as big as w?
True
Let u(d) = -2*d. Let j be u(-3). Suppose j*b = b - 10. Are b and -6/5 non-equal?
True
Let o = -6 - -5. Let x = 1.1 + -1.2. Which is smaller: x or o?
o
Let a = 19 - 21. Which is bigger: 1/6 or a?
1/6
Suppose 5*s + 3*p + 1 = 0, 7 + 0 = -3*s - 5*p. Let j be 2 - (2 + 0) - -1. 