m + f*m = 10 for m.
5
Suppose -498 - 142 = -32*q. Solve q*c = 19*c for c.
0
Let i(l) = 2*l**2 - 6. Let z be i(-2). Let f(o) = -15*o + 2 - 3 + 14*o. Let v be f(-4). Solve z*p + 3 = v*p for p.
3
Let i(n) = -n**3 - 3*n**2 + 5*n - 6. Let t be i(-5). Suppose 0 = 96*p + 56 - 440. Solve 3 - t = p*w for w.
-4
Suppose -s - 35 + 0 = -4*d, -21 = s + 3*d. Let t = -26 - s. Solve -5*k + t = -14 for k.
3
Suppose -68 - 7 = -25*r. Solve -r*k + 8*k = -15 for k.
-3
Let s(r) = r**3 + 8*r**2 + 7*r + 10. Let v be s(-7). Suppose 5*k - v = -5*x, 3*x = -0*k - k - 2. Solve -t + k*t = -12 for t.
-4
Let k(q) = -q**2 - 6*q - 3. Let v be k(-5). Suppose v*b - 48 = -6*b. Solve 4*x - b = -22 for x.
-4
Let d(g) = -g**3 - 9*g**2 - 19*g - 17. Let i be d(-7). Solve z + 17 = i for z.
1
Let z(x) = x**2 - 5*x + 2. Let y be z(1). Let f be 650/(-39)*3/y. Solve -s - 4*s = f for s.
-5
Suppose 4*n = -5*a + 55, -28 + 3 = 5*n. Solve m + a - 11 = 0 for m.
-4
Let c(p) = -p - 3. Suppose -3*r + 4 = -2*w + 18, -4*w - 12 = -r. Let g be (4/r)/((-2)/(-32)). Let b be c(g). Solve -b*y - 9 = 1 for y.
-2
Let x be (30/(-20))/(1/(-8)*3). Suppose -p = -x*p + 3. Suppose 0*n - 3 = -3*n. Solve n = -2*l - p for l.
-1
Suppose -294*r + 9 = -291*r. Solve -r*g + g = -8 for g.
4
Suppose -18 = -5*i - 5*y + 12, -3*i + 4*y = -25. Solve -i*z + 48 = 5*z for z.
4
Let g = -72 + 73. Suppose s - 3 - g = 0. Solve -6 = -2*t - s for t.
1
Let a = 163 - 95. Let q = 70 - a. Solve q*k + 3*k = 0 for k.
0
Suppose 5*f - 3*f = 6. Suppose -m = -u - 9, -u = -f*m + u + 26. Suppose k = -k + m. Solve -2 - 2 = k*x for x.
-1
Let c(m) be the second derivative of m**4/12 - 2*m**3/3 - 5*m**2/2 + m. Suppose 0 = -39*v + 33*v + 30. Let y be c(v). Solve d + y*d = 3 for d.
3
Let x = -22 + 37. Let o be 2/5 - 6/x. Suppose o*n = n. Solve -2*c - 3 + 1 = n for c.
-1
Let x(p) = -p**3 + 10*p**2 - p + 11. Let w(y) = 7*y + 3. Let g be w(1). Let c be x(g). Solve c = -2*b + b for b.
-1
Suppose 20*z + 131 = 391. Solve -z*i = -15*i + 8 for i.
4
Let j = 167 + -166. Solve -j = -x + 3 for x.
4
Let j(t) = -t**3 - t**2 + 28*t - 28. Let p be j(4). Solve -3 = p*y - 5*y for y.
3
Let v(o) = -o**3 - o**2 + 2*o + 2. Let z be v(-2). Suppose -3*x + 40 = z*x. Suppose -2 = -4*k + 3*l, -l - 2 = 2*k - 8. Solve -k*j - x = 2 for j.
-5
Suppose -7 = -0*z - z + u, 3*z = -5*u + 13. Suppose 2*a + 0*a = z. Let c be (-1)/(-4) - 1/4. Solve c = -4*n + a*n + 1 for n.
1
Let y be 7/(-7) + (1 - -26). Solve y*s = 23*s - 6 for s.
-2
Let d(n) = n - 5. Let j be d(7). Suppose 0 = -5*p - 4*r - 10, 2*p + 1 = -14*r + 13*r. Solve p*w + 0 - j = 0 for w.
1
Suppose 2*n - w = 2*w + 1, 5*n = -2*w + 31. Solve -n*k = -3*k - 6 for k.
3
Suppose 38 = x + 218. Let g be ((-4)/(-5))/(6/x). Let v = g + 34. Solve -j = 4*j + v for j.
-2
Let z(g) = -2*g - 7. Let q be z(-5). Suppose -17 = 3*k + 4*m, -2*k - 2*m - q*m - 23 = 0. Let o(s) = 2*s - 7. Let h be o(7). Solve 2*n + k = -h for n.
-4
Suppose 55*y = 52*y. Suppose y = -2*r + 4*b - 16, r + 3*r - b = -4. Solve r*v = -3*v - 6 for v.
-2
Suppose 5*o + 16 = -2*a, -4*o - 2 = 5*a - o. Let b(d) = 4*d - 3. Let k be b(a). Suppose -3*x + 5 = -4. Solve -x*q + k = -7 for q.
4
Let c = 7 - 6. Let p be (1 + 2 - 4)*c + 21. Solve -5*n = -0 + p for n.
-4
Suppose 0 = 3*m + 3*h, -34*m + 36*m + 4*h = -6. Solve 0 = 14*x - m*x for x.
0
Let m(q) = -q**3 + 6*q**2 - 2*q - 9. Let j be m(5). Suppose -4*g + 4*z = -6 - 2, -3*g - 3*z = j. Solve g*h = h - 1 for h.
1
Suppose 15 = 4*k - 9. Suppose 2*g + 3*f - 4 = 0, -4*g - 2*f + k = -g. Let b(a) = a**2 - 6*a + 3. Let p be b(6). Solve -3 = -g*x + p for x.
3
Let b = 197 + -181. Solve 13*c = b*c - 3 for c.
1
Let v be 8/5*240/64. Solve v*j - 29 - 1 = 0 for j.
5
Let d(y) = y**3 + 6 + y**3 - 6*y**2 - 4*y - 3*y**3. Let l = 45 + -50. Let a be d(l). Solve a = c - 2*c for c.
-1
Suppose 4*f = 2*l + 292, 0 = -3*f + l - 40 + 258. Let z be (f/(-30))/(9/(-60)). Solve -2*u = -6 + z for u.
-5
Let g = 857 + -801. Solve 0 = 57*p - g*p + 1 for p.
-1
Let m(j) = j**2 - 5*j + 3. Let o be m(5). Let g(p) = 7*p + 1. Let k be g(1). Suppose 0 = -4*w, 19*v + 4 = 20*v - 4*w. Solve -k = o*r + v for r.
-4
Suppose g - 2*g = -3. Let o be (-45)/(-18)*12/15. Suppose -o*a = 12*a - 3*a. Solve g*s + 9 = -a*s for s.
-3
Let q(y) = -y + 11. Let p be q(3). Suppose 4*a = 2*a - p*a. Let l = 13 + -9. Solve 0 = -l*i - a + 4 for i.
1
Suppose -3*g - 14 = -5*k - 4*g, -4*g - 7 = -k. Suppose -k*x = s + 5 - 32, -5*s = -3*x + 45. Solve 0*y - x = 2*y for y.
-5
Let l be ((-7)/((-7)/2))/(-2). Let b = -10 - l. Let a = -7 - b. Solve -r = a*r for r.
0
Suppose 41*k + 20 = 46*k. Suppose 5*a + 2*q - 13 = q, 0 = 5*a + 5*q - 25. Suppose 2*o = -4*t + 56, -88 = -k*o - 0*t - a*t. Solve b + o = -4*b for b.
-4
Let z(u) = -u**2 + 24*u + 185. Let r be z(-6). Solve -r*m = -m - 16 for m.
4
Let g be (-1)/(4 + -5)*4. Let r be g/(-14) + -3 + (-120)/(-28). Solve -3*d = -4*d + r for d.
1
Suppose -18 = -2*r - 0*r. Suppose -5*n - 6 = -h + 72, n + 2*h = -r. Let m = -11 - n. Solve -m*v = -2 - 18 for v.
5
Let b be 0 + 109 + (3 + -3 - -3). Suppose -b = -a - 6*a. Solve 2*k + a = -2*k for k.
-4
Suppose -4*b = -2*b + 16. Let x(v) = -8 - 4*v + 2*v + 2*v - 2*v. Let m be x(b). Solve 0 = 3*f - m*f - 20 for f.
-4
Let n(g) = -g**2 - 5*g + 15. Let u = -38 + 32. Let k be n(u). Solve -20*p = -23*p - k for p.
-3
Let v(t) be the first derivative of t**3 - t**2/2 + 2*t + 8. Let n(w) = 2*w**2 - 2*w + 3. Let m(j) = -4*n(j) + 3*v(j). Let r be m(3). Solve -5*s - r = 2 for s.
-4
Let w(u) be the third derivative of -u**6/60 - 13*u**5/60 - 7*u**4/24 - u**3/2 - 14*u**2. Let r be w(-6). Solve -r*f = -f for f.
0
Suppose -k = -6*k. Let j(h) = h**2 + 2*h + 2. Let s be j(-6). Let q = s - 23. Solve k*x - x = -q for x.
3
Let t(k) = k**2 - k - 2. Let v(y) = y**3 - 10*y**2 - 11*y + 3. Let m be v(11). Let l be t(m). Solve -g = g + l for g.
-2
Suppose -39*q = -44*q - 24*q. Suppose 0*f + 4*f - 8 = 0. Solve f = i - q for i.
2
Let k = 1 - 1. Suppose 97*u - 2234 - 191 = 0. Solve 5*r + 0*r + u = k for r.
-5
Suppose -6*b - 7*b + 130 = 0. Solve -267*y - b = -272*y for y.
2
Let a = 50 + -51. Let b be (16/(-12))/(a/3). Solve -15 - 5 = -b*j for j.
5
Suppose -4*z + 134 = 2*q, 5*z - 81 = 3*q + 81. Let f = z - 32. Solve -f = 2*c - 3 for c.
1
Let o(t) = -2*t - 2. Let s be o(-2). Suppose s*m = 3*m. Let r = m + 0. Solve r = 6*b - b for b.
0
Suppose 0 = 5*p + 171 - 36. Let a = -26 - p. Solve -a - 1 = -g for g.
2
Let c be (-56)/8 + (8 - -3). Solve -c*y - y - 15 = 0 for y.
-3
Suppose 4*r - 358 = 86. Let g = 113 - r. Solve -g*j + 3 = 11 for j.
-4
Suppose -5*m + 123 = -4*c, 0*m = -3*c - 2*m - 75. Let u = c - -29. Solve 3*d = u*d + 2 for d.
2
Let n(d) = d**3 - 12*d**2 + d + 112. Let x be n(11). Let v(k) = -k**3 - 3*k**2 + 3*k - 2. Let b be v(-4). Solve -o = -b*o - x for o.
-2
Suppose -x + 19 = 15. Suppose -x*t + 2*p = -18, -3*t - p + 0*p = -6. Let u = -4 - -6. Solve -u*j + j = t for j.
-3
Suppose -4*j + k + 3 = 0, 2*k + 7 = 2*j + 7*k. Let x be (1 + -2)*(-3 + (j - 0)). Solve -2*d = -0*d + x for d.
-1
Suppose 8*t - 90 = 2*t. Solve t*q - 13*q + 6 = 0 for q.
-3
Let n(f) = 23*f + 2. Let o be n(1). Let l = o - 25. Let x(s) = -s**3 + 2*s**2 + s + 7. Let p be x(l). Solve -5*u = -18 - p for u.
5
Let d(i) = i**2 - 5*i + 6. Let m be d(4). Suppose -2*y = 3*z - 5*y - 27, -m*z = -4*y - 26. Let x be 7*((-39)/7 - -6). Solve x*c = 2*c + z for c.
5
Suppose -149*p + 153*p = 32. Solve 0 = -6*h + p*h - 10 for h.
5
Let n(r) = -3*r - 29. Let u be n(-7). Let q(l) = -l**2 - 9*l + 10. Let t be q(u). Solve -6 = 3*x - t for x.
4
Suppose -g + 3 = 2*g, -3*g + 8 = l. Let w = 448 - 445. Solve -w*i = -l*i for i.
0
Let k be 2/17 + (-3036)/(-782). Solve -k*h = -221 + 237 for h.
-4
Suppose -5*j + 14 = -4*t + 70, 56 = 4*t - j. Solve 0 = 3*m - 2 + t for m.
-4
Suppose 155*b = 137*b + 306. Solve 3*i - b + 11 = 0 for i.
2
Let z = -702 + 718. Solve 0 = 7*v + z + 12 for v.
-4
Let b be (39/117)/((-15)/18 - -1). Solve 8 - b = -3*m for m.
-2
Let g(i) = 2*i - 19. Let b be g(6). Let r be (b + 6)*(0/(-1))/(-2). Solve r = 2*s - s for s.
0
Let z = -4 - -7. Let n = -119 + 167. Suppose o = -z*o + n. Solve -5*q - o = -q for q.
-3
Suppose 31 = i + 8*b - 4*b, -4*b + 61 = 3*i. Solve -12 = -i*q + 11*q for q.
3
Let r be 2*(3/(-2))/((-15)/10). Solve -2*y = r*y + 16 for y.
-4
Let h(w) = -7*w + 11 - 2*w**2 + 3*w**3 + 11*w**2 - 2*w**2 - 2*w**3. 