greater: y or 2?
2
Let b = 46 + -14. Is b greater than or equal to 33?
False
Let h be (-126)/(-180)*(3/(-3) + -3). Suppose -8*q - 2*m = -4*q + 4, -4*q + 2 = 5*m. Which is greater: q or h?
q
Let v(l) = -l**2 + 7*l + 5. Let f be v(7). Let h be ((-8)/10)/(f/(-25)). Which is bigger: h or 3?
h
Suppose -3*v + 65 = 5. Let k(f) = -f**3 - 4*f**2 + 5*f + 3. Let d be k(-5). Suppose 7 = -3*n + 2*t, 6*n - n + d*t - v = 0. Which is smaller: n or 0?
0
Let o(j) be the second derivative of j**5/20 + 13*j**4/12 + j**3/6 + 6*j**2 - 6*j. Let k be o(-13). Is k <= -1/6?
True
Let y = -14 + 8. Let n be (y/(-30))/(6/20). Do n and -3/7 have the same value?
False
Let r = 33.87 - 34. Let x = r - -0.13. Is -0.05 <= x?
True
Let y(u) = u - 4. Let c be y(-5). Let t be (-3)/c - 3/9. Is t less than or equal to 2/19?
True
Let k(d) = d + 12. Let z be k(-25). Is -4 <= z?
False
Let n be 0 + 5 + 13 + -12. Suppose 5*a - 2 = n*a. Is -2 smaller than a?
False
Suppose 0 = -9*x + 6*x + 18. Suppose -2*i - 10 = -3*i. Let t be 31/5 - 2/i. Are x and t equal?
True
Let v be (4*(-2)/(-40))/(64/(-10)). Is v > 1?
False
Suppose -5*f = 4*s + 20, 3*f + 39 = -5*s + 1. Let u be 64/(-440) - (-4)/s. Let w be (1 + 0 - 2)*1. Which is smaller: u or w?
w
Let l be -1*(-7 + -1 + 1). Let s = l - 5. Let o be (1/(-1))/(s/4). Which is bigger: -5/3 or o?
-5/3
Let a be 4 + -20*(-1)/2. Let g = 15 - a. Which is greater: -1 or g?
g
Let g = -19 + 39. Suppose 0 = 3*f + f - g. Suppose 0 = 3*s - 4*r - 11, 2*r + f = r. Is s less than -3?
False
Suppose 4*n - n = 33. Let x(m) = m**3 - 10*m**2 - 11*m + 1. Let y be x(n). Is -1/5 > y?
False
Let u(f) = -f**2 - 6*f + 6. Let m be u(-7). Is m less than -1?
False
Let z = 3.92 - 4. Which is smaller: z or -0.1?
-0.1
Suppose 0 = -4*b + b - 3. Let d = -2/529 - -1088/7935. Are b and d unequal?
True
Suppose -m = 18 - 4. Let y = m + 13. Is y at least -1?
True
Let p = 48 - 31. Which is smaller: 2 or p?
2
Let v be (-2 - (-2 + 1))*63. Let y be ((-12)/(-14))/((-18)/v). Which is greater: 11/5 or y?
y
Suppose 3*s + 36 + 0 = 0. Is -12 > s?
False
Suppose 0 = 3*y - 35 - 10. Let u = y - 46/3. Suppose -j = -3*j. Is u < j?
True
Let q = 0.1 - 0.1. Let s = -197 + 196. Is s less than q?
True
Let j be (6/15)/(18/4330). Let m = j - 96. Is 2 at most as big as m?
False
Let h = -5 + 7. Let q(x) = -1 - 8*x**h - 2 + 2*x**2 - x**3 - x. Let i be q(-6). Is 3 at most as big as i?
True
Let z be (1*2/(-10))/1. Let n = -7/10 - z. Which is smaller: 0 or n?
n
Let z = 0.04 - -0.16. Suppose 6 = 3*n - 0*n. Suppose -d - 4 = -n. Is d bigger than z?
False
Let b = 0.33 - 0.13. Which is smaller: 6 or b?
b
Let k = -49 + 35. Which is smaller: k or -13?
k
Let x = -0.2 + 0.4. Let o = x + -0.3. Let u = -1 + 0. Is u smaller than o?
True
Let v = -3133/9 - -349. Is v <= 2?
True
Let a = 10.6 + -3.6. Is a < 0?
False
Let c = 12 - -3. Suppose 0 = -2*r - 0*l + 3*l - c, 0 = -2*l + 10. Let u = -2 + 2.6. Is u >= r?
True
Let c = 1319 - 17137/13. Which is greater: c or 0?
c
Suppose -3*y = -2*y - 3. Let i = -267 + 537/2. Are i and y unequal?
True
Let q be 3*1*12/(-132). Let r(i) = i**3 + 6*i**2 + 6*i + 6. Let k be r(-5). Which is bigger: k or q?
k
Let h = -0.4 - -0.3. Are h and -11 equal?
False
Let q = 2.43 + -99.43. Let s = -100.04 - q. Let v = s + 0.04. Which is smaller: v or -1/3?
v
Let l be 1 - 8 - 14/7. Let k = -7 - l. Does -2 = k?
False
Suppose 0 = 3*p - 12, -2*d - 3*p + 21 = -5*d. Let c = 1 + -10. Let q = c - -9.1. Which is bigger: q or d?
q
Let g = -30539/17 - -1797. Is 0 >= g?
False
Let r(i) = -i**2 - 10*i - 4. Let n be r(-10). Let h be n/2 + 12/3. Are h and 1 nonequal?
True
Suppose 0 = -2*c + 1 + 5. Suppose c*v = 2*v. Suppose -x - 2 + v = 0. Is x less than -3?
False
Suppose -b - 4*b + r = -34, -4*b - 5*r = -33. Suppose -b = -x - 2. Suppose s = x*s. Is -1/5 greater than or equal to s?
False
Let m be 2 + ((-4)/(-2) - (-96)/(-22)). Which is smaller: m or -1?
-1
Let i(n) = -2 + 1 + 0*n**2 - n**2 - 5*n. Let q be i(-4). Let a be 8/3 - (-2)/(-3). Which is greater: q or a?
q
Let d(z) = -z. Let p be d(-2). Suppose -3*h + 5 = p*h. Let g be 2/((-4)/(-2))*h. Which is greater: g or -2?
g
Let y = -1.08 + 0.08. Let i = -0.9 - y. Let s = i + 0.1. Which is bigger: s or -1/3?
s
Let k(c) = -17*c**3 - 2*c**2 - c. Let i be k(-1). Let t be (-1)/(-3) + i/60. Is 0 not equal to t?
True
Suppose 0 = n + 12 + 15. Let s = n - -27. Which is smaller: s or -2?
-2
Let i be (3 - (1 + 0)) + -4. Let n(b) = b**2 + 8*b + 4. Let f be n(-8). Suppose 0 = -f*x - 5 + 1. Is i < x?
True
Let b = -2.6 - -0.5. Let r = -5 - -3. Let y = r - b. Is 1 <= y?
False
Suppose -2*m + 10 = 0, -b + 4*b - 23 = -4*m. Let h = 2 - 1. Is b not equal to h?
False
Let g be 72/28 - (-2 + 6). Is g at most -1?
True
Suppose -5*h + 0*h = -25. Are h and 7 nonequal?
True
Let h be (-139)/(-46) - (6 - 3). Let a be 3/(2622/763) + -1. Let u = h + a. Which is bigger: 0 or u?
0
Suppose -4*t + 4*r - 11 = t, 7 = -t + 2*r. Let w = 3.2 + -3. Are t and w unequal?
True
Let l = -48 - -32. Are -15 and l non-equal?
True
Let u = -14.9 - -11.85. Let b = u - -0.05. Let z = -3.9 - -4. Are z and b equal?
False
Suppose 0 = -5*u + 2*u + 39. Which is smaller: -0.1 or u?
-0.1
Suppose 2*v = -4*g - 6, 2*g - 14 = 3*g + 3*v. Which is smaller: g or -28?
-28
Suppose 0 = 5*h + 5 + 5. Let s be (-1)/(-4) + 6/(-16). Which is smaller: s or h?
h
Let t = 10 - 20. Let y be (-6)/t + 0/1. Let a = -9/10 - y. Which is greater: -3 or a?
a
Let v(t) = t - 4. Let a be 13/3 + 3/(-9). Let r be v(a). Which is smaller: -0.1 or r?
-0.1
Let q be 3/(-12) - 69/(-4). Suppose 5*h - 4*s = -17, 5*h + q - 3 = 3*s. Is h not equal to 0.02?
True
Let i = 397/5 + -79. Is 2 greater than i?
True
Let q(g) = g**3 - 3*g**2 - 2*g - 4. Let v be q(4). Suppose -n = -0*a - 4*a - v, 3*a + 5*n = 20. Let k = -2 - -3. Are a and k unequal?
True
Let i be (-2 + (2 - 2))*-2. Let k(j) = 3*j**3 - j**2 + j. Let h be k(1). Are i and h equal?
False
Let j = -4 - -8. Suppose 0*a + 6 = n - a, -5*n - j*a = -3. Let y be -1 - (-2)/(8/10). Is y greater than or equal to n?
False
Let s(d) = -d**2 - 27*d - 6. Let i be s(-6). Which is smaller: i or 121?
i
Let d = 0 + 3. Suppose 3*c - 2*u - 12 = 0, 4 = c - u + d*u. Suppose 3*v + c = 4*j + 2, -4*j = -8. Do 2 and v have the same value?
True
Let l = -5540/3613 + 154932737/3847845. Let y = l + -28/213. Let d = 39 - y. Which is smaller: 0.3 or d?
0.3
Let m be -2 - -3*2/3. Suppose m = -s + 3*s. Suppose 0 = 4*l - s*l - 8. Is 3 at most as big as l?
False
Let b be (-2)/(-2) + 5 + -8. Let c be (4/(-3))/(b/6). Let t be (-6)/(-15) + c/(-10). Is t > 2/3?
False
Suppose -2*g = -4*g + 6. Let r = 3 - g. Suppose -5*c + 3*h + 27 = 0, 3*c = -0*h - 5*h - 11. Which is bigger: c or r?
c
Suppose -3*u - 5 - 4 = 0. Let k be (0 - u) + -3 + 0. Is 2/5 smaller than k?
False
Let l(r) = r - 2. Let p(v) = -v + 1. Let i(h) = -l(h) + 2*p(h). Let w be i(3). Let a = w - -3. Is -2 > a?
False
Let g = -22 + 21.9. Is 2/29 <= g?
False
Let i = 1 + 2. Suppose -i*c + 4*g + 29 = 0, 4*c = -5*g + 8 - 21. Suppose 0 = 4*m + 20, 3*m = -c*z + m - 7. Which is greater: -1/3 or z?
z
Suppose i + 3 + 2 = 0. Let f be (-3)/5 + 735/(-25). Let s be ((-10)/(-15))/(4/f). Is s greater than or equal to i?
True
Let h = 28 + -56. Which is smaller: -29 or h?
-29
Let m = -1192/7 - -171. Is m smaller than 1?
True
Suppose -4*l + 5 = -0*h + 3*h, 0 = -4*h - 2*l. Let i be (3 - 7)*h/1. Suppose -i*c + 1 + 3 = 0. Is 2 bigger than c?
True
Let b = -0.021 - 7.979. Which is bigger: -2/5 or b?
-2/5
Let c be 46/(-2)*(6 - 5). Let r be -2 - (1 - c/(-7)). Suppose 2*p = p + 1. Do r and p have different values?
True
Suppose 2*a = 5*a - 9. Suppose 3 = -a*k + 18, 4*k - 23 = -f. Let v = -6 + f. Is v < -3?
False
Let d = -13.05 - -13. Let n = 0.05 - d. Which is smaller: n or 11?
n
Let i = 0.8 + -0.95. Let l = 0.05 - i. Are -3/4 and l non-equal?
True
Let o = -4.6 - -5.6. Is o >= 1?
True
Let u(b) = 2*b**2 - 12*b + 17. Let s(j) = 8 - 8*j + j**2 + 0*j + 2*j. Let y(g) = -9*s(g) + 4*u(g). Let m be y(5). Are 0 and m unequal?
True
Let j = 178 - 174. Let r(h) = -3*h + 1. Let q be r(-1). Is q less than or equal to j?
True
Let p = 2.5 + -2. Let s(h) = h**3 + 3*h**2 + 3*h + 2. Let r be s(-2). Which is greater: p or r?
p
Suppose 4*l - 10 = -2. Suppose 3*z - 6 = -o, -l = -5*z - 4*o + 1. Let w = z - 6. Does w = -2?
False
Let c(m) = -m + 2*m + 1 + m + 0*m. Let