 + 4 - 0. Solve 10 = 5*b - a for b.
2
Suppose 2*m - 15 = m - 2*v, -v = -3*m + 24. Let w be (-2)/m + ((-301)/63 - -5). Solve -3*x = 12 - w for x.
-4
Suppose -3*v + 12 = 3*u, 4*u - 26 = -4*v + 5*u. Solve 0 = v*o - 2 - 4 for o.
1
Suppose -15 = -t - 11. Solve 0 = -6*g + 10 - t for g.
1
Suppose 0 = -3*k + 9, 1 = 4*d - 4*k - 3. Suppose d*n = 11*n. Solve n = 3*l - 2 - 7 for l.
3
Let a(b) = b**3 + 5*b**2 - 14*b + 14. Let q be a(-7). Suppose 4*f - 2*f - q = -4*x, 9 = 3*f. Solve 7*t - 5 = x*t for t.
1
Suppose -13*o = -10*o - 21. Solve -o*k = -5*k - 2 for k.
1
Suppose -5*m + 31 = -y, -2*m + 0*m + 26 = 3*y. Solve 0 = 6*c - m*c for c.
0
Let i(l) = -l**3 + 9*l**2 - 9*l + 10. Let y be i(8). Suppose y*d = -2*n + 8, -3*n = 2*n + 2*d - 8. Solve 4*r + n*r - 12 = 0 for r.
3
Suppose -5*u = 8*j - 5*j - 56, -5*j = -3*u + 20. Let p be (-1 + -4)/u*-2. Suppose -7*h + 12 = -3*h. Solve -h*c - p = 11 for c.
-4
Let y = -5 - -5. Let w be (y + 1)/(1/(-1)). Let n = w + 9. Solve 0*o = -4*o - n for o.
-2
Suppose 0 = 6*q - 3*q - 51. Let s = q - -15. Suppose 3 = 5*m - s. Solve 3 = 2*b - m for b.
5
Let u = -576 + 594. Solve u + 14 = -8*b for b.
-4
Let l(a) = a**2 + 13*a + 15. Let v be l(-12). Suppose 2*i = g + 19, -v*g - 5*i = 2 + 11. Let h = 18 + g. Solve 1 = -2*k + h for k.
3
Let o be (0/1)/(0 - 1). Let p(f) = -f**3 + 54*f**2 + 53*f + 114. Let q be p(55). Solve q = m - o for m.
4
Let b = 258 + -255. Solve -24 = -b*q - 12 for q.
4
Suppose 0 = j + 5*j. Suppose 2*u - 15 - 15 = j. Let f be (-8)/(-10) + 63/u. Solve -4 = g - f*g for g.
1
Suppose -10*y + 60 = -8*y. Suppose -14*m - y = -20*m. Solve -10 = m*b - 0*b for b.
-2
Suppose 0 = -2*n + 5*n. Suppose 2*h = -n*u - 4*u + 28, -8 = -2*h + u. Suppose -h*r + 5*r = -4. Solve r*i = 2*i for i.
0
Suppose -3 = 2*r + 3*u, 4*r - 4*u + 8*u = 0. Let h(z) = 8*z - 2*z**2 + 6 + 4*z**2 + r - 3*z**2. Let o be h(9). Solve -t - 3 + 2 = o for t.
-1
Suppose -8*j = -3*j - 20. Suppose 0 = -7*k + 29 + 20. Suppose 4*f - a - k = 0, -5 = -3*f + a - 0*a. Solve -j = -f*t - 2 for t.
1
Let n be 6 + (-22)/4 + (-9)/(-2). Suppose -f + 5 = 0, n*k - 112 - 3 = f. Solve -4*d - 4 + k = 0 for d.
5
Let b(w) = 6*w + 2. Let l = -2 + -3. Let n(k) = k - 1. Let j(a) = l*n(a) + b(a). Let q be j(-5). Solve 0*i + q = -2*i for i.
-1
Let f(n) = -2*n - 2. Let t be f(2). Let h = -8 - t. Let j be (0/h)/(3*-1). Solve j = -3*w + 6*w + 15 for w.
-5
Let h(q) = 2*q**2 - 8*q - 2. Let m(j) = j**3 - 2*j**2 + 6*j - 6. Let c be m(2). Let y be h(c). Solve -5*i = -3 - y for i.
5
Let p(b) = -4*b**2 + 25*b - 7. Let n be p(7). Let o = -28 - n. Solve o = -3*t + 5*t - 10 for t.
5
Suppose -56 = -4*i + 3*v, 3*v - 22 + 1 = -3*i. Let l(y) = y**2 - 10*y - 11. Let p be l(i). Suppose p = 4*o - 3*o - 3. Solve o = 3*a - 0*a for a.
1
Let q(i) be the second derivative of -i**4/12 - 7*i**3/6 + 3*i**2 - 2*i. Let s be q(-7). Let m be 12/(2/s*3). Solve 5*a = 2*a - m for a.
-4
Suppose 3*f = a - 0 + 16, a - 5 = 0. Suppose 0 = f*x - 6*x - 3. Solve 5*b = x*b + 4 for b.
2
Suppose -6*w + 6 + 6 = 0. Suppose 7*b = w*b. Solve 5*p - 4*p = b for p.
0
Suppose 0 = g + 3*l - 14, 2*g - 5*l + 3*l - 4 = 0. Suppose -3*p = 4*p - g*p. Solve 0 = -2*f - p - 10 for f.
-5
Let s = -2 + 2. Let h(l) = -l**3 + 12*l**2 + 6*l - 72. Let r be h(12). Solve s = -5*n - r*n - 25 for n.
-5
Let f(o) = -43*o + 53*o - 2*o**2 - 38*o. Let z be f(-14). Solve -4 = -4*c - z*c for c.
1
Let y(l) = l**3 + 8*l**2 - l - 5. Let a be y(-8). Let f be 4*(1 - 0/a). Let m be (-10)/f*12/(-15). Solve m*u + 0 = -2 for u.
-1
Suppose -n = 15 - 28. Solve n = 8*b + 53 for b.
-5
Suppose 10 = 89*r - 84*r. Solve 24 = -4*x - r*x for x.
-4
Let p(h) = 9 - 13 + 5 + 4*h**2. Let n be p(1). Let i = n - 2. Solve 5*t = i*t - 8 for t.
-4
Let m be 15 + 1*(-4)/2. Suppose m - 1 = x. Solve c - 4*c = -x for c.
4
Let z be (-11)/(495/(-3447)) + 4/10. Solve 0 = -z*t + 80*t + 9 for t.
-3
Suppose -k + 1 + 0 = 0. Let j be (21 - k)*1/2. Let v(i) = i + 7. Let q be v(-4). Solve -2*f - q*f + j = 0 for f.
2
Let s = 16 + -14. Solve -4 = -s*r + 4 for r.
4
Let p be 4 + 3/(-9)*-15. Suppose 5*u = 4*u + p. Solve u = -3*c - 0 for c.
-3
Suppose -l + 1 = -d - 5, -3*l + 16 = -d. Solve 3*j - 10 = l for j.
5
Let u be 1*(-1)/(-2)*(-684)/(-114). Solve -u*d = -11*d + 8 for d.
1
Let h(j) = j**2 + 3*j - 10. Let b be h(-6). Suppose b*n - 50 = -2. Solve 0 = -5*y + n*y - 5 for y.
5
Suppose -z = -g + 1, 2*g - 14 = -z - 2*g. Suppose -705*x = -689*x - 160. Let u(q) = 2*q**2 - 5*q + 4. Let k be u(3). Solve z*j - k*j = -x for j.
2
Let z = -307 + 310. Solve -z*t + 9*t = -30 for t.
-5
Let c be 13/(-26) - 18/(-4). Solve -5*j + c - 19 = 0 for j.
-3
Let b(g) = g + 13. Let y be b(-9). Suppose -2*f + 3 = -5, -y*f = 4*x - 32. Suppose 0*q + q = 2. Solve m = x - q for m.
2
Let w(c) = 2*c**2 - 18*c - 18. Let l be w(10). Solve 9*o - 28 = l*o for o.
4
Suppose 97 + 147 = 4*x. Let p = -59 + x. Solve 4*i + p = 14 for i.
3
Suppose 4*a = -0*a + 8. Suppose -44*w + 39*w + 30 = 0. Solve w*b - 5*b - a = 0 for b.
2
Let l = 92 - 90. Let v be (-1)/l*0 + -32 + 32. Solve 2*d + 6 + 4 = v for d.
-5
Let y = 31 - 26. Let s = 3 - 3. Solve s = k - 7 + y for k.
2
Let m be ((-24)/(-10))/(14/105). Suppose 2*n - 14 = m. Let b = 18 - n. Solve 0 = -b*h + 4 for h.
2
Suppose 17 - 2 = -5*b. Let l be (b/(-9) + 0)*0. Suppose -32*p + 30*p + 6 = 0. Solve l*f - p*f = -9 for f.
3
Let s = -89 - -93. Solve 0 = -5*y + 14 - s for y.
2
Let f = 339 + -332. Solve -6*n - 5 = -f*n for n.
5
Let l be (-302)/(-6) - (-4)/(-12). Suppose 32*p + l = 37*p. Solve 0 = -4*c + 2*c + p for c.
5
Suppose 20 = 4*h + 3*l - 12, 24 = 3*h + 3*l. Solve -h*a - 3 = 5 for a.
-1
Let h = 11 - 8. Suppose -4*t + 4 = 4*o, t = 3*o + 470 - 477. Solve -o*m = -h*m for m.
0
Let o be 0/((8/1)/(-4)). Let x be o/(5/((-10)/4)). Solve x = 2*q - q for q.
0
Let f(j) = j**3 + 3*j**2 + 1. Let i be f(-3). Let o be -14 + (5 - 3/i). Let x = o - -14. Solve -x*k = -0 + 4 for k.
-2
Let p(j) = -4*j - 30. Let m(f) = -f**2 - f - 3. Let g be m(-3). Let w be p(g). Solve 9*y - 7*y = w for y.
3
Let m(u) = -u + 4. Let j be ((-81)/36)/((-9)/12). Let q be m(j). Let h be q/((-3)/(-15)) - -1. Solve -h*g - 5 = -g for g.
-1
Let z(w) = -w**3 + 49*w**2 - 140*w + 100. Let v be z(46). Solve v*i + 4*i = -12 for i.
-1
Suppose 5*a - 2*a - 105 = 0. Suppose 0 = -4*d + 37 + a. Suppose 0 = 3*b + 4*c - 6, 2*b - 2*c - d = 0. Solve -20 = -b*g + g for g.
4
Suppose -c - 3*n = -9, 2*n - 5 = c + 1. Solve -17*p + 37 + 31 = c for p.
4
Let x be 3/(-4*(-4)/16). Let h be (-5)/(-10) + x/6. Suppose -w = -h - 1. Solve w*d = -2*d + 8 for d.
2
Suppose -5*i = 30 - 15. Let c be 1/i - ((-80)/15 - -1). Solve -c*x - 12 = 8 for x.
-5
Suppose -7*i = -4*i. Let y be (4 - 1)/12*i. Let t be -1*(-2)/6*y. Solve t = 3*k - 8*k + 20 for k.
4
Suppose -4*y - 5 = 2*z + y, -4*z + 3 = -3*y. Let t be ((z/4)/(-2))/(-1). Solve t*h - h - 3 = 0 for h.
-3
Let d(y) = y + 12. Let g be d(-7). Suppose 15 = -5*c + g*a, 3*c - 2*a = 2*c - 8. Solve 4*i - 4 = c*i for i.
2
Suppose 0 = 63*d - 61*d - 106. Solve 55 - d = m for m.
2
Let b(h) = -21*h - 3. Let r be b(-1). Let l be 3/3*6*6/r. Solve -4*j = -l + 10 for j.
-2
Let h = 1 + 1. Let a(k) = -k**3 + 4*k**2 - 5*k + 5. Let w be a(2). Suppose 3*x + 1 = -0*d - d, w*x - 3*d = 3. Solve h*y = -x*y - 8 for y.
-4
Let t = -166 + 166. Let v = 4 + -2. Solve v = -2*r - t for r.
-1
Suppose 0*i - 30 = 5*i. Let n(t) = t**2 + 7*t + 8. Let g be n(i). Solve g*j - 4 = 3*j for j.
-4
Suppose 3*o + 5 - 20 = 0. Suppose 0*i = -o*i. Solve -w + 2*w - 3 = i for w.
3
Let y = 353 - 349. Solve y*l - 12*l = 0 for l.
0
Let p be 11/33 + (-53)/(-3). Let d be 66/p + (-7)/(-3) + -2. Solve 2*b = 3*b + d for b.
-4
Let l(y) = -y**2 - 10*y - 17. Let x(j) = 5*j + 13. Let g be x(-4). Let n be l(g). Suppose -3*m + 5*k - 10 = 0, n*k + 0 = 8. Solve m = 5*a - a for a.
0
Let k(z) = 4*z**2 - 6*z + 2. Let b(f) = -9*f**2 + 13*f - 5. Suppose -4*h - 9 = 19. Let i(u) = h*k(u) - 3*b(u). Let j be i(2). Solve -j*t - 2*t = 25 for t.
-5
Suppose -79 = 6*z - 205. Solve 8*l = l - z for l.
-3
Let o be 40/22 - 1 - 24/(-132). Solve -9*u = o - 28 for u.
3
Let r = 82 - 39. Suppose -7 = b + 5*s, 5*b + 12 = -3*s + r. Suppose 0*p - b = -4*p. Solve -p = 3*a + 1 for a.
-1
Let x be 2/10*5*37. Suppose -v = -x + 27. Solve v*s = 5*s for s.
0
Suppose 8*q + 343 - 431 = 0. Solve q*m - 5 = 10*m for m.
5
Suppose -15 = -5*z - 2*v - 1, 5*z -