/59. Which is smaller: b or 1?
b
Let u(i) = -i**3 + 2*i**2 - 7*i + 3. Let k(v) = 2*v**3 - 5*v**2 + 14*v - 6. Let j(l) = -6*k(l) - 11*u(l). Let r be j(7). Which is bigger: 1 or r?
r
Let u be (8/(-12))/((-3)/27). Is 6 >= u?
True
Let p = 0 - 0.1. Let r = -0.9 + p. Let z(m) = -m**3 + 5*m**2 + 5*m + 8. Let s be z(6). Are s and r nonequal?
True
Let f(s) = -2*s - 4. Let j be f(-3). Suppose a = -0*a + j. Let w be a/(-2) - 18/(-14). Is w != -0.1?
True
Let q be ((-1)/(-3))/(1/6). Let j be (1 - 1/1)/q. Let z be 0 + -2 + 16/10. Is z at least as big as j?
False
Let r(n) = n**3 + 3*n**2 + 3*n + 4. Let i be r(-2). Let s be 1/i + (-4)/8. Let b = 54 + -487/9. Do b and s have the same value?
False
Let c = 10 - 24. Is c bigger than -15?
True
Suppose -2*q = q + 3. Let g be q*2 + 4 + -2. Suppose g*d + d + 1 = 0. Which is smaller: d or -2/5?
d
Let f be (-4)/4*(-1 - 2). Suppose n + 4*k = 3*k + 1, -f*k = 4*n - 7. Let r(o) = o + 8. Let u be r(-4). Is u > n?
False
Suppose -676 = m - 4*h, 0 = -2*m - h - 4*h - 1391. Let v = m - -22709/33. Let o = 124/165 - v. Is o less than or equal to -1?
False
Suppose 5*h + 5*p + 350 = 0, -3*h - 155 - 52 = 4*p. Is h smaller than -73?
False
Let g be 4/5 - (-2)/10. Let m be -1*g + 78/70. Let h = m + 1/35. Which is smaller: h or -1?
-1
Let a(n) = n + 6. Suppose r - 4*j - 12 = 5*r, -4*r = j + 21. Let f be a(r). Which is smaller: -1/16 or f?
-1/16
Let v = -25 - -39. Which is greater: v or -1?
v
Let v be ((-8)/28)/(9/(-7)). Suppose 3*s = 2*s + 6. Suppose 3*k = s*k. Which is greater: k or v?
v
Let a = -107 - -113. Which is bigger: 5 or a?
a
Let z(w) = -w**3 - 8*w**2 - 8*w. Let q be z(-7). Suppose 32 = -3*p - 5*r + q, 0 = -2*p + 5*r + 25. Which is smaller: 2 or p?
p
Suppose 0*z = -3*z - 3. Let u be z/(16/6 - 3). Are -1 and u equal?
False
Suppose -2*k + 25 = 3*k. Suppose 7*c = 2*c + 3*u + k, 2*u = 0. Let x = 62 + -184/3. Which is smaller: x or c?
x
Let b(m) = 2369*m - 3. Let x be b(-3). Let l = x - -234220/33. Let s = l - -37/3. Which is smaller: s or 1?
s
Let s = -1 - -1. Let c(k) = k**2 - 5*k - 7. Let d be c(6). Let l = d + 2. Which is bigger: l or s?
l
Suppose c - 3 = -31. Let p = c - -82/3. Is p != 0?
True
Suppose -3*j = 2 - 8. Suppose 3*x - 7 - 2 = j*y, 3*x - 3 = 0. Let k(b) = -b - 1. Let h be k(y). Which is greater: 0 or h?
h
Suppose 0 = v + 3*u - 13 + 3, -3*v + 9 = 2*u. Suppose -2 = 3*l - 62. Does v = l?
False
Let n be 3 - 32/18 - 1. Which is smaller: 0 or n?
0
Let p = -3 - 1. Let y be (p/3)/(3/9). Suppose -5*s + 6*s + 12 = -2*z, -17 = 3*z + s. Which is greater: z or y?
y
Let p = -6 - -11. Is p equal to 5?
True
Suppose 0 = -11*c + 5 + 6. Which is bigger: c or 4/49?
c
Let b be (11/(-33))/(2/(-12)). Is 6 != b?
True
Let r(m) be the second derivative of m**7/2520 + m**6/360 - m**4/4 + 3*m. Let o(c) be the third derivative of r(c). Let z be o(-3). Which is smaller: 7/3 or z?
7/3
Let s(i) = i**2 - 16*i - 25. Let g be s(18). Which is greater: 1/3 or g?
g
Let x(z) = -z**2 + 7*z - 2. Let i be x(6). Suppose -3*k + 4*k + 10 = -5*p, 2*p + 4 = -i*k. Which is smaller: p or 2?
p
Let c(u) = -u**2 + 8*u - 2. Let x be c(8). Let k be (-2)/(-4) - 1/x. Which is smaller: k or 2/11?
2/11
Let q = 4 + -2. Let n be 1/4*-2*q. Let o = 56.9 - 57. Which is smaller: o or n?
n
Suppose 3 + 1 = 4*k. Suppose 23 = z + 3*q, 3*q - 87 = -3*z - 0*z. Let t = z + -286/9. Is t greater than or equal to k?
False
Let p be (-144)/(-10) - (-6)/(-15). Suppose -p*f = -10*f. Let j be (-6)/(-9)*18/(-20). Is j less than f?
True
Let c be (-1)/(-4) - 14/(-8). Let j be 5*(1 - -1 - (-10)/(-2)). Let x be c/(-54)*j/5. Which is greater: x or -1?
x
Let r = 7.04 - 0.04. Let t = 8.1 - r. Let o = t + -1. Which is greater: 1 or o?
1
Suppose 5*z = -5, -3*t = 4*z + 9 - 2. Suppose 11*k - 6*k = -200. Let w be k/(-385) + 2/(-7). Which is smaller: t or w?
t
Let k(n) = n**3 + n**2 - 3*n - 2. Suppose -f - 2 = -0. Let p be k(f). Which is greater: p or -1?
p
Let b be 15/6*(-6)/(-5). Let p(t) = -2*t**3 - 2*t**2 + t - 1. Let h be p(-2). Is h equal to b?
False
Let p = 0.5 + -0.5. Let g = p - 0.6. Let f = -0.5 - g. Is f <= -2/7?
False
Let l(z) = -z**2 - 3. Let h be l(0). Let n(f) = f**2 + 3*f. Let t be n(h). Which is bigger: t or -2?
t
Let g = 24 - 35. Let y = 15 + g. Suppose 0 = -4*v + 2*u - 16, 0 = -7*v + 2*v - y*u + 6. Which is bigger: v or -1?
-1
Let u be -2*4/8 - 0. Let j be (-1 + -2)/6*u. Let q(y) = -y. Let a be q(0). Which is greater: j or a?
j
Suppose -5*j + 4*h = -4*j - 35, 66 = 3*j + h. Suppose -4*l - 3 = -j. Let r = l - 3. Is 3 at least as big as r?
True
Suppose -2*v - 2 + 10 = 4*g, -3*g + 4*v = -28. Suppose 0 = -3*j - g*f + 19 - 4, 2*j = f - 1. Let x = -34 - -104/3. Which is smaller: j or x?
x
Suppose -3*b - 2*b = 15. Let a be (-2)/b - (0 + 0). Let y = -68.7 + 69. Do y and a have the same value?
False
Let q be 3/(2 + 519/(-264)). Is q smaller than 88?
False
Let v = -3937/24 - -164. Which is bigger: v or 0?
0
Let z(g) = -g**3 + 5*g**2 + 4*g. Let h be z(6). Let s be 1/(-8)*(6 + h). Which is bigger: s or 1?
1
Let c be -2*(-1)/(-2)*3. Let f be (c/2)/(9/(-4)). Is 2 equal to f?
False
Let q be (-11)/(-40) - 4/10. Let c = -2.27 + 2.47. Is q not equal to c?
True
Let w = 36 - 26.9. Let j = -9 + w. Which is greater: j or 1/5?
1/5
Let b be (-15)/(-30)*(-2)/(-7). Is -1 at least b?
False
Suppose b = -2*y + 27, -b + 17 = -3*y + 50. Let t = y - 11. Which is smaller: t or 1/12?
1/12
Suppose -4*d = -6 + 18. Let o be (-8)/d*(-12)/8. Suppose -3*i + 6*i + 6 = 0. Which is smaller: i or o?
o
Let w be (6/(-8))/((-1)/4). Is w < 3?
False
Let z be (-12)/(-105)*(-5)/(-2). Let y = 3077/948 - -1/237. Let f = y + -15/4. Which is smaller: f or z?
f
Suppose -2*i - i = 0. Is 25 at least as big as i?
True
Let i = -142 - -119. Which is greater: i or 0.2?
0.2
Let a = -2.118 + 0.118. Let s = -1 - 2. Is a >= s?
True
Let t be (-4)/18 - (-38)/9. Let d be (4/8)/(2/t). Let f be 9 - 2/d - 3. Which is greater: f or 3?
f
Let x = -1 - -10. Is x <= 9?
True
Let o = -5 - -5.3. Which is smaller: 2/7 or o?
2/7
Let r = 1.51 - -0.19. Let j = r + -0.7. Is 2/11 greater than j?
False
Let z be (-68)/12 - (2 + -1). Which is smaller: z or -6?
z
Let l be 6/9*3/8. Suppose -3*k - 3 = -0*k. Which is greater: l or k?
l
Suppose -3*f + 3*m + 8 = -79, 4*f + m = 96. Let v = f + -17. Suppose -v = -6*j + 2*j. Which is bigger: 3 or j?
3
Suppose 0 = 5*w + 4 + 6. Let v = 1 + 0. Which is smaller: w or v?
w
Let w be -2*4/(-6)*-3. Let q be -3*(5/(-3) + 1). Let n be w/(48/(-26)) - q. Is 1 smaller than n?
False
Suppose -c + 0*u - 11 = 4*u, 5*u = -c - 13. Let y = -16 + 14. Let h = c - y. Is -5 equal to h?
False
Let w = -200/9 - -1472/63. Let a = -3 - -3. Which is greater: w or a?
w
Let m be (3/8)/(12/88). Let r = -5/2 + m. Let o(x) = -x**2 - 5*x - 3. Let g be o(-4). Is g bigger than r?
True
Let o(k) = -k**2 + 3. Let q be o(2). Which is smaller: q or -6/23?
q
Suppose 0*p + 6 = 3*p. Are p and 7 equal?
False
Let x(d) = d - 2. Let a be x(5). Suppose -2*n + 2*l - 12 = 0, -n + 3 = a*l + 5. Let f = n + 3. Which is smaller: -3 or f?
-3
Let s(z) = -2*z**2 + 37*z + 38. Let v be s(18). Is v less than 56?
False
Suppose 8*n + 12 = 2*n. Which is bigger: n or -8/5?
-8/5
Let u = 4/11 - 42/55. Does -2.2 = u?
False
Let b = 1 + 1. Let h = b - 3. Let v be 18/42*2/(-3). Is v bigger than h?
True
Let k be (0 + 2)*(-264)/16. Let y = k + 20. Does y = 0?
False
Let o(l) be the second derivative of -l**4/6 + l**3/2 - 3*l**2/2 - l. Let p be o(2). Is -4 at least as big as p?
True
Let r = -0.14 + 0.19. Which is bigger: 1 or r?
1
Let a = 25 + -13. Suppose -59 = -5*c + 1. Is c < a?
False
Let s = -197 + 192. Let f = 32/15 + -14/5. Is f at least s?
True
Let a(b) = -b**3 + 18*b**2 - 16*b - 14. Let t be a(17). Which is greater: t or 9/5?
t
Let s(w) be the second derivative of w**4/12 + w**3 - 4*w**2 + 2*w. Let m be s(-8). Let b be 6/8 - (-2)/m. Are -2/11 and b unequal?
True
Suppose -4*a + 2*a = 26. Are -13 and a unequal?
False
Suppose 0 - 105 = -5*i. Let v = 17 - i. Which is greater: -17/5 or v?
-17/5
Let x = 0.2 - 0.1. Let z = 0.9 + x. Let o = 10 + -7. Is o greater than or equal to z?
True
Let w be (-1 - 1)*24/(-16). Let c = -1 + 3. Suppose -3*h + 10 = c*h. Which is bigger: w or h?
w
Let x = -74 + 46. Let k be 8/x - (-48)/70. Is 0 at most k?
True
Let h be (99/6)/3 + 9 + -13. Is 2 < h?
False
Let z(t) = -12*t**2 -