r q.
5
Let p be (2 + -3 - -2)*11. Suppose 5 = 12*s - p*s. Solve -2*l = -s*l + 3 for l.
1
Let d = 9 + 6. Let q be (-3 + 92/24)*6. Solve -2*j + d = -q*j for j.
-5
Let h = 33 - 21. Let d be (6/(-5))/(12/(-40)). Suppose d*g - 2*f - 2 = 0, -3*f = 4*g + 2*f - 23. Solve -g*o + h = -5*o for o.
-4
Let p = 56 - 39. Let n = 3 - p. Let s be 4/n - (-4)/14. Solve s*t + 1 = -t for t.
-1
Let j be (-2)/(-3) - 60/(-18). Suppose -2*b + 3*n + 20 = 0, b - j*b - 3*n = 0. Solve 3*d = 2*d - b for d.
-4
Let k be 99/2 + 4/8. Let o = k - 35. Solve 8*v - 3*v + o = 0 for v.
-3
Let v be (1/(-2))/((-2)/8). Suppose h - 18 = -v*h. Suppose -5 = -h*t + t. Solve -5 + t = -2*g for g.
2
Let r(m) = -21*m - 2. Let a be r(-1). Let l = -14 + a. Solve -l*z = 7 + 13 for z.
-4
Suppose -u - 10 = -6*u. Let y be (20/8)/(u/4). Solve -11 + 1 = y*p for p.
-2
Suppose -5*n - 19 = -2*g - 10*n, 3*g + 3*n - 51 = 0. Suppose 0 = 2*r + 2*b - g, 0 = -5*r - 2*b + b + 43. Solve -r = -2*m + 4*m for m.
-4
Let w be 32/12*(-6)/(-4)*1. Solve -w*c = c for c.
0
Suppose 0 = -3*o - 1 - 2. Let h(x) = -2*x + 1. Let u be h(o). Solve -u*g = g - 20 for g.
5
Let h(m) = 7*m + 7. Let v(l) = -6*l - 6. Let g(p) = 4*h(p) + 5*v(p). Let w be g(-3). Suppose 3*s = -4*u - 0*u + 52, 3*u - 4*s = 64. Solve 4*q + u = -w for q.
-5
Let t(s) = s**3 + 4*s**2 + 3*s + 4. Let a be t(-3). Solve -7 = -a*f + 1 for f.
2
Suppose -8 = -4*d + 56. Solve 1 - d = 3*p for p.
-5
Suppose 0 = 2*i - y - 11, 3*i - 2*y + 0*y = 18. Solve v + v - i = 0 for v.
2
Suppose 0 = 6*b - 2*b - 8. Suppose 16 = 4*k, 56 = b*r + 3*k + k. Solve 0 = 2*t + 3*t + r for t.
-4
Let v(x) = -x**2 + 1. Let o be v(0). Let r be (45/(-6))/(6/(-8)). Let b(a) = a - 10. Let q be b(r). Solve q - o = -u for u.
1
Let z be 5 + (0/2 - 2). Suppose o + z*h - 4*h = -5, o = -2*h - 14. Let v be (-2)/3 - o/3. Solve -v = y - 0*y for y.
-2
Suppose 3*o = -3*o + 30. Suppose -3*t = -7*t - 16. Let r = 6 + t. Solve -5 = r*z + o for z.
-5
Suppose -3*p - 5 = -3*f + 1, f - 5*p + 6 = 0. Let k be 2/(7/(-9) - -1). Solve -b = -f*b + k for b.
3
Suppose -z = -i + 2*z + 8, -5*i - 2*z = -23. Suppose i*t = 4*c - 10, -6*c = -4*t - 2*c - 12. Solve 0 = l + t*l for l.
0
Let m = -64 - -69. Solve -19 = m*k + 6 for k.
-5
Suppose -9 = 2*m + 1, 2*m = 3*v + 20. Let z = -2 + v. Let f = z + 21. Solve -f = y + 2*y for y.
-3
Let r(q) = -q**2 + q + 3. Let t be r(3). Let g = t + 5. Suppose -s - 6 = -g*s. Solve -y - 5 = -s*y for y.
1
Let h(l) = -2*l - 12. Let g be h(-7). Solve g*b = -2*b + 16 for b.
4
Suppose -7*h + 18 = -5*h. Solve 4*j + 7 = -h for j.
-4
Let b(s) = s**2 - s - 3. Let x be b(3). Suppose 0 = x*k + n + 2, -4*k + n + 0 + 2 = 0. Solve h + k - 3 = 0 for h.
3
Suppose -a - 2*s = -12, 1 = -5*s - 4. Let i be 6/15 + (-2)/5. Let x be -2 + i + 3 + 1. Solve 4*f - x = -a for f.
-3
Suppose -r - 3 = -2*r. Suppose 7*p = r*p. Let a be 0/(-1*3/3). Solve p = v + 1 - a for v.
-1
Let n(k) be the first derivative of k**3/3 - 2*k**2 + k - 1. Let u be n(-4). Suppose -13 = 2*b - u. Solve b*x + 15 = 5*x for x.
-3
Let o = -71 - -75. Solve o*d = 6*d for d.
0
Suppose 2*q = -f, -4*q = -f + q. Solve -g - 4 = -f for g.
-4
Let y(d) = d**3 + d**2 + 4. Let m be y(0). Suppose 118 + 30 = m*l. Suppose -l = -3*k + 23. Solve -3*h + k = 2*h for h.
4
Let u be 38/14 + 2/7. Solve -f - u = 1 for f.
-4
Suppose y - 3*q = -4, 3 = 2*y - 0*y + 5*q. Let u be (y*(-3 - -3))/(-2). Solve 6*r - 3*r - 3 = u for r.
1
Let o(k) = k + 5. Let q be o(-5). Suppose q = -f + 9 - 5. Suppose 3*w + f*r = 9, -2*w - r + 9 = w. Solve -5*n - 8 = -w*n for n.
-4
Suppose 4*q + 4*d = -12, q - 23 + 6 = 4*d. Solve 3*h + 13 = q for h.
-4
Let y be -2*1/(-3 + 2). Let b = 18 + -11. Let f = 12 - b. Solve 3 = y*m + f for m.
-1
Suppose -7*j - 3 = -38. Solve -j = -i - 6 for i.
-1
Suppose 5 = -x - 3*a + 16, -5*x + 3*a + 1 = 0. Suppose 4 = -3*d - x*s, 7*s - 3*s = 4*d - 8. Solve d = 4*k + 8 - 0 for k.
-2
Suppose 4*m = 6*m - 6. Solve m*s - 4*s - 3 = 0 for s.
-3
Suppose 0*q = q - u + 1, 2*q - 3*u = 0. Let g = 1 - q. Suppose -g*x + 3*z + 10 = 0, -2*x = -2*z - 4 - 0. Solve -d = x*d for d.
0
Suppose 84 = 2*k + k. Suppose 5*h - h = -4*m - k, 2*h - 22 = 4*m. Let f be ((-12)/8)/(m/8). Solve 3*g - 4 - f = 0 for g.
2
Let k = 20 + 3. Solve 2 + k = 5*q for q.
5
Let p be 16*1*3/(-4). Let f be 2/6*p/(-1). Let h be 1/f - 95/(-20). Solve h*k - k - 4 = 0 for k.
1
Let d be -3*3/(-9)*2. Solve -5*n + 7 - d = 0 for n.
1
Let v = 28 + -24. Solve 2 = v*t - 14 for t.
4
Suppose -3*d + 3 = 0, -d + 51 = 5*x - 0*x. Solve -m - 4*m - x = 0 for m.
-2
Let d(t) be the second derivative of -t**3/6 - 11*t**2/2 + 2*t. Let a be d(-13). Solve j + 5 = a*j for j.
5
Let n be (-2)/4 - 4/(-8). Suppose 8 = -4*x - 4*u, -3*x - u - 2 = -n*x. Solve -2*j - 10 = -x for j.
-5
Let w(u) be the third derivative of -u**6/120 + u**5/10 - u**4/6 - u**3/6 - 6*u**2. Let d be w(5). Solve 4*a = 6*a - d for a.
2
Let r be (-3 - (-2 + 0)) + 1. Let s be 7 + r + 2/1. Let o(c) = -c**3 + 10*c**2 - 8*c - 9. Let k be o(s). Solve k*u + 3 = u for u.
3
Let v(z) = 2*z - 13. Let w be v(9). Let r = -3 + w. Solve r*h = h for h.
0
Suppose -39 = -5*m + 1. Solve 0 = -5*r - 3 + m for r.
1
Let p = 16 + -16. Solve 2*u = -p*u + 10 for u.
5
Suppose -2*v + 2*o = -10, 0 = 5*o - 0*o + 10. Solve -v*m - 2*m = -10 for m.
2
Suppose 3*c - 12 = y, 2*c + 6 = -2*y + 22. Solve c*v + 2 + 8 = 0 for v.
-2
Let u = 6 + 1. Suppose 1 - u = -3*l. Let a = 22 - 7. Solve 5*d - l*d = a for d.
5
Let p = 6 - 4. Suppose -2*v = -6, 5*v + 13 + 8 = 3*d. Suppose -5*z + 3 = -d. Solve -z*o = -5 + p for o.
1
Let o(j) = -j**2 + j - 3. Let n be o(0). Let b be 2/4*(n + 3). Solve -4*h + h = b for h.
0
Suppose 0 = 22*n - 19*n - 9. Solve -z - n*z = -16 for z.
4
Let q(u) = -u + 10. Let h be q(5). Suppose -2*c + 11 - 1 = 0. Solve -5 = h*t + c for t.
-2
Suppose 3*w = -0*r - 2*r + 104, 0 = 3*r - w - 167. Suppose -5*d + 30 + r = 0. Solve -5*n + d = 2 for n.
3
Let b(n) = -n**3 - 15*n**2 + 35*n + 17. Let f be b(-17). Solve 4*a + f - 8 = 0 for a.
2
Let w(l) = 9*l + 1. Let t be w(-1). Let y = t + 8. Suppose -5*i + 19 + 6 = y. Solve 6 = -i*s + 1 for s.
-1
Let x be 1 + (-3)/(9/12). Let d(a) = a**3 + a**2 - a + 4. Let u be d(x). Let l = u + 15. Solve l*o = -10 - 2 for o.
-3
Let r = 62 + -42. Solve -5*b + r = -5 for b.
5
Let j(r) = -r**2 - 2*r + 6. Let s be j(-3). Solve s = 4*n - 7*n for n.
-1
Let u(g) = -g**3 + 6*g**2 + g - 2. Let l be (45/(-10))/((-3)/4). Let s be u(l). Solve -s - 1 = 5*x for x.
-1
Suppose 3*p = 3*w + 7*p + 14, 20 = -4*p. Solve -w*q = -0*q for q.
0
Let i(f) = 3*f**2 - f + 2. Let z be i(1). Suppose 5*v = -z*p - 3, 4*v + 19 + 5 = 4*p. Solve x + p = -2*x for x.
-1
Let w be 0 + -1 + -1 - -5. Suppose 7 = -4*a - 1, w*r - 19 = 5*a. Solve j = r*j for j.
0
Suppose -3*u = -4*u + 4*a + 3, u - a - 3 = 0. Let n be 2/(-6) - 2/3. Let l = n + u. Solve -l*b + 7 - 3 = 0 for b.
2
Let j be (-8)/12 + 5/3. Suppose -j + 7 = 3*y. Solve -q + y*q = -3 for q.
-3
Let d(a) be the third derivative of a**5/30 - a**4/12 - a**3/6 + 3*a**2. Let v be 1/(1 + -1 - 1). Let r be d(v). Solve j = -r - 2 for j.
-5
Let n be 1 + 1 - 4/(-2). Suppose 0 = -5*d + 5*k - 18 + 3, -n*d + 3 = -k. Solve u = d*u - 2 for u.
2
Suppose -1 = -5*f + 39. Let h be (-2)/f + (-9)/(-4). Solve 2 = 4*u - h for u.
1
Suppose 5*y - 2*k - 6 = 0, -2*y - 3*k = -0*y - 10. Let s be 3 + -5 - y - -8. Solve 0*l - 16 = -s*l for l.
4
Let n be 0*(-1 - (-1 - 1)). Solve -2*i - 8 = -n*i for i.
-4
Let q(s) = -s**3 + 8*s**2 + 7*s + 20. Let v be q(9). Solve -17 = -5*i - v for i.
3
Let c(o) = 6*o + 2. Let w be c(3). Let v(m) = -m - 4. Let h be v(-8). Suppose u - 15 = -h*j, -2*j = -3*u - j + 19. Solve -3*q + w = -u*q for q.
-5
Suppose 65*x - 70*x = -15. Solve -1 = -2*t + x*t for t.
-1
Suppose 5*a - 4*r = 15, -3 = 2*a - 3*a - 2*r. Suppose -5*l + a*w + 31 = 5, 4*w + 8 = 0. Suppose 0 = 5*k - 14 + l. Solve -q = k*q for q.
0
Let o(j) = -2*j**2 + 33*j - 10. Let k be o(16). Solve -k = u - 1 for u.
-5
Suppose 2*f - 18 = 4*y - 0*f, -3*f = 2*y - 3. Let w(d) = d + 7. Let t be w(y). Let j(h) = -h**3 + 2*h - 1. Let b be j(1). Solve 2*g + 0 + t = b for g.
-2
Suppose -u - z + 6 = -3, -35 = -3*u + 5*z. Suppose -f + 12 = u. Solve -f*h + 5 = -h for h.
5
Let t = -6 - -6. Solve -3*l + t*l - 12 = 0 for l.
-4
Suppose 0 = 2*a - 6*a. Solve 0*q + 2*q - 6 = a for q.
3
Let i(a) = -a**3 + a + 6. Let t be (10/4 + -2)*0. Let b be i(t).