6/18095. Let f(y) = -y**2 - 6*y - 5. Let a be f(-5). Which is smaller: n or a?
n
Let f(t) = -8*t + 1. Let l be f(-4). Suppose 3*v + 54 = -3*p, -v - 5*p = l + 5. Suppose -3*r - 36 = 5*g, 3*r + 3 = 2*g - 33. Is r equal to v?
False
Let m be (-2984)/(-28) - (-32)/(-56). Let g be m/(-6) + (-8)/(-168)*-7. Which is greater: -188/11 or g?
-188/11
Let q = -125.796 + 126. Let u = 0.301 - q. Let w = -0.397 + u. Is 9/8 at most as big as w?
False
Suppose -6*o = -3*o + 15. Let a(p) = -3*p - 171. Let k be a(-11). Let z be (-20)/o*1/k. Which is greater: 0 or z?
0
Let v = -2.71 - -17.71. Let j = 15.3 - v. Is 2/7 >= j?
False
Let o be -2 + (-7 + 4 - (-24)/3). Let g(v) = -v + 4. Let z be g(o). Let i = -297 - -5937/20. Is i at least as big as z?
False
Let n be -10 - 155*1/(-15). Which is smaller: n or -0.0223?
-0.0223
Suppose 66 = -10*b + 4*b. Let q be -5*b/(-1)*18/(-15). Let h = 116 - q. Is 52 at most h?
False
Let i = -0.13 - 34.87. Let b = 9603 + -9569. Let m = b + i. Is m < -26?
False
Let d be (2/(-6))/((-1246)/(-42))*-354135. Let g = -3979 + d. Which is greater: g or 0?
g
Let n be (-69)/(-12) + -6 - (-573)/4. Let g = n - 152. Which is smaller: -7 or g?
g
Let u = -1762379/724290 - 2/24143. Is u smaller than -2?
True
Suppose -20 = -3*l - 2*l. Let g(z) = -7*z + 14. Let j(m) = 7*m - 13. Let n(o) = -4*g(o) - 5*j(o). Let q be n(1). Which is smaller: l or q?
q
Let f(p) = 2*p**2 + 79*p + 628. Let h be f(-11). Which is smaller: h or -9/691?
-9/691
Suppose 5*q = -2*a - 29632, 172*q - 167*q - 4*a = -29626. Are -5926 and q equal?
True
Let h be ((-2176)/(-56))/8 + 1*-4. Is h > 39?
False
Let b be ((-3)/(-567))/(12 - (-845)/(-30)). Is b != 0?
True
Let t(b) = -34*b**2 - 22*b - 5. Let i be t(13). Let q = i + 1020256/169. Is 0 < q?
True
Let h = -18299 - -12597. Is -5701 bigger than h?
True
Let y(j) = 2*j**2 - 3*j - 1. Let m be y(-2). Suppose -17*s + 5*x + 23 = -15*s, 0 = -s + 4*x + 10. Is m != s?
True
Let n be 2/20 + (-15430)/(-1700) + 1. Is n smaller than 11?
True
Let z = 553 + -515. Let c = z - 949/25. Do -1/3 and c have the same value?
False
Let p = 814/7 + -809/7. Are 1 and p unequal?
True
Let q = -26/939 + 704/2817. Is 16/49 equal to q?
False
Suppose 31899 = 75*z - 26226. Is z less than 780?
True
Let h = 2405 + -2414. Are -3 and h equal?
False
Let h be 2/18 + 212/36. Let a be 2/h - 57050/(-240). Let r = a + -238. Which is smaller: r or 0?
0
Let u = 291177 - 291173. Suppose -2*v - 5 = -17. Let k be 4/v*26/4. Is k < u?
False
Let j(i) = i**3 - 6*i**2 + 5*i + 10. Let x be j(5). Suppose 0 = u + 2*h + x, -14 - 6 = 4*h. Are -10/49 and u unequal?
True
Let k = 82 + -110. Let m be 4*1 - (-7)/(k/44). Are 2 and m non-equal?
True
Suppose 0*r - 4*t + 136 = -3*r, -r = -5*t + 27. Let w be 44/(-36) - -1 - r/(-9). Let v be w/45 - (3 + 334/(-30)). Which is smaller: v or 12?
v
Let a be 88/(-110) + 2 + (-456)/5. Let l = a - -81. Let q be (162/l)/((-4)/(-10)). Which is greater: -44 or q?
-44
Suppose -5*h + 14 = -6*h. Suppose -2*z - 78 = 4*x - 4*z, -2*z + 61 = -3*x. Which is greater: x or h?
h
Suppose 7*k - 2852 = 151. Suppose 0*r - 13*r + k = 0. Which is smaller: 32 or r?
32
Let g(u) = -2*u**2 - 74*u - 104. Let q be g(-36). Let w be q/(-17) - (-44)/374. Which is greater: 8 or w?
8
Let g = 5003 + -2870. Let d = 2178.55 - g. Let n = d - 0.55. Is 1/4 less than n?
True
Let t be ((-70)/40)/((-2)/(-16)). Let g be (10/(-6))/(t/(-252)). Let q be (-1236)/10620 + (-4)/g. Which is greater: -1 or q?
q
Let t = -9 + 37/4. Let s be -237*((-4)/5)/((-12)/(-10)). Let p be (s + -159)/((-2)/(-116)). Is p greater than or equal to t?
False
Suppose 0 = -6*l + 13*l - 28. Let b be (4 - l) + 5/((-5)/104). Is b > -104?
False
Let h(f) = 123*f - 6. Let a be h(-15). Let l be 4/(-10) + a/(-140). Let u = 74/7 - l. Which is smaller: -1 or u?
u
Suppose 0 = -50*q + 54*q - 8. Suppose 0 = 2*n + 2*n + 3*s, 0 = -q*s. Suppose -4*w - 3*l - 95 = -n*l, 4*l = 12. Which is bigger: -27 or w?
w
Let q = -2755 + 2590. Is q > 0.3?
False
Let y = -3.78 + 3.4. Let k = -16.62 + y. Let u = k - -19.1. Is u less than -1?
False
Let j be ((-66)/(0 + 3))/(-2). Let r = -4 - -6. Suppose -r*k - j*k - 312 = 0. Which is bigger: -3 or k?
-3
Let g be 2*(8/20)/((-4)/(-15)). Let d be (-12)/70*250/(-15). Is d != g?
True
Let r be (-3)/(-27) - (-1859)/(-936). Suppose 0 = z + 15 - 13. Let a be 3*(-1 - z/6). Are r and a nonequal?
True
Let g be -2 + (-2 - 0) - (-21 + 1196/70). Which is greater: g or -2/23?
g
Suppose -6*b + 13*b + 36 = 4*b. Which is bigger: 0 or b?
0
Suppose -8*j - 2362 = 5934. Let c = j - -4113/4. Is c greater than -10?
True
Suppose -3*o = -12, -7*o + 2*o = 4*q - 36. Let t be (270/(-65) + q)/(-5). Let g = t + -333/260. Which is smaller: g or -2?
-2
Let z(w) = -7*w - 20. Let x be z(6). Let r be (x/(-10) - -1)*(-27)/81. Which is greater: r or -2?
-2
Let v(p) = p**3 + 17*p**2 + 4*p + 58. Suppose 0 = 10*o + 5 + 165. Let i be v(o). Which is smaller: 1 or i?
i
Let x(s) = 4*s**2 + 24*s - 125. Let p be x(5). Suppose 56*u = 61*u + p. Is -19 smaller than u?
False
Let c(r) = r**2 - 12*r + 44. Let j be c(4). Suppose -3*x + 10 + 17 = 0. Let q = j + x. Is q at least as big as 20?
True
Let n(m) be the second derivative of -m**4/4 + 5*m**3/6 + m**2/2 + 21*m. Let o be n(3). Let h = o + 18. Does 15/2 = h?
False
Let f = -3015 - -2180. Is -837 smaller than f?
True
Let y = -194 + 190. Let s = -11 + 21. Let r be 140/30*(-9)/s. Do r and y have different values?
True
Let c(q) = 3*q + 27. Let n be c(-8). Let y(l) = -5*l**2 + 6*l + 5. Let f be y(n). Let z(b) = b**2 - 10*b - 4. Let u be z(8). Which is greater: u or f?
u
Suppose -850 = -44*j - 41*j. Suppose 0 = -2*l - 4*q, q + 0*q = 0. Let g be 4 + j/(-5) + l. Is g at most 3?
True
Let o = 4.1 + -2.1. Let n = -2.097 + o. Let p = 0.903 - n. Is 18 less than p?
False
Suppose -183*p + 166*p - 204 = 0. Let b(a) = a**3 - 3*a**2. Let z be b(3). Let x be 6*(-126)/p + (-4 - z). Which is greater: 2/5 or x?
x
Let m(k) = -k**2 - 103*k + 2898. Let u be m(-126). Let d be (3/(-4))/((-485)/(-40)). Which is bigger: d or u?
u
Suppose -90 = 2*c + 4*a, 1050 = -5*c + a + 781. Suppose 0 = f - 6*f - 255. Is c bigger than f?
False
Let n = 251 - 242. Suppose n*u + 5*u - 28 = 0. Which is bigger: u or 12/5?
12/5
Suppose -729 = -p + 2*u - 97, p = 3*u + 634. Is 630 not equal to p?
True
Let l = -35 + -25. Let z = 88 + -78. Let s be z/568*l/150. Is s at least 0?
False
Suppose 48634 = -37*j - 23294. Which is smaller: j or -1945?
-1945
Let h be 649/34 + -84 + 65. Is h <= -1.1?
False
Let a be 927/(-909) + 0 + 1. Let h = -0.3056 - -0.4056. Is a at least as big as h?
False
Suppose -2698*k = -2711*k - 37275 + 12198. Is -1930 bigger than k?
False
Suppose h = -5*m - 10 + 25, 23 = -m + 5*h. Suppose -5*i = 3*j + 64 + 2, 0 = j + m. Which is greater: -53/5 or i?
-53/5
Let s(k) = -16*k + 14*k + 130 - 2*k. Let g be s(31). Is 5 < g?
True
Suppose 0 = 3*i + 39 + 6. Let h be (8/3770)/((-6)/i). Is 0 greater than h?
False
Let o(z) = 47*z**2 - 44*z**2 - z - 144 + 13. Let l be o(0). Which is bigger: -130 or l?
-130
Let n = -2102.01 + 2080. Let o = n + -0.99. Let u = 0.3 - 0.4. Which is smaller: o or u?
o
Suppose 296*t + 100*t = -396. Let b be (-2 - (0 + 2))*-1. Let l be 80/324 + b/(-18). Is t greater than l?
False
Suppose 3*l - 4 = 2. Let x = 30626 - 30687. Which is greater: x or l?
l
Let g(k) = -k**2 + 169*k - 4355. Let v be g(32). Which is bigger: -46 or v?
v
Suppose 3*j - 164 + 50 = 0. Let h(l) = -18*l - 18. Let m be h(-3). Which is greater: j or m?
j
Let b = 296 + -287. Let h be ((4/(-18))/(-2))/(b/(-1602)). Is h at most -19?
True
Let r = 317777173/4829 - 65806. Which is smaller: 0 or r?
r
Suppose -9*y = -17*y + 20832. Let m be 6 + (y/6)/(-2). Do -213 and m have different values?
True
Suppose -36 = -5*u - 16. Suppose c = -3*j - j, 0 = -u*c - 4*j + 12. Suppose -c*p - 56 = 3*m, -2*p - 24 = 2*p - 5*m. Which is smaller: p or -10?
p
Let o be (4/(24/45))/((-5)/(-10)). Let r = 4 - 4. Suppose o*h - h + 14 = r. Which is greater: -2 or h?
h
Suppose 0 = 8*n - 5*i + 833 + 4382, 2*i = 4*n + 2606. Is -650 equal to n?
True
Suppose 8*k - 10*k + 2 = 0, 4*k = 3*j + 32638. Is -10878 >= j?
True
Let w = -201 + 198. Let m be 104/1512 + ((-88)/28 - w). Which is smaller: m or 2/21?
m
Let m = -33613.979 - -33608. Is m > 0.2?
False
Let n = -109 + 544/5. Let i(y) = -y**2 - 16*y - 55. Let r be i(-11)