 for t.
3
Let d be 3/33 - 480/(-165). Solve -5*f = -d*f + 8 for f.
-4
Let f = 544 - 524. Solve o + f = -3*o for o.
-5
Let p(c) = 39*c - 76. Let w be p(2). Solve -w*j = -23 + 21 for j.
1
Suppose -55 = -11*g + 429. Let n = g + -35. Solve -n*f + 5*f = 16 for f.
-4
Suppose -2*c = -h - 3*c + 4, 4*h - 3*c - 23 = 0. Suppose -2*f + b - h + 17 = 0, 4 = -2*b. Suppose -15 = -5*x + f. Solve -x*t + 2*t = 0 for t.
0
Suppose -g - 4 = -5*g. Let y(c) = -c**2 + 6 - 9*c + 5*c + g. Let b be y(-5). Solve -4*q + b - 10 = 0 for q.
-2
Let b(d) = 9*d**3 + 1. Let l(p) = 17*p**3 + 2. Let u(w) = 7*b(w) - 4*l(w). Let k = -4 - -3. Let i be u(k). Solve 6 = -6*z + i*z for z.
-3
Let x(y) = y**3 - 17*y**2 + 18*y - 25. Let o be x(16). Solve -o*k = 17*k - 24 for k.
1
Let j(d) = d**2 - 35*d - 107. Let n be j(-3). Solve n*v = -4*v + 44 for v.
4
Let s(f) = -5*f - 1. Let a be s(-1). Let i(z) = z**3 + 5*z**2 + 5. Let v be i(-5). Suppose 2*u + a*k + 11 + 1 = 0, -5*k - v = 5*u. Solve y + 0*y + u = 0 for y.
-4
Let q = -786 - -792. Solve 0 = q*c - c + 10 for c.
-2
Let c(x) = -4*x + 130. Let t be c(31). Solve -t*f - 8 = 16 for f.
-4
Let o(s) be the first derivative of s**2 + 17*s + 21. Let m be o(-5). Solve 9 = m*k - 4*k for k.
3
Suppose d + 0*d - 27 = -5*m, -2*m + 4*d = -24. Suppose -5*o - 3 = -m*o. Let l = 23 - o. Solve -3*x = 2*x - l for x.
4
Suppose 0 = 3*i + 5*x + 68 - 85, 4*x - 24 = -5*i. Solve 0 = 6*a - 5*a - i for a.
4
Let p(z) = -3*z**2 + 125*z - 77. Let h be p(41). Solve 48 = -h*t + 17*t for t.
4
Suppose -354 = -4*z - 346. Solve 0 = 5*v - 2 + z for v.
0
Let f be (-2)/(-6) + (-215)/15. Let d be 4/f + 10/35. Suppose -3*r + 2*h - 5*h + 3 = d, 0 = 4*r - 3*h + 3. Solve 4*i + r*i - 20 = 0 for i.
5
Let q(o) be the first derivative of o**2/2 + 6*o + 7. Let k be q(6). Let p = 12 - k. Solve 3 = -p*m - m for m.
-3
Let y = 124 + -120. Solve -y*f - 1 = -17 for f.
4
Let o(x) = -2*x**3 + 15*x**2 + x + 11. Let q be o(7). Let c = q + -47. Solve 5*z + 0*z = -c for z.
-4
Let i be (3 - 6) + 6 + 45. Suppose 3*t + 4*u - i = -2*t, t - 6 = -2*u. Solve -4*x - t = -0 for x.
-3
Let l be (-35)/(-5) - (-4 + 9). Solve 2 = s - l for s.
4
Let k(b) = 12 - 4*b + 14*b - 902*b**2 + 903*b**2. Suppose -4*r = 4*v + 40, -2*v = -3*r - v - 26. Let j be k(r). Solve j*i + 0*i + 15 = 0 for i.
-5
Let w = 11 + -7. Suppose -w*s = 4*s - 32. Let j be 6/s*12/9. Solve j = u + 1 for u.
1
Suppose 112*d - 48 = 115*d. Let a = d - -19. Solve 8 = -a*m - 1 for m.
-3
Let i(n) = -2*n**2 + 4*n - 2. Let a be ((-4)/(-2))/((-6)/(-9)). Let o be i(a). Let g be 12/16*o/(-3). Solve -g*t - 3*t = -25 for t.
5
Let m(x) = x**3 + 6*x**2 + x + 9. Let u be m(-6). Suppose 1 = -u*h - 2*k, 0 = -4*h - 3*k + k + 2. Let d(g) = -g + 1. Let a be d(-1). Solve -h = -v - a*v for v.
1
Suppose -3*l + 5*l - 23 = -3*r, 5*r = 3*l + 13. Let x be 3/2 + (-45)/(-10). Solve x*j - r = j for j.
1
Let u(h) = 9 - 9 + 5*h. Let d be u(3). Let t = d - 6. Solve t = -3*p - 6 for p.
-5
Let s(i) = -i + 3. Let g(k) = -2*k + 6. Let u(h) = -6*g(h) + 13*s(h). Let f be u(-6). Suppose 5*p - 51 = f. Solve 8 = 5*a - p for a.
4
Let h be (-2)/(-3)*3*200/50. Suppose -39 = -15*a + 2*a. Solve a*w - h = -w for w.
2
Suppose -4*j = 2*j + 6. Let s be 56/4 + -2 + (j - -4). Let h = 3 + 3. Solve -s = a - h*a for a.
3
Let i(u) = 21*u**3 - u**2 - u + 1. Let f be i(1). Suppose 0 = 2*n - 6*n + f. Suppose -4*y + 5 = n*k - 10*k, 0 = -k - 1. Solve -s = -y*s for s.
0
Suppose 5*l + 29 - 4 = 0. Let d = l - -6. Suppose -j + d = -1. Solve -4 = 2*u + j for u.
-3
Suppose 3*w = -4*q - 10, 17*w - 3*q - 14 = 16*w. Suppose -3*g = -g - 2. Solve i = w - g for i.
1
Let o = -2433 + 2450. Solve -v - 16*v = -o for v.
1
Suppose -o - 178 = p - 4*p, -5*o + 10 = 0. Suppose 0 = 3*j - 8*j + p. Solve 6*q - j = 2*q for q.
3
Suppose 22 + 68 = -2*n. Let k be ((-215)/n - 1) + (-4)/(-18). Solve -w = k*w + 5 for w.
-1
Suppose 4*k - 3*k + 91 = 0. Let f = 99 + k. Solve 3*i = 20 - f for i.
4
Suppose 0 = -26*b + 27*b - 4. Solve 0 + b = -s for s.
-4
Suppose 3*b + 15 = -0*b. Let t be (-18)/b + -4 - (-57)/5. Solve 4*s - t = -31 for s.
-5
Let d = 47 - 40. Suppose -d*m + 101 = -144. Solve -m + 15 = -5*f for f.
4
Let i be 25 - ((-1)/2)/(1/2). Suppose 0 = -2*j + 42 - i. Solve n = -n - j for n.
-4
Suppose 7*s + 240 = 2*s. Let r = s - -60. Suppose -2*u + 3*u = 4. Solve u = -4*v - r for v.
-4
Let u(v) = -v**2 + 14*v + 8. Let x be u(15). Let s be (-18)/(-4)*(x - (-207)/27). Solve 6*r - s*r = 0 for r.
0
Suppose 0 = 2*k - 7*k + 5*f + 10, 6 = k - 5*f. Suppose -k = y - 11. Solve 0 = -5*m - 0*m - y for m.
-2
Suppose 0 = 2*k - 7 - 3. Let f = -2 + k. Suppose n + f*g = -1, 4*n - n + g - 37 = 0. Solve 4*o - n - 6 = 0 for o.
5
Let r(p) = p**3 - 6*p**2 - 5*p - 7. Let f be r(7). Let a = -3 - -6. Suppose 6*h = a*h + 6. Solve -h*g = -f*g for g.
0
Let g = 71 + -71. Suppose 7*w - 2*w = g. Solve w = 2*z + 2 for z.
-1
Suppose 14*a - 20 = 4*a. Solve -10*u = -a*u + 8 for u.
-1
Let q(p) = 2*p + 6. Let f = -33 + 23. Let b be q(f). Let l be 4/(24/b)*-3. Solve 4*u = 9 + l for u.
4
Let t be (-36)/(-10) + (-4)/(-10). Let q(r) = -r**3 - 3*r**2 - 2*r - 2. Let u be q(-3). Suppose -13 + 49 = u*k. Solve t*p = p + k for p.
3
Let q(z) = 0 - 6*z + 4 + 4 - z**2. Let j be q(-7). Let o be (0*(-2)/6)/j. Solve o = -4*f + 4 - 0 for f.
1
Suppose 0 = 6*i - 3*i - 36. Suppose 0 = 2*b + 2*v - i, -2*b - 3*b + 24 = 2*v. Let w(q) = -q**3 - 3*q**2 + 2*q - 5. Let l be w(-4). Solve -b + l = m for m.
-1
Let b(y) = -y**3 - 4*y**2 - 3*y. Let w be b(-3). Suppose 4*r = -3*x + 2*x + 7, -3*x + r = -34. Suppose -x*o - 58 = -223. Solve w*v - o = 5*v for v.
-3
Let q be (6 + -7 + 1)/2. Solve j + 15 - 10 = q for j.
-5
Let m = 2 + 1. Let r(b) = -b**2 + 6*b + 4. Let k be r(6). Suppose -o + 2*q = 8, 2 = -k*o - 2*q + 10. Solve o = -n - 2*n + m for n.
1
Let g(w) = -w**3 + 9*w**2 - 6*w + 8. Let l be g(8). Suppose 0 = 4*b - 2*t + 3*t - 19, 0 = 5*b + t - l. Solve 2*z + 5 = -b for z.
-5
Let f(d) be the first derivative of -d**3/3 - 5*d**2/2 + 6*d - 49. Let g be f(-6). Solve -4*k + g = 4 for k.
-1
Let a be (-1)/1*(-10 - -8). Suppose 0 = -a*s - 2 + 8, 35 = 5*y + 5*s. Solve 0 = y*m - m for m.
0
Let k = -45 - -50. Suppose z - 9 = -5*n, -n + k*z = -4*n + 1. Solve 2 + n = -4*h for h.
-1
Let q = -26 + 15. Let f = q + 14. Solve -f*o - 6 - 6 = 0 for o.
-4
Suppose -14 = 6*t - 13*t. Suppose t*k = -6*k + 32. Solve -k*d - 1 - 7 = 0 for d.
-2
Suppose 4*l - 146 = -5*m, 2*m = l - 10 - 20. Let x = 36 - l. Solve x*o - 4 + 8 = 0 for o.
-2
Let i(l) = 2*l. Let q = 11 - 9. Let n be i(q). Let h = 0 + n. Solve -h*g - 4 = -3*g for g.
-4
Let p be (-297)/22*22/(-33). Solve -12*s - 3 = -p*s for s.
-1
Suppose 417 = 8*k + 9. Solve k*z - 46*z = 20 for z.
4
Let v be -2*((-10)/12)/(5/(-9)). Let n = 12 + -9. Let d be -2 - (v - (n + 2)). Solve 0 = -5*c - 16 + d for c.
-2
Suppose w = -4*l + 39, -4*l + 54 = -3*w + 11. Solve l*u - 5*u - 5 = 0 for u.
1
Suppose -h - 2*r = 49, 4*h + r = 6*r - 196. Let q = h - -51. Solve 0 = g + g - q for g.
1
Let u be 5 + 19/((-171)/(-90)). Solve u - 19 = -t for t.
4
Let y(o) = -2*o**2 - 23*o - 7. Let c be y(-11). Solve 0 = 3*p - p - c for p.
2
Suppose -4*f + 21*a - 26*a = -24, 0 = -f - 4*a + 6. Solve 2*o - 16 = -f*o for o.
2
Let u = -979 + 983. Let m = 16 + -10. Suppose a = m*a. Solve a = -u*s + 3 + 1 for s.
1
Let a = -15 + 26. Let h(l) = -a*l + 11 - 4 - 10. Let z be h(-2). Solve 5*t - z = 1 for t.
4
Suppose -4 = -2*g + 56. Let n = g - 30. Solve n = -5*b + 10 for b.
2
Suppose -467 + 107 = -8*v. Solve -v = -3*k - 60 for k.
-5
Let j = 483 - 448. Solve 0 = -32*t + j*t - 6 for t.
2
Suppose -7*n + 7*n = -2*n. Solve n = 3*r + 3 - 12 for r.
3
Let v = 10 - 8. Suppose -3*d + 128 = -3*t + 134, -3*d - 5*t + 10 = 0. Solve 0 = -v*n - d*n + 2 for n.
1
Let r(a) = 4*a**2 - 2*a - 2. Let g be r(-1). Suppose -4*t = 3*c - 21, -3*c + t = -t - 3. Let w be (-51)/(-4) - c/g. Solve -2 = 5*j - w for j.
2
Let g(t) = t**3 - 15*t**2 + 25*t + 13. Let y be g(13). Solve y*w = -10*w - 40 for w.
-4
Suppose -o = -2, 6*b = 2*b + o - 2. Let l(t) = -5*t**3 - t**2 - t - 1. Let z be l(-1). Solve 0 = -z*h - b*h + 4 for h.
1
Let d be ((-28)/4)/(-7)*4. Solve 0 = 25*a - 24*a + d for a.
-4
Suppose -5*z + 140 = -5*t, 0 = -29*z + 26*z + 4*t + 86. Solve z*c = 21*c - 25 for c.
-5
Let m be -3*(-22)/495 + 133/15. Solve m - 9 = -4*l for l.
0
Let t = 1533 + -1508. Suppose -20 = 