e 2*p = -2*v + 182, v - 11 + 7 = 0. Let u be -1*(1 + 51) - -1. Let r = u + p. Does 10 divide r?
False
Let g(p) = 8*p**3 - p**2 + 8*p + 2. Let m be g(3). Let h = -185 + m. Does 5 divide h?
False
Suppose -76*i + 81*i - 50166 = -4*w, i = 3*w - 37634. Is 128 a factor of w?
True
Let u = -512 - -754. Suppose -3*a - 8*a + u = 0. Is 12 a factor of a?
False
Let m(v) = -v**3 + 7*v**2 + 11*v - 12. Suppose -4*y = -4*j - 32, 5*y = j - 5*j + 13. Suppose 2*h - 9 = 4*a - 31, -57 = -4*a - y*h. Does 6 divide m(a)?
True
Suppose -5*o - 4*j + 0*j + 5 = 0, 0 = 5*o - 5*j - 50. Suppose -v - 25 = -6*v. Suppose -v*a = -q + 1 + 22, 139 = o*q - a. Is q a multiple of 14?
True
Let d(a) = 195*a - 3189. Is d(53) a multiple of 51?
False
Let v = 5977 + 30353. Is 15 a factor of v?
True
Let p = -2321 + 17797. Is p a multiple of 146?
True
Suppose 4 = -5*k - 1, 3*a - 11 = -4*k. Suppose 48 = -a*o - o. Is 26 a factor of (o - -1)*1248/(-112)?
True
Suppose -8*h = -4*h + 28. Let g(n) = -10*n + 69. Let j(c) = -7*c + 46. Let l(o) = h*j(o) + 5*g(o). Does 18 divide l(-7)?
False
Is 154 a factor of 3/4 - 56/(6048/(-3944403))?
False
Let p(l) = l**2 + 1. Let a be p(0). Is (a - 295/(-2))/(54/144) a multiple of 11?
True
Let a be 0 + (-1 - (-272)/8). Is 31 a factor of 11/a*(1102 + -1)?
False
Let o(z) = -z**3 + 3*z**2 - 2*z + 10. Let b be o(3). Let g be -5 + 1 + b + (698 - 1). Suppose 8*f - g - 791 = 0. Is f a multiple of 39?
False
Suppose 3*k = x - 282 - 2166, 3*k - 4932 = -2*x. Is 4 a factor of x?
True
Suppose -103 = 15*k + 2. Let p(n) = 4*n**2 - 18*n - 172. Does 6 divide p(k)?
True
Let a be ((-1)/(-2) - -1) + (-100740)/(-184). Suppose -t + 521 = 5*s - a, 2*t - 3*s = 2088. Does 105 divide t?
True
Does 57 divide (6/(-5))/(14 - 3285126/234650)?
True
Let m(k) = 384*k - 8968. Is 40 a factor of m(72)?
True
Let d(c) = -2*c**3 - 4*c**2 + 5*c + 5. Let g be d(3). Let r be g/(-21) + (-2)/12*-4. Suppose -5*p - 3*l + 675 = -l, -r*p - 4*l = -540. Is p a multiple of 15?
True
Suppose 67*l + 26*l = 51*l + 62706. Is l a multiple of 195?
False
Suppose 0 = 2*w + 76 - 86. Suppose 2*z = -2*l + 1618, 3*z + 4041 = w*l + 7*z. Does 35 divide l?
True
Let s be 127/((-9)/27*(1 + -4)). Let i = s - 151. Let r(k) = -k**2 - 30*k - 11. Is r(i) a multiple of 19?
True
Let i(j) = -7*j**3 - 2*j**2 + 3*j + 6. Let l(o) = -o**2 - 12*o - 2. Let s be l(-12). Let v(m) = 9*m + 16. Let n be v(s). Is 18 a factor of i(n)?
False
Let g = -188 - -129. Let m = g - -83. Suppose -23*c - m = -24*c. Is 24 a factor of c?
True
Suppose 0*f + 2*f = -3*y + 12, -3*f + 20 = 5*y. Suppose f = -a + 28 + 19. Let j = -26 + a. Is j a multiple of 7?
True
Suppose o + 3*p = -1, 0*o - 3*p = 4*o - 5. Suppose r + 175 = o*u - 866, 5*r - 2061 = -4*u. Is 18/6*(-1 - u/(-9)) a multiple of 17?
True
Suppose 6*f - 6 = 12. Let j(i) = 7*i**2 - 20*i + 1. Let r be j(f). Does 6 divide r/(-14) + 485/7?
False
Let m(v) = -987*v - 864. Does 18 divide m(-12)?
True
Is (-502 - -5*42/(-35))/((-4)/300) a multiple of 100?
True
Does 13 divide (-21302)/(-8) + (-1407)/1876?
False
Let u = 5329 + -4058. Is u a multiple of 15?
False
Let s(l) = -19*l**3 + 5*l**2 + 5*l + 19. Let d be s(-4). Let y = d - 785. Is y a multiple of 34?
True
Suppose -2398 = -2*c - z + 7697, -2*c - 3*z + 10109 = 0. Is 52 a factor of c?
True
Let o be (-5)/(-7)*14/2. Suppose 5*l - 286 = 3*c, -2*c = o*l - 312 + 36. Suppose 0*t - l = -14*t. Is 4 a factor of t?
True
Suppose 144820 = 18*j + 50338. Is 29 a factor of j?
True
Suppose 0 = 6*b + b - 77. Suppose 0 = 2*s + 5 - 21. Suppose -2*n + c + b = -s, 56 = 3*n + 4*c. Is n a multiple of 4?
True
Let a be ((-9)/6)/(1 - (-18)/(-24)). Let r = 453 + a. Does 58 divide r?
False
Let a(c) = c**3 + 27*c**2 + c + 5. Let u be a(-27). Is 6 a factor of u/165 + (-3244)/(-30)?
True
Let w = 35 - 29. Suppose 5*f - 4 = w. Suppose -f*c = -48 - 24. Is 6 a factor of c?
True
Is (-30)/(-105)*21329/22 a multiple of 45?
False
Let v(h) = -1247*h - 10. Let r be v(-2). Suppose 16*i - r - 2476 = 0. Is i a multiple of 10?
True
Is (-1)/(-4) - (-7 - 3/(-12)*-23691) a multiple of 90?
False
Let t(d) be the first derivative of d**2/2 + d - 1. Let v be t(-3). Is 9 a factor of (13 + -15 - v/4)*-30?
True
Let l(p) be the second derivative of p**7/2520 - 17*p**6/720 - 4*p**5/15 + p**4/3 + 12*p. Let j(z) be the third derivative of l(z). Is 24 a factor of j(22)?
False
Let f(j) = 2*j**3 - 6*j**2 + 6*j + 1. Suppose -4*g + 43 = 3*x, -60 = -5*g - 0*g - 5*x. Is 25 a factor of f(g)?
False
Suppose 61*x - 59*x = -4*a + 48804, -a = -5*x + 121922. Is 109 a factor of x?
False
Suppose g = -g + u + 89844, 0 = 6*g - u - 269520. Is g a multiple of 23?
True
Suppose l + 0*l - 2 = 0, 0 = 2*t - l + 210. Let j = t + 114. Is j a multiple of 5?
True
Suppose 0 = 20*h - 16*h + 8. Let b be (416/h)/(-2) - 4. Is 4 a factor of 8/(-5)*b/(-5)?
True
Suppose 2*j = -4*d, d + j = 2*j. Let l be 76/19 - (d + -408). Suppose -2*w - 5*f + 187 = 0, 71 + l = 5*w - 3*f. Does 7 divide w?
False
Does 65 divide 32534 - (-144)/24 - -10?
False
Let x(b) = b**2 - 127*b - 348. Is x(139) a multiple of 17?
False
Let g = 57 + 16. Let r = -251 - -255. Let x = r + g. Is x a multiple of 7?
True
Does 7 divide ((-7252)/231)/14*-258 - 48/88?
False
Suppose 17*h + 20*h + 8732 = 285270. Is 101 a factor of h?
True
Suppose 0 = -0*q + 2*q + 8, 5*q = -2*b - 622. Let i = 509 + b. Does 16 divide i?
True
Suppose 16*q = 19*q - 108. Suppose 612 = -32*b + q*b. Does 51 divide b?
True
Let g(m) = 2*m**2 - 23*m + 660. Is g(-53) a multiple of 49?
True
Is (-2)/(-6) + 220931932/5460 + (-2)/35 a multiple of 18?
True
Suppose -h = 4*m - 31337, 17*h - 19*h = -10. Does 6 divide m?
False
Let n = -148 - -223. Let a = 142 - n. Let d = -43 + a. Does 12 divide d?
True
Let s = 8322 - 4468. Does 39 divide s?
False
Suppose 15*h - 31*h = -64. Is (h + -7 + -1568)/(-7 + 6) a multiple of 17?
False
Does 23 divide ((-60)/(-9) - 7)*-11037 - 1/(-1)?
True
Let k(u) = -u**3 + 18*u**2 - 8. Let m be k(18). Let h = -102 - -149. Let z = h + m. Is z a multiple of 39?
True
Let i = -29 - 7. Let p = i + 191. Is p a multiple of 6?
False
Let z(i) = -i**3 + 26*i**2 + 41*i - 8. Let s = -44 - -71. Does 74 divide z(s)?
True
Suppose 10*j - 4*t + 2726 = 13*j, 2721 = 3*j + 3*t. Does 13 divide j?
False
Let q = -1821 + 2172. Does 72 divide q?
False
Suppose -19 - 20 = -13*s. Suppose n - 11*y = -15*y + 88, -254 = -s*n - 2*y. Is n a multiple of 14?
True
Let v(r) = r**3 + 19*r**2 + 7*r - 8. Let k = 43 + -61. Is 19 a factor of v(k)?
True
Suppose -261*o + 5646803 = 1388327. Is 17 a factor of o?
False
Let o(p) = 3*p**3 + 0*p + 6*p + 46*p**2 + 9 - 7*p - 16*p**2. Is o(-9) a multiple of 29?
True
Let g(b) be the first derivative of -b**4/4 + 10*b**3/3 + b**2/2 - 4*b - 7. Let a be g(10). Let k(o) = 13*o - 11. Does 12 divide k(a)?
False
Suppose -c + 5*w + 1518 + 40 = 0, -2 = -2*w. Is c a multiple of 3?
True
Suppose -12712 = -4*b - 4*u + 8664, -2*u = -5*b + 26699. Does 7 divide b?
True
Let v(m) = -4*m + 29*m**2 + m + 6*m + 18*m - 2. Is v(-3) a multiple of 28?
True
Let n(g) be the third derivative of g**4/24 + 17*g**3/6 - 2*g**2. Let m be n(7). Let o = m - 17. Is 7 a factor of o?
True
Suppose -4*k = g + 11, 0 = g + 3*g + 5*k + 77. Let n = -19 - g. Suppose -n*b = 94 - 682. Is b a multiple of 56?
False
Let k = -777 - -464. Let l = -654 - -1093. Let v = l + k. Is 18 a factor of v?
True
Suppose -4*x + 80 = y - 305, -5*y + 1925 = -5*x. Is y a multiple of 7?
True
Suppose 11*c = -34 + 89. Suppose -r = h + 2*h - 867, c*r - 289 = -h. Is h a multiple of 42?
False
Suppose 0 = -2*r + 4395 + 1565. Let f = r - 2116. Does 37 divide f?
False
Let v be 1/(7/(-14) + 1/(-2)). Let x be (v + 0)/(((-30)/(-18))/(-5)). Suppose 4*t = -2*i + 184 + 160, 5*t - 408 = x*i. Is 28 a factor of t?
True
Suppose 23*t + 299580 + 75596 = 0. Is 17 a factor of t/(-20) - 16/(-40)?
True
Suppose 19*q - 22*q = -5*c - 25102, -4*q - 3*c + 33479 = 0. Is q a multiple of 22?
False
Suppose 29*j = -13871 + 50092. Does 8 divide j?
False
Does 60 divide -34*1*(27 + -147)?
True
Let f(i) = i**3 - 14*i**2 + 20*i - 11. Let d be f(13). Let h = 81 - d. Is 9 a factor of -70*((-39)/15 + h)?
False
Suppose 0 = -2*a - 3*m + 93753 + 16096, -4*a + m + 219649 = 0. Does 15 divide a?
False
Suppose -123*c + 1334497 = 82*c - 38*c. Is 10 a factor of c?
False
Suppose 14*r - 117888 + 8682 - 1856 = 0. Is 54 a factor of r?
False
