 -2*p(j) + 11*t(j). Let k be g(2). Does 20 divide 2/k + 244/12?
False
Suppose t = 4 - 3. Let n(f) = 53*f**2 - f. Let b(r) = -r**2. Let z(j) = -2*b(j) + n(j). Does 19 divide z(t)?
False
Let y(j) be the third derivative of j**6/180 - 7*j**5/120 + j**4/8 + j**3/3 + 2*j**2. Let l(p) be the first derivative of y(p). Is l(5) a multiple of 9?
True
Does 20 divide ((-156)/(-5))/(((-35)/7)/(-25))?
False
Suppose 14 = i - 19. Suppose -3*l = -4*l + i. Is 11 a factor of l?
True
Suppose 361 = 4*q - 5*n, 4*n = -4*q + 61 + 255. Does 27 divide q?
False
Let g(a) = 4*a**2 + 2*a - 22. Let i(y) = -7*y**2 - 3*y + 43. Let j(c) = 5*g(c) + 3*i(c). Does 19 divide j(0)?
True
Let x(o) = o - 1 - 1 - 3*o + 7*o**2. Is x(2) a multiple of 16?
False
Suppose -2*v = -5*v + 9. Suppose 0 = v*w - 3*a - 3, -3*w + 2*w - 5*a = -19. Does 2 divide w?
True
Suppose 8 = h - 4. Suppose 0*i = -2*i + 6. Let w = i + h. Does 15 divide w?
True
Let i(h) = -5*h**3 - 2*h**2 - 4*h - 3. Does 34 divide i(-2)?
False
Let d be (4 - 2) + -1 + 2. Is (-6)/9 + 68/d a multiple of 9?
False
Is -20*(15/6)/(-5) a multiple of 10?
True
Let y(d) = -d + 4. Let m be y(2). Let h be 8/m - 2 - -7. Let g = h + 18. Is 27 a factor of g?
True
Let i(u) = -2*u**3 - 4*u**2 + 1. Suppose -3*d + 5 - 14 = 0. Is i(d) a multiple of 10?
False
Let n be (6 - 5)*(-10)/(-2). Is ((-84)/(-10) + 2)*n a multiple of 26?
True
Let w = 3 - 0. Let p = w - -1. Suppose -p - 64 = -2*u. Is 19 a factor of u?
False
Let t be (6/(-1))/(-3)*1. Let x = t + 3. Does 3 divide x?
False
Suppose -3*x = 5*l - 290, -5*l = 4*x - 5*x + 130. Is 21 a factor of x?
True
Suppose 2*v + 2*a = 174, 265 + 56 = 4*v - 5*a. Does 6 divide v?
True
Suppose -12*j - 208 = -16*j. Does 31 divide j?
False
Suppose 1430 = j + 4*j. Does 22 divide j?
True
Suppose -n + 15 = 5*s, -5*n + 2*s + 21 = -0*s. Suppose -q = 1 - n. Suppose 6 = -q*a + 30. Is a a multiple of 3?
True
Suppose 0 = -l - 6 + 7. Let d(a) be the first derivative of 21*a**2/2 - a + 1. Is d(l) a multiple of 20?
True
Let l be 10/(-25) - 14/(-10). Is (-3)/(-2 + l - 0) a multiple of 2?
False
Suppose -5*s = -4*r + 45, 5*r + 1 - 11 = -3*s. Suppose k = -0*k - r*o + 25, -5*k + 4*o = 20. Let c(a) = a**2 - a + 11. Does 4 divide c(k)?
False
Let o(h) = -h**2 + 6*h - 5. Let f be o(5). Suppose i + f*i - 14 = 0. Is 7 a factor of i?
True
Let a be ((-8 - 0)/2)/(-1). Let h be 5*3*a/15. Suppose -k - 45 = -4*k + 4*o, 2*k - 10 = -h*o. Does 11 divide k?
True
Suppose 5*t + 9 = 2*t. Let s = t - -3. Suppose s*a = 4*a - 44. Is 11 a factor of a?
True
Let c(i) = -i - 6. Let o be c(-7). Is 2*(4 - 0/o) a multiple of 4?
True
Is ((-1)/1)/((-2)/234) a multiple of 39?
True
Let x(p) = -p**3 - 6*p**2 + p + 14. Is 8 a factor of x(-6)?
True
Let k(j) = -2*j - 12. Let p be k(-9). Let n = -3 + p. Suppose m - 10 = -4*b + 25, -n*m + b = -118. Does 15 divide m?
False
Let q = 5 + -1. Suppose -3*u - 5*j = -20 - 12, 0 = -q*u - 5*j + 36. Suppose -x - 2*x - 14 = -n, n - u*x - 14 = 0. Does 7 divide n?
True
Let i be 22/(1/(-3 - -2)). Let j be (-2)/5 - i/5. Is (j/(-10))/(4/(-300)) a multiple of 21?
False
Let m be 27/2 + 2/(-4). Suppose 0 = 3*b - m - 74. Does 11 divide b?
False
Is (-57)/(3*(-2)/6) a multiple of 10?
False
Suppose -3*m + 2*m = -1. Suppose -3*i + 3 = -3*n, -8 = -3*n + m. Does 12 divide (-3)/i - 297/(-12)?
True
Suppose -4*i = -j - 15, -2*i + 5 = -0*j - 3*j. Suppose -w - i*w = -240. Is 8 a factor of w?
True
Let i = 4 - 1. Let n(s) = s + 10*s + 7*s - 4. Is 19 a factor of n(i)?
False
Suppose 0 = 3*k + 3*g - 11 + 2, -17 = -4*k + g. Suppose -2*d + d + k = 0. Does 2 divide d?
True
Let w(m) = -m**2 + 7*m - 3. Let a be w(6). Suppose a*g - t - 178 = 0, 5*t + 75 - 306 = -4*g. Does 18 divide g?
False
Suppose 0 = 3*k - 6. Let t be ((-2)/(-4))/(k/8). Is 11 a factor of ((-12)/t)/2*-11?
True
Let z(g) = g**2 + 3*g - 1. Let b be z(-5). Suppose -b = 3*t - 4*t. Is t a multiple of 9?
True
Let s(b) = 2*b - 5. Let p = 2 + -2. Let z be ((-10)/(-4) - p)*2. Is s(z) even?
False
Let l(b) = -31*b + 9. Is l(-3) a multiple of 21?
False
Suppose 4*j + 188 = 3*p, 4*j - 8 = 8*j. Does 15 divide p?
True
Let n(z) = -z**2 - 3*z + 2. Let q be n(-2). Suppose -q*b + 10 + 86 = 0. Is b a multiple of 15?
False
Suppose 2*b + 10 = 4*l, 0 = 2*l + 3*l + 3*b - 29. Suppose -2*o = -2 - l. Suppose -c + 2*d + 7 = 0, -5*c + o*d - 11 = -32. Is 2 a factor of c?
False
Let s(r) = 3*r**2 + 6*r - 2. Is 19 a factor of s(-8)?
False
Suppose 0 = -a + 18 + 18. Does 9 divide ((-9)/12)/((-1)/a)?
True
Suppose 0*r + 8 = 2*r. Suppose v - s + 1 = 0, -r*v - 3*s = -3*v - 11. Does 4 divide 4/(-4) - (-5 - v)?
False
Let v(p) = -4 + 1 - p**2 - 3*p - 4*p. Let r be v(-6). Does 19 divide (-456)/18*r/(-2)?
True
Let o = 92 - 62. Is 7 a factor of o?
False
Suppose -m + 9 = 3*d, 4*d = m + 2*m + 25. Suppose y - d*g = -6*g + 22, 0 = -3*y + 3*g + 21. Is 6 a factor of y?
True
Let h = 9 + -13. Is 16 a factor of 39 - (-12*1)/h?
False
Suppose 6*n - 3*l = 5*n + 171, 2*l - 480 = -3*n. Is n a multiple of 18?
True
Let p = -8 - -14. Suppose -l = -3*l + p. Suppose i + 16 = d, -l*d - 5*i + 48 + 0 = 0. Does 8 divide d?
True
Let t(f) = -69*f. Suppose 5*n + 4*c + 12 = -5, 8 = -5*n - c. Let q be t(n). Let u = q + -45. Is 20 a factor of u?
False
Suppose 2*i - 5*i = -15. Suppose -2*g - 2*g + 47 = i*p, 2*p - 63 = -5*g. Is 5 a factor of g?
False
Let f(y) = y**2 + 5*y - 2. Let m be f(-7). Suppose u + 0*u - m = 0. Does 10 divide u?
False
Suppose 5*m - 45 = 2*m. Does 4 divide m?
False
Let i(n) = n**3 + 12*n**2 - 10*n - 12. Does 18 divide i(-12)?
True
Let x(k) = 3*k**2 + 7*k - 8. Let f be x(-9). Is (1/2)/(2/f) a multiple of 15?
False
Let j = 19 - -38. Does 7 divide j/4 - 3/12?
True
Let a(x) = 14*x - 4. Does 6 divide a(2)?
True
Let n(z) = -2*z**2 - z + 2. Let j be n(2). Let o = j + 13. Suppose 0 = -5*k - 2*y + o*y + 158, 2 = -2*y. Does 15 divide k?
False
Let x(o) = -o**2 + 8*o - 7. Let u be x(7). Let d be 3*-1*(u - -1). Does 10 divide 4/6 + (-55)/d?
False
Suppose 0 = 5*y - 25, -855 = 2*r - 7*r - 2*y. Is 11 a factor of r?
False
Let m be (1 + -4)/((-3)/27). Let v(c) = 4*c + 1. Let l be v(1). Suppose d = l*b, -4*d + 2*d + b + m = 0. Is 15 a factor of d?
True
Suppose 0 = -6*a + 149 - 29. Does 20 divide a?
True
Let w be 3/(-3)*1 - -46. Suppose g - 3*z = -4*z + w, 0 = z - 2. Is 12 a factor of g?
False
Suppose -2*q = -4*q + 2. Is 9 a factor of 14 + 11 + (2 - q)?
False
Let p(j) = -j**2 - 10*j - 3. Is p(-7) a multiple of 3?
True
Let d(r) = r**2 + 8*r - 13. Let k be d(-11). Suppose 0 = 4*u - k, i - 3*u = 2*i - 27. Does 6 divide (-1)/(-4) - (-261)/i?
False
Let t(d) = -d**3 + 5*d**2 + 3. Let r be t(5). Let a = 1 + 0. Let m = r + a. Is m a multiple of 4?
True
Let p = -15 + 11. Let l(h) = -2*h - 4. Is l(p) a multiple of 4?
True
Let r = -53 - -19. Let u = 48 + r. Is 5 a factor of u?
False
Let z(i) = 2*i - 1. Let l be z(-3). Let x be 2/l - 990/14. Let c = 99 + x. Is 15 a factor of c?
False
Let r(k) = -7*k**2 - 25*k + 16. Let g(s) = -4*s**2 - 13*s + 8. Let x(b) = -5*g(b) + 3*r(b). Is x(-6) a multiple of 12?
False
Let i = -7 + 17. Let j = -5 + i. Suppose 3*h = -5*y + 31, j*y + 0*h - 49 = 3*h. Does 8 divide y?
True
Let g(o) = 5*o**2 - 5*o + 5. Does 14 divide g(4)?
False
Let q(p) = -p**2 + 36*p - 71. Does 30 divide q(14)?
False
Suppose -2*x - 1 = 21. Let m = 9 - x. Is 10 a factor of m?
True
Suppose b = q + 3*b - 49, 4*q = 5*b + 170. Is 5 a factor of q?
True
Let p(z) = 4*z**2 + 9*z - 11. Let i(j) = 2*j**2 + 5*j - 6. Let s(f) = -11*i(f) + 6*p(f). Let n(v) = -10*v + 24. Let q be n(2). Is 12 a factor of s(q)?
False
Let y(w) = -3*w**2 - 3*w - 6. Let l be y(-7). Let m = -87 - l. Let h = m + -9. Is 17 a factor of h?
False
Let t be (184/(-12))/(3/(-9)). Suppose -t - 53 = -3*l. Is l a multiple of 11?
True
Let k(u) = -u**3 - 3*u**2 + 4*u + 2. Let f be k(-4). Let t be ((-12)/f)/((-6)/4). Suppose -5*w + 22 = -3*w - 5*n, 2*w - t*n - 24 = 0. Does 16 divide w?
True
Suppose 0*b = -4*h - 2*b + 384, -5*h + 480 = 4*b. Let s be h/7 + 2/7. Let t = s - 9. Is 2 a factor of t?
False
Suppose -3*k - 236 - 106 = -5*c, -4*k = 4*c - 248. Is c a multiple of 33?
True
Let c(a) = a**3 - 6*a**2 + a - 2. Let x = -3 + 8. Let u be c(x). Let s = u - -53. Is s a multiple of 13?
False
Let n(v) = -18*v - 2. Let r be n(-6). Suppose -2*z + 0*z = -r. Is z a multiple of 13?
False
Suppose 3*z - 32 = 5*s, -2*s = 2*s - 2*z + 24. Let v be 1