 for p.
-1
Let s be (1/3)/((-2)/(-12)). Let a = 1 + -1. Suppose a = -3*k + 3 + 3. Solve -k*t = -0*t + s for t.
-1
Let b be (3/1)/(4/8). Solve 0 = -0*p + 2*p + b for p.
-3
Suppose 2*i = 7*i. Suppose -2*p + 7 - 3 = i. Let s(f) = -f**3 - 3*f**2 - 4*f + 1. Let m be s(-3). Solve -5*g - m = p for g.
-3
Let o be (-2)/(-8) - (-2)/(-8). Let a = -20 + 16. Let x be (-1)/(105/(-25) - a). Solve -x*c = 10 - o for c.
-2
Let p(m) = m**2 + 5*m - 4. Let c be p(-5). Let y be 4/(5/((-10)/c)). Suppose 0 + 4 = y*x. Solve -x*n + 6*n - 16 = 0 for n.
4
Let l(a) = -a**3 - 4*a**2 - 2*a + 1. Let b be l(-4). Suppose 1 - b = -2*c. Solve -c*u = -3 + 11 for u.
-2
Let o = 6 + 0. Solve 4*a = a + o for a.
2
Suppose 2*u - 141 = -55. Suppose s = v - 19, 4*v - 3*s + u = 6*v. Let b be (-3)/9 - v/(-6). Solve 0 = -3*j + b + 3 for j.
2
Let f be ((-1)/1)/(3/(-6)). Solve -f*j - 5 = 1 for j.
-3
Suppose -3*q - q = 2*p - 18, -3*q = -5*p + 6. Let s be 212/18 - (-3 + 50/18). Solve -7*a + s = -p*a for a.
3
Suppose 0 = -6*c + 3*c + 27. Let v be (8 - c)/(2/(-10)). Solve u - 2*u = -v for u.
5
Let d(m) = m**2 + 2*m - 4. Let t be d(-4). Suppose 0 = t*b - 3*b - 2. Suppose -2*l = b*l. Solve 2*f + l*f = 10 for f.
5
Suppose -8 - 2 = -5*g. Solve g*p + 3 - 9 = 0 for p.
3
Let v(i) = -i**2 - 4*i + 6. Let a be v(-4). Solve -3*z + z - a = 0 for z.
-3
Let d be (0 - -4) + (5 - 9). Solve -k + 3*k + 8 = d for k.
-4
Suppose -7*b + 26 = 5. Solve b*i - 10 = i for i.
5
Let z = 27 - 21. Suppose -z*w + 9 = 3*r - w, -w = 3*r - 9. Solve -r = 5*f + 2 for f.
-1
Suppose -44 = 3*l - 7*l. Let i = -6 + l. Solve -8 = -i*y + 7 for y.
3
Suppose 0 = -22*x + 17*x + 10. Let f be ((-10)/4)/(4/(-8)). Solve -c + f = x for c.
3
Let j = 6 - 11. Let u be 2/(-10) - 1/j. Solve 0 = -u*z - 3*z for z.
0
Suppose -5 = -4*q + 7. Let d = 3 - 1. Suppose -d*k - q*k = t - 11, 0 = k + 5*t - 7. Solve 0*y = -y - k for y.
-2
Let n(x) = -3*x**3 - 4*x**2 - 3*x - 2. Let k be n(-2). Let q = k + -12. Solve 0*u - 3*u = q for u.
0
Let f be 8/5 - (-16)/40. Suppose -f + 12 = 5*g. Solve g*t + 3*t = -5 for t.
-1
Let f = 10 + 0. Suppose -3*j + f = p, -5*j + 3 = p - 5. Solve 3 - p = 5*m for m.
-2
Let b = 128 - 123. Solve 0 = 3*t - b - 7 for t.
4
Let y(q) = q**2 + 5*q - 6. Let u be y(-6). Let i(t) = t**2 - 4*t - 3. Let h be i(5). Solve u = f - h*f for f.
0
Let s(m) = m**3 + 9*m**2 - 6 + 0*m**3 + 0*m**2 - 2 + 7*m. Let n be s(-8). Solve n = y - 0*y + 3 for y.
-3
Let q be (400/140)/((-4)/(-14)). Solve 0 = 4*c - 2 + q for c.
-2
Suppose 2 = 4*i - 10. Let a = i + 2. Suppose -a*c = -3*c. Solve c*r - 3 = -r for r.
3
Let y be 18/2 - (-4)/2. Let r(b) = -b + 2. Let v be r(-5). Let z = y - v. Solve -5 = z*d - 1 for d.
-1
Suppose 2*w + 2*w = 12. Solve -4*n + 1 = -w for n.
1
Let j be 1 + -1 + 2 + 3. Solve -j = v - 0*v for v.
-5
Suppose -3*v = -0*v - 18. Solve v*h = h for h.
0
Let i be -15*(24/(-5) - -2). Suppose 4*d = -g, 9*d - 4*d + i = 4*g. Let w be 10 + -8 + 2/2. Solve g*m = w*m - 5 for m.
-1
Let f be ((-12)/15)/2*-15. Suppose 0 = -3*m + 5*m - f. Solve 0 = -2*l - 13 + m for l.
-5
Let z = -5 - -5. Suppose 3*o - 9 - 3 = z. Suppose 3 = -o*h + 15. Solve 5 - h = s for s.
2
Let o = 67 - 65. Solve -u = o*u for u.
0
Let o(k) = 4*k**2 - 7*k + 1. Let p(g) = 3*g**2 - 7*g + 2. Let q(v) = 2*o(v) - 3*p(v). Let a be q(6). Solve -2*c - a*c = -12 for c.
3
Let r be (-42)/(-16) - (-9)/24. Solve 2*a + 15 = -r*a for a.
-3
Suppose -18*f + 16*f = -6. Solve -2*v = 13 - f for v.
-5
Let h be (-6)/4 - 27/6. Let x = h + 8. Solve -x*f + 4 = -6*f for f.
-1
Let j = 14 - 14. Let i be 2 + (-2 - -2) + j. Solve -6*w + i*w = -12 for w.
3
Suppose -27 = -5*m + 4*i, m = -0*m - i. Suppose -h - m*h = -8. Solve -2*x = h*x for x.
0
Let n(j) = -j**3 - 4*j**2 - 5*j - 3. Let s be n(-3). Let y = 3 + 0. Suppose k + 2 - 3 = -3*o, 0 = 2*o - k - 9. Solve -o*x + s + y = 0 for x.
3
Let i(k) = -k**2 - 4*k + 3. Let w be i(-4). Let g = -1 + w. Let x = 2 + -2. Solve -g*v - 3*v - 10 = x for v.
-2
Let v(h) = h**3 + 5*h**2 + 5. Let p be v(-5). Suppose -o + m - 1 = 0, o + o - p*m = -17. Solve d = -o*d - 10 for d.
-2
Let b(t) = 2*t + 18. Let d be b(-8). Solve 2*l = -0 - d for l.
-1
Suppose -4*j + 5 = j. Let k be 10*j*(-8)/(-5). Solve -s - 3*s - k = 0 for s.
-4
Let v(x) = x**3 - 12*x**2 + 19*x + 14. Let u be v(10). Solve -4*b - 12 = u for b.
-4
Let b(l) = -l**2 - 12*l + 16. Let i be b(-13). Solve v + i = 1 for v.
-2
Let p = 15 + -3. Let m be 3/p + 28/16. Solve m*v + v - 3 = 0 for v.
1
Let v(w) = w**2 + 4*w + 4. Let j be v(-4). Let a = 1 - 4. Let o = j + a. Solve -4 = 3*m - o for m.
-1
Suppose -i + 10 = 2. Solve 2*h + i = 6*h for h.
2
Suppose -5*w + 18 = 8. Solve -3 = -g - w for g.
1
Let y be ((-4)/10)/((-2)/(-10)). Let r(z) = -z + 1. Let v be r(y). Solve -12 = -v*j + 7*j for j.
-3
Let w be ((-56)/(-20))/(-7) - 42/(-5). Solve 3*z + w = -z for z.
-2
Let r(n) = -n + 17. Let g be r(8). Solve 5*o + 16 + g = 0 for o.
-5
Let q(z) = -z**3 + 4*z**2 + 10*z + 10. Let x(h) = -h**2 - 2*h - 2. Let i(u) = 2*q(u) + 11*x(u). Let v be i(-2). Solve -s - 2 + v = 0 for s.
4
Let v(x) = -x**2 - 10*x - 7. Let h be v(-9). Solve -m - 1 = -h for m.
1
Let x be -1*3 + (11 - 2). Let q = -6 + x. Solve -d + q*d = 0 for d.
0
Let g be -14*((-3)/18*-3)/(-1). Let y(h) = 4*h**3 - h**2 - h - 1. Let s be y(2). Solve -2*v + s = -g*v for v.
-5
Let u(d) = 4*d + 1. Let i be u(1). Suppose 0 = 5*h - 5*a + 40, -i*h - 5*a = -2*h. Let t = h - -9. Solve 3*x - 5 = t*x for x.
-5
Suppose 10 = 2*r - y, 5*r - 3*y = -y + 24. Let h = -4 + r. Solve v + 2*v - 9 = h for v.
3
Let h = -29 + 33. Solve h*x - 3 = -11 for x.
-2
Let f = 110 + -106. Solve f = 3*t + 1 for t.
1
Let b be 2/(-3) + (-5)/(-3). Let g(f) = 2*f - b + f**3 - 2*f**3 + 4. Let s be g(-2). Solve -10 = -s*l + 2*l for l.
2
Let v(y) = -y + 5. Suppose j + 32 = -2*s - j, -3*s + 5*j - 8 = 0. Let n(a) = -6*a + 26. Let o(l) = s*v(l) + 2*n(l). Let t be o(-5). Solve 3*w + t = 4*w for w.
2
Let i(c) = -c**3 - 7*c**2 - 2*c + 14. Let p be i(-6). Let z(t) = t + 14. Let m be z(p). Solve -m*n + 12 = -n for n.
4
Let x(l) = 5 - 5 + 1 + 2*l - l. Let w be x(5). Solve 0 = -2*t - t + w for t.
2
Let c(g) = g - 5. Let q be c(6). Let t be ((-72)/(-21))/((-2)/(-14)). Suppose 0 = n - q + 4, -3*y + 4*n = -t. Solve y*u - 15 + 3 = 0 for u.
3
Let s(w) be the third derivative of 0*w - 1/24*w**4 + w**2 + 2/3*w**3 - 1/60*w**5 + 0 - 1/120*w**6. Let v be s(0). Solve v*m + 4 = -0*m for m.
-1
Let g be (-1 + -1)*(-3 + -11). Suppose -3*f = -g - 44. Solve -5*n - 4 = -f for n.
4
Suppose 0 = -3*d + 7*d - 104. Let b be d/7 + (-4)/(-14). Suppose 0*a - 22 = -2*a + 4*k, -4 = a + 3*k. Solve -a*r = 11 + b for r.
-3
Let o(z) = -2*z - 10. Let g be o(-9). Solve -p = 3*p + g for p.
-2
Suppose 4*b = 4*p - 25 - 7, -3*b + 56 = 5*p. Solve 0*d - p = -2*d for d.
5
Let v be 4/(4 + 1 - 4). Solve 3*u = v*u for u.
0
Suppose -4*r - y - 4*y = 11, 3*y + 9 = 0. Solve 2 = l - r for l.
3
Let q be 2 + -7 + 4 + 6. Solve q + 5 = -5*d for d.
-2
Let s(h) = -h**3 + 5*h**2 + 5*h - 5. Let u be s(6). Let j = u + 16. Let l = j + 1. Solve -g = g - l for g.
3
Let b(n) = n**3 - 11*n**2. Let j be b(11). Suppose j = -4*d + 4 + 20. Let w = 6 - d. Solve -5*a = -w*a + 5 for a.
-1
Let n(s) = s - 11. Let b be n(8). Let a = b - -4. Suppose -4 - a = -5*m. Solve -1 = -l + m for l.
2
Let a be (-3)/(-2)*(-28)/(-6). Suppose -5*v + 53 = -a. Suppose v = -2*q + 4*q + 4*u, -17 = -5*q + 3*u. Solve 2*n = q*n for n.
0
Let d(i) = 3 - i**2 + 0 - i**3 - 3 + i. Let t be d(-2). Solve 0*o = -t*o for o.
0
Let w = -32 + 34. Solve w*b + 2*b = -8 for b.
-2
Let i(t) = -2*t - 1. Let f be i(-3). Let d = 6 + -12. Let j(a) = a**3 + 7*a**2 + 5*a - 6. Let g be j(d). Solve -c - f = -g*c for c.
-5
Let k(d) = -4 - 46*d - 15 - 24*d**2 - 6 + 5*d**3. Let x(c) = c**3 - 5*c**2 - 9*c - 5. Let y(w) = -2*k(w) + 11*x(w). Let s be y(8). Solve -h - 8 = -s*h for h.
4
Let i(z) = -z**2 + z + 1. Let f(d) = -5*d**2 + 14*d + 10. Let q(u) = -f(u) + 6*i(u). Let n be q(-6). Suppose -2 = -5*m + n. Solve 14 = -4*o + m for o.
-3
Let z be 8/12*(-30)/(-4). Suppose z*g + 2 - 27 = 0. Solve 0 - g = -s for s.
5
Let i(s) = s**3 - 2*s**2 - 3*s + 1. Suppose -x = 4*k - 16, -5*k = 5*x - 37 + 2. Let c be i(k). Let z = -1 + c. Solve z = 4*j + 3 - 7 for j.
1
Let t(v) = v**3 - 6*v**2 + 2*v - 9. Suppose 7*s - 30 = 2*s. Let n be t(s). Solve 2*u - 1 = n for u.
2
Let t = -21 + 30. Let a = t 