2 + 10*q - 52. Does 24 divide d(23)?
False
Let c = 1315 + -534. Is c a multiple of 12?
False
Is (12/(-7))/((-77)/42042) a multiple of 13?
True
Let p(a) = a**3 - 6*a**2 + 4. Let u = 19 + -13. Let g be p(u). Suppose -2*q = 5*w - 243, 0*w + g*w - 5*q - 168 = 0. Is w a multiple of 21?
False
Suppose -215 + 562 = u - 3*t, 0 = t - 2. Is 133 a factor of u?
False
Let w(o) = -o**2 + 11*o + 8. Let t be 1/(-2) + (-150)/(-12). Let p be w(t). Is 17 a factor of 930/39 - p/26?
False
Does 8 divide ((-24)/(-10))/(-15*3/(-1500))?
True
Let p = -13 + 18. Suppose p*d + j - 1725 = 0, -2*j - 1725 = -2*d - 3*d. Does 8 divide 1/(-3) + d/9?
False
Let v(p) be the first derivative of -p**4/4 + 7*p**3/3 + 5*p**2/2 + 7. Let x = -2 + 8. Is 25 a factor of v(x)?
False
Suppose 0*b - 196 = -4*b. Suppose -119 = 12*a - 19*a. Let c = b + a. Is c a multiple of 22?
True
Let r be (6 + -8)/(1/(-2)). Let i be (6/r)/((-3)/(-6)). Suppose -i*b + 41 = 4*t, -6*t = -t - b - 37. Does 8 divide t?
True
Suppose 3*w - 12 + 3 = 0. Suppose 0*a = -2*a - w*h + 79, 175 = 5*a + 3*h. Does 26 divide a - (-4)/(16/(-12))?
False
Let r(k) = k**3 - 16*k**2 + 48*k + 4. Is r(4) a multiple of 4?
True
Let k(i) = 12*i + i - 4*i + 6. Let o be k(7). Suppose -3*l + 94 = 5*a - l, 0 = -3*a + 3*l + o. Does 3 divide a?
False
Let m(z) = z**2 - 4*z - 7. Suppose -2 = -k + 8. Let p be m(k). Let n = p - 24. Is n a multiple of 27?
False
Let w = -621 + 1018. Is w a multiple of 2?
False
Let q(u) = 120*u**3 - u**2 + 3*u - 1. Let c be q(1). Let n(r) = r**3 - r**2 - 5*r - 3. Let s be n(5). Let l = c - s. Does 32 divide l?
False
Suppose 18*v - 13*v = 2300. Is v a multiple of 46?
True
Let i be (-14)/(-3) - 1/(-3). Suppose -2*k - 828 = -i*k. Suppose k + 18 = 3*f. Is 14 a factor of f?
True
Suppose -2*w + 5 = -2*v - 9, -2*v + 8 = 0. Let g = -50 + 54. Suppose -g*m = -41 - w. Does 13 divide m?
True
Let b = 7628 + -4748. Does 90 divide b?
True
Suppose 5*y = -7 + 27. Is 10 a factor of y*(-3)/(-6)*11?
False
Let p(k) be the third derivative of 7*k**6/120 + k**5/30 - k**4/24 - 5*k**2. Let x be p(2). Let n = x + -32. Is n a multiple of 15?
True
Let d(z) = -299*z**3 - 17*z**2 - 31*z + 4. Is 103 a factor of d(-2)?
False
Suppose -3*x + 4*x + 1915 = 2*z, -3*z + 2875 = -x. Is 96 a factor of z?
True
Suppose p + 2528 = 9*p. Is 5 a factor of p?
False
Let q(i) = i - 12. Let r be q(10). Let b(d) = -d**3 - 2*d**2 + 4*d + 3. Let a be b(r). Does 7 divide a/25 + (-282)/(-10)?
True
Let k(f) = 2*f**3 + 6*f**2 + 11*f - 14. Is k(9) a multiple of 66?
False
Let x(c) = 2*c**2 - 3*c + 1. Let m be x(2). Suppose -m*v - 2*i = -302 - 166, 4*i = -5*v + 782. Is 45 a factor of v?
False
Suppose -3*s + 5*s = 5*k - 6939, -1398 = -k - 3*s. Does 18 divide k?
False
Suppose 12024 = 5*v - 1446. Is 24 a factor of v?
False
Let l(k) = 13*k - 3. Suppose -3 = 4*o + 5*q, 3*o + 2*q + 1 + 3 = 0. Let f(n) = -n**2 - 3*n - 1. Let j be f(o). Is l(j) a multiple of 5?
True
Let w be -25*5/(50/(-4)). Let v = w + 54. Does 32 divide v?
True
Let v(p) = -p**3 + 15*p**2 + 19*p - 68. Is 14 a factor of v(8)?
True
Let f be -1 + (-7)/(14/(-6)). Let v(o) = o**3 + o**2 - o + 53. Let n be v(0). Let a = n - f. Is a a multiple of 17?
True
Let b(l) be the second derivative of l**4/3 - 5*l**3/6 + 2*l**2 + l. Suppose -10 = -5*v + 5. Is b(v) a multiple of 25?
True
Let h = 9 + -5. Suppose -a - 2 = -h*g, -2*g - 5 = -7*g. Is 12 a factor of -1*a*(-104)/16?
False
Suppose 41 = 2*z + 4*v - 739, -z + 5*v = -404. Does 27 divide z?
False
Let w(j) be the second derivative of 6/5*j**5 + 0 - 1/2*j**2 + 0*j**3 + 3*j + 0*j**4. Does 12 divide w(1)?
False
Let w be (-595)/(-28)*(-16)/(-2). Suppose -7*z + w = 3*h - 5*z, -z - 185 = -3*h. Does 3 divide h?
True
Let n be 485/291*(-1)/((-1)/3). Does 5 divide 2 + -1 - n - -16?
False
Let p(i) = -6*i**3 + 5*i**2 + 5*i - 1. Let n be p(-3). Suppose -g - y = -47, g - 5*g - 5*y + n = 0. Is 4 a factor of g?
True
Suppose -3*i + 2386 = 2*p, 3*i + 22*p = 25*p + 2406. Does 25 divide i?
False
Let x(o) = 2*o**3 - 4*o**2 + 3*o. Let h be x(2). Suppose 4*a + 41 = 209. Suppose -4*u = -h*u + a. Is 6 a factor of u?
False
Let a(y) = 8*y - 4. Let k(p) = 5*p + 1. Suppose -r - 3*j + 7 = 0, 0 = -4*r + 3*j - 2*j + 2. Let q be k(r). Is a(q) a multiple of 16?
False
Let w(h) = -4*h**3 + 3*h**2 + 5*h - 4. Let m be w(2). Is 4 a factor of m*12/8*(-24)/14?
True
Does 30 divide -2160*(155/(-186))/(10/18)?
True
Suppose -2*u + 299 = -5*k, 0*u = 2*u + 4*k - 290. Is 19 a factor of u?
False
Is (12 - 3)*(-1 + 42) a multiple of 41?
True
Is 46 a factor of ((-451)/(-3) + 3)*(-6)/(-1)?
True
Suppose -3*b + 253 + 206 = 0. Suppose -2*g = -w - 0*g + b, 3*g + 301 = 2*w. Suppose w + 73 = 4*c. Does 18 divide c?
True
Suppose 10*v - 1311 = -9*v. Is 69 a factor of v?
True
Is 14/10 + -1 - 21798/(-630) a multiple of 35?
True
Suppose -165 + 10 = -5*b. Suppose -j - 4*g = -8 - 5, -4*j + 5*g + b = 0. Does 7 divide j?
False
Is 53 a factor of 6210/(-483)*(-280)/3?
False
Is (-3)/15 + 9632/35 a multiple of 25?
True
Let o(p) = -67*p - 133. Is o(-4) a multiple of 7?
False
Suppose 5*y + 2086 = 4*x, 4*y + 453 - 3081 = -5*x. Is 7 a factor of x?
False
Suppose -3*o - 51 = -m - m, -3*m = -2*o - 64. Suppose 98 = 5*y + m. Does 2 divide y?
True
Let l be 9*(1 + (-1 - 1)). Suppose 0 = 38*t + 46 - 8. Let r = t - l. Does 3 divide r?
False
Let b(r) = -r**3 + 6*r**2 + 8*r - 4. Suppose 0 = 10*z - 8*z - 12. Let x(k) = k. Let p be x(z). Does 11 divide b(p)?
True
Let i(g) = -g + 19. Let a be i(17). Does 6 divide 25 - -21 - (0 - a)*-2?
True
Let l(y) = -y**3 - 9*y**2 - 6*y + 8. Let i be l(-8). Let q(m) = m**3 - 10*m**2 - 2. Let z be q(10). Is 17 a factor of 1620/48 + z/i?
True
Let n be 13 + -17 - (1 - -1). Does 24 divide 12*(-2 + (-2 - n))?
True
Let u(v) = 1 + 6*v**2 - 10*v - 2*v + 0*v + 14*v. Is u(3) a multiple of 6?
False
Suppose 0 = -2*k - k - 696. Let q = k - -334. Suppose -3*r = -0*r - q. Is r a multiple of 12?
False
Let i(u) = u + 10. Let c be (-132)/20 - (-4)/(-10). Let k be i(c). Suppose -5*q + 5*t = -75, k*q + 4*t = -0*t + 52. Is 13 a factor of q?
False
Let s = 52 + -51. Does 11 divide s/(-7) + 4563/91?
False
Let h = 216 - -68. Is 43 a factor of h?
False
Suppose -3*g + 283 = 3*d - 2891, 4 = g. Does 31 divide d?
True
Let n(x) = -29*x - 214. Is 62 a factor of n(-17)?
False
Suppose 0 = 6*g - 8*g + 186. Let h = g - 47. Does 16 divide h?
False
Let p(l) = 2*l - 2. Let v be p(4). Let z be v/(-12)*-1*50. Suppose -4*m + z = m. Is 2 a factor of m?
False
Let j = -41 - -43. Suppose 2*u + 4*k - 84 = 0, -j*u + 4*k + 16 = -108. Is 13 a factor of u?
True
Suppose -5*j + 0*j - 439 = -3*w, 0 = -2*w + 5*j + 286. Does 3 divide w?
True
Let r be (-3)/4 + (-2145)/(-60). Suppose -2307 = -8*i - r. Is i a multiple of 48?
False
Let d(s) = 4*s - 2. Let c be d(1). Suppose 4*x = 110 + c. Is 6 a factor of ((-5)/5)/((-2)/x)?
False
Let z = 41 + 196. Let m = 32 + z. Does 36 divide m?
False
Let d be (33/(-2))/(3/(-4)). Does 14 divide (128/6)/(d/33)?
False
Let a be 2/3 + (-468)/54. Suppose 0*m = -m + 4*c + 39, 78 = 2*m + c. Is 28 a factor of 3/((-9)/a)*m?
False
Suppose -5*o - 2*o - 91 = 0. Let m = o - -108. Is m a multiple of 19?
True
Suppose -214*r - 99 = -223*r. Does 10 divide r?
False
Suppose 3*w = -2*r + 29, 2*r - 125 = -3*r + 3*w. Let q = r - -31. Is (1 - -2) + q + 0 a multiple of 14?
True
Does 13 divide (-19218)/(-27) + 3 - 36/(-162)?
True
Let w = -11 - -14. Let z = 11 - w. Let f = z + 42. Does 16 divide f?
False
Suppose 13 = 6*s - 179. Is s a multiple of 4?
True
Let u = -5 + 14. Let k be -27*(30/u - -1). Let t = k + 177. Does 14 divide t?
False
Suppose -2*k + 492 = 4*j, -47*j = -46*j + 4*k - 137. Is 17 a factor of j?
False
Suppose 80 = 3*g - 2*b, -g - 4*g = -4*b - 132. Let x be 484/16 + 3/(-12). Is x/(-7)*g/(-6) a multiple of 10?
True
Let x(h) = 33 + 20 + 32*h - 37. Is x(5) a multiple of 22?
True
Let t = -94 - -196. Let n = -46 + t. Does 8 divide n?
True
Suppose 0*y + 2*y - 304 = 0. Does 8 divide y?
True
Let k(m) = -5*m - 11. Let o be k(-3). Suppose y - 70 = -o*y. Does 14 divide y?
True
Suppose -y = 2*w - 130, -9*w - y = -10*w + 68. Is w a multiple of 11?
True
Suppose -2*z + 12 = -4*m, -5*z + 2*m - 12 = 6*m. Suppose z = 4*b - 11 - 1. Suppose -b*i - 2*u + 53 = 0, -4*u = 7*i - 3*i - 72. Is 6 a factor of i?
False
Let i(w) = 111*w + 216. Is i(7) a multiple of 60?
False
Suppose l - 64 = -q - 24,