for p.
2
Let z(u) = 18*u - 609. Let a be z(34). Solve -17 - 1 = a*x for x.
-6
Let i = 421 - 576. Let y = 178 + i. Solve -7*d + y + 5 = 0 for d.
4
Suppose 2*v + v - 21 = 0. Let y = 38 - 38. Suppose -4*w + v*w + 3*u = 0, y = -4*w + u + 15. Solve 2 = 5*b - w*b for b.
1
Let k = -534 + 540. Let z be 5*k/40*4. Solve 5 = -4*c + z*c for c.
-5
Suppose -2*r + 3*c = -49 - 30, 5*c - 5 = 0. Let k = 845 + -806. Let t = r - k. Solve m = t*m - 2 for m.
2
Let t be 52 + (-10)/6*36/(-30). Solve -t*z + 8 = -50*z for z.
2
Let p be -4*-102*-12*(-4)/384. Solve -22*c - p - 59 = 0 for c.
-5
Suppose 0 = -5*k + p + 402, -1 = 3*p - 10. Suppose 9*a - 18*a + k = 0. Solve a*d + 12 = 3*d for d.
-2
Suppose 3*u + 4*j = -0*u - 75, 0 = -2*u - 3*j - 49. Let l = u + 33. Let m be l/(-6)*(-18)/4. Solve -m = 2*g - 5*g for g.
1
Suppose 3*b = 2*b - 9*b + 3*b. Let u be -6*3/((-9)/2). Let v = u - 2. Solve t + v = -b*t for t.
-2
Suppose -9 = -5*n - 4. Let l(b) = -b - 10. Let p be l(-15). Let d = -2536 + 2552. Solve n - d = p*o for o.
-3
Let n = -4 - -7. Suppose -16 = -f - 3*y, n*f - 4*y + 2*y = 15. Suppose -f - 13 = -5*r. Solve k - 2 = -r for k.
-2
Suppose -439 - 313 = -4*z. Let o = 195 - z. Solve -2*d + o*d = 20 for d.
4
Let r(x) = 16*x - 39. Let g be r(4). Let s(c) = -c**2 - 46*c + g*c - 5 + 29*c. Let p be s(2). Solve -p*t - 9 = -4*t for t.
-3
Suppose 60 = -25*w + 30*w. Suppose 230 = w*p + 11*p. Solve -10*u + 5*u = p for u.
-2
Let y(j) = -3*j**3 - j**2 + 20*j + 44. Let p be y(-3). Solve -7*c = c + p for c.
-7
Let s be ((-3060)/3366)/(2/(-121)). Solve 0 = 33*r - 22*r + s for r.
-5
Let z be 875/1000 - 697/(-8). Solve z = 565*o - 543*o for o.
4
Let b = 20 - 13. Suppose 0 = -b*n + 45 - 31. Solve -2*i - n = -10 for i.
4
Suppose -2*y + 8 = 0, r - 149 = -2*y - 0. Let x = r - 129. Solve 3*t + x = 6 for t.
-2
Let j(v) = -2*v**2 - 67*v - 18. Let y be j(-33). Suppose 4*f - q = q + 10, -1 = -q. Let t(m) = m - 1. Let k be t(f). Solve y = c + k*c for c.
5
Let n be (-1275)/(-7 - -2)*(-28)/(-42). Solve -n*a + 36 = -182*a for a.
-3
Let c be 60*(1/(-4) + 3/(-12)). Let j be c/(-4)*148/555. Let g = 16 + -10. Solve -g*r - 12 = -j*r for r.
-3
Let a be -5 + (-168)/(-4) + -4. Let k = a + -33. Solve k*s = -3*s + 3 for s.
1
Let i be (6/(-3) - -3) + (9 - (-50)/(-5)). Solve i = 4*q - 36 + 56 for q.
-5
Let d(i) = 5*i**2 - 13*i**2 + 5*i**2 - 37 - i**2 + 5*i**2 + 13*i. Let m be d(3). Solve 3*f - m*f + 24 = 0 for f.
3
Let f(p) = 4*p**2 - 364*p - 1792. Let t be f(-5). Solve -7*q = t - 163 for q.
5
Let m be (-10)/(40/(-276))*1. Suppose 0 = -30*p + 53*p - m. Solve 7*l = p*l - 20 for l.
-5
Let b be (52/(-5))/((-8)/20). Let y(h) = -6*h**3 + 22*h**2 + 13*h - 15. Let g be y(4). Solve b = -g*v + 36 for v.
2
Let b = 8947 - 8767. Solve -26*n = 10*n + b for n.
-5
Let m = 18 - -18. Let p = 18 + m. Let s = p + -52. Solve n - s*n = 0 for n.
0
Suppose -u - 18 - 37 = 0. Let k be 4/(-5) + 2431/u. Let o = k - -45. Solve 2*v = -o - 2 for v.
-1
Suppose 3*w + 7 = -q, 2*w = -0*q - 4*q + 12. Suppose q*l = -9 + 39. Suppose l*h - 23 = 49. Solve -2*y = y + h for y.
-4
Suppose -2*a = -a + 45. Let x = -38 - a. Let p(h) = -h**2 + 4*h - 3. Let n be p(3). Solve -2*j - 1 - x = n for j.
-4
Let l(a) = -a**2 + 5*a. Let y be l(5). Suppose y = -2*p + 2*m, 0*m - m = 3*p - 8. Suppose -2*s + 4 + p = 0. Solve 0 = -7*g + s*g + 4 for g.
1
Suppose -38 = -2*y + 4*x, 2*y - 107 = -3*x - 62. Solve -10*j = 11*j - y for j.
1
Let p be (-2 - (-17)/3) + 8/(-12). Suppose -4*x - 2*q + 4 = -5*q, p*x - 2*q = 4. Solve -j = x*j for j.
0
Let x(g) = 7*g**3 - 4*g**2 + 3*g - 1. Suppose -6 = 10*j - 16*j. Let i be x(j). Solve i*a + 0 = 10 for a.
2
Let o(t) = -13*t - 502. Let r be o(-39). Solve -r*y - 130 = -140 for y.
2
Suppose 2 = 5*y + v - 21, -7 = -y + v. Solve -29 + y = 6*f for f.
-4
Let x(r) = 10*r - 4. Let u be x(4). Let h(o) = 4*o**2 + 90*o - 137. Let t be h(-24). Suppose t*f + 2*f = u. Solve f*p = -0*p for p.
0
Suppose 5*v = -2*a + 258 - 6, 5*v - a = 249. Solve 0 = 25*l - 15*l + v for l.
-5
Suppose -3*f + 3*y - 19 = -109, 0 = 3*f - y - 80. Suppose 20*h + f = 25*h. Let n = -60 + 64. Solve -3*x = -n - h for x.
3
Suppose -3*h = -0*h. Let g(a) = -a**2 + 37*a + 124. Suppose 0 = -5*v + 233 - 33. Let r be g(v). Solve -r*y = -h*y for y.
0
Let f(i) = -i**2 + 26*i + 58. Let k be f(28). Suppose k*y + 9 = -r + 17, -2 = y + 2*r. Solve -v = 2*v - y for v.
2
Suppose -726 = -7581*y + 7548*y. Solve -11*g = 33 + y for g.
-5
Suppose 0 = 29*c - 515 - 50 - 1088. Solve -60*a = -c*a + 9 for a.
-3
Let h = 553 - 553. Solve h*j = 23*j - 69 for j.
3
Let m be 5*(29 - 1)*(-6)/40. Let f = 12 + m. Let x be (12/f)/((1 + -2)/3). Solve 7*i - x = 6*i for i.
4
Suppose 2*r = 1988*z - 1985*z - 194, -2*z + 4*r = -140. Solve -34 = -48*m + z for m.
2
Let i = -205 - -197. Let l be ((-28)/i)/(-1 - 9/(-6)). Solve l = v + 11 for v.
-4
Let u be 0 - (-2 - 8/(-4)). Let v(z) = z**3 - 2*z**2 - 4*z - 7. Let k be v(4). Suppose -8*h = -k*h + 2. Solve -h*i - 2*i - 16 = u for i.
-4
Let h be 9*8/(-144)*(-2 + -2). Let t(z) = z**2 + 5*z + 2. Let w be t(-5). Suppose 0 = -w*n + 3*c - 5, -h*n - 2*c = -5*n. Solve -n*a + 4*a - 4 = 0 for a.
2
Let r be (12/8)/((-3)/8) + 118. Solve -7*d = -149 + r for d.
5
Let k be ((-34)/(-6) + -3)*(-1320)/(-32). Solve 78*f = k*f + 256 for f.
-8
Suppose 0*d - 12238 = -29*d. Let y = -406 + d. Solve -2*h + 6 = y for h.
-5
Let s be (-2)/8 + 475/76. Let m(d) = -d**3 - 19*d**2 + d + 23. Let k be m(-19). Solve -c + s = -k*c for c.
-2
Suppose -z + 3*a = 6, -5*z = a - 0 - 2. Let o = -172 - -172. Suppose k + i - 6*i - 14 = 0, 0 = -4*k + 2*i + 20. Solve o = k*j - z*j for j.
0
Suppose 12*g + 1134 = 2*g + 1154. Let s = 19 - 12. Solve g - s = l for l.
-5
Suppose 3*q - 2*j - 5 = 0, q - 3*j = -8*j + 13. Suppose 0 = m + 1 - q. Suppose -m*v = -29 + 9. Solve 10*y - v = 5*y for y.
2
Let a be ((-25)/(-15))/(2/6). Suppose -4*v = -4*f - 8, 5*f + 0*f - 18 = -2*v. Suppose a*h - 10*h + 3*k = 9, -6 = 2*h - f*k. Solve -4*q + 1 + 3 = h for q.
1
Let i(q) = q**3 - 15*q**2 + 54*q + 33. Let y be i(6). Solve -y*n = 22 + 11 for n.
-1
Let v(c) = -c**2 + 8*c - 13*c - 31 + 20*c + 4*c. Let q be v(17). Let g = 8 + -8. Solve g = -b + q*b for b.
0
Suppose 7 = 4*d - 1. Suppose 3*o + 5*n - 810 = 3*n, -n = 4*o - 1075. Let l = -261 + o. Solve 0 = -5*y + d - l for y.
-1
Let w(l) = 2*l**2 + 89*l - 280. Let u be w(3). Solve -8*b = u*b - b for b.
0
Let r = 5119 + -5106. Solve r*m + 9*m = -110 for m.
-5
Suppose -5*k = 2*l - 33, -l - 6 + 0 = -2*k. Suppose p + 345 = 4*j + 334, -j - 11 = -3*p. Solve p + 3 = -l*v for v.
-2
Let b be 4/10 - ((-69)/15 - -3). Suppose 4*v + 464 = -276. Let x = v - -197. Solve -b*f - x = f for f.
-4
Let j be 4/(-2 + (-28)/(-13)). Suppose y - 25 = -44. Let u = j + y. Solve -u = 3*x + 8 for x.
-5
Let q = -35 - -5. Suppose -5*t + 4*g = -138 - 91, 0 = 2*t - 5*g - 95. Let f = t + q. Solve c + 2*c = f for c.
5
Suppose -53 = s - 9. Let t = 48 + s. Solve 3*a - t - 5 = 0 for a.
3
Let b be (-270)/(-38) - (-30)/(-285). Let t be (11 - 14) + 5 + 1. Solve b = 4*r + t for r.
1
Suppose 5*t + 4*i - 89 = 3*i, 0 = -4*i - 4. Suppose 0 = 7*v + t - 116. Let o be v - 0*(-2)/(-6). Solve 0 = 3*s + o + 1 for s.
-5
Let y = 2249 + -2242. Solve y*k - 624 = -589 for k.
5
Let d be ((-276)/42 - -1)*(-122 + 3). Solve -687 = 6*f - d for f.
-4
Let n be 39/(-13)*(-1 + 8). Let q = -18 - n. Suppose 0 = 5*f - 3*l + 9, 2*l + 3 = 3*f + q*l. Solve v - 3 + 2 = f for v.
1
Let y = 1 - -1. Let v = -101 - -103. Let p be v + (8/4 - 2). Solve 0 = -y*u - p*u - 4 for u.
-1
Let g be (-22)/(-2) - 1243/113. Solve -12*j + 63 - 15 = g for j.
4
Let k = 74 + -71. Suppose k*z - 17 = -5*s, s + 5*z = 2*z + 1. Solve 0 = s*x - 5*x + 1 for x.
1
Suppose 172819*t = 172826*t. Let f = -4 + 7. Solve f*j = -t*j - 6 for j.
-2
Let z be 292/(-9) - 224/(-504). Let a(t) = -t**3 - 32*t**2 + 2*t + 74. Let b be a(z). Solve b = -0*f - 2*f for f.
-5
Let f(j) = -76*j + 5530. Let c be f(71). Solve -c + 74 = 15*z for z.
-4
Let o be ((-696)/(-30))/((-1)/35) - -3. Let u = o - -821. Solve -3*n + 3 = u for n.
-3
Let u = 11718 - 11689. Solve 63 + 53 = -u*z for z.
-4
Suppose 1386 = w - 12*w. Let k be w/(-5) - (-3 - (-112)/35). Suppose -c = 2*n - 9, -c + k = c - 3*n. Solve c - 1 = -2*u for u.
-5
Let h = 9 + -4. Suppose -3*s - 4*y = -78, 29*y - 33*y + 92 = 4*s. Solve 13*x - h = s*x for x.
-5
Suppose 1 = -3*f - 4*v