 14. Is f equal to 2?
False
Let q(u) = 2*u**3 + 5*u**2 - 15*u - 36. Let m be q(-2). Suppose -b - 7 = -2*r, -2*r + 10 + 2 = 4*b. Suppose -2*x + 3*i + 7 = 0, r*x - x = i - 7. Is m != x?
True
Suppose 6*u + 3042 = p, 9*p + 4*u = 8*p + 3052. Is 3052 at least p?
True
Let o be (1*((-75)/(-50))/((-3)/4))/2. Which is greater: 1/1724 or o?
1/1724
Let i = -47675 + 71703197/1504. Is i <= -1?
False
Let h be 0 + 2 + (3878/1294 - (-90)/(-18)). Let c be ((-7)/14)/(2/4). Which is smaller: c or h?
c
Let d = -55 - -117. Let j be 5/10*d*-1. Let m be 3 - 0 - (-91)/j. Is 0 >= m?
False
Let y(l) = -75*l + 4997. Let s be y(59). Are 571 and s nonequal?
True
Suppose -5*q - 5*q = -2180. Let a = 1916 + -1698. Is a at most q?
True
Let u(m) = -m**3 - m**2 + m. Let x(k) = k**3 + 3*k**2 - 3*k - 15. Let p(c) = -2*u(c) - x(c). Let t be p(0). Suppose -3*h = -12 + t. Which is greater: -5 or h?
h
Let r = -12919.3417 + 12919. Which is smaller: 0.1 or r?
r
Let v be (1/(-6))/((-11)/(-440)). Let z(l) = l**3 + 2*l**2 - 3*l - 7. Let n be (-364)/140 + 2/(-5). Let j be z(n). Is j >= v?
False
Let b(h) = -h**3 - 4*h**2 + 167*h + 510. Let k be b(-3). Which is bigger: k or -4/5807?
k
Let k = 1139 + -1140. Let o = -12 - -34. Is k <= o?
True
Let o = -500 - -326. Let d = o + 172.97. Let c = d + 0.03. Are c and 2/33 nonequal?
True
Suppose 55 = b + 54. Let m be ((-54)/52)/9 + b/2. Is m at most as big as 1?
True
Let y = 7887/28 - 1970/7. Are y and -1573/9 equal?
False
Let t = 401804 + -145051094/361. Is -1 smaller than t?
True
Let r = 267000750715/1662 + -160650278. Let j = r - 6/277. Which is smaller: j or -8?
-8
Suppose -2*j = 8*j + 70. Let s be (-1 - j)/(2*(-10)/30). Is s at most as big as -7?
True
Let g be (17756/1958 - (-72)/(-9))/(-6). Let b = 1571/8277 - 6/31. Let q = b + g. Is q bigger than -1?
True
Let o = -230 + 390. Let h = o - 219. Which is smaller: -61 or h?
-61
Let y be (16 + -10)/(-2*6/(-8)). Let u be (-7 + y)/(84/(-8)). Which is greater: 1/11 or u?
u
Let r = 167 + -165. Let h be ((-28)/(-6))/(2/(-3)). Let o be r/42*(-5 - 14/h). Which is greater: o or 4?
4
Let r be (4531/(-230) - -20)*(-12)/(-9). Is r at most as big as 9230?
True
Let y = -232.723 - 0.277. Let a = 259 + y. Let q = -0.2 + 1.2. Which is smaller: a or q?
q
Let b = -3.287 + 86.287. Do b and -3/2 have different values?
True
Let k = 14304.2 + -14304. Is k greater than or equal to -1830?
True
Let p = -1.621 - -1.06. Let m = p - -3.561. Is m at most as big as -0.09?
False
Let p = 373.67427 + 0.02573. Let j = p + -369. Is j < -4?
False
Suppose -4*v = 3*p + 1, 3*p = p - v + 6. Suppose w = -4*s - 6, -p*w = -3*s - 6*w - 4. Suppose 0 = -5*g - n - 22, 17 = -4*g - n - 0. Is g != s?
True
Let d = -7.0556 + -1.9444. Is -0.2153 at most as big as d?
False
Let n = 19087/1725865 + -11/982. Are -1 and n unequal?
True
Suppose -5*u - s - 30 = -u, u + 4*s + 15 = 0. Let b(i) = -22*i + 189. Suppose 2*w - 2 = -5*n + 35, n - 4*w = 25. Let q be b(n). Are u and q non-equal?
True
Let t be (-48)/(-80) + (-2413)/(-5) + -1. Let k = t - 482. Which is smaller: -114 or k?
-114
Suppose 2*p - 2 = 2*k, p - 6*k + 8*k = 4. Suppose p*u + 99 = -9*u. Is u < -16?
False
Let k = 6129 - 6133. Let p = 562236/209 + -9758/19. Let c = p + -2182. Which is greater: k or c?
k
Let x = -4.814 - -4.88. Let w = -0.134 - x. Which is greater: -217 or w?
w
Let r be (-20)/(-32) + 2/4*(-36)/72. Let z = 3 + -2. Which is greater: z or r?
z
Let p = -7902 + 7901.977. Which is greater: p or -77?
p
Let c(x) = -16*x**2 + 6*x. Let m be c(2). Suppose -3*n + 181 = -5*h, -n + 71 + 1 = -4*h. Let y = n + m. Which is smaller: y or 2/335?
y
Let o(t) = -t**2 - t + 40. Let q be o(20). Let k be 538/(-304) + 40/q. Is k < -1?
True
Suppose -9*l = -14*l + 25. Suppose 14 = 4*j + l*i, -2 = -j - i - i. Which is bigger: 10 or j?
10
Let r(o) be the first derivative of -o**3/3 + 3*o**2 - 10*o - 14. Let d be r(4). Is -22 > d?
False
Suppose 2*u = -4*c - 428, 18*c - 16*c + 238 = -5*u. Is c != -14?
True
Let s = -109/9 + 2557/171. Let p be 1 - (3 + -5 + 1). Which is smaller: p or s?
p
Let r = 3613 + -3469.4. Is r < 3?
False
Suppose -1650 = -10*s + 5*s. Let h be s/156 - 1/2. Which is greater: h or 1?
h
Suppose 0 = -4*r - 0*r + y + 1940, 0 = -2*r - y + 964. Suppose -374 = -4*h + 5*c, h = 6*h + 2*c - r. Let u = h + -769/8. Which is greater: 1 or u?
1
Let i = 630 + -615. Let g be ((-984)/i)/(-2) + 28/(-35). Which is smaller: g or 38?
g
Suppose 0 = -10*c + 8*c + 3*u + 13, 4*c - 3*u - 23 = 0. Let z(y) = -13*y - 6. Let j be z(-6). Suppose 5*g + c*v = v - j, -g - v = 15. Is -9 at most g?
False
Suppose -13 = -t + 2*o, -t + 3 = -4*o - 22. Is t smaller than -9/206?
False
Let b be (-70)/4*(-1 - 3). Let v = -38 + b. Suppose 0 = -w - 0*w + 4, 0 = -4*q + 5*w - v. Is q greater than -4?
True
Let r = 6709/20883040 - -3/7520. Are 1 and r unequal?
True
Suppose 13*c - 15 = 16*c, -2*j + 3*c = 439. Which is greater: j or 20?
20
Let k be ((-450)/(-8)*(-4)/(-12))/(93/(-13764)). Is -2775 greater than or equal to k?
True
Let v = 0.8675 + -0.89. Let w = -108.9775 + v. Let t be (-1 - -2)/(5/(-5)). Which is greater: t or w?
t
Let v be (1/((-14)/(-206)))/(252/49) - 3. Which is smaller: -1 or v?
-1
Let j(f) = 13*f**2 - 10*f - 6. Let v be j(-1). Suppose h = -u + 15, 3*h + 17 - 76 = 4*u. Is h <= v?
True
Suppose 3*p = 3*d + 21, p + 0*p - 5*d - 15 = 0. Suppose -3*t + 32 = 4*w - 4, 3*w = -p*t + 16. Suppose -f - 42 = -636*k + 633*k, k - 24 = -3*f. Is w at most k?
True
Let a be (3/10)/((-5)/(-50)). Suppose a*p - f = 251, 23*p = 21*p + 5*f + 150. Which is smaller: p or 82?
82
Let m(t) = -t + 6. Let b be m(0). Let s(p) be the second derivative of -p**3/3 + 17*p**2/2 - 17*p. Let x be s(9). Which is bigger: b or x?
b
Let a = -746 - -261. Let f = -473 - a. Which is greater: 1 or f?
f
Let w = -0.0575 - 84.5425. Let c = -7544 + 7632. Let l = c + w. Which is greater: l or -3?
l
Let l = -112 - -153. Suppose l*s - 3 = 44*s. Let k = 112/45 + -26/9. Is k != s?
True
Let d(h) = 10*h**2 + h - 3. Let y(g) = -2*g**3 - 22*g**2 - 19*g + 12. Let j be y(-10). Let c be d(j). Let q be (-8)/864*c + (-2)/(-8). Which is smaller: 0 or q?
q
Let y = -58 + 79. Suppose -17*n = -y*n - 60. Let t be ((-32)/(-15))/((-1)/(n/18)). Which is smaller: t or 1?
1
Let w(z) = 14*z - 127. Let s be w(10). Let g(u) = u + 18. Let o be g(s). Which is greater: 30 or o?
o
Let b = 3.63 + -3.5. Let j = b - -0.41. Which is smaller: 2 or j?
j
Suppose -266*z = 259*z - 503*z. Do z and 22/3259 have the same value?
False
Let q(h) = -h - 23 + 9 + 4*h. Suppose -2*p = 2*u - 5*u - 11, 0 = -u - 1. Let z be q(p). Which is bigger: z or -2/3?
-2/3
Let v be 2*(-1)/4*(-16 + 462). Let f = 147 + v. Is -76 greater than or equal to f?
True
Let i(o) = -23*o + 90. Let t be i(4). Let r(a) = a + 21. Let m = 52 - 75. Let k be r(m). Is k at least as big as t?
True
Let o be (269 + 1)/(-3)*1440/(-120). Which is smaller: 1087 or o?
o
Let x(m) = m**3 + 27*m**2 + 24*m - 651. Let i be x(-25). Let k be (-3307)/(-54)*(0 - -8). Let q = k + -490. Which is bigger: i or q?
q
Suppose -10*i = -5*i - 15. Suppose 0 = i*s + 47 + 16. Let p = -28 - s. Do p and -8 have different values?
True
Let u = -18.02 + 18.86. Is u >= 7?
False
Let a be ((-138)/161)/((-6)/28). Suppose 13*i - a = 9*i. Are i and -1/64 equal?
False
Let j = -42 - -18. Let q be (-24)/21*(-36 + 1). Let i = j + q. Is 16 < i?
False
Let q = -24/25 - 106/25. Let n(m) = m**3 + 10*m**2 + 11*m + 14. Let x be n(-9). Is x at least as big as q?
True
Let a be (5*21/70)/((-3)/(-86)). Which is bigger: 1 or a?
a
Suppose -2475 = 1029*j - 1040*j. Is j at most 228?
True
Suppose h = 2*w + 998, 2*w - 2*h + 684 + 312 = 0. Let i be (2175/w)/((-1)/16). Is i at most 69?
False
Let l = 4 - 4. Suppose 24 = -l*z - 4*z. Let o = -2687 + 2685. Is z greater than o?
False
Let f = -108691/2435 - -18/487. Is f smaller than -45?
False
Let q = 618 + -58709/95. Let b(o) = 2*o + 1. Let v(j) = j + 2. Let s(k) = 2*b(k) - 3*v(k). Let d be s(5). Is d not equal to q?
True
Let p(i) = 2*i**2 + 3*i + 2. Let c be p(-1). Let m be -2*((c - 3) + 1). Suppose -t + 2*k - 11 = -0*k, t + m*k = 9. Which is bigger: t or -5/7?
-5/7
Let d be (-6)/1512*28 + (-277)/(-9). Let c(h) = 31*h**3 - 2*h**2 + h. Let j be c(1). Which is smaller: d or j?
j
Let i = -30 - -97. Let a = i + -66. Which is bigger: 20 or a?
20
Suppose -268*x + 263*x + 2187 = 