+ 15 = 3*c + o*p for c.
1
Let r be 2 + 1 + 279/(-62)*6/9. Let s = 3 - 8. Let a(t) = -t**2 - 5*t + 4. Let n be a(s). Solve n*z - 6 = -2*v, -2*z + 1 + r = -v for z.
1
Let l be (-2412)/(-44) + 4/22. Suppose 0 = 12*s - 17*s + l. Solve s = 5*i + 2*w, -4*i + 2*w - 10 = -26 for i.
3
Let v be (3/(-15))/((-1)/27) - (-726)/(-1815). Solve -5*u = -5*q + 40, v*q - u - 4 = 24 for q.
5
Let a = -43 - -45. Suppose 0 = -5*j + a*n - 11 - 7, 4*j - 5*n = -28. Let t be j/6 + (-6)/(-18). Solve -5 = -5*x - t, -v + 1 = -2*x for v.
3
Suppose 3*n - 64 = 5*d - 97, 3*d + n = 3. Solve -93*c + 90*c + 6 = -o, d*c - 2*o - 9 = 0 for c.
1
Suppose 183*h = 180*h + 6. Let p be h + 3 - 44/11. Solve 0 = b + 2*f + 3, -b + 0*f + p = f for b.
5
Let h be 6/(-16) + (-275)/(-8) + 4. Suppose h*z = 57*z - 95. Solve -18 + 3 = 3*k - 3*l, 0 = -z*k - 5*l + 5 for k.
-2
Let k = 15 + -64. Let i = 55 + k. Let s(c) = -c**2 + 4*c + 7. Let l be s(5). Solve 5 = -f - g, -i*g + l*g = 20 for f.
0
Let f(c) = c**2 - 48*c - 378. Let b be f(-7). Solve 2*w + w + i = b, -5*i - 29 = -w for w.
4
Let k = 6 - 2. Suppose -51 = 5*m + k. Let o(z) = z**3 + 11*z**2 - 3*z - 13. Let g be o(m). Solve -5*t - g = 5*n, 3*t + 12 = n - 4 for t.
-5
Suppose 3*z - 5*i - 9 = 61, z - 5*i - 10 = 0. Let h = 55 - z. Let r = 27 - h. Solve -w = 3*t - 15, -3*t + 5*w = -13 - r for t.
5
Let k(t) = -t**3 - 58*t**2 + 123*t + 183. Let p be k(-60). Solve 0 = -p*z, 3*n - z = -n - 8 for n.
-2
Let x = -1 - 3. Let r = x + 7. Let h be (-8)/(-3)*9/(-48)*-8. Solve -q = -h*s - 18, 4*s + 14 = -r*q + 2*q for q.
2
Let f(n) = 2*n**2 + 19*n + 17. Let t be f(-12). Suppose 23 = 20*v - t. Solve 0*i + i + r + 7 = 0, -15 = v*r for i.
-4
Let y(u) = -10*u - 20. Let c be y(-13). Suppose -107 = i - c. Solve -i = 4*w + 2*j + 5, 4*j = w - 16 for w.
0
Let p = 3 + -3. Let b be 7*16/196*7. Solve p = -b*z - 5*w + 13, -2*z - z - 2*w = -1 for z.
-3
Let b(p) = -2*p**2 + 55*p - 25. Let l be b(27). Solve l*a - 4*t = 22, 5*a - 2 = -4*t - 3 for a.
3
Suppose -7*n - 4 = -8*n. Suppose -81*v + 190*v = 545. Solve -n*j = -b - 21, -4*j + v*b + 0*b + 25 = 0 for j.
5
Let u = -7234 + 7234. Solve 3*o - 4*v + 25 = 20, u = 2*o - 3*v + 3 for o.
-3
Let l = 9095 - 9093. Solve 3*j + 2*s + 9 = 0, 41 - 58 = l*j + 5*s for j.
-1
Let i(o) = o**2 - 19*o + 62. Let k be i(4). Solve -2 = -d - u, k*d + u - 7 = -0*d for d.
5
Suppose 90 = 8*k + 74. Suppose 4*i - 40 = u, -2*u + 6*u = k*i - 20. Solve -5*g - 3*h + 2*h = 25, i = -2*g - 4*h for g.
-5
Let k = 8877 - 8871. Solve -2*i = -3*m - 12, -1 = 5*m + 5*i - k for m.
-2
Suppose -10*u + 329 = 299. Suppose -2*v + v = -3. Solve -n = -4*q, -u = -v*q - 2*n + 8 for q.
1
Suppose -22*y = -9*y + 65. Let m be (y - -6)*0*(-4)/(-8). Suppose -3*b - 31 - 15 = -5*h, 5*h = -b + 38. Solve 5*u + 0 = 2*s + h, m = 5*s - 5 for u.
2
Suppose 14*z - 63 - 49 = 0. Let j = 7 + z. Let q be 2*((-84)/(-40) - (-4)/10). Solve -4*c = 5*i - j, 0 = -i + q*c - 12 - 14 for i.
-1
Let t be 2/6*2 - 324/(-243). Suppose 4*y + 4*j - 9*j = -t, 0 = -4*y + j + 6. Solve 4*h = -w - 17, y*h = -w + 2*w - 13 for w.
3
Let f(a) = -3*a - 15. Let m be (105/25)/(-7)*10. Let c be f(m). Let b be (-3)/(-6) - 23/(-2). Solve p = 4*o - b, 9 = c*o + p + p for o.
3
Suppose 5*c - 3*s = 11, c + 4*s - 12 - 4 = 0. Suppose 0 = 4*x - c*n + 12, -n + 2 = -3. Let m = 36 - 26. Solve k + 3*b = m, -x*k + 7*k - 5*b = -10 for k.
1
Let x = -3288 + 3290. Solve -5*r + x*i + 32 = 0, -18 = -371*i + 374*i for r.
4
Let z be 1/(10/12)*140/6. Suppose 19*k = -z*k. Solve -3*l + 1 = 5*b - k*l, -9 = -3*b + l for b.
2
Suppose 7*j + 155 = 38*j. Solve 4*k + 1 = 3*r + j*k, 2*k - 8 = 0 for r.
-1
Let z(j) = -85*j - 416. Let c be z(-5). Solve 0 = -5*t - 3*o - 24, -5*t + 4*o = 2*o + c for t.
-3
Suppose 272*t + 41*t = 2817. Suppose 0 = 5*b - 45 - 5. Solve 4*r - 45 = 4*x - t, -2*x = b for r.
4
Suppose 531 = -131*m + 793. Solve 2*s + 4*q = 18, 4*s = -s - m*q + 21 for s.
3
Let j(m) = -55*m - 378. Let r(w) = 3*w + 1. Let s(t) = -j(t) + 2*r(t). Let n be s(-6). Solve -i + 6*i - a + 13 = 0, 4*i + a = -n for i.
-3
Suppose -2*p + 48 = -5*k, -p + 19 = 4*k - 6*k. Let t(f) = 8*f + 82. Let x be t(k). Solve -2*g - 22 = 5*d, x*g = d + 3*d + 14 for d.
-4
Suppose 3*d = -2*i + 6, -48*i = -44*i - 3*d + 6. Let q = i + 5. Solve q*v = -3*y - 14, -2*v = 3*v + 2*y + 16 for v.
-4
Let c(w) = w**3 + 6*w**2 - 22*w - 19. Let d be c(-8). Solve 0 = -3*n - k - 4, 4*k = -n + 4*n + d for n.
-3
Suppose 0 = z + 8 - 11. Suppose -z*s = -4*c - 3, 3*c - 1 = -s - 2*c. Solve n = -5*q - 0*n + s, 0 = 2*q + 3*n - 3 for q.
0
Suppose -124 = -97*w + 167. Solve -2*j + w*d = -13, -4*j + j + 3*d + 12 = 0 for j.
-1
Let p be (20064/60)/22 + (-2)/10. Solve t + 5*v = -4*t + 25, t + p = 3*v for t.
0
Let o(x) be the second derivative of -x**3/6 + 7*x**2 + 10*x. Let g be o(14). Solve 3*c - 4 = -0*s + 2*s, -c + 2*s + 8 = g for c.
-2
Suppose -17264*y + 17250*y = 0. Solve y = -3*b + 3*r, 3*b = 2*r - 4*r - 25 for b.
-5
Let l be 1 + 1 + (-1 - -2). Let i = -1288 + 1290. Suppose -52 = -3*b - 9*j + 10*j, -i*j - 8 = 0. Solve b = 6*g - l*g + 4*q, -3*g = q - 13 for g.
4
Suppose -23 = -5*l + 2*k, 0 = -2*l - k - 5 + 7. Let s be 2/(l*(-4)/(-366)). Let d = s + -57. Solve -5*t = 4*c - 21, -c + 13 = d*t - 6 for t.
5
Let j be ((-558)/434)/((-3)/7). Let o = -37 - -45. Solve 5*l - o = 3*z - j, -2*z + 4*l - 6 = 0 for z.
5
Let l be (-1190)/(-153) + (-2)/(-9). Let r be (-38)/(-152) + ((-306)/l)/(-3). Solve 5*x = -2*y + r, -x + 2*y - 5 = 2*x for x.
1
Let f = -6392 + 6394. Solve -f*j - 3*r - 14 = 0, 11*j - 16 = 16*j - 2*r for j.
-4
Let q be 0*(496/(-93) + (5 - 0)). Solve -x = 3*v - 1, q*x - 5*x - 5*v + 15 = 0 for x.
4
Suppose -3*l + 30 - 21 = 0. Suppose c + l + 2 = s, 5*s + 5*c = 55. Solve 3*n + 5*a = 17, -a - a = -s for n.
-1
Let j = -304 - -279. Let m be (40/j)/((-2)/(-5)) + 4. Solve -i + m*o - 5 = -4*o, 2*o = 0 for i.
-5
Let u(c) = c**3 + 12*c**2 + 14*c + 36. Let w be (-948)/84 + 3/((-42)/(-4)). Let m be u(w). Solve -3*i - m*n + 9 = 0, -4*n - 3 = 1 for i.
4
Suppose -86 = -7*i + 103. Let w = i + 3. Solve o = -0*o + 3, 5*n - 5*o + w = 0 for n.
-3
Let m = 6035 + -6026. Solve -4 = -d - 2*t - 1, 4*t = 3*d - m for d.
3
Suppose -5*v = -93*f + 92*f - 3, 4*f = 4*v + 20. Solve 3*l = 6*l - g + 2, -2*g - 12 = v*l for l.
-2
Let s be (13/(-3))/(6*25/(-450)). Solve 0 = 3*g + 2*k - s, 0 = 35*g - 32*g + 4*k - 23 for g.
1
Let r(o) = -o**2 + 20*o - 34. Suppose 13*l = 114 + 120. Let t be r(l). Solve -u = -5*b - 5, t*u = -2*b + 7*u + 21 for b.
-2
Let l be ((-20)/6)/(26/(-39)). Suppose -2*c = 5*r - 31, 3*r = l*c - 0*r. Let o be (-4 + c)/(1/(-2)). Solve -o*p + 2 = -2*z, -5*p - 5*z = 30 + 15 for p.
-4
Suppose -5*s + 84 = -16. Suppose -20 = -d + 3*r, -d - 10*r + s = -11*r. Solve 5*q + d = 5*n, -3*q = -q + 5*n - 20 for q.
0
Suppose 5*t + c - 21 = 0, 7*c - 7 = -4*t + 47. Solve -t*a + 3*v + 3 = 0, -31*v = -a - 29*v + 1 for a.
1
Let h(x) = x**2 + 7*x - 441. Let d be h(18). Solve 3*l - 5*c + 5 = -2, -5*l = 2*c - d for l.
1
Suppose -18 = 5*l - d - 7, -5 = 4*l + 3*d. Let f(j) = -j**3 + j - 3. Let y be f(l). Solve -30 = -q + 5*t, 0*t + 3*t = y*q - 30 for q.
5
Suppose 139*a - 1526 = 1226 - 667. Solve 2*i - 5*k - a = -0*k, 0 = -5*i - 4*k + 21 for i.
5
Let c = 11258 - 11256. Solve 2*t + 6 = -f, 3 = c*t + 7 for f.
-2
Let n be 3570/588 + 2/(-28). Solve 5*i + n - 1 = 2*d, -3 = 3*i - 5*d for i.
-1
Let n be (10/15)/(-2 - (-44)/21). Suppose 42 = -0*u + n*u. Solve -k + u = -3*h, -3*k + 0*k + 7 = 2*h for h.
-1
Let m be (-2 - (-32)/11)/(-21*(-26)/6006). Solve 4*u + m = 19*q - 17*q, 0 = -4*u - 20 for q.
-5
Let n(q) = -21*q + 51. Let m be n(20). Let r = 376 + m. Let a be (8/10)/(2/10). Solve o - r = -u + 6*u, 5*o + 23 = -a*u for o.
-3
Let l(t) = -t**3 + 9*t**2 - 6*t - 14. Let q be l(8). Solve 4*j = q*u - 12, 5*u - j - 3 = 4*u for u.
0
Let v(j) = j**2 - j + 1. Let c be v(-3). Let m = -384 + 384. Suppose 3*t = 21*b - 25*b - 3, m = -3*t - 15. Solve b*a - 2*u + c = 0, -2 = -u - 3 for a.
-5
Suppose -4*z = 2*a, 0 = -4*z + 6*z + 4*a. Suppose z = 3*l - 0 - 18. Let n be l/2*(-154)/(-42). Solve 0*g - g - 4*t + 1 = 0, 4*t - n = -3*g for g.
5
Let l(y) = 4*y**2 - 47*y - 5. Let c be l(16). Suppose 138 - 469 = -5*j + 4*p, 4*j = p + c. Let f = 71 - j. Solve -4*d - f*n = 12, -2*n = -2 - 0 for d.
-4
Let h(i) be the first derivative of 2*i**3 - 5*i**2 + 4*i - 94. Let b be h(2). Solve -b = -3*r -