3, -2*b + s*v - 2 = 2*b. Solve b*m = 3 - 7 for m.
-2
Suppose v - 2*t = 5 + 7, -4 = t. Let b be 16/7 - -2 - v/14. Solve b = -2*x - 6 for x.
-5
Let f(b) = 96*b - 1437. Let n be f(15). Solve 0 = 70*u - 67*u + n for u.
-1
Suppose 41*r = -51*r + 133*r - 861. Solve r - 25 = -2*x for x.
2
Let k be (-13 - (0 + -1))*(-150)/300. Solve -k*f + 28 = -13*f for f.
-4
Suppose -2*j - 6*f + 12 = -2*f, -j + 12 = 5*f. Let d be j*12/16*6. Suppose -3*r + d = -9. Solve -3*o = 3 + r for o.
-3
Let y be (-134)/17 + 54/(-459) + 214. Solve -y*k - 4 = -202*k for k.
-1
Let q(n) = 2*n**3 + 82*n**2 - 83*n + 60. Let u be q(-42). Solve 0 = 3825*g - 3822*g - u for g.
6
Let n be -2 + 1 - (-16 + -75). Let t be n/30 + (-3)/1. Solve t = h - 0*h for h.
0
Let b(o) be the third derivative of o**5/60 + o**4/2 - 4*o**3/3 - 5*o**2 + 2. Let d be b(-13). Solve 0 = -d*s + 7*s + 8 for s.
-4
Let m = -59 + 149. Suppose -m*a - 20 = -92*a. Suppose -a = -s - 6. Solve 0 = -s*p - 0*p - 20 for p.
-5
Suppose 0 = 201*o - 200*o + 1. Let m be o + (-38)/(-8) - 35/(-140). Solve -2*c + 3*c - m = 0 for c.
4
Let f(n) = n**3 - 592. Let h be f(0). Let v be 4/(-14) - h/112. Solve -9*y = -v*y - 16 for y.
4
Let g(h) = -3 + 3*h**2 - 2 + 4*h**3 + 3*h - 5*h**3 + 0*h**3. Let u be g(3). Suppose -u*j = 6 + 2, -2*j = -w + 10. Solve d + 2*d = w for d.
2
Suppose -8*f = -173 - 355. Let i(n) = -8*n + 171 - f - 65 - 60. Let s be i(-3). Solve -2 = -2*g + s for g.
3
Let j be ((-972)/(-48))/((-12)/(-16)). Solve -180 - 9 = j*g for g.
-7
Suppose 53*x - 6 = 47*x. Suppose -i = -2*l + 10, -2*i - x = 7. Solve -a = l - 0 for a.
-3
Let d(s) = -5*s**2 + 24*s - 43. Let a(j) = -26*j**2 + 120*j - 216. Let p(q) = -2*a(q) + 11*d(q). Let v be p(3). Solve -v*z + 10 = -6*z for z.
-5
Suppose 4*v - 4 = 0, -v + 21 = 3*c + 2*v. Suppose -101 = -5*z + b, 4*b + 50 + 34 = 4*z. Suppose c*h - 2*h = -z, 0 = -n - 3*h - 13. Solve -5*x - n = -7 for x.
1
Suppose 3*f + 28 = 5*v, 3*v + f - 17 = 3*f. Suppose 0 = -d - v*d. Suppose d = s - 27 + 22. Solve 0 = s*x - 3 - 2 for x.
1
Let d(o) = o**3 - 189*o**2 - 557*o - 3644. Let q be d(192). Let i be (-1)/2 - (-102)/4. Suppose 0 = -5*x + i + 5. Solve -x = q*l + 2 for l.
-2
Suppose 72 = 5*s - s. Suppose -126 + 35 = 7*x. Let u = s + x. Solve -u*c + 12 = -2*c for c.
4
Let t(v) = 21*v - 68. Suppose 13*p - 107 + 55 = 0. Let k be t(p). Solve k = -15*w + 11*w for w.
-4
Suppose 5*t = -4*l + 351, -12*l + 10*l + 253 = -13*t. Solve -4*i + 78 = l for i.
-4
Let p = -74 - -302. Let s = -146 + p. Suppose y = -3*y - 2*j + s, 3*j + 37 = 2*y. Solve 6*z - y = z for z.
4
Let g = 3100 - 3086. Solve g = d + 7 for d.
7
Let r = -677 - -673. Let f be (0 - r) + 3/(21/14). Solve -f*w - 52 = -40 for w.
-2
Suppose -5*d + 1129 = 4*t, -t + 212 + 14 = d. Let u = -160 + d. Let m = -60 + u. Solve a = m*a - 20 for a.
5
Let x(q) = 2*q**3 - 4*q**2 + 13*q + 15. Let v be x(3). Solve 15*b + v = 3*b for b.
-6
Suppose -2*r = -2*w + 222, 2*r = 2*w - w - 114. Suppose -p - 3*k - 27 = 0, 4*k = 9*p - 5*p + w. Let q be ((p/(-6))/3)/((-9)/(-12)). Solve 3*s = -q*s - 15 for s.
-3
Suppose -3*t = -4*x + 122, -803 = x + 3*t - 811. Solve 19*u - x = 6*u for u.
2
Let j = 34 + -190. Let a be (j/(-104))/((-2)/8*-2). Solve a*b + 10 = 4 for b.
-2
Let q(w) = -2*w**3 - 4*w**2 - 4*w. Let m be q(-3). Let u = m + -28. Suppose 0 = 2*c + u - 18. Solve 3*n + n - c = 0 for n.
2
Suppose -4*v = -t - 9, 5*t - 22 = -4*v - 19. Suppose 122 = v*k + 118. Solve -q = k*q for q.
0
Let w be (-112)/(-6)*63/84. Solve 0 = -w*o - 8*o + 44 for o.
2
Suppose 765 + 201 = 42*x. Let a be (3 - (-25 + 1)) + 3. Suppose 0 = -7*c + a - x. Solve c = -2*m - 1 for m.
-1
Suppose 48*k - 992 = 56*k. Let y = k + 124. Solve g + g = y for g.
0
Suppose -7*k + 58 = 23. Let h be (32/k)/(30/75). Solve -4 - h = -5*z for z.
4
Let k(i) = -212*i - 291. Let y be k(-19). Solve 0 = -n + 3744 - y for n.
7
Suppose 534 = 13*b + 40. Let q = b - 36. Let i be (-1 + 1)/(-5 + 3). Solve i = -q*m - 8 for m.
-4
Suppose 0 = -3*l + 13 + 155. Suppose -51 = -3*d + 2*d. Let x = l - d. Solve -5*g = x - 30 for g.
5
Let r be (-5 - 672/(-49) - 0) + (-6)/(-21). Solve 35*k = 32*k + r for k.
3
Let v(k) = -371*k**3 + k**2 - 2*k + 2. Let n be v(1). Let z = n - -410. Solve 0 = 6*b - 16 + z for b.
-4
Suppose 201*h = 230*h - 1160. Solve h*r = 36*r - 8 for r.
-2
Let z = 1093 - 1023. Solve 64*t = z - 6 for t.
1
Let l = 418 + -406. Suppose 2*k + 8*s = l*s + 14, -2*s - 24 = -2*k. Solve 14*m - k*m = 0 for m.
0
Suppose -3 = c, -174*h + 170*h + 27 = -5*c. Solve -s + h = 2 for s.
1
Let b be (-3 + (5 - 0))/2. Let n be -7*(-7)/49*b/1. Let v be n/(-2 + (-236)/(-116)). Solve -5*z + v = 4 for z.
5
Let c = 13 - 13. Suppose c = 120*x - 119*x - 7. Solve -2*a = 17 - x for a.
-5
Suppose 4*r = -5*z + 255, -2*z - 4*r + 8 = -82. Solve -3*s - z = -14*s for s.
5
Suppose 3*a = -3*i + 753, -a + 245 = 4*i - 6*i. Solve -244*p = -a*p - 30 for p.
-6
Let m be 36/10 + 26/65 + -574. Let v be 93/19 - 60/m. Solve 0 = y - v*y + 4 for y.
1
Let b(y) = 4*y**2 - 150*y - 296. Let u be b(40). Solve -12 = -u*h + 98*h for h.
2
Let m = 9274 + -9179. Solve 35*b = -m - 150 for b.
-7
Let d = 10150 - 10042. Solve -109*j + d*j = -2 for j.
2
Let l = -863 - -893. Suppose -175 = -55*q + l*q. Solve q*j = 4*j - 12 for j.
-4
Let c be ((-2)/(24/20))/((-60)/16596). Solve -g + 459 = c for g.
-2
Suppose -116*k + 4358 = 194*k - 8662. Solve 108 = -25*u - k for u.
-6
Let b be 22/2 - (-3 + 2). Let t be (0 + 4/b)*1*18. Let u be (-12)/1*(0 - t/9). Solve d + d = -u for d.
-4
Let y(f) = f**3 - 6*f**2 - 4*f + 3. Let o be y(7). Let l be (-6)/o*(-1 - -1). Solve v = -l*v - 3 for v.
-3
Suppose 7*n = -9*n + 592. Suppose d + m - 23 = -2*m, 0 = -4*d - m + n. Solve -5 = 9*r - d*r for r.
-5
Suppose 0 = 4*i - 9*i + s + 103, s + 43 = 2*i. Suppose -8 = 18*o - i*o. Solve 0 = -o*t - 4 for t.
-1
Let k be (24 - 23)*(6 + 2). Solve -1458 = -k*d - 1490 for d.
-4
Let b be 80/10 - (1 - -2). Suppose -x - 60 = -b*l, -5*l + 48 = -l + x. Let t = l - 10. Solve -t*j + 0*j = 10 for j.
-5
Suppose 3*q = 5*j - 8*j - 6, q - 4*j = 18. Suppose -g = q*g + 3*r, -g + 5*r = 0. Solve g = s + 3*s + 4 for s.
-1
Let l = -296 + 295. Let i be 2/(-7) - 23/(-7). Let r = l + i. Solve 0 = r*u - 0*u for u.
0
Let v(q) = -q**2 - 2*q. Let a(i) = -10*i**2 + i + 29. Let w(d) = -a(d) + 4*v(d). Let b be w(-2). Solve 11*s = b*s + 2 for s.
-1
Suppose -6*c - 413 = -443. Suppose 3*j - 4 = f, -2*j - 2 + 16 = c*f. Solve j = -2*w - 8 for w.
-5
Let c be 4/(((-207)/(-18) + -11)/(4 + -2)). Solve 0 = 13*y + c + 62 for y.
-6
Let v = -857 + 859. Suppose 5*b + 5*a - 2*a = 38, v*b + 5*a = 0. Solve -14 = -8*y + b for y.
3
Let p = -303 - -305. Suppose -l - 7*a = -p*a - 12, -4*a - 10 = -2*l. Solve -11 = 4*i - l for i.
-1
Let s = 812 - 796. Suppose 5*r = 2 + 8. Suppose -10*d + r*d = -s. Solve -6*f = -d*f - 20 for f.
5
Suppose -5 = 7*h - 12. Let r be 150*((7/(-3))/(-7))/h. Let g = r - 50. Solve g = 2*m - m for m.
0
Suppose 2*j - 25 = -0*j - 3*v, 0 = -j - 5*v + 9. Let k be 1 + 3 - (12 - (-2 + j)). Solve 0 = -5*i + 4*i - k for i.
-4
Let u be (490/21)/(-10)*-30. Solve 13*l + l + u = 0 for l.
-5
Let i be 440/12 + (-4)/6. Suppose -q + n - 3*n = -14, -4*q + 36 = 4*n. Suppose 0 = q*c - i. Solve c*m = 4*m - 5 for m.
-1
Let s = -197 + 194. Let g be (s - 16/(-3))*3. Solve -g = 2*j + 3 for j.
-5
Let i = 5275 + -4962. Solve 317*d - 8 = i*d for d.
2
Let d be (-2526)/(-24) - (11/28 - (-44)/(-308)). Solve 0 = 19*f + 9 + d for f.
-6
Let a be 63/(1/((-28)/6)). Let r = -291 - a. Solve -r*c = -10*c for c.
0
Suppose -4*t = -4*b + 360, -27 = -5*t - 22. Solve -53*s = -68 - b for s.
3
Let m(p) = p**3 - 3*p**2 - 29*p + 10. Let d be m(7). Solve -d*f - 44 = -35 for f.
-3
Let j(l) = l + 19 + 17 - 23. Let z be j(-9). Let w = 20 - 14. Solve -w*d = -5*d + z for d.
-4
Suppose -6*g - 62 = -176. Solve -g*y + 11*y = -y for y.
0
Let u = 64 - 61. Suppose 5*f - 79 = -o, -u*f + 60 = f + 4*o. Suppose -3*b - 5*b = -f. Solve b = h - 0*h for h.
2
Suppose y - 4*a - 9 = 0, -3*y - 4*a = 11 - 6. Suppose 106 = 7*c + y. Let g be 0 + 0 - -10 - 1. Solve 4*x - g*x - c = 0 for x.
-3
Suppose -5*d + 3*d - 357 = -3*w, -2*w + 2*d = -236. Let z = 124 - w. Solve -z*g - 2*g - 10 = 0 for g.
-2
Let j = 4 - 0. Let m be (41 + (-8346)/195)*(-5)/3. Solve -o + j = -m*o for o.
-2
Let f(m) = m**3 - 7*m**2 + 8*m - 1. Let t be f(6). Let q = 1850 - 1844. Solve -a - 