= -c*p - 12 for p.
-5
Let w(n) = 2*n**2 + 14*n + 3. Let k be w(-7). Solve -k*p = -2*p for p.
0
Let c = -99 - -104. Solve 3 - c = -2*a for a.
1
Let u(b) = 17*b**2 + 3*b + 8. Let t(k) = -6*k**2 - k - 3. Let i(d) = 8*t(d) + 3*u(d). Suppose 2*a - 6*a = 4. Let o be i(a). Solve -w + 1 = o for w.
-1
Suppose 3*c + 293 = -5*f, -4*c - 2 = -2*c. Let v be f/7 - 6/(-21). Let g(d) = d**2 + 8*d + 4. Let l be g(v). Solve -l - 1 = 5*m for m.
-1
Suppose -4*x + 23 = -1. Suppose x = -n + 4*n. Let w(m) = m - 1. Let z be w(4). Solve 0 = r + n*r - z for r.
1
Suppose 3*d - 12 = 0, 2*d - 12 = -0*f - 2*f. Suppose -6 = j - 5*b, 0 = -4*j + f*b + 3*b + 6. Solve -6 = -2*i + j*i for i.
-3
Suppose 2*m = -5*n + 46, -3*n - 4*m + 20 = m. Let y(l) = 0*l + 0 + 0*l + l - 6. Let g be y(6). Solve g = 5*b + n for b.
-2
Suppose -66 = -4*l + 2*t - 16, t - 59 = -5*l. Let b = l - 8. Solve v = 5*v + b for v.
-1
Suppose 5*p + 0*v + 2*v = 23, -2*v - 7 = -5*p. Let n be 3/2*(p + -1). Suppose 12 = h + h. Solve -n*b = -h*b - 9 for b.
-3
Let p be (-516)/(-108) + 4/18. Solve -2*h = -p*h - 6 for h.
-2
Suppose 2*t + 19 = 4*c - 3*t, -4*c - 2*t = 2. Let z(j) = 3*j**3 - 2*j**2 + 1. Let m be z(c). Suppose 0 = m*d - 6 - 2. Solve 0*u - 2*u = d for u.
-2
Let b(i) = 4*i - 7*i - 7*i + 3 + i**2 + 2*i. Let d be b(8). Solve c - d = 2*c for c.
-3
Suppose 6*q - 4*q = 0. Solve -8 = -4*c - q*c for c.
2
Suppose 0 = -4*w + 3*r + 3, -4 + 0 = -2*w + 4*r. Let c be 1 + -1 + (4 - -2). Let o = -2 + c. Solve w = -5*b + o*b + 1 for b.
1
Let z(o) = o**2 - 5*o - 3. Let x be z(6). Suppose -x*h + 9 + 0 = 0. Solve n = h*n for n.
0
Let m = 13 + -9. Solve 0 = w - m*w for w.
0
Let x = 9 - 3. Suppose 5*m - n + 1 = -5*n, 3*n = -m + 2. Let u be 7 + 12/(-4) + m. Solve -x*p + u*p = 0 for p.
0
Suppose 0 = -4*i - 5*g - 4, -13 - 11 = -2*i + 4*g. Solve i*h + 10 = -h for h.
-2
Let p be 21/14*(-20)/(-6). Let h(d) = -d**2 - 4*d + 2. Let z be h(-4). Let s be (0 - z) + 2*3. Solve -s*n + 7 + p = 0 for n.
3
Suppose -8 = -3*y + 7. Suppose -2 = -c + y. Solve -c*a = -2*a + 20 for a.
-4
Suppose -4*u = 2 - 18. Suppose 3*a + 12 = -0*m + 3*m, -u = 2*a. Suppose -m*z = -z. Solve -s + 1 + 0 = z for s.
1
Let k be 140/(-8)*4/(-10)*2. Solve k = 4*f - 6 for f.
5
Let d be (-3)/(-9)*(-105)/(-7). Solve 8 = d*p + 23 for p.
-3
Suppose -4*r - r + 81 = 2*l, 0 = 2*r - 2*l - 24. Suppose r = 4*k + k. Solve 8*q - k*q = 0 for q.
0
Let j(v) = v**2 - 10*v + 12. Let q be j(9). Suppose -2*k - 5 = 3*w, q*k - 9 = -w + 2*w. Solve 2*y = -k*y - 20 for y.
-5
Let x be ((-200)/35)/(2/(-7)). Solve -x + 5 = -3*d for d.
5
Suppose 0*s + 5*a - 62 = 4*s, 3*a = -2*s - 42. Let y = s - -31. Suppose 0 = -t - 4*l, 3*t - y = -t - 3*l. Solve t*v - 4 + 12 = 0 for v.
-2
Suppose -19 = -3*z + l + l, 4*z + 5*l + 13 = 0. Suppose 4*t - 4*s = 0, t = -s + z*s. Let c be (6/(-5))/(6/(-100)). Solve 0 = 5*u - t + c for u.
-4
Suppose -3*k + 2*a = 23, -3*a + 0*a - 6 = 0. Let s = k - -15. Let g = 8 - s. Solve 0*m - m = g for m.
-2
Let y = 10 + -2. Solve 1 + y = -3*g for g.
-3
Let b(z) = z + 6. Let h be b(-4). Let t(f) = -2*f**2 - 24*f - 24. Let v be t(-11). Let s = h - v. Solve -p - s = p for p.
-2
Suppose 5*w + 0*w - 25 = -4*b, 5*w = 5*b - 20. Solve 6 = s + w for s.
5
Let a = 7 + -3. Let c(u) = 2*u + 1 - 4*u - 8. Let w be c(-5). Solve -w + 11 = -a*n for n.
-2
Let b(k) = -k**3 + 4*k**2 + 2*k - 6. Let t be b(4). Solve 1 + 3 = t*s for s.
2
Let f(i) = -6 - 1 - 3*i + 2 + 4*i. Let g be f(7). Solve 6 = -g*m - 4 for m.
-5
Let b(j) = 4*j + 14. Let m be b(4). Solve -m = -5*a - 10 for a.
4
Suppose -4*p + 4 = -x, p + 2*x - 2 = -p. Solve 0 = -2*t + 5 - p for t.
2
Suppose -46 = -n - 34. Solve 0*u = -4*u - n for u.
-3
Let f be (14*2/8)/(5/10). Solve 2*p + f + 3 = 0 for p.
-5
Let n(m) = m**2 + 2*m - 3. Let t be n(-3). Suppose 4 = -3*g + 5*k, t*g + 2*g - 14 = -5*k. Let f be 0/(-1 + g - -1). Solve f*z = -z for z.
0
Suppose -14*k + 23*k = 180. Solve d + 3*d = -k for d.
-5
Let b(s) be the first derivative of 1/3*s**3 + 3 + s**2 + 2*s. Let i be b(-2). Solve 0 = i*n + n - 6 for n.
2
Suppose -5*n - 12 + 22 = 0. Solve n*k = k - 2 for k.
-2
Let c(b) = b + 8. Let z be c(-6). Suppose -32 = -2*u - z*u. Solve 5*l - u - 2 = 0 for l.
2
Let b = 85 - 46. Let h be 6/b + 2/(-13). Solve -2*r + 0*r + 6 = h for r.
3
Let n(v) = -5*v**2 + v. Let u(y) = 2*y**2 + y + 0*y - y**2. Let h(d) = n(d) + 6*u(d). Let r be h(-7). Solve r*g + 5 = g for g.
5
Let g be (-10)/30*(0 + 0). Solve -3*h - 4 + 16 = g for h.
4
Let a(y) = -3*y + 0*y**3 - y**2 + 2*y**2 - 2 + y**3. Let b be a(-2). Suppose o - 2 = -b*o. Solve g - 3 = -o for g.
1
Suppose -1 = 4*z - 5*z. Suppose 5*c = x - 27, c + 2 + 2 = 0. Solve z = 2*u - x for u.
4
Suppose -2*o = 3*u - 3 - 1, 3*o - 6 = -3*u. Solve z = -o + 5 for z.
3
Suppose 0 = -2*n, -5*x - 3*n + 16 = -x. Suppose x*f = 2*f - 4. Let u = f + 11. Solve 4*l - l = u for l.
3
Let s(u) = -2*u - 4. Let b be s(-7). Let i be 29/5 - (-2)/b. Solve -i - 6 = 3*l for l.
-4
Suppose -k = -0 + 3. Let j = 9 + k. Let r be ((-2)/j)/((-3)/18). Solve -3 = -m - r for m.
1
Let j be 0 + 0 - 20*1/(-2). Solve -u - u + j = 0 for u.
5
Suppose 7*o - 15 = -1. Solve c = -3 - o for c.
-5
Suppose -b + 71 = 4*x, 3*x - 54 = 5*b + 5. Solve 0 = -5*y + x + 2 for y.
4
Suppose 13 = -2*k + 37. Suppose 0 = -h + 2*x + 21, h - 3*x - 2*x = k. Suppose 3*v - 36 = -0*w + 3*w, -4*v = 3*w - h. Solve 7 = 4*g - v for g.
4
Let v = 11 - 3. Suppose -2*l - 6 = 0, k + 0*l = 4*l + 16. Suppose 2*t = k - 0. Solve t*a + v = 4*a for a.
4
Suppose -1 + 8 = g. Let r = -129 + 149. Solve g*h = 3*h + r for h.
5
Suppose 0 = 3*x - s - 1, 2*x - 3 - 2 = 5*s. Suppose 0 = -4*w + 8 - x. Solve 2*p + w*p + 16 = 0 for p.
-4
Let s be (45/(-3) - -2) + -2. Let p be ((-8)/5)/(6/s). Solve -q - p = -0 for q.
-4
Let u = 1 - -2. Solve 0 = -w - u*w for w.
0
Suppose 3*b - 5 = 5*a, -3*b = 4*a - 30 + 7. Suppose -1 = -4*n + 19. Suppose -2*p + n*p - 17 = -b*s, -s = -p - 5. Solve 3*i = s*i - 1 for i.
1
Let q(n) = -n**3 - n**2 + 5*n + 2. Let k be q(-3). Solve 0*i + i = -k for i.
-5
Let x(r) = r**2 - 10*r + 13. Let k be x(9). Solve -v + 5*v - k = 0 for v.
1
Let c(l) = -l**2 + 24*l + 25. Let i be c(25). Solve i = 3*u - 4*u - 1 for u.
-1
Let v be 18 + 4 - 9/3. Let w = -16 + v. Solve -w = -t - 1 for t.
2
Suppose -7*s + 9 = -6*s. Solve 0*g = 3*g + s for g.
-3
Let i(b) = -b**2 - 2*b + 1. Let y be i(1). Let v be ((-2)/3)/(y/9). Solve 2 = v*x - 13 for x.
5
Let m = -17 - -3. Let n = 16 + m. Solve 0 = -x + 4 - n for x.
2
Let x be ((-60)/9)/((-1)/3). Suppose -2*t + 0*l + 7 = l, 4*t - 4*l = x. Let d = t - 1. Solve 0 = -d*c - 2*c + 15 for c.
3
Suppose 5*w + 3 = 13. Let u be w/3*81/18. Solve -2*h - u*h + 5 = 0 for h.
1
Suppose 5*w + 10 = -i, 4*w + 2 + 6 = -3*i. Suppose i*a - 5*a + 25 = 0. Solve a*k + 5 = -0*k for k.
-1
Let n = -3 - -6. Suppose -10 = -n*r + 5*o, 3*r - 27 = -o + 7. Let b = 27 - 24. Solve -r + 1 = b*s for s.
-3
Let f = -21 + 25. Solve -f + 0 = -2*p for p.
2
Let j(k) = -10*k - 26. Let z be j(-3). Solve -x - z = -3 for x.
-1
Suppose -3*n - 2*s = -14, -4*n + 0*s + 37 = -s. Suppose n*r - 100 = 3*r. Solve -5*q = -0*q + r for q.
-4
Let o = -2 - -5. Suppose 3*b - 18 = -y, b - 11 = -o*y + 11. Solve -y = 2*a + a for a.
-2
Suppose 0 = -0*f + 4*f. Solve f = 2*n - 2 for n.
1
Let a be (1 + (0 - 1))/2. Suppose -3*z + 7 + 2 = a. Let g = 6 - 0. Solve -3*o - g - z = 0 for o.
-3
Let j(d) = d**3 - 13*d**2 + 2. Let k be j(13). Solve -5*p + 12 = k for p.
2
Let n(i) = 6 + i + 4*i - 6*i. Let z(t) = -t**2 - 8*t + 6. Let a be z(-8). Let f be n(a). Solve 0 = x - f*x for x.
0
Let v be 9/(-6) + 27/(-2). Let a be (-5)/(v/6) - 1. Suppose a = -2*j - 3, -4*j + 2 = 5*u. Solve -u = -3*z + 2*z for z.
2
Let p(o) = o + 5. Let x be p(5). Let j be (-10)/(-3) + (-4)/12. Suppose 5*m + l + 5 = -0*m, 3*m = -j*l - 15. Solve m = 4*v + x + 10 for v.
-5
Suppose 5*r + 3*i - 14 = 18, -3*r = 2*i - 20. Let x = 8 - r. Solve c + c = x for c.
2
Let y = 97 + -93. Solve -y = -z - 5 for z.
-1
Suppose 0*x - x - 10 = 0. Let h be x/(-4) + 8/16. Solve -2 - 1 = -h*j for j.
1
Let w be 7/(-4)*(5 - 1). Let o = -6 - w. Suppose 0 = v - o - 2. Solve -z = 2*z - v for z.
1
Let l = -3 - -3. Let w be (-2)/(-4)*(14 + -4). Solve l*u - 15 = -w*u for u.
3
Let q = 15 + -9. Suppose l = 2*w - 3, q*w - 2*w = 4*l + 4. Solve 2*i - 1 = l for i.
1
Let y = -6 + 8. Let g(m) = 2*m**2 + 5*m**2 - m**3 - m - 2*m**y + 5. L