183179/4. Suppose -3*s = -0*s - 6. Let z be ((-2)/(-2) - -3)/s. Is z at least as big as a?
True
Suppose -2*h - 246 = -8*h. Suppose 44*y + 3 = h*y. Is y at most -1/12?
True
Let b(x) = x**2 - 4 - 6 + x**2 + x + 3. Let o be b(-5). Let u be 2/(-3)*285/o. Is u less than -5?
False
Let c = 60 - 8. Suppose c*j = 44*j. Let i be ((-3 - -2) + 2)/3. Which is smaller: i or j?
j
Let r = -2646.9 + 2647. Which is smaller: -210.6 or r?
-210.6
Let b be 1/2*(0 - 0). Let n be 2 + 3 - 4*(-13)/(-26). Suppose 3 = -b*c + 4*c - n*d, -2*c + 5 = -5*d. Is c > -4?
True
Let t(j) = 80*j. Let h be t(-1). Suppose 0 = -6*w - 7*w - 786 - 85. Let f = h - w. Which is bigger: -2 or f?
-2
Suppose 1087*r - 45744 = 1111*r. Is -1906 >= r?
True
Let i = 245 - 40918/167. Suppose 35*d - 9 = -26*d + 52*d. Which is bigger: d or i?
d
Let a(v) = 101*v + 790. Let t be a(-7). Is t greater than 83?
False
Let v = -434.7 + 410.745. Which is smaller: 0 or v?
v
Let d = -221 - -430. Let h = 208 - d. Is h greater than 2/331?
False
Let n = 33 - 60.5. Let u = 15.1 + n. Let w = -10.3 - u. Which is smaller: -3 or w?
-3
Let c be (-7 - (-1384)/462) + 4. Let o = 20 - 21. Is c at least o?
True
Let i(z) = -4*z - 1. Let o be i(-6). Suppose -4*p + 4*u - 7 = -o, 4*p - u - 19 = 0. Suppose 3*j + 6 = -2*y - 1, -5*j = p*y + 15. Which is smaller: j or 3/17?
j
Let v be 92/(-23) - 4800/(-1120). Let j = -3494.2 - -3439.233. Let c = -0.033 + j. Is c > v?
False
Let n = 185158270/3837 - 48256. Which is smaller: n or -1?
-1
Let v(q) = 6*q + 888 + q - 810. Let l be v(-12). Which is bigger: -10 or l?
l
Let x = 30400/106449 + 2/15207. Is 3731 less than or equal to x?
False
Let d = 6 - 9. Let v be 64/12 + d/9. Let h be 2/(3/54*9). Is v != h?
True
Let b = -61668/20059 + -4/1543. Let h = b + 1999/637. Is -1/4 greater than or equal to h?
False
Let z be 0/((-2)/1 + 0). Let k(n) = -2*n**3 - 80*n**2 - 27*n + 26. Let d be k(-40). Let w be 12/84 - 130/d. Is z less than or equal to w?
True
Let r(n) = n**3 - 24*n**2 + 25*n - 46. Suppose -2*p - 2*j = -40, -5*p - 103 = -10*p - 4*j. Let q be r(p). Is 98 at least as big as q?
True
Let c be 13 - (-7 + 48784/2432). Is c at least as big as 0?
False
Let d be 18/(-27) - (16/(-6) - -3). Which is greater: 13/111 or d?
13/111
Let k(x) = x**3 - 18*x**2 + 5. Let i be k(18). Let z be i - (6 - (-54)/(-48)). Which is smaller: z or -0.3?
-0.3
Let u(v) = -2*v - 7 - 20 + 109. Let p be u(-10). Is p at most -2/3?
False
Let p = 25 + -86. Let x(m) = 16*m**2 - 250*m + 89. Let j be x(15). Is j bigger than p?
False
Suppose 3*s - 4*b = 3, -2*b - 5 = -8*s + 3. Which is smaller: s or -591?
-591
Let u = -1127 + 3065/3. Which is smaller: u or -0.2?
u
Let d = -169672 - -853782/5. Is d >= 1085?
False
Let m(u) = 2*u + 4. Let f be m(10). Let i(q) = q**2 - 18. Let w be i(-4). Let j be (((-208)/(-12))/w)/(1/(-3)). Which is smaller: j or f?
f
Let u(h) = -h**2 - 160*h + 2970. Let o be u(17). Suppose 0*v = 3*v + 24. Let g = -29 + v. Is o >= g?
False
Let r(t) = -4*t**3 + 73 - 4*t + 9*t - 14*t**2 + 0*t**3 + 3*t**3. Let h be r(-14). Is -52 <= h?
True
Let p = 1612 - 2913/2. Which is smaller: p or -4?
-4
Suppose 14*p + 2912 = 28*p. Let w = 170 - p. Which is bigger: -1 or w?
-1
Let k = -0.2043 - -0.1043. Let u(f) = f**2 - 6*f. Let d be u(4). Let t be (d/(-12))/(8/30). Which is greater: t or k?
t
Let j = -2250.92 + -51.08. Which is greater: -0.2 or j?
-0.2
Suppose 7 = -5*p + 3*k - 3, 3*p + 2*k - 13 = 0. Let a be (-6)/(-27) + 2 + 11766/(-5319). Is a less than p?
True
Let x = -1335 + 1377. Is 347/8 smaller than x?
False
Let g = -560 - -563. Is g != 104/59?
True
Let v be 15345/12 - 30/(-24). Let c be v/608 - 4/38. Which is smaller: c or 4?
c
Let s = -317 - -316. Let p be s/(6*6/180). Is -5 bigger than p?
False
Let m be (96/(-2))/(-3) + -3. Let s(z) = -3 + 12 - 3 - m*z. Let o be s(1). Which is bigger: -8 or o?
o
Let w be 4/6 + (-82)/114. Let j = -7.9 - -18. Let f = 11.1 - j. Which is bigger: f or w?
f
Let d = 14719 - 14718.9594. Is d at least 1/13?
False
Suppose 140*y - 452571 = -138*y - 1765843. Which is smaller: y or 4?
y
Suppose -4*p + 24 + 2 = -5*n, -p - 4*n = 4. Suppose m + 0 = -3*v - 1, 59 = -p*m - v. Let g(k) = -65*k + 375. Let l be g(6). Which is smaller: l or m?
m
Let c be 16/168 - (-14304)/(-118440). Is c at least as big as -0.1?
True
Suppose 59667 + 69574 = 19*t - 4158. Are 7023 and t nonequal?
True
Let h = 1636.22 + -1636. Which is smaller: h or 2/59?
2/59
Suppose 0 = 17*p - 21*p - 24. Let y be (4 + 15/p)*(-3)/9. Let w = -1.9 - -11.9. Which is bigger: y or w?
w
Suppose -51 = 12*v - 7*v - 2*o, -4*v + o = 42. Let s be (3/v)/(33/(-22)). Let y = 0.2 + 0.8. Which is greater: s or y?
y
Suppose -4*c + 51 = -3*c. Let h(y) be the third derivative of -y**5/60 + 3*y**4/2 - 257*y**3/6 - 157*y**2. Let n be h(14). Is n at most as big as c?
True
Let b(p) = -3*p**2 + 2*p + 7. Suppose 6*y = 8*y - 6. Let r be b(y). Let j be 4/r + 6/(-105)*2. Is j less than or equal to 2?
True
Let j = -291.9 - -131.6. Let m = j + 159. Is m less than -4?
False
Let g = -172 - -170. Let x be (8/(-3) - g)*(-126)/371. Which is smaller: -1 or x?
-1
Let s(k) = k**2 + 7*k + 9. Let h be s(-6). Suppose -p = -5*b + 39, -5*p - 4*b - 8 = -h*p. Suppose -j = a + 11, -a = j + 4*j + 3. Which is smaller: p or a?
p
Let h be 36/(-24) - (-2110)/(-1580). Is h smaller than -3?
False
Let f be 258384/99 - 2/(-33). Is f >= 2614?
False
Let g = 1.2 - 0.2. Let x = -3444 + 24207/7. Which is bigger: g or x?
x
Let x(q) = q**2 - 129*q + 389. Let s be x(3). Which is bigger: -234 or s?
s
Suppose -8*n + 3*n - 9 = -p, -5*n = 5*p - 15. Let q(v) = -2*v - 9. Let k be q(-6). Suppose 5*i - 5*z = -25, -p*i - k*z + 3 + 12 = 0. Is i >= -3/5?
True
Let g = -315 + 424. Let j = g - 111. Let d be (2 - 0) + 55/(-15). Is d less than j?
False
Let a be 96/(-265) + 3/(-5). Is a less than 0?
True
Suppose 41*y - 96 = 43*y. Let l = y + 49. Let p = 244082/113 - 2160. Are p and l equal?
False
Let c = 6629 - 15169/2. Which is bigger: -957 or c?
c
Let m = -204 + 203.9. Let g = 36.46 + 0.94. Let x = 6.4 - g. Are m and x unequal?
True
Let p = 6845 - 7576. Is -0.3 <= p?
False
Let f(g) = 16*g + 6. Let h be f(-8). Let n = -65/9 + 139/18. Is n <= h?
False
Let d = -701 + 705. Suppose 0 = -3*w + 5*w - 2*x + 10, d*w + 3*x = 8. Is -19 > w?
False
Suppose 7*m - 2*m = 1210. Let b = m + -403. Which is bigger: b or -160?
-160
Let t = 13471/2 + -6588. Which is bigger: 148 or t?
148
Let v = 59 - 58. Let o be (1*-2)/v*(-150)/25. Let j(i) = 5*i**2 + 5*i + 2. Let k be j(-2). Is k greater than or equal to o?
True
Suppose 0 = -t + 3*r + 11, 0 + 25 = -5*r. Let k be (-56)/(-20) + t/(-20). Let h be (-1 - k)*7/5. Which is greater: h or -7?
h
Let w = 1/28 - -13/28. Let x(k) = k**2 + 9*k - 21. Let b be x(-5). Let t = 87 + b. Is t greater than or equal to w?
True
Suppose 0 = 3*w - 5*g - 193, -1306*w + 5*g = -1301*w - 315. Which is bigger: 542/9 or w?
w
Let y = -103 + 46. Let n = y + 58. Which is greater: n or -4/25?
n
Suppose -7 = -2*r - 5*b + 7, 0 = 4*r - 3*b + 24. Let c be (r/(-9))/(111/(-18)). Let y = 0 - 0. Which is bigger: c or y?
y
Let b be 1036/(-259) + (-38034)/(-9509). Are -1 and b non-equal?
True
Let y = 1.613 + 895.387. Does 2 = y?
False
Suppose 5*k + 13 + 12 = -5*u, 3*u = -12. Suppose 0 = 78*z - 91*z + 104. Let v be 9/z*(-108)/891. Is v > k?
True
Let z = 55.69 - 50. Let u = 1.71 + z. Which is greater: 1 or u?
u
Let k = 5415 - 5503. Is k greater than 11?
False
Suppose 4*o + 215 = 223. Suppose -3*v + o*v + 12 = 0. Suppose l - 2*a - 20 = -0*l, -2*a + 64 = 5*l. Is l >= v?
True
Let r = 1332 + -1332.2. Which is bigger: r or 2/121?
2/121
Let k = 33818 + -33414. Is k > 397?
True
Let n = -319 - -319. Let c be n/4 + (-1)/4. Which is smaller: 180 or c?
c
Let j(f) = 2*f**2 - 4*f + 4. Let t be 5/30 - 2180/(-48)*2. Let u = -89 + t. Let a be j(u). Do a and -1.6 have the same value?
False
Let h(v) = 4*v**2 + 216*v + 212. Let b be h(-53). Which is smaller: 1/12794 or b?
b
Suppose 0 = -5*h, -16*h + 33309 = 3*r - 10002 - 19089. Which is smaller: 20799 or r?
20799
Let z = -476 - -478. Suppose 7*d - 11*d = 4, -4*p - z*d = 462. Is 0 at least p?
True
Suppose -v + 55 = 2*v - a, 5*a - 49 = -3*v. Let k be 164/9 + 94/(-423). Is v bigger than k?
False
Suppose -6*c + 8*c + 18 = 0. Let x = c + 44. Let n = 25 + 9. Does n = x?
False
Let m = -4145 + 422795/102. Let t(