et a(c) = -10*c - 11. Let m be a(-2). Suppose -40 = 4*o - m*o. Which is smaller: o or 7?
7
Let n = 10.69 - 11.7. Let x = n - -0.01. Which is bigger: 2/11 or x?
2/11
Let y(u) = -u**2 - 2*u - 1. Let s be y(-3). Let f(q) = -q - 3. Let r be f(s). Suppose -2*n - r = -3. Which is smaller: -1/28 or n?
-1/28
Let f(p) = p**2 - 2*p + 1. Let z be f(0). Suppose 4*q + w = 11, 0 = 5*q + 4*w + z - 23. Let g = -2 + 1. Is g less than q?
True
Let t be (50/15)/(2/(-6)). Let j(o) = o - 3. Let g be j(t). Let p = g - -6. Which is smaller: p or -5?
p
Suppose 0 = 3*p + 3*z + 387, -4*p - 7*z + 4*z = 512. Which is smaller: p or -124?
p
Let v be (-903)/189 + 6/(-27). Which is smaller: v or -4?
v
Let v = 0.063 - 0.063. Let t be ((-3)/12)/(7/4). Which is smaller: t or v?
t
Suppose -15 = -3*w, -h - 3*w = 28 + 38. Let i = -58 - h. Suppose -3*y = 5*b - y - 15, 0 = -2*b + 5*y - i. Is 1 at most as big as b?
True
Let x be ((-68)/20 - -3)*-750. Suppose -240 = -4*h - 4*k + 9*k, 5*h - x = 2*k. Is 59 at least as big as h?
False
Let t = -2 - 9. Let z(m) = m**2 + 7*m + 1. Let y(p) = -p**2 + 2*p - 4. Let f be y(0). Let g be z(f). Are g and t nonequal?
False
Let g = 25 + -18. Let o = -22 + 33. Let u = g - o. Is u greater than or equal to -1?
False
Let r = 16.752 + 0.148. Let v = 135 - 118. Let b = r - v. Which is bigger: 0.08 or b?
0.08
Let g = 1177.4 + -1175. Which is bigger: 1/18 or g?
g
Suppose 110*d = 107*d + 642. Is d not equal to 214?
False
Let n be (-705)/(-2)*2/(-1090). Let m = 23553/9592 - n. Let q = m - 27/8. Which is smaller: q or -1?
-1
Let n be 0 + 0 + (7 - 6). Let s be 1/3 + 532/(-48). Let w = 991/92 + s. Which is smaller: w or n?
w
Let q = -293/570 + 9/190. Let h = q - 2/15. Let o(r) = -r. Let k be o(1). Is k > h?
False
Let u = -0.62 - -0.14. Let k = u - -0.18. Which is smaller: 4 or k?
k
Suppose 3*b - 42 = -2*s + 5*s, -3*b = -5*s - 48. Suppose -y + 0*y + m - 5 = 0, -m - b = 3*y. Let x be 4/((-4)/y) + -28. Does -24 = x?
True
Suppose -37 = -3*u - 1. Let r = 7 - u. Let z = 475/4 - 124. Which is smaller: z or r?
z
Let u(d) = -d**3 - 4*d**2 - 3*d - 2. Let r(z) = -z**2 - 9*z - 3. Let y be r(-9). Let x be u(y). Let i be (-4)/6 - x/(-6). Is -5 at most i?
True
Let c be (-2*5/40)/21. Let i = c - 241/924. Which is smaller: 0 or i?
i
Suppose p + 166 = 2*u, -287 = -3*p + 5*p + 5*u. Let y be p/(-700) + (-2)/14. Which is bigger: y or 1?
1
Let f = 42 - 25. Let x = 1 - 0.85. Let c = x - 0.25. Which is smaller: f or c?
c
Let b = -5.2 - -95.2. Let y = -88 + b. Are 0 and y equal?
False
Let r(n) = n**2 - n - 3. Let d be r(0). Let x(b) = 2*b**2 - 40*b - 7. Let i be x(18). Let g = 77 + i. Are g and d equal?
False
Let k(m) = 2*m - 12. Let x be k(8). Let z(h) = -h**3 - 7*h**2 - 7*h + 1. Let f be z(-7). Let n be 2/x*f/(-15). Which is greater: n or -2?
n
Let s be 38/10 + 7/35. Suppose s*x - 3*x = 0. Let q be 0 + -1*(-1 + x). Which is smaller: q or -1/9?
-1/9
Let m(v) = v**3 - 4*v**2 + 5*v - 10. Let f be m(4). Suppose 3*s + 8 + f = 0. Which is greater: -12 or s?
s
Let r be (-3)/4*(-8 - -4). Suppose 31 = 2*a - 5*p, 0*a - 3*a - r*p = -15. Let l = a + -9. Which is smaller: l or 2/11?
l
Let s = -0.399 + -4.693. Let x = s + 0.092. Let h = 2 - 1. Do x and h have the same value?
False
Let y(z) = -25*z - 2. Let a be y(-1). Let v = a - 24. Which is bigger: v or 3/31?
3/31
Let z = -0.215 + 0.263. Which is smaller: z or -2?
-2
Let q be (-40)/(-240) + 10/(-24). Let j = 81 - 81.33. Is q at least as big as j?
True
Let i = 0.051 - -13.949. Let x = i + -19. Is -10 <= x?
True
Let w = 316 + -464. Which is smaller: w or 1?
w
Suppose -v + 1 = 2. Let p = 241/442 + -5/26. Which is bigger: v or p?
p
Let j = -933.1 - -972. Let i = j - 39. Which is greater: -9 or i?
i
Let m(s) be the second derivative of s**5/20 - s**4/3 + s**3/2 + 3*s**2/2 + 12*s. Suppose -l - 15 = -6*l. Let c be m(l). Is c not equal to 7/2?
True
Let n be -2 + (2 - -1 - 2108/1). Does n = -2108?
False
Suppose -7*z = -3*z + l + 137, l = -5. Let i = -32 - z. Is 3 bigger than i?
True
Let t(s) = -4*s**2 - 14*s - 18. Let v(f) = 5*f**2 + 15*f + 20. Let z(w) = 6*t(w) + 5*v(w). Let j be z(9). Is j greater than or equal to -4?
False
Let z be -1 + (18/(-8))/(-3). Suppose 1 = 28*h - 27*h. Which is greater: h or z?
h
Let y = -296 - -295. Is -1/173 less than or equal to y?
False
Let f = 1.116 + -1.126. Which is greater: 61 or f?
61
Let s = -0.144 - 146.856. Let y = s - -61. Which is greater: -1/2 or y?
-1/2
Let v be (-530)/(-24)*24/99. Let i = v + -54/11. Which is smaller: i or -5?
-5
Let y be (-24)/(-8) + -7 + (-1 - -5). Suppose 0 = -y*s + 2*s + s. Which is greater: s or 6/37?
6/37
Let g = 367 + -163. Which is bigger: g or -1?
g
Suppose 5*k + 6*o - 60 = o, -5*k + 2*o + 46 = 0. Let c be k/28 - 2/(20/5). Let t = 1.4 - 0.4. Which is greater: t or c?
t
Suppose -s + x = 4*s + 22, -2*s = -3*x + 14. Let k be s*1*(-4)/48. Which is smaller: -15 or k?
-15
Let h(l) be the first derivative of l**2/2 - 18*l - 26. Let r be h(18). Is 6 smaller than r?
False
Let t(a) = -10*a + 2. Let l be t(1). Let u be 12/16 + (-74)/l. Let g be u/(-6) + 24/36. Is -3/7 > g?
True
Let v = -5261/8645 + -12/247. Is 0 >= v?
True
Let w be -1*(-11 + (-6)/(-3)). Suppose -3*r - 2*a + 43 = 0, -w*r + 6*r - 5*a = -31. Is 2 > r?
False
Let f = -16.6 + 15.6. Which is bigger: f or 166?
166
Suppose 0 = 5*z + 100*t - 101*t + 5, 0 = -3*z - 3*t + 15. Which is smaller: -85 or z?
-85
Let k(o) = o**2 - 11*o - 6. Let z be k(11). Let f = 3 + z. Let i(v) = -v - 1. Let r be i(1). Which is bigger: f or r?
r
Suppose 100 = -7*l - 320. Is -3 at least l?
True
Suppose 0*r = -3*r + 18. Suppose -4*x = j - 1 - 8, -2*j = -4*x + r. Which is smaller: j or -6/23?
-6/23
Suppose -17*y - 323 = 221. Which is smaller: y or -33?
-33
Let h(x) = -2*x**3 + 4*x**2 - 4. Let v be h(2). Let i(c) = c + 12. Let o be i(v). Which is smaller: 2 or o?
2
Let b be ((-14)/112)/((-1)/(-4)). Is 828 greater than b?
True
Let g(b) = b**3 + 4*b**2 + b + 1. Let i be g(-3). Suppose 3*j + 23 = -4*o + i, 2*o = 4*j + 14. Let n be 5/(75/(-27)) - o. Is -1 > n?
False
Let u = 174817/143820 + -306/235. Let l = 1/36 + u. Suppose -4*y = -2*v - 2, 2*y + 4*v + 3 = -1. Do l and y have different values?
True
Let d = -18 - -27. Suppose 7*a - 90 = -27. Is d equal to a?
True
Let d be 10/(-15)*(-3)/2. Let m be d*3/(-1)*-1. Suppose -2*g - 29 = 5*h, 2*h + m = -g - 9. Is h < -1?
True
Suppose -11*y - 9 - 2 = 0. Let k be 65/(-50) - 1/5. Let m = k + 7/6. Which is smaller: y or m?
y
Let b(k) be the second derivative of k**5/20 - 4*k**4/3 + k**2 - 18*k. Let n be b(16). Let q(t) = -t + 1. Let g be q(1). Is n >= g?
True
Suppose -j + 9 = -p - 6*j, -18 = -2*p + 2*j. Suppose 0 = -w + 9 - 4. Which is smaller: w or p?
w
Let v be 28/(-7) + (-12)/(-3). Suppose -2*t + 10 = -3*p, -4 = -v*p + 4*p + 2*t. Let b = p - -8. Is 6 at most as big as b?
True
Let y(q) = -6*q + 38. Let p be y(8). Is -7 bigger than p?
True
Let x(v) = 4*v**3 - 2*v**2 - 3*v - 2. Let p be x(-1). Let o be 4/(-4)*3 + (-21)/p. Is 0 < o?
True
Let h = -1/5 + 8/15. Let n(r) = 18*r - 9. Let k be n(4). Let q be 14/k + 4/(-18). Which is bigger: q or h?
h
Let k = 1481/110 + -271/10. Is 0.1 != k?
True
Let o be (0 - -97)*(0 + (-2 - -3)). Which is smaller: o or 289/3?
289/3
Let m(x) = x**2 - 30*x + 188. Let c be m(9). Are -6/47 and c nonequal?
True
Let o(f) be the first derivative of -3*f**2 + 39*f + 6. Let b be o(9). Which is bigger: -13 or b?
-13
Suppose 3*l - 2*v = 3, 5*l - 8*l - 5*v = 18. Does -4/19 = l?
False
Let o be -13*1/(-66) - (-2)/(-4). Let n = -593/330 + o. Which is greater: -3 or n?
n
Let x = -55.1 + 63. Let j = x + -8. Which is bigger: 0.19 or j?
0.19
Let d be (2/3)/(6/27). Let x = -5 + 7. Let b = x + -2.3. Which is smaller: d or b?
b
Suppose -3*o = -2*o. Let v(x) = -6 + 10*x - 5*x + x**2 - 6*x**2 + x**3 + 0*x**2. Let j be v(4). Which is greater: o or j?
o
Suppose -2*s = -0*s - 10. Suppose -2*j + s*l - l = 20, -36 = 5*j - 3*l. Let f be j/(-4) - (-95)/(-50). Which is smaller: 0 or f?
f
Let g = -0.1 - -0.2. Let c = -18164.4 + 18169. Do g and c have different values?
True
Suppose b - 3 = 3*k, -k - 9 = -2*k - 3*b. Let a = -24212/1023 + 262/11. Let i = 8/93 - a. Is k less than or equal to i?
False
Let q = -97.9 + -21.1. Let n = -120 - q. Which is greater: n or -60?
n
Let l(q) = -q**3 - 17*q**2 + q + 20. Let w be l(-17). Is w bigger tha