 o/(-2). Solve -f*q - q = 12 for q.
-4
Let p(n) = n**2 + 5*n + 3. Let v be p(-5). Let d(q) = q**3 + 6*q**2 - q - 3. Let a be d(-6). Let m = v - a. Solve 0 = -m*b + b + 2 for b.
-2
Suppose 0 = 3*l - 4*l. Suppose -13 = n - 16. Solve c = -l + n for c.
3
Let g = 0 - 0. Let h = 2 - 2. Suppose h*q + 12 = v - 5*q, -v + q + 8 = 0. Solve -4*k - 13 - v = g for k.
-5
Let d be (-3)/(((-20)/(-12))/(-5)). Suppose -13*f + 44 = -d*f. Solve 3*m + 5 = f for m.
2
Let d = -45 - -46. Solve -d = -5*z + 14 for z.
3
Suppose -4*h + 4*x = -24, 3*h - 6 = 4*h + 2*x. Suppose 3*g = 10*g - 140. Suppose -g = -2*l + 4. Solve -h*q + l = 2*q for q.
3
Suppose 0 = 5*w - 7 - 3. Let f be (2 + -1)/(2/w). Let z be 2*2 - (f + 0). Solve -g - z*g = 20 for g.
-5
Let o be -3*(21/(-9))/1. Solve -4*k = -23 + o for k.
4
Suppose 5*b + 4 = g, -3*b + 5*g - 20 = b. Solve 3*q - q - 4 = b for q.
2
Let d be (-11)/(-5) - 1*(-3)/(-15). Solve d*v - 10 = -2 for v.
4
Let g = -1 + 6. Let w(k) be the first derivative of -k**4/4 + 7*k**3/3 - 5*k**2/2 - 1. Let f be w(g). Solve -8*h = -3*h + f for h.
-5
Suppose 31 - 55 = -4*v. Solve 3 = p + v for p.
-3
Suppose -2*k + 10 = 2*i - 0*i, -1 = -5*k + 3*i. Let n = 3 - k. Let a = -6 - -16. Solve n = -3*t + a for t.
3
Let z(j) be the third derivative of -j**5/60 - 5*j**4/12 + j**3 - 3*j**2. Let m be z(-10). Solve 2*c - 4*c = m for c.
-3
Suppose 0 = -4*p - 0*p. Let t(c) = -2*c + 3. Let f be t(p). Solve f*x = -0*x for x.
0
Let u(i) = i**2 - 5*i - 3. Suppose r + 9 = 2*l, l + 0*r = 4*r - 6. Let h be u(l). Let s = -1 - -1. Solve 0*t - h*t - 6 = s for t.
-2
Suppose 7 - 1 = o. Solve s - 1 = -o for s.
-5
Let c be 4*(27/(-12))/(-3). Solve -2*t + 1 - c = 0 for t.
-1
Suppose -4*q + 36 = b, 2*b - q = -3*b + 96. Solve -3*t + b = -8*t for t.
-4
Let o(b) = -b**2 + 5*b - 6. Let c be o(3). Solve -k + 0 - 4 = c for k.
-4
Let z = 16 + -11. Let a(h) = -4*h + 2. Let i be a(-4). Let x be 4/i + (-440)/(-45). Solve -3*f - x = -z*f for f.
5
Let a be (6 - 2)*(5 - 4). Suppose 4*z + 10 = 2*t, -t + 2*t - a = z. Suppose -4*d = 3*q - 24, -4*d + 5*q - 5 = d. Solve t = d*b - 6 for b.
3
Let g(b) = -b**3 + 6*b**2 - 4*b - 5. Let o be g(5). Solve o = s + 2*s + 6 for s.
-2
Let r(h) = h**3 + 3*h**2 - 5*h - 1. Let d be r(-4). Suppose 0*z + 4 = -4*z - d*x, 5*z + x = 6. Suppose 5*g + 2*v = -0*g, -10 = z*v. Solve -6 = g*u - 5*u for u.
2
Let d be (-2)/(-4)*(4 + 4). Suppose -q = -d + 2. Solve q = v - 1 for v.
3
Let c be (0 - 0)*1/(-2). Solve c = q - 4 + 7 for q.
-3
Suppose 3*r = 5*t - 3, -5*r + 2*t = -3*r - 2. Let n(w) = 2*w**3 + w**2 - w + 5. Let z be n(0). Solve -z*b = -b - r for b.
1
Suppose -8*q + 4*q = f - 21, -3*f + 2*q = -21. Let p(i) = i**3 - 6*i**2 + 5. Let a be p(6). Let h = f - a. Solve 0 = -2*r + h - 10 for r.
-3
Let n(h) = -h**2 - 7*h + 5. Let j = -1 - 3. Let w be n(j). Solve -5*v = -3 - w for v.
4
Suppose 0 = o + 1 - 5. Suppose o = c - g, -14 = -4*c - g + 4*g. Solve 0 = -4*q + c*q - 10 for q.
-5
Suppose -5*a = -6*a - 1. Let n be 1/(18/16 + a). Solve 0*o - n = -2*o for o.
4
Let o = -16 - -17. Solve v - o = 3 for v.
4
Let h be 6/(-45) - (-2)/15. Solve h = m + m - 6 for m.
3
Let m(f) = f**3 + 12*f**2 - 14*f - 5. Let c = 5 + -18. Let w be m(c). Solve -w = -2*o - 2*o for o.
2
Suppose -5*q - 5*v = -35, 0*q + 18 = -q + 4*v. Solve -6 = -q*m + 2 for m.
4
Let x(g) = -g**2 + 12*g + 15. Let v be (-1)/4 - (-159)/12. Let r be x(v). Solve -z - r*z + 3 = 0 for z.
1
Let q = 4 - -1. Suppose 0*f + 24 = 4*f. Suppose f*a - 15 = a. Solve q*x = 12 + a for x.
3
Suppose -16*b = -20*b. Solve b = -x - 0*x for x.
0
Suppose 2*q - 8 = -0*q. Solve -2 = q*z + 2 for z.
-1
Suppose 0*v = 2*i + 2*v - 24, -2*v = 5*i - 60. Solve i = 3*c + 3 for c.
3
Let q be 2/(-8) + (-189)/12. Let h = -24 - q. Let f be 2/h*-2*0. Solve w - 3*w = f for w.
0
Let h = 1 + 3. Let b(k) = 1 - 5*k + 2*k - h + 2. Let m be b(-1). Solve m*w + 7 + 1 = 0 for w.
-4
Let c = -6 + 14. Let m be 0/(9/3) - c. Let v be (4 + 0)*(-4)/m. Solve v*t = -t for t.
0
Let t(r) = r + 9. Let y be t(-9). Solve m + y = 5 for m.
5
Suppose 0 = f - 3 - 1. Solve 0 = b - f*b + 6 for b.
2
Let b = 19 - 20. Let r be b + -3 - (-3 + -4). Solve 5*z - r*z - 10 = 0 for z.
5
Let y be 2 + (1 - 1) - 1. Let l be (y - 1)/(0 - 1). Solve l = 4*i - i for i.
0
Let g(w) = w**3 + 6*w**2 + 4*w - 5. Let t be g(-5). Suppose t = -2*y + 3*r - 6, 4*y - r - 2 - 6 = 0. Let l = 7 - y. Solve i + 15 = -l*i for i.
-3
Let y(s) = 7*s**2 - s - 1. Let g be y(-1). Let u = -5 + g. Solve -2*w = u*w for w.
0
Let a be 1/(1/(2/1)). Suppose 2*u + a*u = 0. Solve 0*m + 2*m + 10 = u for m.
-5
Suppose 3*q + 4*m = 8, 0*m - 2*m = 3*q - 4. Solve -3*c - 2*c - 25 = q for c.
-5
Let c be 86/6 - 18/(-27). Solve 7*h = 4*h - c for h.
-5
Let l(f) = -f**3 + 6*f**2 + 2*f - 9. Let q be l(6). Suppose q*u + 1 = x - u, -x - 2*u = -7. Let h(t) = -t**2 - 6*t - 8. Let g be h(-4). Solve g*k + x = k for k.
5
Let s(x) = -x + 27. Let d be s(18). Let h = -6 - -10. Solve b - d = h*b for b.
-3
Let x = -8 - -9. Solve 0 = g - 6 + x for g.
5
Suppose 3*a + s = 18, -12 = -3*a - 2*s + 9. Solve c = -0 - a for c.
-5
Suppose -4*d = -2*s - 7*d, 0 = -5*s + 3*d + 21. Solve -s*l - 8 = -17 for l.
3
Let p = 6 + -256. Let x be ((-3)/2)/(15/p). Solve -x = 4*i + i for i.
-5
Let k be 14 - (3 + -4)*2. Let t be 3 - (-4)/(k/(-12)). Solve 2*r + t*r = 0 for r.
0
Let u(f) be the third derivative of -f**4/12 + f**3/6 - f**2. Let s be u(-1). Solve -s*y - 1 - 8 = 0 for y.
-3
Suppose 3*g + 2*c + 10 = -2*c, -4*g = c - 4. Suppose -4*z + 2 = 2*v - 3*v, -4*z - g = -3*v. Let y = 7 - v. Solve -4*d - d = y for d.
-1
Let m = -9 + 15. Suppose 0 = -5*g - m + 21. Let b = 20 - 17. Solve g = b*y - 0 for y.
1
Suppose 11*i - 3 = 10*i. Solve -i*m + 17 = 2 for m.
5
Let a = 1 - 1. Let d be (a + (-2)/4)*0. Suppose 2*r - 10 - 20 = d. Solve 3*q - r = -2*q for q.
3
Let t(m) = -m + 6. Let w = -5 - -5. Suppose w = 3*r + 4 - 22. Let q be t(r). Solve q = -7*x + 5*x for x.
0
Let u be 0 + -2 - (-33 + 1). Suppose -5*n + u = -50. Solve 0 = -5*o - n + 1 for o.
-3
Let r = 23 - 43. Let a be ((-8)/10)/(4/r). Solve c = 2*c + a for c.
-4
Let s be 14/8 - 4/(-16). Suppose -4*b - 22 = -3*i, 0 = 5*i - s*b - 2*b - 26. Solve -i*v - 7 - 1 = 0 for v.
-4
Let t = -11 + 9. Let h be 1/(1/(t - -15)). Solve h = 2*x + 3 for x.
5
Let r(x) = -8*x + x**2 - 9 + x**2 - 2*x**2 - x**2. Let a be r(-6). Solve -a*c = -c + 4 for c.
-2
Suppose -3*z - j + 16 = 0, 2*z - 3*z - 13 = 4*j. Let x(r) = -r - 3*r**3 + 3*r**3 - 7*r**2 + 7 + r**3. Let g be x(z). Solve g = -0*f + f + 5 for f.
-5
Let n(h) = -h**3 + h**2 + 3*h - 2. Let a be n(3). Let l = -5 - a. Solve -3*i + 0*i = -l for i.
2
Suppose -4*v = -i + 10, 5*v - 2 = 3*v. Solve -4*t - 2 = -i for t.
3
Let m = 0 - -4. Solve m*x - 8 = -0 for x.
2
Let j be 2*3/6 + 2. Suppose j*h + 6 + 0 = 0. Let a(g) = g**2 - 2. Let k be a(h). Solve -k*q = q for q.
0
Let s(r) = 8*r - 23. Let z be s(4). Solve -z = c - 4 for c.
-5
Let w = -5 - -8. Suppose -c + 5*c = -8. Let r be w*((5 - 0) + c). Solve -r = 4*u - u for u.
-3
Let c = -6 - -16. Solve -h = h + c for h.
-5
Let y = 23 + -13. Solve -12 = -p - y for p.
2
Suppose 3*g + 2*q - 13 = 0, 0 = -0*g - 5*g - 2*q + 15. Let c = g - -5. Solve -z = -3*z + c for z.
3
Let z be -10*(5/(-2) + 2). Solve w + z - 8 = 0 for w.
3
Suppose -4*o + 7*o = 0. Suppose 5*t - 11 + 1 = o. Solve 7*d = t*d for d.
0
Let c = 13 - 18. Let d(k) = k + 6. Let f be d(-8). Let j be (f + 3)/((-1)/c). Solve j*q = 4*q + 1 for q.
1
Let h be (-14)/21 - (-4)/6. Let q = 2 + h. Solve -5 = q*d - 11 for d.
3
Let f(p) = 5*p**3 - p. Let q be f(-1). Let x = q - -4. Suppose 4*y - 8 + x = 0. Solve y = -4*s - 2 for s.
-1
Let k(x) = x + 9. Let o be k(-6). Suppose -5*y = -61 + 16. Solve o*t + y = -0*t for t.
-3
Let q be ((-38)/2 + 3)*4/(-8). Solve -q*k = -6*k for k.
0
Let u(x) be the second derivative of -1/12*x**4 - 2*x + 9/2*x**2 - 4/3*x**3 + 0. Let o be u(-9). Solve o = 3*i + 15 - 3 for i.
-4
Suppose 0 = -5*z + 2*z + 45. Suppose v - 9 = -6. Solve -z = -v*r - 2*r for r.
3
Let p(y) = -2*y**3 + y**2 + 2*y + 1. Let s be p(-1). Suppose s*c = -c. Solve 0 = -4*v + 4 - c for v.
1
Let m = -4 - -6. Let b(x) = x**2 - x - 4*x**2 + 4*x**m + 3. Let u be b(-4). Solve u = -5*k + 8 for k.
-3
Suppose 19 = l + 5*w, -5*w = -2*l - 2*l + 1. Solve -3 = -l*u + 5 for u.
2
Let x(j) = -2*j**3 + 3*j**3 + 10*j**2 + 0*j**3 + 3 + 2. Let z be x(-10). Solv