15. Let o = k - -8. Is -4 less than or equal to o?
True
Let g(a) = a**2 + 8*a - 1. Let w be g(-9). Let v(x) = 2*x**2 - 3*x + 2. Let t be v(-3). Let b = t + -21. Is w at most b?
True
Suppose -170*u + 169*u = 1. Let w be (1 + -1)*6/(-18). Which is bigger: u or w?
w
Let w = -7.8 - -19. Let z = w + -11. Let j = z - 0.08. Which is bigger: -0.1 or j?
j
Suppose -2*w + 5*r + 3 - 9 = 0, r + 4 = 3*w. Let s be (-2)/5 + (-128)/(-20). Let z be (-9)/(-135) + w/s. Does z = -0.09?
False
Suppose 0 = g + g - 32. Let l be (-3*(-6)/(-54))/(g/(-30)). Which is smaller: l or 2?
l
Suppose 0 = 5*t - 5*r, -t + 4 - 1 = 2*r. Let u be t/((-224)/945 - (-1)/5). Is -27 != u?
False
Let l(y) = 5*y + 3. Let x be l(0). Suppose 0 = -4*q - 16, -x*z + q = -0*z - 1. Which is greater: -2/15 or z?
-2/15
Suppose -6*i + 10 = -i. Let l be 4/12 - (1 + i). Which is smaller: l or -4?
-4
Let a = -32 - -35. Let g be a - 8 - (6 + -2). Are g and -9 nonequal?
False
Suppose 0 = -l - 5*h + 10, 5*l - 7 = 5*h - 17. Suppose 4*d = 4, 5*m + d - 411 = -l*d. Which is smaller: 81 or m?
81
Let f(k) = k**3 - 6*k**2 - 6*k - 4. Suppose -4*a + 13 = 3*u, 0 = -4*a - 0*a - 4*u + 8. Let i be f(a). Suppose -j = 3*j - 8. Does j = i?
False
Suppose 213*u + 888 = 207*u. Which is greater: -151 or u?
u
Let b(p) = p**2 - 4*p + 4. Let r be b(3). Suppose 0 = -2*t - g + 2*g, -5*g + 18 = -t. Let l = -16/7 + t. Which is smaller: l or r?
l
Suppose -4*s = -5*x - 4, -2*x + 7*x - 44 = -4*s. Suppose -s*t + c + 5 = -2*t, 0 = 3*t - 2*c. Which is greater: t or 4?
4
Let l be (39 - 0)*(-19)/(-114). Are l and 6 non-equal?
True
Let i(q) = -q + 14. Let n be i(14). Suppose -3*v - 2*x - 27 = 0, n*v + 4*x - 2 = 2*v. Let l be ((-3)/(-3))/((-1)/7). Are l and v non-equal?
False
Let m = -34 - -51. Let g = 7 - m. Let j be (2/10)/((-2)/g). Is -3/8 less than or equal to j?
True
Let g = 15 - 14.81. Let c = 0.29 - g. Which is bigger: c or 0.3?
0.3
Suppose 0 = -l + 4. Suppose 3*r = 4*d + l*r - 51, d + 2*r - 11 = 0. Suppose 3*x = 5*b + d + 11, -5*b = 2*x + 9. Which is greater: -5 or b?
b
Let d(x) = -x**2 + 15*x - 1. Let j be d(15). Which is smaller: j or -3/599?
j
Let z(l) = l + 7. Let d be z(-6). Let q be (-69)/(-168) + 6/(-21)*d. Which is smaller: q or -1/4?
-1/4
Suppose 5*w + 6*w + 55 = 0. Let k be (-3)/((-315)/6)*w. Which is smaller: k or -20?
-20
Let h = -585 + 27494/47. Let y = 6 + -5. Which is smaller: h or y?
h
Let f = -5 - 6. Suppose -3*m = 3*m + 18. Is m smaller than f?
False
Let b be (-357)/(-153) - 142/66. Is -26 less than or equal to b?
True
Let k(f) = -55*f - 396. Let d be k(-39). Is d greater than or equal to 1749?
True
Let c = -497/2958 - -2/1479. Is 2/9 < c?
False
Let s = 287.9 - 288. Let x(c) = 2 - 1 - 4*c + 0*c. Let y be x(2). Which is smaller: s or y?
y
Let t = -66 - -101. Which is bigger: 37 or t?
37
Suppose -3*a + 6 + 9 = 0. Suppose -3 = a*k + 2. Which is smaller: 2/45 or k?
k
Suppose 0 = -5*v + 3*u - 100, v + 3 = -u - 17. Let g = v + 23. Suppose 0 = -5*a + g*a + 6. Which is smaller: a or 5?
a
Let b = -171 - -196. Which is bigger: 27 or b?
27
Suppose -4*s + 144 = 4*q, 5*q - 36 = 4*q + s. Let r(w) = 35*w**2 - q*w**2 + 9 + 4*w - 2. Let p be r(5). Do p and 3 have different values?
True
Let d = 159 - 1907/12. Let l be (-13 + 3 + 4)*(-3)/2. Suppose 0 = l*x - 4*x. Which is greater: x or d?
d
Let l be ((-4848)/120)/((-1)/5). Is l not equal to 202?
False
Let u = -0.517 - -54.517. Which is bigger: u or -3?
u
Suppose 4*i - 44 = -3*s, 3*s + 40 = -0*i + 2*i. Which is smaller: i or 25/2?
25/2
Let i = 18.99 - 19. Let a = 1.01 + i. Let g = -3 + 6. Which is bigger: a or g?
g
Let t = 0.3 + -0.31. Let c = 0.01 + t. Let x = 163/906 - 2/151. Which is bigger: x or c?
x
Let s = 162.8 - 163. Which is smaller: s or 17/11?
s
Suppose 0*f = 20*f - 360. Is f smaller than 22?
True
Let l(w) = w**3 - 2*w**2 - 7*w - 4. Let c be l(4). Does -26.2 = c?
False
Let x = 4.42 + -0.22. Let a = x + -4. Is a less than or equal to 1?
True
Suppose 0 = a - 0*a + 1. Let i = -1/30 + -73/60. Is a equal to i?
False
Let q = -218146/959 - -1592/7. Which is greater: q or 1?
1
Let s = 3 + -2.95. Let d = -0.05 + s. Are d and -10/9 equal?
False
Let r be 16/(-64) - 118/8. Is -147/10 bigger than r?
True
Let y be 860/18 - (-14)/63. Suppose 0 = 4*w + y + 36. Let s = 31 + w. Which is greater: 0.1 or s?
s
Suppose -5*q + 6*v = 3*v - 97, -4*v = q - 24. Let d be (q/(-6))/(26/39). Suppose -7*t - 10 - 25 = 0. Is d <= t?
True
Let d(p) = p**3 - 10*p**2 + 5*p + 40. Let v be d(9). Let t be (5 + -17)/(6/v). Which is greater: -14 or t?
t
Let x be (3/30)/(6/16). Suppose 0 = 3*d + n - 2*n - 103, 2*d - 4*n = 72. Let z = d + -33. Which is bigger: z or x?
z
Let i = -312 + 312. Let k(w) = -2*w - 8. Let q be k(-7). Let y be 0/(-1) - q/(-105). Which is greater: i or y?
y
Let o = -616 + 615. Let u = -653 + 9787/15. Is u at least o?
True
Suppose -2*g - 2*v = -v - 175, -3*g + 240 = -3*v. Suppose 360 = 5*d + g. Is 56 at least as big as d?
True
Suppose u + 5 = 0, 2*u + 21 = 5*l - 39. Let k(n) = -2*n**2 + 23*n - 17. Let v be k(l). Is v at most as big as 12?
False
Suppose 2*t - 5*t = -39. Suppose 3*r - t = -5*l, l + 3*r - 4*r - 9 = 0. Let i be l/6*(-14)/35. Is i != 0?
True
Let f be (-39)/24 - -2 - (-2024)/(-13248). Let j = -1/47 - 185/141. Is j at most f?
True
Let y = 3/1772 - 77983/8860. Let h = y - -689/80. Which is smaller: -1 or h?
-1
Let t(d) = 29*d**2 + 3*d - 2. Let o be t(1). Let f be (-10)/200*o/(-4). Which is greater: 0 or f?
f
Let l = 0 + 9. Suppose -2*r - 2 = -3*b, -4*b + 3*b - r + l = 0. Suppose 0*w = -b*w. Is 4 less than w?
False
Let v be 1*((3 - 3) + 0). Let z be (-1 - v)*2 - -5. Is 4 <= z?
False
Let z = 1.96 - -0.04. Let s(b) = -2*b**2 - 3*b + 1. Let r be s(2). Let g = r + 22. Which is smaller: z or g?
z
Let a = 480 + -477. Is 11/2 < a?
False
Let q be (-24)/(-16)*2*1. Suppose -9 - q = 3*l. Suppose 0 = -p + 5*s - 7*s + 3, 0 = -2*s + 4. Which is greater: l or p?
p
Let u = 127.1 - 117. Let r = 9.4 - u. Is r at most 0?
True
Let o = -32 + 23. Suppose 10 + 8 = -3*c. Let u = c - o. Which is bigger: u or 2?
u
Let q = -16 - -34. Let x be (1/(-15))/((-3)/q). Which is smaller: x or 0.04?
0.04
Let p = -276 - -602. Do 328 and p have the same value?
False
Let j = -0.4 - 6.6. Let l = -60 - -53. Let x = j - l. Do 7 and x have different values?
True
Let v = 2.6 + -14.6. Let b = -14 - v. Let u = 2.3 + -0.3. Is b bigger than u?
False
Suppose 2*i - 25 = -2*h + 15, 5*h = 15. Let l = i - 20. Let y be l/(-2)*20/390. Is y bigger than -1?
True
Suppose -8*a + 3*a = 70. Let j be 3/(2 + a/10). Is 0.3 equal to j?
False
Let n(h) be the first derivative of -h**2 + 9*h - 32. Let x be n(5). Is x greater than 3/49?
False
Let b(q) = -2*q - 18. Let s be b(-10). Suppose s*h - l + 0*l = 29, -3*h = 4*l - 71. Is h >= 16?
True
Suppose -26*l + 9*l = 697. Is l at least as big as -81/2?
False
Let k be (-4)/(-10) - 316/(-10). Let s be (1/((-60)/9))/((-18)/k). Which is smaller: s or 0?
0
Let c be (-7314 + 0)*(16 - (-1029)/(-63)). Are 2438 and c equal?
True
Let m = -7 - -7. Suppose -7*i + 136 - 395 = m. Let f = i - -182/5. Is -2 smaller than f?
True
Let i(c) = -c**3 - 9*c**2 - 30*c + 21. Let x be i(-8). Are x and 981/5 equal?
False
Let t be -6*4/6 + (2 - 2). Which is smaller: t or -98/19?
-98/19
Let c = 14 - 11. Suppose c = -p - 0. Let b be p + -4 + (-16)/(-4). Which is bigger: b or -7/3?
-7/3
Let r = -665.9 + 523. Let i = -143 - r. Is -12 equal to i?
False
Suppose -14 = 2*j + 3*r, -15*r + 19*r = -16. Which is greater: j or -3/97?
-3/97
Let v = 0.15 + 7.85. Let l = 37.85 - 40. Let r = -0.15 - l. Is r less than or equal to v?
True
Let t = 18 + -24. Let c be (2 - (-32)/t)*3. Are c and -8 equal?
False
Let k be 1/(-7) + (-50)/(-7). Let r be ((-3 + k)/4)/(-1). Which is smaller: -3/4 or r?
r
Let x(v) = v**3 + 3*v**2 + v + 2. Let r be x(-2). Suppose -3*d = -r*b - 24, 0 = d + d. Is 3 at least b?
True
Let m = -1763/180 + -13/20. Let z = m - -3845/369. Suppose 0 = -0*v + 4*v - 4. Are z and v equal?
False
Suppose 0 = -13*z + 10 + 16. Let f be -2*(-86)/(-180) + 2/z. Which is smaller: f or 0?
0
Let a = -9083/234 + 514/13. Which is smaller: -2 or a?
-2
Let f = -1.49 - 2.31. Which is greater: 1 or f?
1
Suppose 5*v = 4*v - 5*v. Suppose v = 65*g - 56*g - 126. Let s(y) = -y**3 + 5*y**2 + 2*y + 3. Let l be s(5). Is g bigger than l?
True
Suppose r = 2*m - 38, -11*