-2*d + 1316, -2*y = -d + 3*y + 628. Suppose -25*v + 19*v = d. Is -107 >= v?
True
Let h be -10 + (5 - 1) + 1092/184*1. Which is greater: -0.72 or h?
h
Let u be (-56)/3*((-40)/(-1) + -4). Let y be 4/14 + 486/u. Let z = 3/16 + y. Is -50 smaller than z?
True
Suppose 5*d + r + 2*r = 2, -4*r - 4 = 0. Let h = -1817759/336 + 5410. Is h less than d?
True
Let n = 221.5 + -73.5. Let p = 154 - n. Which is bigger: p or 45?
45
Let o(n) = -n**2 + 49*n + 518. Let a be o(-9). Let c(t) = -t**3 + t + 6. Let v be c(0). Let q be a - (v/(-15) - (-84)/(-15)). Is q at most 0?
False
Suppose -6*t - 29 = -43 + 38. Let g = -33 - -16. Which is bigger: g or t?
t
Suppose -3*a + 6 = 0, a + 114 = -2*w + 7*a. Which is bigger: w or -65?
w
Let n be -765*((-304)/(-20))/(-2). Suppose -n = -7*t + 26*t. Are t and -306 unequal?
False
Suppose -4*y - 6*y = -2*y. Is 4/23 smaller than y?
False
Let w be (-1 + 4)/3 + -1 + 2. Suppose 5*u - w*u + 5*i = 32, 4 = -2*i. Let m = -6 + u. Is 10 >= m?
True
Let z = -51 + 55. Suppose 0 = -9*i + 14 + z. Suppose -168 = -2*m - i*m. Is 41 equal to m?
False
Let u = -7/338 + 7649/385658. Which is smaller: u or -1/4?
-1/4
Let i(p) = -p**2 - 8*p + 1. Let w be i(-7). Suppose 0 = w*a - 5*a - 405. Let s be (2/a)/(2 + (-11)/5). Is 1 less than or equal to s?
False
Let d be 17/3 - 10/15. Suppose -d*r - 664 = -13*r. Let w = -2907/35 + r. Is -1 smaller than w?
True
Let b = 109 + -105. Suppose 4*p - 3*n = -2, 31*p = 26*p + 3*n - b. Which is smaller: p or -3?
-3
Suppose -1 = b + 4, -t - b = 25. Let c = t + 1961/98. Is -1 less than or equal to c?
True
Let p(a) be the second derivative of a**5/20 - 4*a**4/3 - 8*a**3/3 + 5*a**2/2 - 12*a + 1. Let n be p(17). Are 21 and n equal?
False
Let t be ((117/91)/9)/(3/(-21)). Is 1/772 bigger than t?
True
Let i be 4*(6/3 - 0). Suppose -3*q = 2*n - 3, -4*n + 1 = 3*q - i. Suppose -c = 2*l - 6*l, 0 = -3*l + n*c. Is l > -1/8?
True
Let r(f) = -581*f**2 + 498*f - 1951. Let l be r(4). Is -9255 greater than or equal to l?
True
Suppose 2*r - 38*r + 13163 = 41315. Is r greater than -2342/3?
False
Let j(p) = -p**3 + 10*p**2 + 13*p - 19. Let y be j(11). Suppose -2*w + 5*w - y = 0. Which is smaller: 4/73 or w?
4/73
Let s(l) = -8*l + 2. Let b(v) = v**3 - v**2 - 3*v + 2. Let t be b(2). Let x be s(t). Suppose 2*o = k + 8 - 1, -x*k - 3*o = 0. Is 3/11 less than or equal to k?
False
Let v = -99/298 - -32565/103406. Let h(f) = -f**2 + 3*f + 3. Let u be h(4). Which is smaller: v or u?
u
Let q be 4 + (2 - 3) + 4. Suppose -16 = q*p - 15*p. Which is greater: p or 0.38?
p
Let s(c) = 2*c + 24. Let w be s(-12). Suppose -11*k + 9*k + 224 = w. Let i be 4/(-14) - (-620)/k. Which is bigger: 5 or i?
i
Suppose 4*o + z + 21 = 8, 2*o - 4*z = 16. Let d be (o - (-3 - 0)) + (-2303)/2317. Is d greater than or equal to 1?
False
Let v(n) = -2*n**2 - n + 19. Let k = -85 - -90. Let c be v(k). Suppose 69 = -2*r + 3*x, -3*r - 179 = 2*r - x. Are r and c non-equal?
False
Let l = 7 - 6. Let c be 1 + (1 + -1 - l). Let o be c + 37/12 - 3. Does 0 = o?
False
Let u = 1179 - 787. Do -1 and u have the same value?
False
Let x(r) = 2*r**3 - r**2 - 4*r + 51. Let o be x(0). Suppose -10*v = -11*v + 47. Which is greater: o or v?
o
Let w = -0.31807 + -0.08193. Let h = 106 - 3075/29. Is w greater than h?
False
Let w(x) = -2*x**3 - x - 1. Let q be w(-1). Let y(p) = p**3 - 21*p**2 + 78*p + 20. Let m be y(16). Let n(a) = -26*a - 315. Let u be n(m). Is u not equal to q?
True
Suppose -9 = -3*g + 3. Let q be 5/((-15)/(-3) - g). Let x = -185/2 - -96. Which is bigger: q or x?
q
Suppose i - 3*r - 28 = 0, -129 - 53 = -5*i + r. Suppose 377 = -i*b - 104. Which is smaller: b or -96/7?
-96/7
Let t(x) = 52*x**3 + 4*x**2 + 4*x - 16. Let a be t(-3). Which is smaller: -1392 or a?
a
Let b = -17 + 11. Let a be 0/(2 + b - -7). Let j be a - (1 + -1) - -1. Which is smaller: -1/42 or j?
-1/42
Let s be (14/21 - -2*4/24)/1. Is 10770 at most as big as s?
False
Let c = -307 + 339.3. Let y = c + 9.7. Let d = -42 + y. Is d at least as big as 1/10?
False
Let x(g) = 18*g**2 + 4*g. Let o be x(-1). Let p be (o/(-4) - -3)*(-1 - -72). Is p != -37?
True
Suppose 5*b - 5*f - 10 = 0, -2*b - 7*f + 4 = -2*f. Let n be 207/(-54)*(-1 + b). Which is bigger: n or -5?
n
Let m(k) = k**3 - 29*k**2 - k + 29. Let u be m(29). Which is smaller: -9/385 or u?
-9/385
Let d = 24695710 + -57466916174/2327. Let f = 1034793/179 - 5781. Let n = f - d. Which is bigger: n or 0?
0
Let k = -350977/4316 - -285/332. Which is bigger: k or -79?
-79
Let b = -128 - -126. Suppose -3*o - 2 - 34 = 0. Let d be (3/o)/(b/6). Which is smaller: d or 1?
d
Suppose -54*p = 7098 - 240. Is p smaller than -120?
True
Let u be (-29)/3 + -1 + (-30)/(-45). Let m = -101 - u. Is -92 greater than or equal to m?
False
Let t(a) = -a**2 + 17*a - 664. Let c be t(48). Which is bigger: -2151 or c?
-2151
Let f = 909 + -22726/25. Which is smaller: f or -13?
-13
Suppose -4*a + 26 = p, 0 = -5*a + 2*p + 2*p + 22. Let w be (-1)/(-4)*a/1*2. Let o = 7 - w. Is 24/5 >= o?
True
Suppose t + 96 = -0*t + 3*b, 275 = -3*t - 4*b. Let q(z) = z**3 + 30*z**2 - 29*z - 29. Let p be q(-31). Is p <= t?
False
Suppose 96 - 84 = -4*v. Let t be ((-70)/(-42) + v)/(964/(-6)). Is t less than -1?
False
Suppose -9*p + 2*p = -42. Suppose p*h = 652 - 700. Which is smaller: h or 1?
h
Suppose -51*l = 35*l - 17*l. Which is smaller: l or -6/1237?
-6/1237
Let l = 34.5 + -34.499. Let j = 1488.9 - 1478.899. Let o = l - j. Which is smaller: o or 0.4?
o
Let u(f) = f**3 - 10*f**2 + 17*f - 3. Let g be u(8). Suppose 5*q = a + q + 9, -g*a = -5*q - 30. Let m = a - 43. Which is greater: m or -31?
-31
Let b = -3/217 + 4590/2387. Let n(k) = 902*k + 905. Let w be n(-1). Which is smaller: b or w?
b
Let j = 55 + -51. Let b be (8 + -3 - j)*(138 + 1). Is 0.1 not equal to b?
True
Let v = 8278094/181083 - 2/25869. Let i = 46 - v. Let n = -570 + 609. Which is smaller: n or i?
i
Let r be -2564 + 2586 + 54/(-12)*8/3. Let l be 0 + (-242)/(-30) + 1. Is r >= l?
True
Suppose -v + 4*p + 20 = 0, v + 593*p - 596*p - 15 = 0. Is 30/619 greater than v?
True
Let t = 553 - 521. Let r = t + -58. Which is greater: 0.08 or r?
0.08
Suppose -3*d - 2*h + 2236 = 520, 0 = 4*h - 24. Is 570 smaller than d?
False
Let h = 334378/2117607 + -1/111453. Let x be (1 + 1)*1 - -2. Let c be x/6*(-9)/6. Do h and c have different values?
True
Suppose -4*t + 2*t = 32. Let n be (2 - -17) + -15 + 12. Let s = n + t. Which is smaller: s or -10/17?
-10/17
Let u = -208.44 + 211. Let h = u + -19.56. Which is bigger: 7/3 or h?
7/3
Let h(g) = 14*g - 8 + 10 - 16*g + 44*g. Let j be h(-1). Let o be 1 + (4/j + 0)*76. Which is smaller: o or 0?
o
Let t be (-277818)/(-66) - 76/209. Is t greater than or equal to 4209?
True
Let z = 64 + -450/7. Let r = 0.31 - -0.99. Let h = -1.4 + r. Are z and h nonequal?
True
Suppose 177 = 23*a + 344 + 224. Which is greater: a or -38?
a
Let b be 4/(6*19 - -4). Let a = -1328 + 1329. Which is bigger: a or b?
a
Let i = 21449 + -21445. Is -370 at least i?
False
Let c be -1 - (0 + -3) - -5. Suppose -c*l + 15 = -13. Suppose 0 = -7*q + l*q. Do q and 1 have different values?
True
Suppose a = -2*v - 3, 0 = 498*a - 493*a + 5*v + 5. Is 195/119 not equal to a?
True
Let k(p) = 41*p + 2. Let q be k(2). Let d be 572/1400 + q/(-196). Does d = -1?
False
Let m be 2 + -3 - -3 - 0. Suppose -i = m + 20. Suppose 2*u + 66 = 5*k, 20*k - 12 = 17*k. Which is bigger: i or u?
i
Let v be -4529 - ((-287)/(-91) - 4/26). Which is bigger: v or -4533?
v
Let t = 15 + -14. Let a be ((-8)/10)/(t/(-10)). Let g be (312/(-45))/a - (-4)/(-30). Which is smaller: 1/18 or g?
g
Suppose 34*w - 77*w = 116*w - 17013. Which is bigger: w or 139?
139
Let w be (-7 + 7 - 2)/((-2)/(-27)). Let m be (-4)/(-144) - 6/w. Let o = -11 - -12. Which is smaller: o or m?
m
Let u = -3 + 8. Let k = -1938 - -1940. Suppose h - 3*d - 24 = -k*d, 96 = u*h + 3*d. Is 22 bigger than h?
True
Let h = 739 - 158. Suppose -5*r - h - 139 = 0. Are r and 1 equal?
False
Let v = 4/96805 - -66892143/2710540. Let k = -97/4 + v. Are k and 1/8 equal?
False
Let q(w) = -w**3 + 10*w**2 - 19*w - 4. Let l be q(8). Let t be l/(-6) - (-4)/12. Suppose t*n = 2*u + 25, 3*n + 0*n - 15 = -u. Which is smaller: u or -1.6?
-1.6
Let s = 0.29 - 0.3. Let p = s + 4.01. Let n be (-52)/104 + ((-1)/(12/46) - -4). Is p at least n?
True
Suppose -2*j = 2*y - 5*j + 1, -4*j = -4*