or f.
-1
Let w = 19127 + -19120. Solve w*v + 18 = 4 for v.
-2
Suppose 6156 = 144*f - 63*f. Solve f - 67 = 9*g for g.
1
Let u(n) = 50*n - 2843. Let h be u(61). Solve 2 = h*i - 205*i for i.
1
Suppose 62*f - 201 - 8045 = 0. Solve -138 = v - f for v.
-5
Let a be (-7 - -4)/((-2)/(-4) + -1). Solve -a*k + 7 + 11 = 0 for k.
3
Let n be (-366)/(-10) - 13 - (-14)/10. Solve 0 = 14*g + n*g - 39 for g.
1
Suppose -9*f + 5*f + 178 = -2*x, 0 = 3*f - 4*x - 126. Solve -42*y + f*y - 20 = 0 for y.
5
Let l be ((-495)/(-4))/5 + (-18)/24. Suppose -40 = -3*n - 2*n - 4*t, -4*t = -3*n + l. Solve m - n = -m for m.
4
Let i be (294/10)/(22 - 1199/55). Solve -3*t - 141 + i = 0 for t.
2
Suppose 27 - 13 = 5*u + 4*b, -5*u - 6*b = -6. Solve -199*v = -205*v + u for v.
1
Let v = 665 + -656. Suppose -v*h - 240 = -29*h. Solve h = 6*m - 12*m for m.
-2
Let d(n) = 5*n + n**3 - 8*n**2 - 5 + 13 + 1 + 4*n. Let c be d(8). Let j = c + -78. Solve -8 = -j*z + 4 for z.
4
Let w(j) = -17*j + 293. Let b be w(1). Solve 6*z + b - 282 = 0 for z.
1
Let z(f) = f + 4. Suppose -3*b + 2*h + 57 = -0*h, -2*h - 74 = -4*b. Suppose d - 13 = -b. Let n be z(d). Solve -5 = i - n for i.
-5
Let z = -88 + 92. Let b be 0*2*z/24. Suppose 2*q - d + 3*d - 42 = b, -76 = -4*q + 4*d. Solve -m - q = -6*m for m.
4
Let m(z) = 15*z**2 + z - 1. Let g be m(1). Let f(i) = -5*i - 65. Let w be f(-18). Suppose 0 = 11*x - w*x. Solve 9*q - 4*q + g = x for q.
-3
Let s be 2 + 2/(-2 + 4). Let o be (6/s + -2)/1. Suppose 1890*z + 2*a = 1886*z + 30, -3*z + a = 0. Solve o*y = -z*y + 3 for y.
1
Let s be 0/(-1) + (-9 - -9). Let u(z) = z**2 - 11*z + 16. Let c(t) = t**2 - 2*t + 1. Let j(f) = c(f) + u(f). Let b be j(5). Solve b*i + i = s for i.
0
Let c(i) = i**3 + 80*i**2 + 306*i + 174. Let b be c(-76). Solve -b*u - 5*u = -7*u for u.
0
Suppose -84*l - 25*l = -14*l. Solve -2*q + 442 - 456 = l for q.
-7
Let j be 0 + 1*1*5. Let i be (-17 + (3 - (-1 + 5)))*1. Let s be (i/(-15))/((-6)/(-40)). Solve 0 = -j*c + s - 3 for c.
1
Let l be 6/(-12) + -2 + 95/2. Let h = l - 46. Let s be h + 5/(-10)*-12. Solve 2*n - 3 - s = 0 for n.
4
Let n(p) be the third derivative of 5*p**4/12 - 197*p**3/6 - 34*p**2. Let k be n(20). Solve -14*l + 13*l = k for l.
-3
Let v(s) be the first derivative of -s**3/3 - s**2 + 37*s - 182. Let b be v(0). Solve -b*o + 33*o = 12 for o.
-3
Suppose 0 = -34*t + 35*t - 8. Suppose t = -11*i + 52. Suppose 3*x - x = 0. Solve -i*n + 5*n + 4 = x for n.
-4
Suppose 5*v - 155 = 2*q, -34*q - 165 = -5*v - 30*q. Solve 7*a = -15 + v for a.
2
Let b be 11 - (0 + 0) - (-1089)/(-121). Let o = 28 - 24. Solve -o*c = b*c + 6 for c.
-1
Suppose 156*m = 4*a + 158*m - 56, -52 = -2*a - 5*m. Solve 12*c + a = c for c.
-1
Let z(h) = -h**2 - 29*h + 13. Let p be z(-26). Let t = 94 - p. Solve -7*w - 12 = -t*w for w.
-3
Let r(g) = g**2 + 24*g - 137. Let n be r(7). Solve -n = 16*x - 32*x for x.
5
Let p(k) = -k**2 + 19*k - 54. Let b be p(11). Let r = -112 + b. Let s = -73 - r. Solve l = -0*l - s for l.
-5
Suppose -d + 14 = -1. Suppose 4*q = 2*v - 7*v - 20, 4*q + v = -4. Suppose -378*u + 383*u - 15 = q. Solve -d = u*a - 6 for a.
-3
Let c = -245 - -247. Suppose 0 = -5*m + 15 - 5, 32 = c*y - 3*m. Solve b = -14 + y for b.
5
Suppose -6*t = 6*t - 96. Suppose -g - t = -7. Let s be 8 + (6 - 1)*g. Solve -4*v = -s*v for v.
0
Let t = 18416 + -18095. Solve -9*h + 258 = t for h.
-7
Suppose 0 = -18*z + 1183 + 3767. Let f = z - 275. Solve -54*h + 53*h + 2 = f for h.
2
Suppose -4*g - 1491*m = -1488*m - 24, 17 = 3*g + 2*m. Let s(n) = 0 - 3 + 1 - 6*n - n**2. Let u be s(-4). Solve -g*f + 6 = -u for f.
4
Suppose -3 = -b + 2*f, -3*b + 15 = 2*b - 5*f. Suppose 30 = 5*y - b*t, 0*y + 5*t + 28 = y. Solve -y = 4*u - 23 for u.
5
Suppose -2*l = -5*l. Let y(q) = 2*q + 1. Let m(x) = 16*x + 8. Let a(t) = -m(t) + 10*y(t). Let u be a(l). Solve -u = -2*f - 4 for f.
-1
Suppose -91958 = -26*n - 24878. Solve 2582*c + 12 = n*c for c.
-6
Let f(y) = 2*y**2 + 6*y - 273. Let o be f(-14). Solve 6*c - 5 = -o for c.
-5
Suppose 3*m + 4*a = 56, 4*m + 47 = -2*a + 95. Let h = -6 - -8. Solve 0 = -h*w - 0*w + m for w.
4
Let k(w) = 3*w + 24. Suppose -g + 3*y + 3 = 0, -5*g + 3*y - 45 = 8*y. Let h be k(g). Solve -4*z - 6 = h for z.
-3
Suppose -2*h + 5*h - 159 = 0. Let i = 16 - h. Let m = i - -40. Solve 0 = m*c - 0*c for c.
0
Let g = -2806 - -2809. Let j be (-12)/(-4) + 2 + 1. Solve -g*c + c = j for c.
-3
Let l = -1533 + 1556. Solve -26*k + l*k = -9 for k.
3
Let r(q) = -31*q**2 - 18*q - 80. Let b be r(-4). Let v = -502 - b. Solve 9 = -v*f + 3 for f.
-3
Let c(y) = 2*y**2 - 14*y + 8. Let p be c(7). Let v be 1/(2 + (-12)/p). Suppose v = -8*d + 9*d. Solve a - d = 2 for a.
4
Let z = 732 + -738. Let h be 2/z*(-8 + 3 + -1). Solve h*u + u = 12 for u.
4
Let v(j) = 3*j + 5. Let y be v(0). Let f = 5 - 3. Let d(o) = 3*o - 3. Let w be d(f). Solve y*q - 17 = w for q.
4
Let x be -149 + 163 - 2/6*(-1 + -14). Solve -x*d = -15*d + 21*d for d.
0
Let b = -2601 + 2700. Solve -13 = 28*u + b for u.
-4
Let f(a) = 2*a**3 - 8*a**2 - 11*a + 8. Let y be f(5). Suppose x = 2*x - y*s - 3, 3*x + 5*s - 9 = 0. Solve -2*j + 5 = -x*j for j.
-5
Suppose 1 = 6*q - 11. Suppose 2 = -3*u + 2*o, -q*u - o + 1 = -3*u. Solve u = -3*t + 19 - 10 for t.
3
Suppose 7*l = -63 - 70. Let w = 21 + l. Let n be -4*(-1)/w*12/8. Solve -s + 8 = n*s for s.
2
Suppose 3*s - 5*a - 4 = 3, -5*s + 2*a - 20 = 0. Let d be 8/10*(-30)/s. Let j be 0 - 1 - (-756)/28. Solve -d*v - 10 = -j for v.
4
Let p(j) = -j - 9. Let z be p(-11). Let u be ((-6)/z - -2) + 15/5. Let b be (-1)/(u*(-2)/20). Solve -b = 4*h + h for h.
-1
Let d(j) = -78*j - 5044. Let i be d(-65). Solve -16*p + 38 + i = 0 for p.
4
Let h = 16503 - 16450. Solve 0 = -6*v - 23 + h for v.
5
Let d be (0*5/(-20))/1. Let n be 4 + 61 + d/(-3). Suppose -n*g = -70*g. Solve g + 2 = -t for t.
-2
Let w be (-1422)/3*10/(-12). Let i = 397 - w. Solve i*q = 7*q for q.
0
Suppose 131 - 371 = -15*w. Suppose -4 = 6*k - 5*k + 2*j, j + w = 3*k. Solve -k*x = 2*x + 24 for x.
-4
Suppose -4*j = -3*l - 417 - 102, 2*j + 3*l - 237 = 0. Solve -7*i = j - 119 for i.
-1
Let p = 15 + 80. Let m = p + -93. Solve 0 = -g - m + 4 for g.
2
Suppose 53*b - 35*b - 6606 = 0. Let o = b + -362. Solve -8 = -o*x + 3*x for x.
4
Let k be -38 + (6 + -6 - 2). Let z be ((-50)/k*-4)/((-1)/3). Solve -u = 2*u - z for u.
5
Let w(k) = 85*k + 114. Let q be w(6). Suppose 632*m = q*m + 24. Let c be (-2 - 2*-1)/(-1). Solve j + 4 - m = c for j.
-1
Let p(y) = -239*y + 5035. Let d be p(21). Solve d*u = 20*u for u.
0
Let w be ((-102)/(-170))/(-2 - 61/(-30)). Solve 0 = -22*u + w*u - 24 for u.
-6
Suppose -7*r + 1 = -27. Suppose 7*t = 5*t - r. Let s(c) = c**2 - 8*c - 16. Let u be s(t). Solve 0 = -2*j - 0 - u for j.
-2
Let m = -4 - -11. Let f(z) be the first derivative of -13*z**2 + 577*z - 473. Let s be f(22). Solve -l + s - m = 0 for l.
-2
Let p = -228 + 265. Suppose -15 = -2*h - a, -h - p = -5*h + 5*a. Solve 3*x - x = h for x.
4
Let y = 8764 + -8752. Solve -582*b + y = -584*b for b.
-6
Suppose 5*u = 5*d + 53 - 8, -5*u + 2*d + 42 = 0. Let z = -2044 - -2048. Solve -u*n + 28 = -z for n.
4
Let d(k) = -17*k + 7. Let t be d(-2). Suppose -3*c - 66 = -3*g, 0 = 2*g - 7*c + 6*c - t. Solve 1 + g = -4*l for l.
-5
Suppose 5*q = -9*q + 84. Suppose 2*z + q = 20. Solve -z*n + 6 + 22 = 0 for n.
4
Suppose -5*h + 9 = -11. Suppose -3*n = a + 9, n - 125 = h*a + a. Let k be (a/(-30))/(2/5). Solve -k*x = 2*x for x.
0
Let z be (-2)/6 - (-78104)/78. Let u = -996 + z. Solve -7*m + u*m = 6 for m.
-3
Let r(u) = u**2 + 9*u + 30. Let c be r(-6). Suppose -c = -4*x, -6*y - 3 = -4*y - 5*x. Let b = -109 + 112. Solve b*a - y = 6 for a.
4
Let z = -67 + 84. Suppose 0 = 3*h - 14 + z. Let c be 4/h + (9 - 5 - -5). Solve -12 = k - c*k for k.
3
Suppose 748 = -2*l - j, -5*j + 103 = -4*l - 1393. Let y = -374 - l. Solve 18*v - 21*v - 6 = y for v.
-2
Suppose 2*y = -3*m + 16, 5*m = y - 449 + 441. Solve m = -38*u - 14 + 14 for u.
0
Suppose -3*o + 2*a = -13, -o - 2*a = 4*o - 11. Let s = 113616 - 113614. Solve -5*f = -o - s for f.
1
Let p(u) = -u**3 - 19*u**2 + 99*u + 1751. Let n be p(-20). Solve n - 326 = -31*y for y.
5
Let w(l) = -28*l - 73. Let d be w(-4). Suppose -10*c + 12*c + d = 5*n, -3*c = -n. Solve 13*j + n = 35 for j.
2
Let b(l) = -3*l - 28. Let o be b(-10). Solve -28*y + o*y = -104 for y.
4
Let y(f) = -2*f**2 - 3 - 5*f**3 + f + 0*f + 0*f*