 = -22*x + s*x for x.
0
Let k = -436 - -438. Solve 0 = -8*y - 2 + k for y.
0
Suppose -3*x + 4*x = -3*b + 12, -5*b = -5*x. Suppose -2 = -2*i, -u + 2*i - 12 = -b*u. Solve 5*s = -u + 30 for s.
5
Let u be -2 + 6 - -5*6/6. Solve u*h - 6*h - 15 = 0 for h.
5
Suppose -4*z = -z. Let v be 68/14 + (-12)/14. Solve -v*a + 2*a = z for a.
0
Let q(s) = -3*s + 1 + 2*s - 4*s - s**2. Let n be q(-3). Solve n = 2*p - 3 for p.
5
Suppose 0 = -n - 0*i - 4*i + 28, 3*n - 33 = 5*i. Suppose f - 3*f = -n. Suppose 0 = -5*p - l + 3 - 5, 0 = 4*l + f. Solve 5*x - 2*x + 9 = p for x.
-3
Let r = 64 + -56. Suppose -6*u - 6 = -r*u. Solve -u*l = -2*l for l.
0
Let l(h) = -3*h + 6. Let m be l(0). Solve -3*a = -m*a - 3 for a.
-1
Suppose 6*o - 16 = -4. Suppose 2 + o = 2*x - 2*h, -2*x + 6 = -3*h. Solve x = -i - 3*i - 12 for i.
-3
Let x = 13 - -8. Suppose 2*y = -s + 3*y + 6, -4*y = -3*s + x. Solve 0 = 8*k - s*k - 15 for k.
3
Let t be ((-96)/56)/((-6)/357). Suppose -t*r = -100*r - 2. Solve 2*y - y = r for y.
1
Suppose -3*m + u + 21 - 6 = 0, 0 = -2*m + u + 9. Solve p - m = 3*p for p.
-3
Suppose 0 = -220*i + 208*i. Let m be 17/5 + (-4)/10. Solve 2*y + m*y - 20 = i for y.
4
Let o(q) be the second derivative of -6*q - 1/6*q**3 + 1/4*q**4 + 0 - q**2. Let f be o(2). Solve -4*s + f = -0*s for s.
2
Suppose 3*c = 11*c + 4*c - 96. Suppose 5*u + 13 = -3*f - 13, -3*u = 4*f + 20. Let s(x) = -3*x - 2. Let w be s(f). Solve -4*m = -c*m - w for m.
-1
Let j = -62 + 65. Let k be j/(-3 + 9)*4. Solve k*i - i = 0 for i.
0
Suppose 2 = -m - 1. Let s be 3 - ((-1)/m - (-8)/(-6)). Solve s*f - 3 + 11 = 0 for f.
-2
Let l(n) be the second derivative of n**4/4 + n**3/3 - 5*n**2/2 - 8*n. Let w be l(-4). Suppose 3*o = -2*o + w. Solve o*u = 2*u - 15 for u.
-3
Let x = 79 + -43. Suppose 5*g = -g + x. Solve 21 = 3*a + g for a.
5
Let x(f) = f**3 - 11*f**2 + f - 8. Suppose 2*i + n = -9, -i + n - 12 = -0*i. Let v = 18 + i. Let k be x(v). Solve -k*r = 2 + 1 for r.
-1
Suppose i + 4*i = -10. Let l be 36*(i + (-4)/(-3)). Let o be -4*3*12/l. Solve -o*z + 15 = -z for z.
3
Suppose -4*t + 3*j + 134 = 0, -j = 4*t - 6*j - 130. Solve -t = -4*u - 3*u for u.
5
Let r be 6/14 - 144/(-252). Solve 16*h = r - 17 for h.
-1
Let l = 291 - 269. Solve l = 12*p - p for p.
2
Let p(f) = -5*f - 7. Let n be p(-2). Solve -8*u = -5*u + n for u.
-1
Let i = 21 + -18. Let x(t) = t**2 - 4*t + 3. Let w be x(i). Solve 0*g - 5*g - 15 = w for g.
-3
Let m = -167 + 91. Let j = -68 - m. Solve j - 20 = 4*s for s.
-3
Let w(s) = -s**2 + 7*s - 1. Let a be w(6). Suppose 0 = 3*n - 12, -8 - 4 = -a*u - 3*n. Solve u = -v - 2*v - 9 for v.
-3
Suppose -4*v + 5*l + 18 = 0, -2*v - 3*l - l - 4 = 0. Suppose v*i = -i + 6. Suppose 2*j - 16 = -i*j. Solve 6 = j*b - 14 for b.
5
Suppose -5*x + 4*r = -0*x - 104, -40 = -x - 4*r. Let t be x/10*(-2 - 3). Let c = t - -16. Solve p = -c*p for p.
0
Suppose -11*d - 5 = -27. Suppose 5*n + s = 44, -5*s - 12 = d*n - 6*n. Solve -n = -9*g + 5*g for g.
2
Let s be (-4)/14 + 74/14. Suppose 3*z + 20 = -2*z, 5*w - z - 89 = 0. Let m = 17 - w. Solve m*h - s*h = 15 for h.
-3
Let t(k) = -54*k - 524. Let s be t(-10). Solve 0 = m - s + 14 for m.
2
Suppose -3*z + 5*z - 42 = 0. Let q = -13 + z. Solve -4*h = -q*h - 16 for h.
-4
Let v = -3 - -7. Let c(w) = -w**3 - 14*w**2 - w - 14. Let l(t) = -17*t + 3. Let r be l(1). Let p be c(r). Solve p = a - v*a - 15 for a.
-5
Let y(t) = t**2 - 15*t + 34. Let d be y(13). Solve -26*x + 44 = -d for x.
2
Let a be 14/4*(2 + -5 - -5). Let g be 33/a - 2 - 4/(-14). Solve 1 - g = c for c.
-2
Let t(b) be the second derivative of b**5/20 - 17*b**4/12 - 3*b**3 + 3*b**2/2 + 15*b. Let a be t(18). Solve 0*l - a = -l for l.
3
Suppose 0 = -d + 1, -4*t + 9 - 1 = -4*d. Let k be 1*4 - (0 - 0)/t. Solve a = k - 3 for a.
1
Let o(a) = -a**3 + 0*a - 10 + 20*a**2 - 2*a - 28*a**2. Let b be o(-8). Solve -10 = 4*z + b for z.
-4
Suppose -2*b = -b + 2*l - 36, -3*b - 4*l + 116 = 0. Let v be (300/b - 2/(-11)) + -2. Suppose q + i = 2*i + 6, -4*i - 10 = 3*q. Solve 3*t + q = v for t.
1
Suppose 0 = 3*a - 51 + 24. Solve -a*y = 204 - 159 for y.
-5
Let f = 17 + -17. Suppose -31*y + 29*y = f. Solve i + 4 + 1 = y for i.
-5
Suppose 2*a - 2 = -r, -13*r + 9*r = -8. Solve o - 4 + 2 = a for o.
2
Let d be 10/(50/15) + 2*2. Solve 9*n - 10 = d*n for n.
5
Let l(v) = 23 + 0*v**2 - 20 - v - v**3 - 2*v**2. Let g be l(-2). Solve -8 = -g*j + 2 for j.
2
Suppose 0*w - 5*w + 30 = 3*p, 5*w = p + 50. Solve 0 = v + 12 - w for v.
-3
Let g = 941 + -924. Solve 7*b = -10*b + g for b.
1
Suppose -3*o - 2*o + q = -18, 4*q + 15 = o. Suppose 16*y - 21*y = -15. Suppose -o = y*n - 2*h, -h + 7 = n + 3. Solve 0*j = -j - n for j.
-1
Let p = -16 + 36. Let m be (-2)/6 - (-14)/6. Suppose -2*y = m*y. Solve p = 4*n - y*n for n.
5
Let z(y) = y. Let m(p) = 18*p + 61. Let b(c) = -m(c) + 6*z(c). Let k(o) = 3*o + 15. Let u(t) = -2*b(t) - 9*k(t). Let i be u(-5). Solve -i = 2*g - 3*g for g.
2
Let b(c) = -c - 1. Let q be b(-3). Let r = 926 - 922. Solve 6 + q = r*o for o.
2
Suppose 3*w + 75 = 3*t, 2*w - w = 2*t - 45. Let h = -3 + 5. Let a(g) = -2*g**2 + 17*g + 15. Let m be a(9). Solve -h*f + m*f = -t for f.
-5
Let i(d) = d**2 - 30*d - 858. Let w be i(48). Solve -10*m + w = -4 for m.
1
Suppose 3*d = -2*d. Let h = -3 + d. Let l = -1 - h. Solve -l*s - 3 = -13 for s.
5
Let c(z) = -2*z + 31. Let v be c(16). Let q = 1 + v. Solve q + 2 = x for x.
2
Suppose -78*c = -23*c - 330. Solve c*b = -0 + 6 for b.
1
Suppose -4*o = o. Suppose o = 3*x - 29 - 1. Solve -w = w + x for w.
-5
Let a be (-45)/18 - 1/2*-5. Solve -3*h - 12 = -a*h for h.
-4
Let f be (-2 + (-18)/(-12))*-24. Solve h - 39 = -f*h for h.
3
Suppose m - 5*d = -13, 2*m - 3*d = -0 - 5. Suppose m*o = 3 + 3. Let h be (6 - o - -1)/1. Solve 6 + 2 = h*w for w.
2
Let x = 19 + -10. Let c = 2197 + -2193. Solve x*p - c*p = 10 for p.
2
Let r be (-1*1)/((-11)/385). Let x = r + -32. Solve 3*c = -0*c - x for c.
-1
Let v(f) = 9*f - 3. Let t be v(2). Let m(o) = -o**2 + 10*o - 9. Let l be m(8). Let g = -253 + 255. Solve -g*z = -l*z + t for z.
3
Suppose 4*g - 6 = 3*m - 11, 2*m = 2*g + 6. Solve 3*k + 16 = m for k.
-3
Suppose 2*g + 21 = 3*w, -48 = -2*w - 3*w - g. Suppose w*l - 119 = -8*l. Solve 3*p + 19 = l for p.
-4
Let r be 2*((-6)/27 + 76/18). Suppose -r + 5 = -q. Solve -q*h = -5*h + 8 for h.
4
Suppose 2*o - 8*b + 12*b = 20, 0 = -o - b + 5. Solve -42*f + 37*f = o for f.
0
Let c be 26/(-8) - ((-45)/(-20))/3. Let l be 4/(-4) - (c + 3)*2. Solve -2*m - 5 + l = 0 for m.
-2
Let k(w) = 2*w**2 + 2*w - 1. Let o be k(-2). Let y be o - (-1)/4*-4. Suppose 7 = n + y. Solve -4*t = -3 - n for t.
2
Suppose -3*w - 17 = 3*u - 35, -5*w + 70 = -5*u. Solve 11 = -7*q - w for q.
-3
Let z be (6 + (-279)/36)/(1/(-20)). Solve 0 = z*d - 37*d - 8 for d.
-4
Let z(i) = -i**3 + 4*i**2 + 6*i - 3. Let r(n) = -5*n**3 + 2*n + 2. Let l be r(-1). Let v be z(l). Solve 0*f + f = -v for f.
-2
Let g(l) = l**3 + 4*l**2 - 8*l - 9. Let z be g(-5). Suppose z*x - 2 = 4*x. Solve -y = -x - 1 for y.
2
Let k(d) = d**2 + 23*d + 120. Let s be k(-16). Solve 15 = 3*t - s*t for t.
-3
Suppose -78 = -34*l + 466. Solve 6*m = -14 - l for m.
-5
Suppose -5*j + 10 = -7*j, r - 5*j = 29. Solve r*x - 17 = -5 for x.
3
Let l(j) = -j**2 + 38*j + 197. Let q be l(42). Solve -9 + q = 4*t for t.
5
Let u(h) be the second derivative of h**4/12 + 14*h**3/3 + 57*h**2/2 - 8*h. Let y be u(-26). Solve 4 = y*f - 1 for f.
1
Let r(u) = -3*u**3 - u - 1. Let f be r(-1). Let m be (1 - 0) + (-36)/(-36 + 24). Solve -m - 8 = f*c for c.
-4
Suppose -71*r + 10108 = 665. Solve r*c - 129*c = 0 for c.
0
Suppose l = -2, 5*u + l - 4 + 6 = 0. Solve -12 = -6*s - u*s for s.
2
Let x(d) = d**2 + 40*d + 79. Let h be x(-2). Suppose -5*b - n - 38 = 0, 0*b + 3*b - 5*n + 6 = 0. Let r = 12 + b. Solve -r = -h*c + 10 for c.
5
Suppose 4 = 3*i - i + 2*s, -2*s = 3*i - 8. Solve -2*c - i = -12 for c.
4
Suppose 2*j = -3*j + 4*i + 2, 2*i - 4 = 0. Let d(f) = 3*f - j*f - 3*f. Let a be d(-1). Solve -3*k = -a*k for k.
0
Let o = -12 + 17. Suppose -3*r = -o*r + 2. Let y be r*-3 - (1 + -4). Solve y = 6*w - w + 15 for w.
-3
Let p be (-10)/(-4)*(-40)/(-20). Solve 77*i - p = 72*i for i.
1
Let z be ((-3)/5)/(3/(-15)). Let n(r) = -r**2 + 17*r + 170. Let u be n(24). Solve -z = u*g - 1 for g.
-1
Let m(f) = -21*f + 874. Let y be m(41). Solve -14 = y*w + 12 for w.
-2
Let m = 1 + -2. Let o = m + 4. Suppose -4*w + 