 k a multiple of 103?
True
Suppose 6189 = 8*l + 2093. Suppose -5*k - 222 = -5*d - 1082, -3*k + 4*d + l = 0. Does 11 divide k?
True
Let m be (-2)/(-2) - 22*-52. Let j = m - 419. Suppose -4*x = -j - 14. Does 28 divide x?
False
Let d be 1/(2 - (-1 + 0))*9. Suppose -350 = -2*s - d*s. Suppose 26 = v - s. Is 32 a factor of v?
True
Suppose -19*l - 5*l + 61320 = 0. Does 35 divide l?
True
Let g(b) = -4*b**3 + 8*b**2 + 16*b - 28. Let r(p) = -11*p**3 + 25*p**2 + 47*p - 85. Let l(a) = -8*g(a) + 3*r(a). Is 8 a factor of l(11)?
True
Suppose 13*j = 19*j. Suppose -4*s + 5*s - 2*b - 68 = j, -5*s = 4*b - 382. Is s a multiple of 7?
False
Suppose 15*h - 7554 = 22161. Is 10 a factor of h?
False
Suppose 0 = 5*u - 4*i + 6*i - 14, -4*u + i = -6. Let g be (20/5 + 100)*u/4. Is -3 + 164/g + (-518)/(-13) a multiple of 10?
True
Let j = -298 - 132. Let h = -95 - j. Does 23 divide h?
False
Let l = -238 + 257. Let i = 64 - l. Is i a multiple of 15?
True
Suppose 267*g = -121826 + 729251. Does 14 divide g?
False
Let m be -1 - 335/(-4)*(0 + 4). Let w = 686 - m. Suppose -3*r = 5*r - w. Does 16 divide r?
False
Suppose -h - 3*p = -3642, 2 = -p - p. Suppose 0 = -50*d + 53*d + h. Is 9 a factor of 2/8 + d/(-36)?
False
Let h = 430 + -434. Let k(c) = 6*c**3 + 2*c**2 - 7*c - 11. Let p(z) = -z**3 + 1. Let q(l) = -k(l) - 5*p(l). Is q(h) a multiple of 2?
True
Suppose -2*o + 20 = 3*o - i, -5*o + 2*i + 15 = 0. Suppose -o*s - 7 = -32, -3*s = -3*m - 39. Is 22 a factor of 0 + 46 + m/4?
True
Let k(b) = -b**3 + 7*b**2 - 42. Let g be k(11). Let w = g + 722. Does 4 divide w?
True
Let c(f) = 2*f**3 - 217*f**2 - 172*f + 660. Does 281 divide c(111)?
False
Let r = -1980 + 2940. Let y = -660 + r. Is 13 a factor of y?
False
Does 212 divide 12*(-1)/(-192) + 427390/32?
True
Suppose -s + 5*s = m + 6, 0 = 2*m - 5*s + 3. Suppose -2*q + 3*b + 9 + 0 = 0, 5*q + 3*b = -9. Suppose m*u + 15 = z + u, z + u - 21 = q. Does 4 divide z?
True
Let v(i) = i**3 - i**2 - 7*i - 7. Let s be v(-1). Let h be (-8)/(s - -4)*(-9)/12. Suppose -j = x + h*x - 98, -x + 83 = j. Is j a multiple of 11?
False
Let d(t) = t**2 + 27*t - 1751. Is 31 a factor of d(-69)?
True
Suppose -2*p = 4 - 0, 5*p = 2*z - 10. Suppose 3*q + 3 = 0, 2*o + 2*q - 70 - 10 = z. Is o a multiple of 4?
False
Suppose -2*r + 0*r = -u + 132, -3*r = -u + 133. Let l = -74 + u. Suppose -3*k + 2*o = -266, k - 26 = -o + l. Is 14 a factor of k?
False
Suppose 0 = 2*n - 4*x - 5370, -153 + 8233 = 3*n - x. Is n a multiple of 7?
True
Let p(b) = 2*b**3 - 2*b**2 + 16*b + 24. Suppose -13*t + 545 = 467. Does 48 divide p(t)?
True
Let h(l) = 1 + 26*l**2 + 54 + 10 - 27*l**2 - 12. Let n = 0 - 0. Is 23 a factor of h(n)?
False
Is 7 a factor of 40/(-25) + 2 + 32292/45?
False
Let v(y) be the first derivative of 52*y**3/3 + 3*y**2/2 - 3*y - 1. Let u = 64 - 63. Is 5 a factor of v(u)?
False
Let a(z) = 51*z + 3705. Does 7 divide a(-59)?
False
Let m = 5095 + -5062. Is 33 a factor of m?
True
Suppose 116*o + 33040 = 126*o. Is 144 a factor of o?
False
Suppose 216*v = -78*v - 67*v + 12070396. Is v a multiple of 11?
False
Let t = 67 - 106. Let k = t - -62. Suppose -k*i + 22*i = -36. Is 6 a factor of i?
True
Let f = 17571 - 3164. Does 15 divide f?
False
Suppose 14*d - 26*d + 48 = 0. Suppose 0 = -x + 3*g + 97, 0 = -0*x - d*x - g + 323. Does 4 divide x?
False
Let f(b) = -519*b + 484. Is 111 a factor of f(-19)?
False
Let y(s) = 2*s + 2. Let u be y(-1). Let h = 483 + -479. Suppose -f - 2*z = -u*f - 96, -2*f + 160 = -h*z. Does 11 divide f?
True
Suppose 0 = 5*p + 4*u + 566, -3*p - 3*u = -8*u + 347. Is 47 a factor of 12/p + (-5360)/(-19)?
True
Does 18 divide 1998 + (-2)/4*(-19 - -19)?
True
Suppose a + 5*a - 138 = 0. Let j be (18/(-18))/((2/(-39))/2). Suppose -4*b + j = 3*i, 3*b + 5*i = a + 9. Is 8 a factor of b?
False
Let d(h) = 15*h + 25. Let w = 16 + -3. Let n be d(w). Suppose -19*p - n = -23*p. Is p a multiple of 11?
True
Is ((-1)/(-2) - -1) + (-3 - 15786/(-36)) a multiple of 25?
False
Let d = -27037 - -59707. Is 15 a factor of d?
True
Suppose -x = 5*x - 6846. Suppose -2*o + 4*g = o - x, 3*g = 2*o - 762. Is 15 a factor of o?
True
Let f(g) = -g**2 + 11. Suppose -c + 9*c - 32 = 0. Let w be f(c). Is (-3)/9 + ((-5290)/6)/w a multiple of 28?
False
Let s be (0 - 20)/(8/(-448)*4). Suppose 6*v + s = 7*v. Is 20 a factor of v?
True
Suppose -v = 3*o - 247, o - 113 = 4*v - 9. Does 84 divide o?
True
Suppose 0 = -5*f + 3*o - 25, -4*o + 5 = 2*f - 3*f. Does 59 divide ((10620/7)/f)/((-9)/42)?
True
Suppose 0 = -10*t + 3520 - 1000. Suppose 672 = 2*r - t. Is r a multiple of 59?
False
Let y = 17447 - 17293. Is y a multiple of 13?
False
Suppose 59*y - 24814 - 28880 = 763. Is 8 a factor of y?
False
Let f be (11/33)/(2/120*2). Suppose -22 = -4*o - f. Suppose 0 = -o*b + 6*b - 198. Does 15 divide b?
False
Let r(w) = -156*w + 7290. Does 19 divide r(46)?
True
Suppose -4*n - 27 - 9 = 0. Let f = 11 + n. Suppose 3*a = -f*a + 435. Is a a multiple of 9?
False
Suppose -4*x + 12494 = r, -1069*r + 1074*r + 3*x = 62555. Is r a multiple of 10?
False
Let g(w) = -w + 19. Let p be g(-8). Let j = p + -45. Let o = j + 46. Is o a multiple of 10?
False
Suppose -v = 3*z + 4*v - 23, v = -2*z + 20. Is 45 a factor of 2/(-10) + ((-479226)/(-30))/z?
False
Let r(q) = -7 - 12*q - 11*q - 6*q + 28*q. Let v be r(-7). Suppose -5*u + 221 + 54 = v. Does 4 divide u?
False
Let y be 603/3 - (8 + -6). Suppose h - 71 = r, 3*h - 50*r = -54*r + y. Is 3 a factor of h?
True
Let u(g) = 94*g - 15 - 51*g + 5. Let f be u(-6). Let j = -158 - f. Is j a multiple of 11?
True
Let u = -435 + 481. Let x be (8/(-10))/((-4)/310). Let t = x - u. Is t a multiple of 16?
True
Let l = -344 + 350. Suppose -32*t + 44928 = -l*t. Does 27 divide t?
True
Let x = -14635 - -22283. Is x a multiple of 58?
False
Let y(z) = z**3 + 7*z**2 - 5*z - 16. Is y(10) a multiple of 19?
True
Let j = -120 - -112. Is (1 + 109/(-3))/(j/12) a multiple of 9?
False
Suppose 4*g + 19992 = 4*c, 122*c + 14992 = 125*c - 5*g. Does 14 divide c?
False
Let h(y) = -25*y - 1056. Is 3 a factor of h(-172)?
False
Suppose 16*z - 107520 = -64*z. Is z a multiple of 24?
True
Let l be (27/6)/(3/4). Suppose 4*t - m = -250, 0 = 5*t + 37*m - 41*m + 307. Let g = l - t. Is g a multiple of 23?
True
Suppose -q - 724 = -5*u, 2*q = -7*u + 3*u + 582. Let f = 324 + u. Is f a multiple of 23?
False
Suppose 5*x = -35 + 55. Is 32 + x*4/(-16) a multiple of 7?
False
Let j(s) = -s**3 - 7*s**2 - 4*s. Let v(m) = -m**2 - 4*m. Let g be v(-5). Let f be j(g). Let k = f - -72. Is k a multiple of 14?
True
Suppose -35574 + 8602 = -22*a. Is a a multiple of 9?
False
Suppose 4*l - 4721 = 5*p, 6*l + 2*p - 1177 = 5*l. Does 2 divide l?
False
Let a = -64 - -90. Let s = -29 - a. Let u = -43 - s. Does 7 divide u?
False
Let q be 3 - 133*(-1 - 0). Let f = q - 95. Suppose -f = -10*z + 209. Is 5 a factor of z?
True
Let b be -2 + 4 + -1 + 4. Suppose -6*r + b*r + 72 = 0. Suppose 3*q + 6 = 0, -5*j + 4*q + 16 = -r. Is j a multiple of 8?
True
Suppose -2*x = -2*l + 18, 3*l - 23 - 9 = -2*x. Suppose l*d = 2*d - 960. Is (-8)/(-4) - ((-1)/(-1) + d) a multiple of 25?
False
Let g = 8555 - 1707. Does 32 divide g?
True
Let n(i) = 78*i**2 - 11*i - 14 + i**3 - 6*i - 26*i**2 - 34*i**2. Let c be n(-19). Does 8 divide 2 + -4 - c - 2?
True
Let v(r) be the first derivative of r**4/4 + 17*r**3/3 - 17*r**2/2 + 20*r - 11. Let p be v(-18). Let o(j) = 8*j + 1. Is o(p) a multiple of 5?
False
Is (4 - 100)*((-1302)/(-18))/(-7) a multiple of 11?
False
Let h(s) = -3*s - 11. Suppose 1 - 9 = 2*n. Let i be h(n). Suppose 25 = a - 4*l, -3*l = i + 8. Is a a multiple of 9?
False
Let y(o) = o**3 - 33*o**2 - 92*o + 22. Let b(u) = -4*u - 84. Let x be b(-30). Does 23 divide y(x)?
True
Suppose 170*c = -130*c + 979200. Is 34 a factor of c?
True
Let d be (-11)/(33/(-408)) + 2. Suppose -2*u + d = -5*z, -u + 2*z + 18 = -50. Does 3 divide u?
False
Let d be (-12)/(-8)*4/3. Let w be (165/(-9))/(52/(-5616)). Suppose 0 = 11*k - d*k - w. Is k a multiple of 16?
False
Let v = 120 - 59. Let d be (-6)/7 + (-4 - (-4541)/(-133)). Let f = v + d. Is 11 a factor of f?
True
Suppose -62*l = -59*l - 42. Let t = l + 40. Suppose -t - 10 = -2*u. Is u a multiple of 8?
True
Let r(p) = -1196*p - 1769. Does 123 divide r(-7)?
False
Let c = -25619 + 28667. Is 8 a factor of c?
True
Suppose -a - 1 = 2*y - 7, y = -a + 3. Suppose j = 3*j + y*v - 814,