ppose 0 = 5*x - 4*x + 3. Let b(h) = -2*h**3 - 4*h**2 - h - 1. Let z(o) = -o**3 - o**2. Let d(s) = x*z(s) + b(s). Let p be d(-1). Which is greater: p or -1?
-1
Let x(p) = p**3 - 3*p**2 - 2. Let d be x(3). Let h be (-6)/d + 1 + -3. Is -1 != h?
True
Suppose -2*y = 3*y - 70. Let a = y - 15. Which is greater: a or -3?
a
Let z be (-5)/15 + 8/(-3). Let a be (-1)/(-5 - (z + 2)). Which is greater: 1 or a?
1
Let o = 338 + -661/2. Is 7 bigger than o?
False
Let r be (-15)/(-4) + (-2)/(-8). Is r equal to 4?
True
Let g = -0.02 + 0.22. Let l = -14 + 14. Which is smaller: g or l?
l
Let l = 4/27 - 13/27. Is -2/5 != l?
True
Let v be (-3)/(-2) + 10/(-4). Which is smaller: -1/26 or v?
v
Let d be (-28482)/(-204) - (-2)/(-4). Let z = d - 139. Is z at most -1?
False
Let z = 388/51 + -23/3. Which is bigger: z or 1?
1
Let r = 7/2 + -27/8. Which is smaller: r or -1?
-1
Let o be ((4/(-8))/(-1))/(18/(-60)). Which is greater: o or -0.02?
-0.02
Let z = 19 + -31. Let o be (z/21)/(6/(-7)). Do 1 and o have the same value?
False
Suppose -g + 0*g + 4 = 0, -4*n = -3*g - 16. Let z be (-2)/n - (-33)/42. Which is smaller: z or 0?
0
Suppose -4*k + 13 = -2*q + k, 5*q - 14 = -3*k. Let b be 18/52 + 5/(-10). Is q >= b?
True
Suppose 20*z = 21*z + 6. Is -6 at most z?
True
Let q = 1 - 2. Let r = 16 - 12. Suppose 0 = 5*o + 3*s + 12, -r*s - 6 = -3*o + 10. Is q <= o?
True
Let m be (3/5)/((-16)/3290). Let j = 123 + m. Which is smaller: j or 1?
j
Suppose 0 = 6*q - 2*q - 12. Let v = q + -1. Let x = -11/5 - -27/10. Are x and v equal?
False
Let p(w) be the second derivative of -w**3/6 + 7*w**2/2 - 5*w. Let l be p(9). Let i(j) = j**3 - 4*j**2 + 3*j - 3. Let k be i(3). Is k less than l?
True
Let d be (1 + 5/(-3))*-6. Suppose u + d*u - 10 = 0. Let r = u - 3. Is -1 smaller than r?
False
Let g = -3 + 6. Suppose -2*x - 14 = g*i, 0*i - 3*i - 16 = 4*x. Let z = i + 3. Is z at least as big as 0?
False
Let d be (6/(-5) + 1)/(-1). Let n = -1 - -1. Let m = 0.1 - n. Is m > d?
False
Let d be ((-9)/(-2))/((-33)/44). Is d equal to -29/4?
False
Let l = -0.045 - -0.225. Which is bigger: l or -3?
l
Let w be (-15)/(1 + 4) + 27. Which is smaller: w or 25?
w
Let l(t) = -6*t**3 - t**2 + t + 1. Let i be l(-1). Suppose -4*p - 1 = -i. Let c = 3.7 - 1.7. Which is smaller: c or p?
p
Let w(y) be the second derivative of -y**5/20 - y**4/4 + 5*y**3/6 + 2*y**2 + 2*y. Let q(f) = f - 15. Let s be q(11). Let r be w(s). Which is bigger: 1/4 or r?
1/4
Suppose -3*w + 5 = -4. Suppose -7 = a - w*l, -5*a + 2*l = -3*l + 5. Suppose -a*y + 1 = -3*y. Which is smaller: y or 0?
y
Suppose 3*a = 2*a. Is a less than or equal to -34?
False
Let o = 84.1 + -84. Which is greater: 0.056 or o?
o
Let k = 54.2 - 60. Let v = 5.3 + 0.7. Let r = v + k. Which is smaller: 2 or r?
r
Let k be (-2)/4 + 6/(-4). Let b be ((0/1)/2)/k. Let u be (b - 0)/((-3)/3). Is -1/4 > u?
False
Suppose 80 + 4 = 3*r. Let u be r/10 + (-1)/(-5). Suppose -u = 5*z - 2*z. Are -3/2 and z equal?
False
Let b be (-49)/(-28) + (-2)/(-8). Let r(y) = -3*y**3 + 4*y**2 - 2*y. Let v be r(b). Let a be (-8)/v*2/(-4). Which is greater: 1 or a?
1
Let o = 89 - 90. Which is greater: -1.1 or o?
o
Let a be (-1)/12*2*4. Let s be (3/(-6))/1*0. Suppose -3*u - 2*u = c + 1, s = 3*u. Is a < c?
False
Let d = -0.1 + 0. Let w = 0.3 + -0.2. Let p = d - w. Is p at least as big as 2?
False
Suppose 4*n = -2*x + 2, 4 = -n - 3*n. Suppose -x*z + 4*z = 0. Let j = -1307/8 + 163. Are j and z equal?
False
Let z be 1 - 0 - (-24)/5. Which is smaller: z or 5?
5
Let u(a) = a**2 + 3*a - 8. Let h be u(-8). Which is smaller: 33 or h?
h
Suppose -2*f + 12 = -4. Is f greater than 8?
False
Let s be (2 + 2)*13/28. Let p = 17/28 - s. Suppose -4*x + 4 - 8 = 0. Is x greater than p?
True
Let a be -2 - (1/(-1) - -6). Which is smaller: -9 or a?
-9
Let r(c) = 7*c**3 + 1. Let x be r(1). Suppose x*u = 6*u + 2. Which is bigger: u or 0?
u
Let g be (8/(-12) + -1)*3. Is g at most as big as -25/7?
True
Let b = 123.8 + -124. Are b and -8/5 non-equal?
True
Let s = 329 + -986/3. Suppose -3 - 2 = -5*i. Which is greater: s or i?
i
Let d = -5 + 8. Suppose -z - d = -f, 4*z - 2*f + 12 = -2. Let v = -86/21 - z. Is v bigger than 1?
False
Let n = 6 + 4. Let b = n - 10. Which is greater: 1 or b?
1
Let b be (-7)/(-14)*(-4 - 0). Is b >= -2?
True
Suppose 2*z = 3*b - 4, 0*b = -4*z - 2*b + 24. Let j be ((-5)/3)/(z/(-3)). Is 0 bigger than j?
False
Suppose -j + 0 + 5 = 3*k, 2*j + 8 = 0. Suppose h = -k*h + 8. Let w be (-3 + -2)*(-2)/(-5). Which is smaller: h or w?
w
Let f(o) = 18*o**2 - 2*o + 1. Let h be f(1). Suppose h*w + 6 = 16*w. Are w and -6 nonequal?
False
Suppose -g = 4*f + 5, 5*g + 3*f = 2*f + 13. Let w = 4 - g. Let s be ((-1)/(-4))/(w/4). Is s >= 1?
True
Let u(q) = q**3 - 3*q**2 + 3*q - 3. Let x be u(3). Is x > 6?
False
Let m be (2/400)/(15/(-6) + 2). Which is smaller: m or 1?
m
Suppose 1 = f - 1. Let j = -4 - -10. Let r(i) = -i**3 + 7*i**2 - 7*i + 10. Let u be r(j). Which is smaller: f or u?
f
Suppose 13*t + 91 + 247 = 0. Is t != 1/2?
True
Let b(a) be the second derivative of a**3/6 - 7*a**2/2 - a. Let h be b(5). Let k be h/(-7) + (-9)/7. Is -2/5 less than k?
False
Let q(p) = p**2 + 12*p + 5. Let t be q(-12). Suppose r + t = -4*r. Let n be (0/(-3) - 2)*r. Is 6/11 at least n?
False
Suppose 3*j + 5*v - 23 = 0, -8 = j + 5*v - 29. Suppose 4*x - 3*h - 23 = 0, 2*x + h = -x + 1. Suppose -x + j = -k. Which is smaller: k or 1/2?
1/2
Suppose 0 = -14*v + 13*v + 4. Suppose -3*h = -v*w - 22, -2*h = 6*w - w + 39. Which is smaller: w or -8?
-8
Let m = 1 - -1. Is m greater than or equal to 14/13?
True
Let c = 0.95 - 0.15. Let d = c - 1.8. Is 3 greater than d?
True
Let m(q) = -q**2 - 9*q + 14. Let b be m(-8). Is 22 < b?
False
Suppose 8 + 7 = 5*a. Suppose 6 = 4*t - 6. Suppose 2*x - t*w - 1 - 2 = 0, -3 = x + a*w. Which is smaller: x or -1/6?
-1/6
Let h = 2.48 - 2.6. Which is bigger: -2 or h?
h
Suppose -2*m = 4*q - 82, -4*q + 117 = -2*m - 3*m. Is 23 less than q?
False
Suppose 4*g - m = -27, 4*m = 4*g - 0*m + 12. Let l be g - -12 - (-1 - -4). Is l not equal to 1?
False
Suppose o - 2*x = 4*o - 2, 4*o = -4*x + 4. Suppose -3*b - 2*b - 25 = 0. Let d(h) = h**3 + 6*h**2 + 6*h + 4. Let w be d(b). Is w greater than or equal to o?
False
Suppose -3 = 5*j + 7, v - 5*j - 18 = 0. Let f be (v/114)/((-16)/(-24)). Is f at least as big as 1?
False
Let y = 30 + -29. Are -1/2 and y nonequal?
True
Suppose -98 = z + 2*a, 5*a = 3*z - 4*z - 83. Let b = z - -52. Let m = b - -223/4. Which is bigger: -1 or m?
m
Let p(h) = h**2 + 16*h - 13. Let f be p(-17). Which is greater: 5 or f?
5
Let t = -3 - 19. Let x = 23.3 + t. Let w = x - 1. Is w greater than or equal to 2?
False
Let n be (-5)/20 - 1/(-4). Let d = -41/70 - -3/10. Which is bigger: n or d?
n
Let a(c) = -c**2 + 9*c + 1. Let o be a(8). Let x be -5 + 5 - 6/o. Is 2/3 greater than x?
True
Suppose -2*c = 3*c. Suppose -z - 2 = 3*m, -2*z - 12 = -2*m - 0*z. Let l be (m - 2) + (-10)/(-14). Which is greater: l or c?
c
Suppose 3*n - 3 = 3*f + 6*n, 4*f = 4*n + 20. Suppose -f*b = 3*b - 10. Let h(v) = -v**2 + v + 1. Let c be h(0). Which is smaller: b or c?
c
Let g = 25.2 + -19. Let b = g - 1.2. Is b less than -2/3?
False
Suppose -3*b + 0*b = -6. Suppose 10 = b*n + 4. Let h be (n/(-4))/(9/2). Which is greater: h or -2?
h
Let y(l) = -l + 3. Let k be y(6). Which is smaller: -6 or k?
-6
Let v = -2 + 1. Let f be ((-2)/v)/((-3)/(-6)). Suppose 0 = -w - 4 + 8. Is w >= f?
True
Let v(s) be the third derivative of -s**6/120 - s**5/15 + s**4/8 - s**3 + s**2. Let p be v(-5). Which is smaller: 5 or p?
p
Let c = -8.5 + 8.6. Which is smaller: -1/2 or c?
-1/2
Suppose -q - 5*m = 2 + 1, -4*q + 7 = m. Let h be 27/36 + (1 - q). Let y = 1.1 + -1. Are h and y unequal?
True
Let n = 0 + 0.1. Let f = -4 - -2. Do f and n have the same value?
False
Suppose -2*k - k = 12. Let y be (-10)/(-4) - 2/k. Suppose 0 = -y*g - 3 - 6. Are g and -2 equal?
False
Suppose -4 - 1 = -5*j, 5*k - 3*j = 157. Let p = k + -45. Which is smaller: p or -11?
p
Suppose 3*i + 3*s + 9 = 0, -i + 3*i - 2*s = 10. Let d = -2.4 - 1.6. Is d >= i?
False
Suppose -4*i - 3*p - 6 = 0, 4*p - 2 = -2*i - 0*i. Let d(m) = 3*m - 32. Let b be d(10). Which is smaller: b or i?
i
Let f(j) = 3*j - 1. Let w = 0 + 1. Let d be f(w). Let o = d - 6. Is o at least as big as -5?
True
Let h be 132/(-8) + (-1)/(-2). Let v be (h/(-28))/((-12)/(-14