a for a.
3
Let c(i) = 2*i**2 - 4*i + 14. Let v be c(3). Solve 0 = 13*p + v + 32 for p.
-4
Suppose -4*o - 2*i + 26 = 0, 17 = 5*o + 5*i - 23. Suppose o*z + 2 + 13 = 0. Let p = z + 5. Solve p*k - k + 4 = 0 for k.
-4
Let p = 4667 + -4659. Solve p*r + 90 - 74 = 0 for r.
-2
Suppose -6*t + 195*t - 756 = 0. Solve -t - 35 = 13*j for j.
-3
Suppose 7*i + 4 = 9*i. Suppose -5*x - a + 21 + 8 = 0, -28 = -4*x - i*a. Suppose -4*p - 5*p = -x*p. Solve 0 = -3*j - p*j for j.
0
Let l = 3586 + -3478. Solve 103*a + 10 = l*a for a.
2
Let y(t) = -t - 1. Let h be y(-5). Let b = 638 + -386. Let s = -252 + b. Solve s = h*z + 11 + 9 for z.
-5
Let q be (-159)/212*4*-1. Let y(u) = 10*u - 14. Let g be y(q). Solve 0 = 16*b - 20*b + g for b.
4
Let p be 3/((-3)/(-2))*2. Suppose 13 = -h - 4*q, 52*h - q = 55*h - 5. Suppose -5*w + 2*b + 5 = h*b, -3*b = w + 13. Solve w*k - k = p for k.
4
Let f = 3957 - 3922. Solve f = 2*h + 27 for h.
4
Let x = -41 - -26. Let n = x - -17. Suppose -n*o = -2*y + 14, 8*o - 14 = -2*y + 4*o. Solve y*r = 2*r for r.
0
Let l = 6005 - 5992. Solve -l*h - 8 = -15*h for h.
4
Let i be 4*((-885)/(-60) + -9). Solve 0 = -i*m + 17*m + 6 for m.
1
Suppose -6*d = -d. Suppose -2*u + 16 = 3*b, u + b = 5*u - 18. Suppose -u*v + 25 = 10. Solve -s - v - 2 = d for s.
-5
Let r = -87 + 88. Let i be 1/r - (1 + (-45)/5). Suppose -8*x = -i - 63. Solve -9 = x*s - 12*s for s.
3
Let q be 14 - (-5 + 11)*1. Solve 0 = q*r - 12*r + 4 for r.
1
Let d be ((-4)/(-10))/((-187)/85 + 2). Suppose -1 + 2 = -t. Let h be (2 + d)/((-2)/(t/1)). Solve h*v = v + 2 for v.
-2
Let o(z) = 3*z**2 + 4*z + 2. Let w be o(0). Let x be 1 - 5 - (54/(-3))/w. Solve -21 = 13*a + x for a.
-2
Suppose 2*a = 5 + 1. Suppose z + a = 7. Suppose 0*w = -z*w + 12. Solve u - 8 = -w*u for u.
2
Let p = 76 - 77. Let m be p + 6 + 0/(-11). Suppose z + 6*h = 7*h, -16 = -m*z - 3*h. Solve w + z*w = -9 for w.
-3
Let o(c) = -2*c + 3. Let u(f) = -10*f + 15. Let w(s) = -11*o(s) + 2*u(s). Let q = 113 + -109. Let d be w(q). Solve -3*l - d = -2 for l.
-1
Let n = 4502 + -4479. Solve -n*h + 27 = -88 for h.
5
Let a be (-240)/3 - -4*(-2)/(-4). Let l be 3*(0 + a/(-9)). Let p = 29 - l. Solve 3*c = -0 - p for c.
-1
Let v = -21661 - -21700. Solve 4*h = v - 19 for h.
5
Let a be 2 + -1 + 1 + 81 + -78. Suppose 4*k - 3*h - 31 = 0, 4*k + 0*h - 55 = -a*h. Solve -14 = -2*r - k for r.
2
Let t be 18/(-153) + 200300/340. Solve -22*v = t - 677 for v.
4
Suppose 7725*d = 7733*d - 10944. Solve d - 1404 = 9*b for b.
-4
Let f(l) = l**2 - 28*l - 250. Suppose 17*n = 49*n + 288. Let w be f(n). Solve w - 89 = -3*t for t.
2
Let p be (-1)/((-4)/4*(-6)/(-678)). Solve 31*f - 73 = p for f.
6
Suppose -36 = q - 5*q. Solve q = 2*m + 3 for m.
3
Suppose -5*o - 2*a + 6 = 0, 47 = 3*o + 20*a - 25*a. Let q be 2 - (-20)/(4 - 2). Suppose -o*s = -k - q, -4*k - 12 + 4 = 4*s. Solve 0*v = s*v for v.
0
Let d(p) = p + 30 + p**2 + 3*p**2 - 27 - 3*p**2. Let u be d(0). Let b be (24 - 23) + 3 + -3 + 2. Solve b*o + 0 = u for o.
1
Let f = -1 - -3. Suppose -48*y + 84 + 108 = 0. Suppose 0 = -3*u - f*o + 16, u - y*o = -4 + 14. Solve u*l + 5 = 5*l for l.
-5
Let u = -184 + 112. Let r = u + 75. Solve r*c + 13 = 7 for c.
-2
Let x(a) = a**3 - 3*a**2 - 4*a + 10. Let l be x(4). Let n be 4/l + 4/(-10). Solve n = 5*s - 8 - 2 for s.
2
Let a(u) = 15*u - 28. Let m be a(2). Let t = 16 - 10. Suppose 10 = -5*g, -i + t = 5*g + 1. Solve -5*v + m*v = -i for v.
5
Suppose 30*v = -1071 - 819. Let j be (-423)/v - 4/(-14). Solve j*t - 3*t = -8 for t.
-2
Let t be (14/(-4))/(4/8). Suppose -534*w + 98 = -520*w. Let r = w + t. Solve r*n + 2*n = 6 for n.
3
Let h(q) = q**3 + 15*q**2 - 16*q - 7. Suppose -3*m - 3 = 0, -3*n + 36 = -5*n - 4*m. Let b be h(n). Let x = b + 11. Solve -3*l + x = -l for l.
2
Let a be -10*(4 + (-138)/45)*-3. Suppose 0*b = -14*b + a. Suppose 3*x - x + b = 0, -4*x - 4 = 4*o. Solve 0*i - i - 1 = o for i.
-1
Let s = 42401 + -42401. Solve s = 14*n + 6*n - 120 for n.
6
Let t(l) = -2*l - 1. Let o be t(-5). Suppose 0*i - o = -3*i. Let c = -14959 + 14959. Solve c = -p + 1 + i for p.
4
Let f(a) = -a**3 + 91*a**2 + 105*a - 728. Let v be f(92). Solve 464 = d + v for d.
-4
Let j be 6*((-6675)/(-90) + -13). Solve -55*y - j - 18 = 0 for y.
-7
Suppose 0*b - 5 = -b. Let t(v) = -v**2 + v + 2. Let h be t(0). Let q be ((-25)/70*(-2)/5)/((-1078)/(-22638)). Solve q*p + h = b for p.
1
Let d = 11952 - 11938. Solve d*p + 13 = 27*p for p.
1
Suppose -14*b + 2554 = 706. Suppose 18*r = 7*r + b. Solve -9*c = -3*c + r for c.
-2
Suppose 0 = -2*r + 3*g - 0*g + 7, 5*g = -5. Suppose -f + 4 = f. Let s be 1 + 7/(-14)*-4. Solve -r*i + s*i = -f for i.
-2
Let b = 112 - 103. Suppose -b*q + 15 = -4*q. Solve q*c = -0*c for c.
0
Let x(v) = -12*v - 104. Suppose 3*z + 0*z = -c - 29, -5*z - 51 = 3*c. Let i be x(z). Solve -5*r + i*r - 3 = 0 for r.
-3
Let r(b) = -b**3 + 4*b**2 - b - 10. Let s be r(-2). Solve 136 = 20*o + s for o.
6
Let f(b) = 5*b**2 + 3*b - 3. Let q = -302 + 299. Let d be f(q). Solve -2*g + d = 23 for g.
5
Suppose -68*i - 1086 = -2922. Solve 130 = i*s + 292 for s.
-6
Let t(y) be the first derivative of 17*y**3/3 - 5*y**2/2 - 4*y + 96. Let v be t(2). Solve -59*b + v*b - 20 = 0 for b.
-4
Let t(f) = 12*f**2 + 7*f + 7. Let n be t(-1). Suppose j - n = -2*l, -4*l + 34 = 3*j + 4. Solve -8*v = -j*v - 2 for v.
1
Let u(l) = 6*l**2 - 12*l - 14. Let s be u(-1). Let r = 12 - 7. Suppose a = 6*n - s*n - 5, -r*n + 2*a = -15. Solve -n = o - 6*o for o.
1
Let v(j) = -j**2 - 13*j - 75. Let k be v(-26). Let r = k - -431. Solve -r = -s - 14 for s.
4
Let l(d) = -6*d - 7. Let n be l(5). Let g = 64 + n. Suppose 2 = -j, 0 = 2*x - 0*x + 3*j - 18. Solve x = -3*u + g for u.
5
Let h be (((-80)/(-120))/((-4)/(-978)))/1*3. Solve 485*i = h*i + 28 for i.
-7
Suppose 48*u - 1154 + 312 + 410 = 0. Solve u*o - 928 = -955 for o.
-3
Let y be ((-8)/6)/(456/(-113202)). Solve -y*q - 10 = -321*q for q.
-1
Suppose -185*x + 160*x + 2700 = 0. Solve -110*o = -x*o + 10 for o.
-5
Suppose d = 2 + 6. Let x(t) = -t - 1. Let f(p) = 4*p + 7. Let k(n) = -3*f(n) - 24*x(n). Let b be k(0). Solve b*u + d = -u for u.
-2
Let d = -3263 - -3269. Solve 401*f - 395*f + d = 0 for f.
-1
Let j be ((-2)/4)/((-2)/16). Suppose -4*g + 14*z = 11*z - 8, 5*g - 3*z = 10. Suppose -8 = -g*c - 4, -l = -5*c - 11. Solve 5 - l = j*i for i.
-4
Let j = -745 + 748. Solve -j*q - 16*q - 57 = 0 for q.
-3
Let g = 262 + -258. Suppose 5*z - 34 = 2*q, g*q - 2*q - 8 = -2*z. Solve 0 = -h + 3 - z for h.
-3
Let x(c) = -c + 12. Let r be 4/26 - -115*(-3)/(-39). Let z be x(r). Suppose -4*i = z - 3. Solve i = 4*v + 4 - 20 for v.
4
Let y be 50/175 + 309/21. Solve 0 = y*v - 60 + 150 for v.
-6
Suppose -v + 24 = 7*v. Let u be (-36)/(-60) - ((-378)/15)/v. Solve u*j - 2 = 7*j for j.
1
Let k = 228 - 227. Suppose 0 = -5*f - 2*z + 12, -7*z = 3*f - 12*z - k. Solve 23 = 5*r - f for r.
5
Suppose -403*k + 796*k = 403*k + 870. Suppose 5*s = 3*s - 180. Let g = k - s. Solve 0 = -g*n - n for n.
0
Suppose c + g + 40 = 0, -c = -3*c + 4*g - 86. Let r = c - -65. Let h = -24 + r. Solve -3*j - j - 12 = h for j.
-3
Suppose 1397 + 3532 = 31*m. Solve -m - 73 = -58*f for f.
4
Let k = -59 - -63. Let x be 1/(-2)*(-49 + 39). Solve b - x = -k for b.
1
Let s = -109 - -131. Let h(r) = -r**3 + 20*r**2 + 43*r + 31. Let p be h(s). Solve 0 = p*x - 2*x + 28 for x.
-4
Suppose -35*b = -580 - 260. Solve -2*x + b = 6*x for x.
3
Suppose 5*b = -3*o + 3*b + 54, 2*o - 4*b - 20 = 0. Suppose 0 = -o*m - 14*m + 90. Solve m*z + 13 = 16 for z.
1
Let u(f) = 208*f**2 + 5*f + 4. Let n be u(-1). Let r = 216 - n. Solve 7*o - r*o = 2 for o.
-1
Let f = -20235 + 20367. Solve 32*t + t - f = 0 for t.
4
Let s = 336 + -268. Suppose 0 = 4*y - 4*c - s, 3*y - 4*c = -8*c + 79. Solve -11*j = y - 76 for j.
5
Let o(y) = 28*y**2 - 2. Let h = -651 - -652. Let w be o(h). Solve -5 = -7*c - w for c.
-3
Let u = -22 - -31. Let s be -6*(u/2 + -2). Let o be (3 - 1) + (s - -14). Solve 2*g - 1 - o = 0 for g.
1
Suppose 50*u - 45*u - 30 = 0. Solve -12*a = -u*a - 12 for a.
2
Let u(o) = -2*o**2 - 81*o + 18. Let r(f) = -f**2 - 40*f + 9. Let y(n) = 13*r(n) - 6*u(n). Let b be y(-34). Solve -b*k = -0*k - 18 for k.
2
Suppose -113 = -a - h, -5*a = 2*h - 235 - 318. Let w = -44 + a. Let d = 74 - w. Solve 2*b - 5 = -d for b.
-2
Let j(v) = -5*v**3 - 3*v**2 + 20*v + 51. Let o be j(-2). Solve -o*q = -9*q + 210 for q.
-7
Suppose 