 for z.
-1
Let p be -1 + (-90)/(-50) + 2/10. Solve -p = 5*q - 6*q for q.
1
Suppose 0*o + 152 = 38*o. Solve 3*d = d - o for d.
-2
Suppose 0 = -2*a - 3*a - 5. Let r = a + 4. Solve -l = -0*l + r for l.
-3
Let l = -152 + 171. Solve -l*k + 15*k - 12 = 0 for k.
-3
Let p be 140*1/(-10)*4. Let t = p - -98. Let o = -22 + t. Solve 5*g - o = g for g.
5
Suppose -32*t = -5*l - 31*t + 3, l - 9 = 3*t. Solve -10*w + 7*w = l for w.
0
Let w = 47 + -37. Suppose -5*c = w, b - 5*c + 2*c = 9. Let p be (-6)/21 + 172/14. Solve p = -b*n - n for n.
-3
Suppose 11*o - 73 = 235. Solve 12*g + o = 5*g for g.
-4
Let t = -303 + 309. Solve t*b - 3*b = -6 for b.
-2
Suppose 0 = -38*p + 58 + 56. Solve p*o - 4*o + 2 = 0 for o.
2
Suppose -4*b - 48 = -16*b. Solve 3*j = b*j - 5 for j.
5
Let b = 40 + -50. Let y(t) = -t**2 - 9*t + 16. Let o be y(b). Solve 0 = 3*d - o*d - 3 for d.
-1
Suppose -65*q = -67*q - 5*i, i = q. Solve 5*y - 20 + 25 = q for y.
-1
Let d be (3 - -2) + -3 + 0. Suppose -4*w + w = -4*o - 27, -4*o - d = 2*w. Solve 8 + 7 = w*y for y.
3
Let c(r) be the first derivative of -r**4 + r**2 + r + 2. Let y be c(-1). Solve -u = -2*u + y for u.
3
Let m(z) = z**3 - 6*z**2 + 4*z + 5. Let l be m(4). Let n = 5 - l. Suppose -4*w + 8*w - n = 0. Solve -2*q + 0 = w for q.
-2
Suppose 0*g + g = 0. Let s be (g - (-2 + 1))*0. Solve -2*c + c - 3 = s for c.
-3
Suppose 126*v - 131*v + 25 = 0. Solve v*b = 5 - 25 for b.
-4
Let m = -16 + 24. Suppose m + 12 = 4*f. Suppose -v + 6*v + f*k = -5, -k - 4 = 0. Solve 7*c - v*c = 0 for c.
0
Let d(x) = x**3 + 9*x**2 - 22*x + 3. Let j be d(-11). Suppose 3*n + n = -j*n. Solve n = 2*f + 3 + 3 for f.
-3
Let j(q) = 2*q - 4. Let z(n) = -2*n**3 - 3*n**2 + 2*n + 2. Let f be z(-2). Let v be j(f). Solve -h + 2*h + 3 = v for h.
-3
Let w be 21*3*(392/42 - 9). Solve w*i + 5 = 22*i for i.
5
Let i = -6 + 2. Let p(o) = o**3 + 4*o**2 - o - 3. Let r be p(i). Suppose 5*j - 4*u + 15 = 0, j + u + r = 7. Solve 2*v + 3 = j for v.
-1
Suppose 5*g + 30 = 4*m, 15 = 5*m - 18*g + 23*g. Solve 6 = -m*s + 31 for s.
5
Let n = 143 + -140. Suppose -n = 2*v + 4*w - 45, 4*w = 16. Solve 3*y + 10 = v for y.
1
Suppose 0 = 5*s + n + 63 + 43, 3*s - 3*n + 78 = 0. Let j be s/(-4) + 2/(-4). Solve 11 = j*a + 1 for a.
2
Let p(f) = 17*f - 2. Let w = 13 + -11. Let i be p(w). Suppose 2*h - i = -3*d, -4*h + d + d = -32. Solve q = -q + h for q.
5
Let a be -2 - (-3 - 0)*1. Solve 0 = o - a + 5 for o.
-4
Let s(x) be the first derivative of -x**2 - 17*x + 12. Let i be s(-10). Suppose 5*v - 8 = 3*w, -5*w + i*v + 3 = -5. Solve w*l = 2 - 18 for l.
-4
Suppose -4*i - 4*j + 16 = 0, 0 = i - 6*j + 2*j + 1. Suppose 0 = -i*z + 3, -4 = -4*k + k - 4*z. Suppose -636*u + 642*u - 78 = 0. Solve k = -3*t - u + 1 for t.
-4
Let d(y) = 6*y**2 - 3*y + 5. Let v be d(3). Solve 2*z - v = -50 for z.
0
Suppose 3*i - 2*i = 0. Suppose -2*l - r + 12 = i, 5*l - 60 = 2*r + 3*r. Suppose 0 = -4*b + 56 + l. Solve -o = -5*o - b for o.
-4
Let r be 30/(-18) + (-3)/9 - -32. Let x = -27 + r. Solve -4 + x = -g for g.
1
Let g(p) = -3*p - 12. Let k be g(-5). Suppose 0 = k*h - 37 - 68. Let i = h + -10. Solve 3*s = 8*s - i for s.
5
Suppose 5*n - 35 = -16*h + 15*h, -3 = -n. Solve 6*g = -h - 4 for g.
-4
Let y(v) be the third derivative of -v**4/12 - 11*v**3/6 + 5*v**2. Let a be y(-13). Let l = a - 15. Solve l = 2*r + 3*r - 10 for r.
2
Suppose -i + 8 = -0. Suppose 4*l = i*l. Solve l*g + g = -5 for g.
-5
Let k be 10/(-3)*6/(-5). Let h = -2 + k. Suppose 0 = -2*a + 5*z + 11, -13 = -3*a + 8*z - 4*z. Solve -h*i + 1 = -a*i for i.
-1
Let c = -35 + 53. Solve -7 = c*i - 61 for i.
3
Let i(g) = -g**2 + g - 3. Let y be i(0). Let x(z) = -9*z**2 - z + 4. Let q be x(y). Let c = -35 - q. Solve 5*v = 14 - c for v.
-5
Suppose 0*r = -2*r - c + 3, 3 = -3*c. Solve r = -4*o + 5*o for o.
2
Let z be 0*(-3)/(-6)*(-8)/(-20). Solve -m + 3 + 0 = z for m.
3
Let t be (-31 - 0/(-2))/(-1). Suppose 0 = -t*s + 33*s. Solve -2*f - 4 = -s*f for f.
-2
Suppose -3*i + 1 = 13. Let q be 12/i - -5 - (3 + -2). Solve 3 = u + q for u.
2
Suppose -150 + 18 = -22*o. Solve -7*u + o = 27 for u.
-3
Suppose 19*y = -12*y + 93. Solve 4*z + y = 3*z for z.
-3
Suppose -5*z - 12 = 4*j + 10, -z - 17 = 5*j. Let f be (j/2 - (-22)/12)*12. Solve -f*r = -r for r.
0
Let f = 3 - -2. Suppose -4*j + 2*w = 6*w + 4, f*w = j - 17. Let g be 4/3 + 5/3. Solve j*c = g*c for c.
0
Suppose -3*x = 4*x - 49. Solve -19*t = -x + 26 for t.
-1
Let l = 11 + -7. Let f = -20 - -17. Let c be ((-12)/4 - f)/(-1). Solve c*n - 2*n - l = 0 for n.
-2
Let g = 2041 - 2037. Solve -5*t = -g + 29 for t.
-5
Let i = -80 - -168. Solve 90*a - i*a = 8 for a.
4
Let h = -3 - -7. Suppose 5*s - h*g - 12 = 0, -3*g - 1 + 3 = -s. Let w be 2/(-4)*(3 + -3). Solve w = -3*u + 8 + s for u.
4
Suppose 0 = -x + z + 17, z = -0*x - 5*x + 73. Suppose 3*a = -3*i + a + 16, -4*i + 20 = 2*a. Solve x = -i*n - 5 for n.
-5
Suppose -44 = 10*l - 74. Solve -21 = 4*n + l*n for n.
-3
Let s(x) = x**3 + 12*x**2 + 13*x - 8. Let y be s(-11). Let v = y - -42. Let o be (-9)/(-2) - (-2)/(-4) - 2. Solve -5*f - v = -o for f.
-2
Suppose 0*c = 2*c. Let g = -31 + 34. Suppose 4*o - 2 = 3*x, -g*o + o + 8 = 2*x. Solve c = -x*t - 2*t for t.
0
Let h be (-20)/((-35)/14*1). Solve -18 = h*a + a for a.
-2
Let u(a) = a. Let m be u(-11). Let w be (5 + m)*(-3)/1. Suppose -5*l + 22 + 23 = 5*s, 2*l + w = s. Solve 0*g = 4*g + s for g.
-3
Suppose -4*m + 28 = 16. Suppose -m*n = -4*g + 4, 2*g - 15 = -n - 3. Solve -g*l + 12 = -l for l.
4
Let o(n) = n**2 - 3*n - 8. Let y be o(6). Suppose -y*f - 12 = -13*f. Solve -8 - 4 = -f*z for z.
3
Let k be (-1840)/(-115)*6/32. Let g(r) = r**2 + 6*r + 6. Let p be g(-6). Solve m + p = k*m for m.
3
Let o(x) = 19*x**2 - x + 3. Let z be o(-3). Suppose 2*l - 6 = 0, -l + z = 3*t + 2*l. Let b be 9/(-15) + t/10. Solve -g = -b*g for g.
0
Suppose 84 = 11*m - 158. Let n(p) = p**3 - 2*p**2 + 3*p - 2. Let a be n(2). Suppose -x + t - 2*t + 7 = 0, a*t = -x + m. Solve -2*j = x*j - 12 for j.
3
Let a be (-5 - (-17)/3)/(4/42). Suppose 0 = -2*g - a*g + 36. Solve -7*r + 3*r = g for r.
-1
Let l be 4/(-10) - 6304/40. Let j = 163 + l. Solve 0 = j*t - 7 - 3 for t.
2
Let g(z) = 2*z**2 + 4*z - 4. Let t be g(-4). Let y(w) = 6*w**2 + 65*w - 81. Let q be y(-12). Solve 0*b + q*b = t for b.
4
Let u be 32/18 + 10/45. Solve -y - 9 = u*y for y.
-3
Suppose -313*n + 218*n + 285 = 0. Let g(z) be the second derivative of z**3/6 + 3*z**2/2 - z. Let q be g(-3). Solve q*a + n = a for a.
3
Let b(w) be the second derivative of w**3/6 - 2*w**2 - 5*w. Let t be b(4). Let k = t + 5. Solve 0 = -6*f + f - k for f.
-1
Let x = -3 + 5. Suppose 0 = x*c + 8, k - 13 = 3*c + 12. Suppose h - 5*h = 3*r - 25, -4*h + k = -r. Solve 5 - 17 = h*f for f.
-3
Let v be -2 - -3 - 4 - (2 + -4). Let n be (20/4 - 4) + v + 0. Solve n = 3*i + 2*i + 10 for i.
-2
Let r be 2 - (-12 + 2/1). Suppose r*d = 9*d. Suppose 0*a - 3*a + 75 = 0. Solve -q - 4*q + a = d for q.
5
Let r = 4 - 0. Let w = -16 - -16. Suppose 37 = 3*q - 2*l, -3*q + 49 = l - w*l. Solve -r*v = -v + q for v.
-5
Let k be 2 - (-6)/8 - 16/(-64). Let r be (k/2)/((-3)/(-24)). Suppose 1 - 19 = -4*h + 2*z, -2*z = 5*h. Solve 0 = 6*a - h*a + r for a.
-3
Suppose 170 - 29 = 2*c + 5*y, 5*y = -5. Let z = 23 - c. Let q be (12/(-10))/(20/z). Solve 0 = -q*g + g for g.
0
Suppose 356*a - 353*a = 0. Solve a = -3*o - 3 for o.
-1
Suppose 0 = i - 5*j - 8, -10 = -3*i - 7*j + 8*j. Solve i*n - 6*n = 3 for n.
-1
Let n be (-44)/(-77) - 220/(-7). Let j = n + -30. Solve -j*k = 2*k + 12 for k.
-3
Let c(d) = -d**3 - 5*d**2 + 7*d + 9. Let w be c(-6). Suppose -9 = w*o, 3*i + o - 2*o = 9. Solve 0 = -i*q - 2 - 0 for q.
-1
Suppose -39 = -3*r + o, 43*o + 18 = 2*r + 45*o. Solve 14*s + 4 = r*s for s.
-2
Let y be 1218/20 + (-6)/(-60). Let x = y + -58. Solve 4*o - x = o for o.
1
Suppose -33*l = -34*l + 15. Suppose -s = a - 5, -3*a = -6*s + 3*s - l. Solve -a = -4*v - v for v.
1
Let p be 78/(-52)*(-55 - 1). Let x be -3 - -1 - p/(-21). Solve x*n = -n for n.
0
Suppose -4*s + 1 + 6 = o, -4*o - 4 = 0. Solve 5*m + 3 = s*m for m.
-1
Suppose -2*u + 19 = -0*u + 3*a, 4*u - 17 = a. Let y be 2/u - (-36)/10. Solve -2*j + 0 = y for j.
-2
Suppose 0*i = -15*i. Let z be 2/3*(-15)/(-2). Solve -y + z = -i*y for y.
5
Let g = 8 - 5. Suppose 2*j - j - 5 = -2*v, 2*v - 1 = g*j. Let c(b) = -b**3 - 7*b**2 + 5*b - 11. Let r be c(-8). Solve 5*y = -v - r for y.
-3