 11 - 25 + 4*i**2. Suppose v = -0 + 1. Let f be j(v). Solve -13 + 33 = -f*y for y.
-4
Let c be (4/8)/(1/8). Suppose 2*z - a = 9, -c*a = -3*z - 0*z + 26. Solve z*w - 7*w = 0 for w.
0
Suppose -2*j = -3*m + 1, 5*j = -5*m + 2*j + 27. Suppose -2*o - 2*o + m*v = 0, -o - 5*v = 0. Solve 2*c + o*c = 8 for c.
4
Suppose -2*j + 45 = b, 111 = 2*b - 2*j + 15. Let h be (-2)/9 - b/(-9). Let o = -8 + 9. Solve -h = l - o for l.
-4
Suppose -k = -3 + 7. Let t be k - (-3 - (-2)/(-2)). Solve t = -3*c - 2*c - 25 for c.
-5
Suppose -5*c = -u - 8 - 19, c = 5*u + 15. Let r be -1 + (u - -1)/(-1). Suppose r = 5*h - 2*h - 60. Solve 3*q = -2*q - h for q.
-4
Let b = -3 - -6. Suppose -b*g - 5*m + 27 = 0, 4*g - 9 - 16 = -3*m. Solve 5 = g*f + f for f.
1
Let p be (-3)/(-9) + 24/9. Let n be (-2)/p + (-14)/(-3). Solve 3*c - 2*c = -n for c.
-4
Let h be (-6)/(-27) - (-32)/18. Let b = 53 - 53. Solve b = 4*g - h*g - 10 for g.
5
Let x be (518/63 - 6) + (-2)/9. Solve 5 = q + x for q.
3
Let b = -6 + 8. Solve b + 8 = 2*s for s.
5
Let k(h) = -h**3 - 2*h**2 + h + 2. Let x be k(-2). Suppose x = 4*y - y - 3. Let c be ((-4)/8)/((-3)/12). Solve c*m + y + 1 = 0 for m.
-1
Let b(s) = s**3 + 8*s**2 + 5. Let g be b(-8). Suppose 0*h = -g*h. Suppose -t - l + 2 = -2, -5*l = 3*t - 14. Solve 0 = -h*p - t*p for p.
0
Suppose 8 = -6*h + 8*h. Solve -4*k - h = -2*k for k.
-2
Suppose x - 5*r - 17 = 0, -4*x + 3*r - 3 = -20. Solve 16 = -6*n + x*n for n.
-4
Let t(o) = -o + 1. Let l be t(-1). Suppose l*a = -5*u - 5, -4*u - 1 = 5*a + 3. Suppose -4*k + 2 + 6 = a, -2*m - k = -4. Solve -z + 0 = m for z.
-1
Let y be (5/(-15))/(-1)*15. Solve 0 = -y*b + 4*b for b.
0
Suppose 4 + 2 = 3*r. Let o be (2/3 - 3)*-3. Solve 5 = -o*w + r*w for w.
-1
Let x(t) be the third derivative of -t**4/12 - 2*t**3/3 + t**2. Let h be x(-4). Suppose -p + 5 = h*b + 2*p, 0 = -5*p - 5. Solve -i + 3*i = -b for i.
-1
Let h = 17 + -13. Solve -h*l - 3 = 9 for l.
-3
Let o(i) = -i**3 - 20*i**2 + 26. Let f be o(-20). Solve 0 = 4*g + 10 - f for g.
4
Let j be (1 - 0)*(3 - 5). Let i = j + 8. Solve p + i = 4*p for p.
2
Let s(g) = g - 5. Let t be s(4). Let x be t*2 - (-12)/(-3). Let c(i) = i**2 + 5*i - 3. Let a be c(x). Solve -d + a = 2*d for d.
1
Let l = -105 - -108. Solve l*m + 1 = 7 for m.
2
Let p(o) = -o + 17. Let g be p(0). Let h = g + -4. Suppose 9 + 11 = 5*j. Solve h - 1 = -j*y for y.
-3
Let g = 5 + -3. Let q(k) = -k**3 + 6*k**2 - 5*k - 11. Let y be q(4). Solve g*i + 1 = -y for i.
-1
Suppose 0 - 4 = -4*a. Solve -a = 3*i + 14 for i.
-5
Let n be ((-6)/(-4))/((-6)/(-16)). Let s be -2*(-1 - 6/n). Solve -s*p + 10 + 5 = 0 for p.
3
Let n(c) = -c**2 - 5*c - 2. Let g be n(-4). Suppose 0 = -g*i + 3 + 5. Solve -z = -2*z + i for z.
4
Suppose 4*g = 5*d - 51, 5*d - 32 + 13 = -4*g. Solve -d*o - 20 = -2*o for o.
-4
Let x(y) = -y**3 + 11*y**2 + 14*y - 10. Let w be x(12). Suppose w = 2*p - 0*p. Solve p*b = 3*b + 20 for b.
5
Suppose -2*r + 5*p = p + 16, -4*r - 32 = -5*p. Let y = r - -11. Solve -6*o + y*o = 15 for o.
-5
Let w = 11 - 10. Solve w - 4 = -y for y.
3
Suppose -4*l + 18 - 1 = f, -3 = -2*l + 5*f. Solve l*j + 22 = 6 for j.
-4
Suppose 0 = 3*f + 4*b - 19, -5*f - b + 26 = -0*f. Let n = f + -1. Solve 0 = n*y + y + 25 for y.
-5
Let q(a) = a**2 - 4*a - 2. Let t be q(5). Let o be t + (-4 - -3) + 4. Suppose 0 = -4*s + 2*s + o. Solve 8*l = s*l - 25 for l.
-5
Suppose 2*l - 4 = -2*v, -v - 2 = -l - 5*v. Let j be (-3)/((2/(-1))/8). Suppose j = 5*z + l. Solve 0 = 2*w - 10 + z for w.
4
Let k = 1 - -4. Suppose -k*r + 0*r = -25. Solve -4*n = -r*n - 1 for n.
-1
Let i be 0 - (-3 - (-4 + 3)). Solve -5 + i = u for u.
-3
Let f be 44/(-7) + 2/7. Let l be f/(-4)*388/(-2). Let b be 4/(-10) + l/(-15). Solve 0 = -5*v - 4 + b for v.
3
Let v be (-254)/(-12) - (-1)/(-6). Suppose -5*g + o + o = -v, 5*o = -3*g - 6. Suppose -18 = -6*c + 2*c + 2*s, -g*c + 2*s + 15 = 0. Solve -3 = -c*l + 9 for l.
4
Let j(i) = i**3 - 24*i**2 - 26*i + 31. Let y be j(25). Solve 8 = -2*q + y*q for q.
2
Suppose -5*j + 4*j = -9. Let k = j + -9. Solve 2*t + 3*t + 10 = k for t.
-2
Let m(r) = r + 14. Let p be m(-11). Let f = 7 + -4. Solve f*c = 4*c - p for c.
3
Let p = -18 + 36. Suppose 3*d = d + p. Solve 3 + d = -3*l for l.
-4
Let a = -5 + 9. Let b(d) = 3*d - 3. Let j be b(a). Solve j - 1 = -2*f for f.
-4
Suppose 0 = 2*m - 3*y + 13, 0 = m + 4*y - 19 - 2. Suppose -2*z = -3*z - 5*k + m, 0 = z - 2*k - 1. Suppose -3*r = z - 22. Solve -r + 17 = -2*l for l.
-5
Let j(c) = c + 5. Let t be j(-5). Let y = t - -3. Let f = y + -3. Solve f = -3*x + 5*x + 8 for x.
-4
Let r = -129 - -131. Solve r*u - 6 - 2 = 0 for u.
4
Suppose -10 + 8 = -2*v. Solve v = -2*s + 9 for s.
4
Suppose 0 = -5*h + 3*j + 40, -h - 4*j - 32 = -5*h. Solve x = -x - h for x.
-4
Suppose 5 = 5*i - 15. Solve -i = -2*p - 2 for p.
1
Suppose -4*h = -0*h - n, 0 = 4*h + n. Suppose h = -z - 4*z - 15. Let s be (1 + z + 1)*-16. Solve 4*j + s = -0 for j.
-4
Let k(q) = -q**3 - 3*q**2 - q + 1. Let o be k(-3). Suppose 62 = 13*i + 23. Solve 0 = -i*p - p - o for p.
-1
Suppose 5*z = -2*n - 0*z + 10, -4*z = -2*n + 10. Suppose -n*y - 506 = 44. Let g be y/(-25) - (-2)/(-5). Solve -c = c - g for c.
2
Let v(k) = 2*k**3 + k**2 + 3. Let o be v(0). Solve -13 = -o*g - 4 for g.
3
Suppose -5*b = 2*q - 1, 3*q = 2*b + 5*q + 2. Solve 5*f = b + 4 for f.
1
Suppose 0 = 4*x - 8*x - 44. Let c(r) = r**2 + 10*r - 2. Let z be c(x). Solve -2*g = -1 + z for g.
-4
Suppose 0 = -5*i + i + 24. Suppose -4*m - i + 66 = 0. Suppose 0 = -3*n + m. Solve 0 = n*x + 9 - 34 for x.
5
Suppose -r = -2*r - 15. Let n = r - -32. Suppose 5 = f + w, 0 = 2*w + 7 - n. Solve -3*t - 6 = -f for t.
-2
Suppose -p + 4 = 2*x, -2*x + 9 = -4*p - 5. Suppose 4*d - 7 = -x*v, -3*v + 5*d + 2 + 23 = 0. Suppose 1 = -v*j + 16. Solve j*y - 20 = -y for y.
5
Let z be 16/6 + (-9)/(-27). Solve 5*f = z*f for f.
0
Let u(b) = -b**3 + 8*b**2 - b + 17. Let q be u(8). Solve 7 = 4*s - q for s.
4
Let w(v) be the first derivative of 3*v**2 - 2*v + 3. Let d be w(2). Let b(k) = k**3 - 3*k + 3. Let n be b(2). Solve -5*s - d = n for s.
-3
Suppose -6*f + 2*f + 7 = s, s + 1 = 0. Solve f - 3 = -n for n.
1
Suppose t = 5, -2*b + 4*t = 20 - 4. Solve -b - 3 = l for l.
-5
Suppose -2*b = 4 - 16. Let t be ((-12)/9)/(2/(-3)). Solve 0 = -4*l - b + t for l.
-1
Suppose 3*c + 161 = -1. Let n be (-43)/(-9) + (-12)/c. Suppose 15 = n*i - 2*i. Solve -i = -p - 0 for p.
5
Let s = -30 + 35. Let k = 1 - 3. Let c(r) = -r**3 - r**2. Let y be c(k). Solve 1 = s*p - y for p.
1
Let t(d) = -d**3 + 2*d**2 + d - 1. Let s be t(2). Let i be 1/1*(20 + s). Let h be (-107)/(-7) - 6/i. Solve z = 6*z + h for z.
-3
Let s = 2 + 0. Suppose s*y = -y + 6. Suppose 5*z - 2*o - 1 = -o, y*z - 1 = o. Solve z*d + 5*d = -20 for d.
-4
Let n = 19 + -4. Solve 2*z - n = -z for z.
5
Suppose a - 4*u = -4*a + 16, -4*u = -2*a + 16. Solve -f + a = -1 for f.
1
Let x be ((-100)/6)/(30/(-45)). Solve 0*j + 5*j = x for j.
5
Let k be (-80)/(-100) - (-192)/10. Solve p + k = -3*p for p.
-5
Suppose -9 - 11 = 5*s, -3*s = -5*o + 52. Let a = -24 - -47. Let i = a + -19. Solve -i = -4*z + o for z.
3
Let j be ((-4)/(-3))/((-4)/(-6)). Let i(z) = -z + 2. Let o be i(j). Solve o = x - 6 + 2 for x.
4
Let r = 22 - 16. Suppose 2*a + a = r. Solve -2*g + g = a for g.
-2
Let q = 44 - 38. Solve -3*w + q*w + 12 = 0 for w.
-4
Let i(v) = 13*v + 112. Let z be i(-8). Solve -3 = 5*c - z for c.
1
Let k = -44 - -14. Let d = -37 - -12. Let b be (k/d)/((-4)/(-10)). Solve 11 = -b*s + 2 for s.
-3
Let y be -3*12/9 + 3*3. Let k = -1 - -1. Suppose -3*w - 2 + 14 = k. Solve -w*x = 7 + y for x.
-3
Suppose 0 = -0*x + x. Let t(v) = 3 + 2 - 2*v - 11. Let b be t(-5). Solve b = -2*r - x for r.
-2
Suppose 3*g = 9*g - 2*g. Suppose -h = y + 4*y - 30, -3*h + 68 = 4*y. Let u = -14 + h. Solve 5*v - u*v - 3 = g for v.
-3
Let p = 3 + -1. Let f(c) = c + 9. Let r be f(-7). Solve 4*n - r = p*n for n.
1
Suppose -2*k + 63 = 5*o - 101, o + 5*k - 42 = 0. Let m = o - -8. Suppose 2*q - m = -2*q. Solve q = -2*d - 3*d for d.
-2
Let f = -55 - -65. Solve 0 = -4*l - f - 10 for l.
-5
Let s be 3/(-9) - 20/(-6). Solve -s*m + 3 = -4*m for m.
-3
Let y(g) = -g**2 + 6*g - 5. Let p be y(5). Suppose p = -m + 4*m. Solve 0 = 4*t - m*t + 20 for t.
-5
Suppose -5*w + 1 = 5*t - 4, -2*w + 2 = -5*t. Suppose t = -x - x + 4. Suppose 0 = 3*g - g. Solve g = -0*y - y + x for y.
2
Let q(c) = -c**3 - 3*c**2 + 2*c. 