Solve 3*x - 5 = a*x for x.
5
Suppose 5*q + k = 10, -13*k - 20 = -5*q - 12*k. Solve -11 = q*m - 5 for m.
-2
Let a = 12 + -8. Suppose d = 3*j - a*d + 45, 0 = j + 3*d + 29. Let z = j - -28. Solve 3*w = -w + z for w.
2
Let w be 536/18 + (-4 - 304/(-72)). Solve -w + 3 = -9*p for p.
3
Let v(h) = -h**3 + h**2 + h. Let r be (-1 - -1)/1 + 0. Suppose n - 5*n = r. Let a be v(n). Solve f + 4*f = a for f.
0
Let u = -110 + 132. Suppose -2*t + 3*t = 2. Solve 4*l = t - u for l.
-5
Let t be (-18)/(-81) - 3884/(-18). Suppose 2*w + w = t. Let j be (3/12)/(6/w). Solve j*h + 0 + 3 = 0 for h.
-1
Suppose 0 = 2*t - 4 - 14. Suppose 3*r - 2*r = -2*q - t, 3*q = -3*r - 12. Let k be (-4)/(-6) + 8/6. Solve k*o - 3 + r = 0 for o.
1
Let d(q) = -10*q + 123. Let i be d(11). Solve 0 = -5*k - i*k + 72 for k.
4
Suppose -2 = o, 3*o + 0*o + 6 = 5*t. Suppose 0 = 4*z - 3*y - 5 - 14, t = 3*z + 4*y + 17. Suppose -z = l, -2*l = -3*n - 3*l - 1. Solve n*c + c = -2 for c.
-2
Let m be (18/42)/((-1)/(-7)). Suppose 0 = -m*o, -b - b - 3*o + 8 = 0. Suppose f - 19 = -0*f - b*x, -5*f + 2*x = -7. Solve -2*l - f*l - 20 = 0 for l.
-4
Suppose -25*c + 8 = -21*c. Let p(n) = -2*n + 4. Let g be p(c). Solve -2*l + 2 = -g*l for l.
1
Let o be 1*(-3)/(-12) + (-351)/(-4). Solve -84*r + o*r + 20 = 0 for r.
-5
Let p be (0 + 4)/4 + 1. Let u be 0/(2 + -5 + 2). Suppose u = -3*a + 4*a - 3. Solve -5 = a*o + p*o for o.
-1
Suppose -7*h = 9*h. Solve h = 7*y - 0*y for y.
0
Let o = -5 + 12. Suppose 5*x - 30 = -4*g, 0 = -4*x + 4*g - g - o. Let n be (1 + -1)*(-1)/x. Solve 2 = 2*a - n for a.
1
Let f(h) = h**3 + 5*h**2 - 2*h - 4. Let p be f(-5). Suppose 2*j + p = 6. Solve 3*d + 22 - 7 = j for d.
-5
Let i(c) = -4*c**3 - 37*c**2 - 12*c - 15. Let m be i(-9). Solve 10*o - 8 = m for o.
2
Suppose 0 = 3*w - 14 - 16. Suppose -15 = -3*z, 2*z - 40 - w = -5*d. Solve -d = 2*b - 0 for b.
-4
Let x = 63 - 79. Let w be 4/(x/(-4) + -2). Solve 3 = s - w*s for s.
-3
Suppose -135 = -6*g + g. Let y(n) = 16*n - n**3 + 2 - 12*n**2 + 8 - g*n. Let l be y(-11). Solve -2*w = 3*w + l for w.
-2
Suppose 0 = -3*u - 29 + 5. Let q = u - -32. Solve 5*d - 4 = -q for d.
-4
Let g be (4 + -3)/(3/42). Let b(f) = -2*f + 31. Let o be b(g). Solve 0*s + o*s - 15 = 0 for s.
5
Let i = 33 - 28. Suppose i*v - 8 = 7. Solve m = v*m for m.
0
Suppose -6*l + 5 = 17. Let f(m) = m**2 + 10*m + 2. Let y be f(-10). Let s = l + y. Solve s + 2 = -2*z for z.
-1
Suppose -230 = -22*n + 78. Solve -n = 13*d - 1 for d.
-1
Let s = -1323 - -1333. Solve -s*n = -36 - 14 for n.
5
Let m be (0 - -16)/1 + -1. Let t = 109 + -174. Let y = t - -67. Solve s + m = -y*s for s.
-5
Let t = 45 + -37. Suppose -n + t*n = 21. Suppose -k + 5*a + 40 = 0, -47 = -2*k - n*a + 2*a. Solve 5 - k = 5*l for l.
-4
Suppose 3*z - 5*v + 2 = -6, -5*z + 4*v + 4 = 0. Let n(u) = 6*u - 10. Let i be n(4). Solve -6 = z*o - i for o.
2
Let j be ((-1)/3)/((-14)/(-168)). Let i be (-4)/(j + (-2 - -4)). Solve 9 - 1 = -i*a for a.
-4
Let m(z) = -z**2 - 16*z - 12. Let i be m(-15). Let r be ((-57)/38)/(i/(-4)). Solve -d + 2*d - r = 0 for d.
2
Suppose 14*l - 5*l = 5*l. Solve x = -l + 1 for x.
1
Let z(o) = -o**2 + 2*o + 90. Let l be z(0). Let k = 92 - l. Solve -11 = 3*t - k for t.
-3
Suppose -5*t + 25 = -u, -3*t + 16 = -4*t - 4*u. Suppose -5*h = -3*a - 12, a - t = -2*h + 2*a. Solve h = -2*v + 6 - 0 for v.
3
Let l(u) = -2*u + 7. Let t be l(-6). Let d = t + -17. Solve 0*c - c = d for c.
-2
Suppose 0 = 11*a - 8*a + r - 12, -2*a + 25 = -5*r. Solve -b - 2 = -a for b.
3
Let g = 4 + -1. Suppose -40 = -2*v - 3*k, -g*k - 98 = -5*v + v. Suppose 7 - v = -a. Solve -a = -u + 5*u for u.
-4
Suppose 4*k - o - o - 50 = 0, 5*k - 40 = -2*o. Solve k*r = 4*r + 24 for r.
4
Suppose 3*x + t = 26, 3*t - 22 = -5*x + 4*x. Solve 0 = x*u - 5*u for u.
0
Suppose k = 5*h + 21, 4*k - 2*k + 4*h = 14. Solve 5 - k = 2*g for g.
-3
Suppose 0 = -34*c + 45*c - 1155. Solve -c*q = -103*q - 8 for q.
4
Let s(v) = -v**3 - 23*v**2. Let b be s(-23). Suppose b = -6*t + 3*t + 3. Solve -t = -0*n + n for n.
-1
Suppose -4*j = -5*s - 75, -3*s = -8*s - 15. Let q be 0*(25/j)/5. Solve 4*h - 12 = -q for h.
3
Suppose 4*l - 87*w + 90*w - 15 = 0, -5*l - 2*w = -17. Solve l*z + 9 = 6*z for z.
3
Let z = -125 + 131. Solve z*i + i + 21 = 0 for i.
-3
Let t = -214 - -239. Solve 8*y - t = 3*y for y.
5
Let t(h) = -h**2 + 11*h + 80. Let w be t(16). Solve 6*k - 15 - 3 = w for k.
3
Let i(r) = 14*r - 8. Let j(u) = -5*u + 3. Let x(a) = -6*i(a) - 17*j(a). Let k be x(11). Suppose 3 + 6 = 3*g. Solve s = -g*s - k for s.
-2
Suppose 1872 = 44*x + 464. Solve -8*k + x - 24 = 0 for k.
1
Let n be 18*(6/9)/2. Let y = -1 - n. Let c = y - -11. Solve 12 = -0*k + c*k for k.
3
Let h(z) = 2*z**3 - 3*z**2 + z - 2. Let u be h(2). Suppose 4 = u*m - 3*m. Suppose 5 = -4*g - 3*n, m*g + 1 = -n + 2. Solve -3 + g = -w for w.
2
Let m be -2 - -2 - 8/4. Let s be 8 + m + 24/(-12). Solve -j = -s*j - 15 for j.
-5
Suppose -14*h = -19 - 23. Solve -3*w = -4*w + h for w.
3
Suppose 3*w + r = -w + 68, 5*w - 96 = -4*r. Suppose -9*l - w = -11*l. Solve l*p = 4*p - 4 for p.
-1
Let x be 2 - 1 - (-46 + 37). Let t = 14 - 9. Solve t*n + 5 = -x for n.
-3
Let y = -422 - -426. Solve y*u + 5 + 7 = 0 for u.
-3
Suppose -19*t - 56 = -208. Solve 22*a = t*a + 56 for a.
4
Let u = -20 - -22. Suppose 7 = u*j - 3. Solve -j + 2 = -3*m for m.
1
Let m be 0/((-2)/(-2)) - -1. Suppose 0 = -0*c + 42*c - 126. Solve c = n - m for n.
4
Let m be -1 - -3 - (-1 - 2). Let f = -63 - -108. Let s = 48 - f. Solve 2*t = m + s for t.
4
Let k(r) = 2*r + 42. Let s be k(-18). Let u be (-5)/s*(9 + -3)*-1. Solve 0 = -u*o + 4*o - 1 for o.
-1
Suppose 36 = 15*o + 6. Solve s + 15 = -o*s for s.
-5
Suppose 2*n + 9 = 3*p, 2*p - 4*n = 3*p - 3. Solve -22 = 8*i + p*i for i.
-2
Suppose -4*b + 2*f + 20 = 0, 0 = 3*f + 2*f. Suppose 0 = -2*u - b*u - 84. Let h be ((-10)/12)/(u/72). Solve -h*o - 3 = 7 for o.
-2
Suppose 26*g = -3*g. Let x be 1/(-2)*-1*4. Solve 0 = 2*m - g*m - x for m.
1
Let g be (-2)/19 - 0 - (-35870)/3230. Solve 45 = -20*r + g*r for r.
-5
Let q be 2/13 + (1 - 150/(-39)). Suppose -4 = 4*y + k - 7, -4*k = -12. Solve 5*i + y = q for i.
1
Suppose 2*b = -5*z - 10, -4*z = -5*b + 3*b - 10. Suppose 2*i + 15 - 23 = z. Solve -4*q - 12 - i = 0 for q.
-4
Let k = 234 - 231. Solve k*i - 8 = i for i.
4
Let g be -4*(-4)/48*-6. Let m be (-2)/(-4) - (-7)/g. Let x(h) = -h**3 - 3*h**2 - 4*h - 5. Let y be x(m). Solve -4*b + y = -1 for b.
2
Let j = 13 - 26. Let b be (6/(-9))/(2/30). Let p = b - j. Solve p*h - 2*h + 5 = 0 for h.
-5
Suppose 140 = 7*o - 0*o. Let h(n) = n - 15. Let g be h(o). Solve -4*u + g = 9 for u.
-1
Let m = 25 + -25. Let a be 1 - (-2 - -6) - 25. Let t be m*(a/(-8))/(-7). Solve t = 5*q + 20 - 0 for q.
-4
Suppose -5*u = 5*w - 35, 7 + 13 = 4*u + 2*w. Suppose 5*j - u*s - s = 6, 2*s - 8 = -3*j. Solve 7 = -j*d + 1 for d.
-3
Let n be (-440)/72 + (-2)/(-18). Let u be n/(-2) - 0/2. Solve 0*i + 12 = -u*i for i.
-4
Suppose -i - 2*i = 12. Let x be (-2)/i - (-4374)/36. Let f be x/6 + (-12)/36. Solve 3*g = -g + f for g.
5
Let k be 430/25 + 3/(-15). Solve 5*w - 3 - k = 0 for w.
4
Let z be 4/(-7) + 39/7. Let s = z + -4. Suppose 0 = -5*c + 26 - s. Solve c*i = 4*i - 4 for i.
-4
Suppose 0 = p - 3*d - 7, 2*p + d = -3*d + 4. Suppose 0 = 20*r + 4*r - 72. Solve -r*u - p = u for u.
-1
Suppose 3*b - 7 = 20. Let r be (-2)/3 - (-69)/b. Suppose t - 3*c = -9, -3*t - 2*t + r = -2*c. Solve 3*w + 0 = -t for w.
-1
Let d = -11 - -13. Let k be (3/d)/(3/14). Let s = k - 0. Solve 12 = -s*p + 3*p for p.
-3
Let q = 69 + -69. Solve 0 = -q*j + 4*j + 8 for j.
-2
Suppose -6 = 515*b - 516*b. Solve -b = -3*l - 0*l for l.
2
Let j(b) = 5*b**3 + 2*b**2 - 5*b + 2. Let l be j(1). Solve -8 - l = 6*r for r.
-2
Let v be 2/(-5) - (-348)/20. Suppose 4 = 3*c - v. Suppose 4*k + 6 = c*k. Solve 0 = -a - 4 + k for a.
-2
Suppose -38*z = -33*z - 10. Solve -2*q + z - 4 = 0 for q.
-1
Let t(g) = -g**2 - 7*g + 9. Let k be t(-6). Let j = 32 - k. Solve -5*i = -j - 3 for i.
4
Suppose -13*t - 4*p = -10*t - 16, 3*t = 3*p + 9. Solve -t = -4*i + 8 for i.
3
Let v be 1*(-20)/(-3 + -1). Suppose -2*c + n = -3*n + 10, -v*n + 18 = 3*c. Solve 11 + c = 4*r for r.
3
Let t(q) = -6*q - 31. Let m(w) = w. Let z(v) = 4*m(v) + t(v). Let d be z(-18). Solve d*p - 10 = -0*p for p.
2
Let j(r) = 7 + 2*r + 1 - 7. Let w be j(1). Solve w*y = 4*y for y.
0
Suppose f - 3*i = -3, -3 = -5*i + 