 2. Let v(c) = -4 + c**3 - c**2 + 3*c**2 - p*c + 4*c**2. Let u be v(-7). Which is greater: u or -2?
-2
Let m = 7 - 4. Suppose 5 - m = -y. Which is bigger: -3 or y?
y
Let t be (4/14)/(17/1190). Is t <= 56/3?
False
Let v = -3 - -10. Is 6 < v?
True
Let k = -2230 - -9009/4. Is k > 23?
False
Let m be 12/(-14)*(-1)/3. Let n be 1*(-4)/(3 + -4). Let j be (1 - 12/n)/2. Which is smaller: j or m?
j
Let n be -159*(15/(-21))/5. Let b = -23 + n. Let y be (-4)/14 + (-18)/(-14). Is y smaller than b?
False
Let w = 18 - 16. Is 6 greater than or equal to w?
True
Let u(p) = p + 9. Let v be u(-8). Let c be v*(-1)/1*-3. Which is bigger: c or 1?
c
Let i = 9 + -4. Suppose -i*y + 0 = 25. Is y <= -5?
True
Suppose 2*k + 6 = -6. Let l be ((-5)/(-10))/((-1)/k). Let y = 11 - 7. Which is smaller: l or y?
l
Let q = -8 + 10. Suppose 0 = 2*o - 0*o - q. Is o >= 2?
False
Let w(p) = -p**3 + 2*p**2. Let r be w(0). Let z be (-1)/(-1)*-1 + 0. Is r != z?
True
Suppose 6*l = l + 40. Suppose 3*o = l*o - 10. Let y be (2/(-12))/(1/o). Is -0.1 at most as big as y?
False
Let j be (1/2)/(1/(-80)). Which is smaller: -39 or j?
j
Suppose 3*g + 2*g = -25, -5*k - g - 130 = 0. Are -25 and k nonequal?
False
Let p = -7 + 4. Which is greater: p or 2?
2
Let n = -6 - -11. Suppose n*p - 5 = -15. Which is smaller: p or -2/3?
p
Suppose t + 3*g - g - 11 = 0, 5*g + 96 = 4*t. Which is smaller: t or 18?
18
Suppose -5 = -5*o + 2*p + 7, -o + p = 0. Is 0 > o?
False
Let x(a) = a**3 + 5*a**2 + 4*a - 1. Let u be x(-4). Let o be 46/10 + 60/(-100). Is o bigger than u?
True
Let b(u) = -2*u**3 + 3*u**2 - 4*u. Let n be b(3). Let m = 431/11 + n. Which is smaller: 0 or m?
0
Let q(f) = -f**2 + 12*f + 9. Let u be q(9). Let a be 4/(-8) + 10/u. Is 1 less than a?
False
Let a be 17/(-20) + 1/4. Let f be 10/(2 - 0 - 0). Suppose -q - 4*q = 3*s - 4, 4*q - f = -3*s. Is a smaller than q?
False
Let r be (28 - 0)*(-6)/8. Let q = r - -20. Let h be (-2)/(-72) + (-4)/(-18). Which is bigger: h or q?
h
Let i be 4 + (-1 - 8) + 0. Which is greater: i or -4?
-4
Let l be 16*1 - 1 - 2. Let v = l - 9. Suppose v = k + k. Is k at least as big as 5/6?
True
Let w be (11/(-2))/((-18)/8). Which is smaller: w or 3?
w
Let f be ((0 + 1)*4)/1. Suppose -2 = m - f. Suppose -17 = -2*v - 3*r, -5*v + r + 2*r - 10 = 0. Which is bigger: v or m?
m
Let s = -7 + 10. Suppose -3*r - s = 6. Suppose 0*a + 8 = -4*a. Which is greater: r or a?
a
Suppose i = -5*q + q + 36, q - 5*i - 30 = 0. Let v(c) = -c**2 + 11*c - 13. Let a be v(q). Let n = 2 + a. Is 2 at most n?
False
Let a be ((-5)/(-4))/(24/64). Do 3 and a have the same value?
False
Let q be (-1)/(3/(-18)) + 2. Let j(g) be the first derivative of -g**3/3 + 7*g**2/2 + 7*g + 1. Let w be j(q). Is -1 bigger than w?
False
Suppose d + 0*a - 2*a + 8 = 0, 2*a - 32 = 5*d. Let m be 3/d + 3/(-6). Let w be 26/(-12) + -1 + 3. Does m = w?
False
Suppose -3*j + 8 = -19. Is j at most 8?
False
Let m be (12 + -13)*(-4)/(-26). Let r be (-3)/(-4) - (-15)/(-20). Which is bigger: r or m?
r
Let q(b) = b**3 - 5*b**2 + 7*b - 4. Let l be q(3). Let h be (1 - 3/3)/l. Is h at most -8/7?
False
Suppose 0 = 5*i - 3*g + 58, -3*i - 2*i = 5*g + 90. Let a = i - -11. Do a and 1 have the same value?
False
Suppose 0 = -5*i - 25, -2*r + 9 = -i + 2. Let p = r - -2. Which is smaller: p or 0?
0
Let b = -28 - -30.8. Let u = -0.3 + 0.1. Let o = u - b. Which is greater: o or -1/4?
-1/4
Let l be 1*(60/(-14) - -4). Which is greater: l or -0.2?
-0.2
Let h = 10.15 + -0.15. Let i = h - 7. Which is bigger: i or 0.2?
i
Let q = -0.3 - -0.2. Let w = -38.5 + 38. Is q smaller than w?
False
Let f = -4.97 - -5. Let r = f + -0.23. Which is smaller: r or 0?
r
Let o = -20 + 33. Is 12 at most o?
True
Let n = 8 + -3. Let l be 1 + -1 - n/20. Let h = -3 + 2. Is l at least as big as h?
True
Suppose 2*f - 4 = 4*f - 4*p, -4*f - 3 = -3*p. Suppose 2*t - 1 = -3. Which is smaller: f or t?
t
Suppose 5*m + 3*z - 8*z + 30 = 0, 2*m + 17 = 3*z. Let g be (m/(-12))/((-2)/26). Let n = -5/6 - g. Is 2/5 < n?
False
Let g(h) = -h**3 + 2*h**2 + 3*h - 2. Let a be g(3). Let c(k) = 1 - 3*k + 4*k + 2*k - 5*k. Let m be c(a). Which is smaller: m or 2?
2
Let k(l) be the first derivative of -l**4/4 + l**3 + 5*l**2/2 - 2*l - 1. Suppose 8*v + v - 36 = 0. Let z be k(v). Which is smaller: 1 or z?
1
Let n be (-22)/(-55) - (-4)/(-10). Is n at most -2/11?
False
Suppose -2*t + 10 = -z, -t - 12 = -4*t + 3*z. Suppose 5*l - 6*l = -t. Is 8 bigger than l?
True
Let i = -5.01 - -5. Let b = 0.31 + i. Are b and 1/3 equal?
False
Let g = 15 + -21. Let i = -6 - g. Which is smaller: -1 or i?
-1
Let s = 3 + -3. Let h = s + 0. Is 0.2 < h?
False
Let n be (2 + -2)/(-2 + 4). Suppose n = -p - 2*p - 12. Which is greater: p or -3?
-3
Let d(v) = -v**2 + 13*v - 10. Let w be d(10). Is w at most 18?
False
Let q be 2/(-3 - (-7)/3). Let s(b) = b**2 + 2*b - 2. Let y be s(q). Is y at least 2/9?
True
Let o be (-2)/((-40)/(-18) + -2). Let i = -5 - o. Suppose -2*t = h - 5 - 4, 4*h = -t + 15. Do h and i have different values?
True
Let h = 2 + 1. Let l be 1/(-1)*1/h. Suppose -15 = -w + 5*v, -11 = 5*v + 4. Which is bigger: l or w?
w
Suppose 16 = 2*h + 4*c - 12, h - 4*c + 16 = 0. Let v be ((-2)/3)/(h/8). Are -2 and v unequal?
True
Let w = -1 + 5. Suppose -8*y + w = -6*y. Is 3 at least y?
True
Let t be 2/(-4) - 56/(-16). Suppose 4*s + 0*p = t*p - 7, 2*p = 3*s + 4. Which is smaller: 5/7 or s?
5/7
Suppose 0 = -6*d + 10*d - 12. Is d equal to 3?
True
Let r = 0.2 + -0.3. Let v = -2.74 + 2.7. Which is smaller: v or r?
r
Let c = 40 + -198/5. Which is bigger: c or 1?
1
Let f = -75 - -80. Which is greater: f or -5/6?
f
Let p(g) be the third derivative of g**6/60 - g**3/6 - g**2. Let j be p(1). Which is bigger: j or -2/7?
j
Suppose -2*z + 4*z + 10 = 0. Which is smaller: -11/2 or z?
-11/2
Suppose 30 = b - 5*i, 4*b - 3*i - 48 = 4. Is b not equal to 11?
True
Let p be 3/(-2)*(-2)/(-3). Let w(c) = c - 5. Let r be w(7). Let q be 2/14*(3 - r). Are q and p unequal?
True
Let q be 5/(-10) + 15/18. Is -6.2 equal to q?
False
Suppose 2*d + 12 = 3*r - d, 0 = 2*r - 4*d - 14. Let x be 0 - -3 - 12*(-3)/(-27). Which is greater: r or x?
x
Let v(y) = -y + 7. Let s be v(8). Let f = s + 3. Let z(n) = -n - 2. Let o be z(-6). Is o greater than or equal to f?
True
Let d = 6 + -4. Let w = -2 + 3. Let p = 1.1 - w. Which is bigger: p or d?
d
Let u be 48/(-25) + 4 + -2. Is -1 greater than or equal to u?
False
Let p be 648/42*2/3. Which is bigger: 9 or p?
p
Suppose -9 = 3*b - 3*p, 0 = p + 3*p - 16. Which is bigger: -2/43 or b?
b
Suppose -4*j + 191 + 83 = -f, -5*f - 5*j = 1320. Let k be (-2)/10 + (-2 - -269). Let z = k + f. Which is greater: z or 2?
2
Let y(u) = -u - 6. Let l be y(-10). Suppose 4*j - 3 - 17 = 0. Which is greater: j or l?
j
Let x be 184/16*1*2. Let j = x - 8. Are j and 1 unequal?
True
Suppose -4*w + 60 = 4*o, w - 4*o + 4 = 24. Suppose 3*y = -l - 4, 0*y - w = -5*l + 3*y. Which is bigger: 0 or l?
l
Let j = -1.4 - 0.6. Which is smaller: j or 2?
j
Suppose -10 = -s + 5*r, -2*s = 2*s + 3*r - 63. Is s < 14?
False
Suppose 0 = 2*x - 4 - 2. Suppose 4*f - 71 = -k, -2*k - 76 - x = -5*f. Which is smaller: f or 16?
16
Let q = -8/49 - 6/49. Is 0.14 <= q?
False
Let n = -5 - -3. Is n <= -0.04?
True
Let x = -42 + 167/4. Is -1 less than x?
True
Let m be 11 - (-9)/(-3) - (-3 + 3). Let z = 15 + -9. Which is bigger: z or m?
m
Let x(s) = 8*s. Let p be x(1). Do p and 7 have the same value?
False
Let p be (-2)/3 + 1/(-3). Suppose 0 = -48*q + 46*q. Which is bigger: p or q?
q
Let l = 1 - 1. Let n = -10 - -2. Let t be ((-4)/n)/((-1)/(-2)). Which is bigger: l or t?
t
Suppose 3*u + 5 = -1. Let w be 30/25*1/u. Is -2 smaller than w?
True
Let i = -47.6 - -52. Let v = 4 - i. Let w = -0.3 - v. Is w at most as big as 0.2?
True
Suppose 0 = -l - 2*l + 2*x + 2, -4 = -2*l + 4*x. Let v = 10 - 12. Is l greater than v?
True
Suppose -30 = -z + 4*z. Suppose -n - 30 = 2*n. Is z at most as big as n?
True
Let c(q) = q**2 - q - 2. Let f = 7 + -4. Let j be c(f). Suppose -3*u - 6 = 2*s, 0 = j*u - 3*s - 3 - 6. Is -1/6 less than u?
True
Suppose -6 = -4*i + 10. Suppose -4*r - 4*t = i, -4*t - 10 - 6 = -2*r. Is r < 3/2?
False
Let t(g) = 3*g - 2. Let i be t(2). Let r(j) = -j + 7. Let u be r(i). Suppose 11 = u*a + l, 3*a = 8*a + 5*l - 25. Is a > 4?
False
Let j(n) = -n**2 + 2*n + 1. Let y(k) = -k**3 + 13*k**2 - 2. Let m be y(13). Le