e
Let g(q) = 338*q**3 + 12*q**2 - 4*q - 11. Is 172 a factor of g(5)?
False
Is (-12768)/(-80)*(-35)/(-2) a multiple of 21?
True
Let l(z) = -z**2 + 18*z - 78. Let w be l(10). Suppose -w*v - 113 = -f + 3*v, 0 = -4*v - 20. Is f a multiple of 3?
False
Suppose 39*p - 21900 - 19284 = 0. Suppose -273*u + 271*u = -p. Is 24 a factor of u?
True
Let w = -4892 + 13964. Is 27 a factor of w?
True
Is (-18)/((-432)/468984) - 5/(-1 - -2) a multiple of 37?
True
Suppose 0 = -4*g + 4*l + 8128, -3*g - 3*l = -4 - 6092. Does 8 divide g?
True
Let z(m) = 8*m**2 + m. Let q = -34 + 37. Suppose -15 = -4*u - q. Does 15 divide z(u)?
True
Suppose -5*r + 20 = -5*n, 4*r + n - 41 = -0*n. Let f = 0 - 5. Is (f - (7 - r)) + 326/2 a multiple of 10?
True
Let g(x) = -x**3 - 14*x**2 - 14*x - 10. Suppose m - 4*l = -25, 4*l - 45 = 3*m + 2*l. Let u be g(m). Suppose -u*y + 17 = -109. Is 42 a factor of y?
True
Is (8/108 - (-38382)/162)/((-6)/(-52)) a multiple of 79?
True
Let g be (47 - 51) + (1 - -5). Suppose -c + 4*c = -3*d + 2445, -g*d - 3*c + 1633 = 0. Is d a multiple of 58?
True
Let q = -12 - -12. Suppose q = -3*s + 5*o + 884, -4*s + 3*o = 2*o - 1173. Let b = 502 - s. Is b a multiple of 11?
True
Suppose -29421 = -9*i - 657. Is 34 a factor of i?
True
Let c = 77624 - 36674. Does 325 divide c?
True
Suppose -6*l + 160 = -1970. Let s = 475 - l. Does 18 divide s?
False
Let w be 4*(2/(-3) + 161/84). Suppose -6*v - 3*m = -v - 10, -4*v = -w*m + 29. Is 23*((v - -4) + (-4)/2) a multiple of 5?
False
Suppose 0 = 33*q - 23888 - 22721 - 14837. Is 40 a factor of q?
False
Let b = -78 - -82. Suppose 2*c - 102 = 4*k, 4*c = b*k + 7 + 101. Is 11 a factor of k*(-20)/6 - 3?
True
Is 62 a factor of (3 - -5 - 11323)*8/(-10)?
True
Let n be -3 + 5 - 2632/8. Let u = -254 - n. Does 2 divide u?
False
Let q = 690 + 2553. Is 47 a factor of q?
True
Suppose 0 = -2*p - 4*p - 180. Let c = p - -35. Suppose -c*o = -10*o + 450. Is o a multiple of 30?
True
Let n = 9252 + -2767. Does 21 divide n?
False
Let b(y) = -33*y - 8. Let w be b(2). Suppose 0*p - 5*p = -670. Let r = w + p. Is r a multiple of 20?
True
Suppose -23*z + 25*z + 25422 = 3*c, 0 = 4*c + 4*z - 33856. Is c a multiple of 55?
True
Suppose 5*n = b + 4, -6*n - 4*b = -n + 16. Suppose 16 = -4*l, 2*y - 3*l = -n*l + 216. Suppose 4*u - y = 2*u. Is 17 a factor of u?
True
Suppose -14*n = 1448 + 232. Is (2688/n)/(4/(-30)) a multiple of 34?
False
Let s be 3 + (1 - -3) + 448. Let t = s - 198. Let c = -179 + t. Does 38 divide c?
False
Let o(c) = -4*c**3 - 49 + 19*c - c - 4*c**2 + 14*c**2 + 60. Is 11 a factor of o(-5)?
True
Suppose -174644 + 32468 = -24*l. Is l a multiple of 99?
False
Let h(t) = t + 2. Let u be 4 - (4 + (-2 - -6)). Let w be h(u). Let q(i) = -13*i + 4. Does 4 divide q(w)?
False
Suppose 0 = -b + 3*g + 2*g - 67, g = -b - 37. Let a be b/(-4)*(-8)/6*4. Let c = a + 65. Is c a multiple of 7?
False
Suppose -f + 718 = -3*y - 0*f, 2*y = -f - 482. Let s = 432 + y. Does 13 divide s?
False
Suppose 42238 = 2*y + 37*z - 38*z, 2*y + 3*z = 42246. Is 10 a factor of y?
True
Suppose 0 = -817*n + 818*n + 660. Let k = -525 - n. Is k a multiple of 3?
True
Suppose 0 = 4*g - 0*g + 4*v - 60, -3*g - v = -37. Suppose -10*n - 209 = -g*n. Is n a multiple of 19?
True
Suppose 7477 = 3*q - n, 16*q - 12435 = 11*q - 5*n. Is q a multiple of 19?
False
Suppose 40*t - 1180 = 44*t. Let h = t - -318. Is 10 a factor of h?
False
Let x = 136 + -964. Let t = x + 1219. Does 18 divide t?
False
Let b(t) = 31*t**2 - 7*t - 3. Let k be b(-1). Suppose -2*p - 38 = -4*s, 4*s + 47*p - k = 52*p. Is s a multiple of 2?
True
Suppose 0 = 5*g + 5*i - 185, -4*g + 3*i + 70 = -50. Let p = 366 + g. Is p a multiple of 41?
False
Suppose 2*u + 15 = -1. Let c(f) = 7*f + 5. Let w be c(u). Is w/17 + (0 - -35) a multiple of 8?
True
Let q = -279 + 283. Does 12 divide (84/(-15))/(7/(q - 109))?
True
Suppose q + 26 = 31. Suppose -5*y - 19 = -0*y - 4*j, -2*y - 1 = q*j. Is 26 a factor of (119 - (y - -3)) + 0?
False
Suppose 5*s - 542*j = -544*j + 3167, s + j = 634. Is 2 a factor of s?
False
Suppose 124 = 11*h - 74. Let g be 1*(-8)/18*h/(-4). Is -2*((-67)/g)/1 a multiple of 11?
False
Let s = -413 + 413. Suppose s = 16*o - 7*o - 5760. Is o a multiple of 16?
True
Let t(s) be the first derivative of s**3/3 + 3*s**2 - 7*s - 1. Suppose 4*w + 3*m + 27 = -11, -65 = 5*w - 5*m. Does 24 divide t(w)?
True
Let g be (-69)/115*50/(-6). Suppose -p = -3*o + p + 208, g*p = -2*o + 164. Is 6 a factor of o?
True
Let g = 47 - 68. Let d = g - -23. Suppose d*f + 128 = 5*j, 2 + 14 = -4*f. Is 4 a factor of j?
True
Let z = 13 + 35. Let b(i) = i**3 - 18*i**2 + 67*i + 26. Let w be b(13). Suppose w*h - z*h = 132. Is 33 a factor of h?
True
Suppose 4*j - 3*j + 4*c = 130, 5*j - c - 692 = 0. Suppose 2*k + m = 54, -k + j = 4*k + 4*m. Is 26 a factor of k?
True
Let c(i) = -i**3 + 10*i**2 - 6*i + 27. Let a be c(12). Let u be ((-10)/(-6))/((-667)/a - 2). Suppose 2*p - 7*p = -u. Does 17 divide p?
False
Is 2*-2 + (7873/4)/((-11)/(-44)) a multiple of 18?
False
Suppose n - 2088 = -8*n. Suppose -4*s = 4*u - 184, 6*s - n = -5*u + 2*s. Is 6 a factor of u?
True
Suppose 7356 = 3*z - 5*k, z - 4*z = k - 7374. Let r = z - 1274. Does 13 divide r?
True
Let h = -663 - -634. Does 10 divide ((-6)/(-18))/(1/h)*-3?
False
Suppose -9*r = -0*r - 2304. Suppose -r = -w + 3*w. Let d = w + 310. Is 14 a factor of d?
True
Suppose 0 = c + 2, 5*c - 4*c - 1008 = -t. Is t a multiple of 6?
False
Let q(y) = -2*y**3 - 51*y - 1 - 14 - 3 - 16 + 133*y + 66*y**2. Does 13 divide q(34)?
True
Is 223 a factor of 210356/28 - ((-20)/(-490))/(5/(-35))?
False
Is 3 - 27/18*(-1876)/3 a multiple of 3?
False
Let n(x) = -x**3 - 20*x**2 + 33*x - 54. Is 9 a factor of n(-31)?
False
Suppose 21*w - 65412 = -15*w. Let a = w - 1007. Does 27 divide a?
True
Suppose -3*h + 6081 = 3*c, -5*h - 15*c + 10156 = -13*c. Does 11 divide h?
False
Let j be 18*(-6)/(-4) - -4. Is j*312/(-18)*(-6)/4 a multiple of 16?
False
Let i be (-460)/(-90) + 1/(-9). Suppose 3*y - 143 = i*m, 2*m = -2*y - y + 157. Is 11 a factor of y?
False
Let j(g) = 278*g**2 - 3*g - 3. Let q be j(-2). Suppose -5*m + 2*p + q = -1674, 0 = -3*m - 4*p + 1689. Is 75 a factor of m?
False
Let m(n) = 2*n**3 + 12*n - 12. Let t(d) = -d - 4. Let v(j) = -m(j) + 6*t(j). Is v(-4) a multiple of 94?
True
Let z = 4081 + -18191. Does 8 divide z/(-55) + (-84)/154?
True
Let x(h) = 13*h - 15. Suppose -s + 19 - 4 = 0. Let d be x(s). Let q = d + -92. Is q a multiple of 32?
False
Suppose 11*w + 8*w - 28690 = 0. Suppose -4261 = -7*b - w. Is b a multiple of 14?
False
Let a(o) = 280*o - 313. Let f be a(21). Does 41 divide (3*1)/(57/f)?
False
Let q(a) = a**3 + 15*a**2 - 20*a - 12. Suppose 2*l = l - 16. Let d be q(l). Let b = -37 + d. Is b a multiple of 15?
True
Let j(l) = -199*l**3 - l**2 - 7*l + 10. Is 13 a factor of j(-3)?
True
Let d(x) = -4*x - 3*x**2 - 173 + 4*x**3 + 84 + 89. Is d(4) a multiple of 24?
True
Suppose -4*g = 2*y + y - 1190, -4*y + 1566 = -5*g. Let c = y + -378. Is c a multiple of 12?
False
Let p(v) = 6*v - 33. Let i be p(5). Is 13 a factor of 10/30 - 44/i?
False
Let o = 21 + -44. Let c = -2 - o. Suppose 22*k = c*k + 17. Is k a multiple of 7?
False
Let u = -77 + 82. Suppose -u*z + 110 = -f, -3*z = z + 3*f - 69. Suppose z*h = 16*h + 680. Does 22 divide h?
False
Let u(a) = -21*a - 114 + 211 - 112. Is u(-3) a multiple of 4?
True
Let t = 227 - 433. Let y = t + 230. Does 8 divide y?
True
Let f be 41*(-5 + (3 - -1)). Let u(w) = -w**2 - 50*w - 159. Does 35 divide u(f)?
True
Suppose -4781 = 37*k - 44*k. Let x = k + -512. Is 7 a factor of x?
False
Suppose r - 41*k + 38*k - 935 = 0, -3700 = -4*r + 2*k. Is r a multiple of 3?
False
Suppose 181*d - 356*d = -188*d + 10101. Is d even?
False
Suppose -22*g + 9597 = -27105 - 27890. Does 8 divide g?
True
Suppose 0 = -p + 3*l + 9099 - 1409, -4*p + 30720 = -4*l. Does 25 divide p?
True
Is 79 a factor of (-1)/(1 - (1 - (-13)/19513))?
True
Suppose 0 = z - 5*b - 103, 4*z + 4*b = -z + 544. Let l = 42 + z. Does 6 divide l?
True
Suppose -419*k + 209*k - 81500 = -220*k. Does 30 divide k?
False
Suppose 69*o + 8 = 73*o. Suppose -6*g + 2*g = -z + 608, -3*z + o*g + 1834 = 0. Is z a multiple of 9?
True
Let n(v) = v**3 - v + 18 + 24 + 4 + v**2. Let c be n(0). Suppose 0 = 2*y - 4, -3*h + y - 6*y + c = 0. Is 4 a factor of h?
True
Let m be -1 + -4 + 0 + (8 - 6). Let d(x) = 74