for p.
5
Suppose w - 4 = -0. Let s(c) = -3*c**3 - 14*c**2 - 28*c - 142. Let j be s(-5). Solve w*u = -u - 5*i - 35, -j = u + 5*i for u.
-3
Suppose 2*n = 0, -3*n - 8 - 15 = -v. Suppose v*o + 3 - 49 = 0. Solve -4*a - 3*l = -15, -3*l = -4*a + o*l - 25 for a.
0
Let i(l) = l**2 - 3*l - 10. Let c be i(4). Let o(f) = 9*f + 23. Let x be o(c). Let a = -20 - x. Solve 0 = s - 2*r - 9, -r + a + 1 = 5*s for s.
3
Suppose 3*g = -2*g - 70. Let i be (30/2)/(g - (1 - 18)). Solve -3*p = 6, i*n + 2*p + 11 = -3 for n.
-2
Suppose -476*u + 479*u - 42 = -3*p, u + 5*p - 62 = 0. Let n be 6*1 - (0 - -2). Solve 0 = -a - 5*x + 13, 2*a = -u*x + n*x + 2 for a.
3
Let p(s) = 2*s**2 + 5*s + 1. Let g = 279 + -282. Let z be p(g). Solve -14 = 2*k + 4*y, 0 = 5*k - 4*y - z + 11 for k.
-3
Let c(z) = -13*z + 136. Let q be c(10). Let y be 1 - (-4 - (-3 - -5 - q)). Solve -2*o = -3*m - 17, 2*m + 21 = 4*o - y for m.
-3
Let i be 102/90 + -1 - (-2506)/105. Solve 4*h + 5*v = 24, 2*h - 4*v - i = -2*h for h.
6
Let v = -2227 - -2229. Solve 0 = -v*r + 4*j + 24, 14*r - 22 = 13*r + 4*j for r.
2
Suppose 4*r - r - 49 = -h, -2*h + 92 = 3*r. Let i = -42 + h. Let k = 68 + -64. Solve k*o - 5*c = -5, -o - 2*c + c = -i for o.
0
Suppose 14*m + 1864 = 6*m. Let s = m - -328. Let l = -90 + s. Solve 5 = o, t - 15 = 3*t - l*o for t.
5
Suppose 2638 = 26*z + 2586. Solve 4*q = -4*h - 34 + 38, 0 = q - z*h + 14 for q.
-4
Let i = -13 + 16. Suppose -4 = -5*k + i*k. Suppose 0 = 4*h + 8, -3*n = k*n + 2*h - 16. Solve -2*c = n*d, 3*d - 7 = 3*c - c for d.
1
Let u(f) = -f**3 + 12*f**2 - 38*f + 17. Let v be u(5). Solve 7*y - 3*y - 16 = -v*b, -2*y + 20 = -5*b for y.
5
Let f = 184 - -36. Let m be (-2)/3 + f/(-6)*-1. Suppose 2*r + m = 36. Solve y - 12 = -y + 5*l, r = -5*y + 2*l - 12 for y.
-4
Let n(w) = 3*w**3 - 5*w**2 - 11*w + 47. Let z be n(-6). Let f = z + 717. Solve 3*c - f*s = 1, -3*c - 2*s = -0*s - 5 for c.
1
Let o(r) = 7*r - 26. Let p be o(12). Let g = p - 45. Let u = g + -11. Solve 2*n - 3*f + 11 = u*f, 2*n - 3*f + 5 = 0 for n.
2
Suppose 0 = 317*g - 354*g. Solve 3*s + 5*d + 46 = 0, -5*s + 9*s + 5*d + 48 = g for s.
-2
Let i be (-2 + 1)*(-5)/15*111. Suppose -v + i = 34. Solve 4*z = -3*m - 4, -v*z = -6*m + 3*m + 3 for z.
-1
Let a = 10790 + -10771. Solve 0 = -3*p, -a*b + 20*b + 3 = 5*p for b.
-3
Let h(j) = j**2 + 4*j - 7. Let b be h(-6). Let a be ((-11)/319*-58)/(2/5). Solve 1 - 5 = q - b*l, -3*q + 8 = a*l for q.
1
Suppose 62*b - 58*b - l = 18, 2*l = -4. Solve 4*o = -3*m - 20, -1 = o + b for m.
0
Let r(f) = f**2 - 409*f - 2486. Let x be r(-6). Solve -2*y + 8 = -x*u, -5*u - 10*y + 7*y = -12 for u.
0
Let i = 20896 + -20893. Solve -5*p + 13 = 4*t - i*t, 4*p + 4 = 4*t for t.
3
Let p = -2075 - -2079. Solve 4*s = p*m + 5*s - 7, -2*m = -2*s - 16 for m.
3
Suppose 48*c + 27*c = -22*c + 776. Solve 4*w - 3*s - 5 = -4*s, 0 = -3*w - 5*s + c for w.
1
Let l(m) = -m**2 + 11*m + 44. Suppose 2*n = -5*t - 11, -2*n - 7 = 4*t - 3*t. Let w be l(n). Solve i - s - 5 = 0, -5*i - w*s = -10*i + 13 for i.
1
Suppose -5*z - 8 + 18 = 0. Suppose -5*x + 9 = -3*y + 4, 0 = -z*x + 3*y - 7. Suppose r - 6 + x = 0. Solve -5*g + 3 = -r, -4*q - g + 17 = 0 for q.
4
Let a = 54 + -54. Suppose -8*x + 2*x - 72 = a. Let f be 1/(((-16)/x)/4). Solve 3*c = -2*u + 13 - f, 3 = c + u for c.
4
Let a = 976 + -983. Let w(b) = b**3 + 6*b**2 - 28*b - 144. Let m be w(a). Solve -m*n - 14 = j, 0*n - 3*j = n + 10 for n.
-4
Let m(y) = -3*y**2 - 80*y - 192. Let u be m(-24). Solve -3*z = -5*c + 2*z + 10, u = 2*z + 4 for c.
0
Let j(r) = -r**3 - 9*r**2 + r + 21. Let w = 291 - 300. Let x be j(w). Solve 0 = -5*f + 5, 2*f = -2*l - 3*l + x for l.
2
Let i = -55 + 68. Let l(a) = a**3 - 13*a**2 - a + 18. Let u be l(i). Solve 0*o - o = 3*s - 8, -u*o = s + 16 for s.
4
Suppose 12 = x - 8*u + 5*u, 4*x + 2*u = 20. Solve 3*i - 3*n = x, 4*i + 7 = -21*n + 20*n for i.
-1
Let g(r) = -41 - 4*r + 60 + 69. Let o be g(21). Solve -3*j = 5*b - o*b, 5*j = 4*b + 17 for b.
-3
Let x = 224 - 219. Suppose -3*n - 16 = -5*o, -4*o = -5*n - 2*o + x. Solve -n*b + 7*b + 4*d + 8 = 0, 0 = 4*b - d + 3 for b.
-1
Let d(h) = h**2 + 26*h + 44. Let v be d(-25). Let l be 1*-6 + 190/v. Solve a = -l*r, 2*a - 10 = 2*r - 0*r for a.
4
Let b be 1/2 - 36/8*-3. Suppose 21*d - 28 = b*d. Solve 0 = d*q - 2*q - 4*r, 3*q + 4*r = -20 for q.
-4
Let f be ((-28)/8)/7*-6. Suppose f*p = -p + 60. Let x(n) = 30*n + 4. Let l be x(0). Solve 3*j - l*j - p = 5*v, -v = 2*j - 6 for j.
5
Suppose -3*j + 6 = -14*c + 17*c, -2*c + 6 = 3*j. Solve 0 = -j*g + 2*u + 12, -2*g - u = -2*u - 8 for g.
2
Let r be (0 + 4/(-1))*3/(-4). Suppose -4*x - w = -15 - 29, -r*x - 5*w + 33 = 0. Solve 3*i + i - m = -10, m + x = -3*i for i.
-3
Let p be 2 - (2 + -3 + -6). Suppose -21*r - 9 + p = 0. Solve -2*l + 2 = -3*g, 3*g = -r*g + 6 for l.
4
Let b = -1 - -1. Let r be 2 - b/2 - -1. Let m be ((-35)/15)/(50/((-15600)/182)). Solve -r*p = 5*w + 8, -3*p + m*p = -5*w - 16 for w.
-4
Let v(w) = w + 7. Suppose -52*t - 18 = -53*t. Let m be v(t). Suppose 0 = 4*q + q + 2*l - m, -2*l + 4 = -2*q. Solve -9 = r + 3*u, -r - 3 = 2*r + q*u for r.
3
Let n(q) = 17*q**2 + 26 - 30*q - 17*q - 19*q**2 + 0*q**2. Let z be n(-24). Solve z*o - 5 = h - 0*h, 3*o - 5 = -h for h.
-1
Suppose 2*b + j = 5, -4*b + 26 = 4*j + 18. Solve 0 = 4*c + b*a - 8 + 4, -36 = -4*c + 5*a for c.
4
Let c(f) = 10*f - 1187. Let z be c(119). Solve 2*v + 9 = -5*j - 1, 2*v - 6 = z*j for v.
0
Suppose 0 = 96*h - 97*h - 4*z + 32, -4*h - 3*z + 24 = 0. Solve h = 5*d + 5*f + 40, -7*d - 3*f + 16 = -12*d for d.
-5
Let f be (48/(-40))/((-1)/(-50)*-6). Solve -8*h + 11*h - f = -4*d, -h - 3*d + 5 = 0 for h.
2
Suppose 21 = -z + 5*j, 2*z + 4 = -j + 17. Suppose 0 = 4*i + 3*l - 15, -7*i + 4*i + z*l = -5. Solve m = i*a - 14, -2*a + 3*a = -4*m - 4 for a.
4
Let p(d) = -d**2 + d + 22. Let g be (-6)/15 - ((-324)/10)/6. Let o be p(g). Solve -4*r + 3 = -r + 5*v, 0 = o*r + 2*v - 2 for r.
1
Let h = -25 + 78. Suppose -h = s - 68. Solve 0 = 4*t, 0 = 5*l - 0*t + t + s for l.
-3
Let r(f) = f**3 - 7*f**2 + 2*f + 11. Suppose 0 = 3*p - 125 + 104. Let i be r(p). Solve 0 = 5*z + k + i, -4*k - 11 = 4*z + 9 for z.
-5
Let p(y) = y + 78. Let a be p(-19). Let c = a - 55. Solve -6 = c*i - j, 4*i - 2*j + 7 = -1 for i.
-1
Let b be (-6)/(-8)*((-10)/2 + 53). Let y be -1*1/(1/b)*1. Let k be y/63*(-7)/2. Solve f = -2*l + l, k*l = -f for l.
0
Let f = -470 + 476. Let g be -2 + 11 + -1 - (f - 1). Solve g*i = 4*a - 5, 3*i + 2*a - 20 = a for i.
5
Suppose 8*p - 30 = 5*p. Let z = 470 + -468. Solve q - 5*b - p = z*q, q - 2*b = 11 for q.
5
Let m(j) = j**3 - 59*j**2 + 172*j - 222. Let t be m(56). Let d = -2 - -11. Let s = -7 + d. Solve t*o + 9 = -4*f + 29, -2*f + 2*o = s for f.
3
Let u(z) = -z**2 + 17*z + 18. Let t be u(18). Let v(j) = 0 + t - 8 - 25*j + j**3 - 10*j**2 + 2*j. Let a be v(12). Solve 4*m + 2 = 5*n, 2*n = -n + m + a for n.
2
Let g = -25 + 45. Suppose -j + 28 - 3 = 5*h, -j = -4*h + g. Suppose 4*b + 6 - 18 = j. Solve -b*r + 0*r + 2*y - 9 = 0, -5*r - 2*y - 31 = 0 for r.
-5
Suppose 0 = o + 2249 - 2252. Suppose -g = -o*v + 11, 5*g - 4*g + 15 = 4*v. Solve 3*a + 7 = 4*t - 2, -4*t + 12 = -v*a for t.
0
Let l(c) = c**2 + 2*c - 30. Let n be 11 - (-4)/12*0. Suppose n = -q + 4. Let j be l(q). Solve 0*a + 4*a - j*g = -10, -2 = 4*a - g for a.
0
Let f be (-2 + 3 - -4)*(7/(-1))/(-7). Solve 5*s - 59*y + 63*y = 0, -5*y = -f*s for s.
0
Let v = -6 + 20. Let d(u) = 0*u + 2*u - 8*u + v + 7*u. Let q be d(-14). Solve -4*j = -20, q*n - 5 = n - 2*j for n.
5
Let c(x) = 2*x**2 - 67*x + 34. Let t be c(33). Suppose 2 = r, 0 = o - 2*r - t - 1. Let a be 2 + -1 + 6/3. Solve 0 = 2*w - 6, -o*l + 7 = -2*l - a*w for l.
4
Suppose 2 = 2*t + l, 5*l + 14 = -11*t + 13*t. Solve 4*s - 15 - 17 = 4*h, t*h + 4 = -2*s for h.
-5
Suppose -3*v = v - 3*v. Suppose 4*i + 3*i = 378. Let l = i - 39. Solve -5*q = -5*a - v*a - 25, -2*a + 3*q - l = 0 for a.
0
Suppose -8*b - 18*b + 10*b = 0. Solve -5*w + 10 = b, 2*w - w + 10 = -3*o for o.
-4
Let n(s) = -s**2 - 63*s - 973. Let w be n(-34). Let k be (7/35)/(1/5). Let h be k/(1 - (-2)/(-4)). Solve -3*q - p + w = 0, -2*q = -h*p - 12 - 2 for q.
5
Let m(t) = t - 16. Let l be m(20). Solve 0 = 12*u - 8*u + 5*b + 3, l*b = -2*u for u.
-2
Let x be 60/18*(54/5)/9. Solve x*g - w - 5 = 10, -w = -g for g.
5
Let b = 2232 - 2228. Solve o - z - 11 = -b*z, 0 = -4*o - 2*z + 14 for o.
2
Let j = 5113 + -5113. So