Let v be m(-8). Is s less than or equal to v?
False
Suppose 2*q = 3*q + 2. Let b(j) = -j**3 - 3*j**2 - 2*j - 1. Let k be b(-2). Is q bigger than k?
False
Suppose -4*d - 22 = -5*d. Suppose 5*t - d = 3. Is t greater than 5?
False
Let s(o) = o**2 - 2*o - 20. Let c be s(0). Which is smaller: -21 or c?
-21
Let f = 8.8 + -7.8. Is -2 < f?
True
Let b(m) = -m**2. Let t be b(0). Let y(p) = -p**3 + 8*p**2 - 6*p - 6. Let z be y(7). Let o = t + z. Which is smaller: o or -1/3?
-1/3
Let t = 0.256 - 0.046. Let c = t + 7.79. Which is smaller: 1 or c?
1
Let c be ((-4)/(-5))/((-2)/(-5)). Let m = 4 - 1. Let z be -2*(-1 - (-2)/m). Which is bigger: c or z?
c
Let g = -291887/808 + 1704/101. Let r = -345 - g. Is r at most as big as -1?
False
Let g(o) = -o**3 + 9*o**2 - 6*o - 4. Let a be g(8). Suppose -3*t + a = t. Suppose -t*w - 2 = -2*l, 4*w - l - 6 = -w. Is 2 > w?
False
Let j = 67/161 - 49/23. Which is greater: -1 or j?
-1
Suppose -5*r - w - 5 = 4*w, 0 = -4*r - 5*w - 7. Let y be (r/(-3))/((-2)/3). Is 0 less than y?
True
Let x = 0 - 7. Let f = x + 10. Suppose -i + 2*m = -0*i, m = f*i. Which is bigger: 2/11 or i?
2/11
Suppose u = 2*b - 2, -2 + 8 = 5*b - 2*u. Which is smaller: 4 or b?
b
Let a = -63.2 + 57. Let l = a - -0.2. Let n = -6.1 - l. Which is smaller: -1 or n?
-1
Suppose 4*g - b = -g + 3, -3 = b. Let w be 4/(-4)*(-2 - g). Let k = 17/5 - 41/15. Is w at most as big as k?
False
Let i(k) = -k. Suppose 5*f - 2*z - 25 = 3*z, 13 = -3*f - 4*z. Let v be i(f). Let r be (-6)/(-20)*(-20)/(-48). Is v not equal to r?
True
Let q = 1 + -2. Is -2/3 equal to q?
False
Let b = 3 + -2.8. Suppose 0*k + k + 5 = 0. Let q = k + 3. Is q != b?
True
Suppose 12*j + 6 = 15*j. Which is bigger: 0 or j?
j
Let a(v) = -v - 2. Let h be a(5). Is h at least -6?
False
Let f be (-133)/(-147) - (-8)/(-14). Is -2 at least as big as f?
False
Suppose 2 = 3*u - 4*w, u + 0*u + 3 = 5*w. Suppose u*k = k. Is -3/13 greater than k?
False
Let w be (-1)/(2/(-26)*(0 - 1)). Is -14 >= w?
False
Suppose -3*f + 2*f + 13 = 5*g, f - 2*g = -1. Suppose 9 + 6 = f*h. Which is greater: h or 6?
6
Suppose 5*y = b + 1, 0*b - b = 5*y + 1. Let n = 0.083 + -0.043. Is b greater than n?
False
Let d = 117 - 593/5. Which is smaller: d or -2?
-2
Let x = 0.1 - -0.1. Suppose 2*j + 2*j - 160 = 0. Let y be (-18)/j + 1/4. Which is smaller: x or y?
y
Let j = 664.98 + -657. Let n = -8 + j. Which is smaller: n or 1?
n
Let g = -3 - -4. Let n = 0 + -1. Let j be g*n - (-3 - -4). Is -3 > j?
False
Suppose 0 = -0*m - m + 951. Let q be (-2)/(-3)*m/10. Let c = -63 + q. Is -1 less than c?
True
Let f = -13.63 - -14. Let l = f - 0.07. Are 1/2 and l equal?
False
Let u = -5793/1298 + 49/11. Let r be ((-2)/8)/((-177)/466). Let w = r - u. Which is smaller: w or 2?
w
Let v = -4 + 3. Let h be 0/v*(-9 + 10). Which is smaller: 2 or h?
h
Let v = 885 - 43367/49. Is v >= 0?
False
Let z(t) = t**2 + 5*t + 4. Let j be z(-3). Let q be (2 + j)/((-8)/4). Is -2/7 not equal to q?
True
Let n be -44 + (0 - (-2 - -3)). Let d be (-3)/108 - (-10)/n. Which is greater: 0 or d?
0
Suppose -26 = -2*r - 0*n + 4*n, -3*n = 5*r - 13. Is 4 > r?
False
Let u = 5 + 5. Let n = u - 16. Which is smaller: 0.1 or n?
n
Suppose 27 - 8 = d + 5*b, -29 = -5*d - 3*b. Let v = -1 + d. Suppose 2*j + v*j + 10 = 0. Which is smaller: -1 or j?
j
Let x(o) = -o**2 + 6*o - 2. Let u be x(5). Let g be 2 + (3 + -3)/(-2). Suppose -g*k = k - 12. Is u at most as big as k?
True
Let f be 510/(-20)*8/6. Which is bigger: f or -30?
-30
Let w = -0.06 - -0.02. Let y = -0.05 - w. Let h = y - -0.21. Which is bigger: h or -1/4?
h
Suppose -y = y - 6. Let g be y + 2*15/(-8). Let m = -1 + 1. Is g equal to m?
False
Let m(y) = y**3 + 7*y**2 + 7*y + 13. Let i(s) = -s**3 - 7*s**2 - 6*s - 12. Let h(r) = -6*i(r) - 5*m(r). Let d be h(-7). Which is greater: d or -1/9?
d
Let s = -3 + -4. Let w = 7 + s. Suppose -h + 4 = 2*h + j, w = -3*h - 2*j + 8. Which is smaller: 1 or h?
h
Let s(g) = -g - 3 + 3*g + 0*g. Suppose 2*c = -2*c + 4*x + 28, -2*c = 2*x + 6. Let q be s(c). Is 2 not equal to q?
True
Suppose -5 - 11 = -2*s. Suppose -3*a + s*a - 10 = 0. Which is greater: 6 or a?
6
Suppose 0 = -3*i - 0*i. Let u be ((-4)/24)/(3/24). Which is greater: i or u?
i
Let r(b) = -b - 6. Let h be r(-7). Which is bigger: 1.2 or h?
1.2
Suppose -17 = 3*d + 5*w + 2, 2*d = 5*w + 29. Suppose 5*u = t + 10*u - 16, 3*u = 2*t + 7. Which is smaller: d or t?
t
Let h be 49/16 + (-6 - -3). Is 0 at most h?
True
Suppose 2*v = 2 + 10. Suppose -f - 5 = -v. Is f smaller than 1?
False
Let m be (-24)/30*(-1)/(-2). Suppose 5*v - 5 = 2*k - 24, 2*k - v = 7. Suppose 2*w = g + 4*w - 2, 0 = -k*g + 2*w - 2. Which is smaller: g or m?
m
Let r = 13 - 11. Is r at least as big as -3/10?
True
Let c be 18 + 1 - 3/1. Let o(x) = -x**3 + 6*x**2 - 2*x - 7. Let q be o(4). Do c and q have different values?
True
Let b = 43 + -45. Which is greater: 15 or b?
15
Suppose r = -0*r + 2*s - 2, 3*s = -3*r - 15. Let q(n) = -n**2 - 2*n + 5. Let g be q(r). Let v = 25/2 + -51/4. Which is greater: g or v?
v
Suppose 3*n + 6 = -j, 4*n = 6*n - 5*j - 13. Is n at least -2/69?
False
Let h = -4 - -3.7. Let y = 14 + -15. Is y <= h?
True
Suppose -3*z = -4*g + 13, -3*g = 5*z - 4*z. Is z equal to -5?
False
Let q(l) = -l**3 + 7*l**2. Let c be q(7). Suppose c = -3*f - 14 - 10. Which is bigger: 1/2 or f?
1/2
Suppose -8 = -o + 3*o. Suppose 10 = -5*l, -4*k + l + 6 + 0 = 0. Suppose -4*p - 5*a = k, -a + 3*a = 4*p + 22. Is p at most as big as o?
True
Let y(o) be the first derivative of -2*o**3/3 + o**2/2 + 3. Let j be y(1). Let d be 1*-1 - (-48)/42. Is d > j?
True
Let f be (2 - 4/2)*1. Which is greater: 3/71 or f?
3/71
Suppose -6 = -2*q - q. Let w be -2*3*(-3)/36. Are w and q unequal?
True
Let r(w) = -8*w**3 + 5*w**2 - w + 1. Let m be r(4). Let t = 3051/7 + m. Is 0 greater than or equal to t?
False
Let t = 544 + -2747/5. Which is smaller: -0.1 or t?
t
Let l = -23142/2965 + 3/593. Is -0.1 at least as big as l?
True
Let v be (26 - 1)/(1/(-1)). Let u be 5/20 + v/132. Let a = u + 29/66. Are a and 1 non-equal?
True
Let c = 4697/4 + -1166. Do 9 and c have the same value?
False
Suppose 0 = 2*r - 6*r - o + 1, 5*o - 24 = -r. Let t = -3 - 13. Let z = -19 - t. Which is bigger: z or r?
r
Suppose 0 = 2*g - 3*g. Is -6/11 at most g?
True
Let t be (-8)/(-36) - 6/18. Which is bigger: t or -2?
t
Let d be ((-6)/15)/((-1)/(-5)). Let h = -1 - d. Do 1 and h have different values?
False
Suppose 2*o = -o + 9. Suppose 3*g + 11 - o = 4*s, 3*s = -3*g - 15. Let u be (0 - -2) + -3 + 1. Which is smaller: u or s?
s
Let n(f) = f**2 + 4*f - 6. Let w be n(-5). Suppose -4*v + 1 = -10*s + 11*s, 0 = -2*v - 3*s - 7. Is w at most v?
True
Let d = 245891660 - 5407906337/22. Let x = d - 477142403/6138. Let p = -1/341 + x. Which is bigger: p or 0?
0
Let i = 23 + -22. Let n be i/(-6) + 996/360. Do n and 3 have different values?
True
Suppose 4*m = 2*w + 40, 2*m + m - 5*w - 23 = 0. Is 11 greater than m?
False
Let a = -30 - -61/2. Let l = 47/2 - 23. Is a less than or equal to l?
True
Let z be 96/290 - 4/10. Is z not equal to 1?
True
Let s = 13 - 7. Let p be (s + -4)*2/(-4). Let n = 2 - 4. Which is smaller: p or n?
n
Suppose -4 = 5*m - m. Let p = -15/4 - -3. Is p > m?
True
Suppose -12*y = -8*y - 20. Is 2 at least as big as y?
False
Suppose 5*l - 2*n - 10 = 0, -2*n - 10 = -3*l - l. Which is smaller: 2/15 or l?
l
Let o(z) = -z**3 + 7*z**2 + 11*z - 31. Let u be o(7). Is 45 at least as big as u?
False
Let b(h) = h - 5. Let g be b(-17). Which is bigger: -21 or g?
-21
Let b(p) = -p**3 - 8*p**2. Let h be b(-8). Suppose h = 3*x - 3*z - 60, 2*x - 10 - 30 = -3*z. Let n be 31/x - (-6)/(-8). Which is bigger: n or 2?
2
Let f = -21 + 24. Which is smaller: 3/2 or f?
3/2
Let s = 1/4088 - -499903/4088. Let c = s + -122. Let j = 0.02 - 0.42. Which is smaller: c or j?
j
Let i be 126/26 - 6/(-39). Let g = 167/2 - 78. Is i greater than g?
False
Let s = 0.07 + -0.22. Let j = s - -0.1. Is j at most 0.1?
True
Let g(n) = n**2 + 4*n - 7. Let h be g(-6). Suppose -15 = 5*c + h*p, -2*c = 5*p + 31 - 10. Let i = c + -2. Is i less than or equal to 0?
True
Suppose 0 = -v + 4*n - 6, -n = v + n. Is v not equal to 14?
True
Let g be (1/4)/((-6)/(-8)). Let u = -0.5 + 0.3. Is g >= u?
True
Let f = 7 - 7. Suppose f = 6*p - p. Which is greater: -1 or p?
p
Let j(y) = -y - 4. Let t be j(-5). Let z be 8/(-10)*(-4)/312