= -b - 19, 3*c + 1 = -b + 14. Let v be (2/5)/((-115)/25). Is b smaller than v?
False
Let x = 3.6 + -5. Let s = -1.9 - -1.5. Let r = x - s. Which is bigger: r or 0.2?
0.2
Let c = -3 + 6. Suppose -5*v = 4*a + 15, c*a + 21 - 6 = 0. Is 2/9 smaller than v?
True
Let s = -698 + 6199/9. Let w = -2093/225 - s. Are 1 and w equal?
False
Suppose 2*y - 8 = 2*t, -5*y + 2*t = -1 - 10. Let k be 3 + (-1 - 1) - -1. Are y and k equal?
False
Let f(z) = -8*z + 15 - z**2 + 2*z**2 - 5*z. Let c be f(10). Let s be (-4)/10 - 81/c. Is s smaller than 4?
False
Let p(y) = y**3 + 2*y**2 - 3*y + 2. Let z be p(-3). Let x be (2*1)/(z - 0). Let b = 0 - -1. Is x at most b?
True
Suppose 3 = 7*p - 6*p. Suppose -5*a = 18 - p. Is -3 greater than a?
False
Let j(n) = n**3 + 16*n**2 + 14*n - 8. Let s be j(-15). Do 7 and s have the same value?
True
Let d = -3 + 8. Suppose 0*o - 5*o = -2*b + 4, 0 = 4*b - d*o - 8. Suppose 0 = -0*r + b*r. Which is smaller: r or -2?
-2
Suppose -5*m + 0*m = 0. Let d(o) = o**2 + 5*o + 6. Let s be d(-4). Let c be (-4 + s)*(-2)/(-4). Which is smaller: c or m?
c
Suppose -w = 2*y - 5, y - 4 = -2*w - 0. Let j be (0/4)/(w - 0). Which is smaller: -2/5 or j?
-2/5
Let n = -3 + 8. Suppose n*p = 2*p - 15. Which is bigger: p or -2?
-2
Suppose 0 = -0*j - 5*j + 5. Let z = 3 - j. Which is bigger: z or 1?
z
Let v = -49/129 + 2/43. Is 1 smaller than v?
False
Suppose -5*m + 4*l + 15 = -13, -3*l = 5*m - 14. Suppose m*q = -q. Which is smaller: -1 or q?
-1
Let s = 13 + -8. Suppose -s*d + 6 = -4. Suppose u + u = d. Is 0.1 < u?
True
Let x = 1.4 + -3.4. Let s = -1.7 - x. Does s = -0.3?
False
Let h(y) = 2*y - 3. Let t be h(3). Let k = -19 + 21. Is t smaller than k?
False
Suppose f + 7 + 1 = 5*s, -2*f = s + 5. Suppose 5 = -3*m - s. Is m less than or equal to -1?
True
Let i be (6/(-7))/((-2)/(-14)). Let g be (2/i*1)/(-1). Which is greater: 0.2 or g?
g
Let b be (0 + -2 - 1)*1. Let k(z) = -z + 9. Let i(s) = -s + 8. Let p(a) = 3*i(a) - 2*k(a). Let c be p(8). Which is smaller: c or b?
b
Let c = -8 + 8. Which is bigger: 14 or c?
14
Let c(j) = -5*j**3 - j**2 + 5*j - 10. Let a(d) = -9*d**3 - d**2 + 9*d - 19. Let b(m) = 6*a(m) - 11*c(m). Let t be b(-5). Which is smaller: t or 1/17?
1/17
Let d(c) = c**2 + 4*c - 2. Let p(o) = o**2 + 6*o + 3. Let a be p(-4). Let y be d(a). Let v be y/(-2 - 15/(-6)). Is v greater than 5?
True
Let d(c) = 4*c - 4. Let r be d(4). Which is smaller: 0.2 or r?
0.2
Let m = -0.34 + 0.04. Let f = m - -5.3. Which is greater: f or 1?
f
Let m(u) = -8*u**2 + 46. Let i(s) = -7*s**2 + 45. Let y(l) = -7*i(l) + 6*m(l). Let x be y(0). Let d = x - -121/3. Which is bigger: d or 1?
d
Suppose -20 = -0*t - t + h, 0 = 5*h. Are 22 and t unequal?
True
Suppose -h - 5*z + 17 = 0, 23 - 7 = 4*z. Is h smaller than 0?
True
Suppose -4*r + 2*o - 25 = -3*o, 4*o = -5*r + 20. Suppose 2*c + r*c = 0. Suppose c = -5*m - 2*s + 10, 2*m + 2*s - 4 = 3*s. Which is bigger: 1/2 or m?
m
Let z = -4 - -3. Is 2/3 greater than z?
True
Let c = 239/3 - 79. Suppose 0*f = -2*f. Are f and c equal?
False
Suppose 0 = z + 5*p - 2, 0*p - 3*p + 12 = -3*z. Suppose -2*n + 0*n = -3*t + 14, -4*t + 3*n = -18. Let h be z/8*4/t. Which is smaller: 1/2 or h?
h
Let f(v) = -v - 5. Let o(j) = -j**2 + 5*j + 6. Let a be o(6). Let m be f(a). Let y = m - -4. Is -2/3 at most as big as y?
False
Let z = 16 + -14. Suppose z*y - 6 = -2. Which is smaller: y or -0.1?
-0.1
Let t = 1 - -6. Let o = -2 - t. Which is bigger: o or -1/3?
-1/3
Let f = -1 + 2. Let j be (3/(-12))/(3/(-12)). Let v be f/8*(-7 + j). Which is greater: v or 1/2?
1/2
Suppose -b = -5 + 3. Suppose -6 = -2*r - b*i, 0*r - 3*i = -2*r + 1. Suppose s + 5*n - 19 = 0, 0 = 3*s - 3*n + 2 - 5. Which is greater: r or s?
s
Let m be 1*3/(30/4). Let c(d) = d**2 + 4*d. Let q be c(-4). Are m and q unequal?
True
Let r = 22.5 - 16.5. Which is bigger: r or 4?
r
Suppose -2*t + t + h = 2, -2*t + 3*h = 9. Let c = -11 + 11.1. Let d = 0.2 - c. Which is bigger: t or d?
t
Let h = -1 + -2. Let p be (-2)/(1/(-1)) + 7. Suppose p*d + 9 = 6*d. Is d < h?
False
Suppose h + 5*o + 3 + 0 = 0, -4*o + 6 = 2*h. Let v be (-2938)/h - (-8)/(-28). Let t be 208/v + (-2)/(-5). Is 1 less than or equal to t?
False
Suppose 5*j + 2*x = 74, -3*x = 3*j - 0*x - 48. Let w be (2/(-4))/((-7)/j). Which is smaller: -5 or w?
-5
Let a(q) = -q**3 + 5*q**2 - q - 2. Let z be a(5). Let h(x) = x**2 + 8*x + 7. Let c be h(z). Let p = -6 + 6. Is c > p?
False
Let i(t) = 2*t + 1. Let f be i(-1). Let k = 6 - 4. Let b be (f + k)/(35/14). Which is greater: b or -1?
b
Let h = 21 + -43/2. Let g(r) = -12*r - 192. Let k be g(-16). Which is greater: h or k?
k
Suppose 2 = -2*j + j. Let a = 6 - j. Is 6 greater than a?
False
Let q(n) = n**2 + 2*n + 1. Let a be q(0). Let z be (-2)/21 - (-1)/(-3). Is z > a?
False
Suppose -12*f + 38*f - 52 = 0. Suppose -4 = -h - 2*w, 5*w + 23 + 12 = 2*h. Suppose h = v + 2*i, 2*v = -0*v - 5*i + 24. Is f less than or equal to v?
True
Let k(h) = 2*h + 3. Let a be k(0). Which is smaller: a or -0.2?
-0.2
Let g = -9.36 - -0.96. Let n = 7 + -15. Let v = g - n. Which is smaller: v or 0.2?
v
Let m be 4/(-8)*(0 + -62). Is 32 < m?
False
Let m = 36.04 - 36. Is -2/21 at most m?
True
Suppose -16 = t + 3*t. Let q = -5 - t. Does q = 2/17?
False
Let b be 87/(-30) + -1 - (-6)/15. Is -4 less than b?
True
Let a(b) = -4*b + 31. Let s be a(8). Is -14/11 less than or equal to s?
True
Suppose -3*k - 39 = -6*k. Suppose 2*q + 2*z = -4, -q + k = 3*z - 7*z. Which is bigger: q or 4?
4
Let a = 31 + -35. Is 4 at least as big as a?
True
Suppose -3 = -2*r + 5*r, 4*j = 5*r + 1. Let z = j + 2. Let y be z/((-51)/(-6)) - 0. Which is greater: -1 or y?
y
Let q be (-2 + 2)/(-5*(-2)/5). Are q and 8/15 non-equal?
True
Let p = -23/7 - -596/175. Which is smaller: p or -1?
-1
Let u = 34/57 - 2701/228. Let f = u - -11. Let h be ((-2)/(0 + 2))/1. Which is smaller: f or h?
h
Let u = -84.39 - -85. Is u greater than or equal to -0.1?
True
Let q = -4 + 17. Let k = 12.6 - q. Which is bigger: k or 0?
0
Let j = 1.2 - 0.2. Let h = j + -1.1. Let p = 0.1 - h. Is p smaller than 0?
False
Suppose 16 = -5*c - 29. Let r be 0 - (c/(-4) + -2). Which is bigger: r or 6?
6
Let f(a) = -a**3 - 5*a**2 - a + 4. Let u be f(-5). Which is smaller: u or 8?
8
Let j = -6/23 - -1/92. Is 0 greater than or equal to j?
True
Let n be ((4/(-1))/2 + 2)/(-2). Is 9/8 at least n?
True
Suppose -9 = -5*d + 26. Suppose -d - 1 = -4*f. Which is bigger: f or 0?
f
Let t(i) be the second derivative of i**5/20 - i**4/3 - 2*i**3/3 - 3*i**2/2 - 3*i. Let f be t(5). Which is greater: f or 3/2?
f
Let i be 4/(-14) - (-207)/63. Suppose -4*c = i*o + 10, -4*c - 17 + 5 = 4*o. Is c < -2/41?
True
Let s be (-2 - 2)*(-2)/4. Suppose 3*i + 0 = -5*p + 1, 0 = 2*p - 4*i - 16. Suppose -p*u = -2*w, -s*w = 4*u + 2*w. Which is smaller: -0.1 or u?
-0.1
Let u(p) = 0*p**3 + 1 + p**3 + 2*p + 2*p**3 + 2*p**2. Let n be u(-1). Let z be (n/4)/(1/4). Which is smaller: -3 or z?
-3
Suppose 24 = -o - 2*d + d, -o + 5*d - 30 = 0. Let p be (5/o)/((-1)/15). Is 4 > p?
True
Let x be 2 + -2 + 1 + -1. Let n = x + -2. Let g be 3*(0 + n/(-15)). Which is greater: g or -0.1?
g
Suppose -3*m + 10 = 2*n, 5*m = n + 3*n - 42. Which is smaller: n or -1?
-1
Let p = -927 + 150175/162. Let s = -317/1134 - p. Suppose 0 = 2*c - 6*c. Is s greater than c?
False
Let a = -0.12 + 0.02. Let w = 1.3 + -0.3. Which is smaller: w or a?
a
Let r(g) = -g**2 - 6*g + 7. Let j be r(-6). Is 7 less than j?
False
Let p = 1.3 + -1.39. Let o = 0.01 - p. Let m = -1 - -3. Is m >= o?
True
Suppose -5*h + 24 = -9*h. Let j be 12/(-8)*(-4)/h. Is -1 at least as big as j?
True
Let g = 1.2 + 4.8. Let o = g + -1. Is o greater than 2?
True
Let o(m) = -m**2 + 4*m + 6. Let u be o(5). Let i = 282 - 126. Let z = i + -2026/13. Which is smaller: u or z?
z
Suppose 0 = w - 3*d, -3*w - 13 = 6*d - 2*d. Let t be 9/54 + 19/(-6). Are t and w unequal?
False
Let s = -1 + -16. Which is greater: -15 or s?
-15
Let z(j) = -j**2 - 2*j - 2. Let v be z(-3). Suppose 0 = -9*m + 4*m. Suppose m*u + 4*u + 12 = 0. Which is greater: u or v?
u
Let d be 9/6*12/9. Let p be d*(2 + (-28)/8). Is -5 less than p?
True
Let f = 4.95 + -0.9. Let q = f + -0.05. Let k = 1 - q. Which is greater: k or -2/7?
-2/7
Let q be (-4)/(-6)*6/4. Let v = -3 - -2. Is q not equal to v?
True
Let t be (-2)/(-3) - 4/(-3). Suppose 0 = -t*x + x + 7. Let o = x + -10. Wh