f*d - 20 for d.
5
Suppose -6*a + 44 - 8 = 0. Suppose -a = -7*f + 5*f. Solve -f*q = -6*q - 9 for q.
-3
Let t = 1771 + -1768. Solve -2*x + 0*x = t*x for x.
0
Suppose 5*n - 21 = -d - 12, 4*n = 5*d + 13. Solve n*g = 4*g - 8 for g.
4
Let r(g) be the first derivative of g**4/4 - 4*g**3/3 + 2*g**2 - 12*g - 38. Let s be r(4). Solve -c + s - 1 = 0 for c.
3
Let y = 2 - -1. Suppose 513*k = 518*k + 4*o - 6, -k + o + 3 = 0. Solve -y*t = 10 + k for t.
-4
Let r = -726 + 734. Solve -r = -24*m + 20*m for m.
2
Suppose 3*h - 1 = 2*m, -5*h + 3*h - 2 = -4*m. Let d(y) = 2*y - 9. Let f be d(6). Suppose -f*o + 8 = 2. Solve h = -q - o for q.
-3
Let s(l) = l**3 - 29*l - 11. Let z be s(6). Solve 0 = -z*r + 36*r for r.
0
Suppose -5*b = 88*n - 85*n - 232, -4*b + 8 = 0. Solve 2*q - 70 = -n for q.
-2
Suppose 4*i = 4*d - 4, -2*i - 4*d - 71 = -75. Solve -3*u + 33 - 18 = i for u.
5
Let p(v) = 3*v**2 + v - 1. Let j be p(2). Let f be 91/13 - -3*1. Let b = j - f. Solve 11 = -2*h + b for h.
-4
Let q be 21/(3*(-5)/(-10)). Suppose 11 = 3*v - x, -4*x - q = 5*v - 2*v. Solve -v*d = -0*d - 10 for d.
5
Suppose g = 3*b - 2*g - 21, -4*b + 5*g = -32. Suppose 0 = b*r + 2*r. Solve 6 = -r*k + 3*k for k.
2
Suppose -1 - 11 = 6*k. Let j be k/(-4) - (-14)/(-28). Solve -t + j = 2 for t.
-2
Let t be (15/60)/(2/(-8)). Let x be (t*1)/(15/(-60)). Let s = 8 - 6. Solve s*r = -0*r - x for r.
-2
Let p = 152 + -92. Suppose 31*y - p = 26*y. Solve y = -5*q + q for q.
-3
Suppose 2*c + 66 = b, 4*b - 2*b = -5*c + 150. Let v be b/(-6) + (-2)/6. Let m be ((-12)/8)/(v/16). Solve 0*y - m*y = -8 for y.
4
Let p = -33 + 57. Let z = p + -15. Suppose 5*k = z - 4. Solve 2*q = -k - 1 for q.
-1
Suppose 27 = x - 4*s - 3, -3*x - 3*s + 15 = 0. Solve -10*v = -0*v + x for v.
-1
Let x(g) = g**2 + 6*g - 6. Let b be x(-5). Let u = b + 13. Suppose 3*a + a - 3*n = 24, -4*a - 4*n = 4. Solve -u = a*q + 1 for q.
-1
Let r(f) = f - 3. Let p be r(5). Let h(s) = -s + 2. Let g be h(p). Solve g = 5*i - 8*i for i.
0
Suppose -3*d - 3 = 18. Let g(m) = -2*m**2 - 16*m - 6. Let b be g(d). Solve -b*w + 6*w + 10 = 0 for w.
5
Suppose 2*a - 3*m - 14 = 0, a - 7*m - 21 = -2*m. Let y be (-1)/3*-6 + a*-2. Solve y = 3*l - 9 + 24 for l.
-5
Suppose -173*i + 36 = -167*i. Solve 28 = i*h + 4 for h.
4
Let w = -1 - 9. Let h be w/((-4)/(2 - 0)). Solve 3 + h = -4*a for a.
-2
Suppose 10*s = 29*s - 95. Solve 0 = s*r - 10*r for r.
0
Let v(y) be the first derivative of -y**2/2 - 24*y - 10. Let m be v(-28). Solve 0*w - 12 = m*w for w.
-3
Let n = 17 + -7. Let c be (-13)/(-2) - 5/n. Solve 0 = -3*f - 0 + c for f.
2
Let h be 0 - 2/2 - 12. Let r = 19 + h. Solve -a - a + r = 0 for a.
3
Suppose -8 = -4*q - 4*a, 4*a + a + 25 = 0. Let i = q - -6. Suppose -i*x = -18*x + 30. Solve -2*j = x - 0 for j.
-3
Let o(b) = -3*b - 25. Let t(i) = 3*i. Let d be t(-3). Let j be o(d). Solve -j*k + k = 0 for k.
0
Let z be 8/8*-8*-4. Let c(k) = 2*k**2 - 5*k - 4. Let h be c(-3). Let x = z - h. Solve -r - 2*r - x = 0 for r.
-1
Suppose -l - 10 = l. Let t(x) = x**3 + 6*x**2 + 4*x - 1. Let o be t(l). Suppose 3*b = -w + 17, -b + w + 0 = 1. Solve 2*n - b*n + o = 0 for n.
2
Let r be 3/((-44)/(-8) - 4). Suppose 96 = 5*g - r*g. Suppose 3*b = b, -2*b = -4*k + g. Solve -2*f + 4*f = k for f.
4
Let d be 104/18 + (-8)/(-36) - 0. Suppose -d*r = -13 - 17. Solve -r = -0*w - w for w.
5
Let a(h) = 16*h + 180. Let c be a(-11). Solve 97*t = 98*t - c for t.
4
Let v be 78*6/36 - -1. Solve 9*l = -v*l for l.
0
Let l(s) = 3*s - 46. Let f(v) = v + 36. Let m be f(-20). Let t be l(m). Solve 0 = h + t*h for h.
0
Suppose 7*v - 17 - 32 = 0. Solve 5 = v*q - 6*q for q.
5
Suppose 0 = -0*h - 2*h. Let n be (h - -4 - 4)/2. Solve 0*a - 3*a - 15 = n for a.
-5
Suppose -2*l + 15 = l. Suppose -4*d + l*a + 8 = 0, 3*d = -6*a + a + 6. Solve 4*i - 5*i - d = 0 for i.
-2
Let r = -359 - -359. Let m(u) = -4*u**3 + u**2 - u - 1. Let o be m(-1). Suppose -2*h - d = 0, -h - 2*h + o*d + 26 = 0. Solve 10 = -r*k + h*k for k.
5
Suppose -38*h + 12 = -35*h. Let t = -7 - -7. Solve -h = -n - t for n.
4
Let u = -5 + 10. Suppose 2*a - 21 = -u. Suppose -a - 10 = -6*t. Solve -t*w + 6 = -3 for w.
3
Let z = 7 - 4. Let c be 1 - (z - 5) - -9. Suppose 7*x - 24 = 11. Solve x*o + 3 = -c for o.
-3
Let v(l) = -2*l**2 + 9*l - 7. Let t be v(2). Solve t*j + 24 = -3*j for j.
-4
Let l be ((-9)/(-15))/(2/30). Solve -15*g = -l*g for g.
0
Suppose 0 = 2*l + l. Suppose 3*y = -4*i + 44, 3*i + y + y - 32 = l. Suppose -4*u = -6*u + i. Solve u*j = j for j.
0
Let q(o) = -o + 12. Let t be q(12). Solve 2*a + 0*a - 2 = t for a.
1
Suppose -7*t = -2*t + 5*p - 70, -5*t = -4*p - 61. Solve 0 = 9*a - t - 14 for a.
3
Let n = -13 + 16. Let t(v) = 2*v**2 - 2*v**3 - 5*v + 16 + v**n - 11*v**2 - v. Let h be t(-8). Solve h = 4*s + 5 + 7 for s.
-3
Let x be -2*((-5)/10 + -4). Solve -4*j + x = -7*j for j.
-3
Let a(b) = 2*b + 1. Let w be a(9). Suppose 2*z - 10 = 2*f, 0 = 4*z - 5*z - 5*f - w. Solve -4*m - 7 - z = 0 for m.
-2
Suppose -9 + 1 = -4*h, -4*h = -p - 11. Let m be (-6)/(-4)*96/(-54)*p. Solve -2 = -2*r - m for r.
-3
Let r = 22 - 19. Let n(m) = -9*m + 2. Let z(c) = -c**3 + 4*c**2 - 2. Let h be z(4). Let q be n(h). Solve -r*l + q - 5 = 0 for l.
5
Suppose -2*w - 1320 = 2*w. Let r be w/(-25) + 1/(-5). Let a = r - 2. Solve 9 = 4*k - a for k.
5
Suppose -3*j - 24 = -5*n - 0, 4*n - 9 = -j. Solve -n = -4*r - 7 for r.
-1
Let z be 143/6 - (-95)/(-114). Solve 5*n + 3 = z for n.
4
Suppose -c + 9 = 4. Suppose 3*b + 8 = c*b. Solve -2*y = 4 + b for y.
-4
Suppose -2*m + 7*q + 44 = 4*q, 19 = m - 3*q. Suppose 16*j - m = 11*j. Suppose -15 = -5*a, 2*k = j*k + 4*a - 27. Solve -2*f = -f - k for f.
5
Let c be (-920)/(-840) + 4/(-42). Solve v + c = -2 for v.
-3
Let x be (-1)/(0 - (-3)/(-18)). Let v be (-3)/(9/3) + x. Suppose 2*a - v*s + 1 - 6 = 0, -4*a + 3*s + 3 = 0. Solve a = d - 3*d - 2 for d.
-1
Let k = 69 + -50. Let f be (4/(-6))/(6 - k/3). Solve f*m = m for m.
0
Let b(v) = 7*v**3 - 2*v**2 - 4*v - 6. Let a be b(-2). Let o be a/12*-2 - (-22)/33. Solve -3*m + o = -4 for m.
5
Let s(w) = 2*w - 7. Let y be s(-5). Let i(b) = b**2 + 17*b + 2. Let j be i(y). Let q(l) = 2*l**2 - 2*l - 1. Let t be q(3). Solve -j*o - 3 = -t for o.
4
Let z be ((-6)/(-4))/((-3)/66). Let y = z + 34. Solve 4*w + y = -7 for w.
-2
Let g(q) = 6*q + 2. Let a be g(-4). Let y = 27 + a. Solve 0 = -y*l + l - 20 for l.
-5
Let s be (3 + (-3 - -3))/1. Suppose -s*z = t + 6, -z - 3 + 1 = -2*t. Solve t*a + 4*a = 20 for a.
5
Let l(p) = -9*p**2 + p + 4. Let k be l(-2). Let d = 36 + k. Solve 0 = -s + 1 + d for s.
3
Let w(m) = -2*m**2 + 67*m + 106. Let j be w(35). Solve -j = 2*d + 7 for d.
-4
Let m = 706 + -700. Solve h = -m*h - 21 for h.
-3
Let j(h) = -h**3 - 9*h**2 - 15*h - 1. Let q be j(-7). Solve 11*g = q*g - 20 for g.
-4
Let p = -685 - -792. Solve -p*a = -104*a - 6 for a.
2
Let r = -1133 + 1144. Solve 5*u + r = 21 for u.
2
Let x be -2 - (27 - 3)/(-6). Suppose 0 = 5*b - 3*j - 27, j - 6 = -3*b - 1. Solve x*k = -b*k for k.
0
Suppose -2*f - 16 = -4*f + q, -3*f = 2*q - 38. Let u = 24 - f. Suppose 5*d - 24 + u = 0. Solve -5 - 5 = d*y for y.
-5
Let r = -1424 - -1424. Solve r = 16*h - 7*h - 36 for h.
4
Suppose 368*l = 366*l. Solve 13*u + 1 - 1 = l for u.
0
Suppose -5*q + 6*r = 5*r - 62, 5*q + 5*r - 80 = 0. Solve 12*n - q = -n for n.
1
Let l = 8 - 4. Suppose -7*u = -3*u + 16, 2*f - l*u - 18 = 0. Solve 0*s + s - f = 0 for s.
1
Let u(m) be the second derivative of m**3/6 - 3*m**2 + 31*m. Let l be u(11). Solve 0 = n - l*n for n.
0
Suppose 0 = 5*u + h - 19, 4*u + 5*h = 2*h + 13. Solve -x - u*x - 10 = 0 for x.
-2
Suppose -5*x + 2*x = 4*s - 70, 3*s + x = 50. Suppose -2*k = 3*t, 2*k = -5*t + 2 + 2. Solve -t*z - s = 2*z for z.
-4
Suppose 0 = -5*z + 6*z - 25. Suppose z = 4*a - 5*x, 2*a - x - 6 = a. Suppose 4*n = a*m + 28, 6*n - n - 4*m = 26. Solve 4 = 3*k - n*k for k.
4
Suppose -2*r - 414 = -11*r. Solve -r*w = -50*w - 12 for w.
-3
Suppose -q - 3*a + 5 = -6*a, 4*q - 2*a = 20. Suppose w + 4*x - 20 = -3*w, -6 = -w - 2*x. Suppose -19 + w = -5*k. Solve -k*v + q = -1 for v.
2
Suppose 0 = 22*n - 673 + 409. Solve -n*j = 3 - 3 for j.
0
Suppose -2*z - 15*b + 12*b = -6, 2*b - 4 = 4*z. Solve z = 11*m - 31 - 13 for m.
4
Suppose -c - 18 = 4*d, c - 4*d - 10 = 6*c. Let y be -2*(c - (-60)/4). Let r be 51/y - (-22)/4. Solve -r*g = -g for g.
0
Let z be ((-72)/9 - -18) + 10. Solve 0 = -11*k + 7*k +