)/(-50)) + (-51265)/(-15) a multiple of 5?
True
Is (1248/13248*46)/(0 - (-1)/5904) a multiple of 11?
False
Let j(n) = 37*n + 8. Let o be (-90)/(-126) + (-2)/(-7). Is 29 a factor of j(o)?
False
Let z = -9289 - -15681. Is z a multiple of 16?
False
Let t be -4*(-25)/40*508/10. Let b = t + -65. Let d = b + -42. Is d a multiple of 2?
True
Let c(n) = 5*n**3 + 20*n**2 + 30*n - 10. Let u(x) = -2*x**3 + x + 1. Let r(z) = c(z) + 2*u(z). Is 42 a factor of r(-16)?
True
Let h = -39 - -42. Suppose -k - 162 = 3*r + h*k, r = -4*k - 46. Let t = -36 - r. Is 11 a factor of t?
True
Let r(b) = -b**3 + 23 - b**2 + 7 - 8 + 18*b. Is r(-6) a multiple of 6?
False
Suppose 0 = -9*u + 456 + 381. Suppose -828 + u = -3*d. Let q = d + -164. Is q a multiple of 27?
True
Let g(r) = 17*r**2 - 5*r - 2*r + 6*r**2 + 17 - 22*r**2. Is g(-5) a multiple of 22?
False
Let c = -2430 + 3772. Suppose -2222 = -9*h + c. Does 22 divide h?
True
Is 190 a factor of (-338400)/(-30) + 21 - (1 - 9)?
False
Suppose 0 = 72*c + 235783 - 803863. Is c a multiple of 263?
True
Suppose -2*n + 5308 = 5*m, -m + 1400 - 356 = -4*n. Suppose 9*y - 4*y - m = 0. Let j = y - 96. Does 29 divide j?
True
Let x be (2*-258)/(-6)*(-3)/2. Let c = 218 + x. Does 12 divide c?
False
Let v(j) = j + 28. Let i be v(-21). Suppose -c - 5*o = -219, i*c + o - 895 = 3*c. Does 16 divide c?
True
Suppose -5*i - 4*s = -12945, 5*i + 2*s + 4240 = 17195. Is 54 a factor of i?
False
Suppose -3*a + 237 = 5*b - 61, -2*a = -5*b + 318. Let r = -58 + b. Is 34 a factor of 4/r - -3 - 1 - -167?
True
Let a(l) = -152*l**3 + l**2 - 12*l - 13. Let u be a(-1). Does 28 divide u/16 + -8 + 370/4?
False
Let y = 234 - 240. Is 45 a factor of ((-22)/33 - 4/y) + 450?
True
Is 3 + 50/(-14) - (-2250818)/287 a multiple of 81?
False
Suppose 27 = 3*l + 4*o, 3*l - l + 3*o = 19. Suppose -254 = 3*f - l*f. Suppose -f = -2*b - 39. Is b a multiple of 11?
True
Suppose 62*w - 59*w + 405 = 0. Let a = -123 - w. Suppose -3*s - 2*f = -123, -s = 14*f - a*f - 41. Is s a multiple of 9?
False
Suppose 3*s - 16955 = -5*b, 1360*s - 11306 = 1358*s - 4*b. Does 17 divide s?
False
Let b be ((-180)/(-72))/(1/8). Is -85*(-28)/b*6 a multiple of 26?
False
Let y(c) = -3*c - 31. Let r be y(-15). Suppose -r*m - 66 = -8*m. Let u(x) = 2*x**2 + 17*x - 18. Is u(m) a multiple of 4?
False
Let a = 136 - -417. Suppose -42 = b - 2*d - 169, 0 = -4*b - d + a. Does 61 divide b?
False
Let d(u) = u**2 - 1. Let t(z) = z**2 - 17*z + 32. Let c(a) = 2*d(a) - t(a). Let r be c(-19). Suppose -r*h - 3 + 15 = 0. Is 2 a factor of h?
False
Let b = -845 + 2041. Is b a multiple of 28?
False
Let u = 52 - 73. Is ((-340)/6)/(-6 - 112/u) a multiple of 5?
True
Suppose 3*t + b = 24494, 3*t - b + 11917 = 36419. Does 4 divide t?
False
Let b be 18/(1*(-1)/1). Let v be (-2)/9 - 166/b. Let m(l) = l - 1. Does 4 divide m(v)?
True
Let t(f) = f - 14. Let k be t(14). Let d(r) be the second derivative of 5*r**3/6 + 16*r**2 + r. Is d(k) a multiple of 10?
False
Let i = 87 - -1. Suppose -11*g = -9*g - i. Does 2 divide g?
True
Suppose -a = 9, -12*x + 17*x + a = 347491. Does 20 divide x?
True
Suppose 0 = p - 4*b + 48, 3*b + 1 = 10. Let o be 1/(((-15)/132)/(-5)). Let j = p + o. Does 8 divide j?
True
Let z = 151 + -232. Let j(p) = -p**2 + 17*p + 79. Let q be j(-8). Let g = z - q. Is g a multiple of 40?
True
Suppose t = -p + 25 + 13, 3*t = 4*p + 86. Suppose -7*l + t*l - 25029 = 0. Is 75 a factor of l?
False
Suppose -7*q + 2*d - 3120 = -9*q, 0 = -3*q + 2*d + 4655. Is 112 a factor of q?
False
Let r = 8566 - 7407. Is 30 a factor of r?
False
Let h = 15205 + -6593. Is h a multiple of 31?
False
Let z = 14691 + -9129. Is 27 a factor of z?
True
Let w(a) = 1635*a + 1252. Is w(10) a multiple of 30?
False
Suppose -a + 13 = -2*m - 50, -3*a = -5*m - 188. Suppose 54*c + 462 = a*c. Is c a multiple of 23?
False
Suppose 15*k = 11560 + 5525. Is 8 a factor of k?
False
Let p(g) = 56*g + 11 - 2*g**2 - 69*g + 6*g**2. Let v be p(5). Let b = v + -35. Is 2 a factor of b?
False
Suppose 5*s - 79 = 2*d, s - 4*d - 17 = -3*d. Let o(f) = 32 + 3*f**2 - 21 - s + f**3 - 7*f. Does 10 divide o(4)?
True
Let c(q) = -370*q + 18653. Let i be c(51). Suppose w + 22 + 9 = 0. Is (20/7)/(w/i) a multiple of 20?
True
Suppose 10*s + 1 = 41. Let d be (21/s)/((-36)/(-336)). Suppose -24 = -t + d. Does 10 divide t?
False
Let u = -67 + 75. Suppose -99 = 7*d - u*d. Suppose -3*t + 4*v + d + 215 = 0, 334 = 3*t + v. Is t a multiple of 10?
True
Let q be 476/8*-1*(-4)/1. Suppose 4*n + 393 = 3*o - q, -210 = -o + n. Is 19 a factor of o?
True
Suppose -4*t - h = 313 - 10650, -3*t + 4*h + 7767 = 0. Does 11 divide t?
True
Suppose 6*l = 4*d + 3*l + 189, 31 = -d + 4*l. Let x = d - -378. Does 7 divide x?
False
Let d = -5654 - -7254. Does 16 divide d?
True
Suppose -j - 16 = -4*z - 4*j, -8 = -2*z - 2*j. Suppose z*x - 46 = -c, -3*c + x - 43 = -207. Is c a multiple of 35?
False
Let x(o) = -o**2 + 23*o + 8. Suppose 0 = 2*m + 2*w, 12 = 5*m - 0*w - w. Let t be (8/m)/(23/92). Is 20 a factor of x(t)?
True
Suppose 7 = 5*i - 8. Suppose b + 3*u = 760, -i*u = -5*b - 7*u + 3800. Does 95 divide b?
True
Suppose -p + 6 + 6 = 0. Suppose -3*i + p*i = 0. Suppose i*u = u - 74. Is u a multiple of 37?
True
Let k be 352*(6/(-4) + 1). Let j = -936 - -1294. Let w = k + j. Does 14 divide w?
True
Suppose -4*j + 2*m + 1098 = 0, -146*j + 141*j - 3*m + 1367 = 0. Is j a multiple of 2?
True
Suppose -4*y + 69*a = 70*a - 193537, -4 = -4*a. Is 32 a factor of y?
True
Suppose n = 2*u - 492, 2*n - 12*u + 9*u = -985. Let m = 611 + n. Does 16 divide m?
False
Suppose -l - 3*z - z = -8358, 0 = -7*l + 5*z + 58407. Is 13 a factor of l?
True
Let t(v) = 13*v + 156. Suppose y + 4*b + 22 = 0, 38 = 2*y - 7*y - 2*b. Is 5 a factor of t(y)?
False
Let f(m) = -10*m - 2. Let k(v) = v**2 + 7. Let j be k(3). Suppose -4*p - j - 4 = 0. Is 22 a factor of f(p)?
False
Suppose 24*d - 81600 - 3048 = 0. Is d a multiple of 5?
False
Let d(u) = -5*u + 345. Let v be d(0). Let j = 396 - v. Does 24 divide j?
False
Let n(g) be the second derivative of -g**3/3 + 11*g**2 - 4*g. Let d be n(7). Let o(r) = 2*r**3 - 16*r**2 + r + 6. Is 14 a factor of o(d)?
True
Let n be (-476)/(-85)*5/2. Let w be (n - 11)/((-1)/(-19)). Suppose 21 = 3*g - w. Does 26 divide g?
True
Suppose 0 = 4*l + 5*d + 173, 4*l - 6*l = 5*d + 79. Let g = -35 - l. Suppose 0 = -g*c + 11*c + 96. Is 50 a factor of c?
False
Let z = 45 - 47. Let k be (3 + -3)*(0 + 1)/z. Suppose -3*o - 5*r + 75 = -k*o, 2*r - 114 = -4*o. Is o a multiple of 10?
True
Let u = 10006 + -2002. Is 23 a factor of u?
True
Let h be ((1 - 4) + (-88)/(-33))*30. Is ((-396)/48 - h)*(75 - -1) a multiple of 3?
False
Let i(y) = y**3 + 382. Suppose s - 3*s = c - 6, 5*c - 5*s = -15. Does 8 divide i(c)?
False
Let q(s) = -7*s**2 - 5*s + 8. Let k(r) = -15*r**2 - 11*r + 16. Let d(u) = 6*k(u) - 13*q(u). Let z be d(6). Suppose 24 = 4*h - 2*l, l = -4*h + 8 + z. Is h even?
False
Let p be ((-14)/(-35))/(1/(-35)). Let t = p - -18. Suppose 154 = 3*h - 2*g, -3*g + 192 = t*h - 36. Does 9 divide h?
True
Let q(r) be the first derivative of -3*r**4/4 - 2*r**3/3 + 3*r**2/2 + 2*r + 4. Let p = -43 + 41. Is q(p) a multiple of 11?
False
Let s(m) be the first derivative of -m**4/4 - 5*m**3/3 + m**2 + 9*m - 16. Let u(n) = n**3 - 4*n**2 + n - 1. Let h be u(3). Does 8 divide s(h)?
False
Suppose 66*j - 2688 = 62*j. Is 112 a factor of j?
True
Suppose -4*j + q = 25, 0 = 2*q + q - 3. Let u be 1042 - j*(-2)/(-3). Suppose 3*f - 5*t = -t + 626, 5*f - 4*t - u = 0. Does 21 divide f?
True
Let j(n) = n**2 + 15*n - 16. Let s be j(-13). Let q = 132 - s. Is q a multiple of 29?
True
Let x(q) = 232*q**2 + 537*q + 27. Does 8 divide x(11)?
False
Let n = 2556 + -1066. Suppose -3*p + n + 757 = 4*v, 0 = v + p - 563. Is v a multiple of 18?
True
Suppose 65*w - 1261919 + 317909 = 20*w. Is 15 a factor of w?
False
Let d = 9172 + -7724. Is 4 a factor of d?
True
Let n(f) = -4552*f + 1658. Does 62 divide n(-3)?
True
Suppose 5*i - 4784 = -2*l + 20836, l + 4*i = 12801. Is l a multiple of 285?
True
Is (-11315)/(-9) - ((-282)/(-54) + -5) a multiple of 120?
False
Let k = -51 - -51. Suppose k = 5*s + b - 92, -68 = -4*s + 2*b - 0. Is s a multiple of 2?
True
Let n = 7988 - 6833. Does 41 divide n?
False
Let p = -219 + 226. Suppose 0 = 5*j - 20, 0 = -2*q - 3*j + p*j + 1744. Is q a multiple of 80?
True
Suppose -4*a + 0*d + 208 = 4