
2
Let p(v) = -v**3 + 8*v**2 + 12*v - 22. Let s be p(9). Let c(f) = 3*f - 12. Let u be c(s). Solve m - 1 = 3*w + 3*m, u*w = -4*m - 5 for w.
1
Let t = 15 + -13. Suppose -n = -t*n. Solve n = 3*s + y - 5 - 1, -2*s + 18 = -4*y for s.
3
Let o(t) = 10*t - 62. Let r be o(8). Solve -3*c = -5*f - 22, 0 = c - 3*c + 5*f + r for c.
4
Suppose -g - 2*m + 9 = 0, 0 = -m - m + 8. Let n be 3 + g/((-2)/6). Suppose 2*t - 35 = -3*t. Solve d - 3*d + u + 3 = n, -3*u = -2*d - t for d.
4
Suppose 3*i = 15, -5 = 3*w + 3*i + 139. Let j = w - -56. Solve 29 = -j*a - 5*f, -3*f + 4*f = 2*a + 2 for a.
-3
Suppose n + 2*v + 4 = 0, -5*n - 2*v = 2*v - 10. Suppose 5*d + 7 = 9*z - n*z, -d + z = 3. Solve -2*l = -5*a + 23, -l + d = -a + 5 for a.
5
Let b = 17 - 5. Suppose -3*q - 9 = b. Let u = q + 17. Solve -u = 5*l, -4 = 2*h - 3*l - 12 for h.
1
Let j = 58 - 54. Suppose 0 = 3*v + j*q - 32, -12 + 5 = 2*v - 3*q. Solve -m + t = 0, 2*m + 3*m - v = t for m.
1
Let u = -87 + 5. Let h = u + 86. Solve -h*o = -5*r + 25, -4*r - 3*o + 25 = r for r.
5
Let b = 80 - 50. Suppose -k + 0*k + b = 0. Let c = k + -17. Solve 0 = -2*x + s + c, 0*s + 20 = -4*s for x.
4
Let p = 9 - 4. Suppose 8*h - 35 = p. Solve 11 = -h*i + x, 5*x + 0*x = 3*i + 11 for i.
-2
Let d(x) = -x**3 + 25*x**2 - 64*x - 39. Let u be d(22). Solve 29 = -j + 5*g, -4*j + g = -u*j + 1 for j.
-4
Let o(g) = 2*g**2 + 14*g + 3. Let r be o(-7). Let i be 6 + (r + 1)/(-1). Solve -4*c = 2*n - i, c + 4*n - 14 = 3*c for c.
-1
Suppose 11*m = -326 - 554. Let f = m - -85. Solve t + p = -f, 2*p + 9 = t - 2*t for t.
-1
Let y be 2/(8/138)*14/7. Suppose -2*p - p + y = 0. Solve 5*a = -d + p - 6, 5*d = 4*a - 2 for a.
3
Suppose -16 - 10 = 2*v. Let k = v + 13. Let u be 93/33 + 4/22. Solve k = -2*w + u*h - 15, 4*h = 7 + 13 for w.
0
Let z(b) = -201 + 115 + 97 - b**2 - 2*b. Let p be z(-4). Solve p*y + 3*i = 18, 0*i - i = -3*y + 6 for y.
3
Let z be ((-30)/(-18))/(15/27). Solve 4*i = z*d + 9, i - 5*i + 15 = 3*d for i.
3
Let h = -42 + 14. Let o = h - -32. Suppose 0 = 2*x - o*x. Solve 6*i - 5*f = 2*i - 25, x = 2*i + f - 5 for i.
0
Suppose 5*w - 177 + 157 = 0. Solve 4*z - 2*i = 16, -2 = -5*z - 3*i - w for z.
2
Let c be -1 + 0 + 1*5. Let w(x) = 5*x - 13. Let h(l) = -4*l + 12. Let q(m) = 6*h(m) + 5*w(m). Let n be q(-4). Solve -c = n*k + 2*r, k + 3*r + r + 8 = 0 for k.
0
Suppose -2*w = w. Let n be w/((-20)/(-4) + -4). Solve -m - 5*a - 28 = n, 5*a = m - 17 - 5 for m.
-3
Suppose 136 = 37*z + 31*z. Solve 0 = -7*m + 2*m - z*f + 5, 29 = -4*m + 5*f for m.
-1
Let q be (18/(-45))/(1/(-5)). Let v be 4 + 4 + -7 - -2. Solve 5*l = -v*a + 22, 5*a - 4*a = q*l for a.
4
Let g(x) = -x**2 - 9*x - x**2 + 10 + 3*x + 3*x**2. Let z be g(2). Solve -6 = o - 2*s + s, z*s = 10 for o.
-1
Suppose -3*l - 83 = 5*d - 69, 3*d + 16 = 2*l. Solve -l*b + 0*b - 2 = 5*p, p + 4 = -4*b for p.
0
Let s(o) = 3*o - 3. Let x be s(6). Let u be (-3)/(12/(-16)) - 4. Suppose 3*h + 5*a = -6, -h - 6 = -u*h + 3*a. Solve c - 4*y + 1 = -0*y, -x = -4*c - h*y for c.
3
Let a = 140 - 97. Let p = a + -40. Solve -4*j = -7*j + p, -2*c = -j + 7 for c.
-3
Let l(k) = -2*k**2 - 24*k + 3. Let p be l(-12). Suppose 5 + 10 = p*h. Let r(b) = b**2 + b - 1. Let c be r(-2). Solve -5*f + 0 - c = -3*w, 25 = -5*f - h*w for f.
-2
Let v = -568 - -568. Solve -z - 5*d - 5 = 0, v*z + 5*z + 2*d - 21 = 0 for z.
5
Suppose y = -v + 6*y + 35, 0 = 2*v + 4*y. Let z = v - 2. Solve 4*c + z = 3*o, -o - 5*c - 10 = -4*o for o.
0
Suppose -5*o = -4*f - 10, 2*o - 6*o + 8 = 3*f. Solve 4*j = o*g - 14, 1 + 21 = -2*j + 4*g for j.
-1
Suppose 5*q + w = 31, 3*w + 5 = q - 2*q. Solve 0 = -n + j - 3, 2*n + n - j = -q for n.
-2
Suppose -z = i - 3*z + 4, -5*i + 28 = 2*z. Suppose h - w = 3, 2*w - 537 + 538 = h. Suppose 0 = -2*b - 1 + 13. Solve 0 = -3*t + t + b, -h*y = -i*t - 13 for y.
5
Suppose o + 5*m + 1 - 5 = 0, -3*m = 3*o + 12. Let t = 10 + -6. Let y be (-3)/o - (-6)/t. Solve 0 = 4*b - 4*p + 12, 0 = y*p - 6 - 0 for b.
0
Let a = 112 - 69. Let n = -41 + a. Solve 3*h = 5*k + n, -k + 7 = -4*h - 4*k for h.
-1
Let m = -9 - -24. Suppose -6 = 2*v + 5*t, -4*v + 5*t + 160 = 82. Solve 0 = d - 4*n - v, -9*d + m = -4*d - 5*n for d.
0
Suppose 3*x = -5*h + 40, 1 = 4*x - 4*h - 63. Let o be ((-144)/x)/(-2) + 1/5. Solve 2*i - 1 = 4*w + 15, -o*i - 8 = 2*w for i.
0
Suppose -449*d + 431*d = -90. Solve 0 = -3*j + 9, -4*j + d = -3*s - 22 for s.
-5
Suppose -3*d = -1 - 2. Let l be 7*(-2)/(d - 3). Solve -3*v - l = -5*z - 38, z + 3 = -v for z.
-5
Suppose 44*s - 45*s - 8 = -i, 0 = -4*i - 4*s + 32. Solve -4*t + 3*t - i = 4*o, 0 = -3*t - o - 2 for t.
0
Suppose 71*j - 72*j = -2. Solve 0 = -2*m + 5*c - 17 + 3, -j*m - 5*c = -6 for m.
-2
Let o = 275 - 274. Solve 5*u = 2*x + 2, 5*u = 5*x - 11 + o for u.
2
Let j = -1966 - -1969. Solve -3*q + j = 3*r - 9, 3*r - q = -8 for r.
-1
Let w be 122/8 + 1/(-4). Let r be (-625)/(-10)*(21/15 + -1). Solve -o - w = -3*u, -4*o = 3*u + 2*u - r for u.
5
Let r = -107 + 112. Solve -2*i = -r*o + 1, 13 + 6 = -4*o - 5*i for o.
-1
Suppose 34 = -d - o + 4*o, 52 = -2*d + 2*o. Let r = 46 + d. Solve r = 5*k - 5*j - 6, -3*j - 14 = -2*k for k.
4
Suppose -38*x + 40*x - 22 = 0. Suppose 4*f = -3 + x. Solve 3*p + f = 2*d - 0, 0 = -4*p + d - 11 for p.
-4
Let a(s) = s**3 + 13*s**2 + 2*s + 31. Let x be a(-13). Suppose 0 = 3*c + 5*i + 19, -3*c + 21 = -2*i - i. Solve 0 = c*h - x*j - 4, -j = j for h.
2
Suppose 2*m - 12 = -2*b, 5*m + 4*b = 30 - 5. Suppose 4*d + 294 + 18 = 0. Let k = d - -80. Solve 2*x + 3 = -4*i - m, 2*i + 2 = k*x for i.
-1
Suppose -19*u - 6*u + 100 = 0. Solve 3*m + d = -11, m - u*d = -m - 26 for m.
-5
Suppose -58 - 26 = -7*q. Let z = q - 12. Let g = 2 - 0. Solve 4 = -z*s - 4*s - g*f, 3*f = -s - 11 for s.
1
Let t(i) = i**3 + 6*i**2 - 6*i + 12. Let z be t(-7). Suppose 0 = -z*b - 2 + 22. Solve -5*m - 24 = 2*c - 3*c, -4*c - b = 5*m for c.
4
Let h be 2*(-3)/6 - -3. Let y = -2 - h. Let o be y - (-40)/(1 + 3). Solve -x + o*t = 3*t - 13, -13 = 3*x + 4*t for x.
1
Let c be 2/(-6) - (-50)/15. Let f(x) = -x**3 - 1 + 4*x - 14*x + 3*x + 6*x - 6*x**2. Let p be f(-6). Solve 15 = 7*q - c*q + 5*r, -q - 15 = -p*r for q.
0
Let f = 3 + 28. Let u = f + -29. Solve 2*d + 10 = 0, -3*w + u*w + 5*d + 22 = 0 for w.
-3
Let g be (0 - 1)/(1/(-4)). Suppose f + 2*i + i = 21, -g*f + 3*i = -129. Let c be -3*(-5)/f*0. Solve c = 3*d - 3, 4*d - 2*d = 2*y + 4 for y.
-1
Suppose -3*i + 1 = -x, -2*i + 22 = -i + 4*x. Suppose -7*n - i = -4*n - m, -5*n = m - 2. Solve 2*f + 3*p = 16 - n, -18 = f - 5*p for f.
2
Suppose 0*r - 4 = -r. Let m be -10*(-2)/5 - -12. Suppose m = 5*k - r. Solve -6 = -k*j - c, 0 = -0*c + c - 2 for j.
1
Suppose 5*w + 3*g + 2*g = 10, 3*w = 2*g - 4. Let u = 2 + w. Suppose -1 = a - 2*a - l, l = 2*a - 2. Solve -5*o = 4*j + 17, u*j + a + 5 = 0 for o.
-1
Suppose 39 + 51 = 5*m. Suppose -4*x + 2*x - 3*x = 0. Suppose x = -79*v + 84*v - 15. Solve -m = v*p + 3*n, 8*p - 3*p + n = -18 for p.
-3
Suppose -4*u + 5*l + 7 = 0, 37 = 4*u - 0*u + l. Solve -3*t + u*t - 5*v = 5, t - 17 = 5*v for t.
-3
Suppose -6*j + 1 + 5 = 0. Let m = 7 - j. Suppose -m*n + n = -15. Solve -3*v + n*u = v, -3*v - 4*u = 0 for v.
0
Suppose -155 + 443 = 12*g. Suppose 2*y = -6*y + g. Solve -1 = -z + y*u, 2*z + 3*z - 2*u - 18 = 0 for z.
4
Let m = 785 - 782. Solve 0 = 2*s - 4, 8 = h - m*s + 8*s for h.
-2
Let q be ((-4)/(-12))/((-1)/(-6)). Solve 3*j + 10 = -s, -q*j - 5 = -5*s + 4*s for s.
-1
Suppose r + 2*p = 23, 2*p + 0*p = 8. Solve -3*c - q = -3, -3*c - c = -5*q + r for c.
0
Suppose -107 + 17 = -5*s. Suppose -s = -4*f - l, 7*f - 30 = 2*f - 5*l. Solve 3*d + 2*k = 5*k + 6, -3*d + f*k = -3 for d.
5
Suppose 5*g - 94 - 71 = 0. Suppose 0 = -4*s + g + 19. Solve 3*l = -4*k + 8*k - 5, 5*l = 2*k - s for k.
-1
Let b(h) = -h**2 + 35*h + 401. Let w be b(44). Solve w*l = -3*v - 7, -v + 3*l + 0*l = -7 for v.
1
Let h be 35/(-1)*(-44)/110. Solve 4*m - v + 8 = -5*v, -h = m + 5*v for m.
1
Suppose -s = -3*o + 13, 5*o - 2*s + 153 - 175 = 0. Suppose 0 = -2*a - 0*a. Let c = a - 0. Solve o*q - 5*h = 8*q + 6, 5*q - h + 22 = c for q.
-4
Let q = -19 - -23. Suppose -6*k + 4*k - 62 = 0. Let a = 37 + k. Solve 4*z = 5*l - a, -l = -q*z + l for z.
1
Let n = -19 + 20. Let u be (n - -2)/(21/14). Suppose 4*w = u*w. Solve w = -5*f + 4*z - 45, -z - 20 = 2*f - 3*z for f.
-5
Suppose 4*w - 108 = -20. Let z = -28 - -31. Suppose -d + f = -z*d + 5, -3*d = f - 8. Solve -o - o = 4*x + w, -5*x 