) - 5*y(l). Let w be g(-8). Suppose 0*h = 2*b + 2*h + 12, -4*b + h + 1 = 0. Is w >= b?
False
Let t be ((-2)/(0 + -22))/(-1). Suppose -i = -k + 3, 5*k - 12 = k. Are i and t non-equal?
True
Let j = 103 - 1. Which is smaller: j or 0?
0
Let i = -731/110 - -13/2. Let n = i - -527/220. Is n greater than 3?
False
Let p(b) = -b**3 - 5*b**2 + 3*b - 12. Let g be p(-6). Let x(s) = -2*s**2 + 4*s - 2. Let i be x(g). Let j be (-8)/i*(-30)/12. Which is smaller: j or -17?
-17
Suppose -16*o + 5043 = 25*o. Which is greater: 119 or o?
o
Let y = -1781/196812 - -1/2556. Let a = 392669839/6237 - 566623/9. Let g = y - a. Which is smaller: -1 or g?
-1
Let y be 1/(-4)*(1819 + -215). Is y greater than -402?
True
Suppose 0 = 1333*o - 1331*o. Which is smaller: -127 or o?
-127
Let a = -1605/2 - -802. Is -77 less than a?
True
Let p = -53 - -57. Suppose 5*n - p*b = 3*n - 32, 3*b = -n + 9. Is 1/8 at least as big as n?
True
Let a be (-4 - (-1 - 5)) + (41 - -2). Let s be 2/(-4 - (-185)/a). Does s = 17?
False
Suppose -3*l + 4 + 17 = 0. Suppose -8 = 2*o + i + 3*i, 0 = 3*o - i - 23. Which is bigger: o or l?
l
Let w = 1 - -4. Suppose 0 = 2*d + w*h - 45, -5*d + 53 + 22 = 5*h. Let j = d + -2. Does 6 = j?
False
Suppose -2*s + 4*b = -7*s - 835, -2*s + 5*b = 367. Suppose -125 = -11*f + 491. Let h be 38/s - f/(-9). Is -1 greater than h?
False
Let a(b) = b**3 - 13*b**2 - 3*b + 38. Let v be a(13). Is v less than or equal to -2/655?
True
Suppose -5*t + 288 = -3*d, t - 31 = 4*d + 13. Suppose -14*p - 138 = -2*v - 18*p, 3*v + 5*p - 203 = 0. Is t at most as big as v?
True
Let w(b) = -b**3 - 11*b**2 - 2*b + 8. Let f be w(-11). Suppose f = q - 4*q. Is 1 less than or equal to q?
False
Let h(o) = o**3 - 10*o**2 + 9*o - 28. Let k be h(9). Is k equal to -28?
True
Suppose 4*y - 56 = -0*y. Let t = -15 + y. Which is smaller: t or -4?
-4
Let p be (-1 - -58) + 3 - 0. Suppose -4*t - 2*t - p = 0. Let i = 13 - 23. Is t at most i?
True
Let v(o) = o**3 + 3*o**2 - 9*o - 4. Let c(d) = -d**3 - 3*d**2 + 8*d + 4. Let t(n) = 3*c(n) + 4*v(n). Let l be t(3). Are 12 and l equal?
False
Let t = -17/3210 + -3/107. Suppose 0 = -241*d + 240*d - 1. Which is greater: t or d?
t
Let q(d) = -28*d + 57. Let v be q(2). Which is bigger: v or -1/78?
v
Let d = -33.9 - -34. Which is bigger: d or 153?
153
Let q(c) = c + c**2 - 4*c + 1 + 1. Let n be q(2). Suppose n*t = -t. Is t at least 6?
False
Let j be (-4)/(-10) - (-66)/(-15). Let d be ((-1)/j + 0)*1. Which is smaller: d or -0.4?
-0.4
Suppose -5*p + 2*p - 3*v = 18, 4*v - 4 = 3*p. Let w be (1 + 0)*p/(-12). Are w and 5 unequal?
True
Let q(x) = -x**3 + 10*x**2 - 18*x + 4. Let z be q(2). Is z <= 7/31?
True
Let o(g) = 13 - 24 - 5*g**2 - g**3 - 6*g + 0*g - g. Let w be o(-4). Is w at most 4/39?
False
Let g = 8.82 - 8.52. Which is smaller: g or -5.9?
-5.9
Suppose 5*p + 41 = 3*h + 5, 4*h = 8. Which is greater: -2/7 or p?
-2/7
Let l = -521 - -469. Which is smaller: 1/3 or l?
l
Let a = -1/212340 - 135940067/212340. Let q = a - -651. Do q and 10 have different values?
True
Let b = -0.63 + 26.63. Let c = b + -27. Is c != -3?
True
Let z = -15.29 + -22.09. Let o = z + 38. Is 1/3 < o?
True
Suppose -3*o - 1 = 23. Let i(s) = -2*s + 39 - 4*s - s + s. Let c be i(8). Which is smaller: c or o?
c
Let k be ((-3)/1435)/(9/189*-6). Is 0 at least as big as k?
False
Let q be -20*3/((-30)/85). Is 170 smaller than q?
False
Let a(f) = -f**2 + 7*f + 6. Let o be a(8). Let w = -20.66 - -23.8. Let c = w + -3.2. Which is greater: c or o?
c
Let p = -811 + 1048. Which is greater: p or 238?
238
Let x(s) = s**2 + 15*s + 5. Let f be x(-5). Let h = -3193/71 - f. Is h at least 1?
False
Suppose 70 = -4*l - 0*o - o, 0 = -5*l + 3*o - 96. Let f = l - -18. Suppose 7*n - n = f. Is -6/11 greater than n?
False
Suppose 147 = 44*k + 15. Is 8 >= k?
True
Let x be (-1178)/(-106) + (-88)/8. Which is smaller: x or 1?
x
Let r = -647/11 + 59. Let p(v) = 0 + 9*v + 7 + 2 - v**2 + 2*v**2. Let x be p(-8). Which is greater: x or r?
x
Suppose -2*f = -47 + 43. Let h be 44/30 - (-2)/10. Is f greater than or equal to h?
True
Suppose -11*k = -5*k. Let z = -29 + 14. Let t be (-3)/z + (-22)/60. Is t >= k?
False
Suppose d + 25 = 6*d. Suppose -d*i - 4*a = 56, 0 = 4*i - 5*a + 2*a + 51. Let w = 11 + i. Which is smaller: w or -12/5?
-12/5
Let o(l) = -l - 2. Let i be o(-7). Let u be -7 - (-3)/(-5 - -2). Let a = i + u. Which is bigger: -8/5 or a?
-8/5
Let q(o) be the third derivative of o**5/15 + o**4/12 - o**3/6 - 33*o**2. Let a = -2 - -3. Let r be q(a). Which is bigger: 4 or r?
r
Let a = 2/319 + -644/957. Let z = 41 - 27. Suppose 4*n - z = 26. Are a and n nonequal?
True
Let o = 0.1061 - 0.1261. Which is smaller: o or 0.93?
o
Let g = -19/48 + 241/528. Let r = -76/165 + g. Suppose -40*h = -37*h. Is r less than or equal to h?
True
Let d(a) = a**2 + 3*a + 4. Let v be d(0). Suppose 0*i - 2*i = -v. Which is smaller: i or 0.11?
0.11
Suppose 3*f = -1 - 2. Suppose 0 = -2*c - 9 + 1, 302 = -3*d + 4*c. Let m be (-4)/(-5) - d/(-45). Which is bigger: m or f?
f
Let l = -2156 - -2064. Does -80 = l?
False
Suppose 29 = 2*q - m, 3*q - 4*m - 65 = -2*q. Let c be ((-3)/6)/((-88)/2992). Is c less than q?
False
Let i be (-16)/10 + (-2)/5. Let c be (6/(-9))/(0 + 4/42). Let o(v) = -v**3 - 5*v**2 + 15*v + 2. Let u be o(c). Which is bigger: i or u?
i
Suppose 279*n = 308*n - 6844. Is 236 < n?
False
Suppose 0 = 10*k - 23*k + 13. Is -2/759 less than or equal to k?
True
Let o(l) = 2*l + 6. Let s be o(-2). Suppose -u - 1 = 2*x, 4*x - 3*u = 1 + s. Which is smaller: x or -3/22?
-3/22
Let m be (-3047)/15 + (-186)/155. Which is smaller: m or -203?
m
Let y be -1 - 1 - (-15)/2. Let a = y - 23/4. Is a equal to 0.1?
False
Suppose -286 + 282 = -4*d. Which is greater: d or -0.057?
d
Let t be 1*(-7)/(28/4). Is -18/13 > t?
False
Suppose v - 4*n = 21, 4*n = -8*v + 4*v - 16. Let i(b) = -11*b**3 + 3*b - 2. Let j be i(v). Is j bigger than 0?
False
Let j = -491 - -487. Which is smaller: j or 12?
j
Suppose 2*k - 156 = -68. Which is bigger: k or 41?
k
Suppose -3*c = 4*i - 215, -3 + 8 = 5*c. Let z = -107/2 + i. Is z >= 0?
False
Suppose v - 2*v = 12. Let k be 4/(-16) + (-39)/v. Is 2 equal to k?
False
Suppose -5*s + 15 = -15. Suppose -c = 2 + s. Suppose -2*l - 5 = 5. Do l and c have the same value?
False
Let w = -1496 - -151098/101. Which is bigger: w or 3/4?
3/4
Let m = -0.9 - 0.1. Let p = 83/13 + -887/143. Which is smaller: p or m?
m
Suppose -6 + 1 = -b. Let w be 72/28 - (-6)/14. Suppose b*y + w*l - 7 = 0, -4*y + l + 2*l - 16 = 0. Is y less than or equal to -2?
False
Let p be 5*(-3)/6*-2. Suppose -2*s + p = -7*s. Is s greater than or equal to 1/8?
False
Let v = 2 - 3. Let h = -86.52 - -40.51. Let k = h - -46. Which is smaller: k or v?
v
Suppose -5*o + 4*s + 239 - 17 = 0, 204 = 5*o + 2*s. Let n = o - 47. Which is smaller: n or -60/11?
-60/11
Suppose 6*i + 618 - 612 = 0. Do -39/22 and i have the same value?
False
Let p = -0.0476 + -0.9524. Which is smaller: -1289 or p?
-1289
Suppose -2*b = -b + 36. Let y = -20 - b. Suppose 20 - 180 = -10*m. Is y at least as big as m?
True
Let d = -0.07 - -4.07. Let q = -0.02 + 0.11. Let u = 1.91 + q. Is u at least d?
False
Let c = -128/67 - 1601/670. Is 1/4 smaller than c?
False
Suppose 0 = -59*p + 135 + 1694. Is 0.05 equal to p?
False
Let u(w) = 2*w**2 + 16*w + 3. Let i be u(-8). Let j be 0/2*((-15)/10)/i. Which is greater: j or 3/31?
3/31
Let v = -18106 - -2951268/163. Is v < -1?
False
Let o = 2138 + -284351/133. Which is bigger: o or -1?
o
Let o = 31 + -28. Let d(n) = n**2 + 2*n - 4. Let l be d(o). Is l at least as big as 11?
True
Let f be (0 + 5)/(-10)*390. Is -194 bigger than f?
True
Let s(t) = t**2 + 41*t - 205. Let b be s(-44). Which is smaller: -68 or b?
b
Let n be 0/(5/((-10)/4)). Suppose n = 4*z - 20, z = 4*i + 1 - 0. Let q be 12/105*119/(-170). Is q <= i?
True
Let i be (-24)/(-2 + (-16)/(-6)). Let v be 20/i - ((-14)/6 + 2). Is 0 less than or equal to v?
False
Let r(u) = u**2 - u. Let l be r(1). Let p(b) = b**3 - 4*b + 0 - b - 4*b**2 - 3 + l*b**2. Let h be p(5). Is h greater than -6?
True
Let b = 3329/14 + -238. Suppose 0 = p - 2*s + 6, 2*p - 11*s = -9*s - 6. Which is greater: p or b?
p
Let f = 57 - 107. Let u = -52 - f. Which is bigger: -3 or u?
u
Let b(t) = -t**2 + 2*t - 3. Let x be b(3). Let i = 10 - 10.6. Let u = 0.4 - i. Is u equal to x?
False
Let x be (-3)/(