4*d**2 - 16*d + 22. Let w be n(5). Is 41 > w?
False
Let g = 3271/9 - 363. Suppose 3*n - 3*s = 6, 5*n - s - 1 = -5*s. Are g and n equal?
False
Let q = 553.08 - 553. Suppose 3*l - l = 4. Is q != l?
True
Let o = 32 - 80. Let u be ((-50)/90)/((-46)/o - 1). Is u equal to 2/7?
False
Let z be (0 + 1)/(4/12). Suppose -5*l = z*x + 16, -2*l - 3*l = 25. Suppose -c + 3*i = 7*i, -x*i = 0. Is -1 > c?
False
Let s(j) = -j**2 + j + 1. Let u be s(3). Let r = 0 - u. Let z(q) = q**3 - 6*q**2 + 5*q. Let t be z(r). Is -1/4 >= t?
False
Let f be 8 - 12 - (-2 - 16/6). Is -116 not equal to f?
True
Let u be (30/600)/((-4)/270). Is -2 > u?
True
Let t be (-1696)/(-4040) + 4/(-10). Let a = -152/2525 - t. Let q be -4 + 3/((-3)/12*-4). Which is bigger: a or q?
a
Let n(t) = -t**2 + 5*t + 6. Let q be n(4). Let j be (1/156)/(q/(-4) - -3). Which is greater: 0 or j?
j
Let x(y) be the third derivative of -y**6/120 - y**5/15 + y**3/2 - 9*y**2. Let w be x(-4). Which is smaller: 5 or w?
w
Let o = -601451 - -13226555/22. Let q = o - -244. Is q greater than or equal to 0?
True
Let f = -44.5 + 24.4. Let h = f - -20. Which is smaller: h or 12?
h
Suppose -6*w + 2*w + 2*m + 174 = 0, 207 = 5*w + m. Let d = 113 - w. Which is bigger: 72 or d?
72
Let x = -0.1 - -0.2. Let m = -0.1 + x. Let z = 158/5 + -157/5. Is z > m?
True
Suppose -26 = -42*d + 100. Let m = 0 + 0.4. Which is bigger: d or m?
d
Let b = 1165 - 1165. Is b at least as big as -4/881?
True
Let k be -62 + (-2 + 2)/(-2). Let h = -18080 + 18017. Is h > k?
False
Let r = -32 + 29. Suppose -2*u - 3 = 5. Is u at least as big as r?
False
Let y = -859 + 441. Which is greater: -2/5 or y?
-2/5
Let h = 38 - -9. Suppose -50 = -5*q + 3*q - 2*t, h = 2*q + 3*t. Let x = q + -85/3. Is x greater than 0.4?
False
Suppose o = -4*h + 20, -6*o + 8 = -o - 3*h. Suppose 97 = 2*c + 5*r, -c - o*c + 330 = -5*r. Which is smaller: c or 60?
60
Let g(r) = 18*r - 73. Let p be g(4). Which is smaller: p or 0?
p
Let i = 12.32 - 13.92. Suppose 3*u = 3*j, -j - 2*u + 0*u = 0. Which is smaller: i or j?
i
Let x = 251 + -796. Which is greater: x or 0.1?
0.1
Let s = -12 + 10. Let h = 33/440522 + -2113717187/1236545254. Let o = h + -2/401. Are s and o non-equal?
True
Let g = -599 + 488. Is 3 not equal to g?
True
Suppose 5*p - n = 4, -5*p + 2*n - 1 = -4. Suppose p = -0*r - r. Let u = -26/7 + 404/105. Which is bigger: r or u?
u
Let s = -1.093 - -0.093. Let a be (-9)/(-15) - (-2)/(-4). Is s at least as big as a?
False
Let t be ((-1)/(-3))/(23/(-4002)). Which is smaller: -43 or t?
t
Let y = 991.4 + -1025. Is y smaller than -1/3?
True
Let n = -147.6 - -147.7. Which is smaller: n or -0.0053?
-0.0053
Let d = -369 - -400. Which is smaller: d or 29?
29
Suppose 0 = -4*f - 25 + 25. Let y = f - -1. Is y != 1?
False
Let v = -193.7 - -13.7. Is -1/2 greater than v?
True
Let d = 25 - 25. Let r be 3/(-1) - (-2 + 0 - -1). Is r at most d?
True
Let s = -2325 + 2316. Is -0.05 less than s?
False
Let u(v) = -36*v**2 - 1. Let g be ((-2)/(-7) - -1) + 10/(-35). Let r be u(g). Is r less than or equal to -37?
True
Let v = -3845/4 + 967. Let a = -445/76 + v. Which is bigger: a or 0?
0
Suppose 0 = 13*r - 18*r - 5. Let d(k) = 2*k**3 + k**2 + 5*k + 4. Let o be d(-3). Let v be (-63)/o*2/(-3). Which is smaller: r or v?
r
Let d = 10/251 - 13664/2761. Which is smaller: -4 or d?
d
Suppose -h = -1, -603 = 2*y + 3*h - 4*h. Let k = -6341/21 - y. Let z = k + 2/3. Is z greater than 0?
False
Suppose 35*l = 21*l + 1708. Which is greater: l or 121?
l
Suppose 8*z - 5*z - 25 = r, -4*r = -3*z + 100. Let w be -1*(-3 + 28/10). Is r bigger than w?
False
Let l(k) = -6*k**2 + k - 10. Let h be l(4). Let n = h + 108. Is n greater than -6?
True
Let n = -9 + 31. Let q = n - 20. Which is smaller: q or 8?
q
Suppose 0 = -10*w + 76 - 6. Suppose 3*c - 27 = 6*c. Let m = w + c. Is m != 1?
True
Let l = -1 + 1.11. Let s = 1.49 - 1.4. Let o = s + l. Which is smaller: 6 or o?
o
Suppose 2*i - 31 = -57. Let v(o) = o**3 + 12*o**2 - 14*o - 10. Let m be v(i). Is m equal to 11/6?
False
Let d = -23283/5 - -160121/35. Which is smaller: d or -82?
-82
Let r = -120 + 121. Let o = -433/6 + 72. Which is bigger: r or o?
r
Let a = 2147/5395 + -29/65. Which is smaller: a or -1?
-1
Let x(h) = 5*h**3 - 3*h**2 + h + 3. Let d be x(-1). Is -3/10 >= d?
True
Let g = 0.01 - 0.41. Let s = -101.99 - -101.9. Which is greater: s or g?
s
Let x = 41 + -52. Let s = x - 11. Is -22 < s?
False
Let l be (0 + (-6)/(-12))*2. Is l != -2/103?
True
Let v be 0/1 + (-12)/(-780)*13. Which is greater: v or -29/3?
v
Let d = -2 + 2.08. Let t = d - 0.2. Let g = t + 0.09. Is g <= 0.2?
True
Suppose 0 = 2*t - o + 17, -2*t + 5*o = -0*o + 37. Let c be (-222)/(-4)*(-3)/t. Let l = 28 - c. Which is smaller: l or -2/31?
-2/31
Let j = 66 - 66. Suppose j*n = -5*n + 130. Which is smaller: n or 27?
n
Let c(g) = -15*g + 6*g**2 - 20*g**2 - 12 + g**3 + 11. Let j be c(15). Do -20 and j have the same value?
False
Suppose -4*n - 2*p + 3624 = 0, 3*p + 3230 = 5*n - 1278. Let o = 20789/23 - n. Is 0 at least as big as o?
True
Let m = 2293.038 + -2291. Let q = 0.038 - m. Is -2 < q?
False
Let s(f) = f. Let z be s(1). Let c be -2 + z/2*2. Let h = -1/4766 - -2387/19064. Which is greater: h or c?
h
Suppose -3*z = -3, -18*f = -19*f + 4*z - 11. Suppose -i = -0*i + 8. Is i greater than f?
False
Suppose -3*s + 64025 = -48820. Let f be (s/(-50))/(7/2). Let g = 215 + f. Is g equal to 1?
False
Let m = 9 - 5. Let c be (-668)/52 - m/26. Are c and -12 equal?
False
Let m = 121 - -10. Which is bigger: m or 130?
m
Let o be ((16/2310)/4)/((-609)/3045). Is -1 at least as big as o?
False
Let a = -12 + 0. Let y = a + 12. Let d = 5/3 + -7/6. Is d less than or equal to y?
False
Let o be 59/295*(1 + 393/(-148)). Let h = 3/37 + o. Which is bigger: h or -23?
h
Let g = -470/3441 + 8/111. Which is bigger: -2 or g?
g
Let i = -9.6 + 10. Let l be (-3 - (-124)/40)/((-10)/(-25)). Is l != i?
True
Suppose 0 = -4*o - 4*a + 24, -24 = o + 3*a - 8*a. Is o greater than -1/438?
True
Let i = 55 - 51. Suppose 3 = i*x - 1. Which is bigger: 1/2 or x?
x
Let k = 12 + -10. Let d be 0/2*k/(-4). Suppose d*n - 22 = 2*n. Is n <= -11?
True
Let w(b) = b**3 + 39*b**2 - 40*b - 2. Let u be w(-40). Which is bigger: -0.12 or u?
-0.12
Let z(b) = -2*b - 18. Let t be z(-11). Let u be (4/(-10))/(t/5). Let v be (0 - 1) + (2 - 2). Is v equal to u?
False
Let r(l) = l - 5. Let q be r(13). Let t(j) = j - 2. Let m be t(q). Let s be -2*m*(-4)/6. Which is greater: s or 7?
s
Suppose -68*g + 3 = -65*g. Let n(d) be the first derivative of d**4/4 + d**3/3 - d**2/2 + 2. Let l be n(-1). Is g > l?
False
Suppose 0 = -5*u - 2*l, -2*u - 5*l - 8 = 13. Let f be u/(-8) + (-161)/92. Let z = -9 + 5. Which is smaller: f or z?
z
Suppose 2*i - 6*i = -16. Let w(q) = 3*q - 10. Let g be w(i). Is g less than -0.4?
False
Let o = 186 + -191. Which is smaller: o or 49?
o
Let o = 555 - 549. Let t = -91 - -37. Let y be (-8)/6*t/12. Is y greater than o?
False
Let m = 231 - 268. Is 1/3 at most m?
False
Suppose 18 - 5 = -13*z. Which is smaller: z or -3/17?
z
Let d be (-2)/(8/(-20))*1. Let n be (45/2)/((-23)/(184/(-48))). Is n greater than d?
False
Let p(f) = 4*f + 3. Let r be p(4). Let j(n) = -n**2 - 7*n + 18. Let c be j(-7). Do r and c have the same value?
False
Let n = -22009/7 + 3160. Let f = -1429/91 + n. Which is smaller: 0.2 or f?
f
Let h be ((-18)/54)/((-2)/(-84)). Is h > -13?
False
Let i be 6/9 - (5 + 100/(-12)). Which is smaller: i or 23?
i
Let o be 9/(-6)*(-376)/12. Suppose 5*c + 17 - o = 0. Let y be (-2)/3*c/4. Are y and -1/8 non-equal?
True
Let j = 61 - 52. Let s be 284/(-18) + (-2)/j. Are s and -16 non-equal?
False
Suppose -2*f + 287 = 3*r, -202 = -2*r - 2*f + 6*f. Which is smaller: r or 96?
96
Suppose -3*k + 3*m + 26 - 5 = 0, 2 = -4*k - 2*m. Suppose -19 = -k*u + 5. Suppose 2*l + 4 = u. Does l = -0.3?
False
Suppose -v - 2*b = -1, 0 = v - 5*v - 3*b + 4. Let t be (2 - 1) + 0 - (v - 26). Which is bigger: t or 25?
t
Let j = -8 + 8.1. Let f = -0.97 + 0.9. Let r = 1.37 + f. Which is smaller: j or r?
j
Let r(d) = 5*d - 7. Let a be r(2). Suppose t - 9 = 3*j, 2*j - 5*t + 13 = a*j. Let h be (-302)/(-18) - j/9. Is h < 17?
False
Let a = 0.47 + 12.03. Let s = a + 1.5. Let n = s + -17. Is n smaller than -1/5?
True
Let g be 8/(-6) - 1371/(-9). Let s = 601/4 - g. Let a = 5/6 + s. Is 0 equal to a?
False
Let s(c) 