for a.
0
Suppose 5*p - 22 = 5*t + 28, -3*t = 3. Let c = -52 + 47. Let j be (c + 4 + 4)*1. Solve -x = 3*u + 5 - 14, -5*x + p = -j*u for x.
3
Suppose 11*r - 208 = -164. Solve -w + 2*x = 0, 0 = 3*w - 3*x + r*x + 14 for w.
-4
Let n(y) = -14*y + 157. Let j be n(11). Solve -j*i + 6*i - 10 = -4*c, 4*i - 10 = -2*c for i.
2
Suppose -5*r + 20*g + 12 = 17*g, -5*r = -g - 4. Solve 0 = -0*o - 3*o + i - 7, r = 5*o - 2*i + 13 for o.
-1
Let c = -29 + 32. Suppose -2*r + 1 = -2*l - 7, 0 = -c*r - 4*l - 9. Solve -a - 2*u = -3 + r, 6 = 3*u for a.
-2
Suppose 8 = 4*t + 4*p, t = 2*p - 10 + 18. Let o be (0/(4 + -2))/(-1). Suppose -t*c = -z - 112, -8*z + 3*z = o. Solve 0 = -3*q + 15, -3*u = u + 4*q - c for u.
2
Let l be (4/6)/(-3 + (-101)/(-33)). Solve -4*a + 13 - 33 = 0, 0 = 2*d - a - l for d.
3
Suppose 14 + 121 = 5*v. Suppose -10*z = 3*y - 5*z - 29, -3*y - z = -25. Solve 0*p - y = -4*s - 3*p, -3*s + 3*p = -v for s.
5
Let v be (-27)/54 + (-12)/(-8). Solve 2*z - 3*z = h + 4, -5*z + v = -2*h for h.
-3
Let g(m) be the first derivative of 2*m**3/3 + 11*m**2/2 + 9*m - 16. Let q be g(-5). Solve 4*j = -4*s - 16, -j - s - 24 = q*s for j.
1
Let o be (-11)/(-44) + (-21)/(-12). Solve -v = 2*j - 6*j - 1, 5*j + o*v = 15 for j.
1
Let d(t) = t**3 + 3*t**2 + 9*t + 99. Let y be d(-5). Solve -m + y*n - 14 = -n, -3*m = 5*n - 18 for m.
1
Let m = 25 - 11. Suppose -2*a = h - 12, h - 7 = -3. Suppose -4*t + 15 = -t. Solve -10 = -t*i - 5*y, 0*i + a*i + y = m for i.
4
Let x = 284 + -284. Solve -d + 5*d = 3*j + 32, x = j - 5*d + 29 for j.
-4
Let q be 5 - (-1 + 2) - 1. Let y be 3 - 24/(-5) - (-1)/5. Solve -5*h = -2*g + 18 + y, g - 15 = q*h for g.
3
Let x(w) = -3*w**3 - 1. Let l be x(-1). Let d be ((-3)/4*l)/((-12)/32). Solve -4*u - p + 3*p - 8 = 0, -5*u + p - d = 0 for u.
0
Suppose 4*f = g + 6, 2*f - 12 = -g - 0*f. Solve 5*o + 3*b = -g - 7, 2*o + 8 = -4*b for o.
-2
Let k(v) = 10*v - 2*v - 6 - 2*v - v. Let m be k(3). Suppose -4*q + m*q - 115 = 0. Solve -5*s - 5 = -2*u, 0 = -3*s - 0*s - 4*u + q for s.
1
Let b(h) = h**3 - 1. Let z(l) = l**3 - l**2 + l. Let w(c) = -2*b(c) + z(c). Let s be w(0). Let a be 3/s*8/4. Solve -n - 2*n + a*v = 6, 4 = n + 5*v for n.
-1
Let c = 35 + -23. Suppose -a - 4*b = 16, -4 = -5*a - 2*b - c. Solve -s = -q - 2, a = -2*q - 2*q - 2*s - 26 for q.
-5
Let n(p) = -p**2 + 10*p + 1. Let z be n(0). Solve -4*j = -5*m + z - 0, m + 4*j = 5 for m.
1
Let n(b) = -66*b - 129. Let p be n(-2). Solve -13 = -2*h + 3*z, -20 + 1 = -p*h + 4*z for h.
5
Suppose 0 = 4*u - 114 + 70. Suppose -n - 2 = -u. Solve 7*s - 4*s = -d + n, s - 3 = 3*d for s.
3
Let k be 20/10*(-1 - -2). Let o = 9 - 7. Suppose 6*f - 2*a - 12 = f, -o*a + 4 = -f. Solve -5*v + 25 = -2*m, f*m - 7 = -k*v + 3 for v.
5
Suppose -119*z + 31*z + 440 = 0. Solve -z*l - 11 = 3*w - 35, -l = 2*w - 9 for l.
3
Let q(z) = z**2 + 4*z - 10. Let g = -27 + 21. Let v be q(g). Solve -11 = w - 2*b, w + w = -v*b + 2 for w.
-3
Let r(b) = -b + 11. Let a be r(9). Let x be 2 + a*((-4)/(-8))/1. Solve x*s - s = 0, -2*s - 1 = -z for z.
1
Suppose 7 = -z + 2*q, -5*q = -3*z + 6*z - 1. Let l be (4/z)/((-4)/6). Solve 26 = -4*y + l*t, -25 = 2*y - 8*t + 3*t for y.
-5
Let o = -74 + 72. Let n be ((-27)/o)/9 + (-3)/2. Solve -5*i + 26 - 1 = n, 4*i = 5*p + 10 for p.
2
Suppose 4*o = 2*s - 3 - 17, -36 = -4*s + 4*o. Solve 4*r = -x + 16, -4*r + 4*x = -x + s for r.
3
Let c(b) = 4*b - 2. Let o be c(3). Let v = 1 + 5. Let f = o - v. Solve 2*i + f = -3*j, -2*i + 5*j + 0 = 4 for i.
-2
Suppose 4*s = 5*s - 2. Suppose 25*f = 20*f + 25. Suppose -2*c + 38 = 2*i, -20 = f*i - 4*c - 106. Solve i = -a + 5*u - s*u, -4*a + 5*u = 37 for a.
-3
Let w = 0 + 4. Suppose -2*q + 4 = -q. Suppose 0 = -q*z - 5*o + 15, 2*z - 2*o - o = 13. Solve -b + z = -2*i, -w*b - 15 = -7*b + 4*i for b.
5
Let k = -222 - -227. Solve -c + 5*p - 10 = -4*c, -20 = -3*c + k*p for c.
5
Let s(n) = n**3 + 26*n**2 + 46*n - 32. Let a be s(-24). Solve 0 = -4*f + 8, -3*f + 5*f - a = 4*l for l.
-3
Suppose 2*t = 19 + 19. Let g = -19 + t. Suppose g = 5*u - l - 16, -3*l = 4*u - 10 - 18. Solve 3*q + u*b - 2 = 26, 5*q - b = 16 for q.
4
Suppose 6*l = 3*l - 27. Let z be -3*((-87)/l - 1). Let v be (-82)/z + 4/(-26). Solve 0 = -2*f + 3*u + 7, -2*f - 5*u + v = 2*f for f.
2
Suppose 2*w + 9 = x, -22*w - 18 = -3*x - 19*w. Solve 0 = 4*s - 2*s + 5*g + 20, 5*g + 20 = -x*s for s.
0
Let c = 30 - 23. Suppose 20 = -c*r + 12*r. Suppose 2*d = r*d - 6. Solve -d*f = -5*f - 2*q + 8, -2*q + 3 = f for f.
5
Let f(h) = -h**3 - 11*h**2 - 10*h. Let z be f(-10). Solve -5*t = 3*k - z*t + 21, -13 = 2*k + 3*t for k.
-2
Let o be 4/6 - 42/(-18). Let w(g) = 2*g**3 + 63*g**2 - 170*g + 2. Let i be w(-34). Solve 13 = -o*m + i*m + 4*t, -4 = m - t for m.
-1
Let i be (((-462)/(-6))/(-11))/((-2)/4). Solve -4*n + u - i = 0, 2*n = 8*u - 3*u - 16 for n.
-3
Let w be (-220)/(-33)*(-7)/(112/(-12)). Solve 2*m = 4*z - 14, 5*m = 2*m + 2*z - w for m.
1
Suppose 0 = -4*w - 12, -11 = -5*c - 3*w + 40. Solve -k + c = 3*m, 0*m - 5*k - 16 = -4*m for m.
4
Let l be (-540)/(-39) + (-6)/(-39). Let c = l - 14. Let b = c - -3. Solve b*f - 18 = 2*z - 1, 0 = 3*z - 5*f + 27 for z.
-4
Let o = 2 - 2. Suppose b + o = 4. Solve 4*n + r = 20, -4*n - b*r = -6*n - 8 for n.
4
Suppose -19*r = -380 + 133. Suppose 4 = 2*m - 0. Suppose m*i = 3*i - 3. Solve 0 = -4*n + 2*k + 4, 0*k + r = i*n + k for n.
3
Let r be (-87)/12 - 9/12. Let v = 43 + r. Suppose -2*c - 2*f + 2 = -f, 5*c - f = 12. Solve -i + 7*u - c*u = -20, 4*i = 5*u + v for i.
5
Let a(k) = -18*k + 1. Let q(r) = -r. Let t(n) = a(n) - 5*q(n). Let l be t(-1). Solve 5*f - 2*f - l = 2*x, f + 2*x = 2 for f.
4
Suppose v - 56 = -2*c, 44 = -0*c + 2*c + 4*v. Solve 4*j - 3*m = 17, -2*j + c = 3*j + 5*m for j.
5
Let p = 416 + -416. Solve p = 8*d - 4*d - 4, -5*q + 5*d = 5 for q.
0
Let f(l) = -8*l - 1. Let c be f(-1). Let h be 4*(-222)/12 - (-2 + -1). Let p = h + 71. Solve 5*z + 2*y - 11 = -p*y, 4*y - c = 5*z for z.
1
Let a be (2 + (-16)/6)*-3 - 2. Let o be (-5)/2*(-8)/5. Suppose a = o*u - 18 + 2. Solve -3*m - u*w - 32 = -7*m, -3*m - 1 = 2*w for m.
3
Suppose 10 = 2*r - 0. Suppose -2*z = 4*s - 14, 2*s + 3*z = -2*z - r. Let g be 52/12 + (-4)/(-6). Solve i = -5*u - 25, 5*u - g = -0*u + s*i for u.
-4
Suppose 6 = 4*s - 6. Suppose 0 = -x - 4*u - 8 + 29, -s*x = u - 19. Solve x = -k - 4*w + 3, -2*k = -w + 4 for k.
-2
Let d be 1*(1 + -2) + (3 - 0). Solve -2*u - d*u + 14 = 2*r, 2*u = -5*r - 5 for u.
5
Suppose -2*q = 3*a - 19, 0*a - 2*a = q - 11. Solve -b = 3*l - 10, -4*l + 5*b - 8 = -q*l for l.
3
Let t = 36 + -29. Let p = -2 + t. Solve -2*z = p*v - 15, 25 = -0*v + 5*v for z.
-5
Suppose 0 = -2*x + 3*j - 0*j + 129, 3*j - 267 = -4*x. Let u = x - 65. Solve 0 = -2*n - 5*l - 4, 3*n + 4*l - u = -0 for n.
3
Suppose l + 24 = 28. Let r be (l/8)/(2/8). Suppose f - 5 = -0. Solve 5*g + 9 = i - 9, -r*g = f*i + 18 for g.
-4
Let m(x) = -3*x**3 - x**2 - 5*x - 4. Let u be m(-1). Let k be (18/(-15))/(2/(-5)). Solve d - 22 = 2*n - k*d, -4*d + 23 = -u*n for n.
-1
Suppose -129 + 19 = 11*d. Let h be (-1)/d + 1548/120. Solve -4*g - h = -5*k + 17, 4*k + g - 3 = 0 for k.
2
Let i = -19 - -30. Let h(s) = 3*s**2 + s**3 + i - 8*s**2 - 5*s**2. Let b be h(10). Solve 3 = 2*m + b, -5*f = 2*m - 17 for f.
5
Let k(p) = p**2 - 26*p + 173. Let r be k(15). Solve 2*z + 4*f - r = 0, 2*z - 4*f = -10 - 14 for z.
-4
Let h = -2 - -5. Suppose -4*i = -22 - 58. Solve -4*t + i = 4*v, -6 = 4*v + h*t - 26 for v.
5
Suppose -9*k = -7*k + 5*z - 41, 0 = -5*k + 5*z + 85. Suppose -5*i + 39 - 14 = 4*n, 2*i = -n + 7. Solve 30 = -n*g - 4*w, g - 5*w - 5 - k = 0 for g.
-2
Let z(i) = -i**3 - 25*i**2 + 7. Let p = -148 - -123. Let a be z(p). Solve -2*y + 4 = c - y, c + 2*y = a for c.
1
Suppose 2*j - 23 = -5*v, 2*v = 5*v - 5*j - 20. Suppose -v*b + 13*b = 16. Solve 0*u - 3*u + 16 = -b*w, w = -5 for u.
2
Let g be 12/60 + 68/10. Solve -3*m - 7 = x, -5*x + g = -0*m + m for m.
-3
Let m(f) = 3*f**2 + 1. Let v(i) = i + 7. Let h be v(-6). Let q be m(h). Let x(b) = -22*b + 70. Let t be x(3). Solve 5*u = 4*n - 22, 4*u - t = -q*n - 0*u for n.
3
Let t = 12 + -9. Let f(u) = -3 + t*u + 1 - u**2 + 6. Let w be f(4). Solve -4*y - 8 = -0*a + 4*a, w = 4*a + y - 7 for a.
3
Suppose -2*m + 0*m + z = 1, -2*m - 4*z = -14. Let b be (0/(-15))/(m/1). Solve b*a = 2*d + 3*a + 17, 2*a = -4*d - 14 for d.
-1
Let z(i) = i**3 + 5*i**2 + 5*i + 2. Let a be z(-1). Solve 0 = -d - 