6320/27. Is -0.1 bigger than u?
False
Let k be 4/34*(-2 + 1). Suppose -2*b + 10*y - 8*y = -6, 0 = b - 3*y - 9. Which is smaller: k or b?
k
Let m = 0.012 + -0.112. Does -1.1 = m?
False
Suppose -16 = -3*i - i - 2*b, -4*i - 5*b = -10. Suppose -w + q = 0, -q + i = 2. Suppose -2*y - 8 = 0, -3*y - 18 = -f + y. Is w less than f?
False
Let q(b) = -b + 8. Let t be q(7). Let c be t/(4/(-3))*4. Are c and -3 equal?
True
Suppose 0*t + 2*t = 14. Let a = t - 13. Is -7 less than a?
True
Let d = 529/9 - 59. Is 1 != d?
True
Let w(h) = h**3 - h**2 + h - 2. Let k be w(2). Suppose k*g = -2*l - 2*l + 4, -3*l - 4 = -4*g. Which is smaller: l or -1?
-1
Let y be (-8)/18*(10/(-5))/8. Which is smaller: y or -4?
-4
Suppose 0*r = -r. Let i be 0 + -3 + r/2. Let f be 12/(-4) + (-8)/i. Which is smaller: f or 5?
f
Let g = -0.888 + -0.112. Is 40 <= g?
False
Let l = 12 + -9. Suppose 0 = -2*a - a - l. Which is bigger: a or -0.6?
-0.6
Let k(u) = -3*u - 10. Let n be k(-7). Suppose -7*w + 61 = -9. Which is smaller: w or n?
w
Let n(w) = 4*w**2 - 4*w + 11. Let y(p) = 5*p**2 - 3*p + 12. Let c(v) = -4*n(v) + 3*y(v). Let i be c(6). Do i and -3 have the same value?
False
Let u(a) = -a**3 + 11*a**2 - 8*a - 14. Let b be u(10). Let m be 16/b*(-114)/10. Let n = m + 30. Which is smaller: n or -2?
-2
Let b = 306/1157 - 3/89. Is b bigger than -1?
True
Let g be 2/(-8) + (-3)/(-12). Suppose 0 = 5*r + 4*w, g = 3*r - 0*w - 3*w. Let j = -3/11 - 18/55. Which is bigger: r or j?
r
Let g = -0.006 + 1.006. Let m = 0.0683 + -4.9983. Let q = -0.07 + m. Are g and q non-equal?
True
Let b be ((-1)/(-3))/((-24)/48). Is -3 < b?
True
Let u be 2 - -2 - (-2 + 3). Let y be 2/(-4) - 2*-1. Which is bigger: y or u?
u
Let i = -38243595 - -2179955194/57. Let w = i + -1233. Is w equal to -1?
False
Let d be 39/(-60) - 2/(-5). Let i = 0 + 0. Let b = i + 0.3. Is b greater than or equal to d?
True
Let a(o) = 3*o**2 + 14*o + 9. Let s be a(-4). Is s less than 3/5?
False
Let p = -0.09 + -0.91. Is p bigger than 79?
False
Let h = -16 - 6. Is -22 at least h?
True
Suppose 0*w = w - 2. Let b = -6.5 - -6. Let s = 0.6 + b. Which is smaller: w or s?
s
Let s = -6 - -9. Let g be s + (2/2 - 4). Which is bigger: g or 1?
1
Let p be 32/(-14) + 2 - 32/(-14). Which is bigger: p or -1?
p
Let v = 5.73 - -0.27. Let l = -81.1 - -75. Let t = v + l. Is -1/2 <= t?
True
Suppose -4*n = 4*i - 48, 7*n = 2*n + 4*i + 15. Which is greater: n or 8?
8
Let g(n) = -4*n**2. Let y be g(1). Let c be y/(-10) - 4/10. Let z(f) = -f**2 + f + 1. Let s be z(-1). Which is smaller: s or c?
s
Let v = -3 - -5. Suppose -3*p - 3*s + v*s = -18, -3*p + s + 18 = 0. Let w be 2*(1 + (-5)/p). Do w and -1 have the same value?
False
Suppose 4 = 6*n - 2*n. Let q be (8/66)/(13 - 11). Is q greater than n?
False
Suppose -4*p - 1 = 3*d + p, 3*d + p = -5. Suppose 3*b = -9 + 3. Is b less than or equal to d?
True
Let x = 28 + -16. Suppose x = -s - s. Let r = s - -5. Which is smaller: r or 2/11?
r
Suppose 0 = -5*x + 2*f + 119, -3*f = -2*x - 3*x + 116. Suppose r - 6*r = 2*p - x, 2*p - 15 = -3*r. Suppose -13 = -t - 3*c, 4 - 29 = r*t - 3*c. Does 0 = t?
False
Suppose -b + 5*b = 0. Suppose 0*t + t - 1 = b. Let r = 1/250 + 493/1750. Which is smaller: r or t?
r
Let l = 2033/6 - 338. Suppose -2*h + 6*h = -20, 3*b - h = -19. Let i be (-1)/4 - 2/b. Do l and i have different values?
True
Let t = -4.97 + 5. Let x = t - 0.06. Let g = x - 0.07. Which is bigger: g or 2?
2
Suppose 0 = 4*f - 0*f - 8. Suppose f*y = -3*y + 20. Let j(t) = -t**2 + 4*t + 9. Let n be j(5). Is y greater than or equal to n?
True
Let o = 7883/1795 - -3/359. Is o < 5?
True
Let n(r) = -r**2 + 5*r - 6. Let d be n(4). Suppose 5*v + 6 = 1. Which is bigger: d or v?
v
Suppose -4*c + 3*c = -5*c. Are c and -16 nonequal?
True
Let r = 0.919 + 0.081. Is -31 > r?
False
Let y be -3*1*(-12)/18. Which is smaller: -5.4 or y?
-5.4
Suppose 0 = -27*g + 25*g - 8. Is g <= -2?
True
Suppose 0 = -3*s + v + 9, 0*s - 24 = -3*s - 4*v. Suppose -s = -2*x + 2. Suppose -3*r + 3*q + 3 - 12 = 0, -r - x*q = -9. Which is smaller: -2 or r?
-2
Let o(u) be the second derivative of u**3/6 + u**2/2 - u. Let m be o(-1). Let b = 123 - 613/5. Is m at least b?
False
Let a(l) = -l**2 - 3*l - 1. Let u be a(-3). Let c be u/1 + (3 - 1). Suppose t + 4*n = -5, -c = -t + 5*t - 3*n. Is 1/6 < t?
False
Let a be ((-2)/12)/(9/(-12)). Let g be (-1 - 1) + (6 - -1). Suppose -g*c - 6 = -1. Which is smaller: c or a?
c
Let w(o) = 17*o**3 + o**2 - 2*o - 2. Let k be w(-1). Let d = -26 - k. Is -10 < d?
False
Let p = 8 + -8. Suppose 0 = 3*s - p*s. Is s bigger than -1/12?
True
Let q = -52 + 215/4. Is q greater than or equal to -3?
True
Let v(r) = r + 5. Let j be v(-2). Which is smaller: j or 4?
j
Suppose 4*x + 8*b - 166 = 3*b, 3*x = b + 115. Let u be (1 - x/45)*6. Is 2 less than or equal to u?
False
Let q = -19.9 + 21. Is q at least 2?
False
Let w be (-4)/18*(-319)/(-22) + 3. Is w less than -1?
False
Suppose 5*u = 2*u - 24. Let l be 1 + -1 - 24/u. Is 3 greater than l?
False
Suppose -3*h + 5*l = -27, -16 = -3*h + 4*l + 8. Do 4 and h have the same value?
True
Let t = 128/3 - 43. Which is smaller: -3 or t?
-3
Suppose -10*j - 128 + 8 = 0. Let u = -24 - -12. Do u and j have the same value?
True
Let n(s) = s + 12. Let d be n(-7). Let r(i) = 3*i - 6. Let m be r(d). Suppose -3 + m = -3*u. Which is bigger: -3 or u?
u
Let y(f) = f - 5. Let k(s) = -s**2 + 5*s + 5. Let d be k(5). Let z be y(d). Which is smaller: z or 2/7?
z
Let w be (-3)/(-2)*24/(-18). Are w and -13 non-equal?
True
Let b be ((-204)/(-8))/((-15)/(-20)). Which is bigger: 35 or b?
35
Suppose -3*u + 4 = -7*u. Let n be 2/7 - 1 - u. Let v be -2 + 0 + (4 - 3). Which is smaller: v or n?
v
Let v = 116/171 + -15/19. Which is greater: -1 or v?
v
Let z = -21 - -15. Is z at most as big as -1?
True
Suppose -14*s + 2 = -16*s. Let t(y) be the second derivative of -y**5/20 - y**4/12 - y. Let i be t(-1). Is s <= i?
True
Let f be 1*-13*(-6)/(-6). Which is bigger: f or 2/3?
2/3
Suppose 10 = -4*h + 4*k + k, 2*k = -4*h + 4. Does h = 2/51?
False
Suppose -2*x - 2*x = 4. Let q(y) = y**2 - 5*y - 15. Let z be q(7). Is x <= z?
True
Let s = 2 - 3. Let q be (-2*s/(-5))/1. Let n = 0 + -1. Which is greater: q or n?
q
Let o = -8.96 + 9. Is o < -0.1?
False
Suppose -5 = -z - 0*z. Let v = z + -9. Is v < -10/3?
True
Suppose 2*c - 10 = 3*g - 0*g, 5*c - 25 = 5*g. Is g at most as big as -1/14?
False
Suppose -9*o = -5*o - 24. Let k = 5 - o. Let y = -2 - -3. Which is smaller: k or y?
k
Let d be (-10)/(-7)*5/10. Is d at least as big as 1?
False
Let z = -3 - -2. Let b be 11/(-51) + (-2)/(-6). Are z and b nonequal?
True
Let o(l) = l**3 + 12*l**2 - 14*l - 13. Let w be o(-13). Is w at most 1?
True
Let w be (-2)/(-8) - 51/12 - -3. Which is greater: w or 1/33?
1/33
Let n = -0.8 - 1. Let q = n + -0.2. Is 0.2 smaller than q?
False
Let f = 4.03 + -4. Let w = 1.03 - f. Which is smaller: -3/5 or w?
-3/5
Let r(g) = -2*g. Let d be r(-10). Let v = -19 + d. Is 7 at most v?
False
Let q be ((-52)/20 + -1)*10. Are q and -36 nonequal?
False
Let c(s) = -8 + 6 - 4*s - 5. Let o be c(-2). Suppose 3*n = 3*y - 15, -2*n - 10 = -0*y + 3*y. Is y >= o?
False
Let j be 5/25*10/(-4). Are 14 and j unequal?
True
Suppose 3*b - 80 = 4*b. Let p be 9/3 - b/(-26). Which is bigger: 0 or p?
0
Let j = -18 + 20. Suppose 2*l + 3*l - 20 = 0. Suppose -2*b = l*a + 12, b - 5*a = -0*b + 22. Is b > j?
False
Let m(o) be the first derivative of -o**2/2 - 3*o + 3. Let s be m(-4). Which is bigger: -1 or s?
s
Suppose 5*u + q = 5 + 13, -3*u - 3 = -4*q. Suppose 0 = u*v - 3 - 9. Let l = v - 5. Are l and -1/3 nonequal?
True
Let z = -486 + 489.21. Let i = -0.21 + z. Which is smaller: -0.1 or i?
-0.1
Let c be 152/20 - (-2)/5. Suppose -2*o + c = -4*o. Is o <= -5?
False
Suppose -t - h = -3*t - 3, 9 = -3*h. Let m be t/18 - 3/(-18). Which is smaller: m or -2/45?
-2/45
Let c be ((5/(-10))/1)/(2/20). Which is smaller: c or 0.3?
c
Suppose 4*q + 3*m + 1 = 5, -5*m + 22 = -q. Suppose -2*r - 14 = -0*r. Let p = r + 5. Are p and q unequal?
False
Let g be 2/(-12) - 1960/48. Is g >= -42?
True
Let n = -4/647 + -2416/27821. Which is smaller: -1 or n?
-1
Let a = 1.4 - 2. Is -3 at most as big as a?
True
Let m(j) = j**2 - 2*j. Let w be m(3). Let f = -420 + 423. Is f greater than or equal to w?
True
Suppose 5*j + 16 = -4*a, -5*j + 2*a + 8 = -0*a. Let b be ((-8)/(-1