 12 = 5*a - b*q. Solve 0*c = c + a for c.
-2
Let a(k) = k + 1. Let v be a(9). Suppose u - 3 = -2*y + y, 0 = 4*u - 4. Suppose -y*g + 4*l = 2, 15 = 3*l + 2*l. Solve 0 = -g*t + v + 10 for t.
4
Suppose p - 5*c = 23, -c - 21 = -4*p - 5. Let u be (-15 + 1)/(-3 + 1). Let j(s) = 2*s. Let b be j(2). Solve u = -b*n + p for n.
-1
Let v(n) = 2*n + 11. Let z be v(-5). Solve 7 - z = -2*x for x.
-3
Suppose 2*s - 2 = 4*j - 2*j, 2*s + j - 11 = 0. Suppose 0 = -2*p + s. Suppose -4*x + p*x = 0. Solve 2*c - 6*c - 12 = x for c.
-3
Suppose -2*h = -2 - 2. Solve -h*x = 2*x - 20 for x.
5
Suppose 4 + 5 = 3*z. Solve 0 = -z*f + 9 + 6 for f.
5
Let q be ((-3)/(-6) + 1)/(2/12). Let m be 2/((12/(-10))/(-3)). Solve 0 = -m*z - q + 34 for z.
5
Suppose u = 5*x + 7 + 1, -3 = 3*x. Solve 0*y + 3 = u*y for y.
1
Suppose -3*o + 4 = -2*o. Solve j = -0*j + o for j.
4
Suppose 0*y = y - 2. Suppose 5*n - 5 = -0. Solve -n = b - y*b for b.
1
Let x(b) = b**2 - b + 4. Let h be x(4). Solve -5*k = -k + h for k.
-4
Suppose -5*o = 5*d + 25, -d + 1 = -o - 4. Suppose -3*k + 101 = -28. Suppose 4*p - k = 5. Solve d = -4*x - p for x.
-3
Let t(y) = 3*y + 3 - 6*y**2 - y + 0*y + 5*y**2. Let b be t(3). Let q be 6 + 0/(0 + 2). Solve -2*w + q = -b for w.
3
Suppose 2*p + 3*f - 18 = -0, 0 = 4*f. Solve -4*u = -7*u + p for u.
3
Suppose z - 3*r + 5 = 0, 0 = -2*z - 0*z + r. Suppose 0 = -2*n + 39 + z. Suppose -12 = -4*k + n. Solve 0 = -3*m - m + k for m.
2
Let m(i) = -3*i - 4. Let f be m(-3). Suppose 0*y = y - f*l - 8, -2*l = 2*y + 8. Let b be (-150)/(-35) + y/7. Solve -b*k + 13 - 1 = 0 for k.
3
Let p be ((-4)/5)/(2/(-5)). Suppose -y = p*y. Solve 5*q + 0*q = y for q.
0
Let q(c) = c**2 + 9*c + 18. Let a be q(-6). Let o = 5 + -3. Suppose -o*v + 4 + 2 = 0. Solve -v*w + w - 2 = a for w.
-1
Let c be 11*-3*(-5)/15. Solve c + 4 = -5*b for b.
-3
Let y(i) be the second derivative of i**3/3 + 3*i**2/2 - i. Let q be y(6). Suppose 5*j - 3*s + q = 0, -5*j + s + 1 = 6. Solve j*c - 8 = 4*c for c.
-2
Let v = 2 - 0. Let x(d) = -2 - d + 3 + 1. Let g be x(v). Solve 3*i - 8*i + 20 = g for i.
4
Let w be (3*1)/((-5)/(-15)). Let o be 16/w - (-2)/9. Solve 0 = o*l + 3*l for l.
0
Suppose 1 = -5*l + 4*l. Let f = l - -3. Suppose 5*k = -f*j - 1, 3*k + 5 = j - 0*k. Solve j*o = o + 1 for o.
1
Let b be 4/5*(-9 - 1). Let g = 23 + b. Solve 4*d + 3 = g for d.
3
Let y be (-1)/1 + -1*7. Let p = -11 - -6. Let r = p - y. Solve 9 = r*u - 0 for u.
3
Suppose -5*s + s = -60. Let b = s - 12. Solve 4*t + b - 15 = 0 for t.
3
Let n(g) = -g + 8. Let j be n(4). Suppose j*f = -f + 15. Solve 1 - f = a for a.
-2
Let i be (-2)/(-2)*2/(-1). Let o be 2/7 - i/(-7). Suppose -2*j + o*j + 8 = 0. Solve 5 = j*c + c for c.
1
Suppose -3*p + 15 - 6 = 0. Solve 4*d = -15 + p for d.
-3
Let b(t) = -t + 6. Suppose -k + 2*k - 3 = 0. Let j be b(k). Let g be 12/j + -2 + 2. Solve -y = -0*y + g for y.
-4
Let l(a) = -a**2 + 11*a - 8. Let x be l(10). Solve 1 + x = r for r.
3
Let m be 74/4 - (-1)/2. Suppose 4*v + 10 + 18 = -4*x, 4*v = -x - m. Let a = -3 - x. Solve a = -2*z + z - 1 for z.
-1
Let h be (-6)/(-21)*(4 - -3). Let m be h/(-9) + (-40)/(-18). Solve -m*x - x = 3 for x.
-1
Let g = 21 + -16. Solve -g*z - 4 = 1 for z.
-1
Let r = 2 - 1. Let p be 5/15*(4 + -3)*9. Solve w - p = r for w.
4
Let a = -4 + 7. Suppose -5*p = -z - 15, 7*z - 3*z - 6 = -2*p. Solve 0 = a*g - z - 3 for g.
1
Suppose -4*a - 12 = 4*l, 0*l + l - 1 = -3*a. Suppose 3*y = a*y + 3. Solve 4*z - y = -19 for z.
-4
Let w = 8 - 9. Let x be w*2/(-4)*0. Solve -3*n - n - 16 = x for n.
-4
Let v = -10 - -13. Let t be 8/20*5 - 2. Solve v*s = -t*s - 9 for s.
-3
Let g = 8 - 5. Let j(p) = -3*p - 3*p - 1 + g*p. Let c be j(-3). Solve 4*t = 2*t - c for t.
-4
Let l = -42 + 45. Solve 7 = -n + l for n.
-4
Let t be ((-39)/18 - -2) + 186/36. Solve -1 - t = 3*g for g.
-2
Let a(p) = -5*p - 1. Let r be a(-1). Let w be (9/r)/((-3)/(-72)). Suppose 4*o - 2*d = w, -4*o + 3*o = -d - 11. Solve -5*s + o + 9 = 0 for s.
5
Let a = -112 - -117. Suppose 0*v - 2*t + 41 = -v, t + 88 = -3*v. Let u = -22 - v. Solve u + 6 = a*m for m.
3
Suppose -5*d + 35 = -3*u + 5, -16 = -2*d + 2*u. Solve 0 = -j - d*j for j.
0
Suppose 2*c + 23 = 5*u, -c + 11 = 3*u - 5. Solve u*p - 5 = -0*p for p.
1
Let y(j) = j**2 + 6*j + 7. Let g be y(-5). Solve g = -2*f - 0 for f.
-1
Let n(l) = l**2 + 6*l - 16. Let p be n(-8). Solve 2*f + p = 6 for f.
3
Suppose -3*r - 6 + 21 = 3*m, -10 = -5*m. Solve -a + 8 = r*a for a.
2
Let f be (-8 + 2)/((-6)/4). Solve f - 3 = v for v.
1
Let w be 50/(-6) + 2/(-3). Let l be (-2 - -3)*w/(-3). Solve h = l*h for h.
0
Let r = -34 + 52. Let j = -18 + r. Solve j*m + 10 = 2*m for m.
5
Let j be ((-12)/(-3) + 0)*-4. Let i = -11 - j. Solve y + i = 3 for y.
-2
Let c be (-1)/(-2) - (-4 + 54/12). Solve c*g = g for g.
0
Let u(i) = -i**3 + 8*i**2 + 11*i - 13. Let f be u(9). Suppose -x + 5*r + 15 = 0, f*r + 12 = r. Solve 4*c + x*c = 0 for c.
0
Let k = -11 + 14. Suppose 5*u - 2 = 5*w - 12, -6 = -2*u. Solve k = w*x - 17 for x.
4
Let q(f) = 2*f**2 - 2. Let k be q(-2). Solve o - 4*o + k = 0 for o.
2
Let w = 10 + -4. Suppose 4*c - 6 - w = 0. Solve 3*f + c = -3 for f.
-2
Suppose 0 = -19*s + 101 - 6. Solve -s = -2*b + b for b.
5
Let u be -1 + 0 + (-4 - -2). Let i = u - -5. Solve 7 = i*z - 1 for z.
4
Let s = 6 + -1. Let h = -2 + 22. Solve -m + s*m = -h for m.
-5
Suppose 4*n = -4*b + 4, 3*n + 4*b - 3*b = 5. Suppose -171 = -3*c + 5*o, 2*o - 316 = -5*c - 0*o. Suppose -4*d - 14 + c = 0. Solve -n*s + d = s for s.
4
Let v be (-6)/15*(-40)/4. Solve -4*u - v = -0 for u.
-1
Let w = 0 + 2. Suppose -w*x - 1 = -17. Suppose 0 = c + 2, -4*r + x = r - 4*c. Solve r = -3*q - 6 + 3 for q.
-1
Suppose 4*z - 4*d = -3*d + 11, 5*z - 19 = 3*d. Solve p - 3 = -z*p for p.
1
Let x be -12*3*2/(-24). Solve g + 0 = x for g.
3
Suppose -3*n - n = 3*k + 8, 0 = -n - 5*k - 2. Let l be (n/(-4))/(1/6). Suppose -4 = -5*g + 4*c, -g + l*c - 5 = 3. Solve -g*q = -13 - 3 for q.
4
Let c be 2*6*(-10)/(-8) + -3. Solve -5*d + 2*d = c for d.
-4
Let w(h) = -3*h**2 - 25*h. Let j be w(-8). Suppose 4 = -3*g + 16. Solve -g*r + j = 24 for r.
-4
Let l be 3 - 2 - (-1)/1. Let j be 10 + (l - 3) - 2. Let m = j + -5. Solve -q + 0*q = -m for q.
2
Let r(k) be the third derivative of 0 + 0*k + 1/6*k**3 - 1/24*k**4 - 2*k**2. Let g be r(-5). Solve -g = 3*b - 0 for b.
-2
Let n be -3*-5*(0 + 2). Let b = n - 26. Solve 5 = i + b for i.
1
Let k(t) = t - 1. Let a be k(1). Suppose a*d - 5*d = 5*h - 50, -h = 4*d - 10. Solve -3*x + h = -5*x for x.
-5
Suppose 6*w - 5*w - 18 = 0. Suppose 4*q - w = 6. Solve -q = -2*s - 0*s for s.
3
Let k = 13 + -10. Solve -k*y = y for y.
0
Suppose 3*y + 2*n = -0*y, -y - 5*n = 0. Solve y = 3*o + o for o.
0
Let b be -1 + ((-2)/(-8))/((-15)/(-300)). Solve 0 = -b*w + w + 12 for w.
4
Let r = -28 + 34. Solve -3*z = -z - r for z.
3
Suppose 10*j - 44 = 6. Solve p + 0 + j = 0 for p.
-5
Let v = -6 + 26. Suppose -46 = 2*p - 5*y, -y + 27 = -p + 7. Let m be 8/v - p/5. Solve 0 = m*t - 2*t + 8 for t.
-4
Let y(r) be the second derivative of -r + 0 + 1/6*r**3 + 4*r**2. Let w be y(7). Solve 2*j + j = w for j.
5
Suppose -5*a + 10 = -10. Solve 0 = -0*s - a*s - 16 for s.
-4
Let k(l) = l**3 - 3*l**2 - l + 7. Let m be k(3). Solve m*z - 3 - 9 = 0 for z.
3
Let g = 1 + 2. Let b(u) = u - 3. Let t be b(g). Solve 2 + t = -w for w.
-2
Suppose -5*k - w + 9 = -4, -1 = -3*k - 4*w. Solve -2*h - k*h + 5 = 0 for h.
1
Let d = 18 + -43. Let t = 28 + d. Solve -b + 8 = -t*b for b.
-4
Suppose 0 = 6*j - j. Suppose 10 = g - j. Solve -g = -3*p + p for p.
5
Suppose 11*t - 13*t = -4. Solve -c + t*c + 5 = 0 for c.
-5
Suppose 2*t = 14 + 2. Let k = 7 + -2. Suppose f = c - 2, -k*c + 14 = -2*c + 5*f. Solve c*b + t = b for b.
-4
Let m(s) = 5*s**2 - 3*s - 1. Let p(v) = v. Suppose -d - 2 = g - 0, 0 = -3*d. Let t be p(g). Let o be m(t). Solve -o = -0*l + 5*l for l.
-5
Let a(d) = d**2 - 2*d - 4. Let q be a(4). Let k(o) = -o**3 + 4*o**2 + 3. Let y be k(q). Let p = y - -1. Solve 0*r - r + p = 0 for r.
4
Suppose 3*p + 2*l = -2*l + 25, 5*l = 4*p + 8. Solve -c - 12 = p*c for c.
-3
Let y(i) = i**3 + 2*i**2 - 5*i - 1. Let z(s) = s**3 - s**2 - s - 1. Let f(g) = y(g) - 2*z(g). Let u be f(3). Let h = u - 0. Solve -3 - h = -2*c for c.
2
Let r(s) = 6*s**2 + s. Let i be r(-1). Suppose 0 = 2*a - 14*b + 18*b + 20, 4*a - 20 = 4*b. Solve a = i*u + 1 + 19 for u.
-4
Suppose 5*z - 15 = -5. Solve -3*