y + 154 = 2*c, 0 = 5*y + 2*c - u*c - a. Does 13 divide y?
True
Let h = 221 + 1108. Suppose -4017 = -14*b - h. Does 32 divide b?
True
Suppose -w + 300 + 145 = 0. Is 35 a factor of w?
False
Let z(y) = -65*y**2 - 9*y - 23. Let t(r) = 43*r**2 + 6*r + 15. Let b(n) = 8*t(n) + 5*z(n). Is 10 a factor of b(-3)?
False
Let z = -40 + 45. Suppose 2*x - 6*t = -3*t + 365, z*t = 5. Is 23 a factor of x?
True
Let h(o) = 25*o + 70. Does 8 divide h(6)?
False
Suppose -3*m + 969 = -3*u, 0 = 3*m + m + 3*u - 1299. Does 54 divide m?
True
Let i be -57*((-66)/9 + -2) + 1. Suppose -5*l + 2*m = -i, 2*m - 4*m - 428 = -4*l. Is l a multiple of 15?
True
Let k be (-3)/(6/70) - 2. Let n = 61 + k. Suppose j + n = 2*j. Does 4 divide j?
True
Let i(d) = -20*d. Let w be i(-1). Let k(o) = 3*o + 7. Let f be k(3). Is (f/w)/((-1)/(-110)) a multiple of 16?
False
Suppose -6*w + 3*w + 3 = -3*q, 2*w + 4*q = -4. Suppose 0*b = -5*l - 5*b + 735, w = 2*l - 3*b - 274. Is l a multiple of 32?
False
Suppose 5*u = -0*u + 180. Is u a multiple of 3?
True
Let s(c) = 2*c**2 - 34*c + 4. Is 8 a factor of s(18)?
True
Let h be 21/(-63) + (-33)/9. Let p = -20 - -84. Does 7 divide p - (h/(-4))/1?
True
Suppose -10*c = -4*k - 8*c - 20, 5*c - 5 = k. Let a(x) be the third derivative of x**5/30 + x**4/4 + x**3/6 + x**2. Is a(k) a multiple of 12?
False
Does 26 divide -6 - ((-2390)/(1 + 4) - -4)?
True
Suppose w = -5*i + 258 + 21, -528 = -2*w + 5*i. Is 15 a factor of w?
False
Let d(g) = -g**3 - 3*g**2 - 2*g - 1. Let a be d(-3). Let o(h) = 4*h + 19. Let b be o(-4). Suppose 5*l - b*m = 275, -235 = -a*l - 3*m - 2*m. Is 13 a factor of l?
True
Let c(r) = -23*r - 1. Let h be 4/6*45/(-10). Does 29 divide c(h)?
False
Let n = -354 + 524. Let q(x) = -x**3 - 7*x**2 + 2*x + 2. Let l be q(-8). Suppose 2*v - n = -l. Is v a multiple of 20?
True
Let t(g) = 3*g**2 + g + 44. Is t(-11) a multiple of 36?
True
Let i = 124 + 117. Is 11 a factor of i?
False
Let g(m) = m. Suppose -10 = -3*y - 2*y. Let p(t) = -6*t. Let h(o) = y*g(o) + 2*p(o). Does 10 divide h(-4)?
True
Suppose 5*a - 6 = 4. Suppose 0*f - 3*k - 3 = -3*f, -a*f - k = -5. Suppose -5*r = f*i - 62, -3*r - 5*i + 7 = -34. Is r even?
True
Suppose -39*r = -54*r + 5955. Is r a multiple of 11?
False
Let o(f) = f + 1. Suppose 84 = 5*i - 3*u, 5*i - 117 = -3*u - 21. Does 19 divide o(i)?
True
Suppose 4*y + 4*w - 2047 + 483 = 0, 4*y = 2*w + 1594. Does 44 divide y?
True
Let l(f) = -f - 14. Let t be l(-17). Suppose -t*y = d - 5*d - 39, 0 = -3*y + 2*d + 33. Is y a multiple of 9?
True
Let o(m) = -m**2 - 16*m - 14. Let v = -14 + 4. Is o(v) a multiple of 10?
False
Let y(w) = -52*w - 36. Let a be y(-8). Suppose a + 754 = 9*x. Does 14 divide x?
True
Suppose 4*m = -3*j + 4475, -424 + 6017 = 5*m + 4*j. Is 19 a factor of m?
True
Is 159/477 - (4505/(-3) - 2) a multiple of 16?
True
Suppose 649 = 5*o - 2*m + 91, -4*m = -4. Does 15 divide o?
False
Suppose 4*z - 4*n + 0 = 12, 3*z - 16 = -4*n. Suppose p = i - 342, 3*i - 4*p + 322 = z*i. Does 14 divide i/6 - 2/6?
True
Let q(f) = 2*f - 9. Let t(p) = p - 9. Let c(w) = 5*q(w) - 6*t(w). Suppose 0*k + 5*k = -2*y + 19, -2*y = -3*k + 21. Is 12 a factor of c(k)?
False
Suppose 0 = -h - 6 + 58. Suppose -3*l + 1 = -m, 3*m - 5 = 3*l + 2*l. Suppose 2*g = -l*c - c + 11, -4*c = -4*g + h. Is g a multiple of 6?
False
Is (-2)/1 - 43/(387/(-4266)) a multiple of 8?
True
Is 4 a factor of (140 - -2) + 5 - -5?
True
Let i = 84 - 376. Let f = -207 - i. Is f a multiple of 17?
True
Is 14 a factor of (-88 + (-25)/5)*8/(-12)?
False
Suppose -2*o + 4 = 4*x, -x - 1 = 4*o + 5. Suppose -2*r - a + 10 = 0, 3*r - x*a = 2*r - 5. Does 16 divide r/6 + 142/4?
False
Suppose 2*z + 3*c + 1749 = 0, -5*z - 877 = -4*z - c. Is 38 a factor of (-7)/2*z/21?
False
Let x(p) = 3*p**3 + 3*p**2 + 4*p + 2. Let g be x(-2). Suppose 3*b + 184 = -b. Let f = g - b. Is 13 a factor of f?
False
Let g be ((-7)/(2 + 12))/((-2)/156). Suppose -c - 39 = -2*c + 3*h, c - g = -h. Does 7 divide c?
False
Let r(a) = 9*a. Let y be 3/((-9)/(-12)*2). Suppose -6*z = -7*z + y. Is 9 a factor of r(z)?
True
Does 17 divide ((-351)/(-6))/((-18)/(-456))?
False
Is (899 - 57) + 1*9 a multiple of 47?
False
Suppose -238*b = -235*b - 387. Is 17 a factor of b?
False
Let n be ((-5)/(-3))/((-1)/(-3)). Suppose -n*t = -0*t - 20. Suppose t*o - 35 = 161. Does 22 divide o?
False
Is (4/(-6))/(3*5/(-4320)) a multiple of 20?
False
Suppose -12*f + 25762 = 5062. Is f a multiple of 69?
True
Is 2 + 2169*(-12)/(-18) a multiple of 93?
False
Let j = -100 + 172. Is 12 a factor of j?
True
Let m = -327 + 2615. Is m a multiple of 52?
True
Suppose 21*o - 59446 = 19115. Does 24 divide o?
False
Suppose 4*m = m - 2*k - 32, 3*m - 4*k + 62 = 0. Let y(d) = d**2 - 13. Does 36 divide y(m)?
False
Suppose 701 = 4*z - 5*i, -2*i - 24 + 14 = 0. Is 13 a factor of z?
True
Let y(z) = 14*z**2 - 9*z + 1. Is 69 a factor of y(-10)?
False
Let y(m) = -109*m - 232. Is y(-5) a multiple of 12?
False
Let p = -84 + 93. Is 794/9 - 2/p a multiple of 23?
False
Let o(a) = a**3 - 15*a**2 - 42*a - 19. Is o(19) a multiple of 34?
False
Let i(w) = -3*w - 6*w + w**2 + w**3 + 6*w**2 + 3. Is 13 a factor of i(-7)?
False
Suppose -4*s + 44 = 5*z, -2*z + 11 = -2*s - 3. Is 4 a factor of z?
True
Let p(d) = 4*d**2 - 2*d. Suppose -13 = -4*t - 5. Suppose 0 = t*x - 2*y + 3*y + 4, x + y = -1. Is 14 a factor of p(x)?
True
Let n be (-4 - (-28)/8)*0. Suppose n = 6*c - 2*c. Suppose -2*u - 4 = -5*j, u + 3 = 3*j - c*u. Is 2 a factor of j?
True
Suppose 2 + 10 = 3*w + 4*c, -4*w = -3*c + 9. Does 6 divide (2 - -4)*(1 + w)?
True
Suppose 1869 = 13*r + 348. Is r a multiple of 32?
False
Is 67 a factor of -3*((-3305)/15 - 3)?
True
Let o = 2511 - 1305. Is 28 a factor of o?
False
Let k be 1*-3*(1 - 2). Suppose -n - 2*q = -34, 2*n + 191 = 7*n + k*q. Is 9 a factor of n?
False
Let w be 2/(-4)*(-1022 - 6). Suppose -w - 31 = -5*h. Suppose 0 = 2*x - 4*x + 5*o + 117, 2*x + 3*o = h. Does 14 divide x?
True
Suppose 3*u + 10 + 2 = 0. Is 2 a factor of u/14 - (1080/14)/(-4)?
False
Suppose 3*y + 62 + 37 = 0. Let c = y - -54. Suppose 4*i = 67 + c. Is i a multiple of 11?
True
Let y be (2 - 0)/2 + (-9 - -10). Suppose -6*q + y*x = -4*q - 534, -5*x + 506 = 2*q. Does 65 divide q?
False
Let n(r) = -2*r**2 + 5 + 3*r**2 - 3 - 1. Let i be n(2). Suppose 0 = -2*g + 3*z + 51, i*z + 25 = -0*z. Does 6 divide g?
True
Let y(q) = q**2 + q - 1. Let c be y(-5). Let x(r) = 4*r + 21. Let i be x(-4). Let l = c + i. Does 12 divide l?
True
Let v(y) = -y**2 - 8*y - 5. Let o(n) = -n**3 - 4*n**2 + 6*n. Let t be o(-5). Is v(t) a multiple of 4?
False
Suppose 0 = g + 5*c - 175, -c + 539 = 2*g + g. Does 15 divide g?
True
Suppose 4*m = -5*k, -2*k = -2*m - 0*m + 18. Let p(b) = -b - 2. Let g be p(k). Suppose -36 = -r + 4*y, -2*y - g*y = r - 4. Is r a multiple of 13?
False
Let u(p) = 2*p**3 + 2*p**2 - 4*p - 6. Let m be u(4). Suppose 2*w + 2*w = -z + m, 4*w - 3*z = 146. Is 5 a factor of w?
True
Suppose -11*x + 13*x + 6418 = 4*m, -5*x = -2*m + 3197. Is 23 a factor of m?
False
Let g = -2 + 15. Suppose -g = -2*o - 5. Suppose -12 = -o*c + 20. Is 4 a factor of c?
True
Suppose 0 = 24*j - 2137 - 5063. Is j a multiple of 60?
True
Suppose 72 = 7*b - 915. Does 3 divide b?
True
Is 387/(-1290) + (-86)/(-20) a multiple of 2?
True
Let i(q) = 4*q**2 + 5*q. Let c be i(2). Let d = c + -5. Is d a multiple of 15?
False
Let w = 1536 + -951. Is w a multiple of 5?
True
Let v(z) = -z**2 - z + 2. Let r be v(-2). Suppose -p + 11 + 84 = r. Suppose 5*y - p = -0*y. Is 17 a factor of y?
False
Suppose -i - 3*s + 62 = 0, 0 = -2*i - 3*i - s + 240. Let m = i + 33. Suppose c = -4*c + m. Does 8 divide c?
True
Let h = 397 - 245. Suppose 5*t - 4*t = h. Is 38 a factor of t?
True
Let b be ((-3)/(-6))/(1/4). Suppose 0 = -b*k + k. Suppose k = -3*f - 5*a + 70, 80 = 2*f + 2*a - 7*a. Is 15 a factor of f?
True
Suppose -40*r - 15756 = -53*r. Is r a multiple of 101?
True
Let n(h) = h**3 + 11*h**2 + 9*h - 8. Let m be n(-10). Suppose -43 = -4*b + m*i + 267, -3*b + 225 = -4*i. Is 16 a factor of b?
False
Let c(x) = 7*x**2 - 39*x + 7. Let y be c(6). Let z be (-74)/4 + (-2)/4. Let p = y + z. Is p a multiple of 6?
True
Let r = 2342 - 1032. Does 5 divide r?
True
Suppose 0 = 5*m - 4*g - 2039, -3*g - 1053 = 4*m - 2678. Is 7 a factor of m?
False
Let t(x) = x**3 + 5*x**2 - 10*x + 4. Let r(f) = f**2 + 1. Let h(l) = 4*r(l) + t(l). Does 2 divid