k a multiple of 23?
False
Suppose -4*d = -7*d + 4*l - 150, -2*d - 4*l = 100. Let v(h) = h**3 - 7*h**2 - 19*h - 5. Let f be v(9). Is 25 a factor of (d/6)/(f/126)?
True
Is ((-165)/33)/(5 + (109746/3135)/(-7)) a multiple of 7?
False
Suppose -5*a + 3770 = 4*r, 5*r - 3*a = -a + 4696. Let g = r + -568. Does 31 divide g?
True
Let o = -118 + 80. Let k = -1341 + 1459. Let w = o + k. Is w a multiple of 5?
True
Suppose 4*d = 2*i - 4 - 18, -d - 5*i = -11. Suppose -2*s + 70 = 3*y, 5*y - 7*y + 3*s = -51. Let t = y - d. Is t a multiple of 7?
True
Suppose -4*k = -b - b - 4, -5*k + 5 = -3*b. Suppose -3*l + 4*t = 374, b = -4*l + 5*t - 516 + 19. Let z = 63 - l. Is 32 a factor of z?
False
Let n = -120 + 124. Let l(t) = 72*t + 28. Is l(n) a multiple of 36?
False
Let d = -11040 - -28405. Is d a multiple of 144?
False
Is (-205 - -3572) + 1*13 a multiple of 10?
True
Let b = 367 + -262. Does 9 divide (-4)/42 + 6625/b?
True
Let z(v) = v**3 + 8*v**2 - 9*v. Let l be z(-9). Let p be ((-26)/(-12))/((-3)/(-90)). Suppose 3*y = 3*q - 3 - 42, 4*q + y - p = l. Is q a multiple of 16?
True
Suppose -w - 2 = -6. Suppose -4*h - 24 = -w*a, 5*h + 13 = 3*a - 9. Does 3 divide (21/a)/(5/20)?
True
Suppose 178*f - 64350 = 113*f. Is 9 a factor of f?
True
Let p = 474 - 338. Suppose -133*h - 525 = -p*h. Is 13 a factor of h?
False
Suppose 0*p + 36 = 6*p. Let n be 1 - 2/4 - (-57)/p. Suppose -5*m - 30 = -n*m. Is 3 a factor of m?
True
Let w(p) = -23*p - 94. Suppose -2*r + 56 = -9*r. Does 19 divide w(r)?
False
Let d(w) = 4*w + 28. Let t be d(-6). Suppose t*m - 2*o - 68 = o, -5*m = -2*o - 92. Is 6 a factor of m?
False
Let l = 448 - 7. Let a = l + -306. Is a a multiple of 27?
True
Let k be (-3 + (-19)/2)*-54. Suppose 7*z - 2278 = -k. Suppose -u + 4*j - 607 = -4*u, u - 4*j = z. Does 50 divide u?
False
Let r = 26 + -18. Suppose -r*z = -6*z - 40. Suppose 2*n + t - 178 = 4*t, -5*t + z = 0. Is 19 a factor of n?
True
Let c(i) = 7*i**2 + 2*i - 4. Let w be c(7). Let l = -251 + w. Is 17 a factor of l?
True
Let f = -631 + 1208. Let j = f + 1775. Does 10 divide j/(-32)*(-1 + (-2)/(-6))?
False
Let a be (2/(-6))/(15/(-675)). Let z be (2 - (-100)/a)*3. Is (0 - (-26)/3)/(z/351) a multiple of 9?
True
Suppose 10*n - 3*n = 357. Is 26 a factor of (68/n)/((-4)/(-78))?
True
Suppose -7*z + 18 = -24. Let n(s) = 2*s - 12. Let p be n(z). Suppose 20*m - 25*m + 320 = p. Is 16 a factor of m?
True
Suppose -982771 = 155*g - 2717841. Does 40 divide g?
False
Let i(v) = -v**3 - 13*v**2 - v + 14. Let z be i(-13). Let s = z + 222. Is 14 a factor of s?
False
Let c be (-4)/(5 - 1) + 30/2. Let b = -11 - -13. Suppose c = -b*u + 198. Is 30 a factor of u?
False
Let l = 411 - 407. Suppose 2*h + l*a - 91 = 101, -5*h = 2*a - 480. Is 3 a factor of h?
True
Let v(x) = 78*x**2 - 68*x - 97. Is 23 a factor of v(7)?
False
Let t(c) = -1857*c + 216. Does 13 divide t(-17)?
True
Let b(s) = -164*s**3 - 12*s**2 - 18*s - 1. Is b(-4) a multiple of 25?
True
Suppose 22 = h - 42. Let y = 495 + h. Is y a multiple of 13?
True
Let f be 10 + -16 - (2 - 121 - 1). Let j be 3*64/12 - 0. Suppose -2*u + f = 5*v, 0 = -v + 4*u + j + 20. Is 24 a factor of v?
True
Suppose -529 = -6*n + 2705. Suppose 2*j - n = -175. Is 33 a factor of j?
False
Let j(g) = -18 - g**3 - 12*g + 25*g**2 + 19 - 8*g. Let d be j(24). Let b = d - -15. Does 27 divide b?
False
Let i(n) be the third derivative of n**6/30 - n**5/30 + 5*n**4/24 - 5*n**3/3 + 2*n**2. Let u be (5/(-15))/(-3 - 102/(-36)). Is 12 a factor of i(u)?
True
Let y(r) = -17*r + 6. Let p = -154 + 148. Does 6 divide y(p)?
True
Let x(c) = c**2 - 21*c + 107. Let a be x(8). Suppose 4*k - 382 = a*p + 38, -3*k + 2*p = -315. Is k a multiple of 16?
False
Let t(i) = -18 + 0*i + 13 - 4*i**2 + i**3 + 7*i. Let b be t(4). Suppose -26*c + 168 = -b*c. Is 14 a factor of c?
True
Suppose -b + 9 = -4*b. Let h be 34*(12/8*b - 0). Let t = 215 + h. Does 31 divide t?
True
Suppose 2144 = -848*z + 852*z. Suppose -4*t = o - 137, 9*o - 5*o + 4*t - z = 0. Is 22 a factor of o?
False
Let b = -10 - -26. Suppose b*p + 320 = 17*p. Is 16 a factor of p?
True
Suppose 652*l - 674*l = 0. Suppose -5*w + 92 = -28. Suppose m - w = -l*m. Does 4 divide m?
True
Let l = -647 + 629. Is 978/l*(6 + -18) a multiple of 34?
False
Suppose -240*r + 56169120 = 223*r + 267*r. Is r a multiple of 14?
True
Let k be (-6)/3 + -3 - 5. Let c be (-1 - -1)/(k + 8). Suppose b - x + 90 = 4*b, c = 4*x. Is 5 a factor of b?
True
Suppose -4*a + 588 - 52 = 0. Let z = 159 - a. Does 13 divide z?
False
Let v = -37 + 42. Suppose 0 = v*w - y - 2484, -3*w + 1025 + 471 = -2*y. Is w a multiple of 27?
False
Let h be 47970/(-255) - (-2)/17. Let s = -94 - h. Is 30 a factor of s?
False
Let k = 9302 + -9111. Is k a multiple of 2?
False
Let x(p) = -12*p + 6. Let h be x(-4). Let v = -54 + h. Let l = v + 50. Is 19 a factor of l?
False
Suppose 79*o - 82*o - 5622 = -5*y, -5*y + 5628 = -2*o. Is y a multiple of 3?
True
Let d(g) be the third derivative of -13*g**6/60 - g**5/60 - g**4/12 + g**3/6 + 12*g**2. Is 11 a factor of d(-2)?
True
Suppose -5*q = -0*q - 10. Suppose -34*j - 430 = -1008. Suppose -x = 2*k - 11 - j, -36 = -q*x + k. Is x a multiple of 4?
True
Let x(w) = -185*w - 34. Let g be x(7). Let i = g + 1953. Does 13 divide i?
True
Suppose 8 = -3*f - 7, -36 = -4*d - 4*f. Suppose -d*o + 108 = -10*o. Is 3 a factor of o?
True
Is 75/(-25) - -18 - -3318 a multiple of 21?
False
Suppose -172*j + 825034 = -186326. Is 84 a factor of j?
True
Let x be 35/10*-2*288/(-21). Suppose x = 4*t - 496. Is 5 a factor of t?
False
Let f be (-141)/(-7) + (-19)/133. Suppose -5*z - x + f = 0, -2*z - z = -3*x - 30. Is 34 a factor of (-1030)/(-8) + (z - (-46)/(-8))?
False
Suppose -v = 3*p + 4, -p = -v - 32 + 12. Let u = v + 18. Suppose u*j = 193 - 19. Is 16 a factor of j?
False
Suppose 2*p = 7*v + 738, -1731 - 145 = -5*p + 2*v. Is p even?
True
Suppose -106 = -2*a + 20. Let d = -61 + a. Suppose -3*x + 153 = 4*z - 6*x, z - d*x = 37. Does 4 divide z?
False
Let f(o) = -340*o - 1816. Is f(-13) a multiple of 84?
True
Let m = -22 - -21. Let g be 12/(-3 - m) + -29 + 26. Is 31 a factor of (-3*(-3)/g)/((-2)/158)?
False
Let h be ((-1078)/33)/(2/(-33)). Let j = -179 + h. Does 36 divide j?
True
Let d(g) = -2*g**3 - 7*g**2 - 5*g + 6. Let c(s) = s**2 + 9*s - 4. Let u be c(-9). Is d(u) a multiple of 12?
False
Suppose h + v = 2002, 7998 = 4*h - 103*v + 102*v. Is 47 a factor of h?
False
Let l(x) be the first derivative of -x**4/4 - 11*x**3/3 - 4*x**2 + 40*x - 21. Let k be l(-11). Suppose 3*y = 4*y - 4*c - 88, y + 4*c = k. Does 38 divide y?
False
Let n(b) = 24811*b**2 + 118*b - 120. Is n(1) a multiple of 20?
False
Let k = 13758 + -12801. Is k a multiple of 29?
True
Suppose -32 = -3*y - 32. Suppose o = -4*t + 377, y = o - 6*t + t - 332. Is 79 a factor of o?
False
Suppose -6*i = 5*j - i - 5, 4*j - 5 = -3*i. Suppose 2 = 4*b + j*x - 20, -1 = -x. Suppose -b*l = 3*q - 471, 94 = 2*l - 3*q - 107. Is 12 a factor of l?
True
Let a be ((-5)/(-20))/(2/32). Suppose -8*d + 1920 = -0*d. Suppose -d = -a*z - 0*z. Is 15 a factor of z?
True
Suppose -22*d - 4327 + 6197 = 0. Let j be ((-19)/(-2))/((-3)/(-30)). Let o = j - d. Does 10 divide o?
True
Suppose p = 700 + 325. Suppose 5*l + p = 5*n, 4*n - 816 = -0*l + 3*l. Let u = -81 + n. Does 10 divide u?
True
Suppose 18 = b - 2*m - 42, -b = 4*m - 78. Suppose -4*f = n - 341, -2*n + 636 = 4*f - b. Let a = n - 97. Does 44 divide a?
True
Suppose 5*g + 31*n - 30*n - 6753 = 0, -2711 = -2*g + n. Does 196 divide g?
False
Let t = -61 - -51. Let p be (-4)/(-5)*t*2/(-8). Suppose -p*o + 76 = 2*o. Does 5 divide o?
False
Let h(b) be the second derivative of b**4/6 - 7*b**3/3 - 9*b**2/2 + 125*b. Is 4 a factor of h(13)?
False
Suppose -53*m - 54*m + 89*m = -39852. Does 41 divide m?
True
Let h be 6/12*-2 + 1. Let w(r) = -r**3 - r**2 - 5*r + 29. Is 2 a factor of w(h)?
False
Let b(k) = -k**2 + 10*k - 4. Let o be b(9). Let y(m) = -o*m - 38 + 4*m + 2*m + 10*m. Is 13 a factor of y(7)?
True
Let s(j) = 434*j - 269. Is s(8) a multiple of 41?
False
Let p(z) = -7*z**2 + 48*z + 9. Let f be p(7). Suppose -5*x = -5*l - f + 12, 0 = -4*x - 3*l - 15. Is (-10*x/8)/(18/384) a multiple of 16?
True
Let n(m) = m**2 + 10*m + 1. Let q(r) = -22 - 12 - r + 3 + 6. Let w be q(-12). Is n(w) a multiple of 4?
True
Suppose 2*x = -14, 2*x + 9014 = -61*b + 62*b. Is 25 a factor of b?
True