r v.
-3
Let y(u) = u**2 - 2*u + 1. Let s(f) = -f**2 + 11*f + 3. Let b be s(11). Suppose -b*w = -9*w + 18. Let n be y(w). Solve j = n - 0 for j.
4
Let b be 2/(-9) - (-2723)/63. Let j = -40 + b. Solve q - 2*q = j for q.
-3
Let a(j) = j**2 + 11*j - 8. Let l be a(-12). Suppose 6 = -2*c + l*c. Suppose 0 = c*b + 3*u + u - 37, 51 = 5*b - 4*u. Solve -3*k - b = 4 for k.
-5
Let b(q) = -2*q**2 - 5*q + 5. Suppose 0 = -i + 3 - 7. Let h be b(i). Let s be h/(-3) - 6/(-9). Solve -o - s*o = -4 for o.
1
Let k be 2 - ((-8 - -12) + -6). Solve -k*z - 28 = -18*z for z.
2
Let i be -1*(0 + -1)*19. Suppose -21*a + i*a = -12. Let n be -2*3/a*-4. Solve -n*h = -h for h.
0
Suppose 0 = -x - j + 5*j + 21, -4*x = j - 16. Suppose 2*i + 3*f + 56 = -3*i, -4*f = x*i + 58. Let c = i + 16. Solve h + c = -h for h.
-3
Let a = 37 + -28. Solve a = 3*o - 3 for o.
4
Let d(i) = -6*i**2 + 7*i + 4. Let h be d(-2). Let n be 2/(-3)*(28 + h). Solve f = -n*f - 15 for f.
-3
Let n = 1939 - 1935. Solve 24 - n = 4*i for i.
5
Suppose 36 = -12*c + 14*c. Let v = -5 + c. Suppose -32 = 5*y - v*y. Solve 0 = y*t - 23 + 3 for t.
5
Suppose 8*l - 3*k - 22 = 0, 3*k + 12 = 3*l - 0*l. Solve -37*q + 36*q - l = 0 for q.
-2
Suppose -4*q - 2*q = -30. Solve q = -0*k - k for k.
-5
Let i(z) = 4*z**2 + 78*z + 160. Let v be i(-2). Solve 6*t + 10 = -v for t.
-5
Let f = -2570 + 2590. Solve 17*w = f*w + 6 for w.
-2
Let b(g) = -g + 10. Suppose 4*t - 56 = -3*t. Let j be (-9)/(-2)*t/6. Let k be b(j). Solve 4 = -k*v - 0 for v.
-1
Let c = 346 - 341. Solve 8*o = 3*o - c for o.
-1
Suppose 2*d = 4*a - 4, 4*a - 5*d = a + 10. Solve 3*k + 9 = -a*k for k.
-3
Let b = -17 - -19. Suppose 0*s = s + 4*x - 32, -4*s + 58 = b*x. Solve -4*o = -0*o + s for o.
-3
Suppose 0 = h - 2*q + 6, -3*q + 9 = h - 2*q. Suppose -h*c + 0*b + b + 22 = 0, 3*c - 5*b = 8. Solve -c*x + 4 = -8*x for x.
-2
Let a(u) = 7 + u**2 + 5 + 17 - 5*u - 9*u. Let c be a(12). Solve -c = -d - 3 for d.
2
Let a be 0 - ((-4 - -7) + -3). Suppose -2*l + 4*l = a. Suppose -2*g = -r + 5*r, l = g + 4*r + 6. Solve g*b = b - 20 for b.
-4
Let o(d) be the third derivative of d**5/60 + d**4/24 - 3*d**3/2 - 26*d**2. Let x be o(-4). Solve -4*p + x*p - 4 = 0 for p.
-4
Let i(w) = 14*w**3 - 2*w**2 + 1. Let k be i(1). Let g = 113 - 110. Solve g = 5*o + k for o.
-2
Let w = -4 - -7. Suppose -12 = -15*g + 9*g. Suppose 0 - 1 = -r - n, 5*n + 1 = -g*r. Solve -5*d + r*d = -w for d.
1
Let n(d) = -4*d**3 - 8*d**2 - 5*d + 4. Let f(m) = -3*m**3 - 7*m**2 - 4*m + 4. Let s(t) = -3*f(t) + 2*n(t). Let w be s(-3). Solve x = -x + w for x.
4
Let p(w) = -w - 3. Let l be p(-5). Suppose -l*k = k. Suppose -2*o + 26 = -4*f, 4*f - 37 = -k*o - 5*o. Solve 3*s = 3 + o for s.
4
Suppose 30*i - 397 = -37. Solve 3*r = -9*r - i for r.
-1
Suppose 5*x - 13 = 12, 3*x - 21 = -3*l. Let d be l/2*-2 - (1 - 11). Solve a = -a + d for a.
4
Let l be (-5)/(10/(-6)) - -126. Suppose -4*i + l = -8*i + 3*h, h + 27 = -i. Let d = -15 - i. Solve -d = -4*s + 5 for s.
5
Let o be -1 + (-14 - 5 - -22). Let i = -1 - -1. Solve 2*c - o - 4 = i for c.
3
Let l = 909 - 832. Solve 4 = 81*z - l*z for z.
1
Suppose 1313 = -2*w + 1451. Solve 12*x - w = -11*x for x.
3
Let u(v) = v**3 + 8*v**2 - v - 5. Let x be u(-8). Solve -x = -2*f - 1 for f.
1
Let l = 151 + -148. Suppose -2*f + 4*w = -6, -f - 3*w + 4 = 1. Solve f*x + 0 = -l for x.
-1
Suppose 0 = 2*c + 4*c. Suppose -5*r + 5 = -5*p, c*p + 3*r - 18 = -2*p. Suppose -x - p*x = -8. Solve -x*u = 2*u for u.
0
Let q(n) = 16*n + 194. Let t be q(-12). Solve -t = -2*d - 4 for d.
-1
Let o(v) = v**2 - 4. Let q = -19 + 22. Let u be o(q). Solve -u*h + h + 20 = 0 for h.
5
Let w = 12 + 3. Let u = 18 - w. Solve 0*b = -u*b for b.
0
Let s be 1 - (-3 - (-1 + -1)). Suppose -2*u = -s - 2. Suppose -5*f - m + 50 = 0, 20 = u*f - 0*m + m. Solve z + f = -z for z.
-5
Suppose 3*p + 0 - 6 = 0. Let s be (-72)/p*10/(-15). Suppose s*k = 23*k. Solve k = -n - 3*n for n.
0
Let v = 0 + 15. Let f be (-1)/(v/(-3) + 4). Solve -h = -f + 5 for h.
-4
Let q be ((-1)/(-3))/((-1)/(-15)). Solve q*f - 36 = 14*f for f.
-4
Let y be 5385/150 - ((-21)/(-30))/(-7). Solve 0 = 2*i + 7*i - y for i.
4
Suppose q - 5*q = 0. Suppose -3*i + 30 = 2*i. Solve -i = 2*z - q*z for z.
-3
Suppose 0 = d + x + 1, 4*d + 0*x - x = 16. Suppose 5*m + 2*a = d + 4, 5*m + 3*a = 8. Solve -n - 4 + m = 0 for n.
-3
Let v = -4 + 0. Let w(p) = -p**3 - 5*p**2 - 6*p - 3. Let j be w(v). Solve 0 = -j*u + 9 - 4 for u.
1
Suppose 5 = -8*d + 5. Suppose 5*v = -c, d*v - 2 = -c - 3*v. Solve 3*n = c*n + 6 for n.
-3
Suppose -4*o = d - 27, 2*o + 7 = d + o. Let k = d + -7. Let h be (-2)/4*-14 - 1. Solve 5*b + h = -k for b.
-2
Let d(v) = 4*v + 8. Let p be d(-3). Let h be 4/p*4 + 27. Solve -5*c + h + 2 = 0 for c.
5
Let m(f) = 15*f - 17*f - 12 + 21 + 15. Let o be m(10). Solve -p = o - 6 for p.
2
Suppose 14*c = 9*c. Suppose c = -o - o + 8. Suppose 3*u = 2*i - 4 + 1, 0 = 2*i + o*u + 4. Solve 2*v + i*v - 6 = 0 for v.
3
Let l be (8/12)/(1/9). Let p be l*(-4)/(-12)*2. Suppose -2*u = -i - 4*u + p, 5*i - 20 = -u. Solve 2*h - i*h = 0 for h.
0
Suppose 4*k - 16 = -4*d, 4*d = 12 + 4. Solve -2*l = -k*l - 0*l for l.
0
Suppose 317*c = 325*c - 112. Solve 18*f = c*f - 8 for f.
-2
Let s be 0*(8/(-24) + 1/(-6)). Suppose s = -3*q - q + 8. Solve -4*g = -2*g - q for g.
1
Let u = -31 - -46. Let a = u + -13. Suppose a*h = 13 - 3. Solve 0 = -h*r + 8 + 7 for r.
3
Let f = 1 - -2. Suppose -2*c + 4 = -l - 3*l, 4*c = l + 8. Suppose 2*q = -c*q. Solve q = 2*o + f + 7 for o.
-5
Let t = -2208 + 2210. Solve 82 = -t*y + 88 for y.
3
Let i be 6/33 - 108/(-11). Suppose -h - i = -2*h - 4*q, 53 = 4*h + 3*q. Suppose -15*s + h*s = -4. Solve -t = -s*t for t.
0
Let h be (-10)/(-4)*4/2. Let z(s) = s**2 - 20*s + 22. Let g be z(14). Let m = g - -64. Solve 0 = n - m*n + h for n.
5
Suppose f = -4*s + 28, -s + 14 = f + 4. Suppose -d - 60 = -s*d. Suppose -5*t - 6 = -7*t. Solve -t*m + d = m for m.
3
Let c(x) = -x**3 - 1 - x**2 - 5*x**2 - 465*x + 459*x. Suppose 5 + 25 = -5*f + 5*y, 4*y = -5*f - 21. Let p be c(f). Solve v + p*v = 0 for v.
0
Let x(i) = 15*i + 121. Let p be x(-8). Solve 2 = -d - p for d.
-3
Suppose 0 = 5*g + 4*j - 8, -3*g + 4*j - 3 = 5. Let a be -1 - (41/2)/((-5)/(-10)). Let m = a - -43. Solve g = 2*h - m - 1 for h.
1
Let z be -7*(0 + 1) + 1. Let c = 36 - 33. Let a be (c + 0 + z)/(-1). Solve -7 = -4*w - a for w.
1
Suppose 92 = 7*j + 43. Solve -5*q + j = -8 for q.
3
Suppose 0 = -27*l + 504 + 468. Solve l = -9*v - 9 for v.
-5
Suppose -7*y - 120 = -5*y. Let r = -58 - y. Solve -v + 15 = r*v for v.
5
Let o = 721 - 721. Solve -16*w + 26*w - 40 = o for w.
4
Let w(y) = y**3 + 7*y**2 - 17*y + 15. Let n be 1/(-2)*-18*(-2 - -1). Let j be w(n). Solve -j*v + 25 = -v for v.
5
Suppose k = 4*f + 632, -3*f - 3*k - 474 = -k. Let z be f/(-10) + 44/(-55). Solve 0*t - z = 5*t for t.
-3
Let f(a) = 18*a + 146. Let t be f(-8). Solve t*p - 3*p = -2 for p.
2
Let g be (-561)/(-12) + (-9)/12. Solve h + g - 44 = 0 for h.
-2
Suppose -1089 = -32*k + 159. Solve k*n - 10 = 34*n for n.
2
Suppose -c + 3 = -5*z, 2*c - 2*z - 14 + 8 = 0. Solve c*n = 4*n - 3 for n.
3
Suppose 51 + 17 = 4*h. Let d = h + -12. Solve -17 = -4*x - d for x.
3
Let o be 4/6*18/4. Suppose 120*p + 25 = 125*p. Suppose -p*b + 18 = -57. Solve -o*l - b = 2*l for l.
-3
Let r = 1 - -2. Let a(n) = -8*n**2 - 3*n + 2. Let i be a(2). Let l = i - -40. Solve -19 = -r*y - l for y.
5
Suppose -4*p - 3*c + 21 = -p, -4*c + 8 = 0. Suppose -g + p = -y + 6*y, -3*y = 5*g + 19. Let u = 1 - g. Solve 2*z + z + u = 0 for z.
-2
Let b = -119 + 120. Suppose -5*k = -4 - b. Solve x + 0*x + k = 0 for x.
-1
Let j = 35 - 70. Let k = -35 - j. Solve -3*q - q = k for q.
0
Let u(o) be the second derivative of o**4/12 - o**3 + 5*o**2/2 - o. Let s be u(5). Suppose s*k - 4*k = -4. Solve -2*l - k = 5 for l.
-3
Suppose -12 = 4*a - 24. Suppose -a*i = t - 44, 4*i = t - 4*t + 57. Solve -2*q = 3*q + i for q.
-3
Suppose 2*j = 5*q - 25, -4*j = j + 25. Let h be (154/(-66))/((-1)/q). Solve 25 = h*t - 2*t for t.
5
Suppose -5*w + 0*w - 5*s - 15 = 0, 3*w - 11 = 2*s. Let m be (-1)/3*(2 + -5). Solve j - m = w for j.
2
Let l(b) be the first derivative of -b**2 - 8*b + 1. Let w(k) = -k**3 + 18*k**2 - 16*k - 21. Let d be w(17). Let u be l(d). Solve -2*r + 8 = -u for r.
4
Suppose 69 - 9 = 3*i. Let a = -20 + i. Solve a = -z + 5*z + 4 for z.
-1
Let s(y) = -y**2 + y - 6. Let