2 = -a*x, 5*k - 11 = -x - 0*x for k.
2
Let u be (6/(-3))/((-1)/2). Let x(w) = -w**2 - 5*w - 4. Let f be x(-3). Solve 16 = 3*d + g, -f*d + 5*d - u = 2*g for d.
4
Suppose -2*r = 6*r - 5*r. Solve 4*j - 3*f + 8 = r, 4*j + 10 = -j + 2*f for j.
-2
Suppose 8 + 48 = 4*h. Let g = h - 9. Let n = 7 + -3. Solve n*x + 1 = m - 0*m, x - g*m + 24 = 0 for x.
1
Suppose 0 = -0*p + 5*p - 25, -2*v - 2*p = -22. Let w = v - 0. Solve 4*h + 15 = 5*j, -4*h + 5*h = -2*j + w for h.
0
Let i = -11 - -13. Let p be i/9 + (-4)/18. Solve -2*r + 8 = -t + r, -t + 2*r - 5 = p for t.
1
Suppose -11 = -3*a + 3*g - 2, a - 3*g = 9. Let q(r) = -r**2 - 5*r + 4. Let i be q(-5). Solve 5*y - 6 - i = -5*k, a = y + 2*k - 4 for y.
0
Let g be (8/6)/((-6)/(-27)). Solve 2*h = -s + 9, s - 5 = g*s for h.
5
Let q be (-9)/(-2) + 1/2. Let v(z) = 2*z - 1. Let n be v(3). Solve n*y + 2*w = 8, -5*y = q*w - 2*w - 12 for y.
0
Suppose -5*w - o + 11 = 0, 4*o - 1 - 1 = w. Let v be (12/9)/(-4)*-9. Solve v*u = -3*x, -w*u = 5*x - 0*x + 12 for x.
-4
Suppose 0*s - 2*s + 8 = 0. Let m = s + -4. Solve 12 = 4*k, -5*f + 4*f + k - 6 = m for f.
-3
Let b(v) = -3*v - 52. Let d be b(-18). Solve 5*x = d*x - 4*h - 4, 4*x + 26 = 5*h for x.
-4
Suppose 4*a - 95 = 5*z, 5*a - 37 = -z + 60. Solve 4*p - a = 0, 5 = 7*k - 2*k - p for k.
2
Suppose 0 = 3*i + 2*i. Solve i*l = -h - l + 2, -h - 3*l + 4 = 0 for h.
1
Suppose -4*w - 38 = -w + 4*m, -1 = -4*w + 5*m. Let g be (5 + w)/(-1 - -2). Let l be 39/9 + g/3. Solve -5*u = 3*c + 7, -11 = -2*c + l*c - 3*u for c.
-4
Suppose 3*f = 5*n + 41, 0*f + 5*f - n = 83. Solve -c - b = 5, c + f = -5*b - 0*b for c.
-2
Let c(u) = u**2 - 37*u - 200. Let z be c(42). Suppose -7 + 37 = 5*x. Solve -z - 5 = -5*j + 4*w, j + x = -w for j.
-1
Let u(v) = -v**2 + 2*v + 1. Let n be u(1). Suppose n*g = -3*b - b + 10, -g = -5*b + 2. Solve -g*s - 2 = -4*z + 15, 4*s = -5*z - 2 for z.
2
Suppose -2*t = 4*v + t - 37, 17 = 2*v + t. Suppose -3*d = -v*d + 20. Solve 2*x + 2*b = -x + 13, -3*x - d*b + 28 = 0 for x.
1
Let g be 12/10*20/8 - 1. Solve 7*t + g = -5*p + 3*t, p + 5*t = 8 for p.
-2
Let g = 39 - 36. Solve 0 = -4*n + 5*r - 33, -g*n + 5*n + 3*r - 11 = 0 for n.
-2
Let g be ((-25)/15)/(2/(-6)). Suppose 3*p - 27 = -5*s, 5*p - 5*s + 0*s = g. Solve p*h = -5*i + 25, 0 = 3*i + 2*h - 7 - 6 for i.
1
Suppose -6*h = -104 + 44. Suppose 0 = 13*q - h*q. Solve 2*r = -2*s - 7 - 7, q = 3*r + 12 for s.
-3
Suppose -j = 2*l - 3*j + 2, -3*j = 5*l + 21. Let y be ((-15)/25)/(l/90). Solve -2*d = -5*g, -4*d + y = -2*g + g for g.
2
Let x be 18/5 + 6/15. Let k = 19 - x. Solve -3*d + k = 5*m, 0 = -8*d + 3*d for m.
3
Let g = -132 + 134. Let x(o) = -o - 1. Let u be x(-1). Solve 5*r = g*r - q, 3*r + 4*q - 9 = u for r.
-1
Let f be 11/4 - 3 - 13/(-4). Suppose 4*d = -5*k + 12, -d - 3*k - 2*k + 3 = 0. Solve 7*y + 9 = 4*y - d*b, -f*b = 9 for y.
0
Suppose -3*y - 2 = 2*v, 22 = y - 3*v - 2*v. Suppose 1 = y*t + 5*x, -t - x - 10 = -4*t. Solve -t*l + 1 = -m, 4*m - 36 = -3*l - 10 for m.
5
Let u(t) = 3*t - 64. Let j be u(22). Solve -2*r = j*l - 0*l, 2*r - 5*l - 14 = 0 for r.
2
Suppose 66 = 2*j + 5*q, 0 = j + 4*j - 3*q - 165. Let p be (-4)/(-22) - (-93)/j. Let o be (0/(p + -1))/(-1). Solve -7 = -m + 4*i, o = 3*i - i + 4 for m.
-1
Suppose -q + 3 = -1. Let n(y) = -4*y - 9. Let t be n(-8). Let u = 0 + 2. Solve q*z - u*h = -22, -4*h + t + 0 = -z for z.
-3
Suppose 4*t + 0*t - 4 = 0. Suppose h + 7 = -0*i + 5*i, -5*h + 4*i = -7. Suppose t = h*u - 5. Solve -3*k = -2*j + 16, 0*k + u = -3*j - 2*k for j.
2
Let z(j) = 7*j**3 - j + 1. Let v be z(1). Suppose 4*d + 4*l - 9 = 15, 5*d - 2*l - 16 = 0. Solve 0 = -3*u - d*x + 14, 0*u = u - x + v for u.
-2
Let v(n) = -n + 3. Let o be v(0). Suppose -5*g + 15 = 3*l, 0 = o*l - 6*l - g + 3. Let i be -8*(-2 + l)/4. Solve 0 = -i*u - 4*k, 0 = -u - 3*u + k + 25 for u.
5
Let d = 10 + -7. Suppose -19 + 4 = -d*g. Solve -4*h = g*t - 9 - 7, 4*t - 2*h - 18 = 0 for t.
4
Suppose q + 3*k = 8*k + 9, -2*q - 5*k + 18 = 0. Let i = -6 + q. Let a = 7 - i. Solve 4*u + 5*l + 4 = 0, -a*u + l = -l + 4 for u.
-1
Let d be ((-8)/12)/((-1)/(-12)). Let k be (20/3)/(d/(-12)). Solve y = -j - 4, -k = 3*y + 2*j - j for y.
-3
Let u be (-56)/(-8) + -6 + 2. Solve -2*r = -2*b - 18, u*b + r = -0*b - 7 for b.
-4
Let s(j) = -j - 3. Let l = -23 - -33. Let g be (l/2)/(-2 - -1). Let w be s(g). Solve -12 = o - 5*v, 0 = -4*o + 2*o - w*v + 12 for o.
3
Let z be -4 + 12/4 - -4. Suppose z*i - 8*i = 5*b - 145, -4*b + 3*i + 88 = 0. Solve 2*l - l - b = 4*f, -3*l + 35 = -4*f for f.
-5
Let j(l) = -l**2 - 9*l - 9. Let w be (-2 - 9/(-3))/1. Let s be -8 + (4 - w)/3. Let i be j(s). Solve 5*z - 4*o = -1, z - 18 - 5 = -i*o for z.
3
Let s(q) = q + 9. Let y be s(-9). Solve a = -3*a - 2*x - 26, y = a + 3*x + 19 for a.
-4
Let o(h) = 4*h**2 - 2*h - 1. Let r be o(-1). Solve -s + 0*s - 1 = 0, r*j = 2*s + 22 for j.
4
Suppose 0 = 4*k + 4*k + 11*k. Solve 5*d - 3*c - 2*c + 45 = k, -4*d - 26 = -2*c for d.
-4
Let x be (4 - (-33)/(-9))*0. Solve x = -y + 1, -4*a = -3*y + 5 + 6 for a.
-2
Let v(i) = -3*i + 42. Let j be v(13). Solve 3*d + 6 + j = 3*g, 4*g = 5*d + 12 for g.
3
Suppose 7*l - 3*l = 12. Suppose 4*s - 5 = l. Solve 4*w - s*a = -4, 8 = 2*w - 4*w + 4*a for w.
0
Let g(d) = d**3 + 8*d**2 - 9*d + 6. Let v be g(-9). Solve -h + 4 = 0, 4*h + 0*h = -2*t + v for t.
-5
Let q be (-3)/(-1) + 3 + -2. Let t = -2 - -14. Solve 0*i - t = -q*i - 4*b, -4*i + 8 = 3*b for i.
-1
Suppose 0 = -5*z + 7 + 3. Let u be -1 + 3 - (z - 0). Let h(y) = y**3 - 7*y**2 + 7*y - 6. Let i be h(6). Solve p - 15 = -u*j - 2*j, i = -2*j - 3*p + 25 for j.
5
Suppose -6*z = 2 - 14. Solve -k - 3*q = 9, z*k + 3*k - 3*q = 9 for k.
0
Let u = 19 + -17. Solve l - d - 1 = -3*l, -4*l - u*d = 2 for l.
0
Let q(g) = -g - 7. Let b be q(-9). Suppose -c + 2 = o - 0, 1 = b*c - o. Solve -t - p = -2*t + c, -4*t + p = -10 for t.
3
Let c(m) = 2*m. Let v be c(3). Suppose -v = -2*y + 4. Solve 0 = -i + p - 2, -4*p = -y*i - 3 - 4 for i.
1
Let i = -13 - -15. Solve 0*j = j + 2, -12 = -i*x + 5*j for x.
1
Let v = -122 - -126. Solve -2*l = -l - v*w - 5, -l = -w - 2 for l.
1
Suppose 24 = o + o. Let m = o + -7. Solve -m*s - 16 = 2*g, -5*s - g - 22 = 3*g for s.
-2
Suppose 5*n + 0*t - 14 = -4*t, -2*n + 4*t = 0. Let i = 19 + -14. Solve -5*w = n*c - 25, w = -i*c + 6 - 1 for c.
0
Suppose 2*r = 1 + 5. Let d = 7 - 3. Solve 5*h - 4 = 3*c - 2, -r*h - 1 = -d*c for c.
1
Let y be 5/((-25)/(-10)) + 3. Solve 2*z - 2*c - 10 = 0, -5*c - y = -z - c for z.
5
Let l = -8 + 13. Suppose -l*y - t + 62 = t, 5*y + 4*t - 54 = 0. Solve -23 = -5*v + 4*o, 3*v = -v + o + y for v.
3
Let r(t) = t - 1. Let y be r(4). Let w be (2 - (0 - -2))*1. Suppose 2*l = -w*l + 8. Solve 4*j - j - y = -l*k, -5*j + k = -28 for j.
5
Suppose -4*d + 1 = -7. Suppose v - 2*b - 2 = 0, -3*v + 3 = -d*b - 3. Suppose v*h - 17 = 3. Solve -4*j - 14 = -2*j + 5*l, 0 = 5*l + h for j.
-2
Let k = 6 - 3. Suppose 0 = 4*b + 20, 0 = -k*d - d - 4*b + 8. Solve -d + 1 = -3*m + 3*p, 0 = p for m.
2
Suppose 5 = -3*z - 4*h, -z = -5*z + 3*h + 35. Solve 4 = -p - 1, r = 2*p + z for r.
-5
Suppose -4*t + 8 = -2*t. Suppose 4*b = 2*y + 20, -4*b = -t*y - 13 - 11. Let o = y + 27. Solve -5*j = o, -3*i = -8*j + 4*j - 26 for i.
2
Suppose 18*u + 21 = 21*u. Solve 0 = 5*a - z + 9, -2*a - z - u = -2 for a.
-2
Suppose 5*j + 28 - 6 = -2*y, 2*j + 2*y + 4 = 0. Let q(t) = -t**2 - 6*t + 4. Let z be q(j). Solve -2*b = -3*u - z*b + 7, -3*b = -u - 5 for u.
1
Suppose 0*d = 2*d. Suppose 15 = 4*j - 1. Suppose m + j*i + 12 = d, 9*m + 2*i = 4*m + 12. Solve -3*s + 0*s = -3*c, 4*s + m*c + 40 = 0 for s.
-5
Suppose -i = 3*w - 55, -2*w + w - 2*i + 20 = 0. Let u be 130/14 + w/(-63). Solve o + 4 = -j + u, -o + 8 = 2*j for o.
2
Suppose -2 = -2*i - 32. Let u = i - -21. Solve 5*q + 5*z - u - 4 = 0, 4*z = 5*q - 37 for q.
5
Suppose 29 + 11 = 4*v. Let y be (30/(-25))/((-1)/v). Solve -4*n - 2*x = -y, -2*x + x = 3*n - 9 for n.
3
Let c(l) = -2*l**2 - 9*l. Let f be c(-4). Solve 0 = -f*b - g - 21, 4*b + 5*g + 11 + 14 = 0 for b.
-5
Suppose -3*q + 3*v = 12, -2*q + 0 = -v + 5. Let r(p) = 12*p**2 + p + 1. Let j be r(q). Solve 5*k = 4*l + 22, -3*k = -4*l + 2*l - j for l.
-3
Let x(n) = -n**3 + 15*n**2 + 16*n + 4. Let g be x(16). Solve 13 = -g*j + f - 0*f, 0 = -2*j + 3*f + 1 for j.
-4
Suppose -2*x - 3 = -3*x. Solve -x*z - 1 = 4*b, 3*b + 3 = -4*z + 4 for z.
1
Suppose 5*a - 4*n = 0, 8*a - 3*a = 5*n. Solve a = 5