= -y. Solve x - 12 = -5*a for a.
2
Suppose 4*x - 3*i = 3, -x + 5 = -6*i + i. Solve -3*d - d - 4 = x for d.
-1
Let o(x) = 2*x**2 - x - 3. Let g be o(2). Solve u + 2 = g*u for u.
1
Let z(w) = -3*w. Let h be z(-1). Let s = h + -1. Solve s*y + 2*y + 20 = 0 for y.
-5
Let g(y) = -y**3 + 7*y**2 - 6*y + 2. Let n(l) = 12*l + 18. Let o(c) = -c - 1. Let m(f) = -n(f) - 15*o(f). Let u be m(3). Let i be g(u). Solve v - i = -v for v.
1
Suppose 9 + 4 = f. Let d be ((-9)/(-3) - 30) + -3. Let v = 33 + d. Solve -v*u - 1 = -f for u.
4
Let j be (-1 + -3)*(-2)/2. Let f = 8 + -3. Let c = 9 - f. Solve -5*u - c = -j*u for u.
-4
Let d(v) = v**2 - v - 2. Let w(r) = -r**3 - 5*r**2 - r - 2. Let s be w(-5). Let c be d(s). Suppose -14 = -5*h - c. Solve -h*a - 2*a - 12 = 0 for a.
-3
Let n(t) = 2*t**2 + 4*t + 2. Let p be n(-2). Suppose 3*h - 7 = -19, 5*j - 2 = -p*h. Let o be 2/5 - (-69)/15. Solve -o = -j*r - 15 for r.
-5
Let t = 18 - 15. Solve t + 1 = m for m.
4
Let y(b) = 3*b + 41. Let i be y(-12). Solve -g + 8 = -i*g for g.
-2
Let f be (0 + 2)*(-3 - -5). Solve 0 = -0*a + 2*a - f for a.
2
Let w = 117 + -117. Solve w*n = -4*n + 4 for n.
1
Let l(i) = i**3 + 6*i**2 - 4*i - 2. Let r be l(-6). Let d be (-1 + 1 - 7)/(-1). Let n be (-1)/2 + (-14)/(-4). Solve -n*k + d = r for k.
-5
Suppose 6*h - h - 205 = 0. Suppose -4*k + h - 1 = 0. Solve -k = 2*p + 3*p for p.
-2
Let f be (-4)/5 + (-20)/(-25). Solve -q + f*q - 1 = 0 for q.
-1
Let j be ((-6)/(-10))/((-1)/15*-3). Solve 2*s - j = -5 for s.
-1
Let g(l) = -l**2 + 14*l + 1. Let u(s) = 2*s**2 - 27*s - 3. Let f(p) = 11*g(p) + 6*u(p). Suppose 29 = 5*b - 16. Let m be f(b). Solve -10 = 2*w - m for w.
-4
Suppose 0 = -2*o - 5 + 15. Suppose -3*i + 3 = 2*j, 0 = j + 3*j + i - 21. Let c be (6/4)/(j/20). Solve 0*h = -c*h - o for h.
-1
Let a be -4 - -11 - 4/2. Solve d = a*d + 4 for d.
-1
Let d be (-4)/(-18) + 399/27. Suppose -3*y + 0 + 9 = -3*o, o - 5*y = -15. Solve -4*z - z + d = o for z.
3
Let r(d) = -4 - 5*d**3 + 4*d**3 + 2*d**3 - 10*d**2 + 12. Let a be r(10). Solve -a = -w - 3 for w.
5
Let y = -3 - -5. Suppose 2*o - 6*o + 16 = -s, -2 = 2*s - y*o. Solve s*g = -g - 20 for g.
-4
Suppose 0 = -3*j + 12, -3*m = -j + 2*j + 128. Let g be 31/11 + (-8)/m. Solve i + g = 2*i for i.
3
Let k be (-115)/(-25) - 6/10. Let z(v) = v**3 + 7*v**2 - 11*v - 22. Let s be z(-8). Solve y - s = -k for y.
-2
Suppose -3*l = -5*l + 8. Suppose c + l = 8. Solve c*q - q - 3 = 0 for q.
1
Suppose -3*h - h = -2*v - 20, 0 = 4*h - 5*v - 26. Suppose 9*f + 5 = h*f. Let x be (0/(-8))/(1*f). Solve x = 3*d - 5*d + 8 for d.
4
Let x be (15/(-2))/(33/(-44)). Solve 8*m + x = 3*m for m.
-2
Let h = -2 + 4. Solve m + 3 + h = 0 for m.
-5
Let n(f) = -3*f**2 - 24*f + 4. Let y be n(-8). Solve 2*s + 2 - y = 0 for s.
1
Suppose -r + 2*c + 24 = 0, 3*r - 66 = 2*c + c. Solve -4*s + 9*s = -r for s.
-4
Suppose 0 = -2*w + 5*j - j - 6, -4*w + 4*j = 0. Let t(d) = 2*d**2 - 3*d - 4. Let n be t(w). Suppose -37 = -4*m - n. Solve -m = 3*s + 1 for s.
-3
Let q(i) = 4 + 2*i - 3*i + 6*i**2 + 0 - 3*i**2 - i**3. Let r be q(3). Let t = 0 - -4. Solve 0 = c + t - r for c.
-3
Suppose -52 = 5*u - 4*b, 6 = -4*u - 5*b - 11. Let s = u + 11. Solve 5*a = -22 - s for a.
-5
Suppose 9 = -0*i + 3*i. Solve 7*x = 4*x + i for x.
1
Let m(h) = h - 3. Let w = 1 - 0. Suppose 2*s = 13 + w. Let n be m(s). Solve -i - n = i for i.
-2
Let j = 97 + -83. Solve 5*a + j + 11 = 0 for a.
-5
Let v be 2/(-3) + (-2)/(-3). Suppose 2*h - 5*m + 22 = 5*h, -4*h + 20 = 2*m. Solve v = h*k + k for k.
0
Let j be (-51)/(-6) - (-1)/2. Suppose -4*a + 78 = -22. Solve -4*i + j*i = a for i.
5
Let d(k) = 7*k**2 - 2*k - 1. Let w(b) = b - 11. Let x be w(10). Let g be d(x). Solve -2*j + 0*j = -g for j.
4
Let a be 0 + -3 + (-6 - -9). Solve 0 = -a*u + 2*u - 10 for u.
5
Let h be -2 + 0 - (8 + -13). Suppose 0 = h*m + 2*m - 85. Solve -4*x = -3 - m for x.
5
Let g be (-3)/2*(-20)/15. Let z(q) = 2*q**2 - 3*q + 1. Let r be z(g). Solve -2*y = -r*y for y.
0
Suppose 3*q = 2*q + 2*z + 8, -3*z = 4*q - 10. Solve -q*l = -l for l.
0
Suppose 6 = 3*i - 3. Solve 0 = d - 2*d + i for d.
3
Suppose -3*h = a - 42, 2*h + 5*a = 18 - 3. Let v = h - 11. Solve -3*w - v = -5*w for w.
2
Let a(k) = 2*k**2 - 2*k - 2. Let l(s) = s - 2. Let y be l(4). Let g be a(y). Solve b = g*b for b.
0
Let l be (-15)/(-3) - 1 - 0. Suppose -3*j + l = -2*j. Let o(s) = -s**2 + 4*s + 2. Let p be o(j). Solve -r + p - 3 = 0 for r.
-1
Let o = 12 + -10. Solve o*d + 1 = 11 for d.
5
Suppose -g + 4*c + 45 = 0, 3*g + 2*c = c + 148. Let l = g - -16. Let o = l + -42. Solve 0 = 5*b - 8 + o for b.
-3
Suppose -2*u = 3*k - 6*k, -2*k = -2*u + 4. Solve -2*r - 12 = -u*r for r.
3
Suppose -2 + 0 = 2*u. Let r be ((-1)/2)/(u/12). Suppose -q + r = q. Solve -q*c + 8*c - 25 = 0 for c.
5
Let r(o) = o - 7. Let a be r(9). Suppose a*k + 2*k - 4 = 0. Solve 0 = -2*i + i - k for i.
-1
Suppose n - 6*n = 25. Let w = n + 7. Solve w = -l - 0*l for l.
-2
Let t = 15 + -10. Let k = 3 + t. Solve k = m + 3 for m.
5
Suppose -4 + 3 = -2*c - z, 5*c + 4 = 4*z. Solve c = -y - 4*y + 5 for y.
1
Let d = 52 - 51. Solve 2*n + 5 = -d for n.
-3
Suppose 2*g - 2*u = 16, 3*g - 3 - 7 = -4*u. Solve -g + 1 = -5*s for s.
1
Suppose 0 = 3*i + 4*d + 12, -4*i - 3*d - d - 12 = 0. Let h = -4 + 0. Let p = i - h. Solve -p*f - 5 = f for f.
-1
Let l(u) = u**3 - 3*u**2 - u + 3. Suppose 2*h = -0*h + 6. Let m be l(h). Solve m = o - 3*o for o.
0
Let q(z) = z**2 - 13*z - 12. Let l be q(14). Solve -w - 2 = -l*w for w.
2
Let o = 64 + -61. Solve o*b = b + 4 for b.
2
Let h(a) = -a**3 - 6*a**2 + 3*a + 8. Let j be h(-7). Suppose 3*l - l - 156 = 0. Suppose -j = -3*b + l. Solve -b = 5*w - 13 for w.
-5
Let i be 3 - (-1 + (-4 - -9))/(-1). Solve -i*h - 8 = -3*h for h.
-2
Let m be (-1 + 2)*2/2. Let t(x) = -5*x**2 - x. Let z be t(m). Let j(p) = -p**3 - 6*p**2 - p - 2. Let u be j(z). Solve d - 2*d + u = 0 for d.
4
Let x = 6 - -14. Solve 0*o = -4*o - x for o.
-5
Let g be 3*-2*(-4)/6. Let n be 0 - (g + (-4)/2). Let o be 6/((n - -3)*2). Solve -o = 4*i + 5 for i.
-2
Let f = 5 + -7. Let q be f/(6/(-27) - 0). Solve i + 2*i - q = 0 for i.
3
Let a = -13 + 21. Solve a + 0 = -2*c for c.
-4
Let k(t) be the third derivative of t**5/60 - t**4/24 + 7*t**3/6 - 4*t**2. Let d be k(0). Solve -5*q - 2 = -d for q.
1
Let v(c) = -4*c**3 - c**2 - 2*c. Let g = 16 - 17. Let b be v(g). Solve 0 = -b*q + 5 for q.
1
Let t(y) = -y**2 - 11*y - 6. Let l be t(-8). Let m be (-12)/(-9)*l/4. Suppose a + 4*a = -2*w + m, a - 3 = -w. Solve 15 = 6*x - w*x for x.
5
Let t be -3 + (1*-14)/(-2). Solve -3*p + 8 = -t for p.
4
Suppose 4*u = 2*x + 4, 6*x - 2 = 2*u + 4*x. Suppose u*l - 2 = 2*l. Solve 2*h = 3*h + l for h.
-2
Suppose v = -4*d + 3, 0 = -2*d + 3*d + 5*v + 23. Solve -3*r - d - 4 = 0 for r.
-2
Suppose -2*o + 4 = -2*f - 0, -2*f + o = -1. Solve 0 = m - f + 2 for m.
1
Suppose -3*f = -2*f - 0*f. Solve -u = 1 - f for u.
-1
Let p(b) = b**2 - 9*b. Let h be p(9). Solve h*y + y - 5 = 0 for y.
5
Let s(c) = c**2 - 8*c + 7. Let q be s(6). Let r(x) = 3*x - 25. Let n be r(11). Let p = q + n. Solve -p*z = -z - 8 for z.
4
Let y(p) = -3 + 5*p + 1 + p**2 - 2*p. Let b(t) = -4*t**2 - t + 1. Let k be b(1). Let l be y(k). Solve 0 = -l*q + 5*q + 9 for q.
-3
Let w = 6 - 2. Suppose 3*b - w*b - 2 = -c, -5*c - 2*b = -38. Solve 0 = -2*s - c - 4 for s.
-5
Let c(x) = x**2 - 18*x - 16. Let p be c(19). Solve -f = p*f for f.
0
Suppose 0 = -4*o + 5 + 3. Let c = 0 + 0. Let s(p) = p**2 - p + 6. Let j be s(c). Solve o*v - j = 4 for v.
5
Let w(n) be the second derivative of -13*n**3/6 - n**2 + 3*n. Let i(y) = -9*y - 1. Let g(a) = -7*i(a) + 5*w(a). Let m be g(-4). Solve 0 = -m*j + 1 - 16 for j.
-3
Let t = 5 - 3. Let k(i) = 2 - 2*i**2 - 3*i + 3*i**2 + 0*i**2. Let o be k(t). Solve o = 4*v - 2*v - 8 for v.
4
Let q be (-2 + 2)/(-4 + 5). Let o(d) = -d**3 - d**2 + 2. Let u = 2 - 2. Let s be o(u). Solve -4 = -q*w - s*w for w.
2
Let n(q) = 1 - q**2 - 3*q**2 + 5*q**2. Let z be n(-3). Solve r = -4*r + z for r.
2
Let x(j) = j**2 + 2*j - 7. Let i(s) = -2*s + 7. Suppose -3*d - g = -17, -d - 5*g - 4 = -5. Let z be i(d). Let l be x(z). Solve 0*q = -2*q + l for q.
4
Let r be ((1 - 0)*2)/2. Let h be (3 - r) + 2 + 0. Suppose 3*c = -i - c - h, -4*i + 52 = -c. Solve -i = -2*t - 4 for t.
4
Suppose 5*t = 4*j, 3*j = -2*t + 3*t. Let p = j - -2. Let i(l) = -l**2 + 6*l - 4. Let v be i(3). Solve -p*s - 9 = -v*