l - 16 = 16. Suppose 5*t = t + l. Let p be (-5)/25 - (-152)/10. Solve -t*a = a - p for a.
3
Let j = -2 + 7. Suppose -129 = 3*d - 18. Let v = -25 - d. Solve v = j*r - r for r.
3
Let l(t) = -2*t + 2. Let s be l(-2). Solve 4*p - p = -s for p.
-2
Suppose -2*w = -2 - 4. Suppose -4*m = t - 9 - 7, 0 = -3*t + 5*m - w. Solve -5 = t*o - 13 for o.
2
Let o = -64 + 70. Solve -o*f - 6 = -3*f for f.
-2
Suppose -62 = 3*r - q, -3*r + 3*q - 26 = -2*r. Let a = r - -25. Solve -3*h = -4*h + a for h.
5
Let s be 3/4 - (-9)/36. Let p be (3 - s)/(11/22). Solve -6 = -p*g + g for g.
2
Let q = -57 + 58. Solve q + 4 = p for p.
5
Let d be (-5)/2 + 1/(-2). Let n be (-12)/d*(0 + 1). Suppose -l + 6*l = 0. Solve -g = -l*g - n for g.
4
Let d be 14*((-15)/(-6) + -2). Let g = 7 - 4. Suppose -g*x + d*x = 64. Solve -4*p + 0*p = x for p.
-4
Let l = -4 - -8. Let h = -4 + l. Let b be 24/(-14)*(37 + -2)/(-5). Solve h + b = 3*m for m.
4
Let u be (-21)/(-2)*(-2)/(-3). Suppose 5*o - 20 = -0*q - 5*q, -2*o + 4 = 0. Solve -u = 5*w - q for w.
-1
Let r be 9/6*-2 + 8. Solve -4*g - 1 = -r for g.
1
Let w = -5 - -2. Let y = 6 + w. Solve -y*z = -2*z for z.
0
Let l = 9 + -17. Let s = l + 11. Solve s + 7 = 5*b for b.
2
Let v be (-42)/(-18) - (-4)/6. Suppose 12 = -y - 3*s, 2*y - v + 22 = -5*s. Suppose y*m - 5*m = -6. Solve x - 1 = -m for x.
-2
Suppose -5*f + 32 + 8 = 0. Let b be 2/(-8) + 18/f. Suppose -5*x + 18 = -2. Solve b*t - x*t - 8 = 0 for t.
-4
Let o = 157 + -157. Solve o = r - 4*r for r.
0
Let w = -1 + 5. Suppose 5*k - 28 = -w*n + k, 0 = 4*k + 12. Suppose n = 3*z + 2*z. Solve s - z = -s for s.
1
Let w(r) = -r**2 + 4*r + 9. Let z(s) = s**2 - 3*s - 8. Let a(b) = 5*w(b) + 6*z(b). Let t be a(-3). Let d = t + 0. Solve d - 8 = -4*m for m.
2
Let m be -3*(2 - (-32)/(-12)). Solve m + 1 = -g for g.
-3
Let t = -12 - -21. Solve 4*p = p + t for p.
3
Suppose -2 = -g - 23. Let c = g - -37. Let p(n) = -n - 3. Let f be p(-3). Solve f*b = -4*b - c for b.
-4
Let m = -2 + 2. Suppose v = -m*v + 6. Let w = v + -1. Solve 0 = -w*c + 9 + 16 for c.
5
Let n(j) = -j**3 + 2*j**2 - 13. Let w(s) = -s**2 - 1. Let m(o) = -n(o) - 3*w(o). Let z be m(0). Solve -3*c + z = -7*c for c.
-4
Suppose 0 = 4*g + g + h + 45, 0 = 4*g - 2*h + 36. Let j = g - -12. Solve 1 + j = 2*x for x.
2
Let m = 28 + -16. Let r = 12 - m. Solve 9 = -3*u - r*u for u.
-3
Suppose -h + 5*n + 0*n + 30 = 0, -3*h = -4*n - 35. Solve -2*t - 1 = h for t.
-3
Let r(a) = -3*a + 5. Let j be r(5). Let f = j + 10. Suppose -5*d + 9 + 1 = 0. Solve f = -d*h - 0 + 2 for h.
1
Let y be 4/2 + (-3)/((-9)/(-6)). Solve y = -4*p - 4 - 4 for p.
-2
Let o be 0*((-3)/6 - -1). Suppose 0 = -4*f - o + 36. Let r be 9 - (f/(-3))/(-3). Solve -r*h + 4*h - 8 = 0 for h.
-2
Suppose -15*s = -20*s. Solve 0 = 2*l - 6 - s for l.
3
Suppose 15 = 3*c - y - 4*y, -5*y = 2*c - 10. Suppose 0 = c*k - 3*k - 16. Solve 0*i = -2*i + k for i.
4
Let q(j) = j**2 + 3*j + 1. Let r be q(-4). Solve r*i = i for i.
0
Suppose 8*l = 5*l + 24. Let c = -3 - -1. Let g = c - -2. Solve g = -2*r + l for r.
4
Let c(i) = i**2 - 5*i + 1. Let z be c(6). Let j = 10 - z. Solve 22 = -j*r + 7 for r.
-5
Suppose 8*a - 5*a = 9. Solve 15 = -8*o + a*o for o.
-3
Suppose 0 = 4*a + 5*w - 50, 0*a + 4*w - 52 = -4*a. Suppose -4*i - 2*s = -30, 0 = 5*i - 2*s - 0*s - a. Solve g - i = -2 for g.
3
Suppose 11*y - 8*y + 21 = 3*b, 2*y = 5*b - 26. Solve -w = -5*w - b for w.
-1
Let o be 0/((-2 - 0)*-1). Let w = 3 - o. Let n = -1 + 3. Solve -w + n = y for y.
-1
Suppose 18 = -4*l + 7*l. Let p be -3 + 0 + l + 0. Suppose -4*m + 1 = -3. Solve -p*b + 8 = -m for b.
3
Let v = 24 + -24. Solve z - 1 + v = 0 for z.
1
Suppose -5*t + 16 + 9 = -5*p, 5*p + 43 = -t. Let b be (p/14)/(14/(-49)). Solve 0 = -b*x + 6 for x.
3
Let b be 8/(-12) + 2/3. Suppose b = -4*f + 3*f. Let u be 4 - -2 - (1 + f). Solve 0 = 2*n + u + 3 for n.
-4
Suppose -2*g = -0*g - 10. Let z = -35 + 35. Solve q + g + z = 0 for q.
-5
Suppose 0 = -2*v + 2*c + 6, 2*c - 7 = -5*v - c. Suppose r + 2*z + v = -4, 4*r = -4*z - 12. Let t be (-2)/(-1) - 0 - r. Solve 0 = t*b + 2 for b.
-1
Suppose 0 = 2*g - 5 - 7. Let u be 42/11 - (30/33)/(-5). Solve -u*b = -b + g for b.
-2
Let s be (-1 - 0)*(-6 + 5). Suppose -z + 0 = -2*m + s, 5*m + 35 = -5*z. Let d be (-51)/(-12) + m/8. Solve -d*h + 25 = h for h.
5
Suppose -3*c + 4 = 4*d, -4*c + 2 = -2*d + 4. Solve -r = -c*r for r.
0
Suppose -4*a - a = 20, n - 9 = a. Suppose -n*t + 0*t = -20. Let p(i) = -i**2 + 5*i + 2. Let h be p(t). Solve -4*u - h = -2*u for u.
-3
Suppose -60 = -4*c + c. Suppose 0 = 2*o - 5*d - c, -o - 4*d = 4 - 1. Solve -o*m + m = 0 for m.
0
Let w be ((-12)/2 + -2)*(-6)/4. Solve 0*l - 4*l = w for l.
-3
Suppose -11 = -4*s + 9. Solve 1 = s*k - 14 for k.
3
Suppose 9 = -7*k + 37. Solve -k*o - 10 = -2*o for o.
-5
Let y = 114 - 114. Solve y = -4*j - 21 + 5 for j.
-4
Let t = 4 + -5. Let o = t + 3. Solve -o*z - 7 = 1 for z.
-4
Suppose -b = b - 12. Solve b = 5*f - 14 for f.
4
Suppose 21 = 5*i + 2*l, -4*i - 4*l + 12 = -0*i. Let p = 1 + i. Let b = p - 5. Solve -b = 2*f + 1 for f.
-1
Let a(k) = k**2 - 9*k - 11. Let b be a(10). Let p be -2*(-6)/2 + b. Let h = 4 + p. Solve 5*f - 2*f = h for f.
3
Suppose 4*t - 3*f = -t + 315, t - f - 63 = 0. Let r = t - 44. Solve -r = -3*y - 4 for y.
5
Suppose 2*p = p + 1. Let a be (-4 - -2)*p/2. Let y = 0 - a. Solve -c + y = -4 for c.
5
Let r(q) = -q - 1. Let d(x) = -x + 1. Let w(m) = 2*d(m) - r(m). Let u be w(0). Suppose 1 = 5*j - p, 5*j + 5*p + 4 = p. Solve j = t - u*t for t.
0
Let k be (-52)/(-10) + (-2)/10. Suppose 3*u + 11 + 4 = q, -3*q = u - k. Suppose -9 = -0*f - 3*f. Solve -q*x + 9 = -f for x.
4
Let x(h) = -3*h**2 + 4*h**3 - 5*h**3 + 2 - 3*h**2 - 4*h - 4. Let u be x(-5). Let i = u - -12. Solve 0 = 3*w - i*w + 6 for w.
3
Let n(t) = -t. Let h be n(1). Let b be ((-8)/(-6))/(h/(-3)). Suppose -6 - 2 = -b*x. Solve -2*q + x = -0*q for q.
1
Suppose 0*c - 3 = -c. Let k be c*2/6*1. Solve -2 = -h + k for h.
3
Let b(t) = -4*t - 3. Let r be b(-4). Let l(h) = h + 6. Let k be l(0). Let a be (20/(-6))/(k/(-9)). Solve 0 = -a*z - 3 + r for z.
2
Let l be (-10)/2*24/(-15). Suppose 5*n - c = -2, 2*n + l = -n + 4*c. Solve 0 = q - n*q for q.
0
Let y = -30 - -17. Let z = -11 - y. Solve 4*t + z = 6 for t.
1
Let v(p) = p + 4. Let o be v(7). Suppose 3*i - 5*i - t + o = 0, -5*i + 29 = 4*t. Suppose -5*d + 67 = 4*n, 5*d + 5 + 0 = 0. Solve -7 = i*z + n for z.
-5
Let w = -34 + 34. Solve 2*k = -w*k for k.
0
Suppose -3*y - 3*h = -12, -22 = -4*y + h - 2*h. Let q = 8 - y. Solve 0 = -0*x - q*x for x.
0
Let y(w) be the second derivative of w**3/2 - 9*w**2/2 - w. Let k = -3 + 10. Let s be y(k). Solve 0 = 5*h + s + 8 for h.
-4
Let s(j) = j + 13. Suppose 3 + 42 = -5*x. Let p be s(x). Suppose o + 4*c = -c - 6, 2*o - p*c - 16 = 0. Solve -o*b = b for b.
0
Let h(s) = s + 15. Let z be h(-10). Let m be (1 + -4)/(-3*(-1)/(-3)). Solve 17 = -m*q + z for q.
-4
Let b be (54/(-36))/(6/(-4)). Solve -2*l - b = 1 for l.
-1
Suppose 7*n = 90 - 20. Solve 0*c - n = 5*c for c.
-2
Let c(t) = -t - 11. Suppose -2*r - z - 40 = 2*r, r = 4*z - 27. Let u be c(r). Solve u = -j + 5*j for j.
0
Let b be (-2 - 12/(-5))*15. Suppose 4*r + 3*q = 6*r - 12, 8 = -r - 2*q. Solve -w + b*w = r for w.
0
Let u(n) = 2*n**2 - 3*n - 2. Let k be u(3). Let c = -2 + k. Suppose -2*g + 4*g + 4*h = 20, 2*h + 2 = c*g. Solve 2*z = 4*z - g for z.
1
Let z = -11 + 47. Let u be 9/z + (-11)/(-4). Solve -6 = -u*w + w for w.
3
Suppose j + 2 - 3 = 2*y, j = 1. Suppose 0 = -4*s - y*s + 40. Let t = 4 - 4. Solve t*x = -5*x + s for x.
2
Suppose -2*p = -5*p + 12. Let d = 11 - p. Solve 0 = 2*x + d - 17 for x.
5
Let r = 16 - 11. Let b(v) = -v**2 + v + 7. Let y(u) = u**2 - 8. Let w(h) = -3*b(h) - 2*y(h). Let z be w(r). Solve -z*l = -6*l + 2 for l.
2
Suppose 0 = 2*u - w - 8, 0 = -0*w + 4*w. Suppose 22 = u*h + 3*q + 2, 3*h + 4*q = 15. Solve 4 = -o + h for o.
1
Let y = -26 - -30. Solve 25 = -y*v - v for v.
-5
Suppose 14 - 11 = 3*x. Let c(l) = 4*l**2 - 4*l + 3. Let g be c(2). Solve 3*h - x - g = 0 for h.
4
Suppose 2*s - 24 = -s. Suppose 4*l = 7*p - 3*p + s, -3*p + 19 = 2*l. Suppose 2*c - 38 = -16. Solve c = l*k - 14 for k.
5
Let z(h) = h**2 + h - 4. Let t(w) = w + 6. Let v be t(-9). Let p be z(v). Solve -p = 5*u - 12 for u.
2
Let s(j) = j**2 - 7*j. Let t be s(7). Let l be 3 - (-3 + t/(-1)). Let d = 8 - l. Solve -d*y = 3 + 3 for y.
-3
Let z be -5*(