 = 6*v for v.
-1
Suppose 5*z = 3*j - 21, j + 2*z + 10 = -2*z. Suppose -c + 2 = -3*t, 2*t - 2*c + 2 = -j. Solve 4*d = -t*d for d.
0
Suppose 448 = -2*t + 456. Solve -20 = 6*h + t for h.
-4
Let c(j) = -j**3 - j**2 + 2*j + 2. Let q be c(-1). Suppose v - 19 - 1 = 0. Suppose -2*z + v = 6. Solve -2*t + z*t = q for t.
0
Let l(a) be the first derivative of -a**4/4 + 2*a**3 - a**2 - 11*a + 2. Suppose -25 = -2*x - 3*x. Let c be l(x). Solve c = -3*u + 4*u for u.
4
Let b(y) = -2*y**2 + 55*y - 74. Let f be b(26). Solve 20 = -f*p + 28 for p.
2
Suppose -2*v = -0 - 8. Suppose -z + 5 = -v*i, -4*i + 5*z = -10 + 3. Let r be i + (24 - (2 - 0)). Solve 0 = 3*g + g + r for g.
-5
Suppose 10*n = 7*n. Suppose -1 = s + 3, -a + 3*s + 32 = n. Solve 6*k - a = 2*k for k.
5
Let h = -1468 - -1496. Solve 7*l + 0 = h for l.
4
Suppose -2*r = -5*r + 42. Let n = r - 10. Suppose 0 = z - 5*t + 2, -z + 3*z - 2*t = n. Solve 7*y + 16 = z*y for y.
-4
Suppose 7*g = -g. Suppose -11*z + 22 + 22 = g. Solve 2*v + 8 = z*v for v.
4
Suppose s + 1 = 5, 2*c = -s + 8. Suppose -3*y - 9 = 0, 4*m + y + 2*y = 7. Solve -m*z = -c*z + 10 for z.
-5
Suppose -5*w - 252 = 7*w. Let n = -21 - w. Solve 3 = -n*y - 3*y for y.
-1
Let p be 4/(-8)*2*(-12)/3. Solve 2 - 6 = p*t for t.
-1
Suppose -y + 60 = 56. Solve -y*g - g = 0 for g.
0
Let y = 45 + -36. Let x = 22 - 19. Let g(a) = -a**3 + 6*a**2 - 5*a + 6. Let z be g(5). Solve -y = x*h + z for h.
-5
Suppose 0 = -2*g - n + 26, -2*g + 0*g - 3*n + 22 = 0. Suppose -2*r = -5*r - 2*w + g, -r = 5*w - 22. Let m be 10/3 - r/(-3). Solve -15 = q - m*q for q.
5
Let u be ((-12)/(-6 + 5))/2. Solve 3*b + 0 = -u for b.
-2
Suppose 0 = 3*w - 28 - 14. Let m = w - 12. Suppose -n + p = 2*p - 2, -4*n = m*p - 14. Solve -3*a - n = 7 for a.
-4
Let b(f) = -f**3 - 5*f**2 + 2*f + 10. Suppose 4*c + o + 12 = -8, 5*o + 10 = -2*c. Let u be b(c). Suppose 2*r + 0*r - 4 = u. Solve 0*n - r = n for n.
-2
Suppose 5*m - 128 + 18 = 0. Let k = -30 + m. Let d be (-4)/k*10*1. Solve r - 2*r = d for r.
-5
Let l(u) = -5*u + 2. Let w be l(0). Suppose 1 = -13*v + 14*v. Solve 0 = -y - v + w for y.
1
Let y be ((-6)/9 + -1)/((-2)/6). Suppose 10 + 5 = y*f. Solve -f*u - 14 = 1 for u.
-5
Let u be (-9)/12*(-2772)/189. Solve -3 - 19 = -u*d for d.
2
Suppose -3*h = 4*o - 20 - 0, 2*h - 15 = -3*o. Solve 4*w + 29 - 41 = h for w.
3
Let l(x) = x**2 + 7*x + 6. Let v be l(-1). Solve -5*o = -v*o for o.
0
Suppose -7*h - 760 = -17*h. Let x = h - 75. Let a be (-4)/(-10) + (-4)/10. Solve 3*u - 2*u + x = a for u.
-1
Let y be 1/(-2 + 20/8). Solve 0*a - y*a = -2 for a.
1
Let s be (6*(-2)/2)/(-2). Let l = s - 1. Let j be 6 + l*3/6. Solve -j*n = -2*n for n.
0
Let f be (-222)/(-185) + 18/(-15). Solve -7*n + 2*n - 10 = f for n.
-2
Suppose v - 4*v + 22 = 2*w, 5*w = v + 21. Solve -h + 12 = w*h for h.
2
Suppose -4*b = -b - 15. Solve -b*w - 18 = -28 for w.
2
Suppose 4*l - 8*l = -276. Let n = l - 68. Solve -i = n - 2 for i.
1
Let l = -2 - -4. Let i = -552 - -562. Solve l*m - 7*m = i for m.
-2
Suppose 63 = -5*w + 26*w. Solve w*z = 6 - 9 for z.
-1
Let h(u) = -u**3 + 3*u**2 - u - 1. Let i be h(2). Suppose 0 = a - 2*y - 7, 4*a - 2*y - i = 9. Solve -4*p - 7 = a for p.
-2
Let q(d) = 2*d - 2 - 4*d + 34*d**2 + 5*d. Let g be q(2). Suppose -4*v + 9*v = g. Solve -5*a + v = 3 for a.
5
Suppose 125*g - 130*g = 0. Solve -17*q - 14 - 3 = g for q.
-1
Suppose -d + 4*q = 24, 20 = 5*d - 5*q + 65. Let s = d + 6. Solve 0 = 2*n + s*n + 8 for n.
-2
Let s = 46 - 41. Suppose -3*r - r + g = -s, r - 3*g - 15 = 0. Solve x + x = r for x.
0
Let o = 7 + -4. Suppose -3*n + n + 13 = o*s, -4*s + 2 = -5*n. Suppose -73*h + 75*h - 8 = 0. Solve s = -7*l + h*l for l.
-1
Let f(g) = 2*g + 2. Let d be f(-1). Let l = 142 - 142. Let k = 71 + -51. Solve d = -l*i - 5*i + k for i.
4
Let m be ((-1430)/1001)/((-2)/35). Solve 34*d - 29*d + m = 0 for d.
-5
Let a = 97 - 91. Solve -2*h = -a*h for h.
0
Suppose 0 = 4*r + 2 + 2. Let o = r + 2. Let p(x) = 2*x**2 - 48*x + 2. Let s be p(24). Solve 3 = -s*j - o for j.
-2
Let z = 94 - 64. Suppose 5*b + 0*b - z = 0. Solve 0*l + 2*l + b = 0 for l.
-3
Let h = 24 - 19. Suppose -t - 4*t - 5 = -h*l, -3*t - 5*l - 11 = 0. Let n be t/(-4) - 35/(-10). Solve -4 - 16 = -n*z for z.
5
Let g be -1*(4 + (-100)/4). Let j = -21 + g. Suppose 2*s + j*w - 4 = w, -5*w = -10. Solve 0 = b - s*b + 10 for b.
5
Let d be (0/1 + 22)*-1. Let z be -1*(-7 + 22 + 7). Let t = z - d. Solve y - 3 = -t for y.
3
Let u(z) = z**3 + 8*z**2 - 11*z - 15. Let v be u(-9). Solve -g = v*g + 4 for g.
-1
Suppose -2*f = -18 + 14. Let s be 6/(-18)*-6 + (f - 1). Solve -6 + 0 = -s*k for k.
2
Let q(a) = 14 + 3 + 10 - 3*a. Let r be q(8). Solve 2 + 7 = -r*t for t.
-3
Let j(p) = 14 - 2 + 8 - p. Let n = -255 + 263. Let l be j(n). Solve 5*w + l + 3 = 0 for w.
-3
Let o(v) = -v**2 - 4*v + 5. Let f(p) = 2*p**2 + 3*p - 6. Let g(z) = 2*f(z) + 3*o(z). Let u be g(6). Solve 0 + u = h for h.
3
Let p = 1838 + -1830. Solve p*v - 18 = -42 for v.
-3
Let d be (-5 + 3)/(1/(-2)). Let z(i) = -i**3 - 7*i**2 + 8*i - 6. Let b be z(-8). Let r be d/b*9/(-2). Solve r*l = 2*l for l.
0
Suppose -3*i + 7*k = 8*k - 312, 5*i = 2*k + 531. Solve 19*o - i = -10 for o.
5
Let m be (-10)/(1/9*-3). Suppose -76 = -2*k - 0*k. Let x = k - m. Solve -x*y = -4*y - 4 for y.
1
Let u = -2161 - -2175. Solve 10*t - u*t = 12 for t.
-3
Let k be 2 + -1 - 0 - (-136)/4. Let r be (-8)/(-24) + k/3. Solve 3*l - r = 7*l for l.
-3
Let k(w) = -2*w**2 + 4*w + 4. Let j(u) = 3*u**2 - 4*u - 5. Let r(i) = -3*j(i) - 4*k(i). Let o be r(-2). Solve 8 = 5*m - o*m for m.
4
Suppose -3*t + 15 = 0, 3*g - 3*t + t + 10 = 0. Let r be 0*(g + (-2 - -3))/1. Solve r = 5*n - 2*n for n.
0
Suppose 5*v + 72 - 462 = 0. Let j = v + -56. Let x = -16 + j. Solve -l - l = -x for l.
3
Suppose 0*i - 3*i + 366 = 0. Let q = i + -118. Solve -q = f - 3*f for f.
2
Suppose 2*d = -4*v - 2, -2*v - 16 = -2*d + 3*v. Let z be 5 - -1 - (1 - (-3)/d). Solve 9*o + z = 7*o for o.
-2
Let p = -4 - -4. Let x be 0/(-1 + p) + 0. Let w be x/(-3) + 9 + -3. Solve m + 2*m + w = 0 for m.
-2
Suppose 4*j - 2*v = -2, -4*j + v + 18 = 3*v. Suppose -j*t = -7*t + 5. Let x be t*7/((-14)/(-8)). Solve -4*o = -3*o + x for o.
-4
Suppose 0 = 11*o - 20 - 13. Solve -o*a - 21 = -10*a for a.
3
Let t(m) = m**2 + 10*m + 9. Let d be t(-10). Solve 0 = -8*r + d + 23 for r.
4
Let w(n) = -3*n**2 - 20 + 2*n**2 + 52 + 13*n. Let v be w(15). Solve -2*c + c = -v for c.
2
Let d be 52*(-8)/(-32) + -8. Solve -11*j - d = 17 for j.
-2
Let k(v) = 8*v**2 - 9*v - 11. Let s be k(-1). Solve -q - 20 = -s*q for q.
4
Let r = -37 + 78. Suppose -r = -2*i - 7*t + 2*t, -19 = -i - t. Suppose -p = -4*p + i. Solve -q + 2 = p for q.
-4
Let j be 12684/56*(-4)/6. Let w = 155 + j. Solve -2*c = w - 6 for c.
1
Suppose -g + 135 = o, 5*o + 0*g - g = 675. Suppose 4*q = -5*n + o, 3*q = 6*q + 2*n - 103. Let r be (1 + -2)/((-7)/q). Solve 0 = -2*z - 1 + r for z.
2
Let k be (-2)/(-4)*(-3 - -4)*10. Solve 0*z + z = -k for z.
-5
Let a(k) = k**2 + 32*k - 3. Let x be a(-33). Suppose 5*z + 2 + 25 = b, 4*z + x = 5*b. Solve -3*q + b*q + 3 = 0 for q.
3
Let m(w) = -w**3 - 9*w**2 - 6*w + 10. Let d be m(-8). Let z be (-1)/((2/d)/(-1)). Let p be (6 + z)/((-6)/(-4)). Solve 3*h = p*h for h.
0
Let z = 1640 - 1625. Solve z*k - 6*k = -9 for k.
-1
Suppose 0*l = 2*u - 5*l, -3 = -u + l. Solve -29 = -u*r - 4 for r.
5
Let d(c) = -95*c - 186. Let v be d(-2). Solve 8*h = v*h - 12 for h.
-3
Let p be 4 + 2/(-4)*26/(-13). Solve -5 = p*v - 0 for v.
-1
Let p = 976 - 975. Solve p = -2*y - 1 for y.
-1
Let g(f) = 2*f**2 - 12*f - 2. Let q be g(8). Let i = -30 + q. Suppose -u + 4*z + 15 = 0, -4*z + 30 = 3*u - z. Solve 5*d - u - 14 = i for d.
5
Let c be ((-3)/(-6))/(1/50). Let g(v) = 2*v - 1. Let x be (-22)/(-12) - (-2)/12. Let z be g(x). Solve c = z*w - 8*w for w.
-5
Let w = -250 + 253. Solve 0 = -4*k - w*k - 21 for k.
-3
Let z = 354 + -352. Solve -6 = 4*v - z*v for v.
-3
Let r(z) = -3*z - 24. Let l be r(-9). Suppose 21 + 0 = l*q. Solve q*g - 3*g = -20 for g.
-5
Let s = 8 - 10. Let h(c) = 2*c**3 - 3*c**2 - 2*c. Let n(z) = z**3 - z**2 - z. Let l(q) = s*h(q) + 5*n(q). Let o be l(1). Solve o - 5 = -4*j for j.
1
Let a = 18 + -18. Suppose 5*u - 11 - 14 = a. Suppose u*w + 4*m = 6 + 1, 0 = 3*m + 6. Solve -g - w = -1 for g.
-2
Let i(o) = -23*o - 1. Let s be i(-1). Suppose 6 = 5*m + d, -4*m = -d + 5*d + 8. Suppose -a + 0*a = -m. So