 l(n) = 979*n + 12806. Let w be l(-12). Which is bigger: -1/6 or w?
w
Let s be (-19 + 1)*(357/(-21))/(-187). Are s and -2 unequal?
True
Suppose 19 - 9 = 2*f. Let g(z) = -86*z - 1637. Let u be g(-19). Which is greater: f or u?
f
Let h be ((-9)/(-6) - 2)*1. Let j = 119 - 29. Let i = 89 - j. Which is bigger: i or h?
h
Let j = 2062 - 4855. Which is greater: -2795 or j?
j
Let b be (-408)/4*18/(-36). Are b and 22 nonequal?
True
Suppose 4*g - 2*m + 4 = 2*m, 4*g - 5*m + 7 = 0. Let y be (3 - -10)/(g/8). Let n = y - 51. Is n smaller than -3/35?
False
Let w = -2955 + 2955. Which is bigger: w or -19/230?
w
Suppose 0 = -2*m + m + 4. Let u = -1 + m. Suppose -3*a + 89 + 4 = -4*n, -u*a + 120 = 5*n. Is 35 <= a?
True
Let y = -4116793/26033 - 20/3719. Which is bigger: -158 or y?
-158
Let u = 2.806 + -2.996. Which is smaller: -116 or u?
-116
Let k(u) = -u**2 + 18*u - 13. Let v be k(17). Let p be (2 - 1 - v) + 5. Let f be ((-13)/(-13))/(p/14). Are 8 and f equal?
False
Let r = -0.044 - -0.041. Let n = r + 0.303. Let f = n - 3.3. Are -0.03 and f equal?
False
Let g be (-3)/(-5) + 17/5. Suppose -3*n + 36 = 3*c, -2*c = 3*n - g - 21. Let m be 13 - 0/((-1)/((-5)/20)). Is m greater than or equal to c?
True
Let x = -7155 + -5219. Are -12376 and x equal?
False
Let p = 1855.2 + -1743. Let h = 217 - 105. Let q = p - h. Is q at most as big as 2/71?
False
Suppose 3*m + 1 = 2*m. Let w be 38/78 + m/3. Let n = -12 - -13. Is w at least as big as n?
False
Let i(u) = -56*u + 8. Let r be i(1). Let h be -1 + (-6)/9 - (-8)/(-24). Let q be 2/1 + -2 + (h - -2). Do r and q have the same value?
False
Let n(i) = -i**2 - 6*i + 35. Let k be n(13). Let l = 320 + k. Which is greater: l or 109?
109
Suppose 5*f = w + 2031, 3*w + 2*f + 2628 = -3363. Is w bigger than -2002?
True
Let l be (5/(244570/6))/(6/4). Which is greater: l or 1?
1
Let d be (2/4)/((-18)/(-108)). Suppose -b + 6*b = -d*s - 10, 4*s + 17 = -3*b. Let x be (0 - 128/295) + (-98)/(-245). Which is smaller: x or b?
x
Let p be -7*44/(-28) - (-4 - -299). Is -249 >= p?
True
Let q = 114 - 54. Let g be 5/(q/39) + (9 - 10). Let v be 10/8 - (-1)/(-4). Is v smaller than g?
True
Let f(s) = -3*s**2 - s + 23. Let n be f(11). Let d = 3796 + -4148. Which is bigger: d or n?
n
Let y = 21/454 - -4347/112138. Which is smaller: 0 or y?
0
Let c = -65 - -41. Let l = 87.3 - 1.3. Let g = 85 - l. Which is greater: c or g?
g
Let a(c) = -151*c - 1451. Let b be a(-9). Which is bigger: b or -2?
-2
Suppose 0 = 2*s + b - 5, 5*s + b - 24 + 19 = 0. Let c = -695 - -28499/41. Which is greater: c or s?
c
Let s = 7.091 + -7.4073. Let z = 0.0763 + s. Is 0 at least z?
True
Suppose -4*p + 1 = h, -11 = p - 5*p - 3*h. Let g be (-13*2/(-34))/(p/(-2)). Which is smaller: 2 or g?
g
Let x = -169.897 - -168.8. Which is bigger: -2/9 or x?
-2/9
Let k be ((-48)/106065)/(233/(-573))*-10. Let w = 6/2357 + k. Are 2 and w non-equal?
True
Let c = 17887 - 17855. Which is bigger: c or -3/25?
c
Let s(z) be the second derivative of -z**3/2 - 8*z**2 + 37*z. Let j be s(4). Is -28 < j?
False
Let p = 6088 - 6088.02075. Is p less than -2/3?
False
Suppose 0*i - 2*o = -5*i, 0 = -3*i + 2*o. Let s = 6/71 + -55/1491. Which is greater: s or i?
s
Suppose 2*j + 9 = 5*q, -15 = -3*q - j - j. Suppose 3*w + 5*n = 2*n + 12, -6 = q*w - 3*n. Let u = -1502 - -276369/184. Is u at most w?
True
Let x = -76 - -81. Suppose -4*p = x*o - 6*o - 202, p + 3*o = 44. Which is greater: -1/4 or p?
p
Let u(i) = 2*i**3 + 53*i**2 - 34*i - 188. Let h be u(-27). Which is greater: -549 or h?
h
Let a be 290/(-87)*(-6)/10. Let y be 2/(-11) + (-5913)/(-33). Let g be 5 - 1609/y - (-6 + a). Which is smaller: g or -1?
-1
Let f = -9.62 - 0.38. Let i = 36 + f. Let h = i + -25. Which is greater: h or 3?
3
Let a = 7706 - 31425/4. Let h = a + 6617/44. Let m = -2475 - -2476. Is m bigger than h?
True
Let o be -37 + 41 + 31216/(-7802). Which is smaller: o or 0?
o
Let u = 29133/7 - 4141. Suppose 0 = 16*k - 182 - 164 + 26. Is u greater than or equal to k?
True
Suppose 0 = 5*s - 2*o - 9, -s - o = -4*s + 5. Suppose 3*d - p = -0*p - s, -d + 1 = -p. Which is bigger: d or 3/89?
3/89
Let n = 6645 + -6652. Let j = 3 - 3.4. Let s = -1.6 + j. Which is smaller: n or s?
n
Let l be 1*(5 + ((-19778)/3297 - -1))/6. Which is greater: -1 or l?
l
Let r = -32.83 - -32.73. Which is bigger: -22.4 or r?
r
Let w be (-1)/((-3)/(-12)) + (-2640)/336*-14. Suppose -v - 12 = -3*j, -j - 2*v = j. Suppose 535 = 2*a + j*a. Is a greater than w?
True
Suppose 117*r - 24499 = 939881 + 218607. Which is bigger: 10110 or r?
r
Suppose -9161 = -14*c + 681. Let i = -517 + c. Which is smaller: 188 or i?
i
Let r = -181/10 + 357/20. Is r less than 1.215?
True
Let v be -166*(17 - (-7 + 23)). Which is smaller: v or -165?
v
Let i be (-4)/(5 + -1) + -179. Let k(a) = -5*a**3 + a**2 + 8*a + 20. Let f be k(2). Is f > i?
True
Let w be (-21)/14*(-18 + 0). Let v = -38 + w. Let d(g) = -g**3 + 5*g**2 + 11*g + 10. Let k be d(7). Is v >= k?
True
Suppose -11*q + 234 = -569. Suppose -2*l = 3*m - q, -50 = -m - m - l. Is 25 less than or equal to m?
True
Let n = 0.45 - -4.25. Let d = 0.34 + -11.64. Let l = n - d. Which is smaller: l or -2/7?
-2/7
Let i(t) = -59*t + 156*t + t**2 + 44 - 113*t. Let c be i(4). Let j = 1/33 - 59/11. Which is smaller: c or j?
j
Suppose -3*t + 3 = -195. Suppose 270*d = 264*d + t. Suppose -k + 12 + 19 = 3*j, -j - 4*k + 3 = 0. Are d and j unequal?
False
Let r be (7/(-21))/((-124)/(-128)*-1). Which is bigger: r or -1?
r
Let k = 62/47 - 1354/1739. Let j(t) = -t**2 - 6728*t + 20195. Let q be j(3). Is q greater than k?
True
Suppose -4*h = 4 + 12. Let f = 3598051/266 - 94685/7. Is h smaller than f?
True
Let m = -966279/20801 + 511/11. Is m equal to 0?
False
Suppose 158*a + 89*a = -2223. Which is greater: -23 or a?
a
Suppose -2*j + x + 240 = -633, 3*x - 861 = -2*j. Suppose -12*i - y = -13*i - j, 2203 = -5*i - 2*y. Which is greater: i or -440?
i
Suppose -6*b + 15*b - 99 = 0. Suppose 2*g = -3 + b. Suppose 0 = 5*m - 3*m + g*t - 20, 0 = 4*m - 2*t. Which is smaller: 6 or m?
m
Let y be (20426/420*12)/((-2)/(-5)). Do y and 1459 have the same value?
True
Let t be (-3)/3 - -2 - -13. Let l be 6/t + 1/((-28)/(-128)). Suppose -5*u - l*h = -70, 3*h + 36 = 2*u + h. Is u at least 16?
True
Let h = -1800591/40 + 45018. Is h less than or equal to 4?
True
Suppose -17*v = -14*v - 15. Suppose -h - v*s = 2, h - 5*s - 7 = -s. Let k be (h/27*-3)/((-2)/(-78)). Is -13 <= k?
True
Let h(y) = y**2 + 9*y + 26. Let b(g) = -g + 1. Let t(u) = -b(u) + h(u). Let k be t(-7). Suppose -k*p = d + d - 32, p + 2*d = 8. Is 10 <= p?
False
Let j = 106 + -93. Let i = -12 + 17. Suppose -i*u - 4*p + 32 = -2*u, u - 8 = -4*p. Which is bigger: j or u?
j
Let b be (2 + 1)*(-16)/9981*(-477)/(-3180). Which is bigger: 0 or b?
0
Let w be -10 - (69494/(-7015) - (-74)/(-851)). Let c = -2 - -1. Which is smaller: w or c?
c
Let n = -106150 + 533107/5. Is 472 equal to n?
False
Let c = 3.38 + -4.4. Let v = c - -119.02. Let p = 115 - v. Is -6 at least p?
False
Let d = 806 + -810. Let a be 2 + 120/(-28) + d. Is 1 greater than a?
True
Let x = -187 + 437. Suppose -3*z - 151 = -3*m - 4*z, 2*z = -5*m + x. Suppose -4*h + 9*h - 31 = p, 2*p - 5*h = -m. Is p greater than -21?
False
Let u be (-6)/((-60)/(-25))*-2. Let m be ((-320)/(-30))/2 + u/(-1). Which is greater: m or -1?
m
Let y = -20 + 14. Let u be ((-4)/5 + 1/(-5))*(-646)/38. Which is smaller: u or y?
y
Let f(q) = -7*q**2 - 3*q - 16. Let j(y) = y**3 - 6*y**2 - 26*y - 12. Let t be j(9). Let i be f(t). Let n = i - -55. Which is smaller: -14 or n?
n
Let t be (4/(-66))/((-1)/2). Let v be (10/15)/((-22)/(-18)). Let j = t + v. Which is smaller: 2 or j?
j
Let p(w) = w**3 + 15*w**2 - 33*w + 17. Let j be p(-17). Which is greater: j or -2/2609?
j
Let d = 16588 + -16599. Which is smaller: d or -122/17?
d
Suppose -11*c + 6*c = -3*a + 15, a = -2*c + 5. Suppose 1125 = -a*z + 30*z. Is z < 46?
True
Let q = 233 - 1179/5. Let p(c) = -19 - 50 - 23 - 4*c - 4*c. Let o be p(-11). Are o and q non-equal?
True
Let g = -0.4002 + 0.9002. Let l be 242/(-126) + 10/(-45). Do l and g have different values?
True
Suppose -314 = -266*w + 265*w. Let g be 220/825*5/w. Which is smaller: g or 1?
g
Let p = -113482391/50477 - 2/252385. Which is smaller: -2247 or p?
p
Let a be 434/633 + 4/(-6). Let s(w) = 85*w**2 + 452*w + 135. Let b be s(-5). W