or p.
0
Let u be ((-2)/1 - -4)/2. Suppose -31*j = -27*j - 16. Solve -v + j = u for v.
3
Suppose -5*m + 15 = 0, 2*c - 2*m + 2 = -0. Solve c*u = 1 - 9 for u.
-4
Suppose -3*z = -5*j - 40, -4*j + 3*j = 5. Suppose -k + 2 = d, 5*k + 2*d - 11 = -4. Solve z*o - 6 = -k for o.
1
Suppose 45 = 4*f - 5*o + 2*o, -3*f + 40 = 4*o. Solve -z - 3*z + f = 0 for z.
3
Suppose 5*b - b = 104. Let h = 38 - b. Suppose 54 = 3*z + 3*u, -3*u - 18 = 5*z - 98. Solve 5*y - h = z for y.
5
Suppose 5*o - o = 8. Let g be 1*3 + (14 - 2). Let m = g + -7. Solve 6*y + m = o*y for y.
-2
Suppose -p - 3*f = -0*p - 16, 3*p - 5*f = -8. Let d = 6 - p. Suppose 3*i + 4*g = -d*i, -5*i - 3*g + 5 = 0. Solve q = -i*q for q.
0
Suppose -n = -6*n. Suppose 2*b = 4*b - 2*z - 2, -3*b - 2*z + 8 = 0. Suppose n = -b*y - 0*y + 12. Solve -4*m = -y*m - 8 for m.
-4
Suppose -t - 2*g + 6 = 0, -g + 5 = 2*t - 7. Suppose v - r + 2 = 0, 0*v - 2*v + 4*r = 8. Let b(w) = w - 8. Let n be b(10). Solve n*x - t*x = v for x.
0
Let f(j) = 2*j - 3 - 6*j - j**2 + j - 2*j. Let s be f(-3). Solve 11 = s*g + 5 for g.
2
Suppose -4*w + 0*w + 20 = 0, 0 = -2*h + 4*w - 14. Suppose 4*v + 16 = 4*n, -3*n + 0*n - 3*v = 0. Suppose 3*s - n*s = 2. Solve -3*i + s*i - h = 0 for i.
-3
Let n be (-2)/(-10) + (-1)/5. Suppose n = -4*g + 6*g + 4. Let w be g/(-5) - 28/(-5). Solve w = f + 1 for f.
5
Let i = -9 + 17. Suppose 4*n + s - 1 + i = 0, -3*n + 2*s = 8. Let l be (-6)/n*60/9. Solve -l + 4 = 4*c for c.
-4
Let l(s) = 7*s - 1. Let q(z) = z + 1. Let r(f) = -l(f) + 6*q(f). Let p be r(0). Let h = -5 + p. Solve b - h*b + 3 = 0 for b.
3
Let c(t) = 5*t + 0*t**2 + t**2 + 2 - 2*t**2. Let a be c(5). Suppose m - 65 = -3*y, 5*y + a*m - 85 = 5*m. Solve 0*n + 4*n = -y for n.
-5
Suppose -4*h + 24 = 2*t, 4*t - 3*t - 5*h = -16. Solve 5*o = 6*o + t for o.
-4
Let j = -3 + 9. Let w be -5 - -1 - (7 - 17). Solve 4*l + j = -w for l.
-3
Let h be -1*(-3)/(-6) + 42/12. Solve -h*l = -6 - 3 for l.
3
Let q = 1 - -1. Suppose -q*n - 1 = -7. Solve 0 = -n*k - 13 - 2 for k.
-5
Suppose -3*w + 6 = l - 11, 5*l - 3*w - 31 = 0. Solve -8 = 4*r + l for r.
-4
Let w be (-54)/(-10) - 4/10. Suppose -t = -5*t. Suppose t = m + m - 4. Solve -w = m*j + 5 for j.
-5
Let k(b) = b**2 - 2. Let i be k(-2). Solve c + 2 = -i for c.
-4
Let d(n) = -n**2 + 12*n + 19. Let h be d(13). Solve -6*t + h = -3*t for t.
2
Let i(c) = 3*c + 12. Let f(x) = -x**3 + 2*x**2 - 3*x + 2. Let l be f(2). Let v be i(l). Solve v = -g + 1 for g.
1
Let z = -3 - -8. Let v = -2 + z. Solve -v = t - 0 for t.
-3
Let s(q) = q**2 - 11*q + 5. Let p be 11*-2*(-2)/4. Let g be s(p). Solve -u = -g*u for u.
0
Let h(z) = 2*z - 2. Let d be h(4). Let k(x) = 4*x**2 + 2*x - 9. Let g be k(-2). Solve -d*q + 3*q = g for q.
-1
Let n be (48/(-63) - (-4)/(-7))*-9. Solve -3*t + n = t for t.
3
Let y(n) = n - 3. Let f be y(9). Solve -2*g = -f*g - 16 for g.
-4
Let t be (4/2 - 2)*1. Suppose -50 = -3*x - 2*b, -3*b - 75 = -3*x - t*x. Let v be (16/x)/(4/10). Solve -v = -2*h - 8 for h.
-3
Let j(t) = -t**2 + 5*t + 1. Let m = -7 - -12. Let f be j(m). Suppose -3*s + f = -11. Solve -s*p + 0*p - 4 = 0 for p.
-1
Suppose -30 = -3*z - 3*z. Solve 6*h = h + z for h.
1
Let g(s) be the second derivative of -s**4/12 + s**2 + 3*s. Let x be g(0). Solve 2*o = o - x for o.
-2
Let r = -10 + 11. Let v be 6/15 - (-13)/5. Suppose 0 = -v*b + 4 - r. Solve 2*q = 3*q + b for q.
-1
Let l = -139 + 139. Solve l*k = 3*k for k.
0
Let t = -2 + 1. Let r = -3 - t. Let q be (-5 - -2)*r/6. Solve q = z - 2*z for z.
-1
Suppose 3*j = 4*j - 2. Solve -5*f = -4*f - j for f.
2
Let c(j) = 2*j**3 - 6*j**2 + j + 3. Let r(d) = 3*d**3 - 7*d**2 + 2*d + 4. Let w(q) = -4*c(q) + 3*r(q). Let o be w(-2). Solve 0 = -o*a + a + 2 for a.
-2
Let r = -67 - -72. Let g(s) = 2*s**2 - s - 1. Let p be g(-1). Suppose y - 3*y - p*b - 4 = 0, -2*b = -y + 4. Solve -r*q + 8 + 12 = y for q.
4
Let b = -31 + 31. Solve -5*s - 6 - 4 = b for s.
-2
Suppose -37 = -5*y + 8. Suppose 0 = 2*s + i - y, 2*i - 2 - 2 = 3*s. Solve 0 = -s*a + 5 - 13 for a.
-4
Suppose 5*l = 25, -4*l + 11 = 5*u - 34. Let m = 25 + -13. Suppose -5*z + z = -m. Solve u*d = z*d for d.
0
Suppose -3*v - 2*v + 4*g - 8 = 0, -2*g = -5*v - 4. Suppose 5*k - 100 + 75 = 0. Solve v = -q + k for q.
5
Let n be 2/(-2)*1 + 1. Suppose n = -0*b + b. Let w = 0 + 2. Solve b = -5*j + w*j - 12 for j.
-4
Let h(j) = -6*j**3 - j**2 + j + 1. Let c be h(-1). Let y be 1/2*(c + -5). Solve 0 = 3*b - y*b - 15 for b.
5
Suppose 2 = 2*p - 8. Suppose -6 = -3*u - f, -u + f + 2 = p*f. Solve z - u = -z for z.
1
Let t = 0 - -2. Let m be (-8)/(-4) - (5 + -5). Solve t*u = -m*u for u.
0
Let n = 15 - 27. Let o be (2/(-3))/(n/18). Let w be o/(2/16*2). Solve -t = -w*t + 3 for t.
1
Suppose 2*v - q - 12 + 4 = 0, -4*v = -4*q - 8. Solve -6*m + 3*m - v = 0 for m.
-2
Suppose 15 = 3*i - 0*i. Let x(h) = 2*h**2 + 3*h - 7. Let w be x(-3). Solve 15 = w*z - i*z for z.
-5
Suppose 0 = -f - 1 + 4. Solve -f*u - 12 - 3 = 0 for u.
-5
Let n be (-10)/(-2)*2/10. Let h(q) = 23*q**2 + q. Let k be h(n). Suppose -3*w + k = w. Solve 5*b - w - 14 = 0 for b.
4
Let n(g) = -g**2. Let l be n(0). Suppose l = 3*x + m - 11, 0*m + 14 = 2*x + 2*m. Let h = 4 - x. Solve 3*c + 1 = -h for c.
-1
Let v(c) = c**3 - 2*c**2 - 3*c + 4. Let x be v(4). Let y = -9 + x. Solve -4*b - y = -9*b for b.
3
Let s = 7 + -2. Suppose -2*f - 5*r = -29, 4*r - 18 = f - 0*r. Suppose 4*j - 24 = 4*t, f*j + 0*t + 16 = -5*t. Solve 3*d + s - j = 0 for d.
-1
Let a(u) = -u + 6. Let x be a(6). Let b = x - 0. Solve -2*s - 1 + 3 = b for s.
1
Suppose -2*o + 22 = -4*p, 0*p - 4*p - 21 = -o. Let q be o/4 - (-81)/12. Solve -4*w + q*w = -6 for w.
-2
Let p(k) = -24*k**3 - k**2 + 1. Let l be p(1). Let n(r) = -r**2 + 5*r + 2. Let q be n(6). Let f = q - l. Solve 0*c = 4*c + f for c.
-5
Let m = -30 - -17. Let k = 21 + -39. Let z = m - k. Solve 5 = -2*i - z for i.
-5
Let y be 1/2 - 10/(-4). Suppose -n = -4*x + 60, 0 = n + 4*n - 4*x + 236. Let t be (4/(-4))/(2/n). Solve -t = -y*p - 7 for p.
5
Let y be 1/(2/16 + 0). Suppose -4*t + y = -12. Solve t*l + 18 = 43 for l.
5
Suppose -v - 35 = -5*c, -3*c = c - 2*v - 22. Solve -c = 4*q + 4 for q.
-3
Let q be ((-8)/(-28))/(2/14). Solve 2*k - 6 - q = 0 for k.
4
Let b be (81/12)/((-6)/16). Let x = -12 - b. Let l = 3 + 1. Solve 0 = -l*k - x - 10 for k.
-4
Suppose -5*w + 13 - 1 = -a, 3 = 4*a - 3*w. Suppose -h = z + a - 0, -3*z = -2*h + 9. Solve -2*o + h*o + 4 = 0 for o.
2
Suppose -21 = -4*m + m. Suppose 0 = 5*x - m - 8. Solve -2*f = -x*f + 2 for f.
2
Suppose -3*c + 5*n = 14, -3*c + 2*c - 18 = -5*n. Solve c = s + 1 for s.
1
Let q(s) = -s**3 + 4*s**2 + 2*s - 5. Let j be (0/2 + 1)*3. Suppose j*g = -2*r + 9 + 5, 0 = -r + 2*g. Let t be q(r). Solve 2*c - t = -c for c.
1
Suppose -2*j = -0*j - 4*j. Solve 0 = -j*r - 2*r - 10 for r.
-5
Let x be -1 + 1 - (-6)/2. Suppose 2*c - q = 0, -x*c = -q + 6*q. Solve 3*t - 12 = -c*t for t.
4
Let w(r) be the third derivative of r**6/120 + r**5/30 - r**4/12 + 2*r**3/3 - 6*r**2. Let g be w(-3). Solve -3 = -2*i + g for i.
2
Suppose 3*o - f = -1, 3*o - f = 4*f - 5. Solve o*z - 3*z + 6 = 0 for z.
2
Let d be (-1 - 42/(-15)) + 5/25. Solve -3*x + 7 = -d for x.
3
Let z(x) = -x + 5. Let c be z(4). Let h be c + (90/(-2))/(-3). Suppose 0*q = 2*q - 4*j + 8, 0 = q + 2*j - h. Solve -q + 0 = -3*p for p.
2
Suppose 0*u + 2*u - 4 = 0. Solve u*s + 4 = -2 for s.
-3
Let k = -28 - -20. Let w = -6 - k. Let v be 1/(w - (-27)/(-15)). Solve -q = -v*q for q.
0
Let r(d) = d**3 + 5*d**2 - 8*d - 5. Let g be r(-6). Let h = 9 - g. Solve h*o - 12 = -o for o.
4
Let j(i) = -i**3 + 17*i**2 - 17*i + 36. Let s be j(16). Solve 0 - s = 5*b for b.
-4
Suppose 2*t = -2*t + 32. Let z be 4/(-14) + t/28. Solve z = d - 0*d - 4 for d.
4
Let v = 15 + -13. Suppose 5 = v*z - 3. Solve 2*x = 3*x + z for x.
-4
Suppose -3*c + 11 = 5*k - 7*k, -17 = -5*c + 2*k. Solve c + 0 = 3*d for d.
1
Let u be (-9)/(4/((-48)/9)). Solve -6*g = -3*g + u for g.
-4
Let h be 40/(-6)*(-12)/16. Solve b + h = 6 for b.
1
Suppose -2*k + 24 = 2*s, 5*s - 16 + 1 = 0. Solve 3 + k = -3*i for i.
-4
Let h(r) = -r**3 - 8*r**2 - r + 2. Let a be h(-8). Solve 3*n = n - a for n.
-5
Let b be 0/(7/((-7)/2)). Suppose -k + 3 = -b*k. Solve u = k*u for u.
0
Suppose -4*f + 13 = 85. Let k be -3*(-2)/f*3. Let l = 1 + k. Solve -1 = x - l for x.
-1
Suppose -5*n + 3*d + 20 = 0, -3*d - 3 = -3*n + 3. Solve -n*t = -2*t for t.
0
Let r(x) 