= -1 for p.
4
Let p = 18 + 4. Suppose 3*g - 33 - p = -4*m, 0 = -4*m - 2*g + 50. Solve 9*l + m = 4*l for l.
-2
Suppose 5*g - 2*g - 6 = 0. Suppose 5*p = -3 - g. Let k be (0 - (-1 + 1))/p. Solve 0 = -4*y - k + 8 for y.
2
Let k = 0 + -3. Let j = 5 - k. Solve 4*r = j*r + 12 for r.
-3
Let c = -4 - 2. Let k = c + 9. Let h(o) = o**3 + 3. Let p be h(0). Solve p = -k*f - 6 for f.
-3
Suppose 4 = g + c, 0*g + 2*g - 17 = -5*c. Solve -2*h + g = -3 for h.
2
Suppose 4*h - 12 + 4 = 0. Suppose -h*r + 5 = -5. Solve g = r*g - 20 for g.
5
Let m = 10 + -6. Let q be (4/(-6))/(26/195). Let p be (m/(-3))/(q/15). Solve p*v = 2 + 6 for v.
2
Let j be ((-2)/(-6))/(5/45). Solve b + j*b = 8 for b.
2
Let d(v) = 2*v - 1. Suppose 2*k + k = -5*b - 8, -2*k + 4*b = -24. Let l be d(k). Let h = -4 + l. Solve 4*j - 1 = h for j.
1
Let o = 1 - -4. Suppose o*m + 12 = 42. Solve 4*i - m*i = 8 for i.
-4
Let c(v) = -v**2 - 8*v - 6. Let i be c(-6). Suppose 2*m + 0*m - 22 = 0. Suppose -2*s - 6 = 0, m*s - i*s = j - 19. Solve -j*a + 10 = a for a.
2
Suppose -2*f - 6 = 0, -2*y - f = -6*f - 25. Suppose 5*j = -3*i + 1 + 2, 0 = 2*j - i - 10. Suppose 3*m + 0 = j. Solve 0 = -2*u + y - m for u.
2
Let f = 3 + -5. Let x = f - -5. Solve 8*j - x*j + 15 = 0 for j.
-3
Suppose 0 = -3*o + 1 + 14, 3*b + 4 = 5*o. Solve -5*q = 13 + b for q.
-4
Let n(p) = p**2 + 3*p + 6. Let q be n(-4). Suppose -3*h = 11 + q. Let z = -4 - h. Solve -z*m - m = 12 for m.
-3
Let u be ((-4)/(-3))/(8/36). Solve 0 = 2*o - u*o + 12 for o.
3
Let b(z) = 2*z + 14. Let y be b(-7). Suppose 0 = -2*v + 3*v - 5*g - 24, v + 3*g = -8. Suppose a + 2*k = 3*k + 4, -v*k + 12 = 3*a. Solve y = 2*o - 10 + a for o.
3
Let v(r) = 16*r - 1. Let s be v(1). Let j = -9 + s. Let a = 26 - 17. Solve j = -5*w - a for w.
-3
Suppose 255 = 5*l - 5*b, 3*b = -5*l - 97 + 376. Let o be 12/l - (-2)/(-9). Solve -2*d + 5*d = o for d.
0
Let a(c) = c**2 + 7*c + 3. Let g be a(-7). Suppose -3 = g*q - 6*q. Solve -2*y + y + q = 0 for y.
1
Let q(m) = 2*m + 5 - 5 - m**2 + 3*m. Let t be q(5). Solve -1 = -t*z + z for z.
-1
Let h(p) = p**2 - 1. Let a be h(-2). Solve 0 = o + a*o - 8 for o.
2
Suppose 0*x = x + 3*n + 31, 0 = -5*x - 3*n - 119. Let g be (-3)/18 + x/12. Let z be 0/(-2 + 3) - g. Solve z*m = -m - 3 for m.
-1
Suppose 0 = -x - 1, -z = -0*x + 5*x - 3. Suppose 2*s - z = -0*s. Let m = s + -2. Solve 3*i + 10 = -m*i for i.
-2
Let i = -6 + 6. Suppose i = -2*h + 4*z - 2, 5*h - 5*z - 16 = -2*z. Suppose -5*k - h = c, 4*c + 5*k + 5 = c. Solve -3*a + 12 = -c*a for a.
4
Let c(w) = -7. Let u(i) = i - 1. Let r(y) = -c(y) - u(y). Let g be r(6). Solve t - g = -0*t for t.
2
Suppose 0 = -4*t + 50 - 2. Let l(o) = o**2 - 8*o + 9. Let b be l(7). Solve 2*n + b*n = -t for n.
-3
Let o(d) = d**3 - 7*d**2 + 6*d - 4. Let w be o(6). Let n = 11 + w. Suppose 3*m - 4*p = m, 5*m - 3*p = n. Solve -b = -m*b for b.
0
Let l(w) = -2*w - 2. Let n be l(-1). Solve -2*v + n + 2 = 0 for v.
1
Let d(m) = 11*m + 4 - 5 - 12*m. Let n be d(-10). Solve -3*u = -0 - n for u.
3
Let h = 9 + 51. Let c(m) = 24*m**2 - m + 3. Let s be c(-2). Suppose 19 = -2*p - l + h, -5*p = l - s. Solve 0*y + p = 5*y for y.
4
Let w(r) = -3*r + 24. Let c be w(7). Solve 3 = c*i - 6 for i.
3
Suppose 10*a - 11*a = 0. Solve -3*t + 6 = -a for t.
2
Let x(o) = o**3 + 3*o**2 + 2*o + 3. Let q be x(-2). Solve 0 = p + 5 - q for p.
-2
Suppose -4*t = 3*p + 2*p - 10, 11 = 3*t + 2*p. Solve 4*j + t = 3*j for j.
-5
Suppose -3*s - s + 12 = 0. Solve -3*h = 12 - s for h.
-3
Let q be 3/5 - (-17)/5. Suppose -5 = -z + q. Solve z = -4*t + 29 for t.
5
Let w = -21 + 12. Let h = w + 13. Let k be -1*0/(2 - 1). Solve h*s + k = 16 for s.
4
Suppose -2*b = 3*b. Suppose b = -0*l - 2*l. Solve -k - k = l for k.
0
Suppose 0*c + 1 = c. Suppose q - c = 1. Suppose 2*f = -3*f + 15. Solve -q*o = -o + f for o.
-3
Suppose -2*b + 18 = -0*b. Let l be 2*6/b*3. Let f(p) = p**3 - 7*p**2 - 6*p - 6. Let g be f(8). Solve -l*i = i - g for i.
2
Let f(p) = -3*p**2 - 25*p - 1. Let n be f(-8). Solve -n*b + 2*b = -20 for b.
4
Let w = 20 + -16. Let g(l) = -l - 1. Let x be g(-5). Suppose 0 = x*z - w - 12. Solve -z*n = -2*n - 8 for n.
4
Suppose 22*w + 108 = 28*w. Solve f + w - 15 = 0 for f.
-3
Suppose -12 = -5*i + 3, 5*o - i = 7. Let z be (102/(-9))/((-2)/3). Suppose -11 = j - 5*b, 0*b = -2*j - 3*b + z. Solve 3*t + j = o*t for t.
-4
Let n = -37 - -61. Suppose -n = -u - u. Let b = 5 - 3. Solve 0 = i + b*i - u for i.
4
Suppose -2*k - k = -6. Suppose -i - k*y + 0*y = 1, y = 3*i - 11. Solve l - i*l = 2 for l.
-1
Suppose 7 = -4*a + 4*r + 3, 0 = -4*r + 20. Solve 10 = -a*b + 2 for b.
-2
Let t(l) = -l**3 - 3*l**2 + 3*l - 2. Let d be t(-4). Suppose -3*v - 9 = 3*u, -u - 1 = 2*v - 0. Solve -v*f + f - d = 0 for f.
-2
Suppose 3*r + 3 = 2*q - 18, 5*r + 31 = 2*q. Let w(j) = -j**3 + 5*j**2 + 7*j - 2. Let g be w(6). Solve -a + g = q*a for a.
1
Let g = 25 - 19. Solve -g = -5*y + 3*y for y.
3
Let u be (-35)/(-3) + 10/(-15) - -1. Solve -2*a - a = -u for a.
4
Suppose -6 = 5*z - 3*w - 14, 4*z - 32 = -4*w. Solve -z*q + 20 - 4 = 0 for q.
4
Let m be 2 - (-15 + 2 + -1). Let p = 20 - m. Solve -p*z = -3*z - 2 for z.
2
Suppose 2*f + 3 = g + 1, 0 = 3*g - 5*f - 5. Solve g*w + 2 = 2*w for w.
1
Let t(l) = -l + 2*l**2 + 0*l**2 - 5 + 2. Suppose -8*x + 3*x + 20 = 0. Let h be t(x). Solve 0*c = 5*c + h for c.
-5
Let q = -112 - -116. Solve -q*f - 12 = -0*f for f.
-3
Suppose 4*k = -3*u + 17, 2*k - 2*u - 4 = -3*k. Let v(j) = 0*j + j**k - 7 + 2 + 6*j + j**2. Let g be v(-5). Solve -g = 3*s - 0*s for s.
-5
Let l(p) = 10*p**2 + 7*p - 7. Let s be l(1). Solve 2*z + s = -3*z for z.
-2
Let f(g) = -g**2 + 9*g - 10. Let s be f(7). Solve 3*m - m = -s for m.
-2
Let o be (-7)/(-3) + (-8)/(-12). Solve -2*w - o*w = -20 for w.
4
Let s = 6 - 29. Let o = 27 + s. Solve 9 = o*u - 11 for u.
5
Suppose 0 = 5*b + 3*d, 0 = 3*b - 0*d - 5*d + 34. Let n = -10 - b. Let g = n + 22. Solve -3*l = -g + 3 for l.
4
Let i(c) = c**2 - 5*c + 6. Let b be i(4). Let x be (-3)/(1/(-1))*1. Suppose 2*o - 2*t = 12, -x = 5*o - t - 29. Solve -b*d + o = -d for d.
5
Let q be 1/4 - 1/4. Suppose -2*m + 3*b + 6 - 3 = 0, m - 2*b - 3 = q. Let r = 6 + m. Solve 0 = -l - r - 0 for l.
-3
Let b(j) = j**3 - 7*j**2 - 7*j - 8. Let h be b(8). Suppose -4*f + y + 0*y - 6 = h, -f = -3*y - 4. Let t = 4 + f. Solve 0 = -t*r - 0*r for r.
0
Let p = 51 + -43. Solve 4*m = -0*m - p for m.
-2
Suppose m + 4*m = -10. Let r = 7 + m. Solve s - 8 = r*s for s.
-2
Let o(t) = t**3 + 17*t**2 + 29*t - 8. Let p be o(-15). Solve -2*n - 10 = -p*n for n.
2
Let m be -1 + 20 - (-2 + 4). Suppose -r + 4*c + m = 0, c + 4 = -r + 1. Let p be (-3)/(0 - r) - 1. Solve 0 = y - p for y.
2
Let t(n) = 2*n**3 - n**2. Let g = 1 - 0. Let r be t(g). Suppose -6 = -4*d + 14. Solve -r = -d*s - 6 for s.
-1
Let n be 0/3*2/(-4). Solve -d + 3 - 8 = n for d.
-5
Let x = 175 - 175. Solve 0 = -x*n - n - 4 for n.
-4
Suppose 2*x - 7*x = -10. Suppose a - 3*v + 9 + 11 = 0, -5*a - 4*v - 5 = 0. Let p be a + x - -7*1. Solve -p*j - j = -15 for j.
3
Let h = 1 + 78. Suppose 2*q + 3*d - 35 = 0, 3*d + h = 5*q + 2*d. Suppose n + c + 3*c = -q, 5*n - 2*c - 8 = 0. Solve 12 = -n*l + 3*l for l.
4
Suppose 0 = -2*v - 4, 4*n + 3*v = -n - 6. Suppose 4*i + 1 - 21 = n. Suppose 4*x = 4*z + 4, -5*x + i = -4*z - 0*z. Solve 3*t = 2*t + x for t.
1
Let y(t) be the third derivative of t**5/60 + 11*t**4/24 + 13*t**3/6 - 2*t**2. Let d be y(-10). Solve 0 = -d*c + 2 + 4 for c.
2
Let p be (-2 + 3)*2*3. Let s be (4/8)/(4/8). Solve -x - p = -s for x.
-5
Let k be -6*3*(-1)/3. Solve l - 3*l + k = 0 for l.
3
Let l(k) = k**2 + 8*k + 8. Let t be l(-6). Let i(h) = h**2 + 4*h. Let x be i(t). Solve 3*n - 6 - 9 = x for n.
5
Let v(d) = 43*d. Let b be v(1). Let c be 14/63 - b/(-9). Suppose c*z - 3 = 12. Solve -6*x - 6 = -z*x for x.
-2
Let g be ((3 + -3)/4)/(-1). Solve g = 5*d + 22 - 7 for d.
-3
Let h be 8/(-12) + 4/(-30)*-5. Solve -2*c - 6 + 2 = h for c.
-2
Let l(s) = s**2 + s - 1. Let r be (-8)/28 + 9/7. Let c be (1 + -6 - -2)*r. Let v be l(c). Solve -y = -6*y - v for y.
-1
Suppose 4*u = -5*l + 119, u + l = 2*l + 23. Let y be 1/(u/8 + -3). Solve -13 + 1 = -y*m for m.
3
Suppose 0 = -3*j + 2*w + 15, 0 = 5*w + 23 - 8. Solve 12 = j*d - 6*d for d.
-4
Let q be (-10 - -4) + 36/6. Solve q = -7*h + 6*h + 3 for h.
3
Let m(d) = 3*d**2 - 7*d + 9. Let q be m(2). Solve 0 = -o - 3 + q for o.
4
Let l = 55 + -43. Solve -3*u 