(-2). Suppose 0 = -z + 3*l + k, 190 = z + 4*l + 27. Is 17 a factor of z?
False
Suppose 0 = 3*c - 7*c - 4*u - 4, -2*c + 4*u = -10. Let r be (-3)/(-2) + c/2. Suppose d - r*b = 40, 0 = -b - b - 4. Is 12 a factor of d?
True
Let k = -41716 - -43693. Is k a multiple of 13?
False
Let s = 477 + -226. Suppose 5*x = s + 269. Let g = x - 0. Does 8 divide g?
True
Let y(v) be the second derivative of v**3/2 + 18*v**2 + 24*v. Let k be y(0). Suppose -s + k = 9. Is s a multiple of 27?
True
Suppose 4*r = -95 - 13. Let p be 4 + 102/r + (-1958)/(-18). Suppose -4*h + 3*n = 39 - 390, -h + p = -5*n. Is h a multiple of 14?
True
Let q(r) be the second derivative of r**3/6 + 9*r**2/2 - 15*r. Let x be q(-7). Suppose x*g - 11 = m, 18 + 9 = 4*g - m. Is g a multiple of 8?
True
Suppose -5*i - 10 = 0, 5*z + 14*i - 209 = 16*i. Suppose 0 = -4*o + z - 25. Suppose 0 = -o*s - 5*g + 228, -186 + 72 = -2*s - 2*g. Is s a multiple of 15?
False
Let p(d) = -172*d - 84. Let k = -453 + 448. Does 80 divide p(k)?
False
Let d(g) = -17*g**2 - 13*g - 30. Let z be d(-4). Let k = z - -397. Does 7 divide k?
True
Let c(s) = 2*s**2 + 2*s - 1. Let v be c(-2). Let r be 15 - 26/(-65)*-30. Suppose -v*b + r*h = -309 - 279, 0 = 5*b + 3*h - 956. Does 37 divide b?
False
Suppose -5*r - 10*l + 12*l = -37, -l = 2*r - 13. Suppose -5*n + r*k = 12*k - 1610, -2*k = 10. Is 39 a factor of n?
False
Let u(k) = -598*k + 11076. Is u(5) a multiple of 3?
False
Let z = 161 - -118. Suppose r - 3*j - z = 0, -4*r + 274 = -3*r - 4*j. Does 6 divide r?
True
Let m(h) = 8*h**3 + 4*h**2 - 6*h + 6. Suppose -4*d - 4 = 16. Let n be m(d). Is 2 a factor of 4/(-14)*-1 - n/112?
True
Suppose h - 5*d = 20, 14 = 5*h + 3*d - 2. Suppose -3*j - 3*b = 2*j - 25, 3*j = h*b + 15. Suppose 4*r + j*n - 24 = 156, 5*n = 2*r - 90. Is r a multiple of 45?
True
Suppose -60*j + 158*j = -242*j + 14727440. Is 17 a factor of j?
True
Suppose -1510*v + 1587*v = 44737. Is v a multiple of 7?
True
Let x(k) = k**3 - 27*k**2 - 2*k + 59. Let l be x(27). Suppose -488 = -l*p - 338. Does 5 divide p?
True
Suppose 86*p + 1021896 = 122*p. Is 57 a factor of p?
True
Suppose -4*l + 25699 = -5*y, -l + 5*y + 5320 = -1101. Does 18 divide l?
True
Let s be 3/14 + (-28356)/(-952). Suppose 2*i + 20 - 142 = -4*m, 48 = m + 4*i. Suppose 0 = s*o - m*o - 98. Does 8 divide o?
False
Let l be (-1)/(-6) - 136/(-48). Let j be (3/(-12)*-34)/(l/114). Suppose 0 = 6*y - j + 47. Is 23 a factor of y?
True
Let c(h) = -h**3 + 25*h**2 - 41*h + 24. Let v be c(18). Suppose 4*r - 832 = -2*b, 5*b - 5*r - 586 = v. Is 88 a factor of b?
False
Let a = -573 - -906. Suppose 0 = 5*z + 3*v + 9, -3*z + 5*v + 6 = -9. Suppose z = -6*i + a + 189. Does 29 divide i?
True
Suppose -3*y - 2*k = -2876, -20*y - 4*k - 2906 = -23*y. Is y a multiple of 13?
True
Suppose -9*b + 21547 = 8*b - 31000. Is 11 a factor of b?
True
Does 5 divide (84/(-252))/(2 + 82982/(-41490))?
True
Let b be 6/20 + 22932/360. Suppose -72*d = -b*d - 768. Is d a multiple of 12?
True
Let z = -27247 + 67673. Is 75 a factor of z?
False
Let k(u) = 1125*u - 2016. Is 9 a factor of k(12)?
True
Let f = 130 - 196. Let l be (-84)/(-22) - 12/f. Is 9 a factor of l/(-4) - -31*3?
False
Let v be 1/(60105/12020 - 5). Let a = v + -1601. Is a a multiple of 13?
False
Let w(o) = -5*o - 114. Let z be w(-20). Is (-1 - 17*-15)/(z/(-35)) a multiple of 32?
False
Suppose c + 30 + 40 = 0. Let j = c - -67. Does 9 divide -3*(0 - j/(-6))*42?
True
Let s(h) = -h**3 + h**2 - 8*h - 49. Let d be s(-6). Let i = -246 + d. Is 3 a factor of i?
False
Suppose -376 = 3*x - 1357. Let a(h) = h**3 - 8*h**2 + 8*h - 5. Let f be a(7). Suppose -x = -t - f*t. Does 14 divide t?
False
Let t be (-4 - (-4 + -9)) + -3. Suppose -5*g - 5*p + 33 = -t*p, 0 = 5*g - 3*p - 39. Is 11 a factor of 12*40/g + 0?
False
Let q be -74 - (-5)/(25/(-20)). Let m = q - -82. Suppose 0*k + 3*s = k - 44, -23 = -k - m*s. Is 13 a factor of k?
False
Let k = 430 - -1052. Suppose 0 = 3*w - 4*u - 866, -k = -5*w + u - 4*u. Is w a multiple of 21?
True
Suppose -9*a = -2*d - 11*a + 14, 0 = 5*d - 4*a + 10. Suppose 2*c - 516 = 3*i - 72, d*c + 4*i = 416. Does 11 divide c?
False
Let v(k) be the second derivative of 23*k**5/30 - k**4/24 + k**2/2 + 3*k. Let q(r) be the first derivative of v(r). Is 7 a factor of q(1)?
False
Suppose 3*j + 3*j = 24. Suppose 4*w = -j*r + 1868, -5*w + w = 3*r - 1396. Suppose 7*d = 11*d - r. Is 36 a factor of d?
False
Suppose -23*h + 5*h = -42048. Suppose -20*b = -h - 3604. Does 33 divide b?
True
Let m(o) = 10*o**2 - 37*o - 705. Is m(-39) a multiple of 151?
False
Suppose -509*s + 699646 - 40510 = -241794. Is s a multiple of 30?
True
Let o(g) = -g**3 - 132*g**2 - 522*g + 687. Is 32 a factor of o(-129)?
False
Let k(c) = 807*c - 13737. Does 8 divide k(23)?
True
Let l be 4/(-1) - (4 - -1 - 6). Let z(u) = -9*u - 15. Let q be z(l). Is 525/q + (-2)/(8/3) a multiple of 17?
False
Suppose 15 - 47 = -j. Let x = 31 - j. Is 14 a factor of -4 - -2*(10 + x)?
True
Suppose 5*y - 3 = 7. Suppose y*v - 2*u = 42, 2*u - 76 - 32 = -4*v. Is v even?
False
Let q = -28519 + 28994. Is 12 a factor of q?
False
Suppose -4*u - 18880 = -3*g, 6*g = g - 3*u + 31515. Is g a multiple of 12?
True
Suppose 9*i - 81808 = 151580. Is 295 a factor of i?
False
Suppose 37618 = -12*l + 3*l + 16*l. Is l a multiple of 48?
False
Suppose 18869 = -57*r + 52100. Is 87 a factor of r?
False
Let m be (177 - 199)*(-1 - 0). Let b be -1*(-10)/4*4. Let w = m - b. Is w a multiple of 12?
True
Let g(y) = -y**3 + 10*y**2 - 19*y + 19. Let s(r) = -r**2 + 13*r + 8. Let z be s(13). Let v be g(z). Let l(n) = -6*n + 14. Is l(v) a multiple of 11?
True
Let l(s) = -6*s + 33. Let h be l(10). Let q = 193 + h. Is 15 a factor of q?
False
Let k(m) = 4312*m**3 + 54*m**2 - 52*m - 3. Does 17 divide k(1)?
False
Let z = -368 + 631. Let t = 421 + z. Is t a multiple of 68?
False
Suppose -8*c = 22 - 54. Suppose -c*h - 2*u + 208 = 2*u, u + 218 = 4*h. Is 5 a factor of h?
False
Is ((-63367)/20 - 52/130)*4*-2 a multiple of 10?
True
Let y(h) = 761*h**3 - 5*h**2 - 47*h + 123. Is y(3) a multiple of 18?
True
Let t = 10507 + -9867. Does 4 divide t?
True
Let u(f) be the third derivative of -f**6/120 - 4*f**5/15 + 5*f**4/8 - 13*f**3/3 + 18*f**2. Let z be u(-17). Is 29 a factor of (5/((-15)/24))/(z/(-36))?
False
Let g be -3*(-186)/(-31)*(-362)/6. Let r = g + -179. Does 14 divide r?
False
Suppose 2*b = 5*c - 3788 + 334, -6 = 3*b. Is 10 a factor of c?
True
Let o(k) = 2*k**2 - 11*k + 8. Let q be o(4). Let n be 32 + q + (-1)/1. Suppose 4*s - 13 = n. Is 9 a factor of s?
False
Suppose 140 = -0*v + 4*v. Let j = 212 - v. Suppose 3*x + 33 = j. Is x a multiple of 6?
True
Let m(a) = 70*a - 6. Let v be m(-1). Let z be (-42)/(-49)*(-5 + -2). Is ((-969)/v)/(z/(-32)) a multiple of 19?
False
Suppose 0 = 5*x - 2*x + 21. Let s(v) = -v**3 - 8*v**2 - 3*v + 26. Let i be s(x). Is 849/7 + (-1)/((-7)/i) a multiple of 11?
True
Let w(p) = 3*p + 25. Let j be w(-9). Let v(z) = -2*z**2 + z + 3. Let s be v(j). Let k(x) = -3*x**3 - 17*x**2 - 3. Does 17 divide k(s)?
False
Let l(x) = -7*x**2 - 9*x + 15. Let b(r) = 15*r**2 + 18*r - 31. Let j(o) = -6*b(o) - 13*l(o). Let c be j(-10). Does 10 divide (2 - 436/(-12)) + c/(-3)?
False
Let x(s) = -3*s**3 - 35*s + 3*s**3 + 8 + s**3 + 36*s + 5*s**2. Let g be x(-5). Suppose -4*n = -20, n = g*c - n - 98. Does 3 divide c?
True
Suppose 0 = 52*y - 56327 - 269505. Does 6 divide y?
False
Let z = 19786 - 10276. Is 20 a factor of z?
False
Suppose 5*y - b - 10 = -3*b, 2*y - 28 = 4*b. Suppose -2*a + 5*g = -20, a + y + 0 = -g. Suppose a*x - 5*x + 355 = 0. Is 20 a factor of x?
False
Is 4606 + 39 + (-4 - -2 - 0) a multiple of 16?
False
Let b(d) = d**2 + 31*d - 4016. Is b(-92) a multiple of 2?
True
Let z(j) = 5*j**2 + 15*j - 79. Let y be z(6). Let o = y + -27. Is 4 a factor of o?
True
Suppose -2*i - n + 2735 = 0, -70*i + 74*i - 4*n = 5476. Does 4 divide i?
True
Let q be (-3)/2*(-48)/9. Let k(i) be the first derivative of 5*i**2/2 + 14*i + 106. Is 9 a factor of k(q)?
True
Suppose -4*t + 32 = -4*h - 0*t, 2*t + 9 = -3*h. Suppose -4*s = 1761 + 427. Is 10 a factor of (-6)/(-10) + s/h?
True
Let h(d) be the first derivative of 52*d**3/3 - 3*d**2 - 26*d - 158. Is 27 a factor of h(4)?
False
Let y be (5/4)/(2/8). Let n(d) = -y*d + 3*d + 5 + 7*d + 6*d - d**2. Does 2 divide n(10)?
False
Let b be ((-18)/(-39))/3 - (-65652)/156. Le