 77. Let y be f(l). Is y > 7?
False
Let t = 1 - 0. Let a(g) = -165*g - 13818. Let l be a(-86). Which is bigger: t or l?
l
Let b(k) = -k**2 + 18*k + 9. Let q be b(13). Let s be 65/(-30)*-3*q. Which is smaller: 482 or s?
s
Suppose 0 = -s - q - 66, -3*s - 72 - 126 = 2*q. Which is smaller: s or -107?
-107
Let a(q) = -7*q**3 + 10*q**2 - 166*q + 303. Let v be a(2). Is v at most as big as -34?
True
Let a = 3092 + -3233. Which is bigger: a or -146?
a
Let p be (90/(-50))/(1/(-5)). Let a be 0/(3/((-6)/(-4))). Suppose p*x - 6*x = a. Which is greater: -2/177 or x?
x
Let c = 84 + -148. Suppose 14986 = -190*r + 7*r + 3091. Is c bigger than r?
True
Suppose -t + 4*t - 6 = 3*q, -3*t = 5*q + 26. Let y be (q/10)/(2845/25). Which is greater: y or -1?
y
Let v = -6730 + 7096. Which is smaller: v or 2/27?
2/27
Suppose b + 3*f = -7, 0 = -4*b + 6*b + 3*f + 2. Suppose 3*p = -3*t + 15 + 33, t - b*p = 28. Is 18 at least as big as t?
True
Let a = 19513/7314 + -3/2438. Which is smaller: a or 84?
a
Suppose -1 + 37 = 56*w - 20. Which is bigger: 18/383 or w?
w
Let y(f) = 4*f**2 + 0*f - 3 - 4*f + 3 + 9 - 4*f**3 + 5*f**3. Let b be y(-5). Which is smaller: -1/29 or b?
-1/29
Let b = 50 + -63.9. Let w = b + -48.1. Let a = w + 63. Which is greater: a or 22?
22
Suppose 11 = 2*v - v. Suppose -16*o = -5*o - v. Which is smaller: -56 or o?
-56
Let w = 688 + -382. Let o be (-1)/2*360/w. Which is smaller: o or -2?
-2
Suppose -17 = 9*t - 566. Let n be t/183 - 64/(-6). Is n at least as big as 13?
False
Let r = 44770/3 + -14924. Which is smaller: r or 2033?
r
Let w(g) = 320*g**2 - 4*g - 4. Let x be w(-1). Let v be (2/4)/(4/x). Let i = 40 - v. Are i and 4/49 equal?
False
Let t(x) = 88*x - 367. Let k be t(8). Is 336 equal to k?
False
Let d(u) be the third derivative of -34*u**2 + 0*u + 22/3*u**3 + 0 - 1/3*u**4. Let p be d(5). Are -4 and p equal?
False
Let z = 511177/2745 - 1679/9. Is z less than or equal to 1?
True
Let v = -8708/25 + 80749334/231825. Is -1 > v?
False
Let i be (21/(-28))/(99/(-429)). Does i = 0.38?
False
Let c = -135 - -135. Let z be c/(3*4/(-12)) - 0. Suppose -3*h - 10 = 4*t, 3*t + z*h = h - 1. Which is bigger: -2/289 or t?
-2/289
Let x = -87 + 89. Suppose -24 = -x*a - 2*p, -48 = a - 5*a - 5*p. Suppose -a*g = -16*g + 28. Which is smaller: g or 41/5?
g
Let b = -10/7 + 13/14. Let p = -8771 + 8809. Which is bigger: b or p?
p
Suppose -u + 2*o + 6 = 0, 0*o - 5*o + 11 = 4*u. Let f be 9*(16/(-12))/u. Is -38/11 greater than f?
False
Suppose -122 - 449 = 16*s + 1029. Which is greater: -125 or s?
s
Let q(s) = 609*s + 1999. Let o be q(-8). Which is smaller: -2874 or o?
-2874
Let i = -26 + 24. Let b be 45/15 + (-52)/i. Suppose 0 = 5*l + 1 + b. Which is smaller: l or -4?
l
Let q = -25.04 + 24. Let l = 0.0534 + 1.0066. Let t = l + q. Is 6 <= t?
False
Suppose -k - 51 + 44 = 0. Let r be (k/(-70) - 98/(-20)) + -79. Is -77 not equal to r?
True
Let a = 1303 - 1306. Which is bigger: 0.87 or a?
0.87
Let p = 1470491/4 - 727892047/1980. Let z = 2/495 - p. Let q = 2 - 3. Is z bigger than q?
True
Let c = 6/1123 + -1153/5615. Is c at most as big as -1153/5?
False
Let o = -2/7519 - -7527/30076. Which is greater: 458 or o?
458
Suppose -2*m = 5*d - 129, 2*d = 4*m - 0*d - 198. Let r = -10036 + 30260/3. Is r > m?
False
Let m = 1.2 - 108.2. Let j = m + 106.77. Which is greater: -5/3 or j?
j
Let u = -1.8 + -0.2. Let d = 49103 - 5695949/116. Which is greater: u or d?
d
Suppose 0 = 37*z - 73*z + 144. Which is greater: z or 0.087?
z
Let i be 92/24 - 2/(-12). Suppose -h - 5*m = 175, i*h + 212 = m - 509. Which is smaller: h or -179?
h
Let o = -17251 + 539628532/31281. Which is greater: o or 0?
o
Let z be (16/(-40))/(96/320) - 584/(-282). Is z less than or equal to 0?
False
Suppose -7*i = 424 - 438. Let j(n) = -7*n**2 - 4*n + 8. Let z be j(i). Are z and -32 equal?
False
Let d(o) = 53*o + 1695. Let a be d(-32). Which is greater: 2/1873 or a?
2/1873
Suppose -j - 34 = 16. Let b(s) = -4*s**2 + 2*s - 1. Let p be b(1). Let h(f) = -7*f**2 - 6*f - 6. Let q be h(p). Is q equal to j?
False
Let i = 121 - 219. Suppose -10*c - 776 = -2*c. Let a = i - c. Which is smaller: 5/17 or a?
a
Suppose -2*h - 1 = -19*p + 24*p, h - 25 = 23*p. Do p and -137/85 have the same value?
False
Let q = -1686.3 - -1684. Let d = 2.5 - 4.4. Let h = d + 2. Is h smaller than q?
False
Let u(b) = -108*b + 2440. Let m be u(19). Is m smaller than 382?
False
Suppose -19*k = -32*k + 52. Let n be 5/((-45)/(-78))*3/k. Suppose 6 = i - 1. Is i less than or equal to n?
False
Let s = -143 + 187. Let r be ((-11)/s)/((-14)/40). Which is smaller: 1 or r?
r
Let s = 88.11 - 88. Let g = 0.0341 - 0.1241. Is g equal to s?
False
Let g be -14*(6/22)/3. Let q(p) = -133*p - 203. Let u be q(8). Let d = u - -1267. Which is greater: g or d?
d
Let w = 62 - 34. Suppose 23*k + 520 = 10*k. Let x = k - -67. Which is smaller: w or x?
x
Let h be (-9)/(-3) - 490/162. Suppose -18*j = -14*j + 252. Let w = -63 - j. Which is bigger: h or w?
w
Suppose 0 = -16*k + 4*k - 12. Let a be 2 + 12/(-5) - (-60)/25. Are a and k equal?
False
Let n be (1/(-3)*5)/((-7)/21). Suppose -n*c = -65 - 225. Let v = 291/5 - c. Which is greater: v or -1/5?
v
Let u = 105/2 + -53. Let d(p) = -p**3 + 6*p**2 + p - 6. Suppose 5*o + 45 = 4*f - 4, -25 = 5*o. Let b be d(f). Is u less than b?
True
Suppose -5*g + 4*u = 8*u - 10, -g + u + 11 = 0. Suppose -g*m = -75 + 21. Suppose 0*s + 40 = 5*s. Is s <= m?
True
Let r be 0/1 - (24/6 - 595). Suppose 2*o = -5*v + 593, -2*v + 4*o - r = -7*v. Which is smaller: v or 118?
118
Let t(a) = 2*a + 151. Let b be t(-48). Let k = b - 53. Are k and 35 unequal?
True
Let s(j) = -2*j**2 - 17*j - 9. Let h(q) = -q - 14. Let m be h(-6). Let x be s(m). Let a be -3*(x + 2) + 0. Which is smaller: a or -18/7?
a
Let y(f) be the second derivative of f**3/2 + 3*f**2 - 12*f. Let t be y(17). Suppose -t + 21 = -4*n + 4*a, -n = 3*a + 7. Is 32/7 equal to n?
False
Let z = -28546 - -28545.9733. Is z != -1/3?
True
Let b = -1 - -7. Let a(w) = 3*w - 12. Let d be a(b). Let u be (-60)/d*(-3 + 2). Which is bigger: 9 or u?
u
Suppose -3*k + 522 = 4*w, 35*k - 34*k - 174 = 3*w. Let b = k + -172. Are 5 and b equal?
False
Suppose -280 = 55*b - 194 - 141. Which is bigger: b or 1/10316?
b
Let n(k) = -k**2 - 10*k - 17. Let b be n(10). Let j be 257/22 + (b/(-77) - 3). Let o = j - 37/4. Does o = 2/9?
False
Let m(i) = -i**3 - 3*i**2 - i + 4. Let g be m(-3). Suppose -1 = -3*l - g. Let u be -2*((-23)/(-10) - l/10). Is -4 <= u?
False
Let j be ((-3687)/18 - (-44)/33)*8/2. Which is greater: -815 or j?
j
Let t(x) = -45*x + 93. Let a be t(1). Does 95 = a?
False
Let y(a) = 9*a + 1. Let m be y(9). Suppose 2*n + m = -2*f - 0*n, 0 = -f - 2*n - 44. Let d(z) = 53*z + 1657. Let p be d(-32). Is f smaller than p?
False
Let m be (-243400)/(-1330) - (5 - 2). Let r = m + -180. Is r greater than or equal to -1?
True
Let d = -3 - -3.3. Let x be 4/20 + 476/20. Suppose 3*l = -5*l + x. Is l at least d?
True
Let w = 3689 - 3690. Is 0.2713 less than or equal to w?
False
Let k(h) be the first derivative of h**2/2 + 32*h - 264. Suppose -5*i + 86 = -4*l, l = -l + 2*i - 42. Let t be k(l). Which is greater: t or -2?
t
Let i = 134 - 128. Suppose 4*n = -5*m + i, -m + 3 = -10*n + 9*n. Which is smaller: 1/414 or n?
n
Suppose 0 = -659*u + 675*u. Which is bigger: u or -1935?
u
Let d = -4.69 + 0.39. Let z = 12.5 + -5.2. Let w = d + z. Are -2 and w equal?
False
Let l = 5101/8 + -639. Let q = -133.5 - -129.5. Which is smaller: q or l?
q
Let i = -5559/232 - -104/29. Is -19 bigger than i?
True
Suppose 3*q + 128 = 2*l, 10 = 5*l - 10*l. Suppose 500 - 1558 = 23*s. Which is smaller: q or s?
s
Let z(f) = -f**3 + 24*f**2 - 48*f - 227. Let c be z(16). Is c not equal to 1050?
True
Let f = -1566 + 2627. Suppose -3621 = -7*o - i, 0 = -2*o - 0*i + 5*i + f. Is o != 518?
False
Let m = -46414/2206295 - -11/11830. Which is bigger: m or 0?
0
Suppose -2*q = -o + 579, -2*q + 198 = 2*o - 948. Let k be ((-2)/8)/(o/(-368)). Is 0 < k?
True
Suppose 3 = -9*f - 33. Let w(r) = -5*r + 27. Let o be w(f). Which is smaller: o or 48?
o
Let a = 272 - 565. Let b = a - -295. Which is smaller: b or 1/137?
1/137
Let d = -1085.222 + 1082. Let s = -0.078 + d. Let t = s - -2.9. Is 0.05 bigger than t?
True
Suppose -31 = 3*q - 52. Suppose -3*u = -q*u + 8. Suppose w = -u*w. Is w smaller than 2/23?
True
Let g