2. Let v be f(-1). Which is bigger: 25 or v?
v
Let x(o) = -6*o - 15. Let c be x(-12). Which is smaller: 56 or c?
56
Let p = 44 - 65. Let b = 31 - 51. Which is bigger: b or p?
b
Let i(w) = -2*w**3 - w**2 + 3*w - 1. Let p be i(0). Suppose -3*f - 6 = 3. Let c = -4 - f. Is p bigger than c?
False
Suppose 3*b = -b + 8. Suppose -b*d = -11 - 3. Does d = 7?
True
Let h = -116 - -120. Is h smaller than 11/4?
False
Let w be -107 - 12/(-4*1). Let a = -22771/153 + 764/17. Let i = w - a. Is i at most as big as 0?
True
Let t be -2 - (3 + 25/(-5)). Which is smaller: -3/41 or t?
-3/41
Let x(k) = -k**3 - 8*k**2 - 8*k - 3. Let a be x(-7). Suppose 2*u + 2*w = a, -4 = -u - 2*w + 1. Is -1 greater than u?
False
Suppose -3*y + 2*y = 3*b + 7, -4*y - b = -16. Suppose -4*z + 3*j - y*j = -10, 2*z = -3*j + 11. Suppose -l - l = -7*l. Which is smaller: l or z?
l
Let n = 1 + 0. Let u be 2 + n*0/(-3). Which is smaller: u or 5/4?
5/4
Let z(p) = 3*p**3 - 5*p**2 - 3*p - 3. Let x be z(4). Which is smaller: x or 98?
x
Let l = 4 + -3.8. Let w = -1566/13 + 233360/1937. Let n = w - 308/745. Which is bigger: n or l?
l
Let m be ((-2)/(-21))/(6/42). Which is greater: m or -84?
m
Let i(p) = 2*p + 7. Let l be i(-9). Suppose 0 = -5*s + 3*h - h - 49, -s = 2*h + 17. Is l smaller than s?
False
Suppose -12*w + 14*w - 6 = 0. Is w <= 26/11?
False
Let a = -19 - -38. Is 19 greater than or equal to a?
True
Suppose -15 = -3*z, -4*g + 49 = -4*z + 13. Let h = 29 - g. Let f be 5/(h/2)*6. Which is smaller: f or 1?
1
Let n = 8 - 5. Let h = n - 0. Is h greater than or equal to 2/9?
True
Suppose k = -3*m + 11, -2*k + k = 5*m - 17. Which is smaller: k or 11/4?
k
Suppose 2*c = -c + 30. Let v be (10/25)/((-18)/c). Which is greater: v or 1?
1
Let x(k) = -k**2 - 4*k - 4. Let v be x(-2). Let n be -1 - (-1*2)/2. Let w be (-2)/(-3) + n/2. Is v != w?
True
Let x = -7.8 + 17.8. Let h = 21 + -11. Let v = x - h. Is -1 != v?
True
Let y = 2 - 4. Are -4 and y equal?
False
Let b be 3/12 - 70/(-8). Let p be (-3)/b - (-5894)/60. Let m = -98 + p. Which is bigger: m or 0?
0
Let s = -0.5 + 0. Let k = s + -1.5. Which is smaller: 0.1 or k?
k
Suppose 3*y - 6*y + 15 = 0. Suppose -21*j = -22*j + 3. Is j smaller than y?
True
Let u = -63 - -63.11. Which is smaller: 2/7 or u?
u
Let i be (-116)/(-35) + (-20)/(-50). Is i < 5?
True
Let t = 92/5 - 94/5. Is 0 bigger than t?
True
Let a = -15 + 21. Suppose 0 = a*u - u. Let b = 3 - 4. Which is bigger: b or u?
u
Let a = 6 + -1. Suppose -5 = 2*n + a*v - 3, 5*n - 14 = -3*v. Suppose -t - 16 = -3*b, -4*t - b = 3 - n. Are -0.1 and t equal?
False
Let n be (5 + -7)*(-1)/2. Is 3 smaller than n?
False
Let b be 0/(24/(-14) + (-4)/14). Which is smaller: b or 6/5?
b
Let w(x) = -2*x**3 - 13*x**2 + 6*x - 2. Let h be w(-7). Let z be 10/h*2/4. Suppose -3*k - 5 = 1. Is z greater than k?
True
Suppose -4*s + 16 = 0, 5*f - 3*s - 19 - 24 = 0. Let z = 0 - f. Which is bigger: -12 or z?
z
Let o be 153/105 - (-12)/30. Which is smaller: 2 or o?
o
Let y = -1.1 - -0.1. Which is smaller: y or -10?
-10
Let z = 14.2 - 14.1. Is z smaller than 67?
True
Let g = -4 - -9. Suppose -4*i = -5*f - 115, -i + 2*i - 27 = 3*f. Suppose -5*w + i = -0*w. Is g at most as big as w?
True
Let q = 3 - 4. Let f = -4 + 5. Let k be ((-6)/(-7) - f)*-2. Are k and q equal?
False
Suppose -5 + 1 = 4*o. Suppose -p + 3*c + 7 - 16 = 0, 0 = -2*p + 5*c - 15. Which is smaller: o or p?
o
Suppose -4 = g - 4*q - 49, -79 = -3*g - 2*q. Do g and 27 have different values?
True
Let j(w) = w**2 - 4*w - 1. Let c be j(4). Let h = -24/29 - -4/145. Is c < h?
True
Let k = 14 + -16. Which is bigger: k or -3/23?
-3/23
Let n = 63 - 51. Which is greater: 14 or n?
14
Let q = -5/8 - -7/24. Let a = 45/2 + -21. Is a less than q?
False
Let x(b) = b**2 - 1. Let q be x(0). Suppose -w - 17 = 3*w - 3*s, -4*w = 2*s + 2. Which is smaller: q or w?
w
Let n = -2.26 - -2.4. Let s be (-1 - -2) + -2 + 1. Is s <= n?
True
Suppose 0 = -v + 5*v - 24. Suppose -4*t - 4*l = -24, -2*t - 6*l + 10 = -2*l. Which is bigger: t or v?
t
Let h(w) = -w**3 - 3*w**2 + w + 2. Let f be h(-3). Which is bigger: f or 3?
3
Let u = 77 - 61. Is 16 at most as big as u?
True
Let g be (-168)/(-294)*(-2)/(-4). Let y = 0 + 0.1. Which is smaller: g or y?
y
Let f = -1.54 - -3.54. Which is greater: f or -0.19?
f
Let h be (-2)/4*82 - 0. Let q be -2 + h/(-11) + -2. Are 0 and q equal?
False
Suppose 0 = -3*k + 7*k. Let w(j) = -2*j + 8. Let q be w(k). Are 7 and q non-equal?
True
Let y = 0 - -3. Let d = y - 2. Let t be 2*(d + -2)/2. Is t > -1?
False
Let h(o) = -1. Let p(g) = 2*g - 5. Let j(v) = -6*h(v) + p(v). Let q be j(2). Suppose 2*f = q*f. Which is smaller: f or -3?
-3
Let y = 8 + -9. Is y > 0.8?
False
Let v = -141 + 73. Is -68 <= v?
True
Let a be ((-12)/8)/((-2)/8). Suppose u - a = -2*u. Which is bigger: u or 1?
u
Let x = -0.27 - -1.27. Is x at most as big as 4?
True
Let l = -106 + -212. Let u be l/(-81) - 12/3. Which is smaller: u or 1?
u
Let v = 2 - 2. Suppose 6*m = -0*m - 0*m. Is v at most as big as m?
True
Suppose -8*t + 8*t = 8*t. Let c be (-1)/(-3)*1*9. Which is smaller: c or t?
t
Suppose -v = 4*s - s - 6, -2*s = 4*v - 4. Is -1/11 greater than v?
False
Suppose -4*n - 24 = 2*u, -4*n - u + 2*u - 18 = 0. Suppose -10*c + 90 = -28*c. Is c greater than n?
False
Let a = -0.005 - 2.895. Let f = a + 3. Let p(q) = -q**3 + 9*q**2 - q + 8. Let v be p(9). Which is smaller: f or v?
v
Let t be 93/6 - 1 - 0. Is t != 1?
True
Suppose h - 5 = -0, h = -2*s + 11. Let v be s/(-6)*(0 - -38). Is v at most -19?
True
Suppose -10 = -24*p + 23*p. Which is smaller: p or 0?
0
Let z = -14 + 13. Let g = -1 - -0.9. Is g equal to z?
False
Suppose -2*p = 2*p + 5*h + 20, -2*p - 8 = 2*h. Is p at most 1/9?
True
Let m = -0.61 + 0.32. Let n = -0.21 + m. Which is smaller: 0.1 or n?
n
Let b(l) = 3*l**2 - 2*l. Let a be b(5). Let q = 324/5 - a. Which is bigger: q or -1?
q
Let s = -7 + 9. Suppose 5 = -s*c + 7*c. Which is smaller: c or -1?
-1
Let j be 0/1 + 3 + 1. Suppose -4*q - 14 = 2*p + p, -28 = -4*p + j*q. Suppose 2 = -z + p*z. Which is smaller: z or 1?
1
Let x = -0.04 - 3.96. Let s = 4 + x. Let m = -0.1 + s. Is 0 less than m?
False
Suppose 3*q - 9 = 3. Is q <= 0?
False
Let p be (-8 - -10) + (-106)/5. Are -20 and p equal?
False
Let w = -18 + 20. Which is smaller: 15/7 or w?
w
Suppose a = -3*a + 4. Let u = 49 + -43. Let j be 3/u + a/2. Which is smaller: 2/17 or j?
2/17
Let o = -7 - -20. Which is smaller: o or 12?
12
Let o(k) = 2*k - 5. Let x be o(6). Is 8 < x?
False
Let r = 19 + -20.02. Let v = -1 - r. Which is smaller: v or -1/2?
-1/2
Suppose 3*t = -3 - 3. Let w be -3 + 4 + (-2)/t. Suppose 5 - 2 = j. Which is smaller: j or w?
w
Let q(f) = -1. Let w(n) = n + 6. Let j(x) = -11*q(x) - 2*w(x). Let h be j(-1). Let k = 41/105 - 4/21. Which is greater: k or h?
h
Let o = -37 + 24. Is o at least -0.1?
False
Let u(w) = -4*w - 7. Let j(f) = 3*f + 7. Let m(o) = 5*j(o) + 4*u(o). Let b be m(9). Is -1/3 at most b?
False
Suppose 33 = 3*r + 36. Is 4/71 bigger than r?
True
Let f be -6*-6*(-1)/4. Let m(n) = 2*n + 6. Let k be m(-8). Is k at least f?
False
Let q be 3*4/18*3. Are 2 and q non-equal?
False
Suppose -3*t = 3*r + 2*r - 25, 33 = 5*t + 4*r. Let k(o) = o - 1. Let q be k(3). Suppose t = -q*i + 7*i. Which is smaller: i or -2/5?
-2/5
Let x = -46 - -16. Let i = x + 26. Is 0 < i?
False
Suppose 4*b + 33 - 1 = 0. Let n = b - -9. Which is smaller: -0.3 or n?
-0.3
Let j = -0.107 + 0.027. Is j less than or equal to 4?
True
Suppose -3*d - 8 = 2*b - 21, 0 = 3*b + d - 9. Suppose 6*m = b*m - 4. Let j be -2 - ((-178)/90 - (-5)/25). Is j equal to m?
False
Let q(x) = -2*x - 1. Let t be q(-1). Let u be (16/(-60))/(4/(-10)). Is t at most as big as u?
False
Let v = 0.172 - 0.072. Which is bigger: v or -10?
v
Let j = -41.83 - -42. Let v = -0.11 + j. Which is smaller: -1 or v?
-1
Let v = -112/19 - -6. Is 0 > v?
False
Suppose -5 = 5*g, -2*g - 6 = 3*u + g. Which is smaller: -4/3 or u?
-4/3
Let u(t) = t - 4. Let g be u(6). Let q = -24 + 10. Let i be (-114)/(-42) - 4/q. Is i != g?
True
Let q(o) = o**2 + 6*o - 7. Let g be q(-7). Which is bigger: g or 1/9?
1/9
Suppose 4*b = 3*b - 2*z + 4, 0 = -2*b + 3*z + 1. Let x(o) = o**3 - 9*o**2 + 9*o - 3. Let u be x(8). Is u greater than b?
True
Let a(k) = -k**2 - 3*k - 2. Let x be a(-3). Let c(u) = 3 - 2*u**2 - u**2 + 5*u**2 + 2*u + u**3. Let s be c(x). Is s sm