2 a factor of f(12)?
False
Let g(q) be the first derivative of -q**3/3 - 15*q**2/2 - 2*q + 5. Does 12 divide g(-11)?
False
Let k(g) = -3*g**3 - g**2 - 2*g. Does 13 divide k(-3)?
True
Let t(j) = j**2 - 3*j - 6. Let c be t(6). Does 22 divide c/((-8)/(-132)*3)?
True
Let r be (2 + -1)/(3/(-141)). Suppose 4*n + 94 = 2*b - 66, -5*b - 2*n = -376. Let k = b + r. Does 12 divide k?
False
Let x be (28 + -2)*6/4. Let b = 59 - x. Is b a multiple of 10?
True
Suppose -2*f + 6 = 0, 0 = 2*c + 2*f - 11 - 3. Suppose 5*u = u + 8. Suppose c*x = u*x + 44. Does 8 divide x?
False
Let b = 37 - 18. Let p = 31 - b. Is 4 a factor of p?
True
Let t be (-861)/(-28)*16/6. Suppose -10*h + t = -8*h. Does 9 divide h?
False
Suppose 3*v - 9 = 0, -2*b + 4*v + 172 = -0*b. Is 23 a factor of b?
True
Suppose z + 0*z + 3*s - 90 = 0, -2*z + s = -187. Does 11 divide z?
False
Let d(w) = w**3 + 11*w**2 + 7. Is d(-6) a multiple of 19?
False
Suppose 3*x - 112 = 2*j, -2*x + 88 = -2*j - 2*j. Is x a multiple of 7?
False
Let k(t) = t**2 - 4*t + 1. Let b be k(-5). Suppose 47 = -3*v - b. Let j = v - -53. Is 8 a factor of j?
False
Suppose 0 = -6*v + v + 25. Suppose -2*s + 100 = v*j, -2*j = -5*j. Is s a multiple of 13?
False
Let v = -7 + 10. Let p(w) = -w**3 + 19*w**2 + 2*w + 17. Let x be p(19). Suppose 47 = v*f - x. Is f a multiple of 17?
True
Suppose 3*n - 4 = -n. Let s(o) = 2*o + 1. Does 3 divide s(n)?
True
Let k be -3*((-50)/6)/(-5). Let a be 1 - k/(15/6). Suppose -4*u + a = -25. Does 7 divide u?
True
Let h(n) = n**2 - 4*n + 7. Let q be h(3). Let g(j) = j. Let z be g(4). Is 13 a factor of z/3*78/q?
True
Suppose -m - 5*g + 2 = -7, 0 = 5*m + 3*g - 89. Let r = m - 13. Does 6 divide r?
True
Suppose 0 = -2*v + 6*v - 736. Does 23 divide v?
True
Suppose 29 = p - 0*p + 5*v, 5*p = -5*v + 65. Let z = -4 + p. Suppose -z*c + 2*l = -155, -l - 10 = l. Does 14 divide c?
False
Is ((-5)/(-4))/((-1)/(-4)) a multiple of 4?
False
Suppose -10*d = -9*d - 3. Suppose -4*s + 106 = -d*i, 2*s + 4*i + 58 = 4*s. Is s a multiple of 24?
False
Let p be (-21)/(-3) - (-1)/(-1). Let d(c) = -c + 2*c + 7 - p + 5*c**2. Is d(-2) a multiple of 6?
False
Let g = 38 + -22. Is 4 a factor of g?
True
Suppose -8*m = -4*m. Suppose m*l + 64 = 4*l. Is l a multiple of 11?
False
Let z(u) = -3*u + 13. Is 23 a factor of z(-11)?
True
Suppose 4*w - 86 = 10. Does 9 divide w?
False
Suppose 2*h = -4*g + 144, 5*h + g = h + 260. Suppose 2*z = h - 22. Is z a multiple of 7?
True
Let r(h) = 386*h**2 + h. Let o be r(-1). Suppose 5*w + 20 = o. Is 28 a factor of w?
False
Let l(n) = n - 16. Let v be l(-11). Let d = v + 48. Is 10 a factor of d?
False
Let q(o) = -o**3 - 3*o**2 + 2*o - 1. Suppose 4*h - 28 = 3*i, 2*i = -2*i - 5*h + 4. Let s be q(i). Suppose 3*t - s*t = -120. Is 15 a factor of t?
True
Let h(a) = 2*a - 4. Let l be h(3). Let p(n) = 10*n**2 - 6*n + 31*n**2 + 3*n + l*n + 1. Is 12 a factor of p(1)?
False
Suppose -x + 58 = -a, 3*x + 12 = 7*x. Let n = 85 + a. Is n a multiple of 20?
False
Does 3 divide (-2)/7 - (-23)/7?
True
Suppose -4*z - 39 = 5*y, 3*y = -5*z - 2*y - 55. Let i = z + 31. Suppose -3*k - 3*x = -72, k - 2*x = -0*k + i. Is 11 a factor of k?
False
Suppose -317 = -3*i - u, i + 0*u = u + 103. Suppose -z + i = 2*z. Is 10 a factor of z?
False
Let g = 7 - 8. Let b be g - 0/(4/2). Is 15 a factor of b/2 - (-111)/6?
False
Suppose 2*y + 2 = s, 0*y - 2*y + 30 = 3*s. Suppose -5*o + s = -2. Suppose 3*v + 4*w - o = 0, 0*v + 5*v + 2*w = 8. Is 2 a factor of v?
True
Let c be (3 - 6)*(-28)/(-6). Let l(g) = 23*g - 33*g**3 - 13*g**2 - 34*g**3 + 66*g**3 + 19 - 10*g. Does 11 divide l(c)?
True
Let c(y) = -y**2 + 9*y + 3. Let q be c(5). Let v = 5 - 16. Let a = v + q. Is a a multiple of 12?
True
Suppose 0 = -2*k - 0*h + h - 5, -3*h - 5 = -k. Suppose 0*i + 5*i - 35 = 0. Is (i/k - -3)*4 a multiple of 4?
False
Suppose -123 = -3*g - 0*g. Is g a multiple of 12?
False
Let z(l) = -l**2 + 15*l + 12. Is z(15) a multiple of 9?
False
Suppose 10*g - 120 = 5*g. Does 12 divide g?
True
Let h(g) = 6 - 5 + 3 + 4*g. Does 14 divide h(6)?
True
Let v(i) = i**3 - 10*i**2 + i + 3. Is v(10) a multiple of 7?
False
Suppose 0 = -p + 27 + 6. Is 11 a factor of p?
True
Let p = 84 + -41. Let w = p - 17. Let l = -15 + w. Does 11 divide l?
True
Does 14 divide 27/18 + 159/6?
True
Let l(x) = x**2 + 9*x + 6. Let w be l(-7). Let p(g) = -g**3 - 6*g**2 + 8*g - 7. Let s be p(w). Is 3/(s/18 + -3) a multiple of 10?
False
Let x be (1/(-2))/((-2)/20). Suppose -16 = -3*t + x. Is 4 a factor of t?
False
Let k be (-4 - -7)*5/3. Let m(d) = d**2 + 4. Let a be m(0). Suppose 2*f = -a*o + 4*f + 22, 25 = k*f. Does 6 divide o?
False
Suppose -15*t + 10*t + 15 = 0. Does 2 divide t?
False
Let g = -62 - -68. Is 6 a factor of g?
True
Suppose -6*h = 4*z - 3*h - 396, -297 = -3*z - h. Suppose -z = -2*i - i. Is i a multiple of 11?
True
Suppose -6 = -2*r + 2*u, 2*u = -5*r - 11 - 2. Let n(g) = -20*g**2. Let p be n(r). Does 5 divide 27/(-15)*p/6?
False
Suppose 1 - 13 = -2*m + 2*g, 2 = -2*g. Suppose -m*c = -0*c + 2*i - 18, -i = -2*c. Suppose 0 = -2*q - c*q + 20. Does 4 divide q?
False
Let m(u) = -u**3 - 5*u**2 + 3*u - 12. Does 6 divide m(-6)?
True
Suppose 0*u + 1 = -u. Let r be u/((-1)/(-8)*-2). Suppose 0*h - 32 = -c + 3*h, -r*c + h = -106. Does 15 divide c?
False
Suppose 2*n = 1 + 5. Let a(q) = 40*q**2 + n - 5 + 1. Is a(-1) a multiple of 18?
False
Let x(b) = -b**3 + 4*b**2 - 4*b + 2. Let j be x(3). Is 20 a factor of 0 + ((-40)/1)/j?
True
Suppose -7 = -w - h, 0*w - 2*w + 34 = -2*h. Is w a multiple of 6?
True
Let p be 185/(-10) - 1/(-2). Let w(m) = 137*m + 3. Let y be w(-3). Does 11 divide y/p + (-2)/(-6)?
False
Suppose -17 = 4*p + 2*c - 3*c, -p + 2 = c. Does 11 divide 8 - (0/2 + p)?
True
Let k = 15 + -8. Let i = 8 + k. Does 5 divide i?
True
Let d(g) = g + 8. Let i be d(8). Suppose 3*z - l - i = 0, -5*z + 23 = -z - 3*l. Does 2 divide z?
False
Let w(u) = -4*u - 8. Does 10 divide w(-7)?
True
Let n(x) = x**2 + 6*x - 2. Let w be n(-7). Suppose -5*u = -2*i + 112, -u = w*i + u - 251. Is 17 a factor of i?
True
Let q(f) = 3*f + 2. Suppose p + 1 = 7. Let h be q(p). Let n = -8 + h. Does 6 divide n?
True
Let b = -65 - -173. Does 6 divide b?
True
Let w(z) = -z - 1. Let p be w(-5). Suppose -2*s = -p*s. Is 9 a factor of (-1 + s)/(5/(-90))?
True
Suppose u - 5 = -1. Suppose 4 + 9 = -2*o - 5*z, -2*o + u*z - 40 = 0. Is (-288)/(-21) + (-4)/o a multiple of 10?
False
Let l be -85*(2/1 - 3). Let k = l - 47. Is k a multiple of 18?
False
Suppose 0 = -2*z - 2*f + 266, -4*f - 379 = -3*z - 3*f. Does 10 divide z?
False
Suppose -5*f + 60 + 0 = 0. Suppose f = 2*l + l. Suppose -61 = -3*q - 3*i - 2*i, 0 = -2*q + l*i + 48. Is q a multiple of 22?
True
Let y = 106 + -74. Is y a multiple of 8?
True
Let m be 2/7 - 9/7. Let u(f) = f - f - f - 20*f**3. Is 10 a factor of u(m)?
False
Let n(m) = 5 - 3*m**3 + 2*m**3 + m**2 + 5*m - 3. Does 10 divide n(-3)?
False
Let q = 59 + -107. Let t = -16 - q. Is t a multiple of 11?
False
Let x(h) = 2*h**2 - h + 12. Does 28 divide x(-8)?
False
Let b = 39 + -42. Let a(t) = 6*t - 3. Let q be a(2). Let p = q + b. Is p a multiple of 6?
True
Suppose 0*k - 2*k = -112. Is k a multiple of 27?
False
Is 36/5*(17 - 12) a multiple of 12?
True
Suppose o = -g - 2, -3*g = -5*o + 7 - 33. Let q = 4 - g. Suppose -q*l - 5*z + 12 = 0, -z + 45 = 5*l + 4*z. Is l a multiple of 11?
True
Let i be -2 + (4/(-2))/(-1). Suppose j + i*j = 0. Suppose 2*b = -j*b + 10. Does 5 divide b?
True
Let m = -43 - -223. Suppose 2*i - m = -2*i. Is i a multiple of 15?
True
Let y(f) = -f**3 - 8*f**2 + 9*f + 9. Suppose -s + 9 = -i - 1, -3*i = 5*s - 18. Suppose -q + s*q = -45. Does 9 divide y(q)?
True
Let g = -4 + 11. Suppose 4*s - 37 = -3*d, -g = 3*s + d - 31. Is s a multiple of 5?
False
Let b(a) = a + 8. Let n be b(-8). Suppose -3*o + 2*x + 38 = n, -26 = -5*o + 4*x + 38. Is o a multiple of 6?
True
Suppose -3*r - 80 = -5*r. Is 12 a factor of r?
False
Let d = 6 + -1. Suppose -d*r = 4*b + b - 290, -5*b = r - 50. Does 21 divide r?
False
Suppose 111 - 443 = -4*m. Let h = m + -51. Is 22 a factor of h?
False
Suppose 4*j = f - 10 - 26, 0 = 4*f - 2*j - 214. Let p be f/6 - (-4)/6. Let r = p - -9. Is 11 a factor of r?
False
Let d be -2 + (3 - 0) - -1. Let m = d + 0. Suppose -3*v + 2*s = -m*v - 22, v - s - 22 = 0. Is 22 a factor of v?
True
Let w(j) = 2*j**2 + 13*j - 33. Does 9 divide w(-11)?
Fal