*j + 3*q. Does 56 divide (22 + -24)*(2430/j)/(-3)?
False
Suppose -5*i + 277 = -593. Does 2 divide i?
True
Let d(i) = -179*i + 7544. Does 28 divide d(24)?
True
Let f = 19041 - 7481. Is 85 a factor of f?
True
Let b be 1385 + -3 - 1*6. Let s = b + -950. Is 14 a factor of s?
False
Let d(y) = y**2 - 7*y + 5. Let u be d(0). Is 4 a factor of u*(-372)/(-45)*3?
True
Suppose 0 = -17*c + 20516 + 2298. Is 61 a factor of c?
True
Suppose 2*k = 230 - 4422. Is 4 a factor of k/(-40) - 3/(-5)?
False
Suppose -9*b = -3*b - 378. Suppose -b*c + 59*c + 1456 = 0. Does 13 divide c?
True
Is 31 a factor of 9/18*(2647392/77 + (-2)/(-7))?
False
Let j(n) = -163*n - 2. Let v(g) = -160*g - 1. Let s(z) = -5*j(z) + 6*v(z). Suppose 3 + 1 = -4*o. Is s(o) a multiple of 17?
False
Suppose -4*a - 24 + 297 = -867. Let d(y) = -14*y**2 + 4*y + 4. Let s be d(4). Let k = a + s. Is 27 a factor of k?
True
Suppose -2*r - 18 = 0, -3*r - 146236 = -4*y + r. Does 84 divide y?
False
Let t = 722 + -417. Suppose -4*f + 463 = -t. Is f a multiple of 32?
True
Let h = -436 - -229. Let d(i) = i**3 + 2*i**2. Let n be d(-1). Is h/(-3) - n*4 a multiple of 13?
True
Is 4 a factor of (-1392)/(-138) + (-18)/207 - -864?
False
Suppose 116*z - 113021 - 449695 = 0. Does 11 divide z?
True
Suppose -3*u + 29004 = -4*k, -32*u + 48348 = -27*u - 4*k. Is 13 a factor of u?
True
Suppose 0 = 2*s - 3*d + 696, 0 = 2*s - d + 505 + 191. Let a = s + 779. Is a a multiple of 13?
False
Suppose -117*g + 125*g = 144. Suppose -8 = -5*p - g, -3*f - p = -1885. Is 17 a factor of f?
True
Suppose h = 6916 + 716. Is 12 a factor of h?
True
Let f = 1912 - -445. Is f a multiple of 10?
False
Let x(c) = -c**3 + 8*c**2 - 5*c - 9. Let y be x(7). Let d be -225 - (-5 - (-7 + y)). Is 14 a factor of (1 - -1)/((-12)/d)?
False
Suppose -4*d + 0 = 5*l - 6, 5*d - 10 = -5*l. Let i be 4/l - (-28 - 6). Suppose -3*k - i = -3*m - k, 12 = m - 2*k. Is 10 a factor of m?
True
Let l(z) = -200*z - 272. Let k be l(-33). Suppose 6*o + k = 13*o. Is 13 a factor of o?
False
Is ((-19314)/81)/(38/(-171)) a multiple of 29?
True
Let s(n) = n**2 - 21*n + 50. Let i(p) = p. Let r(w) = -10*w - 26. Let j(b) = i(b) + r(b). Let y be j(-5). Is 2 a factor of s(y)?
True
Let z(o) = -o - 8. Let q be z(-10). Suppose -c + 0 = -4*g - q, -g + 6 = 3*c. Suppose -2*x + 5*r + 109 = 0, 2*x + 0*r + r - 103 = g. Does 13 divide x?
True
Let k be (-2)/(-11) - (-210)/(-66). Let s be 335/(-4) + k/12. Does 8 divide (4/6)/((-1)/s)?
True
Is (-4)/3*-3 - (-9 - (-10 - -17903)) a multiple of 128?
False
Suppose d = 2*y + 1 + 2, -y - 9 = -3*d. Suppose -7*m + 143 + 53 = y. Is m a multiple of 14?
True
Suppose -5*g + 9*g = -300. Let l = 75 + g. Suppose t - 156 = -l*t. Is 9 a factor of t?
False
Let q be (984/(5 + -4) - 2) + -1. Is ((-2)/(-3))/((12/q)/4) a multiple of 57?
False
Let y(l) = -2*l**2 + 16*l + 12. Let d = -28 - -40. Let z be 5/((-15)/d)*25/(-20). Is y(z) a multiple of 14?
True
Let i(v) = -2*v - 39. Let d be i(5). Let n = 65 + d. Let x = 49 - n. Is x a multiple of 11?
True
Let d be (-3100)/(-28) + (-4)/(-14). Suppose -q + d = 5*v, -2*v - 4*q - q + 49 = 0. Suppose 2*p - v = -2*b, 2*p - p - 13 = b. Is p a multiple of 12?
True
Suppose 2*k - 13728 = 5*q, -5*k + 20833 + 13487 = -3*q. Suppose -18*a + k = -2*a. Is 39 a factor of a?
True
Is (9222/795)/((-1)/(-1715)) a multiple of 58?
True
Let z = 83 + -94. Let u(s) = -7 + s**3 + 13*s**2 - 15*s - 18*s + 48*s. Is u(z) a multiple of 35?
True
Suppose 0 = 31*w - 9707 - 19309. Is w a multiple of 2?
True
Let t(s) = 10*s + 16*s - 6*s + 30*s**2 + 139 + 3*s - 3*s. Does 13 divide t(-7)?
True
Suppose -395*i + 390*i - z = -6754, 2*z = -5*i + 6758. Is i a multiple of 27?
True
Let q(c) = 4*c**2 - 3*c + 2. Suppose 0 = -5*p - 5*a + 10, -a - 6 = -p - 6*a. Let y be q(p). Suppose -2*z - 2*z - 5*m = -45, -m + 42 = y*z. Is z even?
False
Let f = 83 - 81. Suppose -f*j + 4*m - 43 = -127, -5*j + 245 = -3*m. Is 3 a factor of j?
False
Suppose 0*u - 1354 = 4*u - 2*h, 3*h + 356 = -u. Let o = 405 + u. Is 8 a factor of o?
True
Let k(p) = p**2 - 2*p - 44. Let n be k(14). Suppose -652 = -4*f + 4*r, f + 3*r - 178 = -r. Suppose 5*x - n = f. Is 14 a factor of x?
False
Let o = 43 + -27. Suppose -2*c - 3*j + 16 = -j, c + 3*j = o. Suppose k - 33 = 2*h + 29, -2*h = -c*k + 230. Is k a multiple of 28?
True
Suppose 208*y = -6*y + 157324 + 267680. Is 8 a factor of y?
False
Suppose 8*d - 24*d = -81984. Is d a multiple of 84?
True
Is 52 a factor of (4/3)/(40/(-240)) - -2192?
True
Suppose 3*d = 3*v - 69, -4*d + 26 = v - 2*d. Let j(u) = -u**3 + 5 - 6*u + 2 - 15*u**2 - v - 16. Does 10 divide j(-15)?
False
Suppose -9*a + 14*a - 190 = -5*f, -2*f + 110 = 3*a. Does 30 divide (21/14)/1*10*a?
True
Let p(b) = 1 + 16 - 6 + 7*b + 16. Let m be p(9). Suppose 3*s + 2*z + 31 - 216 = 0, s - 5*z - m = 0. Is s a multiple of 13?
True
Is 10 a factor of 35256/15 - 8/380*19?
True
Suppose -m - y = -2967, 8*y = 6*y - 2. Suppose 3*q - m = 5*v, q + 4*v - 768 = 210. Does 29 divide q?
True
Let b(h) = -h**2 - 47*h + 318. Does 24 divide b(-45)?
True
Let d(w) = 3*w - 14 + 2*w - 47 - 3*w + 3*w. Suppose -14 = -j + 1. Is 14 a factor of d(j)?
True
Let w(k) = 4*k - 2. Let a be w(1). Suppose -13 - 293 = -a*o. Is 13 a factor of o?
False
Let t(o) = 8*o**3 + 48*o**2 + 41*o - 46. Is 12 a factor of t(18)?
False
Let v(p) = 4*p**3 - 14*p**2 + 39*p + 52. Is v(7) a multiple of 6?
False
Let p(c) = 2*c**2 + c - 1. Let j be p(4). Suppose 0*u = -7*u + j. Suppose d - u*d = -168. Is 6 a factor of d?
True
Let f(o) = -31*o + 3702. Is 30 a factor of f(-18)?
True
Suppose -3*n - 5*a + 19323 = 0, -2*n = -6*n + a + 25764. Does 123 divide n?
False
Let n = 56 + -199. Let z = n + 57. Does 35 divide (-12)/20*(-5 - 0) - z?
False
Let h = 2288 - 578. Suppose 5*g - 20 = 0, x = 16*g - 11*g + h. Is x a multiple of 73?
False
Suppose -3*z + 6*r + 368 = r, -r + 5 = 0. Let c = -91 + z. Is 14 a factor of 120/(c/8) + 4*1?
True
Suppose -4*o = 4*w - 0*w - 200, 4*w - 190 = -2*o. Suppose 5*f + w = -3*d + 236, -3*d + 185 = -f. Does 62 divide d?
True
Let y be (34 + -32)*18/4. Is 45 a factor of (24/y)/2*810?
True
Does 8 divide 2871 - 24/16*4?
False
Let k(v) = v + 3. Let d = 65 - 109. Let x be d/(-7) + 18/(-63). Is k(x) a multiple of 2?
False
Suppose h = -5*l + 21604, -4*h + 121646 = -4*l + 35038. Is h a multiple of 6?
False
Is 47 a factor of (-33133)/(-5) + (-187)/(-55) + -3?
True
Suppose g + 5*i = 45, -5*g + 3*i - 4*i = -177. Is 15/g + 3740/28 a multiple of 4?
False
Let c = 3094 - -37175. Does 93 divide c?
True
Suppose 65 = 3*t - 3*n + 4*n, 30 = 2*t + 4*n. Let h = t - 19. Suppose -3*f + h*f = 98. Does 14 divide f?
True
Suppose 0 = 5*u - 15 + 5. Suppose 159 = u*a + 9. Suppose -70*y + a*y - 555 = 0. Is 9 a factor of y?
False
Let z be 5*8/10 + -4. Suppose -6*t + 12 + 0 = z. Suppose -5*r = -4*k - k - 1170, -t*r = 3*k - 468. Is r a multiple of 17?
False
Suppose 0 = 26*w - 14390 - 40470. Does 31 divide w?
False
Let x(g) = 2*g + 1. Let y(v) = 65*v - 164. Let z(a) = -3*x(a) + y(a). Is 19 a factor of z(17)?
True
Let c(f) = 2*f - 10. Let t be c(7). Let r be (7 + 0)*1*(t + -2). Let k = 54 - r. Does 40 divide k?
True
Let g = 16695 + -9731. Is g a multiple of 16?
False
Let o be 4 - (-2)/(-3)*-3. Suppose -o*q + 78 + 0 = 0. Let t = q - -99. Does 45 divide t?
False
Let j = -1311 - -1863. Is 52 a factor of j?
False
Let k = 35 + -15. Suppose 0 = -k*j + 6*j + 2464. Is j a multiple of 22?
True
Let g = -55 + 60. Suppose 8*a - g*a = 15. Suppose -a*l = -4*v - 211, -5*l + 5*v - 17 = -227. Does 9 divide l?
False
Does 16 divide (23/(2415/1008))/(3/1060)?
True
Suppose -20287 = -4*g - 3*u, -g + 1040 = 2*u - 4038. Does 25 divide g?
False
Let v = -4131 + 4824. Is 9 a factor of v?
True
Let u(c) = -c**2 + 435*c - 410. Is 90 a factor of u(33)?
False
Let y(j) = j**3 - 4*j + 1. Let v be y(3). Let i(f) = -f**3 + 15*f**2 + 17*f - 20. Let s be i(v). Is 10 a factor of 4/(-3)*150/s?
True
Let h(i) = -3*i**2 - 21*i - 33. Let x be h(-2). Is 3 a factor of x/((-54)/(-4)) + (-65460)/(-540)?
False
Suppose 4*i = n + 74091, -3*i - 2*n = -n - 55563. Does 63 divide i?
True
Let a(t) = -92*t + 3*t + 110 + 191*t + 9*t. Is 7 a factor of a(5)?
True
Let c(i) = 2*i + 15. Let s be c(-5). Suppose -20 = u + 5*a, -s*u - a + 16 = -5*a. Does 2 divide 4 - u - (2 - 2)?
True
Suppose 4 = -3*y + 7*y. Let w be 2 - (-3 + y + 9). Does 26 divide 1/((-20)/(