?
-3281
Let t(b) be the first derivative of -b**4/4 - b**2/2 + 25*b - 60. Let l be t(0). Let u = -22 + 46. Which is smaller: u or l?
u
Let y = 1246695/241 + -5173. Which is smaller: y or 1?
y
Let a = 575 - 531. Let j(d) = d**3 - 6*d**2 - 8*d + 7. Let b be j(7). Suppose b = -g + k + 47, 3*k + 85 = 2*g + 4*k. Do a and g have different values?
False
Let c be 10344/28*(-259)/(-148). Is 646 > c?
False
Let x(i) = -2*i**2 - 17*i + 6. Let q be x(-8). Let p be (-22)/(-77)*(q - 0). Let r = p - 4. Is 2/83 < r?
False
Let g = -3891 + 3891. Which is bigger: g or 0.797?
0.797
Let o(i) = -i**3 + 4*i**2 - 5. Let j be o(3). Suppose 9 = -5*q + j*x, 3*q = -q - x - 3. Which is bigger: q or 0?
0
Let q be 1*((-7)/5 - (-2)/5). Let r = -178005427/567 + 313943. Let x = -2/567 + r. Which is smaller: x or q?
q
Let k be ((-1)/2)/(3/(-6)). Let p be (-99)/36 - -3*k. Let u = -272.2 - -272. Is p less than or equal to u?
False
Suppose -3*w - 6*b = -b + 55, 0 = -5*w - 5*b - 85. Let i = -36 + w. Is -48 smaller than i?
False
Suppose v = 2*v + 5, -4*o - v = 213. Let a be 1/(o/280 + (-6)/(-21)). Suppose 0 = -5*s + 4*f + a, s + 12 = -f - f. Is s less than -6/11?
True
Suppose -3*z - z = 393 + 551. Is -236 at most as big as z?
True
Let s(u) = 2*u**2 + 288*u + 9215. Let j be s(-48). Let r = -1 - 0. Do j and r have the same value?
True
Let s = 31000.039 + -30971. Let n = 0.039 - s. Let c = -7 + n. Is 1/3 >= c?
True
Let a = 4798.034 + 11.966. Which is greater: -2 or a?
a
Let t = -2175.9 + 2176. Let z = 13 + -10.9. Let x = 2 - z. Which is smaller: t or x?
x
Suppose -3 = 3*y, -m = y + 4*y + 20. Let b = m - -25. Suppose 5*h - b*h = 20. Is -2 greater than or equal to h?
True
Suppose 3*k = -2*x - 1 - 7, -5*x + 5*k + 30 = 0. Let t(o) = 6*o + 2*o**2 + 5*o**2 - o**x + 6 - 5*o**2. Let s be t(-5). Is s <= -2/49?
False
Let y = -16762 - -21991741/1312. Which is bigger: y or 2?
2
Let r be 3 - (9235/(-2990))/(-1). Let a be 0 + -2 - (-380)/184. Let c = a - r. Which is greater: c or -1?
c
Let x = 624108/7 + -91202. Is -2044 != x?
True
Let h = -1307/6 - -422185/1938. Let w = 522/10013 + h. Is 1.2 > w?
True
Let g = -1.59 + -113.41. Let x = -189 - g. Let k = x + 46. Is -2/3 less than or equal to k?
False
Let f = -22511 - -22398. Which is smaller: f or 86?
f
Suppose -34 = -2*v + k, 5*v + 3*k - 85 = 4*k. Let a(i) = i**3 - 17*i**2 + i - 41. Let w be a(v). Which is smaller: -21 or w?
w
Let f = 44126/3 + -25901929/1761. Is -1 not equal to f?
True
Let r be -1*(11 + (3 - 14)). Do 3/2017 and r have the same value?
False
Let r = 40 + -102. Let b = r - -63. Which is smaller: b or 116?
b
Let o = 4.14 + 36.66. Let q = o - 41.8. Let v = 0.12 - -0.01. Is q not equal to v?
True
Let t = 283/259 + -614815/561253. Does t = 1?
False
Let k = 2058 - 2059. Are -4/2585 and k equal?
False
Let i(y) = y**3 + 2*y**2 + y - 4. Let d be i(0). Let p be ((-1)/(0 - d))/((-5)/620). Is -2/5 < p?
True
Let d be (-1)/9 + 80/72 + -1. Suppose -3*s + s = 0. Suppose l + s*l - 5*o - 24 = d, 3*l + 5*o = -8. Is l at least 4?
True
Let c be (53 - 56) + -1*554. Let v = -26737/48 - c. Which is smaller: 1 or v?
v
Let b = 15 - 1. Let v = 20 - b. Suppose -3*p + 8*d - 89 + 83 = 0, -18 = -5*p + 4*d. Is p at most as big as v?
True
Let b = -0.3197 + 0.0197. Let o = -3.139 + -0.071. Let n = 3.4 + o. Is n > b?
True
Suppose -21*s - 137 + 19 = 2*o, s + 5*o + 89 = 0. Suppose -4*m = -0*y - 5*y - 32, -2*m - 12 = y. Is s bigger than y?
True
Let c(w) = -3*w + 40. Let a be c(6). Let d be 8/a - 1000/88. Which is greater: -4 or d?
-4
Let n be 25 - 0/(-3 + 1). Let c = n - 32. Suppose -4*z = -3*w - 3 + 12, 4*z + 5*w + 49 = 0. Which is greater: z or c?
z
Let d = -3.74 - 14.96. Let p = 18.6 + d. Which is smaller: p or -8.2?
-8.2
Let o = -1523 + 1497.98. Let j = -23 - o. Let p = -1.02 + j. Is -6 > p?
False
Let y = 90 + -13. Let f = -73 + y. Suppose -4*k + 10*a = 8*a - 10, 5 = f*k - a. Is k < -13?
False
Suppose 5*u = 4*d - 9839, -5*d = -11*u + 14*u - 12345. Is d smaller than 2466?
False
Let l = -2296 + 1728. Which is greater: l or -1708/3?
l
Let t be (8/2)/(5/(-20)). Let k be t/3*99/(-44). Let w be 8*(-9)/(-6) + (5 - 5). Is w at most as big as k?
True
Let w = 2 - 1. Let j be 9/((-1185)/(-45) + 2/(-6)). Which is greater: w or j?
w
Let k be (18/54)/(2/(-6)). Let x be ((-34)/153)/((-5)/(330/16)). Does x = k?
False
Let c be ((-1238)/52)/(2/12). Let y = -143 - c. Suppose 0 = -5*t + 3*g - 15 + 5, 0 = 5*t + g - 10. Is t less than y?
False
Let j be (43*-1*4/4)/(-1). Suppose -36*y = -j*y. Is -2/17 smaller than y?
True
Let v = 268 + -298. Let t(q) = -2*q**2 - 5*q - 4. Suppose 4*c + 0 = 3*u - 11, 3*c = 5*u. Let h be t(c). Is h < v?
False
Let n = 2138 - 98341/46. Which is greater: -1 or n?
n
Suppose -2*o - 638 = -5*k, -2*o - 646 = -5*k + 2*o. Let r = -125 + k. Let f(p) = p**3 - 6*p**2 + 5*p + 2. Let s be f(5). Which is bigger: s or r?
s
Let s(y) = 18*y**2 - 3*y**3 - 1 + 4*y**3 + 13*y - 122*y + 69*y. Let u be s(-20). Is u equal to -2/135?
False
Let j(d) = 14*d + 178. Let p be j(-31). Which is greater: p or -252?
-252
Let y = -1375/94 + 6/47. Let x = y + 15. Is x >= 1/26?
True
Let l be (1 + -1 - -998)/((-31)/62). Let j = -8173/4 - l. Which is bigger: -46 or j?
-46
Let w(s) = s**2 + 215*s - 5187. Let d be w(0). Are d and -5187 equal?
True
Suppose -28*r - 2320 = -20*r. Let c be (-62)/r + 2*(-1)/10. Is c less than 1?
True
Let x(v) = -v**3 + 87*v**2 + 280*v - 901. Let i be x(90). Which is bigger: i or -52/165?
-52/165
Suppose 5*k = -5*v + 235, 4*k - 5*v = -k + 235. Suppose -3*i + k - 77 = 0. Let w be 3 - (-5 - i) - -4. Do 1 and w have the same value?
False
Let c = 26.89 - 27. Suppose -109 = -12*s - 133. Is s <= c?
True
Let l = 76571671/1475 - 51913. Which is smaller: 1 or l?
l
Suppose -n + 488 + 99 = 0. Let a = n - 598. Is -10 > a?
True
Let b be ((-43)/215)/(-1 + 24/25). Suppose -2 = 3*y - v, -y + 18 = -0*y - b*v. Which is smaller: y or -44?
-44
Let z = 13/14 - -93/28. Let r be 6/(-39) - ((-432)/52)/2. Which is smaller: r or z?
r
Let x be (-16)/20*((-50)/(-4))/(-5). Suppose -x*n = u - 3 - 16, u - 30 = -3*n. Is -1 less than n?
True
Let r(f) = f**3 + 20*f**2 - 31*f - 25. Let h be r(-21). Let a = -192 + h. Is -5 > a?
True
Let k(o) = 486*o - 8749. Let f be k(18). Let d be (712/48)/((-4)/(-6)). Which is greater: f or d?
d
Let x = -113 - -103. Let b = -9.9 - x. Let u = 2 + -3. Which is greater: b or u?
b
Let x = -982 - -530. Let d = x + 453. Is d >= 0.3?
True
Let n = -95 - -125. Let m be 8/((-80)/(-15))*56/n. Is m bigger than -0.3?
True
Let t = -214 + 220. Suppose -2*u = -7*l + t*l + 31, 3*u - 12 = 0. Is 38 less than l?
True
Let v = 8826/5 - 397138/225. Is -1 at most as big as v?
True
Let g = -23 + 39. Suppose -4*z + 7 = -25. Let w = -42/5 + z. Which is smaller: w or g?
w
Let j = -3/574 - -1537/19516. Which is greater: j or -0.2?
j
Let l be (8/4)/((-10)/30560*10). Which is greater: -610 or l?
-610
Let k be (-44)/33*(-18)/8. Suppose 5*x + k + 77 = 0. Suppose 3*i + 64 = -3*j + 4, -5*j = 3*i + 70. Which is smaller: i or x?
x
Let y be 1 + ((-13)/(-13) - (-136)/2). Let z = y - 92. Is z bigger than -22?
False
Let a be (0 - 2/(-10)) + 1872/90. Let l be 5 + (-98)/a - (-4)/6. Let o be (-20)/35*l/(-2). Which is bigger: 2/73 or o?
o
Let k(q) = 4*q**2 + 6*q + 3. Let t be k(-4). Suppose 2*z - 104 = 4*f, z + 2*f = 25 + t. Let u be (-2)/(z/(-715)) - 1/(-6). Which is smaller: 25 or u?
u
Suppose 85*l - 77*l - 400 = 0. Let d = -50 + l. Are 5 and d nonequal?
True
Suppose 1368*b + 8061 = 1221. Let m be (1 - (-14)/(-6))*3. Let p(n) = n**2 + 4*n - 5. Let r be p(m). Is b at most as big as r?
True
Let c = -197 + 117. Let a be ((-32)/c)/((-2)/(-25)). Is 9 greater than a?
True
Let c = 12 - 122. Let f = 39 + c. Are 2/7 and f non-equal?
True
Let o(f) = f**2 - f - 3. Let k be o(3). Let r be (2/k)/((-28)/(-6)). Let d = -14.428 - -14.128. Is r > d?
True
Let u(x) = -4*x + 58. Let m be u(16). Let r be 0/(-2) - 7/(-21)*m. Let o be (-12 - -12)*2*r/(-4). Are o and -2/3 nonequal?
True
Let x be ((-3020)/(-370) - 0)*(27/6 - 3). Is 13 equal to x?
False
Let s be 4*(-11)/(-2)*(-4935)/(-30). Is 3618 < s?
True
Suppose 5*r + 4*q = 41, -3*r - 3*q - 8 + 35 = 0. Suppose 4*j + p = -0*j - 5, r = -j - 4*p. Suppose -3*o - 171 = -6*o. Does j = o?
False
Let r = 0.0208 - -0.1792. Do r and 1.153 have different values?
True
Let s be 0 - (-1)/1*3. Let g 