- -4)/2 + -2. Solve 5 = -q*s + u for s.
3
Suppose -2*w + 5 - 7 = 0. Let q be 4/6*(-3)/w. Solve q*j + 12 = 6*j for j.
3
Let t(x) be the first derivative of x**2/2 - 24*x + 7. Let h be t(13). Let f(p) = -p**3 - 11*p**2 + p + 15. Let d be f(h). Solve -9 = -d*l + 7 for l.
4
Let d(a) = -2*a - 31. Let r(b) = -2. Let f(s) = d(s) - 4*r(s). Let t be f(-13). Solve 0 = -m - 2 - t for m.
-5
Let i(q) be the first derivative of 5*q + 1/2*q**2 + 9. Let v be i(11). Solve -5*o = -o + v for o.
-4
Let z be 2 - 15/((-30)/(-4)). Solve z = 5*w - 0*w - 10 for w.
2
Suppose -10*b - 36 = -4*g - 14*b, g = b - 1. Solve -16*t + g*t = -48 for t.
4
Suppose -3*c - 3*o = -8*o - 82, 0 = 4*c + 3*o - 61. Let a(y) = -3*y + 60. Let p be a(c). Solve -k - 2*k = p for k.
-1
Let d = -329 + 338. Solve 11*o = d*o + 2 for o.
1
Let t(h) = h**3 + 5*h**2 - 15*h. Suppose 21 = 2*r + 35. Let g be t(r). Suppose -g*i + 4 = -6*i. Solve i*m - 7 = -3 for m.
1
Let s be 3*(-6)/(-54) - 44/(-3). Solve -s*h + 9*h + 12 = 0 for h.
2
Let u(d) = -d**2 + 20*d - 62. Let x be u(16). Solve -7 + x = -q for q.
5
Suppose -4*t + 2*j + 0 = -46, 2*j + 16 = t. Let f(z) = -z + 4. Let i be f(t). Let w be (-6)/(-3) - (i - -5). Solve -w*h + 8*h = 0 for h.
0
Let u = -45 - -42. Let o be 4/u*4*(-9)/24. Solve r - 9 = -o*r for r.
3
Let p(i) = 2*i**2 - i - 1. Let k be p(2). Let t = k - 1. Let f = -365 + 366. Solve t + f = m for m.
5
Suppose -15 = 4*d + d, -5*s = -2*d - 251. Suppose -45*x + s*x = 28. Solve 4*i - x - 9 = 0 for i.
4
Let u = -12 + 12. Let p be u/(-5 + 2 + 4). Solve p = -5*h - 4 - 1 for h.
-1
Let x be ((-2)/(-15)*6)/((-2)/(-50)). Suppose 3*d - d - 20 = 0. Let y = x - d. Solve -v - v = -y for v.
5
Suppose -5*l + 10 = 3*o, -l - 2*o - 5 = -0*o. Suppose 4*s - 11 = l. Solve -s*h - 3 + 23 = 0 for h.
5
Let g(r) = r**3 - r**2 + r - 8. Let o be g(0). Let b(p) = p**2 + 8*p - 4. Let u be b(o). Let x be (22/6)/(u/(-12)). Solve 3 - x = 2*c for c.
-4
Suppose c = -3*k, 2 = -k - c - 0*c. Solve 0 = 4*s + k + 7 for s.
-2
Let s be (-742)/(-21) + 16/(-12). Solve -s*o + 8 = -30*o for o.
2
Let a = -263 + 269. Solve a*m + 0*m = 24 for m.
4
Let i(m) = -4*m**2 + 130*m - 43. Let j be i(32). Solve 33*g - 12*g + j = 0 for g.
-1
Suppose -4*l + t - 11 = -7*l, 0 = -2*l + 2*t - 6. Let c(d) = -d - 37 - 10*d - 8*d**2 + 58 + d**3. Let j be c(9). Solve -5*r + l*r = -j for r.
1
Suppose 0 = 3*p - 110 - 178. Let q = 108 - p. Solve -5 = -q*w + 7*w for w.
1
Let b(w) = -w - 7. Let q(f) = 1. Let y(j) = b(j) + 3*q(j). Let m be (-10)/2*(-8)/(-5). Let t be y(m). Solve 0*s - t = -4*s for s.
1
Let x(l) = -2*l**2 + 14*l + 2. Let b be x(7). Suppose -3*h = b*h - 10. Solve -n - n + h = 0 for n.
1
Let r be ((-1)/2)/(11/(-44)). Suppose 44 = -21*g + 23*g. Solve 4*q - g = -r for q.
5
Let g(j) = -2*j. Let m be g(-3). Let u be 66/18 - (-2)/m. Solve 0 = -u*d + 11 + 1 for d.
3
Suppose 0 = -6*r + 22 - 52. Let n = 15 + r. Suppose -4*q + 2*q = -n. Solve 3 = -g + q for g.
2
Let r = 36 - 29. Let i(f) = 3*f - 10. Let x be i(r). Solve 3*c + x + 1 = 0 for c.
-4
Let c be (-5 - (-144)/27) + 2/(-6). Suppose h + c*z + 3 = 3*z, h + 2*z - 7 = 0. Solve -5*o = -h*o for o.
0
Let r(q) = -2*q + 14. Let u be r(-8). Let i = -25 + u. Let y be (-2)/(-2*(-1)/(-5)). Solve -y*h + i - 30 = 0 for h.
-5
Suppose i + 902 = 907. Solve 3*c + i - 8 = 0 for c.
1
Let u be 14/42 + -1 + (-2)/(-3). Solve u = -2*b - 8 + 10 for b.
1
Let o be 1 - -1 - (475 + -5)/(-5). Let b = o - 95. Solve -b = 4*s - 3*s for s.
-1
Suppose -3*r + 30 = 3*r. Solve -5 - 5 = r*i for i.
-2
Suppose 4*o = 2*q + 20, q - 3*o = -2*o - 9. Let k be 63/(-84) + (-46)/q. Solve 20 = -k*u + u for u.
-5
Suppose 0*t + 2*t = 2*i + 34, -5*t - 5*i = -85. Let c = 18 - t. Solve q = -0 - c for q.
-1
Let q = 8 + -4. Suppose q*r = r + 15. Let d = r - 1. Solve -b = -d*b for b.
0
Let x(p) = 2*p - 19. Let l be x(13). Let w = l + -2. Solve 13 + 12 = w*r for r.
5
Let b be 68/(-3)*(-2 + -1) + 2. Suppose -b*u = -72*u + 4. Solve 0 = -n + 2*n + u for n.
-2
Let r(f) = -4 + 80*f**2 + 7*f - 4*f - 78*f**2. Let b be r(1). Solve 0 = -3*q + 2*q - b for q.
-1
Suppose q = -2*s - 74, q - 56 - 65 = 3*s. Let m = -129 - s. Let k be (m/27)/(4/(-6)). Solve k*v - 12 = 3 for v.
3
Let f be (-32)/6*(85/(-20) - 1). Solve -10*i - f = 22 for i.
-5
Suppose -10 = -7*v + 4*v + 2*f, -2*v - 4*f + 12 = 0. Suppose 3*s - v*t = 72, -s + 0*s - 4*t + 8 = 0. Solve -4*r = r + s for r.
-4
Let n = -69 - -85. Suppose -2*m = 4*h - 2, -2*h + 0*m + 4*m + n = 0. Solve -h*v + 20 = -7*v for v.
-4
Let j be (8/(-6))/((-4)/6). Let x(n) = -7*n + 2. Let r be x(j). Let f be (6/(-4))/(9/r). Solve 0 = -f*s - 2 for s.
-1
Suppose -4*g - 56 = -m - 3*m, -g = -2. Let h be (39/12 - 3) + 108/m. Solve -3*i = h + 8 for i.
-5
Suppose v - 68 = -3*v. Suppose 2*g + 23 = -v. Let c = g + 23. Solve 4 = c*n + n for n.
1
Let o = -4 + 9. Suppose 0*y - o*y = 0. Suppose 5*t = -y*t. Solve 5*s + t*s = 25 for s.
5
Let x(a) = a**3 - 4*a**2 - 8*a + 15. Suppose 16*w - 5 = 15*w. Let z be x(w). Solve z = 2*d + 1 + 9 for d.
-5
Let l(w) = -w**3 + 6*w**2 - 3*w - 5. Let d be l(5). Suppose -5*i = i - 6. Let y be i/(1/(4 - 3)). Solve y = -d*g + 11 for g.
2
Suppose -p - 3*r = -10, -8*p + 8 = -7*p + r. Solve -13*v = p + 6 for v.
-1
Let w = 8 - 8. Suppose 3*h - 15 = -w*h. Solve -h = m + 4*m for m.
-1
Suppose 0 = -m - 4*f + 28, -f - 14 = 4*m - 141. Solve m*k = 36*k - 20 for k.
5
Let w(r) = -8*r**3 + 39*r**2 + 9*r - 12. Let m be w(5). Solve -x + m = x for x.
4
Let k be ((-36)/(-81))/(4/18). Suppose 0 = b + k*b - 6. Solve b*n = 8 + 2 for n.
5
Let v be 4 - 80/(-7 - 1). Solve 0 = v*k - 9 - 47 for k.
4
Let g(m) = m**3 - 14*m**2 + 44*m + 14. Let q be g(5). Solve 33 = q*o + 2*o for o.
3
Let o be 6/(-4) - (-9 + (-21)/(-14)). Solve r = o*r - 15 for r.
3
Let m be ((-6)/(-4) + -1)*30. Suppose 0 = -5*a + m, 2*a = -z - 2*z + 9. Solve -2*g = -5 + z for g.
2
Suppose 0 = -5*w - 2*o + 8, 5*w + 0 - 4 = -o. Solve -f + 22 - 27 = w for f.
-5
Let a(g) = -14*g**2 - 101*g - 20. Let k be a(-7). Suppose 10 = 5*q - 5*j, 4*q - j - 13 = -2*j. Solve -2*z + k - q = 0 for z.
-1
Let d = 85 + -85. Suppose -1 = -2*k + 7. Solve d*i = i - k for i.
4
Let f(t) = -t**2 + 4*t - 3. Let g be 2 - ((-3 - -5) + -3). Let a be f(g). Solve a = p - 2*p + 1 for p.
1
Let w be -5*3/(-60) + (-75)/(-20). Solve 5*m - 4*m = -w for m.
-4
Suppose 0 = -q + 3*f - 4*f + 4, -5*f = 10. Solve q = -0*x - 3*x for x.
-2
Let z = 4 - 2. Let d be (3 - 5)*3/9*-3. Suppose 6*n + 3 = k + 4*n, d*k + 5*n - 6 = 0. Solve z = k*x - x for x.
1
Suppose -2*k + 6*k = 64. Let g = -116 - -116. Solve g*z = -4*z + k for z.
4
Suppose 2*n = g + 16 - 5, -2*g - 16 = -2*n. Let r be ((-9)/9)/((-1)/9). Let c be 36/42*(-2 + r). Solve c = -3*h - n for h.
-3
Suppose 2*q = 4*q - 8. Solve -20*v = -19*v + q for v.
-4
Let q = -76 + 90. Let s be (-9 - -11)/(-2 + q/6). Solve 4*f + 10 = s for f.
-1
Suppose -2*u + 4*u - 4*f + 8 = 0, -u - 2*f = -16. Suppose -u*g = -2*g - 16. Solve -2*n + 3*n = g for n.
4
Let s(h) = -h**2 - 5*h + 20. Let j be s(-6). Solve j*b + 8*b - 22 = 0 for b.
1
Let s(c) = -11 - 18*c + 19*c - 6. Let x be s(17). Solve x = -5*v + 6*v - 4 for v.
4
Suppose 4*p + 0*p - 12 = 2*h, 4*h = -2*p + 6. Suppose -4*q + 2*q = 3*y + 15, y = -5*q - 31. Let n = 3 - q. Solve p*x = -0*x - n for x.
-3
Let p be (1632/(-36))/((-1)/6). Suppose -6*g - p = 2*g. Let l = g - -34. Solve 0 = -l*o + 3*o - 3 for o.
1
Let m(g) = -90 + 0*g - 4*g + 77 + 2*g. Let d be m(-13). Solve d - 9 = -2*s for s.
-2
Suppose -6*b - 10 = -b, -5*b = -2*u + 10. Suppose 3 = 3*x - u. Solve -5*l = x - 11 for l.
2
Let b(a) = -a**3 + 11*a**2 + 13*a - 9. Let o be b(12). Suppose -8 = o*y - 7*y. Suppose -5*l = v - 8, 2*l + 2*v - 10 = -y. Solve l + 1 = -h for h.
-2
Suppose 13*q - 74 = -24*q. Solve q*v - 4 = v for v.
4
Let c(j) = j**3 - 9*j**2 - 7*j - 12. Let z be c(10). Solve -5*v = z - 43 for v.
5
Let c(g) = -g**3 + 6*g**2 - 2*g - 3. Let k be c(5). Suppose k - 2 = d. Let i = -6 + d. Solve 14 = i*f + 6 for f.
2
Let p(j) be the first derivative of j**2 - 5*j - 28. Let f be p(4). Solve 5 = f*h - 2*h for h.
5
Let w(k) = 21*k**2 - 352*k - 18. Let g be w(17). Solve 63 - g = -4*r for r.
1
Let t = 239 - 239. Suppose 0 = 3*b + 6 - 27. Suppose -b = -2*c - 3*h, 0 = 7*c - 4*c + h - 21. Solve t = -3*k + k - c for k.
-4
Let p(y) = 45*y + 367. Let g be p(-8). Solve -15*s + g*s + 32 = 0 for s.
4
Let b be (0 - -2) 