pose s*l = l. Let a be p(l). Is a smaller than 1/45?
True
Let j(x) = -x**2 - 39*x - 54. Let v be j(-42). Which is smaller: v or -182?
-182
Let m be (-2787)/28 - (-10)/40. Let q = m - -99. Is q at most as big as 10/11?
True
Let l(k) = -k**2 + 5*k + 3. Let s be l(3). Suppose 4*v + 17 = 3*w, 4*w + 3*v = -3 + s. Suppose -3*o - w*h = 21, 0 = 5*h + 5 + 20. Which is greater: -4 or o?
o
Suppose -10 = -2*k, 0 = 2*g - 4*k + 17 - 7. Let d be (-2 - -6 - 5) + 4. Suppose 0*q - 11 = d*w - g*q, -q = 2. Do w and -0.1 have the same value?
False
Let p(t) = -34*t + 102. Let d be p(16). Which is greater: d or -440?
-440
Let x = -1038 + 3070/3. Let k be 828/(-56) + (-12)/56. Which is greater: k or x?
x
Let l = 31 - 19. Suppose 1 = -2*f + 5*o + 30, 4*f = 3*o + 51. Is l < f?
False
Let m(j) = -2*j**2 + 2*j + 4. Let u be m(-2). Let a be (-2)/u*-6 + 2. Is 0.1 < a?
True
Let v = -12.82 + 10.7. Let u = 127.12 + -127. Let a = u + v. Which is smaller: a or -0.04?
a
Let f = -0.463 + 16.513. Let l = f - 3.15. Let q = 13 - l. Which is bigger: 9 or q?
9
Let r = 10 + -19. Let j be 2/(-12) - (-12)/(504/(-245)). Is j smaller than r?
False
Suppose -12*r + 10*r = -4*o, -r = 4*o. Is 19/43 bigger than r?
True
Let r = 1.66 + -1.2. Let s = r - 4.46. Is s > 1?
False
Let r = -42 + 41. Is r >= -26/19?
True
Let p be ((-36)/(-48))/(1/8). Suppose v = -2*v - p. Let q be -1 + 7 + v + -4. Which is smaller: q or -2?
-2
Let h be 0/(7/1*4/28). Suppose 3*m - 4 = -m. Suppose -5*c + 5*r + 0*r = 15, 2*r = -5*c - m. Which is smaller: c or h?
c
Let u = 14318/37 + -387. Is 1 less than u?
False
Let n be (-1)/(100/80*(224/(-20))/4). Let o = 9 - 9.17. Is o at least n?
False
Let k = 199 + -193. Suppose 2*u + 5*m = -k - 5, 0 = 4*u + 4*m + 16. Let d(x) = -x**3 - 7*x**2 - 7*x - 7. Let q be d(-6). Which is greater: u or q?
q
Let j = 128.802 + 0.198. Let k = j - 127. Are -2/95 and k unequal?
True
Let w be 1/((16/(-120))/(2/(-3))). Let y = w + -5. Is 2/181 < y?
False
Let o(m) = -99*m**2 + 4*m + 3. Let t be o(-1). Is t equal to -97?
False
Suppose 0*w + w = 3. Suppose 0 = 2*y + w*y. Let g = 30 + -32. Which is bigger: y or g?
y
Let t be ((-3)/(-2))/((-2)/(-8)). Let w(v) = -v**3 + v**2 + v + 3. Let x be w(-3). Let k = 41 - x. Which is smaller: k or t?
k
Suppose 22*q + 158 = 26. Suppose 1 = -3*n - 2. Let o be (-10)/(-35)*n/q. Which is smaller: 0 or o?
0
Suppose -4*q - 3*o - 57 = -5*q, q + o = 61. Let v be q/(-25) - 4/(-10). Let g be ((0 - v) + -1)*-1. Which is smaller: g or -2/5?
g
Let a(u) = u**2 - 1. Let f be (-66)/54 + 4/18. Let n be a(f). Let w = 2/9 - n. Is -5 smaller than w?
True
Suppose 4*h + 28 + 45 = -3*q, -2*h + 2*q = 26. Suppose -2*k - 54 = -5*t, 4*k - 8*k - 5*t = 48. Which is bigger: k or h?
h
Let x be (-23)/(-7) + 4 + -5. Let o = 1 + 2. Which is bigger: o or x?
o
Let d = 942.9 + -943. Which is greater: -6.3 or d?
d
Let l = -2.9 + 1.8. Let u = l - -2.1. Is -13 bigger than u?
False
Suppose 2*q + 6 = 4*z, 7*z - 4*q - 6 = 5*z. Is 3 at least as big as z?
True
Let m = 0.8546 + 0.0154. Is 0 less than m?
True
Let b be ((-72280)/50)/26*3/(-2). Which is bigger: 82 or b?
b
Let b(h) = -h**3 + 8*h**2 - 6*h - 14. Let r(t) = t**3 - 7*t**2 + 5*t + 15. Let i(w) = 4*b(w) + 3*r(w). Let m be i(10). Which is bigger: m or -1/29?
-1/29
Let j = 266 - 116. Suppose -3*s + s + j = 0. Which is smaller: s or 76?
s
Let z be (-4)/75*(-81)/18. Are 1 and z unequal?
True
Let b be 458/4 - (6 + 77/(-14)). Let u be 6 - b/18 - (-4)/(-6). Is u smaller than -1/3?
True
Let z be (6/(-6))/(3/15). Let n be (-9)/(-3) - (-17)/z. Which is greater: -0.41 or n?
n
Let t = 59 - 110. Let a be (-99)/t - (0 - -2). Which is greater: a or 1?
1
Suppose 24 + 34 = 29*m. Which is smaller: 51/20 or m?
m
Let i(a) = 2*a**3 - 20*a**2 - a + 17. Let z be i(10). Let l = -11 - -20. Which is bigger: z or l?
l
Let y be (-1 - 69/(-12))*(-2016)/(-24). Which is smaller: 398 or y?
398
Suppose 4*w = 4*u - 4, 3 = u + 4*u - 3*w. Which is greater: -3/589 or u?
u
Let r be (-3 - 2) + 10/(-2). Let h = -35 + 8. Let z = r - h. Is z less than 17?
False
Let k = -198.9 - -199. Is k smaller than -0.06?
False
Let v(b) = 8 - 1 - 4 - b. Let g be v(0). Let h = 1.1 - 1. Which is smaller: h or g?
h
Suppose 9*t - 13*t = 0. Suppose 0 = x - t*x - 4. Do 5 and x have the same value?
False
Let m(p) = -30*p - 3. Let f be m(2). Let a = 61 + f. Is a at most -2/3?
True
Let b(q) = -5*q - 37. Let l be b(-7). Is -3 at most l?
True
Let r(g) be the first derivative of -7*g**4/2 + 2*g**3/3 - g**2/2 - g - 36. Let y be r(-1). Which is smaller: 14 or y?
14
Let u(y) = 2*y**2 + 3 + 0 + y - 3*y**2 - 3*y. Let t be u(-3). Suppose p - 3*p - 12 = t. Are p and -6 unequal?
False
Let a = 17 - 16. Is -1/46 greater than a?
False
Let y be (4 - (27 - -3))*2. Let j be -4 + 1 - (y + -2). Are j and 51 unequal?
False
Let p(m) = -m**3 - m**2 - 2. Let s be p(0). Let x be s - 11 - -2*1. Let d = x - -15. Does d = 4?
True
Let k = -16542/25 + 662. Which is smaller: -1 or k?
-1
Suppose -2*l + 6*l = 0. Suppose -4*a + 1 = -5*t, -4*t + 2*a = a - 8. Let h be (-27)/t*(-1)/30. Which is bigger: l or h?
h
Let m be (-10)/(2/((-4)/14)). Let z = 0 - -1.7. Let u = z + -0.7. Does u = m?
False
Let m = 0.2173 - 0.2173. Is -0.21 smaller than m?
True
Let j = 15.835 - 1.145. Let d = 15 - j. Let b = d + -0.51. Which is bigger: -4 or b?
b
Suppose -3*p + 5*j + 22 = 0, -2*p = -0*p - 4*j - 16. Let z be p - 1/((-1)/24). Let r be (-38)/z - (-3)/6. Which is smaller: r or 0?
r
Let g(v) = -2*v**3 + 17*v**2 + 23*v - 21. Let b be g(9). Which is smaller: b or -1?
-1
Let p = -0.04 + 0.14. Let g be 264/(-138) + ((-8)/1)/(-4). Is g at most as big as p?
True
Let y be (-43)/(58/(-18) + 4). Let u = -20497/371 - y. Is 2/7 at most u?
False
Let w(a) be the second derivative of a**4/12 - 7*a**3/6 - 5*a**2/2 - 2*a. Let k be w(5). Let b = k - -16. Is b less than -6?
False
Let z(a) = -3*a - 1. Let y be z(2). Let k = -5 - y. Suppose -k*d = -0*d + 2. Are -1/7 and d non-equal?
True
Suppose -179 + 169 = d. Is d smaller than -12?
False
Suppose -i - 2*i - 461 = -v, -5*i - 5 = 0. Suppose v = -3*g + 20. Let p be g/(-826) - (-2)/(-14). Are -1 and p equal?
False
Suppose -1 = 5*b - 16. Suppose 0 = h + b*h - 20. Suppose -h*c - 42 + 12 = 0. Which is smaller: -4 or c?
c
Let k be (168/(-16) - -10)/((-1)/(-44)). Suppose 5*t - 2*t = -63. Which is smaller: k or t?
k
Let h(a) be the second derivative of a**4/12 - 13*a**3/6 - 2*a**2 + 3*a. Let q be h(13). Let y be 2/q*6/4. Is 0 at most y?
False
Suppose -g + 1 = f - 3, f - 4*g + 16 = 0. Let d be f - (-1)/(165/6). Which is greater: 0.1 or d?
0.1
Let w(p) = -p**2 + 39*p - 106. Let f be w(39). Suppose -u - 3 = -10. Let v be f/20 + u/(-35). Which is greater: v or -5?
-5
Let v(c) = c**2 - 8*c - 2. Let h be v(7). Let f(o) = -17*o + 3*o**2 - 4*o**2 + 3 + 7*o. Let n be f(h). Is 12 smaller than n?
False
Let v be 2 + 2/(((-42)/(-117))/(-7)). Let l be 1706/(-6)*(-6)/(-46). Let x = l - v. Is 0 < x?
False
Let m be 10/(-14) - 14/49. Let g be 0 - 12 - (m + 0). Let q = g - -11. Which is bigger: -2 or q?
q
Let l be -6*(-2)/252*27/123. Is l smaller than -1?
False
Let u be 19/4 + (-1)/(-4). Let h(f) = 5 - 4*f**2 + 11*f + 5*f**2 + 1 - 8*f. Let c be h(-3). Which is bigger: u or c?
c
Let z(i) be the second derivative of i**4/12 - i**3/3 - i**2/2 - 12*i. Let n be z(-1). Let q = 41/5 - 421/55. Which is smaller: n or q?
q
Let j = 260 - 148. Which is smaller: 113 or j?
j
Let v(w) = 62*w + 143. Let j be v(-2). Is -6 <= j?
True
Let z(k) = -k**3 - k**2 - 3*k + 1. Let x be z(0). Let d = 5451/19 - 287. Which is smaller: x or d?
d
Suppose 0*b - 3 = -3*b. Suppose 6*k + b + 5 = 0. Which is bigger: 0 or k?
0
Suppose -4*o + 228 = -2*w - 2*w, 2*o - 285 = 5*w. Let a = 132 + w. Which is bigger: 74 or a?
a
Suppose -5*o + o = -4*l + 8, 0 = 2*o + 6. Suppose 2*a - 6 = 8*a. Is l not equal to a?
False
Let j be 0 + (-18)/10 - -2. Let t = 644/3 - 214. Is j not equal to t?
True
Let q = -22.5 - -4.5. Let o = -3.8573 + -0.1427. Which is greater: q or o?
o
Let c(w) = 2*w**2 - 11*w + 3. Let v be c(5). Let k be v/(-8) - 500/16. Which is smaller: -30 or k?
k
Let x(f) = 16*f**2 + f - 1. Suppose i + i - 2 = 0. Let d be x(i). Let g = -26 + d. Is -10 < g?
False
Let h = 140 - 137.86. Let i = 0.5 + -0.36. Let t = h - i. Which is bigger: t or 3?
3
Let o be 1 + (-6)/14 - (-9)/21. Let a = -3.6 + 3.1. Which is sma