 for k.
1
Let a be 3*(0 + 50/3) + -3. Let i = -47 + a. Solve i = -3*v - 6 for v.
-2
Suppose 5*z = -0*o + 2*o + 48, 1 = o. Suppose 3*b + 2*b - z = 0. Suppose -54*j + 24*j = 0. Solve -b*k + 4 + j = 0 for k.
2
Suppose -5*y - 10 = 0, 18*p + 2*y = 15*p + 17. Solve -3*a - p*a = -20 for a.
2
Let y(p) be the second derivative of 1/2*p**2 - 2*p - 1/3*p**3 + 0. Let j be y(-1). Solve -3 = -j*x + 9 for x.
4
Let q be (78/24)/((-1)/4). Let j be (-20)/(-130) - 63/q. Suppose 6*v = 277 - 109. Solve v = -j*p + 3 for p.
-5
Let a be 2/3 - (-2)/(-3). Let k(q) = q**2. Let w be k(-2). Suppose a = w*t - 3*t - 16. Solve -t = -4*y + 4 for y.
5
Let f = 9 + -18. Let o(q) = q - 12 - 2*q + 3 + 3. Let w be o(f). Solve 11 = -w*l - 1 for l.
-4
Let z = 492 + -490. Solve b - z = 1 for b.
3
Let g(v) = 6*v - 27. Let z be g(6). Suppose 0 = 5*b - 1 - z. Solve b*i = -2*i + 20 for i.
5
Let c be 6/15 + 104/(-10). Let v be 12/(-20) - 26/c. Solve 0*g = -v*g for g.
0
Suppose w = 2, -5*x + 2*w - 4*w = -74. Solve 16 = -x*g + 10*g for g.
-4
Let g(f) = f**2 + 4*f + 16. Let c be g(-3). Solve -c*h + 5*h - 16 = 0 for h.
-2
Suppose 0 = 34*i - 125 - 45. Solve -11*s - 17 = i for s.
-2
Suppose -3*t + 123 = 30. Let l = 93 - 91. Suppose 5*k = 3*w + t, l*k - 33 = -k - 3*w. Solve -8*u + 4*u = -k for u.
2
Let l = -353 + 371. Solve 13*u = -5*u + l for u.
1
Let j(a) = a + 5. Let w be j(-7). Let t be w/((-7)/(-3) + -3). Let m = 45 - 45. Solve m = -t*z - 2 + 11 for z.
3
Let m(y) = 7*y + 73. Let r be m(-6). Solve -26*i = -r*i - 15 for i.
-3
Let j(c) = -5*c - 12. Let x(b) = 9 + 9*b - 8 + 10 + 12. Let g(m) = 11*j(m) + 6*x(m). Let q be g(4). Solve 3 = q*z - 1 for z.
2
Suppose 2*x + 194 = 4*w, -w - 2*x = -x - 41. Solve w*p - 51*p = 25 for p.
-5
Suppose 21*p + 11 = 23*p - 3*q, 3*p = -4*q + 8. Solve -10*b - 12 = -p*b for b.
-2
Suppose -3*p = -6*p - 3. Let k be ((4/p)/4)/(-1). Solve -5 = -2*f - k for f.
2
Let v be 259/35 - (-1 + 28/20). Solve -v + 2 = -5*a for a.
1
Let k(f) = f**3 + 11*f**2 - 27*f - 13. Let h be k(-13). Solve h*s = 8*s - 24 for s.
3
Let s = 1419 + -1354. Solve s*a + 40 = 75*a for a.
4
Let g(n) = n**3 + 12*n**2 + 16*n - 38. Let t be g(-10). Solve -7*b - 20 = -t*b for b.
-4
Suppose -u - n - 5 = -2*u, -4 = 4*n. Suppose 2*g = 4*v + 7*g - 11, -3*v = -5*g - 17. Solve -v*m = -0*m - u for m.
1
Let k be 22/8 + (-6)/(-24). Suppose 5*c - k*j - 25 = 2*j, 0 = 3*j. Solve -2*l - 3*l = -c for l.
1
Suppose 68 = 4*f - 4*g, 2*f + 4*g - 3 = 61. Let a = -17 + f. Suppose 0 = 2*x - a - 3. Solve -i - x = -2*i for i.
4
Let g = 128 + -128. Solve g = -8*z + 5 + 19 for z.
3
Suppose -96*v = -92*v - 5*r - 35, -3*r = v + 4. Let f(s) = s**3 + 4*s**2 - s - 2. Let h be f(-4). Solve -h - 13 = v*c for c.
-3
Let b = 999 - 862. Solve b*t = 141*t - 20 for t.
5
Let i = -1930 + 1940. Solve 0 = -13*t + i*t for t.
0
Suppose -5 + 5 = -10*r. Solve r = 13*h - h + 24 for h.
-2
Let p = -36 + 38. Suppose 3*q - p*b = 7*q - 26, 0 = -b - 3. Suppose -4*o + 36 = -3*f + q*f, -f - 4*o = -20. Solve 2*k - f*k - 10 = 0 for k.
-5
Let d(a) = 2*a**2 + 7*a + 12. Let y be d(-6). Let z = -36 + y. Solve -o - z = o for o.
-3
Suppose 3*a - 115 = -31. Suppose -u = -2, 2*u = -5*r - 2*u + a. Solve -6*f = -r*f + 4 for f.
-2
Suppose -10*g = 3*n - 145, -31*n + 3*g + 171 = -28*n. Solve -24*j + n = -13*j for j.
5
Let s(f) = -9*f - 10. Let p be s(-12). Let m = 104 - p. Solve 0*o + 3*o + m = 0 for o.
-2
Let k(h) = -h**2 - 10*h + 15. Let v = -9 - 2. Let j be k(v). Suppose 3*a - a - 24 = -j*x, 5*a + 10 = 4*x. Solve a*m - 12 = -2*m for m.
3
Let w be 1/(-1*2/(-18)). Suppose -w = -c - 2*c. Suppose 427*s - 934 = -40*s. Solve -c + s = -d for d.
1
Let d(r) be the first derivative of -r**2/2 - 5*r - 1. Let x be d(-8). Suppose -8 = 4*b, 0*b + 4 = 5*h + x*b. Solve -h*t - t = 9 for t.
-3
Let v be 8 - -2*(-2)/4. Suppose -3*x - 51 = -v*x + r, 0 = -5*r + 25. Solve 5*z + x - 4 = 0 for z.
-2
Let l = -13 - -4. Let k(x) = -x**3 - 9*x**2 - 2*x - 18. Let i be k(l). Solve i*d = d for d.
0
Let m be (190/4 - 3) + 3/6. Suppose -3*n + 5*d + 65 = 0, -45 = -4*n + 5*d + m. Solve o + n = -4*o for o.
-5
Let g = 171 + -169. Solve -12*x - g = -13*x for x.
2
Let s = -106 - -109. Solve s*q + 0 = -6 for q.
-2
Let i = -20 - -22. Suppose -2*d = 2*y - 0*y + 6, 0 = 4*d + 2*y + 6. Solve -i*n - n = d for n.
0
Suppose -4*q = -20, 2*k + q = -k - 40. Let h be ((-102)/k)/(6/15). Solve 7 = -2*r + h for r.
5
Let k(s) be the second derivative of -2*s**3/3 - s**2 - 4*s. Let l be k(-1). Solve -l*y = -0*y - 10 for y.
5
Suppose 19 = 5*u - 6. Let c be 4/4 + -3 + u. Solve -c*g = -5*g - 6 for g.
-3
Let o(u) = u**2 + 0 + 8*u + 11 - 3. Let m be o(-10). Let d be (-72)/28*m/(-6). Solve -2*l - 4 = -d for l.
4
Let l(f) = -7*f + 5. Let b be l(3). Let s be (4 - (-76)/b)*(-8)/2. Solve -s*z - z = -20 for z.
5
Let x be -7 - -4*(-3)/6. Let u(k) = -k**3 + 12*k**2 + 13*k - 7. Let m be u(13). Let n = m - x. Solve -5*f - 6 = -n*f for f.
-2
Suppose d - 2*r - 4 = 0, -r + 3 = d - 4*r. Solve d - 18 = -4*i for i.
3
Suppose 4*c - 8*c + 6 = 2*j, c = -1. Solve j*u = -u + 6 for u.
1
Let b be 2 - (-1)/(-3)*-3. Suppose -5*j - 5*o + 65 = 0, 7*o - 42 = -3*j + b*o. Solve -h + j = h for h.
5
Let u(h) = h**2 - 4*h + 6. Let o = 0 + 4. Let k be u(o). Let w be 5*(k + -2 + -3). Solve t - w*t - 4 = 0 for t.
-1
Let l(k) = 11*k**2 - 4. Let q be l(1). Solve -p = 4 - q for p.
3
Let a be (0/(-15))/(2 - (0 - 1)). Solve a = -m + 1 + 2 for m.
3
Let g(s) = s**3 - 4*s**2 - 8*s + 7. Let z be g(5). Let y = 7 + z. Let j = y - -1. Solve j = -3*d - 6 - 6 for d.
-4
Suppose -2*a + 58 - 17 = -5*i, -36 = -2*a + 4*i. Solve -446*m + a = -450*m for m.
-2
Suppose -123*t + 118*t + 730 = 0. Let k = 148 - t. Solve 0 = 2*g + k*g for g.
0
Suppose -b + 0*b - 9 = -5*u, -3*b = -5*u + 17. Suppose u = -3*p + 7. Solve k + p*k - 3 = 0 for k.
1
Let l(w) = -11*w + 1064. Let k be l(82). Solve 8 = 160*q - k*q for q.
-4
Let i = 18 + -18. Suppose f - 2 + 5 = i, 4*o + f - 5 = 0. Solve 0 = o*q - 0*q for q.
0
Let b(r) = r**2 + 5*r + 4. Let k be b(-6). Suppose -22*i = 3*h - 25*i - 3, 0 = -i + 3. Solve -k + 26 = -h*c for c.
-4
Let u be (-1*1)/(((-16)/4)/12). Suppose 0 = 4*p - 12, 0 = r + p + u - 6. Solve -h = -r*h + 2 for h.
-2
Suppose 0 = 9*r - 12 - 6. Suppose -n = -18 - r. Solve 0*g = 5*g + n for g.
-4
Let v = 1960 + -1951. Solve 0 = 4*o - v*o - 15 for o.
-3
Let d be ((-7)/(98/24))/((-27)/126). Solve f + 10 - d = 0 for f.
-2
Suppose 3*m - 2*k = 4*m + 9, 0 = m + 4*k + 19. Suppose 2*r - 1 = m, -1 = -2*b + 5*r. Solve 3*o - 9 = b for o.
4
Let a = -871 - -878. Solve -8*w - a - 25 = 0 for w.
-4
Suppose -21*z + 15*z = 0. Solve 2*g + 11 - 9 = z for g.
-1
Let z(h) = -153*h - 1218. Let q be z(-8). Solve q*k + 67 = 43 for k.
-4
Let z(w) = -5*w + 2. Let i be z(-12). Suppose -10*q + 8 = -i. Solve 15 = -q*m + 2*m for m.
-3
Suppose r + 2*y = 4*y + 6, -3*r + 6 = -2*y. Solve r*b - 15 = 5*b for b.
-3
Let h be 78/8 + 252/(-336). Solve -p = -h + 6 for p.
3
Suppose -2*b - 134 = -134. Solve 2*u = -b*u for u.
0
Let c(z) = -z**2 - 8*z + 20. Let m be c(-10). Solve m = 2*f + 4*f - 30 for f.
5
Let w(u) = -u. Let x(t) = -14*t - 6. Let o(s) = 12*w(s) - x(s). Let i be o(-3). Solve -n = -i*n + 4 for n.
-4
Let x = -1 + 1. Suppose x = -h - 4*q, -5*h + q = -0*h. Solve -3*g - 4 + 1 = h for g.
-1
Suppose 364 = -6*f - f. Let g = f + 52. Solve l - 3*l = g for l.
0
Let d = 970 + -954. Solve 7*s - 3*s + d = 0 for s.
-4
Let j be 2/11 - (-621)/33. Let l be (-11)/33 - j/(-3). Suppose -l = -a - 2*f, -4*a + 4*f = -0*f - 48. Solve x + a = 3*x for x.
5
Let p = -181 - -181. Solve p*d - 3 = -3*d for d.
1
Let q be (-1)/(-5) + 144/30. Let b(a) = -a + 1. Let x be b(-3). Let n = 419 + -416. Solve -q = x*y - n*y for y.
-5
Let g(n) = -n**2 - 11*n + 33. Let i be g(-13). Solve i*r = 3*r for r.
0
Let i = -25 + 30. Suppose 2*l - 14 = -i*f, l = 2*f - 2 - 0. Solve f*x + 1 = -1 for x.
-1
Let o be 2/(-11) - (-26)/22. Let u be o + -1 + -15 + 18. Suppose -u*l - 9 = -3*k, 0 = -4*k + l - 6*l + 30. Solve -4 = -t - k for t.
-1
Suppose -111 - 65 = -16*d. Let l be d/(-4) + 3 - (-23)/4. Let o(a) = 5*a. Let p be o(1). Solve 14 = p*f - l for f.
4
Let z be (3/2)/((-6)/(-4)). Suppose z = r - 3. Suppose 3 = -0*q + 3*q - 3*w, r*w - 10 = -3*q. Solve q*x - 4*x - 4 = 0 for x.
-2
Suppose 1212 - 3876 = -36*d. Solve -70*z + d*z = -8 for z.
-2
Let y(a) = a**2 - 8*a + 12. Let k be y(9). S