8)*2 a multiple of 13?
True
Suppose 5*r = 3*f + 13, -2*r + 3*r = f + 3. Let s be ((-10)/6 + 1)*-3. Suppose -z - r*h + 14 = 0, -h + s*h - 1 = 0. Is z a multiple of 12?
True
Suppose -4*b + 4 = -2*b. Let z(h) = h**2 - 5*h**2 + h**2 - h - b - 7*h**3. Is z(-2) a multiple of 16?
False
Let t = 185 + -149. Does 22 divide t?
False
Let f(o) = -13*o + 2. Let q(t) = -12*t + 2. Let i(b) = -5*f(b) + 4*q(b). Let h be i(2). Suppose 2*x - 4*x = -h. Is 7 a factor of x?
False
Suppose 4*c - 76 = 40. Does 29 divide c?
True
Let s(l) = l**3 + 8*l**2. Let h be s(-8). Suppose -4*i + 73 = 3*d, -3*i - 4*d + h*d + 60 = 0. Does 8 divide i?
True
Let h(n) = -n + 3*n**2 - 2*n - 4*n**2. Let v be h(-4). Is (-2 - v) + -1 + 35 a multiple of 14?
False
Let k be (-48)/(-40) + (-1)/5. Let f(u) = 12*u - 1. Does 6 divide f(k)?
False
Suppose -32 = 5*u + 5*t - 342, 0 = -2*t + 6. Is u a multiple of 10?
False
Let o be ((-129)/2)/(2/(-4)). Let c = 3 - -1. Suppose -5*b - o = -c*k, -k + 4*k - 68 = -2*b. Is k a multiple of 13?
True
Let z(a) = a - 4. Let p be z(0). Let r be 1/p + (-87)/(-12). Let i(o) = -o**3 + 8*o**2 - 7*o + 4. Does 2 divide i(r)?
True
Suppose 0 = -p + 12 + 32. Does 14 divide p?
False
Let m = 80 + -50. Does 10 divide m?
True
Does 5 divide 8/(-6) + (-8)/3 - -62?
False
Suppose 4*w - 11 = 5. Suppose 0 = w*g - 9*g + 40. Is 4 a factor of g?
True
Does 3 divide ((-3)/(-1))/((-3)/12 - -1)?
False
Let y(a) = 28*a + 9. Is 2 a factor of y(2)?
False
Let b(z) = -z**2 + z + 21. Let o(x) = -x - 7. Let c be o(-7). Let v be b(c). Let k = v - -3. Is 12 a factor of k?
True
Let j be 64/(-24)*(-6)/4. Suppose 2*w = 3*z - 7 - j, z - 4*w = 17. Is -1*((-10)/z)/2 a multiple of 5?
True
Suppose -b - 2*b = 0. Suppose -2*w + 3*r - 12 = b, 0 = 5*w - r + 4. Let q(x) = x**3 - x**2 + 5. Is q(w) a multiple of 3?
False
Suppose 2*n - 3*x = -23 + 80, -3*n - x = -58. Suppose 0*v - v = -n. Is v a multiple of 11?
False
Suppose -3*d + 11 = 2*g - 1, 5*d - 20 = -3*g. Suppose -t + 0*t = d*b, b + 21 = 5*t. Suppose 20 = -t*p + 8*p. Is p a multiple of 4?
False
Let j(k) = -k + 6. Let q be j(5). Let n = q - 1. Suppose 2*p + 208 = 5*b - n*b, 0 = 5*b + 3*p - 213. Does 21 divide b?
True
Suppose 61 + 19 = 4*t + 4*w, 5*t - 3*w - 92 = 0. Let u = t - -13. Is u a multiple of 16?
True
Is 2/7 - 10322/(-182) a multiple of 17?
False
Is 9 a factor of 2/(-10) + (-452)/(-10)?
True
Let f = -2 - -3. Is 4 a factor of (f - 4)/((-6)/32)?
True
Suppose -3*d - 2*a = 23, d - a = 4*a - 2. Let c(w) = 2 - 1 - 8 - 3 - 2*w. Does 3 divide c(d)?
False
Let c = -17 - -32. Suppose -p = 2*p - c. Suppose l + 84 = p*l. Is l a multiple of 10?
False
Suppose -4*m - 2*y = -356, -2*m - 2*m - y = -354. Suppose -3*l + m = -l. Is 152/11 - (-8)/l a multiple of 7?
True
Let m(l) = -5*l**3 + l - 1 - 3*l**2 + l**3 + 3. Is m(-2) a multiple of 10?
True
Does 13 divide 510/8 + (-18)/24?
False
Let c = 19 + -30. Let w = c + 26. Is w a multiple of 7?
False
Let c be ((-648)/45)/(2/(-10)). Suppose 3*n = -5*a + 47, a + a = -5*n + c. Is 2 a factor of n?
True
Does 8 divide ((-132)/9 + 4)*-3?
True
Suppose -13*w = -9*w - 120. Is 10 a factor of w?
True
Let a = 5 - 3. Let n(r) = r + 2. Let t be n(6). Suppose a*m + 4 - t = 0. Is 2 a factor of m?
True
Suppose 4*v + 5 - 49 = 2*s, 0 = -3*v - 5*s + 59. Suppose y + 4*o - 4 = 4, 2*y - v = -5*o. Suppose c - y*r = 46, 6*c = 3*c - 3*r + 93. Is c a multiple of 14?
False
Suppose -2*f + 3*p + 64 = 0, -2*p + 20 = 3*p. Suppose -z + 4 = -f. Let t = 111 - z. Does 27 divide t?
False
Let h(k) = -k**3 + 4*k**2 - 2*k + 4. Let s be h(3). Let y = s - -8. Suppose -3*l + 60 = -y. Is 9 a factor of l?
False
Let c(l) = 13*l**2 - 16*l - 28. Let w(h) = -3*h**2 + 4*h + 7. Let q(o) = 2*c(o) + 9*w(o). Does 2 divide q(5)?
True
Does 61 divide (567/(-6) + 3)*(-16)/6?
True
Let c be 4 - (8 + -4 + 0). Suppose 0 = 3*x + 3*z - 75, c = 3*x + z + z - 75. Is x a multiple of 25?
True
Let q(k) = -k**3 + 3*k**2 - 3*k + 3. Let a be q(4). Let y = -45 - a. Let w = -14 - y. Does 6 divide w?
True
Let z = 52 - 32. Suppose 2*l = -3*l + z. Suppose 0*p = l*p - 44. Is 5 a factor of p?
False
Let a be (-2 - 2)*(-6)/8. Suppose -a*w + 44 = s, -260 + 40 = -5*s + 5*w. Does 20 divide s?
False
Suppose 4*z - 5*u + 87 = 0, -3*u - 95 = 3*z + z. Let p = z - -57. Is p a multiple of 11?
False
Let f = -5 + 4. Let r be 2 - (3*f + 2). Is ((-100)/(-15))/(1/r) a multiple of 10?
True
Suppose 3*s - 306 = -36. Suppose 111 = 4*v - i, v - 4*v + 3*i + s = 0. Does 9 divide v?
True
Does 3 divide (-42)/(-15) + -3 + (-423)/(-15)?
False
Let v(k) = 24*k - 7. Let l(f) = -6*f**3 + f + 1. Let m be l(-1). Let j be v(m). Suppose -5*s = -j + 22. Is s a multiple of 12?
False
Let o(w) = 10*w**3 + w**2 - 2*w + 1. Let c(s) be the second derivative of s**5/20 + s**4/3 + s**2/2 + 3*s. Let x be c(-4). Is 6 a factor of o(x)?
False
Let t(b) = 3*b - 1. Let s be t(-1). Let q(l) = l**3 + 3*l**2 - 5*l - 6. Let r be q(s). Is (-452)/(-16) - r/(-8) a multiple of 14?
True
Let z(n) = n**2 - 9*n + 11. Let q be z(8). Let h(g) = 1 - g**q - 2*g + 5*g + 1. Does 3 divide h(-2)?
False
Let g(a) = 28*a + 2. Is 10 a factor of g(1)?
True
Is ((-470)/15)/((-4)/24) a multiple of 25?
False
Let j be 95/20 - (-3)/(-4). Suppose -2*o + 3*o - 28 = -j*m, -4*m - 104 = -2*o. Is 10 a factor of o?
False
Suppose 2*r - r = -2. Does 25 divide (-75)/r*(1 - -1)?
True
Suppose -5 = v - 7. Suppose -2*a - 2*d - 2*d + 148 = 0, -5*d = -v*a + 121. Does 12 divide a?
False
Let c = 61 + -40. Does 12 divide c?
False
Suppose -88 = -5*x + 4*x. Is 9 a factor of x?
False
Let z = 28 - -23. Does 13 divide z?
False
Let d = 0 + 2. Let c be d/5 - (-68)/5. Let i = c - -6. Is 7 a factor of i?
False
Let i = -14 - -8. Let t = -4 - i. Suppose -3*h + g = -0*h - 89, 5*h = t*g + 150. Is 14 a factor of h?
True
Is 24 a factor of 5/(-20) + 578/8?
True
Is 6/(-9) + (-134)/(-3) a multiple of 11?
True
Suppose -2*v + 10 = 0, 5*g - 4*g - 20 = -2*v. Suppose -d = -4 - g. Does 14 divide d?
True
Suppose 3*r + 2*r - 300 = 0. Is 27 a factor of r?
False
Let v = -2 - -6. Suppose 2*n - 105 = 5*s, n - 3*s = -v*s + 35. Does 12 divide n?
False
Let r = 55 + 17. Does 9 divide r?
True
Suppose 5*p = -0*p + 25. Suppose b + 4*i - 23 = 0, 4 = -p*i + 14. Is 11 a factor of b?
False
Let j(i) = -i. Let y be j(-5). Let b(q) = -2*q**2 - 2*q + 1. Let l be b(-2). Let x = l + y. Is x a multiple of 2?
True
Let t = -4 - -4. Let s(q) = q**3 - q + 19. Is s(t) a multiple of 10?
False
Suppose -2*c + 29 = 3*m - 0*m, 4*c + 3*m - 61 = 0. Does 8 divide c?
True
Suppose 20 = 5*a - a. Let y(f) = f. Is y(a) even?
False
Let z(t) = -t**2 + 9*t - 9. Does 3 divide z(6)?
True
Let d be -5*-3*12/10. Let q = -9 + d. Is 9 a factor of q?
True
Suppose k = 0, w + 4*k - 60 = -0*w. Suppose 5*n - 49 - w = 2*b, -3*b - 106 = -5*n. Is n a multiple of 7?
False
Let z be -2 + 1 + 0 + 6. Suppose z*o - 9 + 4 = 0, -5*v + 4*o + 56 = 0. Is v a multiple of 12?
True
Suppose -4*p - 5*y + 13 = -16, p = -y + 6. Let o be 2 - ((-34)/p)/2. Suppose -4*w + 6*w - 4*j = 34, j = 2*w - o. Is w a multiple of 5?
False
Suppose 5 = 4*t - 23. Let j = t - -1. Is (18/j)/(6/32) a multiple of 6?
True
Let h = 0 - -20. Is 10 a factor of h?
True
Suppose -3*k - 9 = 24. Let d = 49 + k. Is 19 a factor of d?
True
Let t = 50 + 10. Is t a multiple of 10?
True
Let i be (0/2)/(1*2). Suppose 0 = 2*v - 4, -4*v + 6 = -x - i*x. Is x a multiple of 2?
True
Let j = -7 - -18. Suppose -7*c = -j*c + 128. Is c a multiple of 8?
True
Let h(q) = -2*q + 7*q + 13 - 5 - 4. Suppose 0 = 6*y - y - 30. Does 10 divide h(y)?
False
Let x = -2 + 10. Is x a multiple of 3?
False
Let o = -2 - -1. Let f be (o/(-3))/(2/30). Let j = 9 - f. Is j a multiple of 4?
True
Let p = -27 + 104. Is p a multiple of 11?
True
Let v(u) = u**3 + 7*u**2 - 6*u - 14. Is v(-7) a multiple of 3?
False
Suppose -5*o - 129 = -8*o. Let n = -10 + o. Does 15 divide n?
False
Suppose 2*m + 141 - 447 = t, -m + 4*t + 167 = 0. Is m a multiple of 53?
False
Let a(l) = 4*l - 2. Let j(k) = 8*k - 3. Let n(s) = -5*a(s) + 3*j(s). Suppose -5*h = -5*v - 10, 5 = 5*h - 10. Is 5 a factor of n(v)?
True
Suppose 5*z + 22 = 612. Is z a multiple of 43?
False
Suppose 0*n - 16 = -4*n. Suppose 133 = n*r - 3. Let h = r + -10. Is 8 a factor of h?
True
Let h(y) = -y**2 - 17*y + 5. Let u be h(-13). Suppose x = -2*x + u. Is x a multiple of 4?
False
Let u be (-17)/(-3) + 2/6. Let z be (-4)/u*(6 - 27