-166.805. Let c = -0.005 - p. Which is smaller: c or -1/4?
-1/4
Let j(y) = y**3 - y**2 - 10*y + 17. Let k be j(3). Let b = 10 + -7. Which is smaller: k or b?
b
Suppose 0*x - 2*x = -2*s + 2, 4*s = -x - 6. Let c be 4*(s - (-39)/36). Which is smaller: c or 1?
c
Let g = -21 + 12. Let k be (g/6 - 0)*-2. Suppose k*m + 5*h + 1 = 0, 0*h + 4 = -3*m - 2*h. Which is greater: -8/9 or m?
-8/9
Let m be 6*(-22)/4*4/(-3). Let s = -43 + m. Is 1/17 > s?
False
Let t be 7/35 + (-72)/10. Let o be (t + 5 - (-1 + 0)) + -22. Is -24 != o?
True
Let z = 13.75 + 0.25. Let s = z - 14.8. Let k = 2.6 - 2.6. Is s equal to k?
False
Let u = 44 + -46. Let l be 3/63 + u/6. Let x be 132/(-69) + (5 - 3). Is l smaller than x?
True
Let s = 54 - 76. Let b be 2/4*(7 + -55). Which is smaller: s or b?
b
Let g(h) = -h**3 + 14*h**2 + 13*h + 10. Let k be g(15). Let l be (k/25)/((-924)/460 + 2). Is 91 not equal to l?
True
Let d = 11 + -1. Let w = d - 31/3. Which is smaller: w or 16/3?
w
Let j = -120 - -120. Let w = 15 - 9. Is j > w?
False
Let k be 2/(-3) - (-3272)/(-420). Let n be (40/(-25) - 5) + -1. Let b = k - n. Which is bigger: b or -1?
b
Let l = 2081/5 - 409. Suppose r - 3 = 5. Is l greater than or equal to r?
False
Let t be -15*(-26)/6 - -6. Is t < 66?
False
Suppose 3*j = 2*t + 22, -5*t = -4*j + 33 + 8. Suppose j*o - 94 = 2*u, 2*o - u - 2*u = 45. Let c = -20 + o. Which is smaller: 3 or c?
3
Let v be (7 + -6)*((-2120)/(-25))/(-4). Is v < -2/3?
True
Let a(g) = -2*g**2 + 8*g + 3. Let t = 28 + -22. Let c be a(t). Let z be (-9)/c + 4/(-14). Does z = 1?
False
Let o be (29/((-58)/60))/(-7). Suppose -4*a + 5*d + 2 = 11, 2*d = 2*a + 2. Is a != o?
True
Let o = -0.832 + -0.168. Let f = -31 + 38.8. Which is smaller: o or f?
o
Let z = 88 + -50. Let k = 38.22 - z. Which is greater: -2/5 or k?
k
Let g(f) = f**2 - 11*f + 2. Let y be g(11). Does -15 = y?
False
Let i be 1/(2/(-16))*(-299 - -303). Which is greater: -39 or i?
i
Let l be (8/(-6))/((-52)/39). Suppose -i = -2*g + l - 6, 25 = 4*g + 5*i. Let d(o) = -o - 1. Let c be d(0). Is c equal to g?
False
Suppose -5*h = -2*v + 31, 6*h + 15 = h. Is v greater than or equal to 11?
False
Let b = 50 - 36. Let p be (-12)/b*(-112)/12. Which is greater: 66/7 or p?
66/7
Let c(i) = -i**3 + 4*i**2 - i - 2. Let l be c(3). Suppose -3*r = -l*r. Let m = -0.027 - 2.673. Which is smaller: m or r?
m
Let c(v) = -2*v - 1. Let t be c(-3). Let p be (-5 - -3) + (t - -2). Let b = p - 6. Which is smaller: 2/21 or b?
b
Suppose 9*r = 14*r - 5*k + 905, 3*k + 921 = -5*r. Is -183 greater than or equal to r?
True
Let q(t) = -3*t**2 + 10*t - 5. Let c be q(-5). Which is smaller: c or -129?
c
Let j be 2*(3 - (-1)/(2 + -1)). Suppose -3*q + 3 = k, 4*k + j = -4*q + 2*q. Which is smaller: k or -7?
-7
Let s = -1083 - -1082. Are s and -1/355 nonequal?
True
Let h be 8/52 + 10759741/2925. Let n = h + -37366/9. Let l = 473 + n. Is l > 0?
False
Let a = -2.6 + 0.1. Let b = 1.6 + a. Let g = 1 + b. Is 0.1 greater than or equal to g?
True
Suppose 0 = 32*i - 36*i. Let s be 4/40*(-25)/10. Which is smaller: i or s?
s
Suppose -v - 4*c + 2 = 20, -2 = -3*v + 2*c. Let x be 1 + v/4*-10. Which is bigger: x or 4?
x
Suppose 5*k + 25 = 0, 0*k + 194 = 4*h + 2*k. Let o = -152/3 + h. Does o = 3.3?
False
Let j = 0.13 - 0.93. Let r = 17.2 + -19. Let d = r - j. Which is smaller: 12 or d?
d
Let w be 120/14 - 115/161. Which is smaller: w or 8?
w
Suppose 0 = 5*u + 5*o, 2*u - 1 = -6*o + 5*o. Is 2/255 greater than or equal to u?
False
Let t be (-2 + 4/3)/2. Let j be (0/1)/(2 - (-2)/(-2)). Suppose 5*k - 2*v - 11 = -j*v, 0 = 3*v + 9. Is k > t?
True
Let j = -4 + 6. Let l be 91/42 - (6/(-4))/(-3). Is l > j?
False
Let j be 37/296 - 7/48. Is 1 bigger than j?
True
Let q = -7 - 1. Let s be q + 7 - (-186)/190. Is 1 <= s?
False
Let d(k) = -2*k**3 + 126*k**2 - 132*k + 90. Let q be d(62). Which is bigger: q or -407?
q
Let t = -252 - -255. Which is smaller: 4 or t?
t
Let l(f) be the third derivative of 23*f**4/24 + 38*f**2. Let q be l(-1). Is q at least -24?
True
Suppose 80 = 3*y + i, 6*y - y + 3*i = 132. Are y and 38 nonequal?
True
Let p = -74/3 + 9475/384. Which is bigger: p or 1?
1
Let t = -50 + 30. Which is smaller: t or -37?
-37
Let l be 12/16*6/9. Suppose 0 = r - 3*c + 25, -3*c - 19 - 4 = 2*r. Let f = r + 17. Which is greater: l or f?
f
Let d = -0.05 + 0.07. Let b = -1.02 + d. Let i = -169.73 + 170. Is i < b?
False
Suppose m - 2*s = -4*m + 19, 0 = 2*s + 4. Suppose -z + 5*z = -3*i + 77, -m*i = z - 62. Which is smaller: -1 or i?
-1
Let i(z) = -26*z + 38. Let w be i(3). Is w equal to 3?
False
Let l = 100 + -153. Let z = 52.79 + l. Let u = z - 0.79. Which is smaller: -2/5 or u?
u
Let r be (1/(-872))/(182/(-104)). Is 0 at most r?
True
Let h = -470 - -410. Which is smaller: h or 4?
h
Let x be (32/(-24))/(1/3). Let c be ((-1)/2)/(8/(-160)). Suppose -p - 4*w = -c, 2*p + 8 + 20 = 4*w. Is p greater than or equal to x?
False
Let q be -45*4/14*7/(-2). Which is bigger: q or 232/5?
232/5
Let f = -0.112 - -64.112. Let o = -63.9 + f. Which is bigger: o or -80?
o
Let r be ((-6)/40)/((-3)/2). Let s = -19 + 3. Let y = s + 17. Which is greater: y or r?
y
Let j = 428 - 426. Let a = 5 - 2. Let u be ((-38)/741)/(j/a). Is u not equal to 0?
True
Let a(n) be the first derivative of -22*n**3/3 - 2*n - 1. Let t be a(3). Let q = t - -1802/9. Which is greater: 6 or q?
6
Let g(p) be the second derivative of p**5/20 - p**4 - 2*p**2 + p. Let a be g(12). Let c be 3/a*3/(-9). Is -7/5 less than or equal to c?
True
Let y(s) = 10*s**2 - 2*s + 16. Let j be y(4). Let d = 1851/11 - j. Which is smaller: 0 or d?
0
Let g be 56/72 - 1 - 2344/(-18). Which is smaller: 132 or g?
g
Let j be (-4)/14 + (-6 - 9438/42). Which is bigger: -230 or j?
-230
Suppose -14*p + 42 = 42. Does p = -6/23?
False
Suppose -4*o - 1083 = -3*m, -6*m + 7*m - 4*o - 369 = 0. Which is smaller: m or 358?
m
Let a = 0.79 - 19.49. Is -1 at least a?
True
Let l = 741.41 + -736. Let c = -48.41 + 48. Let m = c + l. Which is bigger: -3/8 or m?
m
Suppose -3*z - 5*d - 5 = 0, 5*z + 4*d + 7 = 16. Suppose z*p + 46 = -2*l + 2, -5*l - 110 = -2*p. Is -24 < l?
True
Suppose -145 = -4*l - 25. Suppose -5*p - 16 - 12 = -3*x, 5*p + l = 5*x. Is -2/61 > x?
False
Suppose -60 = 5*r - 5*j, -2*j - 54 = 3*r + j. Suppose -9*y - 2*y + 165 = 0. Let w = y + r. Which is greater: w or 6?
6
Let f be (2/4)/(4 + 207/(-42)). Is -1 at most f?
True
Let o = -20076 - -401521/20. Let s(n) = -n. Let r be s(0). Which is smaller: o or r?
r
Let z be -2*(14/(-8) - -2). Which is greater: 83 or z?
83
Let f(l) = l**2 - 5. Suppose -4*d = -2*s - 0*d + 8, 2*s + 4*d + 8 = 0. Let r be f(s). Let v be (r + -1)*8/(-48). Is v <= -2/13?
False
Let w = 202 + -183. Do w and 0.08 have the same value?
False
Let u(v) = -v**2 - v + 12. Let h(i) = -i - 2. Let w be h(-2). Let r be u(w). Suppose 2*g + r = g. Are -12 and g nonequal?
False
Suppose 7 = 5*a - 18. Let g(u) = -3*u**2 - 3*u**2 + 2*u**2 + a*u**2 + 6*u. Let j be g(-5). Which is smaller: j or -4?
j
Let z = -5.796 - -5.8. Let v = -19.996 - z. Is v <= 0.1?
True
Let f be 4/10*435/(-34191). Do -1 and f have the same value?
False
Let o = -785 + 806. Are 18 and o non-equal?
True
Let q = -8 - -13. Suppose -h = h - 2*g, 0 = -q*h + 3*g. Let j be (2 - (-7)/(-3))*h. Which is bigger: -2/17 or j?
j
Suppose 115 = -3*l + 19. Let p be l/(-2) - (0 - 1). Suppose 0 = -i - v - 4*v - p, -20 = 2*i - 4*v. Is -12 not equal to i?
False
Suppose -19 = 4*p - 3*k, -5*p - 22 = -p - 2*k. Suppose h + 4*m = -2, 2*m + 8 = 3*h - 0*h. Let g be (2/3)/h - 190/30. Is g at least p?
True
Let f = 33861/5 + -6803. Suppose 3*y - 88 = i, 0*i - 3*i + 15 = 0. Let x = y + f. Which is smaller: 6 or x?
x
Suppose 2*x + 1 = x, i + x - 27 = 0. Let u = -16 + i. Suppose -3 = s - u. Is s at most 9?
True
Let f = 799.4 - 803. Which is greater: -1/4 or f?
-1/4
Suppose 4*t = 20, 8*t = -i + 4*t + 21. Let s = -77 - -846/11. Is s at least as big as i?
False
Suppose -4*n - 57 + 61 = 0, -s - 5*n = -14. Let z = -0.97 + 0.9. Which is smaller: z or s?
z
Let r(i) = i**2 + 10*i + 8. Let w be r(-9). Let l be (w + 3)*66/20. Let f = l - 31/5. Is -1 at least f?
False
Let t = 307.5 - -2158.5. Which is bigger: 0 or t?
t
Let p be ((-4)/6)/(634/5252379). Let g = -5523 - p. Which is greater: -1 or g?
g
Let r be (-15)/4*(2 + -6). Let l = r - 16. Let o be 0 + 1 + -2 + l. Is o at most -5/3?
Tru