p + 7 + r = 0 for p.
-2
Let m be -1*(-1 + (5 - 4)). Suppose 2*v - 3*l - 15 = m, -v = -0*v + 3*l + 15. Solve -s = -v*s for s.
0
Let x = 884 - 838. Solve 42*v = x*v + 8 for v.
-2
Let k be (-96)/(-10) - (-4)/10. Suppose -4*g = -95*y + 96*y + 17, -y + g = -8. Solve -y*u + k = -8*u for u.
-2
Let g be 765/36 - 2/8. Solve g*o - 17*o = 4 for o.
1
Suppose -34*l - 54 = -35*l. Let h = l + -38. Solve 3*x + h = -x for x.
-4
Let m = -1 + 1. Suppose 3*b + 0*a + 160 = -a, -2*b - 110 = -a. Let t = b - -70. Solve m*n + 4*n = t for n.
4
Let b be 3/(2 + 1) - -5. Let j be b/(-27) - (-76)/18. Suppose q = j + 2. Solve -q*x = -x + 25 for x.
-5
Let c(b) = -b**2 + 4*b + 3. Let n be c(4). Suppose 18 = 5*z - 2*z - h, 18 = 3*z + 2*h. Let i be 44/52 + z/39. Solve 0 = -2*v - i + n for v.
1
Let l(m) = m**2 + 17*m - 1. Let i be l(-16). Let n = i + 16. Let z be -3 - -46*n/(-2). Solve -z = -0*g - 4*g for g.
5
Suppose -4*l = -2*m - 6*l - 4, m - 4 = 2*l. Suppose -3*y + 7*y - 16 = 0. Let a = 6 - 2. Solve a*r + m = -y for r.
-1
Suppose 11*k - 46 + 79 = 0. Let q(m) be the third derivative of m**6/120 + m**5/30 - 5*m**4/24 + 2*m**2. Let b be q(k). Solve b*u = 3*u - 15 for u.
-5
Let h(t) = -2*t**3 - 23*t**2 + 4*t - 95. Let r be h(-12). Let c(z) = -z + 2. Let f be c(-3). Solve f + r = 3*b for b.
2
Let v = -505 + 509. Solve -v = -0*n + n for n.
-4
Let r be 8/1 + (-395)/79. Solve -r*j = -j - 10 for j.
5
Suppose 19*z + 7*z = 156. Solve 0 + z = -3*l for l.
-2
Let l(g) = 8*g. Let z be l(-1). Let d = 20 + z. Solve w = -2*w + d for w.
4
Suppose -44*f = -48*f - 52. Let q = 14 + f. Solve p + 0 = -q for p.
-1
Let o(a) = 7*a**2 + a**3 + 40 + 10*a + 32 - 70. Let j be o(-4). Solve p = -p - j for p.
-5
Suppose -7*l + 10*l = 6. Let m(s) = -s**3 + 5*s**2 + s - 3. Let h be m(5). Solve h = l*f + 4 for f.
-1
Suppose -8*p = -21*p + 52. Solve 2*i - 12 = -p*i for i.
2
Suppose -5*j = 5*w - 60, -5*w + 4*j + 36 = 3*j. Let m(u) = 9*u + 12*u + 6*u - 20*u + 8 - u**2. Let f be m(w). Solve a + 3*a - 8 = f for a.
2
Suppose 5*q - f = -305, 3*q - 2*q + 61 = 5*f. Let a = -59 - q. Solve a*r + 3 - 1 = 0 for r.
-1
Suppose 54 = 4*n - 114. Let l = n + -34. Solve -a - l = -3*a for a.
4
Let d = 417 + -414. Let f = -11 - -20. Solve -3 = -d*v + f for v.
4
Suppose 0 = 7*i - 11 - 3. Solve -3 = i*z + 1 for z.
-2
Suppose -3*j - q + 5 = 0, -j - 3*q + 8*q + 23 = 0. Solve 0 = 4*k - j*k + 2 for k.
-2
Let q be 4*(29 + -30)/(2/(-2)). Solve 3 = -q*i - 1 for i.
-1
Let y(w) = -w + 40. Let c be y(-1). Solve 31*n = c*n + 20 for n.
-2
Suppose 6*x - 7 = 5*x. Solve -x*a - 3*a - 20 = 0 for a.
-2
Let b(t) be the second derivative of 0 - 5*t + 3/2*t**3 - 4*t**2 - 1/12*t**4. Let c be b(7). Solve 6 + c = -4*u for u.
-3
Suppose 0 = -t - 3 - 0. Let w(z) = -z**2 - 5*z - 1. Let r be w(t). Solve -3*n = 2*n - r for n.
1
Suppose -5*x - 5*h = -2 - 133, 5 = -h. Let b be x/(-14) - (-20)/70. Let u = b - -8. Solve o = u*o for o.
0
Suppose 0 = -5*f - 10. Let q(l) = -17*l - 1. Let p be q(f). Suppose -2*t + 18 = 2*r, -5*t + p = r + r. Solve 3*s - r*s = 5 for s.
-5
Let m be ((-8)/5)/((-3)/(2325/(-10))). Let n = -122 - m. Solve -5*z + n = -3 for z.
1
Let s be (18/(-15))/((-154)/(-175) + -1). Solve -s*i + 15*i = 25 for i.
5
Let a be (-24)/(-4)*(2 + -3). Let l be (-2)/a*(0 - -6). Solve i = -0*i + l for i.
2
Let b = 25 + -23. Suppose -38 + 44 = b*r. Solve 3 = 2*x - r for x.
3
Suppose 20 = 33*f - 28*f. Solve -f + 6 = c for c.
2
Suppose d - 40 = 6*d. Let x = d - -1. Let v = 7 + x. Solve v*a - 5*a = -20 for a.
4
Let h be (30/9*3)/(-1). Let g be 124/20 + 2/h. Solve -n = -3 + g for n.
-3
Let n = 33 - 12. Solve -6*k + 13*k + n = 0 for k.
-3
Let l(b) = -2*b + 0*b + 0*b - 5 + b. Let a be l(-5). Solve i + 1 + a = 0 for i.
-1
Let t(s) = s**3 - 13*s**2 + 4*s - 8. Let u be t(13). Solve 21 = -13*x - u for x.
-5
Let q be (0 + 9 + -1)*3. Let t = q - 19. Solve -4*x + 3*x - t = 0 for x.
-5
Let c be 2/11 + 320/55. Suppose 0 = 5*x - 4*v + 10, -5*x + 7*v + 5 = 6*v. Solve 0*i = -x*i - c for i.
-3
Let t = -511 - -511. Solve t = -53*u + 49*u for u.
0
Let f = 14 - 15. Let z be f*4*140/(-112). Solve 3*v + z = -4 for v.
-3
Let p = 846 + -810. Solve 6*a + 24 = p for a.
2
Let d = -2 + 4. Let o(p) = 3 + 1 - 3 + p. Let g be o(3). Solve -g*y + 18 + d = 0 for y.
5
Let c = -11 - -13. Solve c = -3*w + 17 for w.
5
Suppose n = 4*r + 30, 4*n = 2*r - 6*r + 20. Suppose -2*a + 6 = a. Let p(y) = y**3 - 3*y**2 + 3*y - 5. Let u be p(3). Solve u*x = -n - a for x.
-3
Suppose -240 = -2*t - 13*t. Solve -5*u + 55 = -t*u for u.
-5
Suppose 0 = -8*f + 36 + 12. Solve 0 = 2*s - f*s + 4 for s.
1
Suppose -576 + 526 = -5*z. Solve -z*p + 5 = -5 for p.
1
Let p(i) = 7*i + 5. Let r be p(3). Suppose 3*t + 32 = 4*d - t, 5*d - r = -2*t. Solve -h + d = 1 for h.
5
Suppose -2 = 2*d - 10. Suppose -5*y = 5*h + 5, -6*h + d*y + 13 = -h. Solve 4*g - 3 = h for g.
1
Suppose -74 + 98 = 6*c. Let n = -2 + 3. Solve 3*g = -n + c for g.
1
Suppose 97 = 18*k - 47. Solve -k*z = 7 + 33 for z.
-5
Let r(g) = 2 + 0*g - 14 - g - 3. Let y be r(-15). Solve y = -4*p + 1 + 3 for p.
1
Let m(n) = n**2 - 25*n - 81. Let c be (-33)/11*(-28)/3. Let u be m(c). Solve -4 + 1 = -u*b for b.
1
Let b be (-12)/54 + 124/(-9). Let o = b + 46. Let k = 0 + o. Solve -5*t - 12 + k = 0 for t.
4
Suppose 4*p + 11 = 4*c - 5, 0 = 5*p - 3*c + 20. Let u(k) = -k + 2. Let a be u(p). Suppose -4*z + 29 = -z - 4*r, 5*r - 80 = -4*z. Solve -z = -3*t + a*t for t.
-5
Let n = 29 - 25. Suppose -n*b = -9*b + 25. Solve b*c = -0*c + 15 for c.
3
Suppose -5*c - 7 = -3*j, 2*j - 4*c = 4*j + 10. Let w be j/(-6) - 2/12. Let x = 5 - 1. Solve 0 = -m - w*m + x for m.
4
Let r be 4/(-18) - 174/(-54). Solve -r*o + 2 = -o for o.
1
Let g(f) = -f**3 + 6*f**2 - 3*f - 4. Let t be g(5). Let z be 124/t + 4/(-6). Suppose r = -8*r. Solve r = 4*q - 4 + z for q.
-4
Suppose 4*f = 2*n + 50, 4*n = 2*f + n - 35. Suppose -1 = f*g - 21. Solve t - 1 - g = 0 for t.
3
Suppose -12 = -29*j + 25*j. Let r = -11 - -15. Solve -j = r*m + 1 for m.
-1
Let p be (1 - (-27)/(-21))/((-3)/21). Let l be (-76)/(-10) + (-18)/(-45). Let o(w) = -2*w - 12. Let n be o(-8). Solve -n*c - l = -p*c for c.
-4
Let z be -2 + 64/40 + 4/10. Solve i - 4 = -z for i.
4
Suppose 0 = -3*u + 54 - 3. Suppose s + 15 - u = 0. Solve -c - s*c = -9 for c.
3
Let b(h) = 19*h - 202. Let w be b(11). Solve w + 8 = 5*i for i.
3
Let f(x) = 5*x**3 + 3*x**2 + x - 3. Let h be f(1). Solve 3*v - h*v - 3 = 0 for v.
-1
Suppose -j = -4*j - 3*q - 6, 5*q = -4*j - 12. Suppose 4 = -b - 2*b + 2*t, 2*b + 10 = 5*t. Solve 0 = i - b*i - j for i.
2
Suppose 17*o + 3*o - 40 = 0. Solve -o*y - 10 + 18 = 0 for y.
4
Let m(r) = 26*r**2 - 3*r - 4. Let i(z) = -2*z**2 + 2*z - 1. Let a be i(0). Let w be m(a). Solve 5*h - w = -5 for h.
4
Let r be (1 - -1)/((-2)/(-2)). Suppose 0 = -4*i - 3*k + 7, -r*k = -i - 0*i + 10. Suppose -5*m + 13 = 3*q + 25, -3*q = -m + 12. Solve -i = -g - m*g for g.
4
Let b = 4208 + -4206. Let z = 6 + -2. Solve z = b*i - 0 for i.
2
Let m be ((-12)/4)/(7/((-196)/12)). Solve m*z - 20 = 3*z for z.
5
Let n(u) = -u + 2. Let k be n(0). Suppose 4*i = q + 22, i + 10*q - 14*q - 13 = 0. Solve g - k*g + i = 0 for g.
5
Suppose 2*l = -23 - 43. Let s = l - -38. Solve 4*w = s*w for w.
0
Suppose 8*n = 750 - 718. Solve -5 = -n*r + 5*r for r.
-5
Let o(q) = 16*q**3 - 2*q**2 - 4*q + 2. Let l(n) = n - 1. Let g(w) = -2*l(w) - o(w). Let v be g(-1). Solve -6*c + 2*c = -v for c.
4
Let y = -1316 - -1324. Let j(k) = k + 8. Let a be j(-5). Solve a*m - y = -m for m.
2
Suppose -g + 12 = 2*g, 3*g - 75 = j. Let q be 2/7 + 18/j. Suppose 2*i + q = 4*a - 2, -2*i + 14 = 4*a. Solve i*c = 4*c + 1 for c.
-1
Suppose 4*j = -7 - 9. Let x be j/(4/3) - 0. Let w be (-5)/10 + x/(-2). Solve 14 = -3*d - w for d.
-5
Let x = -133 + 137. Solve 4*a = -x*a - 16 for a.
-2
Let k be -1*1/(-3) - (-12616)/456. Solve k = -0*d - 7*d for d.
-4
Suppose -6*z = -3*z - 8*z. Suppose y + z*y = 4. Solve 4*m = 2*m - y for m.
-2
Let u(g) = -g - 1. Let x be u(-9). Let m = 5 + 8. Let y = m - 10. Solve -y*c + x*c - 15 = 0 for c.
3
Suppose 0*v = -6*v + 276. Let a = v + -46. Solve a = -3*d - 2*d + 5 for d.
1
Suppose 20*d - 59 = 341. Solve 3*c - 8*c - d = 0 for c.
-4
Let x(f) = f**2 - 5*f - 3. Let r be x(6). Suppose 0 = r*m + 5*a - 11, -4*m + 5*m - 5*a = -3. Solve m*o + 2 = o for o.
-2
Let u(l) = -12*l + 3. Let h be u(-5). Solve 3*c = -57 + h for c.
2
Let 