
3
Let p(a) = 2*a**2 - 16*a - 208. Let r be p(15). Let t = 1 + 2. Solve -r*x + 4*z + 4 - 24 = 0, t*z - 14 = x for x.
-2
Suppose 0 = 2*v - w - 3, -w + 5 - 9 = -v. Let g be 6 + (v - -2) - (-108)/(-36). Solve 4*j - 9 = -j - g*n, 25 = j - 5*n for j.
5
Suppose 6*a + 5*o = 2*a - 161, -3*o = -2*a - 53. Let x = a - -36. Solve z - 4*k = -x*z - 1, -3*z - 5*k = -8 for z.
1
Suppose 4*p - 4*g = -16 + 4, 0 = -5*p - g - 3. Let k be p/2*0/4. Let b be (-38)/152 + 9/4. Solve 10 = -5*l + 5*z, k*l + 14 = -b*l - 3*z for l.
-4
Suppose -2*i + 8 = -0*i + 5*s, 4*s - 10 = -2*i. Let h be 4/(-22) + (78/(-11))/(-6). Let z = -16 - -19. Solve -z*w + 5*y - i = w, 2*w - h = -3*y for w.
-1
Let k(i) = -i**2 - 6*i - 1. Let v(h) = h**2 + 6*h + 2. Let d(b) = 2*k(b) + 3*v(b). Let s be d(-8). Solve -12 = 4*g + 2*f, 7*f = 2*f + s for g.
-5
Suppose -y - 1 = 6*q - 4*q, 4*y = -q + 17. Solve 3*s + 4*p + 9 = 0, 0 = -y*s + p - 2*p + 2 for s.
1
Suppose 2*c + 4*z = -16, -13 = 4*z + 3. Let o = 4 + 0. Let j be 2/(0/(-2) - 4)*-10. Solve -j = -3*w + o*k, 2*k - k + 2 = c for w.
-1
Let d be (-1)/3 - (-343)/147. Solve 2*t + d*t = 0, -5*t + 20 = 5*g for g.
4
Let m = 28 - 16. Suppose 0*q - 12 = -2*l + 4*q, 0 = -5*l + 4*q + m. Solve x - 5 = -2*x - 4*k, -5*x + 2*k - 35 = l for x.
-5
Suppose 7*o - 2*o = 20. Suppose 4*d = -2*c + o, -2 = -6*d + 5*d - c. Solve 25 = -d*q - 5*q, -q = n for n.
5
Let c be 5*(-12)/40*-2. Let p be ((-1)/c)/(2/(-24)). Suppose -n = 0, p*n + 6 = -4*d + 34. Solve 2*g = 3*a - 2*a - d, 3*a + 5*g + 34 = 0 for a.
-3
Let f(g) = 3*g + 42. Let q be f(-14). Suppose q*r + 4 = -r - 2*x, r - 4*x = 14. Solve 0 = 4*h - 3*s - r, -3*h + 6*h + 5 = -s for h.
-1
Let j = -37 + 37. Suppose j = -f + 15 - 3. Solve 0 = 2*u + 3*c + f, 8 = -u - 0*u - 2*c for u.
0
Suppose -37 - 128 = -5*t + 5*h, 64 = 2*t - 3*h. Suppose t = -7*w + 14*w. Solve -w*n = 2*f - 8, -4*n + 2*f - 8 = -3*n for n.
0
Suppose -46 = -10*n + 4. Solve -15 = 5*i, 0 = -4*f + n*f + i - 1 for f.
4
Let x be 3 - (-12 - 132/(-12)). Solve -5*h - 8 - 9 = b, -4*b - 4*h = x for b.
3
Let q = 4 - -2. Let k(l) = -l**3 + 5*l**2 + 6*l + 3. Let b be k(q). Suppose 2*f = -b*f + 15. Solve -o - f = 4*n + 2*o, 3*n + 12 = o for n.
-3
Let f be (61 - 76) + (12 - -3). Suppose 0 = o - 3*o - 12. Let c be ((-8)/6)/(4/o). Solve -4*m + f = -2*n - c, 5*m - 2 = 2*n for m.
0
Let i(f) = f**2 - 4*f + 3. Let h be i(3). Suppose 4*z - 3*y = -0*y + 55, 83 = 5*z + y. Solve h = r + 5*p + 17, -2*p + 3*p = 4*r - z for r.
3
Let i = 31 - 31. Let k be i - 30/((-20)/4). Let a be (-3 - 6)*(-1 + 0). Solve -22 = -4*n + 2*v, -2*n + a = -5*v - k for n.
5
Suppose -d + 1 = 2*q, -3*q + 0*q = 3. Suppose -d*s + 12 = 6. Solve -s*v + 4*g + 2 = 0, 7*v = 5*v - 5*g - 16 for v.
-3
Let b = 928 - 927. Solve 4*p + b = -5*n + 2, -3*n + 6 = -3*p for n.
1
Suppose -5*g + 17 = -13. Let v be g/12*(12 - 2). Solve -i - 5*l + 14 = 0, -4*i + v = -l + 4*l for i.
-1
Let j be 2*6/(-8)*-6. Let z be (-6)/(-9)*6 + (-1)/(-1). Let l = j - z. Solve l*a - 3 = -m + a, -2*m = -a + 8 for m.
-3
Let l be (-4)/(-4) + -38 - 0. Let i = l + 39. Solve 0*h - 2*h + 28 = -5*a, i*a = 4*h - 24 for h.
4
Let q = -3 - -8. Suppose -3*h - 2*b = 10, 14 = -3*h + q*b + 39. Let g be ((-6)/4)/((-7)/14). Solve h*z + z + 8 = -3*p, -g*p - 12 = 0 for z.
4
Suppose -14 = -3*m - 5*g, 5*m - 11*g - 44 = -9*g. Solve -m = -2*r + 4*u, -4*u + u = -3*r + 3 for r.
-2
Let t(i) = -i**2 - 15*i + 54. Let f be t(-18). Solve f*u - 2*u - 25 = -5*j, -4*u + j - 23 = 0 for u.
-5
Suppose -3*i - i + j = -16, -i = -3*j - 4. Solve 0 = -2*y, t = i*y - 0*y - 4 for t.
-4
Let q = 13 - 8. Let a(c) = -c**2 + 4*c + 7. Let j be a(5). Let h(v) = -v**2 - 2*v + 19. Let g be h(3). Solve -d = -4*d - g*m + 22, -j*d + 24 = q*m for d.
2
Suppose -2*l - 10 = -5*k, 4*l = -2*k + k - 20. Suppose 19*s = 26*s - 112. Solve p + 4*z + k*z - s = 0, 4*p + 3*z - 12 = 0 for p.
0
Let b(p) = -p**3 - 20*p**2 - 20*p - 19. Let f = -34 + 15. Let t be b(f). Solve 4*m = 3*n + 8, t = n + m - 5*m for n.
-4
Let v be (-6)/(18/(-15)) - (-4 - -9). Solve 4*i + 3*z + 2 = v, i + 5*z = -20 + 11 for i.
1
Suppose -3 = -3*g + 9. Let a be 45/12 - (68/(-16) + 4). Solve -2*h - 12 = -a*q, -q - 3*h + 0 = g for q.
2
Let x = -301 + 320. Solve -4*b = -8*b + 5*k + 32, k + x = 5*b for b.
3
Let t(x) be the first derivative of x**4/4 + 20*x**3/3 + 3*x + 10. Let d be t(-20). Solve -3*q - 6 = -d*o, -q + 3*o - 20 = -5*q for q.
2
Let b = -13 + 14. Let k be b/3 + 0 + (-112)/(-24). Solve 0 = -4*g - 4*f + 24, f = k*g - 2*f - 22 for g.
5
Suppose 0 = -2*v + 1 + 37. Suppose 5*q - v - 1 = 0. Let h(j) = j + 15. Let f be h(0). Solve -2*o + f = -5*o - q*y, 3*o - 12 = 5*y for o.
-1
Let a = -400 + 414. Solve m + m = 3*y + a, -2*y - 24 = -5*m for y.
-2
Let w = -81 - -81. Let f = 159 + -155. Solve 0 = 4*b, -i + w*b + f = -b for i.
4
Suppose z = -4*z + 25. Suppose 123*m - 110*m = 65. Solve -w = 2, z*w = 2*y + 3*y + m for y.
-3
Let t(q) = -7*q**2 - 11*q. Let g be t(-4). Let h = -68 - g. Solve -3*y - 5*x + 26 = h, -2*y + 3*y - 3*x = -10 for y.
2
Suppose 0 = -7*s - 7 + 28. Let n be s/2*(-80)/(-24). Let y = 9 + -4. Solve -2*m - n = -0*m + y*o, 0 = 4*o + 12 for m.
5
Suppose 4*m + 14 = -3*j, 7 = j - 47*m + 46*m. Solve -j*q = -9*a + 6*a + 11, 0 = -q + 2*a - 6 for q.
-4
Let f(r) = r**2 + 24*r + 28. Let j be f(-23). Solve -2*i = -5*m - 14, 2*m + j*i - 7 = -30 for m.
-4
Suppose 0*g = 7*g - 28. Suppose -2*x - 22 = -g*s, -17 + 4 = 4*s + 5*x. Solve -3*o + 0*j + 5*j + 11 = 0, s*o + 4*j = -25 for o.
-3
Let k(s) = -s**2 + 10*s + 19. Let x be k(11). Let u(o) = o**2 - 6*o + 4. Let z be u(x). Solve 5*v - v - 12 = -4*y, -5*y + z = 0 for v.
-1
Suppose 11 = 3*m + 4*u + 4, -23 = -3*m + 4*u. Solve 0 = -4*h + m*k - 6, -4*h + 3*k = h + 14 for h.
-4
Let w = -96 - -104. Suppose -4*l = -t - 3, 7 = 3*t - w. Solve 5*z - p = -1 + 6, l*z = -p + 9 for z.
2
Let b be ((-2)/4)/(1/(-12)). Let w = b - 4. Let v be 6/4*(-76)/(-57). Solve 2*q + t = -w*t - 18, 0 = -2*q - v*t - 14 for q.
-3
Suppose 2*o = n + 6, -3*n - 4*o = -5*o - 7. Solve -2*u + 3*b + 24 = -7*u, -4*u - n*b = 24 for u.
-3
Suppose -i - 3*i = -5*v - 50, -i + 2*v = -14. Let k be i + 2 + (-7)/7. Solve p + 4*h - 10 = k, 0 = 3*h - 12 for p.
5
Let c be 44/(-33)*3/2. Let w be -1*(0 + -1 - c). Let j be (w*9/3)/(-1). Solve -3*o - 2*o = 25, -p + j*o + 11 = 0 for p.
-4
Let x(i) = -i**2 + 8*i. Let h be x(8). Suppose -15 + h = -3*f. Solve -5*s = f*a - 10, -10 = 3*a - 5*s + 24 for a.
-3
Let a be (2/2)/(44/176). Solve 6*h - h - 13 = 3*y, a*y + 10 = 3*h for h.
2
Let l be (-14 - -6)*(3 + (-30)/8). Solve 0 = k - j + l*j + 6, -2*k - 1 = -j for k.
-1
Let y(w) = w**2 + w + 1. Let l be y(-2). Let s be (-2)/(((-3)/2)/l*1). Solve 3*t = 4*q + 2, s*q - t - 4 = -2 for q.
1
Suppose 0 = 286*t - 290*t + 16. Solve -t*b = -2*p + 20, -5*p + p + 3*b = -20 for p.
2
Suppose 5 = -3*l + 17. Suppose -t = 2*y + 7 - 2, -l*t = -y - 7. Let g = 3 - t. Solve 0 = -3*m + 12, -3*m + 30 = g*i + 2*m for i.
5
Let k = -105 - -110. Suppose k*l - 6 = 4. Solve s - 30 = 5*f + 2*s, -5*f - 15 = -l*s for f.
-5
Let v(i) = -i + 6. Let x be v(3). Suppose 7*m = x*m - 8. Let r be (6/m + 3)/(-1). Solve 2*a = -r*a + y - 4, 0 = -4*a + 3*y - 12 for a.
0
Let y(v) = -2*v - 2. Let h be y(2). Let q(k) = 2*k + 4. Let d be q(h). Let s be d/20 - (-12)/5. Solve 3*i - 12 = 3*c - 4*c, 0 = -s*i - 2*c + 8 for i.
4
Let w = 140 - 130. Suppose 6*o - 4*o = -g + 7, 4 = -4*o. Suppose -2*x - 4 = 0, 0 = -2*i + x + 3 + g. Solve -p - 4*q = i, w = -4*p + 4*q - 10 for p.
-5
Let n be 2/4 - 182/(-4). Let g(u) = -57*u - 302. Let p be g(-8). Suppose n - p = -4*q. Solve -a - 24 = 4*o, 2*a - q = 5*a + 3*o for a.
-4
Let a(b) = b**3 + 2*b**2 - 2*b - 10. Let j be a(-3). Let k(r) = 5*r + 67. Let f be k(j). Solve -4*t + 16 = -f*m, 3*t - 2 = -m - 0*t for m.
-4
Let v(z) be the third derivative of -z**6/120 - 3*z**5/20 + z**3/3 - 33*z**2. Let l be v(-9). Solve d = -2*s, 1 = 2*s + l*d + 3 for s.
1
Let f(g) = g**3 - 5*g**2. Let c(p) = -p + 2. Let l be c(-3). Let w be f(l). Suppose -5*y + 13 - 3 = w. Solve -y*s - 2 = 6, -5*s = -t + 15 for t.
-5
Let r = -8 - -9. Let p = 9 + r. Suppose -u + 3 = 2*s, -2*u - p = -s - 1. Solve -f = 1, -4*j - 1 = 2*f - s for j.
1
Let x = -101 + 106. Solve x*n = 3*d + 35 - 7, -3*d + 7 = 2*n for d.
-1
Let l = 775 + -776. Suppose -t + f - 4 = 1, 4*f = -4*t - 28. Let d be l*t*(-6)/(-9). Solve 12 = -3*r, -16 = d*i - 