9*p - 2 = -x*p for p.
1
Suppose -3*z + z = -6. Suppose -u = -z*u + y, u - 3*y = 0. Suppose u = -5*d + 10. Solve d*k - k = -1 for k.
-1
Let r(n) = -n**2 - 12*n - 10. Let q be r(-11). Let a be 2 - (23 - (q + 0)). Let l = -18 - a. Solve -l = -y - 0*y for y.
2
Let j(w) = w**2 - 2*w - 4. Let n be j(4). Suppose 2 + n = 2*g. Suppose g*p = 9 - 3. Solve -3*k + 11 = p for k.
3
Suppose -3*f - 130 = -8*f. Let g = f + -22. Let u be 1/(10/g - 2). Solve -d - u = 3 for d.
-5
Suppose 19*f = 22*f. Suppose -5*u + 7 = -2*s - f*s, -3*s + 27 = 5*u. Solve 2*d - s = -0*d for d.
2
Suppose 19*t = -10*t. Solve 2*v - 5*v - 15 = t for v.
-5
Suppose -25*i = 17*i - 45*i + 15. Let q = -9 + 5. Let m be 42/(-4)*q/6. Solve -3*z - i - m = 0 for z.
-4
Let o be -5 - 3/((-12)/(-16)). Let t be -1 - (o + 0 + 2). Solve 3 = t*n - 3*n for n.
1
Let j be 18/90 + (-192)/(-40). Solve 8*p = j + 27 for p.
4
Let b = -9 + 37. Let o be (21/b)/(9/12). Let i = 11 + -1. Solve o = 3*s + i for s.
-3
Suppose -5*v - 4 + 29 = 0. Suppose -5*y + v = -5. Let r = -65 - -67. Solve r*j = 4*j - y for j.
1
Suppose -5*a + 7 = -8. Let j be -3 - 3/((-6)/8). Solve -j + a = -2*n for n.
-1
Let m be (-2)/(-9) + (-204)/(-54). Let x(a) = -4*a - 8. Let d be (4 - 2)/((-3)/6). Let y be x(d). Solve m*l = y*l for l.
0
Let s = -20 + 23. Suppose 3*c + 4 - 16 = -w, -6 = -s*c - 3*w. Suppose 4*d - c*f + 8 = -3*f, 3*d = 5*f - 20. Solve -6*n + n - 25 = d for n.
-5
Let x be 332/(-14) + 11/((-231)/6). Let n be ((x/10)/3)/((-7)/35). Let m = 30 - 18. Solve -z + m = -n*z for z.
-4
Let u(t) = -2*t**3 - 5*t**2 + 13*t + 14. Let m be u(-4). Solve 7*a = m*a + 15 for a.
-5
Suppose 3*s - 15 + 0 = -3*w, 3*w = 5*s - 1. Solve s = i - 3 for i.
5
Let a = -53 + 74. Solve 9*o - a = 2*o for o.
3
Let o(y) = -4*y - 55. Let p be o(-18). Solve 6*d + p - 5 = 0 for d.
-2
Suppose -3*v - r + 11 + 3 = 0, 3*v - r = 10. Let j be 2*(54/v - 3). Let a = 23 - j. Solve -c - a + 0 = 0 for c.
-2
Let g = -6 - -6. Suppose -136*q + 135*q = -4. Solve -q*v - 4 + g = 0 for v.
-1
Let g = -5 - -9. Suppose -14 = -2*j + g*k, -k - 10 = -j - 0*k. Let y be 448/96*3/7. Solve y*b + j = 3 for b.
-5
Suppose n + 21 = 2*z, -8*z + n = -3*z - 45. Solve -2 = -z*y + 6 for y.
1
Let l be 2/4 + 15/10. Let f be 0*((-5)/(-2) - l). Solve f*j + 4 = -j for j.
-4
Let h(a) = -a + 13. Let f be h(9). Suppose m = -2*m + d - 4, -4*m = -f*d - 8. Let l be 9 + m - (5 + -2). Solve -2 = -y - l for y.
-1
Let n = -134 + 206. Let l = 81 - n. Solve -l = 3*r - 3 for r.
-2
Let f = 270 - 1681. Let u be (-4)/(-34) - f/289. Suppose -u = o - 7. Solve 0 = -o*s - 3*s + 15 for s.
3
Let v(c) = -c**2 + 9*c - 13. Let z be v(9). Let m = -7 - z. Let y(j) = j + 2. Let t be y(2). Solve t*r + 14 - m = 0 for r.
-2
Let h(f) = 5*f**2 + f + 1. Let a be h(1). Let r(u) = u**2 - 7*u + 4. Let x be r(a). Suppose x*w - 5 = 3. Solve -p + 1 - w = 0 for p.
-1
Suppose 36 = 18*x - 0*x. Solve 3*f = -x*f - 25 for f.
-5
Suppose -m = 5*q + 5, m - 6*q = -3*q - 5. Let a = m + 8. Suppose -2 = a*b - 14. Solve 0 = 4*v - 2*v - b for v.
2
Let w = -223 - -227. Solve 0 = -0*t - t - w for t.
-4
Let z be 7 - 1 - 1*2. Let o = 7 - -1. Solve -z*g = -0*g + o for g.
-2
Let x = 29 - 19. Suppose 6*z = z + x. Suppose 0*f + z*j = -2*f, 3*j = -15. Solve -19 = f*t + 1 for t.
-4
Suppose -4*d - 3*k + 6*k = -33, -4*d - 5*k = -9. Let r be (-13 + 15)*3/2. Solve r*t - d = 6 for t.
4
Suppose y + 3*u = -2*y + 105, -3*y - 2*u + 104 = 0. Let d = y - 30. Solve 7*j + 12 = d*j for j.
-4
Suppose 5*x - 60 = 4*x. Let f be 3 - ((-2)/(-9) + x/(-27)). Solve -4*n - f + 1 = 0 for n.
-1
Let o(s) = 2*s + 35. Let b be o(-14). Solve b*z + 10 = -18 for z.
-4
Let n(h) = -h**3 - 3*h**2 + 12*h + 26. Let l be n(-5). Solve 4*b = -0*b + l for b.
4
Suppose 3*g = -q + 20, -5*g + 0*q + 32 = 2*q. Suppose -2*h + h - g = 0. Let i = 13 + h. Solve 0*p = i*p for p.
0
Let b(x) = -x**3 + 7*x**2 + 6*x + 11. Let a be b(8). Let k = 5 + a. Solve k*t + 3*t = -12 for t.
-4
Let i be 5/((-5)/(-4)) + 1. Let t be ((-6)/(-14))/((-12)/(-84)). Suppose t*g + 2*g - 9 = -3*h, -i*g = 0. Solve h*d + 5 = 8*d for d.
1
Suppose -5 = -8*z + 3*z, -2*k - 3*z + 3 = 0. Solve -6*f + 7*f = k for f.
0
Let z be (21/(-9))/(112/(-240)). Solve 0 = z*t - 7 - 8 for t.
3
Let j = -41 - -46. Solve 9*m + 32 - j = 0 for m.
-3
Suppose 0 = c - 4*o + 9, -2*o - 9 = 3*c - 38. Solve -35 = c*p - 7 for p.
-4
Let c = -2 + 2. Let i(a) = -a**3 - 2*a**2 + 3*a + 7. Let q be i(-3). Suppose q = 8*l - 9. Solve c*k - l = 2*k for k.
-1
Let r be -2 + 2 - (-230)/46. Let f(m) = 3*m - 1. Let d be f(3). Suppose 15 = q + 3*x, 4*x = d + 8. Solve -4*v - q = r for v.
-2
Let i(x) = 6*x + 17. Let q be (7/7)/(1/(-5)). Let r be i(q). Let k = r - -17. Solve s = k*s - 6 for s.
2
Suppose 0 = -5*m - 4*f + 26 + 19, -3*m - 3*f = -27. Suppose 0 = -3*c + m + 3. Let i be (-4)/18 + (-190)/(-45). Solve -c*o = -5*o - i for o.
-4
Let h be (-7 - 2)*(-20 - -19). Solve -h*r = -9 - 0 for r.
1
Let y be ((-5)/3)/(60/(-72)). Solve 2*t - y = -0*t for t.
1
Let m be (8/(-10))/(1 + (-17)/15). Solve -s - m + 2 = 0 for s.
-4
Suppose -8 = -r - 4*q, 0*r = -4*r - 5*q + 10. Suppose 5*n - 125 = -115. Solve -3*u + n*u + 4 = r for u.
4
Let n = 51 - 10. Solve 43 = g + n for g.
2
Let r(v) = v**3 + 9*v**2 + v + 10. Let b be r(-9). Solve -q = -2*q + b for q.
1
Let h(c) = c + 2. Let n be h(2). Suppose 15 = -11*l + 14*l. Suppose -3*k = -5*m + 33, -6*k = -k + l. Solve 5*z - m = n for z.
2
Let g(f) = f + 36. Let x be g(-32). Suppose x*u - 22*u = -54. Solve 5*a + u = -2 for a.
-1
Let j(c) = c + 3. Let z be j(-7). Let r be (-2)/(-4) + 2/z. Solve r = -4*g + g + 9 for g.
3
Let k = -74 + 76. Solve -1 - 7 = k*c for c.
-4
Let q be 2/(-4) - (5 + (-114)/12). Solve 0*l - 16 = -q*l for l.
4
Suppose 2*o = -8 + 24. Solve -5*a + 7 = -o for a.
3
Let p = 146 - 141. Solve p*s + 8 + 2 = 0 for s.
-2
Let q be ((-6)/(-5))/(15*(-9)/(-900)). Solve 20 = -q*d + 4 for d.
-2
Let f = 2 - 2. Let o be (25/(-20))/(4/(-208)). Suppose -25 = -5*d + o. Solve f = -5*r - 3 + d for r.
3
Let p = 1510 - 1480. Solve -p = -7*w + w for w.
5
Suppose -9*r = 10*r. Solve -6*u + 3*u - 15 = r for u.
-5
Let x(g) = -10*g - 22. Let h be x(-3). Let p be 4*(-1 + 28/h). Solve -2 + p = -2*v for v.
-4
Let x(w) = -w**2 + 3*w + 21. Let o be x(6). Solve o*l + l = 0 for l.
0
Let g = -21 + 41. Suppose 23 = i + g. Solve i*j - 20 = 8*j for j.
-4
Let z(a) = -a**3 + a - 3. Let y be z(-2). Suppose -6*o = -y - 27. Solve o*q = -7 - 8 for q.
-3
Let b = -28 - -28. Suppose 3*j = 4*v - b*j + 7, 2*v = j - 3. Let r be v/3 + 532/21. Solve 5 - r = -4*u for u.
5
Let x = -60 + 114. Suppose x = 4*k + 5*k. Solve -c - k = -1 for c.
-5
Let y(o) be the first derivative of -o**2/2 + 16*o - 4. Let a be y(12). Suppose a*c - 27 = -3. Solve -c*i = -4*i - 6 for i.
3
Suppose 0*j = j - 43. Suppose 0 = -5*u - 2*f + j, 2*f + 21 - 1 = 2*u. Solve 0 = -2*v - v - u for v.
-3
Suppose 0 = 14*a - 4*a. Solve a*m = -6*m for m.
0
Suppose -110*o - 144 = -119*o. Solve -o = -13*c - 55 for c.
-3
Suppose 0 = 3*k - 4*f + 20, -9 - 19 = 3*k + 4*f. Let v be 45/(-18)*k/10. Let a be 18/9 + v/2. Solve -2*o = -a*o for o.
0
Let h(x) = x**3 + 13*x**2 + 5. Let u be h(-13). Solve -u*z + 6 = 11 for z.
-1
Suppose -32*q + 40*q - 48 = 0. Solve -z = -q*z + 20 for z.
4
Suppose 5*q = -n + 93, q - 3*q + 2*n = -30. Let b be (10/4)/(9/q). Suppose 0 = -5*f + b*x + 2 + 13, -f + 11 = 3*x. Solve 3*k = -2*k - f for k.
-1
Let j be (8/20)/(-3 - (-380)/125). Solve j = 3*m + 4 for m.
2
Let r = 30 - 21. Solve 2*k + r = 19 for k.
5
Let i(a) = 7*a**2 - 12*a - 20. Let g(b) = -b**2 + b - 1. Let l(u) = 6*g(u) + i(u). Let r be l(9). Solve 9 = -4*k + r for k.
-2
Suppose 0 = 5*p + 3*x - 32, 2*x + 3*x = 20. Solve 95 - 91 = -p*a for a.
-1
Let q(o) = -6*o - 2 - o**2 - 2*o**2 + 2*o**2. Let s be q(-5). Let z(f) = f**2 + 16*f + 23. Let y be z(-15). Solve 1 = -s*c - y for c.
-3
Suppose 2*s + 3*f = 5, 3*s - 2 = -f - 12. Let x be ((-12)/4*s)/1. Suppose -14*o = -x*o + 3. Solve -o*w + 1 = 4 for w.
-1
Suppose -121*t = -133*t + 72. Let g(h) = 2*h - 7. Let j(u) = u. Let w(x) = -g(x) + 3*j(x). Let p be w(7). Solve -4*q + p = -t for q.
5
Let l = 754 - 748. Solve 3*h - l = -15 for h.
-3
Let l(w) = -w**2 + 8*w - 13. Let j be l(7). Let k be 12 - 15 - j/2. Suppose -g + 2 + 0 = k. Solve -q + g = -3*q for q.
-1
Let f be (-2)/(8/(-6) - -2). Let w be ((-4)/f)/(1/3). Suppose 0 = 5*d - w*l 