n - 33. Let f(c) = -5*c + 11. Let y(s) = -17*f(s) - 6*u(s). Let a be y(-10). Which is bigger: a or -0.1?
a
Let s = -0.076 + 0.006. Is 5 equal to s?
False
Let u = 4 - 4. Suppose -y + 16 = -u*y + 4*c, -3*c + 12 = 2*y. Let w = y + -3. Is w less than or equal to -1?
True
Suppose -5*i + 0*i = 30. Let u = -13 + 13. Suppose 20 = 4*z, 0 = p + z - u + 2. Is p equal to i?
False
Suppose 0*j = -4*j - 8. Let q be (2 - 1)*(j + 1). Are q and 0 equal?
False
Suppose 2*g - 2*o = -0*g + 8, 0 = g - 3*o. Let n = g + 6. Is n greater than or equal to 12?
True
Suppose -2 = -3*w - 11. Let g(j) = 7*j. Let c be g(-1). Let o = c + 3. Is w less than or equal to o?
False
Suppose 8*r - 3*r - 5 = 0. Are 3/2 and r equal?
False
Let d = -0.55 + 2.55. Which is bigger: -0.03 or d?
d
Let p = -10.06 - -10. Which is smaller: -6 or p?
-6
Let m = -4 + 3. Let w = 17.28 - -0.72. Is m not equal to w?
True
Let n(t) = -t**2 - 12*t - 15. Let g be n(-10). Let o be 1*2 - (5 + g). Is o smaller than -8?
False
Let a(x) = -x - x**3 - 2*x - 2*x**2 + 2 - 4. Let c be a(-2). Suppose -3*u = -3, 2 = 5*i - c*u + 11. Does -4 = i?
False
Suppose 0 = 4*y + y - 70. Let r = y + -15. Is r greater than or equal to -3/5?
False
Let p = 13 + -14. Which is smaller: 2/63 or p?
p
Let c(a) = a - 4. Let t be c(4). Let d be (6/(-9))/(2/(-9)). Let r = d + -2. Is t at least r?
False
Let o(g) = -g**3 - 2*g**2 - g - 2. Let f be o(-2). Suppose -2*u - 4 = -f. Suppose -15 = -5*a - 5*h, h - 1 = 3. Is u equal to a?
False
Suppose -5*d - 2*n = 3, d + 2*n + 2*n = -15. Let r be ((-6)/(-51))/((-1)/3). Let z = -1/51 - r. Is d at most as big as z?
False
Let v be (-4)/(-14) - (-25)/(-14). Let u(l) be the second derivative of -l**5/20 + l**4 - 11*l**3/6 + l**2/2 - l. Let q be u(11). Which is greater: v or q?
q
Let y(o) be the third derivative of -o**4/3 + o**3/3 + 4*o**2. Let z be y(1). Which is bigger: z or -4?
-4
Let c(i) = 4*i**2. Let u be c(1). Let t be u/(-30)*(-15)/(-10). Let z = -2/35 - t. Which is greater: 1 or z?
1
Let q(f) = -f**3 - 4*f**2 - f + 4. Let v be q(-3). Let l = -48 - -47. Which is greater: v or l?
l
Let v = 31 - 17. Is v at least as big as 0?
True
Suppose 7 = -2*s - 1. Let f = s + 3. Which is bigger: f or -3/4?
-3/4
Let a be 18/20 - (3/(-5) + 0). Is a bigger than 3?
False
Let x be ((-36)/33 + 1)/(4/24). Suppose -2*f - 3*f = 0. Which is smaller: x or f?
x
Suppose 3*k - 2 = 4*k. Let f be -1*(1 + 1*k). Let z = -33/2 + 103/6. Which is greater: z or f?
f
Let z = -6 - -7.4. Let y = 2.3 - z. Let h = y + 0.1. Which is greater: h or -0.1?
h
Suppose -3*i = 5*j - 0*j - 14, -7 = 5*j - 4*i. Suppose -4*x + 2 = -6. Is j at most x?
True
Let q = 28 - 23. Let s be q/(-10)*(0 + 2). Is -1/3 less than s?
False
Let b be (2*1/(-8))/((-65)/312). Are b and -1 equal?
False
Let q = -0.6 + 0.9. Let x = -3.09 - -0.09. Let p = 4 + x. Is q greater than or equal to p?
False
Let t(f) = f**2 + 4*f - 8. Let v be t(-6). Suppose p = -2 + v. Is p not equal to 1?
True
Let f = 6 - 4. Let r = -11 - -16. Suppose -4*b = -2*t - 2*t - 28, -3*b = r*t + 11. Is f bigger than b?
False
Let s = 46.84 - 46. Let p = s + -1. Let u = 0.06 + p. Which is smaller: 1 or u?
u
Suppose 0 = 5*x + 3*q + 37 + 16, q = 2*x + 30. Which is smaller: -16 or x?
-16
Suppose 0 = 2*r - 7*r + 5. Let x be r + ((-9)/(-1))/3. Which is smaller: 3 or x?
3
Suppose o = 2*j + 18, 2*j - 12 = 6*j. Suppose -y = f + 2*f - 7, 3*y = o. Let s be (2/f)/(-3 - 2). Is 0.1 less than s?
False
Let t = -189 - -1325/7. Let u = -8 + 3. Let w = 7 + u. Is w equal to t?
False
Let v be (-110)/56 + 16/(-56). Is -2 less than v?
False
Let u = -1 + 1. Do u and -1/12 have the same value?
False
Suppose 10 - 7 = -z. Which is smaller: z or -1?
z
Let g be ((-6)/(-5))/(15/(-50)). Let y be 19/(-7) - (1 + g). Is y not equal to 1?
True
Suppose 119 + 97 = 2*n + z, 212 = 2*n + 2*z. Let x be (-48)/n*35/14. Is x <= -2?
False
Suppose -1 = 2*f + 1. Let k be -3 + 114/21 + f. Is 2 equal to k?
False
Let w = 2 - 3. Let k = 1.1 + -0.5. Let z = -0.4 + k. Is w less than z?
True
Let a = 1.1 + 2.9. Let s = -44 - -44.19. Let d = 0.09 - s. Which is smaller: a or d?
d
Suppose 30*b - 28*b + 2 = 0. Is -2/71 at most b?
False
Let b(c) = -c - 9. Let z be b(-6). Let p = 5 + z. Which is greater: p or -0.2?
p
Let g = 83.06 - 84. Let p = g + -0.06. Which is bigger: 2/13 or p?
2/13
Let k(x) = x**3 + 8*x**2 - 10*x - 4. Let a be k(-9). Let v be (-78)/315 - (-1)/a. Let w = v + -2/7. Is w bigger than -0.1?
False
Let k = 0 + -1. Let h = -5 - -9. Let q = h - 0. Is k > q?
False
Let i(n) = -n**3 - 6*n**2 - 6*n - 5. Let y be i(-5). Let j(o) = o**2 - 11*o + 2. Let x be j(11). Is y at most as big as x?
True
Suppose -4*l + 13 + 11 = 0. Suppose 3*c - 18 = -l*d + d, 0 = -4*c + 4. Suppose u + 8 = -2*g - 2, 0 = -2*g - d*u - 14. Are g and -1 equal?
False
Let a be 2/(-3) - (-19)/(-3). Let r be ((12/a)/3)/2. Which is smaller: 1 or r?
r
Let l = -13797 + 4365. Let f = l + 1103525/117. Let n = f - -1/117. Which is smaller: 1 or n?
n
Let r = -4 + 4. Suppose 5*c + h + 20 = -0*h, r = c + 2*h + 13. Is -4 less than or equal to c?
True
Let s = 1.6 - 1.6. Which is bigger: 0.03 or s?
0.03
Let q(v) = 5*v**3 - 2*v**2 - 2. Let r be q(2). Suppose -2*y + r = 8. Is y at least 9?
True
Let o = -8 - -1. Let w = -6.9 - o. Does w = 1/4?
False
Let n = 0 + -1. Suppose 5*i - 3*b = 0, 5*i - 4*b + 0 - 5 = 0. Is n >= i?
True
Suppose 0 = 3*n - 48 - 12. Let y be n/(-3)*(-6)/4. Let t be 1 - 2 - (-16)/y. Is 1 less than t?
False
Let v = -16 + 38. Let q = 763/3 + -254. Which is greater: q or v?
v
Let o(r) be the second derivative of -r**5/20 + r**4/12 - r**3/6 + r**2/2 + 4*r. Let w be o(1). Are w and 10/9 nonequal?
True
Suppose -w + 10 = 4*w. Let a = -378 + 379. Is a not equal to w?
True
Let f(t) = 14*t**2 + t + 2. Let r be f(-3). Let a = 873/7 - r. Which is smaller: 1 or a?
a
Let v = 2 - 0. Suppose -v*y = 3*y + 840. Let c = 836/5 + y. Which is smaller: -2 or c?
-2
Let f(k) = 32*k**3 + 2*k**2 + 3*k. Let h be f(-2). Let t be ((-300)/69)/((-4)/h). Let p = t - -276. Which is smaller: -1 or p?
-1
Let y(r) = -3*r - 23. Let o be y(-7). Is o > -3?
True
Let z = -0.8 + -0.2. Let x = z + 1.2. Let v = x + -0.3. Which is bigger: -1/2 or v?
v
Let t(o) = o**2 + 5*o + 4. Let l be t(-5). Let y be l + -2 + 0/(-2). Which is greater: y or 3/4?
y
Let j = -85603/30 - -2853. Let f = j + -1/15. Which is bigger: 0 or f?
0
Let y be (-1)/(-2)*(-20)/25. Let d = 4 - 6. Which is greater: y or d?
y
Let r(k) = -12*k - 36. Let w be r(-3). Which is smaller: w or -4/3?
-4/3
Let q = 61597/112 + -550. Which is smaller: q or 0?
q
Suppose 5*c - 2 = -4*y, 1 = -2*c - 3*y - 1. Let x = -22 - -24. Do x and c have the same value?
True
Let v = -31 + 27.4. Let j = 4 + v. Let k = -0.01 + 0.21. Which is smaller: k or j?
k
Let g(r) = -r**2 + r + 3. Let x be g(4). Let w(k) = k + 11. Let t be w(x). Is 0 less than t?
True
Let w = -1 + 0.8. Let h = 2 + -6. Let x = h - -5. Which is smaller: x or w?
w
Let w = 2 - -4. Let j = -1.2 + 1.1. Is w smaller than j?
False
Suppose -2*d + 0*d = 0. Let t = 4 - -16. Suppose -5*z + 5*m - t = 0, 2*z + m = -2*z + 9. Is d smaller than z?
True
Suppose -9 = -3*f - 0. Suppose -5*z + 2*i = -17, 3*z - 3*i = -0 + f. Let l = -4 + z. Which is greater: l or 0?
l
Suppose -10 = 2*x + 3*x. Let w be (x/(-4))/((-14)/(-4)). Which is bigger: 1 or w?
1
Suppose 0*h + 5*h + 5 = 0. Which is smaller: -2/47 or h?
h
Suppose 19*j = 2*j + 612. Is j < 36?
False
Let m = -226 - -220. Let p = 0.3 - 0.2. Which is smaller: p or m?
m
Let l be (72/(-56))/(-3)*4/6. Let s = 3363 - 70636/21. Let k = s + l. Which is bigger: 0 or k?
0
Let n = 420/39037 + 18/379. Let u = n + 370/721. Is 0 less than u?
True
Let l = -1 - -1.1. Let m be (-1 - -2)*(-35)/(-5). Which is smaller: m or l?
l
Let u = 3.5 + -6. Let m = u - -2. Let a = m + 0.4. Which is greater: -0.2 or a?
a
Let t(p) = -8*p**2 + 2*p - 26. Let k(s) = -3*s**2 + s - 9. Let n(w) = -11*k(w) + 4*t(w). Suppose 8 = r + r. Let i be n(r). Which is smaller: -2/7 or i?
i
Let c(q) = q**2 - 7*q + 7. Let s be c(6). Which is smaller: -60 or s?
-60
Let l = -555 + 16092/29. Is 0 != l?
True
Suppose 2*k - 6 = 0, 4*b + k = -4*k + 3. Is -2 smaller than b?
False
Suppose -2*u = -3*u. Which is greater: u or 4/7?
4/7
Let h = -16 + 17. Does h = -3/11?
False
Suppose 0 = -r + 4*r + 3. Let c be ((-6)/9)/(r/(-3)). Let s be c/(-8) - (-9)/12. 