 n(20). Suppose -5*q - g*p + 113 = -1680, -p = -3*q + 1086. Is q a multiple of 8?
False
Let q(l) = -l**3 - 2*l**2 + 25*l - 4. Let h be q(-6). Let j(a) = a**2 - 12*a - 42. Is 8 a factor of j(h)?
False
Let p(v) = v**3 - 37*v**2 + 46*v + 144. Is 56 a factor of p(36)?
True
Suppose 0 = 369*n - 364*n - b - 27932, 5*n = -3*b + 27924. Is n a multiple of 7?
True
Suppose 5*v = -4*d + 109289, -d + 21997 = v + 140. Is v a multiple of 9?
True
Let g be 4*(-3 + 33/12). Let r be (-2 - (g + 1))*(-12)/8. Suppose 483 = 2*l - n, 0*l = r*l - 4*n - 732. Does 40 divide l?
True
Suppose 3*l + 45 = -78. Let m = l - -126. Is m a multiple of 10?
False
Let x = 68 + -62. Suppose -x*a + 4 = -5*a. Suppose a*t - 333 = 163. Does 31 divide t?
True
Let b(o) be the third derivative of -o**6/60 - 11*o**5/60 - 29*o**4/24 - 93*o**2. Is 12 a factor of b(-5)?
True
Let o(v) = -29*v + 22. Let p(j) = j. Let l(z) = o(z) - 5*p(z). Is l(-7) a multiple of 5?
True
Let p(d) = d**2 + 7*d + 12. Let h be p(-8). Suppose -l + 17 = h. Does 6 divide 4 + l/(-3) + 48?
False
Let p = 13 + -12. Let d be ((-1914)/(-12))/11*(-1 - p). Let a = d + 83. Does 9 divide a?
True
Let m = 1543 - 1093. Suppose 446 = 2*x - m. Suppose -11*s + x = -3*s. Is 5 a factor of s?
False
Suppose 5*i - 7285 = -4*x + 8*x, -3*x - 5828 = -4*i. Let b = i + -197. Does 17 divide b?
False
Let w be (-2 + 1 + (-35)/(-21))*36. Let k(a) = 5*a - 67. Let v(z) = 1. Let c(b) = k(b) + 4*v(b). Is 3 a factor of c(w)?
True
Let n be 247/(-104) - 3/(-8). Is 8 a factor of (-4 - -2)/n*37?
False
Let m = -226 - -509. Suppose 28*r = 29*r - m. Is 32 a factor of r?
False
Let z = 16 + 32. Let t be ((-16)/10)/(-2 + z/30). Suppose k + 0*n = n + t, 5*n = k + 16. Is 9 a factor of k?
True
Suppose -44*b + 449027 - 108557 = 46*b. Is b a multiple of 39?
True
Let s = 578 - -2532. Is 10 a factor of s?
True
Let j(m) be the first derivative of -3*m**4/4 + m**2/2 + m - 23. Let i be j(-1). Suppose -i*d = -0*d - 282. Is 11 a factor of d?
False
Let b(w) = 32*w**3 - 39*w**2 - 4*w - 19. Is b(7) a multiple of 78?
False
Suppose 40*b - 20 = 35*b. Suppose 0 = -b*k + 16, 4*o - 4*k = -0 + 8. Is 11 a factor of 4/o + 518/6?
False
Let u = 41 - 37. Suppose -u*q = -q - 15. Suppose 3*f - 120 = -0*w - 3*w, -3*w - q*f + 112 = 0. Does 40 divide w?
False
Let z(r) = -2*r + 21. Suppose -2*a = -0*a - 6. Suppose 0*w - a*w = -18. Does 5 divide z(w)?
False
Let v(m) be the second derivative of m**4/12 + 2*m**3/3 - 12*m**2 - 8*m. Let q be v(-8). Suppose -q = i - 40. Is i a multiple of 3?
False
Let s(n) = -n**2 + 14*n + 70. Let r be s(18). Is (r/(-10))/(-1) - 10539/(-45) a multiple of 26?
True
Let o(k) = -49*k**3 + k**2 - 2*k - 3. Let i be o(-3). Let f(b) = b**2 + 10*b + 26. Let p be f(-5). Is i/90 - (-1)/(5 + p) a multiple of 15?
True
Let q(k) = -7*k + 4. Let r be q(7). Let h be 1/6 - 4/(72/(-105)). Is r/h*20/(-3) a multiple of 25?
True
Let k = -11 + 722. Does 28 divide (k - -7 - -1) + 3?
False
Let x(i) = 4*i + 14*i**2 - 5 + 8*i**2 - 21*i**2. Let p be x(-5). Suppose p = 4*s - 5*t - 311 - 91, -t = -3*s + 296. Is 12 a factor of s?
False
Let q(p) = -2331*p + 6031. Does 45 divide q(-15)?
False
Let p(b) = b - 11. Let x be p(17). Suppose 7*j = x*j + 64. Let i = j + -43. Is i a multiple of 10?
False
Suppose 135*s + 3020 = 2*g + 137*s, -5998 = -4*g + 3*s. Does 16 divide g?
True
Suppose -a = 3*w + 7, w + 4*w - 11 = 4*a. Let y be 3 + (a - -10)*73. Suppose -23*b + 26*b = y. Is 32 a factor of b?
False
Let b(g) = 67*g + 37. Let a(i) = 269*i + 145. Let n(c) = 6*a(c) - 22*b(c). Is 26 a factor of n(4)?
False
Let a(r) = 640*r - 4. Let u be a(5). Let o(y) = 3*y**2 + 7*y + 8. Let d be o(-1). Suppose -13*b + u = d*b. Is b a multiple of 47?
True
Suppose -2*v - 13 = 5*a, -a - 55 = -5*v + 4*a. Let q(y) = y**3 - y**2 - 7*y + 14. Is 67 a factor of q(v)?
False
Let z(j) = -177*j**3 + 7*j**2 - j. Let q(v) = -530*v**3 + 20*v**2 - 2*v. Let r(h) = -4*q(h) + 11*z(h). Let n be r(-2). Does 10 divide (-8)/36 - n/18?
False
Suppose -83364 = -5*g + 4*c, 5*g = 2*c + 29745 + 53627. Does 5 divide g?
False
Suppose 0 = h - 6*h - 30. Let g(w) = 4*w**2 + 12*w + 3. Let b be g(h). Let l = -29 + b. Does 23 divide l?
True
Suppose 4*p = 37 - 17. Suppose 0 = -3*n + p*k + 885, k + 165 = n - 130. Does 26 divide n?
False
Suppose 60492 - 307872 = -37*l + 9*l. Does 57 divide l?
True
Let z(r) be the first derivative of -25*r**2/2 - 71*r - 30. Is 72 a factor of z(-23)?
True
Let z be 4/(30/(-15) + 4). Let p = 1 - 1. Does 31 divide 28 + p + (z - 1) + 2?
True
Let p = -171 + 170. Let q(w) be the second derivative of 7*w**4/6 - w**3/3 - w**2/2 + 3*w. Does 2 divide q(p)?
False
Let q be 0 + (1 - 0)*(-6 + 6). Suppose -3*d - g + 3 = d, q = 4*d - g - 5. Is 19 a factor of -14*d*-1*19/2?
True
Let w be 3/((1 - 2)*(-2)/1310). Suppose -4*z - 5*f + 3957 = 0, -w = 5*z - f - 6875. Does 15 divide z?
False
Let h(p) = -3*p**2 + 12*p - 34. Let m be h(7). Let t = m + 163. Is 33 a factor of t?
True
Suppose 2*m + 204 = -3*j, m + 2*m + 280 = 2*j. Let i(t) = -t**3 + 5*t**2 + 4*t - 15. Let v be i(8). Let f = m - v. Is 28 a factor of f?
False
Let a = 7566 + -5526. Is a a multiple of 20?
True
Let r(f) = -5*f**2 + 13*f + 28. Let y(a) = -a**2 + a + 1. Let t(m) = -r(m) + 4*y(m). Let h be t(13). Let k = -2 + h. Does 13 divide k?
True
Suppose 8*k - 27954 = 12118. Is 118 a factor of k?
False
Let g = 894 - 892. Suppose 0 = g*d - 2*o + 4*o - 790, -389 = -d + o. Is 28 a factor of d?
True
Let u(o) = o - 14. Let i be u(15). Let n(a) = 152*a**3 - a**2 + 4*a - 3. Is n(i) a multiple of 38?
True
Let o = -229 - -231. Does 13 divide (-3)/o - (-27820)/104?
False
Let a(w) = -47*w + 20. Let j(b) = b**2 + 47*b - 19. Let v(k) = 3*a(k) + 2*j(k). Is v(24) a multiple of 40?
False
Let q = 13771 - 11611. Is 270 a factor of q?
True
Suppose 17*w = 25*w - 32. Suppose 3*l - 2411 = 22*q - 20*q, -3214 = -w*l + 2*q. Is 65 a factor of l?
False
Let b(o) = -69*o**3 + o**2 + o + 1. Let p(t) = 11*t + 2. Let u be p(-1). Let w(d) = d**2 + 7*d - 19. Let j be w(u). Does 10 divide b(j)?
True
Suppose -18410 = -5*i + 2*f, 0 = 2*i + 3*i + f - 18395. Does 90 divide i?
False
Suppose -j + 413 = c, 0 = -5*c + 4*j + 994 + 1044. Suppose 408*s = c*s - 1882. Is s a multiple of 60?
False
Let m(i) = 21*i**2 - 106*i + 32. Is m(-16) a multiple of 192?
True
Let o(c) = 223*c**3 - c**2 + 2*c - 2. Let z be o(2). Let a = z - 1199. Does 53 divide a?
True
Let t = 30521 + -26636. Is 37 a factor of t?
True
Let o(r) = -r**3 - 14*r**2 - r + 6. Let h be o(-14). Let d = 62 - h. Suppose 4*n - 3*y = 780, n - 5*y = d + 170. Does 12 divide n?
True
Is 52 a factor of 10/15 - 4366/(-3)?
True
Let p = 33 + -19. Let m be ((-12)/32 + 51/8)/(-1). Let k = m + p. Is 3 a factor of k?
False
Suppose -5*a + 7 - 7 = 0. Suppose a = 7*s - 592 - 255. Does 12 divide s?
False
Suppose -5*g - 2*v + 21898 = 0, -4*g + 4887 + 12634 = -v. Is g a multiple of 73?
True
Let q(g) = -g**2 + 21*g + 25. Let y be q(22). Suppose 0 = 6*z - 2*z - 2*o - 1816, -1364 = -y*z + o. Is 69 a factor of z?
False
Let c(q) = -q**2 + 15*q + 36. Let o be c(17). Let b(t) = t**2 - 3*t + 6. Let a be b(o). Suppose 3*i = -d + 52, -3*d + 9*i = a*i - 142. Is 12 a factor of d?
False
Suppose 14*l - 162 = 13*l. Let y = -130 + l. Is 15 a factor of y?
False
Suppose 0 = 7*o - 30 + 2. Suppose 99 = -x + o*x. Is x a multiple of 2?
False
Let j = 2000 + -1060. Let y = j + -654. Is 8 a factor of y?
False
Let i(b) = 21*b**2 - 87*b + 2157. Is 75 a factor of i(39)?
False
Suppose 0 = 2*i + w + 1, -2*w - 7 - 4 = -5*i. Does 53 divide 321/i + -12 + 9?
True
Let c(k) = k**2 - 21*k - 10. Is c(-14) a multiple of 19?
False
Let j = -7046 - -8288. Is j a multiple of 18?
True
Let q(k) = 115*k - 918. Is q(19) a multiple of 7?
True
Let v = 29062 + -11363. Is v a multiple of 173?
False
Let f(d) = d**3 + 10*d**2 - 27*d + 16. Suppose 2*o = -4*r + 6*o + 176, 244 = 5*r + o. Let a be (r/30)/(6/(-45)). Is f(a) a multiple of 13?
True
Let j(n) = -73*n**3 + 2*n**2 + 54*n - 59. Is 38 a factor of j(-7)?
True
Suppose 0 = -3*l - 3*t + 41988, 1952*t - 1948*t = 16. Is 132 a factor of l?
True
Suppose -2*c = f - 11717, 4*f - 3*f = 2*c + 11697. Does 15 divide f?
False
Let v(n) = 86*n**2 + 14*n - 56. Let d be v(7). Suppose 0 = 5*f - 4*k - d, -3*f - k - k = -2536. Does 36 divide f?
False
Suppose -t - 19*t + 11*t + 185571 = 0. Is t a multiple of 79?
True
Suppose -