
-1
Let t(o) = -o**3 - 8*o**2 - 6*o + 9. Let a be t(-7). Suppose 0 = a*b - 5*z - 31, 0 = -b + 4*b - z - 14. Suppose -2 = -4*n + b*n. Solve n*x = 3*x for x.
0
Let x = 1045 - 1043. Solve x*u = u + 2 for u.
2
Let f be -1 + 13 + (0 - 24/6). Solve 32 = 6*v + f for v.
4
Let t be (99/132)/(6/40). Solve 15 + t = -5*i for i.
-4
Suppose h - 5 + 9 = -2*g, 5*h + g = 16. Solve -f = h*f + 25 for f.
-5
Suppose 6*m + 182 = 13*m. Solve -4*c - 6 = -m for c.
5
Let t = -56 + 120. Solve -2*p - t = -70 for p.
3
Suppose -7*s + 2*s + 85 = 0. Suppose -s*h + 22*h = 10. Solve 16 = h*d + 2*d for d.
4
Let c(o) = -o**3 + 4*o**2 + 43*o + 18. Let j be c(9). Solve j = -h - 3*h - 8 for h.
-2
Let g(x) = -155*x - 7. Let q be g(-1). Let j = q + -143. Let z = 5 + -1. Solve j = 3*f - z for f.
3
Let x = -34 + 76. Suppose -4*t + x = 3*m, -2*t + 5 = -t - 2*m. Suppose -t + 11 = z. Solve 7 = z*u + 17 for u.
-5
Let h = 207 - 192. Solve 0 = -31*s + 28*s + h for s.
5
Let j be (-33)/12*40/5. Let r = -17 - j. Let a(q) = -q**3 + 17*q**2 - 16*q + 8. Let m be a(16). Solve 0 = -r*b - 12 - m for b.
-4
Suppose -7*d - 11 = -11. Solve d*u = -3*u - 6 for u.
-2
Suppose -599*d = -592*d - 91. Solve -d = 3*p - 10 for p.
-1
Let m(t) be the first derivative of -t**2 - 12*t + 3. Let w be m(-7). Suppose 3*h - 25 = 2*l, -w*h = -4*l + 7 - 37. Solve h*n - 9 = -4 for n.
1
Suppose 2*b - 4 = -5*d - 2, -b - 2*d = -2. Let v = 78 - 4. Suppose 5*h - v = -54. Solve b = -h*s - 10 for s.
-4
Suppose -89 + 51 = -v. Suppose v*k = 33*k + 25. Solve a = k*a - 4 for a.
1
Suppose -2*t - 10*t + 72 = 0. Solve 4*q + t - 2 = 0 for q.
-1
Let x(n) = 3*n - 25. Let q be x(9). Solve 2*f = -q - 0 for f.
-1
Suppose -9 = -76*a + 73*a - 3*g, -3*a = g - 7. Solve -s + a = 1 for s.
1
Suppose 30*u - 134 = 76. Solve -a = -u*a + 24 for a.
4
Suppose -5*r - 2*y + 10 = 3, 3*r + 4*y - 7 = 0. Let v be (2 - 19 - (r - 4))*-1. Solve 0 = -5*n + v - 4 for n.
2
Let m = -66 - -96. Let b be (4/6)/(m/225). Solve 5*j = -10 - b for j.
-3
Let t(v) be the second derivative of 5/2*v**2 - 1/12*v**4 + v + 0 + 5/6*v**3. Let s be t(5). Solve 4 = -s*o - 21 for o.
-5
Let x = 23 - 19. Let a be 4*(0 + 2/x). Solve 0*l + l = -a for l.
-2
Let r = -12 - -17. Let j be ((-52)/(-12))/(2/(-18)*-3). Suppose 0 = f + j - 16. Solve 0 = -r*n + f*n for n.
0
Suppose y = 2*c - 4*c + 6, 4*c = y + 6. Suppose 3*x = -0*x + 2*k + 41, k = x - 13. Let j be (-3)/(-5) - (-6)/x. Solve -c*b + 3 = -j for b.
2
Suppose 0 = -3*f - 164 + 170. Solve -8*n + f*n = -24 for n.
4
Let s be (-2 + -3)*18/(-15). Suppose -2*j - 15 = 5*l, -3*l - j - 3*j - 9 = 0. Let o(w) = -3*w + 1. Let p be o(l). Solve -4*a + s + p = 0 for a.
4
Let v(i) = -i**3 + 7*i**2 + 8*i + 2. Let m be v(8). Let b(q) = 0*q + 3 + q**m - 3*q + q. Let w be b(3). Solve w*n - n = 0 for n.
0
Let j(m) = 11*m**2 - 66*m. Let t be j(6). Solve 16*f - 1 - 31 = t for f.
2
Let a(b) = -10*b + 101. Let x be a(8). Solve 0 = x*m - 15*m - 6 for m.
1
Let l be -2 + 2/4*4. Let v be (-1)/2*(5 - -77). Let y = v + 45. Solve l = -3*h - y - 5 for h.
-3
Suppose -r - r = 20. Let g(n) = n**2 + 11*n + 13. Let a be g(r). Suppose -a*j = 5*l, 2*l = 5*l - 3*j - 24. Solve -l*o = -2 - 7 for o.
3
Let h be (-4)/(-10)*(2 + 3). Suppose 3*d + h*d = 0. Suppose -a = -3, 2*a + d + 6 = 4*j. Solve 2*k - k - j = 0 for k.
3
Let c(s) = s**3 - 8*s**2 - 12*s + 28. Let y be c(9). Let p be 10/55 + (-2)/11. Suppose 2*x + 2*o - 4 = p, 4*o = 4*x - 50 + 18. Solve -4*u = x - y for u.
-1
Let k(r) = 3*r**2 - 3*r - 3. Let q be (16 - 14)*(-1 + 0). Let b be k(q). Suppose 0 = 5*p - b - 15. Solve -m = m + p for m.
-3
Let z(i) = -2*i**2 - 4*i - 17. Let l be z(-3). Let c = -23 - l. Solve c = 2*u - 3 + 5 for u.
-1
Let h = -8 - -18. Let i = 39 - 26. Suppose -p - 3*k = -13, 2*p + k + 2 = i. Solve t + p*t + h = 0 for t.
-2
Suppose 0 = 6*v - 167 - 73. Solve -3*u + 34 = v for u.
-2
Let n(h) = -6*h - 18. Let f be n(-7). Let x = -24 + f. Solve -5*q - 32 + 12 = x for q.
-4
Suppose -i = -3*w - 17, 0 = 5*w + 8 + 12. Solve 0 = -c - 2 + i for c.
3
Let p(k) = -k + 1. Let c be p(-4). Suppose -4*r = -c*r + 20. Let x = -15 + r. Solve x*g = 3 + 17 for g.
4
Let i be (-8)/6*(-3)/2 - 72. Let j = i - -71. Solve 0 = -2*y - 7 - j for y.
-4
Let n be 1071/102 - 1*(-2)/4. Solve 4*v + n = -1 for v.
-3
Let q(z) = z**3 - 11*z**2 + 12*z + 7. Let r be q(10). Solve 24 - r = w for w.
-3
Let r = -16 + -9. Let x = r - -35. Suppose -7 = y - 2*s - 17, -5*y + 2*s = -x. Solve -5*z - 15 = -y*z for z.
-3
Let w be (9/27)/(1/(-27)). Let z be (6/(-5))/(w/30). Solve 5*a - z = 6 for a.
2
Let j be (-2)/(-3) - (-26)/6. Let q = 506 - 506. Suppose -j*v - 1 + 16 = q. Solve -6 + 0 = -v*h for h.
2
Suppose -27 = -3*g + 9. Solve -4 = -4*o + g for o.
4
Suppose -5*q = -1 + 31. Let c be (-186)/217*(0 - (-28)/q). Solve c*y - 12 = 7*y for y.
-4
Suppose 2*l + 1 = 21. Let x = -87 + 61. Let h be (-106)/(-689) - (74/x + 0). Solve p - h*p = -l for p.
5
Suppose -306 = -61*z + 52*z. Solve -9 + z = -5*y for y.
-5
Let p = -2534 - -2587. Solve -54*b = -p*b - 3 for b.
3
Let d be 5*((2 - -2) + -3). Suppose d*a + 19 + 11 = 0. Let k = 9 + a. Solve b + 1 = k for b.
2
Let u(t) = t**3 - 9*t**2 - 14*t + 44. Let q(v) = -4*v - 38. Let w be q(-12). Let x be u(w). Solve 3*h = -7 + x for h.
-1
Let d(o) = o**2 - 22*o - 21. Let g be d(23). Solve 2*x - x - g = 0 for x.
2
Let h = -15 + 15. Suppose 2*l + 2*l = h. Suppose -r + 2 = 0, -5*b + 2*r + 10 - 4 = l. Solve 10 = b*u - 7*u for u.
-2
Let g = 232 - 228. Solve 6 = y + g for y.
2
Suppose -10 = p - 6*p, 4*a + 4*p = 32. Let q = 4 + -2. Solve n + a = q for n.
-4
Suppose 3*g = t - 8, -g = 4*t - 2*g - 10. Solve -t*m - m = 3 for m.
-1
Let f be (0 + 0)/((-4)/2). Suppose -239 = -6*i + 91. Let k = i + -50. Solve 5*q = -f + k for q.
1
Let b(l) = -l**3 + 4*l**2 + 4*l + 5. Let t be b(5). Let a = t + 4. Let k = a + -1. Solve 0 = k*i + 3 for i.
-1
Let q = 40 - 37. Suppose 0 = 2*s - 3*j + 2*j - 6, -q*s + 5*j = 5. Suppose -5*x + 44 = -x. Solve s*l + 1 = x for l.
2
Suppose -2*o = -3*g + 5*g + 10, 4*g = 3*o - 6. Let u be 3 + (o + 5)/(-3). Solve -3*n = u*n + 15 for n.
-3
Let k = 8 + -6. Let p = -9 - 33. Let d = 52 + p. Solve -k - d = 4*v for v.
-3
Let p be 340/(-50) - 2/10. Let i(a) = -2*a - 6. Let k be i(p). Solve -4*j = -0*j - k for j.
2
Suppose 288*v - 48 = 282*v. Solve 8*b = v - 0 for b.
1
Let p be 1/(-2 + 34/16). Solve -p*s = -s + 28 for s.
-4
Suppose -4*x = m, -6*x = -7*x - 2*m. Solve x = 5*j + 3*j - 16 for j.
2
Suppose -r + 12 = -4*c - 24, 5*r + 2*c = 202. Solve 8 = r*s - 38*s for s.
4
Let p = -91 + 35. Let i be 4/14 - 208/p. Solve o + 3 = i*o for o.
1
Let d be -5*(-3 + 16/10). Let u(n) = 8*n + d - 2 - n**2 + 2 + 4. Let g be u(9). Solve g*m - 2 = -0 for m.
1
Let z(g) = 3*g**2 - 3*g - 1. Suppose 2*n - 1 = -3. Let w be z(n). Solve w*v + 0*v = 0 for v.
0
Let x(v) = -17 - 3*v - v - 8*v - v**2 - 3*v. Let u be x(-13). Solve 2*d + u = 5*d for d.
3
Let k be (-6)/(-4)*(0 - -2). Suppose -5*m + 15 = j, 0 = -4*m + 9 + k. Suppose -4*v + j*v + 12 = 0. Solve -v*i + 2*i = 0 for i.
0
Suppose -t = z - 5, 4*t + 0*z = z + 15. Suppose -2*a - 2*a = 0. Suppose -c = -0*c - 9. Solve -t*s - c - 11 = a for s.
-5
Suppose -2*g + 2*v - 8 = 0, 2*v - 8 = 2*g + 2*g. Solve g = 2*n - 0*n - 6 for n.
3
Let i = 134 - 132. Solve 3*w - i - 4 = 0 for w.
2
Suppose 3*h = 76 + 14. Suppose -w + 3*n = -8, 5*w - 3*n - h = 2*n. Solve -3*b + 1 = -w for b.
2
Suppose -25*s = -15*s - 10. Let q(l) = 8*l**2 - l. Let x be q(s). Solve 5 = 4*f - x for f.
3
Let a = 10 + -7. Suppose 2*z - a*t = -5*t + 14, 4*t = 4*z + 12. Suppose -3*y = 5*o - 7*y - 8, -4*y + 28 = 4*o. Solve -z*f - 2 = o for f.
-3
Suppose -3*f = o - 15, 4*f - 5*f = -o - 1. Let b = -17 - -19. Solve -25 = b*y + o*y for y.
-5
Let u be (5/(60/27))/(471/628). Suppose i - 5*i = 0. Solve u*c = -i*c + 15 for c.
5
Suppose -4*i + 0 = -28. Let r(l) = l**2 - 6*l + 5. Let u be r(i). Let m be (u/(-16) + 1)*8. Solve -m = o - 4 for o.
2
Let b be (29/2)/((-92)/(-184)). Solve -129 = -20*f - b for f.
5
Let j be 4/10 + (-1656)/(-60). Suppose -3*a + j = 4*w, -a + 17 = 3*w + 1. Solve -13 = -w*b - 1 for b.
3
Suppose -50 = -9*g + 31. Solve 7*f = g*f - 10 for f.
5
Suppose 3*f = 2*q - 13, -9 = 5*q + 5*f - 4. Suppose -q*b = 4*c - 1 - 27, -3*b + 30 = 4*c. Solve c*h = 4*h + 2 for h.
1
Suppose 88 = 24*l - 28*l. Let y be 20 + l + 6*(0 + 1). Solve k = -0 + y for k.
4
Suppose -150