2. Let y = -2 - 7. Let r be f(y). Which is smaller: 1/4 or r?
r
Suppose 3*k = 5*j + 64, -k = 4*j - 2*k + 54. Let t = -10 - j. Suppose t*z = -z + 15. Is z < 8?
True
Let b be (24/(-4) - -1)*-1. Suppose 0*l + l = -5*w + 23, -3*w = 5*l - b. Is -2 equal to l?
True
Suppose 175 = 3*o + 73. Which is bigger: o or 296/9?
o
Let t(d) = 4*d - 1. Let h be t(1). Suppose 4*l + q - 33 = 0, -30 + 1 = -h*l - 5*q. Let o(z) = -2*z**3 - z**2 - z - 6. Let g be o(-2). Is l >= g?
True
Let h be (62/8 + -8)/(2/8). Is 12/73 less than h?
False
Let z be 20/9 + -1 + -1. Suppose 0 = -3*a + 6*a - 12. Suppose -a*d = -7*d - 3. Which is greater: d or z?
z
Let k = 1074 + -10749/10. Let z(o) = o**3 - 2*o**2 - 5*o - 13. Let m be z(4). Do m and k have the same value?
False
Let l = 10218 - 50924/5. Which is smaller: 33 or l?
33
Let s = -191 - -160. Let m = -105 - -73. Is s at most as big as m?
False
Let x be (-4*(-14)/(-20664))/(3/(-45)). Do 1 and x have different values?
True
Suppose -4 = -3*t + 11. Suppose 50 = t*u - 5. Is u equal to 13?
False
Let n = 8 + -8.7. Let o = 0.05 + -1.35. Let p = o + n. Are 1 and p unequal?
True
Suppose 16*i - 19*i = -3*m - 21, m + 11 = 2*i. Suppose -4*s - 3 = 3*z, 0 = 2*z + s + 2 - 5. Which is greater: i or z?
i
Let m be (-185)/(-222) - 3/(-9). Which is smaller: 2 or m?
m
Suppose 5*m + i = 44, -2*m + 3*i = -m + 4. Suppose -4*n + 5*w = -2, -m = 2*n - w + 3*w. Let a be (-6)/5*1/(-3). Is n smaller than a?
True
Suppose -d + 4*d = 0, -3*b + 2*d + 3 = 0. Suppose -3*j - u = -11, 6 = j - u + b. Which is bigger: 28/9 or j?
j
Let i be (-6)/27 + (-29)/(-9). Let f be (-4)/(-5)*-15*2. Let q = f - -25. Which is smaller: i or q?
q
Let w = -56 - 61. Let c be ((-4)/6)/(12/w). Are 6 and c nonequal?
True
Let j be 1/(-2)*1*-64. Suppose -33*c = -j*c. Suppose 7*y - 11*y - 16 = c. Do y and -4 have the same value?
True
Let l = 5 + 7. Let t be (-8)/l*(-2)/(-6). Let f = 0.0761 - -0.0139. Which is bigger: f or t?
f
Let n = 6810639032/121 - 56285803. Let w = -470 + n. Which is greater: w or 1?
1
Let c be 2/10 + (-12)/10. Let u be c*17/(-3 + 2). Is 17 less than u?
False
Let y = -66 + 126. Suppose -4*u = -0*u - 4*l - 72, -y = -4*u + l. Let b = -14 + u. Which is bigger: b or 1/6?
1/6
Let k(x) = 3*x**2 - 2*x - 47. Let m(s) = -13*s**2 + 8*s + 187. Let o(i) = 9*k(i) + 2*m(i). Let h be o(0). Is -49 <= h?
True
Suppose 108 - 576 = -6*p. Let j = -75 + p. Which is smaller: j or 40/9?
j
Let z be 30/4*(-8)/(-12). Suppose -11 + 2 = 3*s, -3*s = -2*c + 29. Let n be -2 + -1 + -2 + c. Is n < z?
False
Suppose 3*y + 0*y - 1 = 5*m, -5 = -5*m + 5*y. Let k be (-2)/(-5) + (-2)/2. Which is smaller: m or k?
m
Let h be (1269/470)/(((-48)/(-70))/(-1)). Which is greater: -4 or h?
h
Let f be (1 - 20)/((-9)/(-18)) - 4. Which is smaller: -43 or f?
-43
Let y = 11 + 3. Suppose -1 + y = -5*b - 2*h, -3*b - 2*h = 7. Let t be 3 + (b - -1) + -3. Is 6 bigger than t?
True
Let i be (-21684)/(-42) + (-7)/((-196)/(-8)). Is i less than 516?
False
Suppose -5*u + 6*u = 3*f + 5, -4*u - 2*f + 48 = 0. Let r be (-4)/(-10) - 280/(-25). Is u equal to r?
False
Let d = -16860660 + 6373325131/378. Let z = 159/14 + d. Is z < -1?
False
Suppose 2*c - j = -0*j + 92, -235 = -5*c + 5*j. Suppose 47*w = c*w + 8. Do 8 and w have the same value?
False
Let p(x) = -x**3 + 6*x**2 - 2*x - 2. Suppose 4*u - 4 = -2*j, j + 0*j = 5*u + 37. Let l = 18 - j. Let q be p(l). Which is bigger: -15 or q?
q
Suppose 0*q = 7*q + 133. Let a = q - -22. Suppose a*x - 6*x + 37 = -5*w, 5*x + 2*w - 10 = 0. Is x greater than 5?
False
Let f = 230 - 228. Is 30/17 < f?
True
Let x be (1/9)/(1/(-2)). Suppose -6 + 28 = 4*d - 2*s, 0 = 5*d - 5*s - 15. Suppose 0 = 3*g - 5*v - d - 10, v = -5*g + 2. Is x greater than g?
False
Suppose -2*p - l - 55 = 0, -3*p - 3*l = 15 + 72. Let b be ((-2)/(-6))/(p*(-5)/(-12)). Which is greater: b or 1?
1
Suppose 20 = -4*g, -12*m + 14*m - 5*g = 21. Which is greater: 283 or m?
283
Suppose 33*a - 729 = 690. Which is smaller: a or 51?
a
Let j = 6 + -2. Let x be (7/2 - 4)/((-1)/26). Suppose 2*r + 4 + 2 = 2*u, -j*r + 5*u - x = 0. Does r = 5?
False
Let f be -1*((-2)/8 + (-22)/8). Let v be -4 - (1 + f + -2). Is v greater than -6?
False
Suppose x - 2*y + 5*y = 0, -3*y - 30 = -4*x. Suppose x*s = -11 - 1. Let g = 17 + -19. Are s and g nonequal?
False
Let s = 23.027 + -0.027. Let b = 21 - s. Let x = 5.9 - 6. Is b < x?
True
Let i be -2*3/(8 + -2). Let b be (i - -4)*(-2)/(-3). Let a be (-3)/(-36)*(b + 49). Which is greater: 4 or a?
a
Let f = -530533/95160 - 385/488. Let l = -2/65 - f. Suppose -3*d = -4*v - d + 22, -v - 2*d + 3 = 0. Which is greater: v or l?
l
Let g = 202 - 320. Let i be -3 + 4/(-12) + g/(-3). Does 36 = i?
True
Let k be 93/2*(144/(-27) - -4). Is k greater than or equal to -60?
False
Let j be 2 - (153594/(-19470))/(-3). Let m = 2/295 - j. Which is smaller: 2 or m?
m
Let a be 3/(-12) - (-1)/(-28). Let q be (-15)/(-2) + 12/8. Let t(h) = -h**3 + 8*h**2 + 8*h + 15. Let y be t(q). Are a and y non-equal?
True
Let d = 19.19 - -0.81. Which is greater: -3 or d?
d
Let b be 6/2 + 0 + -4. Let g = -173 + 2596/15. Are b and g equal?
False
Let f = 36 + -28. Suppose 0 = -3*w + w - f. Let k be w + (-9)/((-36)/40). Which is smaller: k or 14/3?
14/3
Suppose 0 = c + 1 - 11. Let j = -84 + 59. Let f = j + 73/3. Is c greater than f?
True
Let b = -114 - -39. Let c = -75.01 - b. Let w = -1 + 0. Is c >= w?
True
Let y = 22 + -12. Let r be 2/y*78/(-6). Which is greater: 1 or r?
1
Let p = -2/2437 - 14488/163279. Is p equal to 1?
False
Let j = 1055 - 1516. Is j at least as big as -463?
True
Suppose -4*m - r + 101 = 0, -23 = -m + 2*r - 3*r. Suppose 5*o - 9 = m. Let p be o - 7 - -1*1. Does p = 1/20?
False
Suppose r + 10 = 3*r. Suppose -4*j - 4*x + 6 - 2 = 0, -j + 3*x = -9. Is j equal to r?
False
Let m(l) = -l - 9. Let h be m(-9). Suppose 3*s - 3 = -h. Which is greater: 3 or s?
3
Let r = -152 - -156. Suppose -n = s - 20, r*s - 3*s = -5*n + 104. Which is bigger: 19 or n?
n
Let p = 102 + -100. Suppose -5*a = -u + 3*u - 9, -3*a - p*u + 7 = 0. Let m be 2/(-4)*(-1)/(-4). Does a = m?
False
Let i(f) = -f**2 + 25*f - 47. Let c be i(23). Let p be 7/(-21) - 24/(-99). Which is smaller: p or c?
c
Let d = -43 + 46. Let k(t) = t**3 - 5*t**2 + 3. Let c = 9 + -4. Let m be k(c). Are d and m equal?
True
Let h = 2.7 + 9.3. Let w = h - 0. Let a = -11.9 + w. Are -12 and a unequal?
True
Let u(n) = -n**2 + 8*n - 3. Let h be u(5). Suppose -7*j + h*j = 2*j. Is 1/144 at least j?
True
Let f = 374 - 389. Which is smaller: f or -97/7?
f
Suppose -4*d + 5*g - 18 = -0, 0 = 5*g - 10. Let m(h) = -h**2 + 3*h + 2. Let w be m(3). Let r = 1 + w. Is d greater than or equal to r?
False
Let l = 46848 - 5153209/110. Let g = 432 + -4746/11. Let v = l - g. Is -1 greater than v?
False
Suppose -r + 6*r + 20 = 5*p, 0 = -p + 2*r + 6. Suppose -5*b + 18 = 4*h + 1, -2 = h. Suppose 0 = -b*k + 1 + 4. Is p equal to k?
False
Let o = 79.354 + -0.354. Which is smaller: -3 or o?
-3
Let h = -461 - -463. Which is smaller: -9 or h?
-9
Let w = -12 + 13. Let v(z) = 2*z + 2. Let c be v(1). Suppose f = c*f. Is f >= w?
False
Let n be (-66)/(-8)*(-284)/(-213). Which is smaller: -0.06 or n?
-0.06
Let k(j) = -j**3 - 9*j**2 - 8*j - 7. Let x be k(-8). Let a be (-53)/x - (-32)/(-56). Let b(g) = -g - 13. Let t be b(a). Are t and -20 equal?
True
Let a(x) = -x**3 - 10*x**2 + 4*x - 12. Let f(y) = -y + 1. Let r(c) = a(c) + 4*f(c). Let q be r(-10). Let l = -226 + 217. Which is greater: l or q?
q
Let n(z) = -z**3 + 4*z**2 + 1. Let b be n(4). Let h = -157 - -110. Let y = 237/5 + h. Is y greater than or equal to b?
False
Let j be 2/(-5) - (-37)/(-20). Let q be (24/16)/(3/74). Let g = -38 + q. Which is smaller: j or g?
j
Let i(d) be the first derivative of -d**3/3 - 7*d**2/2 + 20*d + 17. Let p be i(-9). Is p greater than 5/4?
True
Let n = 463 + -459. Is 17/6 at most as big as n?
True
Let h be 35*(-5)/(-25) - 1773. Which is bigger: h or -1765?
-1765
Let y = -14 + 6. Let s(u) = -u**3 - 11*u**2 + 12*u + 1. Let n be s(-12). Let p(o) = -9*o + 1. Let z be p(n). Is y smaller than z?
False
Let w = 48.64 + 0.36. Let u = w + -54. Which is bigger: 3/5 or u?
3/5
Let m be ((-5)/(-9) + 20/(-90))*3. Suppose c - 6 = -3*j - 2*j, j + 4 = 5*c. Let o be 2/(-10) + 0/j. Is m greater than or equal to o?
True
Let h be ((-2)/(-10))/(20/24100). Which is bigger: 240 or h?
h
Let s be