 2. Let h(s) = -3*a(s) + 2*y(s). Let c be h(-9). Is -2 less than c?
True
Let p = -2 - 6. Let c = p - -8. Is 0 < c?
False
Let k(q) = -q + 2. Let w be k(-6). Let s be 3/11*w/6. Let j = 31/55 - s. Is j smaller than 1?
True
Let c be ((-45)/25)/((-11)/(-10)). Are c and -2 non-equal?
True
Suppose 33*o = 23*o + 180. Which is bigger: o or 15?
o
Let c = 0.92 - -0.08. Let g = c - 0. Suppose -3 = -3*m, 0*q + 5*m - 5 = 2*q. Is g greater than or equal to q?
True
Let o = 4 + -6. Let n = o + 4. Are n and 4/3 unequal?
True
Let f = -61.9 - -59. Let o = f - 0.1. Which is greater: -2/5 or o?
-2/5
Let b(x) = 2*x**2 + 3*x - 10. Let l be b(2). Is 18/5 <= l?
True
Let u be 2/(-8) - (-77)/(-140). Let a(h) = -h**3 - 10*h**2 + 10*h - 11. Let l be a(-11). Suppose -2*t - 4*c + 16 = l, -2*t - 7 = -t - c. Is t equal to u?
False
Let f = -63/134 + -2/67. Suppose 0 = -2*k + 2 - 0. Suppose -k - 3 = 2*v. Is f < v?
False
Suppose -s = -o + 37, 0*o - 158 = 4*s + o. Which is greater: s or -37?
-37
Let x = 0.3 - 2.1. Let c = -8.8 - x. Let w = c - -6. Which is bigger: w or 1/4?
1/4
Let h = 48.4 + -40. Let i = h + -9. Which is smaller: 1/4 or i?
i
Let y = 30.145 + -30. Is 0.1 <= y?
True
Let c = 5 + 0. Let q = 6 - c. Are q and 1 equal?
True
Suppose 4*n + 4*q = 0, -3*n + q - 8 = -8*n. Which is smaller: n or 4/7?
4/7
Let t = 31 - 14. Suppose 0 = 5*x + 2*p + 5, -2*x + 0*p = -3*p - t. Is 1/6 at most x?
True
Let c = -5.4 + 4. Let q = c + 1.1. Do 4/7 and q have different values?
True
Let o(g) = g**2 - 15*g + 1. Let c be o(14). Is -13 less than c?
False
Suppose -2*m - 2*i = -12, 0 = -m - 5*i + i + 18. Suppose 7*y - 2*y = 10. Suppose y*c = 5*c - 6. Is c less than m?
False
Suppose -3*s = -3*i - 6 - 18, -3*i = 2*s + 29. Let t = -4 - i. Are t and 4 equal?
False
Suppose 4*d + 6 = 2*d. Let v = 3 + d. Which is smaller: -1 or v?
-1
Suppose -3*d + 16 = 4. Let u be 0 - -1 - (-27)/(-18). Which is smaller: u or d?
u
Let i = 47 + -9. Suppose 5*m + 8 = i. Is m at most 6?
True
Let b = -5 + 6. Do b and 2 have the same value?
False
Suppose -8 = 4*x + 2*v - 6, -2*v = 6. Are -2/33 and x non-equal?
True
Let y = -120 - -189/2. Let i = -26 - y. Is 1 at least i?
True
Let z = -6 + 12. Let y = -6.4 + z. Is y equal to 2?
False
Let m = 11.26 + -2.16. Let u = 9 - m. Are -0.4 and u equal?
False
Suppose 0*i + 2 = i. Are -3 and i non-equal?
True
Let v = 103/75 - 1/25. Which is smaller: -5 or v?
-5
Let k(j) = -3*j - 11. Let w be k(-10). Which is smaller: 17 or w?
17
Let y(x) = -3*x**3 - 13*x**2 - 15*x. Let t(b) = b**3 + 6*b**2 + 7*b. Let u(w) = -5*t(w) - 2*y(w). Let k be u(5). Let r = 20 - 20. Is k < r?
False
Suppose -5*g + 4 + 21 = 0. Suppose -5*l - m = 3*m - 40, -4*l - 3*m = -31. Which is smaller: g or l?
l
Suppose 4*h - 3*b + 20 = -b, -b - 26 = 4*h. Which is bigger: -4 or h?
-4
Suppose 2*r + 7 = 5. Is r less than 2/57?
True
Let q be (-2 - 12/(-8))*1*0. Is -2/131 != q?
True
Let d = -0.17 - 0.13. Let o = d + 1.3. Is -2/7 less than or equal to o?
True
Let p = 13 + -19. Let n be (-8)/(-20) + p/(-10). Let j be -1 + 4/3 - 1. Is j equal to n?
False
Let m be 1/(-3)*(-2 + -22). Suppose 2*f + 2*f + 18 = 2*i, 5*f = -5*i + 30. Which is smaller: i or m?
i
Let b be 106/168 + 6/(-21). Let h = b - 2/21. Which is bigger: 4 or h?
4
Suppose 5*c + 2*l - 13 = 0, 0 = 4*c + 2*l - 3 - 9. Suppose 146 = -x + o, o = -0*o - 4. Let v = -753/5 - x. Is c less than or equal to v?
False
Let y be 1 + -3 + (-56)/(-26). Let s be 8/24 - 4/(-6). Which is smaller: s or y?
y
Suppose -5*h + 3*s = 340, 3*s + 250 = -5*h - 60. Which is bigger: -66 or h?
h
Suppose -2 = -r + 2*r. Let v(s) = s**2 - 2*s - 16. Let n be v(5). Is n smaller than r?
False
Let k(o) = o**3 + 4*o**2 + 1. Let x be k(-4). Let s be x - ((-2)/2 + 2). Is s equal to 1/2?
False
Let s = 161.06 + -163. Let c = -0.06 + s. Is c at least as big as -2?
True
Suppose 12 = -5*c + 7. Let v be 6/c - (1 - 0). Which is bigger: v or -6?
-6
Suppose -7*z = -6*z. Which is smaller: z or 1/32?
z
Suppose 4*c = -8, -6*o + 5*c = -o. Let j = -2 + o. Which is smaller: j or -3?
j
Let b = -43 + 30. Which is smaller: 1 or b?
b
Let g = 8.6 - 10.3. Are g and -0.1 nonequal?
True
Let t = -52/9 + 685/117. Suppose 3*n + 1 = -5*c + 3*c, -11 = -n + 5*c. Which is bigger: n or t?
n
Suppose -10 = 3*j - 37. Let q = j - -2. Is 11 greater than q?
False
Let a = -8.054 + 0.054. Which is greater: 1/7 or a?
1/7
Let i = -8 - -1. Let f be (2 - 3)/((-3)/(-21)). Does f = i?
True
Let a(h) = h**2 + 15*h + 9. Let r be a(-11). Let b be 231/r + 6/10. Is -4 at most b?
False
Let p(m) = m + 6. Let y be p(4). Let x = 17 - y. Is x at least 5?
True
Let m = -3 + 2.9. Is 0.2 at most as big as m?
False
Let f be 0*(-3)/12*1. Is f >= -5/28?
True
Let s(t) = 2*t - 9. Let m be s(6). Let o be 4/(-2) + m + 3. Is 3 >= o?
False
Suppose -2*c + 4 = -4. Suppose 4*h + 2*l + 14 = 0, 10 = c*l + 30. Is h not equal to 1?
True
Suppose 3 = 3*h - 3. Let l(k) = -4*k + 2. Let u be l(-2). Let r = -7 + u. Is h < r?
True
Suppose 5*t - 15 - 15 = 0. Let w = -3 + t. Let r(u) = -u**3 - 7*u**2 + 9*u + 10. Let v be r(-8). Does v = w?
False
Let y(v) = v**2 - 8*v - 2. Let n be y(9). Let u be (-12)/n*14/(-4). Suppose 3*m - 27 + u = 0. Is 7 >= m?
True
Suppose -3*a + 5*a - 2 = 0. Let h(i) = 13*i - 63. Let n be h(5). Which is smaller: a or n?
a
Let j(i) = -i**3 - 2*i**2. Let u be j(0). Which is bigger: u or -1/3?
u
Let q = -15 - -14.93. Which is smaller: q or -1?
-1
Let m = -4 + 2. Let v = 21 - 20.7. Are v and m unequal?
True
Let c = -0.07 - -0.47. Let m = 0.5 - c. Let b = 0.1 - m. Is -0.1 bigger than b?
False
Let u = 53 + -21. Which is smaller: u or 31?
31
Let s(w) = w**2 + 9*w - 1. Let f be s(-9). Let d be f/(18/20)*-1. Are 0 and d nonequal?
True
Let g be (-3)/1 + 6/9. Let q(j) = j**2 + 2*j - 6. Let b be q(-3). Which is greater: b or g?
g
Let q(c) = -c**3 + 8*c**2 - 6*c - 5. Let s be q(7). Suppose 0 = d + s*p - 7, 4*d + p + 4 = d. Which is smaller: -4 or d?
-4
Let g = -5 + 4.4. Let r = 1.6 + g. Is r greater than or equal to 0.2?
True
Let b = -13 - -8. Let z = b - -8. Do z and 4 have different values?
True
Let s(x) = -x**3 + 4*x**2 - 2*x + 5. Let i be s(4). Let h = -11 + 17/2. Is h equal to i?
False
Let a = -0.011 - 0.489. Is -1/2 smaller than a?
False
Let v = -17 + 17. Which is greater: v or 4/13?
4/13
Let s be -3 - (416/10 - 3). Let p = s + 1496/35. Which is bigger: p or 2?
2
Suppose -18 = -5*v - 118. Let j = v + 19. Which is smaller: -6 or j?
-6
Let b = -25 + 37. Let i be -1 - (-11 - (-6)/(-3)). Is i smaller than b?
False
Let d = -12 - -13. Which is greater: d or -0.01?
d
Let y be -1 + 4/(3 + -2). Suppose -3 = 4*z - 39. Suppose -4*v + z = -v. Is y >= v?
True
Suppose 0 = 3*o - 2*r + 3, 0*o + 5*r - 1 = o. Which is bigger: -2/161 or o?
-2/161
Let k = 33 - 22. Is k >= 11?
True
Let u be 6/(-16)*-2 + 4/(-8). Which is bigger: -10 or u?
u
Suppose 4*n + 2*f = -2*f - 8, 21 = 2*n - 3*f. Suppose -n*d + 36 - 162 = 0. Let a be (-16)/d - 2/(-7). Is a not equal to 0?
True
Let x = -0.36 - -0.25. Let o = -0.41 - x. Which is smaller: o or -0.1?
o
Suppose 0 = -5*w + 3*y - 2, -2 = -w - 2*y - 5. Which is smaller: w or -3?
-3
Let j = -0.04 - -3.04. Let m = -1.4 - -0.4. Let d = j - m. Which is smaller: d or 0?
0
Suppose 5*h = 2*h - 24. Is -7 equal to h?
False
Suppose -3*d = 2*d - 30. Suppose -a - a = -d. Suppose 14*j - 15*j = -3. Is j != a?
False
Suppose 0*f - 2*f = -12. Suppose -f*k - 30 = -0*k. Is k != -5?
False
Suppose 5*s = -2*l - 26, -2*s + 4*s + 4*l + 20 = 0. Let b be ((-8)/10)/((-4)/(-30)). Which is greater: s or b?
s
Suppose 0 = v + 2*v - 24. Does v = 5?
False
Let d = -21 - -275/13. Which is greater: d or 2?
2
Let u be (-3)/(-1) - (8 - 7). Let j(h) = h**2 - 6*h + 2. Let x be j(6). Is x greater than u?
False
Suppose 3*a + 4*a + 91 = 0. Which is greater: -14 or a?
a
Let s be 4/(-10) - 4/(-10). Let q be s/(-5) + -1 + 2. Which is smaller: 1/9 or q?
1/9
Let p be (-15)/(-42)*(-5)/25. Which is greater: -1 or p?
p
Let n = 47/24 - 11/6. Which is smaller: n or 4?
n
Let m be 3/1 + 2/1. Suppose -2*g - 8 = -2*k, 0 = g + 4*g + m*k. Is g equal to -6/7?
False
Suppose -3*d - 6 + 1 = -5*v, -2*d + 5*v = 5. Suppose -2*q = -3*z, d = -5*z - 3*q + 4*q + 7. Suppose -i = z*i - 6. Is i at most 1?
False
Let f = -15.07 + 15. Do f and 0 have the same value?
False
Let f be 66/26 + (-2)/1. Let q = -85/182 + f. Suppose 321*b = 332*b + 1