
2
Suppose 0 = -2*m + 3*v + 21, -2*m = 3*m + 3*v - 21. Suppose 2*b = 6, -5*p - 3*b + m = -3. Solve l - 2*l + 4 = p for l.
4
Let q(k) = k**2 + 7*k - 28. Let h be q(-11). Solve 4*x + 4 = -h for x.
-5
Suppose w + 2*w = 108. Suppose 0 = 2*o + 2*o - w. Solve 3*b + 3 + o = 0 for b.
-4
Let w be (36/81)/((-4)/(-18)). Solve w*k - 1 = -3 for k.
-1
Suppose -2*b = 3*b + 3*l - 24, 5*b - 20 = -5*l. Let c(t) = b*t**2 - 2*t**2 - 2*t + 6 - 3*t + t**3. Let g be c(-5). Solve k = 4*k - g for k.
2
Let y(u) = u**3 - 2*u**2. Let w = 4 - 2. Let s be y(w). Solve s*i + 4*i + 4 = 0 for i.
-1
Let l(s) = s - 3. Let m be l(6). Suppose q + 0*q = m. Let k(t) = t**3 - 2*t**2 - 3*t + 4. Let v be k(q). Solve v*d + d = -20 for d.
-4
Let d(h) = h - 3. Let l be d(5). Suppose -k + 5*k = k. Solve -f + l*f - 3 = k for f.
3
Let q = -9 + 16. Suppose 2*k - q*k + 35 = 0. Solve -5*a - k = -2 for a.
-1
Let h(t) = t**3 + 4. Let u be h(0). Solve -3*o - 1 = -u for o.
1
Suppose 0 = -k - 18 + 16, 3*w + 4*k - 40 = 0. Suppose -3*a + 0*a - 12 = -3*x, -5*a - 8 = -2*x. Solve -w = -5*h + x for h.
4
Let b(d) = -d**2 - 7*d. Let p be b(-3). Let n = p + 4. Suppose 5*q - h = 29, 3*h + 4 = 2*h. Solve s - q*s = n for s.
-4
Suppose -4*d = 38 + 38. Let l = -6 - d. Suppose -4*q + 8 = -3*m + m, -m + 5*q - l = 0. Solve m*g + g = 12 for g.
4
Suppose -4*x = 3*n + 7, -4*n = -8*x + 5*x + 26. Solve 1 + x = r for r.
3
Let b = 119 + -116. Solve g - 2 = b*g for g.
-1
Suppose 0 = 3*i + 2*i. Suppose 3 = -i*o + o. Solve -s = o*s + 20 for s.
-5
Let h = 189 - 187. Solve 0 = n - h for n.
2
Let k be (-3)/(-2) + (-567)/(-42). Solve -k = 2*x - 7*x for x.
3
Suppose -n + i = -0*i + 3, 3 = -2*n - i. Let z be 3/((-2)/(n + 4)). Let q = -1 - z. Solve 0*f = -q*f - 8 for f.
-4
Suppose 3*s - 14 = -2. Let m be (-6 + 2)/(2/s). Let b = m + 16. Solve b*l - 3*l = 25 for l.
5
Let k = 18 + -3. Let o be 2/(-3) + 10/k. Suppose -2*g = -o*g. Solve 2*c - 5*c - 9 = g for c.
-3
Let j(k) = -2*k + 18. Let s be j(8). Solve 0 = 3*n + 13 + s for n.
-5
Let z = 26 - 17. Suppose 0*q + q + 4 = 0, -d - q + 20 = 0. Let u = -13 + d. Solve -4*k + z = -u for k.
5
Suppose 3*h - 18 = -2*d, -4*d + 36 = -3*h - 0*h. Let r = -7 + d. Let o be 6*(0 + 1/2). Solve -r*b + o = -1 for b.
2
Let p be (-30)/(-8) - 1/(-4). Let c(b) = b**2 - 13*b + 16. Let m be c(12). Suppose -4*q = -m - p. Solve -7 = q*z + 3 for z.
-5
Let x be (-6)/4*(9 + -23). Suppose 0 = 5*v + 36 - 6. Let q be v/x - (-58)/7. Solve 0*h - q = 2*h for h.
-4
Let d(b) = -b**3 + 7*b**2 + 5*b - 7. Let i be d(7). Suppose i + 8 = 4*a. Solve -3*x + 0 = a for x.
-3
Let l = 3 - 6. Let z(q) be the first derivative of -q**2 - 4*q + 2. Let t be z(l). Solve -t = -x - x for x.
1
Let l be (-20)/(-6)*18/15. Let f = 8 - l. Solve -3*d - f = 2 for d.
-2
Let u = 2 + 4. Let l be (2 + (-4)/2)/(-1). Solve -2*q + l*q - u = 0 for q.
-3
Let r(o) = -2*o**2 + 19*o + 12. Let z be r(10). Solve -z*s - s = 6 for s.
-2
Let g(b) = b**3 + b**2 - b + 4. Let j be g(0). Let x be ((-6)/(-15))/(1/10). Suppose 4 = x*m - 3*m. Solve -m*c = -20 + j for c.
4
Let d = 51 - 46. Solve m - d = -4*m for m.
1
Let s be (8/6)/((-4)/(-6)). Suppose -4*v - 6 = -3*v. Let r be ((-9)/v)/(2/8). Solve s*m = 4*m - r for m.
3
Let n = -5 + 5. Suppose -t - t = n. Solve 2*b + 0*b - 4 = t for b.
2
Suppose 0*s - s + 3*o = -17, -2*s - 5*o + 1 = 0. Solve 0*d + 2*d = -s for d.
-4
Let s = 23 + 165. Let q be (-1)/(-3) + s/12. Solve 4*i - 36 = -q for i.
5
Let t = 11 - 9. Solve 0 = -t*f + f for f.
0
Let n be ((-6)/15)/(2/(-5)). Solve p + 4 = -n for p.
-5
Let j(x) = -x + 1. Let r be j(-4). Suppose -1 - r = -2*b. Suppose -b*n + 1 = -35. Solve n = 4*l - 0*l for l.
3
Let z(w) = -1 - 5 + 11*w**2 - w - w**2 + 5. Let y be z(-1). Solve -3*p = -8*p - y for p.
-2
Let v(i) = i**3 - 5*i**2 + 6*i + 2. Let u be v(3). Solve u*j + 0*j = 0 for j.
0
Let v be 16 - -4*(-3 - -2). Suppose v - 4 = 4*c. Solve 2*g - g = c for g.
2
Suppose 0*n = 5*n - 20. Suppose -4*u = -n*y + u - 5, -4*u = -4*y. Solve y*i + 15 - 5 = 0 for i.
-2
Let v be (3/(-6))/((-2)/(-8)). Let y be ((-2)/v)/((-1)/(-3)). Solve -y*u - u = -16 for u.
4
Let b be ((-18)/(-12) - -2)*(-8)/(-7). Solve -b = -2*p - 0 for p.
2
Suppose 2*w + 3*p - 11 = 0, 2*p = -4*w - 16 + 42. Suppose -2*h + 9 = -1. Suppose -y = -5*n + 3, h*n - 1 - 6 = -y. Solve -w = y*a - 3 for a.
-2
Suppose 0 = 3*a + 6 - 15. Solve 5*p - a = -23 for p.
-4
Suppose -q - 2 = -z, 2*z + 11 = -q - 0. Let p = z + 14. Suppose 0 = t - 3*t + 8. Solve -p - t = 3*v for v.
-5
Suppose n = -4*f + 8 + 6, 2*f - 3*n - 14 = 0. Let x be (-3)/(-2)*(f + -2). Solve x*h + 10 = 1 for h.
-3
Suppose -5*n = 5*u - 45, -1 = -0*n - n + u. Suppose -4*q + 31 = n*y - 14, 0 = 4*q + 3*y - 43. Solve -x = x - q for x.
5
Suppose -5*z + 3*w - 7 = 0, -25 = -5*z - 5*w - 0*w. Suppose 4 = 2*t - l, 3*t = -t - l + 20. Solve t = f - z for f.
5
Suppose -160*r + 8 = -158*r. Solve -r = t + t for t.
-2
Let y(a) = a + 9. Let w be y(-5). Suppose 0 = 3*b + 3*s, -b + 10 + 10 = -w*s. Suppose 3*x - b = 5*m + 7*x, -m = -3*x - 3. Solve m = 4*i - 7 + 23 for i.
-4
Suppose 0 = k + 4*k. Suppose 4*s - l = -0*l + 3, -15 = -5*s + 5*l. Solve k = -s*m + m for m.
0
Suppose 0 = -x + 5*x. Solve x = 4*i + 1 - 5 for i.
1
Let t be 2/5 - (-65)/25. Solve -6*z = -t*z + 15 for z.
-5
Let g(u) be the first derivative of 2 + 7/3*u**3 + 10*u + 1/2*u**2 + 1/4*u**4. Let n be g(-7). Solve 0 = 2*l - n*l for l.
0
Let u(c) = -c**2 + 7*c - 4. Let p be u(5). Solve -3*k + 9 = -p*k for k.
-3
Suppose -28 = -2*z + z. Suppose -z = -2*n - 0*n. Let u = n - 10. Solve -w - u = -3*w for w.
2
Let c(t) = 11*t + 1. Let j be c(2). Let i = 33 - j. Solve n = -n + i for n.
5
Suppose 0 = -5*f + g + 36, 5*g = -f + 3*g + 5. Solve -4*l = -f*l for l.
0
Suppose -w - 7 = 9. Let i = 34 + w. Let n be i/4 + (-1)/(-2). Solve -y + 2*y = n for y.
5
Suppose 0*k - 10 = -5*k. Let h be -1 - (0 + -2 - k). Solve 0 = -3*q - h - 6 for q.
-3
Let a be (-8)/(-16) - (-22)/4. Solve -t = -a*t - 15 for t.
-3
Let x = 22 - 17. Solve -x*u + 2 = -3 for u.
1
Suppose 0 = -a + 5*s + 24, 37 = 2*a - 4*s + 13. Suppose 4*m = 0, 0 = 3*w - 2*m + 3 - 27. Let z = -6 + w. Solve -a*t = -z*t - 2 for t.
1
Let z = 15 - 12. Suppose -z*b - 3*u + 35 = -25, 0 = -5*u - 5. Suppose 4*k - 5*n - 30 = -10, k - 5 = 4*n. Solve -b = -k*a + 4 for a.
5
Let p be (-60)/(-42) + 1/7*4. Solve -p*z + 6 = 2 for z.
2
Let b(i) = i**2 - 2*i - 11. Let z be b(8). Let f = z + -25. Solve 0 = -3*n - n + f for n.
3
Let z = 54 - 52. Solve -z*y - 5 = -3*y for y.
5
Let l be -1 + 1 - ((7 - 5) + -6). Solve l = 4*g - 0*g for g.
1
Let x(r) = r**3 + 3*r**2 - 2*r - 1. Let c be x(-3). Let p = c + -1. Suppose -3 = p*f - 15. Solve -f*m + 10 = 1 for m.
3
Let i be 5/3 + 1/3. Suppose 5*k + 1 - 8 = q, -2 = -q - 4*k. Let b be (i/(-4))/(q/8). Solve -u = b*u + 9 for u.
-3
Let d = -9 + -1. Let a = d - -17. Solve -5*x + 18 + a = 0 for x.
5
Let c be ((-5)/(-10))/(1/6). Suppose 3*v + 12 = -57. Let s = 43 + v. Solve -s = c*r + r for r.
-5
Suppose 5*h - 4 = 6. Let o be 16/56 - 2/7. Solve -h*w - 2*w = o for w.
0
Let p(q) = -q**3 + 12*q**2 + 12*q + 15. Let f be p(13). Solve n - 5 = f*n for n.
-5
Let s(w) be the first derivative of -w**4/4 + 5*w**3/3 + 3*w**2 + 4*w + 2. Let i be s(6). Solve 15 = -9*o + i*o for o.
-3
Suppose 0 = 5*y + 2 - 7. Let t = -1 + 0. Let s be (3/2)/(t/(-2)). Solve 4*g + s + y = 0 for g.
-1
Let b = 26 + -25. Solve -4*x = -3*x + b for x.
-1
Let j be (-1 + 2)/((-5)/45). Let z = 9 + j. Solve z = -5*x + 1 + 9 for x.
2
Let k = 11 - 8. Solve k*l = -l for l.
0
Suppose 0 = 3*d + 2*n - 2, -45 = -5*d + 4*n + n. Suppose -5*t = -2*t - 2*l - 15, 3*l = -9. Solve t*r = -2 - d for r.
-2
Suppose 2*m - 9*m = 0. Solve 0 = -m*v - v - 1 for v.
-1
Let i = 2 + 0. Suppose -h + 1 = -i*f + 10, -5*h = 4*f + 3. Let j(x) = -x. Let b be j(-4). Solve -f*u = 8 + b for u.
-4
Suppose 3*f = 0, -3*w + f + 6 = -0*f. Let t(x) = -x**3 + 2*x**2 + x - 2. Let v be t(w). Solve 2*o - 1 + 3 = v for o.
-1
Suppose 67*b = 74*b - 35. Solve 8 + 12 = b*l for l.
4
Let h be (-1)/((-3)/(-12) + 0). Let k be (h/7)/(2/(-7)). Solve -6 = -k*b + 4*b for b.
-3
Suppose -4*i = -3*i - 5. Solve 4 = i*c - 16 for c.
4
Suppose z + 6 = -3*p + 1, -1 = z + p. Let m = -5 + 11. Solve -z = c - m for c.
5
Let w(r) = r**2 - 9*r + 8. Let u be w(8). Suppose 5*h + 4 + 1 = u. Let i be (2 - h) + 2 + 0. Solve 0*l = -i*l - 5 for l.
-1
Let l(a) = 3*a**2 - 