 (-6)/(-8). Let q = 2/31 + d. Is 1 greater than q?
True
Let f be 28/432*(-10)/105*-4. Is f less than -1?
False
Let b = -4021/10 - -400. Let w = -9400 + 9397. Which is greater: w or b?
b
Let i(v) be the first derivative of v**4/2 + 5*v**3/3 - 2*v**2 - 5*v + 18. Let c be i(-4). Is -36 at least as big as c?
True
Let f be 306/24 + 3/(-4). Let w = f - -78. Let l be (w/24)/((-9)/(-8)). Is l bigger than 3?
True
Let h be ((-1)/(-3))/((-37)/111). Is -25/61 > h?
True
Let s = 644 - 645. Are 291 and s nonequal?
True
Let f = 1861 + -1862. Is -5/367 less than f?
False
Let f = -107 - -17. Let p be 18/f*10/42. Let r be (0 + 1)*(0 + 1). Which is greater: r or p?
r
Let z(w) = 17*w - 10. Let f be z(2). Let k be f + (1/3)/((-2)/18). Are 21 and k equal?
True
Let y(v) = 11*v**3 + 6*v**2 - v - 11. Let d be y(5). Let o be (d/378 - 4) + 0. Which is smaller: -1 or o?
-1
Suppose 0*g + 6 = 2*g. Suppose -m + g = 1. Suppose -y = -3*c - 10 + 1, 4*y - 14 = c. Is m not equal to y?
True
Let g = 11 - 9. Suppose 3*y = 2*y - g*d + 4, -2*y - 3*d = -6. Which is bigger: y or 4/17?
4/17
Let f = -73205/1331871 + -1/12219. Is -1 greater than f?
False
Let b = -12 - -13.03. Let m = b - 4.33. Is 2/9 greater than or equal to m?
True
Suppose 4*z + 0*z + 24 = 0. Suppose -4*h + 2*l = -0 + 2, -h + 4*l = 11. Suppose 0 = -4*u - 5*t + 3, -5*t + 10 - h = 2*u. Which is smaller: u or z?
z
Let l = -133 + 282. Suppose -629 = 2*u - l. Let g = 3122/13 + u. Is g at most -3?
False
Let y = -0.5 + -0.5. Let c = -2.1 - 11.9. Which is greater: c or y?
y
Suppose 7*o = p - 20, 15*o = -5*p + 17*o + 67. Let m = -11 + 8. Which is greater: m or p?
p
Suppose 5*z - 9 = 6. Suppose -z*m + 1 = -2*m. Which is smaller: m or 20/9?
m
Let w be (-10 - -8) + 10/(-6) + 4. Is 789 < w?
False
Let b = -25 + 27. Let l be (b + -1)/(18/(-54)). Suppose 0 = -5*p - 4 - 16. Which is bigger: p or l?
l
Let y = 24 - 47/2. Let p(z) = -15*z**3 - 15*z**2 + 15*z + 13. Let f(v) = -7*v**3 - 7*v**2 + 7*v + 6. Let a(l) = -13*f(l) + 6*p(l). Let c be a(0). Does c = y?
False
Suppose y = -2*y + 5*u + 29, 4*y = 5*u + 32. Suppose 2*l + 240 = 5*t, 5*l - 71 = y*t - 215. Is t < 1?
False
Let n = 42/169 + 3213/1352. Does n = 2/9?
False
Suppose 4*k - 5*d = -17, 5*k = -3*d - 6 + 31. Let h be (k/(-3))/((-12)/90). Is h <= 6?
True
Let l = 12238 + -12230.439. Let t = -0.039 - l. Let h = 8 + t. Which is greater: 1 or h?
1
Suppose -7*o + 1269 = -1006. Suppose 3*g = a - 2 + 193, 5*g = -5*a + o. Which is bigger: 63 or g?
g
Let c be 928/(-3) - 20/30. Let q be -2 - 1/152*c. Which is bigger: q or 1?
1
Suppose -56*b + 4773 = -19*b. Which is bigger: b or 130?
130
Let x = -167 + -47. Is x not equal to -214?
False
Let z = -295 + 239. Let l be ((-80)/1)/(-2) - 1. Let m = l + z. Is m at least as big as -17?
True
Let o be (6/(-10))/((-9)/225). Suppose -u + 19 = -3*g + 75, 4*g + 5*u - 43 = 0. Is g at least o?
True
Let u = -90 - -108. Which is smaller: u or 21?
u
Let r be (-13728)/13520 - (1 + 7/(-5)). Which is bigger: -7 or r?
r
Let p be 730/(-120) + 3/36 - 916. Is -924 less than or equal to p?
True
Suppose 31*c = 24*c - 938. Let d = c - -94. Is d smaller than -40?
False
Let m = -6.1 + 6. Let l = -16 - -16.21. Let c = 0.01 - l. Are c and m nonequal?
True
Let i = 20/37 + -186/481. Let h = 16 + -13. Suppose n + h*n + 4 = 0. Which is smaller: n or i?
n
Let z = -4 - -9. Let l = 5 + z. Let t = -2022 - -2022.2. Is l at most as big as t?
False
Suppose 4955 = 47*d - 9192. Which is bigger: d or 302?
302
Let d = 7471 - 52515/7. Which is bigger: -31 or d?
-31
Let u be (-6)/14 + (-17)/((-2023)/6579). Which is smaller: 55 or u?
u
Suppose 0 = 3*u - 52 + 7. Let i = 31 + u. Which is greater: i or 47?
47
Let u = -6984/13 - -520. Are u and -16 non-equal?
True
Let t(c) = -c**2 + 2*c + 3. Let g be t(3). Let d be 12/42 + 54/7. Let y be 1/(-1 - d/(-3)). Are y and g equal?
False
Let s be 2/(-5)*(-1 - 9). Suppose c + 20 = 2*o + 8, -s*c = -3*o + 28. Suppose d + d + 5*f + 17 = 0, -o*d = 2*f + 58. Is -16 >= d?
True
Let j = -1/11777 - 435729/235540. Let o = 5/4 + j. Do o and 2/7 have the same value?
False
Let h = 206 + -616/3. Suppose 8 = -z - 39. Is z greater than h?
False
Let y be (-14)/10 + (-10)/125*-5. Is y greater than 2/473?
False
Let v(m) = 8*m**2 - 77*m - 1. Let g be v(14). Is 489 <= g?
True
Let c = -303/5 + 1589/15. Which is smaller: c or 45?
45
Let p = -618 + 1345. Is 727 bigger than p?
False
Let m(x) = x**3 - 18*x**2 + 18*x + 1. Let z(w) = -w**3 + 19*w**2 - 19*w. Let f(c) = -6*m(c) - 5*z(c). Let a be f(12). Which is bigger: -17 or a?
-17
Let o be (-78)/(-5) + (-6)/(-15). Let i be o/28 - (-345)/21. Suppose -3*s = -6*s + 54. Which is smaller: s or i?
i
Let v = 9518/45 + -1900/9. Which is smaller: v or 414?
v
Let u be (3/309)/(3 + -2). Let q = 203/309 + u. Is 17 less than or equal to q?
False
Let w(r) = -r**3 - 3*r**2 + 2. Let z be w(-3). Suppose 4*n - 2*x + 3*x = 25, z*x - 8 = -n. Let l be (5 - n) + (-22)/(-18). Which is smaller: l or -1?
-1
Suppose -2*j = -j + 9. Let m(q) = q**3 - 11*q**2 + 23*q + 5. Let u be m(8). Is u > j?
True
Let s = 7 - 14. Let q be ((-28)/8)/s*1*-2. Which is greater: -1/11 or q?
-1/11
Let t = 838 - 1616. Let d = 3878/5 + t. Is -3 at most as big as d?
True
Suppose 3 = 3*x, 0 = -3*o + 5*o - 2*x - 6. Suppose 0*z = 2*z - 4, -3*h - 2*z = -o. Let v be (-286)/91 - (-1 - 3). Which is smaller: v or h?
h
Suppose -300 - 195 = 3*b. Let k = -316 + b. Let i be k/65 - (-2)/(-10). Is -8 less than i?
True
Let s = -41/36 + 5/4. Let c be (-4)/(-12)*6/(-2)*-1. Let b be (0/c*1)/(0 - 1). Which is bigger: s or b?
s
Let n = -64 + 179/3. Let u = 88 - 50. Let g = -37 + u. Is g >= n?
True
Let a be 3*(13/(-3) - -4) - -3. Suppose 0 = 4*d - a*b - 26, 7 = 3*d - 5*d - 3*b. Is d at most as big as 30/7?
True
Let k(m) = -15*m + 278. Let b be k(19). Is 1 at most as big as b?
False
Let b(i) be the second derivative of -i**4/12 + 3*i**3/2 - 3*i**2 - 5*i. Let c be b(8). Suppose -j - c*j = r + 12, -5*j = -r + 12. Is j at most as big as 2/5?
True
Let c = 1164 - 1115. Is 4/11 >= c?
False
Let r(q) = q**2 - q + 4. Let j be r(0). Let z be j/(-6) - 291/9. Let u be (z/3)/((-15)/3). Is u < 1?
False
Let y = -12.21 - -0.21. Let o = 6/19 - 11/95. Which is smaller: y or o?
y
Let o be (129/6 - -1)/(30/(-40)). Which is smaller: o or -32?
-32
Suppose -2*x + h + 0*h = -12, -h = 3*x - 28. Suppose -y = p - x, 5*y + 10 = 5*p - 70. Let r = p + -29. Which is bigger: -18 or r?
r
Suppose 4 = 4*h - 8. Suppose 3 = -s - 5*u, 0 = h*u - u. Let j = -177 + 701/4. Which is smaller: j or s?
s
Let z be 93/(-9734)*(-1)/(-3)*-1. Is z greater than 1?
False
Suppose -2*p + 34 - 10 = 0. Let r(t) = t**2 - 14*t - 7. Let s be r(p). Which is bigger: -29 or s?
-29
Suppose 3*k = 2*k. Let y = -1647/28 + 237/4. Are y and k non-equal?
True
Suppose 160 = -69*r + 367. Is 122 >= r?
True
Let q(u) = -u**3 - 16*u**2 - 14*u + 9. Let o be q(-15). Let p be (-14)/o + 16/24. Which is greater: p or 18/11?
p
Let a be ((-5)/((-30)/9))/(6/20). Suppose 0 = -2*j + 2, 0 = w - j - 4 - 2. Is a at least w?
False
Let i = 8478/145 + -292/5. Suppose 3*l + 3*b + 2*b = 20, 4*l = -5*b + 20. Which is smaller: l or i?
l
Let r = 0.853 - -105.147. Which is smaller: 0 or r?
0
Let r(p) = 4*p - 6. Let o be r(2). Suppose -o*v - 3 = -5*v. Which is smaller: v or 3/19?
3/19
Let p(h) = h**3 - 4*h**2 - 2*h + 4. Let v be p(4). Let i be (-2)/v - (-111)/(-54). Suppose 3*g + 12 = 3*q, -4*g = 13*q - 14*q + 10. Is g bigger than i?
False
Let t = 165 + -315. Are t and -148 non-equal?
True
Let k = -0.13 - -0.01. Let g = k - -0.1. Let l = -1.98 + g. Which is smaller: l or -3?
-3
Let d be (-68)/20 + (-3)/5. Let t be 0 - 1 - 341/124. Are d and t nonequal?
True
Let f = -668/11 - 8641/22. Which is smaller: -455 or f?
-455
Let u be (2 - 1)*2 + 3. Let h = -10 + 12. Let b = u - h. Which is smaller: 4 or b?
b
Let i be (-7426)/(-4620) - (-3)/(-2). Let y = i - -2/77. Let p(a) = a**2 - 4*a - 4. Let q be p(5). Do q and y have the same value?
False
Suppose 2*z + 5 = 5*n - 11, 2*n - z = 7. Suppose n*b - 4*b + 8 = 0. Let q(x) = x**3 - 3*x**2 - 2*x - 3. Let u be q(b). Which is greater: u or 4?
u
Let k = -2.538 - -0.098. Let r = k + -1.56. Let t = 3.1 - 3. Is t greater than r?
True
Let g = -0.33 + 0.16. Let d = -26 + 26.09. Let j = g + d. Is -2 < j?
True
Suppose 6 = 4*r - 4*u - u, 4*u = 2*r. Suppose r*g - 50 = -5*y, g + 5