(-105). Which is bigger: i or -1?
i
Suppose -7 - 13 = -4*w. Which is greater: 24/5 or w?
w
Suppose -11 = -3*m - 2. Let i = 741/35 + -130/7. Is m at most as big as i?
False
Suppose -5*l + 3*m - 3 - 25 = 0, -l = m + 4. Suppose 2*d = -2*a - 4, 0*d - 10 = -a - 5*d. Is l at least a?
True
Let g = 18 + -13. Suppose -2*y - 1 + g = 0. Is 0 less than y?
True
Suppose -3*k - 9 = -6. Let l be (1/(-3))/(-4 + k). Which is smaller: 1 or l?
l
Let g = -198 + 997/5. Which is smaller: 0 or g?
0
Let z be ((-10)/4)/(7/14). Which is smaller: -4 or z?
z
Let x be (2 + -2)/((-9)/3). Is 1/30 != x?
True
Let k = -32 - -21. Which is smaller: -9 or k?
k
Let z be (-1)/(6/4)*-3. Suppose 3*a + 4 = -z*u + a, 14 = -5*u - 3*a. Let f be (1 - 2) + -5 + 3. Which is bigger: f or u?
f
Suppose 3*u - u + 14 = -5*j, 2*u = j + 10. Suppose 7 - u = -l. Suppose -14 - 1 = 3*g. Which is smaller: g or l?
g
Let k = 146 - 1310/9. Are -1 and k non-equal?
True
Let l be 3/(-12) - (-36)/272. Which is greater: 0 or l?
0
Let t = 24.1 + -24. Is t less than or equal to 16?
True
Let r(f) = -f**3 + 7*f**2 + f - 4. Let p be r(7). Let b = -4 + p. Let z = 1/15 + -2/5. Which is bigger: b or z?
z
Let c(i) = -i**2 + 10*i - 20. Let f be c(8). Is f < 0.2?
True
Let y(c) = c**3 - 2*c**2 + 2. Let s be y(2). Let t = -5 + s. Suppose 0 = k - 0*k + 3. Is k equal to t?
True
Let r = 80 - 53. Suppose -4*o + 11 = -3*y, 2*o = -5*y - 0*o - r. Which is smaller: -3 or y?
y
Let g(b) = -1 + b**3 - b + 0*b + 3 + b**2. Let p be g(0). Let i = -85/3 - -29. Which is greater: i or p?
p
Suppose 3*p + 2*p = 210. Let m be (-6)/10 - p/(-20). Is m < 1?
False
Let n(y) = y**2 - 2. Let s(r) = -r**2 - 3*r + 4. Let i be s(-4). Let h be n(i). Is -7/5 greater than or equal to h?
True
Let r(j) = -j**3 + 6*j**2 + 1. Let k be r(6). Let l(q) = -15*q + 1. Let n be l(1). Let g be (-9)/(-3) - n/(-6). Which is smaller: k or g?
g
Let g = -53/324 + 4/891. Let s = g - 1/44. Let m(l) = l**2 - 5*l - 6. Let c be m(6). Is c bigger than s?
True
Suppose 0 = -w + 2 + 5. Let m be (-2)/5 + w/5. Let x be (1 - 0)/(-1)*m. Which is smaller: x or -1/6?
x
Let t = -12 - -17. Suppose -5*m + 0 = -t. Which is smaller: m or -1/8?
-1/8
Suppose -499 + 99 = -8*l. Which is smaller: l or 51?
l
Let n = -0.01 + -0.39. Let f = n + -0.1. Let u = -0.2 - f. Is -1 at most as big as u?
True
Let x be (-2)/6 - 4/6. Which is smaller: 2/27 or x?
x
Let y(v) = -v**3 - v**2 + 6. Let i be y(0). Let c = -4 + i. Suppose 0 = x - 4 + 2. Is c less than x?
False
Let s = 85.3 + -89. Let u = s + 0.7. Is -2/3 at most u?
False
Let q(z) = -4*z - 1. Let l be q(-1). Suppose 3*u + 4*a = -23 + 10, 3*u + 5*a = -17. Which is bigger: u or l?
l
Let n = 8 - 0. Let i = 13 - n. Suppose -v - 4*j = 4 + 12, -v + 3*j + 19 = 0. Which is smaller: i or v?
v
Let k(j) = 6*j**3 - j**2 + j - 1. Let d be k(1). Suppose -4*z - g + 5 = 0, -4*z - 3*g = -2*z - d. Is z greater than 7/3?
False
Let l = 0.28 + 0.02. Let b = -0.9 + -7.1. Let o = 8 + b. Are o and l unequal?
True
Let v = 0.326 - -0.074. Are 1/6 and v non-equal?
True
Let g be (2/3)/(2/(-6)). Let v be (-3 - (0 + g)) + 2. Let t be (-1 + v)*(-2)/4. Which is greater: 1 or t?
1
Let w = -53 + 6. Which is greater: w or -46?
-46
Let h = 3 - 4. Suppose -3*g + 70 = 1060. Let j be 3/g*-4*-5. Is j greater than h?
True
Let c be (-48)/(-80)*5/(-2). Let b(n) = -n - 8. Let q be b(-6). Is c equal to q?
False
Let w = -49 - -47. Which is smaller: w or -8/11?
w
Let y = 13 - 8. Let t be 2/(-14) - 58/(-14). Does t = y?
False
Let v = -9 + 4. Let t = 9 + v. Let q be ((-6)/t)/((-21)/6). Is q at most 1?
True
Let z = -19 - -16. Which is greater: -8/5 or z?
-8/5
Suppose 3*g + g = -16. Is g less than 0?
True
Let t = 27 - 27. Let a(x) = x**3 + x**2. Let n be a(-1). Does t = n?
True
Let y = 18 - 37/2. Let j be 2/42 - ((-15)/9 + 2). Do j and y have the same value?
False
Let u = -14 + 32. Let k = u + -17.8. Let r = -2 + 4. Is k <= r?
True
Let b(m) = m**3 - 8*m**2 + 10*m - 8. Let k be b(8). Suppose 2*u - 6*u = -k. Suppose 2*a + u = -a. Is -6 at most a?
True
Suppose -f = -5*f + 20. Suppose -1 + f = -4*w. Which is greater: 3 or w?
3
Let o be (-18)/(-38) + 15/(-6) + 2. Which is smaller: 0 or o?
o
Let b(q) = -q**3 - 2*q**2 + 2*q. Let a be b(-3). Suppose -u + a = 2. Let o(x) = 3*x**2. Let n be o(u). Which is smaller: 1 or n?
1
Suppose 15*j = 2*j + 156. Which is smaller: 3 or j?
3
Let v = -16 - -18. Suppose -b = 4*b + m - 1, -3*b = 2*m - v. Is b at most as big as 3/4?
True
Let c(x) = x**2 - 11*x + 10. Let o be c(10). Suppose o = 4*m - 2*m. Which is smaller: -2/5 or m?
-2/5
Let q = 380 - 725. Let v = q - -2405/7. Are 0 and v nonequal?
True
Let b be 3/2*(-3 + 1). Let z = 7.79 - 7.39. Which is smaller: z or b?
b
Let x = 20/9 - 26/9. Is -9 less than or equal to x?
True
Let x be -3*(-2)/(-9) - -1. Let v = 11 + -7. Let b = v - 3. Which is greater: x or b?
b
Let u be 2/(-3)*(-7)/14. Is u at most as big as 1?
True
Let f be ((-5)/4)/((-1)/4). Suppose 2*q = 3*q. Suppose -l - f*k = -2*l, q = -l - k. Is -1 != l?
True
Let s be (-4 - -4)/(1*2). Let l = 1155/8 - 144. Which is smaller: l or s?
s
Suppose 2*n - 12 = -2*n. Suppose 4*m + 1 = -n. Does -3 = m?
False
Let j(q) = -q**2 - q + 1. Let f(s) = -3*s**2 - 5*s. Let b(n) = -f(n) + 2*j(n). Let r be b(-4). Which is bigger: r or 7?
7
Suppose -4*b - 3 = -11. Suppose -2*g + 20 = b*g. Is g at most 6?
True
Let x(s) = -s**3 + 13*s**2 + s + 11. Let u be x(13). Is u greater than 25?
False
Suppose 0 = 3*j + 12, 2*s - 18 - 8 = 4*j. Suppose -4 = s*y - y. Is y at most as big as 0.06?
True
Suppose 4*j + 14 = -14. Let g(y) = y**3 + 8*y**2 + 9*y + 8. Let n be g(j). Let c = n - -3. Is c bigger than -3?
False
Let l be (-2)/8 + (-69)/(-4). Is 17 > l?
False
Let k be 2/(-6) + 4/12. Is 3 > k?
True
Let n(y) = 2*y - 11. Let p be n(5). Let a = 10/3 + -3. Are p and a equal?
False
Suppose 0 = -3*d + 4*o + 49, 2*o + 0*o = -2*d + 56. Suppose -2*w = v + 16, -2*v = 3*w - v + d. Does w = -7?
True
Let f be ((-35)/(-28))/5 - 10/(-8). Which is smaller: 3 or f?
f
Let m(z) = -z + 7. Let d be m(5). Let n(c) = -c + 5. Let r be n(1). Are r and d non-equal?
True
Let y = 37.6 - 38. Is y < -0.2?
True
Suppose 4*m = 4*w + 4, 4*w - 5*m + 3 = -2*m. Let q be (-1 + -1)*1*-2. Suppose w*s - q*s = 0. Which is smaller: s or -1?
-1
Let j = 0.08 + 4.92. Let f = 5.8 - j. Let l = -1 + f. Which is smaller: 1/2 or l?
l
Let u(v) = -v + 1. Let j be u(-3). Suppose j*x - 2*b = -b + 16, -3*b = 0. Is x at least as big as 5?
False
Let m = -8 - -5. Let o be (2/(-21))/(1/m). Which is smaller: o or 1?
o
Let y be (-4)/10 - 0/(-3). Suppose -2 = 2*k, 3*h - 86 = 4*k + k. Suppose -5*i = 2*v + h, 12 = i - 4*i + 3*v. Is y not equal to i?
True
Let u = -63 - -63. Which is smaller: u or -1/14?
-1/14
Let d(u) = -4*u**2 - 6*u - 2. Let n be d(-4). Which is smaller: -43 or n?
-43
Let w = 1280/6919 + -2/629. Let f(k) = k - 9. Let s be f(8). Which is smaller: s or w?
s
Let z(j) = -2*j - 1. Let b be z(-17). Is b greater than or equal to 32?
True
Suppose h - 4*p = -9, 5*p = 4*h - 0*p + 3. Let w(l) = 2*l**2 + l**3 - l + h*l**2 - 4*l**2 + 1. Let s be w(-2). Is s < -1/3?
True
Suppose v = -v. Let a be v - (3 - 3 - 1). Which is smaller: a or 1/2?
1/2
Let h = -1/95 + 101/570. Let k be (-2 - 94/(-46))/(-1). Let g = k - 39/161. Which is greater: g or h?
h
Let k(b) = 3*b**2 - 1. Let a be k(-1). Let w = 7 - 2. Suppose -5*u + w*l = 2*l + 1, -1 = u - l. Is a equal to u?
False
Let g be ((-6)/(-2))/((-27)/1800). Let n be (-1)/(-3) + g/24. Let x(a) = -2*a + 1. Let u be x(4). Which is greater: n or u?
u
Let y = -4/9 + -1/18. Suppose -5*t - 4 = 1. Let g be 1*(t + (-2)/(-8)). Is y greater than g?
True
Suppose 6*t - 2*t - 32 = 0. Suppose 5*b = b + t. Let h be ((-12)/14)/(3/(-2)). Is h less than b?
True
Let a = 15 + -8. Let f = 49 + -52. Let n = f + a. Which is bigger: n or 1?
n
Let y(o) = -o - 1. Suppose -2*r = -0*l - 2*l - 14, 4*r + 2 = -2*l. Let s be y(l). Suppose 5 = 5*b - 3*h - 2, -3*b + 2*h = -s. Is b less than or equal to 0?
False
Let u be 0 + 2 - 1/(-1). Suppose u*o = 3 + 6. Let q be (-2)/(-3) + 1/o. Which is smaller: q or 1/6?
1/6
Let m = -67.205 - 1.495. Let i = -77 - m. Let k = i + 8. Which is greater: 0 or k?
0
Suppose -305*r = -300*r. Let h = -2/213 - -176/3621. Is h bigger than r?
True
Suppose 5 = 4*j - 5*j. Is -5 bigger than j?
False
Let g(o) = -o + 7. Suppose 4*x - 2*f 