81. Which is smaller: s or -3060?
s
Let p be (((-2)/(-6))/1)/(-27). Let n be -1 + (-30)/(4/(-4)). Suppose 10*v = n*v - 11*v. Which is smaller: v or p?
p
Let q = 494 - 530. Let b be -2*(q/(-48) - (-1 - -2)). Which is bigger: -379 or b?
b
Let p be (-226)/(-565)*(-10)/12. Which is greater: 232 or p?
232
Suppose 0 = -77*l + 60*l + 1717 + 255. Is l at least 114?
True
Suppose -5*n - 3899 = -2*d, 0 = -2*d - 4*n - 141 + 4013. Let l = 75766/39 - d. Let j = -2/39 + l. Are j and -3 non-equal?
True
Let i = 0.102 + 95.898. Let m = 99 - i. Which is greater: 18 or m?
18
Let l = 1239 + -1089. Which is bigger: l or 152?
152
Let s(j) = j**2 + 10*j - 11. Let u(v) = -v**2 - 9*v + 12. Let m(d) = 3*s(d) + 2*u(d). Let c be m(-13). Suppose 4*n + c = b - 3, 0 = -5*b + 3*n - 50. Is b > -14?
True
Let t be ((-21903)/1946)/(-21) - (6/4 + -1). Is 1 less than t?
False
Let p = -35.02 - -0.02. Let x = p + 35.015. Let g = 9.015 - x. Is g greater than or equal to -0.2?
True
Suppose 9256 = 3*g - 10196. Let f = 3527295/544 - g. Which is greater: -1 or f?
f
Let m = -55 + 32. Let d = 23.01 + m. Suppose 44*z - 57*z = 13. Is z < d?
True
Let x = -7304 + 7303.995. Which is smaller: x or -10.7?
-10.7
Let l(n) be the first derivative of 3*n**4/2 - 23*n**3/3 - 7*n**2/2 + 9*n + 36. Let c be l(4). Is 1/36 at most as big as c?
False
Let c = -72.7 - -168. Which is greater: c or 0.2?
c
Suppose -a - 3 = 3*u, 1862*a + 12 = 1858*a. Which is bigger: -14/633 or u?
u
Let k = 1347 - 1353. Is -302/61 > k?
True
Let i = -103 + 219. Let s = i + -695/6. Which is greater: -30 or s?
s
Let r = 780 + 7352. Is 8132 equal to r?
True
Let p be (-744)/(-682) - (-42766)/22. Which is smaller: p or 1943?
1943
Let w be ((-174)/(-8))/((-9)/(-24)). Suppose w = 3*o - 68. Suppose 0 = -4*z + 199 - 31. Is o less than or equal to z?
True
Let j = 7854 + -7914. Does j = -4/7?
False
Let o(l) = -5*l + 112. Let y be o(22). Suppose 2*x + 6 = 5*z, 2*x + y*x - 12 = -2*z. Which is greater: x or -3/97?
x
Let j be (-8 - 756/(-98)) + (-48)/(-70). Let d be ((-2)/4)/(2/(-436)). Which is smaller: d or j?
j
Let l = 1357/18 - 151/2. Which is smaller: 122 or l?
l
Let k = 31.84 + -31.5. Let m = -0.44 + k. Which is bigger: -24.3 or m?
m
Let b = 7686 - 69070/9. Suppose -n - 15 = 5*d - 84, -4*d + 60 = 2*n. Is b bigger than d?
False
Suppose -56*o = -65*o. Suppose -4*t - 142 + 234 = o. Which is smaller: 1/4 or t?
1/4
Let d be (70/15)/((-16)/(-24)). Let y(p) = -p**2 - 5*p + 23. Let f be y(d). Which is smaller: f or -0.2?
f
Suppose -2*h + 4*h + 24 = 0. Let b(j) = -8 + 2*j**2 - j**2 + 8*j + 0 + 0*j**2. Let u be b(h). Which is smaller: 39 or u?
39
Let y = 2288 + -2234. Is 44 equal to y?
False
Let t be 3/(-15)*1*1. Suppose 1628 = 3*y + 4*l, 2*y + 568 = 3*y - 5*l. Let s = y - 549. Do s and t have the same value?
False
Suppose -1405 = 25*b - 3555. Which is bigger: b or 111?
111
Let j = -1304 + 2331. Suppose 7*z = 5*z + i - 688, -3*z - j = i. Is -343 bigger than z?
False
Let m(g) = -4*g**3 + 37*g**2 + 17*g + 104. Let q be m(10). Which is smaller: q or -762/29?
-762/29
Suppose -6*n - 7768 = -4*h, -2*n + 2*h + 42 = 2628. Is n != -1299?
True
Suppose 0 = 3*o + 9, o = -2*t - 175 + 62. Let r = 91 + t. Let z = -84 + r. Which is bigger: -47 or z?
-47
Let d = 14648/11 - 11483977/8624. Are 1 and d unequal?
True
Let m be (12/(-15))/((-6)/(-15)). Let h be m/(-9) - 70/(-9). Suppose 9*p - 15 = 3. Which is smaller: h or p?
p
Suppose -35*l + 993 = -722. Suppose 21*d + l = -35. Which is greater: d or -3/8?
-3/8
Let y = 1191 - 1190. Is y not equal to 37/137?
True
Let r = -3233 + 193993/60. Are r and 1 equal?
False
Let x = -2626.8 - -2546.4. Which is smaller: -0.2 or x?
x
Let b = 931 - 962. Let f be b*28/6 - 45/(-27). Is f less than or equal to -142?
True
Let n = 2227 + -2099. Is -3 smaller than n?
True
Suppose -3*b = 2*a + 2*b - 268, -a = 3*b - 134. Suppose -w - 3*w = -4*q - 476, -q + 4*w - a = 0. Which is smaller: q or -115?
-115
Suppose 24*i + 80 = 9*i - 55. Which is smaller: i or -211?
-211
Suppose -100*s = 25*s + 136*s - 969615. Which is smaller: -0.2 or s?
-0.2
Let x = 5901 - 5902. Is x smaller than 34/113?
True
Let c = -16828 - -84138/5. Which is smaller: c or 1017?
c
Let f = -3 + 3. Let y be -1 + (-20)/(-18) + ((-1720)/72)/43. Are f and y nonequal?
True
Let w = 564 - 567. Is w < 5/7?
True
Suppose -8*i + 200 = -0*i. Suppose i = -40*k + 45*k. Let b = -35 + 34. Which is bigger: k or b?
k
Let l be ((-72)/42)/6 - -34052*(-5)/(-70). Is l bigger than 2431?
True
Let d be 10/15 - 5/(45/(-12)). Suppose -d*l + g + 36 = 0, 4 = l - 2*g - 20. Which is bigger: 20 or l?
20
Let h be (2/(-12))/((3/(-36))/(5/10)). Is 120/91 greater than h?
True
Suppose 1028*y = 1045*y + 170. Which is bigger: y or -194/21?
-194/21
Let z = -24103 - -24102. Which is smaller: -182/151 or z?
-182/151
Suppose 9*p - 4*p = -25. Let w = 143/29 + p. Suppose 368*q - 372*q - 8 = t, -4*t = 4*q + 8. Which is bigger: w or t?
t
Let m be (18 + -15)/((-15)/(-4705)). Suppose -8*q - m = -93. Is -103 > q?
True
Let o = 1.0184 - -112.9816. Which is smaller: o or 55?
55
Let v(n) = 2*n**2 + 4*n + 3. Suppose 0 = -7*l + 6 - 27. Let f be v(l). Suppose f*g - 16 = 25*g. Is -2/61 < g?
False
Let l = -80 + 43. Let i = 37.19 + l. Let j = i - 0.09. Do -0.25 and j have different values?
True
Let f be (2550/8)/(-15) + (6 - 1) - 6. Which is greater: f or -22?
-22
Let l be (-4 + -2 - -3) + 188. Let f = 414 - l. Which is smaller: 231 or f?
f
Let w = 33/8 + -755/184. Let n = 32 - 27. Suppose -53 + 48 = -n*l. Is w <= l?
True
Let h be (-5824)/25025 - (72/(-22) + 3). Is h at least 2/123?
True
Let f be 3/(-72) - 7420/(-120480). Is f smaller than -1?
False
Suppose 2*s + 2622 = 13*f - 16*f, -2*s - 2*f - 2624 = 0. Which is smaller: -1317 or s?
-1317
Let m = -0.2 + 3.2. Let w be (-8)/(4*-1)*(-1)/(-1). Let q be (123/60 - w) + (-8)/32. Which is smaller: q or m?
q
Let b(w) be the third derivative of w**4/3 - 89*w**3/6 + 4*w**2 + 4. Let y be b(12). Is 7 smaller than y?
False
Suppose -5*q + 4*q = -2*f + 4, f + q = 2. Suppose 0 = -f*t + 22 - 16. Suppose 20 = -t*i - 2*i. Is -14/5 < i?
False
Let f = -2/17 + 29/255. Let b = -7077 - -7078. Is f less than b?
True
Let a = -47 + 47.02. Let k = 1255 - 1276. Which is smaller: k or a?
k
Suppose -3*a + 47 = v, 6*v - 3*a = 2*v - 52. Let l be 0 - (0 + (-2 - 0)). Let c be (l/9)/((-26)/3). Is v > c?
False
Let t = 825 - 93224/113. Which is bigger: -12 or t?
t
Suppose -4*r - 4*m + 6 = m, 3*m + 6 = 0. Suppose -h = s + 64, -2*s + 0*s + r*h = 128. Let l(u) = 5*u + 15. Let v be l(-16). Is v less than s?
True
Suppose 99*v + 97*v - 192*v - 1296 = 0. Is v at least 332?
False
Suppose 0 = 12*w - 14 - 82. Let o(y) = 2*y**2 - 18*y + 16. Let h be o(w). Do 2/199 and h have the same value?
False
Let v(p) = -115*p**2 + p - 1. Let k be v(1). Let d = 98 + k. Does d = -18?
False
Let x = -0.3 + 0.2. Let j = 136 + 85. Let r = -221.13 + j. Is r equal to x?
False
Let c(w) = -2*w**3 + w**2 - w + 13. Let x be c(0). Suppose -x*q + 2 = -76. Let s be (135/(-114))/(q/(-8)). Which is smaller: s or 3?
s
Let x = 785 - 797. Is x smaller than -10?
True
Let m = -0.00537 + -2600.99463. Does m = 0.1?
False
Let k be 1/(855/144 - 6). Let j be 6511/680 + ((-10)/k - 1). Let n be -9*((1 - 2) + 0). Is j > n?
True
Let r be (-34)/(-201) + (-1)/3. Let m be (-9706)/(-871) + (-183 - -171). Let k = r - m. Which is smaller: k or 2?
k
Let q(m) = -5*m - 36. Let j(l) = -4*l + 116. Let t be j(31). Let z be q(t). Is -6 greater than z?
False
Let w(s) = -s**2 + 4*s + 40. Let i be w(6). Suppose i*l = 10*l. Which is smaller: l or 4/35?
l
Let u = -61 - -66. Suppose 5*x + u*x + 20 = 0. Let v be ((-55)/(-10))/((-4)/8). Does v = x?
False
Let m = 12464.2 - 12463. Which is bigger: m or -34?
m
Let i be 1129590/560 - (-2)/48*-3. Which is bigger: 2019 or i?
2019
Let p = 0.8921 + -0.9021. Are p and -0.577 unequal?
True
Suppose 3*c = -4*m - 35, 5*c - 7 = 3*m + 12. Let y be -3 - (103/m - (-4 + 1)). Is y at least 6?
True
Let v be (14/(-6) - -1)*270027/3066. Is -118 bigger than v?
False
Suppose 205*x + 10136 = 212*x. Which is smaller: 1449 or x?
x
Suppose 0 = -164*m + 170*m - 18. Suppose 15*u = -m*u. Which is smaller: u or -1/135?
-1/135
Suppose 7 = -3*r + 4*i - 12, -5*i + 20 = 0. Let v be (4 + (-105)/27)/r. Let m = -4 - -3.6. Which is smaller: v or m?
m
Let r = -12475 + 12473.488. Which 