i - 20 for i.
5
Let l = -58 + 22. Let q = l - -57. Let k = -21 + q. Solve 2*w + k*w = 8 for w.
4
Suppose 847 = -2*j + 863. Solve 0 = -2*l - j + 12 for l.
2
Let f be 14/3 + 26/(-39). Let h be (2 - (f - 1))/((-1)/4). Solve h = -z - 3*z for z.
-1
Suppose -3 = 4*r - r + 5*a, -4*a = 2*r + 4. Suppose 4*j + 20 = r. Let y be (1 + 24)*j/(-5). Solve 0*f = 5*f + y for f.
-4
Suppose 29*a + a = 270. Solve a*h + 16 + 20 = 0 for h.
-4
Let m = -55 - -100. Let l = m + -43. Solve -c - 15 = l*c for c.
-5
Let z(t) = -t**3 + 9*t**2 - 6*t - 11. Let m be z(8). Suppose -47 - 29 = m*f - 3*o, 4*f = o - 65. Let k = 19 + f. Solve k - 5 = -w for w.
3
Let h = -4 + 6. Let p(f) = 0*f**2 + f + 3 - f**2 + 4*f**3 - 5*f**3 - h*f. Let w be p(0). Solve -w*m + 0 = 3 for m.
-1
Let o(r) = -r**3 - 6*r**2. Let d be o(-6). Let m(c) = c**3 - 3*c**2 - 11*c. Let f be m(5). Let s be (1 - f)*16/12. Solve 2*v = -d - s for v.
-4
Let v(d) = 105*d**3 - d + 2. Let m be v(1). Solve 0 = -5*l + m - 101 for l.
1
Let s = 444 + -444. Solve -9*f + 11*f - 8 = s for f.
4
Let h be ((-6)/(-10))/((45/175)/3). Solve 25*l - h*l + 90 = 0 for l.
-5
Suppose 2*w + w = 0. Suppose -6 = -d - w*d. Solve d*o + 9 = 3*o for o.
-3
Let p be 1*4/(-6)*-15. Suppose 3 = -2*c + 3*k + p, c = -4*k - 2. Let w be 2 + 3 + -2*1. Solve 2*m - w*m - c = 0 for m.
-2
Suppose -7*w + 25 + 38 = 0. Solve 0 = 5*i - 8*i - w for i.
-3
Let a(t) = -t**2 - t + 11. Let w(p) = -2*p**2 - p + 23. Let m(o) = -13*a(o) + 6*w(o). Let b be m(-8). Solve 0 = -b*y - 15 - 0 for y.
-5
Let k(c) = -c**3 - 8*c**2 - 7*c - 48. Let f be k(-6). Let a = 84 + f. Solve 0 = -15*o + 13*o + a for o.
3
Suppose 52*r + 96 = 58*r. Solve -r = -4*p + 12*p for p.
-2
Let z = 31 + -27. Suppose 12 = -3*r + 33. Let f = r - z. Solve -7*h = -f*h + 12 for h.
-3
Let v(q) = q**2 - q - 1. Let k be v(4). Let z(b) = b**2 + 11*b + 22. Let x be z(-9). Suppose -2*p = y + 4*y - k, -x*y + 1 = -p. Solve -2*j + p*j + 2 = 0 for j.
-2
Suppose -92*b + 3072 = -98*b. Let c be ((-20)/6 - -2) + b/(-24). Solve -6*s = -11*s - c for s.
-4
Let u(z) = 3*z**2 - 41*z - 14. Let l be u(14). Solve -o + 3*o + 2 = l for o.
-1
Let s(n) = -16*n - 164. Let m be s(-11). Solve 4*t = 8*t + m for t.
-3
Let z be (-3)/(7 - 1) + 4/8. Let h be 17 - 15 - z/(-2). Solve -i - 4 = -h for i.
-2
Let f be 4/14 + (-636)/(-28) + -4. Suppose 3*h = 7*h - 20, g = -3*h + f. Solve -4*i = -4 - g for i.
2
Let n = -62 + 71. Suppose -5*s + 5 = 5*q - 10, -s - n = -3*q. Solve -w = -s*w for w.
0
Let f(v) = -v**2 + 1. Let w(s) = -5*s**2 - 2*s + 2. Let t(n) = 4*f(n) - w(n). Let a be (-1 - 0)*(4 - 1). Let h be t(a). Solve -c + 0 = -h for c.
5
Let n(h) = 12*h**3 - h + 1. Let m be n(1). Suppose -2*d = 4*d - m. Let x(k) = 2*k**2 - 4*k. Let a be x(3). Solve 0*z = d*z + a for z.
-3
Let p = -1 + 4. Let i = 289 - 269. Solve -p*n = 2*n + i for n.
-4
Let v = -1 - -3. Let c(r) = r**3 + 17*r**2 - 17*r + 21. Let w be c(-18). Let o be ((-456)/(-28) - w) + 2/(-7). Solve v*d - 5 + o = 0 for d.
-4
Suppose 5*d + 2226 = 2241. Solve -d*i = i + i for i.
0
Let k be (-6)/(-3)*2/((-8)/(-6)). Suppose 0 = -2*m + k - 1, 4*m - 20 = -4*q. Solve -3*v = v + q for v.
-1
Suppose 0 = -f + 2*f - 6. Let q be ((-1)/3)/((-2)/f). Suppose -q = -2*t + 3*h + 27, 0 = -t - 4*h + 36. Solve 0*m - t = -5*m for m.
4
Let m be 220/76 + (-18)/(-171). Solve m*g + 6 = 6 for g.
0
Let o(n) = 4*n**3 + n - 1. Let y be o(1). Suppose 0*f - y*f = -16. Let r be (0 + 0)/(f/4). Solve 2*z + 4 = -r*z for z.
-2
Suppose -29*x + 1172 = 128. Solve 4*c = x - 28 for c.
2
Suppose -2*s = -27 - 9. Solve s*u + 8 = 16*u for u.
-4
Let d be (-34)/(-6) - 2/(-6). Suppose 2*a - 4*c = -16, -5*c - 50 = 4*a - 70. Solve a = d*z - z for z.
0
Let m = 6 + 7. Suppose i - m = -10. Solve 0 = f + i*f + 4 for f.
-1
Let a = 249 - 110. Let d = 141 - a. Solve 5 = d*m - 3 for m.
4
Suppose -2 = -3*l + 7. Solve -3*s - l*s = -30 for s.
5
Let d(x) = -x**2 - 2*x + 3. Let k be d(-3). Let l(f) = -f**2 - 13*f + 13. Let v(j) = 1. Let q(m) = l(m) - 3*v(m). Let n be q(-13). Solve k*g + n = 2*g for g.
5
Suppose 72 = 3*n + 12. Solve -25*f + 29*f - n = 0 for f.
5
Let d(f) = -f + 2. Suppose 6*j - 6 = 3*j. Let p be d(j). Suppose 4*n + 0*w + w = p, 2*w = -n. Solve m + n = 3 for m.
3
Suppose 19*v + 30 = 22*v. Solve 0 = v*g - 13*g for g.
0
Let h = -1 + -5. Let f = 7 + h. Suppose 0*u + 4*u + 5*x - 49 = 0, u = x + f. Solve u*z = z - 10 for z.
-2
Let t be (-1)/(-3) + 138/(-9). Let l be (-159)/t - (-4)/10. Solve -1 = 3*a + l for a.
-4
Suppose -31 = -9*i + 14. Let q(f) = -f**3 + 3*f**2 + 13*f - 11. Let n be q(i). Solve n*b - 2 = 3*b for b.
2
Let q(l) = -l. Let h(g) = 5*g**2 - 6*g - 1. Let x(d) = h(d) - 6*q(d). Let u be x(-1). Solve 7*m = u*m + 6 for m.
2
Suppose -3*u + 5 = -10, -3*o - 2*u + 10 = 0. Solve o*z + 9 = 3*z for z.
3
Suppose 0 = 26*d - 21*d. Suppose 6 = 2*y - d. Suppose 2*o + 0*n - 2*n + 8 = 0, 5*n = -4*o + 20. Solve -2*l - l + y = o for l.
1
Let p(g) = g**3 - 7*g**2 - 8*g + 2. Let b be p(8). Suppose -b*f - 1 + 9 = 0. Suppose -14 = 5*u - 6*u. Solve -2*i = -f + u for i.
-5
Let f = 1676 + -1672. Solve 0 = x - f*x - 12 for x.
-4
Suppose -3*a - 3*g = 2*a - 34, -a + 4*g = 7. Solve -18 + 8 = a*l for l.
-2
Let b = -74 - -82. Suppose -2*r - 5*w = 1 + b, -r + 3 = w. Solve -4*z = -r*z for z.
0
Let n be (3 - 0 - 1)/(1 - 0). Solve -n*k + 0 = -4 for k.
2
Let q be (-12)/(-28) - (-146)/(-14). Let v be -1 - (2 + q/2). Solve 3*s = -1 - v for s.
-1
Let x = 11 + -5. Suppose x*m - 28 = 2*m. Suppose -2*o - m = -25. Solve -o = -3*p - 3 for p.
2
Let f(u) = u**2 + 4. Let h(z) = -2*z**2 - 9. Let a(b) = 7*f(b) + 3*h(b). Let c be a(-1). Solve w = -c*w - 12 for w.
-4
Let j be (-18)/(-18)*0/(-2). Solve j*x - 12 = 3*x for x.
-4
Suppose 23 = -6*g + 119. Suppose 4*v = 2*v - 3*d - g, v = 3*d - 8. Let i = 10 + v. Solve -l = i*l - 3 for l.
1
Let b = -12 + 3. Let r = -3 - b. Solve -r*m + 2*m + 20 = 0 for m.
5
Suppose 3*a = 9, -4*v - 4*a = -3*a + 29. Let j be 6/(v/(-20)*5). Suppose 0*c = j*c - 12. Solve 9 + 7 = c*h for h.
4
Let q = -14 - -23. Suppose 2*v - g - q = -2*g, 5*v = -3*g + 25. Suppose y - 34 = -4*s + 3, 0 = 5*s - v*y - 43. Solve 11 = -5*r - s for r.
-4
Let q = -11 + 21. Let c = q + 5. Let g(p) = p**2 - 15*p + 4. Let h be g(c). Solve -4*y + h + 12 = 0 for y.
4
Let c be (8/(-7))/((-6)/21). Let y be 3 - (2 - 6/(12/c)). Solve 7*u = y*u for u.
0
Let x(r) = r**2 + 12*r + 37. Let c be x(-7). Solve m + 6 = c for m.
-4
Let b = -150 - -182. Solve b*w = 37*w - 15 for w.
3
Let c(h) = 3*h - 27. Let o be (-2 - (-12)/15)/((-9)/75). Let n be c(o). Solve -n = 3*y + 12 for y.
-5
Let n be (-37)/(-7) - 204/714. Let s(j) = j + 3. Let o be s(-3). Suppose -5*l + u + 2*u = 0, -l - 5*u = o. Solve l*a + 25 = -n*a for a.
-5
Let p(r) = 5*r - 150. Let l be p(35). Solve 26*h - l*h - 5 = 0 for h.
5
Suppose 0 = -32*s + 71*s - 429. Solve 0 = s*b + 4*b - b for b.
0
Suppose i = 5*t - 1 - 4, 0 = 4*t - 2*i - 10. Let c be (1 - (3 + t)) + 167. Let h be (-2)/(-6) - c/(-45). Solve -11 = -h*y + 5 for y.
4
Suppose 4*s - 3*w = 0, 3*w - 29 = -3*s - 8. Solve 5*q - 13 = -s for q.
2
Suppose -3*w - 23 = x, -5*x = -0*x + 25. Let y = -12 - w. Let z = y + 6. Solve 3*f = -z*f for f.
0
Suppose 2*g = -3 + 1. Let m(s) = 18 - 4 - 3 - s - 10. Let q be m(g). Solve -q*t + 2 = -6 for t.
4
Let g be (540/(-330))/((-6)/33). Solve 7*h + g*h = 16 for h.
1
Let i(f) = 2*f + 28. Let j be i(-11). Let z(c) = 2*c + 16. Let r be z(13). Let n = -22 + r. Solve -j*y - n = -y for y.
-4
Let o(f) be the first derivative of f**2/2 + f + 4. Let z be o(11). Suppose r - z = -4*d - 2*r, -2*r = 3*d - 8. Solve d*v + 4*v = 20 for v.
5
Let t(p) = 10*p + 2. Let f be t(1). Let a(k) = k**2 - 16*k - 14. Let v be a(f). Let l be (-7 - -5) + v/(-2). Solve 5*m + l = 4 for m.
-5
Let k = 10 + -18. Let q = 11 + k. Suppose -3*v - v = 0. Solve v = q*x + 17 - 2 for x.
-5
Let u(b) be the second derivative of b**3/6 - 11*b**2/2 - 4*b. Let z be u(-9). Let x be (z - 5)*6/(-10). Solve 0 = 4*n - n + x for n.
-5
Suppose w = -v + 10, -49*w + 14 = -48*w + 5*v. Solve -8 = w*g + 10 for g.
-2
Let t(i) = -2*i**3 + i**2 + 5. Let j be t(0). Suppose 2*s + 19 = -j. Let d = -9 - s. Solve -g = 5 - d for g.
-2
Suppose 72 = 3*y - 0*q + 5*q, -24 = -y - 5*q. Solve -y*x + 4 = -23*x for x.
4
Suppose 4*m - 6 = -p + 3*m, -2*p - 4*m = -6. Solve p*f - 12 = 6*f for f.
4
Let q be (-3)/6*(-1 - -3). Let z be (-4)/q 