2 for v.
1
Let z(r) = r**2 - 2*r - 19. Let u be z(8). Let i = u + -19. Solve -a - a = -i for a.
5
Suppose 0 = -20*m + 101 - 1. Solve m - 3 = 2*v for v.
1
Let i be ((-28)/3)/((-36)/27). Solve 7 = -2*m + i for m.
0
Suppose 0 = 439*j - 437*j - 32. Solve -3*t + j = 4 for t.
4
Let y = 10 + -8. Suppose -5*u + y*u = 0. Suppose 3*r - 5*i + 4 = -3*i, r - 3*i + 6 = u. Solve 1 = -z - r for z.
-1
Let b be 81/15 + 15/25. Suppose b = -13*s + 16*s. Solve g = s*g for g.
0
Let g(b) = b**3 - 3*b**2 - 5*b + 27. Let r be g(3). Solve r = 17*c - 22 for c.
2
Suppose -4*p - 15 - 28 = -5*u, -4*p = u + 25. Let q be -2 + 28 + (p - -5). Suppose -7*n + 10*n - q = 0. Solve 0 = 5*k - 12 - n for k.
4
Suppose 5*s + f - 49 = 0, 3*f = 6*f - 12. Solve 0 = 5*d - s*d + 4 for d.
1
Let t be (7*-2 - 1)/(-3). Suppose -3*u - 2 = -t*b + 25, 0 = -4*b - 5*u - 8. Solve -12 = b*i + i for i.
-3
Suppose 6*v = v + 15. Let z(k) = -k**2 - 2. Let j be z(0). Let x be j*(-40)/36 - 6/27. Solve -g + x = -v*g for g.
-1
Let q(l) = l**2 - 4. Suppose -5*p + 2*x + 18 = 0, -5*p + 16 + 14 = -5*x. Let y be q(p). Let g(k) = -8*k - 54. Let t be g(-7). Solve y = -m - t - 1 for m.
-3
Let t be 6/12*0 + 4. Suppose 4*a + 12 = 3*a - t*i, 4*a + 4*i = 0. Solve -3*n = -a*n for n.
0
Suppose 15*s - 36 = 12*s. Solve -4 = 2*p - s for p.
4
Suppose -7*i + 4*i + 42 = 0. Let w be (-1)/3 + (-6)/9 + i. Solve -5*d = -w + 3 for d.
2
Suppose -r - 36 = s - 6*r, s - 2*r + 30 = 0. Let j = -11 - s. Solve 2*k = -3*k + j for k.
3
Suppose -2*u + 22 = 5*q, 45*q - 41*q - 11 = 5*u. Solve -q*y + 28 = 8 for y.
5
Let c be (2/6)/((-18)/(-1620)). Solve -5*d + c = 10 for d.
4
Let c = -260 - -266. Solve -3*n + 3 = -c*n for n.
-1
Let h(y) = 3*y + 22. Let d be 24/42 - (-138)/(-21). Let j be h(d). Suppose -j*m = -2*m. Solve m*g = -g - 5 for g.
-5
Let r(o) be the second derivative of o**3/2 + 21*o**2/2 + 13*o. Let t be r(-5). Solve 2*b - 5*b = t for b.
-2
Suppose 77 - 19 = 29*c. Solve 3*j = c*j - 2 for j.
-2
Suppose -6 + 10 = n. Solve 7 - 27 = -n*h for h.
5
Suppose 5*r - 5*p = 35, 3*p + 4 = 4*r - 26. Solve -5*l + 2*l = -r for l.
3
Suppose 3*t - 49 = -4*m + 15, 68 = 4*t + m. Solve -100 = -t*y - 36 for y.
4
Suppose 0*y + 3*y - 6 = 0. Suppose 316 = 7*n + 1. Suppose -n = -j - y*j. Solve -2*r + 5*r = -j for r.
-5
Suppose j = -2*d - 2*j, 4*d = -4*j + 4. Let g = -8 - -5. Let b be 0 + 2 + d/g. Solve 0*i - b = -i for i.
1
Let w(a) = -a**3 - 11*a + 1 - 4*a**3 - a**2 + 27*a - 15*a. Let x be w(-1). Suppose -4*k = -2*v - 102, -x*k + 91 = 4*v - 5. Solve 4*j + k = 9*j for j.
5
Let a(v) = -18*v + 101. Let d be a(5). Solve -2*p + d = 5 for p.
3
Let p = 1572 + -1541. Solve 11*a - p = 2 for a.
3
Let w = 93 + -89. Let o be w + (3 - (-16)/(-4)). Solve -o*g - 2 = -11 for g.
3
Let v be (-4 - 4/(-2))*-1. Suppose -6*r + 10 = -r. Suppose 5*x + 2 = 2*u, -5*u + 2 + 3 = 4*x. Solve x = r*s - v for s.
1
Let z be (10/(-8))/((-1)/4). Suppose 23 - 2 = -p. Let v = p - -29. Solve -z*j + v = 18 for j.
-2
Suppose 0 = -2*v - 2*y + 16, 3*v + 6*y - 28 = y. Let m(l) = l**3 + 5*l**2 + 3*l + 1. Let h be (3/6)/((-1)/6). Let b be m(h). Solve -u + v*u = -b for u.
-2
Suppose -w = 5*o + 22, 0 = 4*w + w + 5*o + 10. Solve 2*b = -w + 7 for b.
2
Let y = 37 - 38. Let t = -1 - y. Solve t = 6*c - c + 20 for c.
-4
Suppose i + 4*k + 32 = 4, 0 = i - 4*k + 36. Let a be 104/((-3)/1 + 5). Let n = a + i. Solve -5*p + n = -5 for p.
5
Let g be (9*5/30)/((-2)/(-4)). Let c = 14 + g. Let v = 17 - 9. Solve -v - c = 5*y for y.
-5
Suppose m - 5*s + 4 = 0, 4*s + 23 + 20 = 3*m. Let w be -21*((-272)/(-252) - 22/99). Let l = m + w. Solve -2*h - 10 = l*h for h.
-2
Let o(x) = -x + 7. Let n(l) = l + 10. Let c be n(-5). Let b be o(c). Suppose -11*t - 3 = -12*t. Solve t*h - 5 = b*h for h.
5
Let g = -27 + 33. Suppose -g + 9 = f. Suppose -3*q = p + 1 + 5, f*p + 5*q + 6 = 0. Solve -4*s = 11 - p for s.
-2
Let a(o) = o. Let g be a(4). Suppose 0 = g*q + 45 + 75. Let h be (-11 - -9)/(4/q). Solve -2*z + h = z for z.
5
Let g be 3/2 - 17/(-34). Solve 6*b - g*b = 20 for b.
5
Let l = 349 + -346. Solve 3*x + l = -0 for x.
-1
Let x(d) = -d**2 + 11*d - 14. Let a be x(9). Suppose 4 = a*k - 8. Let q be (-3 - (k - 7))*5. Solve -2 = -q*z + 13 for z.
3
Let r(m) = m**2 - 254 + 254 + 9*m. Let q(o) = -o**3 + 5*o**2 + 5*o - 3. Let i be q(6). Let y be r(i). Solve -k + 3*k = y for k.
0
Let k = 67 - 56. Solve -k*a + 5*a - 30 = 0 for a.
-5
Let x = -41 + 5. Let b = x + 36. Solve b*k + k = -1 for k.
-1
Suppose -5*o + 98 + 82 = 0. Let a be (-15)/o*-15*(3 - -1). Solve 0 = -0*l - 5*l - a for l.
-5
Let g be 4/7 + 17/((-476)/(-1440)). Solve -7 + g = 9*i for i.
5
Suppose -218 = -3*t - 4*f, 5*f - 61 = -t + 19. Solve t = -3*y - 11*y for y.
-5
Let a(o) = 4*o + 21. Let w(h) = -h - 7. Let b(n) = -2*a(n) - 7*w(n). Let p be b(0). Let j be (-7)/((-7)/2)*(2 - 0). Solve j*d + p + 9 = 0 for d.
-4
Let c = 59 - 104. Let y = c + 48. Solve 2 = -y*p - 4 for p.
-2
Let v(r) be the first derivative of r**4/4 - r**2/2 - 21*r - 11. Let x be v(0). Let w be (-321)/x + 8/(-28). Solve -5*q = 5 - w for q.
2
Let k(v) = 2*v**3 - 31*v**2 + 12*v + 44. Let t be k(15). Suppose 4*i - l = -25, 5*i + 37 - 3 = 4*l. Let m be (i/(-18))/(t/(-9)). Solve c + m = 2*c for c.
3
Let g(y) = y**3 + 9*y**2 - 3*y - 20. Let i be g(-9). Solve 0 = -23*p + i*p + 48 for p.
3
Suppose -5*r + 25 - 10 = 0. Let g = 30 - 65. Let o = g - -51. Solve q + o = -r*q for q.
-4
Let t(o) = o**3 - 5*o**2 - 7*o + 32. Let g be t(5). Let l be (1/(-1)*g)/(3/3). Solve l*z = -7 - 5 for z.
-4
Let w(a) = -a**2 + 10*a + 5. Let n be w(11). Let h be (n - -6) + (-8)/(-2). Solve -h*z - 2 = -6 for z.
1
Let i(c) = -4*c**2 + 27*c - 12. Suppose 3*u - 15 = -0*u + 3*p, p - 31 = -5*u. Let f be i(u). Solve 0 = 3*g - g + f for g.
-3
Suppose 0 = 4*q - 3*i - 14, 0 = -2*q + 3*i + 7 + 3. Let n(a) = 5*a - a - 5*a + a**q - 4. Let y be n(-2). Solve -w + 2 = -y for w.
4
Suppose -833 = -8*h - 89. Let k = h + -93. Solve -z + 0*z - 4 = k for z.
-4
Let v = -6 - -10. Suppose 0 = -v*a + 2*y + 20, -3*a + a + 10 = 2*y. Let n(z) = 5*z**3 - 2*z + 1. Let k be n(1). Solve t - a = -k*t for t.
1
Suppose -3*z + 4*z = 4*p - 10, z = 2*p - 4. Solve -1 + 13 = p*o for o.
4
Let d be (7/(-2) + 1)*((-406)/(-70) + -7). Suppose 0 = -4*q - q - 5, c - 2*q - 8 = 0. Let r be 2/c + (-69)/(-9). Solve d*m - r - 7 = 0 for m.
5
Let i(g) = -g**3 + 2*g. Let o be (-8)/4 - 0/(-1). Let d be i(o). Solve n = -d + 5 for n.
1
Suppose 5*s = 151 + 189. Let g be (8/(-18))/(s/18 - 4). Solve r + g*r - 15 = 0 for r.
5
Suppose 9 = 2*j + 3*g, 3*j - 8*j = g - 3. Let z = 25 - j. Solve -d - z = 4*d for d.
-5
Let v be ((-400)/(-30))/(6/9). Solve -2*z - 2*z + v = 0 for z.
5
Let j(b) = -411*b**2 + 204*b**2 - 22 + 208*b**2 + 2*b. Let w be j(-6). Solve -4*n - w = -2*n for n.
-1
Suppose -j = -5*h - 7, -h + 4*h = j - 7. Suppose -15 + 22 = j*x. Solve 2*c = x + 1 for c.
1
Let v = 95 - 92. Suppose m + 14 = -2*m - 5*b, -2*m + 12 = -2*b. Let f = 34 + -24. Solve -m*k = v*k + f for k.
-2
Let c be 18/14 + -1 + 88/(-14). Let q be -1*3/(-9)*-9*c. Solve -3 + q = 5*w for w.
3
Suppose 95 = 10*r - 155. Solve -r = -0*w + 5*w for w.
-5
Suppose -4 = y - 2*w, -y - 5*w = 2*y - 32. Let s(a) = -a - 1. Let l be s(-1). Suppose l = k - 0 - y. Solve -15 = -k*u + 1 for u.
4
Suppose 4*v - 20 = -8. Solve -15*y - v*y + 54 = 0 for y.
3
Let f(i) be the third derivative of -i**4/24 - 3*i**3/2 - 17*i**2. Let l be f(-12). Solve -z - l + 0 = 0 for z.
-3
Let r = -233 - -239. Solve -2*n = -r*n for n.
0
Let o(f) = -f**3 + 5*f**2 - 5*f + 4. Let s be o(4). Suppose 4*y + s*y - 12 = 0. Solve -y*p - 2 = 10 for p.
-4
Let x(w) = -w**3 + 2*w + 2. Let s be x(-2). Suppose -s*n = -n. Suppose 0 = 5*i - 5*v - 75, 3*i = -v - n*v + 25. Solve -3*q = -8*q - i for q.
-2
Let f(q) = q - 1. Let j be f(6). Suppose 4 = -j*z - 6. Let u be 1 - z/(-2)*-3. Solve -u*k + 1 = -7 for k.
2
Let g be (-6 - 0)*6/(-9). Let i(n) = -n - 8. Let v be i(-8). Suppose v = -2*z + 24 + 6. Solve -y + g*y = z for y.
5
Let u(c) = -5*c + 113. Let n be u(21). Solve 6*o - n = 10*o for o.
-2
Suppose 5*y - 53 - 17 = 0. Suppose -5*p + 6*n = n + 80, 5*n - 10 = 0. Let r = p + y. Solve 7*b - 2*b = r for b.
0
Suppose 3*p - 9 = -0. Let j = p - -2. Let g = -2 + j. Solve -3*z = -g - 0 for z.
1
Suppose 2*s - z + 9 + 18 = 0, 5*z - 30 = 3*s. Let f = -13 - s. Suppose -j + f*a - 1 = 5, -j - 3*a + 19 = 0. Solve 2 = 5*k - 