s 65 at least as big as f?
True
Let d be 114642/(-168) + (114/(-24) - -6). Which is smaller: d or -682?
-682
Suppose -3*m - 2*b - 78 = -5*b, 3*m + 58 = -2*b. Let o = -17 - m. Let d be (-3)/(-2 + (-2 - -3)). Which is greater: o or d?
o
Suppose 60*c = 68*c - 368. Let b(u) = u**3 - 46*u**2 + u + 57. Let a be b(c). Is 102 at most as big as a?
True
Let o(v) be the third derivative of -v**5/20 - v**4/2 + v**3/6 + 2*v**2 + 53. Let u be ((-3)/2)/(1/4). Let l be o(u). Is l at least -35?
True
Let y = 0.5708 - 4.5708. Which is smaller: y or -171?
-171
Let m = 31 - 34. Let c be (m/6)/((-18)/(-36)). Is 3/176 bigger than c?
True
Let y be (-57)/38*(-40)/3. Let i(x) = -x**2 + 20*x + 10. Let p be i(y). Let h = 125 + -117. Do p and h have different values?
True
Suppose 3*l - 44*l - 35632 = 27*l. Does -512 = l?
False
Let k = 51/125 + -33076/81375. Let s = -1894/38409 - k. Which is smaller: -1 or s?
-1
Let l(j) = -j**3 - 8*j**2 + 7*j + 19. Let i be l(-8). Let b be (2/(-30)*-117)/(1/(-5)). Which is smaller: b or i?
b
Let f(t) = 4 - 2*t - 5 + 326*t**2 + 108*t**2 - 12*t - 1. Let p be f(1). Do p and 419 have the same value?
False
Let p = 125 + -107. Let a = 18.52 - p. Which is bigger: -1 or a?
a
Suppose -10*u = -9*u - 3*l - 4, u + 2*l + 1 = 0. Let n be 10/(-7) - 8*u/14. Is n less than 2?
True
Let m be 36*(-2 + 9/4). Suppose -i = -3*c + m, -3*c + 5*i + 13 = -4*c. Suppose -6 = -4*q - c*y, -y = -3*q + y + 22. Is 1 at most q?
True
Let n be ((-24)/(-10))/(5/(75/6)). Suppose -4*d + 4*x - n = -22, 3 = -x. Suppose 2*g - 6*g - 8 = 0. Which is smaller: d or g?
g
Suppose 32*n - 216 = 20*n. Let w(u) = -2 + 22 - 2*u + 22. Let c be w(n). Which is bigger: 43/6 or c?
43/6
Let s be (-253736)/(-81696) + (1/12 - 0). Which is smaller: 4 or s?
s
Let z be (((-455392)/21)/16)/2. Let w = z + 677. Let l = -29/26 - -8/13. Which is smaller: w or l?
w
Let h = -23.87 + 21.87. Which is smaller: h or 43/4?
h
Let y = -6.84 + -3.92. Let r = y + 11. Suppose 3*p - 4*p = -6*p. Which is greater: r or p?
r
Let b = 22678.1 + -22678. Is b < 52.72?
True
Let b = 5023 - 25243/5. Is b at most 3/4?
True
Let b = -36.7 - -37. Let r = 79 - 78.946. Let w = 1.054 - r. Does b = w?
False
Let c = 6360 + -6307. Is 0 > c?
False
Suppose -2978*r + 2983*r = a - 114, -5*r + 2*a = 118. Let h = -173391/8408 + -3/1051. Is r >= h?
False
Suppose 21789*c - 21788*c + 86 = 0. Which is smaller: c or 5?
c
Let o = -593 - -468. Is -90 greater than or equal to o?
True
Let j = -1 - -1.5. Let h = j - 0.3. Let k be (((-740)/(-60))/(-37))/((-78)/(-81) + -1). Which is smaller: k or h?
h
Suppose m + 5*u = 8*u + 23, 3*u = -15. Are m and 224/29 unequal?
True
Let m be (-2552)/(-667) - (-1 + 5). Let d be (3/(6/(-91)))/(5/10). Let x = d + 90. Is m at most x?
False
Suppose -i + j + 1 = 20, 2*j = -5*i - 130. Let k = i + 18. Suppose c - 6 = -2*r + 4*r, 23 = -3*r - 2*c. Is k > r?
False
Let n = 66.7 - -296.3. Let z = n - 367. Is 0.3 < z?
False
Suppose -572 - 772 = -28*u. Let g = u - 53. Do 26 and g have the same value?
False
Let d = 1709 + -1666.65. Let m = 42.3 - d. Is m < -22?
False
Let m = 2853 + 5248. Let f = -2462701/304 + m. Which is bigger: f or -1?
f
Let i = -2870 + 1457. Let a be (i/(-306) - 4) + 2/(-17). Let v = -26/203 - -12/29. Which is smaller: v or a?
v
Suppose 0 = -13*w + 2*w - 3*w + 630. Are w and -2/9 equal?
False
Let t = -890 + 892. Suppose t*c = 3*k - 41, -3 = c + k + k. Which is bigger: c or -17?
c
Suppose -54*u = -934 + 178. Suppose -15*i + 286 = -u*i. Is 287 bigger than i?
True
Let i = 16 + 15. Let v = -38 + 40.5. Let n = v - 2.4. Which is smaller: i or n?
n
Let t = -1120/93 + 6503/558. Let s(a) = -a**2 + a - 1. Let u be s(1). Do t and u have the same value?
False
Suppose -2*w = -3*d - 21, 2*w + 1 + 8 = -3*d. Suppose -g - 15 = 2*i - w*i, -2*i = -3*g - 46. Which is smaller: -135/8 or g?
-135/8
Let p be 1945727/49*(-12)/(-66). Let q = p - 7220. Which is smaller: q or -1?
-1
Let a be -53 + -4*3/(-6). Suppose 2*b + 3*k = -123, 63*b - 117 = 66*b - 3*k. Is b > a?
True
Suppose -5*v - o - o + 84 = 0, -4*o = 4*v - 60. Suppose u - 3*u - 4 = 2*i, u = -1. Which is smaller: i or v?
i
Let c(i) = -2*i**3 - 53*i**2 - 26*i + 34. Let g be c(-26). Suppose 34 + g = -34*d. Are d and -50 unequal?
True
Let d = -31.65 + 31.55. Do -1.94 and d have different values?
True
Suppose 20*b - 22 - 138 = 0. Suppose -4*f + 56 - b = p, 4*f = -12. Which is smaller: 61 or p?
p
Let b(c) be the third derivative of c**6/120 - c**5/20 + 5*c**4/24 - 5*c**3/6 + 27*c**2. Let j be b(3). Let z be -1 - 8/(-12)*(-39)/j. Is z not equal to -4?
True
Suppose 5*d + 94*x - 90*x = -7, 0 = 5*d + 2*x - 9. Which is bigger: d or 1.585?
d
Let r = -25203 - -25362. Let w be 2/(-6) + (-1924)/(-12). Which is bigger: w or r?
w
Let j be (6/(-27) - 0) + (-116)/(-36). Suppose j*m + q + 20 = 5*m, 0 = q + 4. Let f(z) = z**2 + 5*z - 7. Let i be f(-7). Is i at most as big as m?
True
Let c = -366 - -384. Let g be -5*c/(-152) + (-18)/24. Let r = -1.2 - 0.8. Is r <= g?
True
Let p be 1/170*((-258)/(-108))/(-43). Do 0 and p have the same value?
False
Let w = 4538 - 4539. Which is smaller: w or 1010?
w
Let z = -13179 + 34463083/2615. Is -1 at most as big as z?
True
Let d = -10769/63787 - -118/281. Which is smaller: d or 0?
0
Let g = -25820 + 25733. Are g and -92 non-equal?
True
Suppose 61*y + 60 = y. Do y and 21/80 have different values?
True
Let m(d) = d**2 - 77*d + 1311. Let z be m(51). Let o be -12 + (-2 - -3)*3. Is z bigger than o?
False
Let y = 918 + -915. Suppose -4*u = 2*b - 126, 4*b = 4*u + u - 190. Is y > u?
False
Let c be 244 - (1 - (-20)/(-5)). Let h = -275 + c. Which is bigger: h or -17?
-17
Let d(y) = 5*y**3 - y**2 + y - 1. Let x be d(1). Let v be (-210)/404 - (-2)/x. Let i = -185407 - -185408. Which is bigger: v or i?
i
Suppose -2*d - 96 - 96 = 0. Suppose 0 = 2*m - z + 194, 0 = m - 57*z + 62*z + 53. Let k = d - m. Is -13/5 at least k?
True
Let f = 0.9933 - 1.0233. Let c = 0 + -1. Is c bigger than f?
False
Let h = -5955.255 - 1.745. Is h at least -2/7?
False
Suppose 0 = -l + 9 - 7. Suppose n = l*n - 16. Let q be (24/n)/((-54)/(-40)). Which is greater: q or 2?
2
Let l be 15219 - (233 - -9)/11. Which is greater: 15198 or l?
15198
Suppose 0 = 11*n - 6*n - 15. Suppose 3*v + 0*v = -n. Which is smaller: -6 or v?
-6
Suppose -2*t = 30*f - 35*f - 368, 2*t - 350 = -4*f. Which is greater: t or 1079/6?
1079/6
Let v = 95 - 64. Let p = 35 - v. Suppose 5*j + d - 8 = 178, -p*d = -2*j + 92. Is 38 smaller than j?
False
Suppose -2*o + 0*y - 20616 = 3*y, -5*o - y - 51527 = 0. Let v be (-21)/3 + (-72117)/o. Is 1 at most as big as v?
False
Let a(g) = 2*g**2 - 454*g - 4247. Let o be a(-9). Let t = 8791/29 - 303. Is o at least as big as t?
True
Let g(u) = 46*u + 3235. Let y be g(3). Which is bigger: y or 3371?
y
Let c(h) = -292*h + 4. Let n be c(-1). Let i be ((-111)/n)/((-6)/4). Is i greater than or equal to -24?
True
Suppose 17*i = 347 - 534. Which is greater: i or 1/104?
1/104
Suppose u + 168 = -u. Let p(h) = 39*h - 351. Let k be p(14). Suppose -168 = -k*m + 197*m. Is u <= m?
True
Let y(o) = -2 + 12*o + 2*o**2 + 11 - 1 + 4. Let f be y(-6). Suppose 0 = -0*i - 3*i + f, -3*i = -4*k + 60. Is k less than or equal to 19?
True
Let u = 139/221 + -1557969/2477410. Which is bigger: -1 or u?
u
Suppose 0 = -3*i + 4*t + 11, 3*i + t - 7 = 9. Suppose -i*j + 5*r = 30, 10*r = j + 5*r - 2. Is j less than or equal to -15?
False
Let g be 44/(-9)*-6*-18. Let i = 436 + g. Are i and -92 unequal?
False
Let c = 6 + -9. Suppose -2*a + 2*b + 22 = 0, 9 - 5 = -a - 4*b. Let f(g) = 2*g**2 - 20*g + 16. Let w be f(a). Do c and w have the same value?
False
Let z = -25741 + 26821.1. Let o = -1080 + z. Let b(j) = -4*j - 3. Let p be b(-6). Is o at least p?
False
Let y be -1187*1/(-593) + (8 - 10). Let l(h) = -22*h + 177. Let n be l(8). Is y less than or equal to n?
True
Let c be (-10)/14*(-133 - 56). Which is smaller: c or 139?
c
Suppose 2*x - 5*o = 23 + 31, o = -2. Let d(b) = 6 - x + 9 + 21*b. Let v be d(2). Does v = 35?
True
Let w = -642 - -1007. Suppose -370*c = -w*c + 145. Which is bigger: c or -139/5?
-139/5
Suppose -14582 = -988*j + 965*j. Is j smaller than 631?
False
Let l(j) = j**3 - 66*j**2 + 6*j - 398. Let p be l(66). Let y = 0.55 - -0.17. Which is bigger: p or y?
y
Let n = -8669 + 6602. Is -2069 > n?
False
Suppose -63*d - 18620 = 70*d. I