v for u.
0
Suppose -4*v + 2*o - 66 = 0, 2*o - 82 = 5*v - 0*o. Let w be (v - (-4 + 2))/(4/(-2)). Let r be -1*2/(-1) + 4. Solve 3*l = -5*q + w*l + 12, q - 5*l + r = 0 for q.
4
Let f = 6441 + -6441. Solve 5*g - 8 = -4*w, 3*w - 3*g + f = -21 for w.
-3
Suppose 0 = -23*t + 7*t + 432. Let r(u) = -12*u - 11*u - 6*u + 39 + t*u. Let p be r(14). Solve 4*x + 4 = -w - p, -5*x = 2*w + 21 for x.
-3
Let v = -9925 + 9944. Let a = 3 - 1. Suppose 4*x = x + 12. Solve -18 = 3*s + f + a*f, -x*f - v = -s for s.
-1
Suppose -p - 51 - 547 = 0. Let r = p - -601. Solve 8*l = r*l - 5*x + 10, -2 = -3*l + x for l.
1
Let z be 15*(-8 + (-822)/(-90)). Solve 5*l + 0 + 23 = -f, -3*l = -f + z for f.
2
Let v = 537 + -540. Let c be v + 4 + -5 - -10. Solve 2*r - 3*z + 4 = 0, -c*r + 5*z - 6 = -2*r for r.
1
Let j(f) = -f**3 + 11*f**2 - 9*f - 3. Let b be j(10). Suppose -b*i = 23*i - 150. Solve -3*y - 15 = -4*y + i*w, -2*y - 6 = -w for y.
-5
Let f be (-2 - -1) + (0 - -1). Let n = 87 - 90. Let h be -15*5/n - 0. Solve -4*t + 4*m - h - 15 = f, -2*t + 3*m = 25 for t.
-5
Suppose -16 = -r - 8*d + 34, 0 = 4*r - 2*d + 4. Solve 10*y = 14*y - 12, 0 = 3*b - r*y - 9 for b.
5
Let z(k) = -6*k**2 + 36*k + 3. Suppose -17 = -2*r - j, j + 55 = 5*r + 6*j. Let y be z(r). Solve w - 4 = -4*i, y*i - 6 = -w - 2*i for w.
-4
Suppose 70 = -0*g + 7*g. Suppose -36 = -4*u + g*u. Let s(t) = 4*t + 26. Let k be s(u). Solve k*i + 5*a = -1, -2*a - 2 - 8 = -4*i for i.
2
Let a(p) = 59*p - 115. Let u be a(2). Solve u*s + 4*r = 32, -s = -6*s + r + 15 for s.
4
Suppose -223*u = -38*u - 92*u - 1860. Let w(o) be the second derivative of -o**3/6 - o**2 - o. Let s be w(-6). Solve -n - 2*n + q = -11, -u = s*q for n.
2
Let z(j) = 15*j - 72. Let t be z(5). Let h be t/((-9)/(-32)) - (-2)/(-3). Solve -b = -2*g - 4 + 3, 0 = -5*g + 5*b + h for g.
-3
Let q(h) = h**2 - 111*h + 1603. Let a be q(17). Solve -4*t = 2*k + 10, -a*t + 4 = -9*t - 4*k for t.
-4
Let p(x) = 55*x**2 - 326*x - 22. Let l be p(6). Solve -l*t + 5 = q + 6, 4 = 5*q + t for q.
1
Let s(b) = -3*b**3 + 3*b**2 + 6*b + 4. Let i be s(-1). Suppose 8*y + 3 = 19. Solve i*a = y*a + 2*j, -2*j = 4*a + 24 for a.
-4
Suppose 6*o + 5*o = 0. Suppose o = 6*p - 4*p - 8. Solve -4*v + 11 = -p*f - 5, 3*v - f = 12 for v.
4
Let m = 14 - 176. Let j = -157 - m. Solve -5*c + 14 + 26 = -j*z, -9 = -3*c - 2*z for c.
5
Let w(t) = -20*t**2 + 33*t + 18*t**2 + 35 - 5*t. Let l be w(15). Solve 3*h - l = -2*x, 0 = -3*h + h - 3*x for h.
3
Suppose f - y = 56, -f = 2*y - 81 + 28. Let a = -48 + f. Let p be 12/12*(7 + 1)/2. Solve 2*x = 2*t - 8, -2*t + a = p*x - 1 for t.
4
Let b be 24/(-72) + (-4)/(-3) + 1. Suppose 5*l - 2*g - 2*g = 10, 3*l - 2*g = 6. Solve 0 = l*s + 3*y + 11, y = -4*s + b*s - 5 for s.
-1
Let h be (3/15)/(6/40) - (-16)/6. Solve 5*t - 2 = -h*x, 0 = 5*t - 10*t - 2*x - 4 for t.
-2
Suppose -3*m - 2*u + 23 = 0, -u = -5*m - 3 + 24. Solve 4*y - 5*x + 1 = m*y, 4*x = -4*y - 12 for y.
-4
Suppose -4*h - 4*y = -32, -3*h + 2*y + 27 = -2. Let a(k) = 21*k + 1. Let t be a(-1). Let s = t + 30. Solve 3*q - 31 = -4*z - s, -4*z = -q - h for q.
3
Let d = 1416 - 1412. Solve d*z = 5*k + 6 + 9, 3*z = 2*k + 6 for z.
0
Let v = -357 + 337. Let i be ((-9)/27 - v/24)*0. Solve 0 = -d + 1 - 0, i = -2*m + 3*d - 13 for m.
-5
Let u(a) = -2*a**2 - 404*a - 2347. Let x be u(-6). Let v = 5 - 5. Solve x*m + 15 = -g + 5*g, -2*g + 3*m + 7 = v for g.
5
Let o be (-28)/(-8) + 1/2. Suppose 4*p = o*x - 24, -2*x - x = p - 14. Let t be ((-1)/2)/((-13)/(-286)) - -13. Solve z + 4 = -x*b + 23, t*b = 6 for z.
4
Let j(r) = -r**2 + 6*r + 9. Let f be j(7). Let k(y) = 5*y**2 - 17*y - 73. Let n be k(6). Let x = -1 - -3. Solve 2*o = -f*b + 12, 5*b = n*o - 3*o + x for b.
2
Suppose 2*l + 3*v = 154, 9*v - 20 = -l + 12. Solve 2*i + 4 = 4*x, l*i + 6 = 85*i - 2*x for i.
-4
Let a(d) = d + 1. Let s be a(4). Suppose 27*o - 23*o + 32 = 0, 5*n - 33 = o. Solve 0 = 2*m - 3*y - n, -3*m + 0*m + s*y + 9 = 0 for m.
-2
Suppose -s - 58 - 30 = 0. Let w = -64 - s. Let r be (w/14)/(2/42). Solve 4*f + 3*d = 3 + 1, -5*f + r = -4*d for f.
4
Suppose -2*h + 33 + 1 = i, 3*i + h - 77 = 0. Suppose -5*v = 0, -5*n + 1 = -4*v - i. Solve c + 9 = -3*t - 2*c, 15 = -n*c for t.
0
Let w = -114 - -137. Suppose 20*o - w*o = x - 16, o - 8 = -3*x. Solve o*q = a - 22, 3*q = a - 3*a - 21 for q.
-5
Suppose -5*x + 24*b - 2 = 25*b, -3*b - 21 = 0. Solve 5*s + 5*u - 10 = 0, -u - 2 = -x for s.
3
Let k be 10*(-26)/(-6) - (-8)/(-6). Let u = 32 - k. Let m be (16/u*(-15)/(-6))/(-2). Solve -20 = -2*o - 4*n + 8*n, -2*o - m*n = 4 for o.
2
Suppose -137*v + 2092 = 9*v - 536. Solve -16*q = -v*q + 4*u + 8, -5*u = 4*q + 36 for q.
-4
Let q(i) = i**3 + 51*i**2 + 142*i - 94. Let u(t) = 2*t**2 + 31*t - 6. Let x be u(-14). Let c be q(x). Solve 0 = -5*a + 3*l - 14 - 4, 2*l = c*a + 8 for a.
-3
Let m = -2030 + 1949. Let i = -2 - 83. Let t = m - i. Solve 28 = 4*r + t*j, 2*j - 22 = -4*r - 0*j for r.
4
Let h = -9 + 12. Suppose -d - h*s + 8 = 0, 4*d + 0*s - s = 84. Let b(p) = -186*p - 3158. Let o be b(-17). Solve 4*r = -4*q - d, -o*r + 3*q = -11 - 4 for r.
0
Let v be (-48)/(-20)*45/12. Suppose -42*k + 46*k - 8 = 4*m, 4*k = 3*m + v. Let f(j) = 4*j + 5. Let d be f(5). Solve -3*t = 5*i - 15, i + 2*t + k*t = d for i.
0
Suppose -21*r = -10*r - 682. Let n = r + -7. Let l = n - 53. Solve 0 = v + 4*j - 20 - 3, -5*j = -l*v - 19 for v.
3
Let h = -8307 - -8312. Solve -h*k + 57 = 5*r + 12, 2*r - 6 = k for r.
5
Suppose -z - 4*z = s - 367, z = -4*s + 81. Let u = z - -56. Suppose -5*p = -u + 4. Solve 5*d + 0*d = -5*j - p, -2*j + 2*d - 10 = 0 for j.
-5
Let i = -16 + 20. Suppose 0 = 15*n - i*n. Solve n = -5*y - l - 11, 0 = -3*y + l - 3*l - 8 for y.
-2
Let b(d) = -d**2 - 37*d + 784. Let t be b(-52). Suppose 5*k - 14 = -3*l, l + 1 + 17 = 4*k. Solve 0 = -5*f + z - 18, t*z - 6*z = k*f + 20 for f.
-4
Let j = -23 + 33. Suppose -6*n - j = -16*n. Suppose 6*w - 3*w + q = n, -5*w + 2*q = -20. Solve 5*t + 4*s = 3, 3*t = t - w*s for t.
3
Suppose 3*g + 2*f - 92 = 0, -3*f = -g + 1366 - 1339. Solve 28 = -4*c - 5*y - 7, -3*c - 5*y - g = 0 for c.
-5
Suppose -3*i = -0*i. Let o be (-40)/120 - 50/(-6). Suppose i = -q + 6*q + 20, 3*q = -5*t + o. Solve -t*c = -5*m + 29, -2*m - 3*c + 0 = -7 for m.
5
Let j be (-38)/(-12) + 1/(-6). Let u = 163 - -30. Suppose -4*k + 3*m + u = 0, 3*k + 5*m - 174 - 7 = 0. Solve -3*q + j = -3*h, 5*q + 17 - k = -5*h for q.
4
Let q be (-24)/(-48) + 7/2. Solve -2*h = -q*n + 15 + 15, -50 = -5*n + 5*h for n.
5
Suppose 0 = -4*f + 11 + 9, -2*k = -4*f - 310. Let v = k + -156. Solve 4*t = -4, 3*p - 3*t + 0*t = -v for p.
-4
Suppose 3*u + g + 9 = 10, -3*g = -4*u + 23. Solve -2*d - 2*t + u = -d, 2*d = t + 4 for d.
2
Let n(t) = -10*t + 293. Let m be n(29). Solve -m*g + 9 = -5*r, 2*g + 0*r + 10 = -2*r for g.
-2
Let q be 200/52 - 8/(-52). Suppose 0 = q*c - 16*f + 15*f - 14, -8 = 4*f. Solve n + 5 = c*k, -3*k - 5*n - 25 = -6*k for k.
0
Let v(m) = 2*m**2 + 10*m - 3. Let y be v(7). Let c be (-1)/(5/y*1). Let j = c + 35. Solve -r - 3 = -5*u, 4 = 4*r - j*u - 2*u for r.
2
Let y = -6739 - -6743. Solve q - 11 = -3*j, -y*j + 5*j - q - 5 = 0 for j.
4
Let l = -9730 - -9734. Let s = 15 - 9. Suppose -4*t + 7 = -9. Solve 5*u = 2*k - s, l*u = -0*u + 2*k - t for u.
-2
Let q = 811 - 817. Let d be q*(-4)/(-16)*-2. Solve 3 = a + d*t, 0 = 6*a - a + 4*t - 15 for a.
3
Let c = 3689 + -3685. Solve -5*m = -i + 30, 20 = -c*m + 2*m + 2*i for m.
-5
Let q = -103 + 185. Let f = q - 72. Let y be f/15 - 268/(-12). Solve -i + 11 = -3*i + 3*p, 5*i - 3*p = -y for i.
-4
Let p(g) = g**3 - 18*g**2 + 46*g - 12. Let m be p(15). Solve -x - 2*w - 2 + 5 = 0, m*x + w + 11 = 0 for x.
-5
Let w = -2755 + 2778. Solve 3*j + 15 = -5*r, 0 = j - 5*r + 8 - w for j.
0
Let g(x) be the third derivative of -x**4/12 + 25*x**3/3 - 12*x**2 + 2*x. Let r be g(17). Solve 5*f + r = -d, d = -4*d + 2*f + 1 for d.
-1
Suppose 36*c + 217 - 325 = 0. Solve 2*l - 9 = 3*b, b = c*l - 3*b - 13 for l.
3
Suppose -19*j + 6 = -13*j. Let i be j/((-4)/(-52)) - 3. Solve 0*k - 3*o = -k - 5, 2*k - 2*o + i = 0 for k.
-5
Let m(g) be the first derivative of -14*g**2 + 168*g + 95. Let z be m(6). Let c be ((-3)/5)/((-2)/10). Solve s + 7 = j + j, z = c*s + j for s.
-1
Let z = 32 - 24. Suppose -z*p - 56 = -312. Let t = p + -30. Solve 16 = 4*x + u, t*x = u - 0 + 8 for x.
4
Suppose 0 = -0*u + 2*u. Suppose 0 = -2*h + 4*k + 276, 2*h - 294 = -u*h 