= a. Let p = a + -12. Let q be 33/p + (-2)/(-12). Solve -q*t = t + 12 for t.
-4
Let u be ((-4)/(-2))/((-2)/(-4)). Suppose -4 - u = -d. Suppose -4*n + d*n = 12. Solve 0 = n*q - 0 - 3 for q.
1
Let a(b) = b**3 + 11*b**2 - 10*b + 26. Let x be a(-12). Solve -10 + 4 = x*m for m.
-3
Suppose -227*z + 222*z + 20 = 0. Solve -z = r + 3*r for r.
-1
Suppose -4*q - 2 = 2*w, 5*q - 1 = q - 3*w. Let p(c) = -23*c - 1. Let h be p(q). Suppose r + 4*r = h. Solve -4*z + r + 3 = 0 for z.
3
Let n(s) = 8*s**2 - 5*s**2 + s**3 - 15 + 4 - s + 15*s**2. Let i be n(-18). Solve 3*v = -i - 8 for v.
-5
Suppose 4*k - 6 = 2. Suppose -12 = -o + 4*c, -k*c - 23 = -4*o - 3. Suppose 0 = -3*u - o*u + 21. Solve 0 = -u*v + v + 2 for v.
1
Suppose -5*w = -0*w - 5*m, 2*w + m = 3. Let o be 4*(21/12 - w). Let u be 3 + 0 - (11 - 12). Solve -u = -o*j + 5 for j.
3
Let a(k) = k**3 - 6*k**2 + 4. Let u be a(6). Suppose 0 = 4*o - 2 - 14. Suppose -8 = -o*s, 0 = i + u*i + s - 127. Solve -8*c - i = -3*c for c.
-5
Let j(s) = s + 17. Let c be j(-17). Solve c = 38*b - 36*b - 8 for b.
4
Let c be (-8)/(-6) + 1/(-3). Suppose 3*y - 49 - 141 = 5*w, -y + 114 = -3*w. Let o = 38 + w. Solve p = c - o for p.
1
Let l(d) = -d - 9. Let q be l(-6). Let b be (-2)/q + 2 + (-8)/3. Solve -5*z - 13 + 33 = b for z.
4
Let n(i) = -8*i + 314. Let t be n(38). Solve -k - t = k for k.
-5
Let b(v) = -2*v - 22. Let d be b(-9). Let o be 15/((9/d)/(-3)). Solve -3*w = w - o for w.
5
Let w(p) = p**2 + 5*p - 14. Let x be w(2). Let c = -9 + 13. Solve y - c*y + 3 = x for y.
1
Let z(x) = -3*x**2 - 3*x - 1. Let h(b) = -4*b**2 - 3*b - 1. Let i(p) = 2*h(p) - 3*z(p). Let w be i(-4). Suppose -9 = -r - w. Solve -3 = -3*a + r*a for a.
-3
Suppose 832*r - 806*r - 130 = 0. Let q be 0 + 0 + -16 + -1. Let d be (-4)/6*-3 - q. Solve r*i - d = 6 for i.
5
Let p be (4/7)/((-8)/(-28)). Solve p*q - 1 + 3 = 0 for q.
-1
Suppose -9*s + 432 = 162. Solve 5*v = -5*v - s for v.
-3
Let f = 37 - 22. Let g = 6 - 8. Let t be 2/(-3) - g/3. Solve 3*q + f = -t*q for q.
-5
Let g(o) = 14*o**3 + 9*o + 1 + 12 - 10*o**2 - 13*o**3. Let u be g(9). Suppose u = -w + 15. Solve -w*l + 3*l = -1 for l.
-1
Suppose b - 3*b + 18 = 0. Solve -b*r - 4*r = -26 for r.
2
Let v = -1160 - -1161. Solve v = -13*d - 12 for d.
-1
Suppose -23*k + 2281 = -1077. Solve -139*o + k*o = 0 for o.
0
Let y(r) = -r**3 + 3*r**2 - r + 1. Suppose -3 = m, 3*m + 3 - 2 = -4*w. Let d be y(w). Suppose 6*q = q + 5*j + 25, 25 = 5*q - 3*j. Solve q*o = 2 + d for o.
1
Let c be 45/(-6)*(-1)/((-20)/(-16)). Solve 0 = -3*u - c for u.
-2
Suppose -38*o = -36*o - 100. Let t = 55 - o. Suppose 4*u + 4*c - 16 = 0, 2*u + 5*c = -0*u + 14. Solve 0 = -t*w - 8 - u for w.
-2
Let s be 340/24 - 2/12. Suppose s*f - 48 = 10*f. Solve -4*x + f = -x for x.
4
Let n = 13 + -11. Let c be (-816)/(-132) + n/(-11). Solve f + c = 3*f for f.
3
Let p(s) = -2*s + 11. Let q be p(8). Let v be q + (-16)/(-4) + 2. Let d be 4/2 + 2 + -1. Solve -2*f + v = -d*f for f.
-1
Let q(t) = -t + 1. Let h be q(-5). Suppose -4*m - 3*g - g + 4 = 0, 4*m - g = 9. Let v = h - m. Solve v*a = -2 + 10 for a.
2
Let d(f) be the second derivative of -f**5/20 + 5*f**4/12 + f**2 - 10*f. Suppose 20 = 3*q + q. Let v be d(q). Solve -2*b = v*b for b.
0
Suppose -1043*y + 1035*y + 16 = 0. Solve y*j - 4*j - 2 = 0 for j.
-1
Suppose -56 - 12 = -17*w. Solve -2*c = -w - 0 for c.
2
Let x be ((-30)/7 - -4) + (-51)/(-7). Solve x*n - n = -30 for n.
-5
Let u be -4*(-65)/20*1. Solve 7*m - u - 1 = 0 for m.
2
Suppose -4 = -2*g - 4*v, -5*v + 4*v = 4*g - 22. Let z(p) = -p**3 - 2*p**2 - 2*p - 15. Let t be z(-3). Suppose g = 2*n - t. Solve n - 5 = a for a.
-2
Let z be (-11 - (-1092)/98)/((-2)/(-42)). Solve 22*n + z = 19*n for n.
-1
Let u(f) = -f**3 + 4*f**2 + 4*f - 1. Let y be u(4). Let n = 7 - y. Let o = 8 + n. Solve o = -p - p for p.
0
Let y(a) = a + 16. Let r be y(-13). Let q = 51 + -49. Solve 3 = r*o - q*o for o.
3
Let g(i) = -5*i**2 - 43*i + 11 + 34*i + i**3 + 15 - 6. Let b be g(6). Suppose 3*r - 15 = -2*r. Solve -5*j + r = -b for j.
1
Suppose -31 = 2*k - 17. Let b be (-1 - 0)*(2 + k). Let t be (4*-4)/(3 - b). Solve -3*c + t = 2 for c.
2
Let h be (13 - 3)*(2 + 1/2). Suppose 5*u = -4*b + h, 25 = 5*u - 0*b - 5*b. Solve -j - 4 = -u*j for j.
1
Suppose 13 = n - 5*v - 10, 0 = -4*n + 3*v + 24. Let q be 5 + 1 - (5 - n). Let l = q - 4. Solve l = 5*w - 0 - 15 for w.
3
Let x = -206 + 206. Solve -3*b - 1 + 7 = x for b.
2
Let g = -20 - -32. Solve -7*y + 16 = -g for y.
4
Let s be (-39)/(-9) - 2/(-3). Suppose 19 = s*n + 4. Let m be 0 - (n - 12) - 1. Solve u = -u - m for u.
-4
Let c(d) = 15*d + 480. Let k be c(-32). Solve -8*f + 9*f - 5 = k for f.
5
Let o = 93 - 88. Suppose 0 = -8*m + o*m - 3*t + 45, 4*t = -3*m + 48. Solve -c + m = -4*c for c.
-4
Suppose 4*l = 20, -3*r + 25 = -2*l + 4*l. Solve 0 = m + r*m + 24 for m.
-4
Suppose -4 - 6 = -f - 4*l, f = -l + 4. Suppose f*v + 36 = 5*v. Let c = 14 - v. Solve -4*k = -c*k for k.
0
Let n(r) = r**3 - 8*r**2 - 2*r - 3. Let u be n(8). Let m = u + 9. Let v = 11 + m. Solve l + v = 3 for l.
2
Let c = 0 + -2. Let s be (c/2)/((-2)/2). Let w(b) = b**3 - 5*b**2 - 7*b + 6. Let u be w(6). Solve t = -u - s for t.
-1
Let f = 0 - -2. Let u(c) = -c**3 - 27*c**2 - 29*c - 74. Let d be u(-26). Solve 0 = -f*r - d for r.
-2
Let d = -2753 + 2759. Suppose -50 = -5*l + 5*r, -r - 10 - 52 = -5*l. Let c = -8 + l. Solve -14 = -c*b + d for b.
4
Let s = -96 + 102. Solve -z - s = 2*z for z.
-2
Suppose 16*d - 12*d - 48 = 0. Solve -4*l - d = -0*l for l.
-3
Let v = 93 - 86. Solve -6*y + v*y + 2 = 0 for y.
-2
Let o(b) = 5*b + 17. Let u(z) = -11*z - 33. Let v(x) = 9*o(x) + 4*u(x). Let k be v(-15). Solve -k*a = -10*a for a.
0
Let x(w) = 4*w + 45. Let y be x(-5). Solve -y = -6*f - 7 for f.
3
Suppose -116 = -7*m - 11. Solve 3*u = -2*u + m for u.
3
Let d = -116 + 97. Let x(k) = -3*k - 55. Let z be x(d). Let l = -12 + 17. Solve -z = l*w - 7 for w.
1
Let a(j) = 7*j - 21. Let l be a(4). Let r be (l - 2/1)/((-2)/(-4)). Solve 0*v = -2*v + r for v.
5
Suppose -9*r = -4*r - 20. Solve -42 = -r*g - 22 for g.
5
Let r be (-945)/(-36) + (-1)/4. Suppose 3*b - r = 10. Suppose b = -3*n, c + 4*n + 16 = -2*c. Solve 0 = 5*a - 15 - c for a.
3
Let f be (-144)/(-64)*104/3. Suppose -4*k = -n - k - 71, -n - 4*k - f = 0. Let q be (-4)/(-26) - n/26. Solve j - q - 1 = 0 for j.
4
Suppose -a + 19 = 5*j, -4*a + 29 = a + 3*j. Solve a*h = -2*h - 24 for h.
-4
Suppose -9 = -3*h - 5*n, -6*n = 5*h - 3*n - 15. Solve 16 = h*b + 1 for b.
5
Let t(i) = -2*i**2 - 26*i - 57. Let a be t(-9). Solve a*j - 30 = 30 for j.
4
Let x = 193 - 193. Let m be (-4)/(1 - 2)*1. Solve m*l + x*l - 20 = 0 for l.
5
Suppose -4*t = -15 - 29. Solve -t - 5 = 4*u for u.
-4
Suppose 3*o - 3*l - 3 = 12, -5*o + 4*l + 26 = 0. Let z be (-7)/(o/(-27) - 14/18). Solve 25 = -z*k + 2*k for k.
-5
Let u(s) = -4*s - 43. Let d be u(-12). Solve -d*o + 0 = 5 for o.
-1
Let h(s) = s + 3. Let i be h(-5). Suppose -4 = 3*m - 4*g, -5*m + g - 5 = -4*g. Let t be i/(-3)*(m - -6). Solve x - 6 = t*x for x.
-2
Let c(m) = -m**3 - 5*m**2 - 5*m - 5. Let f be c(-5). Let x be 0 + (-12)/f*-5. Solve -10 = -x*b - 2*b for b.
2
Suppose z - 5*p - 163 = 6, -296 = -2*z - 4*p. Let x be 490/z - (-2)/(-11). Suppose 0 = -q - 3*d + 5, -4*q = d + 3*d - 20. Solve 7 = x*f - q for f.
4
Suppose o = -5*z - 10, -12 = -4*o - 10*z + 16*z. Solve o = 2*q - 2 + 8 for q.
-3
Let d(b) = 2*b + 9*b + 31 - 39. Let k be d(2). Solve 2*o + 4 - k = 0 for o.
5
Let u be 106/3*(-33)/(-22). Solve 54*z = u*z + 4 for z.
4
Suppose -1 = 2*l - 5. Let f be 5/l*(-6)/(-15). Solve -s + 2*s = f for s.
1
Let r be (-6)/(-4)*((-102)/(-18) + -3). Solve 2*y = r*y + 2 for y.
-1
Suppose -2*d + 4 + 10 = 0. Suppose 0 = 4*c - d*c + 15. Let m be (2 - 1)*(-13)/(-1). Solve m = -4*y + c for y.
-2
Suppose -4*a - 5*m + 3*m = -6, 2*a - 21 = 5*m. Suppose v = a - 3. Solve 0 = -v*h - 3*h - 6 for h.
-2
Let a be 11/33 - (-8)/3. Let y(z) = -z**2 - z + 6. Let v be y(0). Let f = v - a. Solve f = -4*d - 1 for d.
-1
Suppose 4*r = d + 27, -r + d = 2 - 5. Suppose 0 = -5*l - r + 23. Let h(u) = -u**3 - 4*u**2 - u - 4. Let j be h(-4). Solve -l*i + i = j for i.
0
Let v(j) = -j**2 - 5*j - 2. Let h be v(-3). Suppose l + 0*l = h. Let f be 66/14 + l/14. Solve -2*a - 9 = -f for a.
-2
Let v = 22 - 33. Let h = -9 - v. Solve -2*n + h = -8 for n.
5
Suppose -8 = -d - 4*b, 5*b - 2*b - 6 = -3*d. Solve 