) = -q**2 - 13*q - 22. Let l be s(-11). Is l greater than w?
False
Suppose 0*k = 4*k - 3*k. Suppose -18 = 6*u - k*u. Let a(o) = -o**2 - 3*o + 1. Let q be a(-4). Is q <= u?
True
Let j = 685 - 683. Is 0 > j?
False
Let p(f) = 6*f**2 + 226*f - 88. Let k be p(-38). Do k and -15 have the same value?
False
Let h = 831.99 - 832. Let d = 10 + -9.93. Let q = 3.93 + d. Are h and q equal?
False
Let p = 1321.79 - 1322. Which is bigger: 18 or p?
18
Let h be 8/(-10) - 6/(-15). Let x = -76 + 48. Let w = x - -28. Which is bigger: w or h?
w
Let d = 128 - 129. Are -3/2 and d equal?
False
Let n = -156 - -137.4. Which is bigger: 2/5 or n?
2/5
Let s = 2.01 + -1.95. Is -1.8 > s?
False
Let q = -25504/9 - -2842. Let f be (2/(-6))/((-3)/63). Which is bigger: f or q?
q
Suppose -5*q + 3*j = -54, 7*q - 30 = 4*q + 3*j. Let x be (-7 - -3)/q*-12. Let s be 2 + (-1)/(x/12). Which is bigger: -3/7 or s?
-3/7
Let m be 0 - (12/5 - 1). Let g be -3*(-4)/(-36) - 46/6. Let s be g - -4 - (0 - 2). Is m < s?
False
Let g(y) = 2*y**3 - 44*y**2 + 55*y + 51. Let d(x) = x**3 - 22*x**2 + 27*x + 25. Let q(t) = -13*d(t) + 6*g(t). Let h be q(21). Is h < -17?
True
Let d = -5.65 - -5.68. Which is smaller: 57 or d?
d
Suppose 2*p - 5*g + 20 = 7*p, -2*g - 6 = -5*p. Suppose -p*b - 22 = -0. Let m be b - 1*(-1 - -3). Which is smaller: m or -14?
-14
Let o = 319.7 - 313. Which is smaller: -1/5 or o?
-1/5
Suppose 0 = -3*g - 2*i + 11, -3*i - 15 = -2*g + 14. Which is bigger: g or 20?
20
Suppose -6 + 2 = -2*q. Which is bigger: q or -0.064?
q
Let d(v) = -v**2 + 23*v + 106. Let w be d(18). Which is smaller: 589/3 or w?
w
Let v = 17 - 0. Let k(b) = 2*b - 36. Let a be k(v). Is -2 at most a?
True
Suppose -11*n + 8*n + 3 = 0. Let m be (n + (-3)/6)/((-8)/(-16)). Let c = -2 - -2. Is m greater than c?
True
Let z(g) = -208*g**2 - 23*g + 38. Let h be z(2). Which is greater: h or -841?
h
Let i(b) = 25*b**2 + 3*b - 6. Let o(f) = -24*f**2 - 3*f + 5. Let k(n) = -3*i(n) - 4*o(n). Let w be k(2). Let g be 6/(-15) + w/170. Is -1 < g?
True
Let x = -1/83 + -163/249. Suppose -4*r + 4*b = 28, -r - 2*r - 11 = -b. Which is smaller: x or r?
r
Let u be 7/(-126)*-6*(-2 - -152). Is u at least as big as 101/2?
False
Let u = -75 + 51. Let v = 23.9 + u. Which is smaller: -0.13 or v?
-0.13
Let z be 11045/5499 - 2*1. Is 2 not equal to z?
True
Let s = -9613/7 + 1371. Let t = -20 - -17. Is t at most s?
True
Let q be (2/20)/((-6)/(-261)). Let n be 5*(-6)/(-10) + (-7)/(-4). Let h = q - n. Which is smaller: -3 or h?
-3
Let m be 6/4 - (-4852)/(-3400). Let g = m + 7/25. Is g smaller than 1?
True
Let z(a) = a**3 - 8*a**2 + 7*a + 2. Let x = 24 - 17. Let s be z(x). Suppose -s*w + 2 = -0*w. Is 5 equal to w?
False
Let o = -52 + 50. Let u be 50/(-15) + (-1 + 1 - o). Is -2 > u?
False
Suppose -3*n + 4*x = 40, -x + 21 = -2*n - 4*x. Let a = n + 25/2. Is 0 equal to a?
False
Suppose -35 = -2*x + 7*x. Let n be (-85)/(-68)*(0/3 + -8). Which is greater: n or x?
x
Let w be (-18 - 14802/(-822))*1/(-14). Is w at most 1?
True
Suppose 2*g + 27 = 6*g + t, 2*g - 5*t = 19. Let p = g + -5. Suppose -z + 0 - 11 = -p*u, -2*u + 4*z = -20. Which is bigger: u or 3?
u
Let l be 7 - (2 - (7 + -2)). Suppose c - 4*c + 4 = -4*j, -4*c + l = -3*j. Suppose -c*p - 5 = 7. Which is greater: p or -5?
p
Let w be ((-1)/5)/(1/(-2)). Let x = -0.02 - 1.48. Let l = x + -6.5. Does w = l?
False
Let n be (3 + -5)/(0 - -2)*1. Are -8/63 and n equal?
False
Suppose 2*y - y = 4. Let l = 90 + -89.59. Let v = l + -0.51. Which is bigger: y or v?
y
Let k be 12 + (-1 - -1)/2. Suppose -i + k - 8 = 0. Let z be i/(-14) + 10/182. Is 0 at least z?
True
Suppose -3*w + 7*w - 16 = 0. Suppose 3*a - 29 = -3*m + 130, -5*m + w*a = -292. Which is greater: m or -2/3?
m
Suppose 2*p - m - 16 = 0, -2*p + m - 3*m = -4. Suppose -4*k + 10 = k. Suppose -w - 5*x - 4 = 0, k*w - 6*x + 3*x = 18. Is w < p?
False
Suppose 2*a - 4*a - w + 436 = 0, -5*a = 5*w - 1090. Let p be -4 - a*4/(-24). Let t = p + -32. Which is bigger: t or -0.02?
t
Let k = 0.08 - 2.13. Let n = k + 2. Let x = n - -0.06. Is 0 <= x?
True
Let x = -670 + 4682/7. Suppose -6*n + 17 = -4*i - 3*n, -4*i + 2*n - 22 = 0. Let f(p) = -2*p**2 - 15*p + 6. Let q be f(i). Which is greater: q or x?
x
Let g(t) be the second derivative of t**5/20 - t**4/12 + t**2/2 - 7*t. Let f be g(-1). Let b = 138/5 + -28. Is b equal to f?
False
Let g = 0.02 - 53.02. Let u = g - -52.979. Is u greater than -2/3?
True
Let d be 2/8 + (-5)/4 + 1. Suppose 158 = -2*c + 636. Let j = c + -4064/17. Which is smaller: d or j?
j
Let m = -47 - -55. Suppose -5*x - 25 = -p, -3*x + 3*p = m*p - 13. Is x greater than -18/5?
False
Let i = 2755/14 - 90271/462. Which is greater: i or 0?
i
Let q = -44 - -46. Let v = -14 - -32. Suppose 0 = -q*s - s + v. Is s <= 31/5?
True
Let j = -26 + 23. Let h be 287/(-35) + j/(-5). Which is bigger: h or -7?
-7
Let r(k) = -3*k - 18. Let o be r(-5). Let x be ((-1)/o)/((-6)/(-9)). Is x at least as big as -0.2?
True
Let o(h) = 6*h + 10 + 2*h**3 - 11 - 4 - 11*h**2. Let k be o(5). Which is smaller: -3/7 or k?
-3/7
Let h be ((-52)/(-7) - 6)*(-42)/(-35). Which is greater: h or 27?
27
Let o = -6.95 - 0.05. Let x = 10 + o. Is x less than 3?
False
Suppose 8*f - 12*f = 0. Let w = -604341 - -10270483/17. Let m = w + 195. Which is smaller: f or m?
f
Let l(t) = -t - 1. Let o be l(0). Let w be (o - -2) + (-6 - -6). Suppose 2*m = -2*a, 3*a - 5*m - 10 = -2*a. Is w > a?
False
Let i = -7.64 - -34.64. Are 4 and i unequal?
True
Let c(m) = 22*m + 0 - 5 + 0. Let x be c(3). Which is smaller: x or 60?
60
Let o(f) = -f + 4. Let i(s) = 5*s + 12. Let z(m) = 2*m + 4. Let r(b) = -3*i(b) + 8*z(b). Let a(d) = -2*o(d) - 3*r(d). Let l be a(3). Are l and 4/11 nonequal?
True
Suppose -4*i + 201 + 107 = 0. Which is smaller: i or -1/3?
-1/3
Suppose 18 = -4*y - 2*b, 2*y + 5*b = -31 + 18. Does -70 = y?
False
Let v be 4/((-1)/((-588)/(-48))). Is -53 equal to v?
False
Let p = 32 + 73. Is 106 <= p?
False
Let x(h) be the third derivative of -h**3 + 6*h**2 + 1/12*h**4 + 0 + 0*h. Let f be x(7). Which is smaller: f or 0?
0
Let q be (-1 - -3) + 0 + 1. Suppose 4*d = 3*r + 6, -q*d - 10 + 2 = 4*r. Is -3/5 <= d?
True
Let y = 0.07 - 4.07. Let u = -252703/26 + 9718. Let p = u - -24/13. Which is bigger: p or y?
p
Suppose 4 = -3*w + 3*t + 16, 0 = -5*w - 2*t - 8. Is w less than or equal to -4/113?
False
Let s(q) = -13*q**2 - q + 4. Let y(k) = -6*k**2 + 2. Let o(m) = 2*s(m) - 5*y(m). Let b be o(2). Let u = -9 + b. Is -2/5 bigger than u?
False
Let g(y) = -y**3 + 68*y**2 - 1. Let l be g(68). Suppose q - b + 31 = 0, -2*q + 4*b + 110 = -7*q. Let c = 17 + q. Do c and l have the same value?
False
Let c = -103.05 + 101. Let i = 0.05 + c. Let t = -0.02 - -2.02. Is t not equal to i?
True
Let g be -5 + 2 + (1 - -2) + -143. Do -1005/7 and g have the same value?
False
Let q = -62 + 88. Let f = 180/7 - q. Are f and -1/2 equal?
False
Let z = 12420 + -10892339/877. Which is smaller: z or -1?
-1
Suppose -5*b = 2*r + 15, r - 2*b - 9 = b. Let f be (-3)/(-15) - 147/(-15). Let l be 4/f*(-20)/(-36). Is r less than or equal to l?
True
Let a(s) = -19*s - 136. Let q be a(-7). Is 2 < q?
False
Suppose -1 - 7 = -2*m. Suppose -m*b + 21 = -b. Let c be 7 - b - (3 - -1). Is 2 less than or equal to c?
False
Let u be 2/8 + 125224/352. Which is bigger: u or 354?
u
Suppose 323 = 8*o - 213. Is 67 at most o?
True
Suppose l + 174 = 2*g - 4*l, 2*g - 192 = -4*l. Let j be 69/g + (-18)/40. Which is bigger: -1 or j?
j
Suppose 3*w = -3*n - 2 + 23, n - 2*w + 5 = 0. Suppose 0 = -n*o + o. Let l = o + 0. Is l at most 0?
True
Let v be (-54)/4*80/10. Let n be v/858 + (-4)/22. Which is smaller: 1 or n?
n
Let u = 126 - 123. Suppose -u*d + 37 - 13 = 0. Do 8 and d have different values?
False
Let y be 1 + (-12 - -12 - 5). Which is greater: y or -130/31?
y
Suppose -3 + 10 = -2*d + q, -5*d = 5*q - 20. Let b(z) = -2*z**3 - 3*z**2 - 6*z + 4. Let u be b(-3). Let s be (-133)/u + 3/2*2. Do s and d have different values?
True
Let s be -3 + (3 - 2) + 2. Suppose k = 4*r + 2, 5*r - 2 + 7 = 0. Let v be k/8 - (2 - 1). Which is smaller: v or s?
v
Let t = 11/9 - 19/18. Let d be (-2 + 0)*(-2)/(-4). Is d at most t?
True
Let q(m) = -m**3 + 7*m**2 - 1. Let r be q(7). Let d = -951 + 118878/125. Let k = -1113/500 - d. Do r and k have the same value?
False
Let g = 7685655/368 - 20885. Let n = 3/23 + g. Which is bigge