4
Let v = -44 - -94. Let c = v - 6. Suppose j + 3 = 0, 5*u - 3*j = c + 15. Solve q = -q - u for q.
-5
Suppose 0 = -5*g - 6 + 16. Suppose 4*b = -b - j + 19, -g*j - 18 = -4*b. Solve -4 - 16 = b*a for a.
-5
Suppose -5*b - 7 = 5*s + 3, -3*s - 5*b = 6. Let o be (-6 + 16)*((-3)/s + -1). Solve 4*n = 3*n + o for n.
5
Suppose -33 = -0*z - 3*z. Let c(k) = k - 7. Let w be c(z). Solve 3*j = -16 + w for j.
-4
Suppose 5*y = 3*l + 2*l, 0 = 3*y. Solve 5*f + 15 + l = 0 for f.
-3
Let c be 1 + (-25)/(-1) + -6. Solve 10*o = 6*o + c for o.
5
Suppose -4*k = k - 170. Let b = k - 31. Solve h + 6 = b*h for h.
3
Suppose 26070 = 79*d - 0*d. Solve -7*l = d - 358 for l.
4
Let z be (9/2)/((6 - 4)/4). Suppose -3 = j, -4*j - z + 1 = k. Solve -2*h = -k*h for h.
0
Let p = 12 - 7. Suppose -2*g - 3*g - 5*t + p = 0, 5*g - 3*t - 13 = 0. Solve -g - 8 = 2*b for b.
-5
Let k(o) = o**2 - 2*o. Let b be ((-8)/10)/(6/(-15)). Let a be k(b). Let q = 7 - 3. Solve q = f - a*f for f.
4
Suppose -2*v - 5*j = 1, -4*j + 4 = -0. Let b be 80/15 - 2/v. Suppose m + 3*m = 8. Solve -b - m = 4*l for l.
-2
Suppose -8 = -2*u + 3*k, -6*k = -5*u - 2*k + 13. Suppose 3*d = -2*r + 9, -2*d - r + 2*r + 6 = 0. Let m = d - u. Solve 0 = z + 3 - m for z.
-1
Let c be (-2)/9 - 137/(-9). Let x be 3 - 8/(-12)*c. Suppose -x + 37 = 2*y. Solve 4*d = -0*d - y for d.
-3
Let x(l) = l**2 - 4*l + 4. Let v be x(2). Suppose v = -3*o + 2*t + 14 + 2, -4*o = -3*t - 22. Suppose -35 = -2*q - 1. Solve o*g - q - 3 = 0 for g.
5
Let c = 155 + -222. Let f = -58 - c. Solve k + 2*k = f for k.
3
Suppose -3*u = -4*u + 5. Suppose 0 = -4*a + 8, r = -4*a + u + 8. Solve r - 1 = 4*o for o.
1
Let x(t) = -2*t + 10. Suppose 0 = -24*b + 27*b. Let o be x(b). Solve a - 3*a = -o for a.
5
Suppose -122 = -3*y - 4*m, -11*y + 8*y + 3*m + 108 = 0. Solve -41*v + 3 = -y*v for v.
1
Let t be 288/(-120)*(-15)/4. Solve 8*h + 1 = t*h for h.
1
Suppose -3*q - 2*p - 3 = p, -4*p - 4 = -q. Let m = 39 + -37. Suppose -v = 3*k - 14, 2 = 4*k + m*v - 20. Solve -k*g - 14 + 5 = q for g.
-3
Suppose -30*x + 27 = -27*x. Solve -x + 1 = 2*z for z.
-4
Suppose -4*m = -7 - 33. Let a be m/(-90) + (-56)/(-18). Solve a*z - 4*z + 3 = 0 for z.
3
Let i(q) = q - 10. Let t be i(-8). Let x(h) = h**2 + 20*h + 36. Let p be x(t). Solve 0*v + 4*v = p for v.
0
Let j(c) = 28*c. Let r be j(-2). Let q be -1 + r/(-30) + 4/30. Solve -q = f - 2*f for f.
1
Let u = -208 + 210. Solve u*n + 5 = -3 for n.
-4
Suppose -167*f = -191*f + 648. Solve 4*u + f = -5*u for u.
-3
Let n be 148/(-16)*1 - 5/(-20). Let r be 1*((-78)/n)/(6/9). Solve -11*t + 8 = -r*t for t.
-4
Let x = 60 + -60. Suppose -14 = -2*u - x*n - n, -u + 7 = 3*n. Let g = -1 - -1. Solve 3*t + u - 19 = g for t.
4
Let k(t) = -t**3 - 9*t**2 + 7*t - 8. Let y be k(-10). Suppose -4*x + 5*x = -4*g - 11, -2*x + 3*g = -y. Let z(o) = o - 7. Let p be z(7). Solve x*a = -p*a for a.
0
Let f = 1172 - 1159. Solve 12*d - f*d = 2 for d.
-2
Let r(k) = k + 16. Let a be r(-12). Suppose 0 = -3*b + 4*l - 5, -4*l = -a*b + 5*b - 25. Solve 2*n = b*n + 12 for n.
-4
Suppose -4*d + 2*d = -6. Suppose -18*n - 22*n = 0. Suppose n*c = -d*c + 3. Solve -y = 2 + c for y.
-3
Let w = 232 + -230. Solve 3*f + w = 5*f for f.
1
Suppose -7*z + 30 = -2*z. Suppose -52 = -4*w + k - z*k, -4 = w - 3*k. Solve w = 2*b + 2 for b.
3
Let y = 7 - 7. Suppose -7*g + 9*g + 50 = y. Let p = g + 29. Solve 5*n + 1 = -p for n.
-1
Suppose 8*k + 15*k = 4*k. Let w(c) = -c**2 + 2. Let q = -4 + 4. Let t be w(q). Solve k = -2*m - t*m + 8 for m.
2
Let g = -387 + 387. Solve 5*o - 6*o - 5 = g for o.
-5
Suppose 4*w - 102 = 2*w. Suppose -4*l - 3*h = -0*h - 128, l - 4*h = w. Suppose 4*c - l = -11. Solve -c*u = -2*u + 16 for u.
-4
Let s be 15 - 1 - (0 - -3). Suppose 0 = s*u - 6*u - 15. Solve -u*c + 3 = -2*c for c.
3
Let f(y) = -1. Let k(h) = -3*h + 12. Let j(b) = -9*f(b) + k(b). Let n be j(6). Solve -g = -n*g for g.
0
Let g(b) = -b**3 + 13*b**2 - 11*b - 9. Let j be g(12). Let c(y) = 5*y**3 - 11*y**3 - 6 + 5*y**j + 4*y**2. Let f be c(3). Solve a = -f*a for a.
0
Suppose -4*c - 3*s + 63 = 0, -c - 5*s = -20 - 17. Solve r = c - 7 for r.
5
Suppose -j + o = 1 - 6, -j + 7 = -3*o. Suppose -x = -j*x. Let y(t) = t**3 + 2. Let s be y(x). Solve -g = s + 2 for g.
-4
Let p be (-5)/((-28)/21 - (-4)/12). Solve p*j + 20 = -5 for j.
-5
Let l be ((-2)/(-4))/(7/(-70)). Let u(b) = b**3 + 4*b**2 - 6*b - 1. Let k be u(l). Suppose 0 = k*r - 0 - 24. Solve -v + 4*v = r for v.
2
Let v be 27*1/(-5)*-5. Let w = 30 - v. Solve -12 = -f - w*f for f.
3
Suppose -4*i + 77 = 2*c - 305, 6*c = -5*i + 481. Solve i = -2*w + 105 for w.
5
Let l = -747 + 753. Solve 0 = -2*y + l - 0 for y.
3
Let c(j) = 3*j - 28. Let v be c(7). Let t(z) = -5*z - 33. Let q be t(v). Solve -q*n = -2 - 6 for n.
4
Suppose 0 = -14*l + 139 - 69. Solve 0 + l = 5*n for n.
1
Let q be (0 - -6)/((-15)/(-10)). Let o be 2/3*9 - q. Solve 0*a + a = o for a.
2
Let s(r) = 5*r + 35. Let c = -89 + 82. Let t be s(c). Solve t = -3*a + 5*a for a.
0
Let k = -8 + 11. Let m(t) = -3*t - t - 4*t - t**2 - t - 13. Let d be m(-2). Solve k + d = f for f.
4
Suppose 5*z + 7*f = 2*f + 35, 2*z - 8 = f. Suppose n - 3 = 2*w - 7*w, 0 = 2*w + 5*n - 15. Suppose w = -0*i - 3*i. Solve 0 = -i*o + z*o - 10 for o.
2
Let a be (4 - 40/24)/((-2)/(-6)). Solve 5 = -2*t + a*t for t.
1
Let s(w) = -8*w - 97. Let k be s(-16). Solve k = 8*c - 1 for c.
4
Suppose 87*j - 224 = 83*j. Solve -54 = -2*g - j for g.
-1
Suppose 6*n - 7 = -1. Let s be 5/(((-4)/4)/n). Let r be 9 + s + 11/1. Solve 4*m + r = m for m.
-5
Let c(d) = -2*d + 25 + 6*d - 2*d - 7. Let j be c(-8). Suppose a = j*a. Solve 4*n - 5*n - 2 = a for n.
-2
Let j be (-6 - 32) + (0 - 4). Let w be (-12)/j + 33/7. Suppose -13*s = -14*s + w. Solve s = -t + 1 for t.
-4
Let r(y) = -y**2 - 2*y - 1. Let a be r(-1). Let g be 4 + (-4 - (8 - a)). Let w be 4*(28/g)/(-7). Solve -5 = -w*o + 3*o for o.
-5
Suppose 3*a - 5*a = -4*b + 16, 0 = 5*a - 20. Solve -b*w = -3*w - 15 for w.
5
Suppose 4 + 5 = 3*f. Suppose -15 = 3*w, 5*n + 5*w = 4*w - 175. Let x = -34 - n. Solve f*g + g + 8 = x for g.
-2
Let i be 20/10 - 8/2. Let z be (i - 1)*(-16)/8. Suppose 0*p - 24 = -z*p. Solve -p = -3*t + 2 for t.
2
Let x(w) = -w**3 - 25*w**2. Let k be x(-25). Solve -6*c + 11*c = k for c.
0
Let z be 2/(-5) - 20/(-50). Solve 0 = 2*a - z*a - 8 for a.
4
Let c be ((-66)/(-77))/(33/1232). Solve 0 = 16*x - c*x + 48 for x.
3
Suppose 5*m + 0*k = -5*k + 35, 0 = -3*m - 4*k + 26. Suppose -3*b - m*b - 4*a = -5, 2*a = 5*b + 25. Let j be (-2)/(33/(-9) - b). Solve -p + 0*p - j = 0 for p.
-3
Suppose -2*c - 14 = -8. Let m be (-9 + -2)/(c - -2). Solve 0 = -3*y - 1 - m for y.
-4
Let h = 245 + -233. Solve 3*s - h - 3 = 0 for s.
5
Suppose -12*a + 39*a = 216. Solve -6*d - a - 4 = 0 for d.
-2
Let k be ((-236)/3)/(3 - (-55)/(-15)). Let n = k + -113. Solve -n*t + 3*t = 4 for t.
-2
Suppose -3*j = 5*n - 18, j = -3*n + 3*j + 7. Suppose -2 = -5*m + f, -m - 6 = m + n*f. Solve 5*t = -25 - m for t.
-5
Suppose -10 = -2*o, 5*b = 2*o + 39 + 61. Suppose k - 5*k = -2*t + b, 3*k = -9. Solve -7 = 2*v - t for v.
-1
Let p = 11 + -9. Suppose -p*f = 4 + 4. Let y be f/(-14) + 38/14. Solve r + 5 = y for r.
-2
Let o = 6 + -34. Let i = -23 - o. Suppose n + 3*c + 2 = 0, 0 = 3*n + n - c - 18. Solve i*l - 2 = n*l for l.
2
Let u = -15 - -15. Let g(w) be the first derivative of -w**4/4 - 7*w**3/3 - w**2 - 7*w + 3. Let q be g(-7). Solve 4*j - 3 + q = u for j.
-1
Let k(n) = n**3 - 5*n**2 - 21. Let y be k(6). Solve y = 9*o - 12*o for o.
-5
Let f(r) = -46*r + 3. Let q(c) = 31*c - 2. Let d(z) = -5*f(z) - 7*q(z). Let i be d(1). Let y be i/8*-2 + 3. Solve y*s = -s + 1 for s.
1
Let u = -26 - -32. Suppose t = u*t. Let n = -1 - -4. Solve -9 = -n*d - t*d for d.
3
Let l = -43 - -47. Suppose 0 = -2*v + 5*b - 25, l*v + b - 5 = 3*v. Solve 4*s - 5 - 3 = v for s.
2
Let z(k) = -k**2 - 43*k + 47. Let f be z(-44). Solve -6*b - 27 = f for b.
-5
Let w be 4/(-10) - (-1175)/125. Solve 10 = -p + w for p.
-1
Let b(v) = 54*v - 49. Let z be b(1). Solve 0 = -z*j - 73 + 83 for j.
2
Suppose -5*m + 9 = -2*s, 0 = m - 0*s + 4*s - 15. Solve -m*o = 3*o for o.
0
Let u(c) = 2*c**2 - 12*c + 25. Let r be u(6). Solve -r*v = -30*v for v.
0
Let d = -238 + 258. Solve -15*v = -d*v + 20 for v.
4
Let x(b) = -b**2 + 4*b + 2. Let i be x(4). Suppose 4*g - 7 = 5. Suppose 0 = -3*u - 12, -26 = 2*o - 5*u - 66. Solve -g*q + o = -i fo