 4, f + 7 = v*n. Solve 2*i = i - n for i.
-2
Suppose n - 3*w = 0, -3*w + 4*w - 10 = -3*n. Suppose 0 = -n*v + 31 - 4. Let c = v - 7. Solve c*x = 1 + 1 for x.
1
Let a(x) = 3*x**2 + 28*x + 11. Let q be a(-9). Solve 4*m = q*m - 2 for m.
-1
Let k(y) = -y + 6. Let c be k(4). Solve -2 - 6 = c*l for l.
-4
Let v = 53 + -49. Suppose 0 = 4*n + 2*k - 4, 0*k = -4*n - v*k. Solve 0 = -0*u + 2*u - n for u.
1
Let v = -4 + 6. Let o(g) = g**3 - 4*g**2 + 7*g - 4. Let c be o(2). Suppose -f + 11 = c*z, 4*f + 3*z - z = 20. Solve -p + f = v*p for p.
1
Let f(g) = 4*g**3 - g**2 + 1. Let t be 4 + -6 - (3 + -6). Let r be t - (-2 - (-1 + -1)). Let x be f(r). Solve -3*n + 16 = x for n.
4
Let q = 34 - 17. Suppose 2*v - 25 = q. Solve -6 = 3*t - v for t.
5
Let h = 5 + -4. Let t be 12/12 - (-5 + h). Suppose -2*o + 5*s = -17, -5*s + t = -3*o + 23. Solve 3 = -4*m - o for m.
-1
Suppose 2*p - 20 = -4*f, 4*p - f - 12 - 28 = 0. Solve 0 = -p*c + 11 + 9 for c.
2
Suppose -a + 10 = -2*w - 3*w, 4*a = 3*w - 11. Let j be (a/4)/(-3*1/12). Solve -4*b + j = b for b.
1
Suppose 0 = 5*c - 2*u - 17, 5*c - 3*u + 2 = 3*c. Solve -c*b - 7 = 3 for b.
-2
Suppose 2*o + 0 = 8. Let l be (-22 - -42 - 18)*(-2 + 3). Solve o*q - 18 = l for q.
5
Let q(t) = -t - 7. Let r be q(0). Let w = -3 - r. Suppose 2 = 241*f - 239*f. Solve f = w*a + 17 for a.
-4
Let w(h) = -h**2 + 7*h - 3. Let n be w(6). Suppose -74 = -f - 12. Suppose -3*g = -2*t - f, -g - g + 32 = t. Solve -n = 5*p - g for p.
3
Let u be 424/16 + 1/(-2). Let q = u - 21. Solve -q*v + 0*v = 0 for v.
0
Suppose z + 41 = 3*c, 99 - 37 = -2*z + c. Let v = z + 17. Let y be v/(-42) + 68/7. Solve 0 = 2*d + y - 0 for d.
-5
Suppose -183 = -2*u - o, 2*o - 44 = 2*u - 218. Let a = -87 + u. Solve -5*m = -2*m + a for m.
-1
Let s(r) = 28*r - 688. Let m be s(25). Solve -13*z - m = -17*z for z.
3
Let t(q) = 16*q + 146. Let n be t(-9). Let j(y) = -4*y - 1. Let x be j(-1). Solve n*h + x = -h for h.
-1
Let w(i) be the second derivative of i**4/12 + 11*i**3/3 - 15*i**2/2 - 34*i. Let u be w(-23). Solve 13*h = 9*h - u for h.
-2
Suppose 11 = 3*k - 4. Suppose -k*g + 1 = -2*z, 3*z + 3 = g + 4*z. Let l be (-3 + g)/((-18)/45). Solve -l*y = -0*y for y.
0
Let p be -2 + (3 - 0) + -1. Suppose 2*t + 1 - 11 = p. Suppose -4*m = 4, -3*a = 2*a - t*m - 30. Solve -a*n - 4 = -n for n.
-1
Suppose 42*x - 34*x = 24. Solve x*k = -5*k - 24 for k.
-3
Let i(u) = -50*u**3 + 51*u**3 + 8*u + 5 + 1 - 9*u**2. Let a be i(8). Suppose 0 = -a*l + 2*l. Solve -2 = z - l for z.
-2
Suppose -4 = 4*t - 0, -1 = 3*k + t. Solve k = -59*c + 55*c + 8 for c.
2
Suppose 0*m - 50 = -5*m + 3*n, -m = 5*n - 38. Solve -7 = -5*i + m for i.
4
Let p(l) = l**3 - l**2. Let t be p(2). Let o be -12*3*t/(-18). Let m = o - 5. Solve -3*v = -0 + m for v.
-1
Suppose 0 = -2*m + 4 + 2. Let a = m + -3. Suppose 0 = -12*c + 5 + 7. Solve -r + 2*r - c = a for r.
1
Let g = -11 - -11. Suppose -2*u = -u - g*u. Solve 4*h = -u - 12 for h.
-3
Suppose -3*v = -5*v + 24. Suppose a = 2*z - 16, -a - 4*a + 3*z = 87. Let g = 21 + a. Solve -g*x - x = -v for x.
3
Suppose k - 5 = d - 2, -4*k + 12 = -2*d. Solve v + d = -2 for v.
-2
Let y(r) = 60*r**3 + r. Let v be y(1). Let a be v/4 + (-1)/4. Suppose -5*p = 5*t + 4 + 11, 2*p = 5*t + a. Solve -n = -p*n for n.
0
Suppose -5*j + 28 + 7 = 0. Suppose j*m - 24 = 3*m. Suppose -m = 3*q, -14 - 20 = -2*o - 3*q. Solve o = -3*a - a for a.
-5
Let d = 93 + -77. Suppose 8 = -d*a + 17*a. Solve 10*o = a*o - 8 for o.
-4
Let v(i) = -2*i**2 + 16*i - 21. Let w be v(5). Let b be 2*2*w/48*4. Solve 0 = b*r - 10 + 4 for r.
2
Let t be 6/(-15) + 2/5. Let w be (-3 - (-186)/12)*(-4)/(-5). Let y be (5/(-2))/((-1)/2). Solve t*m - w = y*m for m.
-2
Suppose -4*w - 63 = -7*w. Suppose 4*n - 2*u = 10, 5*n - 4*u = w - 1. Let l = -18 + 23. Solve -j - 1 + l = n for j.
4
Let t(v) = -4*v + 0*v + 5 - v**3 - v + 4*v**2. Let z be t(2). Suppose s - 17 = z*o, -2*o = 2*o + 20. Solve 0 = -g - s*g + 15 for g.
5
Suppose 4*l + 7 = 5*y, -3*l + 25 - 10 = 3*y. Solve -9*j + y*j - 18 = 0 for j.
-3
Let j(v) = 1 - v + 0 - v + 0. Let c be j(-1). Suppose -m = c - 8, 18 = -i + 4*m. Solve 5*h - 3 = i*h for h.
1
Let f = 39 - 32. Solve -f*j = -14*j for j.
0
Suppose 2*p - 16 = 2*t, -4*p + 6 = 3*t - 5. Solve p = -5*m + 10 for m.
1
Let j = 29 + 3. Let k be (216/j)/(6/16). Let w be k*(3/(-2) + 2). Solve -l = 2*l - w for l.
3
Let s = 443 - 441. Solve 6*y = 4 + s for y.
1
Suppose -80 = -5*q + f, -q - q + 32 = 3*f. Solve -3*j = q - 4 for j.
-4
Let p(g) = g**2 + 2*g + 1. Let j be p(-1). Suppose 2*m + 35 - 15 = j. Let d(w) = -w - 9. Let q be d(m). Solve 4*f = 3*f - q for f.
-1
Let m be 2/(1/2 - 0). Suppose 3*k + k - 4 = 2*f, 0 = -5*f - k + 34. Suppose 3*w + 2*u + 8 = f*w, -u - 4 = 3*w. Solve -4*h = -w + m for h.
-1
Let r be 6/(-4)*8/(-4). Suppose 4*p - 5 = 5*x, 0 = -p - 5*x - 2 - r. Solve p = -2*l + 4 + 6 for l.
5
Let h(v) = 34*v**2 - 14*v**2 - 2*v - 21*v**2 - 7*v + 10. Let d(u) = 3*u + 2. Let t be d(-4). Let n be h(t). Solve n = f - 1 - 0 for f.
1
Suppose 3*n = -d + 34, -d + 29 = 5*n - 25. Let s = n - 9. Let t = s + 2. Solve 0 = -6*r + t*r + 15 for r.
5
Let t be (-3 - -14)/1 + -1. Suppose 9*q - 4*q = -t. Let b = 0 - q. Solve -b*k + 0*k + 4 = 0 for k.
2
Let n(d) be the second derivative of d**4/12 + d**3/3 + 2*d**2 - 5*d. Let o be n(-3). Solve 0 = -5*x + o + 8 for x.
3
Let y(c) = -2 - 13*c**2 - 8*c - 8*c + 2*c - 1 + c**3. Let x be y(14). Let r be x + 5*(-24)/(-20). Solve w - r = -2*w for w.
1
Suppose 0*d - 2*d + 4*b = -32, 0 = 3*d + 5*b + 7. Solve 2 = -2*a - d for a.
-4
Let b(i) = -i**3 - i**2 + 14. Let f be b(0). Solve f = -6*k - 4 for k.
-3
Let a(o) = -o**2 + 9*o + 2. Let y be a(9). Solve -16 = -6*g + y*g for g.
4
Let c(d) = -d + 11. Suppose 3*v - 15 = 3*y, 5*v - y - 34 = y. Let x be c(v). Let f be 2/(-3) - (-4)/6. Solve -x*b + 8*b + 20 = f for b.
-4
Let d(b) = 4*b**2 - 16*b - 35. Let s be d(6). Solve -3*z = -s + 28 for z.
-5
Suppose 2 = -3*a + 14. Suppose 3*h - 19 = -4*i, -a*h - 2*i = 3*i - 24. Solve -g = -h - 1 for g.
2
Let n(z) = -2*z**3 + 36*z**2. Let a be n(18). Solve -135*r + 140*r - 25 = a for r.
5
Let y(l) = l**2 - 3 - 4*l - 6 + 4. Let d be y(5). Suppose 2*r = -3471 + 3475. Solve d = -o - 4 + r for o.
-2
Let o(c) = -c**2 - 8*c - 7. Let n = -13 + 7. Let v be o(n). Suppose 14*k + 135 - 303 = 0. Solve -v*s + s = k for s.
-3
Suppose 2*a - 15 - 5 = 0. Let n be 18/a + (-2)/(-10). Suppose -9 = -n*s + 19. Solve 2 = 4*g + s for g.
-3
Let s(p) = 12*p**2 + 3*p - 1. Let f be s(1). Solve 16 = 18*z - f*z for z.
4
Let i be (-4)/(-14) + 3/(42/38). Let w be i/((-9)/12) - 1*-4. Solve -2*z + 10 + w = 0 for z.
5
Suppose 0*k = -3*k. Suppose k = -3*v + 4*v - 12. Solve -2*m - m = -v for m.
4
Suppose 0 = 5*b - 0*b + 10, 3*b = 2*f. Let i be (0/(-3*(-2)/f))/(-1). Solve -5 = -i*j + j for j.
-5
Let h be 30/54*6 - 2/6. Suppose 18 = h*o + 3*o. Solve 4 = o*n - n for n.
2
Suppose 5*u + 4*k + 162 = 7*u, -k = 4*u - 297. Suppose -72*x - 6 = -u*x. Solve -d - d + x = 0 for d.
1
Suppose 65*m + 336 = 79*m. Solve s + m = 7*s for s.
4
Suppose -3*h = -h + 3*r + 81, -5*r = 15. Let g = h - -36. Solve g*k = -2*k - 8 for k.
-4
Suppose -2*k = -3*k. Let l be 4 + 3 + (-3 - -1). Suppose 4*y - 3*z = z + 24, -l*y + 3*z + 24 = k. Solve x = y*x for x.
0
Suppose 11*k - 15*k = 4*o - 52, k = o + 3. Let s be -3 + (-8)/(k/(-5)). Solve -w + 0 + s = 0 for w.
2
Let f(v) = -v**2 + 5*v + 14. Let n(c) = -3*c**2 + 0*c**2 + 4*c**2 + 1 + 4*c - 5*c. Let q be n(3). Let o be f(q). Solve 0 = -o*d - 3*d for d.
0
Suppose 3*t + k = 5, -2*t - 5 = 3*t - 5*k. Let v be 0/(-28) - (0 - 0). Solve -b = -v*b - t for b.
1
Let u(g) = -2*g**2 - 3*g - 3. Suppose -2*v - 16 = -10. Let f be u(v). Let o = f + 15. Solve -2*y + o*y - 5 = 0 for y.
5
Suppose -3*q = -7*q + 4. Let p = q - -5. Suppose -t - 10 = -p*t. Solve -3*j + t = -5*j for j.
-1
Let d(o) = -o**3 - 4*o**2 - 2*o + 3. Let p be d(-3). Suppose -5*k + j + 25 = p, 0 = -k - k - j + 17. Solve -k*m = -m for m.
0
Suppose 5*s - 19 = 3*n, 8*s - 5*n = 7*s + 17. Solve -3*a + 10 + s = 0 for a.
4
Suppose 33 - 13 = -4*f. Let q(k) = -2*k - 6. Let y be q(f). Solve 0*w + y*w - 8 = 0 for w.
2
Suppose -s - 5 = -d - 4, -3*d + 4*s + 2 = 0. Suppose 3*y + y = -2*x + 12, -x + 18 = 5*y. Suppose -4*t + 0*t = -y*h, -t = 5*h. Solve 0*j + d*j = t for j.
0
Let h be (-2 - (-26)/12) + (-309)/18. Let q be 24/(-56) + h/(-7). Solve t = -t - 