t be j(g). Suppose t = b - 4*b. Solve b*a - 16 = -4*a for a.
4
Let g(v) = -1 + 7 + 2*v - 5*v + 2*v. Let k be g(6). Solve k = -2*u - 3*u - 5 for u.
-1
Let k(f) = -5*f + 1. Let p be k(-1). Let a be ((-3)/6)/((-1)/p). Solve a*s = 3 + 9 for s.
4
Let h(s) = -s**3 - 7*s**2 + 7*s - 4. Let j be 6/(2 + (-33)/12). Let m be h(j). Solve -m*i - 8 = 4 for i.
-3
Suppose 209*l = 212*l. Let w = 22 - 13. Solve l*r = 3*r + w for r.
-3
Let q be -2 + 3 + (2 - 0). Let y be q/2*32/3. Solve -i + 5*i = y for i.
4
Let g = -2 + 13. Let p be (-8)/(-12) + (-39)/(-9). Suppose 2 - p = -3*b, -m = b - g. Solve z = 6*z - m for z.
2
Suppose -f + 3*g + 14 = 0, 4*f - 15 - 13 = -2*g. Let x be 14/4 + f/(-16). Suppose -3*y = -2*a - 11 - 2, -4*y - 5*a + 48 = 0. Solve x*q = -y - 5 for q.
-4
Let z be ((-9)/(-21))/(2/14). Let g be z/((2 - 0) + -1). Solve 5*r - g*r = -10 for r.
-5
Let k be 3*(2 + 0/2). Let x = k + -4. Let l be (-2)/8*-6*x. Solve 2*d + 5 = l*d for d.
5
Suppose 3*j = 3*x - 0*j - 6, 3*x + 2*j - 16 = 0. Solve x*o + 8 = 2*o for o.
-4
Suppose -2*n - 3*i + 6 = -0*i, 0 = 5*n + 4*i - 8. Let o be n - (1 - (-2)/(-1)). Solve -g - o = 3 for g.
-4
Suppose -5*m - 2*n - 3*n = 0, -3*n + 2 = 5*m. Let s be 28/(-16) - (-1)/(-4). Let u be (-1 - s)/(m/2). Solve 0 = u*z - z for z.
0
Let j(r) = -r**2 - 2*r. Let y be j(-3). Let l(v) = -v**3 - 2*v**2 + 3*v - 2. Let d be l(y). Let z be 0/(d + 1) + 1. Solve -c = -2 + z for c.
1
Suppose -9*f + 1 + 53 = 0. Solve -m = -f*m - 5 for m.
-1
Let w = -348 + 120. Let h be (-2)/10 + w/(-15). Solve v - 4*v = -h for v.
5
Suppose -5*y + 2*y = -21. Suppose 0 = -3*z - y + 19. Solve 0 = f - 0 + z for f.
-4
Let n(z) = 4*z - 2. Let m be n(2). Let q be 18*1/m*3. Let y = q - 3. Solve 2*f + 0 = -y for f.
-3
Let l = -1 - -5. Let c = 56 - 40. Solve -c + l = 4*t for t.
-3
Suppose -3*t + 63 - 3 = 0. Solve -j - 3*j - t = 0 for j.
-5
Suppose -2 = -2*q + 6. Solve -20 = -q*v - v for v.
4
Suppose -3*t - 4*v + 12 = -v, 15 = 3*t + 2*v. Solve -5*b - t = 8 for b.
-3
Let f = -30 - -32. Suppose l - 6*l = -25. Solve -3*q + l*q = f for q.
1
Let n be (-2)/(-6) - 10/(-6). Let f(b) = -3*b + n*b + 0 - 1. Let k be f(-4). Solve 0 = k*x - 8 - 7 for x.
5
Let f(u) = 3*u - 10. Let i be f(7). Suppose 2*l + 0*m + m = 7, l - 2*m = i. Solve l - 1 = -4*t for t.
-1
Suppose 0 = -3*l + 2*s + 7, -s - 3 = -l - l. Let k = 6 + l. Suppose 3*q + 1 - 7 = 0. Solve 1 = -q*o + k for o.
2
Let l be (6 - (5 + -3)) + 0. Suppose -3 = -4*h + 4*s - 11, -l*s = -8. Solve h = 3*d - 5*d - 10 for d.
-5
Suppose 3*x = -15 + 3. Let l = 1 - x. Solve -2*t = -t - l for t.
5
Let r(a) = a**2 + 14*a + 28. Let p be r(-12). Solve 12 = 2*w + p for w.
4
Let j(y) be the second derivative of y**4/12 - 4*y**3/3 + 4*y**2 - 3*y. Let q be j(7). Solve 11 = -5*s + q for s.
-2
Suppose 6 = 3*l - 0. Let s(y) = 3*y + 1. Let c be s(-1). Let p = c - -3. Solve -l*v = 11 - p for v.
-5
Let q = -96 + 100. Solve -q*d + 1 = -3 for d.
1
Suppose -2*n - i + 5 = n, -i - 1 = 0. Let a = -4 - n. Let x be (-1)/(-3) + 2/a. Solve -w - 3*w = x for w.
0
Let z(x) = x**3 - 3*x**2 - 2*x - 1. Let t be z(-2). Let o = 3 + t. Let i be o/(-2)*6/7. Solve l + 2*l = i for l.
2
Let d = -8 - -13. Let c(h) = -h**2 + 5*h + 2. Let o be c(d). Let z(r) = 2*r**2 + 5*r - 5. Let j be z(-5). Solve -3*x - o*x = -j for x.
4
Suppose -2*g = -2*j - 6*g + 60, -3*g = -4*j + 87. Suppose j = -n + 5*n. Solve q = n*q for q.
0
Suppose 5*j = 5*p - 15 + 35, -p + 16 = 3*j. Solve 0 = -i + j - 7 for i.
-2
Suppose 5*r - 2*r = 15. Suppose -2*y - 9 = -r*y. Solve -6*f + y*f = 0 for f.
0
Let x(y) = y**3 - 4*y**2 + y + 6. Let a be x(3). Solve -2*i + i - 2 = a for i.
-2
Let p(t) = 5*t**2 + 7*t - 10*t - 3*t + t**3 + 3. Let w be p(-6). Solve -k = w*k for k.
0
Let r(h) = -12*h**3 - h**2 + 1. Let l be r(-1). Solve l = 2*p + p for p.
4
Let g be 4*(-2)/((-8)/3). Solve 19 = 4*u + g for u.
4
Let u be (-2)/4 - 21/(-6). Suppose -24 = u*v + 36. Let k = -14 - v. Solve k - 4 = -2*r for r.
-1
Let r = -132 + 135. Solve 3*o = r + 6 for o.
3
Let g be (-42)/(-9) - (-2)/(-3). Let u(s) = 2 + 3*s + 0 + 1. Let k be u(g). Solve -x - k = 2*x for x.
-5
Let q(j) = j**3 - 5*j**2 - 7*j + 8. Let y be 1*(-10 + 0)/1. Let h = y + 16. Let k be q(h). Solve -k*r + 3 + 1 = 0 for r.
2
Let x be (-3)/(-2)*(-6)/(-9). Let n be 33 + 1 + 1/x. Suppose 0 = 3*i - 8*i + n. Solve -4 = i*s - 3*s for s.
-1
Suppose -h + 5*h - 106 = -5*f, -3*f + 70 = 4*h. Let l = -13 + f. Suppose 0 = -2*n - 4*w - 16, l*n - w = -2*w + 5. Solve 0 = n*o - 2 - 2 for o.
2
Suppose -50 = -3*x - 35. Solve -7 = -x*y + 13 for y.
4
Suppose 2*t - 6*t + 60 = 0. Suppose -z - 3*j + t = 0, -4*z + 5 = -3*z + j. Solve z*c = -c - 1 for c.
-1
Let l(k) = -k + 4. Let x be l(4). Let u be (x - (-2 - -2))*1. Suppose 1 = -f - 4, -55 = -4*m - 5*f. Solve u = -3*c - c + m for c.
5
Suppose -3*y + 2*y = 0. Suppose -6*x + 12 = -2*x. Suppose 4*m - 2*q + 6 = 0, y = -m - q + x*q - 6. Solve 0 = 4*c - m*c for c.
0
Suppose -3*t + 45 = 2*t. Solve 3*k - t = -0*k for k.
3
Let s be 3*(7/3 - 2). Let q = s + 6. Let k be q/4 - 3/(-12). Solve 0 = p + k for p.
-2
Let x(t) be the second derivative of -t**4/4 + t**2/2 + t. Let u be x(-1). Let l = 2 + u. Solve l = -c + 1 - 6 for c.
-5
Let d be (12/10)/(2/5). Solve -3 = -3*g + d for g.
2
Suppose 17 = -k + 29. Solve 3*u - 3 + k = 0 for u.
-3
Let q = 23 + -12. Suppose 3*r - r = 10. Solve -r*u - 14 = q for u.
-5
Let b be (2 - 2)/(-3 - -2). Suppose b = -4*v - 0*v. Suppose v*q = n + 3*q + 4, -2*q + 16 = 3*n. Solve -n = -o - o for o.
4
Let o be 3 + 4/8*4. Solve 0 = d - 3 + o for d.
-2
Let v(c) = c**3 + 4*c**2 + c - 4. Let a be v(-3). Let p(y) = -y**2 + 8*y - 7. Let g be p(6). Solve -g*t + 3 + a = 0 for t.
1
Let d(w) = w**3 - 6*w**2 + 2*w - 6. Let o be d(6). Solve -o*f = -3*f + 15 for f.
-5
Let h = 133 + -128. Solve 0 = -10*c + h*c + 15 for c.
3
Let g(t) = t**3 + 6*t**2 + 2. Suppose 5*c = -1 - 29. Let v be g(c). Solve -x = -v*x for x.
0
Let i be (12/(-30))/(2/(-10)). Solve i - 8 = -2*l for l.
3
Let x = -48 + 51. Solve -x*m = -7*m for m.
0
Let m(o) = o**2 + 13*o + 11. Let p(v) = v**2 + 12*v + 11. Let b(x) = -2*m(x) + 3*p(x). Let t be b(-10). Solve 31 = -4*h + t for h.
-5
Let t(p) = 2*p**2 - 2*p - 12. Let v be t(-3). Solve -5*r + 3 = -v for r.
3
Let o be ((-27)/(-15))/((-9)/(-30)). Solve -2*y = -o*y - 16 for y.
-4
Suppose -3*h - h = -60. Let d = h + -11. Solve -d*k + 4 = -12 for k.
4
Suppose -4*i + 7*t = 4*t, 0 = 5*i - 4*t. Solve r = -i + 3 for r.
3
Let v(u) = 3*u - 3. Let x be v(1). Solve -g - 3*g - 16 = x for g.
-4
Suppose 4*s + 4*a = 16, 6 = 5*s + 2*a - 5. Solve n + 2 + s = 0 for n.
-3
Let o be (0 - 1)*8*(-1 - 0). Solve -o*h + 3 = -5*h for h.
1
Suppose m + 2 = 2*m. Suppose -c + 6 = 30. Let z be c*(-2 - 6/(-4)). Solve 6*l = m*l - z for l.
-3
Suppose 0 = -5*l + 1 + 4. Suppose 0 = -3*c + 5*y - 0*y + 25, -2*y = 2*c - 22. Solve -3*s + l = c for s.
-3
Let i(d) = -d**2 + 5*d + 4. Let g be i(6). Let r = 2 + g. Let u(x) = x**3 - 7*x**2 + 5*x + 8. Let k be u(6). Solve 0 = -r*t - k*t - 4 for t.
-2
Let v be (-1)/(-1)*(-2 - -6). Suppose -v*j - 10 = -9*j. Suppose -5*b = -j*b - 12. Solve 0 = b*t - 0*t - 4 for t.
1
Let j(k) = -k**3 - k**2 + k + 2. Suppose -5*i + 0*p = p + 14, p - 1 = 0. Let v(x) = -x**2 - 2*x + 3. Let a be v(i). Let b be j(a). Solve -1 + b = t for t.
1
Let s be 5/(-10)*-8 + -4. Solve s = -4*g - g + 10 for g.
2
Let l = -58 - -61. Solve l*u - u = -2 for u.
-1
Let v(h) = h**3 - 2*h**2 - 2*h + 4. Let o be v(2). Solve 2 = -2*q - o for q.
-1
Let h = -9 - -5. Let q be h + 2 + (-9)/(-3). Solve o = q - 2 for o.
-1
Let o be ((-30)/50)/(1/(-20)). Solve 9*t + o = 6*t for t.
-4
Let f = 42 - 35. Solve -f*x - 10 = -12*x for x.
2
Let r be 12/10*35/21. Solve x + 5 = r for x.
-3
Suppose -3*g - 1 - 17 = -4*v, 3*g = -4*v + 6. Suppose -3 = -f, 5*y = v*f - 2 + 18. Solve y*w + 5 = -20 for w.
-5
Let o be 1*(-1)/3*-3. Let h = o - -5. Solve -3*s = -h*s + 9 for s.
3
Suppose 0 = -t - 2*t. Solve n - 2 + 1 = t for n.
1
Let v be ((-3)/2)/((-2)/(-4)). Let d be (11 - 2)/(v/(-2)). Solve 3*l = d - 21 for l.
-5
Let d = 0 + 2. Suppose 0*t + 2 = d*t. Solve -3 = -4*w + t for w.
1
Let n = 8 - 5. Suppose 0 = -n*l + l. Suppose 2*x = -l*x + 8. Solve 0*t = x*t for t.
0
Let q(u) = -u**2 + 8*u - 7. Let y(w) = w**2 - 3*w - 3. Let n be y(-2). Suppose n*b - 35 = 2*b. Let i be q(b). Solve -2*x + 0*x = i for x.
0
Let h(l) = -3 - 3*l