 t(8). Suppose -23*k + b*k = 504. Does 5 divide k?
False
Let k(n) = -2*n**3 + 23*n**2 + 12*n - 1. Let l be k(12). Is l/((-696)/695 + 1) a multiple of 13?
False
Let k(n) be the third derivative of -2*n**4/3 + 45*n**3/2 - 2*n**2 + 25. Does 3 divide k(0)?
True
Let w(r) = 5*r - 28. Let m = 23 + -25. Let z be m/(6/9) + 19. Is w(z) a multiple of 13?
True
Let d = 284 - 250. Suppose 8513 = -d*b + 37889. Does 27 divide b?
True
Let s(r) = -2*r - 26. Let o be s(-14). Suppose 0*j = -o*j - 16. Let w = 17 + j. Is w a multiple of 2?
False
Suppose 33 = -4*a - 47. Is 16 a factor of (-2552)/a - (-2)/(-10)*-2?
True
Suppose 2*b = -5*m + 25, 4*m = -b + 7*m - 4. Suppose b*c = 10*c - 900. Suppose -4*d - c = -6*d. Is d a multiple of 9?
True
Let d(j) = 7*j - 4. Let b be d(0). Let q be (1 - 0)/(4/b) + -2. Is -84*((-6 - q) + (-8)/(-4)) a multiple of 12?
True
Let u be 3 + -1 - -1 - 0. Suppose 901*d = 915*d - 42. Suppose f - 289 = -5*p + 20, u = -d*p. Does 40 divide f?
False
Suppose 32 = -q + 9*q. Let k(w) = 4*w + 65. Is k(q) a multiple of 9?
True
Suppose -3*g + 69466 = -r, 2*g + 9*r + 1568 - 47898 = 0. Does 14 divide g?
True
Let r(w) be the first derivative of w**3 + 21*w**2/2 + 10*w + 26. Does 10 divide r(-10)?
True
Let i = -15 + 17. Suppose -11 = i*z + 4*r - 3, 2*r = 3*z - 12. Suppose -2*q + d + 130 = -126, 8 = -z*d. Does 18 divide q?
True
Suppose -4*w + 8*w + 5*y = 20, -5*y - 25 = -5*w. Suppose -3*v + w*l + 504 = -1669, -1 = -l. Is v a multiple of 11?
True
Suppose -299 = 30*w - 17*w. Let l(g) = g**3 + 24*g**2 + 20*g + 54. Does 3 divide l(w)?
True
Let q be (-515)/(-2)*260/325. Suppose w + 4*b + 33 = q, 4*b = 8. Is w a multiple of 35?
False
Let h(n) = -4 + 36*n - 2*n + 37 + 69*n. Is h(3) a multiple of 25?
False
Let p(t) = 10*t**2 - 2. Let v be p(1). Let s be (-2)/(v/(-12)*1). Suppose 0 = -2*r - k + 213, 4*k = s*r + 2*k - 337. Is r a multiple of 12?
False
Let a = 23590 + 7853. Does 204 divide a?
False
Is (20 - -2119)/(2/(4 + -2)) a multiple of 15?
False
Let n = -7776 + 24620. Is n a multiple of 248?
False
Let c be (3*-1)/(129/86). Is 12/(-8) - 1863/c a multiple of 62?
True
Suppose 0 = 3*y - 5*u - 4326 - 2872, -3*u + 4824 = 2*y. Is y a multiple of 19?
False
Suppose 0 = -5*o - 4*l + 90, 0 = -4*o + 2*l + 23 + 75. Let r(v) = -v**3 + 24*v**2 - 38. Let f be r(o). Suppose -139 = 7*d - f. Is d a multiple of 10?
False
Let c = 3193 + 4936. Is 157 a factor of c?
False
Suppose -919*r + 188877 = -832*r. Does 16 divide r?
False
Suppose x - 4*o = -o, 3*o = -5*x + 72. Is 15 a factor of (0 - (-3090)/(-25))/(x/(-40))?
False
Suppose -25*s + 2730 = -15*s. Suppose -s*f - 3215 = -278*f. Is 61 a factor of f?
False
Let m = 689 + -669. Let v = -50 - -18. Does 9 divide (-15)/m + (-2)/(v/2028)?
True
Let t(a) = -52*a + 15. Suppose 6*c - 9*c = 24. Is 35 a factor of t(c)?
False
Is 65 a factor of (-6563 + 34)*-2*(-2 + (-10)/(-4))?
False
Let f = 8822 + -500. Is 6 a factor of f?
True
Let r(g) = -g**2 - 24*g - 2. Let h(p) = p**3 + 4*p**2 - p - 5. Let a be h(-5). Let y be r(a). Let u = -24 - y. Does 2 divide u?
False
Suppose 0 = -676*v + 679*v + 11*i - 47023, 2*v - 3*i = 31297. Is 152 a factor of v?
True
Suppose -11*o - 58 = -80. Suppose -5*z - 2575 = -5*y, -o*z = y - 4*z - 518. Does 64 divide y?
True
Let f(u) = u**2 - 13*u + 31. Let b(l) = -l - 1. Let p(r) = -6*b(r) - f(r). Let m be p(14). Suppose -m = -o - 27. Does 18 divide o?
True
Suppose b - 8194 = 3*s, -2*b + 2*s + 17980 = 1560. Is b a multiple of 68?
False
Suppose -l - 255 = m - 17418, m - l = 17149. Is 212 a factor of m?
False
Let i = 645 - -7566. Is 21 a factor of i?
True
Suppose -5*r = m - 479 - 474, -4*r - 16 = 0. Let b = m + -421. Is 23 a factor of b?
True
Let s = -36858 + 96773. Is s a multiple of 70?
False
Suppose -2*y + 1088 = 2*p, -y + 22 = 24. Does 8 divide p?
False
Suppose -4*w + 42 = 2*y, 0*y = -5*y - 4*w + 117. Suppose y*b - 21*b - 488 = 0. Suppose 8*l - b = 7*l. Is 10 a factor of l?
False
Suppose -2*y - 92 = 16. Let m be -3 + (-50)/(-18) + (-390)/y. Suppose -5*g - 159 = -d, -m*d - 2*g + 194 = -6*d. Does 23 divide d?
True
Is 73 a factor of 26/2*197100/150?
True
Let s(v) = v**2 - 3*v + 14. Let y(a) = -a**2 + 2*a - 15. Let p(i) = -3*s(i) - 4*y(i). Is 13 a factor of p(11)?
False
Suppose -12*i + 11*i = -5*g - 688, -5*i + 4*g = -3524. Does 21 divide i?
False
Let y(x) be the second derivative of -10*x**3/3 + 135*x**2 - 36*x + 1. Is 36 a factor of y(-22)?
False
Suppose 6*r + 23*r + 62872 = 0. Is 3 a factor of (-12)/(-20) - 1 - r/20?
True
Let m(i) = -4*i + 80. Suppose -151 + 311 = -4*x. Does 47 divide m(x)?
False
Let l(v) = 7*v**2 + 140*v + 3208. Does 59 divide l(-37)?
True
Let p(r) = 1852*r + 1482. Does 43 divide p(12)?
False
Is (1215/(-60) - 12)/(2/(-144)) a multiple of 69?
False
Let k(z) be the third derivative of -z**4/12 - 3*z**3/2 + 2*z**2. Let d(s) = 3*s**2 + 19*s - 4. Let f be d(-6). Is k(f) a multiple of 3?
False
Suppose -4*y - 3*i + 4414 = -2117, 0 = 4*y - 2*i - 6526. Suppose -6 = -26*w + y. Is w a multiple of 3?
True
Let c = -1296 - -1324. Suppose 3*j + 2 - 17 = 0. Let v = c + j. Does 17 divide v?
False
Let k(o) = o**3 - 9*o**2 + o - 12. Let b be k(9). Is 22 a factor of 306/(b*2/(-6))?
False
Let t(j) = -68*j - 498. Is t(-9) even?
True
Let k = 28 - 29. Let g be (-3)/((4 - 3)*k). Suppose -g*a + 186 = -66. Is 21 a factor of a?
True
Let h = -46112 + 64976. Is h a multiple of 23?
False
Let m(r) = 181*r**2 - 86*r + 549. Is m(6) a multiple of 10?
False
Suppose 2*p + v = 1 + 3, 0 = -3*p + 3*v + 6. Let k(b) be the third derivative of b**6/12 - b**5/20 + b**4/8 - b**3 + 16*b**2. Is 34 a factor of k(p)?
True
Let s be (11 + -20 - -4)/(5/(-2)). Let g(m) = 78*m**2 + m + 1. Is g(s) a multiple of 15?
True
Does 6 divide ((-19)/(931/84))/(2/(-6937))?
True
Suppose 71870 = -269*q + 288*q - 60294. Does 191 divide q?
False
Let u be 2*3 - 3*7/21. Suppose -3*t + 19 = -t - a, -u*a - 4 = 3*t. Is ((-56)/(-7) - t)*21/1 a multiple of 16?
False
Let r(q) = -4*q**3 + 17*q**2 + q**3 - 2*q - 11 - 7*q + q**3. Let o(z) = -2*z**3 + 18*z**2 - 10*z - 11. Let g(m) = 2*o(m) - 3*r(m). Is g(7) a multiple of 3?
False
Suppose -3*l - 16778 = -3*c - 78323, 2*c = -12. Is 34 a factor of l?
False
Suppose 3*j - 4*m = 87595 - 8991, 2*j = 5*m + 52391. Does 156 divide j?
True
Let p be (-436905)/70*(-16)/6. Suppose -17*s + 6357 = -p. Is 33 a factor of s?
True
Let c(d) = -756*d + 7. Let r be c(-14). Does 7 divide (-9)/((-945)/r) - 2/(-15)?
False
Suppose 1149*k = 1296*k - 1370334. Does 118 divide k?
True
Let t(l) = -l**3 - 16*l**2 - 77*l - 1893. Is 19 a factor of t(-23)?
False
Is (0/(-8) - -13) + 375 a multiple of 32?
False
Let s(n) be the first derivative of -55*n**2/2 + 11*n + 14. Does 19 divide s(-4)?
False
Suppose -53*p + 55*p = 96. Suppose -3*r + 6 = p. Let z(h) = -h**2 - 15*h + 1. Does 15 divide z(r)?
True
Suppose 0 = -2*a + 2*x - 36, 0*a - 27 = 2*a + x. Let b = 10 - a. Suppose 0 = -2*k + b + 143. Is 11 a factor of k?
False
Let v = 435 + -700. Let f = 88 + v. Let g = -65 - f. Is g a multiple of 11?
False
Let p be ((-1)/(-1))/(4/(-932)). Let b = 483 + p. Does 10 divide b?
True
Suppose -3*m - 2956 = 5*d, 6*d - 5*m - 600 = 7*d. Let k = -362 - d. Does 38 divide k?
True
Let l(z) = -8*z + 51. Let o be l(1). Let t(p) = p**2 - 17*p - 78. Does 80 divide t(o)?
True
Suppose 8*y - 5*y + j - 90912 = 0, -60594 = -2*y + 4*j. Is ((-4)/6)/((-42)/y) a multiple of 37?
True
Let p(u) be the second derivative of -3*u**3/2 - 27*u**2/2 + 54*u + 3. Is 7 a factor of p(-52)?
True
Let i = 12736 - 5476. Is 33 a factor of i?
True
Let g(u) = u**3 + 20*u**2 - 24*u - 49. Suppose -20 = 2*p + 146. Let a = -104 - p. Does 7 divide g(a)?
True
Does 45 divide (-13 - 0)*-692 + (-16 - -20)?
True
Suppose 9*x - 85 = -8*x. Suppose 4 = -x*r + 184. Is 9 a factor of r?
True
Suppose -126*v + 127*v = 2796. Is v a multiple of 12?
True
Is 106 a factor of ((-205)/10)/((-12)/17808)?
True
Let z = 174 + -172. Suppose z*q = -2*s + 6*q + 168, -s = -5*q - 72. Does 4 divide s?
True
Suppose -2*v + 5*b - 5 = 0, -4*v - v - b + 55 = 0. Suppose -v = 11*d - 13*d. Suppose 0 = -4*w + d*w + 2*l - 112, 5*w + l = 542. Does 12 divide w?
True
Let y = -7444 + 12844. Suppose -30*f + 15*f = -y. Is 16 a factor of f?
False
Suppose -4*i + 2*t = -22, i + 6 - 7 = -4*t. Suppose -r + 98 = i*v, -2*r + 4*v = 8*v - 184. Is 8 a factor of r?
True
Suppose -6*o = 5 