 = -30 + 4. Let q = n - -46. Is 10 a factor of q?
True
Let l = 426 + -239. Suppose -p + 133 = 2*u, 0 = -0*u - 3*u + p + l. Is 12 a factor of u?
False
Suppose -12 - 12 = -4*p. Suppose -p*g = -10*g + 120. Does 10 divide g?
True
Let y(u) be the second derivative of -u**3/2 - 5*u**2/2 + 2*u. Let w(r) = 3*r + 3. Let l be w(-3). Is y(l) a multiple of 10?
False
Suppose -6*z = -411 + 159. Is 10 a factor of z?
False
Suppose 130 = 7*j - 206. Is 12 a factor of j?
True
Does 22 divide (-88)/(-2)*(-14)/(-8)?
False
Suppose 0 = -f + 5, -4*y + 15 = -0*y - f. Suppose y*c - 62 = 58. Does 12 divide c?
True
Suppose -4*v + 3*w + 108 = -0*v, 5*w - 54 = -2*v. Is 4 a factor of v?
False
Let v(a) = 19*a**2 + a - 1. Let k(p) = 19*p**2 + p - 1. Let g(x) = 5*k(x) - 4*v(x). Let o be g(1). Suppose 0*r - r = -o. Is r a multiple of 11?
False
Let t = 61 - 100. Does 32 divide 240*(3 + t/15)?
True
Let y = -31 - -43. Is ((-58)/3)/((-8)/y) a multiple of 11?
False
Suppose 176 = -2*m + 6*m. Is 22 a factor of m?
True
Let o be 264/(-10) - 20/(-50). Let m = 52 + o. Is m a multiple of 8?
False
Let n(w) = 18*w + 60. Is n(11) a multiple of 56?
False
Suppose 4*n - 20 = 0, -n = 5*h + n - 220. Does 6 divide h?
True
Suppose 4*u - 185 = -65. Does 10 divide u?
True
Let o = -430 - -710. Is o a multiple of 35?
True
Let o be 374/(-10) - 4/(-10). Let d = 61 + o. Does 8 divide d?
True
Let j be (23 - -1)*(-52)/(-39). Let h = j - 18. Does 6 divide h?
False
Suppose -v - 3*v = -4. Let g(x) = 32*x + 1. Is g(v) a multiple of 20?
False
Let g = 50 + 20. Is g a multiple of 14?
True
Let t = -16 - -48. Suppose 3*w + t - 104 = 0. Is 8 a factor of w?
True
Let r(t) = t**3 + 3*t**2 + 3. Let g be r(-3). Suppose -2*c + 17 = g*x - 41, 0 = 4*x - 8. Is c a multiple of 13?
True
Suppose 5*u + 0*n = n + 174, -67 = -2*u + 3*n. Is 7 a factor of u?
True
Suppose -2*o = -3*o + 30. Suppose p - o = -p. Is 15 a factor of p?
True
Let d(i) = 5*i**2 + 2*i - 3. Let m be d(-7). Suppose -a + m = a. Suppose 0 = 4*k - 7*k + a. Does 19 divide k?
True
Let l(p) = 3*p - 1. Does 5 divide l(8)?
False
Suppose -7*f - 414 = -10*f. Is f a multiple of 23?
True
Suppose 2*r = -3*d - 3, 3*r - d - 1 = 8*r. Suppose r = 4*j - 1 - 159. Is 14 a factor of j?
False
Suppose -10 = -3*w - 1. Suppose d - 76 = -w*d. Is 14 a factor of d?
False
Let r = 2 + -2. Suppose 3*w - h - 55 = -r*h, h - 53 = -3*w. Is w a multiple of 14?
False
Suppose 0 = -2*s + 5*j + 110, 2*s - 2*j = 3*s - 37. Suppose 0 = u + 2*u - s. Does 15 divide u?
True
Suppose -121 = -3*a - 4*p, -a - p = -0*a - 39. Is 13 a factor of a?
False
Suppose u - 38 = -5*d, 64 = u + u + 4*d. Suppose -12*m = 2*m + 168. Let r = m + u. Does 16 divide r?
True
Let w(g) = 4*g + 1. Suppose -5*p + 2*q + 13 = 0, -2*q + 5 = 3. Is w(p) a multiple of 13?
True
Let m(z) = -z**3 + 4*z**2 - z + 4. Let c be m(4). Let d = c - -2. Let v = d + 8. Is v a multiple of 10?
True
Suppose w - 3*w = 0. Suppose 20 = -5*o, 4*y - o = -w*o + 96. Let j = 36 - y. Is j a multiple of 13?
True
Suppose -2*r + 12 = r. Suppose -5*b + 40 = -10*w + 5*w, r*b + 3*w = -3. Suppose 0 = 2*p - b*p + 16. Is p a multiple of 13?
False
Let b(i) = -16*i - 4. Is b(-3) a multiple of 11?
True
Suppose -3*w - 4*b = b + 20, 23 = -5*w + 2*b. Does 5 divide 16/(-40) + (-52)/w?
True
Suppose -4*v - 4*q = 8, -v + 2*q = -5*v - 6. Does 3 divide v/(-4) + (-525)/(-60)?
True
Let q be 0 + -1 + 4 + 0. Suppose -4*r + 54 = -3*z, q*r + 2*r = -4*z - 72. Let s = z - -30. Is s a multiple of 7?
False
Suppose -7*g - 52 = -2*y - 3*g, 15 = -3*g. Let d = -9 + y. Is 4 a factor of d?
False
Let g(r) = r**3 + 11*r**2 - r + 7. Is 12 a factor of g(-11)?
False
Let u = -45 - -77. Suppose -u = -6*y + 2*y. Is 7 a factor of (-21)/28 - (-118)/y?
True
Let y be ((-9)/6)/((-9)/24). Suppose -y*s + 72 = 4*g, -2*g - 28 = -s + 2*g. Suppose 0 = 5*n - s - 20. Is n a multiple of 4?
True
Suppose 2*i + 12 = 4*m + 4*i, 0 = -3*i + 12. Let k = m - -4. Does 5 divide k?
True
Suppose 3*d + l + 19 = -l, 0 = -5*d - 3*l - 31. Let k(b) = -2*b - 7. Let c be k(d). Suppose -c*z + z = -6. Is z a multiple of 3?
True
Let n = -22 + 44. Let x = -9 + 5. Is n*(10/x - -3) a multiple of 10?
False
Suppose -3*k + 6*k + 129 = 0. Let v = 115 + k. Does 24 divide v?
True
Let q be ((-12)/(-10))/(4/10). Suppose -q*i + 5*i - 14 = -5*g, -2*g + 5 = i. Suppose -g*y + 80 = 5*n - 3*n, 0 = 3*n + y - 95. Is 13 a factor of n?
False
Suppose m + 7 = -2. Let i(c) = 9*c + 3. Let o be i(3). Let y = o + m. Does 14 divide y?
False
Let a = 1040 + -719. Does 40 divide a?
False
Let d(f) = -13*f**2 - f - 4. Let t be d(3). Let n = t - -67. Is n/(-4) - (-1)/(-4) a multiple of 14?
True
Let y(b) = -2*b**3 - 3*b**2 - 3*b - 4. Does 2 divide y(-2)?
True
Let q = -34 + 59. Is 12 a factor of q?
False
Suppose 2*r - 7*j - 125 = -12*j, -4*j = 2*r - 128. Is 7 a factor of r?
True
Let f = 156 - 107. Let m = f - 25. Is m a multiple of 18?
False
Let a = 37 - 16. Suppose -3*z = -a - 12. Is 11 a factor of z?
True
Let q = 308 + -135. Does 25 divide q?
False
Let s(w) = -w**3 + 8*w**2 + 9*w + 8. Let q be s(7). Suppose 0 = 2*v + 4*p + 72, 0*v = -3*v - 2*p - q. Let f = -17 - v. Is 11 a factor of f?
False
Let r(k) = 4*k - 2. Let q = -12 + 14. Does 2 divide r(q)?
True
Let b(o) = o**2 + 6*o - 12. Let z be b(-10). Suppose 0 = 5*v + 25, 0 = f + 4*f + 2*v - 5. Suppose q = -f*q + z. Does 3 divide q?
False
Let t(c) = 5*c - 5. Is t(4) a multiple of 3?
True
Let d = 21 + -13. Suppose 3*s = 3*k - 18, -3*k + 6*s - s = -d. Is 11 a factor of k?
True
Suppose -2*p - 5 = -5*a - 4, -5*a = 2*p - 9. Suppose -g + x + 0 = -a, 0 = -2*g + 4*x - 4. Suppose 5*q - 31 = -g*d + 2*d, 0 = -3*q - 15. Does 10 divide d?
False
Suppose 105 = 7*c - 259. Is 11 a factor of c?
False
Suppose 2*j - 6 = -4*c + 16, -5*c = -2*j - 14. Suppose -c*v - 19 = -119. Does 8 divide v?
False
Let i = -148 - -308. Is 20 a factor of i?
True
Suppose 2*s + 39 = 3*s. Is s a multiple of 13?
True
Let n(b) = b + 1. Let r(a) = a**3 + a + 3. Let c be r(0). Does 4 divide n(c)?
True
Suppose -g - 110 = -4*n + g, n = 5*g + 5. Let a = n - 18. Does 4 divide a?
True
Let n(x) = -5*x - 2. Let c be n(2). Does 5 divide 37/4 - (-3)/c?
False
Suppose g - 62 - 101 = -5*l, -143 = -4*l - 5*g. Suppose k = -3*k + 20. Suppose -i + k*i = l. Is 4 a factor of i?
True
Let c = 845 - 497. Suppose 0 = -5*j + c - 88. Is 36 a factor of j?
False
Let p be 24/(-30)*(-10)/2. Suppose 17 = 2*l - t, 0 = -p*l + 7*l + 4*t - 42. Does 7 divide l?
False
Suppose -n = 4 - 26. Suppose -3*j = -2*j - n. Does 18 divide j?
False
Let d(h) = -h**3 - 4*h**2 - 2*h + 2. Does 3 divide d(-4)?
False
Let b = 84 - -33. Does 9 divide b?
True
Let t(w) be the first derivative of -1 - 4*w - 1/4*w**4 - 5/3*w**3 + w**2. Is t(-6) a multiple of 9?
False
Let x(i) = -i**3 + 6*i**2 + 9*i - 3. Let m be x(6). Let z = 93 - m. Is 14 a factor of (0 - 3)*z/(-9)?
True
Let n = 24 + -26. Is (-47 + -1)/(n/3) a multiple of 18?
True
Suppose -4*a - 3*o = -363, -3*a + 0*o = -2*o - 268. Is 30 a factor of a?
True
Let y(v) = -v**3 - 14*v**2 - 12*v + 1. Let b be y(-13). Is 2/(-3) - 476/b a multiple of 13?
True
Let j(t) = -t**3 - 7*t**2 + 13*t + 3. Is 16 a factor of j(-9)?
True
Suppose -5*f - q = 6116 + 333, -3*f - 3867 = 3*q. Does 14 divide (-4)/(-14) - f/42?
False
Suppose 2*g = 4*m - 408, 0*m = 3*m - 2*g - 305. Is m a multiple of 22?
False
Let k(x) = 3*x - 3. Let c be k(2). Let q(l) = -2 + 4*l**c - 3*l**3 + 2*l**2 - l**2 - 3*l. Does 9 divide q(3)?
False
Suppose 0 = -6*m + m. Let s(l) be the second derivative of l**5/20 + l**4/12 + 3*l**2 + 2*l. Does 3 divide s(m)?
True
Suppose -2*m + 30 = 2*q, -2*m + 2*q - 8 + 54 = 0. Suppose 2*w - m = 5*r, 5*w + 0*w - 3*r - 38 = 0. Does 7 divide w?
True
Let r = 14 - 2. Is 12 a factor of r?
True
Suppose 4*d - 203 = 109. Does 13 divide d?
True
Let o(a) be the first derivative of -a**4/4 - a**3/3 + 84*a + 6. Is o(0) a multiple of 28?
True
Suppose -5*p - 10 = -3*n - 153, 5 = -5*n. Does 15 divide p?
False
Let v(t) = 19*t + 8. Is v(2) a multiple of 9?
False
Let s = -11 + 11. Let w = 24 + s. Is 8 a factor of w?
True
Let v be (-585)/(-11) - (-2)/(-11). Let z = v + -32. Is z a multiple of 8?
False
Let r be 20 - 4/(12/(-9)). Suppose 0 = -w - 0*w - 11. Let x = r - w. Is x a multiple of 12?
False
Suppose 5*a - 111 - 114 = 0. Suppose -4*b = -3*b - u - a, 3*b - 125 = u. Is b a multiple of 9?
False
Suppose -28 = -q + 56