t + 3*c = -15 for t.
3
Suppose -10*a = -5*a - 15. Solve h - a*l - 1 = 2*l, 3*l + 5 = 5*h for h.
1
Let p(f) = f + 7. Let x(i) = i**3 + 2*i - 5 + 5*i**2 - 8*i + 0*i**2. Let l be x(-6). Let v be p(l). Solve 0 = -5*n - v*b, -3*n + 3*b + 16 = b for n.
2
Let r = -16 + 18. Let v be (r - 4) + 7/1. Solve -7*o + 4*o - v*g - 17 = 0, -g = -3*o + 7 for o.
1
Let b = -38 - -68. Let f = 42 - b. Solve p = 4*r + 11, 2*p - 2*r = r + f for p.
3
Suppose 2*r = 2*x - 18, -2*x = 2*r - 0 - 2. Let d be (-27)/(-6)*r/(-3). Solve -4*s - 30 = 2*l, -3*s = -d*s + 5*l + 10 for s.
-5
Let r(k) = k**2 - 2*k - 14. Let m be r(5). Solve w + 5*l - l + m = 0, l - 2 = -w for w.
3
Suppose 0 = -5*c - 31 + 146. Let d be 1 + -2 - (-2 + -1). Suppose -d*v = y - 4, 20 = y - 6*y. Solve -4 = -2*x - 8, -c = -3*m + v*x for m.
5
Suppose 0 = z - 4 - 0. Let v(b) = b**2 - 3*b - 7. Suppose -2*y = y - 4*a - 23, -4 = 2*a. Let u be v(y). Solve -5*h - 4 - z = u*r, 2*h = -2*r for r.
4
Let v be ((-4)/12)/((-2)/30). Suppose 0 = -v*s, -i + s = i - 4. Suppose -i*h - 13 = 3*p, 2*h = -3*h + 3*p + 20. Solve 3*t + h = -2*c + 2*t, 3 = 4*c - 3*t for c.
0
Let x(b) = b**2 + 3*b - 7. Let n be x(-5). Solve -h = f - n + 1, h - 6 = -2*f for h.
-2
Let g be (3 + -1)/2*13. Suppose 0 = 4*m - 2*m. Solve -3*s = 5*c - 10, 0 = -m*c - 2*c - 3*s + g for c.
-1
Let a(j) = -j**2 + 6*j - 2. Let n = 4 + 0. Let h be a(n). Let v be 266/18 + h/27. Solve 3*g = m + 3*m + 17, 2*m = -5*g - v for g.
-1
Suppose -3 = f, -4*g - 5*f = -0*f + 27. Suppose -l + 4*z = -0*l - 102, -4*l + 380 = -2*z. Let a be 8/12 - l/g. Solve 3*i + i - a = 4*b, 0 = -b - 4 for i.
4
Let l be (-10)/15*(2 + -14). Solve -4*s + l = -5*f, 2*f + 3*s = 4 + 2 for f.
0
Let k be 2/10 - 14/(-5). Let s = -11 - -13. Solve -2*n + 20 = 5*a, k*n + a = s*a + 13 for n.
5
Let h = 23 + -18. Solve 33 - 5 = h*z + 3*v, 3*z = -v + 16 for z.
5
Let p(k) = -k**3 + 6*k**2 - 3*k - 7. Let i be (-10)/(-15) - (-13)/3. Let w be p(i). Suppose -s = -4*s + 6. Solve -w*h + 3 = -a + 3*a, 0 = -s*a - 2*h + 4 for a.
3
Let t be 3 - 1/((-3)/(-9)). Solve 0 = 5*k - 4*b + 11, t = k - 4*k - 2*b + 11 for k.
1
Let a = 77 - 113. Let q be -10*(2 + a/15). Solve -5*g + 23 = -q*t + t, -5*t + 4*g - 21 = 0 for t.
-1
Let f(v) = v**2 - 6*v - 5. Let x be f(7). Suppose 4 = 4*i - x*i. Solve -g + 2*k - 6 = i, 13 = -5*g + k for g.
-2
Suppose -29 + 9 = -4*u. Solve -5*t = -4*q + 13, u*t - 5*q + 15 = -0*q for t.
-1
Let n be (12/(-3)*3)/(-2). Suppose -n = -0*z - 3*z. Solve -7*f = -2*f - k - z, -4*f - 4*k - 8 = 0 for f.
0
Let s be (-4)/6*-6*1. Let m(l) = -3*l + 0 - 1 + 4*l. Let y be m(s). Solve -y*p - 6 = -2*z, 0*p - 2*z - 18 = 3*p for p.
-4
Suppose -3 = -5*m - 3*j - 0, -5*m - 2*j = -7. Suppose 31 - 10 = -m*f. Let t = -5 - f. Solve 8*d - 4 = 4*d - t*r, -5*d - 4*r = -11 for d.
-1
Suppose 4*v = 5*d - 40, -3*d + 4*d - v - 9 = 0. Solve -d*j - a = j, -j = a + 4 for j.
1
Suppose 3*v + 4*x = 5 + 23, 0 = -5*v + 2*x + 12. Solve z + 2*z - v*b = 17, -4*z - 14 = 2*b for z.
-1
Let x be 0/(1 + (2 - 1)). Suppose x*j = 3*j. Suppose 5*u - 12 - 3 = 0. Solve j = u*b - k + 3, k - 3 = 3*b + 6*k for b.
-1
Let f(d) = d**2 + 9*d + 5. Let l be f(-9). Solve -2*b = l*r - b - 14, -12 = 2*r - 4*b for r.
2
Suppose 0*z = -4*z + 20, -4*l - 2*z + 122 = 0. Suppose -h + 3*h = 0. Solve -5*k + l = -2*n, -3*n - 12 = -h*n for k.
4
Suppose 28 - 8 = 5*j. Suppose 4*f + 3*x - 102 = 0, -j*x + 3*x = f - 26. Solve 2*k + 5 = -3*i + f, 11 = 2*i + k for i.
3
Let l be 17/((-102)/(-12)) - (-2 + -1). Solve l*o = i - 0*i - 12, -i - 18 = 5*o for i.
-3
Let j be 13/3 - (-12)/(-36). Solve -2*n - j*g + 16 = 0, -5*n + 5*g - 2 = 3 for n.
2
Let t(r) = -r**3 + 3*r**2 + 2*r - 4. Let u be t(-2). Solve -3*n + n = -4*w + 4, 0 = -4*w - 2*n + u for w.
2
Let x(m) = -2*m**2 + m + 4. Let a be x(3). Let k = -8 - a. Solve -4*p = -k*p + 3*c + 2, 2 = 3*p + c for p.
1
Let a = -47 + 50. Solve -a*d + 4 = -3*b - 5, 2*b - 3*d + 4 = 0 for b.
-5
Let d be 3/(-6) + (-4)/(-8). Suppose n = -d*n - 10. Let c = -10 - n. Solve -3*i + 3*h + 12 = c, -2*i + 2 = -3*h - 8 for i.
2
Suppose 3*o - 4*o - 4 = 0. Let w = 6 + o. Suppose q - 3*z = w*q + 1, 0 = 3*z + 6. Solve -9 = -2*v + r, q*v - 3*r = -8*r + 15 for v.
4
Let z(x) = x**2 + x - 2. Let h be z(1). Solve 0 = 4*b - 5*n + 12, 4*n - 15 = 5*b - h*b for b.
-3
Let r = 37 - 22. Suppose 0 = -3*c - r, -85 = -g - 4*g + c. Solve -2*b + g = 2*s - 7*b, 3*s = 5*b + 14 for s.
-2
Suppose j - c = 5*j - 8, -2*j + 2*c + 4 = 0. Solve -j = h - 5*y - 5, 5*h - 15 = 5*y for h.
3
Suppose 0 = 5*q + 20 - 5, -q - 9 = -3*f. Solve f*z + 10 = 0, 8 + 2 = -2*v - 2*z for v.
0
Let w be (-8)/24 - 7/(-3). Solve -w*i + 4*b + 2 + 10 = 0, -16 = 4*b for i.
-2
Let g(q) = -q + 5. Let j be g(0). Let r be ((-12)/10)/((-2)/j). Solve l + r = 1, -i + 2*l = -7 for i.
3
Let n = -18 - -21. Solve -5*p + 5*w - 21 = -p, n*p + 3*w = 18 for p.
1
Let c be ((-2)/(-6))/((-4)/(-36)). Suppose -3*z = 4*k - 6*z + 4, -22 = -5*k - c*z. Solve 4*n = -5*j + 40, -k*n - j = 3*j - 26 for n.
5
Suppose 0 = -5*z + 7*z - 8. Solve 0 = z*p + y - 10, -3*p + 4*p - 2*y = -2 for p.
2
Suppose 49 - 16 = 11*u. Solve -k - 8 = 5*w, -2 = u*k - 3*w + 4 for k.
-3
Suppose 0*m - 3*m = -9. Suppose -5*s = s. Solve 0*z = -3*h + 2*z + 1, s = -m*h - 2*z + 5 for h.
1
Let z = -14 - -26. Let f be (2 + -20)/((-9)/z). Suppose 5*t - 74 = -f. Solve 4*m - 5*w + t = -m, -5*w = -5 for m.
-1
Let q be (-2)/(-8) + 13/(-4). Let h = q - -4. Let j be h*(-9)/(-3) - 0. Solve s + 2*v - j = 1, v - 11 = 4*s for s.
-2
Let m(j) = 2*j**2 - j + 1. Let p be m(1). Let w be p/(-11) - (-72)/33. Let y = 6 - w. Solve 3*x + 12 = -y*a, 3*a - 4*x - 4 = 12 for a.
0
Suppose 2 = c - 7. Let k be (-195)/c*(-3)/1. Let q = k - 44. Solve 5*u + 13 = 2*j, 5*u - 2*j = 2*j - q for u.
-1
Let f(r) = r**2 - 4*r + 6. Let o be f(4). Suppose d = -2*g - o + 15, -d = -3*g + 6. Let k be ((-8)/(-2))/(4/4). Solve 7*s = k*s - d*u - 3, u + 4 = 0 for s.
3
Let c(p) = -12*p - 32. Let t be c(-3). Solve 2*u - 8 = t*j - 22, -2*j - 5*u - 11 = 0 for j.
2
Suppose -u + 10 = -4*l, -5*l - 17 - 1 = -4*u. Suppose -u*o + 24 = -0. Solve 0 = i - 6*w + w - 18, 0 = -3*i + w + o for i.
3
Let g(b) = b**2 + 6*b + 2. Let c = 3 + -9. Let p be g(c). Solve -3 = p*f - w, -2*f - 3*f + w = 15 for f.
-4
Let p be (18/21)/(-3) - (-16)/7. Solve -5*t = -2*q + 3, p*t - 4*q = -0*q + 2 for t.
-1
Suppose -4*q + 2*a + 14 = -10, 5*a + 40 = 5*q. Solve -i = 2*b + 1, -4*b = q*i - 5 - 3 for b.
-3
Let b = 31 + -31. Solve -2*n + c = 6*c + 18, -2*n - c - 2 = b for n.
1
Let q = -1 + 9. Suppose 0*v - 5 = -v. Suppose -i = 6*h - 3*h - 46, 0 = 2*h - v*i - q. Solve 5*f + 2*l + h = 0, -3*l - 1 = -2*f - 6*l for f.
-4
Let q(o) = 4*o + 8. Let t(u) = 9*u + 17. Let j(g) = 5*q(g) - 2*t(g). Let v be j(-5). Let p be (-5)/(5/2) - v. Solve 4*i + 3*f + 14 = -0*f, -2*f - 6 = p*i for i.
-5
Let k(h) = -h**3 - 4*h**2 + 2*h + 1. Let c be k(-5). Solve 7 = -5*q - 2*p - 1, 4*p + c = q for q.
0
Let z be 140/25 + (-6)/10. Solve 0 = -3*j - 3 + 15, z*q - j + 19 = 0 for q.
-3
Let o be -6*1*2/(-2). Let q(w) be the second derivative of w**3/6 + 5*w**2 + w. Let d be q(-7). Solve y + 5*v - d*v + o = 0, -2 = y - 2*v for y.
-4
Let g(b) = -b + 2. Let o(s) = 4*s + 1. Let z(n) = 5*n + 2. Let d(y) = -6*o(y) + 5*z(y). Let f be d(-7). Let u be g(f). Solve -l = -4*x, -u*l = 8*x - 4*x for x.
0
Suppose -7 - 11 = -3*v. Solve -5*o + 5*f = 0, -2 = 3*o - 5*f + v for o.
4
Let r be 3 - (2 - 0) - 17. Let d be (1/1)/((-4)/r). Suppose 3*l = d*g + 2*l - 15, 15 = 3*l. Solve -g*w = y + 17 - 7, w + 2 = 0 for y.
0
Suppose 0 = a - 5*m + 1, 5*a = -3*m - m + 24. Let q be (-1)/(a/16)*-1. Solve -4*v + 2*v = -5*t + 8, -6 = -q*t + 2*v for t.
2
Let q be 12/(-9)*-3 - 1. Solve 5*m - 20 = 0, -z - 4*z = q*m + 13 for z.
-5
Let x(l) = -l. Let w be x(5). Let t be (6/w)/((-18)/45). Solve -5*z = -t*r + 22, -r + 10 = -z + r for z.
-2
Suppose -5*a + 19 + 1 = 0. Let i = -212 - -102. Let j be i/(-15) + a/6. Solve -2*y = -4*o, -j*o + 3*o - 22 = 3*y for y.
-4
Let t = 103 - 101. Solve 0 = -2*k - 3*q - 13, 0*k - t*k + q - 1 = 0 for k.
-2
Let l(k) = -k + 12. Let g be (15 + 0)/(-3)*-1. Suppose 0 = 3*d + 2*v - 28, -v - 20 = -g*v. Let f be l(d). Solve 2*w - 8 - 11 = -5*q, f = 3*q + 3*w for q.
5
Let b(h) = -h + 11. Let t be b(8). Solve -5*g = -2*s - 30, s + 21 = t*g + g for g.
4
Suppose 2*k - 5*n = -25 + 4, 0 = -4*k - 4*n + 28. Suppose 3*i + 32 = -s + 5*s, -4