12 = 0 for b.
2
Let f be 1 + (-12)/(0 - 3). Let b = -181 - -183. Suppose 0 = b*t - 5*u - 47, -4*t - 12 + 99 = -3*u. Solve -f + t = -4*p for p.
-4
Let i = 301 - 451. Let h = 157 + i. Solve h = 4*f + 19 for f.
-3
Let l = 844 - 806. Solve 2*f = 21*f - l for f.
2
Suppose 157 = -160*r + 317*r. Solve 33*k - 32 = r for k.
1
Let l = -414 + 428. Let j be l/(-105)*-25*204/8. Solve j = -y + 83 for y.
-2
Suppose 2 = -6*b + 2. Suppose 0 = -4*y - 0*y + 56. Suppose b = 15*t - y*t. Solve t = -4*q + 5 - 1 for q.
1
Suppose -4*r = -5*u - 143, 2*r - u = -0*u + 67. Let z = -36 + r. Let o be (z/(-5))/(2/5). Solve -o*a = a for a.
0
Let y = -2166 + 2186. Solve 23*g - 27*g + y = 0 for g.
5
Let y(l) = 4*l + 10. Suppose 5*n - 5 = 0, -5 = -2*s + 3*s - 4*n. Let a be s/4 - 112/64. Let q be y(a). Solve 2*g + 0*g = -q for g.
-1
Let w(v) = -6*v + 16. Let k be w(-6). Suppose 7*j + k + 53 = 0. Let y = j - -17. Solve 0 = b + y*b + 12 for b.
-4
Let u(o) = o**2 - 22*o - 200. Let r be u(29). Suppose 4*d - 8 = 2*d. Suppose -2 = 2*w - d. Solve w = r*a + 4 for a.
-1
Suppose -12*w + 6 + 306 = 0. Suppose 14*i - w = i. Suppose 0 = -5*u + 3*d + d + 49, 16 = 2*u + i*d. Solve -3*b + 6*b = -u for b.
-3
Suppose 1535*q + 81*q = 2 - 3 + 1. Let d be (0 - 0) + (1 - -1). Solve -d*k = -q*k for k.
0
Let q(x) = 7*x**2 + 39*x - 263. Let v be q(-16). Solve v = -7*k + 905 for k.
0
Let z(u) = 3*u**2 - 8*u - 6. Suppose 19 - 21 = 2*t. Let f be z(t). Solve f = -5*w + 10 for w.
1
Let i(u) = 16 + 3 - 2 + 6*u + 5*u + 3*u**2. Let l(m) = -4*m**2 - 10*m - 16. Let x(s) = -3*i(s) - 2*l(s). Let n be x(-11). Solve q + n = -2 for q.
-5
Let r(b) = -7*b - 39. Let d(s) = 3*s + 20. Let h(n) = 5*d(n) + 2*r(n). Let a be h(10). Let c = 32 - a. Solve -2*x + 7*x - 10 = c for x.
2
Let d be (-159)/(-3)*(2 - (-2 + 3)). Let t = d - 49. Suppose 2*k + t*z = 0, 0 = 4*z - 1 + 5. Solve 5*r + 3 = k*r for r.
-1
Let w = -4184 + 4223. Solve -10*x - 58 = -w*x for x.
2
Suppose 2*g + 2*h = -3*h - 6, -2*h = 2*g + 6. Let f(n) = n**2 - 3*n - 14. Let k be f(g). Solve -2*t - 2 = -k for t.
1
Let y(a) = -3*a**3 + 2*a + 2. Let d be y(-2). Let z = -656 + 668. Suppose -7*r = -2*r + 2*l - 16, -4*l = -r + z. Solve r*f = d - 2 for f.
5
Let c be ((-6)/(-30) - 1)/((-1)/5). Suppose 3*j = c*m + 15, -2*j = -5*j - 3*m - 6. Suppose -5*n + 6*n = j. Solve -5*l - 26 = -n for l.
-5
Let v(t) = t**3 - t**2 + t + 4. Let x = 31 - 1. Let h = x + -30. Let u be v(h). Solve u*w = -w for w.
0
Let r be (1*3)/(39/26). Suppose -r*j + 4*w = -64, 7*j - 5*w - 119 = 3*j. Let i = -26 + j. Solve i = 4*t - 6*t for t.
0
Let h be ((-10192)/(-42))/7 - 2/3. Solve h = -21*d - 13*d for d.
-1
Suppose -3*g + 16 = a, -g + 4*a - 36 = -6*g. Let x be 3*g/(-6) + 3. Solve 2*k = 3*k - x for k.
1
Let n(u) = -2*u**3 - u**2 - 16*u - 63. Let r be n(-3). Solve 10*x + r = -10 for x.
-4
Suppose 3*p + 9 = -5*f - 0, -2*p - 6 = 2*f. Let b be 1*(-393 - 0)/(-3). Let s = b - 128. Solve -s = 3*z - f*z for z.
-1
Let f = -86 - -34. Let h = -52 - f. Let i = 3 - h. Solve t = 2*t - i for t.
3
Let g(p) = -p**3 + 3*p**2 - 6*p + 7. Let z be g(2). Let k(d) = d - 1. Let v be k(-5). Let j be (-9)/z + -2 - v/(-2). Solve 3 - 11 = j*l for l.
-2
Suppose 0 = n - 5*o - 10, 4 = 3*n - 5*o - 16. Let d be 20 - (19 + (19 - 21)). Solve 17 = -n*y - d for y.
-4
Suppose 4*c = 4*t + 1332, -27*t - 1019 = -3*c - 29*t. Solve 344*a - 7 = c*a for a.
1
Let z(n) = -2*n**2 - 30*n + 3. Let j be z(-15). Suppose 5*q - 307 - j = 0. Suppose u + q = 63. Solve 3*h = 5 + u for h.
2
Let j(r) = r**2 - 7*r - 24. Let x be j(8). Let g be 171/33 + x/88. Suppose -4*c + 14 = -b, -c - 2*b = 2*b + g. Solve u = -c*u for u.
0
Suppose d + 3*i - 20 = 0, -4*d + 9*d - 3*i - 10 = 0. Suppose 0 = d*c - 36 + 6. Solve 0*n + 18 = c*n for n.
3
Let m be (32/(-24))/((-1)/3). Suppose 0 = -k + 19*x - 15*x - 1, 0 = 2*k - 4*x - 2. Solve -k = -m*n + 7*n for n.
-1
Let a be -1*((-651)/(-42))/(2/(-28)). Solve 4*h = 225 - a for h.
2
Let t = -272 - -270. Let j be ((-20)/(-25))/(t/(-25)) - 3. Solve 3*p - j*p + 4 = 0 for p.
1
Let y be (90/25 + -6)/(7/((-2835)/36)). Solve -325 = y*g - 163 for g.
-6
Let g be (1 + -5)/((-189)/(-81) + (-3)/1). Suppose n - 7 = 4. Solve g - n = y for y.
-5
Let o be (-1)/(12/(-20))*(-4 + (-287)/(-35)). Solve -o*d - 215 = -201 for d.
-2
Let m = 51 - 47. Suppose 7 - 3 = -m*p + 4*l, -2 = -p + 4*l. Let b be (-14)/(-4)*p*(-1)/1. Solve -16 = -b*q + 3*q for q.
4
Suppose 5953 = -72*h + 6529. Solve -h*x = x for x.
0
Let u be (9 + -8)*(-64 + -1). Let p = 73 + u. Solve -x = -3*x - p for x.
-4
Let d = 283162 - 283147. Let h(v) = -2*v - 9. Suppose a + 0 = -6. Let l be h(a). Solve -d = -l*r - 0*r for r.
5
Suppose -2*c - 473 = 7*k - 11806, -6470 = -4*k - 2*c. Solve k*z + 30 = 1631*z for z.
3
Suppose -85 = -94*w + 156 + 229. Solve 6*g + 23 = w for g.
-3
Let l(k) = -k**3 + 19*k**2 - 22*k + 55. Let r be l(18). Let i be (-6)/(-4)*(-11 - r). Solve -12*h - i = -9*h for h.
-3
Let h = 416 - 420. Let r be 7 - (h - -1 - -7). Solve -r*l = -4*l for l.
0
Suppose 2*m = -3*m - 0*m. Suppose m = 2*u - 5*v - 1, 2*u + 19 = 4*u + v. Let r = -3 - -7. Solve -r*a + 0*a = -u for a.
2
Suppose 2*h - 54 = -2. Let f be 4*(-2 + 1)*h/(-8). Solve -f*p = -9*p + 8 for p.
-2
Suppose 646 + 635 = 21*t. Solve -40 = -53*a + t*a for a.
-5
Suppose -d - 29 = -4*k, 3*k = -2*k - 4*d + 31. Let u be 6 - ((1 - (-12)/(-3)) + 6). Suppose -6 - 3 = -u*v. Solve -v*f - 4 = -k*f for f.
1
Let d be (15 - 8)*9/21. Suppose 0 = -d*f - 28 + 49. Solve f*o + 12 = 3*o for o.
-3
Suppose 192 = 29*s + 192. Solve s = 133*n - 132*n + 4 for n.
-4
Let l = -189 - -88. Let i = l + 123. Suppose -5*b = -0*q - 3*q + 5, -b = 4*q - i. Solve q*v + 21 = 1 for v.
-4
Suppose 2*h + 5*y = -40, 0 = 4*h - 3*y + 39 + 41. Let d be (4/6 + h/3)/(-1). Suppose -6*u - 3*n + d = -3*u, 0 = -2*u + 2*n. Solve 3*k + u = -2 for k.
-1
Let v(k) = k**3 + 6*k**2 - k + 2. Let w be v(-6). Let s = 1 - 1. Suppose s = -2*f - 2 + 6. Solve -f = 5*x + w for x.
-2
Let h be (-1498)/(-98) + -15 + 3*5200/84. Solve 18*t = -h + 42 for t.
-8
Suppose 0 = 3*o - 2*w - 550, -4*o + 8*w - 12*w + 720 = 0. Solve -186*f + o*f + 8 = 0 for f.
2
Suppose -401 = -2*q - 333. Suppose q - 34 = -a. Solve a = -v - 3*v + 20 for v.
5
Suppose 884*u - 820*u = 2752. Solve -71 + u = -7*v for v.
4
Let w(y) = -19*y**2 + y + 6. Let h be w(-3). Let u = -166 - h. Solve -4 = -u*a + 3*a for a.
-4
Let l = -124 + 127. Let d(y) = 5*y**2 - 12*y - 7. Let c be d(l). Solve -3 = 3*n - c*n for n.
-3
Let y be ((-24)/(-9))/((-2)/(-24)). Suppose 2*d - y = -2*d. Let x(j) = -j**2 - 22*j - 98. Let c be x(-15). Solve c*o = d*o for o.
0
Suppose -3*h = -3*d + 1773, -2*h + 135 = 153. Solve 22*i = d - 626 for i.
-2
Let y be (-23)/(-46) + 0 - 158/(-4). Solve -y = -48*l + 38*l for l.
4
Let s = 14 + -12. Let t(f) = f**3 + 2*f**2 - 32. Let u be t(0). Let z be ((-8)/(-14))/(u/(-112)). Solve s*r + z*r = -8 for r.
-2
Suppose 0 = l + 2*f - 27 - 8, 2*l = 5*f + 97. Let y = 42 - l. Let a = 307 - 301. Solve -5*u + a = y for u.
1
Let b = 107 + -31. Let r = 267 + -333. Let q = r + b. Solve -m - q = -3*m for m.
5
Let d(p) = 7*p - 59. Let y be d(18). Let t = y - 61. Suppose t*b - 4*b - 28 = 0. Solve 4 = 5*a + b for a.
-2
Suppose x - 8 + 0 = 0. Let w = x - 8. Let z(b) = b**3 + 5*b**2 + b + 7. Let y be z(-5). Solve -2*n - y = -w for n.
-1
Let w(m) = -m**2 + 12*m - 14. Let z be w(10). Let n be (-18)/4*(-8)/12. Let q(i) = 2*i**2 - 2*i + 3. Let b be q(n). Solve z*c = c - b for c.
-3
Let k = 41448 + -41437. Solve 5*b = -19 - k for b.
-6
Let s = 3 - 0. Suppose -7*f + 9 - 34 = -2*f, 0 = -5*q + 5*f + 45. Let d(v) = v**2 + 2*v + 2. Let w be d(-3). Solve -w = -s*t + q*t for t.
-5
Let n = 19994 + -19989. Solve -212 + n = -23*x for x.
9
Let t(f) = -1646*f + 17. Let j be t(0). Solve -j*k + 162 = k for k.
9
Let x(k) be the first derivative of k**2/2 - 29*k + 16. Let a be x(13). Let h be (a - 0)/(-1) + -3. Solve 7 = 5*j - h for j.
4
Suppose -5*f + 11 + 14 = 0, -28 = -3*y + 4*f. Let n = y + -15. Let v be -4 + (1 - -4) - n. Solve t = -v*t for t.
0
Let v be 10/8 - 1 - (-28)/16. Let j = -5872 - -5876. Solve 0 = -j*a + v*a for a.
0
Let j(f) = -493*f + 6957. Let t be j(14). Solve 28*r + t = 17*r for r.
-5
Let z(u) = u + 6. Suppose 2*f - 3 = -2*b + 9, -b - 2*f + 5 = 0. Let l be z(b). Suppose -23*o = -l*o. Solve j + 2 + 3 = o for j.
-5
Let z = -118 + 110. Let p(q) = -3*q - 15. L