t v(r) = 2*r - 12. Let m(t) = -4*a(t) + 5*v(t). Let h be m(-4). Solve h = z + 5 - 2 for z.
-3
Suppose 0 = 5*c + 3*j + j + 8, 3*j = -2*c - 6. Suppose -4*n + k + 29 = c, n + 1 = 5*k - 2*k. Solve -4*v + 28 = n for v.
5
Let j be 4/6 - (-2)/(-3). Let n = j - 0. Let y = 6 + n. Solve 12 = y*u - 2*u for u.
3
Let r be (8/6)/(6/18). Solve t + r*t = -10 for t.
-2
Let t(g) = g**2 + 3*g + 3. Let q be t(-3). Let j(c) = -9*c. Let n be j(-1). Suppose -4*i = -0*i - 4, 5*i - n = -x. Solve q*y = y - x for y.
-2
Suppose -5*k + 3*y + 39 = 0, -3*k + 12 = y + y. Let i(m) = -12*m**2 + m + 1. Let d be i(-1). Let n = d + 14. Solve 0 = -k*j + n*j for j.
0
Let q(j) = -j**2 - j**3 - 6*j - 4*j**2 - 5 + 0*j**2. Let h be q(-4). Let c be 0*(-2)/(-6) + 2. Solve -c*i = -i - h for i.
3
Suppose 0*o + 4*o = 3*n + 9, -3 = n. Suppose o*s - 10 = -2*s. Suppose -4*b - 8 = 0, 2*d - s*b = 11 + 49. Solve 0 = -3*h - 2*h - d for h.
-5
Suppose -4*a = -5*q, -22 = -q - 5*a + 7. Solve -3*l - q = -1 for l.
-1
Suppose -4*i + 2*q = -52, -4*i + 0*q + 64 = q. Let j = 30 + -30. Solve b - 4*b + i = j for b.
5
Suppose 2*k = -2*k - 12, -15 = -2*m - k. Solve -s - m = 2*s for s.
-3
Let b(q) be the first derivative of q**3/3 + q - 5. Let x be b(0). Solve 5 = l + x for l.
4
Suppose -23*s = -19*s - 80. Solve -4*a + 4 = s for a.
-4
Suppose 8*d = 7*d + 10. Solve 5*m + 5 = d for m.
1
Let m be (-1)/(-3) - 42/18. Let q be m + -1 + 0 + 3. Solve q = -3*j - 3 - 0 for j.
-1
Let c be (-1)/(2/(-12)) + -4. Solve 4*g + 10 = c for g.
-2
Suppose 5*l - 12 - 13 = 0. Suppose d = 3*d + 2. Let s be (-33)/(-15) + d/l. Solve -4*m = -s*m - 8 for m.
4
Let v(s) = 2*s**2 + 2*s**2 - 3*s - 3*s**2. Let p be v(4). Solve -j = -2*j - p for j.
-4
Suppose 2*y = 0, -f = -5*f + 4*y + 20. Solve 4*k = f*k - 5 for k.
5
Suppose 6 - 1 = 5*o + i, 0 = 2*o - 3*i - 19. Solve -o*m - m = -3 for m.
1
Suppose -1 = -g - h - h, 0 = 5*g + 4*h - 11. Solve -2*t - 20 = g*t for t.
-4
Let m = 6 - 5. Let v be ((-10)/4)/(m/(-2)). Suppose -v*q = -5*o - 5, 0*q - 5*q + 13 = 3*o. Solve 3*g = o + 2 for g.
1
Let z = 44 + -24. Solve 0 = -x + 6*x - z for x.
4
Suppose 5*x - 18 = -2*d, 13 + 5 = 4*d + x. Suppose -d*f - 1 = -25. Solve 0*y = -2*y + f for y.
3
Let m = 24 + -65. Suppose 4*f = 3*p + 175, 14 = -4*p - 3*f - 236. Let h = m - p. Solve -3*a + h = a for a.
5
Suppose -3*g - 2 = -4*g. Solve -z - 3 = g for z.
-5
Suppose f - 4 = -1. Suppose 2*d = f*d. Solve r + 2 - 6 = d for r.
4
Let k be 2 - (1 - (1 + 2)). Suppose -g = k*s - 3*s - 5, -5*g = -3*s - 17. Let o be (-3)/(-15) - -1*96/20. Solve -o*p + s = -4 for p.
1
Let k = 5 - 3. Suppose b + v + 3*v = -14, -4*b - 14 = k*v. Let f = b + 4. Solve f*r = -r - 9 for r.
-3
Let u be ((-28)/(-8))/(-7)*-6. Solve f = -1 - u for f.
-4
Let t(h) = 9 - 6*h + 4*h + h. Let z be t(7). Let s be (z + -1)/((-3)/(-21)). Solve 0 = 4*u - s - 9 for u.
4
Let g = 189 - 187. Solve g*c + 3*c = -15 for c.
-3
Suppose 0*p + 16 = 2*p. Suppose p = -y + 20. Let x be 6/4*y/9. Solve x*u + 6 = 14 for u.
4
Let m be (3/(-4))/((-1)/16). Suppose n - m = -8. Solve -4 + 16 = -n*o for o.
-3
Suppose 0*y + 56 = 4*y. Let u = 17 - y. Solve l + u = 6 for l.
3
Let u be (1 - 1)*2/(-4). Let b be -2*(-3)/(-12)*-4. Suppose 24 = 2*q - 0*q. Solve u = 5*y + q - b for y.
-2
Suppose 3*n - 6*m - 66 = -3*m, 32 = 2*n + 4*m. Solve -2*v + 7*v = -n for v.
-4
Suppose 7 = -4*l + 11. Suppose r = l + 1. Solve 0 = -4*p + 2*p + r for p.
1
Suppose 3*h - 7 = -1. Suppose -m = -3*o - 14, 14 = 5*m - 0*m - o. Solve h*q = -m*q - 4 for q.
-1
Let q be (15/2)/3*68/85. Solve 5*l + 3 = -q for l.
-1
Suppose -4*t - 5 = -0*t + 3*j, -8 = -2*t + 2*j. Let u = 8 + -5. Solve -w - t = u for w.
-4
Suppose -l - 2 = -4. Suppose y = -4*h, 7*h = -3*y + l*h + 7. Let p be 3/((-9)/6) + y. Solve 0 + 2 = p*v for v.
1
Let p be 0/(-1 + 3) - -2. Let s(n) = p + n**3 - 4*n - n**2 + 3*n**2 + n. Let j be s(-3). Solve -g + j = g for g.
1
Let n = 6 + -9. Let o = -1 - n. Solve -o*r - r = -9 for r.
3
Let s(b) = 2*b**2 - b. Let h be s(-2). Let l = h + -6. Suppose r - 3*r + l = 0. Solve -i = -5 + r for i.
3
Let k(s) = s**2 + 5*s + 8. Let f be k(-7). Let t(o) = o. Let v be t(4). Suppose 5*d + 10 = -v*y - y, 0 = 3*d + 12. Solve 4*b = y - f for b.
-5
Suppose 1 = 2*n - 7. Solve n*c + 0*c - 8 = 0 for c.
2
Let q(x) = x**2 - 10*x + 9. Let y be q(9). Solve y = 5*a - 5 - 0 for a.
1
Suppose -g - 3*n = 93, 4*g = 5*n - n - 292. Let m be (-6)/(-21) - g/21. Solve 7 = -m*w - 9 for w.
-4
Let u(p) = 2*p - 7. Let a(t) = 5*t - 15. Let v(k) = 6*a(k) - 13*u(k). Suppose 5 = 2*l + 1. Let d be v(l). Solve -3 = 3*m + d for m.
-4
Let o = 36 - 22. Let i = -14 + o. Solve 4*b + 27 - 11 = i for b.
-4
Let d(r) = -r**3 + 8*r**2 + 10*r - 7. Let u be d(9). Suppose u*q + 3 = -4*j + 5*j, -4*j = -q - 26. Solve -j*t = -2*t + 10 for t.
-2
Let z = 17 - 17. Solve -y - 4 = -z*y for y.
-4
Suppose -4*c - 30 = m, -2*m = 3*m + 10. Let g(d) = -d**2 - 8*d - 4. Let t be g(c). Let b be (-3)/(3 - (-51)/(-16)). Solve 0 = t*j + j - b for j.
4
Suppose -2*u - w - 4 - 2 = 0, 12 = -4*u - w. Let m be (u - (-22)/14)*-7. Solve -3*s - 2*s = -m for s.
2
Let u(t) = t**3 + 4*t**2 - 4*t + 7. Suppose -12 = 2*z - 2. Let f be u(z). Solve 3*j - 5*j = f for j.
-1
Let z = -9 + 11. Suppose -8 = -b - 2*u, 0*b - z*b = -u - 21. Solve 0*g = 2*g + b for g.
-5
Suppose h - m + 4 = -0*h, -4*m + 16 = -5*h. Let x = 3 + h. Let r = 8 - x. Solve -2*j - 9 = -r*j for j.
3
Let s = 3 + -1. Suppose -f - 2*f + 9 = 0. Suppose 0 = 5*p - u - 21, -p - 12 = -5*u + f. Solve -s*v + v = p for v.
-5
Let z be 2/2 + (-1 - -1). Let u = 4 + -6. Let t be 3 - u/2*-2. Solve -t - z = v for v.
-2
Let b(x) = x**2 - 3*x + 2. Let d be 2/3 + 16/12. Let l be b(d). Solve 6*k - 2*k + 12 = l for k.
-3
Let f(c) = 2*c + 4. Let n be f(-8). Let l = n + 18. Solve -3*w - 9 = l for w.
-5
Suppose -3*f = -0*u + u + 14, 3*f = -2*u - 10. Let p = f + 11. Let i = -24 + 24. Solve -p*d - 34 + 14 = i for d.
-4
Let u be ((-4)/2 - -1)*0. Let c = u + 3. Let w(h) = -h**2 + 6*h - 1. Let a be w(4). Solve 2*d = c - a for d.
-2
Suppose 5*x - 8 = -63. Let q be (-1)/2*(-1 + x). Let g = q - 4. Solve -g*a = -0*a for a.
0
Let i = 36 + -32. Solve -i*l = -l for l.
0
Suppose 2*d - c + 10 = 5*d, 2*c - 6 = d. Let r be (-1)/(-4) - 6/(-8). Suppose -r - 11 = -4*m. Solve -d*f = m*f for f.
0
Suppose -6*t = -t + 5. Let b(v) = -v**2 + v + 1. Let c(z) = z**2 + 5*z + 4. Let r(x) = t*c(x) - 2*b(x). Let h be r(8). Solve 0*k = h*k for k.
0
Let z(n) = 6*n**2 + 37*n + 15. Let f be z(-6). Solve f + 3 = -3*x for x.
-4
Let h(x) = -x**3 + 7*x**2 - 5*x. Let b be h(6). Suppose 0 = 4*k - 5*k + b. Solve -k*r + r - 25 = 0 for r.
-5
Let j = 29 + -29. Solve -4*u + u - 3 = j for u.
-1
Let n = 9 + -7. Let y = n - 0. Let l(r) = r**2 - 5*r + 6. Let a be l(4). Solve -3*v - y = -a*v for v.
-2
Let f = 10 + -7. Let d be (-2)/f + (-68)/(-12). Solve -4*n + 3 = -d for n.
2
Let y be 9 - ((1 - 1) + -1). Let d be (1 - -3)*34/8. Let z = d + -12. Solve -z*a - y = -0 for a.
-2
Suppose -4*c = 4*o - 16, -15 = -2*o - c - 5. Suppose -4*a - 8 = 8. Let m be 0/((-2 + -6)/a). Solve -o = -2*k - m for k.
3
Let s(d) = d**2 + 2*d + 16. Let j = 19 - 19. Let m be s(j). Solve 0 = -o + 5*o - m for o.
4
Let d(y) = y**2 - 24*y. Let j be d(24). Solve -b - 4*b = j for b.
0
Let t be 3*4/(-16)*-4*1. Solve -t*c = 2*c + 10 for c.
-2
Suppose -5*t = 13*t - 162. Solve 11*v = t*v + 8 for v.
4
Let x(a) = -a**2 - 16*a - 28. Let d be x(-14). Solve d = 4*k - 7*k - 9 for k.
-3
Let c be 1/((35/(-45))/(-7)). Solve 2*j + c = -j for j.
-3
Let a = 32 + -23. Solve 2*g + a = 5*g for g.
3
Suppose -3*p - 7 + 67 = 0. Let k(d) = d + 17. Let f be k(-12). Let z be 27/f - (-2)/(-5). Solve p - 45 = z*t for t.
-5
Let o(w) = -w**3 - 6*w**2 - w + 5. Let m be o(-5). Let n = -11 - m. Solve -n*v + 20 = v for v.
4
Let m(x) = x + 4. Let b be m(-10). Let o be (-16)/b + 4/(-6). Solve 0 = -o*s - 4 + 12 for s.
4
Let b = -29 + 29. Solve b = 2*s - 7*s + 5 for s.
1
Let w = -12 + 24. Let m = -11 + w. Suppose 3*d - 11 = -2. Solve -2*i - m = -d for i.
1
Suppose 2*n + 13 + 9 = 0. Let j = 15 + n. Solve 3*r = 2*r - j for r.
-4
Let m be 18/15*5/2. Suppose 7 = -4*u - 5*n, 5*n + 25 = 4*u + u. Solve m*w - u*w = -5 for w.
-5
Suppose 8 = -t - t. Let j = t - -5. Solve -2*r - j - 3 = 0 for r.
-2
Suppose -o - o = -6. Suppose 5 + 10 = o*w. Suppose 0*h - w*h + 60 = 0. Solve -2*b - h = 2*b for b.
-3
Let r