- 8 = u for u.
-4
Let m be ((-12)/(-21))/(-2)*-14. Suppose m*c = c. Solve 2*a - g = -a - 15, c = -5*g for a.
-5
Let n = -485 + 505. Solve 0 = 4*d - 4*v, -3*d - 5*v - 4 - n = 0 for d.
-3
Suppose 3*w = 2*w + 5. Suppose 23 = 4*g - 3*f, 3*f + 19 - 6 = -g. Solve 4*m = c + 3*c, -3*m = -w*c + g for m.
1
Let v be (10/(-4))/(2/(-4)). Suppose -10 = -7*z + v*z. Solve 5*s = -z*i, -3*i = -4*i for s.
0
Let u(f) = f**2 + 23*f + 19. Let m be u(-22). Suppose 4*w - 3 = 1. Let p be m + w + 9 + -2. Solve -p*l = -2*d + 10, -1 = -5*l + 5*d + 4 for l.
-4
Suppose 5*w = 3*d + 9, 2*d - 6*d + 8 = 0. Let f be (w + 5)*3/6. Solve 0 = -4*c - f*l + 28, -5*c + 5 = 2*l - 3*l for c.
2
Suppose -2*f = -10 - 4. Let o = f - 1. Suppose 19 = 5*k - o. Solve w + 24 = -4*w + r, -2*w + 5*r = k for w.
-5
Suppose -6*f + f - 10 = -2*u, 2*f = -3*u + 53. Let r be 20/8*(-3 + 25). Let l be (-2)/(-6) + r/u. Solve -2*q = 2*p + 7 - 1, l*p = q - 12 for p.
-3
Let d(f) = 2*f**2 + 13*f. Let b be d(-4). Let k be 3/2*b/(-15). Solve 4*t = 0, k*q - 10 = -0*q - 2*t for q.
5
Suppose -6*w + 33 - 9 = 0. Solve -13 = 3*z + f, 4 + 13 = -w*z - f for z.
-4
Suppose -4*g - 54 = -22. Let v be (-6)/g + 5/4. Suppose v*o + 2*o = 0. Solve 17 = i - 4*r, o*r - r - 5 = 0 for i.
-3
Suppose -2*w = -10, 30 = 4*t + 5*w - 11. Suppose 4*m + 52 = 4*c + 132, 56 = t*m + 4*c. Suppose 7 = 4*x - m. Solve 0 = -2*b + 2 - 4, 0 = o + 5*b + x for o.
-1
Let q be 144/120 - 78/(-10). Let f be (0 - 0) + (-10)/(-2). Let i = q - f. Solve p = 4*p - v - 5, -p - 13 = -i*v for p.
3
Suppose 3*m - 13 - 8 = 0. Suppose -4*q + 10 = -w, 2*w + 3*q - 3 = 5*w. Solve -w = -4*a + u + m, 27 = 2*a - 5*u for a.
1
Let l(j) = -j**3 - 4*j**2 - 6*j - 9. Let q be l(-3). Solve q = -2*k + 4*s + 24, -2*s - 20 = 3*s for k.
4
Suppose -33*c + 120 = -9*c. Solve 5*j + c = 3*o, 4*o + 16 = j - 0*j for j.
-4
Let c = 66 + -51. Let p be (3 + 0)/(9/c). Solve 22 = 6*b - 2*b - 3*h, 0 = -4*b - p*h + 6 for b.
4
Let l = 272 + -272. Solve 2*d - 11 = 4*a + 1, l = 2*a + 2 for d.
4
Let a be (-100)/12*-3*12/60. Solve 0 = 2*u + 2*z, -2*z = a*u - 4*z + 21 for u.
-3
Let d(b) = -b**3 + 3*b**2 - 4*b + 12. Let a be d(3). Solve 4*n + 4*p = a, -n + 0*p = 5*p for n.
0
Suppose 10*y = 15*y - 10. Solve 3*z - 3*i = 27, 2*z = 4*z + 3*i + y for z.
5
Let x be ((-1)/(-3))/(15/225). Solve 2*s + x*l - 21 = 0, 2*s = l - 3 - 6 for s.
-2
Suppose -2*f + 3 + 9 = t, f - 11 = -3*t. Suppose 6*d - f*d = 17. Solve 0 = 5*m - 10, -7 + d = 2*j + 5*m for j.
0
Let m = 103 - 98. Solve m*u + 15 = 5*z, -z + 5*u + 11 = -0*z for z.
1
Let i be (7 + -9)/((-2)/3). Let z(g) = -3*g**i + 2 - 1 + 2*g - 4*g**2 + 6*g**2. Let m be z(-1). Solve 0 = 4*u - 5*r + 17, m*u = -u - 5*r + 35 for u.
2
Let n(i) = 3*i**3 - 3*i**2 + 3*i - 1. Let m be n(1). Suppose v - 4 = o, -o + 6 = m*v - 2. Solve v*l - 5 = -3*d, d + 4 - 11 = -4*l for l.
2
Let d = -340 + 343. Solve 2*z - d*h = -9, 2*h + 4 = -z + 3 for z.
-3
Suppose -36*i = -16*i - 60. Solve 0 = -z - 3*z, -6 = -i*w + z for w.
2
Let q(i) = 2*i - 20. Let m be q(10). Solve 0 = -m*f - f - d, -4*d + 18 = -5*f for f.
-2
Suppose z = -j - 4, -4*j = -11 + 27. Solve 4*u = 3*a - 35, -5*a = -z*a + 4*u - 5 for a.
5
Suppose 4*k = -4*t - t + 30, -5*k + 21 = -2*t. Suppose 0 = -5*x + 4*n + 6 + 1, 2*x - 8 = -n. Solve k*w = 4*a + x*w + 12, -4*a = w for a.
-1
Let w(n) = 5*n - 190. Let j be w(38). Solve m - 5 + j = k, 3*k - 5*m + 19 = 0 for k.
-3
Let f = 19 - 25. Let h be 3/3*(f + 6). Let n be 2/(-2) - -5*1. Solve 5 = -5*v - 2*y - n, h = y - 3 for v.
-3
Let i(o) = 11*o + 4. Let d be i(3). Suppose 2*t - d = -5. Solve 2*h + 5 = 5*p, -4*h + h = p + t for h.
-5
Let y be 2 - (0/(-7 - -3) - -1). Let h(i) be the second derivative of i**3/6 + i**2/2 - i. Let g be h(y). Solve -2*a + 5 = -3*r, g*a - 7 = r - 0*a for r.
1
Suppose -a = 5*p + a - 41, 6 = 2*a. Solve 4*s = -y - 23, 2*s + 29 = -4*y + p for y.
-3
Suppose 31 = 28*y - 53. Solve v + 5 = s, y*v - 2*s - 3*s + 19 = 0 for v.
-3
Let r = -198 - -206. Solve 0 = 5*h + 5, 3*h - h + r = -2*x for x.
-3
Let o(a) = -2*a**3 + 35*a + 16. Let y be o(-4). Solve -y*h - i = 8, -2*h - 26 = -0*h - 5*i for h.
-3
Suppose 0 = -389*x + 383*x + 24. Solve x = 4*g - 5*c - 18, -2*g - 2*c = -2 for g.
3
Let n = 36 + -32. Suppose n*k + 4*a = -12, 0*a = 2*k + 5*a + 18. Solve 3 = 2*v - 4*y + k, 3*y + 14 = -v for v.
-5
Suppose -5*s = -s. Suppose -12*r + 10*r + 12 = s. Suppose 0 = -3*v + r - 0. Solve 10*c - 5*c + 2*a + 6 = 0, 6 = v*c + 5*a for c.
-2
Suppose -19 = -3*s - 7. Solve -5*b + s*g - 10 = 7*g, 3*b = 3*g - 6 for b.
-2
Suppose 19 = -2*w + 63. Let j = -181 + 315. Let m = j + -118. Solve 2*a - m = -3*a - 3*k, -w = -5*a - k for a.
5
Let l be 266/6 - (-2)/(-6). Suppose 6*d = 2*d + l. Solve 5*q - 4*q + 4*y = 13, -5*q + d = 2*y for q.
1
Let a be 3/(-6)*(2 - 2). Let f be 2 + a*(-4)/(-8). Suppose -5*r + 10 = -g - 4*g, -3*r = f*g - 16. Solve 4*b = 5*u - 0*b + 8, 6 = -g*u + 3*b for u.
0
Let r(f) be the second derivative of 0 + 1/6*f**3 + 9*f - 1/2*f**2. Let d be r(3). Solve -2*b + 8 = -p, -d*p + b - 19 = -4*b for p.
-2
Let d = 41 - 37. Suppose -5*s + k + 23 = 0, 0*s = 4*s - d*k - 12. Let a be ((-10)/4)/((-1)/2). Solve -2*y - 12 = -a*c + s, 2*y + 8 = 2*c for c.
3
Let t = 35 + -31. Suppose -5*v = 20, -2*o - t*v + 3*v = 0. Solve -2*w - s - o = -11, -4*s = -2*w - 6 for w.
3
Suppose -57 = -3*t - 5*z - 48, 0 = 5*z. Solve 2*o - t*u + 11 = 3, 0 = -3*o + 4*u - 10 for o.
2
Let u = 16 + -11. Let j(k) = k**3 - 18*k**2 + 16*k - 27. Let y be j(17). Let s = 44 + y. Solve s = -5*t - f + 1, -f + 6*f - u = -t for t.
0
Let w be 4/(-10) + (-102)/(-5). Solve w = -5*q, f - 3*q = -f + 16 for f.
2
Let o(z) = -z**3 - 4*z**2 - 7*z - 3. Let a = 3 - 6. Let q be o(a). Solve r - l = -q, r - 2*l - 3 = -17 for r.
-4
Suppose 5*v - 17 = -4*s, 2*v - 3 + 7 = 2*s. Let x be 4 + (-6)/3 - 0/(-1). Suppose 5 - 1 = 4*h. Solve l = v, -t - x*l = l + h for t.
-4
Let w be (-6)/21 - (-177)/7. Let d be 145/w + 3/15. Let b be ((-9)/(-2))/(d/32). Solve -2*f = -4*h + b, -5*h + 9 = -2*f - 4*h for f.
-2
Let u be ((16/(-6))/(2/(-6)))/2. Let z(t) = t**3 + 6*t**2 + 4*t + 6. Let g be z(-5). Suppose h - g = -8. Solve -3*p + 3*i - 18 = 0, -u*p - h = 4*i + 5 for p.
-4
Suppose 12 = 4*g + 4*b, 2*b - 3 = -g + 3. Suppose i - 16 = -3*i. Suppose g = -0*q - i*q + 8. Solve 4*x - 8 = -4*k, 28 = -3*x + 5*k + q for x.
-2
Suppose 31*t - 4*n = 32*t + 3, 2*n - 1 = -t. Solve 0 = t*k + 20, 5*u + 30 = -5*k for u.
-2
Suppose 5*s - 28 + 3 = 0. Suppose s*g + 25 - 80 = 0. Solve g = -5*v - d, 0 = -0*v + v - 2*d for v.
-2
Suppose -2 = j, -5*h + 3*j = 5*j - 21. Suppose -i + 56 = 3*u, -2*i + 12 = -h*i. Solve 4*p - 2*k + 28 = 12, 2*p - 4*k + u = 0 for p.
-2
Let x = -48 + 50. Suppose -2*z + 5*z - 18 = 0. Solve -2*r = -a - x + z, r + 2*a = -12 for r.
-4
Suppose -3*n = 4*a - n + 102, 2*n - 73 = 3*a. Let i = a + 29. Solve -i*g - 1 = -2*g - p, -4*g = -4*p for g.
-1
Let a = 1 - 1. Let g = a - -5. Suppose -4*c = -4*d - d - 140, -5*c + 196 = -d. Solve -5*x + g*y = -c, -7*y + 4*y = 12 for x.
4
Let d = 148 - 144. Suppose d*x = 3*i - 26, i - 3*x - 4 = 13. Solve 5 = -w + 2*a - 10, -i*w + 5 = 3*a for w.
-5
Suppose 3*h + 100 = 13*h. Suppose -2*c = 2*c. Suppose 3*d - 8*d + h = c. Solve d*o - 15 = q - 0*o, -2*q - 2*o = 0 for q.
-5
Let b(d) = 11*d + 278. Let t be b(-25). Solve 3*i + 5*p - 32 - 2 = 0, -5*i + 30 = t*p for i.
3
Let f = 1 - -3. Let m = 7 + 5. Solve a + u + f - m = 0, 3*u - 18 = -a for a.
3
Suppose -t - 5*t = -24. Suppose -o + 87 = 4*o + 4*w, 66 = 5*o - 3*w. Suppose -j - o = -t*j. Solve b - 5*u + 14 = 0, 4 + 6 = -5*b + j*u for b.
1
Let z be 0/3 - 1 - -6. Suppose d - 2*p = -0*d + 20, 0 = z*d + 3*p - 74. Suppose 3*c + c = d. Solve 0 = -6*v + 2*v - 5*x - 8, 2*v + c = -2*x for v.
-2
Let j(g) = g**2 - g - 2. Let s be ((-45)/6)/5*2. Let l be j(s). Suppose 4*z - d = -z + l, 0 = z + d + 4. Solve -5*w - 12 = -4*f, 3*f - 3*w = z + 5 for f.
-2
Let o = 82 + -80. Let p(x) = 2*x**2 - 3*x + 2. Let s be p(o). Solve -2*u = y - 2, 2*u + s*y + 0 - 8 = 0 for u.
0
Let x = -28 - -38. Suppose 8*l - x*l + 8 = 0. Solve -5*j = -y - 26, 9*j + 3*y = l*j + 22 for j.
5
Let r(o) = 2*o**2 - o + 1. Let x be r(1). Let w = 64 - 49. Suppose -3*g + w = 0, 0 = -5*j + g + 2*g - 15. Solve -x*f - 4*l + l - 1 = j, -5*f - 4*l = 13 for f.
-5
Let r(g) = 11*g**2 - g + 3. Let u be r(2). Let z be 18/u - 54/(-15). Solve -2*l + z*k + 8 = -18, 7 = -l -