 - -6. Let h be (-108 + 126)/(1 - -1). Is q at least h?
False
Let a(v) = -v**3 - 4*v**2 + 11*v - 2. Let t be a(-6). Suppose 3*f + t*u - 264 = 0, 5*f - 165 - 258 = -u. Let x = f + -86. Does 0.12 = x?
False
Let g be 2/12 - 3/(-18) - (-20490)/1170. Is 17 not equal to g?
True
Let f = -1208 + 1208. Are -5/444 and f nonequal?
True
Suppose 0 = -9*a + 189 + 756. Let r = -104 + a. Let d = 903 + -9923/11. Which is greater: d or r?
r
Let t = -73.83 - -73.86. Is 24/11 smaller than t?
False
Let k be 237337/(-11) - (-18)/(90/25). Let f = -21546 - k. Is 24 smaller than f?
True
Let u(i) = -6*i**2 + 320*i + 321. Let p be u(-1). Let y(k) = k**2 - k - 1. Let q be y(3). Do q and p have different values?
True
Let m = -90 - -90.083. Let i = m - 6.083. Let b = i + 2. Is b > 2/5?
False
Let i = 14233 + -31967319/2246. Let v = i - 2784/52781. Which is smaller: v or 0?
v
Suppose 6*d = -2*d + 520. Let o be d/(-17) - (88 - 92). Is o > 2/21?
True
Let v = 7451 - 7451. Is v < -3/2758?
False
Suppose 0 = -3*y + 5*y - 14. Suppose 2*p - 4 = p + k, 14 = 3*p - 4*k. Suppose 9 = -y*n + p. Is -2/29 at least as big as n?
True
Let o = 103 - 42. Suppose 5*f - 236 = f. Which is smaller: f or o?
f
Let a(l) = 9*l - 67. Let n be a(8). Let d be (-3804541)/746529 + 2/21 + n. Which is smaller: d or 1?
d
Let h(b) = -4*b**2 - 6*b - 10. Let v be h(-4). Suppose 263 = 10*y + 763. Is v > y?
False
Let g(t) be the first derivative of t**3/3 + 6*t**2 - 108*t + 87. Let b be g(-18). Which is smaller: 11/46 or b?
b
Let i = -124 + 127. Suppose -a - z = 0, -i*z = -2*a - 0*z + 25. Is -4 less than a?
True
Let k be 776/(-580) + 498/415. Which is smaller: k or 22?
k
Let v = -17776 - -17292. Is v greater than or equal to -2.6?
False
Let f(n) = n**3 - 5*n**2 + 2*n - 4. Let v(o) = -o**3 + 15*o**2 - 12*o - 23. Let t be v(14). Let d be f(t). Which is bigger: d or 22/3?
22/3
Suppose 0 = 2*x + j - 6, -3*x - 7 + 27 = -4*j. Suppose 4*g - 20 = -x*c, 6*c - 10 = c - 2*g. Suppose 0*t - t + 2*z = c, 5*t - 5*z = 0. Does -5/7 = t?
False
Let s(d) = 25*d**2 + 1. Let z be s(-1). Let g be (-2)/(-7) + (126/98)/((-7)/(-140)). Is g bigger than z?
False
Let c = 18982 - 18982. Which is bigger: c or -5/7048?
c
Let x(b) = 3*b**2 - b. Let c be x(1). Let q be 2/6 + 7998/558 + 4/(-6). Which is smaller: c or q?
c
Let l(g) = -53*g**2 - 165*g + 3. Let w be l(-3). Which is smaller: -0.173 or w?
-0.173
Suppose 290*b = 296*b - 888. Let i = -134 + b. Does i = 4?
False
Let b = 0.1 + 0. Let n = 352.8862 + -0.9662. Let i = n - 352. Which is greater: i or b?
b
Suppose -4 = 2*o + 5*c - 72, 2*c - 36 = -o. Let i be 8300/(-88) + (-8)/o. Let b = 98 + i. Is 3 >= b?
False
Let k = -5/93 - 323/4371. Let s = -521 + 521. Is s at most as big as k?
False
Let a(w) = 4*w**2 - 2*w + 3. Let g(m) = -21*m**2 + 11*m - 16. Let r(p) = 11*a(p) + 2*g(p). Let x be r(1). Let d be 66/77*11/6. Which is smaller: d or x?
d
Suppose -t - 3*u = 237, 0 = -10*u + 6*u - 4. Suppose l + 213 = -2*z + 7*z, -482 = 2*l + 4*z. Are t and l equal?
False
Suppose -3*x + 4*z = 2, 9*x - 4*x + 15 = -5*z. Let p be (-85)/150 + 3/(-18). Is x equal to p?
False
Suppose 4*d = -5*l - 4057, 3*l = 6*d - 2*d - 2447. Let c = l + 964. Is c less than 151?
False
Let w = 1322 - 1322. Is -7/461 at least as big as w?
False
Suppose -12*n = -11*n + 6. Let l be n/(36/(-6))*1*5. Suppose -x + l*x - 4 = 0. Is x bigger than 4/15?
True
Let p be ((-132)/(-18) + -7)/((-6)/(-36)). Is 19/23 not equal to p?
True
Let c = -11.92793 + -0.07207. Which is greater: c or 63?
63
Let r = -39.1 - 2.9. Let l = -44.2 - r. Let w = 3.2 + l. Is w at most 1?
True
Let h = -37 - -37. Suppose 4*a - 16*a + 144 = h. Does 11 = a?
False
Let y = 268648307/127478172 + -23117/33778. Let s = y - 5/444. Which is smaller: s or 1?
1
Let r(g) = g**2 - 17*g - 91. Let o be r(21). Let j(w) = 4*w - 2. Let l be j(1). Let s(m) = -m**3 + m**2 - m - 2. Let f be s(l). Is o at least as big as f?
True
Let i be (-18)/171 - 2/(-19). Suppose 9*t - 12*t + 15 = i. Suppose t*b = -30 + 180. Are -1 and b equal?
False
Let i(n) = 25*n + 50. Let z be i(-2). Let c be (-58)/203 + (z - 13/(-21)). Is c greater than or equal to 29?
False
Let w = 147 + -146.36. Let c = -1.158 + 1.358. Is c at least as big as w?
False
Let d = -540 - -1156. Suppose -16*n = -9*n - d. Let o = n + -88. Which is smaller: 3/14 or o?
o
Let a be (2/4*-3)/(1/(-60)). Suppose 2*o + 15 = -5*p + 467, 0 = -4*p + 5*o + 388. Which is bigger: p or a?
p
Suppose 23*p + 6078 + 13725 = 0. Which is bigger: p or -5?
-5
Let q be (-8)/9*((-817290)/38920 - -21). Is 1 > q?
True
Suppose -3*c + 4236 = 3*y, -3*y + 2*y + 4244 = 3*c. Suppose 17*v - c = -481. Which is bigger: v or 54?
v
Let p(k) = -k**2 + 2*k - 1. Let r be p(1). Let d(n) = 142*n - 2103. Let w be d(16). Which is greater: r or w?
w
Suppose -1 = 5*y + 4. Let d be ((-2208)/441 + 5)*2. Which is bigger: y or d?
d
Let v = 160.451 - 159.17. Which is bigger: -3/2 or v?
v
Let r be 158/(-553) - 55/77. Let w be ((-1)/(-30))/(34/18). Is r < w?
True
Let t = -4.54 - 5.4. Let v = t + -1.46. Let h = v - 11.6. Which is smaller: h or -1?
h
Let w = -4.5 - -53.6. Let q = 49.351 - w. Which is smaller: q or 0?
0
Let q = 39083/48 - 2537/16. Let k = q - 634. Does 21 = k?
False
Let o = -0.09 - -0.04. Let m = 14 - 13.95. Let r = m - o. Is r <= 8?
True
Suppose 5*x + 730 - 23525 = 0. Let r = x - 34981/8. Let j = 186 - r. Which is smaller: j or 1?
j
Suppose 15 = -17*z - 189. Let i be ((-4)/z)/((-18)/(-54)). Which is smaller: i or 14/11?
i
Let q be (45/108)/(30/234). Is 2 <= q?
True
Let o = 33582 - 33407. Which is bigger: o or -69?
o
Let p(i) = -i**2 + 87*i - 1681. Let c be p(29). Is c bigger than -0.7013?
True
Let l(c) be the first derivative of 11*c**2/2 + 199*c + 39. Let z be l(-18). Is 5/9 at most z?
True
Suppose -6*z - 872 - 70 = 0. Is z not equal to -1094/7?
True
Let o = -1760 + 2240. Is 0.02 greater than o?
False
Let y be 18/(-10) - 0/1. Let q = 312 + -300. Suppose 122*v = 128*v + q. Do y and v have different values?
True
Let k(c) = -c**2 + c - 56. Let t be k(0). Let g be ((8875/150)/(-71))/(2 + (-55)/15). Which is smaller: g or t?
t
Let z = 0.113 - -47.887. Let t = 49.64 - z. Let w = -0.64 + t. Which is greater: 31 or w?
31
Let z = 222 - 217. Suppose -3*f - 10 = c + 2, 4*f = z*c + 22. Which is greater: -34/7 or c?
-34/7
Let a = -82 - -112. Let t = a - 47. Which is bigger: t or 0?
0
Let r be (-9 - -10)*(4 - 11) - -4. Are -65/24 and r equal?
False
Suppose -z + 4*q = 794, -9*z + 88*q - 91*q = 7380. Which is bigger: z or -819?
z
Let r = 9131 + -9130. Is r < 7?
True
Let i be 4/(-10) + 369/(-15). Let y = -31061/95 - -5760/19. Which is smaller: i or y?
i
Let q = 2.381 + 11.019. Is -10 >= q?
False
Let c(p) = -p**3 - 3. Let k(l) = l**3 + l + 1. Let m be 0 - 2*(-4)/(-8). Let o(g) = m*c(g) - 2*k(g). Let w be o(0). Which is smaller: w or -1/9?
-1/9
Let b be 9/(-2)*15496/(-2831). Is b smaller than 2?
False
Let n = 411.98 - 410. Let p = 1.68 - n. Which is smaller: p or -0.07?
p
Let w = 4650/7 - 664. Suppose -2*i - 73 + 71 = 0. Which is bigger: i or w?
w
Let y be 4 + (6 - 50) - 2. Is y at most 3?
True
Suppose -2*y + 10 = -86. Suppose u + 3*i = 27, -3*u + 4*i + y = -2*u. Is 38 greater than u?
True
Let y = 245 + -193. Is -16 bigger than y?
False
Let x(l) = -l**3 + 14*l**2 + 26*l - 30. Suppose -o + 16 = 5*a, 2*o + 0*o - 32 = 5*a. Let i be x(o). Is i >= -126?
True
Let a(q) = -2*q**2 + 30*q - 3. Let r be a(12). Suppose 7*m = 10*m - r. Suppose 5*p - 18 = -m. Is p smaller than 0?
True
Suppose 16 = -2*h + 26. Suppose 84 = 3*f - h*t + 24, 0 = 5*f - 2*t - 81. Suppose -j = -f - 0. Is 12 smaller than j?
True
Let i = 7985 + -7944. Is i less than 3/4?
False
Let k = -263.9 + 265. Let w = -0.07 + 0.27. Let a = 0.1 - w. Is a > k?
False
Let u(f) = -2*f + 16. Let t be u(3). Let o be t/(-35)*-7*(-1)/(-40). Is 0 >= o?
False
Let s(g) = -g**3 - 8*g**2 + 21*g + 9. Let l be s(-10). Let y be 12/28 + 9490/(-21294). Is l bigger than y?
False
Let l(d) = 164*d - 101 - 158*d - d**2 + 79. Suppose 0 = -4*j - 2*t - t + 20, 3*t = -j - 4. Let m be l(j). Is -36 smaller than m?
False
Suppose 0 = -2*a - 5*q + 9, 3*a = -827*q + 826*q - 6. Suppose -10 = -5*k, 2*k - 4*k - 14 = 3*j. Which is bigger: j or a?
a
Let h = 92.6 - 24.7. Let b = -68 + h. Is b not equal to 11?
True
Let l be 871 + 5 + (-32)/8. Suppose 0 = 691*v - 683*v - l. Is 107 smaller