4 - 0). Let z = 230347 - 230294. Is z >= m?
True
Let y be (-18)/(-4) + (-34)/(-68). Suppose -y*w = -5*j + 15, 2*j + 7*w + 6 = 5*w. Which is smaller: 2/607 or j?
j
Let t(b) = -6*b - 28. Let u(k) = -4*k - 19. Let w(x) = -5*t(x) + 7*u(x). Let q be w(19). Let z be (-1)/q*-2*3. Which is bigger: z or -2/5?
z
Let m(d) = -d**3 + 9*d**2 - 13*d - 6. Let w be m(6). Let i = w - 23. Suppose 2*t = t - i. Which is greater: t or -8?
t
Let q(x) = 4*x - 42. Suppose -3*y - 36 = -5*n + 25, 5*n - 63 = 4*y. Let m be q(n). Suppose m*f + f + 104 = 2*s, 2*f + 73 = 5*s. Which is bigger: f or -33?
-33
Let z = 25 - 13. Let r = -1169/34 - -780/17. Is r > z?
False
Let s(h) = -h**2 - 381*h + 4619. Let j be s(12). Which is smaller: -64 or j?
j
Let k = -1.24 - 106.76. Let l = k + 107.8. Is 0.55 less than or equal to l?
False
Let c be 20/25 - (2298/2606)/(15/14). Which is smaller: 1 or c?
c
Suppose -4*p + 5*c = -97, -3*p - 8*c + 7*c = -68. Suppose -p*h + 4 = -24*h. Is 6 less than or equal to h?
False
Let r = 247 - 244. Suppose -5*n + 1 = -i, 2*n + 12 + 24 = r*i. Is 15 smaller than i?
False
Let j = 16010 + -16010. Is j smaller than 1/3886?
True
Let a(g) be the second derivative of -g**5/20 + 5*g**4/6 - g**3/3 + 11*g**2 + 7*g. Let p be a(10). Suppose 11*m = p*m. Is 2/13 greater than m?
True
Let s be (-378)/(-220) + -1*(-8)/(-20). Let f = 943/286 + s. Is f less than 1?
False
Suppose 3*p + 130 = 5*h, 0 = h - 2*p - p - 14. Suppose 0 = 2*t - h + 1. Let u = t + 6. Which is smaller: u or 18?
18
Let n be (-12 + 10)/(-3 - -5). Are n and 7/1303 nonequal?
True
Let c(i) = -23 + 92 - 21*i - 291 + 53. Let b be c(-8). Is -1/57 != b?
True
Let d = -4/18519 + 14734955/18519. Which is smaller: d or 795?
795
Let t be ((-5)/(-7))/(10/(-70)) + 5. Is 6/619 at most as big as t?
False
Let r be (-2)/(-1) + 3/(4 + -3). Let p be ((-295)/(-14) - r/(-10))/9. Let d = 4/63 - p. Which is smaller: -2 or d?
d
Let c = 1486 - 1450. Is 54 not equal to c?
True
Suppose 42 = -2*h - 308. Let n be 2 - (h/(-105))/(1/3). Which is smaller: n or 19?
n
Let j = -8030 + 7937. Let n(z) = -32*z + 4. Let w be n(3). Which is smaller: w or j?
j
Let f be (12 - (5 + 0)) + (-1 - 0). Suppose -3*v = -f*v + 507. Is v > 169?
False
Let w = 459/14 + -233/7. Which is bigger: -315 or w?
w
Let u(a) = -a**3 + 2*a**2 + 2. Let j(r) = r**2 - 7. Let h be j(3). Let g be u(h). Let c be (g + -3)/(267/6). Which is bigger: 1 or c?
1
Suppose 2*z + 4*j = -1730, -1229 = 4*z - 4*j + 2219. Let n = z - -492. Is n > -1?
False
Let h be ((-2)/(-4))/(45860/(-40)). Which is bigger: 0 or h?
0
Let f be -3 + (6/(-33))/((-6)/(-3897)). Which is smaller: -120 or f?
f
Let u be 858/(-106) + (-78)/(-195)*20. Which is bigger: u or 0?
0
Suppose -12 = -2*u, u - 9 = 32*r - 29*r. Let t = 31280191/1504 + -20798. Is r smaller than t?
True
Let b = 5768 + -6086. Which is bigger: b or -0.01?
-0.01
Let j = -2115 - -82900/39. Let b = -9/13 - j. Suppose -2*g - 2*r = -3*g - 16, 0 = g - 3*r + 18. Is g at most b?
True
Let p be (-2)/(8/42)*(-70)/105. Let l be (6/p)/(((-4)/(-154))/2). Which is smaller: l or 68?
l
Let g = -3 + 5. Let t be (3 - 5)*(g + 7). Suppose 25*i - 112*i - 1479 = 0. Is t >= i?
False
Let s be (546/14)/(-10*1) - (-72)/16. Suppose -7*p + 3*p = -48. Suppose p = -4*x - 4*g, 0 = 4*x + x + 2*g. Which is smaller: x or s?
s
Let o(y) = -10*y**2 - 2*y + 3. Let t be o(0). Suppose 2*k = -2*k. Suppose 0 = -n + c - 1, k = -n - t*n - 5*c + 5. Is n less than or equal to -2/85?
False
Let o = 436.2 - 439.2. Which is smaller: 0.954 or o?
o
Suppose 5*o = -2*k + 37, -14*k + 17*k - 13 = o. Which is bigger: 45/8 or k?
k
Let a = -40 + -3262. Is a at most as big as -3301?
True
Let t = 1073 + 566. Suppose -15*n + t = 5194. Is n not equal to -237?
False
Let r = 516 - 743. Suppose 49537*t - 49354*t = -41358. Which is smaller: t or r?
r
Let j(y) = -1623*y + 11361. Let c be j(7). Let s be 25/84 - (-4)/(-14). Which is bigger: s or c?
s
Let g(y) = -8*y + 15. Let v be g(-8). Suppose 13 = -11*c + v. Suppose -8 = -w - w. Is w greater than c?
False
Suppose -2*z - 7 = -l, -23*l + 19*l + 43 = -5*z. Is -1/2 at most as big as l?
True
Let m(i) = -i**3 + 85*i**2 + 25*i - 2147. Let d be m(85). Is d < -45?
False
Let b = -779 - -779. Is b greater than 2/189?
False
Let c = 3/3800 - -18861/4989400. Is 1 >= c?
True
Let u = 81 - 147. Let a = u - -90. Let f be (0 + -1)*12*a/(-48). Is f at least as big as 6?
True
Let s(y) be the first derivative of -y**2 - 30*y - 13. Suppose -k = -4*b - 68, 3*b - 3*k + 8*k = -51. Let j be s(b). Which is smaller: j or 2/5?
2/5
Let c be ((-48)/(-42))/((-8)/(-28)) + -19. Let a be (3/1)/(c/(0 + -5)). Is -1/79 at most as big as a?
True
Let c(y) = -2*y + 36. Let r be c(16). Suppose 43 = 3*f + i - 2*i, 2*f + r*i = 24. Let o be f/6*(-1)/21*-6. Which is bigger: 25 or o?
25
Let u = 18 + -14. Suppose -x - 3*x = -u. Let a = 13729/69 - 199. Which is smaller: x or a?
a
Let x be (-15)/(-102)*(8/(-60))/(2/5). Which is smaller: 1 or x?
x
Let m be (-394394)/(-52)*(-2816)/(-2302). Let z = m - 9278. Which is greater: 1 or z?
1
Let m = -605 - -611. Suppose 31 = 5*k + 6. Suppose -b + k = m. Is 2/9 greater than or equal to b?
True
Let k be 3/1 - (8 - 8). Suppose -4*x + 3 - 166 = -k*m, 4*x = -4. Suppose -3*p = -2*v - 4*p + 106, 0 = -5*v - 2*p + 264. Is v <= m?
True
Let m = -82.9 - -0.9. Let l = m - -107. Is -1/2 not equal to l?
True
Let k(j) = 12*j + 41. Let b(p) = -25*p - 80. Let l(c) = -6*b(c) - 13*k(c). Let d be l(-9). Which is greater: 32 or d?
32
Let o(x) = -49 + 10*x + 33 - 75 + x - 4*x. Let j be o(14). Which is smaller: j or 15?
j
Let y = -1.84 - -1.852. Let q = -0.142 + y. Does 0.08 = q?
False
Let v = -194 + 206. Suppose -12 = 13*n - v. Which is smaller: -2/1091 or n?
-2/1091
Let a = 53.02 - 2.02. Let i = -51.111 + a. Is i <= -1?
False
Let c = 0.109 + 4.051. Let q = 56.16 - c. Which is bigger: -2 or q?
q
Let u = -200.69 - 4.31. Let m = u - -207. Which is greater: m or -5.6?
m
Let i(k) = k**2 + 13*k - k - k**2 - k**2 - 26. Let n be i(8). Suppose n - 6 = -5*u. Which is bigger: u or -2/15?
u
Let k be -9*152/(-3024) + (-12)/(-56). Do k and 5820 have the same value?
False
Suppose 0 = 3*w - 15, 2*k + 13 = -3*w + 30. Let n = -2385/14 - -170. Which is smaller: k or n?
n
Let k(y) = 7*y**3 + 32*y**2 - 41*y - 38. Let g be k(-9). Is g >= -2176?
False
Let i(m) = m**3 + 11*m**2 + 10*m + 6. Let c be i(-10). Let x = -9 + 14. Suppose 4*t = 4*l + 20, 22 = 4*t - x*l + 2*l. Does t = c?
False
Let g(k) = -3*k - 446. Let w be g(23). Which is smaller: w or -512?
w
Let g be (-12)/20 - 280/(-50). Suppose -g*v + 0*m = 5*m + 410, 2*v - m + 164 = 0. Are -83 and v non-equal?
True
Suppose 0 = -103*c + 29331 + 436. Is c at least as big as 289?
True
Let c(z) be the first derivative of -1/4*z**4 + z**2 + 2/3*z**3 + 2 - 2*z. Let m be c(2). Is 9 at most m?
False
Let w = -7345 - -7228. Which is bigger: -183 or w?
w
Let v be 56/60 - (-25)/375. Suppose -23 + 239 = 3*y. Let z be (-4)/18 - (-34)/y. Which is smaller: z or v?
z
Let g = 148075/2 - 958489483/12946. Is g not equal to 0?
True
Let b = 63 - 63.0566. Let a = -258.9434 + b. Which is smaller: 0 or a?
a
Let i(p) = -p**2 + 5*p + 7. Let c be i(5). Suppose 3*n - c + 27 = -y, -3*y = -2*n - 6. Let q be 18/((-5)/(15/n)). Do q and 9 have the same value?
True
Let a = 2014/23 - 268411/3013. Is a > -3?
True
Let l be -3 - -33*2/6. Let i be (10/7)/((-28)/(-49)). Which is bigger: l or i?
l
Let p = -0.0118 + -14.9882. Let n = 15 + p. Are -159/7 and n nonequal?
True
Let h(a) = 19 - a**3 - 5 + a**2 - 4*a + 3*a + 28. Let f be h(0). Let t be 2 - ((-121)/7 - (-12)/f). Is 19 at most as big as t?
True
Suppose -16*w - 11*w + 54 = 0. Suppose w*p - o = 6, 16*o = -2*p + 11*o - 6. Which is bigger: p or 0.069?
p
Let m = 35 - 462. Let h = -570 - -143. Is m less than h?
False
Let f be (-4)/18 - 8/(-36). Let i be -2 + f - -3 - -3. Let u be (-6495)/(-9526) - ((-1)/3)/((-2)/3). Which is bigger: u or i?
i
Suppose -10*j - 16 = -6*j + 3*k, 2*j + 3*k + 14 = 0. Which is smaller: 57/617 or j?
j
Let i be (-1)/(-6)*-4 - (-1)/(-3). Let o = 1868 + -246577/132. Do i and o have different values?
True
Let r(s) = s**2 - 44*s + 121. Let d = -263 + 304. Let k be r(d). Is k greater than or equal to -8?
True
Let c = 7005 - 7026. Which is smaller: c or -191?
-191
Let d = -8537/34 - -251. Let k = d + 1485/68. Let o = k - 22. Which is 