r p.
0
Suppose -4 = 15*r - 17*r. Suppose 0 = -2*t - 8, -r*t = -5*d - 3*t - 4. Solve -7*q + 5*q = d for q.
0
Suppose 2*s = 3*c + 2*c + 15, -c = 3*s + 3. Solve s = 398*k - 395*k - 21 for k.
7
Let n = -6379 - -6394. Let h be -7*((-25)/7 + 3). Solve -h*s - s + n = 0 for s.
3
Let o(q) = q**3 - 16*q**2 + 8*q + 25. Let h be o(17). Suppose 9*v - h = -0*v. Let s be v/10*6/10. Solve 16 = l + s*l for l.
4
Let c(x) = -x**2 + 13*x - 6. Let k be c(2). Let y = 0 + 2. Suppose y*r - 11 = -3. Solve -r - k = 5*d for d.
-4
Suppose -17*c + 32*c = 4*k + 463, c = 3*k + 50. Solve -c*n + 157 = 244 for n.
-3
Let n = -145 + 147. Suppose -2*h - n*h - 4 = 0, -u + 3*h = -15. Solve u = -3*i - i for i.
-3
Let s(g) = g + 21. Let k be s(-20). Let o be (k/2)/(12/1464). Let q = -53 + o. Solve -6*j = -4*j - q for j.
4
Suppose 5*r = -0*r + 15, 0 = -4*x + 4*r + 4884. Let y be 9/(x/16) + (-1016)/(-34). Suppose -y = v - 6*v. Solve v*l - 5*l + 4 = 0 for l.
-4
Let x(u) = u + 2. Let d be x(12). Let z(n) = -n**3 + 15*n**2 - 13*n - 7. Let c be z(d). Let l be (-7)/(-2)*(-24)/(-42). Solve -l*p = c - 3 for p.
-2
Let z be (-3)/(-36)*3*(13 - 1). Suppose z*c = 12 - 6. Suppose 5 = c*n - n. Solve n*q + 0*q + 10 = 0 for q.
-2
Let a = 3 + -1. Let i be (3*1)/(a/28*6). Solve -6*x = i - 1 for x.
-1
Let k = -18 + 12. Let a = k + 10. Let q = -146 + 149. Solve 2*o = q*o - a for o.
4
Let o be 1642/(-14) + (-2)/(-7). Suppose 392*p = 383*p - 1098. Let a = o - p. Solve a*m = 7*m - 6 for m.
3
Let h(t) = 79*t - 370. Let j be h(5). Solve -3*s = -8*s + j for s.
5
Let u = 3473 + -3467. Solve 11*v - u + 17 = 0 for v.
-1
Let t be 31/(2418/(-1144))*9/(-12). Solve 9*a + t - 2 = 0 for a.
-1
Let k be ((-45)/(-20) + -4)/(3/(-276)). Let j = k + -158. Solve j*n = n + 4 for n.
2
Let w(o) = 2*o + 15. Let z(n) = -5*n - 70. Let j be 13/2*(-5)/(5/2). Let a be z(j). Let s be w(a). Solve -r = -s*r - 4 for r.
-1
Let i = 487 - 491. Let s be (-20)/(-12) + 3 + i/6. Solve 6*k + s = 5*k for k.
-4
Suppose 0 = -119*a + 98*a + 6636. Let n = a - 312. Solve 37 = -n*i + 53 for i.
4
Let u be ((-1633)/115 + 14)/(2/(-30)). Solve -u*k - 226 = -214 for k.
-4
Let g = 3136 - 3131. Solve 0 = 5*h + 20 + g for h.
-5
Let n = -13 + 16. Suppose -20 = 47*t - 52*t. Suppose -29 + 1 = -t*j. Solve 4 = n*s + j for s.
-1
Let o(x) = x**2. Let u(a) = 3*a**2. Let l(p) = 20*o(p) - 5*u(p). Let v be l(1). Suppose 5*d = 5 + v. Solve 0 = d*m - 0*m + 6 for m.
-3
Let d(m) = -2*m**3 - 2*m**2 + 1. Let i be d(-1). Suppose -301*u - 4*g - 6 = -299*u, 0 = -3*u - 3*g. Solve -u*f = -i - 2 for f.
1
Let c(j) be the third derivative of j**6/120 + j**5/60 + j**4/6 + 2*j**3/3 + j**2. Suppose -39*q - 25*q - 64 = 0. Let t be c(q). Solve t = 4*d - 12 for d.
3
Let l = 179 + -7. Let w = 191 - l. Solve w = -3*c + 7 for c.
-4
Suppose -8*d - 23 = -q - 3*d, -8*q + 32 = -2*d. Solve 2*p = -q*p + p for p.
0
Let u = -4410 + 4497. Solve -10*t - u + 107 = 0 for t.
2
Let o(u) = -2 + 5 + u - 4. Let q be o(5). Let h(d) = -33022*d - 198130. Let x be h(-6). Solve 6 + q = -x*k for k.
-5
Let z(y) = -29*y + 640. Let m be z(22). Solve -19*d = -21*d + m for d.
1
Suppose -45*o + 49*o = j + 55, 2*o + 5*j = 11. Solve -o*t = 10*t + 92 for t.
-4
Let g be (-1)/(-17) - (1630560/68)/(-20). Solve 1188*x - 77 = g*x for x.
-7
Let q be (-21)/(-9) - (-2530)/15. Suppose 0 = 71*x - 52*x - q. Solve 12*o - x = 15*o for o.
-3
Let q = 4829 + -4829. Solve -13*h - 59 + 7 = q for h.
-4
Suppose 4*k - 2*k = 24. Suppose -7*x - 16*x = 0. Suppose 2*o - o + k*o = x. Solve -2*h = -o + 6 for h.
-3
Suppose -3*j = 3*o - 57, -j = -3*o + 80 - 15. Suppose 2*g = r + 6, -o*g - r = -22*g + 5. Solve -g = -3*m + 2 for m.
1
Let i be (-2 + 83)/((-15)/(-10)). Solve 1185*p = 1176*p + i for p.
6
Suppose 2266 - 3082 = -24*u. Solve u*l - 37 = -71 for l.
-1
Let j(z) = 2*z**2 - 50*z + 36. Let c be j(25). Solve 0 = -6*w + 12*w - c for w.
6
Suppose 2*d + 625 = 27*d. Solve 0 = -10*t + d - 15 for t.
1
Let v = 10787 + -10578. Solve 7 = 210*g - v*g for g.
7
Let r(k) = -k**3 + 6*k**2 + 5*k - 31. Let p be r(5). Suppose 2 = p*n - 93. Solve 7 = 2*y + n for y.
1
Let w be 320/(-240) - ((-397)/3 - 1). Solve 0 = -12*p + 144 - w for p.
1
Let r(m) = -m**2 - 8*m - 3. Let n = 174 - 176. Let h be r(n). Solve 20 = -h*c + 5*c for c.
-5
Suppose -4*b + 89 = -r - 266, -5*b + 4*r = -430. Suppose -9*f - b = -14*f. Let p be ((-5)/(90/4))/((-2)/f). Solve 0 = -3*x + p*x - 1 for x.
-1
Suppose 4*p = -2*o - 36, o + p - 2*p + 21 = 0. Let t be (-32)/o*(-20)/(-8) - 1. Solve 4*s = t*s - 1 for s.
-1
Suppose 0 = 2*i - 18*l + 20*l - 92, l = 5*i - 188. Solve -17*j = -73 + i for j.
2
Suppose 2*p = -3*z + 33, -4*p - 56 = -8*p + 4*z. Solve p*a = -17 - 28 for a.
-3
Suppose 9 = -3*i + 5*c, -2*i - 3 = i - 3*c. Suppose 3*v + i + 25 = 4*d, 5*d + v - 48 = 0. Solve -8*j + 5*j + d = 0 for j.
3
Let n = 20 - 16. Suppose -c + 15 = 5*m, 0 = n*m - c - c + 2. Solve m*h - 3*h + 2 = 0 for h.
2
Let j(z) = -z**3 - 13*z**2 + 14*z + 5. Let p be j(-14). Suppose 3 = -3*l - 3*g, g - 2 = p*l + 5*g. Let k = 4 - -12. Solve 0 = -l*d - 2*d - k for d.
-4
Suppose 42*t = 578 + 262 + 42. Solve 0 = 3163*o - 3166*o + t for o.
7
Suppose 0*g + 6*g - 3*g = 0. Let p(j) = 2*j**2 - 2*j. Let t be p(-2). Suppose -3*f - 3*b + t = g, -2*b - 1 = -5*f + 5. Solve l - 1 = f*l for l.
-1
Suppose 5*h - 468 = 630 - 218. Solve -2*o + 46*o = h for o.
4
Suppose 18*y - 81 = 9. Suppose 12 = -4*k + y*c, 5*k + 3*c + 2*c - 30 = 0. Solve 13 - 13 = -k*p for p.
0
Let c = 14262 + -11849. Solve 2409 - c = 2*t for t.
-2
Let f(q) = -2*q**3 - q**2 - 1. Let n be f(-2). Suppose 160*p + 1494 = 2454. Solve p*t + 20 = n*t for t.
4
Suppose 0 = -109*w - 20*w + 5*w + 1984. Let o = 13 + 16. Solve o*k + w = 25*k for k.
-4
Let o = -10167 + 10167. Solve -2*p - 14*p - 23*p = o for p.
0
Suppose -4*v + 452 = 444. Suppose 8*y - 24 + 0 = 0. Solve -h - y + v = 0 for h.
-1
Let m(y) = y**3 + 31*y**2 + 57*y - 18. Let n be m(-29). Solve -115 = 26*g - n for g.
-4
Let p be 0*((-14)/(-126))/(6/27). Solve p = 16*w - 97 - 31 for w.
8
Suppose 418 = -2*q + 428. Suppose -2*n - 4*t = -q - 3, 3*t = 6. Solve n = 6*i - 3*i + 15 for i.
-5
Let j(u) = u**3 - 2*u**2 + 3*u + 7. Let y be ((-18)/(-117))/((-6)/(-78)). Let v be j(y). Solve 3*f - v = -22 for f.
-3
Let i(x) = 13*x + 5. Let z be i(-1). Let n be (-9)/12 - 6/z - 0. Suppose m = n, m + 6 = 2*y + 3*m. Solve -y*s - 1 = -4 for s.
1
Suppose 470 = 5*f + o + 9*o, -2*o + 290 = 3*f. Solve -291*q + f = -277*q for q.
7
Let x(b) = -b - 1. Let k be -2*(1 + -3) - 5. Let a be x(k). Let i = -13 - -29. Solve a*u = -4*u + i for u.
4
Suppose -7476*s + 3739*s - 8 = -3739*s. Suppose -2*j - 2*i + 18 = 2*j, -18 = -j + 4*i. Solve 10*l = s + j for l.
1
Let j(u) = -2*u**2 + 22*u + 429. Let d be j(-10). Solve -62*m + 71 = d for m.
1
Let o = -17408 - -17455. Solve -54 + o = 7*r for r.
-1
Let s be 19360/363*(-54)/(-4). Let i = s - 720. Solve o + i = 1 for o.
1
Let u = -6364 - -6384. Solve 16*j + u = 11*j for j.
-4
Let f be (-5)/10*(-28)/(-5)*650/(-52). Solve 0 = -48*x + 55*x + f for x.
-5
Let y(q) = -4*q + 10. Let l be y(1). Suppose -2*a - 4 = -4*z + l, -z = 2*a + 10. Solve z = -3*j + 7*j + 12 for j.
-3
Let x(f) = -3*f**2 + 13*f**2 - 413*f**3 + 3 + 414*f**3 + 0. Let v be x(-10). Suppose -3*g + 8 = -7. Solve -g*b - v = 12 for b.
-3
Let a be (396/24)/(1/2). Let h be ((-3)/4 - -1) + 7729/236. Suppose -4*c - h = -a. Solve 2*r + 0 - 2 = c for r.
1
Let f = 3336 - 3336. Solve -3*t = -6 - f for t.
2
Suppose 4*u + 323 - 419 = 0. Suppose 5*l - u + 14 = 0. Solve l*t = -2*t for t.
0
Suppose 580 = -97*w + 2714. Solve 41 + w = 21*k for k.
3
Suppose -85 = 4*r - 5*q - 295, 2*r + q - 112 = 0. Solve r = -32*y + 21*y for y.
-5
Suppose s + 4*b = -20, 140 - 155 = -3*s + 3*b. Solve s = 22*r - 30*r for r.
0
Let m be 60/160 + (4/(-30) - (-41797)/840). Solve m*c - 6*c = 0 for c.
0
Let k be ((134/5)/(-67))/((2/2)/(-105)). Solve -24*o + 330 = k*o for o.
5
Let i = 872 - 787. Solve -i*q + 5 = -90*q for q.
-1
Let z = 47 + -45. Suppose 0 = -z*l + 34 + 208. Let w be (-3)/((-66)/40) + 22/l. Solve 1 = -s - w for s.
-3
Suppose 2146 = 4*n - 2*s, -5*n = -4*n - 2*s - 532. Let h = -535 + n. Solve -h = 6*u - 5*u for u.
-3
Let q(d) = 511*d**3 + d**2 - 4*d + 2. Let s be q(1). Let u = s + -508. Solve -5 = u*x - 7 for x.
1
Let y be (4 + -16)*(-5)/3. Suppose 10*t + 40 = y*t. Solve 0 = -5*b - t + 24 for b.
4
Let r