 - 3 - v for y.
3
Suppose -27 = -2*g - n, 2*g - 2*n = -0*g + 42. Solve -6*x - g = -10*x for x.
4
Let f be (-3)/(84/8)*7. Let t be ((-42)/5)/(f/5). Suppose -3*s + 3*u + t = 0, 13 = s - 2*u - 2*u. Solve -j + 0 = -s for j.
5
Let d(z) = z**2 - 6*z. Let r be d(6). Let f(a) = -a**2 - 21*a - 89. Let v be f(-8). Solve r*b + 3*b = v for b.
5
Let i(b) = -6 + 23 + 2 + 4 + 3*b. Let x be i(-7). Solve 6*k - x*k - 16 = 0 for k.
4
Let o be 609/(-174)*(-3 - -1). Solve o*v - 26 = -5 for v.
3
Suppose -13 = -3*z + 2*o, -3*z - 5*o - 6 = -26. Solve -65 = z*a - 55 for a.
-2
Let k = -51 + 44. Let m = k - -27. Solve m = -5*i - 5 for i.
-5
Let d = 8 + -5. Let s = d - 1. Let v be -9*4/(-3) + s. Solve 5*m = -v + 4 for m.
-2
Let p be (55/(-44))/((-2)/(-8)). Let j be (-12)/p*1 + (-21)/(-35). Solve s - 4 = -j*s for s.
1
Let s be 54/30 - (-12)/10. Solve 3*m = s + 9 for m.
4
Let v = 8 - 0. Let s(y) = y**2 - 8*y + 5. Let t be s(v). Suppose t*d + 0*n - n - 8 = 0, 14 = 2*d + 5*n. Solve -1 = q + d for q.
-3
Let n(d) = d**2 - d + 9. Let z be (1 + 3/6)*2. Let c be (-4)/(-24)*z*0. Let q be n(c). Solve -6 = 3*y + q for y.
-5
Suppose w = 2*r - 1, -3*r + 9*w = 4*w + 16. Solve 62 = -r*g + 77 for g.
5
Let t = -13 + 23. Let j be (-10 + 25)*4/t. Let a = j - 3. Solve a = -m + 1 for m.
-2
Let c(j) = 5*j - 24. Let y be c(6). Let o be 3 - 0 - 13 - -3. Let s = 9 + o. Solve -s = g - y for g.
4
Suppose 29 = 4*c + 5. Suppose o + 5 = 7. Suppose c = f + o*f. Solve -9 = 5*m - f*m for m.
-3
Let h(i) = -15*i - 59. Let y be h(-5). Let m(l) be the third derivative of -l**6/20 + l**2. Let p be m(-1). Solve -5*t - y = -p for t.
-2
Suppose 4*s - 22 = 2. Suppose 3*x = k - x - s, -4*x + 18 = 3*k. Suppose 5*t - 25 = -a, -t + a + a = k. Solve t = -5*q - 21 for q.
-5
Suppose z + 35 = 3*a + 6, 4*a = -3*z + 56. Solve 1 = -12*o - a for o.
-1
Suppose -10 = -2*d + 3*j, -5*d = 12*j - 16*j - 25. Solve 0 = -d*a + 6 + 9 for a.
3
Suppose -3*g + 4*f = -3 - 3, 5*g - 5*f = 10. Solve g*d = 4*d + 6 for d.
-3
Let g(m) = m**2 - 12*m + 9. Let w be g(11). Let x(n) = n**3 + 7*n**2 - 4*n - 23. Let t be x(-7). Let y = w + t. Solve -8 = -y*p + 1 for p.
3
Let q be 2/(-3)*75/(-10). Let l be 18/10*1 - 1/(-5). Suppose g = -3*n + 11, q*n - l*g - g - 9 = 0. Solve 4*v - n = v for v.
1
Suppose -4*c + 19 - 10 = -u, -5*c + 24 = 3*u. Solve 0 = 5*w + u + 7 for w.
-2
Suppose -x - 3*l = -0*l + 12, 2*x = 4*l + 26. Let d(n) = 2*n - 3. Let k be d(x). Let g(a) = 6*a**2 - 4*a. Let i be g(1). Solve 0 = -i*u - k*u + 25 for u.
5
Let s(o) = -o**2 + 14*o - 11. Suppose 8*l - 115 + 11 = 0. Let w be s(l). Solve -w*a = a + 12 for a.
-4
Let a(w) = 2*w - 26. Let l be a(14). Let h(y) = y**3 - 12*y**2 + 10*y + 11. Let z be h(11). Solve 0 = b - z - l for b.
2
Let u(b) = b**2 - 4*b - 2. Let q be u(5). Let d = 255 + -167. Let n be d/14 + (-4)/14. Solve g - q = -n for g.
-3
Suppose 4*g + 8 - 31 = -3*m, -2*m = -3*g - 4. Let n be (-48)/m*10/(-3). Suppose -3*s - s = -n. Solve 5*o + 7 = -s for o.
-3
Let p(j) = j**2 - 9*j + 11. Let d be p(8). Suppose 12*u - 7*u - 30 = 0. Solve -d = 5*y - u*y for y.
3
Let q = 2 - -4. Let l = 5 - q. Let z be (-7)/(-35) - l/(-5). Solve z = -3*p - 2*p - 20 for p.
-4
Let h(f) = -3*f - 70. Let a be h(-22). Suppose 3*p + 35 = 3*z + 11, -p + 12 = 4*z. Let l be (-4)/2*z/a. Solve l*m - 1 = 5 for m.
3
Suppose -21 = 3*k - 4*k. Suppose -n - k = -4*n. Solve 2*y - n + 1 = 0 for y.
3
Let j(v) = -3*v**3 - 4*v**2 - 2. Let g be j(-3). Suppose -g - 5 = -3*i. Suppose -2*k + 2*l + l + 11 = 0, 4*k - 4*l - i = 0. Solve -5*d - 11 + k = 0 for d.
-2
Let o(y) be the second derivative of y**5/20 - 17*y**4/12 + 8*y**3/3 + 3*y. Let d be o(16). Solve 0 = -3*x - 15 - d for x.
-5
Let g be 0/((-2 - -9) + -6). Solve 4*j + 1 + 7 = g for j.
-2
Let b = 97 + -67. Let q be ((-48)/b)/(2/(-5)). Solve -6 = 7*t - q*t for t.
-2
Let z = 11 + -6. Suppose 4*j - 24 = -n, -8*j - z*n + 8 = -4*j. Let g = 1 + j. Solve 5*l - g = 3*l for l.
4
Suppose 3*h - 7*h - 3 = -c, -2*h + 4*c - 12 = 0. Solve 14 = -h*r + 7*r for r.
2
Let u(g) = g**2 + 16*g - 99. Let k be u(-21). Solve 23*f - k = 25*f for f.
-3
Let k(z) be the first derivative of -z**2/2 - 8*z + 5. Let t be k(-8). Let q be (-1 - t)/((-4)/20). Solve -s + q*s + 12 = 0 for s.
-3
Suppose -u + 15 + 0 = 0. Let a = u - 0. Solve a = -3*n + 6*n for n.
5
Let l(a) = 4*a - 48. Let m be l(14). Suppose 7 - 11 = -t. Solve -m = 4*h + t for h.
-3
Suppose -4*i = -3*t - 22, -5*i + 22 = -2*t + t. Suppose 48 = 4*n + 4*s, -i*n + 4*s - 5*s + 33 = 0. Let y = 13 - n. Solve -l - y = l for l.
-3
Let u be 1/2*2 - 1. Let x = -1111 + 1117. Solve u = -x*s + 5*s - 1 for s.
-1
Let l be 6 - 11 - -3 - 6/(-2). Solve 8*c + 15 = -l for c.
-2
Suppose 0 = -0*i - 4*i. Suppose 3*k + 0*k = -0*k. Solve k = -i*s + 2*s + 2 for s.
-1
Suppose -11*c + 4 = -7. Suppose -5*n = -4*x - 11, 7*x - 2*x = 2*n - c. Solve -n = -3*f + 4*f for f.
-3
Let p(f) be the third derivative of f**5/60 + 7*f**4/24 - 20*f**3/3 - 30*f**2. Let h be p(-11). Solve 18 - 6 = -h*y for y.
-3
Suppose -3*o - 18 = -5*v, -3*v + 7*v = 3*o + 12. Let d(q) = -q**2 + 5*q + 5. Let w be d(6). Let a = w + v. Solve 0 = -a*x - 6 - 9 for x.
-3
Let s = 55 + -52. Let x(j) = j**2 + 4*j - 3. Let u be x(-5). Solve -u + 5 = s*a for a.
1
Let f(h) = 0 - 2 + 3*h**2 + 1 - 1 + 2*h. Let x be f(1). Solve -x*d = -2*d - 3 for d.
3
Let u(q) = -q. Let x(p) = -p**2 + 2*p + 10. Let v(b) = -3*u(b) - x(b). Let d be v(4). Solve d*w - 5*w = 0 for w.
0
Let v be 464/144 + (-5)/((-135)/(-6)). Solve -v*j + 6*j + 12 = 0 for j.
-4
Let i be (183/6)/(2/(-4)). Let q be (-1 + 16)/(-5)*12. Let f = q - i. Solve 4*g - f = -g for g.
5
Let j be (0 - (-4 + 3)) + -44. Let y = j + 47. Solve 0 = -5*i + y*i + 4 for i.
4
Suppose -o + 46 = 41. Solve -o*n - 1 = 9 for n.
-2
Let x = -75 + 72. Let s(u) = u**3 + 5*u**2 + 5*u - 1. Let o be s(x). Solve t = o*t + 1 for t.
-1
Let u be (-6)/18 - 26/(-6). Suppose 10*a - u*a = 12. Solve -2*s = -a + 12 for s.
-5
Let l be (-152)/(-36) + 4/(-18). Suppose -w = 2*w - 12. Solve 0 = -l*c - 0*c + w for c.
1
Suppose 0 = -16*h + 12*h - 80. Let x = h + 25. Suppose 4*c - 91 = -x*p, p - 3*c - 3 = -0. Solve 5 + p = -4*w for w.
-5
Suppose 8*k - 4*k = 5*c + 3, -2*c + 2 = 0. Solve x + k = 6 for x.
4
Let s be (-5 - -34) + 2*(-2 - 1). Solve -32 + s = -3*c for c.
3
Let p(t) = -t**2 + 2*t + 22. Let z be p(0). Suppose -18*n - 44 = -z*n. Solve -3*d + 4 + n = 0 for d.
5
Suppose 43 = 3*s - 29. Let u be 1*s - (-2)/(-2). Let z = u + -16. Solve -z*a + 8 = -3*a for a.
2
Let n be 2 + 7 - (-1 + -2). Suppose n = v - 3*v. Let j(a) = -a**3 - 6*a**2 - a - 3. Let f be j(v). Solve -4 = f*s - 2*s for s.
-4
Let k(m) = -m**3 + m**2 + 2*m + 5. Let j be k(0). Solve j = -3*y + 14 for y.
3
Let s = 1 - 3. Let v be (-10)/10*(-7 - s). Let o = 6 - v. Solve 17 = -4*h + o for h.
-4
Let l(z) = -8*z - 152. Let o be l(-19). Solve 5*b = -o*b + 5 for b.
1
Let k be (-4 + (17 - 3))/2. Suppose -i = p - k, 3*i + p = 3 + 2. Solve -j - 4 = -i for j.
-4
Suppose 7*l + 60 = 4*l. Let h be ((-12)/10)/((-4)/l). Let u be h/15 + 17/5. Solve -10 = u*r - r for r.
-5
Suppose -39*g - 38 = -116. Solve -g*x = -0*x - 4 for x.
2
Let a be 11 - 4/16*44. Solve -9*t + 16 + 2 = a for t.
2
Let f be (-56)/(-3) - (-8)/24. Suppose -14 = f*y - 90. Solve 0 = -p - y for p.
-4
Let s(b) = -b**3 + b - 1. Let y(r) = -5*r**3 + 15*r**2 - 12*r - 15. Let g(w) = 6*s(w) - y(w). Let v be g(-16). Let q = v + 29. Solve -q - 4 = 5*t for t.
-2
Let c = 36 + -27. Suppose -5 = k - d - 2, -4*k = -3*d + c. Solve k = 2*i + i for i.
0
Suppose 10*y - 2 = 118. Suppose 2*f = -5*h - 2, -4*f = 5*h - 3*h - y. Solve 0 = f*c - 19 - 1 for c.
5
Suppose 6 - 2 = d. Suppose d*v = -v. Let r(k) = -k + 9. Let l be r(5). Solve v = -l*w - 8 for w.
-2
Let u be ((-30)/(-9))/((-4)/(-18)*-3). Suppose -h + 40 = -5*h. Let r = u - h. Solve -19 + 4 = r*l for l.
-3
Let z(i) = -i**3 + 12*i**2 - 22*i + 5. Let j be z(10). Let r be (-6)/j*(-15)/(-6). Solve r + 4 = -5*u for u.
-1
Suppose 2*l - l + 17 = 2*o, -15 = 3*l. Let z be (308/(-24))/(-11) + (-1)/o. Solve z = -3*b - 11 for b.
-4
Let o(x) = x**3 - 14*x**2 - 15*x + 33. Let t be o(15). Solve -7*i = -5 + t for i.
-4
Suppose 3*z - 108 = -96. Let u be (-3)/12 - (-3)/12. Solve u = -z*y - 10 - 6 for y.
-4
Let n(l) = 51*l**2 - 1. Let p be n(-1). Suppose -4*y + 9*y = -p. Let g = -10 - y. Solve g = -2*u - 2 - 4 for u.
-3
Suppose -40*p