-5*t = 25 + 10. Let l be f(t). Solve z*j - l = 4*j for j.
-1
Let w be (11/((-77)/105))/(0 + -1). Solve o + 4*o = w for o.
3
Suppose 0 = -4*j + 6 + 2. Suppose z - j*z = -2. Solve y = z*y for y.
0
Let k be ((-3)/4)/(2/(-8)). Suppose -k*q + 8*q = 60. Solve 2*d + d - q = 0 for d.
4
Let d be -3 - (5 - 10) - -4. Solve -d = -j - 4 for j.
2
Suppose d + 1 - 14 = 0. Let w = d - 8. Suppose 4*q = -w*j + 24, j - 6 = 2*q - 4. Solve 3*i - 4*i = j for i.
-4
Suppose 6*w = 2*w + 12. Suppose 0 = 2*u - w*u + 4. Suppose 6 = u*b - 3*b. Solve b = -3*c + c for c.
-3
Let r be (-1)/((-2)/4) + -2. Let m = r + 2. Suppose w + m*w = 6. Solve -5*b - w = -27 for b.
5
Suppose -2*o + 4*g = -12, 5*o - 18 = 5*g - g. Let s(k) = k**3 - 7*k**2 + 2*k - 9. Let r be s(7). Suppose r = 4*b + 1. Solve b = o*u - u for u.
1
Let b(o) = o**2 + 3*o + 2. Let q be b(-4). Let y(c) = c - 1. Let v be y(q). Suppose -a = -v*a. Solve a*g = -3*g + 9 for g.
3
Suppose 8*s + 12 - 44 = 0. Solve -5*g = -14 + s for g.
2
Let n(h) = 13*h**2 + h + 19. Let c(d) = -7*d**2 - d - 10. Let z(k) = 11*c(k) + 6*n(k). Let p = 7 - 3. Let t be z(p). Solve s = -t*s for s.
0
Let m = 90 - 87. Solve 2*b - m*b = -2 for b.
2
Let a(x) = 13*x + 201. Let y be a(-15). Suppose w = -0*w + 3. Solve -w*b + y*b = 9 for b.
3
Suppose 3*j + c - 7 = -3*c, 0 = 5*c - 5. Solve j - 9 = 4*q for q.
-2
Let v be 3/2 - 161/(-46). Solve 4 - v = n for n.
-1
Let m = -28 + 43. Solve j + 2*j + m = 0 for j.
-5
Let j(s) = 2*s**3 - 4*s**2 + 3*s - 2. Let b be 0 + (2 - 5 - -5). Let a be j(b). Suppose w - 3 - 15 = 0. Solve a*t + w - 6 = 0 for t.
-3
Suppose -k + 2*m - 2 = -0*m, -3*k = 4*m - 24. Let g = k + 7. Solve 4 = 5*d - g for d.
3
Let x be 15 - 15/(-9)*3. Solve 9*c = 5*c - x for c.
-5
Let u = -24 - -14. Let x = -5 - u. Suppose -x*w = -0*w - 20. Solve 0 = -d - d + w for d.
2
Suppose 17 - 5 = -v. Let u be 10*1/(15/v). Let t(b) = b + 11. Let o be t(u). Solve 0 = -j + o*j for j.
0
Let j = -30 + 222. Let h be j/102 - 4/(-34). Solve h*s = s - 3 for s.
-3
Let d be (-165)/(-30) - 1/2. Solve -6 = -d*b + 2*b for b.
2
Let q(o) be the second derivative of -o**4/12 - 5*o**2 + 3*o. Let a be q(-8). Let r be a/(-26) + (-8)/(-52). Solve r*p + p + 12 = 0 for p.
-3
Suppose -16 = -4*o + 4*r, -r - 1 + 2 = 4*o. Solve z - o = 2 for z.
3
Suppose i + 2*f = 8, -3*f + 1 + 2 = -3*i. Suppose 16*d = 10*d. Solve d*t = -i*t for t.
0
Let t = -50 - -50. Solve -c + 2 = -t for c.
2
Let w(d) = 2 - 3*d**2 - 3*d - 3*d + 4*d**2. Let r be w(6). Solve -r*s + 5 = -s for s.
5
Suppose 0 = -r - 0*r - 4. Let k be 4 - 3/(-12)*r. Solve 3*i = -0*i - k for i.
-1
Let x(m) = -5*m - 1. Let z be x(-1). Suppose 4*o = -f - 8, -z*f + 8 = 3*o + 1. Let p be (-31)/(-4) + o/(-12). Solve -2*y + 0*y = -p for y.
4
Let h be (1 - 13)*5/(-10). Let f be 1/(0 + 2/h). Solve f*y = 6 - 0 for y.
2
Let t be 8/3 + (-4)/(-12). Suppose 0 = -2*x + t*x. Solve x*l - l = 0 for l.
0
Let o = 0 - -5. Suppose d = 5*k, -o*k - 16 = -4*d - k. Suppose 2*n = d*n - 6. Solve 4 = n*q - 4 for q.
4
Let m(j) = j**3 + 9*j**2 + 7*j + 3. Let d be m(-8). Solve 0 = 3*u + 1 + d for u.
-4
Suppose 4*j + 40 = 2*n, 5*n - 4*j = j + 80. Suppose -r - n = 2*r. Let u = r + 4. Solve -y + 3 = -u*y for y.
3
Suppose -3*g + 44 = -g. Suppose 5*n = 3*n + g. Solve 0 = 5*s - 14 - n for s.
5
Let d = 14 - 14. Solve d*y - y - 5 = 0 for y.
-5
Let n = -2 - -1. Let j = 4 + n. Solve x + 2 = j*x for x.
1
Let m(i) = i**2 + 5*i + 3. Let c be m(-5). Let b(n) = n**2 + 5*n - 6. Let q be b(-6). Suppose q*a + a = 0. Solve 4*l - 5 - c = a for l.
2
Let h(g) = g**3 - 7*g**2 + 5*g + 7. Let s be h(6). Let x = 3 - s. Let r = 5 - 3. Solve r*p = -x*p for p.
0
Let m be 3 - ((-115)/15 - (-2)/3). Solve 2 + m = -3*q for q.
-4
Let b = -137 - -149. Solve -16*x + 13*x + b = 0 for x.
4
Suppose -20 = 2*r - 7*r. Solve r*h - 6*h = 0 for h.
0
Let z(u) = 7*u**2 - 2*u - 5. Let f(m) = -20*m**2 + 5*m + 14. Let l(c) = -4*f(c) - 11*z(c). Let g be l(1). Solve -7 = g*p + 1 for p.
-2
Suppose -2*n + 0 = -16. Solve 0 = -o - o - n for o.
-4
Suppose -27*a + 32*a - 20 = 0. Suppose 0*b - 4*b = -a*c, -4*c = 4*b. Solve 4*d + d + 5 = b for d.
-1
Suppose -5*w + 4*f = 6 - 1, 0 = 4*w + f - 17. Solve -8*q = -w*q + 5 for q.
-1
Let d be 9 + 5/(5/(-3)). Let k be (-1)/1*2 + 2. Solve k = -d*m + 2*m for m.
0
Suppose 17*j - 13*j - 12 = 0. Suppose 2*q = 6, -j*l - 2*l + 4*q = 2. Suppose 3*h - 4*h = -5. Solve -l = -h*m - 27 for m.
-5
Let n = -37 - -39. Solve 0 = n*v - v - 4 for v.
4
Suppose -10 = -2*n - 20. Let v be (-10)/n + 0/1. Solve 16 = -v*i + 6 for i.
-5
Let x(h) = h**3 + 8*h**2 + 6*h - 7. Let l be x(-7). Solve 2*u - 4*u = l for u.
0
Let k = 5 + -2. Let n be (-14)/(-21) + 4/k. Solve -n*t + 0*t = -2 for t.
1
Let q(s) = 5*s**2. Let n be q(2). Solve -2*y + 6*y = n for y.
5
Let s(u) = -u**3 + 13*u**2 + u + 3. Let k be s(13). Let g = -16 + k. Solve 1 = -w - g for w.
-1
Suppose m = -4*m - 20. Let x be ((-6)/(-5))/(m/(-20)). Let w be (x - (0 - 3)) + -3. Solve -2*c - w = -5*c for c.
2
Suppose 5*j - 2*j - 6 = 0. Solve -j - 3 = m for m.
-5
Suppose -3*a - 22 + 8 = -5*w, -4 = -3*w + 4*a. Suppose -16 = -4*i + w. Suppose 4*p + p - 110 = 0. Solve p = i*t - 3 for t.
5
Suppose 28 = -4*y + 160. Suppose 0 = -t + 6*t + 4*i - y, -t + i = -3. Solve 2*u + t = u for u.
-5
Suppose 4*o - 5*o = 0. Solve i + 4 + 1 = o for i.
-5
Suppose 0*h + k = 2*h - 9, h + 4*k = -9. Solve h*u + 5 = -2*u for u.
-1
Let u(w) = 2*w. Let t be u(0). Solve t = -a - a - 4 for a.
-2
Let s = -10 + 12. Suppose -3*r = -5*j + 14, 3*j + s - 6 = 4*r. Solve -a = -r*a for a.
0
Let l = 2 - 1. Let a(z) = z - 1. Let d be a(l). Let j(q) = 3*q**2 - q - 2. Let x be j(-1). Solve d*u + x = 2*u for u.
1
Let p = -14 + 8. Let j = p + 11. Solve -5 - j = 2*x for x.
-5
Let a(w) = -w**2 - 8*w + 18. Let i be a(-9). Solve i = 3*d + 6 for d.
1
Let t be 10/25*(-1 + 31). Suppose -t = -f + 2*f - 3*n, f + 3*n - 18 = 0. Solve a + 2 = -f for a.
-5
Suppose -a = -4*a + 6. Suppose 0*n + 2 = -a*n. Let q = 2 + n. Solve 4 = g + q for g.
3
Let g = 28 - 26. Solve g*z - 8 = -0*z for z.
4
Let l(z) = -z + 1. Let o be l(-1). Let y be (4/(-2) - -5)*1. Let g(m) = m**2 - 3*m - 4. Let v be g(4). Solve y*f - f - o = v for f.
1
Let c be ((-4)/10)/((-1)/5). Let q be 3*-8*(-2)/6. Suppose q*g = 9*g. Solve g*a = 2*a + c for a.
-1
Let s(y) = -9*y + 2. Let d be s(-2). Let b = 5 + -3. Suppose b*n = -6, 5*t = n + 9 + 14. Solve -a + d = t*a for a.
4
Let n(m) = m**2 - 13*m + 3. Let o be n(13). Solve -f = -1 - o for f.
4
Suppose -12*i + 13*i = 0. Suppose i = 8*c - 4*c. Solve -h - 5 = -c*h for h.
-5
Suppose -3*y + 9 = s - 16, y - 23 = -4*s. Let b = -3 + y. Let a be 1 - ((-2 - -3) + -4). Solve -a = b*t - 0*t for t.
-1
Let i(y) = y**3 - 8*y**2 - y + 10. Let h = 26 - 18. Let f be i(h). Solve f*d - 7*d = 0 for d.
0
Let l be (12/(-1))/(6/(-4)). Solve 4*f + 0*f = l for f.
2
Let v be (-294)/48 + (-1)/(-8). Let m = v - -9. Solve -m = -4*s + 1 for s.
1
Let w be (3/2)/(16/(-256)). Let z = w + 29. Solve z*h - 6*h + 2 = 0 for h.
2
Let t be 3 + (-1002)/(4/(-2)). Suppose -11*i + t = -7*i. Let a be 3/(-5) + i/10. Solve -v + 4*v = a for v.
4
Suppose -5*y + c + 13 = 0, -2*c + 4 + 12 = 4*y. Solve 8*t = y*t for t.
0
Let s be (-12)/(-3)*(-3)/(-6). Solve -2*f + s = -f for f.
2
Let i be 5/((-45)/(-12))*3. Suppose 0 = g - 3*x - i, -5*x + 5 = 10. Solve -g - 4 = -5*r for r.
1
Let m = -17 - -10. Let l = -7 - m. Solve l = -q + 2*q - 2 for q.
2
Suppose 4 = -2*a + 16. Let y = -8 + a. Let v = -2 - y. Solve v*g + 25 = -5*g for g.
-5
Let f be 0 - 1/(-1)*-23. Let j = -10 - f. Solve 0 = 5*s - 33 + j for s.
4
Suppose -4*o - q = -11, 5*o + 3*q = 2*o + 6. Let i = 0 + o. Solve -25 = -i*l + 8*l for l.
-5
Let w be 6/(-8)*-3 + 1/(-4). Let d = 0 + 2. Solve d*l = -w*l for l.
0
Let l = 3 - -1. Let c = l + -1. Solve -2*f + 25 = c*f for f.
5
Suppose 4*b - s = -0 - 3, -3*b = 5*s + 8. Let u be (0 + b)/((-3)/33). Solve -u = -4*h + 9 for h.
5
Let i(q) = 4*q - 25. Let k be i(7). Solve k*v = 2*v for v.
0
Let r(u) = 4*u - 7. Let w be r(8). Solve -3*q + 8*q = w for q.
5
Suppose 1 = c - 7. Let p(q) = 7*q - 38. Let y be p(6). Let f be (-20)/c*y/(-5). Solve f*i - 3*i = -2 for i.
2
Let l = 2 + 1. Suppose 2*z + l*v + 11 = 0, -3*z + 5*v + 29 = -z. Solve -z*s = s + 12 for s.
-4
Suppose 4*u + 18 = -2*g, 0 = 5*u + 5 + 20. Solve 2*k + g = -9 for k.
-5
Let i = -5 - -7. Solve -i + 3 = -j for j.
-1
Let m(y)