(2). Let w be (2*1/g)/j. Which is smaller: 0 or w?
0
Let u(v) = v**3 + 4*v**2 - 13*v - 14. Let r be u(-6). Is r less than or equal to -8?
True
Let u be 12 + -6 + 3 + 0. Let s(d) = 6 - 11*d**2 + 3*d + 0*d**3 - 2*d - d**3 - u*d. Let i be s(-10). Is -12 bigger than i?
True
Let h = -19.72 + -0.28. Let z = 19.9 + h. Which is greater: -12 or z?
z
Let l(o) = -o + 5. Let f(n) = 1. Let a(j) = 6*f(j) - l(j). Let x be a(9). Suppose 14*k = x*k. Which is smaller: k or 3/17?
k
Let w = 26.01 + -1.01. Let b = 26.84 - 3.14. Let n = b - w. Which is smaller: n or 0?
n
Suppose -4*c = 0, 3*z - 12 = -0*z + 5*c. Suppose 3*j - 4*a - 16 = 0, -z*a - 4 = 12. Is 2/15 less than or equal to j?
False
Let v be (-1)/3 + (-32)/30. Let x(g) = -g + 12. Let j be x(7). Suppose -y = -3*m - j, -3*m + 1 = -m - 5*y. Which is greater: m or v?
v
Let n be 12/(1/(8/12)). Let j(i) = 3*i - 21. Let a be j(n). Suppose t = 1 + 4. Which is smaller: a or t?
a
Let i be (24/(-48))/(67/6 - 0). Is 0 greater than or equal to i?
True
Suppose 4*t - 10 = 5*v, -25 = -3*t + 8*t. Let o be ((-4)/6)/((-106)/v). Is o bigger than 0?
False
Suppose -4*b + 6*b + 3*d = -39, -3*d = 4*b + 75. Is -10 < b?
False
Let i be 16/72 + (-3)/((-27)/(-2)). Let m be (-4)/6*27/(-6). Suppose i = 6*r - m*r - 9. Do r and 4 have the same value?
False
Let w = -30 - -44. Suppose 1 + 29 = -2*r. Let n be (9/r)/((-1)/25). Does n = w?
False
Suppose -y - 33 = 4*t - 0*y, 3*t = -2*y - 21. Let a(f) = -2*f - 8. Let j be a(t). Suppose k - n + 5*n = -13, 5*k = 5*n + j. Which is bigger: k or -2/13?
-2/13
Suppose 2*w - 5*w - 12 = 0. Let z = -1312/5 - -257. Which is bigger: z or w?
w
Suppose 26*f - 24*f = -2*j, 3*j = -4*f + 1. Is j < 5?
True
Let x = 34 - 19. Let j = x - 11. Suppose 2*h + 2 = j*h. Which is bigger: h or 0.09?
h
Let q(u) = 5*u**3 + u**2 - u - 1. Suppose -2*k = -p - 5, 3*k + 0 = -2*p + 4. Let j be q(p). Let v be (j - -6)*(-2 - -1). Is -2 bigger than v?
False
Let j be 23/((-5175)/(-54))*10. Which is smaller: 27 or j?
j
Let y be (61 - -3)/(-2) + 1. Let c = y - -45. Is c < 15?
True
Let t = -0.245 + 3.245. Is 9 != t?
True
Suppose 5*d - 5*j = -30, 0*d - 2*j + 18 = -3*d. Let s = 9 + -13. Which is smaller: d or s?
d
Let l(u) = -u**2 - 4*u + 3. Let w be l(-4). Suppose 0 = w*s + 9. Let d be s/6*6 + -3. Which is smaller: -7 or d?
-7
Let r(l) = 116*l - 576. Let c be r(5). Which is greater: 1/49 or c?
c
Let p be 2/3*150/20. Let t = 8 - p. Let s be 4/t*1/(-2). Which is bigger: -1 or s?
s
Let s = 1 - -1. Let y(r) = -r + 18. Let p be y(10). Let a be 3 - ((-28)/p - -3)*-2. Is a at least s?
True
Let c(v) = 5*v**3 - 7*v**2 - 11*v + 41. Let m be c(3). Let t be ((-4)/3)/((-1)/60). Is t > m?
False
Let w = 3 - 7. Let s be 2/4 - 286/w. Suppose 8*n + s = 3*n + j, n + 4 = -5*j. Which is greater: -13 or n?
-13
Let q = -21 + -36. Let k = 95 + q. Let c be 15/20 - k/40. Is c bigger than 0?
False
Suppose 4*h - 22 = -2. Let p = -9 + h. Let q be (p/30)/(8/12). Is q bigger than 1?
False
Let d be (-1)/4*(-10)/(-4). Let o be (28/8 - 5)/((-6)/56). Suppose 0 = 3*r - 11 + o. Is d < r?
False
Suppose 5*w = 2471 - 516. Suppose 0 = 5*v - 66 + w. Which is smaller: -66 or v?
-66
Let x = -1.821 + -0.179. Let k = 16.34 - 0.34. Is x > k?
False
Suppose -4*c - 2*s + 26 = 0, -3*c + 18 = 3*s - 3. Suppose k = c*k. Suppose 2*u + 6 = 5*r - r, k = -u - r. Are -1/11 and u non-equal?
True
Let m = 51 - -27. Let i = 77 - m. Which is smaller: i or 43?
i
Let m be (-1166)/(-418) + (-6)/2. Let p be 26/(-57) - (-1 - -1). Let j = p + m. Which is bigger: j or -2/9?
-2/9
Let s = -0.0575 + 37.0575. Which is greater: 2 or s?
s
Suppose 5*q + 2*l = 1, 2*q - 2*l + l + 5 = 0. Let n = -381/209 - -26/19. Is q greater than n?
False
Let t be (4/8)/((-45)/(-6270)). Is 1 greater than t?
False
Let z = 89/21 - 6226/1365. Which is greater: z or -1?
z
Let w = 1 + 11. Let p be -2 + (w/21 - -1). Suppose -4 = -7*g + 3*g. Which is smaller: g or p?
p
Suppose -4*o + 2*o = -2. Let s be (5/25*0)/(-1). Let y be 0 - s - (-12)/(-90). Are o and y nonequal?
True
Let p(n) = 2*n**3 + 6*n**2 - 3*n - 4. Let o be p(-3). Let q(c) = -2*c. Let v be q(-2). Suppose 0 = -f + v*s - 5 + 1, 2*s - 20 = o*f. Which is smaller: f or -2?
f
Let h be 2 - 4 - -6*2. Suppose -1 - 11 = 2*d + 3*r, -4*d + 5*r = -20. Let j be (-140)/(-15) - (1/3 - d). Which is smaller: j or h?
j
Suppose -58*q + 64*q + 6 = 0. Is q bigger than -4/87?
False
Let f be 2/5 - 3094/85. Is -15 at least f?
True
Let c be 10/(-20)*(1 + 23). Let i = c + 11. Let r be (-48)/(-70) - (-2)/(-7). Which is smaller: r or i?
i
Let m = 2114 + -10606/5. Let c = 15 + -21. Which is greater: c or m?
c
Let k be 1 + (1 - (-102)/(-52)). Let d = -662 - -663. Is d < k?
False
Let t be 4/(-10) + (-7)/(-5). Let f be 264/(-42) + 6 - 5/(-42). Does f = t?
False
Let m = -337 + 3711/11. Which is greater: m or -1?
m
Let m(r) = -8*r**2 + 9*r - 44. Let j be m(5). Which is smaller: -198 or j?
j
Let m = 42 - 41.81. Let b = m + 18.81. Let r = 21 - b. Which is greater: -0.2 or r?
r
Let h = -4 - -14. Suppose -a + 2*a = -h. Let o be 4/(-3)*(-540)/(-72). Is o < a?
False
Let v(r) = r**2 - 13*r - 15. Let a be v(14). Let g be (2/(-46))/((-2)/4). Which is greater: g or a?
g
Suppose 15*v = 6*v. Suppose -4*h + 4*k + 9 = 1, -4*k - 4 = v. Is -19 bigger than h?
False
Let r be (-5838)/42 - (-2 + 0). Is -137 greater than r?
False
Let w = 12 + -17. Let i = w - -9. Let u = i + -3. Is u > -1/4?
True
Let c = -0.252 - -0.145. Let g = c - 0.093. Is -9/2 at least g?
False
Let v(l) = -3*l**2 - 15*l + 29. Let b be v(5). Does b = -120?
False
Let x be (573/5)/(1/1). Let q = -115 + x. Let s be 12/(-10)*10/(-14). Does s = q?
False
Let a = -9 - -9. Let u be (6/(-2) - a)*1. Let l = -135 - -400/3. Which is smaller: u or l?
u
Let z = -2677/62 - -114/31. Let f = z - -1187/30. Which is smaller: f or 0?
0
Let a(j) = 3*j + 3. Let w be a(-7). Suppose 4*i - 2*d - 17 = -3*d, 3*d + 4 = -i. Let l be 44/(-165)*i/w. Are l and -1/3 nonequal?
True
Suppose 0 = -4*r + 2*r + t, 0 = -2*r - 4*t + 20. Suppose 0*p - r = -3*p + 4*x, 0 = -x + 1. Let s be (p/4)/(2/44). Which is smaller: 10 or s?
10
Let i be 42/16 - 27/(-72). Suppose i*o - 18 = 3*r, 4*o - 14 = 5*o - 5*r. Is 11 > o?
False
Let w = -22 + 20. Let o = 1 + w. Which is bigger: o or 2?
2
Let z(s) = -s**3 - 3*s**2 - s - 2. Let d be z(-3). Suppose 3*u - 4*u = -d. Is u < -2/19?
False
Suppose -5*z + 0*z = 15. Let t(p) = 3*p - 6. Let m be t(5). Let x be (-12)/44 - z/m. Which is smaller: x or -1?
-1
Let h = 1693 - 1692. Let b = 3/8 - 211/552. Is b less than h?
True
Let k be (-13)/2 - (-88)/(-176). Which is bigger: 3 or k?
3
Let m(v) = -3*v - 114. Let s be m(-38). Which is bigger: s or 2/755?
2/755
Let t = -456/35 + 1217/70. Let w = t - -15/7. Is 1 <= w?
True
Let u = 48 + -25. Let k = 1 - u. Let y = -22.04 - k. Is y != -2/9?
True
Let k = 64 - 63. Let n(q) = q**2 + 3. Let y be n(5). Does y = k?
False
Suppose 5*s - f = 3*f - 208, 50 = -s - 2*f. Let r = -8 + 24. Let x be 6/8 + s/r. Are x and -4 equal?
False
Let r(n) = n**3 + n**2 - 35. Let a be r(0). Do a and 0.3 have different values?
True
Suppose 0 = 2*k + 6, 0*l - 5*k - 27 = -2*l. Suppose 2*a - l = 2*h, h - 2*h = a - 1. Which is bigger: h or -2?
h
Let q = 573.1 - 573. Is q at least -0.748?
True
Let w = 4 - -1. Suppose 201 = w*n + 1. Let f be (2 - 3)/(n/12). Is f less than 1?
True
Let y be (-68)/(-18) - (-10)/45. Let g be (-60)/45 + y + 0. Suppose -4*r + 7*r = -5*z + 3, 0 = z - 3*r - 15. Which is smaller: z or g?
g
Let g(d) = 2*d**2 + 8*d - 2. Let o be g(-7). Let l = 41 - o. Let f = -0.09 - 7.91. Which is smaller: l or f?
f
Let t = -72 + 6. Let z be (9/54)/(9/t). Which is bigger: z or 1?
1
Let w be (-62)/(-5)*3/((-6)/5). Is -32 greater than w?
False
Let k = -4 + -13. Suppose -5 + 9 = i. Suppose i*r - 13*u + 12*u + 67 = 0, -5*r + 2*u = 80. Are r and k nonequal?
True
Suppose 4*n = -n. Suppose 5*b + 54 = 3*p, b + n*p + 12 = p. Is -9 < b?
False
Let j(y) = 2*y - 3. Let f(l) = 5*l - 7. Let o(w) = 3*f(w) - 7*j(w). Let a = -28 - -33. Let t be o(a). Which is bigger: 4 or t?
t
Let h be (-26)/(-9) - (20 - 2172/108). Is 9 less than or equal to h?
False
Let s = 60 - 63. Let y be -2 - -5 - (s - -3). Is 11 greater than or equal to y?
True
Let u = -15 + 12. Let j be (-2)/1 - (u - 0). Let t be (j - -2)/3*1. Which is bigger: t or -1/10?
t
Let m be ((-216)/(-54))/((-2)/(-92)). Is m grea