j be d*((-41)/2 + -1). Suppose 410 - j = 4*n. Is 27 a factor of n?
True
Is 19 a factor of (3 + -7 - -304) + -1?
False
Suppose -2*c - 2*k = 524, 2*c + 2*k = 5*c + 811. Let a = -137 - c. Is a a multiple of 19?
False
Suppose p + p = 10. Suppose 2*o - 3 = -7*i + 4*i, -p*i = -5*o - 30. Suppose -3*j + 111 = -3*d, -3*j - d + 114 = -i*d. Does 10 divide j?
True
Let y = -213 + 78. Let o be (-30)/y - 230/(-18). Is 4 a factor of 78/o*(-5)/(-2)?
False
Let d(l) = -2*l**3 - 2*l**2 + 2*l + 539. Is d(0) a multiple of 51?
False
Let o = 1040 + -301. Is o a multiple of 9?
False
Let d(b) = 11*b. Let a(z) = -11*z - 1. Let y(q) = -3*a(q) - 4*d(q). Is y(-7) a multiple of 16?
True
Let f be (-4)/12 + (-93)/(-9). Suppose f = -5*j - 0, -5*b - 3*j = -589. Does 17 divide b?
True
Let p be 4*7/84 - (-308)/(-6). Let q = 88 + p. Is 7 a factor of q?
False
Let l be (-1 - 6/(-7)) + 320/35. Does 7 divide 538/l - 6 - 2/(-9)?
False
Is 20 a factor of 1896/(-14)*(-7)/2?
False
Suppose 0*v + 4*v - q = 12, v + 3*q = -10. Let i be v + -1 + (-3)/3. Suppose i = -0*f + 4*f - j - 20, -f + 5*j = -5. Is 3 a factor of f?
False
Suppose -2*p = p + 93. Let w = p + 58. Suppose 4*q = -4*h + 168, -q = h - 3*q - w. Does 22 divide h?
False
Suppose -4*m - 681 = -2985. Let w(q) = -q**2 - 8*q + 4. Let z be w(-8). Suppose 5*j - z*n - m = j, -4*n = -j + 150. Is 36 a factor of j?
False
Suppose 4*f + 5*n - 25 = 0, n - 14 = -2*f - n. Suppose 0 = 2*k + 4*a - f, -k + 5 = 4*a. Is k a multiple of 4?
False
Let n be -2 + 4*-10*-1. Let f = -288 - -426. Suppose -2*x + n + f = 0. Does 22 divide x?
True
Suppose -13596 = -16*h + 13636. Does 74 divide h?
True
Suppose -4*m - 8 = 4*c, -5*m - c - 2*c = 2. Suppose -b = -0*b + 4*n - 19, -3*n + 28 = m*b. Suppose 0 = i - b - 3. Does 7 divide i?
True
Suppose 5661 + 4437 = 11*u. Does 9 divide u?
True
Let a(t) = 16*t**2 + 24*t + 140. Is 26 a factor of a(-6)?
True
Suppose -3*o = 5*c - 15, 5*c = o + o - 10. Suppose 461 = -o*l - 2*n + 1211, 0 = 5*n. Is l a multiple of 11?
False
Let i(k) = -k**2 - 12*k + 34. Let t be i(6). Suppose -m + 5*m = 4*g - 124, 2*m + 2*g = -54. Let w = m - t. Does 15 divide w?
True
Let y = 128 - 41. Let l = y + -22. Is 13 a factor of l?
True
Suppose 6*c = 5*c + 1. Is 17 a factor of ((-578)/51)/(c/(-3))?
True
Let a(l) = 1 + l + 43 - 3*l. Let i(y) = -y. Let n(t) = a(t) - 3*i(t). Is 22 a factor of n(0)?
True
Let q = 2954 - 1484. Suppose 31*s = 26*s + q. Is s a multiple of 44?
False
Suppose d - 144 = -7*o + 2*o, 5*d - 640 = -5*o. Is 3 a factor of d?
False
Let r = 271 + 81. Does 8 divide r?
True
Let s be (0 - 1) + 152/1. Let y = 223 - s. Is y a multiple of 8?
True
Let c(u) = -126*u + 18. Suppose 5*y + 9 = 2*w, 3*y + 3 = 6*y - 4*w. Is c(y) a multiple of 24?
False
Let v be 4/(-14) - (-990)/35. Let q be (-18)/(-90) - v/(-10). Suppose d = q*d - 170. Is 19 a factor of d?
False
Let m = -507 + 870. Is 33 a factor of m?
True
Let p(k) = -9*k + 8. Let x(z) = 8*z - 8. Let t(l) = -4*p(l) - 3*x(l). Does 11 divide t(4)?
False
Let c(d) = -d**3 + 36*d**2 - 79*d - 101. Is 13 a factor of c(33)?
True
Suppose -5*w = 4*n - 14, 0*w + 2*w + 2*n - 6 = 0. Let m(v) = -v + 5. Let c be m(5). Suppose w*f - 34 = -c*f. Is f a multiple of 9?
False
Let l(k) = -20*k**3 + 8*k**2 - 26*k - 14. Let x(j) = 7*j**3 - 3*j**2 + 9*j + 5. Let t = -34 + 51. Let h(y) = t*x(y) + 6*l(y). Does 3 divide h(-3)?
False
Suppose 0 = 3*x - 5*n - 67, -3*n = x - 5*x + 71. Suppose -1644 = 2*l - x*l. Is 11 a factor of l?
False
Suppose -3*t + 9 = -5*q + 27, -5*q - 24 = 4*t. Is (-598)/(-15) - t/45 a multiple of 20?
True
Suppose -4*f + c + 19 = 0, 2*f + c = 3*f - 4. Suppose -7*n + 6*n + 102 = -f*v, -5*n + v = -438. Is n a multiple of 36?
False
Is 17 a factor of (-2 - 9) + 3308/1?
False
Let u = 49 + -30. Suppose 14 = 4*w - m - m, w + u = 5*m. Does 6 divide w?
True
Suppose q = -5*l + 1 + 29, 44 = 2*q + 2*l. Suppose 4*a + 3*c - 77 = 0, 4*c = 3*a - 84 + q. Is 4 a factor of a/(-30)*(-21)/2?
False
Suppose -3 = -l - 0. Suppose 6*w - l*w + 45 = 0. Is 13 a factor of (-231)/(-5) + 3/w?
False
Suppose -3*h - 4*j - 8 = 0, -h + 4*h + 3 = -3*j. Let s = h + 8. Let w = s + -4. Is 8 a factor of w?
True
Suppose -4*y - s = -980, 4*y + 5*s - 2*s - 988 = 0. Is 10 a factor of y?
False
Let h(r) = 2*r**2 + 5*r - 10. Suppose 2*o - 3*v + 6*v = -5, 44 = -5*o + 3*v. Is 14 a factor of h(o)?
False
Suppose -3*x = -w - 145, -w + 4*x = 6*x + 155. Let y = -49 - w. Is 34 a factor of y?
True
Let j(w) = 2 - w + 3 + 6 + 0*w. Let n be j(11). Is 1/1 - (n + -36) a multiple of 11?
False
Suppose -9 = -4*a + i, -7 = -5*a - 3*i - 0. Let z(p) = 6*p**2 - 3*p + 2. Does 20 divide z(a)?
True
Let b = 938 + -834. Does 3 divide b?
False
Let q(t) = -t - 2. Let x(g) = -12*g + 44. Let r(f) = -3*q(f) - x(f). Is r(14) a multiple of 43?
True
Is 9 a factor of (-5944)/(-4) + -3 + 2 + 0?
True
Let g be (3/(-1) - -6) + 10. Suppose -2*q + 3*c + 3 = 0, -2*q - c - g = -4. Let p = q + 8. Is 4 a factor of p?
False
Let a(l) = l**3 + 6*l**2 - 8*l - 7. Let m be -1*((-7)/(-1) + 0). Let j be a(m). Let p(w) = w**3 + w**2 + w + 28. Is 18 a factor of p(j)?
False
Let l be 7/(49/(-72)) + (-4)/(-14). Does 7 divide (-126)/l*(3 + -2 + 4)?
True
Suppose 0 = -2*b - 83 + 373. Is 9 a factor of b?
False
Let u(c) = 2*c**2 - c + 4. Let m be -1 + 1 + (-17 - -7). Let l be u(m). Suppose 5*q + 54 - l = 0. Does 32 divide q?
True
Let b(k) = -2*k**2 + 18*k + 3. Let f be b(9). Suppose 0 = -5*u + 20, -36 - 136 = -f*r + 5*u. Is 32 a factor of r?
True
Suppose -r = -3, z - 2*r - 1 = -r. Suppose v = -0*v. Suppose -z*j + a + 44 = v, 36 + 24 = 4*j - 5*a. Is 4 a factor of j?
False
Let a = -12 - -3. Let n(l) = -l**3 - 8*l**2 + 5*l - 4. Let v be n(a). Is 10 a factor of (100/80)/(2/v)?
True
Suppose -h = -5*x - 827, 2*h - 1678 = -87*x + 89*x. Is 52 a factor of h?
False
Suppose 0 = -382*c + 394*c - 17160. Does 22 divide c?
True
Let k(y) be the third derivative of -y**6/24 + y**5/60 + y**4/24 - y**3/6 + 6*y**2. Is k(-1) a multiple of 4?
True
Let n = -90 - -403. Does 2 divide n?
False
Is (-279)/3*-1 + 2 a multiple of 19?
True
Let i = 183 - 93. Let v = i + -24. Is v a multiple of 10?
False
Suppose 2*l + 2*y - 592 = 4*y, 601 = 2*l + y. Is l a multiple of 3?
False
Let p(m) = m + 9. Let a be p(-5). Suppose 3*w - x - 19 = -2*x, 0 = -5*w - a*x + 20. Does 4 divide w?
True
Let b(c) = -21*c - 704. Is b(-56) a multiple of 17?
False
Let q = 24 - 17. Suppose -8 - q = -c. Let r = 22 - c. Does 2 divide r?
False
Let i(l) = 2 + l**2 + 3*l + l - 2*l + 0*l. Let x be i(-2). Suppose 3*h - 35 = -y, x*h = 4*y + 7 + 7. Is 11 a factor of h?
True
Let f be 116/24 + 3/18. Suppose -16 = -w + f. Is 8 a factor of 2/(-6) + 175/w?
True
Let m = 140 + -100. Is 8 a factor of m?
True
Let u(n) be the second derivative of -n**3/6 + 3*n. Let j be u(-3). Suppose -t + 1 = 0, -j*t = -m + 4 + 3. Does 10 divide m?
True
Let d be (-2)/(-12)*-4 + 46/(-3). Let a be 1 + (-2 - 1) - 25. Let p = d - a. Does 11 divide p?
True
Let b(g) = g**3 - 15*g**2 + 15*g - 9. Let n be b(14). Suppose 72 = n*x - x. Suppose -2*o + 14 + x = 0. Is o a multiple of 16?
True
Suppose -8*w = -3*w - 445. Let y = 19 + w. Suppose 2*u = -2*u + y. Does 9 divide u?
True
Let w(v) = v. Suppose -1 - 15 = -3*p - 2*i, 2*p + i - 10 = 0. Let c be w(p). Suppose 54 = 2*a + 3*d, -7*a + 3*a + 104 = c*d. Is a a multiple of 12?
True
Let x(a) = a**2 + 4*a + 1. Let i be x(-3). Let l be 131 + -3 - (i + -1). Suppose -3*j - c + 30 = -53, 5*j = 2*c + l. Does 9 divide j?
True
Let f(m) = -202*m - 60. Is f(-3) a multiple of 26?
True
Let c(t) = -2*t**3 + 47*t**2 + 5*t - 54. Let n(s) = -s**3 + 23*s**2 + 3*s - 27. Let y(a) = -6*c(a) + 13*n(a). Is y(17) a multiple of 14?
True
Suppose -5*g + j = -394, -5*g + j + 402 = -2*j. Let h = 114 - g. Does 9 divide h?
True
Let u = -58 - -68. Is 10 a factor of (5 - 38/u)*(-1 - -51)?
True
Let j = 12 + -38. Is 21 a factor of (-1096)/j + (-8)/52?
True
Suppose -h = 2*h - 5*f + 2, 4*h = -3*f + 36. Let d = 99 + h. Does 22 divide d?
False
Let t be (-12)/28 - 488/(-28) - 2. Suppose t*q - 4*q = 836. Is 39 a factor of q?
False
Let v = 66 + 22. Does 2 divide v/(-33)*(-4 + 1)?
True
Let i = -18 + 9. Let d = 11 - i. Is 6 a factor of d?
False
Let w(a) = 2*a - 6. Let s be w(-8). Let p be 2/3 + 388/(-6). Let l = s - p. Does 28 divide l?
False
Suppose 0 = 3*j + 2*j - 80. Let m = -30 + j. Let s = m + 19. Is s a multiple of 