
-1
Let t(y) = -y + 40. Let k be t(28). Solve -k*p + 1 - 13 = 0 for p.
-1
Let m(y) be the first derivative of 1/4*y**4 - 3 - 7/2*y**2 + 5/3*y**3 - 4*y. Let z be m(-6). Solve -c - z + 5 = 0 for c.
3
Suppose 0 = g - 10*g + 198. Suppose 38 = 5*f - g. Solve f = -3*q - 3 for q.
-5
Let u = 0 - -3. Suppose 5*t - 5 = u*r, 0*r + 4*r + 1 = t. Suppose r = -7*k - 2 + 9. Solve 5*y = 21 - k for y.
4
Suppose 0 = -8*s + 4*s + 48. Solve -16*b + 12*b - s = 0 for b.
-3
Let j be 7/(63/(-2))*-9. Let b be (6/8)/((-15)/(-40)). Suppose l = 3*l - b. Solve -j*d + l = -3*d for d.
-1
Suppose -2*z + 4*s = 0, -2*s = -4*s + 6. Solve 44 = -z*q + 17*q for q.
4
Suppose 0 = 4*j - 9*n + 5*n - 8, -n - 2 = 2*j. Solve j = 17*p - 16*p + 4 for p.
-4
Suppose -4*t - 4*m = -7*m - 48, -t + m + 11 = 0. Solve 10*r = 7*r - t for r.
-5
Let w = -38 + 42. Suppose -4*r + 2*u + 12 = 0, -w*r - 4*u - 12 = -6*r. Solve -z - z - r = 0 for z.
-1
Suppose 0 = -10*c + 15*c. Suppose 3*i + i - 20 = c. Solve -d + i = -0*d for d.
5
Let g = 799 - 795. Solve n - g*n = 2*n for n.
0
Let h = 15 + 3. Let w be ((-6)/(-5))/(h/45). Solve w*t = -2*t for t.
0
Suppose -303 = 8*c - 407. Solve -17*t - 16 = -c*t for t.
-4
Suppose -z - 24 = 14. Let b = z + 39. Solve -b = 4*r - 5 for r.
1
Let k be ((-4)/(-12))/((-2)/(-6)). Let u be k*2/(-4)*-4. Solve 0*h - u = -h for h.
2
Let x(j) = 9*j - 2*j + j**2 - 1 + 11 - 22*j. Let g be x(15). Solve -5*z - 5 = -g*z for z.
1
Suppose m - 2*f - 5 = 0, 0 = m + 6*f - f + 2. Let d be -1 + (m/1 - -1). Solve -l + 8 = -d*l for l.
-4
Let b(z) = 6*z - 14. Let d be b(6). Suppose -4*a - 2*n + d = 6, -3*n + 6 = 0. Suppose 0*p + 3 = -a*p, 7 = 2*r - 3*p. Solve 2 = r*q - 4 for q.
3
Let c = -14 - -24. Let t be 15/(-2)*(-30)/(-9). Let n = t + 30. Solve -c + 30 = -n*l for l.
-4
Suppose -4*d = -3 - 5. Suppose 5*y + 15 = i - 14, d*i - 23 = 3*y. Solve 2*r = i*r - 6 for r.
3
Let m = 125 + -83. Suppose x + m - 3 = -4*g, -g = x + 9. Let v = g - -16. Solve -v = d + 2*d for d.
-2
Let m(z) = z**2 - 9*z + 11. Let t(x) = x**3 + 5*x**2 + x - 4. Let b be t(-4). Let l be m(b). Let n be (-1 - -4)/l*0. Solve 2 = -h - n for h.
-2
Let z be 1/(((-1)/(-1))/3). Let d be (-84)/(-16)*1 - 3/12. Suppose 0 = -5*s + d*r - 4*r + 51, -4*r = s - 6. Solve -h = -z*h + s for h.
5
Suppose -8 = -5*y + 4*x, 4*y + 22 = -3*x + 16. Solve -7*g + 12*g = y for g.
0
Let o = -7 - -9. Suppose -1 = -d + 3*x, -3*x - x = -o*d + 4. Solve 0 = -5*q + q - d for q.
-1
Suppose c = -2*c - 18. Let t = 7 + c. Solve 9 = 5*o - t for o.
2
Let j be 0 - 1 - (5 - 26). Solve 0*r - j = 5*r for r.
-4
Suppose -4*i + 20 = 0, 0 = 10*w - 14*w + i + 15. Solve 3 = -w*s + 8 for s.
1
Let g = -89 + 94. Suppose 9*n = -g*b + 4*n, -2*n - 6 = 0. Solve z = -b*z for z.
0
Let h(t) = -t**3 - 10*t**2 - 19*t - 20. Let g be h(-8). Solve -20 = g*y - 0*y for y.
-5
Let i = -65 - -55. Let d be (-24)/(-14)*7*(-15)/i. Solve -d + 8 = -2*b for b.
5
Suppose 169 - 9 = 4*t. Let m be t/16*36/5. Solve -5*i - 7 = m for i.
-5
Let r(i) = i**3 - i**2 + i + 2. Let z be r(0). Suppose p = -2*n - 1 + 12, -4 = -z*p + 2*n. Suppose -48*d + 116 = -19*d. Solve 0 = -p*a + d*a - 3 for a.
-3
Let l be 7/(-2)*(-30)/21. Suppose 3*y - 7 = l. Solve -17 = y*w - 5 for w.
-3
Let r(b) = -4*b**2 - 20*b - 2. Let i(g) = -21*g**2 - 101*g - 11. Let d(y) = -2*i(y) + 11*r(y). Let c be d(-9). Solve -2 = u - c for u.
-2
Let z be 4 - 4 - 0/4. Suppose 5*a + 21 = -c, 2*c - 5*a + 4*a - 13 = z. Suppose c = -o - 4*w, 0 = -5*o + 2*w + 3*w + 5. Solve -x = -o*x + 2 for x.
-2
Let c be 2/(-12) - ((-5627)/102 - -13). Solve -c = -3*w - 51 for w.
-3
Suppose 0 = -10*v + 12*v + 2*v. Solve v = 3*u - 7*u + 20 for u.
5
Suppose -3*f = -3*b - 3, -5*f - 3*b + 13 = -4*b. Suppose 3*d - 6 = 0, 4*u + 1 = f*u + 4*d. Solve u*h = 4*h - 15 for h.
-5
Suppose 0 = -2*o + o + 4. Let s = o + -4. Solve 2 = -x - s*x for x.
-2
Suppose l + l - 10 = 0. Let m be (-2 - -1) + 7 - (-3 + (-1 - -10)). Solve -l*i + 2*i + 3 = m for i.
1
Let k(f) = 21*f**2 + 2*f**3 - f**3 - 4*f - 18*f**2. Let r be k(-4). Let b be 1/1 - 9*-1. Solve 3*c + 2*c - b = r for c.
2
Suppose 33 = 4*a - 35. Let c = -11 + a. Suppose -c*g + 20 + 16 = 0. Solve -3*j + g = 21 for j.
-5
Let l(h) = 8*h + 20 - 3*h**2 + 4*h**2 - 19. Let o be l(-9). Solve 2 = -3*i - o for i.
-4
Let o(t) = t**2 - 2*t - 8. Let w = 12 - 3. Let q(c) = -c**3 + 8*c**2 + 9*c + 4. Let h be q(w). Let g be o(h). Solve g*v = 3*v - 3 for v.
1
Let w be 1*(3 - (7 - 1)). Let f = w - -5. Let j(k) = 2*k**2 - 6*k. Let l be j(4). Solve 4*o = f*o - l for o.
-4
Let s = -3 - -3. Let o be ((-24)/14)/((-13)/(455/10)). Solve 2*p + 0 - o = s for p.
3
Suppose 6*z - 13*s - 13 = -8*s, 4*z - 3*s - 9 = 0. Solve -2 = z*g + 7 for g.
-3
Suppose 38*f = 40*f. Solve f = 7*b - 3*b for b.
0
Let t(q) = q + 13. Suppose -d = -5*d - 32. Let p be t(d). Let f be (1 - 0) + 0 - 1. Solve f*r = p*r - 15 for r.
3
Suppose 4 = 12*a - 44. Suppose 4*x - 2 - 6 = a*p, 3*x = 5*p + 4. Solve 2*f = -p - 5 for f.
-3
Suppose -s = 5*g - 7, 3*g + 9 + 0 = 0. Solve s = 2*x - 13*x for x.
-2
Let b be -10*(-48)/60 - (-8)/(-1). Solve 0 = 4*f - b + 4 for f.
-1
Suppose l + 23 = t + 5, -3*l = 3*t - 48. Solve 11*z - t*z - 12 = 0 for z.
-2
Suppose -3*m + 5*u = -16, -5*m + 4*u + 33 - 2 = 0. Solve -4*n + m = 15 for n.
-2
Let o(a) = -a + 3. Let z be o(5). Let v be (-2)/z*(-4)/(-2). Let u be ((-15)/(-30))/(2/16). Solve -v = -2*r - u for r.
-1
Suppose -10*c = 42*c. Solve c = -16*h - 8 - 24 for h.
-2
Suppose 0 = -k - 2*k - 18. Let s(a) = 16*a**2 + 25*a - 20. Let j(o) = 3*o**2 + 5*o - 4. Let d(x) = 11*j(x) - 2*s(x). Let m be d(k). Solve -y - 12 = m*y for y.
-4
Suppose -6 - 14 = -5*w. Suppose -w*u + 2*u = 6. Let y be u/9 - (-39)/9. Solve -x + 0 = y for x.
-4
Suppose -2*t - 33 = -57. Suppose 14 = -13*z + 20*z. Solve 2*i + t = -z*i for i.
-3
Let t be (-60)/70 + (-292)/(-14). Solve 39*g + t = 35*g for g.
-5
Suppose -t + 2*x = -5 + 4, 22 = 4*t + x. Solve t*l + 2 = 3*l for l.
-1
Let l(c) = -3*c - 16. Let i be l(-6). Let f be 4/(6 - 4)*i. Solve 3*y - 5*y + f = 0 for y.
2
Let x = 20 - 17. Suppose -5*w = -x*a - 32, 0 = -4*w - 0*a - 4*a. Solve 0*j - 8 = -w*j for j.
2
Let h(l) = l - 7. Let q be h(4). Let v be q + 3 - (4 + -4). Solve -5*p - 11 - 14 = v for p.
-5
Let i(k) = k + 30. Let c be i(-7). Suppose -c*j = -19*j. Solve o + 0*o - 1 = j for o.
1
Suppose 6 = -3*j + 3*f, -3*j - 2*j - 2*f = -25. Suppose -4 = 2*z - j*z, -z = -r. Let y = -4 - -15. Solve -y - 1 = r*l for l.
-3
Let a(x) = -x**3 + 27*x**2 - 45*x - 643. Let f be a(24). Let v = -4 + 6. Suppose 0 = -4*r + v*h + 46, -h + 6*h = -r - 16. Solve f*j - r = 16 for j.
5
Let k = 53 + -38. Let n be -22*(k/(-6) - -2). Let w = 13 - n. Solve 2 = w*z - z for z.
2
Let f = 22 - 22. Solve f = -x + 13 - 8 for x.
5
Let c be -3 - 1 - (-100)/(-4). Let a = c + 31. Suppose a*h = 6*h - 60. Solve -3*m + 6*m = -h for m.
-5
Let r be 2/4 - (-1)/2. Let y = -13 + 12. Let a be (0/y)/4 - 0. Solve -r + a = c for c.
-1
Let w = 2042 - 2039. Solve w*r + 0*r = 12 for r.
4
Suppose -5*c - 193 = 42. Let d be c/7 + (-16)/56. Let s be (-2)/(-1) + 8 + d. Solve 0 = s*l - 7*l + 16 for l.
4
Suppose 17 = -5*w + 3*u - 15, -4*u = 3*w - 4. Let k be 4/w + (-4)/(-3 + -1). Solve i + k = 4 for i.
4
Suppose 0 = -2*m + 4. Let i(r) = r**2 + 4*r + 1. Let n be i(3). Let y = -22 + n. Solve -m*b + y = 6 for b.
-3
Let v(d) = -d**2 - 13*d - 41. Let h be v(-7). Solve -7*n = 1 - h for n.
0
Let b(d) = d**2 - 4*d - 22. Let x be b(7). Let y be (x*(2 + -2))/(-2 + 3). Solve a + 0*a = y for a.
0
Suppose y - 5*h = 5*y - 35, 4*y = -2*h + 26. Suppose y*s = 59 - 29. Solve -p + s = p for p.
3
Suppose 0 = -2*j + 4*j + 3*o - 14, -2*j + 5*o + 14 = 0. Solve j*g - 2 + 23 = 0 for g.
-3
Let l(h) = 11*h**2 - 2*h - 14. Let w be l(-2). Solve 26 = -4*k + w for k.
2
Let z be 8*(-55)/(-88)*6/5. Solve -9 + 27 = z*v for v.
3
Let x be 42/18*(-6)/(-2). Let c = x - -4. Suppose 0 = -4*d + 8, 5*g - 6 = -d + c. Solve l = -g*l + 8 for l.
2
Suppose -3 = -o - 0. Suppose 0 = -464*q + 486*q. Solve -l + o*l = q for l.
0
Suppose -3*s + s + 5 = -r, -4*s + r = -13. Suppose -s*o = 2 - 14. Suppose -5*a - 7 = -27. Solve 0 = k - o*k - a for k.
-2
Let b = -15 - -8. Let f be 2/b - (-1136)/56. Solve -5*y + f + 5 = 0 for y.
5
Suppose -3*g - 3*i = 9, 0 = -4*g + i + 8 - 20. Let h be (12/(-8))/(g/74). Let f = h + -27. Solve -t - f = t for t.
-5
Let k(t) = -t**3 - 6*t**2 + t + 2. Le