5
Suppose -k - 32 = -5*k. Let v(c) = -c**3 + 5*c**2 - 4*c + 5. Let f be v(4). Let q = k - f. Solve 1 = h - q for h.
4
Suppose i = -3 - 1, 5*m - 7 = -2*i. Suppose -5*v + m*r = -11, 2*r = -5*v - 8 + 34. Let f = 1505 - 1497. Solve 0 = v*o + 28 - f for o.
-5
Let i be (-2)/(-6)*(3 + 0). Let o(w) = 2*w - 7. Let s be o(3). Let n be s*0/(-2)*i. Solve 3*a - 10 - 2 = n for a.
4
Let a(b) = 9. Let z(n) = -n - 8. Let q(y) = -2*a(y) - 3*z(y). Let f be q(-2). Solve -7*u + 4*u - 12 = f for u.
-4
Suppose x = -5*c + 150, 2*x = 5*c - 2*x - 175. Let w = c + -21. Let k(f) = -2*f. Let v be k(-1). Solve -v*s - 4 = -w for s.
3
Suppose 0 = -21*d + 228 + 528. Solve -4*h + 44 = d for h.
2
Suppose 41*d = -66*d + 3210. Solve -7*b - d = -b for b.
-5
Let w be (-5)/(-10) + 6/4. Let p(l) = l + 10. Suppose 4*v = 2*t - 28, v + 3*t + 1 = 2*t. Let y be p(v). Solve w*z + 1 = y for z.
2
Suppose 2 + 48 = 25*c. Solve 18 = -8*f + c*f for f.
-3
Let i(j) = -j**3 - j**2 - 2*j + 1. Let h be i(0). Let l be (-7)/((-14)/6) - h. Let b(p) = p**3 - 4*p**2 - 4*p + 2. Let t be b(5). Solve l*r - t = -3 for r.
2
Suppose 0*f - 4*f = 0. Suppose -2*b - 5 = 4*z - 3*z, 0 = -2*b - 3*z - 15. Let o = b + f. Solve o = 7*q - 2*q + 15 for q.
-3
Suppose -50 = 14*s - 19*s. Let v be (-20)/4*(-4)/s. Solve v = -2*p + 10 for p.
4
Let y(d) = -3*d - 8. Let k(l) = -4*l - 12. Let m be k(-7). Suppose 6*i + m = 2*i. Let x be y(i). Solve 3*r + x = 1 for r.
-1
Let t = -14 - -14. Solve t = -7*y + 12*y for y.
0
Suppose -1 = -5*d + 4. Let t be -10 + 3*70/21. Solve -z = -t - d for z.
1
Let v(f) = -8*f + 66. Let y be v(6). Solve s - y = -16 for s.
2
Suppose 5*f - 31 = -6. Let k be 6/10*(f - 0). Solve k*d - d - 4 = 0 for d.
2
Let v be (8 - 0)/(-62 - -66). Solve 10*s + v = 8*s for s.
-1
Suppose -17*q + 50 = -35. Solve q*x = -19 - 1 for x.
-4
Let o(c) = -c**3 - 7*c**2 - 6*c. Let f be o(-6). Suppose 5*z = -5*s + 80, -2*z = 5*s + 23 - 115. Suppose f = p - 5*p + s. Solve 2*j - p*j = 0 for j.
0
Suppose -3*p = -26 + 2. Let n(c) = c - 6. Let r be n(p). Let j be (24/(-9) + r)*-6. Solve j = -2*q + 2 for q.
-1
Let c be (2/(-7) - 570/(-35)) + 4. Solve 24*d - c = 29*d for d.
-4
Let o = 5 - 2. Suppose x + 0 = o. Suppose 4*h - 3*h - 2*f = 6, -11 = -2*h + x*f. Solve -h*k + k = 6 for k.
-2
Let m(y) be the first derivative of -y**4/4 + y**3/3 - 5*y**2/2 - 7*y - 4. Let w be m(-2). Solve -3*g - 2*g = -w for g.
3
Let b(x) be the first derivative of -8 + 3/2*x**2 - 7*x. Let y be b(4). Solve -y*a = -0*a + 5 for a.
-1
Let q = 610 - 604. Solve 0 = q*h - 10*h for h.
0
Let y(u) = -u + 9. Let f = -21 + 21. Let t be y(f). Let v be 3/(-12) + t/4. Solve 1 + 1 = -v*n for n.
-1
Let j = 301 + -301. Solve -10*p + 43 - 3 = j for p.
4
Suppose -10*w + 16*w = 42. Solve -w*m + 3*m + 20 = 0 for m.
5
Suppose 3*h - 4*h - 4 = 0, h - 56 = -4*c. Solve 2*k + k = -c for k.
-5
Let b(n) = 16*n + 471. Let q be b(-29). Solve 8 - 22 = q*g for g.
-2
Suppose 0 = -5*h + 5*l + 40, l + l = -h + 5. Let i(t) = 7*t**2 - 36*t + 8. Let c be i(5). Solve h*d + 20 = c*d for d.
-5
Let o be (-4)/(-5) - (-655)/25. Let a = o - 27. Let n(d) = -d**2 - 6*d + 1. Let c be n(-5). Solve a = c*q - 2*q for q.
0
Suppose b = 2*b - 8. Suppose q - 16 - 26 = -5*d, -2*d + 2*q = -12. Suppose 0 = u - 4*f - d, 5*f + 48 = 4*u + 5. Solve -b*o + 4*o = u for o.
-3
Let a(f) = f - 9. Let b be 1 + -1 + 17/1. Let o be a(b). Let x = 6 + -3. Solve -x*p - o = 1 for p.
-3
Let w be (-5 - -8)*(-83)/3. Let i = -63 - w. Solve -s = 4*s - i for s.
4
Let z = -7 + 45. Suppose 0 = 4*j + 38 - z. Solve -4*g - g = j for g.
0
Let v(w) = w**2 - 3*w - 4. Let x be v(6). Let o be -2 - (-8 + 3/(-1)). Let b = x - o. Solve -2*f = -b*f + 9 for f.
3
Suppose 3 = -i + 7, 2*i - 4 = 2*l. Let w be (12/5)/(l/5). Solve w*z + 20 = z for z.
-4
Suppose -2*c - 7 = 2*i - 39, 0 = -4*i - c + 52. Let t be 14/(-28) - (-14)/4. Suppose 7 - 3 = -t*r - f, 0 = r - f - 4. Solve n - 4*n - i = r for n.
-4
Let z be (-2 + 6)*((-63)/(-14))/3. Solve -10*i + z = 36 for i.
-3
Let j(o) = 3*o**3 - 3*o**2 + 2*o. Let h be ((-9)/(-5) - 11/(-55)) + 0. Let u be j(h). Solve u = 5*t + 6 for t.
2
Let q(w) = -w**3 + 3*w**2 + 2*w - 1. Suppose -5*o - 5*a = 0, -3*o + 16 = -a + 4. Let c be q(o). Solve c = -4*n + 17 for n.
3
Let v = -240 + 245. Solve 2*k = v*k - 6 for k.
2
Let g be 2/(-2 + 32/12). Solve g*b = 10 - 4 for b.
2
Let n(u) = -u**3 - 6*u**2 + 16*u + 4. Let w be n(2). Solve -14*p = -16*p - w for p.
-2
Let d be (-256)/(-8) - (-3 - -5). Suppose -10*b + d = -20. Solve -5 - 5 = b*y for y.
-2
Let i = 182 + -166. Solve 3*h = i - 1 for h.
5
Let t be 1/4 - (-3 + (-117)/(-52)). Solve -2*b + b + t = 0 for b.
1
Let l = 66 + -65. Solve 4*m - 5 = -l for m.
1
Let l be 4/(-10) - 48/(-20). Let p be ((-5)/15)/(l/(-150)). Solve -3*r - 2*r = p for r.
-5
Suppose -2*v - 2*v + 32 = 4*c, -2*c - 34 = -3*v. Let d = 0 + 6. Suppose -k = 4*t - 6, d*t - 12 = -2*k + t. Solve k = -4*f - v for f.
-4
Let t = 20 + -17. Suppose 8*f - 5*f = t. Solve 0 = -5*q + 24 + f for q.
5
Let v be 4/(-6) + (-147)/9. Let i = v + 10. Let x be (-168)/(-49)*i/(-2). Solve -n - x = -4*n for n.
4
Let p be 72/(-3) + 0/3. Let l be 4/(-24) + (-4)/p. Suppose 2 = v - l*v. Solve -w + 0 - v = 0 for w.
-2
Let b be (-7)/3*(-63)/7. Let h = 24 - b. Solve h*y - 20 = -y for y.
5
Let b = -9 - -14. Let j(o) = o**2 - 12*o + 40. Let h be j(b). Solve h = -2*p - 5 for p.
-5
Suppose -3*d - p = -4*p - 339, p = -5*d + 553. Let m = d + -107. Solve m*c + 0*c = -4 for c.
-1
Let n be (-2 - (1 - 1))*3. Let k be 2/3 - 14/n. Suppose 5*z + 2*u - 4*u = 9, 2*u - 15 = -k*z. Solve z = -5*b + 6*b for b.
3
Let p(n) = n**2 + 2*n - 53. Let x be p(-9). Let c be 2/(-3)*(1 - 4). Let l(w) = -w**2 + 10*w - 13. Let s be l(8). Solve -s*d = c*d + x for d.
-2
Let i = -1073 + 1076. Let r(u) = -3*u - 2. Let q be r(-5). Suppose -5*x - q = 2*k, -i*k - x - 4*x - 7 = 0. Solve -k*w + w = 10 for w.
-2
Let a(h) = -5*h. Let t be a(-3). Suppose -5 = 5*u + 15. Let x be (u + 6 - 32)/(6/(-8)). Solve t - x = 5*v for v.
-5
Let n be 25/10 - 1/2. Suppose -4*i + 36 + 4 = 4*u, -4*u = -n*i + 2. Solve i*f = 3*f + 4 for f.
1
Let v(b) = b**3 + 5*b**2 + 6*b + 6. Let p be v(-4). Let r = p + 5. Let x be r/(-4) - (-77)/28. Solve 0 = -x*s + 7*s for s.
0
Let n = 11 + -8. Let i(y) = 3*y**3 - 3*y**2 + y. Let k be i(3). Let u = k - 52. Solve 0 = -4*r - u - n for r.
-2
Let c be -3*(3 + -1)*13/(-6). Solve 12*a - 5 = c*a for a.
-5
Suppose 11 = -2*t + 5*u, -5*u + 4 + 9 = -t. Suppose -t*g = 4*a - 45 - 1, g - 14 = -a. Let d = a - 5. Solve -d*o - 12 = -o for o.
-4
Suppose -4*w - 5 = -2*y + w, -37 = -4*y + w. Solve 2*u - 2 + y = 0 for u.
-4
Let q(m) = m**3 + 5*m**2 - 4*m + 10. Let i be q(-6). Let y be i/5 + 52/5. Suppose -5*a + y - 2 = 2*s, 5*s = a + 20. Solve 0 = 2*z + 2 + s for z.
-3
Let m = 13 - 9. Suppose 0 = m*l - 5*d - 6, -5*d + d = -5*l + 12. Let w be (-21)/28 - 63/(-4). Solve -w = -l*s + s for s.
5
Suppose -4*l + 168 = -l. Suppose 0 = 27*m - 30*m + 6. Suppose -m*n = -2*v - l, -4*n - 3*v = n - 124. Solve 4*r - 6 = -n for r.
-5
Suppose 7*d + 25 = 12*d. Suppose -5*k - 15 + 35 = -d*m, 3*k + 4 = -m. Solve k = -s + 2 + 2 for s.
4
Let g be (4/2)/((-8 - -9)/5). Solve -25 = 5*z - g*z for z.
5
Let i(c) = 2*c + 26. Let h be i(-8). Solve 9 - h = u for u.
-1
Let k = -492 - -494. Solve -3 - 1 = k*x for x.
-2
Let n be ((-19)/(-228) + (-3)/(-12))*0. Solve n = -3*c + c - c for c.
0
Let v(m) = -3*m + 23. Let z be v(7). Suppose a + 2*j - 35 = 0, z*a = -0*j - 3*j + 67. Solve -9 = -4*k - a for k.
-5
Let q = -818 + 820. Solve 16 = 6*d - q for d.
3
Let m = 254 - 247. Solve 12 = m*j - 23 for j.
5
Suppose -5*p - 12 = -3*v, 0 = -5*v + 2*v - 5*p + 42. Let n = v + -5. Solve -z = -n*z for z.
0
Suppose a = -a + 6. Let i(z) = z - 3 - a*z - 5 + 3*z. Let q be i(10). Solve q*g = -2*g + 8 for g.
2
Let a be -2 + (-3 - -1) + 34. Suppose -6*g + a = -g. Let y be (g/(-5))/(26/(-195)). Solve -5*n - 11 = y for n.
-4
Suppose 24 = 4*c + 2*i - 5*i, 5*i = -4*c - 8. Solve 9*j = 6 + c for j.
1
Let n be 1*(-1)/2 + 70/20. Solve 4 = n*t - 2 for t.
2
Let t(l) = 5*l**2 + 7*l + 16. Let s be t(-3). Suppose -2*b - s = -7*b. Solve 3*m + 1 + b = 0 for m.
-3
Let m = -898 + 925. Solve 0 = -6*z - 3*z + m for z.
3
Suppose 3*u + u - 12 = 0. Suppose h = 22 + 6. Suppose -10*c + h = -3*c. Solve c*o - 5 = u*o for o.
5
Let v = -23 - -32. Solve v*m = 5*m for m.
0
Suppose -9*o - 12