*i**2 - 9*i**2. Is 23 a factor of a(-9)?
True
Let g(d) = d**3 - 2*d**2 - 2*d - 1. Let w be g(3). Suppose t + 7*r = 3*r + 78, 0 = w*r. Suppose -t = -4*a + 186. Is a a multiple of 22?
True
Let o = -24 + 168. Let f = -52 + o. Does 46 divide f?
True
Let k(t) = -t**3 + 2*t**2 + 32*t + 4. Is k(-10) a multiple of 18?
False
Let x = 944 - -73. Is x a multiple of 14?
False
Let a = 29 - 29. Suppose -3*u + 0*u - 3 = a. Is 51/((-4)/(4/u)) a multiple of 16?
False
Suppose -j = 3*x - 19, -4*x + 12 = 2*j - 4*j. Suppose 0 = 2*g, -66 = -x*q - 3*g + 84. Is 10 a factor of q?
True
Suppose x - 1 = -2. Let y be 4*20/(5/x). Is 6 a factor of 1 + y/4 - -15?
True
Let d(t) = -t**3 - 4*t**2 - 3*t. Let k be d(-2). Let g be (k - 0) + 1*7. Suppose -g*s = -9*s + 44. Does 10 divide s?
False
Is 15 a factor of 1/(-3) + (-24304)/(-12)?
True
Suppose 6*r - 8*r + 4 = 0. Suppose 3*s - 5*g = -r*g - 21, 3*g = -4*s. Does 7 divide s*(3/(-9) - 3)?
False
Suppose 0 = 30*r - 46*r + 304. Is 6 a factor of r?
False
Suppose -7*k - 352 = -11*k. Suppose -k = -z + p, 5*p - 328 = -3*z - 32. Does 21 divide z?
False
Suppose -8 = -s - 3*s. Suppose a = 3*z + 89, 2*z + 112 = -s*z - 2*a. Let t = 49 + z. Is 20 a factor of t?
True
Let n = 34 - 54. Let y = n - -61. Is 22 a factor of y?
False
Let l(n) = 8*n + 163. Does 11 divide l(-8)?
True
Let x = -8 + 10. Suppose 5*m - 3*i = x*m + 120, -m - 5*i + 16 = 0. Does 12 divide m?
True
Suppose z + 60 = 4*z. Let v = 8 + z. Is v a multiple of 5?
False
Let r be (7/(-2))/(8/(-16)). Is r/(28/264) + 4 a multiple of 35?
True
Let s(i) = -5*i**2 + 73*i - 1 + 0*i**2 - 77*i. Let o be s(-4). Let r = o + 139. Does 12 divide r?
False
Let o(g) = 14*g - 1. Let z be o(1). Let a = 53 - 6. Let l = a + z. Is l a multiple of 15?
True
Suppose -4*b = -0*b + 12, b = s - 5. Suppose -3*y - 4*c = -3*c + 208, -4*y = s*c + 280. Let l = -24 - y. Does 11 divide l?
True
Suppose 38 = -4*v + 5*c - 2*c, -3*v + 5*c - 23 = 0. Let x = 68 + v. Is x a multiple of 19?
True
Does 4 divide (-1 - -2)*-5 - (-6 - 45)?
False
Let d(s) = -s**3 + 13*s**2 + 9*s + 9. Let h(a) = a**2 - 13*a - 17. Let v be h(15). Does 21 divide d(v)?
True
Let w = -33 - 62. Let b = -54 - w. Let z = b - 9. Does 8 divide z?
True
Let x(q) be the first derivative of q**6/120 + 3*q**5/20 + 5*q**4/24 - q**3 + 3*q**2 + 2. Let r(v) be the second derivative of x(v). Is 6 a factor of r(-8)?
True
Suppose 4*d - 2*n - 7296 = 0, -4*d - 2*n - 954 = -8266. Is d a multiple of 59?
False
Suppose -3*p = 2*m + 338, 0 = -p + m - 104 - 12. Let s = -37 - p. Is s a multiple of 11?
True
Let u(r) be the third derivative of -r**6/360 + r**5/60 + 7*r**4/12 - 5*r**3/6 - 6*r**2. Let d(z) be the first derivative of u(z). Is d(0) a multiple of 3?
False
Suppose -t = 4*t. Let k(j) = -6*j + t*j + 5 - j**2 + 2 - j. Is k(-6) a multiple of 8?
False
Let b(m) = -47*m + 1. Let n be (-3)/4 + (-2)/8. Is b(n) a multiple of 24?
True
Let x = 103 + 77. Suppose -2*d + x = t, 9*d + 746 = 4*t + 4*d. Is 32 a factor of t?
False
Let q(t) be the first derivative of -2*t**2 - 12*t - 7. Let r be q(18). Is (-20)/6*r/7 a multiple of 20?
True
Suppose -3*u - 5*k = -1468, -4*u + 4*k = -u - 1450. Is 27 a factor of u?
True
Suppose -b + 3*b = 22. Let z = b + -7. Suppose -z*t + t = u - 13, u + t - 7 = 0. Does 3 divide u?
False
Is 38 a factor of 4 + 3385 - -6 - 6?
False
Let a = 23 + -23. Suppose a = z + 2*z. Suppose 2*d = 2*s + 3*s + 172, z = 4*d - 5*s - 334. Is d a multiple of 11?
False
Let n(k) = -k**3 + 16*k**2 - 24*k + 16. Let r be n(14). Suppose r = 139*s - 136*s. Does 8 divide s?
True
Suppose a + 2 = -2*f, -a - 4*f - 10 = -0. Let u be 34/(-4)*a - 1. Let h = u + 133. Is h a multiple of 27?
True
Let c be 48/5 + 6/(-10). Suppose -5*s + 3*h = -818, 3*s + c = -4*h + 494. Let n = s - 108. Is 20 a factor of n?
False
Let w(q) = 31*q**2 + 2*q + 5. Is 18 a factor of w(3)?
False
Suppose 4*x - 44 = 96. Let n be (x/14)/((-1)/(-2)). Let a(o) = 3*o**2 - 5*o - 4. Does 19 divide a(n)?
False
Let y = 1613 + -1528. Does 5 divide y?
True
Suppose 3*t - 7*t - 72 = 0. Let d = 18 + t. Suppose j + d = 17. Is 6 a factor of j?
False
Suppose 23*w - 645 = 8624. Is 31 a factor of w?
True
Let c = -388 - -561. Suppose -4*u + c = -175. Does 13 divide u?
False
Suppose -u + 22 = u. Let h(f) = -21*f + 9. Let v(z) = 41*z - 17. Let r(y) = u*h(y) + 6*v(y). Is r(2) a multiple of 9?
True
Suppose 3*z + 7 = 2*u - 7, 4*z = -2*u. Is 18 a factor of 24/(z - 24/(-9))?
True
Does 36 divide ((-19513)/988)/(-1 + 47/48)?
False
Let y be 4/16*(0 - 0). Suppose y = -z + 1, 2*z + 1 = 2*f - 3*z. Suppose -2*h + f*d + 163 = 0, 404 = 5*h + 2*d - 6*d. Is 10 a factor of h?
True
Let k be (-1)/((-92)/32 + 3). Let a be (43 - -2)*k/(-12). Is 14 a factor of 2/4 - (-1305)/a?
False
Let a = 5084 + -2581. Does 22 divide a?
False
Suppose -h - 19 = -2*y, -5*h + 2*y - 48 = 55. Let z be -1 - (-7)/(h/(-198)). Let m = -21 + z. Is m a multiple of 13?
False
Let y(n) = -2*n**2 - 4*n + 1. Let q be y(-3). Let f = 1 - q. Suppose -f*s = -160 - 50. Is 7 a factor of s?
True
Let b be 10/25 + (-2)/5. Suppose -4*q + 7*j = 3*j - 20, 5*j + 10 = b. Suppose 0 = 2*r - 3 - 5, q*n + 2*r - 32 = 0. Is n a multiple of 3?
False
Is 6 + 4/(24/6282) a multiple of 13?
True
Let k(j) = -22*j - 4. Let o(x) = -8*x**2 + x + 1. Let h be o(1). Does 35 divide k(h)?
False
Suppose -4*d = 4*v - 2*d - 2050, 4*d + 2044 = 4*v. Is v a multiple of 16?
True
Let i(f) = -2 + 31*f**2 + 3 + 37*f**3 - 30*f**2. Is 7 a factor of i(1)?
False
Let m(c) = 22*c - 142. Is 36 a factor of m(22)?
False
Suppose 33 = -4*v - 163. Let m = v - -105. Is 14 a factor of m?
True
Let q be 13*1*(6 - -3). Suppose -2*u = -3*v - q, 2*u + 3*v = -0*u + 147. Is 11 a factor of u?
True
Suppose -98 = 2*i + 2*z, -4*i - 188 = -4*z - 0. Let b be (i/56)/((-3)/14). Suppose -157 = -5*u - b*w, 0*u + 5*w = 4*u - 142. Does 11 divide u?
True
Suppose 0*w - 4 = -4*w, -j + 6 = 2*w. Suppose 2*k = j*c + 48, 2*c - 28 = k - 2*k. Is 15 a factor of k?
False
Let c be 16/2 + -1 + -3. Suppose 0*n + 64 = 4*k + 2*n, -c*n + 80 = 5*k. Is 7 a factor of k?
False
Suppose 231 = -3*p - 4*u, -p - 5*u - 79 = -3*u. Let g = 106 + p. Does 5 divide g?
False
Let w(s) = s**2 + 9*s + 14. Let f be w(-12). Suppose -5*g - 4*o + 118 = -161, -5*o = -g + f. Does 36 divide g?
False
Let j = 18 + -36. Let y = j - -25. Suppose 84 = y*n - 168. Is n a multiple of 9?
True
Let l be (-4)/(-8) - 91/(-2). Let f = -24 + l. Suppose -3*t - f + 76 = 0. Does 6 divide t?
True
Let q(z) = -2*z**3 - 35*z**2 - 15*z - 34. Let t be q(-17). Let m = t - -153. Is 3 a factor of m?
False
Let y = 762 - 382. Is 10 a factor of y?
True
Let r = 16 - 20. Is 27 a factor of (1516/(-180) - r/18)*-5?
False
Suppose 4*v + 21 = 3*a + v, -4*a - 3*v = 0. Suppose 75 = 2*g - 3*p, 3*g + a*p - 35 = 70. Is 20 a factor of g?
False
Let k(o) be the second derivative of 9*o**4/2 + o**3/6 - o**2/2 - 2*o. Is 13 a factor of k(-1)?
True
Does 52 divide (-10402)/(-8) + ((-500)/80 - -6)?
True
Let n(r) = -6*r + 1. Let c(d) = d**2 - 10*d. Let o be c(9). Let b be n(o). Let x = 26 + b. Is 27 a factor of x?
True
Suppose -90 = -4*c + c. Suppose 3*g - c = -n, 0*n - n + 5*g + 62 = 0. Does 14 divide n?
True
Let h(v) = -v - 3. Let a = 5 - 12. Let t be h(a). Suppose -4 = -4*y - 16, -3*y + 299 = t*x. Does 20 divide x?
False
Suppose -4*q + 936 = 2*f, -q + f = 4*f - 244. Does 19 divide q?
False
Is 7/21 - (-411)/(-9)*-1 a multiple of 30?
False
Let h be 6 + (-900)/153 + (-342)/17. Let l(b) = b**2 + 12*b - 7. Let s be l(-7). Let j = h - s. Does 11 divide j?
True
Suppose 5807 = 12*q + 2147. Is q a multiple of 14?
False
Let a(q) = -21*q**2 - 9*q + 14. Let v be a(3). Let j = v - -338. Does 6 divide j?
False
Let k(a) = 4*a**2 - 14*a + 11. Let t(y) = -3*y**2 + 14*y - 12. Let p(c) = 2*k(c) + 3*t(c). Let b(i) = 3*i - 7. Let w be b(6). Is 8 a factor of p(w)?
False
Let r(u) = u**3 + 11*u**2 - 9*u - 14. Let p be r(-12). Is (165/66)/((-1)/p) a multiple of 25?
True
Suppose 0 = -8*g + 20 + 12. Let j(v) = 4*v**2 + 14*v + 19. Let u(m) = 3*m**2 + 13*m + 20. Let n(i) = g*j(i) - 5*u(i). Does 5 divide n(13)?
False
Let o(a) be the second derivative of -a**5/20 - 5*a**4/12 + 7*a**2/2 + 2*a. Let d be (1 + -6)/(2 + 2 + -3). Is 2 a factor of o(d)?
False
Let u(h) = 2 + 7*h**2 + 8*h + 17 - 7. Is u(-4) a multiple of 14?
False
Let s(y) = -35*y**2 + 2*y - 7. Let u be s(-7). Suppose -z - 10 = -0*z. 