= -r + 4 for r.
3
Let i(x) = x**2 + 28*x + 199. Let h be i(-17). Solve -3*p + h = 8*s - 3*s, 8 = 2*p + 2*s for p.
4
Let p be 20*(44/16 - 2). Suppose -3 + p = 4*u. Suppose u*q - 4 = -q. Solve -3*j - 3 = -c + 3, q = -j for c.
3
Suppose -x = 2*f - 68, 5*f - 5*x - 74 = 66. Let m = f + -32. Solve -4*i = -3*s - 13, m*i - 2*s = -2*i + 6 for i.
4
Suppose 0*x = 2*x - 40. Let k = x - 18. Solve 4 = -2*s - 2*q + k, 2*s + q = 0 for s.
1
Suppose -k + 34 = -5. Suppose -k = -14*r + 3. Let m = -3 + 7. Solve m*v + 2*p = -2, 3*p - 17 = v + r*v for v.
-2
Suppose -f - 25 = 3*d, -4*d + 2*f = -0*f + 30. Let n = d + 16. Suppose 0 = -l + 2*z + 5, -4*l + 3 = z - n. Solve -5 = -r + 4*i, 4*r + 11 = 2*i + l for r.
-3
Suppose 130*o - 119*o - 44 = 0. Solve u + 2 = o*u - 2*b, 3*u + 3*b = -18 for u.
-2
Suppose 0 = w - 5 + 2. Suppose 0 = y - 1 + w. Let f be (-3 - y/1)*-3. Solve t - f*r = -20, -3*t - 17 - 3 = -r for t.
-5
Suppose -28*p + 35*p - 28 = 0. Solve -22 = 2*l + 3*f, 2*l + p*f + 28 = 2 for l.
-5
Suppose -10 = 28*p - 33*p. Let c(l) = 6 - l**2 - 2*l**3 + 5*l**3 - p - 4*l**3. Let k be c(0). Solve -3*s + 29 = k*q, q - 11 = 3*s - 3*q for s.
3
Let i = 69 + -62. Let z(y) be the second derivative of y**4/12 - 7*y**3/6 + 3*y**2/2 + 2*y. Let t be z(i). Solve u - 5*s + 11 + t = 0, -3*u = -3*s + 6 for u.
1
Let j(g) = -4*g - 10. Let s be j(-5). Solve -4*q = -o - 7, 3*q - 14 + s = 2*o for q.
2
Let o be 21/3 - (-1 + 0). Suppose 2*a - 12 + 2 = 0. Suppose a*s - 7 = o. Solve -4*j - 8 = s*h - 0*h, -2 = j - 5*h for j.
-2
Let w(j) = 0 + 8 + 4*j**2 - 3*j**2. Let a be w(0). Solve 3*p = 4*n + a, -5*n + 2*n = 6 for p.
0
Suppose 42*b = 187 - 19. Let u = -3 + 7. Suppose s + u*s = 60. Solve -3*k - o = s, 6*o = -k + o - b for k.
-4
Suppose 0 = 4*m - 2*i - 12 - 6, 2*m + i - 15 = 0. Solve -9 = 4*f - l + m, 0 = 5*f + 4*l + 24 for f.
-4
Let o(s) = -2*s**2 + 4*s + 1. Let c be o(-1). Let j = 10 + c. Solve 13 + 8 = d + j*m, -4*m + 20 = 4*d for d.
1
Let o be (356/6 - 1) + 4/(-12). Let i = -53 + o. Solve 2*g = -5*w - g - 12, -5*g = -i for w.
-3
Let d = 49 - 32. Suppose d + 27 = 2*c + p, 3*p + 66 = 3*c. Let z = -15 + c. Solve 5*r - z = 4*v, 0*r - 13 = 4*v + r for v.
-3
Let r(m) = m**3 + 21*m**2 - 22*m - 12. Let y be r(-22). Let l be 16/(-10)*25/(-2). Let f be y/(-10)*l/6. Solve 2*j - p + 5 = -2*p, -5*j - f*p - 20 = 0 for j.
0
Suppose -3*v - 2*p - 12 = v, -p = -2*v - 2. Let q be 5/15*3 - v. Solve -q*l - 2 = -l - 2*h, 3*l = -5*h + 21 for l.
2
Suppose 0 = -2*q + h + 5, 4*h = q + 6*h + 10. Solve -v - 4*v - 15 = b, -4*b - 5*v = q for b.
5
Suppose 30 = 11*f - f. Let i be 3/6 - 3/(-2). Solve 4*z = b + f, 0 = z + z - 4*b + i for z.
1
Let r(z) = 3*z**2 - 11*z + 5. Let s be r(5). Solve 2*v + q + 4*q = s, 4*q - 7 = v for v.
5
Let o(s) = s**3 - 8*s**2 - 5*s + 8. Let j be o(6). Let m = 103 + j. Solve n - b = 7, -b - m = -n + b for n.
5
Let o = 18 + -14. Let a(t) = -t**2 + 10*t - 17. Let c be a(7). Solve 0 = c*q + 5*u + 8, o*q - 31 = 3*u - 7 for q.
3
Let l(c) = c - 2. Let p(d) = -2*d + 2. Let f(m) = 3*l(m) + 2*p(m). Let y be f(-2). Solve -2*h - a - 4*a + 9 = y, 2*h + 2*a = 0 for h.
-3
Suppose 2*r + x - 4*x = -12, 3*r + 2*x - 8 = 0. Suppose 2*a - 6*a = 2*h - 8, 5*h = -4*a + 38. Let o = 10 - h. Solve 2*j - 6 = o, -5*i - 7 = -r*j + j for i.
-2
Let m = 55 - 49. Suppose -12 = -m*s - 0. Solve -s*o - 3*v - 14 = -0*o, -4*v + 4 = -3*o for o.
-4
Let f be (-154)/(-56) + ((-15)/4 - -3). Solve -2*n + 5 = l - f*l, -n = -5*l + 2 for l.
1
Suppose -2*x = x. Let w = 16 + -9. Suppose w*t - 4*t = 15. Solve -m + 5*z = -6*m + 20, x = -3*m + t*z - 20 for m.
0
Let o be 12/30 + (-16)/(-10). Suppose o = m + 4. Let z be (0 - 1*-6) + m. Solve -z*t + 5*u = 22, 2*t + 4 = -4*u + 3*u for t.
-3
Let v(d) = -36*d**2 + 2*d + 3. Let b be v(-1). Let k = b - -48. Solve 0 = 4*c + 2*s - 8, 7 = 3*c - 2*s - k for c.
4
Let c be (-22)/(-18) + 20/(-90). Let r be (c - -12) + (-3 - -6). Suppose r = -0*x + 4*x. Solve l + 2*z = 0, l + 2*z = 2*l + x for l.
-2
Let v(a) = a**2 + 7*a + 7. Let u = 2 - 7. Let s be v(u). Let m be ((-1)/s)/(1/3). Solve 2*o + 1 = 4*c - 1, -5*o + m = -4*c for o.
1
Let s(a) be the third derivative of 5*a**4/24 + a**3 + 5*a**2. Let g be s(5). Suppose -3*i = -88 + g. Solve -3*m = -5*u + i, -4*m - u - 4 = -2*m for m.
-3
Suppose -5*r - 5*m + 97 = -r, 0 = -4*r - m + 77. Let a = 32 - r. Let l = -9 + a. Solve -2*k + 12 = -j, -k + 16 = -l*j - 2*k for j.
-4
Let a be (65/(-15))/(1/(-3)). Suppose 14 = c + a. Let n be (2/c)/(3/6). Solve -z - 4*l = -6*z - 5, 4*z = n*l - 4 for z.
-1
Let o be 0 - ((-5)/5)/((-2)/(-6)). Solve 4*b + 6*f = f + 9, o = 3*f for b.
1
Let g = -144 - -156. Solve -4*h + 0*h + g = o, 5*h = -2*o + 12 for h.
4
Suppose 18*l = 8*l + 190. Suppose 14*n - 51 = l. Solve 5*y = -3*s - 17, 9 = y - 2*y + n*s for y.
-4
Let w = -1016 - -1021. Solve 5*y + 45 = 10*x - 5*x, -w*x = 3*y - 13 for x.
5
Let q(g) = -2*g - 2. Let y be q(-3). Let l = -1022 + 1027. Solve -2*i - 37 + 10 = -l*s, 0 = -3*i - y*s + 17 for i.
-1
Suppose -11*r = -s - 10*r + 3, 0 = s - 2*r - 4. Solve -5*l = 5*a, -s*a + 10 = 3*a for l.
-2
Suppose -5*o + 110 = -4*j, 0 = 3*j - 0*o + o + 92. Let t be j*2/(-16) - (-3)/12. Solve 2*n - t*l + 6 = 0, -3*n - 2 - 5 = -5*l for n.
1
Suppose 4*v - 10*u = -14*u + 28, -5*v - u = -39. Solve -w + 4 = -h, -v*w = -3*w - h for w.
-1
Suppose -2*k - 8 = 0, b - 4*k - 51 = -4*b. Suppose -10*v + b*v = -9. Solve 2*l - 5 - 2 = d, 6 = -v*d + 3*l for d.
3
Suppose 2*y = o - 44, 5*y - 20 = o - 124. Let t = y - -20. Suppose 0*a + 5*n = -4*a - 4, -2*a - 2*n = t. Solve -k + 4*k = -u - 14, a*k = -3*u - 27 for k.
-3
Let y(b) = -b**2 + 3*b + 13. Let v be y(4). Suppose -2*w = -v*w + 28. Solve s + 17 = 5*s - 5*m, -m + 11 = w*s for s.
3
Suppose -3*x - 5*l - 32 + 14 = 0, 0 = -2*l. Let a(n) = -n - 3 + 4 - 1 - 3. Let c be a(x). Solve 5*p = 4*v - 11, 0 = v + c*p - p + 7 for v.
-1
Suppose 2 = -3*r + 14. Solve -2*p + r = -3*f, p - 3*f = -0*p + 5 for p.
-1
Let b be -37 - 0 - (-12)/(-12). Let y be (-2)/9 - b/9. Solve -y*n = -2*x - 28, 0 = 5*x - x - 3*n + 31 for x.
-4
Let n be (2*1)/(2/3). Let h be (n - 12/9)*3. Let a be h - -1*(2 - 4). Solve a*y + 2*y = 3*v - 4, -3*y = -5*v + 12 for v.
3
Suppose 2*k + 8 = -2*m, 6 = m - 3*k - 6. Suppose -o - o + 12 = m. Suppose 5*j = 5*d - 2*d + 4, -4*j + o = -d. Solve a - 3 = 3*q, 5*q + 3 = 2*a - d for q.
-1
Let o be (286/91 - 4)*(-7)/3. Suppose -6*j = -2*j - 4*b - 28, 4*j - 24 = 3*b. Solve -3*v - 1 = o*k + 1, 2*v + j = -k for k.
5
Suppose 3*t = 4*v - 6, -2*v + 35 - 29 = 0. Let u = -8 + 10. Solve 0*m + 4*o = t*m + u, 2*o = -4 for m.
-5
Suppose 47*k - 53 - 41 = 0. Suppose -2*g - 3*a + 3 + 4 = 0, -2*g + 4*a = 0. Suppose -20 = -3*s - g*s. Solve 3*o - t = s, -4*t - 7 = -o - k*o for o.
1
Suppose 0 = -153*v + 128*v + 100. Solve -v*u - 3 = z, u + 4*z - 6 = -18 for u.
0
Let h(t) = -2*t - 3. Let u be h(-8). Let q = -5 + 8. Suppose 0 = q*w + 1 - u. Solve f - w = 0, 6*o - 3*f = 2*o + 8 for o.
5
Let p(v) = 4*v + 21. Let h be p(8). Let l = -51 + h. Solve 14 = 4*o + 2*j - l, j = 2*o - 4 for o.
3
Let y be 2/(-4) + (-26)/(-4). Let b be (28/35 - (-2)/(-15))*6. Solve 4*i = -3*t - 1, 0 = -t + i + b*i + y for t.
1
Let a(h) = -h**2 + 3. Let n be a(0). Suppose 0*t - 17 = -2*d - t, -3*t = -4*d + 19. Solve n*u = 5*c + 3, -c - 18 = 2*u - d for u.
-4
Let a = -15 + 13. Let i = 2 - a. Solve h = 5*p - 4, -5*h - p - 20 = i*p for h.
-4
Suppose -5*f + 173 - 13 = -4*v, 5*f + 80 = -2*v. Let x = v + 61. Solve -n - 4*o = -9, -5*n - 3*o = -5*o + x for n.
-3
Let y = -10 + 16. Suppose -2*j + 12 + 7 = 3*t, j = -t + 7. Solve -2*o + 4*s = y*s + 2, 2*s + j = -5*o for o.
0
Let d(h) = -h**3 + 8*h**2 - 11*h + 13. Let b be d(8). Let s = b - -78. Let w = 1 - -1. Solve 0 = 4*r + 8, 2*r = -5*z - w*r - s for z.
1
Let d = -375 - -375. Solve d = r + 3, 4 = 3*m + r + 22 for m.
-5
Let t(a) = 181*a + 909. Let p be t(-5). Solve p*b = -3*z - 31, -2*b + 4*z + 2 = 2*z for b.
-4
Suppose 0*r - 4*y + 4 = 3*r, -12 = -5*r - 4*y. Solve -3*h - 2*f - 17 = 0, r*h - f = 2*f for h.
-3
Let r(i) = 3*i + 17. Let o be r(-7). Let v be (-2 + 0/o)/(-1). Solve -4*y = -d - 4, -3*d + 0*d + v = 2*y for y.
1
Let l be (1 - 0)/(-7 + 6). Let b be ((-3)/(-9))/(l/(-6)). Suppose 0 = -3*u - b*u. Solve 2*r + 2*r - 24 = -3*g, u = 3*g + 5*r - 27 for g.
4
Suppose 2*x = 4 + 6. Suppose -35 = -5*q + 5*s, -3*s + x*s = -q + 7. Suppose 4*u + 3*g + q