se -5*m + 8*m - 3 = 0. Let g = 80 + -561/7. Is g at most as big as m?
True
Let n = -5 + 13. Let y = 13 - n. Let a = -0.1 + 1.1. Is y at most a?
False
Let i be (-1)/(-4) + (-2)/24. Let w = 11 + -10.7. Is i not equal to w?
True
Suppose -y - 15 = 2*y, 0 = -4*p - 2*y - 6. Which is bigger: p or 10/9?
10/9
Let z = -41.9 - -45. Let s = z - 3. Which is smaller: s or 4?
s
Suppose 1 = -r + c, -r - 2*c = 3*c + 1. Let b be 3 - 2 - (1 - r). Let s be ((-1)/(-3))/(b/(-3)). Which is smaller: -1 or s?
-1
Let k = 2 + 1. Let a = 2.9 - k. Suppose 8*g + 11 + 13 = 0. Which is bigger: g or a?
a
Let d = 2 + 5. Let i = d + -6.9. Is 3 less than or equal to i?
False
Let c(t) = -5*t - 6 + 7*t - 3*t. Let z be c(-6). Is 1/12 >= z?
True
Let h = -66 - -65. Which is smaller: h or 2/29?
h
Let v(b) = -b - 1. Let z be v(-9). Which is bigger: z or 7?
z
Suppose -2*y + 1 + 1 = 0. Let l = -18 + 30. Let x be (l/(-15))/2*-5. Is x at most y?
False
Let f = 0 - 0.1. Let r = 1 - -3. Suppose 6*x - 10 = -3*h + 2*x, -4*x = r*h - 8. Which is smaller: h or f?
h
Suppose 0 = -q - q - 2. Let x = -26 - -24. Which is bigger: q or x?
q
Let y = 7 + -4. Let w(u) = -u**3 + 2*u**2 + 4*u - 1. Let r be w(3). Suppose -r*f = g - 1 - 3, -f = 2*g - 8. Is y at least g?
False
Let i = -2/117 + 256/1287. Suppose -5*c = 4 + 1. Which is bigger: i or c?
i
Let s(q) = q + 7. Let c be s(-8). Let h be (3/10)/(c/(-2)). Is -1/3 less than or equal to h?
True
Let y = 19 - 11. Let b = -6 + y. Let g be (b/5)/(3 - 5). Is 0 less than or equal to g?
False
Let p(z) = -z**2 + 6*z - 6. Let s be p(6). Let h be -4 + s/9*3. Which is greater: h or -5?
-5
Let l be (2 - (0 + 1))*0. Suppose 0 = u + 5*w - 9, 9 = -u - l*w + 4*w. Let p be u/2 + 3/6. Which is smaller: 2/13 or p?
p
Let m = 4.57 + -4.8. Let u = m + 0.03. Suppose -3 = 2*x - 9. Is x not equal to u?
True
Let j(g) be the first derivative of -3 + 6*g + 3*g**2 - 1/4*g**4 - 4/3*g**3. Let d be j(-5). Which is smaller: d or 3?
d
Let d be 1*((-2)/(-8) + 72/(-32)). Let l(u) = -1 - 9 + 3*u - 2*u. Let q be l(10). Is d < q?
True
Let p = 26 - 28.6. Is p < 0.1?
True
Suppose 3*v + 0*k - 2*k + 60 = 0, 2*v + 33 = -k. Let j = 17 + v. Is j at most as big as 2/19?
True
Let p = -5 + 4. Let z = -0.3 + 1.3. Is p bigger than z?
False
Let u = 37 - 22. Suppose -3*g + 2*h - 8 = 0, g = 5*h - u - 5. Let a = -3 - -2. Is g bigger than a?
True
Let z = -205/414 + -1/207. Let o(t) = -t**3 + 5*t**2 + 8*t - 6. Let b be o(6). Let v(k) = k**2 - 5*k - 8. Let q be v(b). Which is smaller: q or z?
q
Let i = 6.1 + -5. Which is bigger: 1/2 or i?
i
Let k(b) = -10*b + 24. Let z be k(8). Which is greater: z or -55?
-55
Let y = 19 + -17. Suppose 0 = -y*g - 2*g + 5*s + 30, g - s - 7 = 0. Which is greater: g or 6?
6
Let d = 0.14 + 0.86. Which is greater: 19 or d?
19
Let s(n) = n**3 - 7*n**2 + 6*n - 5. Let c be s(6). Which is smaller: 0 or c?
c
Let j = 3/151 - 247/4832. Which is smaller: j or -1?
-1
Let m = 17.12 + -17. Let q = 4.12 - m. Is -2/9 less than or equal to q?
True
Let p be -3 + 1 + 3 + -2. Let f be ((-1)/(-1))/(9/(-36)). Let i be (-6)/(-21) + f/(-35). Which is smaller: p or i?
p
Let d be 2/5 + 8/(-20). Suppose 4*t + d*t = -24. Suppose 5*a - c + 30 = 0, 55 = -0*a - 5*a - 4*c. Is t greater than a?
True
Let m(u) = -u - 4. Let s be m(5). Is s at least as big as -9?
True
Let w be ((-1)/6)/((-2)/4). Let g = 1 + -6. Let l be (g/(-10))/((-1)/2). Which is smaller: w or l?
l
Let b be (-2 + (-4)/(-3))*45/30. Which is bigger: b or 1?
1
Let w(v) = -v + 2. Let h be w(0). Suppose i - 3*i = -4. Suppose i*f + 3*d = 5, f - d + 2 = h*d. Is f at most as big as 2?
True
Let o be 1 - (1 - 6/(-3)). Let f be o/6 + (-2)/3. Is -1 greater than f?
False
Suppose 0 = -2*g + 4*g. Suppose 4*z - 8 = g, -r = -2*r + 5*z - 11. Let w = 80/3 - 394/15. Which is smaller: w or r?
r
Let i = 209.7 - 210. Which is greater: i or -16?
i
Let t = -13.95 + 14. Let a = -0.36 - -0.16. Is t < a?
False
Let r = 1 + -3. Let h be 1*r*(-9)/48. Which is smaller: h or -1?
-1
Let q be 1*3/312 - 0. Is -1 < q?
True
Let g = -57 - -56. Is 1/34 less than or equal to g?
False
Let w = -5.9 - -8.9. Let t be 12/45*5/(-6). Which is smaller: t or w?
t
Let b = -10.8 + -0.2. Let r = 114 + -124.8. Let x = r - b. Which is smaller: -2/5 or x?
-2/5
Let n = 8 + -3. Let a = 81 - 86.1. Let y = a + n. Which is bigger: y or -2/7?
y
Suppose -3*k - 5 = k + d, k = -d - 5. Let c = 5 - 5. Is c at most as big as k?
True
Let p = -232 - -2550/11. Let s be 8/(-168) + 1/3. Is p equal to s?
False
Suppose 0 = -n + 4*l, -5*l + 23 = 5*n - 2. Suppose m = 3 - 0. Let a be 1/(m*(-3)/(-18)). Which is bigger: n or a?
n
Let w(l) = 46*l**2. Let c be w(4). Suppose -c = -g + 3*g. Let z = 6258/17 + g. Is -1 at least z?
False
Let x be (12/(-5) - -2)/((-2)/5). Which is bigger: x or 1/56?
x
Suppose 4*w - w = -3. Let o be (24/(-10) - -2)/2. Is o at most w?
False
Suppose 5*t = 6*t. Let p = 18 + -30. Let g(v) = -v**3 - 13*v**2 - 11*v + 14. Let s be g(p). Which is bigger: t or s?
s
Suppose 2*i - 2*y - 10 = 0, 3*y + 21 = 3*i - 2*y. Is 5/3 at most i?
True
Let l be (-10)/(-6)*9/3. Let f(u) = l - u + 2*u + 0*u. Let o be f(-6). Is -1/4 greater than o?
True
Let u(c) = c + 5. Let n be u(-3). Is 15/11 at least as big as n?
False
Let q be (0 - 0)*(-6)/12. Let n be 8/(-5)*(-45)/(-6). Let g be 16/12*2/n. Is g smaller than q?
True
Suppose -2 = -2*v, 2*i - 5*i = 5*v - 8. Is 2/189 > i?
False
Suppose n - 6*n = 25. Let r be (-13)/n + 5 + -8. Which is greater: 7/3 or r?
7/3
Let p(u) = -u**2 - 4*u - 6. Let w be p(-4). Is w smaller than -7?
False
Let c be (1 - 3 - 5/(-1)) + -1. Suppose -2*u + f + 2 = 3, -2*f = 5*u - 20. Suppose -c = -s + u*s. Are s and 2 unequal?
True
Suppose -4*f = -12, -5*g - 3*f - 35 = 2*f. Let o = -8 - g. Suppose o*d + 2*i + 3*i + 10 = 0, -d - i = -1. Is 5 <= d?
True
Suppose -75 = -p - 0*p. Let g be 12/28 - p/(-21). Let r = -5 + g. Which is smaller: 1/5 or r?
r
Let x = 7.9 + -5.9. Is x at least as big as 0.83?
True
Let h(f) = -3*f**2 + f + 2. Let r be h(2). Let s(d) = -d. Let a be s(7). Is a equal to r?
False
Let w be ((-54)/15 - -4) + (-7)/5. Which is bigger: 2/287 or w?
2/287
Let h = -735/11 - -67. Let t(a) = -a + 4. Let v be t(3). Are h and v equal?
False
Suppose -3*l + 0*g + g - 13 = 0, 0 = -5*l + 4*g - 24. Let p be (9/9)/((-9)/2). Which is bigger: p or l?
p
Let b be ((-7)/(-2) - 4)*-18. Which is smaller: b or 10?
b
Suppose 2*o + 3*b = -7, 4*o - 3*b - 9 - 22 = 0. Suppose 2*v - 17 = -4*t + 3, 2*t + 2*v - 12 = 0. Is o at least t?
True
Suppose 0*r = 4*r - 100. Suppose 0*v = -5*v + r. Suppose -v*j + 7 = -0*u + 4*u, -4*u - 5 = j. Is -3 at least u?
False
Suppose -k = -5*r + 2, 2*k - 1 = r + 4*r. Suppose -11 - 13 = 8*o. Does o = r?
False
Let d(r) = r**2 + 13*r + 21. Let w be d(-11). Is 5 >= w?
True
Let a be 1*(-1 - (2 - 2)). Suppose -3*v + 2 = -v. Let h be 1/(27/(-6) - v). Is a greater than h?
False
Suppose 3 + 13 = 2*r - 4*d, -2*r - 2*d + 4 = 0. Suppose 46*c - 51*c = -20. Is r not equal to c?
False
Let r be (1 + -7)/(-3) + -2. Suppose -2*c = 2*c + 8, -3*c - 8 = n. Is r at most as big as n?
False
Suppose l - 3*w = -0*l + 23, 4*w = l - 28. Suppose 3*c + 75 = 4*d, 2*c + 4*d + 0 = -30. Let s be l/c - (-4)/6. Which is greater: s or -1?
s
Suppose 0 = -k + 4*m - 3, 4*m + 0*m = -5*k + 9. Let o be 1*(4 + (-4)/2). Which is smaller: o or k?
k
Suppose -95 = -10*u + 15*u. Which is smaller: u or -23?
-23
Suppose -7*d + 10*d - 75 = 0. Do 24 and d have the same value?
False
Let n = -1.2 + 1. Let g(i) = i**2 + i - 12. Let x be g(0). Let a be (-3)/x + (-2)/8. Is n bigger than a?
False
Let b = 12 - 14. Which is smaller: -5/4 or b?
b
Suppose 5*g + 3*j = 611 - 167, 0 = 3*g - 4*j - 278. Let z be 38/g + 4/(-18). Which is smaller: z or -2/11?
-2/11
Let z(a) = 6*a + 11. Let b be z(-2). Which is smaller: 2/37 or b?
b
Let x(v) = -v + 3. Let t be x(2). Suppose 0 = -k + 3 - 2. Let u be (5 - k) + 2/2. Are t and u nonequal?
True
Suppose -r - 2*r + 4*m + 2 = 0, -3*r - 4*m = -34. Let x be 3/(-3)*r/(-18). Is -1 > x?
False
Suppose 6*a = 10*a + 5*w - 24, -2*a = -5*w + 18. Let d = -550 - -11548/21. Which is smaller: a or d?
d
Suppose 545 = -4*d - d. Is -108 at least d?
True
Suppose 9*y + 41 - 140 = 0. Is 12 bigger than y?
True
Let a be 1444/4959 - (-2)/(-9). Is 0 greater than a?
False
Suppose 0*w + 4*j - 23 = 3*w, 4*w - 3*j + 26 = 0. Let z(n) = n**2 + 5*n + 4. Le