 Let c = p - 51.4. Let n = 47.9 + c. Which is smaller: -61/2 or n?
-61/2
Suppose -11*h = -8*h - 69. Let m(f) = f**2 + 4*f + 3. Let z be m(4). Suppose 0 = -6*l - h + z. Are 24/19 and l equal?
False
Let j = 2222839/61 - 36439. Is -1/3 at most j?
True
Suppose 0 = 4*o - 2*a + 14, 5*o + 8 = a - 5. Let d(f) = -f**2 + 7*f - 11. Let l be d(6). Let q be (-10)/l + (-8)/2. Is q at least o?
True
Let p be 60/(-36)*(-1)/(-5). Let h = 8 - 8. Let u = h + 0. Is u < p?
False
Let a(k) be the first derivative of -k**2/2 - 11*k + 10. Suppose 2*u - 6*u = 3*n + 71, -2*u - 13 = -3*n. Let d be a(u). Is -1 at least d?
False
Let v = -15 - -17. Suppose -33 = v*c - 3*k + 18, -5*c - k = 153. Let u = 31 + c. Which is greater: -11/5 or u?
u
Let j = 163577 + -163586. Let k = 0.2 - 0.16. Let s = k + 2.96. Is s greater than or equal to j?
True
Suppose 0 = -3*o - 34*o + 111. Let l = 21.86 - 22. Let w = l + 0.04. Which is bigger: o or w?
o
Let j be (6/((-1265)/(-245) - 5))/(369/24). Which is bigger: 2 or j?
j
Let p be 6/((355/70 + -5)*-2). Let z be (-5)/3*p/60*6. Which is greater: -22 or z?
z
Let z be (44 - 196/14)/(-413). Is z smaller than -1?
False
Let c(v) = -v - 1. Let p be c(-4). Suppose -3*z - 15 = 2*z. Let m be 6 + z + (-6)/(-6). Which is smaller: m or p?
p
Suppose -261 = a - 264. Suppose -k = a, -2*k = 2*h + 2*k - 34. Suppose 16*q - h*q = 490. Is -70 smaller than q?
False
Let s be 82/(-20) - (-5)/50. Let z be 1 - ((s - -3) + -198). Suppose z = 9*t - 14*t. Which is bigger: t or -38?
-38
Suppose 0 = 67*u - 62*u - 2*d - 641, 421 = 3*u + 4*d. Is u <= 148?
True
Let n = -1101.1 + 1101. Let p be (4/(-2) + -5)*5. Which is greater: p or n?
n
Let s be (-5 - -11) + 1404/(-231). Let u be 0 - (0 - 1)/((-4)/(-8)). Suppose -2*p = u*p - 4. Does p = s?
False
Let i = 3808681/5998476 - 221/348. Do -1 and i have different values?
True
Let l = 2357 + -581. Is -1/2 != l?
True
Let g(m) be the third derivative of m**5/60 + 5*m**4/12 + 11*m**3/3 + m**2 + 109. Let k be g(-10). Which is greater: k or 31?
31
Suppose -2*c - 2 = -36*q + 32*q, 6 = 4*q + 2*c. Which is bigger: -34/671 or q?
q
Let z = -7010 - -7023. Is z greater than or equal to -67?
True
Let z = -2.9 - -4.8. Let t = 2504.6 - 2505. Which is smaller: t or z?
t
Suppose 0 = 14088*d - 14086*d + m - 107, -2*d - 2*m + 96 = 0. Let r(f) = -8*f**3 - 2*f**2 - f + 1. Let h be r(-2). Is h > d?
False
Let n = -8063 - -8066.869. Let j = 0.201 + n. Is 0.1 >= j?
False
Suppose 4401*v - 3391*v = -15150. Let s(o) = -o**3 + o**2 + 2*o - 3. Let b be s(3). Is v greater than b?
False
Let y(j) = 181*j**2 + 27*j. Let z be y(-3). Is -2/3 at least z?
False
Let c be 0 - (1 + (-2)/2). Suppose c = -3*b - 0*b. Suppose -9 = -4*x + 3*d, 4*x + 0*d - 2*d - 6 = b. Does -0.3 = x?
False
Suppose d = 4*v + 134, d - 5*v = -7*v + 122. Suppose 11*t + d = 5*t. Is t bigger than -21?
False
Let l(m) = -5*m**2 - 2*m + 68. Let a be l(-12). Let i = -628 - a. Is 2/311 bigger than i?
True
Let k be (-12)/(-24) + (-141)/94. Let b = 2/2635 - -7669/310930. Is k <= b?
True
Let l = 28 - 51. Let p = -110 + 92. Let a = p + l. Are -1/2 and a unequal?
True
Suppose 16*b - 11*b = -u + 1916, -3*u + 2*b + 5646 = 0. Are u and 1887 nonequal?
True
Let d = -7328828/47405 + 3/9481. Is -155 smaller than d?
True
Let i(t) = t**2 + 23*t - 93. Let l = -90 + 63. Let j be i(l). Is j < 14?
False
Let o = -3.196 - -3.1. Let g = -47.05902 - 0.03698. Let n = g - o. Which is smaller: 0.1 or n?
n
Let i be (1/3)/(2/6). Let u be i + (0 - 2)*-5. Let n be -4 - (-448)/(800/25). Which is bigger: n or u?
u
Let j(g) = 37 + 78*g + 85*g - 157*g. Let u be j(-5). Is u greater than or equal to 9?
False
Let z = 4/747 + 177011/5229. Let i = -18730/553 + z. Let g = -10/33 - -136/231. Is g < i?
False
Let i be 41/(123/573) + 3/(-1). Which is smaller: i or 88?
88
Suppose 2*g + 25366 = -2*t, -62508 = 5*t - 5*g + 957. Are -12688 and t nonequal?
False
Let n = -5697 + 5761. Do n and 0.7 have different values?
True
Let b be (-2)/15*(-40)/(-6). Suppose -6*h + 22 = -5*h. Suppose 5*l + 7 = -2*z, -3 = 24*l - h*l + z. Does l = b?
False
Let f = -91 + 77. Let r = f + 17. Let j be -4 + r/90 + 4/24. Which is bigger: j or -4?
j
Let q = 0.4891 - 0.3691. Is 21/11 at most q?
False
Let h = -1 - -1. Let j be ((-13)/39)/((-2)/(-42)) - (452725/(-1859))/35. Which is smaller: j or h?
j
Let k = -1508581723/22867 - -65972. Which is smaller: 1 or k?
k
Suppose -1 = g - 2*x, g = 6*g + 5*x - 10. Let v be 19/(11799/18)*(-3)/(-50). Which is smaller: g or v?
v
Let u be 532/665*(6/21 - (-33)/(-42)). Which is smaller: -208 or u?
-208
Let l = -15.551 + -0.349. Let p = 925 - 909. Let g = l + p. Is g > -7?
True
Let t(v) = 118*v - 58*v - 44*v - 11. Let p be t(-4). Is p smaller than -76?
False
Let i = 40/4847 + 6/131. Let k(j) = -j + 19. Let q be k(13). Let s = q - 5. Which is bigger: s or i?
s
Let o be (-12)/9*(-357)/(-14). Let n = o + 26. Suppose 6*j + 49 = -j. Is j at most as big as n?
False
Let g = 35987 + -199706/5. Is g greater than or equal to -3953?
False
Let j = -58 - -52. Let q be (-7)/(-3) - 4/j. Let c be q/((3 + -2)*-1)*2. Is -10 >= c?
False
Let u be 23/(-2)*(15 + -1). Let d be (-174)/(-36) - 5 - (19778/132 - -10). Which is greater: u or d?
d
Let a(o) = -2*o. Let x be a(1). Let r be (-8)/(-36) + 80/(-36). Let y be (-620)/360 - r/9. Which is smaller: x or y?
x
Let c = -3 - -3. Let r = 4/589 - 2710/225587. Is c > r?
True
Let v be 5*16*133/95. Is 102 > v?
False
Let j = 6007964367/143 - 42013413. Let z = j - 3706/11. Do z and -12 have the same value?
False
Let o(n) = 64*n + 12. Let a be o(6). Suppose -u = -2*q + 78, -q + 5*q - a = 5*u. Let g be ((-2)/25)/((-16)/u). Is g < 1/13?
True
Let m be (-770)/4 - (2/(-8))/(24/48). Are -197 and m nonequal?
True
Suppose u + 28 = 2*o - 7*o, -2*o - 10 = u. Let m(v) = v**3 + 7*v**2 + 7*v - 1. Let b be 7*(36/14)/(-3). Let i be m(b). Is o bigger than i?
True
Suppose 152069 = 372*p + 43*p - 24306. Is p >= 420?
True
Let t be (-394)/(-985)*(-3350)/(-18). Is 75 at most as big as t?
False
Let h = -178.9 + 154. Let t = -31.7 + 56.7. Let x = t + h. Does -7/3 = x?
False
Suppose -70 = -4*x + 2*t + 88, -x + 2*t + 44 = 0. Suppose -1700*a + 24 = -1688*a. Suppose a*s + 58 + x = -4*c, s = -5*c - 60. Which is bigger: -39 or s?
-39
Suppose -4*p - 3*q + 2*q = 1379, q - 1389 = 4*p. Let t be -1*p/8 - 1/4. Is 44 < t?
False
Let v be (-1)/(-3) - (3 - (-28)/12). Suppose -3*k + 4*d + 8 = 0, 4 = -k + d + 5. Let j be (-47)/5 - (k + 0). Is j >= v?
False
Let s(q) = -2*q**3 + 2*q - 3. Let r be s(1). Let y be 4*57/84 + r. Let l be -1 - (-22)/9 - 1. Are l and y equal?
False
Suppose 0 = s + 2*u - 55, -3*u + 267 = 5*s - u. Let x(d) = -d**3 + 19*d**2 - 49*d + 19. Let g be x(16). Suppose g*w - s = 4. Which is smaller: 17 or w?
17
Let c = 502 + -479. Suppose -203 = -6*y - c*y. Is 11 smaller than y?
False
Let z be (-14)/((-4)/22 - (-67)/308). Let k be (z/(-490))/(1 + 186/(-185)). Is k at most as big as -149?
False
Let a = 404 - 403.4. Is 8.2 less than a?
False
Let d be 704/9 - 82/369. Let b be 0 + (-5 - (-210)/d). Which is bigger: b or -3?
b
Let o = 4205993/83453 - -60/4909. Is 50 at most o?
True
Let u(j) = 64*j - 1394. Let y be u(41). Is 7385/6 at least y?
True
Let i(f) = f**2 + 4*f - 5. Let z be i(-5). Suppose -5*p + w - 238 = 279, -5*p = 3*w + 529. Is p < z?
True
Let d be (4*(-5)/4 - 48/(-9))*0. Is 13/69 at most as big as d?
False
Suppose -9316 = 103*u + 32*u + 139*u. Let i = 52 - 88. Which is smaller: u or i?
i
Let s = -18044 + 18044. Which is smaller: s or 3030?
s
Suppose -u + 1 = 8. Let p be (-3 + 18/4)*14/6349. Let k = p - 22687/3628. Which is smaller: u or k?
u
Let a = 56843/5 - 17565703/1545. Let q = 4/309 - a. Let g = 11.3 + -12. Is q greater than or equal to g?
True
Suppose -5*k - 15 = -n + 16, 3*n = 5*k + 23. Let o(v) = 8 + 17 - 4 - 5*v. Let w be o(6). Does w = k?
False
Suppose 5*d - y + 55 = 0, 0 = -2*d - 8*y + 10*y - 14. Let n(w) = w**3 + 13*w**2 + 12*w + 8. Let v be n(d). Are -4 and v nonequal?
True
Suppose -170*c + 234 = 64. Is 2/7305 >= c?
False
Let t = 448 + -306. Suppose -212*i - t = -214*i. Are -2 and i equal?
False
Let l = -81 - -123.5. Let v = -34.5 + l. Let w = -0.23 + -0.07. Is w < v?
True
Suppose -2163*x - 205605 = -2178*x. Is 13707 greater than or equal to x?
True
Let z(l) = -2*l + 7. Let x be z(0). Let p be -8 + 18 - (2*-1 + x). Suppose 0 = 2*g 