
Let f(p) = 7*p**2 + 47*p**3 - 46*p**3 + 6 - 3 - p. Does 11 divide f(-5)?
False
Suppose -3*x + 10 = -x. Suppose x*o + 10 - 4 = 4*v, -12 = -4*v + 2*o. Does 11 divide ((-11)/v)/(9/(-108))?
True
Suppose -z - 4*y + 26 - 9 = 0, 4*y = 4*z - 108. Is z a multiple of 4?
False
Let o be -1*(7 - -3)/(-2). Suppose 0 = 3*r - o*r + 38. Suppose 3*m - r = 44. Is m a multiple of 12?
False
Suppose v + 3*k + 14 = 8*k, -v - 3*k = -18. Let j(w) = w**3 - 5*w**2 + 6*w + 2. Let l be j(4). Suppose -q = -v - l. Does 8 divide q?
True
Let g be (-25)/(-2) - 3/6. Suppose 5*k = -4*h + 4*k - 15, -k - 10 = 3*h. Let u = h + g. Is 5 a factor of u?
False
Suppose 20 = -3*w + 8. Suppose -25*c = -194 + 69. Is (w + c/2)*-6 a multiple of 3?
True
Let n = -149 - -76. Let w = 56 - n. Is 11 a factor of w?
False
Is 12 a factor of ((-21718)/(-15) - -2) + 2/15?
False
Let s(j) = 161*j - 149. Is 52 a factor of s(9)?
True
Suppose -3*z - 15 = -3*m, 3*m - 2*m + 1 = -5*z. Is (m + (-104)/28)*-7 + 10 a multiple of 7?
False
Let j be 4/(-10) - (-2)/5. Let s(n) = 6*n**2 - 5*n**2 + 2 + j - n. Does 13 divide s(-3)?
False
Let c be (18/8)/(12/48) + -2. Suppose -3148 = -c*z + 51. Does 57 divide z?
False
Does 16 divide (49/(-28))/((-3)/228 + 0)?
False
Suppose -w + d + 85 = 0, 5*w + w + 3*d - 501 = 0. Does 2 divide w?
True
Let g(h) = -2*h - 1. Let m be g(-7). Let q(a) = -a**2 - 4*a - 3. Let y be q(-2). Is (y - m)*4/(-6) a multiple of 8?
True
Let d(y) = y**3 - 24*y**2 - 49*y - 47. Is 11 a factor of d(26)?
False
Let y be -20 - (-4 - (10/(-5))/2). Suppose l - 81 = -2*l. Let r = l + y. Is 3 a factor of r?
False
Let d(y) = -y**2 - 2. Let r be d(0). Let x(p) = p**2 - 3*p. Let k be x(3). Is 4 a factor of r + (10 + k)/1?
True
Suppose 2*g + 164 = 3*l + 22, 4*l - 188 = 4*g. Let h = l - -9. Does 19 divide h?
True
Let g = 1 - -31. Let q = g + -12. Is q a multiple of 5?
True
Let t(i) = i + 1. Let n(c) = 14*c + 16. Let p(s) = -n(s) - 4*t(s). Is p(-8) a multiple of 32?
False
Let o(f) = -63*f - 2. Let q(i) = 64*i + 3. Let r(c) = -4*o(c) - 3*q(c). Let n be r(2). Let x = -14 + n. Is 32 a factor of x?
False
Let l(n) = -n**3 + 10*n**2 + 14*n + 8. Let h = 16 + -12. Suppose -3*f = -2*o + 34, 2*o + 3*f - h = 6. Is l(o) a multiple of 16?
False
Suppose -s + 299 = -399. Is 13 a factor of s?
False
Let w be (6/(-3))/(7/(-42)). Let i = w - 1. Is 11 a factor of i?
True
Let j = -344 + 164. Let s be (j/(-8))/(3/(-4)). Let o = 0 - s. Is 10 a factor of o?
True
Let l(c) = 20*c + 7. Let u be l(-6). Let t = u + 231. Is t a multiple of 20?
False
Let b(x) = -x**3 + 3*x**2 + 2*x - 1. Let t be b(-2). Suppose -13*o - 130 = -t*o. Is o a multiple of 5?
True
Let s be (6/(-21))/((-5)/35). Suppose 0 = -s*d - 5*p + 53, 2*d = -2*p + 3*p + 23. Is 14 a factor of d?
True
Suppose -8*n = -3*n + 200. Let x = n - -26. Let y(q) = -q**3 - 15*q**2 - 21*q - 20. Does 15 divide y(x)?
False
Let q = 15 + -13. Let k = 35 - 23. Let x = k - q. Does 3 divide x?
False
Let d be 1 + (-12)/2*-3. Let y = d - -5. Is y a multiple of 24?
True
Let y be -14*1446/(-48) - 6/8. Suppose -3*n = -y - 50. Does 18 divide n?
False
Let k = 15 - 13. Suppose -4*i = -2 - k. Does 15 divide 1 + 28 - (i + -2)?
True
Let b = -141 - -197. Suppose 0 = 3*s + 2*t - 49, 4*t + t = 3*s - b. Is 2 a factor of s?
False
Let b(t) be the second derivative of -3*t + 0 + 1/3*t**3 - 1/2*t**2 + 13/12*t**4. Is 15 a factor of b(-2)?
False
Let h(s) = -s**2 + 8*s - 10. Let m be h(5). Let x(p) = -15*p**2 - 2*p - 1. Let a(k) = -k**2 - k. Let c(r) = m*a(r) - x(r). Is 7 a factor of c(2)?
True
Let w be (5/((-5)/8))/(11/(-1078)). Suppose w = 2*f + 6*f. Is f a multiple of 14?
True
Suppose 0*l - 2*l - 602 = 0. Let b = -66 - l. Suppose -5*x = 5*a - b, 0 = -4*x - 5*a + 120 + 63. Is 26 a factor of x?
True
Suppose 2*y = 3*y + k - 2, 4*y = 3*k + 8. Suppose 0*v = y*v - 36. Does 11 divide ((-27)/v)/(2/(-44))?
True
Suppose 2*x = 5*a + 899, -x = 158*a - 159*a - 442. Does 23 divide x?
True
Let f(i) = i**3 + 9*i**2 + 11*i - 14. Let l be f(-7). Suppose 0 = -x + 47 - l. Does 8 divide x?
True
Suppose 2*f = 5*f - 57. Suppose 37 = g - f. Is g a multiple of 14?
True
Let t = 3 + -2. Suppose -a - 268 = h - 5*h, -2*h + 4*a + 120 = 0. Suppose 3*l - k - h = 0, 113 = 5*l - 2*k + t. Is l a multiple of 8?
True
Let k(f) be the first derivative of f**5/20 + f**4/2 - 5*f**3/6 + f**2 + f + 9. Let h(s) be the first derivative of k(s). Does 7 divide h(-5)?
False
Let d(x) = x**2 - 9*x + 8. Let u be d(17). Suppose u = b + 47. Is b a multiple of 21?
False
Suppose 17 = -5*j - 2*q - 28, 4*j + 2*q + 38 = 0. Let i be j*(1 + 0 + 1). Let p = -9 - i. Is p a multiple of 2?
False
Let d be (-9)/36 + -1*(-50)/8. Suppose d*s + 7 = 1663. Does 23 divide s?
True
Suppose 8*g - 1728 = 2*g. Is 16 a factor of g?
True
Let s = 60 - 10. Suppose -5*r - 59 = -2*b, 4*r = -2*b - 18 + s. Is 11 a factor of b?
True
Let y = -41 + 44. Suppose y = 4*a - 9. Is a a multiple of 2?
False
Let w = -124 - -99. Let x = 106 + w. Is 27 a factor of x?
True
Suppose 0 = -3*j + 305 + 97. Let w = 303 - 299. Suppose -3*l + j = 2*c - 4*c, -3*l - w*c + 164 = 0. Does 24 divide l?
True
Suppose v + 5 + 14 = s, -5*v - 3 = -s. Suppose -s = 4*n - 199. Is 11 a factor of n?
True
Let z(g) be the third derivative of g**4/24 - 5*g**3/2 - 5*g**2. Let x be z(8). Let y = 35 + x. Does 7 divide y?
True
Let f = 23 - -3. Let j = f - 28. Let h = j - -69. Is 10 a factor of h?
False
Let l(d) = 18*d**2 - 20*d + 188. Does 15 divide l(7)?
True
Suppose 0 = -37*f + 35*f + 4*a + 4548, 4*f - 4*a - 9084 = 0. Does 36 divide f?
True
Suppose 11*h = 3*h. Suppose h = 3*j + 3*r - 360, -3*r + 18 + 108 = j. Does 39 divide j?
True
Suppose 4*r - 632 + 20 = 0. Suppose -16 + r = 4*p + 3*l, -2*p + 69 = l. Does 9 divide p?
False
Suppose -12 = -4*k + 4*c, -3*k = 2*k - 3*c - 9. Suppose 2*q + 62 = a + q, k = -2*a + 3*q + 122. Does 16 divide a?
True
Suppose -11*a + 20*a - 1656 = 0. Does 23 divide a?
True
Suppose -14 = d - 3*d - 5*q, -3*q = -d + 29. Let s = -5 - -8. Suppose -l + o = -25, l + s*o - d = 2*o. Does 10 divide l?
False
Let o(c) = 29*c**2 - 4*c + 9. Is 21 a factor of o(5)?
True
Does 5 divide 50/(-15)*(-15)/25 + 388?
True
Let z = -7 + 23. Suppose 2*v + z = 56. Is v a multiple of 10?
True
Let w = -17 + 57. Let a be (-1)/3 + w/12. Suppose 80 = 2*z + a*z. Is z a multiple of 8?
True
Let v(g) = g. Let s(i) = -182*i - 9. Let l(n) = -s(n) - 4*v(n). Is l(1) a multiple of 29?
False
Suppose 5*s = 1189 - 169. Is s a multiple of 9?
False
Let g = 37 + -33. Suppose -3*s = -5*w + 117, 0 = -g*w + w + 3*s + 69. Is w a multiple of 4?
True
Suppose -u - 25 = 4*u, 0 = m - 4*u - 27. Suppose 5*w + d - 25 = 0, m*d - 4*d - 19 = -w. Suppose -4*g - 4*z = -208, 3*g - w*g + 56 = 5*z. Is g a multiple of 17?
True
Let k(n) = 25*n**2 - 28*n + 114. Is 94 a factor of k(6)?
True
Let w = 2 - -3. Suppose w*t - 15 = 6*n - 2*n, -24 = 4*t + 4*n. Does 12 divide (t + 3)*(-2 + 8)?
True
Suppose 1092 = 14*a - 2*a. Is 13 a factor of a?
True
Let n(a) = 2*a - 2 + 6*a**2 + a**3 + 0*a**2 - 2. Let u(f) = -5*f + 26. Let d be u(6). Does 5 divide n(d)?
True
Suppose -27 - 387 = -r. Is 39 a factor of r?
False
Suppose -21*r + 3*h + 4303 = -19*r, h = -5*r + 10732. Is r a multiple of 14?
False
Let x be 0*((-14)/(-4) - 4). Let d = 4 + x. Suppose 2*z + 5*l - 48 = 3, -5*l + 107 = d*z. Is 14 a factor of z?
True
Let z(g) = g**2 - 10*g + 3. Let q be z(8). Let j = q + 18. Suppose j = -5*f + 25. Is 4 a factor of f?
True
Suppose 0 = 18*f - 1876 - 12524. Is f a multiple of 40?
True
Let n(p) = -2*p**2 - 9*p + 8. Let c be n(-7). Let f = 32 - c. Does 10 divide f?
False
Let u = 375 - -382. Is 35 a factor of u?
False
Suppose -948 = -11*m + 1219. Does 54 divide m?
False
Let g(j) = -2*j - 7*j**2 + 9 + 4*j**2 - j**3 - 3 - 6*j**2. Let a be g(-9). Let r = 46 - a. Is 22 a factor of r?
True
Let m = 598 - 208. Does 15 divide m?
True
Let l(a) be the third derivative of 8*a**2 + 0*a - 1/6*a**3 - 1/120*a**6 - 2/15*a**5 + 1/6*a**4 + 0. Is 8 a factor of l(-9)?
False
Let c(t) = t**3 + 7*t**2 + 3*t + 6. Suppose 2*j = -3*r - 7 - 3, -5*j = -20. Is c(r) a multiple of 4?
True
Suppose -5*r = -5*k - 105, -2*r + 3*k + 0*k = -40. Does 5 divide r?
False
Let z(w) = -4*w**2 + 5*w + 4. Let s(k) = -13*k**2 + 15*k + 13. Let d(r) = -4*s(r) + 11*z(r). Is 14 a factor of d(-4)?
True
Suppose 5350 = 5*z - 5*o, -5*z + 5350 = -5*o + 7*o. Does 58 divide z?
F