be ((-128)/14 + 8)/(2/(-14)). Suppose -1 = -5*n - 3*d, -2*n - d + 4*d = z. Which is bigger: n or -2/795?
-2/795
Let l be -66*36/486 + 4. Is 406 smaller than l?
False
Let d be -387*(-17)/((-306)/(-12)). Are 1296/5 and d non-equal?
True
Let a = 637 - 616. Let k = -3 + 3. Is k < a?
True
Let f(s) be the second derivative of -s**3/3 - s**2 + 20*s. Let l be f(-3). Let b be (-3)/12*(-15 + l). Which is greater: 2 or b?
b
Let q be (102/24)/(2/16). Let b be (-160)/3*(-48)/(-20). Let m be (134 + b)/(((-4)/22)/(-1)). Which is smaller: q or m?
m
Let t be 15*3*1404/130. Let f be (-5)/t*(99/(-60))/11. Are -1 and f non-equal?
True
Suppose 11947 = -69*x - 5650 + 2417. Is x at least as big as -236?
True
Suppose 0 = 5*s - x - 1, -3 = -3*s + 4*x + 1. Let k(w) = -2*w + w**3 - 251*w**2 + 1 + 252*w**2 + s*w**3. Let m be k(0). Is 24/13 < m?
False
Let r(g) = -251*g**2 + 13*g + 28. Let b be r(-4). Is -4040 <= b?
True
Let a be (-319)/(-22) + -7 - 7. Are a and -0.1083 non-equal?
True
Let s be ((-239)/6)/(266/7448) + (-1)/(-3). Which is bigger: s or 10?
10
Suppose 0 = 5*f - 3*o - 178, -f + 5*o - o = -39. Let z = -20 + f. Suppose 5*h + 3 = -y + 12, -5*h = 2*y - 18. Which is bigger: z or y?
z
Let u = 15 + -14.961. Let l = u + -62.039. Is l < -6?
True
Let z = -1802 + 1801. Are z and -414 unequal?
True
Let m = -0.2461 - -0.3161. Is m less than -65?
False
Suppose -1762 = -7*w + 933. Which is smaller: w or 383?
383
Let x = 145 - 143. Suppose 4*y + x*h = -8 - 0, -16 = -4*h. Let j be 3/(18/(-4))*3. Do y and j have the same value?
False
Let g(p) = -14*p + 2. Let s be g(2). Let b(d) = -3 + 2*d**2 - 3*d**2 + d - 23 + 42. Let w be b(-6). Are s and w non-equal?
False
Suppose 55 = -i - 2*k, 3*i - 55324*k + 139 = -55328*k. Let m = -75 - -52. Is i greater than or equal to m?
False
Let n = -16/325 - 9638/2275. Suppose -4*k + 0*k - 2*q = 0, k + 5*q = 0. Suppose k = 3*j + 3 + 6. Are n and j unequal?
True
Let p be 2/(-3)*363/66. Let a(x) = -x + 2*x - 7 + 2*x + 13 - x**2. Let m be a(5). Which is greater: p or m?
p
Let j = -39.3 - -39.576. Let m = j + -8.276. Is m bigger than -2.3?
False
Suppose 3*r = -9*r + 1620. Suppose 0 = -94*p + 81*p + 1742. Is r >= p?
True
Let x = 2923/1898 - 3/1898. Is x <= -3?
False
Suppose 3*j + 2*j + 74*j - 869 = 0. Let i = -8 + 6. Let f be i/1 + 54/21. Which is smaller: j or f?
f
Let p = -17 - -19. Let a be (-1 - 5/3)*3/p. Let m be 4/14 + 5217/(-1036). Which is smaller: a or m?
m
Let u be 18*3/270*1407/3. Is u at least as big as 93?
True
Let m(u) = 6*u**2 + 46*u - 11. Let d be m(-8). Let b = 4.6 + -0.6. Is d > b?
True
Suppose 0 = 3*q - 2*s + 47, q - 4*s - 3 = -2. Let n be q + 24 - ((-9)/2)/(-1). Does n = -23?
False
Let y = 27.571 + -31.571. Which is bigger: y or -471.4?
y
Let h be ((-66)/3938)/(14/4 - 2). Suppose -3*l + 0*l - 3 = 0. Which is greater: h or l?
h
Suppose -4*o = 4*r + 4, -o = -6*o - 20. Suppose -5*n = -2*t - 4, -5*n + r = -t - 9. Let f(k) = -2*k**3 + k**2 + k. Let x be f(1). Is x at most as big as t?
True
Let b be 21 + 1449275/(-68775) - 2/21. Are b and 1 non-equal?
True
Suppose -4*p + 5 = 151*q - 150*q, q + 5*p = 6. Is q smaller than 36/521?
False
Let j = -353.135 - -349. Let c = -0.135 - j. Which is greater: c or 1/3?
c
Suppose -50*u = -56*u + 1116. Which is smaller: u or 1299/7?
1299/7
Let g = -4.31374 - -23.26784. Let i = 0.0459 + g. Which is smaller: 2 or i?
2
Let v(a) = 29*a**2 - 67*a + 133. Let f be v(2). Which is smaller: 137 or f?
f
Let f(l) = 2*l**2 + 96*l + 362. Let j be f(-44). Is j less than 213/19?
True
Let w = -2.6 + 3. Let i = 2821 - 2823. Is i at most w?
True
Let i = -0.1 - -0.12. Let u = 643.7 + -618. Let o = 26 - u. Which is smaller: o or i?
i
Let y be (3/(-4))/(75/315475). Which is smaller: -3156 or y?
-3156
Let t be (15/(-12))/((-106935)/(-6)). Do t and 1 have the same value?
False
Let p = -869 + 930. Which is smaller: p or 15?
15
Let b(m) = -141*m**2 + 313*m + 926. Let y be b(-3). Which is bigger: y or -1284?
y
Let a = 4 + -121. Let k be (-1)/(26/(-160)) + 18/a. Let g = 4 + -9. Are g and k nonequal?
True
Let d = -36418 - -36445. Which is greater: d or 850/31?
850/31
Let s = -349523/155 - -2255. Suppose -2*f - 5*r + 7 = 0, -14*f - 4*r = -16*f - 2. Which is bigger: f or s?
f
Let d be (-1 - 7105/238) + (45 - 50). Is d > -36?
True
Let k(y) = -2*y**2 + 56*y + 35. Let r be k(28). Suppose 0 = r*v + v + 720. Is v at least as big as -20?
True
Let v = -42/13 - -606/91. Let c be (4/((-16)/(-5)))/((-2)/8). Let i(g) = 3*g + 19. Let l be i(c). Is l at least v?
True
Let o = 21.94 + -22.3. Let s = o - 6.64. Which is smaller: -0.1 or s?
s
Let a = -0.01 + 1.11. Let x = -1.78 + -8.22. Which is smaller: x or a?
x
Let b be (-18)/(-88)*2/6. Suppose 0 = -3*x + 11*r - 9*r - 13, 13*r - 65 = 0. Which is smaller: x or b?
x
Let w be 204/7905*(201 + -1) - (-13 + 15). Do 3 and w have different values?
True
Let d be 2/6*(57 - 0). Let l(k) = k + 2*k**2 - 367 + 413 + k**3 + 24*k**2. Let x be l(-26). Which is greater: x or d?
x
Let v be (-1026)/(-648) + 3/(-4). Let k = 25 - 25. Which is smaller: k or v?
k
Let l = 1182 - 878. Which is bigger: 2421/8 or l?
l
Suppose 109 + 32 = -2*f - 5*o, 0 = 2*f + 4*o + 146. Suppose 1012*i = 2*p + 1016*i + 180, -2*p + 4*i - 148 = 0. Is f < p?
True
Let t(n) = -n**3 - 11*n**2 - 8*n + 24. Let c(r) = -69*r + 1. Let a be c(-1). Suppose -v = -8*v - a. Let z be t(v). Which is greater: z or 2?
z
Let k = 0.31 - 237.31. Let y = 236.91 + k. Is y less than or equal to 0.3?
True
Let a = 39 - 26. Suppose -5*b + 12 = -a. Suppose 2*q - b = -7. Which is smaller: q or -7?
-7
Let j = -36.1 - -4.8. Let g = -31 - j. Let c = -1.2 + g. Which is greater: c or 2?
2
Suppose 69*r - 567 - 770 - 664 = 0. Do 32 and r have the same value?
False
Let q(i) = -42*i - 1108. Let l be q(41). Is -2830 less than l?
False
Let r = 490 + -361. Let j = -147 + r. Which is smaller: -17 or j?
j
Let h = 8850 + -8851. Which is greater: h or 2/21459?
2/21459
Let d(k) = -30*k**2 - k - 27. Let r be d(5). Let h = r + 22675/29. Which is smaller: 1 or h?
h
Suppose -357 + 137 = 5*r. Let m be (r/33)/(6/(-135)*1). Is m <= 25?
False
Let u = 232813/5 - 46530. Suppose -3*t + 76 = -26. Is u != t?
True
Let r = 38142 + -38142. Which is greater: 2/29083 or r?
2/29083
Let s(m) = -m + 3. Let w be s(-5). Let f be (4 + -7)/(740/w - 1). Which is smaller: 1 or f?
f
Suppose -j - 4 = 8. Suppose y = 2*r - 11, -12*y - 3*r + 39 = -15*y. Which is smaller: y or j?
y
Let t be 13/(-104) + 100941/32296 - (3 + 0). Which is smaller: t or 1?
t
Let l = 39645 - 594359/15. Let b = 21718/5 + -4364. Let n = l + b. Is 8 bigger than n?
True
Suppose -2*i + 0*i = 5*f + 12935, -5*i = 25. Let r be 6/(-10) + (-1441)/f. Let n = -130 - -131. Does n = r?
False
Let z = 500 - 496. Suppose -x - z*s = -19, 57*x - 4*s = 61*x - 16. Are x and 24 unequal?
True
Let m = -19994 + 18454. Is -1546 smaller than m?
True
Suppose -144*b + 147*b - f - 5 = 0, -5*b = 3*f + 1. Do 11/360 and b have the same value?
False
Let f(p) = 24*p - 137. Let h be f(22). Let w = 1565/4 - h. Is w smaller than -171?
False
Suppose -2068*h = -2073*h + 4290. Is 857 at least as big as h?
False
Let l = -36/787 + -816006/19675. Which is bigger: -41 or l?
-41
Let j = 16 - 30. Let u = -35 + 85. Suppose 4*i + u = -0*i - c, -i - 3*c = 7. Which is smaller: i or j?
j
Let x = 1.67 - 3.67. Let o = 0.9 - -7.1. Let r = x + o. Is -2/9 smaller than r?
True
Suppose 10*v - 42 = -5*s + 7*v, 4*s - 2*v = 16. Let c(a) = -a - 1. Let x be c(-7). Are x and s unequal?
False
Let v be (2/10)/(2919/70). Which is smaller: v or 1?
v
Let r = -97/415 + -33871/85905. Is -2 greater than or equal to r?
False
Let f(c) = -74*c**2 + 1311*c - 21. Let x be f(16). Which is smaller: x or 2012?
x
Let g = -17 - -27. Let r be 0 + 1 - (-8)/(-8). Let v be 1 - r - (-63)/7. Is g >= v?
True
Suppose -38 - 35 = -45*h + 467. Which is smaller: h or -924?
-924
Let i(h) = -3*h + 3. Let g be i(4). Let j = 106 + -101. Suppose -j*x + 10*x = -55. Which is greater: g or x?
g
Let d = -2.875 - -3.4. Let u = -0.025 - d. Let n = u + 0.58. Is 0 smaller than n?
True
Let h(x) = -x**3 + 10*x**2 + 43*x + 4. Let z be h(0). Which is greater: z or -184/7?
z
Let d = 6906 - 6905.92. Do -0.022 and d have the same value?
False
Let t = -326 - -329. Suppose -158 = -t*z + 2*u, -2*z - 88 = -4*z - 3*u. Is z greater than 50?
False
Suppose -3*t +