a factor of c?
False
Suppose 0 = c + 4*f - 15, 3*c - f = 39 - 7. Let n(d) = 4*d - 2 + d - 6*d + c. Is n(-16) a multiple of 8?
False
Let h = -137 + 93. Let m = h - -96. Is m a multiple of 17?
False
Let f = 1505 + -682. Is 117 a factor of f?
False
Suppose 20 = -3*a - a. Let d = 3 + a. Is d/(-12) - (-235)/30 a multiple of 8?
True
Let y(s) = -s**3 + 13*s**2 - 12*s - 17. Let b be 4*(-2 + 0)*(-2 - -1). Does 9 divide y(b)?
True
Let w(d) = -50*d - 9. Let y be w(-2). Suppose -5*i = 2*s + 3*s - 175, 2*s = 5*i + y. Does 4 divide s?
False
Let x be (-6)/(-15) + (-84)/(-15). Suppose x + 6 = -r. Is 27 a factor of (r + 11)*(1 - 98)?
False
Suppose -4*p = -p. Suppose 2*t + 300 = 5*q - p*q, -4*q - 5*t + 240 = 0. Is 25 a factor of q?
False
Let v = 1076 + -590. Is 6 a factor of v?
True
Suppose 4*v = 5*i + 17, 0 = 5*v + 2*i - 10 - 3. Let t be ((-2)/(-1))/(1 + 2/(-4)). Suppose 0 = -3*k + t*a + 34 + 86, 111 = v*k - a. Is 9 a factor of k?
True
Let i(p) = -p**2 - 12*p + 8. Let h be i(-13). Is 11*1 - (h + 4) a multiple of 8?
False
Let u(i) = -4*i + 1. Let t be u(-2). Let p(k) = t + 5*k + 5 - 8. Does 20 divide p(4)?
False
Suppose -228 - 1037 = -3*i - 4*b, 0 = -i - 5*b + 418. Is 61 a factor of i?
False
Let v(f) = 28*f - 105. Does 40 divide v(16)?
False
Is (10/(-6))/((-9)/3510) + 0 a multiple of 5?
True
Let t be 1188/(-5) + (-2)/5. Let d be -1 + -2 - -4 - (-2 - -27). Is 21 a factor of d/36 + t/(-6)?
False
Let l be (-1 - (-10)/14) + 235/(-35). Let a(c) = 2*c**2 + 6*c - 4. Is 9 a factor of a(l)?
False
Suppose -4*s - 2540 = -6*s. Suppose i - s = -9*i. Is i a multiple of 17?
False
Suppose 2*f - 143 = -v + 6*f, 0 = -3*v - 2*f + 457. Let c = 319 - v. Suppose 3*l + a = l + 108, 0 = -3*l - 3*a + c. Is 26 a factor of l?
True
Let k be 2/(-4) - (5481/(-18))/7. Let r(g) = g**2 - 5*g - 3. Let z be r(6). Suppose 5*t = -3*d + 47, -z*t - 12 = 2*d - k. Is 4 a factor of d?
False
Suppose -8*a = -400 - 3136. Does 22 divide a?
False
Let s = -53 + 59. Let g(i) = 12*i + 58. Is g(s) a multiple of 13?
True
Let k = 33 + -35. Is 891/(1 - k) + (0 - 3) a multiple of 14?
True
Let j be 7 + -3 + 2 + -3. Suppose 3*d = -j*l + 5*d + 2, 2*l + d = 6. Suppose k = l*k - 28. Does 7 divide k?
True
Is 6 a factor of 844/10 + (-10)/25?
True
Suppose 0 = -5*z + 46 + 79. Suppose 310 = -6*q + q + g, -5*g + z = 0. Let f = q - -106. Does 8 divide f?
False
Let k(w) = -8*w + 8*w - 12 - w + 6*w. Suppose 0*r + r - 2*l - 14 = 0, 2*l + 8 = 0. Is k(r) a multiple of 4?
False
Suppose -44*x + 49*x = 630. Is x a multiple of 5?
False
Let j(m) = -3*m**3 - 3*m**2 - 3*m - 1. Let d be j(-1). Suppose d*b - 5*b - 3*w = -549, -4 = w. Does 40 divide b?
False
Let y = -35 + 1105. Does 24 divide y?
False
Let h(z) = -z**3 + 24*z**2 + 17*z + 68. Is h(24) a multiple of 5?
False
Suppose -23*z = -19*z. Suppose 4*o + 5*c - 34 = 0, -3*o + z*o + 29 = 2*c. Is o even?
False
Let o(k) = 50*k - 177. Is o(5) a multiple of 11?
False
Let z(q) be the first derivative of q**4/4 + 3*q**3 + q - 5. Let x be z(-9). Is 7 a factor of 19/x + (-14)/(-7)?
True
Suppose 1 + 19 = 5*c. Suppose -c*g = 3*n - 217, 4*n + g = 3*g + 282. Suppose 3*l - u = n, 4*u = 5*l + u - 125. Is 11 a factor of l?
True
Suppose -5*v + q + 309 = 0, 3*q = -3*v - 2*q + 163. Suppose -1 = -5*l - v. Let a = l - -42. Is a a multiple of 6?
True
Suppose 11 = -6*p + 3*p - 2*s, 2*p - 2*s + 4 = 0. Let v(k) = k**3 - 8*k**2 - 7*k - 1. Let m be v(9). Let i = p + m. Is i a multiple of 7?
True
Let u = 425 - 83. Is u a multiple of 11?
False
Suppose -2*s - 2*s + 2*r + 368 = 0, -5*s = 4*r - 434. Suppose -2*w + s = 3*i, 6*i = i - w + 143. Is 4 a factor of i?
True
Suppose -v - 32 + 12 = 0. Let q = 8 - v. Is q a multiple of 23?
False
Let x be (-1)/(-3) + (-32)/6. Suppose -3*g = 5*h + 21 - 1, 5*h = 2*g + 5. Is 122/10 - h/x a multiple of 12?
True
Let q(h) = 151*h + 2. Let v be q(3). Suppose 10*f - 5*f = v. Does 37 divide f?
False
Let k = 1955 + -1464. Is 13 a factor of k?
False
Let f(d) = -6*d**2 + 11*d + 6. Let s be f(-9). Let q = -403 - s. Suppose u + 3*u = q. Is u a multiple of 22?
True
Let f(n) = -62*n**3 + 1 + 0 + n**2 - 2. Let o = -5 + 4. Is 15 a factor of f(o)?
False
Suppose -28*z + 1404 = -24*z - 4*k, -k = z - 349. Is 21 a factor of z?
False
Suppose -5*g + 211 = 2*n, 402 = 3*n - 2*g + 38. Is n a multiple of 66?
False
Let b be (1*1/3)/(21/(-3717)). Let x = b - -92. Is 11 a factor of x?
True
Suppose -25 = -5*s, -4*w + 0*s = 2*s - 826. Does 12 divide w?
True
Let i(m) = -m**2 - 22*m - 40. Let y be i(-20). Suppose -d = -5*x - 226, 4*d - x - x - 886 = y. Is d a multiple of 17?
True
Suppose -3*g - g - 3*o + 3177 = 0, -3*g - 5*o + 2369 = 0. Is 21 a factor of g?
True
Let v(t) = -126*t - 299. Does 57 divide v(-7)?
False
Suppose 252 = -n + 2*n. Suppose -4*p + p = -n. Is 28 a factor of p?
True
Suppose -2*v - 7 = -11. Suppose -q + 5*t = -32, 2*q = v*t + 2*t + 64. Does 12 divide q?
False
Suppose 13 - 1 = -6*r. Let m(u) = -u**3 - 2*u**2 - u + 2. Is 4 a factor of m(r)?
True
Let y be 11/1 + (3 - 4). Suppose -17*s + y*s = -1134. Does 27 divide s?
True
Suppose -10 = 2*g - 5*k - 0, -4*g = -5*k. Suppose -3*y + g*j = -18, -3*j - 12 = -2*y - y. Let h = y + 5. Is h even?
True
Let q(z) = z**2. Let g(s) = -3*s**3 - 8*s - 22. Let l(h) = g(h) + 4*q(h). Does 5 divide l(-3)?
False
Does 11 divide (-2)/6*(-69564)/62?
True
Let x be (-8)/6 + (-117)/(-27). Suppose -q = -2*v - 24, 8*v = -5*q + x*v + 105. Is q a multiple of 7?
False
Suppose -6*z = 43 + 143. Let a = 49 + z. Does 9 divide a?
True
Let g = 15 + -5. Let d be 14/5 + (-8)/g. Suppose v + 4*j - 71 = 0, 0 = d*v + 3*v + 2*j - 283. Does 11 divide v?
True
Suppose r + 14 = 5*s, -3*r + 4 - 14 = s. Let b(u) = u**3 - 2*u**2 + u. Let a be b(s). Does 18 divide 1 + (-38)/(-2) - a?
True
Suppose 13*m - 19*m - 240 = 0. Is m/(-2)*(1 - 0) a multiple of 5?
True
Suppose 11*s - 16749 - 11741 = 0. Does 35 divide s?
True
Let l = 20 + -18. Suppose 2*i = l + 6. Is 34 a factor of 103 - (i - 12/4)?
True
Suppose -j = -3*q - 413, 4*q - 63 = j - 473. Is j a multiple of 27?
False
Let v(w) = -38*w - 18. Let p be v(-8). Let m = 578 - p. Does 50 divide m?
False
Suppose -10111 + 351 = -40*r. Does 7 divide r?
False
Is 1 + ((-1)/(-1) - (0 - 51)) even?
False
Suppose 0 = 3*j - 237*m + 236*m - 806, -258 = -j + 3*m. Is j a multiple of 15?
True
Suppose 39*v - 3699 - 8508 = 0. Is 12 a factor of v?
False
Suppose 0 = l - 5, 8*h - 3*h + 5*l = 65. Suppose -h*a - 7 = -9*a. Let c = 17 - a. Is 5 a factor of c?
True
Suppose 5*g - 4*w - 10 = 0, 2*g - 4*w = -2*g + 12. Is 5 a factor of ((-24)/(-72))/(0 - g/102)?
False
Let k(r) = 14*r**3 + 2*r**2 - r - 8. Does 32 divide k(3)?
False
Let p be 3 + -6 - (-14)/2. Suppose 300 = p*m + 108. Does 16 divide m?
True
Suppose 11*f = f + 30. Suppose 5*p - 3*w + w - 34 = 0, p + f*w = 17. Is 4 a factor of p?
True
Let v(a) = -a**2 + 8*a - 6. Let r be v(6). Let g = 2 - r. Is 2 a factor of (-3 - g)*-1*-5?
False
Let p = 61 - 308. Let b = -172 - p. Is b a multiple of 10?
False
Let m = 325 + -148. Is 16 a factor of m?
False
Is 78/(-585) + 29642/15 a multiple of 38?
True
Let l(y) = y**3 + 2*y**2 - 2*y - 9. Let g be l(0). Is 450/g*(-2)/2 a multiple of 34?
False
Suppose 5*d = -0*x - 2*x + 332, -4*d = 2*x - 330. Is x a multiple of 7?
True
Let f be -18 + (-20)/110 + 62/(-22). Let k = 78 + f. Is k a multiple of 22?
False
Suppose -3*z + 0*z + 1512 = 0. Suppose -9*x = -12*x + z. Is 28 a factor of x?
True
Is 6 a factor of 0 + (1043/6 - (-1)/6)?
True
Suppose v + 2*v - 5*t - 301 = 0, 5*t = -5*v + 555. Suppose -3*w - 2*a = -v, 3*w - 175 = -2*w - 4*a. Let o = w - -23. Is o a multiple of 19?
False
Suppose 0 = -10*w + 54 + 366. Is 21 a factor of w?
True
Suppose -4*g = -2*b + 698 - 7218, 0 = 3*g + 5*b - 4864. Does 11 divide g?
True
Suppose -4*r + 474 = -486. Is 30 a factor of r?
True
Suppose 2*b + 0*f = 3*f + 31, 5*b - 15 = -5*f. Suppose -b*x = x - 1188. Does 22 divide x?
True
Let u = -11 - -13. Let j(q) = -3*q**2 + 7*q + 6*q - 7*q + 7 + u*q**2. Is j(6) a multiple of 7?
True
Suppose -106 = -4*b + 58. Does 41 divide b?
True
Let x be ((-6)/(-12))/((-1)/(-10)). Suppose 2 + 13 = x*o. Suppose 3*p - 63 = o*g, -p - 2*g = p - 22. Is p a multiple of 16?
True
Let t = 5 - -7. Let a be -9*(3 + (-40)/t). Is 17 a factor of -1 - (-108)/a - 4?
False
Suppose -h = -4*o - 140, -22*o = -20*o + 8. Does 2 divide h?
True
Suppose -4*h = 12, -22*n + 