 6 - 7*r**2 + 6 - 5*r. Let i(a) = -11*p(a) - 6*t(a). Let z be i(-5). Is z >= 2/43?
True
Let k = 6 - 3. Suppose 4*x - 2*n = -6, n + k = x - 2*x. Let m be (-1 - 2)*1 + x. Is -5 less than or equal to m?
True
Let c(y) = 3*y**2 + 3*y - 41. Let q = -42 + 47. Let a be c(q). Is a less than or equal to 49?
True
Let f(m) = m**2 + 13*m. Let p be f(-14). Let z be p/(-24)*(-72)/27. Suppose 4*w + 1 = -r, 15 = w - 6*w - 4*r. Is w not equal to z?
True
Let d = -7786/45 + 1522/15. Which is greater: d or -71?
-71
Suppose 5*z - 3 = -0*l + 2*l, 0 = -5*z + 5. Is l equal to 8?
False
Suppose -5*s = -v - v + 33, -2*s = 5*v - 39. Suppose 9 - v = -4*c. Is -1/34 bigger than c?
False
Let h be 24 - (6 - 3)/(2/2). Let n be ((-16)/4 - -3)/1. Let m be 1 - -20 - (0 - n). Which is bigger: h or m?
h
Let o = 527/7 - 75. Let x(t) = t**2 - 11*t + 14. Let p be x(9). Let i be (30/(-45))/(p/6). Which is greater: o or i?
i
Let v = -91.0516 + 0.0516. Is 2 <= v?
False
Suppose -p = -2, -3*c = -6*c + p + 25. Suppose -s = 2*s + c. Which is bigger: -30/11 or s?
-30/11
Let o = 6 + -2. Let p(q) = q**2 - 5*q - 8. Suppose 4*z + 18 = -2*j - j, 2 = -4*j + 2*z. Let v be p(j). Which is bigger: o or v?
v
Let v = -410 - -52073/127. Which is smaller: v or 0?
0
Let d be 1*(-4045)/805 - -5. Which is smaller: 1 or d?
d
Let r(c) be the second derivative of c**5/20 + c**4/6 + c**2/2 + c. Let o be r(-2). Let z be (-2)/(-4) - (-12)/(-56). Which is smaller: o or z?
z
Let g = -4.231 + 0.231. Let q = 45/2 + -23. Is g >= q?
False
Let w(j) = j + 26. Let s be w(-26). Which is smaller: s or 3/86?
s
Let k = 12.25 + -12.25. Is k less than 0.0293?
True
Let m(l) = -l**2 + l + 9*l - 6 - 6*l + 2*l**2. Let w be m(-5). Let u be 1 - (0 + 34/38). Which is smaller: u or w?
w
Let l = -119.0144 - -0.0144. Is 1/4 smaller than l?
False
Let w = -10.5 + 10.538. Let v = w - 0.038. Which is smaller: v or 0.79?
v
Let t(u) = u**2 + 9*u + 12. Let d be t(-8). Let q be d/6 - (-2)/6. Let v be (-1 - 1) + 13/5. Is q smaller than v?
False
Suppose -5*z + 4*z = 0. Let m be 101*-7 + -2 + 7. Let g = m + 4922/7. Is g greater than z?
True
Let w be 1286/(-8) + (-13)/52. Is w at most as big as -160?
True
Let w = 1 - 0.9. Let o = -0.2896 + 0.2496. Which is bigger: o or w?
w
Let p be 156/(-42) - 4/14. Let f be 20 - -1 - (7 - p/(-1)). Is f smaller than 1?
False
Let s = 82 - 51. Let f = s - 30. Is f at least -1/9?
True
Let s = 0.33 + -27.33. Let i = 25 + s. Let o = -0.2 + 0.1. Is i greater than o?
False
Let y be (-21)/42*(-3)/(-11)*2. Let p = 3 + -2. Suppose 0 = z - 4*u + 4, -3*z = -2*z - u + p. Is y smaller than z?
True
Suppose -22 = -5*n + 3. Suppose n*l = 9 + 6. Suppose 3*q - 5*c - 13 = -6*c, -2*c - 10 = -3*q. Which is bigger: q or l?
q
Let x(i) = -i**2 - 13*i - 12. Let d be x(-13). Let k = d + 7. Is -6 less than k?
True
Let a be 318/(-234) + 0 + 2. Let t = a - -9/13. Suppose 0 = 5*i - 4*i. Is i equal to t?
False
Let j(y) = y + 10. Let a be j(-5). Suppose 4*d = a*d + 12. Let f = 11 + d. Is f <= 1?
True
Suppose 2*r + 3*k - 27 = 0, 5*r - 3*k + 2*k - 25 = 0. Let h = 16 - 14. Are h and r unequal?
True
Let x be (-1*15)/((-630)/(-120)). Which is greater: x or -3?
x
Let c be (-119)/(-42)*15/(-6 + 1). Suppose 3*x - 7*x - 32 = 0. Which is smaller: x or c?
c
Suppose -z - 2*i = i + 55, 5*i + 112 = -2*z. Is -60 >= z?
True
Let h = -35 + 38. Suppose -9 = 2*c - h*c. Which is greater: c or 10?
10
Let i = -56 + 65. Which is smaller: i or -2/5?
-2/5
Let z = -240215969501/49423872610 - -741/5369242. Let g = z - -4/1315. Does -6 = g?
False
Let c be (-1872)/(-306) - 6 - (-878)/51. Which is greater: c or 17?
c
Suppose 13*h = 5*h + 8. Let t be (h - 5 - -5) + 1. Which is greater: t or -4?
t
Let j = -5 - -6. Let l be ((-3)/4)/(j/4). Let t = l + 2. Is t equal to -2?
False
Let j(y) = 5*y**2 - 12*y + 8. Let g be j(4). Let c = -51 + g. Which is greater: c or -12?
c
Suppose 21 = 3*y + 3*h, y + 3*h + 1 - 2 = 0. Suppose 3*f - 4 = -y. Which is smaller: -8/15 or f?
f
Suppose 0 = 4*b - 6 - 22. Suppose 16 = -4*c + 4*l, 0 = c + b*l - 3*l - 21. Is c equal to 2/17?
False
Suppose 0 = 752*z - 748*z - 32. Which is smaller: -0.053 or z?
-0.053
Let z = 4/5869 + 2840584/17607. Does z = 161?
False
Let c be ((-50)/(-47875))/((-144)/3470). Let y = 1/383 - c. Is -1 at least y?
False
Let q(v) = v**3 - 16*v**2 + 28*v - 8. Let k be q(14). Let n be 14/(-4) + 1 + k/(-4). Which is greater: n or 1.6?
1.6
Let y be 20/23 + (-18)/12. Let t = -1419/230 + y. Which is smaller: -8 or t?
-8
Let u be (1 - 2) + (12 - -2 - 3). Let n = 29 - 29. Is u > n?
True
Let c be (-72722)/(-328)*(-4)/(-3). Let t = 48398/3 - 15837. Let l = t - c. Which is smaller: 1 or l?
l
Let m be 25/48 - (-165)/(-495). Is 0 less than or equal to m?
True
Suppose -372 = -16*d + 188. Are d and 38 unequal?
True
Let c = -454 + 406. Which is greater: -44 or c?
-44
Let n = 12 - 13. Are n and 4/71 equal?
False
Let x = -5 + 8. Suppose 5*a = 3*n - 11, 3*n - 22 - x = -2*a. Let b(h) = 5*h**2 + 3*h - 2. Let j be b(1). Which is greater: n or j?
n
Let k = 296 + -1681. Which is greater: k or 1?
1
Let w be ((-10)/(-3))/(4/6). Suppose -s + 20 = -5*j, 5*s - s - w*j = 5. Is -5 != s?
False
Suppose 0*w + 19*w = 0. Let i = -71/399 + 2/57. Which is greater: w or i?
w
Let n(g) = -37*g + 73. Let t be n(2). Which is smaller: t or -5/34?
t
Let t = -876 + 884. Is 82 at least as big as t?
True
Let p = -23.8 - 6.2. Let a = p - -30.1. Which is greater: 3 or a?
3
Suppose -12 = 3*b + 6. Let s be -2 + b/(-4) - 4/(-8). Which is smaller: 2/21 or s?
s
Suppose -4*h + 116 = -5*r, -5*r = -2*h + 72 + 46. Let j = r - -25. Which is greater: j or -4?
j
Let v(o) = 60*o. Let j be v(-1). Let g = -15 + j. Let s be 3 - (-2 - 369/g). Is s <= 1?
True
Suppose 4*h = -5*z + 1, 6*z - 4 = z - h. Let k(l) = 9*l**2 + 4*l - 2. Let s be k(z). Which is smaller: s or -2/3?
-2/3
Let m(d) = d**3 - 8*d**2 + 7*d + 2. Let h be m(7). Suppose 0 = 6*k - h*k + 20. Let q(u) = u + 4. Let r be q(k). Is r less than -1?
False
Let z be (3/(-4))/(3*3/36). Let j = -5 + 24. Suppose 0*r - j = 5*r - 4*m, 0 = 5*r - 2*m + 17. Is z at most as big as r?
True
Let j be (-6)/4*14/357. Let v = -2 + -4. Let n be 2/v + (-3)/(-9). Do n and j have the same value?
False
Let u = 1943 - 1941. Is u at least as big as -135?
True
Let q(g) = -11 - 5*g + 0*g + 4*g. Suppose 3*f + 6 = 0, -t + 4*f - 28 = 2*t. Let z be q(t). Which is smaller: z or 2?
z
Suppose 2*r + 93 = 35. Let h be (-1)/(5*2/290 + 0). Is r greater than h?
False
Suppose 7*v = -44 - 26. Let m be (2 - v)/6 - 20. Which is bigger: m or -16?
-16
Let k = 121 + -12. Suppose -126 - k = -5*y. Is y < 47?
False
Let x be 6 - 9 - (0 - 3). Let i be 21/(-20) + (12/16)/3. Which is greater: i or x?
x
Let a = -335/6 + 1723/30. Which is greater: a or 2?
2
Let n = -0.2 + 0.3. Let d = -1.05 - 11.95. Is n equal to d?
False
Let g = -0.1 + -1.9. Let l be (-2)/(3 + -1)*((-1125)/(-5))/(-15). Which is smaller: l or g?
g
Let g(q) = 10*q - 30. Let s be g(3). Let j = -28 - -57/2. Is j less than s?
False
Let f = -172.68 + 173. Which is greater: f or -6?
f
Let z = 8.1 - 9. Let i = 1 + z. Let d be ((-11)/33)/(1/(-9)). Which is smaller: d or i?
i
Let w = 38 + 172. Which is greater: w or 209?
w
Let r = 0.04 + 3.96. Let v = -4.16 + r. Let s = v + 0.06. Which is greater: s or -6?
s
Let h(n) = n**3 - 18*n**2 - 42*n + 40. Let a be h(20). Is a at least as big as 1/215?
False
Let q = -1579958778879/2192 - -720784135. Let k = -329/16 + q. Is k bigger than 0?
False
Suppose -g + 2*w = 3 - 20, -5*w + 10 = 5*g. Let o(t) = t**3 + 9*t**2 - 2*t - 1. Let a be o(-9). Let n = a + -9. Which is bigger: g or n?
n
Let k be (-15)/30 + 34/4. Suppose -3*o + 2*l - 19 - 1 = 0, -3*l + k = o. Suppose 3*s - 6*q + 2*q + 6 = 0, 4*s = q - 8. Is o less than or equal to s?
True
Let p be ((-75)/(-6))/5*2. Suppose -4*s + w = 2*w - 12, 5*s = -p*w + 30. Suppose -5*d + s*d = 9. Is -2 less than d?
False
Let a be (6 - 207/27)*-18. Which is smaller: a or 92/3?
a
Let v = 0.068 + -7.968. Let t = v - -15.9. Let d = -0.1 - 0.9. Is t >= d?
True
Let z = 799 - 794. Let a be ((-7)/(-6))/(1/3). Are z and a non-equal?
True
Suppose 5*p + 4*s = -729, p = 2*s - 6*s - 133. Let o = p + 889/6. Which is smaller: -1 or o?
-1
Let l = 8 + -14. Let m be 1 + -19 + -2 + 0. Let p be (l/8)/(12/m). Is 0 < p?
True
Let n be ((-3)/6)/(21/12 + -2). Suppose -2*t - n*t = -3*w + 83, w 