*2 + 5*n + 14. Let c be p(7). Is c != -10/41?
True
Suppose -42*l - 24 = -40*l. Let a be -31 + (3/1 - l/(-2)). Is a < -34?
False
Let t(z) = z**2 - 9*z + 7. Let h be (-2 - 0)/(9/(-36)). Let v be t(h). Let s be (-7 + 6)*(-1 - -2). Is v less than or equal to s?
True
Let m be 145/525 - (-3)/(-21). Which is smaller: 0 or m?
0
Let r = -0.186 + 99.186. Let q = r - 105. Does q = -6?
True
Let t = 0 - 0.06. Let o = -3.43 - -1.43. Is o > t?
False
Let v = 61 - 76. Let i(a) = -a**2 - 14*a + 14. Let b be i(v). Let n = 5497/39 + -141. Which is bigger: b or n?
n
Let q be 265/(-20) - 1/(-4). Let a = q - -16. Suppose -a*s = -3*d - 4*s + 11, 4*d + 4*s = 4. Which is smaller: 6 or d?
d
Let p be (2 - (1 + -1 - -2))/1. Let w be ((-18)/(-10) + -1)*1. Which is smaller: w or p?
p
Let j = -137 - -76. Let m = -67 - j. Which is smaller: m or -7?
-7
Let o = -81 - -73. Let p be ((-12)/(-8))/(786/o). Is 0 equal to p?
False
Suppose -4*n + 2*a + 2 = 0, -5*n + 10*a = 5*a. Let t be (-45)/(-108) + n/4. Is t >= 91/2?
False
Suppose o - 6400 = -19*o. Is o less than 320?
False
Let r(a) = -30*a - 10. Let u be r(3). Let n be (u/1040)/((-1)/(-4)). Is -1 less than n?
True
Let q be 5111/399 + 1 + -2. Let f = q - 12. Which is smaller: f or 0?
f
Let a be (-1)/(2*(-2)/4). Let c = -5.2 - -5.3. Which is bigger: a or c?
a
Let j be 22/(-4) - 1/(-2). Suppose -7*i - i = 0. Suppose i = -3*d + c + 2*c - 6, 5*d + 19 = 2*c. Is d at most as big as j?
True
Let t(j) = -j**3 + 6*j**2 + 2*j - 15. Suppose 65 = 4*c + 41. Let l be t(c). Which is smaller: l or -10?
-10
Let o = 381 + -156. Let n = 223 - o. Let c = -1 - -1. Is n > c?
False
Suppose 34 = 2*c - 16. Is c less than 25?
False
Let v(x) = 2*x**3 + 10*x**2 - 6*x - 29. Let c be v(-5). Which is bigger: 30/19 or c?
30/19
Let u = 1921 + -36439/19. Is 2 > u?
False
Let c = 37.8 - -0.2. Let k = c + -40. Is k > -2?
False
Suppose -6*u - 60 - 12 = 0. Let x = 10 + u. Which is smaller: -3 or x?
-3
Suppose -2*h - 34 + 6 = -4*u, -2*u = -10. Is -2 < h?
False
Let o(n) = -24*n - 17. Let v be o(-4). Which is greater: v or 77?
v
Suppose 5*z + h = -h + 46, -3*z = -5*h - 40. Suppose 0 = -3*q - 5*i - 20, -2*i + 4 + 0 = 0. Let l = q - -19. Is z at least as big as l?
True
Let m = -112 - -58. Let p = m - -38. Are -17 and p equal?
False
Let d = -6/119 + 767/12852. Let r = -301/2484 - d. Do 1 and r have the same value?
False
Let o = -66 - -40. Let j = 23 + o. Are -1 and j unequal?
True
Let p = 4/23869 - -1741657/4654455. Let m = p + 1/39. Let s(n) = n**2 + 2*n - 14. Let d be s(-5). Is d smaller than m?
False
Suppose 26*a = 25*a - 9. Is a <= 41?
True
Let t = 433 + -461. Which is smaller: t or -34?
-34
Suppose -k - s + 7 = s, -24 = -5*k + s. Suppose 4 + k = -3*n. Let c(y) = -2*y**2 - 5*y - 7. Let p be c(n). Is p less than or equal to -10?
True
Let q = 66/589 + 112357/11780. Let d = -811/2 - -396. Let t = q + d. Is 0 != t?
True
Let u be (3 - 16/5) + 0. Let p = 21 + -22.3. Let n = 2.3 + p. Which is bigger: u or n?
n
Let v = 0.03 - 20.63. Let b = 20 + v. Let u = 1.6 + b. Is 14 at most as big as u?
False
Let f(g) = g**3 + 2*g**2 + 2*g + 1. Let p be f(-2). Suppose -2*z + 385 = 5*z. Let k = z + -56. Is p <= k?
True
Let i be (-30)/105 + 156/7. Suppose -4*o - 2*x = -28, -o - o = 3*x - i. Let n = 1.1 - 0.1. Which is greater: o or n?
o
Let g be (-14)/((-2)/2) + (-10 - -8). Suppose -g*m - 306 = -18*m. Is 50 bigger than m?
False
Suppose 2*c = 2*g - 8, 0 = -7*c + 2*c + g - 32. Which is greater: -0.16 or c?
-0.16
Suppose -4*b + 0*p + 3*p + 204 = 0, 4*b + p - 204 = 0. Which is smaller: b or 52?
b
Let b be (-1)/(-4) + 2/(-8). Let x be (0 - b) + 9/18. Let c be 1184/144 + (-2)/9. Is x > c?
False
Let v = -267 - -268.09. Let c = v + -0.09. Let x = 4.956 - -0.044. Does c = x?
False
Let k = -661 - -613. Which is bigger: -0.3 or k?
-0.3
Let g = 2/292993 + -2477841839/5566867. Let x = -445 - g. Is x >= -1?
True
Let m = 61.29 - 61. Let b = -0.3 + m. Let q be (-6)/((-10)/(-2 - 3)). Which is smaller: q or b?
q
Let k be 36*(1 + 96/36). Is k equal to 130?
False
Let n(w) = -w**2 - 9*w - 7. Let y be n(-8). Which is smaller: 3/35 or y?
3/35
Let w(y) = -y**3 + 2*y**2 + 2*y + 2. Let u be w(3). Let r = -2481/5 + 517. Let g = -107/5 + r. Which is greater: g or u?
g
Let i = -89 - -194. Let y be ((-30)/21)/(5/i*-3). Which is greater: 9 or y?
y
Suppose -4*x - 14 = 2*t, 5*t - 2*x = t + 12. Let a(c) = -23*c**2 + 10*c - 6. Let w be a(2). Let j = w - -78. Which is smaller: t or j?
j
Suppose 5*d - 8*d + 30 = 0. Let y be 1*(-5)/d + 3. Is 2 at most as big as y?
True
Let n = -1.32 + 1.21. Let x = -1.5 - 0.5. Which is greater: x or n?
n
Suppose -3*i = -r - 7, 3*r - 4*r = -5*i + 15. Let o = -271 + 273. Which is bigger: r or o?
r
Let w = 1189 - 1222. Is 13 less than w?
False
Let g = -135 - -70. Let i = g - -65.07. Is i > -0.9?
True
Let h = 29 - 15. Let z be 2/(-4) + 21/h. Let d be (-1)/1*-1 - 2. Is z at most as big as d?
False
Let l be 9 - (-3 + (-1 - -4)). Suppose 0 = 10*q - l*q - 22. Which is smaller: q or 21?
21
Suppose -40 = -f - 3*f + 4*u, -5 = 2*f + 3*u. Let q be (-2)/3 + f/3. Let o be (-2)/7 + 0 + 0. Is q greater than o?
True
Let t be (-2)/(-10) + -4 + 4947/165. Is 26 at least as big as t?
False
Let k(n) = -n**3 - 2*n**2 - 12*n - 1. Let j(r) = -r**2 + r + 1. Let h = 20 - 21. Let z(m) = h*k(m) - 6*j(m). Let y be z(-7). Which is smaller: y or 5?
y
Suppose 0 = 2*p + 5*h + 17, 7 = 2*p - 6*h + 3*h. Which is smaller: 2/13 or p?
p
Let b(o) = o**3 - 8*o**2 + 8*o - 8. Let l be b(7). Is -2/17 <= l?
False
Let d = -3.4 + -11.6. Let x = d - -7. Let u = -57.1 + 57. Which is smaller: u or x?
x
Let a be (-8)/(-24)*9/(-6)*122. Is a equal to -65?
False
Suppose j - 406 = 5*t, j + 161 = -18*t + 16*t. Is -84 at least as big as t?
False
Let z be (-8)/(-30)*48/800. Let x = -1619/375 - z. Let m = x - -97/21. Which is smaller: -15 or m?
-15
Let x = -2 + 2.1. Let i be ((-42)/(-12)*2 - 3)/14. Is x != i?
True
Let v = 0.14 + -0.14. Is v >= 29?
False
Let q = 22 + -8. Let f = -46 - -67. Let z = f - q. Is z > 8?
False
Let y = -415 - -411. Suppose -s = -7*s - 18. Which is smaller: y or s?
y
Suppose 0 = 5*o - 2*o + 15. Let f be o*(1 - 0/(-1)). Let n be (-288)/45 + 2/5. Is n bigger than f?
False
Suppose 2*o = -4*l + 12, -5*o + l = -2*l + 9. Suppose 4*u = 3*c - o*u + 2, -c + u = -1. Let g be (-3)/1 + c + -4. Is g smaller than -5/9?
True
Let c = -38 - -54. Is 0.05 smaller than c?
True
Let m = 593 + -564. Is m at most as big as 25?
False
Let s(w) = w**3 - 5*w**2 + 3*w - 10. Let u be s(5). Let x = 95/6 - 67/6. Is x > u?
False
Let w = 8 - -3. Let r = -2 + w. Let c = 9 - r. Is c less than 2.1?
True
Suppose -3*u + 11 = -4. Suppose -2*d + b = 47, 3*d - 28 + 118 = -u*b. Are d and 0 unequal?
True
Let c = -10 + 131/13. Is c less than or equal to -4/5?
False
Let d = -1 + 0. Let i = -0.9 - d. Let v be 8/(-44) - (-74)/44. Which is bigger: v or i?
v
Let t(o) = o + 6. Let s be t(-2). Suppose 5*a + 5*q + 30 = 0, -s*q - 1 = 3. Is -6 greater than a?
False
Let u be (0 + 0)*(-67)/(-134). Is u greater than or equal to -12/125?
True
Let v(o) be the third derivative of o**4/8 - o**3 - 6*o**2. Let t be v(-3). Which is bigger: -14 or t?
-14
Let r = -120.24 - -1.24. Are r and -3 non-equal?
True
Let c = 2 - 2.6. Let y = -3.6 - c. Which is smaller: y or -0.6?
y
Let g = 0.95 + -6.95. Which is smaller: -0.38 or g?
g
Suppose 0 = -3*v + 17 + 7. Let f = 18 - v. Let p = -3 - -5. Is f smaller than p?
False
Suppose -10*t + 264 = -2*t. Let k = 30 - t. Which is bigger: -2 or k?
-2
Let p = -197 - -219. Let t = -22.02 + 0.02. Let l = p + t. Which is smaller: l or -0.06?
-0.06
Let m = -36.7 - -35. Is -2 != m?
True
Suppose -5*t = -2*c + 6, 2*t + 9 = 4*c - 3. Suppose -c*i = -2*i - 3*v - 36, 128 = 4*i + 4*v. Let r be (-12)/(-42) + i/7. Which is smaller: 1 or r?
1
Let l(t) = -60*t + 71. Let j be l(4). Is -170 equal to j?
False
Let v(h) = -h**3 + 8*h**2 + h. Let o = 12 - 4. Let t be v(o). Suppose 9 - t = w. Is 1/5 >= w?
False
Let i be 1/(-4) + 3/(-20). Suppose -4*u - 25 = -9*u. Suppose -5*z + 5*c = -15, -u*c - 13 - 9 = 2*z. Is i < z?
False
Suppose -3*c - g - 4 = -3, -g = -4*c + 1. Is c at most -2/281?
False
Let h be 181/(4/(-16)*-2). Let b = -238 + h. Let v = -860/7 + b. Is 0 greater than v?
False
Let o(f) = -13*f - 4. Let n be o(4). Let g be ((-7)/n)/((-2)/6). Is g less than or equal to 1?
True
Let v