- 4*v - 130, 0 = 5*c + 5*v - 619 + 19. Suppose 5 = c*l - 117*l. Let r be (7 - l) + -9 - 2*24. Which is smaller: r or -52?
-52
Let t(x) be the first derivative of x**2/2 - 46*x - 14. Let b be t(11). Let c be 2611/b - 2/5. Which is smaller: c or -74?
c
Let j(m) = 3*m**3 - 3*m**2 - 20*m + 8. Let v(i) = -i**3. Let h(l) = -j(l) - 2*v(l). Let c = -9303 - -9310. Let a be h(c). Is -63 <= a?
False
Suppose b = -3*i - 4, 6*i + 8 = 3*i - 2*b. Suppose 2*m - 7*v = -4*v - 146, i = -2*m + 2*v - 144. Is m bigger than -70?
False
Suppose 4554 = -30*r + 114. Let w = -152 - r. Which is smaller: 32 or w?
w
Suppose 74*r + 53*r - 15*r = -14*r. Which is bigger: 2/25433 or r?
2/25433
Suppose -114 = 6*t - 1092. Let c be ((t/(-5))/(-1) - -5)*-5. Is -189 equal to c?
False
Let t = 206 - 206.99. Let v = t + -0.71. Let w = -1.62 - v. Is -1 at least w?
False
Let k = 15805 + -9323. Suppose -60*r - k - 1318 = 0. Is -130 not equal to r?
False
Suppose 1515 = 3*f + 5*s, -5*s + 2030 = -187*f + 191*f. Does 515 = f?
True
Let o = -15412 + 15409. Is o equal to -392/157?
False
Let o be 241385/20115 - 1 - 9 - 2. Which is smaller: o or 1?
o
Let o(d) = 9*d + 97. Let r be o(14). Is r at least as big as 223?
True
Let g = 3163 - -549. Let u be g/609 + (-2 - (-4)/3). Which is greater: 4 or u?
u
Let k(q) = -q**3 - 119*q**2 - 153*q - 4128. Let u be k(-118). Let d = 3/182501 - -37046923/47450260. Let o = d - 2/65. Is o not equal to u?
True
Let x = 2955 + -2954. Which is smaller: x or -2/7309?
-2/7309
Let h(v) = -4*v - 53 + 24 + 9*v**2 - 8 + 9*v - 3*v**2. Let l be h(3). Suppose -4*f + 2*f = 4*g - 146, 0 = 5*g + f - 175. Is l smaller than g?
True
Let i = 618 - 286. Let l = i - 995/3. Which is greater: -32 or l?
l
Let r(w) = 3*w**2 - 4*w + 3. Let y be r(2). Suppose -32 + 11 = y*k. Which is smaller: -31 or k?
-31
Let z(s) = -2*s**2 + 8*s + 15. Let b be z(6). Let n = -46 + 86. Suppose -2*o - n = 2*o. Is o smaller than b?
True
Let k = -158 - -162. Let m be 396/58 + -4 - (k + -1). Which is smaller: -1 or m?
-1
Let c = 27555 + -26947. Which is smaller: 0.2 or c?
0.2
Let c = 4930377/364 + -13545. Let f = c - 4353/1820. Let i = 2 - 5. Which is greater: f or i?
f
Let u be (-532)/(-108) + -4 + 2/(-189)*-7. Let q be ((-2)/(-1448))/((-1)/(-2)). Which is smaller: q or u?
q
Let i = -36 + 106/3. Let p = -5100 - -5128. Which is smaller: p or i?
i
Suppose 221*h = 205*h - 528. Let z be 34/(-187) - 192/h. Which is smaller: 5 or z?
5
Let z be 9/(-4) + 2/2. Suppose 0 = 5*d + 2*h + 4785 + 4806, -d - 4*h = 1911. Let q = d - -1917. Which is bigger: q or z?
z
Let d = -433 - -433. Is -1/1013 less than d?
True
Let k = -11/826 + 16497/60298. Which is bigger: k or -1?
k
Let p = 804 - 800. Suppose 3*z - 96 = -4*t + 72, p*z - 2*t = 224. Which is smaller: z or 55?
55
Let a = -51 - -47. Let f be (42/15)/(a/(-10)). Let q = -585/2 - -300. Which is greater: f or q?
q
Let p be ((-152)/(-160) - 1)/((-3717)/(-54)). Which is bigger: p or 2?
2
Let p be (9477/(-4628))/9 - (78/(-24) - -3). Let r be 44/36 + (-4)/18. Which is smaller: p or r?
p
Let s = -3/457 + -22769/12339. Is -1 greater than s?
True
Suppose -4*x + 8 = 0, w - 2*w - 2*x = -2. Let v be (w + 5)*(-1)/(-4). Let b be ((-84)/784)/((-3)/180*-5) - (-9)/9. Is v at most b?
False
Let b = -143 + 107. Let j = 59 + -112. Let y = j - b. Is 1 equal to y?
False
Suppose 0 = 4*k - 5*u + 20, 2*u + 26 = 2*k + 34. Is k equal to -6/1043?
False
Let q be (-1935272)/(-517) + 9/(-33). Which is greater: q or 3744?
3744
Let c = -45670 + 296763659/6498. Which is smaller: c or -1?
-1
Suppose -54*d + 49*d + 4*c + 28801 = 0, 4*d - 4*c - 23040 = 0. Is d less than or equal to 5760?
False
Let h = -55246342598/1239 - -44589459. Let f = -2/413 - h. Does 1 = f?
False
Let q = -0.173 + 0.073. Is 0.1427 less than q?
False
Let z = -305 - -273.7. Let a = z - -36.3. Is a at most as big as -1?
False
Let s be 12252/1872 - (-2 + (-125)/(-60)). Suppose -4*h + 0*u + 4 = -4*u, u = 4*h - 19. Is h less than or equal to s?
True
Suppose 2*x - 184 = 2*g, -2*x + 3*g = 3*x - 458. Suppose 3*y + x + 119 = 0. Let d = 39 + y. Which is bigger: -29 or d?
-29
Suppose -108*k = -78*k + 1440. Is k < -44?
True
Let u = -218573/13728249 - -26/1621. Is u smaller than 1?
True
Let z be (-1596)/(-1260) - 10*(-3)/(-18). Which is smaller: z or -653?
-653
Let j = -40226/53 - -759. Suppose 37*f - 1 = 36*f. Is j less than f?
True
Let u(i) = 22*i - 462. Let q be u(21). Which is smaller: -10/553 or q?
-10/553
Let s = 0.08 - 0.028. Let x = -11.27 - -9.322. Let w = x - s. Is w smaller than -2.2?
False
Let c = 603 - -1767. Let q be 189/c - 7/70. Let r = 466/62015 + q. Is 1 at least r?
True
Let j = 1 - -12. Let s(c) = 11*c - 482. Let z be s(45). Are j and z nonequal?
False
Suppose 129*m = 131*m + 6. Suppose -3*x + 2 + 52 = 0. Suppose 0 = -5*p + 3 - x. Is m at most as big as p?
True
Suppose 0 = -30*m + 26*m - 172. Let d be ((-7375)/354 + (-1 - 0))*2. Which is greater: d or m?
m
Let x = 217 + -215. Let u = 0 - -8. Let f be -5 + 6 - u/18. Is x != f?
True
Let k = -451 + 461. Let j be (-117)/(-13) + -15 + -1 + k. Is -2 less than j?
True
Let i be 66150/60 + 2/(-8). Let b = -31235/28 + i. Is -13 less than b?
False
Let x = -22950 + 22941. Is x less than 24.4?
True
Let z = 184080/19 + -9687. Suppose -4*x + 7 = -1. Is z less than x?
True
Let j be 2/(-4)*(-9 + 3). Suppose 0 = -3*a + 42 + 27. Suppose s = 3*w - 4*s + a, 5*w = -5*s + 15. Do w and j have the same value?
False
Let p = -557 + 491. Let t be -5 - 10039/(-2079) - 12/p. Which is greater: t or 1?
1
Let g = -37 + 62. Let j = -21 + g. Let y be (7/(-21))/(6/j). Which is greater: y or -0.03?
-0.03
Let i be (-68*(-8)/(-48))/(462/44514). Let j be 3278/3 - 6/9. Let c = i + j. Is -1 > c?
False
Suppose 2233 - 96308 = 23*o + 44270. Is o greater than or equal to -6016?
True
Let m = 8708 + -8707.9064. Is m != -2/5?
True
Let i = -258 + 253. Let j be 16*(0 - 4 - i). Which is smaller: j or 0.2?
0.2
Let q = -7/64 - 371/704. Suppose -i + 2*w + 20 = -2*w, 2*w = -8. Let p(b) = 2*b**2 - 9*b + 4. Let d be p(i). Which is greater: q or d?
d
Suppose 22*f - 14542 = -23*f - 2662. Are 1314/5 and f equal?
False
Let j be ((-1)/(-2))/((-4)/(-184)). Let p = -0.0222 - -1.0222. Which is smaller: p or j?
p
Let s be (-70240)/(-128) - 27/(-12). Which is bigger: s or 6060/11?
s
Suppose 5*a + 8300 = -2*o, 248*a + o + 4980 = 245*a. Is a bigger than -1660?
False
Let p = 473 + -292. Let t = -1179/7 + p. Which is bigger: 12 or t?
t
Suppose l = -p + 5*p + 6, -5*p = -5*l. Let f be (30 + -30)/(2 - (2 + l)). Which is smaller: f or 1/59?
f
Let s = 11976 - 10273. Do 1707 and s have different values?
True
Let z = -324.58 - -339.58. Let d = 12 + -62/5. Is d >= z?
False
Suppose 4*k = -2*v + 14, -2*k - 4*v + 11 = -5. Suppose 2*g + 10 = -0*g - k*w, -5*w = 20. Let h be (-412)/(-46) + (-4 - -2) + -7. Is g at least h?
False
Let i(w) = -7*w + 11. Let y be i(3). Suppose 64*m = 98*m + 340. Are y and m unequal?
False
Let t = -4601071/109 + 42212. Is t greater than 1?
False
Let s be ((-6)/9)/((-6)/(-9)). Let p be 194/(-20)*(-27004)/989. Let f = p + -1326/5. Is f less than s?
False
Suppose 15*m + 7*m + 66 = 0. Let q be (1/(-45))/(m/(-36)*-4). Is q != 7?
True
Suppose 0 = -2*k + o + 72, -3*k + 145 - 44 = 2*o. Let u = -54 + 19. Let p = u + k. Which is bigger: 2/15 or p?
2/15
Suppose -7*v + 1879 = -830. Suppose -v = 10*u + 3. Is u <= -39?
True
Let w(x) = 181*x + 70. Let d be w(-5). Let n be 6/(-57) + d/(-7752). Which is smaller: 0 or n?
0
Let r = 0.18261 + -0.14261. Do r and -0.2 have different values?
True
Suppose 47 = -4*g + 35, 2*w + 5*g + 89 = 0. Let j be (925/(-30))/w*(-3)/10. Let h = 11.6 + 0.4. Is h != j?
True
Let v = 5.97182 + 0.02818. Is 204 greater than or equal to v?
True
Let d(o) = o**2 - 18*o - 1. Let q be d(10). Let v = 173/2 + q. Suppose 1 = -4*r + 25. Are r and v unequal?
True
Suppose 2*x + 6*g - 64 = g, -114 = -4*x - 3*g. Let r = -27 + x. Let k = -1489/11 + 135. Is r greater than or equal to k?
True
Let r = 200 - 302. Let p be 187/9 + (r/27 - -4). Suppose 0 = 3*k - 4*y + p - 2, 3*y = -k + 11. Is k smaller than -5/12?
True
Suppose -3*u - 5*a + 5 = 2*u, -2*u = a - 1. Let k be 3*4/(-18) + 1261/1950. Is k at least u?
False
Let b(v) = -9*v**2 - 42*v - 24. Let i be b(-4). Is i greater than 92/77?
False
Suppose -3*h - 3*s - s = 8, -5*h - 4*s - 8 = 0. Suppose h = -5