 for f.
2
Let c(x) = 9*x**2 + 6*x + 4. Let w be c(-1). Solve -9 = -10*p + w*p for p.
3
Let p(w) = -w - 1. Let a be p(-4). Suppose -a = -3*f + 21. Solve -4*s = -f*s for s.
0
Let y be (-10 + 0)*(-4)/8. Solve -y = b - 4 for b.
-1
Let i be (15 - 0)*4/12. Suppose -i = -y + 3. Let g = -3 + y. Solve g*w = -0*w - 15 for w.
-3
Let u(n) = -n**3 - 25*n**2 - 47*n - 18. Let s be u(-23). Solve -s*b + 6 = 1 for b.
1
Suppose -2*h = -8 + 2. Let m be (1/(-2))/((-3)/30). Suppose a + m*v - 9 = 0, a - 9 = 4*v - 7*v. Solve -a = -3*t - h for t.
2
Let y be ((-22)/4)/(3/(-42)). Suppose 5*a - y - 48 = 0. Solve 5*r = -0*r - a for r.
-5
Let z(n) = n + 5. Let h be z(0). Suppose h = -0*f + f. Solve g = f - 3 for g.
2
Let t be 12 + (4 + -6 - -2). Solve -3*n + t = -9*n for n.
-2
Let x be (-7)/35 - (-16)/5. Let y be (-4)/8*-6 + -1. Solve -c - y*c = -x for c.
1
Let z be (-18)/36 - 5/(-2). Let q be ((-12)/(-15))/(z/5). Solve 0*u = -q*u for u.
0
Suppose -l - 2*l = -12. Solve 12 = -0*k - l*k for k.
-3
Let q = 13 - -10. Solve -8 = -3*z - q for z.
-5
Suppose 12*y = 7*y + 40. Solve -y = n + 3*n for n.
-2
Let g(h) = h + 2. Let r be g(-1). Let j be r/(10/(-12) + 1). Suppose 5*f = 4*u - 0*f - 14, 4*u = -5*f - j. Solve -v + 0 = u for v.
-1
Suppose m = 2*m - 4*n - 27, 0 = -m - 3*n - 8. Solve 2*q + m + 3 = 0 for q.
-5
Let d = 7 + -2. Solve d*k = -2 + 17 for k.
3
Suppose 12 = -0*l + 3*l. Suppose h = l*h - 6. Let w(p) = p**3 + 6*p**2 - 2*p - 5. Let g be w(-6). Solve h*s - 10 = g*s for s.
-2
Let v = 22 - 32. Let y = -9 - v. Suppose -2*f = -f - u + y, 2*u = -2*f + 2. Solve 3*i - 1 - 5 = f for i.
2
Suppose x - k = 0, 3*k + 1 = x + 3*x. Solve -2*p = -p + x for p.
-1
Let z be 6 + -1 - 2/1. Suppose -2*v = z*v - 50. Solve -3*w + 8*w + v = 0 for w.
-2
Let g = 0 - -5. Let t = g - 4. Let x be (-1 - t)*(-6)/3. Solve 3 = x*d - 1 for d.
1
Let k(f) = -f - 7. Let o(b) = b**2 + 10*b + 5. Let h be o(-8). Let c be k(h). Solve 3*t = c*t for t.
0
Let m(t) = 2*t**2 - t + 1. Suppose -a + 0 = -1. Let x be m(a). Solve 1 = -i - x for i.
-3
Let w be ((-12)/(-15))/(4/30). Suppose -4*t = -w - 6. Solve -6*m = -t*m - 12 for m.
4
Suppose 5*k + w + 17 = 0, 4*w = 2*k + 2*k + 28. Let v(x) = -8*x - 1. Let y be v(k). Let f = -16 + y. Solve i - 6*i = -f for i.
3
Let h = -39 - -39. Suppose -4 = c - 2*c. Solve -c*s = -h*s + 16 for s.
-4
Suppose -i + 20 = 11. Solve i = 2*v + 1 for v.
4
Suppose -q + 19 = 3*d, -3*d = 2*q - 25 - 16. Suppose -7 = -3*s + 8, -2*s = 2*w - q. Solve w = -5*x + 1 for x.
-1
Let r be (1 - -1) + -3 + 4. Solve -r*g - 2 = -g for g.
-1
Let o = 10 - 10. Solve -5*r + o*r + 5 = 0 for r.
1
Suppose 2*s - 50 = 4*i - 0*s, -i - 2*s = 0. Let f = -6 - i. Solve z - f*z = 6 for z.
-2
Let n(a) be the third derivative of 1/24*a**4 + 0*a**3 + 0*a - 4*a**2 + 0. Let t be n(2). Solve 3*b + t*b = 25 for b.
5
Suppose -4*m + 6 = -m. Solve 8 = -m*y - 2*y for y.
-2
Let s be (0/((-1)/1))/4. Solve 0 = u + 2 - s for u.
-2
Suppose 2*r - 28 = -0*r - u, -5*u = -5*r + 85. Let o(w) = -3*w + 1. Let g be o(-1). Suppose -g*y + y = -r. Solve 7 = y*a - 13 for a.
4
Let i be (-8)/(-20) - (-2)/(-5). Solve 3*x - 3 = -i*x for x.
1
Suppose 0 = 3*k + k. Suppose -8*c + 3*c = k. Solve -15 = 3*x - c for x.
-5
Let n be 0 + 1 + (3 - 1). Solve -6*h + 7*h + n = 0 for h.
-3
Let n = 6 - 1. Suppose 18 = n*v - 3*v. Solve -i + v = -4*i for i.
-3
Let u be 27/(-5) + (-12)/20. Let z be (-2*(-9)/u)/(-1). Solve -z*f = -f for f.
0
Suppose w - 20 = -2*w - 5*o, -3*o = -5*w - 12. Solve w = -2*l - 2*l - 4 for l.
-1
Suppose 0 = -2*a + 17 - 1. Let t be a + (1 - 6 - -2). Solve -b = -0*b - t for b.
5
Let h(x) = 5*x**2 + 4*x - 1. Let z(f) = -2*f. Let w be z(2). Let o be h(w). Suppose -27 = -3*i + o. Solve -4*c + 10 = i for c.
-5
Let x(i) = i - 7. Let j be x(9). Solve j*q = 4 - 0 for q.
2
Suppose 7*h = 4*h + 6. Solve 0*k + h*k = -6 for k.
-3
Let s be -1*(-7 - (2 + -1)). Let f be ((-3)/(-2))/(6/s). Suppose -u + 1 = -2. Solve u*m = f*m for m.
0
Suppose -o - 2*o + 18 = 0. Suppose 4*p = 2*r - 2, 5*p + 14 - 44 = -4*r. Solve 4*z + p = -o for z.
-2
Let t = -28 - -28. Solve t = -0*u - 3*u for u.
0
Suppose g - 5*g = 0. Let y = g + 0. Solve -3*x - 4 - 8 = y for x.
-4
Let i(x) = -x**3 + 2*x**2 - x - 2. Suppose r - 6 = 4*r. Let c be i(r). Solve 7*b = 3*b + c for b.
4
Let f(p) = 2*p**3 - 2*p**2 - 2*p + 2. Let d be f(2). Suppose d*w - 2*w = 64. Solve a - 5*a = -w for a.
4
Let y be 9/(-2)*(-12)/18. Solve u + 20 = -y*u for u.
-5
Suppose 0 = 2*y - 0*y. Let k = -8 - -11. Suppose o - 5*l - 12 = -l, k*o - 5*l - 15 = y. Solve o = 3*c - 2*c for c.
0
Suppose -3*w + 11 = -a, 0 = -w - 5*a + 2*a - 13. Suppose 0 = 2*v - 3*k - 19, -2*v + 4*v - 14 = w*k. Solve i + v*i - 12 = 0 for i.
4
Let p(a) = -a**3 - 8*a**2 - a. Let y be p(-8). Let s(m) = m + 4. Let k be s(-4). Solve k*q = -2*q - y for q.
-4
Let m(x) = 2*x**2 - 2*x + 3. Let r be m(0). Solve 0 = 2*c - 1 - r for c.
2
Let s = -30 - -44. Suppose 0 = -z + 4*y + s, -2*z = 2*y - 2 - 6. Suppose -z*g = -2*g. Solve g = -5*x - 14 - 11 for x.
-5
Suppose v - g = -5*g - 8, 5*v + 2*g + 4 = 0. Solve v - 9 = -3*i for i.
3
Let a = 9 + -5. Suppose a*v - 6 = 2. Suppose 0 - 2 = -h. Solve 0 = v*g + h*g for g.
0
Let w be 47/188*-1*24/(-2). Solve 15 = 2*f + w*f for f.
3
Let z(j) = -2*j - 2. Let t be z(-2). Suppose 4*o + 2 = t*o. Let q be 0/1 + (-1)/o. Solve -q = -v - 3 for v.
-2
Let b be 156/91*(-14)/(-8)*2. Solve -b*d + 2*d + 4 = 0 for d.
1
Suppose 0*g - g = -4*t + 8, -t - 4*g = -19. Let a be (2 + (-20)/8)*0. Solve -5*d + t + 2 = a for d.
1
Let n(b) = b - 7. Let c be n(10). Solve -10 = -2*m - c*m for m.
2
Let d(i) = i + 5. Let k be (3 - 1)*(-30)/(-12). Suppose 2*v = -6, 0*v - 35 = 5*f + k*v. Let r be d(f). Solve 2*m - 3*m + r = 0 for m.
1
Let x(q) be the third derivative of -q**5/60 - q**4/4 + 5*q**3/6 - q**2. Let g be x(-7). Let w = 2 + g. Solve w*k - 5*k - 5 = 0 for k.
-1
Suppose -3*t = 2*z - 11, -2*z - 2*z + 16 = 4*t. Solve -21 + z = -4*j for j.
5
Let w(a) = a**2 + 7*a. Let u be w(-7). Suppose -5*r = -h - h + 34, -h + 16 = -2*r. Let x be (10/3)/(h/18). Solve -x*m + u = -10 for m.
2
Let p = 0 + 6. Let q be ((-2)/(-1) - 0) + -2. Suppose -40 = -2*w - 4*a - 8, -4*w + 4*a + 64 = q. Solve -p*z - w = -2*z for z.
-4
Let b = 6 + -8. Let i = b + 5. Solve -i*t = -0*t + 3 for t.
-1
Suppose 0*g = -5*g + 75. Suppose 3*v = 2*v. Let b be 3 + (2 - (2 + -2)). Solve v = -b*q - g for q.
-3
Suppose 5*j = 13 + 12. Suppose w - 5*r = -4, r - 32 = -5*w - 0*r. Let b = -4 + w. Solve -j*x + b = -18 for x.
4
Let i be ((-8)/(-6))/(14/189). Let s be i/4 - 1/2. Let j = -3 - -8. Solve -f - s*f = -j for f.
1
Let l = 8 - 17. Let j(b) = b + 11. Let v be j(l). Solve 3*c + 8 = v for c.
-2
Suppose 4*f - 14 = 2*s, -3*f - 3*s - 7 = -31. Let z be 6/8 + 2/8. Solve -x + f = z for x.
4
Let s be (3 - 3)/((-4)/(-2)). Let d(h) = h**3 - 4*h**2 + 2*h - 5. Let z be d(4). Suppose -4*o + 2*v = -v - 12, -o + 3 = -z*v. Solve o*m + 7 - 1 = s for m.
-2
Let c(i) = -i**2 + 10*i - 11. Let l be c(8). Suppose -3*o + 6 = l*b, 0 = -2*b + 3*o - 6*o + 6. Solve 4*y - 21 + 1 = b for y.
5
Let s be ((-4)/14)/(2/(-14)). Suppose 2*w = s*u - 36, 7*w - 4*w = 6. Solve 6*t = t + u for t.
4
Let n be (-1 - 5)/((-1)/1). Let s be (-1 - 1)*(-150)/12. Suppose 2*v - 12 = -a, 0 = 3*a - v - s - 39. Solve a = -x + n*x for x.
4
Let t(v) = -v**2 - 8*v - 4. Let p be t(-6). Suppose -3*u + p = -1. Solve 0 = 2*j - u + 5 for j.
-1
Let j(b) = -1 + b**2 - 4 - 7*b - 2*b**2. Let f be j(-5). Let i be 9/(-6)*16/(-6). Solve c - f = -i for c.
1
Let f(j) = j**3 + j + 3. Let a be f(0). Solve -2*c = -a*c for c.
0
Suppose 2*s + v - 19 = 2*v, -13 = -2*s - 5*v. Solve -5*y + 34 = s for y.
5
Let z be (-5)/(-3*(-3)/(-27)*3). Solve -1 = -z*n + 24 for n.
5
Let l(i) = 20*i - 56. Let g(t) = -7*t + 19. Let x(s) = -17*g(s) - 6*l(s). Let w be x(12). Let o = w - -1. Solve -4 - o = 2*n for n.
-3
Let v be (-3 - 2) + (-2 - 1). Let i(q) = -q**3 + q**2 + 10. Let h be i(0). Let w = h + v. Solve -2 = -c + w for c.
4
Let v = -18 - -27. Let r(l) = -l**2 + 6*l + 42. Let u be r(10). Solve -g + v = u*g for g.
3
Let g(h) = -h**3 + 3*h**2 - 3*h + 2. Let b be g(2). Solve -16 = 4*i - b for i.
-4
Let q be -2 - 2/(6/3). Let h be (q/2)/(9/(-48)). Solve -4*w + h - 4 = 0 for w.
1
Let r be 6/(-21) + 32/14. Suppose r = h - 2. Let w be (h/3)/(6/9). Solve w = -j + 2*j for j.
2
Let s = -4 - -4. Suppose -2*w + 3*