+ (-6)/15. Is p <= -14/115?
True
Let x = -148078/65 - -11466/5. Which is smaller: 14 or x?
14
Let k be 5*4/(-148)*((-34)/(-5))/(-17). Let c be (2 - 12/5)*-5. Suppose l + c = 3*d + 13, -8 = 4*l + d. Which is smaller: l or k?
l
Let s be -1*(-1 + 3) + 7. Suppose -3*l + 3*k + 33 = 0, k + 5 = 3. Suppose -4*p + s - l = 0. Which is smaller: -3/13 or p?
p
Let k be (-5 - 1722/(-154)) + (12/33)/(-2). Is k greater than 89/12?
False
Let g be 2/(2 - (1 + -1)). Let o(w) = w - 3. Suppose -25*x - 125 = -30*x. Let u be o(x). Which is greater: u or g?
u
Let z(i) be the second derivative of i**5/20 - 5*i**3/6 + i**2/2 + 5*i - 9. Let d be z(2). Which is smaller: 6/37 or d?
d
Let s = -274.5 - -290.5. Suppose -3*c = -6*c + 3. Suppose 0*n - n = -c. Which is greater: s or n?
s
Let z be 810/99 + -8 + (-108)/(-11). Let i = -277 - -296.3. Let j = -19 + i. Is j less than or equal to z?
True
Suppose s - 163 = 5*p, -5*s + 30 = -p + 7. Suppose 0 = 2*v - 5*k - 0*k - 35, -v = -k - 10. Suppose -5*n + v*x = 150, 0 = -5*n - 2*x - x - 166. Is p < n?
True
Let g = 24850 - 99391/4. Is 0 less than g?
True
Let q be (2/((-4)/(-58)))/4. Let h = 375 - 375. Suppose -5*x + 417 - 377 = h. Which is smaller: x or q?
q
Suppose -55 = 5*i - 4*u + 8458, -5*i = 2*u + 8501. Is i >= -1699?
False
Suppose -3*k = -6*c + 10*c - 29, c = 4*k - 45. Suppose -k = -20*s + 31*s. Do 2/177 and s have the same value?
False
Let d be 5/(4 + 42/(-12)). Suppose 5*t = 8*q - d*q - 24, 12 = -q + 5*t. Is q greater than or equal to -8?
False
Suppose -436 = -4*g - 4*t, -t = 5*g + 209 - 738. Let b be ((-5)/3)/(7/g). Is b equal to -5?
False
Let p be (-3 + -57)/(3*1/(-2)). Let w = -37 + p. Suppose 0 = -w*k - 4*f + 11, -3*f = -2*k - 2*f. Is k > 3/8?
True
Let o be 12/(-108)*3 - (-3 + 8/3). Is o greater than 12/475?
False
Suppose f = -143 + 95. Let d = f - -51. Let p be (8/(-12)*d)/(-217). Which is bigger: p or 0?
p
Let k be (-80 + -2)*3/((-15)/50). Suppose k = -23*g + 13*g. Which is greater: -84 or g?
g
Let r = 0.2 + 18.8. Let o = 29 - r. Let j = -1.8 + -1.2. Which is smaller: o or j?
j
Let b be (-304)/465 + 4/6. Let u = 334 - 328. Suppose 17*k + 2*s = 20*k - 5, 5*k - u = s. Which is smaller: k or b?
b
Let v be 4 + (-4 - -4)/(-5). Suppose -4*l + 39 = 5*m, -8*l - 6*m = -v*m - 54. Which is bigger: l or 104/15?
104/15
Let l = 19 - 22. Let j(m) = m**3 - 4*m**2 - 3*m + 4. Let d be j(l). Let g(r) = 26*r + 3. Let u be g(-2). Which is smaller: d or u?
d
Let w(b) = 334*b + 34. Suppose -4*c - 4*u = 8, -2*c - 6 = 5*u - u. Let h be w(c). Is -300 at least h?
True
Let l(q) = -q**2. Let n(v) = 5*v**2 + 12*v + 32. Let t(i) = 4*l(i) + n(i). Let h be t(-8). Which is smaller: 2/113 or h?
h
Let f be 56/32*156/273. Is f greater than or equal to -1/3177?
True
Let r be ((-53816)/1440)/31 + 2/5. Let t = r + 5/9. Which is greater: t or -1/13?
-1/13
Let b(m) = -m**3 - 4*m**2 + 6*m + 3. Let o be b(-5). Let r(d) = -d**3 - 3*d - 5. Let v be r(o). Is v bigger than 5?
True
Let l be 254/62 - (10 + -6). Let j(c) = c**2 + 4*c + 3. Let k be j(-2). Is k less than or equal to l?
True
Let j = 5/43 + 185/258. Suppose 91*p - 95*p = -16. Suppose -2*b + 236*l = 231*l - 15, 0 = -p*b + 3*l + 9. Which is smaller: j or b?
b
Let q be (75/4)/(258/33368). Is 2424 <= q?
True
Suppose 8*z = 83 + 181. Suppose -6*o - 5*o + z = 0. Let g(l) = 8*l**2 - 2*l + 1. Let h be g(2). Which is bigger: h or o?
h
Let p = 31 - 30.954. Let l = -0.054 - p. Let r(j) = j**3 + 9*j**2 - 7*j - 123. Let i be r(-8). Which is smaller: l or i?
i
Let q(r) be the first derivative of 0*r**2 - 1/3*r**3 + 23*r - 7. Let h be q(0). Is 22 greater than or equal to h?
False
Let n = -3 + 2. Let v be ((-1352)/(-24) + -9)*117/2. Let q be -1 + -2 + 8165/v. Is n at least q?
False
Let z(j) = 2*j**3 - 4*j**2 + 2*j + 8. Let t be z(-4). Which is smaller: t or -182?
t
Let j be 2/6*42*15/10. Suppose -2*z + 12 = 3*o - z, -2*o - 5*z + j = 0. Suppose -o*a = -7*a + 4. Is -1/55 at least as big as a?
False
Let n = -5840 + 12953. Let d = n + -13223. Let j be ((-6)/10)/(-1) + 3926/d. Is -1 smaller than j?
True
Suppose 4*z + 2*o = 12, -3*z - 2*o + 1 = -10. Let r be z/(-1) + 3/((-18)/(-120)). Suppose 4*l - 48 = -4*f, -f + 2*l + r = -2. Is 12 greater than f?
False
Suppose -2*q + 3*q = 0. Let z be 42/8*380/1330. Is z greater than q?
True
Let i = 12451/28 + -118763/476. Which is smaller: i or 196?
i
Let w be (-91)/28 + 3 - (3587/4 + -3). Which is bigger: w or -893?
-893
Let x = 15178 + -15177.9. Which is smaller: -2361 or x?
-2361
Let m(c) = -c**2 + 33*c - 270. Let o be m(18). Is 41/182 smaller than o?
False
Let r = 18983/37 + -513. Which is smaller: 124 or r?
r
Let c = -10913 - -11056. Which is bigger: -34 or c?
c
Let z be (-6)/(-261)*144/(-32). Suppose 3*t = 3*c + 6, 3*t - 6 = 5*c - 4. Suppose w - 2*s - 7 = 0, -4*w - c*s = -s - 1. Is w < z?
False
Suppose -7*m = -2 - 33. Suppose -m*h - 3*j = -28, 2*h - 14 = -4*j - 0*j. Suppose -5*w + h*z = -133 - 12, 4*w + 3*z = 88. Which is smaller: w or 27?
w
Let g be 49/(9*(-381)/(-27)). Are g and 0 equal?
False
Suppose -3*i + 24 = 0, 8*a - 9669 + 3261 = -2*i. Which is smaller: a or 798?
798
Let z be 5214/(-4) + (-21 - -36). Do -1288 and z have different values?
True
Let q = 73165753293/1516 - 48262394. Let h = -3/758 - q. Let p = h - 859/36. Is p at least as big as 1?
False
Let i = 21097 - 21143. Is -0.485 at least i?
True
Let l(m) be the second derivative of -m**4/6 - 25*m**3/6 - 11*m**2/2 + 140*m. Let k be l(-12). Which is greater: k or 12/71?
k
Let c = -0.1157 + 0.0757. Suppose -t = -0*t - 24. Let a be (2/t)/(5/15). Which is bigger: c or a?
a
Let o be (-6)/9*6 + (6 - -10). Suppose 4*v - o*v = -8. Is -11/80 at most v?
True
Suppose -2*i = 5*i - 21. Suppose -2*t - 2*t + 8 = -5*o, -i*t = 5*o - 6. Suppose 4*y - 5*l - 3 = 16, t*y - 3*l - 11 = 0. Which is smaller: -5 or y?
-5
Let y = -61062/7 + 8700. Are y and -23 equal?
False
Let v = -11091 - -10133. Which is smaller: 1 or v?
v
Let x be 77000/15 + (-2)/6. Let p be x/(-38822) + (-2)/(-14). Which is bigger: p or -1?
p
Let p(d) = -d**2 + 8*d + 4. Let n be p(4). Let v be (24 - n)/(2/(-3)). Let b be 6 + -3 - (-32)/v. Which is greater: b or -3?
b
Suppose -456 = 35*x - 4201. Let v = x - 1069/10. Let c = -0.3 + 0.5. Are c and v equal?
False
Let s be (6/21)/(5/105) + (-6616)/1108. Which is bigger: s or 1/7?
1/7
Let z(d) = 2 - 17 - 11 + 5*d. Let s = 2 - 8. Let l be z(s). Which is bigger: l or 1/2?
1/2
Let h be (-6)/(-12) - (-6)/4. Let a be (12/(-32)*h)/((-6)/16). Let l be 7/(49/(-12)) + (4 - a). Is l not equal to -1/4?
True
Let u(j) = -3*j**3 - 3*j**2 - 8. Let q be u(-4). Suppose -q + 2611 = -5*a. Let l be (a/42)/1 + (-6)/(-21). Which is smaller: l or -11?
l
Let j be (-1 - -1)*(3 + -2). Suppose -4*h + 4 = 0, 5*y - 5*h + 0*h = j. Let v be 27/(-8) - (16 + -20). Is v at least y?
False
Let r(t) = -2*t**2 + 31*t + 63. Let c be r(17). Let d(y) = -y**2 + 20*y - 97. Let n be d(c). Which is smaller: n or -2/335?
n
Let n be (2 - 54/15) + 2. Let h = -7.6 - 52.4. Let m = h + 60. Is n smaller than m?
False
Let b = -28 - -17. Let q = -889 + 938.9. Let s = q + -50. Which is smaller: b or s?
b
Let o = -314 + 149. Let p = -164 - o. Which is smaller: p or 131?
p
Let p = -3858 - -3858. Which is smaller: -28/95 or p?
-28/95
Suppose j - 3*j + 120 = 0. Suppose 0 = 8*g - 4*g - 3*w - 80, 3*g = -4*w + j. Let d = -12 + g. Are 5 and d equal?
False
Let j be ((-7)/(-1))/(4 - (22 - 19)). Which is greater: -422 or j?
j
Let i be -1*(-3 - (5 + -3)). Let k = -2269 - -20471/9. Which is bigger: i or k?
k
Let x = -9345 - -9275.9. Is x > 3?
False
Let u be 40/14845*(-40)/(-32). Which is smaller: 0 or u?
0
Let j be 204 + -2 + (-64)/(-80). Which is greater: j or 203?
203
Suppose 6 = -6*s + 3*s. Let t = -191 - s. Let v = 942/5 + t. Which is greater: 0.1 or v?
0.1
Let n be (-1980)/(-288) + -7 - 19/(-8). Let s = 5 + -2. Is s > n?
True
Suppose 36 = 4*s + 28. Let c be (4 + 24)*s/4. Are c and 13 equal?
False
Suppose -308*q - 192 - 116 = 0. Which is bigger: 431.2 or q?
431.2
Let n(a) = -8*a - 172. Let k be n(-30). Which is greater: 72 or k?
72
Let v = 358 + -3200/9. Let z(x) = -2*x**3 - 5*x**2 - 5*x - 1. Let s be z(-2). Let t be ((-270)/(-35) - s) + 4/14. Is v at least t?
False
Suppose -3 - 5 = -4*c. Let x be (-10)/45 + c/9. Let h = 24527 + -24531. Is x smaller than h?
False
Let k = 1.05 - 3.04. Let h = 3.