Is i(-3) a multiple of 41?
False
Suppose -g = -3*z + 271, -z - 4*g = -0*z - 73. Is 24 a factor of z?
False
Suppose 0 = -3*i - 5*g + 319, 2*i - 204 - 13 = g. Does 27 divide i?
True
Let k be 3 + (0 + -3 - -3). Let v(h) = 3*h**2 - 4*h + 1. Does 14 divide v(k)?
False
Suppose 0*d + 4 = 2*d. Suppose d*m = -z + 193, 0 = 5*z + 2 + 3. Is 27 a factor of m?
False
Suppose -o = -2*o + 11. Suppose 37 + o = 2*i. Does 6 divide i?
True
Suppose 2*n + 2*n - 4*i - 88 = 0, -n = -3*i - 26. Is 7 a factor of n?
False
Let j(g) = g**3 - 5*g**2 - 9. Is 23 a factor of j(7)?
False
Suppose -3*y = -y. Suppose y*o + 8 = -o. Does 10 divide 3 - (-1 - -2) - o?
True
Let d(g) = 26*g + 12. Is d(3) a multiple of 9?
True
Let t(n) = n**3 - n**2 - n - 6. Let s be t(0). Let b = s - -15. Is 2 a factor of b?
False
Let f(s) = -6*s - 11. Let k be f(-9). Suppose k = 5*w - 52. Does 10 divide w?
False
Let d be 0 + (-1 + -1)/2. Is 8 a factor of -1 + (d - -1) - -24?
False
Let y(n) = -n + 2. Is 6 a factor of y(-17)?
False
Suppose -4 = -5*w + 4*j + 4, 3*w = j + 9. Suppose 3*u - w*z - 13 = 27, 2*u + 3*z = 21. Does 5 divide u?
False
Let q(f) = -f**3 + 81. Is q(0) a multiple of 9?
True
Let z(p) = 4*p - 9. Let j be z(6). Suppose -5*f + j = 0, 5*k + f = -2*f + 14. Let s(o) = 49*o. Is 25 a factor of s(k)?
False
Suppose -5*k - f + 381 = f, 0 = -k - 5*f + 90. Does 16 divide k?
False
Let z = -131 + 146. Is z a multiple of 15?
True
Let w = -24 - -3. Let n = w - -37. Is 13 a factor of 12/n - 153/(-4)?
True
Suppose 2*m = 3*m - 84. Suppose 0*s - 2*s = -m. Does 21 divide s?
True
Suppose 10*t - 400 = 5*t. Does 10 divide t?
True
Let x = -202 - -133. Let j = 74 + -194. Let k = x - j. Does 13 divide k?
False
Suppose 3*v - 7*v = -3*p + 51, -5*p - 4*v + 117 = 0. Does 16 divide p?
False
Let q = 5 - -5. Suppose 13 = u - q. Is 8 a factor of u?
False
Suppose -5*w + 93 = 4*l + 28, 4*w - 5*l - 93 = 0. Is 17 a factor of w?
True
Let p be (-1578)/(-14) - (-2)/7. Suppose 5*m = p + 87. Suppose -2*k + m = 3*k. Does 8 divide k?
True
Suppose 5*u - 41 = -101. Suppose 0 = 3*x + x + r + 129, 5*x + 161 = -r. Let b = u - x. Does 10 divide b?
True
Suppose s + 18 = 4*s. Is s a multiple of 6?
True
Suppose -5*m = 3*b - 720, -4*m + 246 = -b - 330. Does 53 divide m?
False
Let d(i) = i**3 + 7*i**2 + 4*i + 2. Let v be 5/10 + (-13)/2. Does 14 divide d(v)?
True
Suppose 4*v + 1 = -19, 0 = o - 4*v - 30. Let m = o + -10. Suppose 8*y - 5*y - 42 = m. Is 14 a factor of y?
True
Suppose 7 = -5*c - k - 16, 3*c + 11 = -2*k. Let l(t) = t + 1. Let o(x) = 2*x + 2. Let w(i) = 6*l(i) - 5*o(i). Is w(c) a multiple of 16?
True
Let i(v) = v**2 - 7*v - 6. Let f be i(8). Does 4 divide (-3)/(-1) + 9 - f?
False
Let t = 1 + -2. Let s = 1 - t. Suppose -23 = -4*x - 4*n + 157, -5*x + s*n = -190. Is x a multiple of 21?
False
Suppose -3*n = 2*n - 20. Suppose -n*b - 3*x = 7, -4*b + 5*x + 31 = -2. Let m(f) = f**3 + f**2 + 3*f - 1. Is 12 a factor of m(b)?
False
Let z(g) = 103*g + 7. Does 24 divide z(2)?
False
Suppose -170 = -3*w + 217. Is w a multiple of 29?
False
Let r(f) = f**3 + 5*f**2 - 3*f - 5. Is r(-5) a multiple of 3?
False
Let c be (-14)/35*1*-5. Let u be -1*-7*(c - 0). Suppose p + u = 2*l, 2*l = -2*l + 3*p + 30. Is l a multiple of 6?
True
Let m be 1/(-1) + (-4)/(-2). Is 8 a factor of -1 - m*(-18 + 1)?
True
Let b(u) = 17*u**3 - u**2. Let i be 2/4*(-3 - -5). Does 4 divide b(i)?
True
Let b(w) = -w**2 - 18. Let o be b(0). Let c = 31 + o. Is c a multiple of 13?
True
Let l(k) = 2*k + 40. Does 32 divide l(19)?
False
Let v(s) = -6*s**3 + s**2 - 2*s + 1. Let f be v(1). Let w be 6*(-3)/f*2. Is -3*(4/w + -2) even?
True
Suppose -3*o + 106 = 4*b, 4*o - 60 - 48 = 3*b. Does 6 divide o?
True
Suppose -21*f - 45 = -24*f. Is 5 a factor of f?
True
Let w = 8 - 1. Is 4 a factor of w?
False
Let z be (-3)/(-2)*(-344)/6. Let r = -25 - z. Let f = r - 33. Is f a multiple of 14?
True
Is ((-212)/(-8))/(4/8) a multiple of 13?
False
Let z(h) = h**3 + 11*h**2 - h - 11. Let k be z(-11). Let s = 2 - 0. Suppose 0 = j - s - k. Is 2 a factor of j?
True
Let h = 4 + 53. Does 19 divide h?
True
Suppose b = -4*c - 25, 3*b + 29 = -2*c + 4. Does 3 divide (-50)/b - (5 - 2)?
False
Suppose -5*t - 2*l + 80 = -100, t - l = 36. Is t a multiple of 13?
False
Suppose 2*l - 5*l = 0. Suppose -2*h - 6 = -4*h. Suppose h*n = -l*n + 54. Is n a multiple of 6?
True
Suppose -3*p + 11*d - 9*d + 666 = 0, -p - 5*d + 205 = 0. Is 44 a factor of p?
True
Suppose 0 = -3*z + o + 32, -5*o = 3*z - 8*z + 40. Is ((-34)/(-8))/(3/z) a multiple of 17?
True
Suppose f = 3*i + 58 + 19, -3*i - 5*f = 65. Let v(r) = -r**2 - 5*r - 3. Let j be v(-5). Is j/9*3*i a multiple of 13?
False
Suppose -107 = 4*h - 363. Is h a multiple of 12?
False
Suppose u + 445 = 6*u - 2*t, 2*u = -2*t + 192. Does 17 divide u?
False
Suppose l - w - 32 = w, l + 4*w - 32 = 0. Does 32 divide l?
True
Let n(o) = -5*o + 2. Suppose 4*a - 52 = -0*w + 5*w, 4*w - 2*a + 44 = 0. Is n(w) a multiple of 24?
False
Let d(k) = k**2 - 6*k - 1. Suppose -4*y - 12 - 4 = 0. Is 13 a factor of d(y)?
True
Suppose -4*q + 0*q - 4 = 0. Let c = q - 1. Does 7 divide 2 - 2*10/c?
False
Suppose 47 = 5*o - 223. Is 9 a factor of o?
True
Suppose -6 - 4 = -2*t. Suppose 0*x + 2*x - 10 = 0. Suppose -t*d = -15, d - 116 = -x*n - d. Does 15 divide n?
False
Suppose 3*t + 111 = 5*k - 54, k + 3*t = 33. Suppose 12*r - 9*r - k = 0. Is 11 a factor of r?
True
Let s = -6 - 6. Is 10 a factor of (s/(-15))/((-2)/(-50))?
True
Suppose 2*l - l = 4*r - 715, -2*r = -2*l - 350. Is 18 a factor of r?
True
Let g(h) = -7*h + 6. Let o be g(2). Suppose 2*l - u - 52 = 0, -2*l - 5*u = -21 - 43. Let k = o + l. Is 12 a factor of k?
False
Suppose 2*d - 7*d + 15 = 0. Suppose 0*p - 28 = -d*v + 2*p, 3*v - 43 = 5*p. Is v a multiple of 3?
True
Suppose -5*x = -4*h + 249, h + 305 = 6*h - 5*x. Is 13 a factor of h?
False
Let n(k) = -3*k + 4 + 9 + 12*k + k**2. Does 4 divide n(-9)?
False
Suppose 2*h = 2*s - 168, 6*s + 4*h - 384 = s. Suppose x = -3*x + s. Does 16 divide x?
False
Let y(r) = -r**3 - 13*r**2 - 3*r - 9. Does 9 divide y(-13)?
False
Let f(z) = 29*z + 1. Let u be f(3). Suppose -3*b - 2*i + 4*i = -u, -4*b - i = -121. Is b a multiple of 15?
True
Suppose -8*g + 4*g = -256. Let v = 111 - g. Is v a multiple of 12?
False
Suppose 3*i = 2*r - 31, -i + 2 = r - 1. Is (-1)/(-4) - (-158)/r a multiple of 7?
False
Let o = -207 + 397. Is o a multiple of 33?
False
Let h be (-1 - (-1 + 1))*5. Let g = 8 + h. Is 3 a factor of g?
True
Suppose -4*g + 8 = 4*r, 11 = -3*r + 5*g - 23. Let f = r + 8. Suppose -f*u + 0*i = -3*i - 50, -3*u - 3*i + 30 = 0. Does 10 divide u?
True
Let h(q) = -q**3 - 3*q**2 + 3*q - 4. Suppose j + 3*j = -2*b + 46, 0 = j + 5*b - 7. Suppose -4*v - 4*w - 48 = -j, 3 = v - 2*w. Does 17 divide h(v)?
False
Is 7 a factor of 936/45 - 1/(-5)?
True
Suppose -j - 2*t = -4*t - 82, 3*j - 3*t = 231. Is 16 a factor of j?
False
Suppose -u - 46 = -2*u. Suppose 2*v = 0, 5*w - u = 4*v + 209. Does 17 divide w?
True
Suppose 0*k = 2*k - 216. Suppose 2*a = 5*q - 36 + 104, -4*a - 4*q = -k. Does 10 divide a?
False
Suppose 3*w - 82 = -28. Does 18 divide w?
True
Let r be -2 + 2 - -39 - 2. Let c = 17 - r. Let u = c - -30. Is 5 a factor of u?
True
Let y be (-4)/(2*-4)*36. Let b = 27 + y. Is 9 a factor of b?
True
Suppose -4*a - 3*m = -0*a - 17, -a = 4*m - 1. Suppose -a*i = -0*i - 3*r - 71, -57 = -3*i - 3*r. Is i a multiple of 12?
False
Suppose n - 60 = 5*n. Let w = n + 26. Is 9 a factor of w?
False
Suppose 5*p = -2*a + 7 - 3, -5*a - 15 = 0. Let o be 1/3 - (-1320)/9. Is 16 a factor of p/3 - o/(-9)?
False
Let a be (3 + (-20)/8)*0. Let i(x) = -x**3 + x + 26. Does 14 divide i(a)?
False
Let k = 32 + -25. Does 5 divide k?
False
Let x(a) = -10*a. Let n be x(-2). Let j = n - -19. Does 22 divide j?
False
Let w(z) = -z**3 - 8*z**2 + z + 8. Let n be w(-7). Let r = -28 - n. Does 10 divide r?
True
Suppose -3*q = -4*q + 6. Is q a multiple of 2?
True
Let v be (-2)/(4/(-46)) - 3. Suppose -5*m = 4*g - v, 9*g - 4*g - 3*m = -12. Suppose -3*l = 2*n - 26, g*n + n + 14 = 3*l. Is 6 a factor of l?
True
Let g = 2 + 7. Suppose -w = -3*h + 15, -3*w - g - 21 = -4*h. Let i(z) = z**2 + 4*z - 6. Is 6 a factor of i(w)?
True
Let d(f) = -1. Let k(q) = -q + 8. Let n(r) = -2*d(r) + k(r). Does 8 divide n(0)?
False
Let c(t) = -6*t + 3. Let d be c(2). Suppose 4 = -3*i + 4*i. Is 8 a factor of 6/i*(-114)/d?
False
