 v be j(-6). Let i = -23 - -43. Suppose v = -2*q + 7*q - i. Solve h - q = -3 for h.
1
Suppose -32 = h - 2*h. Let g = h - 31. Solve 2*w + 5 = g for w.
-2
Let l(o) = o - 3. Let p be l(5). Let r(u) be the third derivative of u**6/120 - u**5/20 + 5*u**4/24 - 2*u**3/3 + 10*u**2. Let t be r(p). Solve t*w = -0*w for w.
0
Suppose 5 = -3*j - a, 0*a = 5*a + 25. Solve j = -14*v + 19*v - 25 for v.
5
Let t(i) = i**3 + 6*i**2 + 5*i. Let a be t(-5). Let q = -311 - -314. Let s = 5 - 1. Solve -s*l + q*l + 3 = a for l.
3
Let c(a) = -a**2 + 4*a. Let s be c(5). Let o = 8 + s. Let v be ((-20)/6)/((-28)/42). Solve 2*w - o*w - v = 0 for w.
-5
Let v(j) = 37*j**2 - 2. Let n be v(-1). Let g be 9 + (n/(-5) - -3). Solve 6 = g*o - 9 for o.
3
Let a(l) = -4*l**2 - l - 1. Let z be a(-1). Let i(d) = d + 6. Let c be i(z). Solve 0*k + 2*k = -c for k.
-1
Suppose 0 = -12*q + 14*q - 20. Suppose 5*p - 35 = -q. Solve p = -b + 2*b for b.
5
Let u be 4 - 150/35 - 891/(-7). Solve u = 21*n + 43 for n.
4
Let b(o) = -16 - 12 - 2*o + 7. Let l be b(-11). Solve 3*j + l - 4 = 0 for j.
1
Let c = -56 + 59. Suppose -t = -2*v + 5 + 3, -3*v = c*t - 21. Solve t*u = u - 4 for u.
-4
Suppose 5*d - 75 = -l, 3*l = 4 + 11. Solve d*s + 42 = 14 for s.
-2
Let w(k) = k**2 + 4*k - 6. Let h be w(-6). Let t be ((-30)/20)/((-1)/h). Suppose l - 2*l + t = 0. Solve 0 = 5*v - l - 6 for v.
3
Let p = -548 + 551. Solve 40 = p*x + 5*x for x.
5
Let q be 3/(-9)*12*1. Let i be 13/3 - q/(-12). Solve x - i = -0*x for x.
4
Suppose -4*t - 71 = 81. Let r = -32 - t. Solve -2 = -4*i + r*i for i.
-1
Let d = -318 - -320. Solve d = 2*s - 0*s for s.
1
Let h = -46 - -48. Suppose 5*o + d = 76, o + o - h*d = 40. Solve 3*u - o = -u for u.
4
Suppose -29 = 5*x - 24, 0 = 5*h - 3*x - 23. Solve 8 + h = 6*p for p.
2
Suppose 0 = 4*s - 2*v + 3 - 25, -5*s = 2*v - 41. Suppose i - 12 = -s. Solve -20 = 5*t - i for t.
-3
Let p(l) = l**3 + 7*l**2 + 7*l + 5. Let n be p(-5). Suppose 0 = 12*z - 4 - n. Solve -z*v - 3 = -7 for v.
2
Suppose 3*r + 2*l + 18 = 6*r, -r = -3*l - 13. Let m(v) = -v + 1. Let w be m(-9). Solve w = z + r*z for z.
2
Let k = 12 + 3. Let u = k - 12. Suppose u = -i + 6. Solve 0 = -i*g + g + 8 for g.
4
Suppose 65 - 100 = -7*u. Solve 110 = 27*i - u*i for i.
5
Let u = 27 + -22. Suppose -3*f = -u - 4. Solve -6 = f*w + 6 for w.
-4
Suppose 5*a - 330 = -5*p, 2*a = -4*p + 7*a + 255. Let w be (-14)/(-10) - (-39)/p. Solve -w = -o - 0 for o.
2
Suppose -2*j - 2*b - 17 = 3, 5*b = 2*j - 8. Let k(g) = -g - 3. Let v be k(j). Suppose v*i = i. Solve -o = 2 - i for o.
-2
Let n be 3*4/12 + 3. Let h(b) = -b**3 + 7*b**2 - 4*b - 4. Let w be h(6). Solve 2*z - n*z = -w for z.
4
Suppose 3*l - 4*l - 7 = -3*n, n + 1 = 2*l. Suppose 5*j - 3 = -o, -2*j = n*o - 0*o + 4. Suppose 2*p + j - 11 = 0. Solve -3*c + 6 = -p*c for c.
-3
Suppose -2*w - 5*o = 18, 4*o = 3*w + 5*o + 1. Solve 5*n = -w - 19 for n.
-4
Suppose 14 = -2*a + 28. Suppose -3 = -4*o + 17. Let b = -10 + 13. Solve -b*g + a = -o for g.
4
Let l = 1223 - 1192. Solve -4*m + 39 = l for m.
2
Let v(w) = -14*w - 1. Let g be v(1). Let m be 9/2*(-20)/g. Suppose i + 1 = m. Solve 6 - i = -c for c.
-1
Suppose 0 = 36*p - 28*p - 24. Solve 13 = -p*n + 1 for n.
-4
Suppose -2*b = -3*b. Suppose 3*j + 12 = b, -2*m - 7 = m + 4*j. Suppose 9 = 3*y, m*w + y = 16 - 1. Solve 3*d + w = -d for d.
-1
Suppose 6 = 15*c - 12*c. Solve -c - 13 = -3*r for r.
5
Let b = 303 + -297. Solve b*d - 15 = d for d.
3
Let b be -1*(1 - (2 - 2)) - -5. Solve 0 = b*k - 7*k - 9 for k.
-3
Suppose 2*y - 52 - 44 = 0. Suppose y = 4*g + 40. Solve 1 = k + g for k.
-1
Let x(d) = d**2 - 8*d - 4. Let t be x(9). Suppose f = 5*o - 71, -t*o + 63 = f - 4*f. Suppose 3*i = -3*h + o, 4*h - 14 = i + 1. Solve -k = h*k + 10 for k.
-2
Suppose 0 = 9*f - 6*f - 9. Suppose -6 = 3*x, 0 = 4*t + f*x + 6. Solve t = -0*j - 3*j - 3 for j.
-1
Let r = 162 - 158. Solve -3 = r*s - 19 for s.
4
Suppose -w + 25 = 4*g - 0*w, 5*g - 2*w = 15. Suppose -3*i + 6 = -i, 0 = g*f - i - 7. Suppose f*c - 8*c = 0. Solve 2*u = -c*u + 2 for u.
1
Let l be (-2)/13 - ((-126)/(-26))/1. Let h(f) = 6*f**2 + 28*f. Let z be h(l). Solve 0 = w + w - z for w.
5
Let n = 370 + -265. Solve n*l - 110*l - 5 = 0 for l.
-1
Let o be 26/4 + 2*(-4)/16. Suppose 4*z - 1 - 15 = 0. Solve 5*l = z + o for l.
2
Suppose k - 28 = 2*f, 5*f = -k - 3*k + 86. Solve 0 = -2*g - 6*g - k for g.
-3
Let k(a) = -a**2 - 12*a + 8. Let u be k(-9). Suppose -3 = -5*d - 2*h - u, 0 = d + 2*h. Let b(w) = -w**2 - 8*w + 3. Let r be b(d). Solve -4 = -4*s + r*s for s.
4
Let g(x) be the second derivative of -2*x**3/3 + 7*x**2 + 24*x. Let o be g(3). Solve 2*m - 12 = -o*m for m.
3
Let n(x) = x**2 + 10*x + 23. Let z be n(-7). Let f be -1 - (-3)/z - (-45)/10. Solve -f*i + 10*i = -25 for i.
-5
Suppose 0 = 11*i - 7*i - 20. Suppose 6*u - 3*u - 3 = 3*s, 3*s = -i*u + 29. Solve -5*y - 4 = -s*y for y.
-2
Suppose -2 = 3*v - 5. Suppose v = -4*z + 9. Let j be (-1 + z)*(0 + 2). Solve j*u = 7 + 3 for u.
5
Suppose t - b = 11, -2*t - 3*b + 2 = -0. Let u(s) = s**2 - 6*s + 8. Let i be u(t). Solve 0*z + 5*z = -i for z.
-3
Let p(m) = 5*m - 7. Let j be 1/(((-12)/21)/4). Let r = -2 - j. Let g be p(r). Solve -3*l + g = 3 for l.
5
Let n be (-7 - 0) + (148 - 137). Solve -s - s = n for s.
-2
Let t be 11 + (3/3 - 2). Let r = 12 + t. Let u(n) = 2*n**3 + n. Let a be u(1). Solve -7 = a*z - r for z.
5
Suppose 5*d - 3*z = 38, 14*z = 4*d + 11*z - 31. Solve -28 + 49 = d*h for h.
3
Let m(s) = -9*s - 51. Let d be m(-8). Solve -d*t - 32 = 31 for t.
-3
Let y be (2 - 15/9)*15. Let h be (0 - 114) + -1 + -4. Let x = -104 - h. Solve 0 = y*t - 0*t + x for t.
-3
Let u be (16 - 282/18)*(0 - 0). Solve 0 = 5*z + 5 - u for z.
-1
Let h(y) = -11 - y - 7 + 7*y**2 + y**3 + 13. Let n be h(-7). Solve -n*d - 3*d = 15 for d.
-3
Let z(k) = -k**2 + 10*k + 12. Let n be z(10). Solve 3 - n = -9*u for u.
1
Suppose 18*s - 30 = 3*s. Solve s*f - 9 = 5*f for f.
-3
Suppose 5*t - 10 = -x, -2*x + 2 = -5*t - 18. Solve 5*w = 10 + x for w.
4
Let s be -1 + (18/(-2))/(-3). Let r = 13 + -6. Suppose 0 = z + 2*f - 13, -35 = -4*z - s*f - r. Solve -z*w = -8*w for w.
0
Suppose 0 = -3*o - r + 4 - 0, 0 = -4*o + 4*r - 16. Suppose -5*n = -o*m - 5*m + 30, -m + 4*n - 9 = 0. Solve -5*z = m + 9 for z.
-4
Let g be (-3 - -2)*(-3 - 0). Let o be (-80)/(-24) + (-1)/g. Let x(v) = v**3 - v**2. Let q be x(2). Solve -o*m = -q*m for m.
0
Suppose 2*j - 2*i - 128 = -5*i, 3*i + 177 = 3*j. Let q = j - 55. Solve -q = 3*v - 0*v for v.
-2
Let u = 722 + -712. Solve -15*f + u = -10*f for f.
2
Suppose -38*a = 30*a. Let c = -9 + 13. Solve a = 3*i - 5*i - c for i.
-2
Suppose 72 = -m - 2*m. Let w be 102/48 + 3/m. Let o(r) = -3*r - 14. Let z be o(-6). Solve z*x - 3*x = w for x.
2
Let o = -235 + 237. Solve o = 3*t + 11 for t.
-3
Let s(a) = 2*a**2 + 8*a + 5. Let p be s(4). Let u = 102 - p. Let i = -27 + u. Solve i*t = t for t.
0
Let r(u) = -u + 11. Suppose -2*p + 8 = -p. Let s be r(p). Suppose -c = 0, 4*z - 2*c = s*c. Solve z = -h - 0*h - 3 for h.
-3
Let o(i) = -i**3 + 9*i**2 + 21*i + 26. Let l be o(11). Solve l = -2*m + 7*m for m.
3
Suppose 0 = 2*o - 4*y - 63 - 27, 0 = -5*o - y + 181. Let r = o + -12. Solve -r = 8*t - 3*t for t.
-5
Suppose -3*c - 5*u = -10, 0 = -2*c - 3*u + 7 - 1. Suppose 2*t = -5*y + 15, 0 = 3*y - 3*t - c*t - 9. Solve -4*r = -13 - y for r.
4
Suppose 4*o - 20 = -o + 5*z, 52 = 5*o + 3*z. Solve 3*i = o*i - 10 for i.
2
Suppose -n = -28*k + 26*k - 3, k = 0. Solve -5*b = -n + 28 for b.
-5
Let a(h) = 5*h + h - 2*h - 9. Let z be a(3). Suppose -3*w + 37 = -d, z*w = -w - 2*d + 46. Solve 2*v = 5*v - w for v.
4
Let i(w) = -2*w**2 - 2*w. Suppose 0 = -3*u - 2 - 1. Let n be i(u). Solve n = -5*s + s for s.
0
Let w be (2005/(-15))/(4/(-12)). Suppose 4*s - w = -41. Let o be 2/3 - s/(-27). Solve -o*h - 6 = 2 for h.
-2
Suppose -7*p + 6*p = -2. Solve 0 = p*h + 10*h for h.
0
Suppose 12*f = -490 + 526. Solve -f*c + 28 - 22 = 0 for c.
2
Suppose -4*x + 4 = -2*r, -x - 5*r + 6 + 6 = 0. Solve x = -2*o - 6 for o.
-4
Let w(i) = -i**3 + 6*i**2 - 5*i + 11. Let d = -19 + 24. Let u be w(d). Solve 5*c - 26 = -u for c.
3
Let r be (-3)/3*(-3)/(-3). Let h be (-2 + -1)/(r/1). Solve -2*n - h = -3*n for n.
3
Let k = -10 - 2. Let q be (9/k)/((-3)/8). Suppose q*l - 5 = 1. Solve 4*j + l = j for j.
-1
Suppose 73*p - 72*p = 2. Solve -16*g = -p - 46 for g.
3
Let i be ((-1)/4)/((-81)/972). Solve 0 = 7*n