 + 3 = d*r for r.
1
Let x(u) = -5*u - 9. Let s be x(-6). Let j be 19 + 1 + 7/((-28)/(-8)). Let i = j - s. Solve 0 = -3*f + 4 - i for f.
1
Let x(z) = -3*z - 37. Let s be x(-15). Solve -s*j = -j for j.
0
Suppose 17*k - 409 - 390 = 0. Let t(h) = -3*h**2 + 5*h + 1. Let c be t(4). Let x = k + c. Solve 0 = -3*u + 8 - x for u.
-4
Suppose 6*z - 162 - 36 = 0. Suppose -z = -8*u - 1. Let y(q) = q**3 - 5*q**2 + 2*q. Let v be y(5). Solve -u*f - v = f for f.
-2
Suppose -85*w + 88*w = 21. Solve w*s - 9 + 2 = 0 for s.
1
Suppose 0 = -6*x - 4 + 4. Suppose 7*l - 2*l = 4*n + 76, -56 = -4*l + 2*n. Solve 4*f - f - l = x for f.
4
Suppose -5 = 3*w + 5*k, -4*w = -6*w - 2*k - 10. Let t = w + 14. Solve t*j = -23 + 3 for j.
-5
Let r(g) = -g**3 - 5*g**2 - 7*g - 9. Let k be r(-4). Suppose k*f + 0*b - 6 = 2*b, 0 = -4*f - 2*b + 22. Suppose -j + f = j. Solve -j*y = -y + 4 for y.
-4
Suppose -2*c + 90 = -w, -210 = -5*c - 23*w + 18*w. Solve -8*i + 19*i = c for i.
4
Let g = 11 - 6. Let x be -10*6/(-30)*2. Solve x*b = 3*b + g for b.
5
Let b(p) = 3*p - 55. Let g be b(19). Let j be (28/35)/(g/5). Solve -j*o = o for o.
0
Let v(x) = 2*x - 1. Let q be v(1). Suppose o + 8 - q = -3*l, -4*o = -2*l - 14. Let n(s) = 56*s - 109. Let g be n(2). Solve o*p = -g*p for p.
0
Suppose -3*g = -4*n - 31, -n + 5*g = 2*g + 10. Let c(k) = -k**2 - 5*k + 17. Let u be c(n). Solve -u*a + a = -8 for a.
4
Let u = 376 + -369. Solve -4*b - 1 = u for b.
-2
Let f(k) = -k**3 + 11*k**2 + 2*k - 19. Let z be f(11). Let r = 11 + -6. Let s be (-14)/(-35) + 2/(-5). Solve -z*y - 1 - r = s for y.
-2
Let j(y) = -10*y. Let u(x) = -x**2 + 8*x - 2. Let q be u(8). Let b be j(q). Let p be ((-32)/b)/((-4)/10). Solve f + p = -0*f for f.
-4
Let f(q) = -2*q - 10. Let g be f(-5). Let j(z) = -z**2 - z + 7. Let x be j(g). Suppose -2*v + 6 = 0, 2*v - x*v + 23 = 4*w. Solve 0 = -w*t + 2 for t.
1
Suppose -25*h + v = -27*h + 10, -2*h - 4*v = -22. Solve h*a = 8*a for a.
0
Let h(i) = i**3 - 4*i**2 - 25*i + 52. Let w be h(8). Solve -16*z - w = 11*z for z.
-4
Let r(g) = -g**3 - 7*g**2 - 7*g + 8. Let w be r(-6). Let y(h) = h - 11. Let b be y(w). Solve -b*i + 6 + 6 = 0 for i.
4
Let x be (((-21)/14 - 1) + 2)*-580. Solve -3*i - 287 + x = 0 for i.
1
Let y(r) = 4*r**2 + 167*r - 36. Let z be y(-42). Solve -n - 6 + z = 0 for n.
0
Let t be (-9 - 26/(-3))*0. Solve t*d - 8*d = 24 for d.
-3
Let w = 21 + -17. Suppose 4*a = 2*n + 38, a = -3*n + 3 - w. Solve -28 = 4*c - a for c.
-5
Let l be ((-54)/9)/2 + 3. Solve l = -4*q + 112 - 100 for q.
3
Let y be (-30)/(-4) - ((-17)/2)/(-17). Solve 0 = -6*h + 1 - y for h.
-1
Let g be -5 - ((-603)/11 + (-20)/110). Solve -13*f + 3*f - g = 0 for f.
-5
Let h(r) = r**2 - 10*r + 7. Let u(s) = -3*s**2 + 40*s - 27. Let m(l) = 9*h(l) + 2*u(l). Let p be m(3). Solve -2*k = -p*k + 8 for k.
2
Suppose -3*u = -4*k + 21, -2*k - 3*u + 2 = 5. Let b be (k - (0 - -3))/3. Solve b*i + 2 = -i for i.
-2
Let g(p) = p**2 - 8*p + 28. Let h be g(8). Let y = h + -27. Solve y + 0 = -t for t.
-1
Let u = 0 - 54. Let y = -25 - u. Let k = -23 + y. Solve -k - 4 = 2*g for g.
-5
Suppose 0 = -63*d + 58*d - 3280. Let n be ((-6)/4)/(123/d). Solve -5*j - n = 7 for j.
-3
Suppose -65 = -25*d + 35. Solve 0 = -d*r + 84 - 92 for r.
-2
Let u = -7 - -7. Suppose 3*t - 27 = 12*b - 17*b, 0 = -3*t + 4*b. Solve u = t*l - l + 12 for l.
-4
Suppose -3*i + 0 = -12, -4*i = 2*y - 16. Suppose l - 12 + 10 = y. Solve 0*u + 8 = l*u for u.
4
Suppose 4*o + 5*v = 6*v + 23, v = 3*o - 17. Let l = -4 + o. Let g = -5 - -11. Solve s = -l*s + g for s.
2
Let q(o) be the second derivative of o**4/4 - 3*o**3/2 + o**2 + 10*o. Let v be q(3). Solve 4*l - v*l - 2 = 0 for l.
1
Let c = 8 + -13. Let x be (9/15)/(-1)*c. Solve x*b = b - 2 for b.
-1
Suppose -3*u = 4*s - 42 + 8, 5*u - 3 = s. Suppose 0*x + s = x. Suppose 2*d = -x*n + 2*n + 20, 16 = 4*n + d. Solve 0 = -n*a + 3 + 5 for a.
2
Suppose -4*r - 2*u + 12 + 4 = 0, 4*r - 6 = 3*u. Suppose -t + r = -1. Solve -t*j = -7*j + 6 for j.
2
Let s be (14/(-21))/((-73)/(-75) + -1). Solve -s = 2*n - 15 for n.
-5
Suppose 2*f = 3*t - 6, -f = -5*t + 3 - 0. Suppose -15 = -t*h - 3*h. Suppose x - 31 = -23. Solve -h*j + 2 = -x for j.
2
Let v be 55/(-11) - (10 - -3). Suppose -7*r - 4*q = -3*r + 24, 0 = r - 4*q + 16. Let i = r - v. Solve -u - u + i = 0 for u.
5
Let l(v) be the first derivative of 1/2*v**2 + 1 + 11*v. Let g be l(-4). Solve -4*s - 3 = -g for s.
1
Let t = 3 + 6. Suppose -t = -4*m + y + 8, -8 = -3*m - 4*y. Solve -2*n - 2 = m for n.
-3
Suppose -4*d = 5*n + 9, 5*d + 7 = -5*n + 2. Suppose -4*t - d + 20 = 0. Solve -12 = -2*j - t for j.
4
Let m = 31 - 29. Let p be (15/m - 4) + 3/6. Solve p*k - 2*k = 6 for k.
3
Suppose 27*k - 25*k = 8. Solve 8 + 4 = k*m for m.
3
Let x = -1155 + 1227. Solve -17*d - 4 = -x for d.
4
Suppose 4*c - 495 = -5*c. Let s = c - 52. Solve -6*r - 6 = -s*r for r.
-2
Let o(p) = -p**3 + 1120*p**2 - 564*p**2 + 14 + 0 - 568*p**2 + 14*p. Suppose -2*g + 28 = -3*g + 5*z, -4*g = -3*z + 61. Let c be o(g). Solve -4*s = 5 - c for s.
-1
Suppose 4*x - 3*h - 31 = 0, 3*h - 7 = -3*x + 2*h. Suppose -x*i = 2*i - 66. Solve 3*l - i = 4 for l.
5
Suppose 14*j = 3*j + 77. Solve 0 = -2*u + j - 7 for u.
0
Suppose 0 = 26*s - 22 - 30. Solve -s*z = 56 - 64 for z.
4
Let y(l) = -2*l**3 - 17*l**2 - 6*l + 18. Let n be y(-8). Let t = 15 - 7. Let g be (t/(-2))/(-1) - 0. Solve -g = x - n for x.
-2
Let j(b) = -2*b - 8. Let x be j(-4). Suppose 0*y + y - 5 = x. Let f = -8 + 15. Solve -3*t - y = f for t.
-4
Let p = 157 + -150. Solve 0 = 6*l - p*l for l.
0
Let i be (-5 + 2)*2 - 1. Let o = i + 8. Solve 3 = -p - o for p.
-4
Suppose a - 3 = 5*n, 5*a + 5*n + 17 = 62. Let q be (6/a)/((-6)/(-16)). Solve 0*d - q = d for d.
-2
Let t(f) = -11 - 5*f - 11 + 3. Let p be t(-9). Solve p = -5*v + 1 for v.
-5
Let f be (-144)/(-42) - (-3)/(-7). Suppose f*v - 30 = -5*x, -3*x + 0*v + 5*v = 16. Solve 0*h = -x*h - 12 for h.
-4
Let x(j) = -7 - 4*j - 8 - j. Let c be x(-4). Solve b + c = 4 for b.
-1
Suppose 113 = 3*g + 83. Solve 3*x + g + 5 = 0 for x.
-5
Let g = 163 + -92. Suppose g = 5*r - 4*o + 2, -2*o - 43 = -3*r. Solve r = -4*j - 3 for j.
-5
Let g = 29 + -20. Suppose 12 - 46 = -17*y. Let w be y + (-8)/(-6)*45/30. Solve -w*i = 7 + g for i.
-4
Suppose 5*b = -5*k, 4*k + 9*b - 4*b = 0. Suppose -3*d - 4*h + 2 = 0, k*d - d + 7 = -5*h. Solve 0*s - d*s = -2 for s.
1
Suppose 2*f = -3*f + 190. Solve 6*y + f = 14 for y.
-4
Let p = -362 - -369. Solve -6*q + 5 = -p*q for q.
-5
Let q be (9/(-6))/(4/16). Let o = q - -6. Solve o*y = y - 5 for y.
5
Suppose 0 = l - 11*l + 50. Suppose -r + 2*r - 30 = 4*z, -l*z = -2*r + 45. Solve -11 = d - r for d.
-1
Let d be (264/(-18))/11*(-6)/4. Solve -1 = d*k - 5 for k.
2
Let a = -3 + 5. Suppose 4*y + 13 = 93. Let f be (24/y)/((-1)/(-5)). Solve 0*m + f = -a*m for m.
-3
Suppose -12 = -9*i + 24. Suppose 2*k - 4*k = -i*s, s - 4*k + 14 = 0. Solve -s*h - 2 + 0 = 0 for h.
-1
Let r(h) = h**3 + h**2 - 4*h - 4. Let s be r(-2). Let a = 9 + 6. Solve 5*g + s + a = 0 for g.
-3
Let k(u) = 5*u**2 - 169*u - 27. Let w be k(34). Solve w*r - 34 = -55 for r.
-3
Suppose 2*w - 11 = -11. Suppose 0*x - 4*x - 4*b + 24 = 0, w = -x - 3*b + 2. Solve 5*t = t - x for t.
-2
Let l(x) = 11*x - 346. Let b be l(50). Solve -214 + b = -5*c for c.
2
Suppose -3*i - 9 = 0, 0*y - 140 = -4*y - 4*i. Let m = 43 - y. Solve 0*f - f = m for f.
-5
Let x be (-23 - -22)*-1*(2 - 0). Suppose -x*u + 3*u = 12. Solve 0 = -4*j + j - u for j.
-4
Let d(v) = -v**2 - 7*v - 6. Let b be d(-6). Suppose 40 = 2*a - 6*a. Let w = -7 - a. Solve -j - w*j + 20 = b for j.
5
Let v(o) = -3*o**2 - 14*o + 15. Let w(j) = 13*j**2 + 57*j - 61. Let t(h) = 9*v(h) + 2*w(h). Suppose 12*f = -178 + 22. Let r be t(f). Solve r + 2 = g for g.
2
Let o = -3 - -6. Suppose o*y - 7 = 2. Let t be (-5 - -6)*(12/3 + -2). Solve y*z - z + t = 0 for z.
-1
Suppose -2*t - 25 = -1. Suppose 14*k = -7*k + 42. Let r be 0*k*(-3)/t. Solve 4*h - 2 + 18 = r for h.
-4
Let n(y) = -2*y + 8. Let v be n(4). Suppose 2*a + 1 - 5 = v. Solve -a*c = -3*c - 3 for c.
-3
Let n = -28 - -45. Suppose 0 = x + t - 5 - 4, 3*x + t - n = 0. Solve 0 = x*q + 4 for q.
-1
Suppose 34 + 16 = -5*h. Let w = 20 + h. Let s be 16/w - (-16)/40. Solve -4 = 2*p + s*p for p.
-1
Suppose 4*g = 5*f + 55, 5*g + 15*f - 20*f - 65 = 0. Solve g*p = 2*p for p.
0
Let c be 6/12 + 10/4. Let m = c - 2. Suppose -r + 0*w - m = 2*w, -3*r