 j for g.
1
Let s(y) = -y**3 + 7*y**2 + 9*y - 2. Let k be s(8). Solve 2*m + k = 4*m for m.
3
Let i(c) = -c**2 - 7*c - 11. Let n be i(-8). Let z = 9 + n. Let q = z + 19. Solve -4*v - q - 3 = 0 for v.
-3
Let g = -157 + 81. Let f = 115 + g. Suppose -5*v + 13 = 3*d, -3*v - 3*d - d - 1 = 0. Solve v*k + f = 14 for k.
-5
Suppose 0*c + 14 = c + 2*w, c = -w + 9. Suppose k = -c*k - 20. Let o be 5/10*(0 - k). Solve o*y + 2*y = 4 for y.
1
Let k(p) = p**2 + 15*p - 14. Let n be k(-16). Solve 25 = 3*a + n*a for a.
5
Let p be (3/12)/(4/32). Solve p*m = 6*m - 20 for m.
5
Suppose 0 = 5*x - 5 + 25. Let l(w) = -w - 2. Let p be l(x). Solve 5 = -o + p*o for o.
5
Suppose 7*t - 2*t + 20 = 0. Let r = t - -6. Let a = -2 + r. Solve a = -3*k - 3 + 9 for k.
2
Let g = -1 - -7. Solve 3*m - g = 6 for m.
4
Let y(p) = -p**3 - 3*p**2 - 2*p. Let s be y(-2). Suppose s = 2*w - 3*w + 2. Solve -2 = w*h - 4 for h.
1
Let u(x) = -x**3 + 6*x**2 - 2*x - 4. Let k be u(5). Suppose 0 = -2*f + 8, -5*f = 2*d - k - 19. Solve 0 = -i + d*i for i.
0
Let k be (-150)/(-22) + 6/33. Suppose 12 = -3*l + 3*a, -2*a + k = l - 1. Solve l = -5*q + 4 + 11 for q.
3
Let x(o) = -o**2 + 1. Let s(k) = 5*k**2 + 8*k - 1. Let t(f) = -s(f) - 6*x(f). Let w be t(9). Solve -20 = -0*h + w*h for h.
-5
Suppose 0 = 4*g + 1 - 29. Let d = -4 + g. Solve 15 = -d*b - 2*b for b.
-3
Let c be 2/(0 - (0 + -1)). Let y(s) = s - 5. Suppose 4*t - 2*n - 4 = 2*n, -3*n + 12 = 0. Let x be y(t). Solve c*z + x*z - 2 = 0 for z.
1
Let i = -8 - -6. Let v be -2*1/i + 1. Solve 2 = -0*w - v*w for w.
-1
Let d be 1 + 2 - 4*-20. Let m = d - 49. Suppose -4*u = 2*j + j - m, -3*j + u = -29. Solve j = -3*r + 4 for r.
-2
Let h(l) = -l**2 - l + 4. Let w be h(0). Suppose 2*f = 7*f - 25. Solve w*s = f*s for s.
0
Let i = -40 - -45. Solve 3*r = i*r - 2 for r.
1
Suppose 2*i - 2 = r + 2, -2*i - 6 = 4*r. Let t be (-9)/(-36) - r/(-8). Solve -5*g + t + 10 = 0 for g.
2
Let r(k) = k**3 + 11*k**2 + 12. Let q be r(-11). Suppose -4*b + b = -q. Solve f + b = -0*f for f.
-4
Suppose m = -3*m. Suppose m = -2*t + 4*t. Solve t = -y - y for y.
0
Let z = -9 - -14. Suppose -n + z*n - 16 = 0. Solve 0*g - n*g = -8 for g.
2
Let o = 0 - 0. Let x = -1 - -1. Suppose o = 3*y + l - 29, x = 5*y - l - 21 - 30. Solve 0 = -7*w + 2*w - y for w.
-2
Suppose -9 = -3*f - 3. Suppose 5*a - f = 3*a + 4*n, -4*n + 4 = 0. Solve -16 + 1 = -a*u for u.
5
Suppose 0 = 16*k - 26*k + 20. Solve 8*b = 7*b + k for b.
2
Suppose 2*p - 2*p = -2*p. Solve p = v + 3*v for v.
0
Let h(g) = g**3 + 10. Let b be h(0). Solve 2*m - b = -0*m for m.
5
Suppose -207 = -2*m - m. Suppose -56 = -5*t + m. Solve 4*r = -r + t for r.
5
Suppose 0 = -3*d - 2*u, 2*d - 4 = d - 2*u. Let y be (d*1)/2 - -1. Let f be 3/3 + (2 - y). Solve -4 + f = a for a.
-1
Suppose -4*v + 10 = -6. Solve -v*a = -2*a for a.
0
Suppose 4*m + 18 = s, 5 = -4*m - 3. Solve 6*l + s = l for l.
-2
Suppose 14*r - 9*r - 25 = 0. Solve -12 = r*k + 3 for k.
-3
Suppose -4*s + 3*s = -3. Solve -3 = -2*u + s for u.
3
Let x(i) = -i + 22. Let y be x(12). Solve -v - y = v for v.
-5
Let k = -13 + 27. Solve 2 - k = 4*h for h.
-3
Let b(x) = -x + 9. Let a be b(4). Suppose -l - 9 = -m - 3*l, 10 = a*l. Solve -m = 3*v + 4 for v.
-3
Let z = 368 + -364. Suppose 5*t - 17 = 8. Solve t*k = z*k - 1 for k.
-1
Suppose 15 = 3*m + 2*m. Suppose -2*d = 2*y - 4, y - d + 3 = 3*y. Let j be -3 - -7 - -3*y. Solve 0 = -m*b + 8 + j for b.
5
Let x be ((-3)/(-6)*0)/1. Solve 4*g + 0 + 8 = x for g.
-2
Suppose y = -3*y - 12, -4*y + 20 = 2*c. Suppose 4*z = -2*f + 12, -3*f - f = -c. Let x be (3/9*0)/z. Solve x*b = 2*b for b.
0
Suppose -p = 3 - 7, -5 = -k + 5*p. Suppose -25 = -5*r - 0*r. Suppose -4*g + f + 2 = -2*g, f + 2 = r*g. Solve -k = -5*b - g*b for b.
5
Let g(z) = -z**3 - z**2 - z. Let i be g(0). Suppose -q + 5*q - 4 = i. Solve -w + 6 = q for w.
5
Suppose -2*a - 11*x + 32 = -7*x, -a + 3*x = -16. Solve 9*o + a = 5*o for o.
-4
Suppose 4*x + 0*x = -24. Let c be (7 - 2)*x/(-15). Solve 0*n = -n + c for n.
2
Let z(i) = i**3 + 7*i**2 + 7*i + 8. Let k be z(-6). Solve k = 4*u + 10 for u.
-2
Suppose 4*g - 12 = 3*g. Let x be ((-4)/(-3))/(2/6). Solve x*u - 8*u + g = 0 for u.
3
Suppose 2*q - 16 = -0. Let z = q + -5. Solve z*a = a + 10 for a.
5
Suppose -5*k - 10 = 0, 0 = -3*s - 2*k - 2*k - 128. Let w be (-9)/6*s/12. Solve -3*g = w + 1 for g.
-2
Suppose -2*z + 2 = 0, 2 = 2*m - 3*z + 1. Solve m*o + 14 = 6 for o.
-4
Let g = -14 + 22. Let f be 10*(6/4)/3. Suppose -3 = p + 4*h + g, f*h = 5*p - 20. Solve 4*q = 9 - p for q.
2
Let r(l) = -l**3 - 5*l**2 + 10*l - 2. Let h be r(-7). Let v be 4/(-24) - h/(-12). Solve -v*o = -o - 1 for o.
1
Let b(p) = -2*p - 2. Let u be b(-2). Suppose -4*f = -18 - u. Solve f*c = 20 + 5 for c.
5
Let a(i) = -i**2 - 4*i. Suppose 15 = 8*s - 3*s. Let g be 2 + (-6)/s + -3. Let r be a(g). Solve -2*y = r*y - 25 for y.
5
Let k(z) = -z + 6. Let o be k(0). Let q = 8 - o. Suppose h + 5*p = 6*h - 40, -5*p - 8 = 3*h. Solve 0 = 2*c - h*c - q for c.
-1
Suppose -2*t = -2 - 6. Solve s + t*s = -10 for s.
-2
Let c = 3 - 0. Let g = c - -23. Let r be (-1 - -3) + 2 + 1. Solve r*k + g - 6 = 0 for k.
-4
Let x be 6/(-15) - (-16)/40. Solve x = -0*g - g + 3 for g.
3
Suppose -1 + 7 = 2*q. Solve 4*w - q = -23 for w.
-5
Let i = 6 + -4. Suppose -12 = -z + 2*s + 3*s, -3*z + i*s = -10. Suppose -1 = m, -2*j + m + z + 5 = 0. Solve j*g + 2*g = 0 for g.
0
Let l be (-4)/(-14) + 12/7. Suppose x + l - 4 = 0. Solve 0 = x*k + k + 6 for k.
-2
Let l(a) = -a**3 + 4*a**2 + 5*a - 11. Let i be l(3). Solve 5*h + 2 = -i for h.
-3
Let s(l) = l + 7. Let d be s(-5). Suppose 7*w - 2*w - 20 = -d*t, -5 = -t. Solve -w*y - 7 = -3 for y.
-2
Let r be (2/8)/(7/56). Solve -3*s - 1 = r for s.
-1
Let x = -5 - -9. Suppose -x*t = -t. Solve 7*j - 2*j = t for j.
0
Suppose 0 = 5*a - 10 - 5. Suppose -a*z - 1 + 13 = 0. Suppose -4*s + 3 = z*j + s, -8 = -2*j + 4*s. Solve 5 = -3*b - j*b for b.
-1
Let f(y) = 1 - y - 1. Let l be f(-8). Solve 4*b + 4 = -l for b.
-3
Let z be 12*(3 - (-3)/(-6)). Suppose c + 3*a + 3 = 4*a, -5*c + z = 4*a. Solve -r = -5 + c for r.
3
Let t be (1/(-3))/((-6)/90). Solve b - 6*b + t = 0 for b.
1
Let w be (-4)/(-2 + (0 - 0)). Let g be w + 3 + (-4 - -2). Suppose 0 = -g*i + i + 10. Solve 35 - 10 = -i*y for y.
-5
Let t(y) be the second derivative of -3/2*y**2 - 1/12*y**4 + 0 - 5/6*y**3 + y. Let m be t(-4). Solve -o + m = -1 for o.
2
Let z be 7 - (1*-1 + (-3)/(-1)). Solve 0 = z*n - 22 + 2 for n.
4
Let v be ((-9)/27)/(2/(-12)). Solve v*a + 2 - 4 = 0 for a.
1
Suppose 0 = -7*s + 2*s + 50. Let y be s/(-3)*36/(-15). Suppose h = -3*h + y. Solve 0*b = -b - h for b.
-2
Suppose 5*m - 35 = -4*z, 0 = -3*m - 2*z - 2*z + 29. Let s(i) = i**3 + i**2 - 3*i + 4. Let q be s(0). Solve m*t - 5 = q for t.
3
Suppose 0 = -2*f - f. Let z be 2/(-7) - (-2)/7. Let k = z - f. Solve k*v = -4*v - 12 for v.
-3
Suppose 0 = -2*k + 8 - 0. Let f be 0 - (-11 + (-3)/(-1)). Solve k*i + 0*i = f for i.
2
Let h(j) = -j**2 - 12*j + 18. Let i be h(-13). Solve -i*g - 11 = -26 for g.
3
Let t(p) = p. Let u be t(5). Suppose -2*h + 122 = h + u*v, 0 = h + 4*v - 43. Suppose 3*o = -0*o + h. Solve -4*y + o - 1 = 0 for y.
3
Suppose 3*t = 4*y - 16, -4*y + 2 + 10 = -2*t. Solve 2 + y = -d for d.
-3
Suppose -r = 2*r - 12, -4*t + 3*r - 24 = 0. Let f = 3 - t. Solve i = f*i for i.
0
Let b(f) = -5*f**2 - 7 - 3*f + f**3 + 5*f + 2. Let c be b(5). Solve c*l + 19 = -6 for l.
-5
Suppose 16 = 2*z + 3*x, -3*z - 2*x + 2 = -3*x. Solve 4 = z*v - 3*v for v.
-4
Let x(p) = 2*p + 2. Let f be x(2). Let n(j) = 12*j**3 - j - 1. Let o be n(-1). Let k = o + 22. Solve -k = -f*s + s for s.
2
Let n(r) = -r**3 + 4*r**2 - 5*r + 2. Let h be n(2). Solve 2*s = -2 - h for s.
-1
Suppose -2*x - x + 6 = 0. Suppose 0 = a + x*a. Solve 0 = 2*b - a*b for b.
0
Suppose 0 = 4*n + 5*x - 12, -4*x = -4*n - 0*x + 12. Let d = 4 + 30. Suppose n*k + 18 = z, 4*z - k = 161 - d. Solve 5*o - z = -8 for o.
5
Let c(g) = g**3 - 7*g**2 - g + 10. Let t be c(7). Suppose 0*q = -5*q - 4*b + 2, 0 = 5*q + t*b - 4. Suppose -2 = -q*i + 4. Solve -15 = 2*r + i*r for r.
-3
Suppose 2*l = 3*l. Suppose -i - i + 6 = l. Solve 1 = 2*f - i for f.
2
Let c(d) = -d + 2. Let r be c(0). Let k be (r - 3) + 0 - -2. Solve 1 = -u - k for u.
-2
Let p(r) be the first derivative of r**6/360 + r**4/8 + 4*r**3/3 - 1. Let x(o) be the third derivative of p(o). Let i be x(0). Solve 20 = -f - i*f fo