2 for r.
2
Suppose 0 = 2*u + 3 - 7. Suppose -4*z + 4 = -4*h, 2*h + 4*z = 16 + 12. Solve 0 = 5*k - 5*v - 15, h*k - 9 = u*v - v for k.
2
Suppose u = -4*n + 13, 2*u - 2 = -0*u. Suppose -n*y = -2*l - 10, 5*l - 17 = y - 4*y. Solve 5*z + 40 = -5*d, -3*z + d - 5 + l = 0 for z.
-3
Let k be 12/20 + (-9)/15. Suppose k = 7*s - 28 - 7. Solve 4*d + 5 = -o + d, 2*o - 1 = s*d for o.
-2
Let u = -24 + 32. Let t be u/(-6)*(-36)/48. Solve 5*f + 14 = p, -4*f - t = 4*p + 15 for p.
-1
Suppose -b - 7*b - 16 = 0. Let y(h) = h**2 - h - 3. Let i be y(b). Solve v = 4*a + 8, -4 = -v - 3*a - i for v.
4
Suppose 4*l - 2*l = 4*w + 60, -4*l - 4*w = -156. Let o = -18 + l. Solve 0*k - 3*c = 2*k + o, -2*c = -k + 5 for k.
-3
Let v = -13 + 6. Let u(w) be the first derivative of -w**2/2 - 3*w + 1. Let n be u(v). Solve n*b + 13 = j, -2*b = -3*b - 4*j + 18 for b.
-2
Let c be (-8)/(-20)*(5 + 0). Let y be 6 + (-1)/(0 - 4/(-20)). Solve 1 = -3*k - 2*v - c*v, 0 = -v - y for k.
1
Let a(s) = s**2 - 1. Let r(z) = 6*z**2 + 6*z + 6. Let h(p) = -5*a(p) + r(p). Let q be h(-3). Solve y - 3*m = -y, q*y - m = 0 for y.
0
Let d be 6/14 + 160/35. Let o be d/15 - (-2)/3. Let w be (14 - 7)/(0 + o). Solve x = -q, 2*x + 3*x - 2*q = w for x.
1
Let s be ((-32)/(-40) + -1)*-5. Solve -5*t - s = 2*u - 4, 4*u = -t + 15 for t.
-1
Let h be -8 - -6 - ((-3)/(-3) + -7). Solve 0*f - h = -v - f, v + 5*f = 16 for v.
1
Suppose 4*i - i = 132. Let x = 46 - i. Solve v + o - 1 = -x*o, 4*o = -4*v - 4 for v.
-2
Suppose 0 = 26*d - 30*d + 20. Suppose -22 = -d*h + 8. Solve -3*r + 3*g - h = 6*g, g + 8 = 5*r for r.
1
Let z be 18/(-162) - 53/9. Let v be 5/2 - z/12. Let a be ((-3)/3)/1*-5. Solve 16 = -4*h - a*n, 4*h - n - 5 = v*h for h.
1
Let a be 3 + (4 + -5)/(-1). Suppose a*w + 10 = 22. Suppose 5*u = 4*b - 3, -5*b = -w*u + u - 8. Solve -b*o = -2*n + 7 - 1, n - 18 = 4*o for o.
-5
Let w = 8 + -10. Let v be w/5 - (-66)/15. Let t be (v/14)/((-1)/(-7)). Solve -4*l = s - 3*s + 10, -t*s + 2*l = 0 for s.
-5
Suppose -1 = -a + 1. Let s be (-1458)/42 + a/(-7). Let h = s + 40. Solve -5*r - h = -5*t + 5, -r - 4*t = -8 for r.
0
Suppose 2*q = q. Let a be 6/(-42) + (-2)/(-14). Let x = 5 - a. Solve t - 5*l - 8 + 3 = q, -x*l - 10 = 0 for t.
-5
Let o(k) = k**3 - 22*k**2 - 23*k + 2. Let s be o(23). Solve s*a = 5*v + 16, -4*a = 4*v - 1 - 3 for a.
3
Let n be (14/7)/((-2)/(-3)). Suppose 3*a + 3*r = 2*a, -n*r + 6 = 3*a. Solve 4*u = -3*s + 31, 0 = a*s + u - 2 - 17 for s.
5
Suppose 0 = 4*w - 1 - 11. Suppose 5*q + 5*z = 65, 7*z + 20 = 4*q + 3*z. Suppose w*b + 0*b = q. Solve b*j = -4*r - 7, -4*j - 11 = r + 7 for j.
-5
Let b(g) = g**3 + 8*g**2 - 9*g + 3. Let x be b(-9). Suppose -5*c = 3*f - 12, 5*c + 2*f + 0*f = 8. Solve 3*n = -c*n, x = -i - 5*n for i.
-3
Let q = 35 - 23. Let w(m) = -2*m + 27. Let v be w(q). Solve -4*u - 27 = v*c, 0 = -3*c + 2*c - 4*u - 17 for c.
-5
Suppose -12*i = -i. Solve -5*s = 2*u + 26, i*u - 3*s - 6 = -2*u for u.
-3
Suppose 14 = 6*a + 2. Suppose 4*l - 5*o + 26 = 3*l, a*o + 4 = -2*l. Let b be l/(-2 - (-52)/32). Solve -r - 19 = -5*p, 0*p = 5*p - 4*r - b for p.
4
Let x be (-3 - 1)*-1 - 8. Let t be 0/(-2 - (0 + x)). Suppose 4 + t = k. Solve 3*f - 2 = 2*g + 1, k = 4*f + 3*g for f.
1
Suppose 0 = -6*g + 9*g - 132. Let a = -39 + g. Solve 4*q = m - 3 + 20, -a = -q + m for q.
4
Let v = 24 + -21. Let o = v + 1. Solve 6 = 2*l + o*d, -4*l - 5*d = -d for l.
-3
Let c be 5/(-10) - 50/4. Let y = c - -19. Solve -2*v + y = -t, 0 = -2*t - v + 2 + 6 for t.
2
Let i(j) = -j**2 - 6*j - 7. Let a be i(-3). Suppose -5*s + 2*z + a*z = -68, -3*s - 2*z = -32. Solve -3*g + 27 = -4*w, -s = 3*g - 5*w - 42 for g.
5
Let o = -131 + 138. Solve -2*q + 11 = -5*n - 8, -5*q + o = n for n.
-3
Suppose 0 = -2*g, 2*g = 2*u - 2*g - 112. Suppose 4*b - 4 = u. Solve -4*m - 16 = -6*p + p, -3*p = 3*m - b for p.
4
Suppose 3*a + 5*j - 32 = 0, -2*a - j + 12 = -a. Let z = a + -30. Let r be ((-8)/z)/(1/4). Solve 2*s + 1 = 5*y, r*y + 0*y + 4*s = -14 for y.
-1
Suppose -4*l = t + 5, 85*l = 81*l - 2*t - 10. Solve d + d - 3*u - 1 = l, 0 = 2*d + 2*u - 6 for d.
2
Suppose -2*r - 3*d + 21 = r, -4*r + 5*d = -37. Suppose 0*a - r = -2*a. Let o = 29 + a. Solve 4*j + 5*t = o, -4*j + 15 = j + t for j.
2
Suppose p = -16*h + 11*h + 27, -2*h + 16 = 3*p. Solve -f - 5*n = 8, 5*n - n - 2 = p*f for f.
-3
Let k be (-24)/(-14) + 4/14. Suppose 5*a + 3*i = -2, -k*a - i - 1 = -0. Let p be a*(-4)/3*3. Solve -3*r = p*t - 3*t + 1, 2*r + 6 = 2*t for t.
2
Let i = -74 - -131. Suppose -87 - i = -9*a. Solve 3*t + h = a, 2*h - 32 + 10 = -4*t for t.
5
Let w(x) = x**2 - 2*x + 6. Let r be w(4). Suppose -1 = -5*o + r. Suppose 0 = -11*p + 55. Solve -4*a + 0 = -20, 35 = -p*j + o*a for j.
-4
Let x(q) = -5*q + 1. Let g be x(-5). Suppose -4*o = -5*y - 8*o + 83, g = 2*y - 2*o. Let w be (y/6)/(2/4). Solve 0*l - 26 = -4*d - 2*l, w*d + 3*l - 35 = 0 for d.
4
Suppose -60*w - 36 = -62*w. Let y be 60/w*3/2. Suppose u - 20 = -3*u - 4*q, y*q - 22 = -4*u. Solve -8*j + 14 = -u*i - 4*j, 2*i = -4*j + 24 for i.
2
Let q(m) = -m**3 - 2*m**2 + m - 1. Suppose -y - 3*t = y + 15, 2*t = 5*y + 9. Let i be q(y). Solve -j = 1, 2*d + 2 + 1 = i*j for d.
-4
Let a = -595 - -600. Solve 0 = -c + 4*g - 6, 0 = 5*c + a*g - 1 + 6 for c.
-2
Let i = -8 - -10. Suppose -8 = -5*c - 5*g + 7, -6 = -c - i*g. Suppose 0 = -5*d + 4*d + 2. Solve c*n + 2*n = -3*x - 6, x - n + d = 0 for x.
-2
Let n = 92 + -88. Suppose -2*x + n*m = 20, -x - 4*x - 5*m + 25 = 0. Solve -3*i + x*f + 5*f - 11 = 0, 4*f = -i + 19 for i.
3
Suppose -45 + 9 = -4*a. Suppose 0*x - 3*x = -a. Solve -2*m = -3*k + 5, 0 = -2*m + 3*k - 2*k - x for m.
-1
Let k = 89 - 79. Let z = 35 + -31. Solve 2*p + k = 2*r, -z*r = -p - p - 16 for r.
3
Let s be ((240/(-9))/(-4))/((-3)/(-117)). Suppose -5*f + 0*j + s = -3*j, 0 = 3*f - 2*j - 156. Solve 5*o - 17 + f = 2*y, y + 5 = -2*o for o.
-5
Let q(x) = -8*x + 26. Let u be q(3). Solve -5*y - h = -15, -3*y + 3*h - 19 = -u*h for y.
2
Suppose -1 = -6*u + 5. Let m = 8 + u. Let t = m + 9. Solve -3*q = 3*c - 18, q + 5*c = 2*q + t for q.
2
Let b = -694 + 696. Solve -2*o + 3 + 18 = 5*f, -b*o + 18 = 4*f for f.
3
Let l = -250 - -252. Solve 3*q = q + l*m, -2*q - m = -12 for q.
4
Let l be 6 - -9 - 4/(20/15). Solve q = -3*w + 7, -9*q + 13*q = 4*w + l for w.
1
Suppose 0 = -0*i - 2*i + 8. Suppose 0 = 5*x + 2*d - 13, i*x + 5*d - 24 = -0*x. Solve -3*w = 3*z - 4*z + x, w = -3*z + 13 for w.
1
Let r(f) = 3*f**2 - 2*f - 2. Suppose -4*a = -3*a - c, -a - 5*c - 6 = 0. Let q be r(a). Let t = q - -1. Solve t*y - j = -0*j - 18, -9 = 3*y - 3*j for y.
-5
Suppose 7 + 23 = 3*j. Let k be -10*(-2)/30 + 4/(-6). Solve 4*w + 5*i + 9 = k, -j = 3*i - i for w.
4
Suppose i = -2*i + 6. Let q be (23 - 23)*i/6. Solve -2*s + 22 = 4*n - 0*n, 3*s - 3 = q for n.
5
Let x(k) = k**2 - 2*k - 6. Let h be 2/4 + (-125)/50. Let d be x(h). Solve 0 = -d*j + j - q, -q = 5 for j.
5
Let n be 6/(-3)*-1 - -1. Suppose -6*i - 39 = -57. Solve j - 4*j + 13 = 4*x, 0 = -n*j - i for x.
4
Let o(g) be the first derivative of g**2 + 23*g - 3. Let b be o(-10). Solve -5*i + j = 21, b*i - 6*i = -3*j + 3 for i.
-5
Suppose -10 = -0*x - 2*x - 2*y, 3*x - 13 = -y. Solve -t = c + 6 - x, 0 = -4*c + 5*t + 10 for c.
0
Suppose -74*s - 40 = -84*s. Solve 5*a - 12 = a + 4*c, s*a = 3*c + 10 for a.
1
Let d(l) = 3*l**3 - 51*l**2 + 2*l - 32. Let y be d(17). Solve 3*n - 4*m = 17, -y*n + 3*m + 7 + 5 = 0 for n.
3
Suppose 0 = -18*u + 21*u + h - 6, -5*h = 5*u - 10. Solve -q - 1 = 3*z - 3, -u*q = z - 4 for z.
0
Let r = -158 + 162. Solve r*g + 4 = 3*o - 5*o, g = 4*o - 1 for o.
0
Suppose 0 = 5*y, 2*y = 4*f - 1 - 11. Suppose z - f*z + z = 0. Solve -2*a + z + 14 = 5*u, a = -3*u + 8 for u.
2
Suppose 0 = -2*r + 7 - 3. Suppose 34 - 56 = -4*h + 2*s, 0 = 3*h - 5*s - 27. Solve 3*k = k - 3*n - h, r*k - 12 = n for k.
4
Suppose -4*p + 61 = -n - 22, -29 = -p + 3*n. Let c be 32/p + 2/5. Solve 4*f = 2*q + 2, 0*f + 3*q = c*f + 9 for f.
3
Suppose 2*c - 15 = -3*y, -20 = -5*y + 2*c + 5. Suppose 9*n - 4*n - 65 = 0. Let r = 33 - n. Solve 2*l - 4*u = -r, l = -l - y*u + 16 for l.
-2
Suppose -3*x - 5*c + 35 = 0, -x + 10*c - 12*c + 13 = 0. Suppose 5*p - 14 = -2*s, -3*s = -6*s - 9. Solve -24 = -2*y + 4*i, x*i + 0*i = p*y - 33 for y.
2
Suppose -42 - 12 = 6*q. Let z(g) = -g**2 - 3*g + 56. Let m be z(q). Suppose 3*k = -0*k + 18. Solve -m*s + k = -2*a, 15 = 5*s - 2*s + 3*a for s.
4
Let a be 3/21 + (-15)/7. 