a + m*u, -1 - 5 = -3*u for a.
0
Suppose -110 = 112*l - 446. Solve 5*f - 19 = -l*o, -f + 4 + 4 = 2*o for o.
3
Let d(o) = 0*o + 3 + o**2 + 6*o + 6. Let z be d(-4). Solve z + 7 = f - 4*h, -f = -3*h - 7 for f.
4
Let n(r) = r. Let g(l) = 3. Let z(d) = -g(d) - 2*n(d). Let o be (16/(-4) - 0) + 1. Let p be z(o). Solve -4*v - 15 = -v + p*u, 0 = -2*u - 4 for v.
-3
Suppose -4*y + 132 = -0*y. Suppose -11 = 2*o - y. Let g = o + -7. Solve 2*k - 1 = 2*b - 7, 2*b = g*k + 12 for b.
0
Let v(b) = -b**2 + 13*b - 7. Let k be v(12). Let t be (4/(-1) + 4)*1. Solve -k*y + t*j - 2*j = -20, 3*y - 12 = -5*j for y.
4
Let n = 89 + -84. Solve -2*j = -4*j + 3*k + 10, n*j + 1 = k for j.
-1
Suppose -500 = -0*o - 5*o. Suppose 3*q = -15, 5*b = 2*q - q + o. Solve -2*t - 5*l = b, -2*t - 40 = -7*t + 5*l for t.
3
Suppose 85 = 3*m + 2*m. Suppose 0 = 3*d - m - 31. Let k be ((-17)/68)/((-2)/d). Solve -5*h + 5*f + 30 = 0, -2 + 4 = -k*f for h.
5
Let l be ((-6)/(-15))/(3/165). Let q = -19 + l. Solve 4*a = q*r + r - 12, -2*r - 1 = 5*a for r.
2
Let b = 893 - 891. Solve 4*r = -8, 8 = -3*v + b*v - 4*r for v.
0
Suppose 0*n - 6 = -2*n. Suppose n*u = d + 7*u + 13, -4*d + 5*u = -32. Solve 5 = 3*h + 2*f - d, -4*h + 5 = -3*f for h.
2
Suppose 3*l - 31 = j, 4*l - 68 = -4*j - 0*j. Let g = 32 + -22. Suppose g*w = l*w. Solve w*v = 5*v - 5*i + 15, 0 = i for v.
-3
Let m be (10/(-35))/(12/(-252)). Solve -m*y = -y + 4*g + 14, 2*y = 2*g - 2 for y.
-2
Let i be (-10 - 1)/(((-4)/6)/2). Suppose -i = -3*o - 24. Solve 0 = 5*c + 7 + 3, -o*v - 2*c = 4 for v.
0
Suppose 3*f + 4*c = 15, 5*f + c - 6 = 2. Solve 0 = -2*p + 2*d + 12, -3*p + d = f - 11 for p.
2
Suppose 15*k + 6 = -5*z + 18*k, 5*k - 10 = 0. Solve -12 = 3*r - z*r + 3*d, 2*r + 4 = 2*d for r.
-3
Let k(z) be the third derivative of -z**5/20 + z**4/24 + z**3/2 - 18*z**2. Let x be k(0). Solve 0 = -v + j - 2, -25 = -v - 5*j + x for v.
3
Let j(l) = 2*l + 3*l + 0*l - 23 + 0*l. Let c be j(5). Solve -c*g = 5*w + 33, -5*w - 18 = g + 11 for g.
-4
Suppose -4*a - f - 3*f + 80 = 0, a - f = 30. Solve 3*y - 7 = 7*t - 9*t, 0 = -5*t + a for y.
-1
Let x be 1*(-8)/6 - 230/(-15). Solve 5*a = -5*u - 25, -4*a - x = 3*u - u for a.
-2
Suppose -8*m = -13*m + 90. Let b be 0 + (-12)/4 + m. Suppose b = -3*v, -z + 5*z + 4*v = -8. Solve r = -5*s + 4, 3*s - 12 = -z*r - 0*s for r.
4
Let n = 1018 - 1016. Solve -5*s + 4 = 2*t + 6, n*s = 0 for t.
-1
Suppose l + 1 = 2. Suppose 6*a - 20 = -56. Let h be a/(-3) + 2 - l. Solve -h*f = -i - 18, -6 = -5*f + 19 for i.
-3
Suppose 3*l = -25*t + 26*t + 8, 0 = -l - 3*t - 4. Solve -l*y - 3*z - 10 = 0, -y - 5 = -0*y - 5*z for y.
-5
Let f(y) = 501 + 2*y - 490 - y. Let j be f(-8). Let a(p) = p**3 - 5*p**2. Let r be a(5). Solve -j*w + 9 = r, -8 = 5*o + 5*w - w for o.
-4
Let q = 27 + -44. Let i = -13 - q. Solve -y - 3*h + 5 = y, 3*h - 1 = -i*y for y.
-2
Let q(s) = s + 2. Let y be q(0). Suppose 0 = -5*r + r + 144. Let i = -36 + r. Solve 3*o - 5*c = 23, -22 = -y*o + 5*c - i for o.
1
Let d be (-3 - 45/(-21))/(3/(-14)). Let c(k) = -k**2 + 8*k - 12. Let z be c(d). Solve 6 = s + 3*y, 0 = 3*s - 2*y + z for s.
0
Let p = 30 - 30. Suppose 0 = -3*a + 6*a - 2*m, -5*a + 3*m + 1 = p. Solve -3*w + 11 = a*x - x, -5*x - 15 = w for w.
5
Let f(w) = 2*w + 11. Let u = 25 + -29. Let c be f(u). Solve 0*r - c*r + 10 = -t, r + 5*t + 18 = 0 for r.
2
Let r(u) = u**2 - 5*u - 9. Let k be r(6). Let c = 9 - k. Solve 0 = -3*n - 3*x + 6, -3*n - x = -c for n.
5
Let x(o) = -o + 6. Let r be x(2). Suppose m = 5*y - 0*y + 12, -r*m = -3*y - 14. Let d be (-6)/(-3) + 2/m. Solve -l - 2*s + 3*s = 0, d*s = 4*l for l.
0
Let p be 4 - ((2 - 2) + 1). Let f be 1 - (0 + (-6)/3). Let g be 1/f - 24/72. Solve g = -3*h + p*m + 3, -2*h + 4*m + 7 = -h for h.
-1
Suppose 2*p + 3*q - 32 = 0, 3*p - 4*q - 29 = 2. Solve 0*f + f + 5*i = -p, 3*f + i + 11 = 0 for f.
-3
Suppose -5*k - 3*g + 13 = 0, 4*k - 5 = 3*g - 0*g. Suppose 10 = -k*v, 6*v = 5*q + 5*v - 55. Solve o + 2*y = q, -o - o + 5*y = 7 for o.
4
Let i = -23 + 21. Let y be 4*(-1 - 3/i). Solve -y = 4*g - 3*x, 6*g - 2*x = 2*g for g.
1
Let f(b) = -b**2 - 6*b + 5. Let q be f(-6). Suppose 5 = -q*d - 55. Let o = 17 + d. Solve -2*j - 2*g + o = 3*j, -4*j - 13 = 5*g for j.
3
Suppose 2*m = 0, 0 = 5*j - 0*j - 5*m - 125. Suppose -18*n + 11*n = 0. Suppose -6*a = -2*a + 20, n = -5*i + a + j. Solve -2*g = i, -3*f - f + g - 6 = 0 for f.
-2
Let j be (1 + 4)*(-102 - -103). Solve 0 = q - 4*k - 1, j*q - 29 = -3*k - k for q.
5
Suppose -5*l = 20, -u - 6*l = -3*l + 7. Solve -n = u*j + 10, -2*n + n - 3*j - 8 = 0 for n.
-5
Let d(x) = x + 10. Let h be d(-8). Suppose -h*s + 25 = 13. Let p be 0*(-5)/(1 - s). Solve p = m - 2*b - 7, 0*b + 2 = 2*m - b for m.
-1
Suppose 5 = -11*r + 12*r. Solve -5*y - 14 = -3*g, -3*y - 18 = -r*g - 0*y for g.
3
Let q(d) be the first derivative of -d**3/3 + 6*d**2 - 4*d + 7. Let f be q(10). Let g = -11 + f. Solve 2*t - 4 = t, g*x - 5*t = -30 for x.
-2
Let i = -26 - -32. Let o be (-416)/(-80) + (i/(-5) - -1). Solve 32 = 4*r - 3*d, 0*d = -2*r + o*d + 30 for r.
5
Let d be (-92)/(-18) - 17/153. Solve d*g = j - 15, 3*g + 12 = -g for j.
0
Suppose 8*j + 11 = 13*j + 2*u, 3 = -j - 3*u. Solve 5*s - j*x + 0*x - 7 = 0, -s = -2*x for s.
2
Suppose 2*w + w = -5*i + 26, 0 = 2*w - 4. Suppose -12*b + 15*b = 9. Suppose b*a = a + 12. Solve o - i = -o, -v - a = -5*o for v.
4
Let n = -1414 - -1414. Solve 2*d + 10 = n, -3*d = s + 2*s + 18 for s.
-1
Let y be -26*(4 + -3 + -2). Suppose -2*j - 50 = -2*m, -3*m - 2*j + 79 - 9 = 0. Suppose -5*n + m = -4*n. Solve -o - y = 4*w + 2*o, -2*o = 4*w + n for w.
-5
Let b = 41 + -9. Let z = -4520 - -4524. Solve -5*v - 16 = s, 4*v + 0*s = z*s - b for v.
-4
Suppose 22 + 14 = 12*y. Solve -f = x + 1, -y*f + 4*x + 8 + 3 = 0 for f.
1
Let k(v) = -3*v**2 - 22*v + 61. Let q be k(-9). Solve -g - q = -5*g - 5*a, 20 = 5*g - 5*a for g.
4
Let v = -1 + 3. Suppose 4*q - 6 = v. Suppose -4*o - q*n + 40 = -7*n, 5*o + 2*n - 17 = 0. Solve 0*c + 14 = -4*u - 2*c, 16 = -o*u - c for u.
-3
Suppose -12 = -2*i - 3*d, -11*i = -10*i - 4*d + 5. Solve -3*s + r = -4*s - i, 0 = s + 3*r + 11 for s.
1
Suppose 3*w = -4*w + 8*w. Let v(r) = r + 10. Let g be v(-6). Solve 3*d + 4*l + g = w, -2*d + 0*d + 2*l = -2 for d.
0
Let v(i) = -i**3 + 9*i**2 - 7*i + 12. Let y be v(8). Let l = -14 + y. Let j(s) = s**2 - 5*s + 14. Let n be j(l). Solve 5*z + n = 3*b, -z + 8 = -b - 3*z for b.
0
Let p be (-44 - -55) + 4*-1. Solve 6 = 4*h - 5*x, 0 = 5*h - 5*x - p - 3 for h.
4
Let z be 0*(7 + -18)/33. Solve 2*w - 3*w - 2*b + 2 = z, -3*w - 3*b = 0 for w.
-2
Let r be (-1 - -1)*(-70 + 71). Solve 4*k = 0, r = -x - 3*k - 4 + 2 for x.
-2
Suppose 5*y = -5*s + 70, -s + 6 = -y - 14. Suppose s = 2*o + 13. Solve 4*l = o*l - 5*v - 11, 2*l - 3*v = -3 for l.
-3
Suppose 0*y - 1199 = -3*y - s, 0 = -3*y - 5*s + 1195. Suppose -3*l + 8*l = y. Suppose 3*h - l = -2*h. Solve 4*b = h, -2*q + 18 = -4*q + 3*b for q.
-3
Let s be ((-10)/9)/5 - 60/(-27). Solve 2*a - s = -5*k, 3*a + k + 10 = -0*a for a.
-4
Let p be 232/48 - (-1)/6. Let u(r) = r + 1. Let v be u(-6). Let g be (p - v)*(-4)/(-10). Solve -g*q + 3*o - 21 = -q, q - 17 = -5*o for q.
-3
Let x be 4*((-18)/(-8))/3. Let c(f) = 8*f**2 - 4 + 9*f**3 - 5*f**3 - 2*f**3 - 3*f**3 - 13*f. Let l be c(5). Solve -3*i = x, -3*b = -l*b + 4*i - 8 for b.
-4
Suppose 0 = 3*m - 0*m. Suppose -2*v + v + 9 = m. Suppose 6*t - 9*t = -v. Solve -5*w + x = -6 + 25, -t*x = -12 for w.
-3
Let f = 222 - 203. Solve z + 5 = 4*x - 5, 5*z - f = -3*x for z.
2
Let z = -15 - -20. Suppose -14 = -z*v + 3*y, 15 = 4*y - 9*y. Solve 3*m - v + 4 = -c, -9 = 3*c - 3*m for c.
-3
Let r = -121 - -124. Let l = 40 + -38. Solve 0 = -3*n + 9, r*a = -l*n - 0*n - 9 for a.
-5
Suppose 393 = 6*d - 513. Let n = d + -148. Solve n*f + 18 = -5*r + 6, -r = 0 for f.
-4
Suppose 0 = l + 69 - 100. Let f = 3 + -4. Let z(y) = -6*y**3. Let w be z(f). Solve 4*x = 2*j + 24, -3*j = x - w*x + l for x.
5
Let j = 31 + -31. Suppose j = -5*g - 0*g + 25. Let f = -2 + g. Solve c + f = -m, -3*m - c - c - 11 = 0 for m.
-5
Let s = -1007 + 1019. Solve -2*n = 4*q + s, 3 = n - 2*q - 7 for n.
2
Suppose -3*h - 17 = -k, 4*k + h = -h + 12. Suppose 0 = -k*i - 5*l, 3*l = -i - 8 - 0. Solve 2*r = -3*z - 8, -4*z + 2*z - 16 = -i*r for r.
2
Suppose 0 = 5*o + 9 - 49. Suppose -54 = -o*g + 2*g. Suppose k = -2*z + 15, -k + 12 = 3*z - 12. Solve -2*l - z = 5*s, -l = 3*s + s + g for s.
-3
