et q be (14 - 13)*9/(1/(-1)). Is w bigger than q?
True
Let k be 4/140*-131 - 3/(-1). Is k less than or equal to 0.1?
True
Let i = -14/3 - -19/6. Let k(j) be the third derivative of j**4/24 + 5*j**3/6 - 25*j**2. Let f be k(-7). Is f equal to i?
False
Let b = -2025 + 2994. Do b and 2/5 have different values?
True
Let o = -6 - -8. Let p = o - 2.64. Let c = 0.24 + p. Which is bigger: 3 or c?
3
Let n = 209/9 - 23. Does n = 14.9?
False
Suppose 4*h + i = 99, 5*h - 3*i + 0*i - 145 = 0. Suppose 0 = 2*k - k - h. Let c = k - 39. Is -12 < c?
False
Let w = 4415.9 - 4416. Let x = -85 + 179. Do x and w have different values?
True
Let a = -836 + 800. Which is bigger: -320/9 or a?
-320/9
Let q(w) = -w**2 - 15*w - 18. Let p be q(-12). Suppose 5*n = 7*n - p. Which is bigger: 7 or n?
n
Let r be (-6 - -2) + -4*(-1828)/16. Which is bigger: r or 454?
454
Suppose -u = -3*b + 4, -4*u = 4*b - 3*b - 23. Suppose b*f - 5 = -2. Which is smaller: 3 or f?
f
Suppose 2*v - o = 0, o + 0 = 5*v - 3. Is v smaller than -3/148?
False
Suppose a + 14*x - 11*x - 22 = 0, 36 = 2*a + 4*x. Let u = -2 - -4. Suppose 0 = u*y - 8 - 8. Which is smaller: y or a?
y
Let t = 0.048 - 0.338. Let g = -0.11 + t. Which is smaller: g or 1?
g
Suppose -14*u + 5*u + 486 = 0. Let s = -56 + u. Is s less than or equal to 2/3?
True
Let d = -20 - -19.93. Let l be (-6)/(-9)*6/34. Is d equal to l?
False
Let d(r) = 53*r + 206. Let u be d(0). Which is smaller: u or 614/3?
614/3
Let v = 386 - 926. Do v and -538 have the same value?
False
Suppose 2*l + 5*y = 3*l + 11, 0 = -3*l - 5*y + 7. Let i be -3 - (-3 - 6/(-327)). Which is smaller: l or i?
l
Let w = 31 + -21. Suppose 0 = 4*m - 2 - w. Which is bigger: m or 1?
m
Let y = -0.2 - -0.1. Let f = 66.25 + -66. Do f and y have different values?
True
Suppose 4*l = 19 + 61. Let w = 21 - l. Which is smaller: w or -25?
-25
Suppose p + 3*y = 12, 0 = -2*y + 3*y - 5. Suppose 6 = 2*i - 0*j + 2*j, -21 = 3*i - 3*j. Let k = p - i. Which is smaller: 3/17 or k?
k
Let h = 15.44 + -15.34. Let p = -1 + 2. Which is smaller: p or h?
h
Let s(n) be the second derivative of n**2 + 0*n**4 - n + 0*n**3 - 1/20*n**5 + 0. Let h be s(-2). Is h <= 11?
True
Let b = 3035 - 3035. Is -15/28 smaller than b?
True
Let p = 59709/118 - 506. Let y = -151 + 152. Are p and y unequal?
True
Let y = -61.29 + 61. Let w = -0.39 - y. Which is greater: 55 or w?
55
Let b = -18 + 17.96. Let k = 60 + -60.05. Which is bigger: k or b?
b
Suppose 3*p - 2*d - 4 = 0, -p = 3*d + 18 - 1. Let b be (0/3)/(-3 - -4). Suppose -3 = -b*m + m. Do m and p have different values?
True
Let d = -0.2074 - -0.4074. Is 1/80 at least d?
False
Let n(p) = p**3 + 21*p**2 + 108*p - 1. Let r be n(-8). Is r at most -31?
True
Let h be (-24)/(-4) - (-3 - -7). Let p = -285 + 636. Let v = 1762/5 - p. Which is smaller: h or v?
v
Let k be 15/(-2)*8/(-5). Suppose 0*x - k = 4*x. Let f(l) = -4*l**2 + 131*l + 27. Let b be f(33). Which is bigger: x or b?
x
Let w = -187 + 187. Which is greater: w or 79/3?
79/3
Let t = 16334 - 8988. Let m = t - 550942/75. Let z = m - -139/25. Which is smaller: 6 or z?
z
Let y = -1269/1624 + -1/232. Let w = y + 155/126. Is w bigger than 1?
False
Suppose 0 = 4*m - 6*m - 24. Let r be (2*26/(-32))/(3/m). Is 7 > r?
True
Let d = 14 - 13.95. Let n = d - -24.95. Let a = n + -4. Is a < 1?
False
Let w = 168.5 - 168.2. Which is greater: w or 97?
97
Let z(c) = -28*c - 491. Let r be z(-14). Is r bigger than -101?
True
Suppose 0 = -5*t + 4*t - 1, -3*t = -3*h + 6. Which is bigger: h or -3/155?
h
Let r = 7 - -9. Suppose 0*h - 4*h + 4*c = -r, -h + 7 = -2*c. Which is greater: 12/5 or h?
12/5
Let t = 403 + -433. Do -32 and t have the same value?
False
Let d = -1248163956 + 1079661700466/865. Let n = d - -144/173. Let j = n + 140. Which is smaller: -1 or j?
-1
Suppose 2*u + 146 = 7*u + 4*s, 16 = 4*s. Let q = -33 + u. Is -6 bigger than q?
True
Let v = -111903 + 1563883/14. Let c be 1/((-2960)/(-985) + -3). Let x = v + c. Are x and 1 unequal?
True
Let a = -0.54 - -0.6. Let o be (2 - -1) + 0/2. Suppose -o*i + 6 = -0*i. Is i less than or equal to a?
False
Suppose 2*n + 28 = 2*k, 5*n - 3 = -k - 13. Let w be ((-18)/k)/((-12)/40). Which is smaller: 5 or w?
5
Let f(x) be the third derivative of x**4/8 - x**3/3 + 2*x**2. Let w be f(4). Let k be w/8*(-6)/15. Is 0 >= k?
True
Let d = 7.89 - 27.8. Let b = d + 20. Let z be (-24)/(-10) + 10 + -12. Is b at least as big as z?
False
Let q(d) = -d**2 + 7*d + 2. Let p be q(6). Let k be (-1075)/(-150) - (-1)/(-6). Is k > p?
False
Let k = 367.5 - 370. Which is greater: k or -0.2?
-0.2
Let d(i) = 3*i - 13. Let o be d(6). Suppose 20*n - o = 15*n. Is -2/37 <= n?
True
Let r = -8 + 24. Let h be (r/252*-3)/(4/(-18)). Which is greater: h or 2?
2
Let b = -69.9 + -18.1. Let v = 85 + b. Which is greater: 13 or v?
13
Let w(g) = 162*g**2 + 23*g + 1. Let i be w(1). Is i != 189?
True
Let f(q) = -1441551*q - 2. Let h be f(1). Let b = h - -27382418/19. Let n = 373 + b. Which is bigger: n or 1?
1
Suppose 0 = -4*q + 2 + 70. Let h = q + -20. Let f be 3 - (1 - (3 + h)). Which is smaller: f or 4?
f
Let b = -70 + 68. Let f be (0 + -1)/(b - (-213)/96). Which is smaller: f or -4?
f
Let b = -1/32 + -61/96. Which is smaller: b or -1/91?
b
Let b = 1.54 - 1.2. Let s = -3.34 + b. Is 7 at most as big as s?
False
Let y = -615.2 + 615. Let x = -12 - -22. Which is bigger: y or x?
x
Let p = 15 - 15. Let l = p - -0.4. Which is smaller: -2/5 or l?
-2/5
Suppose 2*x - 8*r - 604 = -10*r, -4*r = 8. Is x less than 302?
False
Suppose -5 - 7 = 4*i. Let x be ((-12)/(-180))/(i/(-10)). Which is smaller: -0.26 or x?
-0.26
Let x = -456 - -459. Are x and 3 non-equal?
False
Suppose n = -4*w - 12, n - 1 + 4 = -w. Which is smaller: n or 24/109?
n
Let n be ((-2)/(-6))/(3/72). Let h be (-4)/n*-50 + -1. Is 24 != h?
False
Let h = 1.036 + -0.036. Do 2/49 and h have the same value?
False
Let s(a) = 4*a**3 + 21*a**2 - 23*a - 17. Let f(g) = 5*g**3 + 21*g**2 - 23*g - 17. Let k(l) = -3*f(l) + 4*s(l). Let m be k(-22). Is m at most as big as 3?
False
Suppose 0*t - 15 = -3*a + 3*t, -16 = -5*a + 2*t. Suppose 0 = -3*b + a*b + 2*b. Which is greater: b or 3/7?
3/7
Let b be (2/8 + 0)*-1. Let y(k) = -k**2 - 19*k - 34. Let f(n) = n - 1. Let i(q) = -6*f(q) - y(q). Let a be i(-5). Which is greater: b or a?
a
Let p = 1.1 - 1.1. Let f = 0.1 - p. Let s = 0.4 + -10.4. Which is greater: s or f?
f
Suppose -36*r = -3221 + 8657. Is -455/3 >= r?
False
Let s be (-36)/(-40) + 2/(-4). Which is bigger: -8 or s?
s
Let a be (-4)/12 + 39/9. Let h be 4 + a*(-335)/330. Which is bigger: h or 1?
1
Suppose 0 = d - 3*d - 10. Let o be d + 3 + 4 - 0. Let x be ((-1)/(-4))/(8/56). Which is greater: x or o?
o
Let k = 19 + 0. Let h = -20 + k. Let v = -117/5 + 114/5. Which is greater: h or v?
v
Let b = 0 - 0. Suppose b = -u - 6 + 5. Suppose -20 = 2*o + r - 14, 0 = 4*o + r + 16. Which is bigger: o or u?
u
Let f be ((-2)/3)/(2/18). Let r be f*(1 - -1 - 3). Let q be 3 - 0 - 24/(-6). Is q smaller than r?
False
Suppose 4 = -4*o - 3*h, -20 = -4*h + 9*h. Which is bigger: 68 or o?
68
Let q = 5695/8 - 713. Let u = -1261 + 1260. Which is smaller: u or q?
q
Let r = -3.4 - -6.5. Which is bigger: 0 or r?
r
Let b be -2*-9*5/15. Let r(u) = -u**2 - 6*u - 4. Let l be r(-5). Suppose -5*o - l = -b. Is 2 > o?
True
Let m = 4 + -2. Suppose -3*p - 18 = -4*a, 2*p - 4 = m*a + 7*p. Suppose 0 = 2*f + a*f. Is -4/7 <= f?
True
Let o(y) = -y + 17. Let u be o(-8). Let t = u + -27. Is t greater than or equal to -2/5?
False
Let t = 149 + -149.127. Which is greater: -1 or t?
t
Suppose -i = 4*i - 2045. Let b be i/(-15) + (-2)/(-3). Let a = b + 27. Which is bigger: 1 or a?
1
Let q be 6*(2 + (-31)/(-6)*-2). Let a = q - -43. Is a > -7?
False
Suppose -4*j - 7*k + 25 = 0, 2*k - 2 = 3*j + j. Which is greater: 48 or j?
48
Suppose 30 - 5 = 5*y. Let v(o) = o - 2. Let r be v(y). Do 2 and r have the same value?
False
Let g(h) = 17*h - 514. Let r be g(31). Suppose 2*f + 0*f = 24. Is f at most r?
True
Suppose 20 = 2*f - 8*p + 13*p, -72 = -4*f - 2*p. Is 20 smaller than f?
False
Let w = -15 - -14.956. Let h = w + -28.956. Let n = h + 29.3. Is 0.1 bigger than n?
False
Let w = 1 - 33. Let h = 65/2 + w. Let l = 449/740 - 1/148. Is h greater than or equal to l?
False
Let s = 6 + -1. Suppose -3*c - 15 = -0*x - s*x, 0 = -c. Let f(g) = g - 3. Let v be f(x). Which is smaller: v