 x = 91 + -45. Is x less than or equal to l?
False
Let i(l) = 7*l**3 + 110*l**2 - 29*l + 48. Let b be i(-16). Is b != -1/42086?
True
Let w(i) be the second derivative of 3*i**3/2 + 27*i**2/2 + 87*i. Let s be w(-3). Is -4/49 equal to s?
False
Let a(f) = -62*f + 20. Let h be a(4). Which is smaller: 11 or h?
h
Let f = 1297625/6 - 212565. Let w = f - 3714. Which is smaller: -9 or w?
-9
Suppose -59797 + 12027 = 194*a + 247*a + 10442. Suppose 0 = -0*i - 5*i - 660. Is a at least as big as i?
True
Let p be 638/(-108)*(-8)/6*571/(-1142). Is p bigger than -3?
False
Let k(a) = 638*a - 1917. Let m be k(3). Which is bigger: -120/49 or m?
-120/49
Suppose 1628*d - 87 - 88 = -175. Let q = 3654 + -1048695/287. Is d at most as big as q?
True
Let q be ((-3)/(-360)*-3805)/((-410)/8). Let w = 13916/41 + -340. Let n = q + w. Is n equal to 0?
False
Suppose -7*r = -13*r - 42. Let i be r/(-3*2/6). Suppose -4*z - i*x + 3*x = 96, 5*x = 0. Which is greater: z or -22?
-22
Suppose 0 = -q + 3*z, -q - 4*z = -z - 24. Let b be 4/3*9/q. Let w be ((-1)/b)/(-1 + 0). Which is bigger: -2/43 or w?
w
Let q = -3520 - -3586. Which is bigger: q or 92?
92
Let q = -335.43 - -329.43. Which is greater: q or 3/103?
3/103
Let h = -228339 + 4965459893/21746. Is 0 equal to h?
False
Suppose -3*f = 0, -4*f = -b + 1 - 2. Let c(d) be the first derivative of 5*d**3/3 - d**2/2 - 2*d - 13. Let x be c(b). Which is greater: x or 3?
x
Let j = -1823/2 + 16319/18. Let k be (0 + 24/18)*3. Suppose 5*c - 4*l + 6 + 8 = 0, -l - k = 0. Which is smaller: c or j?
c
Let p = 17 - 18. Suppose -2*v = 3*r + 14, v + 1 = -0*v. Which is smaller: p or r?
r
Let l be (1/(-2) - -2) + 2/(-4). Let f be (-22*(-2)/4)/l. Suppose 0*n + 5*d = 4*n + 59, n - 5*d + f = 0. Is n bigger than -16?
False
Let l = -9813 + 9812. Which is smaller: 142/555 or l?
l
Suppose f = -2*f + 93. Let d = f - 29. Let t be 46/((0 + d)*1/(-2)). Is -47 at least t?
False
Let n be 1565/(-2)*374/880. Let r = 333 + n. Is 1 greater than r?
True
Let d = -2010/7 - -285. Let v = 62 + -57. Let o be 2/v - (-42)/(-30). Does d = o?
False
Let v = 33 + -37. Let r be (-28)/(-70)*(-1 + v). Let f = -0.56 - -1.26. Which is greater: r or f?
f
Let k(h) = -4*h**2 - 9*h - 14. Let u be k(-4). Let g = -27 - u. Let z(m) = 3*m - 1. Let r be z(g). Which is smaller: r or 45?
r
Let t(m) = 3*m**2 - 52*m + 64. Let d be t(16). Which is bigger: d or 2/615?
2/615
Let q be (-81)/150*20/(-75)*220/33. Let o be (-1 + 1)/(-8 + 7). Which is bigger: q or o?
q
Let s be ((-24)/(-3714))/(26/(-13) + 0). Which is smaller: 16 or s?
s
Suppose -785*d - 1987076 = -888*d. Which is bigger: d or 19293?
19293
Suppose -208*l + 20250 = -235*l. Which is bigger: l or -3001/4?
l
Suppose 5*h - 5 = -0*h. Suppose 0 = -2*q - h - 1. Suppose c - 1 = -i, -3 - 2 = -5*i + 5*c. Which is smaller: q or i?
q
Suppose 3*t - f = 3*f + 18, -2*f = -3*t + 12. Suppose 12 + 16 = -4*a - 5*j, 0 = -3*a + j - t. Let i be 1 + 44/(-30) + a/10. Is i bigger than 4?
False
Let t be (-1 + 6/12)*2. Let i be t + 4 + (-15)/5. Which is smaller: i or 2/245?
i
Let n = -10.061 - -0.061. Let k = -6 - -3. Let l = -2 - k. Is l less than or equal to n?
False
Let k = -5172 - -1153354/223. Which is bigger: -2/9 or k?
k
Let j be 188/3243*27/18. Which is greater: j or -4?
j
Let b = -54 + 54. Suppose -3*s - 23 - 16 = b. Let t = -15 - s. Are -9/5 and t unequal?
True
Suppose 188*o + 7 = 195*o. Are o and 11/10 nonequal?
True
Let h = -631/4 + 159. Let w be (-2)/(-3 + 111/39). Suppose -1 = w*r - 14*r. Is r equal to h?
False
Let t = -17 + 98. Let h = t + -86. Let q be (h - -7) + 126/(-62). Which is greater: 1 or q?
1
Let f be (-8)/(-24)*1/(8/(-6)). Let k = 13.13 + -12.94. Which is smaller: k or f?
f
Suppose 3*s = 3*k + 318, -2*s = 2*s + k - 419. Let p be (-105)/(-224)*(4 - 1)/s. Which is smaller: p or 1?
p
Suppose 0 = 13*n - 10175 - 26771. Suppose -12*x = 2*x - n. Is x less than or equal to 204?
True
Let u = -51 - -57. Suppose -2*f - 5*s + 39 = u, -3*f + 4*s = 8. Suppose -3*t - 75 = -4*a + 2*t, -3*t = -f*a + 85. Which is smaller: a or 23?
23
Suppose 5*i + 4*o - 5559 = 0, 20*i + 4422 = 24*i - o. Are i and 1109 equal?
False
Let x be ((-70)/34 - -2)/1. Let l = 14/51 - x. Is 19 bigger than l?
True
Let v = 192.58 - 292.58. Is 41/4 not equal to v?
True
Let a(t) = -3*t**3 - 17*t**2 - 25*t - 5. Let u be a(-2). Is u at most 16/687?
False
Let w be -1*((-479)/(-3))/(37/555). Does w = -14375/6?
False
Let v(x) = 4*x**2 - 7*x + 3. Let b be v(2). Let l be (-12)/(5 + -2) + b. Is 5 at most l?
False
Suppose 14*w + 27 = 11*w. Let v be 27 - (1 - w/3). Suppose v = -5*k - 17. Is k at most as big as -8?
True
Let s = 15186 + -15115. Which is smaller: s or 21?
21
Let r be (2 - 6/2) + 4. Let w be 8 - (0 - r - -3). Let a = 123 + -116. Which is greater: a or w?
w
Let u = -1873/3 + 617. Let q = 371/51 + u. Which is greater: q or -0.09?
q
Let p(j) = -j**2 - 8*j - 3. Let n be p(-7). Let d be n/3 + 0 + 1. Let t(f) = -5*f**2 + 94*f + 330. Let b be t(-3). Which is bigger: d or b?
b
Let a be (-1)/(-15)*2973 - (-10)/(-50). Suppose 84*m - 87*m = a. Is m greater than or equal to -68?
True
Let s = -630 + 738. Suppose 16*g = -s - 308. Is 0 at least g?
True
Suppose -12443 = 17*q - 9604. Which is greater: -1511/9 or q?
q
Let u = -0.16 + 0.2. Let z = -0.21029 - -2.61029. Which is greater: z or u?
z
Let r = -249/4 - -3245/52. Let o(y) = -y**2 - 3*y + 1. Let v be o(-3). Suppose 0 = -0*z - z + v. Which is greater: r or z?
z
Suppose -11*m + 20021 = -10900. Is 2811 greater than or equal to m?
True
Let b be 7/(-42) - 5188/(-195). Let w = b + 4/65. Which is greater: w or 26?
w
Suppose -27*l + 3*l - 240 = 0. Let j be (182/(-105))/(2/l). Let q(c) = 2*c + 1. Let u be q(4). Which is smaller: u or j?
j
Suppose -145 = 5*i - 30. Let m(x) = x**3 + 23*x**2 + x + 22. Let y be m(i). Is 2/37 > y?
True
Let l be (-6)/789 - 2 - -2. Suppose -30*t + 35*t - 5 = 0. Let v be ((0 - -8) + -9)*t. Which is smaller: l or v?
v
Let q be (5/(-24)*(9 + -7))/(25/(-40)). Which is smaller: q or 5576?
q
Suppose -3*u - 5*d + 27 = -11, 4*u - 3*d - 12 = 0. Suppose -3*w = -u*w + 3. Let l be w/(-5) - 24/(-20). Is l greater than 2/11?
True
Let b(p) = p**3 - p**2 - 4*p - 5. Let j be b(4). Suppose 3*a = 8*f - 12*f + 119, 4*a - 2*f - 122 = 0. Suppose -a*k + 28*k + 130 = 0. Is j not equal to k?
True
Suppose -540 = 16*p - 7*p. Let w = 59 + p. Which is smaller: w or 1/228?
w
Let u = -122 + 88. Let r = -33 - u. Let z be (2 - 1)*(-4)/90. Which is bigger: z or r?
r
Let v = 39 + -25. Let u = 1987/720 + -49/18. Let r = u + -63/80. Is v equal to r?
False
Let u = -11.1 - -10.59. Let q = u + 0.21. Let h = -45 + 134/3. Is q at most as big as h?
False
Suppose 0 = 10*g - 7*g - 63. Let f(u) = 2*u**2 - 4*u + 1. Let b be f(3). Suppose 12*j - b*j = 100. Is j >= g?
False
Let b be 0 + 0 + 19 + (-3258)/66. Is b greater than or equal to -30?
False
Let s = -62124 - -62152.009. Let t = -0.009 + s. Let c = 0.10089 - 0.10089. Which is bigger: t or c?
t
Let g(y) be the first derivative of 3*y**2/2 - 26*y + 1. Let p be ((-2)/10)/(16/40)*-16. Let q be g(p). Which is smaller: q or -10/7?
q
Suppose -3*a + 3*f - 26 = -4*a, -4*a - f + 137 = 0. Let v be 50/(-4)*(-84)/a. Is 31 not equal to v?
True
Let x = -9.4 + 29.4. Let l = x + -21. Is l > -125?
True
Let w(c) = -25*c + 764. Let v be w(-30). Is v at least 1514?
True
Let w = 55 - 80. Let u be ((-20)/w)/((-6)/55). Is -8 at most as big as u?
True
Suppose a - s - 6 = 0, -4*a + 3*s + 2 = -9*a. Suppose -g + 3*w - 6 = 0, 5*w - 10 = -a*g + 11. Let h = g + -5/3. Which is greater: -1 or h?
h
Let d = -971 + 6771. Are d and 1 equal?
False
Let u = -1.94353 - 0.05647. Let g = 51.9 + -62. Which is greater: u or g?
u
Let s be -8 + -10*18/45*-2. Is 4/1557 greater than or equal to s?
True
Suppose -4*n + 4141 - 573 = -0*n. Is 892 smaller than n?
False
Let n be (-4 - (-3 + 0))/(8/8 + 0). Let k be -1 + 33/100 + (-6)/(-8). Is k < n?
False
Suppose 122*a = 127*a. Is a less than 43/29?
True
Let t be 0/((-3 + 1)/1). Let p be (27489/14)/(-21)*16/(-88). Which is greater: t or p?
p
Let x be (-1220202)/(-135576) + -3 + -6. Is x < 0?
False
Suppose 0 = -4*r - 8 - 24. Let g(w) = w**3 + 6*w**2 - 17*w - 3. Let j be g(r). Suppose -25 = f - 3*y, 3*f = 5*f + j*y + 39. Which is smaller: f or 1?
f
Let j be (-183)/5 + 6/(-15). Suppose -4*f = 20, 5*f + 28 = 2*i + f. Suppose l - 5