 + 1 = 5*u - 23 for u.
3
Suppose 0*q = 4*b - 3*q - 11, 3*q = -2*b + 1. Suppose 4*g = -5*c + 21, -c + g = b*g - 4. Suppose 2*t + 4*t = 66. Solve c*a = 3*l - 13 - 0, l = 5*a + t for l.
1
Let n be ((-7)/4 + 2)*4. Suppose -2*p + 15 = -5*o - 4, 0 = -o + 5*p - 13. Let j = n - o. Solve j*b + 5*x - 3*x + 6 = 0, 0 = -b + 3*x + 9 for b.
0
Let t be 2/((-8)/(-12)) + 2. Suppose t - 17 = -3*n. Solve 4*d = 3*q - 4, 5*q - 37 + 9 = -n*d for q.
4
Let c = 10 - 8. Let w = 3 + c. Suppose -4*x + 2*x = 0. Solve 16 = 3*y - 4*t, x = 5*t + w - 0 for y.
4
Suppose 0 = -5*d - 138 + 158. Solve -l + 4*l + 3*c - 15 = 0, -4*c = -d*l - 20 for l.
0
Let q(c) = -c**2 - 3*c + 42. Let p be q(-8). Solve d = p*d - t, 0 = -4*d - 4*t + 8 for d.
1
Let h be ((-12)/18)/((-2)/(-18)*-2). Solve -w + 2*s - 14 = 0, 0 = -3*w - h*s + 7 - 4 for w.
-4
Let c = -13 - -22. Let r be (80/44 - 2) + (-72)/(-33). Solve r*u = -4*j + 14, 2*u + 2*j - c = 3*j for u.
5
Suppose d - 4*n = 4, -2*n = d + 2*d + 16. Let f(i) = -i - 4. Let t be f(d). Suppose -4*b = -t*b - 8. Solve -x + b = -c, -3*x = -2*x + 2*c - 5 for x.
3
Let d = 11 + -9. Let i = 31 + -17. Suppose 2*t + k - i = -k, 3*k - 9 = t. Solve 14 = d*w - 2*f, -t*w + 1 = -f + 2*f for w.
2
Suppose 36 = 5*l + m, 2*l = -m + 20 - 8. Let f be (4 - 1)*l/6. Solve f*o + w + w + 10 = 0, -2*w = 5*o + 11 for o.
-1
Suppose 0*p - 4*p + 20 = 0. Solve -6*h = -2*a - 2*h - 6, -5 = -5*a + p*h for a.
5
Let d(p) = -2*p**2 - 24*p + 6. Let s be d(-12). Solve -2*n + n = 4*h + s, n = 2 for h.
-2
Let r(t) = t**2 + 3*t - 4. Let o be r(-5). Suppose 0 = -49*x + 53*x - 8. Solve g + 2*y + o = 0, 0 = x*g - 2*y + 3 + 3 for g.
-4
Let g be 6/8*20/(-12)*-20. Solve -4*k - 4 + 20 = -4*x, -5*x = 4*k - g for x.
1
Let n = -21 + 31. Let i be -5*(2 + -1 + 0). Let g = n + i. Solve 4*l = -4*m, g*l - 4*m + 19 = -17 for l.
-4
Let v be 6/(-2) + (-12)/(4 + -6). Solve -2*o = v*x + 5, -x + 2*x = o for o.
-1
Let l(w) = -2*w - 9. Let y be l(-6). Suppose -3*s + x + 47 = 0, 2*x + y*x = 20. Suppose 4*h - s = 3. Solve 3*o - 2*n - 1 = -n, -n + h = 3*o for o.
1
Let u = -11 - -23. Solve 0*t + 2*t = -4*v - u, 4 = -t for v.
-1
Suppose 0*m + 46 = 2*m. Suppose 0 = -3*q + 5*p - m, 2*p + 2 = -3*q + 7. Let k be q - (1 + -2 - 2). Solve 0*r + 23 = -5*u - r, 4*u + 22 = -k*r for u.
-4
Let t(a) = -a**2 + 6*a + 3. Suppose -3*c + 2*c = 16. Let i = c + 22. Let x be t(i). Solve -1 - x = -5*q + 4*m, -4 = 4*m for q.
0
Let h(i) = i**2 + 8*i + 3. Let j be h(-8). Let d = -3 + 5. Suppose 4*s - 4 - 8 = 0. Solve -s*y + d = -x - 6, j*x - y = -8 for x.
-2
Let z be 20/8*(-10)/1. Let o be (-20)/z*(-15)/(-6). Solve d + 11 = -3*x - 1, 2*x - o*d + 8 = 0 for x.
-4
Suppose 0 = -2*v + 4 + 6, 5 = 2*k - v. Solve -2*z - 1 = 5*s, -3*s + k*s - z = 5 for s.
1
Suppose 78 = -3*o + 84. Solve -2*f - 2 = -o*t, 4*f - 3*t = -t for f.
1
Suppose -p + 4 + 0 = 0. Solve 3*o + 0 + 7 = -b, p*o + b = -9 for o.
-2
Let c = 28 + -14. Suppose -2*b - 2*k + c = 0, -4*b = -0*b + k - 13. Solve 2*r = 3*d - b, r - 4 = -d + 5 for d.
4
Let b be 4/(-8)*(-10 + 0). Let m(o) = 2*o**2 + 3*o. Let l be m(-2). Let v(k) = -k - 3. Let i be v(-6). Solve b*j = i*d - 25, -3*d + l*j - 2 + 12 = 0 for d.
0
Let i(p) = 2*p**2 - 4*p. Let k be i(3). Suppose 0 = b - k*b + 1260. Let h be 2/(-14) + b/49. Solve -2*d = -2*v - 3*v + 5, -h*d = 0 for v.
1
Suppose -3*m + 27 = -2*b, -4*m + 2*b = 3*b - 36. Solve 7*x = 2*x + i + 3, -3*i - m = x for x.
0
Let u(l) = -3*l - 4. Let w be u(-2). Solve 0*k + w*p - 19 = 5*k, 2*k - 4 = -5*p for k.
-3
Let s(v) = -v**3 + 2*v**2 + 3*v + 2. Let r be s(3). Let c be 2/8 + 46/8. Solve h = -m - 9, -4*m + r*m + 4*h + c = 0 for m.
-5
Suppose 0*z + 12 = -3*z. Let v(b) = -b**2 - 6*b - 6. Let n be v(z). Suppose 0*r = 5*r - 10. Solve 2*h + 3*h + 17 = 3*x, -10 = n*h - r*x for h.
-1
Suppose -3*d + 3*o = d + 26, 8 = -2*d - o. Let l = 13 + d. Let c be l/36 - (-124)/9. Solve -2*u = 4*x + c, u - 2 = x - 0*u for x.
-3
Let o(c) = c**3 - 6*c**2 + 5*c. Let r be o(5). Solve 5*k + 3*a + 35 = r, 2*a = -5*k + 6*a for k.
-4
Let t = -36 - -53. Solve 4*o + l + 0*l = -t, l = 3*o + 4 for o.
-3
Suppose 2*a = a. Solve -3*n + d = -a*n, 0 = 2*d for n.
0
Suppose j + 4*y - 9 = y, j - 11 = -4*y. Suppose -2*o + 9 = 2*o - 5*p, j*o = 2*p + 5. Suppose -o + 6 = u. Solve 0 = 5*q + 4*s - 10, 2*s = u*q - 2*s + 30 for q.
-2
Let i(a) = 2*a**2 - 5. Let k be i(-3). Solve 3*y = -5*g - 37, -3*y = -6*g + g - k for g.
-5
Let s be (5/(-2))/(1/(-2)). Suppose -r + 5*r = 44. Suppose 0*i + r = 2*g + i, 0 = i - 5. Solve -3*x + g*y + 12 = 0, 4*x = x - s*y - 4 for x.
2
Let j(u) = 0 - u + 7 - 3. Let c be j(0). Solve 4*q = m + c, -q = -2*q - 3*m - 12 for q.
0
Suppose 3*i - 6 = 9. Suppose 0*p + 228 = -2*p. Let r be (-2)/9 - p/27. Solve 3*c - 15 + 0 = 2*j, r*j + i*c - 3 = 0 for j.
-3
Let b = -6 + 10. Let f(w) = w**2 + 12 + 7 + 7 - 27. Let o be f(-6). Solve -2*l + o = -g - b*g, -g + l - 10 = 0 for g.
-5
Let q = -29 + 53. Suppose z + 10 = 4*c - 2*c, -3*c - 3*z + q = 0. Solve c*w = w + 2*t + 35, -5*w + t = -30 for w.
5
Let g = -6 - -10. Solve 0 = 3*c - g*c - 3*v + 12, -v = -5*c - 20 for c.
-3
Suppose -18 + 6 = 4*f. Let a(t) = -t - 1. Let y be a(f). Suppose 0 = 3*u - y*u - 20. Solve 4*b = u, 2*l + 3*b - 15 = -0*l for l.
0
Let k(a) = -17*a + 4. Let c = -7 + 13. Let m(w) = -4*w + 1. Let z(x) = c*k(x) - 26*m(x). Let n be z(3). Solve 0 = -2*y + 5*i + 11, 5*y + 0*i = n*i + 2 for y.
-2
Suppose 0 = -0*d - 2*d + 2. Suppose z + d = 0, z = -v + 4*z + 8. Let k(x) = x**3 + 3*x**2 + x. Let m be k(-2). Solve v*o + m*w = -15, 0 = 3*o - 4*o - w for o.
-5
Let h = 195 + -181. Solve 4*t + h + 6 = 2*c, 5 = -4*c - t for c.
0
Let u be 30/15 - (0 + 2). Suppose 0 = 5*h - 10 - 0. Suppose 2*v + 57 = 3*x - h*v, 5*x + 3*v = 124. Solve 3*t + 0*p - 4*p + x = u, 5*p = -2*t for t.
-5
Let t(s) = -3*s - 4. Let j be t(-3). Suppose -2*k = -3 - j. Solve 9 = 5*d - 3*l, 0 = -d - 3*d + k*l + 4 for d.
3
Suppose 0 = n + 2 - 13. Solve f + 28 = -5*h, -4*h + 0*h = -3*f + n for f.
-3
Suppose 110*b = 111*b - 8. Solve 2*l + g = -b + 1, 0 = 5*l + g + 10 for l.
-1
Let o(y) = -y + 8. Let z be o(6). Solve 0 = z*t - 3*t + 2*g - 4, -g = -4 for t.
4
Let p(r) = r**2 + 2*r - 2. Let s(u) = u**2 + 5*u - 11. Let b be s(-6). Let l be p(b). Solve -m = 3*m + 16, -h + 3*m = -l for h.
1
Suppose -5*y + 2*l = 47, -2*l = y - l + 8. Let z be (-56)/(-9) + 2/y. Solve 3*r + 3 = -3*d, -r + z = -2*d - 5 for d.
-4
Let m = 30 + -27. Solve 5*r - 35 = -5*s, m*r + 6*s - 4*s = 19 for r.
5
Suppose 0 = h + 2*h - 15. Let z be 2*(25/(-2))/(-5). Solve q + 2*q - z*r = -7, 5 = -h*r for q.
-4
Suppose 0 = o - 5, 4*o + 18 = 2*a + 6*o. Suppose 0 = -y + a*y. Solve -4*n + 5*u + 3 = y, -2*u = 4*n - 6*u for n.
-3
Let i = 8 - 4. Suppose 0 = -3*f + i*f - 3. Solve -21 = -4*o - 5*r, -f*o - 2*r + 6*r + 8 = 0 for o.
4
Suppose -20 + 5 = -5*f. Suppose f*q - 15 = 2*q. Suppose 4*i = -3*h + q, -6 + 18 = 3*h + 3*i. Solve -4 = -z - 6*d + 2*d, 2*z + h = d for z.
0
Let p(u) = -u**3 - 2*u**2 - 2*u + 4. Let s be p(-3). Suppose -1 = 3*y - s. Suppose 0 = -4*z - 4*r, y = 5*r + 21. Solve 5*i - 12 = i, 0 = z*a - 2*i for a.
2
Suppose -2*l + 9 = -31. Suppose 2*b + 5*y = l, b - 4 = -3*y + 8. Solve 2*f = -4*j, 2*f - 4*f = b for j.
0
Suppose -31*b + 38*b - 14 = 0. Suppose 0 = -5*s + 4*s + 2. Solve 5*i = -s*r - 23, 5*r + b*i = -0*r - 26 for r.
-4
Suppose -3*c + 15 = 0, -2*c - 3*c = 5*n - 40. Solve r = -n, 5*r + 15 = g + r for g.
3
Suppose 0*g - 3*g + 25 = 5*u, -4*g = 3*u - 26. Let n = 0 + 2. Solve -u = 2*y - 4*o, -4*y = y + n*o - 19 for y.
3
Let s = -17 - -25. Solve 5*f - s = -3*o + 14, 4*o - 16 = 0 for f.
2
Let w be -1 + -1*(2 + -8). Let u(d) = 3*d**2 - 8*d + 6. Let r be u(2). Let a = 45 + -30. Solve a = o - w*n, -o - 2*n + 11 = r*o for o.
5
Let c be 482/18 + ((-40)/45)/(-4). Solve 0*n = -4*p + 3*n, -3*n + c = 5*p for p.
3
Suppose -5*j + 4 = -6. Suppose 3*h = 4*u - 34, -h = -j*u + 23 - 5. Solve k + 3 = -m + u, 5 = 3*k - m for k.
3
Let d be -2*(-64)/4 + -4. Solve 4*v - 24 = -a - 3*a, 5*a = -4*v + d for a.
4
Suppose 11 = 5*b - 144. Suppose 0 = 5*m - 3*t + 75, 7*m - 4*m = -2*t - 26. Let i be (16/m)/(2/(-3)). Solve -2*u = -5*h, i*u - 7*u = 3*h + b for u.
-5
Let b(p) = p**2 - 5*p - 1. Let t be b(6). Suppose -5*i = -5*m + 6 - 1, -4*m + 22 = t*i. Solve 19 = 3*g + 7, 5*f - m*g = 3 for f.
3
Suppose -3*a = 2*a - 10. Suppose 4*m - 3*h = -5*h + 82, 0 = -3*m - 3*h + 57. 