0*x + 11594. Solve x*w = 3861*w for w.
0
Let m(x) = x**2 - 8. Let c be m(-3). Let p = c - -1. Solve 15*u - p = 17*u for u.
-1
Suppose -8 + 0 = 2*x - 5*v, 5*x + 1 = 3*v. Let u be -1*0*1/(-3)*x. Suppose u = 4*n - 2*n. Solve a - 2 = -n for a.
2
Let a be 0/64 - -1*5. Suppose 144 - 44 = a*c. Solve -5*b + c = -b for b.
5
Let u(w) = 91*w + 6872. Let p be u(-75). Solve 37*s = 27 + p for s.
2
Let z(n) = 3*n**3 - 2 + 1 - 4*n**3 - n**2 + 2*n**3. Let t be z(2). Solve -8*a + t*a = 0 for a.
0
Let x = 1830 + -1826. Let n(s) = s**2 + s - 4. Suppose 4*r - 20 = 0, 3*m + 4*r = 10 - 2. Let i be n(m). Solve 2*j + i = x*j for j.
4
Let d = 36 + -28. Suppose -105 = -13*s + d*s. Suppose -6*a - s = -9*a. Solve 0 = a*t - 2*t for t.
0
Suppose 102*f = 99*f + 6. Let d(u) = -16*u - 4*u**2 + u**f + 25 + 2*u**2. Let x be d(-17). Solve -x = 4*a - 0 for a.
-2
Let a(r) = 1. Let d(f) = f**2 - 7*f + 2. Let b(q) = -3*a(q) - d(q). Let k be b(5). Let t be (-1 - (-4)/8)*(-19 - -19). Solve t = 4*s - k*s for s.
0
Let b be (-2)/(-1)*-1 + 4. Let q be (-52)/(-7) - (-6 + (-456)/(-84)). Solve 3*i = -b + q for i.
2
Let b = -32359 + 32391. Solve -73*t = -26*t - b*t for t.
0
Let b be 66/(25/((-350)/(-28))). Solve 4*r = b - 53 for r.
-5
Let n be ((-1)/((-4)/(-16)))/(4/(-2)). Suppose 2*c - 32 = -5*u, 13 = n*u - 2*c + 3*c. Solve -u = -4*d + 14 for d.
5
Let u(s) = s**3 - 9*s**2 + 16*s - 41. Let j be u(8). Suppose 9 + 106 = j*a. Solve -11 = -a*n + 14 for n.
5
Let o = 9 - 3. Suppose 0 = -3*m + 2*h + 24, m - 3*h + o*h = 8. Let l(f) = 2*f - 14. Let w be l(m). Solve 6*u - 20 = w*u for u.
5
Let a(v) = -3*v + 93. Let q be a(29). Solve 40*f + 136 = q*f for f.
-4
Let p(l) be the first derivative of -l**2/2 - 5*l + 114. Let q be p(-5). Solve q = 3*b - 19 + 25 for b.
-2
Let k = -10206 + 10243. Solve 18*p - 17 = k for p.
3
Let q(t) = 3*t - 6. Let s(n) = -3*n - 6. Let v be s(-3). Let z be q(v). Let w(k) = k**2 - 2*k - 80. Let f be w(11). Solve 0 = z*c + f - 7 for c.
-4
Let f = 2 + 0. Let z(r) be the first derivative of -2*r**3/3 - 16*r**2 + 6*r - 26. Let y be z(-16). Solve -4*p = -y*p - f for p.
-1
Let g be (12/(-16)*-9)/(5/(-440)). Let t = 600 + g. Solve -3 = t*y + 3 for y.
-1
Let q = 967 - 856. Solve 0 = -99*z + q*z for z.
0
Let d be (50/(-15))/(448/56 + 293/(-36)). Solve 19*v - 15*v + d = 0 for v.
-6
Let y = -362 + 353. Let f be (24/(-18))/(6/y). Solve -25 = f*v + 3*v for v.
-5
Let y = 2148 - 1804. Solve 116 = -38*z + y for z.
6
Let w = 13236 + -13224. Solve -12*g + w = -15*g for g.
-4
Let b be (-3)/2*(-27244)/147. Suppose 274*o + 32 = b*o. Solve -o = -a - 4 for a.
4
Let r = 38 - 32. Suppose c - r = 6. Suppose 55 = 5*d + 3*u, -d + u - c = -3*u. Solve o - d = -o for o.
4
Let q(p) = -p**2 + 15*p + 1949. Let u be q(-37). Solve u*x - 15*x + 20 = 0 for x.
-2
Let c be (-33)/(-2)*(1 + -3). Let d be 2 + -11*(-1 + -2)*-1. Let l = d - c. Solve 0 = -t - l*t - 9 for t.
-3
Suppose 0 = -4*v + 19*v - 795. Let g = v - 51. Suppose 2*a = 4*a + 2*m - 2, 5*a - 3*m = 13. Solve -g*h = a*h - 16 for h.
4
Let t(b) = -138*b + 128. Let a be t(0). Solve a = 15*h - 47*h for h.
-4
Suppose 0 = 3*f - 5*s - 48, 2*f - s = -3*s + 16. Solve -11*u - 11 - f = 0 for u.
-2
Suppose 0 = 37*d - 1679 - 2058. Solve -102 = t - d for t.
-1
Suppose -38 = -5*t + h + 2*h, -36 = -5*t + h. Let s(r) = -r**2 + 3. Let f be s(0). Suppose -4*d + f*w + 3 = 0, 2*w - 4 = 6*w. Solve d = -4*c - 19 + t for c.
-3
Suppose 262 = -2*y - 4*c, 4*c + 796 = -4*y + 288. Let d = 80 - -46. Let b = y + d. Solve -b*x = -0*x for x.
0
Let s = -12072 + 12083. Solve s*m - 69 = 8 for m.
7
Suppose -201*b = -168*b - 63129. Solve -b + 1928 = 5*x for x.
3
Suppose 2*w + 2*w + 17 = 49. Solve -13 = w*b + 51 for b.
-8
Let k(p) = -163 - 12 + 12 - 15*p. Let z be k(-11). Solve z*r + 4 - 10 = 0 for r.
3
Let y be -3 + 16 + -13 + 28. Solve 0 = -40*j + 47*j + y for j.
-4
Suppose 26 = -k - 2. Let m be (-4 + k/(-10))*(0 - -5). Let x be (m/(-5))/(46/115). Solve -x*n - 25 = 2*n for n.
-5
Suppose -217*x - 33 = -5489 + 31. Solve 0 = 31*h - x - 68 for h.
3
Suppose 5*o - 1701 = -1661. Solve -16*x + 40 = -o*x for x.
5
Let s(l) be the second derivative of -l**3/6 + 29*l**2/2 + 23*l. Let f be s(-16). Suppose -10*r - 15 = -f. Solve 17 = -r*t + 2 for t.
-5
Let i = 536 + -488. Suppose 0*y + i = 16*y. Solve -y*t + 12 = t for t.
3
Let v = 638 - 537. Solve v*h + 25 = 106*h for h.
5
Let v(q) = -q**2 + 10*q + 43. Suppose x = 5*k - 36, -4*x + 3*x - 51 = -2*k. Let i = -48 - x. Let m be v(i). Solve -2*g - 2 = -m for g.
1
Let v be ((-1)/2)/(1/(-14)). Let l = -8706 + 8711. Let r(f) = -f**2 + 7*f + 12. Let x be r(6). Solve l*w + v = -x for w.
-5
Suppose -5*t - 15 = 0, -51 = -b + 3*t - 27. Solve 177*z - 182*z = b for z.
-3
Let s be (-8)/(2 - -16*2/(-12)). Solve 0 = s*j + 15 + 21 for j.
-3
Let a(w) = w**2 + 5*w - 1. Let f be a(-5). Let g be (-2)/4*-2*(3 + f). Let c be 2 + (-1 - 2) + 3. Solve -g = 2*v + c for v.
-2
Suppose 0 = -26*c + 48 + 30. Solve 11*w = -c + 25 for w.
2
Suppose -3*q + 9 = -6. Suppose 3*y + q*t - 50 = 0, 36 = 2*y + t + 3*t. Suppose -9*d = y - 55. Solve 20 = -v + d*v for v.
5
Let v = 270 - 258. Suppose 0 = 2*b - 6*b + 4*n + v, -b - n + 5 = 0. Solve -b*g + 34 = 14 for g.
5
Let q = -1714 + 1737. Solve q*i - 3 = 22*i for i.
3
Let s be ((-7)/2)/((-1)/(-28))*1. Let m = s - -131. Let r = -28 + m. Solve -r = -p - 3 for p.
2
Let n be 9 - (3 + (-2 - -4)). Suppose 0 = n*s + 32 - 48. Solve -2*r + 12 = s*r for r.
2
Let k = -13672 - -13688. Solve -k*u + 5 - 21 = 0 for u.
-1
Let t be 286/22 + 1*3. Suppose 3*w - 5*z - 4 = -4*z, -2*w - 2*z = -t. Solve w*m + 4 = 1 for m.
-1
Let v be (-14 - -2)*(-3)/9. Suppose -v*f + f = -0*f. Solve y + 3*y + 16 = f for y.
-4
Let w = -211 - -216. Let y = 0 + w. Solve 14 = y*n - 6 for n.
4
Let f(d) = -3*d**2 + 14*d + 27. Let i be f(6). Suppose -5*k = i*j + 2*j + 5, -j = -2*k - 14. Solve 10 - j = 3*m for m.
2
Suppose -12 = -2*k + 4. Suppose 577*a - 140 = 1139*a - 590*a. Solve -a*x + k = -x for x.
2
Suppose -572*j + 133 = -548*j - 275. Solve -76*x - j = -93*x for x.
1
Suppose -106 = -4*v + 3*w, 10 = -0*w - 5*w. Solve 5*z + 20 - v = 0 for z.
1
Let k be (74/(-333) - 79/9)*(-3 - -2). Solve k = -15*c + 24 for c.
1
Let d = 2566 + -2550. Solve -d*o - 19 = 29 for o.
-3
Suppose 6*n = -8*n + 210. Suppose 2*p + n = a, 3*a = 5*a + 2*p - 6. Solve 3*x = a*x for x.
0
Suppose 3*q + 0*q = -57. Let j = q + 23. Let v be j/(-1) - -2 - -9. Solve v = 3*l - 8 for l.
5
Suppose 0 = 51*t - 4 - 47. Let x be ((-70)/98 + t)/((-1)/(-28)). Solve -x*m + 5*m = m for m.
0
Let l be (((-75)/125)/((-32)/200))/(6/64). Solve 0 = 49*q - l*q + 72 for q.
-8
Suppose -9*z + 80 + 244 = 0. Let s be ((-675)/z)/((-3)/1)*4. Solve 3*x = s - 28 for x.
-1
Let w be (1/(3/(3 - 6)))/((-14)/140). Solve 0 = -w*a - 42 - 8 for a.
-5
Suppose 5*h + 2 = 3*i + 12, 0 = -5*h + 5*i + 10. Let q(u) = 7*u + 17. Let b be q(-2). Suppose 8 = 4*r - 3*t, 2*t + b*t = 4*r. Solve -h*a + r = -a for a.
5
Let f = -150 + 179. Suppose s + 3*p = 19, 0 = -5*s - 3*p + f + 6. Solve -s*i - 24 = -20 for i.
-1
Let k be (-1)/2*-1*(11 + 13). Suppose n = -4*p + k, -9*n + 12*n = 4*p + 4. Solve 0 = n*x - x - 9 for x.
3
Let g(x) = -20*x - 83. Let r be g(-17). Let n = r + -252. Solve -n + 2 = d for d.
-3
Let l(w) = -2*w**3 + 41*w**2 - 18*w - 24. Let j be l(20). Suppose 2*z = -3*b + 4, -j = 2*z + 2*z. Solve 0 = b*o - 21 + 9 for o.
3
Let k(r) = r**3 - 2*r**2 + 5*r - 2. Let j = 84 - 83. Let n be k(j). Solve 3*d - n*d + 5 = 0 for d.
-5
Let f(z) = 15*z**2 - z + 2. Let x be f(1). Suppose -17*j + 153 = 119. Solve j*h + 6*h = -x for h.
-2
Suppose -a + 2*q + 8 - 4 = 0, -2 = -4*a + q. Solve a = -6*k + 1260 - 1236 for k.
4
Suppose 2 = -p + 7, -n - 10 = -3*p. Let j(l) = -8*l**2 + 25*l - 3. Let q be j(3). Solve n*b + 5*b - 20 = q for b.
2
Suppose 4*o + 92 = 4*l, -o + 117 = 5*l + 20. Let b be -2 + 1 + 1 - l/(-5). Suppose 0 = -2*n + 4*k + 8, -3*k + 0 = b*n - 16. Solve 0 = p + n*p for p.
0
Let g(k) = 116*k**2 - 346*k - 2. Let n be g(3). Solve 12 = n*r - 0 for r.
3
Let c(w) = -71*w + 215. Let z be c(3). Suppose -v + 0*v = -z*a + 3, -7 = -2*a - 3*v. Solve a*k + 39 = 41 for k.
1
Suppose 0 = 2*w - 4*w, 0 = -5*k - 2*w + 10. Let j = -503 - -504. Solve -v = -k*v - j for v.
-1
Let r(k) = -391*k - 3515. Let l be r(-9). Solve l*z - 1 = -21 for z.
-5
Suppose 3*x = 11 + 1. Let m = 646 + -428. Suppose -m + 218 = 2*t