u - z*k. Let b be u*1/5 + (-2)/5. Is -2/3 < b?
True
Suppose 0 = 4*i + 16, 2*a + 10 = -0*i - i. Let j be (-40)/6 + a*(-1)/(-9). Let d(y) = y**3 + 6*y**2 + 5*y - 4. Let g be d(-5). Which is greater: g or j?
g
Suppose 21*i + 182 = 8*i. Let u be (4/i)/(-6 - 897/(-91)). Which is bigger: u or 0.1?
0.1
Let y be 306/72*(-9 - -1). Let f = 34 + y. Suppose -15*u + 17*u + 2 = f. Which is smaller: 21 or u?
u
Let l = 726 - 743. Let o be 1 + -4 - 17/(l/4). Which is smaller: 253 or o?
o
Let t = -3319 - -23231/7. Is -97 less than or equal to t?
True
Suppose -30*g + 156 = 8*g - 25*g. Is g < 87?
True
Let r(n) be the third derivative of n**5/30 + n**4/6 + n**3/6 - 2*n**2. Let l be r(-5). Let v = 228 - 197. Are v and l unequal?
False
Let b be (-4680)/140*34/(-6). Let y = -190 + b. Is -0.7 less than or equal to y?
True
Let a be (-3*38/27)/(16/(-3)). Let v = a + -689/840. Let q(y) = y**3 - 6*y**2 - y + 5. Let f be q(6). Which is greater: v or f?
v
Let b be ((-2)/9 + (-14001)/(-2133))*(-303)/(-909). Do b and 1 have the same value?
False
Let v(f) = f**3 - 69*f**2 + 136*f - 1. Let w be v(2). Which is smaller: 1430 or w?
w
Let v(h) = -6*h**3 + 4*h**2 + 4*h - 3. Let c be v(1). Let d be (76/(-1330))/(67/(-10)*c). Which is smaller: d or 0?
d
Let o = 868.1 - 909. Let i = -41 - o. Let t = -0.1 + i. Is 3 at least t?
True
Suppose 6*x + 23 - 41 = 0. Suppose 2*q = 4*q + 3*c - 9, -5*q = x*c - 9. Which is bigger: 1/100 or q?
1/100
Let c = 1.484 - 1.884. Which is greater: c or -3/5?
c
Let l = -1462 + 1520. Is l smaller than 3?
False
Let q be 4*2*(4 + 27/(-6)). Let v be q - (-8)/9*(5 + 1). Suppose -2*y + 7 = -j + 1, 4*j = -3*y + 9. Which is greater: j or v?
v
Let l = -7765/2454 - 1/409. Let v = -23/6 - l. Let s = -62723 - -62723.2. Which is greater: s or v?
s
Suppose -2*b = -22*b - 30 - 9650. Is -484 bigger than b?
False
Suppose -36462 + 5142 = 9*p + 136*p. Which is smaller: -217 or p?
-217
Let h = -34092/115 + 1482/5. Let l = -1108/805 + h. Suppose 26*q + 35 = -17. Is q < l?
True
Let k = -0.09923 - 4.09977. Let o = 0.199 + k. Which is smaller: o or 0.1?
o
Let y = 9399 + -2108. Is 7291 equal to y?
True
Let r be (4/6)/(24/(-45)). Suppose -c + 35 = -24. Let s = -61 + c. Which is smaller: r or s?
s
Let z = -120 + -384. Let x be (-1 - 1) + (-1001)/z. Let t = -79 + 78. Which is smaller: t or x?
t
Suppose -v = -12*v + 2915. Let b = v + -236. Which is smaller: b or 28?
28
Let g(d) = 12*d + 90. Let j be g(0). Suppose -44*w = -41*w + j. Which is greater: w or -32?
w
Let s be (774257/70389 + -11)/2. Which is bigger: -1 or s?
s
Suppose 0 = 5*f - i - 4, -21*f - 4 = -17*f - 2*i. Is 15/22 greater than or equal to f?
False
Let s be 236 + 8 - -14 - 8. Is s not equal to 247?
True
Let x = 54 - 78. Let i = 19 + x. Let v be -23*i/15*-3. Which is smaller: -24 or v?
-24
Let h be -39*3*2/(-9). Suppose 8 = 3*l + h. Let m be 228/1133 + (l - (-256)/44). Is m at most 1?
True
Suppose 7*b + 8515 = -u + 2639, 3*u + 9 = 0. Is b at least -839?
True
Let o = -4396 + 4407. Is -16 at least o?
False
Let c be (-10 - 1)*26/(-26). Suppose -4*a - c = 5*o, -3*o - o = -a - 8. Let v be -1 + (-1 - (-224)/114). Is o not equal to v?
True
Let r = 4395.9 - 4396. Is 2359 at least r?
True
Let w(d) = -32*d**2 - 29*d**2 - 32*d**2 - 4 + 15*d + 92*d**2. Let a be (6/5)/(9/120). Let m be w(a). Which is bigger: 1 or m?
1
Let z be 2591*(48/84 - (-158)/(-252)). Let o = z + 144. Let x = 3 - 2. Is o at most as big as x?
True
Let h = -1771 - -1763.135. Let q = h - 0.035. Let l = 4.1 - q. Which is smaller: l or 1?
1
Let c = -7421 - -7455. Which is smaller: c or 0.42?
0.42
Let q be 3/(23/20 + -1). Let u = 28533 - 28513. Do q and u have the same value?
True
Let q = 412.4 - -24.6. Let n = -579 + q. Are n and 2/7 non-equal?
True
Let t = 0.0962 + 0.0038. Is 88 less than or equal to t?
False
Let c(d) = -388*d - 6226. Let p be c(-21). Is p != 1919?
True
Let i(b) = -6*b + 113. Suppose 544 = -23*c + 55*c. Let v be i(c). Which is smaller: -1/28 or v?
-1/28
Let w = -3253 + 3289. Is 176/5 bigger than w?
False
Let n = 65 - 249. Let c = n - -189. Which is greater: c or -1?
c
Suppose 2065 = -6*p + 2401. Let q(f) = f**2 - 6*f - 1. Let h be q(11). Which is bigger: h or p?
p
Let w be ((0 - -2) + -1)/(-1). Let r be 21835/2382*2/(-15). Is r less than w?
True
Suppose -3*x + 14 = -40. Let o = 20 - x. Is 14/11 bigger than o?
False
Let b = -1 + -5. Let d be (-185)/37 + (1 - 34*-5). Let q = d + -172. Is b > q?
False
Let k(x) = 25850*x - 51 + 6 - 25849*x. Let p be k(10). Which is greater: p or 4?
4
Let g(p) = -12*p - 63. Let k be g(-6). Suppose -3861 = 24*f + k*f. Is -116 equal to f?
False
Let i = 13735/4 + -3490. Suppose 44 = -2*a + a + 4*o, 4*a + 2*o = -230. Is i < a?
True
Suppose 0 = -15*q + 12*q + 11880. Suppose 0 = -8*j + 11*j - q. Let i be (48/j)/(1*1/(-5)). Which is smaller: 1 or i?
i
Suppose 0 = 12*g + g - 156. Let s be (g/9)/(8/12). Which is greater: 21/17 or s?
s
Suppose 4*t = j + 46 - 212, 3*j = 3*t + 120. Let g be t - (2/(-2) - 2). Is g smaller than 0?
True
Suppose v - 4*v = 3*b + 15, 4*v - 4*b - 4 = 0. Let c be ((-29)/29)/(v/10). Is c at least as big as 11?
False
Let a be 44/(-187)*(-26)/4056. Is -1 at least a?
False
Let k = -0.619 - -43.619. Is 21 > k?
False
Let n(r) = -14*r + 309. Let f be n(22). Which is smaller: f or -16/109?
-16/109
Let q = 12.9 + 7.1. Let s = -65 + q. Let o = s - -50. Is o greater than -1/2?
True
Let p = 3/40597 + 811817/1664477. Suppose -3*i = -5*i. Which is smaller: i or p?
i
Suppose -716 = -4*h - 4*u, -734 = -4*h + 4*u + u. Let j = 183 - h. Is -5 at least j?
False
Suppose 3*k + 11 = 4*f, 2*f + 2*k + 7 = -5. Let v be 10/(-15)*(2/(-10))/f. Which is bigger: v or 1?
1
Suppose -4152*u + 4147*u = 4*n - 2023, 4*n - 8 = 0. Do u and 404 have different values?
True
Let h(t) = -t**3 - t**2 + 4*t + 3. Let v(r) = r**2 + 1. Let u(q) = h(q) - 2*v(q). Let i be u(-4). Let y = 130/7 + -1304/77. Is y greater than or equal to i?
True
Let x = -1353 - -724. Let g = -699 - x. Is -2 smaller than g?
False
Let g be (306 - (2 - 1))*(-4)/(-12). Which is smaller: 102 or g?
g
Let l be (-7)/(-20) - ((-74)/(-24) + 371/(-159)). Are l and 280/11 nonequal?
True
Let b = -15415 - -16615.9. Let m = b - 1131. Let k = 70 - m. Which is smaller: 0.68 or k?
k
Let r = 2.16 - 4.29. Let f = r + 3.074. Let g = f - 0.044. Which is smaller: 1/3 or g?
1/3
Suppose 4*s - 2*k - 130 = -4*k, -155 = -5*s - k. Suppose 0*n + 5*t + 190 = 5*n, n = 5*t + s. Let z be (9*(-4)/n)/((-2)/4). Is 3 != z?
True
Let f be -7*(-36)/(-336) - (-118465)/157940. Is f < 0?
False
Let r = 4608 - 4811. Which is smaller: -1823/9 or r?
r
Let j(p) = -3*p - 14 + 8 + p. Let y be j(-3). Let x be (13/3)/(75/225). Which is greater: y or x?
x
Let n = -18 - -10. Let a = -73.6 - 60.4. Let z = a - -138. Is n >= z?
False
Let p(j) = 8 - 718*j**2 + j**3 - 7*j + 3 + 726*j**2. Let l be p(-9). Let v be (-10)/l*104/(-65) + 2. Is v less than -1?
False
Let a(q) = q**3 - 11*q**2 + 26*q - 11. Let f be a(8). Suppose 0 = -6*j + 3*j + f*w + 164, 0 = -3*j + 4*w + 160. Let l = j - 197/4. Which is bigger: l or 2/13?
2/13
Let h = -9349/665 - -99/7. Suppose -440*a = -294*a - 146. Which is smaller: a or h?
h
Let q = 125.045 + -24.184. Let w = q + 0.139. Is w at most 0?
False
Let k = -67605/2 + 34812. Let f = -153443/152 + k. Is 0.1 greater than f?
True
Suppose -2*g - 5*r = -135, 165 = -g + 3*g - r. Let i be (3/(-11))/((-120)/g). Is i smaller than -3/14?
False
Let h be -4 + (-4)/152*-135. Let a = -50/67 - -2156/1273. Let d = h + a. Is d at most as big as 39?
True
Let j = 3416 + -3219. Which is smaller: j or 199?
j
Suppose -13 = -9*v - 13. Suppose -5*n = -2*n - v*n. Suppose g - 3*y - y + 9 = 0, n = 3*g + y - 12. Which is smaller: g or 7?
g
Let l(a) = -17*a - 1. Let c be l(2). Let y = -32 - c. Suppose -872*t = -860*t + 24. Is t < y?
True
Suppose -5*k = -3*b + 2136, 2*k - 6*b = -5*b - 854. Let q = -216 - k. Which is smaller: 209 or q?
209
Let o be -1 + 1 - 0 - (-32)/16. Let w be (4/(-8))/(((-20)/15)/o). Which is bigger: w or 2?
2
Let o = 3598 - 3600. Is 46 > o?
True
Suppose 5 = p + 30. Let m be 30/(-2) - -3704*(-55)/(-13640). Is p smaller than m?
True
Let b be 50/(-8) + (-6)/(-24). Let g be (-4)/b + (-4)/348*55. Which is smaller: 2/5 or g?
g
Let c = 0.7579 - 0.8179. Is c less than -15/26?
False
Let p = 3576139/55 + -65023. Is p bigger than -3