y = -4*v + q*v - 3 for v.
-3
Let h be 1 + 27/(0 + -3). Let m(w) = 3*w + 12. Let o be m(h). Let d = -10 - o. Solve -4 = v - d for v.
-2
Let a be 2/6 - (1 - 240/9). Solve -30*u + 12 = -a*u for u.
3
Let x be 1*0*(1 - 2). Suppose -l + 2*l - 1 = x. Suppose -v - l = -6. Solve v*k + 15 = 5 for k.
-2
Suppose 0 = 3*q - 12 - 240. Let o be ((-20)/(-15))/(8/q). Suppose 2*f - o = -4. Solve -5*c - 25 + f = 0 for c.
-4
Suppose -6*s + 3*s + 4*z = 0, -4*s + z - 13 = 0. Let u(c) = -c**2 + 15*c - 26. Let m be u(13). Let j be -1*((s - m) + -8). Solve y + j = 5*y for y.
3
Let l be -3*8/(-12) - 0. Suppose l*k - 22 = 4*s, 0*k + 3*s = 3*k - 39. Solve -4*g - g = k for g.
-3
Suppose 3*a + 4*i = 0, -3*i - 1 + 0 = 2*a. Let z be (2/a)/((-8)/16). Let o be 54/12 - z/(-2). Solve -o*p + 2 = 6 for p.
-1
Let j = -811 + 822. Solve -j*l - 37 = -26 for l.
-1
Suppose 2*n - 4*d + 27 = 5*n, -2*n - 3*d = -19. Let v = 0 - -1. Suppose l + v = 6. Solve l = -0*g - n*g for g.
-1
Let p = 0 - 0. Let m(d) = d**2 + 8*d + 16. Let u be m(-10). Let w = u + -16. Solve -5*c + p*c = -w for c.
4
Let g = 1002 + -1000. Solve 65 = g*v + 71 for v.
-3
Suppose -o = -8*o + 35. Suppose m = 5*z + o*m - 20, 0 = 4*z + 5*m - 7. Suppose -5*b + b = 4*x + z, 5*x = -b - 10. Solve -4*n = -b - 8 for n.
2
Let z be (-3)/1 - -5 - -3. Let w be (12/10)/(30/75). Solve -w*k + 8*k = z for k.
1
Suppose 7*o = 65 - 2. Solve o*u - 10*u = -2 for u.
2
Let x(r) be the first derivative of 5 + 4*r**2 - 1/4*r**4 + 0*r - 7/3*r**3. Let a be x(-8). Solve -2*w = -a - 4 for w.
2
Let y = -4 + 11. Let j = -5 + y. Let w be j/2*15/3. Solve 0 = w*q + 5 - 0 for q.
-1
Let j be (-10)/(-20) + (-30)/(-4). Suppose 2*o = m + 3*m - j, 2*o = 3*m - 5. Let x be (-12)/(-20) + 82/5. Solve x = 4*a - m for a.
5
Suppose -12 = 3*x - 5*x. Suppose -2*v + x*v - 8 = 0. Solve v*f + 5 = -3 for f.
-4
Let z = 15 - 9. Suppose -83 = -30*s - 23. Solve -z = -s*b - 14 for b.
-4
Let k = 446 + -443. Solve 7 + 5 = k*h for h.
4
Let h be (-8)/(-2) + 5 + -4. Let x be 3/(-6)*-2*h. Solve 0 = -2*z + x*z for z.
0
Let w(m) = -m + 66. Let x be w(21). Let d = -43 + x. Solve y = -d + 1 for y.
-1
Let p = 18 - 14. Suppose 4 = 5*o - 4*k, -p*o + 0 = -5*k + 4. Solve -o = 2*r - 3*r for r.
4
Suppose 3*x = c + 2 + 16, 3*c - 16 = -x. Suppose -4*i + 0*i + 12 = 0. Solve -i*y = -x*y for y.
0
Let z be (-82)/(5/(-10)*4). Let t = z - 41. Solve -5 + t = p for p.
-5
Suppose -12 = -4*g, -4*g + 28 = 8*f - 4*f. Suppose 2*r = -c + 8, -30 = -5*r - f*c - c. Solve r*h - 6*h = -20 for h.
5
Suppose 84*t - 57*t - 189 = 0. Solve -t*v = -11*v + 8 for v.
2
Let a(o) = o**3 + 18*o**2 + 17*o - 1. Let f be a(-17). Let v be -9 - -4*f/4. Let c be (-1)/(-4)*(-2 - v). Solve 7 - 15 = -c*w for w.
4
Let t(c) = -c + 17. Let f be t(13). Suppose 4 = 2*k - 0. Suppose -4*o + 6 = -k. Solve f*x - o*x = 4 for x.
2
Let q(r) = -7*r**2 + 23*r + 66. Let k be q(5). Solve 0 = 4*i - i - k for i.
2
Let j = 4 + -2. Suppose 0 = j*u - 1 - 1. Solve -3*h + 2 = -u for h.
1
Let b be ((-4)/6)/((-58)/18 + 3). Let f be (b - 1) + -1 + 1 + 0. Solve -f*i - 3 - 3 = 0 for i.
-3
Suppose -4*k - 15 = -y + 2, -4*y - 2*k + 50 = 0. Solve -19 + y = -2*z for z.
3
Suppose 0 = -33*u + 324 - 27. Solve 9*r - 6*r + u = 0 for r.
-3
Let k(y) = y**2 - 22*y + 3. Let n be k(22). Suppose 0 = 3*c - 5*i - 20, -n*i - 18 + 6 = -5*c. Solve c = -4*f + 2*f - 10 for f.
-5
Let g(y) = 3*y**2 + 39*y + 4. Let z be g(-13). Solve z*w = -3*w + 14 for w.
2
Let j = -55 + 168. Let q = j - 112. Solve 0 + q = -y for y.
-1
Let l(n) = -n**3 + 11*n**2 - 32*n + 53. Let a be l(7). Solve a*m - 6*m = 38 for m.
2
Let q(z) = -2*z**3 + 9*z**2 - 4*z - 10. Let j be q(3). Let b be (-2 - -1)*-4 + -1. Solve b*c + 7 = -j for c.
-4
Let t = 208 + -202. Solve -10*u = -t*u for u.
0
Let q be (3 - (-2)/2) + (7 - -30). Let l = q + -32. Solve -3*z + 3 + l = 0 for z.
4
Let o be 20/6*(-108)/15. Let k = 12 + o. Let r = -10 - k. Solve r*x - 4 = x for x.
4
Suppose 4 = 4*k - 12. Solve 17*w - 19*w - k = 0 for w.
-2
Suppose 12*q - 11 = -4*g + 9*q, -5*g + q = -28. Solve -50 + 50 = g*n for n.
0
Let w(o) = -o**3 - 12*o**2 - 26*o + 22. Let c be w(-9). Solve c*k - 9*k + 4 = 0 for k.
-1
Suppose -41 = -16*t + 151. Solve -7*i + 5 = t for i.
-1
Suppose -14 = n - 49. Suppose 3*w - 2*r + 7*r - 6 = 0, 4*r = 3*w - 6. Suppose 7*v = w*v + n. Solve -v - 18 = 5*f for f.
-5
Suppose o - 3*g - 14 = 2*g, 4*o - 22 = 3*g. Let p(k) = k**2 - 4*k + 3. Let a be p(o). Solve 0 = a*d + 8 + 1 for d.
-3
Let f(w) = -w - 6. Let l = -13 - -7. Let z be f(l). Let o be 1 - 2/4*-2 - (-4 - -3). Solve z = -y - 1 - o for y.
-4
Let o be -2 + (-30)/(-4) + 5/(-10). Solve o = 7*n - 6*n for n.
5
Suppose -5*q + 4*y = -2, 2 = 3*q - 4*y + 4. Suppose 2*b = 7*b + k - 12, 4*k - 4 = q*b. Let d(l) = -3*l - 8. Let n be d(-6). Solve 4*a + n = b*a for a.
-5
Let v = -1373 - -1380. Solve 128 - 93 = v*j for j.
5
Let j be (-2 - (-78)/3)*1/2. Suppose 2*x + j - 22 = 0. Solve x*l + 0 + 5 = 0 for l.
-1
Let k(c) = -2*c - 44 - 8*c + 14 - c. Let f be k(-3). Solve -f*h + 6*h + 9 = 0 for h.
-3
Suppose 25 = -0*r + 5*r. Let g = -1 + r. Suppose -4*p + 123 - 43 = 0. Solve g*h + p = -h for h.
-4
Let n = 276 + -275. Solve -2*j + n = -3*j for j.
-1
Let s(t) = -2*t - 18. Let m be s(-14). Let g(y) = -9*y + m*y + 0*y + 2. Let c be g(-2). Solve 2*d - 3 + 9 = c for d.
-3
Suppose 11*a - 6*a - 55 = 0. Let n(l) = -5*l - 18. Let g(d) = 14*d + 53. Let i(k) = a*n(k) + 4*g(k). Let t be i(-12). Solve -t*v - 2 = -v for v.
-2
Suppose -3*o - 45 = -0*o. Let r = o - -15. Solve t + 4 - 1 = r for t.
-3
Let s = 26 + 20. Let b = 51 - s. Solve 2*g = -3*g - b for g.
-1
Suppose 6 = 5*d - 2*d. Suppose 0 = 3*b - 3 - 3. Suppose 3*p + 33 = s + b*s, 0 = 3*s - p - 35. Solve d*v - 5*v = s for v.
-4
Let h(q) = q**3 - 19*q**2 - 20*q + 4. Let g be h(20). Suppose g*z = -z + 20. Solve 1 + z = -i for i.
-5
Let x(i) = 12*i + 4. Suppose 4*r - 4*w + 8 = -9*w, -6 = -2*r - 5*w. Let p be x(r). Let h be ((-18)/(-10))/((-48)/p). Solve -h*b - 2*b + 25 = 0 for b.
5
Suppose v + 4*l = -l + 22, 5*v - 70 = -5*l. Let n(c) = -c**3 - 5*c**2 - 4*c + 3. Let i be n(-4). Suppose -5*q + i*q = -14. Solve v = -q*b + 3*b for b.
-3
Let s(v) = v**2 + v. Let d be s(1). Suppose 2*p + 0*c - 5 = -3*c, 5*c = -25. Let f be (-4)/p*(-6 + -4). Solve 2*a + f = -d for a.
-3
Let p be 28/(-98) - (-214)/14. Let s = 15 - p. Solve 0 = -4*m - s*m - 16 for m.
-4
Let r be 20/(-10)*(-5 + 0 + -3). Solve -13*k + r*k - 3 = 0 for k.
1
Let b = -18 - -30. Suppose 5*l - 189 = b*l. Let g = l + 31. Solve 2*m - g = m for m.
4
Let q = -2 - -8. Suppose 0*a + 2*a = h + 43, 2*h + q = 0. Suppose 3*i + 35 = 5*g, 4*g + 3*i - 1 + 0 = 0. Solve a = -0*c + g*c for c.
5
Let b(z) = z + 7. Let i be b(5). Suppose -5*y + 2*y + 6 = 0. Suppose 0*x - y*x = 0. Solve -i = -x*p - 3*p for p.
4
Let n(z) = z + 14. Let c be n(-11). Suppose -5 = -c*i - k + 11, 4*k - 12 = i. Solve 0 = -3*p + i*p + 3 for p.
-3
Let h(u) = 10*u + 4 + 13*u + u**2 - 30*u. Let t be h(7). Solve -v + 0*v = t for v.
-4
Let z(t) = -133*t - 533. Let k be z(-5). Solve 24*h + k = -9*h for h.
-4
Suppose 0*g - g = 0. Suppose -2*h + 6*h = 0. Suppose -26 - 73 = -99*q. Solve -r + h*r - q = g for r.
-1
Let l = 1191 - 1111. Solve 68 - l = 3*c for c.
-4
Let a = 2487 - 2482. Solve -88*h - a = -83*h for h.
-1
Suppose -254 = -8*r - 6. Solve 5*h + r = 11 for h.
-4
Let d(q) be the second derivative of q**4/12 - 7*q**3/6 + 4*q**2 - 9*q. Let p be d(5). Let r be (-12)/(-9)*(-3)/p. Solve -r*a - 3*a = -25 for a.
5
Let a(q) = 2*q**2 - 9*q - 1. Let d(n) = -2*n - 19. Let l be d(-12). Let t be a(l). Solve -1 + t = -p for p.
-3
Let m be 45/15*(0 - -1). Suppose m*c + 3 = 3*n - 3, c = 0. Solve 0 = -3*o - n*o for o.
0
Let g(h) = -h**3 - h**2 + 6*h + 7. Let o be g(-2). Let d be 1/((-3)/15*o). Solve -3*v - 10 = -d*v for v.
5
Suppose -161 = 3*t + b, 2*t + 4*b + 109 = 5*b. Let d be t/(-15)*1/(3/5). Solve -f = -d*f for f.
0
Suppose 42*i - 35 = 37*i. Solve 8*v = i - 39 for v.
-4
Suppose -326*b = -334*b + 24. Solve -b*o - 14 = -23 for o.
3
Let v(u) = -u**2 + 5*u + 13. Suppose -o - 2 = 5*b, 4*o + b - 5*b - 40 = 0. Let d be v(o). Let m = d - -18. Solve 9 = 4*p - m for p.
4
Let x be (1 - (0 - 0))*-59. Let w = 21 + x. Let b = -26 - w. Solve -f - 3*f = b for f.
-3
Suppose 18*i + 87 = 195. Solve -16 + i = 2*f for f.
-5
Let o be 4/(-11) - 16/(-44). Solve o = -3*l + 2 + 13 for l.
5
Let a be