 Let m = p + 13. Let b be (3 + -4)*m - -2. Solve n = 2*n + j - b, 3*n + 6 = 2*j for n.
0
Let f = 2132 - 2127. Solve -4*s - f*u = 5, 0 = u - 0 - 3 for s.
-5
Suppose -6*p = -4*p - 12. Suppose -u - 140 = -p*u. Let g be u/6 + (-4)/6. Solve -7 = v - 0*v + 3*r, g*r = -4*v - 20 for v.
-4
Let v = -461 - -474. Solve -13 + 15 = -m, i + v = -4*m for i.
-5
Suppose -4*i = -9 + 9. Suppose q - 5*w - 3 = i, -15 = -5*q - 3*w + 2*w. Solve 3*a + 6 = q*o, a - 2*o = 2*o - 8 for a.
0
Let v(b) = b + 16. Let h = 8 + -11. Let w = h + -4. Let n be v(w). Solve -n = -2*c + u - 4, 5*u = 5*c - 20 for c.
1
Let x = 9 + -12. Let f = x + -5. Let y = -5 - f. Solve 2*q = y*s, 3*q + 13 = -2*s - 0*s for q.
-3
Let t be 45/(-27)*6/(-5). Solve w - 18 = -x - t*w, w - 8 = -x for x.
3
Suppose a = -23 + 9. Let s = -14 - a. Suppose s*w + w = -5*x + 5, -2*x = w + 1. Solve n + 8 = 4*u - 0, x*n - 23 = -5*u for n.
4
Let s(t) = t**2 - 26*t + 4. Let f be s(26). Solve f*c + 2*u - 9 = -u, 2*c - 3*u = 9 for c.
3
Let b(i) = 1 + 2 + i**2 + 2 + 4*i. Suppose -r = -0*r, 4*f = -r - 16. Let g be b(f). Solve 5*z - 2 = -2*d + 3, -3*z + g*d - 28 = 0 for z.
-1
Let q be (0 - 1)/(3/21). Let l(m) = m + 12. Let y be l(q). Suppose -y*j + 0 = -15. Solve 2*z + j*z = 15, 2*z + 14 = 5*c for c.
4
Let x = -1469 + 1481. Solve -5*z - 7 = 4*r, 6*r - 3*z = 3*r - x for r.
-3
Suppose -4*w + 2*w - 2*z + 66 = 0, 0 = z - 3. Suppose 12*h = 18 + w. Solve h*i = 2*s - 10, -5*i - 17 = -0*i - s for i.
-4
Let m(t) = t + 8. Let c be m(-4). Suppose 5*n + 10 = -3*f + f, 2*n + 4 = c*f. Suppose 5*r + f*r = 0. Solve r = 2*s + j - 8, -4*s - 3*j = -13 - 3 for s.
4
Let u = 9 + -7. Let v = u - -3. Suppose 5 + 34 = v*m + 3*p, 4*p = 5*m - 18. Solve -z = 2*y - 7, m - 1 = -z + y for z.
-1
Let s(n) = -n**2 - 13*n + 18. Let z be s(-14). Suppose -2*u = -3*g - 4, -10 - 6 = -z*u + 4*g. Solve -4 = 5*j + q, 4*j - u = -3*q - 20 for j.
0
Suppose 5*q - 40 = -5*q. Solve v + 1 = q, -4*u = 2*v + 2 for u.
-2
Let b(a) = -a. Let o be b(0). Let n be 1*3 + -1 + (42 - 40). Let s be -2 + 24 - (o + n). Solve 4*j + 19 = -q, -3*j - s = -0*q + 2*q for q.
-3
Let a(l) = l**2 - 8*l - 4. Let z be 78/8 + 7/28. Let i be a(z). Let n = 35 - i. Solve 4*y - 3*m + 17 = 0, 3*y + n - 5 = m for y.
-5
Let k be 747/72 + (-24)/64. Solve 0 = 3*z - 2*w - k, -w - 8 = 2*z - 5*z for z.
2
Suppose 4*t - 29 + 9 = 0. Suppose -4*s + 2*s - 5*v - 79 = 0, 2*s + 86 = 2*v. Let c be -1 - (-4)/((-8)/s). Solve -4*u = -t*p - c, 4*u + p = -u - 4 for u.
0
Let f be (-5)/(-3)*(2 - 8/40). Solve f*g = -4*c + 9, -g = -5*c - 3*g + 13 for c.
3
Let u be (-82)/8 + (-3)/4. Let q = 14 + u. Solve 2*b + 7 = -q*w, -3*b + 1 = -2*w - 8*b for w.
-3
Suppose -3*b - 13 = -o, -25*b - 3 = -24*b. Solve 5*h + 2*j - o*j = 30, -2*h + 4*j = -28 for h.
4
Suppose -4*n = 3*o - 20, -7 = 5*o - 27. Suppose -5*s + 145 = 5*g, 8*g - 117 = 3*g + n*s. Solve -2*p + 5*j + 15 = 0, 7*j = 2*j - g for p.
-5
Let v be 1/((-2)/((-42)/(-3))). Let t be 61/(-7) - (-2)/v. Let f be t/(-6)*184/12. Solve -i - 4*r = -4*i + 32, -2*i + 3*r + f = 0 for i.
4
Suppose 4*o + 16 = 0, -5*c = -3*o - 12 - 10. Solve c*r = -4*f + f + 9, -3*r + 9 = 0 for f.
1
Suppose -19 = -51*f + 134. Solve 4*j = -f*p - 24, 0*p + 26 = -2*j - 5*p for j.
-3
Let w(c) = 2*c - 10. Let v be w(7). Suppose 2*i = k + v*k - 7, 3*k = -5*i + 29. Solve 3*p + 2*f = -4, k*p - p + f = -3 for p.
-2
Let m(b) = 100*b + 324. Let n(g) = 18*g + 59. Let l(z) = -5*m(z) + 28*n(z). Let v be l(-6). Solve 5*q - 2*a + 21 = 0, 3*a - v*a = 10 for q.
-5
Suppose j + 6 = 6*j + 2*x, 2 = -3*j - 4*x. Let w = 23 - 14. Suppose -3*i = 5*u - 16, 2*i + 8*u = 3*u + w. Solve b + d = 7, j*b + b - 4*d = -i for b.
3
Let r = 147 + -144. Solve -2*x - 3*x + 5 = -5*h, -5*h = -r*x + 5 for h.
-1
Let k(s) = -15*s - 43. Let l be k(-3). Solve l*n = 2*f, -51 = 5*n + 4*f - 6 for n.
-5
Let j be 0/(-3)*2/(-4). Let w be 1 + 2 + 0 + j. Suppose 5 = 5*c, -w + 0 = -u + 2*c. Solve 5*m + 1 + 9 = u*x, -3*m - 2 = -x for x.
2
Let v = -22 - -30. Solve 3*f - v = f, 4*m - 4 = -2*f for m.
-1
Let s(m) = -4*m**2 - 37*m - 9. Let n be s(-9). Solve -11 = -a - 4*f - n*f, 0 = a + 3*f - 8 for a.
-1
Suppose -5 = -5*x + 10. Suppose 0 = -2*h + 7 + x. Suppose h*s - 5*k = 95, 2*s + 0*k = 5*k + 35. Solve 5*i = 5*q + 30, -3*q - q = s for i.
1
Let s(h) = -h**2 - 15*h - 34. Let c be s(-12). Solve 4*v - 28 = 4*o, -c*v - 4 + 2 = 2*o for o.
-4
Let l be 24/4 + -5 - (-43 - 0). Let k = l + -39. Solve -2 = f, 4*u - k*f - 4 = 2 for u.
-1
Suppose -15*x + 20*x - 5 = 2*g, 3 = g + 3*x. Solve 4*y - 4*j + 16 = g, -j + 11 = -3*y - 1 for y.
-4
Suppose 0 = -2*v - 55 + 211. Suppose -4*a + v = 2*a. Solve 5*s - 3 = 4*y, -4*y - 5*s = -0*y + a for y.
-2
Let h(v) = -5*v**3 + 2*v**2 + 2*v. Let n be h(-1). Solve w + s = 2, -n*s + 2*s = -12 for w.
-2
Let d = -87 + 81. Let j be d/(-7)*(-84)/(-18). Solve 0*p = p + 4*o + 16, j*p + o - 11 = 0 for p.
4
Let x(i) = 7*i - 81. Let p be x(13). Solve -4*l + p = -3*q, -l + 3*q + 2 = -5 for l.
1
Let s(t) = -t**2 + 30*t + 361. Let o be s(-9). Solve 0 = -4*k - 5*q - 0*q + 20, 2*q + o = 2*k for k.
5
Let d be (7/21)/((-92)/(-30) - 3). Solve -32 = -4*g - 5*m, 0 = -3*g - d*m + 29 - 0 for g.
3
Let k(a) = a**2 + 15*a - 10. Let b(l) = 3*l**2 + 60*l - 17. Let y be b(-20). Let g be k(y). Solve p - 16 = -p + 2*w, -w - g = -5*p for p.
4
Let k(l) = 2*l + 8. Let s be (-3 - -1)*(-28)/8. Let x(p) = -p - 4. Let m(b) = s*x(b) + 3*k(b). Let f be m(-5). Solve -4*t + 2*o + f = -5, 4*o = -t - 21 for t.
-1
Suppose 0 = 200*j - 193*j - 28. Solve -3*a + 5*k - 6 = j, 3*k = 6 for a.
0
Let d = 227 + -225. Solve 0 = d*j - 3*u + 6, 2*j - u + 9 = -j for j.
-3
Suppose 21*t = 9 + 75. Solve 4*a - 5*l + 18 = 24, 3*a - t*l = 4 for a.
4
Let m be (2 + -6)*(-2 + 0). Suppose 2*a - 4*a = -m. Solve -24 = 3*f - a*d, -d = f + 4*d - 11 for f.
-4
Suppose 0*r - 12 = -3*r. Let j(o) = o**2 + 53*o + 433. Let i be j(-43). Solve -4 = 2*a - r*a, -i*c + 3*a = 3 for c.
1
Let g = 1519 - 1517. Solve 2*d + g = -o - o, -3*d = 15 for o.
4
Let q(y) = -y**2 + 10*y + 16. Let j be q(11). Solve 5*i - u - 20 = 2*u, j*i - 2*u = 15 for i.
1
Let p be (0 + 3/9)*-12. Let q(k) = -5*k - 10. Let w be q(p). Solve 0 = c - 3*a - 0*a - w, 3*c = a + 6 for c.
1
Suppose s - 18 = -3*f, 3*f - 14 = -2. Solve 0 = 2*z + 2*h - s, -6 = 2*z - 4*h - 0 for z.
1
Let w(d) = -4*d - 9. Let g be w(-6). Let z be 64/30 - 14/105. Let s(i) = i**3 - 2*i**2 + 2*i + 1. Let v be s(z). Solve -2*x - 2*l = l + v, 2*l = -5*x + g for x.
5
Let d = -29 + 39. Suppose -d = -2*b + v, -4*b + 3*v + 28 - 4 = 0. Solve 18 = -4*k + 2*f, b*f = -3*k - 4 - 14 for k.
-5
Let o = -7 + 13. Let i = 23 + -23. Let s = i + 3. Solve -s*z + 6 = l - 8*z, 3*z = -o for l.
-4
Let f be 9/(-36) + (-29)/(-4). Let a = 5 - f. Let k be ((-28)/(-35))/(a/(-5)). Solve 5*p + 2*h + h + 19 = 0, k*p = -h - 8 for p.
-5
Let q = -48 + 51. Solve -3 = -r + 3*v - 4, -q*r + v = -13 for r.
5
Suppose 0 = -4*q + 8 + 8. Suppose 4*f + q = -j, 3*j - 10 = 2*j + 3*f. Suppose a + 15 = j*a. Solve -3*x - 4*c + 28 = 0, 0*x = -a*x + 5*c for x.
4
Suppose j - 97 = -3*z, -3*j + 84 - 17 = 2*z. Let o be 10/((z/(-12))/(-4)). Solve 4*p - 6 = -p - 2*u, 3*p = -5*u + o for p.
0
Let o be ((-9)/(-6))/(((-18)/4)/(-9)). Solve 4*b + o = t - 2, b + 3 = 2*t for b.
-1
Suppose -3*o - 2*o = 3*f + 44, -2*o = -4. Let g(u) = u + 23. Let x be g(f). Suppose 0 = 3*d - 4 - x. Solve -j = 3*j + y + 5, -y + d = 0 for j.
-2
Let k(g) = g**2 - 2*g + 55. Let y be k(0). Let c = -50 + y. Solve 0 = 2*m - c*x - 26, 0 = 2*m + m + 3*x + 3 for m.
3
Let t(h) = -h - 1. Let g be t(-8). Suppose 5 = 3*s - 2*l - 7, 0 = -2*s + l + g. Solve 2*c - 17 = -5*w, 5*c + s*w + 10 = 7*w for c.
1
Let a = -575 - -586. Solve -a = 3*v + 2*j, -5*v + 2*j - 1 - 12 = 0 for v.
-3
Suppose -5*f + 76 = 1. Solve -v + 19 = -4*k, 0*k = -5*v - 2*k - f for v.
-1
Suppose -3*n - 21 = -4*p + p, n + 1 = -2*p. Let v be (-5)/2*4/n. Suppose -20 = g - 4*w, -2*g + 5 = v*g + w. Solve -y + 2 + 14 = 5*x, -2*y + 5*x - 28 = g for y.
-4
Suppose -3*o + 5*i + 29 = 0, 41*o - 37*o - i = 16. Let f = -7 - -12. Solve -4*k - f*v = 23, 3*k - 3*v = o - 0 for k.
-2
Suppose 41*i = 16*i - 13*i. Solve 2*q + k = i, -q - q = 4*k + 6 for q.
1
Let z(y) = 5*y - 32. Let m be z(7). Suppose -5*q + 3*r + 2 = 0, m*r = 2*q - 0 + 1. Solve -u = -2*f - 12, -5 = -2*u - q for f.
-5
Suppose -f - 47 = -2*a, 3*a = -0*f + 4*f + 63. Suppose 31 = -0*n + n. 