 + 1897. Is q a multiple of 30?
False
Let j(z) = 2*z**2 - 13*z - 11. Is 11 a factor of j(11)?
True
Let p(i) = -4*i - 1. Is p(-1) even?
False
Let t be (-1)/5 + (-888)/(-40). Let o = t - 10. Does 12 divide o?
True
Let d be 8/6*12/8. Suppose -d*n + 3*a = -15, -2*n + 6 + 5 = a. Does 4 divide n?
False
Suppose -2*i + 2 = -2. Suppose 0 = -i*m - 2*o + 50, -2*m = -2*o + 3*o - 45. Is m a multiple of 10?
True
Let f be 2/(-2)*(-3 - -2). Let c(q) = 5*q - 1. Let a be c(f). Is (10/(-4))/((-2)/a) a multiple of 4?
False
Suppose -215 = -3*q - 5. Does 10 divide q?
True
Let h = 150 - 91. Let v = h + -37. Is v a multiple of 9?
False
Is 7 - 8 - (-1 + (2 - 66)) a multiple of 16?
True
Let h(l) = -3*l**3 - l**2. Let r be h(1). Is (-42)/(-28) - 358/r a multiple of 31?
False
Let b be 12/(-18)*(-11 + -1). Let g = b + 4. Is 11 a factor of g?
False
Let a = 15 + -35. Let n = a - -28. Is 5 a factor of n?
False
Is 34/4 + 2/(-4) a multiple of 4?
True
Suppose 149*c - 177 = 146*c. Does 5 divide c?
False
Suppose -3*o + 19 - 4 = 0. Let p = o + -4. Let v(l) = 2*l + 1. Is v(p) a multiple of 3?
True
Let b = -79 - -149. Is b a multiple of 11?
False
Is 18 a factor of (-72)/(-42)*(-42)/(-4)?
True
Let d(r) = -r. Let z be d(-3). Suppose z*b + 34 = 5*a, -2*a - 3*b + 15 = -7. Is 6 a factor of a?
False
Let f(v) = v - 13. Let g be f(10). Is 4 a factor of g*((-2)/1 + -1)?
False
Let f(g) = 2*g**2 + 4*g - 3. Is f(7) a multiple of 33?
False
Let i = 256 + -134. Is 39 a factor of i?
False
Suppose -10 = -3*w - s, 3*w + 4*s - 2 = -s. Suppose 0 = w*i - 39 - 1. Does 6 divide i?
False
Let s(v) = 12 + 10*v - 2*v - 2 - 3. Does 17 divide s(5)?
False
Let b = -16 + 7. Let k be 3/b - (-40)/(-6). Let s = 1 - k. Does 3 divide s?
False
Let y = 125 + -59. Is y a multiple of 19?
False
Is 43 a factor of 113 + -1 - (1 + 1 + 2)?
False
Let u be (-1)/(-1 + 2/3). Let m = u - 1. Suppose -m*p + 7*p - 2 = -z, 0 = 3*z + 2*p - 32. Is 6 a factor of z?
True
Let c(w) = -w**2 + 27. Let j be c(0). Suppose g + 7*x - 5 = 2*x, -2*g - x - 26 = 0. Let u = j + g. Is u a multiple of 11?
False
Let v(m) = -16*m + 1. Let u be v(-1). Suppose 0 = -a - 3*i + 11, u = 2*a - a + 5*i. Is 117/5 - a/5 a multiple of 12?
False
Let f = 4 - 16. Let l(v) = -v**3 - 11*v**2 + 6*v - 14. Does 19 divide l(f)?
False
Let i(p) = p**3 - 19*p**2 - 14*p - 5. Is i(20) a multiple of 19?
False
Suppose -3*g + 3 + 3 = 0. Suppose 3*f = -g*f + 415. Is f a multiple of 22?
False
Let w(o) = -5*o**2 - 8*o - 10. Let d(m) be the second derivative of 3*m**4/4 + 5*m**3/2 + 19*m**2/2 - 4*m. Let f(c) = -6*d(c) - 11*w(c). Does 11 divide f(-5)?
False
Suppose 16*q = 23*q - 756. Is 9 a factor of q?
True
Let i(g) = -2*g - 8. Does 6 divide i(-7)?
True
Let o(k) = -7*k**3 + 9*k**2 + k + 1. Let a(c) = 6*c**3 - 8*c**2 - 2*c. Let d(s) = 5*a(s) + 4*o(s). Is 11 a factor of d(4)?
True
Let o(l) = -l**3 - l**2 + l + 68. Let a be o(0). Suppose 12 = -4*x + a. Suppose 3*t - 1 = x, -55 = -5*i + 4*t. Is i a multiple of 13?
False
Let i(r) = r**2 - 6*r + 8. Let o(c) = -c**2 + 5*c - 7. Let b(p) = 5*i(p) + 6*o(p). Let m be b(0). Is 5 a factor of 39/4 + m/(-8)?
True
Does 19 divide -1 - ((-3)/(-12) - 3144/32)?
False
Suppose 0 = -3*f - 4*q + 22, -q = -f + 3*f - 23. Is f a multiple of 2?
True
Suppose -3*w = -2*f + 5*f + 42, 0 = -5*f - 10. Let q(l) = -7*l**3 - l**2 - 2*l - 1. Let i be q(-1). Let o = i - w. Is 19 a factor of o?
True
Suppose 240 = 31*k - 26*k. Does 7 divide k?
False
Suppose n - 3083 + 12991 = 3*l, -l = -n - 3302. Let p be (-6)/14 + l/63. Let j = p - 30. Is 9 a factor of j?
False
Let q(y) be the third derivative of 4*y**5/15 - y**3/6 + y**2. Let f = 2 - 3. Does 6 divide q(f)?
False
Suppose -3*h = -181 - 527. Suppose -4*w + h = 2*s, 0*w - 3*w + 172 = 4*s. Is 30 a factor of w?
True
Suppose -240 = -4*g - g. Does 12 divide g?
True
Let f(h) = 10*h + 38*h - 1 + 2. Does 19 divide f(1)?
False
Let b(v) = 18*v + 18. Does 54 divide b(8)?
True
Suppose -2*j + 268 = 2*j. Suppose -2*q - 28 = 3*u - 5*u, -2*q - j = -5*u. Is 6 a factor of u?
False
Let q(j) = 5*j - 8*j**2 + 4*j + 7 - 5 + j**3. Is 8 a factor of q(7)?
True
Let l be (204/10)/(2/10). Let m = l - 54. Does 16 divide m?
True
Suppose 5 = -2*y + 3*y. Is y a multiple of 4?
False
Let t(f) = -f**3 - 12*f**2 + 3*f + 13. Let d be t(-12). Let r = d + 36. Is r a multiple of 13?
True
Suppose -108 = 15*c - 21*c. Does 9 divide c?
True
Suppose 12*n - 80 = 7*n. Is 16 a factor of n?
True
Does 34 divide -1*(-6)/2 + 59 - 1?
False
Suppose 4*v = 2*v + 252. Let c be (-6)/(-33) - v/(-33). Suppose -4*i - c = -144. Does 18 divide i?
False
Let u(a) = 64*a - 4. Let f be u(-5). Is (-14)/49 + f/(-7) a multiple of 23?
True
Let d(y) = -54*y - 22. Does 16 divide d(-3)?
False
Suppose 4*y - 175 = -q - 11, y + 673 = 4*q. Does 8 divide q?
True
Is (15 - 13) + -1 + 152 a multiple of 21?
False
Suppose -2*k - 3*k + 55 = 0. Let u = 10 + k. Is 7 a factor of u?
True
Suppose 68 + 192 = 2*h. Does 53 divide h?
False
Let b be 7/2 + 6/(-12). Suppose -b*y + 38 + 70 = 0. Is 21 a factor of y?
False
Let n(p) = -4*p + 2. Is n(-7) a multiple of 30?
True
Let a(h) = -25*h**3 - h**2 + h + 2. Does 10 divide a(-1)?
False
Does 7 divide ((-70)/25)/(1/(-15))?
True
Suppose -n + 11 = 7. Is 4 a factor of n?
True
Suppose -34*j - 420 = -40*j. Is j a multiple of 10?
True
Let v(o) = -o**3 - o + 22. Is v(0) a multiple of 11?
True
Suppose 4*a + 4*m = 128 + 192, 3*m = 2*a - 140. Does 38 divide a?
True
Let y = 63 - 33. Does 5 divide y?
True
Let d(h) = h**2 + 6*h - 3. Let n be d(-6). Let t be n + 5 + (2 - 2). Does 6 divide 23/t + (-1)/(-2)?
True
Is ((-4)/(-6))/((-8)/(-144)) a multiple of 12?
True
Suppose -3*c = 4*o - 4*c - 134, 4*o = -5*c + 122. Suppose -30 = -3*k + o. Suppose 0 = w - 4*w + k. Does 5 divide w?
False
Does 31 divide (403/(-52))/((-2)/8)?
True
Let d(w) = -w**2 - 11*w - 4. Is d(-6) a multiple of 16?
False
Suppose -16 = -6*v + 2*v. Suppose -v*a + 5*l + 22 = 4*l, 33 = 5*a - 4*l. Is a a multiple of 5?
True
Suppose -9 + 4 = -5*o - u, o = -3*u - 13. Let t(v) = v**3 - 1 - 8*v**o - 3 + 3*v + v. Is 14 a factor of t(8)?
True
Suppose 75 = -5*d - 75. Let w = d - -54. Is 12 a factor of w?
True
Let a = -86 - -130. Is 22 a factor of a?
True
Suppose -6 - 24 = 5*f. Is 34/f*6*-1 a multiple of 14?
False
Let s = -12 - -15. Suppose -5*z = 5*a - 85, 2*z + 6*a - s*a - 34 = 0. Is z a multiple of 7?
False
Let i = 355 - 218. Is i a multiple of 28?
False
Let l = -261 - -508. Is l a multiple of 44?
False
Suppose -u - 2*u = -3*k - 93, u - 2*k = 36. Is 26 a factor of u?
True
Suppose y = 5*y. Suppose -61 = -3*l - 4*r + 21, -5*l + 3*r + 156 = y. Is l a multiple of 10?
True
Let v(n) = -n**2 - 4*n + 4. Let s be v(-5). Is (-2 + s)/(4/(-28)) a multiple of 7?
True
Let f(s) = -s**2 + 5*s - 6. Let m be f(6). Is 1008/22 - m/66 a multiple of 15?
False
Suppose q = -3*f - 0*f - 7, 3*f + 1 = 5*q. Is 20*(12/5 + f) a multiple of 8?
True
Suppose l - 3*l - 2*o + 2 = 0, 0 = 2*l + 5*o + 7. Let h = 7 - l. Is 12 a factor of ((0 - h) + 1)*-9?
False
Let a(w) = w - 2. Let n be a(9). Let g(j) = -j + 13. Is g(n) a multiple of 3?
True
Suppose -7*r + 43 = 3*c - 3*r, 4 = r. Suppose w - c = 27. Suppose -u - 5*i = -7 - w, -5*u + 5*i = -95. Does 12 divide u?
False
Let i = -14 - -29. Does 7 divide i?
False
Suppose 0 = 4*t + 41 - 129. Suppose 0 = 2*o - 4*o + t. Does 8 divide o?
False
Suppose 17 = 3*o - 2*o. Let y = o - -6. Does 14 divide y?
False
Suppose 0*m - 5*m + d + 116 = 0, -100 = -4*m - d. Is m a multiple of 4?
True
Let f(w) = 4*w**3 + w - 1. Is 2 a factor of f(1)?
True
Suppose -8*f + 105 = -3*f. Is f a multiple of 2?
False
Suppose 4*x + 9 = -3*m, 0 = 4*m + 3*x - 8*x + 12. Let b(n) be the first derivative of n**3/3 + n**2/2 - 5. Is b(m) a multiple of 3?
True
Suppose 25 = -6*o + o, -o = 2*v - 51. Does 13 divide v?
False
Suppose 5*y + 346 = 4*n + 3*y, n = -5*y + 103. Is n a multiple of 11?
True
Let c(v) be the third derivative of 2*v**5/15 + v**4/12 - v**3/3 + 2*v**2. Let h be c(2). Let g = h - 20. Does 13 divide g?
False
Let o = -11 - -64. Is 7 a factor of o?
False
Let a = 16 + -22. Let q be a/(-4) - (-10)/(-4). Does 3 divide -6*-2*q/(-2)?
True
Suppose 5*y - 5*d - 49 = 4*y, 99 = 3*y + d. Let o(c) = -2*c**3 + 2*c**2 - c + 2. Let k be o(2). Let p = k + y. Is 13 a factor of p?
True
Suppose 3*a = -g - 0*a + 55, 2*g - 4*a = 140. Is 16 a factor of 1*g*(-1)/(-2)?
True
Supp