for a.
-2
Let z = 1 - 1. Let y(t) = -7*t - 400. Let v be y(-60). Solve 3*q - v + 5 = z for q.
5
Suppose x - 10 = 4*j, 2*j - 4*x + 3*x = -6. Let k be (-3 - -5 - 12/6)/j. Solve k*b = -3*b - 3 for b.
-1
Suppose x + 2*t - 16 = 0, -4*x - 7*t + 52 = -3*t. Let q be ((-8)/x)/((-2)/5). Suppose 5*s + q = u, -u + 3*u = 3*s + 11. Solve -u*g + 2*g = -25 for g.
5
Suppose -6*p = -9*p + 72. Suppose -12*w + p = -6*w. Solve -i = -5*i - w for i.
-1
Let h(b) = b**3 - 5*b**2 - 21. Let q be h(6). Solve q = -6*l + 3*l for l.
-5
Suppose 5*y - 29 = -3*r - 9, -4*r + 2*y + 18 = 0. Solve 18*d - r = -23 for d.
-1
Suppose 267 = 6*x - 3*x. Let j = x + -85. Solve -5*c = j + 6 for c.
-2
Suppose -42*l = -2*l. Solve -27*y - 42 - 12 = l for y.
-2
Let g be -1 - -3 - 0/(-2). Suppose -2*f + 4 = -26. Suppose -3*o - 3*s + f = g*s, -s = -5*o - 3. Solve -2*j + 8 = -o*j for j.
4
Suppose 12 = -4*r, 0*s - 2*s + 16 = -2*r. Let z be -6 + s - -8*1. Suppose z*q = 6*q. Solve q = -2*t + 4 for t.
2
Let v(g) = 3*g + 5. Let w(q) = 4*q + 5. Let d(s) = -3*v(s) + 2*w(s). Let r be d(-7). Let l = 276 + -267. Solve -o = r*o + l for o.
-3
Suppose -4 = -2*q + 4. Let t = q + 10. Let i be (-5 + t)*(-2)/(-6). Solve 0 = d - i*d + 6 for d.
3
Let d(a) = -28 + a + 29 - 24 - 31. Let c be d(17). Let w be (-19)/38 - c/2. Solve -w = 4*u + 2 for u.
-5
Let j be (-11 - -6 - -3)/((-1)/2). Solve -j + 12 = 2*d for d.
4
Suppose -594 + 575 = -a. Solve -a = 2*t - 17 for t.
-1
Let w = 1336 - 1316. Solve w*s + 64 = 4*s for s.
-4
Suppose 2*c + 0*p = 3*p - 8, 6 = -5*c + 4*p. Let n(w) = 0*w**c + 3*w**2 - 2*w**2 + w + 7*w - 7. Let j be n(-9). Solve -d - 3 = -j*d for d.
3
Let q be (-168)/(-35) + (-2)/(-10). Suppose 2 = q*i - 2*a, 4*i = 2*i + a. Solve 2*c + i*c = 0 for c.
0
Let z = 62 - 51. Solve -15*i + z*i - 20 = 0 for i.
-5
Let m(w) = -3*w - 11. Let h(s) = -2*s - 11. Let z(q) = 7*h(q) - 6*m(q). Let k be z(4). Solve k*j = 15 + 10 for j.
5
Suppose 5*v + 5*z = 2113 + 107, 5*v = -4*z + 2216. Solve -x + 441 = v for x.
1
Let u = -234 - -238. Solve -u*t = -5*t for t.
0
Let t(s) = s**2 - 15*s - 71. Let u be t(19). Let m be -9*(1/3 + -1). Suppose u*l - 2*l - m = 0. Solve l*z + 2 = -4 for z.
-3
Suppose 0 = -5*d - 0*d + 10. Let g be (-6)/(-18)*(d - (-16)/1). Solve 4*v + g = 2*v for v.
-3
Let j(n) = -7 + n**2 + 152*n - 298*n + 148*n. Let b be (-10)/(-15) + 17/(-3). Let a be j(b). Solve -a = -5*m + 7 for m.
3
Let s(w) = w**2 + 3*w - 7. Suppose -4*m + m - 2 = 4*x, 2*x + 14 = 5*m. Let p be s(m). Solve -p*j = -10 - 5 for j.
5
Let x = -1026 - -1028. Solve 6*u = x*u for u.
0
Let x be 3*(20/(-6) - (-16 - -13)). Let z be (-7 + 7)/(x + 2). Let r = 0 + 0. Solve z = 4*g - r*g for g.
0
Suppose 4 = r + 3*o - 11, -4*o + 1 = -5*r. Solve 0 = -3*c - r*c - 18 for c.
-3
Let d be -13 - 4/((-2)/1). Let q be (0 - 1)/(d/44). Solve -5 = -q*f - 1 for f.
1
Let z(u) be the second derivative of u**4/8 - 11*u**3/6 + u**2 - u. Let m(d) be the first derivative of z(d). Let f be m(9). Solve -f = -5*g - 1 for g.
3
Suppose -2*j + 5 + 0 = 5*k, -3*k - 3 = 0. Solve 5 = j*r - 10*r for r.
-1
Let z = 56 - 53. Suppose 23 = -3*r + 2*b - 3*b, 4*r + 5*b + 16 = 0. Let k(f) = -2*f - 11. Let l be k(r). Solve -z*j = -l*j for j.
0
Suppose 5*o - 10 = 3*o + 2*v, 2*o = -4*v - 20. Solve 0 = 2*y - o - 10 for y.
5
Let u = 122 + -114. Let v be 4*3/48*u. Solve -5*d = -3 - v for d.
1
Let f(x) = 2*x**3 + 17*x**2 - 16*x - 55. Let m be f(-9). Solve 6*y = m*y for y.
0
Suppose 5*s - 2*s + 27 = 2*u, 2*u = -2*s + 2. Solve -u = p - 4 for p.
-2
Let q be (6/7)/(707/98 + -7). Solve -5*g + 4*g = -q for g.
4
Let m = 70 + -68. Suppose -4*w - 1 = -2*n - 3, 0 = 2*n - 2*w - m. Solve 2*t - 2 = n*t for t.
-2
Let x be (-9)/(3/2*-2). Suppose -x*w + 9 = 3*j - 15, j - 2*w + 7 = 0. Solve 2 - 5 = -j*t for t.
1
Suppose -5*t = 3*v + 8 + 2, -4*t - 8 = -v. Solve -3*d + v = 3 for d.
-1
Suppose 2*h = -5*b + 58, -20 = -3*b - 2*h + 14. Suppose 16*s - 8 = b*s. Suppose s = -3*v + 44. Solve 4*u - v = 2 for u.
4
Suppose -2*f - 29 = u, -5*f + u = -3*f + 19. Let r be 6*((-52)/f + -4). Solve 2*b - r = -0*b for b.
1
Let y = 6 - 6. Suppose -3*g = -y*g. Let f = 371 + -370. Solve -h + f = -g for h.
1
Let p(v) = -v**3 + 2*v**2 - v + 2. Let i be p(-2). Suppose 4*w + 5*s = -4, i = 4*w + s - 2*s. Solve 0 = w*g - 0*g + 20 for g.
-5
Let j(m) = m + 3. Let r be j(6). Suppose 5*x = r*x - 8. Solve 3 = 5*y - x*y for y.
1
Suppose -p - 15 = q - 11, 4 = q - p. Solve q = -j + 2 + 3 for j.
5
Suppose 5*u + 1 = 11. Suppose -5*l + 5*r + 60 = 0, -3*l - u*r - 13 + 59 = 0. Let p = 24 - l. Solve -p - 10 = -4*f for f.
5
Let m(x) be the first derivative of -3*x**2 + 64*x - 33. Let q be m(10). Solve -3*t + q*t - 1 = 0 for t.
1
Let x be 1 + 7 + (5 - 14 - -3). Solve -x*t + 0 = -8 for t.
4
Suppose 23 = 4*r + 55. Let p = -4 - r. Solve g + 0 = p for g.
4
Let x = -43 - -56. Suppose -38 = -5*i - x. Solve -i*v = -0*v for v.
0
Suppose 3*c = o + 69, -2*o + 5*c - 138 = c. Let x = 71 + o. Solve -2*a = -4*a + x for a.
1
Let p(a) = 7*a - 1. Let c be p(1). Let x(i) = i - 7. Let s be x(c). Let r be -3 + 8 - s - 4. Solve 0 = -r*o + 5 + 1 for o.
3
Let u = 2 + 1. Suppose 4*a - 14 = -5*c, 0*a + 28 = 3*a - 5*c. Suppose a*g + 5 = 7*g. Solve g*p - u - 2 = 0 for p.
1
Suppose -149 + 77 = -8*c. Solve c*t + 8 = -28 for t.
-4
Let i = -147 + 161. Solve -q - 9 + i = 0 for q.
5
Suppose i - 4*i = 0. Let r = 88 + -74. Suppose 2*l - 17 = -3*l + j, -4*l + j = -r. Solve i = -l*t + 5*t for t.
0
Let q(l) = 11 + 1 - l - 9. Let b be q(0). Suppose -3*x = -5*f + 1, 0*x - b*x + 11 = f. Solve 0 = -c - 0 - f for c.
-2
Let s = 436 + -436. Suppose g + 0*g = 2*n - 6, 2 = -2*n + 5*g. Solve -n*m - 8 = -s*m for m.
-2
Let w(c) = -c**2 + 2*c + 48. Let y be w(-6). Solve y = -3*b + 4 - 7 for b.
-1
Suppose 83 = -5*a + 108. Solve -a*f + 2 = -3 for f.
1
Suppose -4*p - v + 1 = -0*v, -3*v = 3*p + 6. Let o be (-1*p)/(-4 - -3). Let u = 1188 + -1186. Solve -j + o = u for j.
-1
Let b be 11 + -9 - (-2 - -2 - 2). Solve q = -b*q for q.
0
Let a be (-6)/(-14) + ((-265)/(-35) - 6). Solve a*t - 15 + 7 = 0 for t.
4
Suppose 0 = -4*u + 3*u + 6. Let i be ((-2)/u)/((-3)/18). Suppose 0 = -i*w - 2*c + 16, -c + 15 = 2*c. Solve 3 + w = 2*k for k.
3
Let i be -4 - (-1 + (4 - 10)) - 4. Let x be (4 - i)/((-75)/(-60)). Solve 6*c = 2*c + x for c.
1
Let g be 3/(68/(-28) - -2) - -10. Suppose 5*z = z + 16. Solve -g*l + z = l for l.
1
Let l = 69 - 70. Let v be (l - 6)*8/(-14). Solve v*z = -0*z for z.
0
Let a = 33 + -34. Let t be 2 + a + (-9)/(-9). Suppose -5*i + 26 = -2*g - 0, t*g = 4*i - 22. Solve -n + 3 - i = 0 for n.
-1
Let j(o) = -6*o**3 - 2 + 9*o**2 - o**3 + 6*o**3 + 11*o. Let f be j(10). Suppose 21 = 5*v + 3*a - f, 0 = 5*a - 15. Solve -r = 2 - v for r.
2
Let g be 1/((-3)/(-12) + 0). Suppose 17 = -3*r - 2*m, 0 = -2*r + 2*m + 2*m - 38. Let p be 52/8 + r/6. Solve 3*c - p = g*c for c.
-5
Let z(h) = -h**2 + h + 3. Let w be z(0). Let s be (-6)/(-8) - w/(-12). Suppose r - s = -0*r. Solve 0 = l + r for l.
-1
Let s be 3/2 - (111/6)/(-1). Suppose -4*k + 8*k - s = 0. Solve 0*z = k*z for z.
0
Let w be (5/(-7))/((-50)/7 + 7). Solve -30 = w*q + q for q.
-5
Let x = -399 + 412. Solve -x*j - 8 = -11*j for j.
-4
Let j be ((-9)/(-30)*5)/(3/12). Solve -4 + 22 = j*s for s.
3
Let k be 9/((-27)/10)*(-9)/15. Let y be 6 + -6 + 4 + 0. Solve -k*h = -y*h + 2 for h.
1
Let t be (0 + 2)*-1*3. Let u = t + 11. Solve -3 = u*v - 18 for v.
3
Let d = 191 + -171. Suppose m + 5*r - 24 = 4*m, 5*m + r + 12 = 0. Let t be m/(4/(16/(-3))). Solve -t*v - v = -d for v.
4
Suppose 4*n = 13 + 3. Suppose n*a + 12 = 112. Solve 4*p = -p + a for p.
5
Let q(p) = -3*p**3 + 23*p**2 - 14*p + 1. Let o be q(7). Solve o + 11 = 4*j for j.
3
Let n(d) = 2*d + 35. Let o be n(-15). Suppose z - 14 = -5*a + 9, o*a = -3*z + 29. Let g(c) = 4*c**2 - 2*c. Let q be g(-2). Solve z*r + r - q = 0 for r.
5
Let r(j) = 6*j**2 - 23*j - 4. Let w be r(4). Suppose 4 = -3*d + 10, 4*m - 2*d - 8 = 0. Solve w*u = -m*u for u.
0
Let c(r) be the first derivative of 2*r**3/3 - r**2/2 - 4*r - 3. Let n(g) = g**3 - 8*g**2 + 5*g + 17. Let a be n(7). Let y be c(a). Solve -9 = -5*l + y for l.
4
Suppose -1 = 2*d + 1, 37 = 3*z - d. Let v be (18/z)/((-1)/(-72)). Suppose -24 = -4*t + v. Solve 0 = 5*g + t - 8 for g.
-5
Let u be (5/(-10))/((-3)/18*-3). Let a be (-3 - -1)*(u - 0). Solve 3*w = -a*w - 15 for w.
-3
Suppose 15 = -5*w - 5*y, -4*w = -2