.
1
Let s(a) = a**3 + 17*a**2 + 15*a - 21. Let t be s(-16). Let q(k) = -2*k - 8. Let w be q(t). Solve -w*n - 1 + 11 = 0 for n.
5
Let a(r) = r**2 - 80. Let d be a(-10). Solve 2*l + d = -3*l for l.
-4
Suppose -3*m + 269 - 245 = 0. Solve -3 + m = 5*c for c.
1
Let l = 11 - 21. Let g be 0*4/(-2 + l). Suppose 4*m = m + 3*u + 15, 3*m + 3*u + 15 = g. Solve m*q - 8 = -4*q for q.
2
Suppose h - 56 = -4*j - h, 2*j = -3*h + 28. Solve -4*i - j - 6 = 0 for i.
-5
Suppose -4 = -4*k + 4. Suppose k*q + t - 41 - 1 = 0, -3*t = 2*q - 42. Suppose 8 = b - 5*n + q, 0 = n - 3. Solve -b = -3*o + 4 for o.
2
Let t = 866 + -842. Solve t*o + 8 = 28*o for o.
2
Let p be ((-6)/(-9))/((-2)/6). Let g(u) be the first derivative of -u**4/4 - u**3 - 3*u**2/2 - 2*u - 19. Let i be g(p). Solve i = -0*b - 2*b - 2 for b.
-1
Suppose 0 = 2*o + t - 13, -4*o + 5*t + 23 = -3*o. Suppose 0 = -3*k - 2*k - v - 187, 156 = -4*k - 4*v. Let x = k + 47. Solve o*y - x = 3*y for y.
2
Let j be 36/(-54) - (-44)/(-6). Let k = j + 11. Solve -k = 4*o + 1 for o.
-1
Let u(i) = 2*i - 8. Let c be u(7). Let d = c - 6. Let y(n) = n**2 + 8. Let h be y(d). Solve b - h = 3*b for b.
-4
Let a be (-186)/(-21) - (-4)/28. Suppose -4*j + a*j - 75 = 0. Let r = 17 - j. Solve -r*z = z for z.
0
Let r be ((-43 - 2)/(-3))/((-6)/(-4)). Let h be (2/r)/(3/45). Solve -h*z - 2*z - 20 = 0 for z.
-4
Let r be (12/(-56)*6)/(3/(-21)). Solve -20 = r*c - 14*c for c.
4
Let t(i) = 2*i**2 - 19*i - 7. Let y be t(10). Let p be 1 - 16/20*(y - 8). Solve 20 = p*f - 0*f for f.
4
Suppose -11 = 4*h - 3. Let p be (-16)/24*6/4 - 0. Let o be -9*p/h*-2. Solve 6*m - 3*m + o = 0 for m.
-3
Let k be (-8)/(-24) - 34/(-6). Solve 2*l + k = 8*l for l.
1
Suppose 0 = 2*x - 2 - 6. Let v be 2 + 2 + 0 + 1. Let g = 13 - v. Solve 0 = -x*j - g for j.
-2
Let f be 3/(((-9)/258)/((-6)/4)). Let y = f - 123. Solve 0 = 3*l - l - y for l.
3
Suppose 6*g - 32 = 214. Suppose -11 + g = 6*u. Solve -3*y - 14 + u = 0 for y.
-3
Let p(z) = -z**3 + 21*z**2 - z + 21. Let d(c) = 7*c**2 - 4*c + 1. Let m be d(2). Let y be p(m). Solve y = -4*f - 4 - 12 for f.
-4
Suppose -j + 0*j - 3*j = 0. Let p be (-1 + j)/(1/(2 + -4)). Solve 3*w = w - p for w.
-1
Suppose 5*i = -2*a + 40 + 1, 4*a = -3*i + 33. Solve -11 = i*c - 18*c for c.
1
Suppose 0 = 4*v - 5*l - 196, 5*v - 305 = 4*l - 69. Solve 8*r + 20 = v for r.
3
Suppose -22*i - d = -25*i + 90, 9 = -3*d. Solve -o = 27 - i for o.
2
Suppose 5*r = 3*b - 50, -r - 2*b + 0 = -3. Let z be (-7 - r)*3/12. Solve z = -v - 3 + 2 for v.
-1
Let m = -1616 - -1787. Solve -173*n - 10 = -m*n for n.
-5
Suppose -11*k - 28 = -4*k. Let s be 5 + (k - 1)/5. Suppose 0*j = -h - 5*j + 9, 5*h - 24 = -s*j. Solve -h*i + 2*i = -2 for i.
1
Let o(d) = d**3 + 10*d**2 - 5*d - 8. Let u be o(-10). Suppose u = 7*g - 4*g. Let k = 16 - g. Solve -k = v - 3 for v.
1
Let r be (-1)/((-22)/(-4)) + (-8700)/(-660). Solve 3*y + 2 = -r for y.
-5
Suppose 3*y - 19 = -2*t, -3*t + 3*y - 17 + 8 = 0. Suppose x = t*x. Solve -2 = -x*f + 2*f for f.
-1
Suppose -13 - 11 = -6*u. Suppose 5*a - 5 = 3*h, u*a + 3*h + 4 - 8 = 0. Solve 3*v - 13 + a = 0 for v.
4
Let g = 86 + -81. Suppose 3*a = -g*y + 34, 0 = y + 2*a - 1 - 3. Solve h = -h + y for h.
4
Suppose 2*h - 3*h = -3. Let i(j) = -h - j**2 + 7 + 2*j**2. Let w be i(-4). Solve -3*g = g + w for g.
-5
Let k(r) = -2*r**3 - 6*r**2 - 8*r - 6. Let a be k(-2). Suppose -c + 11 = 4*i, c - 1 = -i - c. Solve -i*f = a*f - 25 for f.
5
Suppose -5*z - 3*n = 2*n - 20, 0 = -2*z - 4*n + 8. Suppose 3*f + 5 = g + 4*f, 2*g + 10 = 2*f. Suppose g = -5*w - 0*w + 10. Solve -2 = -z*y + w*y for y.
1
Suppose -181 + 211 = 6*s. Let r be 0/(-3)*(0 + -1). Suppose -w - w = r. Solve w*n - s = -n for n.
5
Suppose -j - 3*j = -8. Let p be 6*((-1)/j)/(-1). Let l = -3 + 3. Solve -p*i - i = l for i.
0
Let h(y) = 3*y**2 - 3*y + 2. Let l be h(2). Let z be (8/(-6))/((-42)/63). Solve 2 = z*k + l for k.
-3
Suppose 2*p = -4*q + 20, 0 = -5*q + 4*p + 13 + 38. Let u be (-81)/324 + 13/4. Solve q*i - 20 = u*i for i.
5
Let b be 11/1 + (1 - -1). Let q = b + -10. Solve 3 = -q*j - 0*j for j.
-1
Suppose -2*d = -4*d - 2. Let a be (21 - 1)*2/(d - -3). Solve -5*x = -x + a for x.
-5
Let p = 1 - -6. Suppose p*l = 4*s + 2*l - 18, -5*l = 10. Suppose 2 = -s*h, 2*h + 42 = 2*g + 10. Solve -2*q = q - g for q.
5
Let a = -31 + 33. Suppose -2*p - a*l = -6*l - 14, 5*l = -5. Solve 0 = -3*f + 8*f - p for f.
1
Let h(f) = 5*f**2 + 7*f + f**2 - 5 - 2*f**2 - 3*f**2. Let r be h(-8). Suppose 0*c - r = -c. Solve -c*z = -z - 2 for z.
1
Let k(q) be the first derivative of q**4/4 + 3*q**3 - q**2 - 13*q - 3. Let y be k(-9). Suppose y*r = -r. Solve 1 = -r*j - j for j.
-1
Let x = -2 - -14. Let h be 56/x*6/4. Solve h*a = 2*a + 25 for a.
5
Suppose 5*i - 2*r + 9 = 0, -5*i - 11 = -0*i - 3*r. Let a be (3 - 5)/(-2)*-1. Let n be a/i + -3 + 6. Solve -2*l = -0*l - n for l.
2
Suppose -12*p + 8*p - 9 = -3*f, 3*p = -3*f + 9. Suppose 3*n + 4*m - 7 = 3, 0 = -3*n + m + 5. Solve -n*d = -f*d for d.
0
Suppose 2*q = -a + q + 2, q = 2*a - 4. Let i(h) = 2*h**3 - 25*h**2 + 33*h + 4. Let d be i(11). Solve -5*f = -d*f + a for f.
-2
Let r(d) = 2*d + 6. Let l be r(-3). Let w be 1 - -1 - (-3 + 1). Let s be ((-8)/w)/(-6)*l. Solve s = -0*m - 3*m - 6 for m.
-2
Suppose -6*v - 21 = -4*v - 3*l, 5 = -v - 4*l. Let n = v - -15. Let c be ((-10)/(-6))/((-2)/(-6)). Solve w = n*w + c for w.
-1
Let n = -168 - -188. Solve 13*c = 9*c + n for c.
5
Let j = -114 - -118. Solve -j = -2*x - 8 for x.
-2
Suppose 3*z = -0*r - 3*r + 6, 0 = 5*r. Solve -1 = z*j - 5 for j.
2
Suppose 4*s + 5*g = -6 - 6, -s - 3*g + 4 = 0. Let w = -8 - s. Let y(r) = r**3 - r**2 - r + 2. Let l be y(w). Solve l = 4*n - 5*n for n.
-2
Let j = -65 - -73. Solve 0 = t - 3*t + j for t.
4
Suppose n - 7 = -j + 12, 3*n - 5*j = 57. Suppose k + 3*i = n + 2, -2*k + 38 = 4*i. Solve -5*r + 2*r + k = 0 for r.
5
Let b = 27 + -21. Suppose 2 = -4*p + b. Solve 0 = u + p - 0 for u.
-1
Let i = -5 + 9. Suppose 0*b = -3*b. Suppose -3*r - 2*r = b. Solve -2*n - i + 6 = r for n.
1
Let u be (-3)/(-2) - (-2)/(-4). Let r be -10 + 0 - (-24)/6. Let x be 2 - -2 - 0/r. Solve m - x = u for m.
5
Let r = -12 - -36. Suppose 0 = -u + 6 - r. Let f be 5 - 2 - u/(-6). Solve 4 = -2*x - f for x.
-2
Let l = -98 - -108. Solve 2*s + 4 - l = 0 for s.
3
Let h(o) be the first derivative of 22*o**3/3 - o**2/2 - o + 11. Let j be h(-1). Suppose j*m = 26*m - 20. Solve 4*w + 25 = m for w.
-5
Let h(u) = -3*u - 4. Let r be h(-8). Solve r = -5*p + 9*p for p.
5
Let u(o) = o**2 - 11*o. Let n be u(8). Let s = 4 - n. Suppose 22 = 5*h - s. Solve 0*i + 5*i - h = 0 for i.
2
Let c be (40/35)/2 - 38/(-7). Solve c = 42*l - 40*l for l.
3
Suppose -16*w + 5 = -11*w. Solve -4*y + w - 5 = 0 for y.
-1
Let t(l) = -6*l + 19. Let z be t(3). Let x = -3 - -6. Let y = -4 + 8. Solve z - y = -x*d for d.
1
Let q = 661 - 647. Solve q*n - 21 = 7 for n.
2
Let g(o) = -7*o - 19. Suppose 0 = -10*r + r - 36. Let w be g(r). Solve -2*p + w = p for p.
3
Let q(j) = j**2 + j - 4. Let o be q(-3). Let w = -8 + 14. Let n = w - 2. Solve -2*y = o*y + n for y.
-1
Let l = 17 - -18. Let i be 5/l - (-142)/(-14). Let d be 15/i*(-8)/3. Solve 11 = -5*t - d for t.
-3
Let x = 444 + -397. Solve -42*b = -x*b + 25 for b.
5
Let c(w) = -w**2 + 7*w - 6. Let z be c(5). Suppose -10 = -z*n + 10, -10 = -4*p - 2*n. Solve p = 2*f + 4 + 2 for f.
-3
Let m(t) = t**2 + 16*t - 36. Let s be m(6). Solve -8 = 92*a - s*a for a.
2
Suppose -3*h + 87 = -2*m - m, 4*h - 116 = -3*m. Suppose -a = 5*z + h, 3*a - a - 2*z = -10. Let g = a + 11. Solve -g*c - 15 = 3*c for c.
-3
Let z(a) = 14*a. Let j be z(-1). Let q(i) = i**3 + 13*i**2 - 15*i. Let l be q(j). Suppose -3*n = 5*v - 48, v + 4*n - l = -1. Solve -w - 2*w = -v for w.
3
Suppose -156 = 23*s - 26*s. Let t = -52 + s. Solve t*g - 4*g = 0 for g.
0
Let s = 16 - 1. Let o(b) = 35*b - 71*b + 17 + 38*b. Let r be o(-5). Solve 2*i - r*i = -s for i.
3
Suppose 4*o - 77 = -m, 4*m - 5*m = -5. Solve z = o - 15 for z.
3
Let q(r) = 207*r - 116. Let u be q(1). Solve 4*k = 71 - u for k.
-5
Suppose -y - 7*p + 11*p + 38 = 0, -4*y + 3*p = -87. Solve -y = -33*t + 27*t for t.
3
Let b be (-2)/9 - 190/(-45). Suppose y - 31 = -b*n - 0*y, 5*n = 2*y + 29. Suppose 4*i - 13 - n = 0. Solve -m + i = -0 for m.
5
Suppose 4*p - 11 - 21 = 0. Suppose c = -3*c + 116. Let i = 29 - c. Solve -2*l - 2*l - p = i for l.
-2
Suppose -330 = 83*n - 41