4*c - s, -12 = 4*c - 4*z. Do c and -9 have the same value?
False
Let s(c) = c**3 + 3*c**2 - 5*c - 4. Let l be s(-6). Let k = l + 43. Suppose -5*m - 2*w - 211 = 0, 81 = 4*w + 113. Does m = k?
True
Let i = 16.34 + -12.04. Let d = -67 - -63.7. Let r = d + i. Is -1/3 bigger than r?
False
Suppose 4*f - 236 = 4*v - 724, 4*v = -f - 142. Suppose -y - 378 = 2*y. Is f less than y?
False
Let h = 19 + 46. Suppose -13 + h = 4*x. Suppose -10 = v - x. Is v greater than 4?
False
Suppose 17*m - 17 = 51. Suppose m*z - 482 = -530. Which is bigger: z or -15?
z
Suppose -5*t + c = -13, 0*t + 5*c + 17 = t. Suppose 4*g - 5*l + 15 = t, 0 = -2*g - 4*l. Is g not equal to 10?
True
Let r = -4.84 + -247.16. Let w = -240 - r. Are 2/9 and w equal?
False
Let m be 180/18 + 5 - 14. Which is smaller: -421/6 or m?
-421/6
Let n = 148 + -269. Let w = 121.2 + n. Let x = 0.1 + 7.9. Which is smaller: w or x?
w
Let l = -66 + 36. Let f = 0.32 - -27.68. Let a = l + f. Is a != -2/19?
True
Let h = 2968 + -2947. Are 35 and h unequal?
True
Let o = 1/197 + 2745/2561. Let r = 419/39 - o. Which is smaller: r or -2/7?
-2/7
Suppose d - 32*b + 2388 = -33*b, -3*b = 2*d + 4782. Is d <= -2/5?
True
Let o = -106 + 100. Let g(r) = r**3 + 2*r**2 - 14*r + 5. Let l be g(o). Let b = -68 - l. Is -10 smaller than b?
False
Suppose 0 = -5*u + 3*f - 7 + 5, -u + 5*f = -4. Is 8/2907 at least u?
True
Let w = 0.536 - 0.532. Let d be (-24)/14*(-63)/18. Let h be (d/9)/((-2)/(-3)). Is w > h?
False
Let a = -27.43 + 56.53. Is a greater than or equal to -3?
True
Let q(m) = -10*m**2 - 5*m + 15. Let w be q(5). Let v = w - -185. Which is bigger: 0 or v?
0
Let n(k) = -98*k - 3. Let u be n(1). Suppose 13*i - 2020 = 33*i. Is i greater than or equal to u?
True
Let l = -120 - -122. Let t = 1694 + -1696. Do l and t have the same value?
False
Let a(u) be the first derivative of -u**4/2 - 13*u**3/3 - 2*u**2 - 23*u - 16. Let b be a(-6). Which is greater: -107/3 or b?
b
Let k(d) = d - 6. Let i be k(7). Let r = -5839 + 1272903/218. Are r and i non-equal?
True
Let u = 10404 - 10403.401. Which is smaller: 3 or u?
u
Let y = 477 - 476.21. Let x = y - 0.51. Which is smaller: 8 or x?
x
Suppose h + 4 = 3*h. Suppose 0 = -n - h*q - 81, 6*q = 3*q. Let t be (-2 - (-820)/522) + (-18)/n. Which is smaller: t or 0?
t
Let a(x) = 2*x**3 - 7*x**2 - 94*x + 355. Let z be a(4). Is -305/59 > z?
False
Suppose -1642*z + 3327*z = 1668*z + 51. Does 492 = z?
False
Suppose m = 4*j + 4, -3*m - 4*j + 49 - 5 = 0. Let n(a) = a**3 - 15*a**2 + 58*a - 7. Let k be n(m). Is k smaller than 257?
False
Suppose 0 = -190*a + 110*a + 92*a - 1416. Let b be 2/5 - 6876/(-60). Is a > b?
True
Let o(k) = -k**3 - 10*k**2 + 14*k - 135. Let q be o(-12). Let f = -14768/5 - -2940. Which is bigger: f or q?
f
Let v = -24351 - -24351. Let a = 336649/47 + -7163. Is v at most a?
False
Let u = 0.3 + 91.7. Let d = -140 + u. Let i = -49 - d. Is -2 bigger than i?
False
Let z be 1037/(-1 + 1 + (3 - 5)). Which is greater: -520 or z?
z
Suppose -2*p = -2*z + 222, -3*z + 87 = 4*p + 538. Suppose 0 = 4*u + 4*o - 8*o + 432, 3*o = -4*u - 467. Let r = p - u. Is -3/11 less than r?
True
Let i be 1*(-1695 - 7)*6/(-646). Let p = i + -258/17. Suppose c + c = 6, -n = 4*c - 12. Which is bigger: n or p?
p
Suppose 3*y + 2*a + 4 = 17, 2*a = y - 7. Suppose 0 = -4*t + y*c - 32, t + 2*c - 1 = c. Which is smaller: t or -14/9?
t
Suppose -540 = 84*j - 80*j. Let k be 3/((-36)/37) - (-90)/j. Suppose 0*y + 4*y - 12 = 0, -7 = w - 3*y. Does k = w?
False
Let y be (2/(-4) - (-151)/151)/(4/2). Which is smaller: 42.98 or y?
y
Suppose -5*x + 3*t = -16, 4*x + 200*t - 2 = 197*t. Which is smaller: x or 729/4?
x
Let q = 33074 - 32915. Which is bigger: 120 or q?
q
Let s be (-1)/(-1*2/914). Suppose 6*g - 16*p + 13*p - 1395 = 3*g, 0 = -7*p - 63. Is g smaller than s?
True
Let t = -8.015 + -1.715. Let b = t + -0.27. Let u = -44 - -43.9. Which is greater: u or b?
u
Let y = -7225 + 13895. Let a be y/1785 - (-1 - 18/(-14)). Let n = a - -15/17. Does 3 = n?
False
Let a(k) = k**3 + 22*k**2 + 58*k + 410. Let m be a(-19). Which is smaller: 382 or m?
382
Let t = -43615573573/915 - -47667288. Let d = t + 78/305. Let h = d - 1/15. Is -6 bigger than h?
False
Let b(r) = -r**3 - 7*r**2 - 8*r + 4. Let f be 96 - -3*2/3. Let d = f + -104. Let w be b(d). Which is smaller: 15 or w?
15
Let g = -100 + 106. Let w be 23/g + 0 - (12 - 8). Let z = -34 + 34. Which is smaller: w or z?
w
Let v(u) = u**2 + u - 5. Let w be v(3). Let y(h) = -w*h - 10 - 11*h**2 + 21 + 8*h**2 + 4*h**2. Let a be y(4). Is 0 greater than or equal to a?
True
Let z be -9 + 3 - (-3 - (-25644)/(-4)). Let i be z/(-14560) - (-6)/14. Which is bigger: i or 0?
0
Suppose 396 = -0*x + 12*x. Let b = 36 - x. Let o be (-3)/(-1 - (3 - b)). Is o not equal to 3?
False
Suppose 3*u - 4*w = -7946, -4*u + 37*w - 10597 = 34*w. Which is bigger: -2651 or u?
u
Let u(l) = l**3 + 3*l**2 - 9*l + 9. Suppose 0 = 20*j - 7*j + 65. Let g be u(j). Suppose 4 = -g*f - 0*f. Is f greater than -1/95?
False
Let y be ((-10)/39175)/((-1)/(-15)). Is y at least as big as 0?
False
Let p be (((-5662)/(-2280))/(-149))/(5/((-25)/3)). Let n = -3.1 - -3. Which is smaller: p or n?
n
Let j = -173 + 241. Suppose 5*b = -3*z - j, -2*b - 42 = b + 3*z. Is -10 less than b?
False
Let k(r) = r**3 + 34*r**2 - 72*r. Let y be k(-36). Suppose u - 87 + 76 = y. Is -2/27 not equal to u?
True
Let y = 5686 + -147775/26. Is 3 greater than y?
True
Let g be 8/(-3)*(-35 - (-7334)/76). Are -1478/9 and g non-equal?
True
Suppose 4*b + 2*r = -8054, -3*b = -4*r + 6471 - 403. Which is bigger: b or -2018?
b
Let f = -27447127/532954 - 2/266477. Let j = -40 + -11. Which is greater: f or j?
j
Let t(u) = 8*u**2 - 245*u + 60. Let y be t(29). Which is smaller: y or -313?
y
Let h = -0.523 - -0.4561. Let i = 6.0331 - h. Which is greater: -2 or i?
i
Let i = 3 - 2. Let n be (1 - 0)*(6 - (-8)/(-2)). Let c be (n/(-16))/(47/8 - 6). Is c less than or equal to i?
True
Let i = -3 - -4. Let q = -166 - -73. Let t = q - -833/9. Which is smaller: t or i?
t
Suppose 4 = -4*i, 0 = -5*y - 5*i + 2*i - 248. Let o = y + 19. Let x be 5 + o/13 - 3. Which is smaller: x or -1?
-1
Let j be -25 + ((-1)/(-1) - 1). Suppose 9 - 58 = -7*d. Let y be -13*((-38)/(-133) - (-12)/d). Which is greater: y or j?
j
Let u(c) = 154*c + 27. Let y be u(-8). Let b = y - -3385/3. Let n = -4352/57 - b. Do 1 and n have the same value?
False
Let l(x) = -x**3 - 13*x**2 + 144. Let f be l(-12). Which is smaller: 45/122 or f?
f
Let r = 1384 + -924. Let j = -460.19 + r. Which is smaller: 9 or j?
j
Suppose 649*z - 654*z - 2*t = -14247, 5*t - 14250 = -5*z. Is z at least 2853?
False
Let n = -100 + 74. Let i(r) = -3*r**2 - 9*r + 2. Suppose 2*y + 8 = -2*t + t, -4*y - t = 18. Let d be i(y). Is n < d?
False
Let a = -293 + 295.8. Let v = -3.267 - -0.267. Which is smaller: a or v?
v
Suppose 3*f = -23 - 1. Let b(m) = -m**2 - 5*m + 9. Let l be b(f). Suppose 8*i = 3*i - 70. Which is smaller: l or i?
l
Let q = -4710 - -4662. Is -43 at most q?
False
Let s(h) = 14*h - 10. Let j be s(4). Suppose 1468 = 72*l - 1844. Is j < l?
False
Let o = -555 - -554. Let k = -24.05 + 2.05. Which is smaller: k or o?
k
Let s be 201/(-690) - 20/(-50). Let n = -21/230 - s. Let j be -2*1 + 4 + -4. Is j smaller than n?
True
Let d = -49749/199028 - 2/49757. Is 2007 less than d?
False
Let c = 2963 + -2964. Is -1/1853 at most as big as c?
False
Let t be 2085 - (-90)/(-6 - 3). Are 2071 and t equal?
False
Suppose 3*c - l = -2*c - 3, 0 = -5*c - 3*l + 9. Suppose c = -4*s + 217 - 33. Let z = 31 - s. Which is smaller: -16 or z?
-16
Let p(x) = 13*x**3 + 4*x**2 - 7*x + 5. Let d be p(5). Let f = -20359/12 + d. Which is smaller: -1 or f?
f
Let m be (1/3081)/((-221)/401193). Let c = m - -1/1027. Suppose w - 3 = 4*w. Which is greater: c or w?
c
Let k = -16/3 - -26/15. Let x(s) = s**2 - 35*s - 4. Let q be 142/4 - (-3)/(-6). Let g be x(q). Is g greater than or equal to k?
False
Let j be 10/(-24)*72/(-960). Is -23/3 bigger than j?
False
Let q(k) = 34*k**2 + k + 6. Let b be q(-3). Let d be ((-6)/b)/((-10)/(-20)). Are d and 1 non-equal?
True
Let c be (-125 - -546)/((2 + 2 + -6)/2). Which is smaller: -1259/3 or c?
c
Let x(o) = 2*o**3 - 21*o**2 - 14*o + 21. Let v be x(12). Let l = 296 - v. Let r be ((-33)/(-6))/((-2)/(-4)). Is r < l?
False
Let g = -418 - -420. Let k(s) = -s**3 + 14*s**