 5, -13 = -m*x + p for x.
5
Let t(i) = -3*i + 4. Let v be t(3). Let o = v - -9. Let g = 7 - o. Solve 4*z + 12 = a, 11 = -4*a + g*z + 33 for a.
4
Suppose 8*p + 4*r = 3*p, 4*p + 4*r + 4 = 0. Suppose v + 3*a + 9 = 0, -7*v + p*a + 12 = -3*v. Solve 5*q + 3*j = v, -q + 2*q - 2 = -j for q.
-3
Let a be (-2)/7 - 406/(-49). Suppose 0 = 2*n - a + 2. Solve -2 = -h - 2*b, -n*h + 5*b = -0*b + 16 for h.
-2
Let g be (21/(-15))/((-1)/5). Solve s - g = 5*x + 19, 13 = -2*x + 3*s for x.
-5
Let m = 2 + 2. Let o be (-6 - -1)/((-10)/m). Solve 5*v + 4*u - 1 = 0, -4*v + 3 = -o*u - 3 for v.
1
Let n be 2 + 3/(0 - -3). Solve 2*c + n*l = -0 + 4, 0 = 4*c + 4*l for c.
-4
Suppose 0 = -0*p + 2*p. Let h = p + 6. Suppose 5*d - q = q + h, 2*q = 2*d. Solve -d*x + 4*i - 14 = -5*x, -4*x + i = 13 for x.
-2
Let x be (-16)/(-2) + (4 - 2). Suppose 2*h + 3*h - x = -2*s, -24 = -h + 4*s. Solve -h*d - w = -17, -3*d = w - 4*w - 9 for d.
4
Let k = -29 - -29. Solve 3*m + 5*q + 2 - 27 = k, -3*q + 15 = -5*m for m.
0
Let f = 28 + -13. Solve -j + 2*i + f = 0, 0*j + 3*j = -3*i for j.
5
Let v be 2 + 0 + (-1 - -2). Let k be (-2 - -1)*(2 + -7). Solve 2*m - 6 = 0, k*f - 2*f + v*m - 18 = 0 for f.
3
Suppose 3*s - 6 = 2*w, 3*s = -0*w - 5*w + 6. Solve q - 5*q = -2*b - 16, 4*q - 8 = -s*b for q.
3
Let g = -14 + -19. Let h be 7/(3 - (-96)/g). Let c = 109 - h. Solve 5*d = -3*k - c, 8 + 20 = -4*d - 3*k for d.
-4
Suppose 2*t = -2*p + 20 + 18, -3*p + 77 = 4*t. Solve 4*b = -0*b + t, -b = 4*i + 3 for i.
-2
Let c(q) = 4 + 4*q**3 - 3*q**2 - 5*q**3 + 0*q**2. Let x be c(-3). Solve 18 = -2*y - j + x*j, y - 4*j = -19 for y.
-3
Suppose -2*t + o = -15, 0 + 5 = -2*t - 3*o. Suppose -t*v + 44 = 14. Let h(k) = -k**3 + 5*k**2 + 6*k + 3. Let r be h(v). Solve y - 6 = 3*a - 4*y, -r*y = 0 for a.
-2
Let o = 47 + -44. Solve 4*f + 0*c + 2*c = -16, -f - 11 = -o*c for f.
-5
Suppose -9*k = -6*k. Suppose k = 3*a - 2 - 7. Solve -3*d - d + 8 = 0, -2 = -2*w - a*d for w.
-2
Suppose h + 4 - 6 = -v, -4*h = -5*v + 19. Suppose 47 = 5*k + 2*x, k + x = -v*k + 40. Let g = k - 8. Solve g*o = j + 6, -3 = -2*j + o - 0*o for j.
3
Let k be ((-1)/4)/(7/(-28)). Let b = k - 0. Solve o = p - b, -4*p + 4*o = -2*p for p.
2
Suppose -5*s = 5*p + 10, -3*p - 2*s = p + 2. Let r be 10/((-4)/(p - 3)). Solve -r*k - 30 = 7*l - 3*l, -4*k - 8 = 0 for l.
-5
Let c be ((-8)/(-3))/((-2)/6). Let w be 3/(-6)*c/1. Let q be 36/8*4/6. Solve 3*x - w*m = -13 - 8, -4*x - q = 3*m for x.
-3
Suppose -5*d - 2*i - 6 = -d, i - 1 = 0. Let p be (2/(-4) + d)*-2. Solve -5*n - 30 = 5*u, 0*n = -3*u + p*n - 10 for u.
-5
Suppose o - 6*o - 10 = 0. Suppose 5*d = -3*r - 10, 3*d - d - 17 = 3*r. Let u be (-2)/o + 2/d. Solve 9 = 3*g, 5*g - u = j + 3*g for j.
3
Suppose 0 = -s - s + 188. Suppose -3*y - y + 2*v = s, 0 = -4*y - v - 97. Let l be (1/2)/((-6)/y). Solve 5*n - 10 = -3*m - l*m, -m = -2*n + 1 for m.
1
Let m = -1 + 4. Let u(h) = 5*h**3 - h**2. Let q be u(1). Suppose 10 = q*l - 6. Solve 0 + 14 = p + 5*x, -l*p = m*x - 22 for p.
4
Let b(j) = -j**2 + 16*j - 10. Let k be (-94)/(-8) + 2/8. Let q be b(k). Let o = -18 + q. Solve -3*p + 2*p = -3*s - 12, 5*s + p + o = 0 for s.
-4
Suppose -7 = -5*q - 4*o, -6*q + 3*q - 3*o + 6 = 0. Let i = 1 + q. Let d(j) = -j**2 - 2*j + 4. Let k be d(-3). Solve -2*m = -h + k, -3*h + 5*m + 4 = -i*m for h.
3
Let v = 21 + -18. Solve -v*z + r + 7 = 0, z + 2*r = -0*z + 7 for z.
3
Let r(q) = q**2 + 8*q + 7. Let m be r(-9). Solve -4*k = -w + k + m, 2*w + k = -1 for w.
1
Suppose -2*x = 2*p - 4*x + 8, -p - 19 = -4*x. Solve -5*a = 2*y, -2*a + p = 2*y + 7 for y.
-5
Let i = 2 - -2. Let j = i + 1. Solve 5*b + a + 22 = 0, 0 = j*b + 4*a + 1 + 27 for b.
-4
Suppose -4*c + 18 = -2. Solve -o = -4*v - 3, c*v - 6*o = -o for v.
-1
Suppose 4*n - 5*m = -0 - 7, 0 = 2*n + m + 21. Let p = 11 + n. Suppose -4*x + 10 = -p*x. Solve 0 = -2*k - 0*u + 4*u - x, -4*u = 0 for k.
-5
Let a be (-1)/(3/(-15)) + 0. Solve -a*v - 5 = -5*q, -2*q - 2*v = -5*q + 2 for q.
0
Let q = 9 - 2. Suppose -4 = n - q. Suppose 22 - 7 = n*g. Solve -g*m = 5*x + 30, x - 4*m = m for x.
-5
Suppose 5*r - 5*s - 4 = -8*s, -3*r + 2*s = -10. Solve 0 = -r*h - 3*n - 3, -5*h + 5*n = -2 - 28 for h.
3
Let h(v) = 2*v + 2. Let m be h(1). Solve 3*f - 3 = 5*d, -2*f + f = m for d.
-3
Let v(h) = h**2 + 6*h + 3. Let b be v(-6). Solve 0 = 3*w + p - 12, b*p - 3 = 4*p for w.
5
Suppose -15 = -0*u + u. Let x be 3/u + (-3)/(-15). Solve x = l - 0*l - 2*v - 1, -2*v + 8 = 2*l for l.
3
Suppose -3*n - 2*n + 4*h - 37 = 0, 4*n = -h - 38. Let s = -6 - n. Let c = s - 3. Solve c = -g + 5, 0 = q + g - 3 - 5 for q.
3
Let a be ((-2)/(-2) - 0)*0. Suppose -q + 4*v + 25 = a, 3*q - 27 = -2*v - 2*v. Solve 4*x + q = 4*g - 11, -3*x - 14 = -g for x.
-4
Let b = -21 - -24. Solve -2*q = -3*q + b, 0 = n + q - 2 for n.
-1
Let u(k) = -k - 1. Let j be u(-1). Suppose 3*x + x = j. Suppose -2*o - o + 12 = x. Solve 3*q = -5*w + 4, -3*w - o*q = -2*w + 6 for w.
2
Suppose q + 25 = -2*c, 3*q + 2 + 43 = -3*c. Let d be (-96)/c - (-2)/5. Solve 3*f - 7 = 4*j, 5*f - 2*j - d = 3*j for f.
1
Let z(q) = q**3 + 1. Suppose 4*k + 3*t = 5, 2*k - 5*t + 3 = -14. Let n be z(k). Solve -3*o - 3*i - 20 = o, n = 2*i for o.
-5
Let w(j) = -j**3 - 5*j**2 - 6*j - 2. Let q = 5 - 9. Let z be w(q). Let m(b) = 2*b - 9. Let o be m(z). Solve 3*p + 14 = -h, 18 = -3*h + o*p - 4*p for h.
-5
Let f = 2 - -3. Suppose 3*t + 7 = -f. Let q be (-1)/2 - 22/t. Solve 7 = y + 5*h, 5*h = y + 4*h + q for y.
-3
Suppose 2*f = 16 - 0. Suppose 3*l + l - f = 0. Suppose -i = i - l. Solve -y - 10 = 3*z - i, 5*y + 5*z + 15 = 0 for y.
0
Suppose -o = -4*o + 12. Suppose 0 = -l + o*l - 72. Solve -4*h + 3*c = l, c = 2*c - 4 for h.
-3
Let h = -14 + 27. Let n be 4/(-2) + h + -1. Let o(q) = 2*q - 6. Let u be o(4). Solve -10 = 2*g + 2*r, u*g + 0*r - n = 3*r for g.
-1
Let k = -9 + 13. Suppose 20 = -5*j, 3*s - k*j - 15 = 10. Solve -y = -s*q - 1, -2*q - 2*q + y - 3 = 0 for q.
-2
Suppose u - 3 = -3*h, 0 = -4*h + 2*u - 3*u + 5. Solve 5*n + 9 = -3*x, -h*n = -5*x - 7 - 8 for x.
-3
Suppose 5*r - 50 = -0*r. Let n = 6 + -3. Let i = n - 1. Solve 0*c = -4*c - 2*m + r, -i*m = c - 7 for c.
1
Suppose -19 = 2*y - 5*y + 4*f, 2*y = 4*f + 14. Solve 5*o + 18 = t - 2, 0 = 4*o - 3*t + y for o.
-5
Let q be 32 + (-7 - (3 - 7)). Solve -4*j = 5*u - q, 19 = 5*u + j - 7 for u.
5
Let p(v) = -19*v**2 - v. Let d be p(1). Let a = -13 - d. Solve -3*f + 5 = -a, -t + 6 = 2*f for t.
-2
Suppose 0 = 5*c - 5*f + 10, 3*c = 4*f - 1 - 1. Let x = c - -6. Solve x = 5*u - 5*p + 5, -11 - 5 = -4*p for u.
3
Suppose -4*q = -5*q, -5*l + 50 = -2*q. Suppose -2*w + 8 = 4. Solve -2*r = -r + 2*t - l, -4*r + w*t = -10 for r.
4
Suppose -3*z + 5*z = -6. Let m = -1 - z. Solve -m*i = 3*h + 9 + 10, 2*h = 5*i for h.
-5
Suppose -20 = -2*x - 3*x. Solve -2*i - x = -3*h, 4*h = -3*i - h + 13 for i.
1
Let q = 16 - 16. Solve q = n + 4, n + 1 = -d + 2*n for d.
-5
Let m be 3/((-18)/(-15))*-2. Let l be ((-4)/(-10))/((-1)/m). Solve l*w + h + 10 = 0, 2*w + 3*h = w - 5 for w.
-5
Let p(a) = a**2 - 3*a - 2. Let f be p(4). Let d(k) = k + 7. Let s be d(3). Solve s = 5*r - 5*m, 0 = -4*r - f*m - 22 for r.
-3
Suppose 5*i - 122 = 53. Suppose 0*r - 5*r + 5*d + i = 0, r - 2*d = 12. Solve -3*k + r*k - 6 = 2*p, -3*p - 4*k = 19 for p.
-1
Let t(s) = -3*s - 3. Let f be t(-6). Solve -5*m = -3*b - f, m = -5*b + 3*b - 10 for m.
0
Let g = 0 - -2. Suppose g*h + x - 19 = -6, x = 2*h - 3. Suppose w + 2*w = 9. Solve -w*f + 5*v + 13 = -7*f, 4*f - 4*v + h = 0 for f.
-2
Let z = 4 + 0. Let n = z + 0. Suppose -31 = -5*g + n. Solve -2*b - 5*f = -g - 19, -4*f + 7 = -3*b for b.
3
Suppose b = 5*d - 15, 5*d - 5*b = 33 + 2. Let k be (-2)/(-18) - (-426)/54. Solve d*a = -a - 4*w + 7, 0 = 4*w + k for a.
5
Let d be 12/42 + 6/(-21). Solve 21 = 3*j - d*j + 4*u, -2*j - 2*u = -12 for j.
3
Let t be -2 - -1 - 6/(-1). Suppose -5 + 1 = -2*u - 5*g, -u = -2*g - 2. Solve 3*f + 15 = t*i + u*f, 5*f - 29 = -i for i.
4
Let u be (256/(-36))/(-4) - 6/(-27). Solve -u*i + 2 = 3*p, -5*i = -5*p + 42 + 3 for p.
4
Suppose 5*j = -8 + 18. Solve -19 = -u + 5*k + 2, -k = j*u + 13 for u.
-4
Suppose u - 14 = -11. Solve -u*n - 3*f - 3 = 0, 0 = -3*n + f + 2*f - 21 for n.
-4
Suppose -s - 1 = -3. Let t(x) = x - 1. Let v be t(5). Suppose d + 5*y = -13, 3*y + 4 = -v*d - y. Solve d*j - s*g = -2*j, -2*g - 12 = 2*j for j.
-2
Let g be (54/9)/(((-3)/(-3))/1). Solve -4*o - 22 = 2*m, o - g*o = -m + 10 f