Suppose -4*q + 3*r - 12 = 0, -2*q + n*r = 4 + 4. Suppose q*l + 11*l + 11 = 0. Is l bigger than -4/19?
False
Let c(v) = -31*v**2 + 8*v - 10. Let a be c(2). Let u = 88 + a. Let z be 3 + 65/(-20) + 6/8. Is u equal to z?
False
Suppose -37*w - 28127 = -21*w + 35569. Is -3980 greater than or equal to w?
True
Let q = -10116 + 10116.06. Let i = -0.6 + 0.63. Which is smaller: q or i?
i
Let a = -368 + 5518/15. Let v = -1452 - -1473.41. Let z = 21.4 - v. Which is smaller: z or a?
a
Suppose -34*o - 28*o - 16027 = -93. Which is greater: o or -259?
o
Suppose 3 = -d + 2. Let h = 278354/7 - 39765. Is d at most h?
True
Let v(u) = -7*u + 6. Let a be v(3). Suppose -3*z + 4*x - 29 = -0*x, -5*z - 5*x = 95. Let f = a - z. Is -1/16 smaller than f?
True
Let f(w) = 27*w + 137. Let i be f(-5). Which is smaller: i or 114/155?
114/155
Let a be ((-30)/20)/(3/2). Is -2/4973 bigger than a?
True
Let l = -20.8 + -104.2. Let d = 125.07 + l. Which is greater: -0.22 or d?
d
Let s(p) = p**2 + 23*p + 139. Let l be s(-9). Let r(x) = -3*x + 50. Let y be r(l). Is 12 != y?
True
Let m = 22927 + -3851723/168. Is m at most 1?
True
Suppose 21*t + 13*t - 11216 = 1058. Is -13 bigger than t?
False
Let i = -4 + 5. Let h be (88/(-66))/(4214/(-4224) - -1). Let q = h + 561. Which is smaller: q or i?
q
Let k = 0.2853 + -0.2353. Let o = -1 + 0.85. Let w = k + o. Which is smaller: w or -0.66?
-0.66
Suppose -p = 3*c - 10, 28 = 4*c + 2*p + 3*p. Let k be (c/4)/((-1)/(-810)). Let d be (5/(-6) + 1)*900/k. Which is greater: 1 or d?
1
Let m be 40338/(-6804) + 2/(-28). Which is smaller: -0.358 or m?
m
Let x = -2634 - -4134. Which is smaller: x or 1502?
x
Let a = 11.07 + -15.07. Suppose 2 = -3*k + 8. Are a and k equal?
False
Suppose -15*n + 68 - 49 = 34. Do n and -7/228 have different values?
True
Let k = -143664 - -143771.1967. Let t = -0.0967 + k. Let x = 107 - t. Which is greater: -4/11 or x?
x
Let m be -23 - ((-46)/14 + 62/217). Suppose o = -4*r - 72, -31 - 60 = 5*r + o. Is r >= m?
True
Let t = -0.27 + -18.73. Let c = t + 63. Is -0.1 smaller than c?
True
Let r(u) = -u - 27. Let h be r(-21). Let s be h/12 - (-249)/494. Which is smaller: 1 or s?
s
Let y = 24213 - 24222. Let b = 43.4 + -48. Which is smaller: b or y?
y
Suppose 283920 = -6*q - 8*q. Let d be q/(-3378) + (-18)/3. Which is greater: d or 0?
d
Suppose 55 = 5*s - 10*s. Let y = -4963 - -188655/38. Let v = y + -2129/190. Which is smaller: s or v?
s
Let c be 21 + -4 + -1 + 3 + -5. Suppose 0 = h + 2*l + c, 0 = 4*h - 2*l + 5*l + 31. Let y = 11.1 + -11. Is h less than or equal to y?
True
Let c(u) = u**3 - 4*u**2 - 2*u + 18. Let v be c(3). Suppose -2*t = w - 4 + 1, v*t = -w + 2. Is -2/59 at most t?
False
Let m be 0 - (-19)/((-3876)/(-18)). Which is bigger: -36 or m?
m
Suppose 3*t + 6 = -3*w, -11 = -5*t - 4*w - 25. Let b be (7 - 112/(-21))*t. Let h be -70 + 4 + -4 + -4. Are b and h unequal?
False
Let a(p) = -p**2 - 10*p + 19. Suppose -6*y - 22 - 38 = 0. Let q be a(y). Suppose q = 5*u - 16. Is 8 greater than u?
True
Let j = -2948 + 2947.8. Is -449 less than j?
True
Let q = -5428 - -5426. Suppose -2*u - j = -0*u - 11, 0 = -4*u - 3*j + 27. Let p be -3 + (-1 - (-6)/u). Are q and p non-equal?
False
Let m = -2606 + 11303. Is 8697 less than m?
False
Let b(r) = r**3 + 2*r**2 - r + 2. Let z be b(-3). Let y = 143 + -6. Suppose 34*m + y = -33. Is m > z?
False
Let q = -1814 + 3147. Is 1334 at most as big as q?
False
Let k = -487857094/2025067 + 4/184097. Which is greater: -240 or k?
-240
Let o = 5526/14245 + -78/385. Is o >= -1?
True
Let g(l) = 2*l**2 - 28*l - 16. Let f be g(14). Is -69/4 at most as big as f?
True
Let h(o) be the third derivative of 1/2*o**3 - 1/12*o**4 - 17*o**2 + 7/60*o**5 + 0*o + 0. Let b be h(-2). Which is bigger: 34 or b?
b
Suppose 53*s - 125 + 443 = 0. Let k(p) be the first derivative of -p**3 - 10*p**2 - 12*p + 1. Let c be k(s). Is -2/297 <= c?
True
Let w = -5.3 + 12. Suppose 0 = 16*m + 6*m - 2*m - 20. Which is smaller: m or w?
m
Let n = -18980/33 - -120175026/208945. Is n at most as big as 1?
True
Let d(a) be the second derivative of -a**5/20 - 13*a**4/12 + 7*a**2 + 5*a. Suppose 6 = -2*p - 5*k, p - 5*k + 9 = -6*k. Let b be d(p). Is b < -0.4?
False
Let x be (-810)/(-4050) + (1 + -1 - 86/5). Is -137 > x?
False
Let a = 19190.781 - 19191. Is -1.2 < a?
True
Let i = 301033 - 300639.793. Let k = i + -393. Let w = k - 0.007. Are 15 and w equal?
False
Let d be (6/(-6)*-5209)/((-190)/(-20) - 10). Which is smaller: -10419 or d?
-10419
Let h = -1.04 - 45.96. Let v = h - -54. Let k = -6.97 + v. Which is bigger: -2 or k?
k
Suppose 531*l + 503 = 501*l - 667. Is 77 greater than l?
True
Suppose -3*m - 2*p = -0*p + 11, 4*m - 4 = 2*p. Let h = 235627/377 - 625. Is m smaller than h?
True
Let f = 107 + -117. Let o = -10 - f. Is 5/4 greater than o?
True
Let l be ((-42)/24)/((-4)/6). Suppose 5*h = u - 7, -4*u + 7*u + 4*h = 2. Is u less than or equal to l?
True
Let f = -0.248 - -0.116. Let m = 0.068 - f. Which is smaller: -117 or m?
-117
Let c(u) = u**2 + 7*u - 3. Let q(y) = -y - 18. Let p be q(-10). Let f be c(p). Suppose f*g = 10*g. Is -4 greater than g?
False
Suppose l + 56 = -2*q, -6*l + 3*l = -4*q + 128. Let o be 5 - l/(-40)*30/4. Let t = -3 - 4. Which is smaller: t or o?
t
Let r(w) = -7*w - 128. Let p be r(-19). Suppose -4*g + 5*a - 166 = 7*a, a + 206 = -p*g. Which is greater: -44 or g?
g
Let w(r) = -r**3 - 19*r**2 - r - 23. Let l be w(-19). Let t be l*33/(-16280)*8/(-6). Is 1 smaller than t?
False
Let k = 326 + -320. Suppose -v + k = -3*u - 1, -v = -5*u - 5. Is 15 at least v?
True
Let p = -1041.51 - -1092.603. Let a = p + -0.093. Let t = 51 - a. Which is smaller: 10 or t?
t
Suppose -3*f + 66 = -j - j, 0 = 5*f. Suppose -555 = 23*a + 250. Is j at least as big as a?
True
Let z = -79.219 + 80.5. Let f = 0.211 - z. Let g = 0.97 + f. Which is bigger: g or 0.27?
0.27
Let i(h) be the second derivative of h**5/20 + 2*h**4/3 + 13*h**3/6 + 5*h**2/2 + 36*h. Let b be i(-6). Which is greater: -2/81 or b?
-2/81
Let u = 27 - 22. Suppose 3*b = 2*t + 16, -23*t - u*b - 10 = -19*t. Are t and 1 unequal?
True
Suppose 2*w = -4*p + 1 - 3, -p - 8 = 2*w. Let a(q) = -2*q - 41 + 7*q + 10*q - q**p. Let t be a(6). Is 13 at least t?
True
Suppose 0 = p - 197 - 88. Suppose 0 = 5*s - 3*k + p, -9*s - 5*k - 265 = -5*s. Let h be (6/5)/((-18)/s). Is -1 < h?
True
Let t(p) = -p**3 + 2*p**2 - 2*p - 9. Let h = 141 - 141. Let k be t(h). Is -1/4 smaller than k?
False
Let r = -17860 - -17855. Do r and -1/37 have different values?
True
Suppose -4384 + 14176 = -68*q. Which is greater: -145 or q?
q
Let t(x) = 24*x**3 - 28*x**2 - 80*x + 48. Let a be t(-6). Does a = -5663?
False
Suppose 2*y + 5*q + 17 = 0, 5*y - q - 15 = -2*q. Suppose -4*j + y*p = j - 48, -2*p - 30 = -3*j. Suppose 6 = 3*k + j, -k = 2*a. Which is smaller: a or 1/14?
1/14
Suppose 0 = 4*h + 20, -125*k + 120*k - 4*h = -7480. Which is greater: 1492 or k?
k
Let x be 2 + 2 + (-6 - -3). Let p(h) be the second derivative of -h**3/6 - h**2 - 5*h. Let q be p(-2). Which is bigger: q or x?
x
Suppose -5*n + n - 32 = 0. Let q be n/(-28) - (-1)/21. Let z = 26068.07 + -26068. Is q at least z?
True
Let z = -21 - -24. Let v = 855 - 854.041. Let c = v + 0.041. Is c at least z?
False
Let m = -105.5 - -100.8. Which is bigger: 2/17 or m?
2/17
Let h be 3 + 5/((-5)/(-4)). Suppose 5 = -u + 27. Let m = -13 + u. Is h at most m?
True
Let p(b) be the second derivative of b**5/20 + b**4/6 - 3*b**3/2 - 2*b**2 + 2*b - 14. Let d be p(-4). Is 7/10 < d?
False
Let d = 5507/3 - 1847. Is 5/29 greater than or equal to d?
True
Let r(z) = -4*z**2 + 161*z - 195. Let q be r(39). Which is greater: -4/957 or q?
q
Suppose -232 = -2*h - 0*h. Suppose -h = -3*z + 19. Suppose 8*f - z = -f. Which is bigger: 4 or f?
f
Let z(u) = 2*u**3 - 3*u**2 - 394*u + 2374. Let l be z(6). Is l <= 338?
True
Let a = 18.0294 - 0.0294. Let d = a - 20. Which is smaller: -66/5 or d?
-66/5
Let x = -838 + 9216/11. Let n = 0.06 + -0.32. Let m = n - -0.06. Is m < x?
True
Let o(y) = -y**3 - 8*y**2 - y - 9. Let c be o(-8). Suppose 5*v = 4*t + 4*v - 1266, 0 = -t - 4*v + 308. Let a be 1/2*(-3 - t/(-108)). Which is bigger: c or a?
a
Let y(f) = f - 1. Let a be y(19). Suppose a*h - 96 = 21*h. Let u = h + 50. Which is smaller: 17 or u?
17
Suppose -16994 = 4*k + l, -28*k + 23*k = 3*l + 21239. Is -4248 >= k?
True
Let v = -