+ 5 = -v*s for s.
5
Let q(c) = 15*c + 120. Let o be q(-8). Solve o = 5*p + 16 - 36 for p.
4
Let m(p) = p + 3. Let r be m(-3). Suppose 5*v + 9 = -f, 0 = -12*f + 14*f - 3*v - 8. Solve r*k = k - f for k.
1
Let f be (8/(-3) - -3)*87. Let k = 31 - f. Solve -k - 2 = 4*n for n.
-1
Let f(j) = -j**2 + 11*j - 6. Let g be f(10). Let w(h) = h**3 - 5*h**2 + 4*h + 4. Let n be w(g). Let z be (5/(-3))/(2/(-18)). Solve -k + z = n*k for k.
3
Let z(u) = 4*u**2 + u + 6. Let a be z(0). Let q be 2/a - (1 + 8/(-3)). Solve -q*r = 3*r + 20 for r.
-4
Suppose -72 = -2*c - f, -2*c + 5*f + 144 = 2*c. Suppose c = 22*m - 13*m. Suppose 0 = 3*o + 4*a - 24, 4*a = 5*o - 8 - 64. Solve m*t - 4 = o for t.
4
Let l be 11 + (-1 - -3)/(20/(-50)). Solve -l*t + 4 = -4*t for t.
2
Let w(r) = r**2 + 3*r - 17. Let f be w(-7). Suppose -6 = 5*x - f. Solve 4*z + x = -15 for z.
-4
Let b(k) = k + 6*k**2 - 5*k**2 - 4*k. Let a(z) = -z**2 - 10*z - 20. Let i be a(-6). Let h be b(i). Solve -h*g = g - 10 for g.
2
Let c(i) = i**2. Let h be c(2). Suppose -l = -h*f + 9, 3*l = 2*f + 7*l. Solve -f*s + s + 3 = 0 for s.
3
Let t = 261 - 257. Let a(p) = 6*p**3 - 3*p**2 + 4. Let f(c) = -11*c**3 + 7*c**2 - 9. Let i(q) = -7*a(q) - 3*f(q). Let x be i(-1). Solve t*g - x = -0*g for g.
2
Let d be (-168)/16*4/(-6). Solve 2*g + 1 - d = 0 for g.
3
Let w(z) = -z**3 + 4*z**2 + 4*z + 1. Let y(i) = -2*i - 6. Let v be y(-5). Let h be w(v). Let k = h - 11. Solve -k = -f - f for f.
3
Suppose -4*l + 4*j + 4 = 0, 0 = l - 6*j + 3*j + 1. Suppose 10 = l*r - 0. Solve 3*f + r = -7 for f.
-4
Let v = 286 - 266. Solve 10*p + v = 6*p for p.
-5
Let q(x) = 5*x + 40. Let c be q(-12). Let z = c + 25. Solve -i = -z*i for i.
0
Suppose 5*v - 8 - 2 = -5*t, 0 = -3*v - t + 6. Let k(q) = -q**2 + 161*q - 4839. Let g be k(121). Solve -v*n + g = -5 for n.
3
Let r(u) = 3*u**3 + 4*u**2 - 12*u - 4. Let h be r(2). Solve -238*j = -242*j + h for j.
3
Let m(s) = s + 11. Let l(q) = -q - 12. Let n(a) = -6*l(a) - 7*m(a). Let z be n(-5). Solve z = -r + 6*r - 20 for r.
4
Let m = -6 - -10. Suppose -5*a - 3*v = 3, 0 = -a - 0*a + 5*v + 5. Suppose -6*g + g = a. Solve m = -g*h + 4*h for h.
1
Let d be (3/4 - (-9)/36)*20. Solve 2*f + 3*f = d for f.
4
Suppose -8*l + 20 = -3*l. Suppose -3*k + 0*k - l*v - 4 = 0, 0 = -4*v - 16. Let p be (-3 + 1)/((-2)/6). Solve -k*h = p + 10 for h.
-4
Suppose 0 = -5*o - 5 - 5. Let p be (-3 - -2) + 0 + (-2)/o. Solve -2*i + p = 4 for i.
-2
Suppose 3*n + 33 = 39. Let m be 17/3 + n/(-3). Solve -m*y + 1 = 6 for y.
-1
Let a(l) = l**3 + 11*l**2 - l - 13. Let q be a(-11). Let o = q + 12. Let w = o - 10. Solve w = 2*f - 1 + 7 for f.
-3
Suppose 65*u = 78*u - 52. Solve -6*i = -u*i - 10 for i.
5
Let h = 4 - -30. Let u = -30 + h. Solve 10 = -6*y + u*y for y.
-5
Suppose 50 = -5*i + 65. Suppose 2 - 5 = 3*m. Let f be (1 + -4 - m)*-4. Solve -f*y + i*y = 0 for y.
0
Suppose 4*z = -3*c + 36, -2*z + 3 = -3*c - 33. Solve 0 = -0*b + 3*b - z for b.
4
Let k(y) = y**2 + 10*y + 10. Let q be k(-7). Let d = q + 17. Suppose d*a = 9*a. Solve f - 1 - 3 = a for f.
4
Let f(y) = 15*y**2 + 6*y + 1. Let a be f(1). Solve 16 - a = 6*m for m.
-1
Let h be (3/(-3))/((-2)/8). Let a be h*-1 - (1 + -5). Solve 0 = -a*k - k for k.
0
Let i be (-1)/(-3) + 164/12. Let m = 16 - i. Solve 3*c = -m*c - 15 for c.
-3
Let y be (7 + -2)*16/40. Suppose 3*c + 3*j = j + 36, 0 = y*c - 2*j - 24. Suppose 8*i - 4*i - c = 0. Solve -k - 4 = -i for k.
-1
Suppose 4*g - 55 = -g. Let x be 1*((4 - 0) + 0). Suppose 20*t = 16*t + x. Solve 0 = -5*f - t + g for f.
2
Let f(k) = -2*k + 8. Let c = -4 + 11. Let a be f(c). Let u be a/18 - 74/(-6). Solve g - u = -3*g for g.
3
Suppose -89 = 6*t - 305. Solve -2*d = 7*d + t for d.
-4
Let f be (1/2)/(3/(-24)). Let i = 12 + f. Solve 4*h - 2*h = i for h.
4
Let r(g) be the second derivative of -g**3/6 + 3*g**2/2 + 3*g. Let n be r(3). Let c be (21/(-14))/(3/(-2)). Solve -3*u - 8 - c = n for u.
-3
Let o(v) = -v + 7. Let x = 12 - 11. Let w be x*(-1 + 1 - -5). Let r be o(w). Solve r*f = f - 2 for f.
-2
Suppose -3*q = 2*r - 8, 2*q - 3*q - r = -3. Let l = 32 - 31. Solve 0 = -3*y - q - l for y.
-1
Let x = -27 - -24. Let v be (1/x)/((-13)/195). Solve 5 = -v*b - 5 for b.
-2
Let w be (-7 - -9) + (0 - -3). Suppose 2*f - 9 = -2*y - 3*f, -5*y - 4*f + 31 = 0. Solve w*d = y*d - 10 for d.
5
Let p = 108 + -101. Suppose 0 = p*l - 10*l + 12. Solve 0 = -5*t - 6 - l for t.
-2
Suppose 0 = -2*w + 5*m, -3*w = -0*m - m. Suppose w = 7*i - 34 - 22. Solve -12*g + i*g = 0 for g.
0
Suppose -2*j - 2*x + 10 = 0, 4*x = 2*j + j - 36. Let z = j - 8. Solve -u - 3*u = z for u.
0
Suppose 185*y - 178*y = 63. Solve 3*u = -y*u for u.
0
Let d(l) = 13*l - 8. Let o be d(5). Let n = o + -33. Suppose -5*t + 4*j = 6*j - n, -4*j = -5*t + 42. Solve 4*x + t = 2*x for x.
-3
Let a = 189 + -187. Let t(i) = 6 - 5*i - 2*i**2 + 0*i**2 + 3*i**2. Let u be t(4). Solve u = a*c - 4*c for c.
-1
Let c = 515 + -511. Solve 3*i - c = 7*i for i.
-1
Let g = 4 - 4. Suppose 5*w + 5 = 0, -o + 8 = 3*o + 4*w. Suppose -8 = -5*u + b - 2*b, 5*u - 4 = -o*b. Solve g = u*t - 2 + 4 for t.
-1
Let x be (1/(-3))/((-1)/15). Let s(u) = -u + 22. Let g be s(9). Let y = 12 + g. Solve 0*a = x*a + y for a.
-5
Suppose s = -t + 4*s - 26, 5*s = -t - 10. Let a be ((-132)/t - 7) + (-14)/(-10). Solve -a + 4 = p for p.
3
Suppose 2*w = 5*k - 23, 3*w + 21 = 5*k - 2*k. Suppose -1 - 11 = -k*b. Suppose 3 = t - x, -t + 0*x = -b*x. Solve -r + t = -2*r for r.
-4
Let u(c) = -c**2 - 14*c - 1. Let v be u(-13). Suppose 3*j = -j + v. Let g be 3 - j - (-2 - 3). Solve 0 = -z + g*z + 4 for z.
-1
Let w(d) = -11*d + 120. Let s be w(10). Solve -12*z = -s*z - 6 for z.
3
Let y be (-6)/(-4) - (-10)/4. Suppose y*n - 8 = 8. Suppose -4*o + 5*u = 15, -n*u + 12 = -3*o + 2*o. Solve o = -2*b - 2 + 6 for b.
2
Suppose -2*k = -49 - 79. Let w = k + -46. Suppose -3*c + w = 3. Solve n = -c - 0 for n.
-5
Suppose 0*y + 1 = -2*b + y, 2*b = -y - 11. Let i be (-32)/7 - b/(-7). Let r = 7 + i. Solve -o = -r*o for o.
0
Let i be 152/11 - 132/(-726). Solve i*v + 2 = 15*v for v.
2
Let w(x) = 2*x - 13. Suppose -1 = q - 3, -y = 4*q - 16. Let d be w(y). Let k(t) = -t**2 - 3*t + 4. Let f be k(-4). Solve -6 = d*s - f for s.
-2
Let i = -15 + 28. Let x = -7 + i. Suppose -40 = o - x*o. Solve -7 = -3*y + o for y.
5
Let w = -328 - -329. Solve 4 + w = -n for n.
-5
Let d = 1049 + -1029. Solve 19*v - 23*v - d = 0 for v.
-5
Let f(t) = t - 5. Let m be f(5). Let v be m/(1/(-2)*-2). Solve v = 2*q + 10 - 4 for q.
-3
Suppose j + 5*r + 7 = -0*j, 2*j - 22 = 2*r. Solve 0 = 4*h - j + 4 for h.
1
Suppose 5*n + 51 = -39. Let w be (3/2)/(n/(-120)*5). Solve w*g - 16 = 6*g for g.
-4
Let s(n) = n**3 + 10 + 18*n + n**2 - 7*n**2 - 35*n. Let p be s(8). Solve p = c - 3*c for c.
-1
Suppose -5*m - 11 = -4*y, 4*y - 14 - 3 = -m. Solve -m - 19 = -4*k for k.
5
Let k = 213 - 209. Solve 6*r - k = 7*r for r.
-4
Suppose -4*t = 3*k + 1, 4 = -2*t + t. Suppose 3*i + 2*c = 5, -k*i - 7 + 47 = -3*c. Suppose -i*d = -2*d. Solve -2*h - 2*h + 8 = d for h.
2
Let r = -85 + 90. Suppose r*v - 24 = 3*v + 4*q, 0 = -5*v - 2*q + 12. Solve p = -p - v for p.
-2
Let v = 36 + -21. Let j(l) = -2 - 1 - l + v. Let y be j(12). Solve 4*o - 5*o - 2 = y for o.
-2
Let b = -42 - -29. Let h be ((-6)/(-3))/((-1)/b). Let v = -47 + 53. Solve -5*a = v - h for a.
4
Let q(k) = k**3 + 2*k**2 + 3*k - 3. Let a be q(-3). Let j = -19 - -60. Let f = j + a. Solve g + 3*g = -f for g.
-5
Suppose 75*t - 568 = 4*t. Solve 2*p - 10 = -t for p.
1
Suppose 120 = 9*i - 4*i. Suppose -q - 2 = -2*y, -3*y + 12 = 4*q - i. Suppose -7*l = -q*l. Solve -2*p - 1 - 1 = l for p.
-1
Suppose 0 = 3*i - 8*i - 3*r + 55, i + 2*r = 11. Suppose i*s + 4 = 12*s. Suppose s*a + a = 30. Solve -b = -a*b for b.
0
Suppose -2*l = -0 - 4. Suppose -4 = y - o, -4*o + 3*o + 5 = 0. Solve -m + y + l = 0 for m.
3
Suppose -59 = -2*a - 59. Let b = 15 + -11. Solve a = u + b - 0 for u.
-4
Let l = -4 + 8. Suppose 0 = 8840*y - 8827*y - 26. Solve -y*d + l*d = 2 for d.
1
Suppose -130 = 98*x - 522. Let k = -4 + 6. Solve 0 = b + k - x for b.
2
Let w be 4*1 + 12*(-7)/21. Solve w = -0*h + 4*h for h.
0
Let w be (-3 + 4)*20/5. Solve w = -x - x for x.
-2
Let o(t) = t**3 + 5*t**2 - t - 13. Let p be o(-3). Suppose -p*m + 11 = 3. Solve m = -k + 4 for k.
3
Let y(q) = -2*q - 3. Let a be y(-3). Suppose a*b - 3 = c + 2, -4*b + 5*c + 3 = 0. Solve 3*t = 2*t - b for t.
