+ p for g.
5
Suppose 4*w = 8 + 12. Solve 0 = -3*f + 2*f - w for f.
-5
Suppose 4*j = 3*h - h + 14, 5*h = -5*j + 10. Suppose -25 = -j*n + a, -2*a + 3*a = 5. Solve n = 4*p + 30 for p.
-5
Let n = -1 + 6. Suppose -26 + 11 = -5*i + 2*d, -2*d + 10 = 0. Solve n = -5*t - i for t.
-2
Let p(g) = 7*g**2 + g + 1. Suppose 5 = -3*t - 7. Let d be (-2 - -1)/(-3 - t). Let q be p(d). Solve -3*x + 2 = -q for x.
3
Let g(u) = u**3 - 12*u**2 + 11*u + 3. Suppose 33 = j + 2*j. Let p be g(j). Solve 2*i - p*i = -2 for i.
2
Let d(h) = -h**2 - 9*h + 3. Let p(y) = -5*y + 0*y - 4*y. Let z be p(1). Let s be d(z). Solve -s*j + 10 = -2 for j.
4
Suppose -2*z - 3*z + 4*o + 23 = 0, -9 = -5*z - 3*o. Let f = -2 + 5. Solve -6*d + f = -z*d for d.
1
Let r = -1 - -3. Let t(q) = -q**3 - 8*q**2 - 7*q + 2. Let y be t(-7). Solve 0 = -4*k + r + y for k.
1
Let k be 16/(-6) + 4/6. Let w(i) = -i**3 + i**2 + i - 4. Let l be w(0). Let g = k - l. Solve g*b + 15 = -b for b.
-5
Suppose 4*o + 3*x = x + 120, -3*o + x + 80 = 0. Let l = -22 + o. Solve -l*k = -3*k + 15 for k.
-5
Suppose -3*l - 2*l + 15 = 0. Solve l*o = o + 2 for o.
1
Let x be (4 + -6)*(-1 - 0). Solve x*n - 3 = -n for n.
1
Let h = 6 + -11. Let n = h - -7. Let f be 1/(n - (-21)/(-12)). Solve 11 = f*u - 9 for u.
5
Let p be (1*(-4)/(-3))/(2/6). Suppose -7 = -5*w + 8. Solve -w = k - p*k for k.
1
Let t be (-2 - -2)*(-2)/(-2). Solve -k + 3*k = t for k.
0
Suppose 2 - 4 = 3*m - k, -k + 2 = 5*m. Solve m*q - 15 = 3*q for q.
-5
Suppose 0 = -a + 2. Solve 2 = -a*y + 4*y for y.
1
Let s be -41*1/(-1) + -3. Suppose -2*w = 2*g - 22, 0*w + 3*w - s = 2*g. Let b(z) = -z**2 + z + 7. Let a be b(0). Solve -a*n + 3*n = w for n.
-3
Let g = 8 - -2. Suppose 5*i = -n + 40, g*i = -3*n + 5*i + 70. Solve 5 = 4*b - n for b.
5
Let l = 5 + -5. Suppose l = -s - 4 + 7. Solve -6 = j - s*j for j.
3
Let y(i) = 2*i**2 - 4*i + 2. Let d be y(2). Suppose d*b = 6*b - 40. Solve k + b = 3*k for k.
5
Let s be 60/(-25)*-1 - (-3)/5. Suppose -2*j = -3*j - 15. Let w = 23 + j. Solve w = z - s*z for z.
-4
Let o be ((-10)/4)/((-2)/4). Suppose 5*d + o*r = -80, -3*r + 4*r - 32 = 3*d. Let w be 10/(-3)*d/10. Solve w*m - 9 - 3 = 0 for m.
3
Let o be 1*(-15)/(2/(-2)). Let k = -3 - -6. Suppose -4*h - 12 = -5*q, -3*q - q + 16 = 0. Solve -h*d - o = k*d for d.
-3
Let r(o) = o**3 - 2*o**2 - o - 4. Let z be r(3). Solve 10 = z*q - 4*q for q.
-5
Let u(i) = -3 - 2 - 1 - 2*i + 2. Let b be -6*(-1 + 9/6). Let j be u(b). Solve j*s = 4*s for s.
0
Suppose -3*x + 5*u + 16 = 0, -u + 4 = -0*u. Let t = -3 - -7. Suppose -t*b + 1 = 3*p, p = -2*b - b - 3. Solve -x = a + p*a for a.
-3
Let d be 6/(-4)*8/(-2). Solve w + 5 = d*w for w.
1
Let g be 1/(-4) - (-272)/64. Solve 2*s + g = 3*s for s.
4
Suppose 3*b = 4*b - 1. Solve -3 - b = l for l.
-4
Suppose -4*d + 3*d = -1. Let p(t) = t**2 - 1. Let r be p(-2). Let u be d*6*(-1 + r). Solve -q - 3*q = u for q.
-3
Let r(q) = -q - 9. Let u(s) = s**2 - 8*s + 6. Let z be u(5). Let y be r(z). Suppose -5*h + 4*j + 2 = y, 0*h + h + 3*j = 8. Solve 0*x + h*x = 4 for x.
2
Let v be (-42)/(-15) - 2/(-10). Suppose 2*m = -8*x + v*x + 16, 5*m - 10 = -5*x. Let p = 4 + m. Solve p*d + 0*d = -6 for d.
-3
Let q = 22 - 17. Solve -q = 3*o - 2*o for o.
-5
Let d(r) = -r**2 + 8*r + 4. Let c be d(4). Let x be (-1)/4 + 85/c. Solve -x*k + 2 = -2 for k.
1
Let x(s) = 3*s + 10. Suppose -g = 5 + 5. Let m be x(g). Let y be (8/m)/((-1)/5). Solve -y*u - 1 = -5 for u.
2
Let a(g) = g**3 + 2*g**2 + g + 3. Let f be a(-3). Let l be (-3 - 30/f)*9. Solve 2*o = 11 - l for o.
4
Let w be (-1)/1 + (-1 - -3). Solve -w = -4*f - 5 for f.
-1
Let y = -2 + -3. Let n be 6/(-27) - 148/(-18). Let u = n + y. Solve 1 = 2*z - u for z.
2
Let x(p) = -p**3 - 10*p**2 - 10*p - 3. Let c be x(-9). Let s = c + -6. Solve s*j = 3*j - 12 for j.
4
Suppose -5*g + 9*g = 40. Solve -2 + g = -2*z for z.
-4
Let l be 70/8 - 36/48. Solve -l + 2 = -2*q for q.
3
Suppose 29 = 4*r - 11. Let t(j) be the third derivative of -j**4/24 + j**3/3 + 8*j**2. Let i be t(-2). Solve 0 = -i*z - 2 - r for z.
-3
Suppose -x + 3 = -2. Suppose -3*a + 17 = -4*c - 21, x*a + 3*c = 73. Let d be (-8)/(-6)*3/2. Solve d*t = a - 4 for t.
5
Suppose -4*v + 8 = 2*q, 5*q - 4 = -5*v + 1. Suppose -v*d - 10 = o, 2*d + 5 = -o - 0*o. Solve 9 - 24 = -o*u for u.
3
Let r be (0 - -9)/((-3)/9). Let u = -12 - r. Solve -5*n - 5 = u for n.
-4
Let p = 3 + 1. Let k = -3 + 3. Solve k*h - p*h = -16 for h.
4
Let j(a) = -a - 7. Let t be j(-7). Let y(d) = -3*d - 51. Let x be y(-17). Solve -3*w + x*w + 15 = t for w.
5
Let m = -22 - -5. Let f = -12 - m. Solve 0 - f = -5*x for x.
1
Suppose 6*a - b = 2*a + 9, -5*a - 2*b = -21. Let k = a + 1. Solve 7*r + 9 = k*r for r.
-3
Suppose 0 = 3*t + 5*n - 2 + 8, 5*t - n - 18 = 0. Solve -l = t*l + 16 for l.
-4
Let a(u) = 10*u + 174. Let c be a(-17). Suppose 2*z - 4 = 8. Solve v + z = c*v for v.
2
Let u = -28 + 30. Solve 0 = -k - u*k for k.
0
Let j be (-20)/(-5) + -2 + -1. Solve -j = c + 3 for c.
-4
Let v(n) = n**2 + 5*n - 8. Let f be v(-7). Solve 0 = 5*w - 2*w + f for w.
-2
Suppose 14 = 2*v - 22. Let g be (-4)/(-10) - v/45. Solve -4*f + 3 - 19 = g for f.
-4
Let b be 2/(-1 - 10/(-6)). Let k = 6 + -4. Let a be (-2)/((-4)/k) - 1. Solve a = -y + b*y for y.
0
Let v be 3*8/(-4 + 8). Let z(m) = -m**3 + 8*m**2 - 7*m + 2. Let a be z(7). Let p = 2 + a. Solve -2*c + p = -v*c for c.
-1
Let c(h) = -h**2 + 4*h + 1. Let w be c(3). Suppose l = w*k - 29, 0*k + 2*l + 28 = 3*k. Suppose k*j - 44 = 2*j. Solve -2*z = j - 3 for z.
-4
Let l = 67 + -67. Solve l*g = 2*g for g.
0
Suppose 0*s + 4*s = -3*b + 13, -2*s + 5 = b. Let x(q) = -q - 5. Let g be x(-7). Solve i + s = g for i.
1
Suppose -f - 9 = -b, b - 3*f - 11 = 2*b. Let z = b + -4. Suppose -2*d - 4*c = -12, z = d + 4*c - 0*c - 10. Solve -3*q - 1 = d for q.
-1
Suppose 0 = -3*q + 7*q. Suppose -4*t - 5*g - 18 - 2 = q, -5*g - 20 = t. Solve t = 2*d - 3*d for d.
0
Let d be (15/(-25))/(2/20*-2). Solve -4 = d*y - 7*y for y.
1
Suppose -5*w = -3*d + 55 - 17, -4*w + 8 = 4*d. Let j = -11 - -11. Solve j = -d*a + 2*a - 12 for a.
-3
Let k be 6 + -2 + -1 + 2. Solve 0 = 5*h - k + 15 for h.
-2
Let p = 3 - 6. Let v(m) = m**3 + 4*m**2 + 4*m + 3. Let k be v(p). Solve k*s = -4*s - 20 for s.
-5
Let y be 7 - (-1)/(2/(-4)). Suppose y*s = -5*l, s - 8 = -2*l + 3*s. Suppose -v - r + 0 = -l, 5*r = 5*v - 20. Solve -3 = -0*j + v*j for j.
-1
Let q = 47 + -33. Let l = q + -12. Solve -l*n - 2 = -n for n.
-2
Suppose g + y = 6, -g - 2*y - 2*y = -15. Suppose 3*v - 3 = g*m, 5*v = -0*v - 4*m + 50. Solve 16 - v = 5*d for d.
2
Let n be (-2 - -5)/((-3)/(-18)). Suppose -4*c + n = -2*c. Solve -2*z - z = c for z.
-3
Let p(k) = k**2 - 8*k - 13. Let z = -4 + 15. Let n be p(z). Solve 4*l + l = n for l.
4
Suppose 3*w + 0 = -3. Let q be 27/(-3)*(0 + w). Let c = -2 - -6. Solve -29 = c*z - q for z.
-5
Suppose -1 = -3*d + 5. Suppose 0 = 2*c - 4*c. Suppose c = 3*m + 2*p + 6 - 16, -3*p = 4*m - 13. Solve -d*q = -m*q for q.
0
Let c(b) = -b**3 - 2*b**2 + 4*b. Let j be c(-3). Let w be j/(-9) + 15/9. Solve 4*o = w + 2 for o.
1
Let h = -4 + 6. Solve -l - h = -6 for l.
4
Let j(o) = -o + 5. Let p be j(4). Let z(f) = f + 0*f - f**2 + 3*f**3 + 3*f**3. Let s be z(p). Solve -w = -s + 2 for w.
4
Suppose -14 - 1 = -3*m. Solve m*o - 2 = -12 for o.
-2
Suppose -s + 3 = -1. Suppose 1 + s = o. Suppose 21 - 1 = o*t. Solve 0 = -t*y + 8*y for y.
0
Let w be (-159)/(-15) - (-4)/10. Let c = 13 - w. Solve -3*d - c = -11 for d.
3
Suppose 0 = -3*u + 22 - 13. Solve 12 = -3*o - u for o.
-5
Suppose -2*z + 9 = -5*w + 4*w, -w + 7 = 2*z. Solve -6*h + 4*h = -z for h.
2
Suppose -6*c + 102 - 96 = 0. Let s be (-2)/(-8) - (-22)/8. Suppose 0 = -y + s*y. Solve y*g + g = c for g.
1
Let x = 2 + 0. Solve 6 = j + x*j for j.
2
Let f(o) = o**2 + o - 3. Let z be f(3). Suppose y + 4*p = z*p + 5, 5*y + 5*p - 25 = 0. Solve -y*l - 20 = -0 for l.
-4
Suppose o + 4*g = 15, -3*g + 18 = 2*o - 2. Solve 0 = o*t - 2*t - 25 for t.
5
Let x = -3 + 3. Suppose q + 17 + 161 = x. Let t be q/(-9) + (-4)/(-18). Solve 4*g + g = -t for g.
-4
Suppose 4*f - 3*v + 5 = 22, 3*f - 5*v - 10 = 0. Solve -3*h = -f*h + 10 for h.
5
Suppose -3*g = 3*l, l + 3*l = -3*g - 3. Suppose -s + 24 = g*s. Suppose 0*a = -3*a + s. Solve -a = -2*f - 6 for f.
-2
Let z be 2*(-2)/(-8)*14. Solve z = 5*l + 22 for l.
-3
Let c(v) = -v**3 + 5. Let k be c(0). Let z(w) be the second derivative of w**