-11*z + 2*z = 2439. Is (-7 + z + -4)/(3/(-2)) a multiple of 47?
True
Let f = -515 + 634. Does 17 divide f?
True
Suppose o - 11 = -y - y, 0 = -2*o + 3*y + 8. Let j(v) = -8*v + 10. Let d(b) = 1. Let p(h) = 5*d(h) - j(h). Is p(o) a multiple of 24?
False
Let f be (-80)/(-44) + 4/22. Suppose 3*h - 3*p - 4 = h, -5*h + p + 10 = 0. Suppose 0 = -2*c + h*g + 68, -139 = -5*c - f*g + 59. Is c a multiple of 10?
False
Suppose 2*c = 4*c + 2*b - 208, -c + 3*b + 108 = 0. Suppose -j - c = -2*u, 0*u = u - 3*j - 40. Suppose -u = -3*z + 89. Is 11 a factor of z?
False
Suppose 8 = -a + 3*a. Suppose -c = a*c - 15. Suppose -5*n = c*r - 205, -3*r + 132 + 32 = 4*n. Does 9 divide n?
False
Let n(y) = -y**3 - 4*y**2 - 12*y - 35. Is 50 a factor of n(-5)?
True
Suppose -7*r + 5*r + 3116 = -4*o, 5*o = 4*r - 6247. Is 16 a factor of r?
True
Let m(a) = 2113*a**3 - 5*a**2 + 4*a. Is 88 a factor of m(1)?
True
Suppose -d - b - 3*b - 8 = 0, -d - 3*b - 6 = 0. Let c(t) be the third derivative of -t**6/120 + t**4/24 + 2*t**3 - 26*t**2. Is c(d) a multiple of 6?
True
Let g be (-1 + 11)/((-4)/(-32)). Let h = -56 + g. Does 4 divide h?
True
Suppose -8 = 3*v - 7*v. Suppose 0 = -5*k - 4*f - 10, -v*k - f = 2 - 1. Suppose 0 = k*u + c - 132, 4*u - 3*c + 2*c - 252 = 0. Is u a multiple of 19?
False
Let u = 287 + -433. Let p = 110 + -188. Let v = p - u. Does 28 divide v?
False
Let f(x) = 17*x**2 - 9*x - 3. Let d be f(-4). Suppose -25 = 7*j - d. Is 10 a factor of j?
True
Suppose -2*s + 8 = 3*g - 7, -4*g + 20 = -2*s. Suppose -2*y + 141 = g*f, -2*f = -f - 1. Does 17 divide y?
True
Let v be 7/((-105)/(-10))*-81. Let k = v - -139. Is 17 a factor of k?
True
Suppose 0 = -0*y + 4*y + 3*v - 9, 2*y - 1 = -5*v. Let h = -1 + y. Suppose -h*p + 82 = 4*x, 0 = -x + 2*x - 2. Is p a multiple of 22?
False
Let l be (-4)/(-8) + (-1146)/4 + 2. Is 6 a factor of (-1)/(12/l) - 4/6?
False
Suppose -3*a = 4*q - 1898, 0 = -4*a + q - 3*q + 2524. Suppose 0*x + a = 5*x. Does 21 divide x?
True
Suppose 6*x = 2*x. Does 4 divide x/2 - -33 - 2?
False
Suppose -2*z = 2, 6*v - 9*v = -3*z - 3246. Is v a multiple of 45?
False
Let y(m) = 23*m**2 + 4*m. Is y(2) a multiple of 10?
True
Let y(s) be the third derivative of 37*s**4/24 - 16*s**3/3 - s**2 - 16. Is 10 a factor of y(5)?
False
Let g(y) = -7*y**2 - 2*y + 2. Suppose 0 = 2*x - 5*x - 4*v + 7, -4*v + 6 = 2*x. Let k be g(x). Let r(j) = -8*j + 4. Is r(k) a multiple of 30?
True
Suppose 0 = 17*u - 1170 - 1584. Is u a multiple of 18?
True
Let h(w) = w - 5. Let t be h(5). Is 8 a factor of 4 - (-129 - -3) - t?
False
Let b = 26 - -234. Does 20 divide b?
True
Let f(x) = 3 + 174*x + 8 - 185*x. Is f(-7) a multiple of 12?
False
Suppose 648 + 1188 = 5*n - o, 0 = o - 4. Is 31 a factor of n?
False
Suppose -3*p = -9*p - 450. Let o = 160 + p. Does 17 divide o?
True
Suppose -4*t = -7*t + 687. Let c = 433 - t. Does 34 divide c?
True
Suppose -16 = -7*v + 3*v. Suppose 0*i - v*i = 140. Let h = i + 49. Is 3 a factor of h?
False
Suppose -8*w + 0*w - 800 = 0. Let s be -1 - (2 - 30/2). Does 8 divide (s/10)/((-15)/w)?
True
Let p = -25 - -42. Let w = -14 + p. Let i(n) = 2*n**3 + 2*n**2 - 3*n - 2. Is i(w) a multiple of 15?
False
Let n(k) be the second derivative of 0*k**2 + 8*k - 4/3*k**3 + 0. Is n(-11) a multiple of 22?
True
Let o(q) = 2*q**2 - 15*q + 16. Does 38 divide o(10)?
False
Suppose 2*y = 147 - 15. Is 8 a factor of y + (-1)/(4/12)?
False
Let r(s) = 52*s - 253. Is r(8) even?
False
Let z(h) = 466*h - 1. Does 10 divide z(1)?
False
Let o = -2 - -5. Let i be 825/(-18) - o/18. Let f = i + 112. Does 11 divide f?
True
Let i = 86 + 44. Is 30 a factor of i?
False
Let a be 585/105 + 51/21 + -3. Suppose h = -4*h + 20. Suppose l - 468 = -h*v + a*l, -l + 453 = 4*v. Is v a multiple of 38?
True
Let v = 2 - -1. Suppose 0*d = -d - x + 137, 3*x + v = 0. Does 10 divide d?
False
Suppose 3*i = i + 4*q - 68, -2*q + 130 = -4*i. Let m = -12 - i. Does 5 divide m?
True
Suppose 316 = 2*o + 4*z, -3*o + 4*z + 494 = -0*o. Let h be 2121/28 + (-6)/8. Let v = o - h. Does 29 divide v?
True
Let b be 6 + -2 + (-2 - 6) + 6. Is 189/(-6)*(-4)/b a multiple of 9?
True
Let h(d) = -4*d + 2. Let a be h(-1). Let f(m) = 9*m**2 - 18*m + 13. Let q(z) = 13*z**2 - 27*z + 19. Let g(x) = -7*f(x) + 5*q(x). Does 19 divide g(a)?
False
Let g(r) = -r**2 + 87. Let j be g(0). Suppose -2*u - m = -j, -4*m + 118 = 6*u - 3*u. Does 23 divide u?
True
Let j = 281 - -335. Is 11 a factor of j?
True
Suppose 5 = g, -h - 18 = -5*h - 2*g. Suppose -3*z = -n + 4, n + 4*z = 5 - 1. Suppose 4*y - 34 = -5*a + 67, 0 = h*a - n*y - 46. Is 7 a factor of a?
True
Is 4/6*((-11187)/(-22))/3 a multiple of 7?
False
Let v = 1485 - 835. Is 5 a factor of v?
True
Let k(i) = 6*i + 5*i + 3*i - i**2 + 0*i**2 - 37. Is k(6) a multiple of 5?
False
Let p(y) = 7*y + 141. Let x be p(0). Let h = -97 + x. Is h a multiple of 4?
True
Let b(l) = -62*l + 12. Does 22 divide b(-3)?
True
Let d(o) = -o + 24. Let x = 17 - 8. Let r be x - 7 - (-4)/(-2). Is d(r) a multiple of 12?
True
Let i(p) = 3*p**2 + 7*p + 10. Let r be i(-3). Let l = 106 - r. Is 30 a factor of l?
True
Let b(z) = 4*z + 1. Let y(h) = h**3 + 11*h**2 + 10*h + 1. Let s be y(-10). Let k be b(s). Suppose 0*w - 450 = -k*w. Does 16 divide w?
False
Let q = -59 + 42. Let p = -9 - q. Is 7 a factor of p?
False
Let l(h) = 4*h**2 + 35*h + 269. Is 20 a factor of l(-7)?
True
Is (-459)/(-6) - (-24)/16 a multiple of 3?
True
Suppose 5*n = 5*v - 335, -2*v - 3*n + 0*n = -139. Let t = v + -8. Is t a multiple of 20?
True
Suppose -5*o + 45 = 2*l - 4, -o = 2*l - 45. Is 22 a factor of l?
True
Suppose b + 4*o - 1640 = 0, 3*b + 10*o - 4965 = 13*o. Suppose 5*v - b + 403 = a, -v + 246 = -4*a. Does 50 divide v?
True
Let r = 62 + -55. Let t(n) = 7*n**2 + 3*n. Let i be t(-2). Let c = r + i. Is c a multiple of 14?
False
Suppose 60*y = -8100 + 37260. Does 18 divide y?
True
Suppose 4*n - 9*n = 0. Suppose n = 5*f - 47 - 3. Let c = -1 + f. Is c a multiple of 4?
False
Suppose 155 = 5*o + 4*f + 6, 0 = -2*f - 8. Is 28 a factor of o?
False
Does 10 divide (-612)/(-16) - 4/16?
False
Let b = -63 + 67. Suppose u - b*x = 157, -2*u - 6*x = -x - 314. Is u a multiple of 61?
False
Let a be (-1)/(-3) - (-213)/9. Let h = a - 20. Suppose 0 = 6*c - h*c - 24. Is c a multiple of 6?
True
Is 6 a factor of 4 + (34 + (2 - 6))*3?
False
Let u(a) = 175*a**2 - 2. Let l be u(1). Let y = -115 + l. Does 15 divide y?
False
Let v(i) = -i**3 + 8*i**2 + 2*i - 12. Let y be v(8). Let l be (-5 - -8)/(2/y). Suppose l*u - 180 = 2*u. Is 9 a factor of u?
True
Let q(h) = -121*h + 15. Is 14 a factor of q(-3)?
True
Let c be 600/(-2 - -4) - (8 + -12). Suppose 2 = -2*g, -231 = -4*i + 3*g + c. Does 19 divide i?
True
Let u = 1205 - 15. Does 14 divide u?
True
Let b = -23 - -29. Suppose 38 = b*p - 256. Does 15 divide p?
False
Suppose 0 = 13*h - 10*h - 2340. Suppose 14*t - t - h = 0. Is t a multiple of 15?
True
Let y(c) be the first derivative of c**6/120 - c**5/30 - c**4/6 - 2*c**3/3 - 5. Let q(i) be the third derivative of y(i). Does 25 divide q(5)?
False
Let k(s) = 8*s + 242. Is 29 a factor of k(0)?
False
Suppose -46 = 2*j - 414. Suppose 0 = -k - 3*k + j. Is k a multiple of 8?
False
Suppose 0 = x + 3 + 11. Let a = x + 14. Suppose 5*l - 4*c + 27 - 229 = a, 2*l - 5*c = 91. Is 19 a factor of l?
True
Is 570 - (30/(-35))/(1/(-7)) a multiple of 12?
True
Let r be ((-6)/4)/((-2)/4). Let l(g) = 12 + 0*g - 8*g + g - 5*g - g**r - 10*g**2. Is l(-9) a multiple of 13?
True
Let c(u) = -1 + 0*u + 1 + 2*u + 15*u**2 - 1. Suppose -2*s - 4 = -6. Is c(s) a multiple of 8?
True
Suppose -3*u + 10*u - 21 = 0. Is (2/3)/(4/328)*u a multiple of 28?
False
Let h be (-3 - -9) + (-1)/(3/6). Suppose -3*f - 2*f + 164 = -2*m, -8 = h*m. Is 5 a factor of f?
False
Suppose 2*t = 3*r - 1694, -2*t = 2*r + 3*t - 1161. Does 9 divide r?
False
Suppose 5*j - 61 = -3*f + 3*j, 0 = -3*f + 4*j + 85. Is f a multiple of 6?
False
Suppose 11472 = 6*b + 582. Does 55 divide b?
True
Suppose 4*x - 3*x = 3. Suppose x = -2*h - 1. Is ((-4)/h)/((-1)/(-5)) a multiple of 5?
True
Is (-1)/(-3) + (-21908)/(-12) + -5 a multiple of 14?
False
Let x(w) = w**3 + 9*w**2 - 11*w - 7. Let s be x(-11). Let h be ((-41)/(-2))/((-8)/s). Suppose 4*f = -p + h, 340 = 2*f + 2*f + 4*p. Does 27 divide f?
True
Let t(b) = 31*b + 700. Is 68 a factor of t(52)?
True
Suppose -4*u + 5*u = 0. Suppose y - 35 + 12 = u. Does 22 