
Let j(u) = 260*u + 552. Let n be j(-2). Solve n*p - 30 = 38*p for p.
-5
Let i be -3 - (1 + 6 + (37 - 61)). Solve 12*t - 10 = i*t for t.
-5
Let a(v) = 20*v + 305. Let f be a(-15). Solve -10*k + f*k = 15 for k.
-3
Suppose 5 = -3*a + 2*o + 25, 5*a - o - 24 = 0. Solve -6 = j - a*j for j.
2
Let t be ((-80)/(-6))/4 - 4/(-6). Suppose 4 = y - q, 4*q - 1 + 8 = -5*y. Suppose t - y = a. Solve 15 = -2*b - a*b for b.
-3
Let o = -7 + 11. Suppose -o*v = -2*v. Suppose -10*x + 29 - 9 = 0. Solve x = -v*m - m for m.
-2
Let a(z) = -z**3 + 14*z**2 + 2*z - 32. Let h be a(14). Let i be h + 351/21 + (-2)/(-7). Solve i = 5*q + 3 for q.
2
Let i(f) = 3*f**2 + 6*f + 3. Let j be i(-2). Suppose j*h - 20 = -3*n + 4*h, 2*h = n - 15. Solve n*l + 5 + 10 = 0 for l.
-3
Let c(j) = 179*j + 6 - 3 - 180*j. Let a be c(5). Let u be a/(-4)*(0 - 0). Solve u = 2*r - r - 2 for r.
2
Let c = -777 + 812. Solve c = 3*a + 23 for a.
4
Let d = 6 + -2. Suppose 5 = d*o - 7. Suppose 9*b - 6*b = 0. Solve b*f + o = f for f.
3
Let c = -8 - -10. Let s be (-3 + c)*0/(-3). Let n(b) = -2*b**2 + 16*b + 7. Let f be n(7). Solve 3*m - f + 9 = s for m.
4
Suppose -d - 3*s = 4, -3*d - s = -0*s - 4. Solve d + 2 = g for g.
4
Let k be 1/3 - (7/3 + -2). Let d be k/(-3)*(-2)/(-4)*2. Solve 8*s - 3*s + 20 = d for s.
-4
Let a be 28 + -3 + -3 - 4. Let m be (-4)/a - (-224)/36. Solve m - 14 = 2*u for u.
-4
Let z(t) = t**2 - 10*t + 16. Let k be z(8). Solve k*f + 3 = 3*f for f.
1
Let a = -12 + 17. Let d = -2 + -1. Let r = a + d. Solve 2*c - 12 = -r*c for c.
3
Let k = 20 + -12. Suppose -3*r - k = -5*r. Solve -24 + 4 = r*j for j.
-5
Let r be (-2)/3 + (-980)/(-30). Let p = 25 - r. Let h(s) = -s**3 - 6*s**2 + 8*s + 9. Let a be h(p). Solve i + 15 = -a*i for i.
-5
Let l = 8 + 7. Let p = l + -10. Let o be 3 + 0 + p + -3. Solve -o*a - 2 = -3*a for a.
-1
Let a(u) = -2*u**2 + 6*u + 4. Let x be (3 + 0)/(-6)*-6. Let m be a(x). Solve 2 = 3*p - m for p.
2
Suppose 5*y = -2*t - 34, 3*y + 22 = 2*t + 8. Let s be ((-15)/y - 2)*6. Suppose -2*v = -s*v. Solve v = -3*a - 3 for a.
-1
Let g(v) = -v**2 - 30*v - 219. Let d be g(-17). Solve 22 = d*t + 12 for t.
5
Let f be ((-68)/(-2))/(88/176). Solve -f*u = -66*u - 4 for u.
2
Suppose 5*u + d - 3*d = -492, -d = -1. Let z = u - -108. Solve 4*y = -22 + z for y.
-3
Let f = -703 - -708. Solve -f*k + 23 = -2 for k.
5
Let l be -2*(2/2 - 3). Suppose -i + 3*t = 2*i - 12, -l = t. Suppose i = -5*b + 6*b. Solve 5*o + 29 - 4 = b for o.
-5
Let i = 989 + -989. Solve x - 75 + 74 = i for x.
1
Let q(u) = -u + 3. Let s be q(-3). Suppose -s*a = -3*a - 6. Solve -2*p + 0*p = -a for p.
1
Let r(g) = -g**2 + 7*g - 1. Let q be (1 + 12/(-20))*15. Let x be r(q). Let a(l) = -7*l - 2. Let v be a(-2). Solve -x*f - 3 - v = 0 for f.
-3
Suppose -22 = -4*d - 5*q + 4, 3*q - 6 = 0. Let k(n) = 4*n + 1 - 3*n + 2. Let b be k(0). Solve -b = d*a + 9 for a.
-3
Suppose 4*n + 103 = -3*x, -x + 4*n = -2*x - 29. Let l = x + 38. Solve 2*b = 3*b + l for b.
-1
Let i = -30 + 30. Suppose -5*n - 5*c = -15, i = -2*n + 4*n - 3*c - 11. Suppose -2*x + 10 = 2*b - 0*b, b - 20 = -n*x. Solve 0 = -3*w - b*w for w.
0
Suppose g = 4*g - i - 26, i = g - 12. Solve 3*x = g*x for x.
0
Let u be ((-5)/(-10))/(3/24). Solve -11*q - 26 = -u for q.
-2
Suppose 0 = -4*q - 4*g - 48, -2*q + 0*q + 3*g = -1. Let a be (3 + q)*(-2)/4. Suppose -7 = -34*t - 7. Solve t*x + x = -a for x.
-2
Let i = -69 + 167. Let g be (-2)/1 - (-13)/(91/i). Solve -j = -4*j - g for j.
-4
Let j = 3 - 8. Let z = -2 - j. Let p be 18/171 - 2/19. Solve z = -p*i - i for i.
-3
Let s(z) = 8*z**2 - 9*z + 3*z**2 - 12*z**2 - 8. Let f = -2 + -6. Let a be s(f). Solve a = -c - c for c.
0
Let h be (-135)/36*1*-8. Solve 0 = -5*k + 45 - h for k.
3
Suppose -4*o + 2*a = 3 - 9, -o - 1 = 2*a. Let s(k) = 3*k**3 + k**2 - k + 1. Let n be s(o). Suppose -f = n*f - 35. Solve 2*p = f*p - 15 for p.
3
Let a be -3 + 63/24 + (-33)/(-88). Solve 15*w + 5 - 80 = a for w.
5
Suppose -4*m + 27 = -9. Let q = 6 - m. Let t(w) = -w**3 - 4*w**2 - 4*w - 1. Let x be t(q). Solve x = -2*y + 4 for y.
1
Let r = -163 - -113. Let y = r - -55. Solve -y*u - 4 = -4*u for u.
-4
Suppose 0 = -4*i + m - 0*m + 156, m + 42 = i. Suppose i = 2*l + 24. Suppose 3*q = -4*d + 57, 2*q + 6 = d - 22. Solve 5*b = d + l for b.
5
Let x = -23 + 26. Solve t - x = -2 for t.
1
Let h(x) = 14*x**2 + 47*x - 19. Let j(t) = 5*t**2 + 16*t - 6. Let u(r) = 6*h(r) - 17*j(r). Let q be u(8). Suppose -s = -4 + 3. Solve q = -d - s for d.
-5
Let h = 2 + 2. Suppose -20 = -9492*o + 9472*o. Solve 5*v - o - h = 0 for v.
1
Let z be (0/3 + 2)/((-3)/(-6)). Suppose m = 2*y + 6, 9*m = z*m + 4*y + 42. Solve 3*g = 4 - m for g.
-2
Suppose 0 = -2*m, 0 = -5*b + 3*m - 2*m + 30. Let q be -6*(3/b - 1). Solve -2 = t - q for t.
1
Let x = -47 - -47. Solve -9*b + 11*b + 2 = x for b.
-1
Let f(m) = m**3 - 6*m**2 + 3*m + 4. Let y be f(5). Let c be (63/y)/((-15)/20). Suppose 2*p = 8 + 2. Solve 0 = p*d + 4 - c for d.
2
Let r be (0 - 8/(-5))/(4/(-130)). Let v = r + 56. Solve -z + 0 = -v for z.
4
Let i be 0 - ((10 - 30) + 4*1). Let l be (-3)/9*0*4/i. Solve l = -r - 1 - 0 for r.
-1
Let q be (-1 + 3)*4/2. Suppose q*p = -8, -a + 2*p + 10 = a. Solve r - a = 1 for r.
4
Let s(r) = -r**3 + 7*r**2 - 3*r + 6. Let m be s(7). Let o = -10 - m. Solve -o*d = -19 + 4 for d.
3
Let p be (-23)/(621/6) - 11/(-9). Solve -80*q + p = -81*q for q.
-1
Let g = -21 - -33. Suppose -7*p + 2 = -g. Solve -4 = -w - p for w.
2
Let x(j) be the second derivative of j**3/6 + 3*j**2/2 + 3*j. Let b be x(5). Let y be (-6)/(-8) + (-6)/b. Solve -2*f + 1 - 9 = y for f.
-4
Let z(f) = -4*f**2 + 46*f + 29. Let g be z(12). Solve -8*h - 15 = -g*h for h.
-5
Let j be 72/3 + 12 + -15. Solve -v = 6*v - j for v.
3
Suppose -z - 3*n - 120 = z, 4 = n. Let c = z - -72. Solve c*p = 2*p - 4 for p.
-1
Let d = -326 - -331. Solve d*b = -1 - 4 for b.
-1
Suppose -3*q = 2*m - m - 16, -5*m + 30 = 5*q. Solve -7*l - 26 + q = 0 for l.
-3
Let w be (-2 + -1)/((-9)/6 - -3). Let z be (-4)/(-9)*1/(w/(-9)). Suppose -2*a + 5 = 4*b - 11, 3*a - 15 = -3*b. Solve -a*r = z + 4 for r.
-3
Let i = -77 + 79. Let b = -123 + 132. Solve -3 + b = -i*r for r.
-3
Suppose 10*q - 56 = 104. Solve 1 = 5*f + q for f.
-3
Suppose 4*q - 8*q - 26 = 3*u, -38 = 4*q - 3*u. Let f(i) be the second derivative of i**4/12 + 3*i**3/2 + 5*i**2 + 5*i. Let c be f(q). Solve -4*x = -2 - c for x.
1
Let b(y) = y**3 + 7*y**2 - 15*y - 68. Let w be b(-4). Solve q = 9*q + w for q.
-5
Let b(d) = d**2 - 22*d + 40. Let g be b(20). Let h = -9 + 14. Solve g = 5*o + h + 10 for o.
-3
Let y(h) = h**2 - 21*h - 221. Let m be y(-8). Solve -19 = 6*t + m for t.
-5
Suppose -g - 44 = -13. Let n = -28 - g. Suppose 2*c + 4*k = 0, c = -n*k - 5 + 4. Solve c = -3*l + 14 for l.
4
Let u = -371 + 379. Solve 4*s = -4*s - u for s.
-1
Let u(l) = -2*l - 30. Let a(w) = 2. Let b(d) = 12*a(d) + u(d). Suppose -13 = 3*h - q, h - 3*h - 18 = 4*q. Let p be b(h). Solve p*n - n = 0 for n.
0
Let s = -20 + 24. Let w(z) = z**2 - 10. Let b be w(s). Let f(r) = -r + 1. Let g be f(-1). Solve -g*v = -16 + b for v.
5
Suppose 0 = -5*a - 4*u - 15, -4*u = -2*a + a + 21. Solve -s - 5 = -a for s.
-4
Let x = -31 + 34. Suppose -x*u = 4*a + u - 28, -15 = -3*u. Solve a*s - s - 3 = 0 for s.
3
Let f(c) = c**3 + c**2 - c - 2. Let s be f(2). Suppose 5*x - 12 - s = 0. Suppose 8 = 5*z - 2*v, -3*z + 5*v + 3 - 2 = 0. Solve 0 = -x*k + 2*k + z for k.
1
Let j(k) = -7*k - 31. Let n be j(-6). Solve 4*v - 5 - n = 0 for v.
4
Suppose 0 = -3*c + 4*h + 34, -c + 78*h - 81*h - 6 = 0. Suppose -k = -3*u, 3*u - 5*u = 2*k - 8. Solve g = c - k for g.
3
Let x(b) = -2*b**3 + 5*b**2 - 2*b - 4. Let n be x(2). Let l be (-14)/21 - n/6. Solve l*y = -2*y for y.
0
Suppose -5*g = -3*r + 268, -3*g - 124 = -g + 3*r. Let i = g - -58. Solve i*o = o + 1 for o.
1
Let i(r) = 9*r + 18. Let t be i(-4). Let g be (15/(-10))/(3/28). Let j = g - t. Solve -j = -b + 3*b for b.
-2
Let t be -10 - -6 - (-9 - -1). Let k be ((-12)/18)/(t/(-54)). Suppose 3*q - k = -3*m, 3*m + q = -m + 9. Solve -m = -2*p + 4*p for p.
-1
Let a be 10/(-4)*8/(-5). Suppose 0 = -a*v - 3*v. Solve v = -0*d - 4*d - 8 for d.
-2
Let g(l) = -4*l**2 + 9*l + 6. Suppose 4*r + 15 = 3. Let d(y) = -3*y**2 + 8*y + 6. Let f(a) = r*d(a) + 2*g(a). Let c be f(7). Solve -21 = -4*m - c for m.
5
Let j be (2 + -12)/(4/(-2)). Suppose 0 = j*p + 3*u - 12, -6 = -2*p + u + 1. Suppose -5*q