- 5, -v + 4*t = -0*t + 3. Suppose -z + 32 = 2*d - 96, d = -4*z + 505. Is (-5)/(-10)*1/(v/z) a multiple of 13?
False
Suppose -101*d + 41817 = -44841. Is d a multiple of 143?
True
Let k(p) = -5*p**2 + 22*p. Let w(o) = 6*o**2 - 22*o + 1. Let s = -4 - -9. Let q(g) = s*k(g) + 4*w(g). Is 13 a factor of q(21)?
False
Let t = -55 - -17. Let p = t + 101. Let u = p - -1. Is u a multiple of 11?
False
Suppose 5*n - 631 = 1029. Suppose -2*v + n = -4*j, -2*v + j - 63 = -386. Does 31 divide v?
False
Let u be (-24)/15*(-15)/6. Suppose -5*w = -2*f - 762 - 1938, -4*w + 2188 = u*f. Suppose -w - 82 = -6*g. Does 40 divide g?
False
Let y(l) = -9*l**3 - 11*l**2 - 44*l - 382. Is 116 a factor of y(-9)?
True
Let u be -3*3/18 - (-2)/4. Suppose u = 2*x + x. Suppose x = -2*o + n + 38, n = 2*o + 3*n - 38. Is o a multiple of 14?
False
Let s be -1 - ((-1 - 48) + 2). Let y be 54/(-36) + (-110)/4. Is s*1*(-116)/y a multiple of 23?
True
Suppose -z - 12274 = -5*p, 5*z - 5307 = 3*p - 12645. Is 11 a factor of p?
False
Suppose -j + 5*x = 3, 6 = 3*j - j - 4*x. Let a(h) = h**2 - 5*h - 6. Is a(j) a multiple of 8?
True
Let j(b) = 200*b + 5882. Is j(93) a multiple of 7?
False
Suppose 9*x = 7*x + 144. Let z = x + -69. Suppose z*s - 284 = 436. Is s a multiple of 16?
True
Suppose 4*y - 5379 = -3*g, -2*y + 6*g = 2*g - 2684. Is 16 a factor of y?
True
Let i(o) = -o**3 + 15*o**2 + 33*o + 39. Let g be i(17). Suppose 0 = 6*p + 484 - g. Let a = -54 - p. Is a a multiple of 6?
False
Let l(s) = 2*s**3 - 26*s**2 + 20*s - 102. Is 85 a factor of l(17)?
True
Let r(g) be the second derivative of g**4/12 + g**3 - 26*g**2 - 47*g. Let m be r(-11). Suppose 0 = -2*l - m*x + 471, 2*l + 469 = 4*l + x. Is l a multiple of 13?
True
Let z = 23 - 19. Suppose -2*k + 298 = 3*c - 5*c, -z*c - 449 = -3*k. Let h = -98 + k. Does 24 divide h?
False
Let b(i) = i**3 - 21*i**2 - 298*i - 18. Does 30 divide b(32)?
True
Suppose 46 = 22*p - 42. Suppose -p*m + 1453 = 49. Is 9 a factor of m?
True
Let x = 445 - 439. Does 9 divide -4 - 278/x*(-20 + 17)?
True
Suppose -1212*v + 384190 = -1202*v. Does 107 divide v?
False
Suppose -10*w + 3065 = -1355. Is 17 a factor of w?
True
Let o(m) = -15*m + 22. Let u(v) = -46*v + 66. Let p(h) = -11*o(h) + 4*u(h). Let g be p(-3). Let q = g + -55. Does 16 divide q?
False
Let s(z) = -z**3 + 11*z**2 - 7*z - 22. Let t be s(15). Let f = 1713 + t. Does 14 divide f?
True
Let i be ((-14)/(-42))/((-1)/(-12)). Suppose 251 - 15 = z - 2*x, -i*z + 5*x = -941. Does 13 divide z?
True
Let t = 158 + -149. Suppose -92 = 7*a - t*a. Is a a multiple of 23?
True
Is (-336)/((-28)/12 + (-4)/(-2)) a multiple of 14?
True
Let b be 1634/209 + (-4)/(-22). Suppose 5*d + b = 7*d, -j = -3*d - 552. Is j a multiple of 12?
True
Suppose -3*i = -p, 0*p + 13 = -2*i + 5*p. Is 14 a factor of i - (-10)/(-4) - (-2440)/16?
False
Let h be 75/50*20/6. Suppose -4*p = -h*d - 509, 628 = 5*p - d + 3*d. Does 19 divide p?
False
Let k(v) = -v**2 + 14*v + 17. Suppose -4*c + m + 9 = -51, 2*m = -c + 6. Does 6 divide k(c)?
False
Suppose a - 4*m - 34 = -4, 4*m = 3*a - 58. Suppose -k = 2*o - 176, -a*k + 9*k = -o - 935. Is 10 a factor of k?
False
Let v = 5017 - -2431. Is v a multiple of 7?
True
Let n(c) = -4*c**2 + 36*c + 3. Let l be n(9). Suppose -4*h + 5*t = -3040, 0 = -8*t + l*t. Is 14 a factor of h?
False
Suppose 542*o = 538*o. Suppose 13*x - 3408 + 756 = o. Is 17 a factor of x?
True
Let f = 55 + -180. Let o = -122 - f. Suppose r - 32 = -5*g, -r - o*g + 38 = -0*g. Is 8 a factor of r?
False
Let j = 6886 - 4615. Does 3 divide 2/(-28) - j/(-42)?
True
Let j = -1527 + 4068. Is 142 a factor of j?
False
Let t(j) = -3*j + 7*j**2 + 3 - 2 + 1. Let u be t(1). Is 36/(-15)*(-15)/u even?
True
Let x(t) = -t**3 + 17*t**2 - 23*t - 8. Let v be x(13). Suppose 6*a - a - 1915 = -h, a + 3*h = v. Does 64 divide a?
True
Let g = 6391 - 3709. Is g a multiple of 24?
False
Let s be -3*40/36*12/(-10). Suppose -3*u + 215 = 5*v, s*u + 7*v - 2*v = 290. Is 24 a factor of (u - 0 - 0)*4/3?
False
Is 103 a factor of 2 + 16996 + -2 + (4/2 - 3)?
True
Let z(t) be the first derivative of -19*t**2/2 + 28*t + 71. Does 7 divide z(0)?
True
Let x(q) = q**3 - 9*q**2 - 9*q - 8. Let w be x(10). Let y(a) = 3*a - 4. Let v be y(w). Suppose -3*t - 3*f + 210 = -0*f, -5*t = -v*f - 322. Is t a multiple of 5?
False
Suppose -5*m = -3*x + 8029 - 659, 20 = -5*m. Does 7 divide x?
True
Suppose -396 = -3*y + 3*c, -5*y - 5*c + 630 = -0*c. Suppose 0 = 2*t + 3*o + y, 234 = -3*t + 3*o + 3. Let h = 247 - t. Does 17 divide h?
False
Let c(d) = -51*d**3 - 15*d**2 + 13*d**3 + 37*d**3 - 34 - 5*d**2 + 8*d. Does 25 divide c(-21)?
False
Let y(a) = 4*a**2 - 4*a + 7. Let f(q) be the first derivative of 5*q**3/3 - 3*q**2/2 + 7*q + 10. Let u(b) = -2*f(b) + 3*y(b). Is u(5) a multiple of 14?
False
Let g = 3612 + 1671. Suppose -12*j = -g - 5037. Is 36 a factor of j?
False
Let s(q) = 3*q**3 + 7*q**2 - 7*q + 25. Let r(p) = -p**3 + 5*p**2 - p + 10. Let x be r(5). Is s(x) a multiple of 45?
True
Is (13 - 558)/(7 + (-180)/25) a multiple of 161?
False
Let m(r) = 2*r**3 - 33*r**2 - 61*r - 82. Let g(b) = b**3 - 16*b**2 - 30*b - 40. Let q(i) = 7*g(i) - 3*m(i). Is q(16) a multiple of 7?
False
Let j(g) = -2*g**2 - 124*g - 143. Is 3 a factor of j(-43)?
True
Suppose -35*g + 350551 + 842849 = 199*g. Is g a multiple of 50?
True
Suppose -47 = o - 1. Let z = o + 54. Suppose -z*f + 50 = -22. Does 2 divide f?
False
Suppose 5*o - 3*n - 494502 = 0, 10*o = 6*o + 2*n + 395604. Is o a multiple of 24?
True
Let b = 17587 + -14696. Is 8 a factor of b?
False
Let f(h) = h**3 - 21*h**2 + 133*h + 22. Is f(22) a multiple of 29?
False
Let l(v) = 7*v**3 - 13*v**2 + 15*v + 9. Let r(m) = -4*m**3 + 7*m**2 - 8*m - 5. Let n(y) = 3*l(y) + 5*r(y). Is n(2) a multiple of 4?
True
Let j = 77231 + -18841. Does 9 divide j?
False
Let s = 9985 - 9481. Is s a multiple of 3?
True
Suppose -8*y + 196 = 52. Suppose -79 = -5*i + 3*n, -82 = -5*i + 2*n + 2*n. Suppose i*s + 28 = y*s. Is 4 a factor of s?
False
Let x(m) = -m + 1. Let s be x(27). Is 9 a factor of (-4)/(-26) - 4208/s?
True
Let q(n) be the second derivative of n**5/5 - n**4/2 + 27*n**2 + 182*n. Is 54 a factor of q(6)?
True
Suppose 0 = -5*h + 3*z + 58722, 5*z - 18431 = -5*h + 40259. Is 53 a factor of h?
False
Let d(p) = p**3 - p**2 - 5*p + 3. Let w be d(3). Let s = w - -44. Is s a multiple of 5?
True
Let u = 8264 - -465. Is 29 a factor of u?
True
Let v = -166 - -170. Suppose 0 = 3*c + 3*k - 48, -2*c + v = 5*k - 13. Does 21 divide c?
True
Suppose -838 - 160 = -b. Let n = b + -512. Suppose -2*i - n = -20*i. Does 10 divide i?
False
Suppose 3*l = -3*f + 15240, 6*l = 8*l + 5*f - 10169. Is 70 a factor of l?
False
Let m = 462 - 459. Suppose 3*r - 2463 + 6474 = m*o, 5*o = 3*r + 6675. Does 18 divide o?
True
Let d be (6/9)/(6/720)*-1. Is 1/((-4)/d) - (8 - 7) a multiple of 19?
True
Let u be (100*21/28)/((-1)/(-1)). Suppose u = 7*o - 16. Let d(p) = -p**2 + 14*p - 9. Is d(o) a multiple of 3?
False
Suppose -29*l + 3218185 = 285*l - 3026961. Is 70 a factor of l?
False
Suppose 0 = 4*s - 3*s - 12. Suppose 0 = -14*t + s*t + 4. Suppose n = t*n - 20. Is n a multiple of 11?
False
Let v(k) = -189*k - 12. Let m be v(-4). Let x = m - 549. Is x a multiple of 13?
True
Let r(c) = 3 - 3 + 2 + 0 + 5*c. Let n(o) = -o. Let x(u) = 6*n(u) + r(u). Is 11 a factor of x(-9)?
True
Suppose -43*g - 26 = -284. Does 5 divide (-624 + -1 + g)*-1?
False
Let s = -3099 + 5595. Suppose 66 = -9*l + s. Is l a multiple of 10?
True
Let z = -20 + 24. Let u be 14*z/(-4 - -6). Is 8 a factor of 546/u + (-2)/4?
False
Let s(x) = 27*x**2 + 2*x - 1. Let c be s(1). Suppose -2*h = 5*f + 152, 3*h = f + h + c. Let a = f + 140. Is a a multiple of 11?
True
Let s = 696 - 692. Suppose 6*a + 1088 = 5*v + 2*a, s*v - 870 = 3*a. Does 18 divide v?
True
Let s = -32607 - -64699. Is s a multiple of 55?
False
Let g = 3680 + -2814. Is 20 a factor of g?
False
Suppose n = 2*w + 2*w, 3*n = w + 44. Let j(y) = 8 - 5*y - 2*y - y**2 + 6*y + n*y. Is 16 a factor of j(8)?
True
Suppose 185*w = -227*w + 66*w + 4758538. Does 17 divide w?
True
Suppose w + 0*w + 4 = 0, 5*f - 6 = -w. Suppose -4*l - 2*t = -2742, -f*l - 3*l + 3*t + 3411 = 0. Is l a multiple of 38?
True
Let o = -1727 - -2867. Is 23 a factor of o?
False
Let a(x) = 178*x - 613. Does 8 divide a(50)?
False
Let n = -609 + 594. Does 52 divide 1092/(-98)*910/n?
Tru