p = j for p.
0
Let f be -9 - (-3 + 6 + -2). Let r = f - -15. Solve -r*b + 2 = -3 for b.
1
Let c = -697 - -699. Solve 19 - 21 = c*a for a.
-1
Let q be 20/(-5)*(5 + -6). Solve -q*h + 5 = 1 for h.
1
Suppose -30 = 3*b + 2*b - 5*d, -b + 3*d = 2. Let s be b/6*(-99)/66. Solve 2 + 0 = -s*n for n.
-1
Let k be 4 + -1 - 13/(130/30). Let q = -3 - -5. Solve k - q = m for m.
-2
Suppose -38 + 46 = 2*z. Solve z*u = -0*u - 20 for u.
-5
Let w be 1/(-6*1/(-6))*0. Solve w*t = -3*t + 12 for t.
4
Suppose -2*p + 43 = -2*k + 13, -2*k = -5*p + 66. Solve 0 = -4*n + 16 - p for n.
1
Let r(z) = z**2 + 7*z + 8. Let k be r(-9). Let x be ((-2)/4)/((-1)/k). Suppose 8*f - x*f + 25 = 0. Solve -f*g + 16 = -4 for g.
4
Suppose 3*i + 15 + 3 = 0. Let w be ((-9)/i)/((15/(-4))/(-5)). Solve -16 = -w*n - 2*n for n.
4
Let a = 110 + -105. Solve 0 = -4*n - 3 - a for n.
-2
Suppose -3*h = 4*a + 3, -5 + 1 = -a + 4*h. Solve a = 10*b - 7*b for b.
0
Let c(z) = -z**3 + 12*z**2 - 10*z + 4. Let r be c(11). Let q = r + -15. Solve -2*m + 8 + 2 = q for m.
5
Let n(q) = 2*q**3 + 25*q**2 + 9*q + 2. Let i be n(-12). Let v = -36 + i. Solve v*b = -2*b + 16 for b.
4
Let z(i) = -8*i - 19. Let l be z(-6). Let q = 29 - l. Solve o - 3*o - 4 = q for o.
-2
Let n(d) = -d - 2. Let k be n(-2). Let s = 112 - 253. Let j = -138 - s. Solve j*z - z = k for z.
0
Let q(n) = 2*n**2 - n - 6. Let o be q(3). Solve -3*y + o*y = -30 for y.
-5
Suppose 3*m + 2*t = 2, -4*m + 32*t - 35*t + 1 = 0. Solve 9*y + 10 = m*y for y.
-2
Let f(p) = -p**3 - p**2 + p. Let d = 111 - 113. Let q be f(d). Solve -4 = q*n - 12 for n.
4
Let a = -12 - -37. Suppose 2*p = 7*p + 2*g - a, -5*p + 5*g + 25 = 0. Solve p*y + 12 + 13 = 0 for y.
-5
Suppose 16*z = -18*z + 374. Solve -20 = z*b + 24 for b.
-4
Let o = -140 - -107. Let f = o + 37. Solve 6 + 10 = -f*u for u.
-4
Suppose 19*q - 4*s = 21*q - 36, q = s + 12. Solve 3*h - 2 = -q for h.
-4
Suppose 0 = -2*u - r + 3*r - 6, 4*u - 28 = -4*r. Suppose 4*n + 2 = -2. Let b be n/(u/(-8)*2). Solve -y = -0 + b for y.
-2
Suppose -56 = 4*o + 32. Let h = o - -25. Suppose -b - 3*p = -2*b + 15, 20 = b - 4*p. Solve b = r + h*r + 16 for r.
-4
Let s(i) = -i**2 - 15*i - 37. Let y(v) = v**2 + 14*v + 38. Let o(g) = -3*s(g) - 2*y(g). Let r be o(-15). Suppose -12 = -4*n + 8. Solve -r = n*d + 5 for d.
-2
Let r(g) = -g - 16. Let d be r(-10). Let k = d + 8. Let z be -1*k + (-2 - -5). Solve p + z = -0*p for p.
-1
Suppose 112*b = 130*b. Solve b = -5*x - 3 + 13 for x.
2
Suppose -2*s + t + 203 = 0, -8*s - 198 = -10*s - 4*t. Solve -s*q + 98*q = -3 for q.
1
Let m be (3841/92 - 20)/((-3)/(-4)). Solve 40 = m*h - 37*h for h.
-5
Let z = -32 + 16. Let k be (z/(-7))/((-8)/(-28)). Solve -k = -0*s - 2*s for s.
4
Suppose 3*o + 3*d = 0, -4*d - 5 = -3*d. Suppose 0*r - 20 = -o*r, 4*r + 8 = 2*u. Solve -13 = 5*b + u for b.
-5
Let n = 37 - 65. Let q = 117 - 74. Let r = n + q. Solve 2*k - r = -k for k.
5
Let a = 426 - 422. Solve 21*d = 17*d - a for d.
-1
Let u = -111 - -111. Let q be u + (-2 - (4 + -8)). Solve q*c = -c for c.
0
Suppose 15*g - 13*g + 4*w = 28, -2*g - 5*w = -31. Solve 6*o - g = -14 for o.
-1
Suppose 4*n + 0*n - 4*s - 48 = 0, 11*n - 5*s - 120 = 0. Solve -n = 3*l - 4 for l.
-2
Let q = 26 - 71. Let m be q/12*60/(-25). Solve 5*u = 2*u + m for u.
3
Suppose -5*z = -265 + 195. Solve -2*a - z = -4 for a.
-5
Let b(q) = 2*q**2 - 14*q - 10. Let f(k) = k**2 - k. Let c(a) = -b(a) + 3*f(a). Let u be c(-10). Solve o + 3 = -u*o for o.
-3
Suppose c = -4*a - 119, -2*a = 3*a + 4*c + 146. Let f = -29 - a. Let w be f/3*(-546)/(-14). Solve w = 5*l - 7 for l.
4
Suppose 2*g - 19 = -3*y, g + 25 = y - 3*g. Suppose -2*j + y = 3. Let p(w) = w**3 - 6*w**2 + 5*w + 7. Let v be p(5). Solve -n = -j + v for n.
-4
Suppose 2*y - 3*y - 3*g = -61, 194 = 4*y + 2*g. Let j = y - 44. Solve -6*n - 16 = -j*n for n.
-4
Let g(h) = 4*h**2 - 164*h + 15. Let t be g(41). Suppose 4*y = 4*u + 16, -7*y + 2*y + 29 = 4*u. Solve -t = -0*k + y*k for k.
-3
Let h(f) = -f**2 + 8*f - 8. Let i be (-4)/(-12) + (-60)/(-9) + -1. Let c be h(i). Solve v + 1 = c for v.
3
Let d be (-20)/(-230) + (-8)/92. Solve 4*h + 4*h - 16 = d for h.
2
Suppose -270*f = -277*f. Solve 7*q = -f*q + 28 for q.
4
Let y = -3 + 5. Suppose -6 = -2*u + y. Suppose -18*z + 17*z = 5*h + 28, -h = -4*z + 14. Solve -j + u = -z*j for j.
-4
Let l(q) = q**2 + q + 3. Let o be l(0). Let i = 6 - 9. Let n = i + o. Solve n = -3*y + y for y.
0
Let w = 302 + -287. Solve w*g - 14*g = -1 for g.
-1
Let b(s) = -2*s - 33. Let d be b(-19). Solve 3*v + 14 - d = 0 for v.
-3
Let l = 17 - 5. Suppose -4*k = h - 11, 2*k + 3*h = -2*k + 9. Suppose 3*g = -0*g. Solve g - l = k*r for r.
-4
Let b(s) = s**2 - 26*s + 170. Let d be b(11). Solve -3*x + 32 = d*x for x.
4
Let i be 2/14 + 1088/224. Solve 0 = -i*m - 7 + 2 for m.
-1
Let z(m) = -50*m - 1297. Let c be z(-26). Let f = 1 - 1. Solve 3*u + f = -c for u.
-1
Suppose 2*o = -1 - 9, -d + 91 = -2*o. Let h be (1 - -4)*d/45. Solve 0 = 4*u - h - 11 for u.
5
Suppose 23 = 11*z - 21. Solve y - z = -2 for y.
2
Suppose 32 - 32 = 5*l. Suppose 0 = -4*d + 2*b + 20, l*d - 3*d + 2*b + 17 = 0. Solve d*c + 3 = 12 for c.
3
Let t = 48 - -25. Solve -x - t = -68 for x.
-5
Let j(i) = -58*i**2 + 5*i - 4. Let q be j(1). Let r = q + 65. Solve 0 = -9*c + r*c - 2 for c.
-2
Let z be 0*(3 - (-3 + 5)). Let c(m) = -m - 2*m + 2*m + 7 + z*m. Let d be c(-5). Solve 7*i - 4*i = d for i.
4
Let l be 1 + -2 + -2 + 3. Let w be (l - (-9)/(-4))/(12/(-48)). Solve -w*s = -5*s - 12 for s.
3
Suppose -20*k + 23*k = 0. Let y be -3 - (-5)/(20/32). Solve -y*x = -k*x - 10 for x.
2
Suppose -48*q + 55*q = 0. Solve -12*t + 18*t = q for t.
0
Suppose 0 = y - 51 - 2. Let g = -51 + y. Solve g*b = -3*b for b.
0
Suppose 4*u + 14 = o, 53*o - 5*u - 4 = 54*o. Let m = 0 + -3. Let v = m - -5. Solve -o*c = -v*c for c.
0
Suppose -w = -4 + 5, 3*z + 4*w = 89. Solve -21 = z*b - 24*b for b.
-3
Let t(i) = -7*i + 30. Let d be t(3). Solve 6*u - 9*u - d = 0 for u.
-3
Let d = 1694 - 1683. Solve d*c = -5*c - 48 for c.
-3
Suppose 4*n = -5*g - 49 + 14, 4*n + g + 39 = 0. Let z = 10 + n. Solve z*p = -3*p + 9 for p.
3
Let v(l) = l**3 - 3*l**2 - 8*l + 5. Let i be v(5). Let m = i + -15. Solve -z - 4 = -m*z for z.
-4
Suppose 6 = -3*x + 3*o - 0, 12 = -2*x + 4*o. Suppose 3*l - 6 = q, -2*l = l + x*q - 15. Solve 0 = l*f - 3 for f.
1
Let h = -72 + 34. Let w = 41 + h. Solve -w*t = 2*t for t.
0
Let o be 0/(-6*3/9). Solve o = -5*t - 27 + 12 for t.
-3
Let h be 6/2 + (-5)/1. Let g be 100/8 - (-3)/h. Let o = -10 + g. Solve o = -5*j + 11 for j.
2
Suppose 12*m + 8*m = 16*m. Suppose m = 6*r - 5*r - 2. Solve 0 = r*b - 5*b for b.
0
Suppose 5 = 6*x - 5*x. Suppose x*b - 10 = -10. Solve -t + b*t = 2 for t.
-2
Let a(z) be the second derivative of z**4/12 + 2*z**3 - 7*z**2/2 + 3*z. Let y be 315/(-25) - 2/5. Let v be a(y). Solve -u + v*u = 15 for u.
3
Let i(a) = -2*a - 6. Let l be i(-4). Suppose -l*c - 66 = -20. Let t = c + 23. Solve t*m - m = -5 for m.
5
Suppose -q + 49 + 15 = 0. Suppose -j + 70 = q. Solve 0*l - j = -3*l for l.
2
Let y be (1 - (-6 + 224/35))*10. Solve -8*g + 2 = -y*g for g.
1
Suppose -1818 = -2*c - 1130. Solve -c + 341 = -w for w.
3
Suppose 35*k - 66*k + 155 = 0. Solve 3*o + 1 = -k for o.
-2
Let h = 1241 + -1235. Solve -60 = h*s - 21*s for s.
4
Let h(u) = -4*u**3 - 2*u**2 + 3*u - 1. Let o be h(2). Let i = -18 - o. Suppose -i = -2*r + n, -9 = -2*r - n + 14. Solve -x - x = r for x.
-5
Let w(b) = -35*b - 195. Let h be w(-6). Let m = -11 - -14. Solve 2*z + m*z = h for z.
3
Suppose -3*x = 6 - 18. Let t be 0*(26/(-6) + x). Solve -2*c = -t*c + 10 for c.
-5
Let q(p) be the first derivative of p**3/3 - 7*p**2/2 - 13*p + 3. Let r be q(9). Solve -10*s = -r*s - 20 for s.
4
Let g be ((-10)/15)/(128/(-60) - -2). Solve 6*z + 4 = g*z for z.
-4
Suppose -4*y + 4*l = -0*l - 12, 0 = y - 3*l + 3. Suppose 0 = -2*m - p + y, -5 - 5 = -5*m - 5*p. Solve -a = -m*a + 6 for a.
2
Let z be (-2 - -2)/(-2) + 4. Suppose 10 = a - 6*a. Let t be 3/1 + -1 + a. Solve -z = f - t*f for f.
-4
Suppose -5*c + 4*y = 16, -3*c - 7 = -4*y + 9. Solve c = 7*a - 4*a for a.
0
Let u be (115/92)/(5/24). Solve u*z = -5 + 5 for z.
0
Suppose 0 = 4*s - 11 + 3. Suppose -5*v = -4*p + 298, -v - s*p = -2*v - 56. Let d = -42 - v. Solve y - d = 6*y for y.
-4
Suppose 0 = -10*l + 8*l - o + 83, 5*l - 209 = -3*o. Solve 0 = 44*i - 36*i - l for i.
5
Suppose -255 = -3*u - 