1?
True
Let l(x) = -14*x - x**2 + 26 - 17*x - 16*x + 48*x. Let b be l(12). Let j = -1167/11 - b. Which is smaller: -1 or j?
-1
Suppose 8125 - 6646 = -25*t - 28971. Is -1214 less than or equal to t?
False
Let q(v) = 10 - 5 + 7 + 2*v**2 + 6*v. Let t(m) = 3*m**2 + 5*m + 13. Let d(z) = -4*q(z) + 3*t(z). Let s be d(10). Is s < -2/77?
False
Let t(j) = j**3 - 16*j**2 + 17*j - 29. Let d be t(15). Let m be d/1 + (-144)/(-8). Let v = -13 + m. Which is bigger: 3 or v?
v
Let q be ((-9)/(-20))/((-24)/(-1420)). Let j = -27 + q. Suppose -x - 17 + 13 = -4*f, -x - 4 = -2*f. Which is smaller: f or j?
j
Let w(c) = -541*c - 9198. Let s be w(-17). Is s > 63/409?
False
Let m = 26930749/15537 - -17/5179. Is m smaller than 1733?
False
Let j be 1 - (-9 + (-20)/10) - (-40 + 47). Let f(h) = 2*h - 6. Let a be f(5). Suppose a = -2*l - 2. Which is smaller: j or l?
l
Let v be (-2)/6 + 2860/903. Let c = -310760/43 - -7227. Let z = c + v. Are 1 and z non-equal?
True
Let o = 758.831 + 0.169. Let d = 761 - o. Is d less than or equal to -281?
False
Let l be 3/3 + -8 + 1. Let m(g) be the first derivative of 5*g**2/2 - 55*g - 23. Let w be m(10). Which is smaller: l or w?
l
Let d be -4066*(-3)/(-189) - 154/693. Is -66 at most as big as d?
True
Let w = -609 + -29. Let i = w + 460. Does -180 = i?
False
Let n(s) = 28*s - 89. Let p be n(8). Which is bigger: p or -3?
p
Let i be 2/5 + 1/(5/(-12)). Let j be (28/(-7) + -2)*i/(-3). Which is bigger: -26/7 or j?
-26/7
Let o = -4 + -3. Let h(g) be the first derivative of g**3/3 + 12*g**2 + 136*g - 523. Let k be h(-12). Is o > k?
True
Let p be 4212/297 - (-4)/(-22). Let i(y) = y**3 + 13*y**2 + 28*y + 82. Let x be i(-11). Which is bigger: x or p?
x
Let i be -2*362/(-30) + (-86)/645. Suppose 28*m = i*m. Is m equal to -18/95?
False
Suppose 49*s + 17*s + 1 = 67. Which is smaller: -1/1327 or s?
-1/1327
Let k = -249 + 133. Let t = k - -101. Which is smaller: t or -18?
-18
Let n = -0.635 - 0.365. Which is bigger: -1104 or n?
n
Let t = -15050584/143 + 105248. Does t = -2?
False
Let x be ((-34)/(-3))/17*(4 - 1). Let b be 6/36 + 193*x/(-84). Is -3 greater than b?
True
Let z(o) = 2*o**3 - 51*o**2 + o - 166. Let y be z(26). Does 1 = y?
False
Let k = -17 + 17. Let a be (-960135)/(-1701) + -2 + (-11)/(-7). Let v = 564 - a. Is k less than v?
False
Let k = -562 - -307. Which is smaller: k or -257?
-257
Let k = -6.5904 + -0.0496. Let m = 13 - 12.64. Let i = m - k. Is -1/8 smaller than i?
True
Let n = -2460209/268450 + 834/91. Which is greater: 1 or n?
1
Suppose 381 = 8*c + 202 + 187. Is -3/1199 < c?
False
Let c(b) = 27*b - 12. Let t be c(8). Suppose 11*p = 9*p + t. Let m = p + -304/3. Which is smaller: -3 or m?
-3
Let h(t) = -2*t**3 + 7*t**2 + 7*t - 10. Let d be h(4). Let y(r) = 4*r - 1. Let f be y(d). Is 2 greater than f?
False
Let w(u) = u**3 - 4*u**2 - 20*u + 78. Let d be w(5). Is 164/43 at most as big as d?
False
Suppose 0 = -2*n + 5*n + 4*g - 260, -5*n = -3*g - 443. Suppose 102*k = 91*k - n. Is -66/7 at most as big as k?
True
Let t(a) = 120*a**2 + 604*a + 7. Let j be t(-5). Suppose 5*s - 29 + 4 = 0. Let z be 1*(s*-3 - 0). Which is greater: j or z?
j
Let o be 9*(-1785)/126*-2. Which is bigger: -3 or o?
o
Suppose -3*o - 2*s = 2, -2*s - 2*s = -2*o + 20. Let z(m) = 1 - 8*m + 15 - 4*m**o - 8*m + 5*m**2. Let d be z(15). Which is smaller: 2/57 or d?
2/57
Let u be (23 - 30) + -53 + 0. Suppose 3*y - 143 = 2*l - 10, 0 = -2*l - 4. Let r = -102 + y. Which is greater: r or u?
r
Let o be 307 - (-3 + 3 - -1). Let b = -303 + o. Which is smaller: 11/3 or b?
b
Let d be (2 - 12/8)*-2*4. Let q(b) = 8*b + 31. Let r be q(d). Suppose 2 = -3*h - 7. Which is bigger: r or h?
r
Let o = -6803 + 1801. Is 1 != o?
True
Let m be (-4)/10 + (468/20 - -4). Suppose -m = 4*c - 31. Is -2/463 equal to c?
False
Let r be 8/42*868/24 + -8. Does r = 2/21?
False
Let n = 16.5 + 13.5. Let t = n - 30. Which is bigger: t or 6.3?
6.3
Let c(n) = n**3 + 8*n**2 - 178*n + 40. Let v be c(-18). Which is smaller: 111/41 or v?
111/41
Suppose -19*g = r - 14*g + 936, -g + 4680 = -5*r. Let d be (98/(-21) - -4) + (-627)/r. Is -1 greater than d?
False
Let o(x) be the second derivative of 0 - 5/6*x**3 + 9*x - 12*x**2. Let g be o(-4). Is g greater than -2?
False
Suppose 0 = -2*r - 8*r + 1050. Suppose 0 = 6*l - l - r. Let b = l - 21. Is 10 greater than or equal to b?
True
Let m = -2/227 - -8708/9307. Let j = m + 2015/82. Is j > 26?
False
Let d be (-18)/4*1260/(-1890). Let y(q) = -q + 12. Let z(l) = 2*l - 4. Let p be z(6). Let n be y(p). Which is smaller: n or d?
d
Suppose -34986 = 1486*m - 1500*m. Is m at most 2498?
False
Let a(x) = -x - 16. Let k(m) = -m - 20. Let l be k(-4). Let q be a(l). Let h = 23/8 + -1649/568. Is q >= h?
True
Suppose 2816 = 3*r + 2*l - 1519, 1462 = r - 5*l. Is 1445 < r?
True
Suppose 5*d - 25 = -4*l, -299*l + 302*l - 2*d = -10. Is l at least as big as 1/8184?
False
Let r = -96 - -94. Let x be 7/217 - ((5 - 3) + r). Which is greater: x or -1?
x
Let g be -4*(-1)/(1/(-1)). Let q be -2 + (-1504)/176 - (0 - 7). Are q and g non-equal?
True
Suppose -6*z = -3*z - 8*z. Suppose z = -k - 5*c - 14, -3 = 3*k + 8*c - 6*c. Suppose -5 = 2*b + 1. Which is greater: b or k?
k
Let g be -6 + 4 - (-12662)/6318. Are 0 and g nonequal?
True
Let s = 10224 + -10226. Which is smaller: s or 7476?
s
Let h be 3/6 + (-142)/4 + 5. Let z be ((-72)/h)/(-2)*(-10)/(-3). Do -13/4 and z have the same value?
False
Suppose -3*a - 3*m = -8*m - 84, -4*m = -4*a + 104. Suppose -2*c - a = c + w, 2*c = -5*w - 24. Let l = 8 - 15. Is l at least c?
True
Suppose -u + 2*w + 1885 = 0, 362*w = 4*u + 364*w - 7500. Which is smaller: u or 1880?
u
Let t be (3/(-1))/(55/(-88)*-3). Which is bigger: t or -107?
t
Let l(g) = -37*g**3 - 1. Let d be l(-1). Suppose r = 4*r - d. Let m = -26 + 37. Are r and m non-equal?
True
Suppose p + 4*n - 151 = 0, n = -2*p + 6*p - 570. Suppose -6*x + p = 7*x. Which is bigger: 12 or x?
12
Let k = 43 - 41. Suppose 7*b - k*u = 2*b - 112, 5*b - 4*u + 104 = 0. Is -24 > b?
False
Let b be 2*(-1058)/(-4) - (-1 - 3). Suppose 9*h = -b - 367. Is h less than -98?
True
Suppose -15*l + 172 = 157. Let k be ((-27)/279)/(l - 0). Which is smaller: 1 or k?
k
Let i = -3.082 + 0.002. Let a = i - -0.18. Let l = -1.9 - a. Which is greater: l or 13?
13
Let w be 17/(-34) + (7946/(-12) - (-3)/(-9)). Is -659 > w?
True
Let p be 26/(-28)*-2 - (-4)/28. Suppose -p*u + 24 + 120 = 0. Let d be (u/300)/((-2)/(-5)). Which is bigger: 2 or d?
2
Let x be ((-4)/7)/(2 - (-576)/(-287)). Let j be -4 + (x/4 - (3 - 1)). Is 16 at least j?
True
Suppose 5*v = 15, -5*r + 6 = 14*v - 12*v. Is -136/109 >= r?
False
Suppose -3*h + 5*u = 3, 7 = -2*u + 13. Suppose -3*o + 96 = -3*p, h*p - 77 + 202 = 5*o. Which is bigger: -67/2 or p?
-67/2
Let t = -0.563 + -28.237. Let b = t + 28.2. Which is greater: b or -45?
b
Let y(n) = -n**3 - 15*n**2 - n + 15. Let s be y(-15). Let u be 0*(-6)/s + 4/154. Let j be ((-3)/(-15))/(2 + (-14)/10). Which is bigger: j or u?
j
Suppose -5*d + 4*a - 160 = 0, d + 5*a + 160 = -4*d. Let g = d + 42. Let p = -7 - g. Are -16 and p non-equal?
True
Let q be -111 + 112 + ((-2)/(-12) - 39/18). Let t = -139226354 - -2568030100444/18445. Let j = t + 4/527. Which is bigger: q or j?
j
Let d(c) = c**3 - 9*c**2 + 9*c - 8. Let v be d(9). Let z = -366/5 + v. Let l = 364 - 342. Is z equal to l?
False
Let l be (1205/964)/(10/14). Is l at most as big as 152?
True
Let i(n) = -n**3 + 0*n**2 - n**2 + n**3 + n**3 + 14. Let g be i(0). Suppose -g = -0*q - 3*q - 4*m, -5*m = 4*q - 18. Which is greater: q or -10?
q
Let w = 422 + -420. Suppose w*j + 4*i + 6 = 0, -j - 3*i = 1 + 4. Is 3/29 less than or equal to j?
True
Let t = -0.052021 + 0.052021. Let n = 0.25 + -16.25. Do t and n have different values?
True
Let w = 732 - 1068. Is w at least 0?
False
Let j be (-3)/(-2)*364629/(-171)*2/1. Is -1 at least as big as j?
True
Let r(v) = v**3 - 23*v**2 + 19*v + 22. Let j be r(22). Let z = j - -701/16. Let t(w) = w**3 - 8*w**2 - 8*w - 8. Let m be t(9). Which is smaller: z or m?
z
Let i(y) = -134*y - 2099. Let t be i(-5). Which is bigger: -1430 or t?
t
Let b be 6/4 - 3 - 927/(-6). Let v = -11 + b. Is v != 141?
True
Suppose -5*h + 10 = -0*h. Suppose 1717*d + 1292 = 1679*d. Which is bigger: d or h?
h
Let r be (-60)/(-22) + (-1 - 1). Suppose -11*d - 8*d = 38. Let a(w) = 2*w**2 + 7*w + 7. Let y b