4*j + 5*j for j.
1
Let i be (6/(-2))/3 + 3. Solve -2*j = i*j for j.
0
Let u(h) = h**3 + h**2 + 16. Let b(i) = -i**3 + 7*i**2 - i + 7. Let f = -4 + 11. Let s be b(f). Let p be u(s). Solve 3*n + n = p for n.
4
Let g be 1/3 + (-4)/(-6). Suppose 6 = -3*x - 3, -x = 2*j - g. Suppose 2*s - 9 = 1. Solve s*u - j = 8 for u.
2
Let g(b) = b - 9 + 0 + 0*b. Let f be g(9). Suppose 3*w - 6 = -f. Solve -w*a = -6 - 4 for a.
5
Let u = 25 - 12. Suppose -4*k + a + 14 = -a, -2*k = -3*a - u. Solve 0 = -3*h - k*h - 5 for h.
-1
Suppose -n = m - 1, 3*m + 4 = 5*m + n. Solve -4*z = m - 7 for z.
1
Let t be -1*0/(-3) + 2. Solve 25 = -t*a - 3*a for a.
-5
Let l be (0 - 5)*48/(-60). Solve l + 0 = i for i.
4
Let r(d) = 0*d**2 - d**3 - d**2 - 3*d - 4 + 6*d**2. Let p be 15/4 - 2/(-8). Let g be r(p). Solve g*t + 20 = -4*t for t.
-5
Let j = -8 + 15. Solve 0 = -3*p - 5 - j for p.
-4
Let y(u) = u**3 - 3*u**2 + u + 4. Let n be y(4). Let s(j) = -13*j**3 - 1. Let q be s(1). Let x = n + q. Solve -c - x = c for c.
-5
Let l be (9/6)/(3/12). Let q = l - 0. Solve 0*m = 2*m + q for m.
-3
Let t = 15 + -13. Suppose -4*r = -2*g - 20 - 2, 2*r = -2*g + 14. Solve 4 = -r*o + t*o for o.
-1
Let m(x) = -x**2 + 3*x + 4. Let r be m(3). Solve 6*o = 2*o - r for o.
-1
Let s be 2 + (-12)/(-10)*5. Solve p - s = 5*p for p.
-2
Suppose 3*k - 13 = k - 5*a, 2*k = 5*a + 3. Suppose -2*r + 2 = -k*z + 12, 5*z = -4*r + 19. Solve -6 = 3*n - z for n.
-1
Let v be 1 + 19 + 0 + -4. Suppose 3*n + n - v = 0. Solve -g - n = g for g.
-2
Let h(z) = 19 - z - 3*z**2 - 19. Let r be h(1). Let x be (5 - 5)/(r/(-2)). Solve x*u = -4*u - 8 for u.
-2
Let f be (6/(-4))/((-3)/(-4)). Let s be (f/(-2) + -3)/(-1). Suppose s*p = -3*p. Solve p = -0*a - 3*a + 12 for a.
4
Suppose -11 = -8*n + 45. Suppose 5*p + 4*j - 133 = 0, -2*p = -4*j - 0*j - 42. Solve 2*f = n*f + p for f.
-5
Let x be -1 + 0 + 0 + 10. Let z = x + -5. Solve 4 = -3*h + z*h for h.
4
Suppose 2*y - 24 = -4*y. Solve g = 5*g + y for g.
-1
Let d(f) = f**2 - 6*f - 1. Let r be d(7). Solve b = r*b + 5 for b.
-1
Let k = -86 - -58. Let n be 2/4 + k/(-8). Solve -3*m - 13 = -n for m.
-3
Suppose 4*m = c + 8, 4*c - c - 3 = 3*m. Suppose -5*b = -4*b. Let t = -2 - -14. Solve -c*r - t = -b*r for r.
-3
Suppose 52 = 7*o + 10. Solve 0 = -n - n - o for n.
-3
Suppose w - 5*f = 23, -5 = w - 2*w - 4*f. Solve -3*g + w - 1 = 0 for g.
4
Let u be 6/(-12) + 7/(-2). Let h = u + 7. Solve -x + 5 = h for x.
2
Let g(a) = -2*a - 3. Let p be g(-5). Solve -p*j + 5*j - 4 = 0 for j.
-2
Let a = 18 + -11. Let h be (15/(-1))/(-3) - 3. Solve h = 3*w - a for w.
3
Suppose 0 = 2*u - 7 - 1. Suppose u*d = 3*d + 3. Let s be (d - (-4)/(-2))*1. Solve y - s = 4 for y.
5
Suppose 6 = 3*b - 6, f + 4*b - 14 = 0. Let n be (8/(-5))/(f/20). Let i = n - 10. Solve i*w = 2*w for w.
0
Let d = 70 + -68. Solve 0 = 2*a + d*a + 8 for a.
-2
Let g be 2 + (1 - 3) + -9. Let f be (-25)/g - 6/(-27). Suppose 1 + 8 = f*v. Solve 0 = -v*k - 0 - 3 for k.
-1
Let i be 1 + -5 + 3 + 1. Suppose i = -q + 3*q. Solve 3*u - u - 4 = q for u.
2
Let k = -61 - -65. Solve -k*q - 8 + 28 = 0 for q.
5
Let t(m) be the second derivative of -3*m + 1/6*m**3 + 0 - 9/2*m**2. Let p be t(9). Solve 4*x - 3*x + 3 = p for x.
-3
Suppose 2*n = -4*o - 0 - 8, 2*n = -o - 2. Suppose 2*b = 11 - 1. Suppose -4*s = -b*s. Solve -2*f + n*f = s for f.
0
Let p(k) = k**2 + 2*k + 1. Let b be p(-3). Suppose -12 = -b*x - 4*i, x + 5*i = 5*x - 3. Let a be ((-3)/6)/(x/(-16)). Solve a*d = 29 - 9 for d.
5
Suppose -19 - 45 = -4*k. Solve 5*q - 1 = -k for q.
-3
Suppose -2*g - 3*g = -15. Suppose g = 3*l - 0*l. Let s(j) = -2*j**3 - j - 1. Let k be s(-1). Solve -k*y = -y - l for y.
1
Suppose 3*d - 4 - 17 = -3*v, 3*v + 2*d = 16. Solve -v*h + 6 + 0 = 0 for h.
3
Let f = -60 - -66. Solve f*t - 10 = t for t.
2
Suppose -27 = -f - 4*y, -3*f - 6*y + 3*y + 45 = 0. Let t be -1*-2*5/2. Suppose 4*k - t - f = 0. Solve 5*p + 1 + k = 0 for p.
-1
Let u = -3 - -7. Suppose 0 = g - 2, u*g - 3 = -5*a + 20. Suppose -7*x = -a*x. Solve x = 3*z + 7 + 8 for z.
-5
Let o = 20 + -14. Let a = o - 18. Let h = a + 22. Solve -3*q + 5*q = -h for q.
-5
Let k be 18/(-90) - 11/(-5). Solve 0 = -5*p + k*p - 6 for p.
-2
Suppose 4*v = -0*v + 8. Suppose 4*f + 5*t - 6 - 8 = 0, 4*f = t + v. Let l be f/(-2) + 2/4. Solve l*d = -2*d - 10 for d.
-5
Suppose -2*s = s. Let u be (-2)/(-7) + 23/(-7). Let x = u - -8. Solve s = -0*q - x*q + 15 for q.
3
Let i(b) = 5*b**2 - 2*b - 2. Let k(w) = -5*w**2 + 2*w + 2. Let o(v) = 3*i(v) + 2*k(v). Let r be o(-2). Let f be (-2)/6 + r/3. Solve -f*j = -2*j for j.
0
Suppose -4*j + 10 = -2*j. Solve -j*b - 10 = -0*b for b.
-2
Let k(v) = -v**2 + 4*v + 4. Let o be k(3). Let a = 2 - 0. Solve -o*j = -a*j for j.
0
Suppose 15 = -0*m + m. Solve 0 = 2*j + 3*j + m for j.
-3
Let m be (6/8)/((-2)/16). Let n(q) = q + 11. Let j be n(m). Solve j*f + 7 = -13 for f.
-4
Suppose 0 = 5*d + 4*b - 64, -13 = 2*d - 2*b - 35. Let i be (-7)/9 - 4/18. Let l be 0/(1 + i - 1). Solve l = -5*u + u + d for u.
3
Let x = 2 - 6. Let d be x*((-10)/8 + 0). Suppose -3*y + 5*y = 8. Solve b + d = y for b.
-1
Suppose q + 3 = 0, 3*r - 20 - 1 = -q. Solve r = -2*x - 0*x for x.
-4
Let j be 141/6 + 1/2. Let f be (j/9)/((-4)/(-30)). Solve c = -4*c + f for c.
4
Let g be -1*(5 + -1 + 2). Let u = 14 + g. Solve -2*k + u = -2 for k.
5
Suppose 2*n = -3*j + 5, -j + 30 = -n - 4*n. Let h be 5/(-25) - 21/n. Suppose -12 = k - h*k. Solve s + k = -3*s for s.
-1
Let g(n) = 2*n**2 - 25*n + 2. Let h be g(13). Let u(p) = p**3 - 5*p**2 + p + 1. Let s be u(5). Let z(j) = j - 3. Let x be z(s). Solve 0 = x*w - 8*w - h for w.
-3
Let n be 3 + -4 + 9 - 5. Solve -16 = -g - n*g for g.
4
Let r = -65 + 84. Solve 0 = -5*f + r - 4 for f.
3
Let b be (4 - (3 - -4))/(-1). Solve -b*t + 2 = -1 for t.
1
Suppose -2*m + 1 = -3*m - f, -f = 4*m - 8. Solve -m*r - 3 = -6 for r.
1
Suppose 0 = -4*n - 365 - 43. Let m be n/(-27) - 2/(-9). Solve 0 = q - 2 + m for q.
-2
Let b(i) = 11*i**2 - 13*i - 13. Let c(h) = -3*h**2 + 3*h + 3. Let n(d) = -6*b(d) - 26*c(d). Let z be n(-1). Let x = -5 + z. Solve -x*y = -2*y for y.
0
Let g be (-11)/4 - 2/8. Let u be ((-7)/3 - -2)*g. Solve t = u + 3 for t.
4
Suppose -3*c + 28 = 5*d, 2*c + 14 = 3*d + 1. Let n be 1 + c + 2 + 2. Solve 5*s - n = -1 for s.
1
Suppose 0 = 4*r - 2*a - 8, 4*r - 2*a = -7*a + 36. Let c be (-96)/18 + 4/(-6). Let g be (2/c)/((-4)/132). Solve 3 = -r*o + g for o.
2
Let v = 141 + -137. Solve -4 = -4*j + v for j.
2
Let y(x) = 8*x**3 + 2*x**2 - 2*x + 1. Let r be y(1). Solve -3 = -3*z + r for z.
4
Suppose 3*w - 28 = -13. Suppose 0 + 2 = r + y, 5*r - 40 = w*y. Suppose -2*c - 10 = -r*l, 0*c - 5*l = 2*c - 10. Solve -4*z + 2*z - 2 = c for z.
-1
Suppose 7*f - 8*f = -4. Suppose -60 = -z - f*z. Solve -l + z = 2*l for l.
4
Suppose 0 = -3*y - 3*y + 6. Solve 1 + y = 2*a for a.
1
Let c = 87 + -62. Suppose -5*y - 2*p + 19 = 0, -4*y - y + c = 5*p. Solve 0 = -y*q + 8*q + 15 for q.
-3
Let x be 10/(-35) + -16*(-2)/14. Solve 3 = -v + x*v for v.
3
Let f(w) = w**3 + 9*w**2 + 4. Let t be f(-9). Solve -6 = -2*u + t for u.
5
Suppose p + 5 + 8 = 0. Let x = 17 + p. Solve -4 = -x*r - 0 for r.
1
Let a(i) = i**2 - i + 9. Let h be a(0). Let w = h + -6. Solve w = -5*d - 17 for d.
-4
Suppose 2*s = -61 + 67. Solve 20 = -2*c - s*c for c.
-4
Let y(m) = -3 + 4*m - 3*m - 5*m. Let b be y(-3). Suppose b = 3*o - 3. Solve o*g + 12 = 4 for g.
-2
Let f be (4/(-3))/(6/(-54)). Let r be (f - 7) + 0 + -3. Solve 0 = -r*b - 10 - 0 for b.
-5
Suppose 5*u = 4*u + 2*u. Suppose 4*w - 4 = 12. Let d be 4/(-6) - (-76)/6. Solve u*r = -w*r - d for r.
-3
Let a(p) = 7*p - 1. Let d be a(1). Let f be 2/d + 28/6. Solve -2*i + f*i + 15 = 0 for i.
-5
Suppose 3*v + 15 = -0*v, -v = 5*m - 5. Suppose 10 = -m*l - 0*l. Let r = l - -8. Solve r*q = -1 - 2 for q.
-1
Let b be 6/(((-9)/2)/(-3)). Let p be 0 + -2 + b + 0. Let q = p - 2. Solve 3*s + 0*s - 6 = q for s.
2
Let c be 5 - (1 + (-1 - 0)). Suppose -3*l + a + 1 = 0, 0*l + a = -c*l + 15. Suppose 0 = 2*d - l*s, -s + 6*s - 36 = -4*d. Solve 1 = -d*q + 21 for q.
5
Let h(v) = -5 - 17*v + 30*v + v**2 - 17*v. Let i be h(5). Suppose -4 = 4*x - 12. Solve 10 = -i*d + x*d for d.
5
Let j be (-8 + 0/(-1))*-1. Let q = j + -8. Solve 2*i + 3*i + 5 = q for i.
-1
Let x = -20 + 25. Solve -6 + 21 = x*y for y.
3
Suppose -2*x + 2 = -14. Solve -4*r - x = -0*r for r.
-2
Suppose 0 = -y - 4 - 0. Let g be (-5 - -3)*(