 Is 24 a factor of b?
False
Let c = 6 - 6. Suppose -4*a = 2*i - 130, c*a = -2*a + 3*i + 45. Does 15 divide a?
True
Let o(f) = f. Let c be o(-5). Let h be c + 3 - 1*-10. Let y = h - 4. Is 2 a factor of y?
True
Let y be (9 - 10)/((-2)/(-4)). Let z = 4 + y. Suppose 46 = z*n - 42. Is 15 a factor of n?
False
Let d(y) = -y + 35. Let t be d(0). Suppose 0 = 5*r + h - 95, h - 4*h = -r + t. Is 20 a factor of r?
True
Let f(q) = -q**3 + 7*q**2 + 9*q - 4. Let g be f(8). Suppose x + 25 = 2*n, g*n + x = -0*x + 41. Does 5 divide n?
False
Let x(w) = -w**2 + 2*w - 1. Let l be x(1). Let q be -2 - l/(3 - 2). Does 14 divide (-7 + 19)/(q/(-7))?
True
Let t be (-2)/2 - (0 - 3). Suppose -a + 3*k + 25 = 0, -t*a - 9 = -4*k - 61. Let i = -16 + a. Is 12 a factor of i?
True
Suppose 0 = 3*u + 2*g - 70, 5*u - 106 = -0*g + 2*g. Suppose 0*s - u = -s. Let z = s - 4. Is z a multiple of 8?
False
Let r(f) = f**3 + 10*f**2 - 22*f - 9. Is 10 a factor of r(-11)?
False
Suppose -w + i + 0*i = -138, -421 = -3*w - 4*i. Is w a multiple of 16?
False
Let l(d) = -10*d - 73. Is 3 a factor of l(-9)?
False
Suppose -4*o + 342 = -2*o. Does 57 divide o?
True
Let v be 1/(-4) + (-1)/(-4). Suppose w = -v*w. Suppose -4*y - 3*a + 83 = w, 0 = -4*y + 5*a - a + 48. Is y a multiple of 10?
False
Suppose 4*b - 321 = b. Does 10 divide b?
False
Suppose 0 = -3*m + 4*m. Suppose -2*n - n + 54 = m. Does 6 divide n?
True
Suppose -x + 150 = 2*x. Is 13 a factor of x?
False
Suppose 2*m + 3 = 7. Suppose 0 = m*f - 5*i + 13, 2*f = 4*i - i - 3. Is 6 a factor of f?
True
Let t be -28*(-4)/8*1. Is 13 a factor of 477/21 + 4/t?
False
Suppose 0 = -3*z + 2*z + 144. Does 12 divide z?
True
Suppose -1517 = -4*u + 259. Let b be u/22 - 12/66. Suppose -40 = -4*c + 5*f, f - b = 6*f. Does 5 divide c?
True
Suppose -525 = -2*q + 7*q. Let p = -61 - q. Is p a multiple of 18?
False
Suppose 4*g - 21 = 15. Let i = 2 - g. Does 9 divide 18/i*(-7 - 0)?
True
Suppose -q = -3*j, -2*q + 5*j - 3*j + 4 = 0. Is 15 a factor of q/15 - 208/(-10)?
False
Let y = 0 + 3. Suppose y*s - 17 - 10 = 4*v, -2*s - 3*v = -1. Suppose 2*n - 40 = -s*c + 12, 4*n - 88 = -2*c. Is n a multiple of 13?
False
Let i be 3/12 + (-179)/(-4). Suppose -4*k + i = k. Is 4/6 + 84/k a multiple of 7?
False
Let a(q) be the second derivative of q**3/6 + 5*q**2/2 - 2*q. Let i be a(-5). Suppose i*y = y, -y - 14 = -s. Is s a multiple of 6?
False
Suppose -5*o = 3*s - 68 - 39, 0 = -5*s + 2*o + 199. Let h = 49 - 22. Let l = s - h. Is l a multiple of 12?
True
Let a(l) = 0*l**3 + 1 + 6*l**2 - 2*l**2 - 3*l + l**3. Is 13 a factor of a(2)?
False
Suppose -1 - 4 = -5*l. Let a be (8/(-1))/((-2)/8). Let b = l + a. Does 11 divide b?
True
Let f be (1 + 4)/(0 - 1). Let i = -40 - -66. Let h = f + i. Is h a multiple of 7?
True
Let p be (2 - -1)/(-1 + 2). Suppose c + 4*i - 25 = 0, p*c - 28 = 4*i + 15. Suppose -s + 23 = -3*q, 3*s - 37 = 4*q + c. Is 14 a factor of s?
True
Let t(a) = a**2 - 9*a + 28. Is 14 a factor of t(14)?
True
Suppose -w = 0, 20 = -c - 3*c - 5*w. Let x = 11 + c. Suppose -2*o + x*o - 8 = 0. Does 2 divide o?
True
Suppose 5*f - 3*f - 8 = 0. Suppose 5*m - 37 = -f*s + 10, 0 = 4*m + 2*s - 40. Suppose -m = -5*h + 9. Is 4 a factor of h?
True
Let n(y) = y**2 - 3. Suppose -3*l = 3*j - 3, 0 = 3*j + 2*l - 5*l - 33. Let i be n(j). Let w = -16 + i. Is 17 a factor of w?
True
Suppose 0 = -54*w + 53*w + 180. Does 20 divide w?
True
Suppose -3*f = a + 3, 4*f = -f - 5. Let x(d) = d**2 + d + 4. Let z be x(a). Suppose 4*m - 49 = -5*i, z*m - 45 = -m - 3*i. Is 5 a factor of m?
False
Let b be (-4)/((-35)/11 - -3). Suppose 4*c - 6 - b = 0. Does 7 divide c?
True
Let w(m) = 9*m - 10. Is w(6) a multiple of 11?
True
Let g(u) = -u**2 + 7*u + 3. Let b be g(7). Suppose 3*t - b*f = 33 - 12, -5*f - 5 = 0. Is t a multiple of 3?
True
Suppose 4*i = -i - 5*t + 35, -33 = -5*i - 4*t. Suppose i*z - 14 = 1. Suppose 2*n + z*n - 45 = 0. Does 6 divide n?
False
Let j(k) = -k**3 + k**2 + 7*k + 1. Let i be j(3). Suppose 5*d = -4*r + 192, 4*d + 240 = r + i*r. Is 24 a factor of r?
True
Let t = -26 - -132. Suppose -3*z = -z + h - 43, 5*z + 2*h = t. Does 7 divide z?
False
Suppose 0 = 2*i - n - 97, 2*i + 3*n - 20 = 89. Does 10 divide i?
True
Let v(y) = y**2 - 16*y - 10. Let i be v(7). Let h be 0 - (-3)/(-3) - -106. Let k = h + i. Is k a multiple of 15?
False
Let s = -9 - -10. Does 16 divide s/(-2) + (-66)/(-4)?
True
Suppose l = x - 3*x + 180, -90 = -x - 5*l. Does 15 divide x?
True
Suppose 2*g + 5 = q, -4*g - 13 = -3*q + 2*q. Let a = g - -15. Is 11 a factor of a?
True
Let w = 19 + 1. Is 10 a factor of w?
True
Let m = -210 + 310. Does 20 divide m?
True
Let q(s) = -s**2 + 7*s. Suppose 2*g - 29 = -5*p, p + 4*g + 4 = -1. Let k be q(p). Suppose -3*m + 12 + 33 = k. Does 15 divide m?
True
Suppose 7*r = 3*i + 2*r - 92, 4*r = -i + 8. Does 13 divide i?
False
Let c(j) = -1 + 6 + 2*j**2 - 1 + 7*j. Let d be c(-6). Let g = d - 19. Is g a multiple of 15?
True
Let u = 5 - -31. Is u a multiple of 9?
True
Suppose 0*r = -3*r. Suppose 3*i - z = 38, -3*i - 3*z + 0 + 18 = r. Is i a multiple of 11?
True
Let t be 1/(-5) - (-108)/15. Suppose -2*l + 71 = t. Does 32 divide l?
True
Suppose 0 = 6*b - 1164 - 96. Is 35 a factor of b?
True
Suppose 3*w = 4*b - 457, b - 2*b - 5*w + 120 = 0. Is 23 a factor of b?
True
Suppose 2*j - 3*x + 18 = 7*j, 2*j - 5 = x. Let l = j - -1. Is l a multiple of 4?
True
Is 2 a factor of 18/(-45) + 72/5?
True
Suppose -3*c = 2*c - 300. Does 10 divide c?
True
Let a(j) = j**2 - 7*j + 2. Let b be a(6). Is 26/(-5)*(-1 + b) a multiple of 15?
False
Suppose -8 = -2*i - i - 4*k, 4*i + 3*k = 20. Suppose 34 = v + i. Suppose -2*n + v + 6 = 0. Is n a multiple of 8?
True
Suppose -2*k = -w - 325, 0*k = 5*k + 4*w - 845. Is 41 a factor of k?
False
Suppose -17 = -f - 0. Suppose 9 = 4*d + 4*o - 7, -2*d + o = -f. Is d a multiple of 7?
True
Let y(i) = -i**3 - 5*i**2 + i + 2. Let c be y(-4). Suppose -3*s + 28 = -2*s. Let b = c + s. Is 5 a factor of b?
True
Suppose 0 = -3*v - 2*y + 118, 3*v + 0*v = 5*y + 125. Does 10 divide v?
True
Let b be 1*(-2 - (0 - 3)). Let d(n) be the third derivative of 7*n**5/12 + n**4/12 - n**3/6 - n**2. Is 11 a factor of d(b)?
False
Let w(y) = -32*y - 1. Let z be w(-4). Suppose 4*d = 5*s - z, d + 5*s - 3 = -16. Is 24 a factor of (d - -5)*(-3)/1?
False
Let d(h) = -h + 8. Suppose z - 25 = -4*z. Is d(z) a multiple of 3?
True
Is 3 a factor of 13 - ((-2)/(-1) + 2)?
True
Let f = 46 - 33. Suppose -4*h - f = 11. Does 2 divide h/(-4) - (-5)/10?
True
Let p(u) = 4*u - 9. Let t = 7 + -5. Suppose -2*m = t*n - 10, 0 = 2*m - 6*n + 3*n - 30. Is 10 a factor of p(m)?
False
Suppose 0 = -0*q + 2*q + 4. Let b be 106 + q/(-1 - -2). Suppose 3*r + r = b. Does 15 divide r?
False
Suppose 0 = 4*g - 3*y - 127, 7 = 2*y + 1. Suppose 3*n - 32 - g = 0. Does 9 divide n?
False
Let u = 13 + -11. Suppose 3*x + 74 = m, u*x = 3*m - 250 + 14. Does 16 divide m?
True
Suppose -3*n + 14 = -76. Does 30 divide n?
True
Let n(c) = 8*c + 5. Let y be n(-4). Is y*5/(10/(-6)) a multiple of 27?
True
Let o(v) = 416*v + 2. Suppose 16 = -5*z + 1. Let q be o(z). Is 4/(-22) + q/(-77) a multiple of 10?
False
Suppose -22 = -p + 5*q, 4*p + 3*q - 134 = -0*q. Is 4 a factor of p?
True
Let a be (-12)/3 + 7 + -3. Let x = a + 7. Does 2 divide x?
False
Suppose 4*w = -17 + 61. Is w a multiple of 7?
False
Let r(p) = -2*p**2 - 12*p + 7*p**2 - 2*p**2. Let j(s) = -2*s**2 + 11*s. Let c(m) = 5*j(m) + 4*r(m). Is 15 a factor of c(-5)?
True
Suppose 10 - 34 = 4*j. Is 17 a factor of 3*(-1)/j*36?
False
Suppose 5*j - 52 + 247 = 0. Is 5 a factor of j/(-6) - 1/(-2)?
False
Suppose v - 5*u + 134 = 3*v, 8 = -4*u. Is v a multiple of 24?
True
Let p = -30 + 18. Does 21 divide 2/((p/62)/(-3))?
False
Suppose 4*p - t - 398 = 0, -3*t = -4*p - 0*p + 394. Does 8 divide p?
False
Let h = -10 - -10. Suppose u - 10 = c, h*u + 2*u = 4*c + 10. Let b = u + -11. Is 2 a factor of b?
True
Let y(k) = 16*k**2 - 2*k + 12. Is y(3) a multiple of 25?
True
Let m be ((-56)/12)/((-2)/9). Suppose b = -4*h + m + 137, h - 30 = -5*b. Let w = -23 + h. Is 11 a factor of w?
False
Let d = -14 - -161. Is d a multiple of 36?
False
Suppose 3*k + 73 + 89 = 0. Let n = k - -76. Suppose 2*l - 7*l = -v + n, 0 = v + 4*l + 5. Does 5 divide v?
False
Suppose -2*m + 9 = -15. Suppose 13 + m = 5*o. Suppose -o*c + 49 = -16. Is c a multiple of 7?
False
Suppose y = -0 + 22. Does 8 