*n. Is 4 a factor of n?
True
Let k = 46 + -42. Is 2 a factor of ((-6)/k)/((-15)/10 - -1)?
False
Let x(r) = r**2 - 16*r + 50. Let b be x(5). Does 6 divide 7 + 174/3 + b?
True
Suppose 0 = -2*d - 2*n + 19590, -d + 497*n + 9795 = 501*n. Does 209 divide d?
False
Is (4 - 4880/15)/(13/(-78)) a multiple of 3?
False
Let l = 160 + -153. Suppose 2715 = l*c + 216. Is c a multiple of 21?
True
Let h(m) = -m**3 - 11*m**2 + 12*m + 4. Let c be h(-12). Let q be (1 + -2 + 4)/(3/c). Is 14 a factor of q/(((-4)/21)/(-4))?
True
Suppose 3*h - 29562 = 11*z, -43*z + 48*z = 5*h - 49350. Does 4 divide h?
True
Let k = -2494 - -16800. Is 46 a factor of k?
True
Is 31 a factor of 12/294 - (-3529450)/490?
False
Let c = -2460 + 3833. Does 21 divide c?
False
Let x(s) = s**3 - 3*s**2 - s - 8. Let r be x(4). Let o(u) = -2*u**2 + 8*u - 6. Let g be o(r). Let h(b) = b**3 + 10*b**2 - 5*b - 6. Does 21 divide h(g)?
True
Suppose 22 = 4*y - 146. Suppose -48*r + 198 = -y*r. Does 5 divide r?
False
Is (-9010)/(-6)*(-15)/(-5) a multiple of 59?
False
Let a(l) = 24*l**2 + 23*l - 7. Let x be a(-7). Suppose 77*q = 73*q + x. Is 36 a factor of q?
True
Suppose -170902 - 489568 = -34*w - 85530. Is w a multiple of 38?
True
Let y be 1380/(-8) - 4/8. Let v = 679 + y. Does 11 divide v?
True
Let d(k) = 2*k + 44. Let t(w) = -w**3 - 5*w**2 + 4*w - 2. Let i be t(-5). Let o be d(i). Is 5 a factor of 7 - 5 - (o - 17)?
False
Let k be ((-184)/(-138))/((-2)/(-2547)). Suppose 0 = -16*b + 478 + k. Is b a multiple of 34?
True
Does 99 divide (-7 + 4)*(-3126)/18?
False
Does 16 divide (84156/5)/((-40)/(-2200)*11)?
False
Let w = -207 + 203. Is w + (3 - -4) + (0 - -117) a multiple of 6?
True
Is 3258/27*((-24)/3 + 23) a multiple of 103?
False
Let r = -7 + 16. Let b(t) = -t**2 + 13*t + 4. Let g be b(r). Suppose 2*c + w = -w, 3*c - 5*w - g = 0. Is c a multiple of 5?
True
Let u = 8 - 2. Suppose -3*t + 0*t - 864 = 9*t. Is ((-10)/6)/(u/t) a multiple of 9?
False
Suppose 0 = 46*f - 52*f - 1764. Let i = -262 - f. Is 8 a factor of i?
True
Let l(b) = -36*b**2 - 7*b - 13. Let y(x) = -x**2 - x - 1. Let v(a) = -l(a) + 2*y(a). Is 24 a factor of v(4)?
False
Let m be (-1)/(2*(-1)/(-100)). Suppose -5*j = -z + 408, 350 = -4*j + 4*z + 30. Let w = m - j. Is 8 a factor of w?
True
Let v = 717 - 13. Let r = v + -515. Does 41 divide r?
False
Let n(c) = -14*c + 23. Let s be n(-4). Suppose -s*d + 87*d = 5016. Is d a multiple of 12?
False
Let c(p) = -264 + 268 + 28*p + 11*p**2 - 2*p**2 - p**3. Let q be c(9). Suppose 9*a - q = a. Does 19 divide a?
False
Let y = 13 + -7. Let p(c) = 2*c**3 + y*c + 9 - 5*c**2 - 5*c**2 - 4*c**3 + 4*c**3. Is 9 a factor of p(6)?
True
Let v(o) = 11*o**2 + 5*o + 834. Is v(32) a multiple of 8?
False
Let i(j) be the third derivative of 0*j - 17/6*j**3 + 0 + 1/8*j**4 + 11/30*j**5 - 34*j**2 - 1/120*j**6. Does 9 divide i(22)?
False
Suppose 0*n + 3*n - 6 = 0. Suppose 0 = f - 5, -s = -2*s + n*f + 18. Suppose -20*v = -s*v + 600. Is 15 a factor of v?
True
Let j = -24 - -16. Let s(f) be the third derivative of -f**5/60 - 7*f**4/24 + 3*f**3 + f**2. Is s(j) a multiple of 10?
True
Let s = 5883 - 3315. Is 72 a factor of s?
False
Suppose 8448 = 24*a - 26*a. Suppose 12 - 9 = 3*t. Is t/5 - a/80 a multiple of 16?
False
Let c be (-684)/(-90)*15/2. Let r = 77 - c. Is r a multiple of 20?
True
Let b = -300 - -302. Suppose -279 = -b*k + 683. Is k a multiple of 37?
True
Let p(r) = -83*r + 702. Is 27 a factor of p(-60)?
False
Let z = -21 + 24. Let u(o) = o**z + 53 + 7*o**2 - 17 - 16 - 18 - o. Is 13 a factor of u(-6)?
False
Let a(f) = -f**3 - 15*f**2 + 20*f + 56. Let g be a(-16). Is 10 a factor of 6/g - 1725/(-12)?
False
Suppose -2*t = 3*n - 21, 7*t + 13 = 3*t + 5*n. Let l(v) = v**3 + 2*v**2 - v - 4. Let x be l(t). Suppose -217 = -3*z + x. Does 17 divide z?
True
Suppose -5*f + 313410 = w, 2*f + w + 63949 - 189313 = 0. Is f a multiple of 26?
False
Suppose -4*o - 47 = 3*i, -o + 2*o - 3*i = -8. Let f = 19 + o. Suppose f*x - 704 = -0*x. Does 8 divide x?
True
Suppose 0 = h + 3*p - 9032, h + 4*p = 11385 - 2350. Does 7 divide h?
True
Let p = 22902 + -12056. Is p a multiple of 48?
False
Suppose -11*k = -4*s - 10*k + 1043, k - 1297 = -5*s. Let d = s + -226. Does 2 divide d?
True
Let x = -29 - -31. Let t be (1/(-2))/(6/(-24)) - x. Suppose t = -25*l + 21*l + 72. Does 18 divide l?
True
Suppose 2*j - 5*j + g + 73 = 0, -2*j - 5*g = -77. Suppose j*y = 12*y + 2478. Is y a multiple of 19?
False
Suppose -c + 6338 = -6*y, -2513 = y - 2509. Is c a multiple of 41?
True
Let h = 49 + -77. Let j be 120/(-28) + -4*2/h. Is 9 a factor of j/14 + 858/14?
False
Let l(z) = 8*z**3 - z**2 + 2*z. Let c be l(2). Suppose -9*o - y + c = -4*o, -o + y + 8 = 0. Suppose f = -0*f + o. Does 3 divide f?
True
Suppose 6 = -3*d + 21, 0 = m + 5*d - 28. Let v be 45/5 + m + -7. Suppose 2*t + 6 = 4*t - v*k, 5*t + k - 42 = 0. Does 2 divide t?
True
Suppose 194*l = 174*l + 356000. Does 4 divide l?
True
Suppose 3*m + 2*c + 740 = 0, 2*m + 493 = 3*c - 4*c. Let u = m - -1371. Is u a multiple of 19?
False
Let n be (1/(-2))/(1/12). Let k(w) = -20*w + 5. Let l(v) = 20*v - 6. Let u(j) = n*l(j) - 7*k(j). Is 29 a factor of u(4)?
False
Let x = -35 - -45. Let l(d) = -d**3 + 12*d**2 - 18*d + 12. Let q be l(x). Let c = q - -11. Is 4 a factor of c?
False
Is 11 a factor of 1156951/806*-13*2/(-1)?
False
Let b(j) = 52*j**2 - 16*j - 142. Is b(-9) a multiple of 3?
False
Let o = -1479 + 8816. Is 33 a factor of o?
False
Let a = -138 + 301. Let s = 193 - a. Does 10 divide s?
True
Let f be 2*(3/1)/3. Suppose -f = m + 3, -5*m - 45 = -4*s. Suppose 15 = 5*c, -p + s*c + 401 = 3*p. Does 26 divide p?
True
Suppose -4*g + 6*u + 6790 = 7*u, -3*u + 3410 = 2*g. Does 32 divide g?
True
Let m(b) = 2*b**2 - 2*b - 1. Let v be m(2). Suppose -v*i + 9662 = -n, -2*i + 2584 + 3859 = -n. Suppose -17*g - 533 = -i. Is g a multiple of 17?
False
Suppose 0 = -2*o - g + 4134, 2*o = 4*g + 1629 + 2535. Is o a multiple of 23?
True
Let y = 47232 + -31445. Is 130 a factor of y?
False
Let b(g) be the third derivative of g**5/20 - g**4/24 - 13*g**3/6 + 24*g**2. Let m be b(6). Suppose 2*c = -2*h + 22 + 8, 5*h - 2*c = m. Is 8 a factor of h?
False
Suppose 5040 = 3*y + 7*y. Suppose -9*z + 7*z + y = 0. Does 7 divide z?
True
Let a(u) be the third derivative of -5/8*u**4 - 5/3*u**3 + 0 + 0*u - 2*u**2. Does 28 divide a(-8)?
False
Let n(p) = 2*p**2 - p + 6. Let d be n(6). Let w = d - 43. Let g = 49 + w. Is 13 a factor of g?
True
Let a = 33783 - 9187. Is 286 a factor of a?
True
Let y(h) = 3*h**2 - 23*h - 3. Let u be y(8). Suppose 2*k - k = -2*k. Suppose k = 4*n + u*g - 3*g - 198, 2*n = 4*g + 74. Is n a multiple of 8?
False
Let s = 1014 - 1833. Let m = s - -905. Is m a multiple of 3?
False
Let l(k) = 9*k**2 - 69*k + 33. Is 14 a factor of l(-60)?
False
Suppose -453*t + 458*t = 2*i + 16370, -6572 = -2*t - 4*i. Does 17 divide t?
False
Let p = 149 - 145. Suppose 224 = 2*y + p*j, -2*y + 2*j = -2*j - 256. Is 8 a factor of y?
True
Suppose 9*p = 4*p + 1750. Suppose 0 = 4*g - 9*g - p. Let c = g + 110. Is c a multiple of 4?
True
Suppose -5*r - 4 = -3*r. Let o be r/(-3)*(-45)/(-30). Is (-1 + 4 - -71)*o a multiple of 37?
True
Does 23 divide (-1335)/(-2)*624/780?
False
Suppose 5*p - 3*h - 19735 = 0, -4*p - 44*h = -43*h - 15805. Is p a multiple of 95?
False
Let h be 6/(-27)*1*-9. Suppose -h*w - 281 = -g, -w + 293 = -g + 2*g. Does 18 divide g?
False
Is 1864*(3 + (-35)/10)/((-6)/114) a multiple of 19?
True
Let v(x) = 60*x**3 - 19*x**2 + 42*x - 20. Does 23 divide v(10)?
False
Let f be 0 + 1 + (-5 - -6). Suppose h - f - 53 = 0. Suppose -2*i + h = 3*i. Does 11 divide i?
True
Suppose 0*p = p + j - 6076 - 4770, 0 = 2*j. Is p a multiple of 33?
False
Suppose -h + 5 - 3 = 0. Suppose 3*b - 5*s = 69, -h*b = -2*s - 14 - 36. Is 7 a factor of -1 + b + -6 + 7?
True
Let v(k) = 142*k - 3070. Does 27 divide v(22)?
True
Suppose 8*y + 6 = 5*y. Let i be 27/((y/5)/(12/(-10))). Let a = i - 57. Is a a multiple of 8?
True
Suppose 0 = 4*h, 0 = 31*u - 32*u + h + 12705. Does 105 divide u?
True
Let r(z) = 318*z**2 + 232*z - 1904. Does 101 divide r(8)?
False
Suppose 6598 - 18730 = 12*d. Let k = -720 - d. Suppose 0*f + 2*h + 714 = 5*f, -2*f - h + k = 0. Is 36 a factor of f?
True
Let t(f) = f - 90. Let y be t(0). Let q be -15*((1188/30)/(-6) - 2). Let h = q + y. Is h a multiple of 13?
True
Let g(j) = 1608*j**2 