for l.
4
Suppose -3 = -q - 1. Solve -2*y = -m + 2, m = -q*m for y.
-1
Suppose 22 = 5*z + 2*i, -38 = -0*z - 5*z + 2*i. Let h = 7 - 8. Let k = h + z. Solve 2*w - 7*w = 4*q + 25, 5*w - 20 = k*q for w.
-1
Suppose 0*a + 2*a = 4. Suppose a*q = 3*l + q - 3, 3*q = 9. Solve 0*c + 2*c - l = -4*x, 3*c = -2*x + 7 for c.
3
Let b = -43 - -55. Solve 3*s = -2*o - b, -3*o - 22 = 5*s + o for s.
-2
Let k(y) = y + 1. Let w be k(-1). Let d = 4 + w. Suppose -d*z + 11 = -1. Solve a - z*u = 2 - 3, -33 = -5*a - 4*u for a.
5
Let y(t) = t**3 + t. Let j be y(0). Solve -b + o = -9, -5*b - 3*o - 1 + 14 = j for b.
5
Suppose -5*r + r = -88. Suppose 36 = 3*k + y - 2*y, 2*y = -4*k + 58. Let g = r - k. Solve 0*x = -3*j + x + 12, 0 = 2*j - x - g for j.
3
Suppose 2*g + 0*g = 0. Let m(l) = l**3 + 6*l**2 + 4*l - 7. Let z be m(-5). Let c be -4*(9/12 + z). Solve g = -3*i + 2*t - t, 4*i = c*t - 11 for i.
1
Let g(m) = 2*m**3 + m**2 - 1. Let h be g(1). Suppose -o = -6*o + 5. Let d = h + o. Solve -3*y = -6*y - d*x - 15, -5*y - 25 = -4*x for y.
-5
Suppose 5 - 3 = q. Suppose 0 = -2*j - q*j + 104. Let y be (-2)/(-3) + (-4)/6. Solve y = -r - 5*b + j, b - 4 = r - 0*b for r.
1
Suppose q + q - 4 = 0. Suppose -3*i = -q*k - 13, i + 5*k = -7 - 17. Solve f - 3*t + 5 = 0, -5*t + i = -4*f - 5 for f.
1
Let x = -75 + 75. Solve 2*w + k = 4*k - 5, x = -2*w + 4*k - 6 for w.
-1
Let m = 98 - 95. Solve 4*w = -k - 18, m*w + 6*k = 2*k - 7 for w.
-5
Let c be ((-20)/(-6))/(18/27). Let k be c*3/(45/12). Let r be (7/3)/(9/27). Solve -k*v + 3 = -4*p + r, 0 = -4*v - 16 for p.
-3
Suppose 4*d = -2*m - 110, 4*m - 7*m = 9. Let f = 28 + d. Solve f*h = 5 + 1, -4*s + 28 = 4*h for s.
4
Let h be (12/(-9))/((-4)/6). Let g(k) = -h*k**2 + 6*k - 2 + 3*k**2 - k. Let c be g(-6). Solve l - 5*o = 10, c*l - 5*o - 16 = 9 for l.
5
Let l = -6 + 11. Let f(n) = n**2 - 6*n. Let x be f(6). Solve l*t - 2*z + 8 = x, 9 = -3*t - 5*z - 2 for t.
-2
Suppose 4 - 29 = -5*x. Let z be (0/(-2))/(14/(-7)). Solve -x*k + 0 = -3*n - 15, -4*n = z for k.
3
Let b be 0/(0 - (-4 - -2)). Suppose b = 2*h + h. Let l = 6 - -1. Solve 4*y = -2*x + 6, 4*y + h*x - l = -x for y.
2
Let h be 4/(-12)*-15 - 0. Solve 3*d - 10 = -0*d - a, -a = -h*d + 30 for d.
5
Let q(y) = 7*y - 1. Let r be q(1). Suppose r*s - 4 = 5*s. Solve 4*d - 5*v = 29, v = 2*d - 3 - s for d.
1
Suppose 2*i = i + 18. Suppose 5*b - 5*a = -5, -4*a + i = 3*b - 0*a. Suppose 3*p = 3 + 3. Solve 4*k + s - 8 = 0, b*k - s - 2 = -p*s for k.
3
Let a(r) = -r**3 - 7*r**2 - 7*r - 2. Let p be a(-6). Let u = p + -1. Let g be (-4)/(-6)*(-6)/(-4). Solve -u*t + 4 = -i, 6*t = 4*t + i + g for t.
3
Suppose -4*a + 29 = -63. Suppose -12 = -6*r + 6. Solve -p = r, -l - a = l + 5*p for l.
-4
Let j(s) = s**2 + s - 2. Let m be j(-3). Let b = m - 6. Let u be 2/1 - 4*b. Solve 2*q - 3*z - 1 = -11, 4*z = 2*q + u for q.
-5
Suppose -5*u - 1 + 41 = 3*z, -u + 32 = 3*z. Solve 0 = n - j + 2, -3*n - 3*j + z = -4*n for n.
2
Suppose 0 = 4*y - s - 16, 2*s + 7 = 7*y - 4*y. Solve w + 4 = 4*o - 3*w, o + 15 = y*w for o.
5
Let a(m) = -m**2 - 5*m + 6. Let r be a(-6). Solve 5*u + 25 = r, -d + 0*u = 5*u + 20 for d.
5
Let a(z) = -z - 8. Let y be a(8). Let q = -10 - y. Solve -5*o + 10 = 0, -r + 3*r - 2*o = q for r.
5
Let g be 2*(-5)/20 - 15/(-2). Solve -4*q + g = 5*r + 44, 5*r - 4*q + 13 = 0 for r.
-5
Suppose -5*m + 5 = -15. Solve -w - 2*q + 16 = -5*w, 4*w + 16 = -m*q for w.
-4
Let a be 1/((-2)/5)*-2. Solve -2*n = 3*c + 6, -a*c + 3 = -3*n - 6 for n.
-3
Let g = 5 - 11. Let x be 4/8 - 15/g. Solve 0 = 3*y - i - 11, -4*y + 3*y + 17 = -x*i for y.
2
Suppose 5*g - 4*m + 6 = -14, -2*m = -4*g - 22. Let n = 0 - g. Let d be (n/(-6))/((-4)/42). Solve -x - d = -4*l, l + 0*x = -2*x - 1 for l.
3
Let x be (-4)/(-6)*12/(-8). Let a be (x/1)/((-2)/24). Solve -4*g - 2*f - 4 = -a, 5*g + 5*f = 15 for g.
1
Let p(c) = 2*c - 6. Let s be p(0). Let b(q) = -2*q - 8. Let g be b(s). Solve 3*w + g*l = -3, -2*w + 5*w = -l - 12 for w.
-5
Suppose 3*i - 7*i + 12 = 0. Solve 4*r + 3*w = 19, -i*r - w + 4 + 9 = 0 for r.
4
Let a(n) = 0*n**3 + 6*n + 0*n**3 - n**3 + 4*n**2. Let q be a(5). Let y = q + -5. Solve -3*r - r + 2*l = y, r + 3*l = 0 for r.
0
Let p = 68 - 68. Solve 0 = 4*c - m + 17, p*c - 4*m + 14 = 2*c for c.
-3
Let g = 7 + -7. Suppose c = 5*b - c - 33, 4*c + 16 = g. Solve 4*p = -0*x - 2*x - 8, -b*p = -5*x - 20 for p.
0
Let a(d) = d + 9. Let i be a(-4). Suppose -6*g = -i*g. Solve 2*w = -6, -w + g*w = -5*c + 28 for c.
5
Let y be (-2 - 1) + 170/10. Suppose -2*n + 5*v = 2*v - 28, -2*n - 4*v + y = 0. Suppose 3*j - 4 - n = 0. Solve m - 6 = 2*d, -j*m - 2 = -22 for d.
-1
Suppose 5*f - 26 = 3*p, 2*f - 2 = -f - 5*p. Suppose 2*q = -0*q + 4. Solve -5*d - a - q = f, 5*a + 6 = -d for d.
-1
Let a = -52 + 54. Solve 0 = -0*l + 2*l - a*v + 6, -3 = 4*l + 5*v for l.
-2
Suppose -3*t = 3, 2*t + 2*t = 4*k - 24. Suppose -5*m + 35 = 10. Let l(r) = r. Let w be l(m). Solve g = -w*q + 5, -3*g + k*q + 2 = 7 for g.
0
Let m = -50 - -72. Suppose -2*w + 120 = w. Let o = w - m. Solve -1 = -s + 5*j, -3*s - o = s + 2*j for s.
-4
Let n = 3 + -1. Suppose i = 4*c - c + 8, -n*c = 2. Suppose 3*b + 6*g - 3*g = 63, -i*g = -2*b + 21. Solve b = 2*w + 2*v, 3*w + 3 + 0 = 3*v for w.
4
Let l(c) = c**2 + 14*c + 3. Let h be l(-14). Suppose -4*w + 44 = h*y - 2*y, 0 = -5*y - 2*w + 166. Solve 0 = k + 3*r - 0*r - 16, 0 = -4*k - 4*r + y for k.
4
Let r be (20/(-6))/(24/(-180)). Solve 5*g + 2*l - 4 = 0, 5*g - l = 4*l + r for g.
2
Suppose -5*p = 5*u - 30, p + 0 = 4. Let z(b) = 5*b**2 + b. Let m be z(1). Let j be 1/2 - (-111)/m. Solve -5*y = u*v + 5, 6*y + 5*v - j = 4*y for y.
-3
Suppose -4*k + 56 = -0*k - 4*j, -3*k = -j - 40. Suppose 4*h - 11 - 13 = 0. Let z be ((-6)/4)/(h/(-8)). Solve z*s - k = b, 0 = -5*s + b + 28 for s.
5
Let y = 27 - 23. Solve -4*c + y*w - 3*w + 21 = 0, c - 3*w - 19 = 0 for c.
4
Suppose -20*m + 24 = -17*m. Solve -3*c = -c + 4, 4*c + m = 4*y for y.
0
Let t = -10 - -16. Let s be 16/t - (-5)/15. Solve s*x = 4*h + 9, 3*x - 4*h - 3 = -2*h for x.
-1
Let p(v) = -v**3 + 9*v**2 - 6*v - 11. Let o be ((-40)/50)/((-2)/20). Let w be p(o). Solve 2*n = -8, w*c - 15 = -n + 6 for c.
5
Suppose u - 7 = l - 0, -62 = -5*u - 4*l. Solve -f - 4*s = -20, -3*s - u = 3*f - 5*s for f.
0
Let y be -4 - -3 - (-4)/1. Suppose 9 = y*m - 3. Solve 0 = -m*x + t + 19, -2*x + 15 = 4*t + t for x.
5
Suppose 5 = -2*b - l + 2, 3*b = 5*l - 37. Let i = 0 - b. Suppose 4*n = 4*g, -n + 0 - 6 = -i*g. Solve -2*j - n - 2 = 2*f, 3*j - 2 = f for f.
-2
Suppose 4*b - 5 = 3, 0 = -3*i - 3*b + 51. Solve w = 5*t + i, 3*t - 4*w + 0*w - 8 = 0 for t.
-4
Suppose 0*d + 5*w - 30 = 5*d, -9 = -3*w. Let y be 1 + (-1)/2*0. Let m = y - d. Solve -o - 18 = m*t, -3*t + 6*t + 22 = -5*o for o.
-2
Let z(l) = l**3 - 5*l**2 - 13*l + 6. Let n be z(7). Solve -17 = 4*c + i, -4*c = 2*i + 31 - n for c.
-4
Let w(m) = 11*m**2 + 5*m - 9. Let a be w(-7). Let f be a/60 + 3/4. Solve -3*n + 2*l + f = 0, 0*n + l = 4*n - 17 for n.
5
Let f(p) = -13*p + p**3 + 5*p**2 + 3 + 6*p - 5. Let c be f(-6). Solve -2*m - c*x - 8 = -m, -x = 4*m + 17 for m.
-4
Let n be 32/112 - 24/(-14). Solve q = -4*s - 0*q - 11, 0 = 4*s + n*q + 6 for s.
-4
Let w(b) = b. Let n(d) = -3*d - 7. Let o(l) = -n(l) - 2*w(l). Let s be o(-5). Solve 0 = -s*m + 2*x - 8, 4*m + x - 16 = -3*x for m.
0
Suppose 2*f + 6 = 12. Solve u = -b + 2 - 1, -f*b + 6 = 2*u for b.
4
Let v(j) = -2*j**3 + 3*j**2 + j - 2. Let m be v(2). Let i = -4 - m. Suppose i*d + d = 2. Solve -b + 3*g + g - 2 = 0, 0 = 3*b + d*g - 8 for b.
2
Let i be 1*4 + (-14 - -14). Solve i*q = j - 0 + 1, -5*j + 13 = -2*q for j.
3
Let n(x) = x**2 - 2*x + 3. Let c(v) = -v**3 - 6*v**2 + 2*v + 8. Let m be c(-6). Let i be n(m). Solve i = 3*j - 3*d, j + 2*j + 4*d = -1 for j.
5
Suppose 32 - 12 = 5*j. Solve -24 = j*u + u - 3*q, u = 5*q - 18 for u.
-3
Suppose -u - 16 = 4*g - 0, 3*g = -9. Let z(x) = -x**3 - 3*x**2 + 2*x - 5. Let m be z(u). Solve 4*i - m*l - 28 = -l, 0 = 2*i - 2*l - 18 for i.
5
Let j = 6 - 6. Let q be -2 + (-1 - (j - -1)). Let i = -4 - q. Solve 0 = z - i*b - 4*b - 17, -3*z = -b - 7 for z.
1
Let f = 100 + -98. Solve 2*u - 4*r = -f*r + 12, 6 = -u - 2*r for u.
2
Let x = 27 + -21. Solve -4*p = d - x, 4*d + 12 = 3*p - p for d.
-2
Suppose -4*q + 17 + 3 = 0. Let h = 83 + -57. Let j be (-4)/(-6) - h/(-6). Solve 19 = j*n - q*c - 11, -n - c - 2 = 0 for n.
2
Let x(v) = 3*v**3 - 2*v**2 + v + 2. Let h be x(2