
Suppose -5*n = -2*l + 460, 3*l - 6*l = 3*n + 255. Is n bigger than -90?
False
Let z = 30 + -26. Suppose 8 + 8 = z*n. Suppose 0 = 5*f - n*f - 2. Is 1 equal to f?
False
Let i be -2*(4 - 1/(-2)). Let h be 18/(-81) - (-25)/i. Let o be -1 - ((-180)/(-56))/h. Are 1 and o equal?
False
Let x = 589.969 + -590. Is x at most -0.1?
False
Let g = 14 - 16. Let y be (-2 - (-3 - 0))*-10. Let b be 2/(-6)*(-10 - y). Which is smaller: b or g?
g
Let h(q) = -q**3 - 23*q**2 + 22*q - 40. Let k be h(-24). Is 67 smaller than k?
False
Let s(r) = 22*r - 20. Let a be s(1). Let x = -3 - -5. Is x smaller than a?
False
Let f be 4 + 36 + 21/7. Which is greater: 52 or f?
52
Let c = -86 - -89. Let b = c - 3.01. Is b greater than 11?
False
Let m be ((-24)/20)/((-1462)/(-1955)). Which is greater: -3 or m?
m
Suppose -2*r + 1 = 3. Let i be (-38)/4*2/r. Let g = i + -11. Is g equal to 7?
False
Let q = 44/17 + -457/170. Which is greater: 19 or q?
19
Let j = 786 - 786. Are j and -1/585 non-equal?
True
Let b(w) = w + 5. Suppose 3*s - 2 = 7. Suppose 3*u - s*t - 4 = 8, 2*u + 4*t + 16 = 0. Let v be b(u). Is v greater than or equal to 6?
False
Suppose 4*d = -2*x + 9*d + 12, 4*x + 2*d = 0. Is 0 less than or equal to x?
True
Let p = 12 - 20. Let x = -15 - p. Is 0.2 < x?
False
Let q = 293 + -294. Is q >= -10/21?
False
Let a = -1833 - -1833. Is a not equal to 3/19?
True
Let m = -7 + 8. Let f be 3 + 1 - 2*m. Let c(h) = -h**2 + 1. Let o be c(f). Is -3 greater than o?
False
Let w = 2638/3 + -880. Is 162 smaller than w?
False
Let c(o) = -6*o**2 + 6*o + 14. Let r be c(-3). Is -58 != r?
False
Let v be 2/(56/(-35)) - 1083/(-12). Which is greater: v or 96?
96
Let s = -2081 - -1244. Is s > -836?
False
Suppose -6*p = 5*o - 3*p - 180, -3*o + 79 = -4*p. Let n be 2 - 3 - o/3. Let y = -152 + 140. Are y and n nonequal?
False
Let k(b) = 0 - 2*b - 2 - 4*b**2 + 12*b**2 + 2*b**2. Let u be k(2). Let n be 64/u - (4 - 2). Which is greater: n or 0?
0
Suppose 4*j + 18 = -2*s + 6, 2*s = -3*j - 10. Let t be s/(2 + (-6)/(-4)*-1). Which is bigger: t or 0?
0
Let m = -1.4 - 0.6. Let x = 1.15 - 27.25. Let f = -26 - x. Which is bigger: f or m?
f
Suppose 6*t - 3*t = -5*t. Suppose -2*d + 6*d = r - 21, 2*r + 5*d = -10. Suppose -b = -u - 1, 4*b - 8 + 2 = r*u. Is t greater than or equal to b?
True
Let a = 0 - 2. Let b be ((-2)/(-2))/(a/6). Let y be (b/(-2))/((-21)/56). Is 0.1 > y?
True
Let i be 26/6 + 2/(-6). Let p be 2*2/i - 1. Let g = 403 - 3221/8. Is p not equal to g?
True
Suppose -2*q - m = -5, 2*m = -0*m - 10. Suppose 17 - 1 = -2*c - 5*u, c - q*u = 22. Suppose 2*t + c*t = 68. Which is smaller: t or 1?
1
Suppose 126*c = 129*c + 546. Is -183 != c?
True
Let q be ((-4)/14)/((-2)/28). Suppose 3 = l + 6, -q*r + l - 1 = 0. Let a = -1 - 5. Which is smaller: a or r?
a
Suppose -10 = -2*b + 2*n, 4*b + n - 5 = 5. Suppose -5*z + 6*i - b*i - 42 = 0, 5*i + 23 = -2*z. Is -17/2 bigger than z?
True
Let m be 1172*((-84)/105 + 26/20). Is m greater than or equal to 587?
False
Let k = 21/842 + -5504/9683. Let s be (1 - -1)*-2*2/184. Let t = s - k. Is t bigger than 0?
True
Suppose -92 = -v - 93. Let i be 2/4 + 36/(-69). Which is smaller: i or v?
v
Let c = 224 + -253. Which is smaller: -28 or c?
c
Let r = 18 + -11. Suppose -4*v + 5*z = -39 + 15, -3*v + z = -r. Let s(d) = d**3 - 1. Let l be s(v). Is l at least 1?
False
Let y(i) = 10*i + 90. Let t be y(-14). Is -46 greater than t?
True
Let o be 10/4*(-3)/30. Let q be ((-1)/(-9))/(12/(-54)*3). Are o and q non-equal?
True
Suppose 0 = 3*r - 0*r - 537. Let b = r - 413. Let f be b/(-378) - 2/6. Is -5 less than f?
True
Let u be (-2 + 1)*22 - -6. Let p be (18/(-4))/(7/28). Which is greater: p or u?
u
Suppose -3*z = -0 - 18. Let j be (1/z)/(2/3). Let b = -7149/5 - -1429. Is b smaller than j?
True
Let v = -119 - -64. Let u be 3 + 3 + (3 - 65). Is u != v?
True
Let h = 1437 + -1442. Which is greater: 39 or h?
39
Let c be 12/(-7)*84/(-600). Is c >= -1?
True
Let p = -18 + 28. Let r = 12 - p. Which is smaller: 0 or r?
0
Let m be (5/2)/(245/294). Suppose 0 = d - 6*d + x - 900, 5*d = 3*x - 900. Let k be m - (0 + d/(-28)). Is k != -2?
True
Let z = 9.25 + -9.15. Let u be (4/(-2))/(2/4). Let n be ((-1)/(-20))/((-3)/u). Is n > z?
False
Suppose 2*w + 5*j = -7, -w - 1 - 4 = 4*j. Let k be (-4)/(-8) + (-7 + 5)/(-4). Which is smaller: w or k?
w
Let o be (8/(-5))/((-67)/335). Which is smaller: o or 46/7?
46/7
Let o = 0.3 + -0.4. Let f = -48 + 68. Let x = 23 - f. Which is smaller: x or o?
o
Let p = 0.2 + 1.8. Let v = p - 1.99. Let h be ((-12)/(-15))/(68/(-51)). Is v bigger than h?
True
Let u(q) = -q - 7. Let i be u(-6). Let z = 19750 - 177754/9. Is z less than i?
False
Let o be (-60)/25*(-60)/9. Let k be 5*8/10*-1. Let i be (-156)/(-10) + k/(-10). Does i = o?
True
Suppose -5*i - 22 = 4*t - 3*t, -4*t + 22 = -2*i. Suppose -60*v = -70*v + 20. Is v equal to t?
False
Suppose -15*z = 208 + 1652. Is z > -125?
True
Let c = -1104 + 780. Which is smaller: -323 or c?
c
Let a = -89 - -90. Which is greater: a or -2/2203?
a
Let k = -25.3 + 25.5. Which is smaller: k or -0.1?
-0.1
Suppose h + 18 = -h. Let q = -6 - h. Suppose 31 = 2*s - q*r, 0*s = 2*s + r - 11. Which is smaller: s or 7?
7
Suppose -y = 161 - 156. Are -12 and y non-equal?
True
Let s = 0.4 - 2.4. Let o = s - -1. Let n = -0.2298 + 3.2298. Which is bigger: o or n?
n
Suppose 81*r = 78*r - 66. Which is greater: r or -15?
-15
Let c = 65 + -53. Let a = c - 12.4. Which is bigger: a or -1/7?
-1/7
Let o(k) = -k**3 - 3*k**2 + 8. Let n be o(-4). Is n bigger than 23?
True
Let c = -0.1 - -0.3. Let b = c + -0.9. Let g = 0.6 + b. Which is smaller: 5 or g?
g
Suppose -4*y - 18 = -5*y. Suppose -48 = -5*s - y. Suppose -9*w + 36 = -27. Is w at most as big as s?
False
Let k = -0.96 - -0.76. Let l = -0.2 - -0.3. Let o = l + k. Which is bigger: o or 1?
1
Let y(p) = 3*p - 6. Let f be y(5). Let v = 393 - 386. Is f >= v?
True
Let l = 0.85 + -1. Let y = 0.2 + l. Let j = -0.05 + y. Which is smaller: j or 0.1?
j
Let i be (-36)/(-3)*4/(-12). Let y = i + 3. Let m be ((-3)/4)/(y/8). Which is smaller: m or 5?
5
Let q be -2*(-26)/(-2 + 4). Suppose 0 = 2*s - q + 14. Which is smaller: 2 or s?
2
Let m = -32 + 56. Let x = -16.6 - 5.8. Let p = x + m. Which is greater: 1/3 or p?
p
Let q(z) = -z**3 - 5*z**2 + 5*z + 26. Let r be q(-5). Do r and 120 have the same value?
False
Let a be -7*(-17)/((-357)/30). Which is bigger: 2 or a?
2
Let n be (-42)/(-77) + (-5158)/(-22). Is 234 equal to n?
False
Suppose -5*c - 4*w - 17 = -8*c, w + 5 = 0. Let x = -0.02 + 1.42. Which is smaller: x or c?
c
Let m = -51.4 - -29. Let r = -23 - m. Let x = -0.68 - r. Is -2/3 at most as big as x?
True
Suppose -5*f = -u - 2, -f + 8*u + 7 = 10*u. Which is greater: 13/82 or f?
f
Let l be 1 - 3 - (-21)/(-14). Let n = -1 + -23. Let v be (-1)/((-4)/n*2). Is l != v?
True
Let f be (-1035)/(-60)*((-2)/2 + 3). Let s = -1381/40 + f. Is -1 at least as big as s?
False
Let l be (-23)/66 - 2/(-22)*2. Which is smaller: l or -12?
-12
Let y be 2 - ((-1 - -1) + 1). Let m be -1 + 2/8*(-1020)/(-357). Is y < m?
False
Let h be (22 + -20)/(4 + -2 + -3). Let a be 4 - 0 - h/(272/(-548)). Which is bigger: a or 0?
0
Let y be ((-22)/20)/(231/462). Which is greater: y or -71?
y
Suppose 5*f + 44 = 4*j, j - 18 - 14 = 3*f. Suppose -39*p + 273 - 702 = 0. Is f smaller than p?
True
Let x = -1685/36 + 189/4. Let l(o) = o - 4. Let n be l(7). Suppose 0 = 2*v - 4, -2*h + 2*v = n*h - 1. Is h smaller than x?
False
Suppose -10 = -3*l - 2*l. Let f(d) = -10 - l - 2*d + 3*d + 1. Let g be f(5). Is -6 < g?
False
Let b(o) = o**2 - 17*o + 15. Let f be b(16). Let d be (-1)/(-6) + (0 - f/(-6)). Does d = 2/19?
False
Let p = -1905 + 24751/13. Let t = 276 - 278. Are p and t non-equal?
True
Let n(u) = -4*u - 48. Let s be n(-10). Let q be (-19)/(-76) - (-98)/s. Which is bigger: 3 or q?
3
Let x = -0.19 + -0.05. Let y = 1.76 - x. Which is smaller: y or -0.2?
-0.2
Let w = -1107555/28 - -39562. Let y = w - 27/4. Let u(d) = -d - 8. Let n be u(-9). Is n less than or equal to y?
False
Let o(g) = g**2 - 7*g + 2. Let h be o(5). Suppose -246 = 3*x - 222. Are x and h nonequal?
False
Suppose -26*d = -3*x - 21*d + 94, 3*x - 64 = -d. Suppose s - 13 = 8. Is s at least as big as x?
False
Let w(p) = p**2 + 23*p + 90. Let s be w(-18). Which is greater: -2/19 or s?
s
Suppose -227 = -38*g - 911. Is 2 >= g?
True
Let c 