 = -h*r. Does 20 divide r?
False
Is -8 - (-39)/3 - -1 a multiple of 2?
True
Suppose 0 = 29*a - 27*a - 432. Is a a multiple of 5?
False
Let g = 21 - 15. Suppose -5*t + 3*c = -87, -5*c + g = 1. Let l = t + 12. Does 10 divide l?
True
Let b(c) = -c - 2. Let y = -10 + 2. Let x be b(y). Suppose 0 = -x*n - 0*n + 198. Does 13 divide n?
False
Suppose 3*o + 2*o - 85 = 0. Suppose 2*s + 0*s = p - o, 0 = 4*p + s - 68. Suppose 2*v - 3*v = -p. Is v a multiple of 9?
False
Suppose 0 = -2*d + 7*d - 50. Let g be (-2)/4 - (-45)/d. Suppose -o + 4*v - 18 = 0, g*o - 5*v - 3 = -4*v. Is o even?
True
Let i be -58*(10/(-15))/((-4)/(-3)). Suppose 0 = 5*k + i - 74. Is k a multiple of 4?
False
Let q(c) = 34*c - 245. Does 20 divide q(18)?
False
Suppose 31 = 5*a - 19. Let w(q) = -22 + a + 13 + 3*q. Does 11 divide w(7)?
True
Let r be (-1)/((-2)/220) - -1. Suppose 2*c - r = -c. Is 12 a factor of c?
False
Suppose -4*w - w = 5*q + 285, 2*w + 112 = -4*q. Suppose z + 0*z = -34. Let c = z - w. Is c a multiple of 10?
False
Suppose -5*t + 236 = -49. Is 634/7 + t/133 a multiple of 31?
False
Is 82 a factor of (-322)/28*(-1)/((-1)/(-26))?
False
Suppose 6 = 7*n - 6*n. Suppose 3*r + 3 = 0, -n*t + t + 11 = -r. Suppose 0 = -4*k - 8, 4*h + 7*k - t*k - 118 = 0. Does 16 divide h?
True
Let d(t) = 517*t + 93. Is d(2) a multiple of 49?
True
Suppose -3*l + 4*l = 17. Suppose 5*f = i - 49 - l, 4*i - 3*f - 213 = 0. Does 14 divide (6 - 4) + i/1?
False
Let o(x) = -x**2 + 6*x - 6. Let l be o(4). Does 2 divide (-186)/(-18) - l/6?
True
Suppose 5*n - 56 = -2*z + 2*n, 2*z - 2*n - 76 = 0. Let k = z - -74. Is 23 a factor of k?
False
Suppose 4*q + 152 = 4*x, -q = 5*x - 0*q - 172. Let t = -10 + x. Let m = t - -40. Is 16 a factor of m?
False
Let y be -2 + 7 + 2/(-1). Suppose -3*b - 8 = 3*f + b, f + 6 = -3*b. Suppose 3*r - 253 = 2*p, f*r - 5*p = -y*r + 268. Is 32 a factor of r?
False
Let w(i) = -351*i**2 + 176*i**2 - 2*i**3 - 16 + 7*i + 191*i**2. Is w(7) a multiple of 6?
False
Let f be (-1)/6 - 5/(-30). Let n = 3 + f. Suppose 6 = -n*s, 2*u - 4*s = -5*s + 68. Does 13 divide u?
False
Suppose -5*w + 3*s = -0*w - 103, 0 = -4*s - 4. Is w a multiple of 7?
False
Suppose 447 - 108 = 3*t. Suppose 5*k + 241 = 3*h, -h - 27 = 4*k - t. Is h a multiple of 18?
False
Suppose -9*s + 12 = h - 6*s, 6 = 3*h - s. Suppose -4*n = -h*r + 236, 5*r - 401 = -0*r - n. Is 10 a factor of r?
True
Let p = 8245 + -3895. Does 50 divide p?
True
Let s(q) = q**2 - q - 15. Let z be s(-7). Let n = z - -22. Is n a multiple of 21?
True
Suppose 2851 = 4*m + 18*n - 23*n, 3610 = 5*m + 3*n. Is 40 a factor of m?
False
Suppose b - 6379 = -3*s, -28*s = -27*s + b - 2127. Does 13 divide s?
False
Let d(h) = h**3 + 5*h**2 + 3*h - 4. Let f be d(-3). Suppose -2*t + 1 = -f. Is 14 a factor of 138/9 - t/9?
False
Let z(g) = -26*g + 9. Let w(n) be the third derivative of n**4/24 - 11*n**2. Let x(h) = 3*w(h) - z(h). Is 19 a factor of x(4)?
False
Let f = 1971 + -1896. Is f a multiple of 3?
True
Suppose 4*t = 96 + 36. Let q = t - 33. Suppose 3*p + z - 51 = -2*z, 3*z - 15 = q. Does 6 divide p?
True
Suppose 1 - 5 = 2*c + 2*y, 5*c - 4*y - 17 = 0. Let z = 0 - c. Is 13 a factor of -3 - (-18 - z) - -3?
False
Is 7 a factor of ((-7)/(-2))/(86/14276)?
True
Let j be (4 - 1)/(-1)*-1. Let o be (-3)/(-1 + 3/12). Suppose -68 = -j*f + o. Is 8 a factor of f?
True
Suppose 0 = -2*u + 2*r + 9018, 242*u = 241*u + 5*r + 4501. Is u a multiple of 12?
False
Suppose 6*g - 156 - 150 = 0. Is g a multiple of 17?
True
Let r = -1263 - -1594. Is 12 a factor of r?
False
Let l(z) = 5*z**3 + 5*z**2 - 46*z + 21. Let p(s) = -s**3 - s**2 + 9*s - 4. Let x(b) = -2*l(b) - 11*p(b). Is x(4) a multiple of 7?
False
Let m = 306 + -192. Let l = -62 + m. Is 23 a factor of l?
False
Is -196*15/(-12) + 6 a multiple of 17?
False
Let u = 4 + -4. Let d(a) = 2*a + 30. Let t be d(-14). Suppose -4*m + 6*m = t*c - 38, u = 5*c - m - 95. Is 19 a factor of c?
True
Let l(h) = 27*h - 15. Suppose -20 = -7*b + 3*b. Is l(b) a multiple of 24?
True
Let o(r) = -13*r - 14. Let u be o(7). Let g be (u/28)/((-2)/40). Let k = -28 + g. Is 20 a factor of k?
False
Let a(n) = -n**2 + 3*n + 3. Let u be a(3). Suppose b - 16 = -u*b. Suppose 0 = -9*k + b*k - 2*c + 180, 3*c - 117 = -3*k. Is 9 a factor of k?
False
Let j be (-4 - -72) + (-1 - -3). Suppose -12*z + j = -7*z. Is z + -18 - (1 - 21) a multiple of 7?
False
Let n be -15*2*(2 + -3). Let s = n - -12. Is s a multiple of 21?
True
Let u = -253 - -572. Is 9 a factor of u?
False
Let y be 0 + (5 - (-1 + 1)). Let d = 9 - 5. Suppose -d*x + 5*c + 36 = -50, -5*x + 85 = y*c. Does 7 divide x?
False
Let l(a) = -7*a - 13. Let k be l(-4). Let x(w) = w**3 - 16*w**2 + 17*w + 10. Does 40 divide x(k)?
True
Suppose 0 = -3*s + 48 + 165. Let c = 155 - s. Does 14 divide c?
True
Suppose 5*j = n + 2057, 2*j = -9*n + 4*n + 839. Is 15 a factor of j?
False
Suppose 5*i - 11 = -1. Suppose -52 - 514 = -5*q + 2*x, 218 = 2*q + i*x. Is 10 a factor of q?
False
Suppose -5*y - 17*f + 18*f = -1892, 0 = -3*y - 5*f + 1124. Is y a multiple of 63?
True
Suppose -2096 = -10*x + 24. Suppose -4*q + x = -76. Is q a multiple of 18?
True
Let i = -840 - -1220. Is 38 a factor of i?
True
Let s be ((-7)/3)/(1/18). Let k = 60 + s. Is 6 a factor of k?
True
Suppose -x + 5 = -c - 0*x, 3*c - 5*x + 25 = 0. Suppose -5*k + 5*y = -20, 0 = -c*k + 3*k + y - 20. Is k a multiple of 2?
True
Suppose 16 = 14*k - 10*k. Suppose k*w + 16 + 840 = 0. Does 13 divide w/(-8) + 18/(-24)?
True
Let o(x) = x**2 + 14*x - 11. Let j be 1 + -6 + 3 + -13. Let n be o(j). Suppose -114 = 3*d + n*t - 401, 0 = -d - t + 94. Is d a multiple of 26?
False
Suppose -2*f = -5*f. Suppose f*k = -2*k + 20. Is 10 a factor of k?
True
Suppose 27*z = 18*z + 7659. Does 38 divide z?
False
Let f(a) = 4*a - a**2 + 2 - 6*a + 6*a + 4*a. Let w be f(8). Suppose 46 = m - w. Does 15 divide m?
False
Let z = 8 - -4. Let g be ((-3)/6)/((-2)/z). Suppose -2*u + 264 = 3*f, -2*f - g*f - 3*u + 440 = 0. Is 26 a factor of f?
False
Let d be 0 - 0 - (-10 + 3). Let j(i) = 9*i - 18. Is j(d) a multiple of 11?
False
Let z(k) = 3*k**2 - 17*k + 8. Let x(w) = w**2 - 8*w + 4. Let c(o) = 5*x(o) - 2*z(o). Let l be c(-7). Does 10 divide l + (3 - 5*-6)?
True
Suppose -26*k = 8*k - 782. Does 23 divide k?
True
Let d = 50 - 30. Suppose -46 = -10*x + 24. Suppose 3*v = x*v - d. Is 5 a factor of v?
True
Let b be 2*-4*3/(-8). Suppose 5*w + 285 = 5*t, -b*t - 4*w = -314 + 122. Is t a multiple of 12?
True
Let r be (-2 + 20/8)*4. Let f be (-7 + 8)/(r/(-6)). Does 21 divide ((-56)/f)/((-10)/(-30))?
False
Let v = 104 + -94. Does 27 divide (-268)/(-5) + (-3)/((-75)/v)?
True
Let v(m) = -m**2 + 6*m - 4. Let o = 6 - 3. Let c be v(o). Suppose -3*n + c*r + 106 = 0, -2*r + 19 + 25 = 2*n. Is 9 a factor of n?
True
Let x(c) = -c**2 - 2*c + 2. Let o be x(-2). Suppose -s - 225 = -5*q, o*s = -2*q + s + 83. Does 13 divide q?
False
Let u = 1381 + 1603. Is u a multiple of 23?
False
Let s = 742 + -396. Is 65 a factor of s?
False
Let v(h) = 2*h**2 + 19*h + 21. Let x be v(-14). Suppose -3*a = -a + 5*j - 67, x = 4*a - 3*j. Is 9 a factor of a?
True
Suppose -3*a + 11 - 5 = 0. Suppose -5*h + 3*f + 7 = 0, -6*f - 2 = -3*h - a*f. Suppose h*c + 3*c - 180 = 0. Does 9 divide c?
True
Suppose -6*p + 9*p = -132. Let s = -20 - p. Is s a multiple of 6?
True
Is 47 a factor of 1*(-5 - -9) + 74*19?
True
Suppose 3*y + 4*b - 1026 = 0, -29*y + 4*b = -33*y + 1372. Is y a multiple of 41?
False
Is 41 a factor of -2974*2/4*-1?
False
Let n(r) = -8*r - 31. Let x be n(-13). Let y = 115 - x. Is 11 a factor of y?
False
Let y(n) = 4*n**2 - 2*n + 3. Let l(s) be the first derivative of 5*s**3/3 - 3*s**2/2 + 4*s - 8. Let d(j) = -3*l(j) + 4*y(j). Does 5 divide d(3)?
False
Let y = -1125 - -2190. Does 7 divide y?
False
Suppose 0 = -2*z + 28 + 12. Let i = -11 + z. Is i even?
False
Suppose 0 = -24*u - 3*u + 216. Is 4 a factor of u?
True
Suppose 5*z + 3*s = 22335, 5*s = -4*z + 9*z - 22295. Is z a multiple of 93?
True
Let d = 14 - 24. Is 7 a factor of (-2)/(-1 - 1) - (d - 42)?
False
Let g be -4*(-2)/4 + 3/3. Suppose 20 = g*w - 40. Is 20 a factor of w?
True
Let u(r) = 2*r + 8. Let w be 164/16 - 1/4. Let n = 10 - w. Is u(n) a multiple of 3?
False
Suppose 5*u + 2057 = 4*m, 17*m + 5*u = 12*m + 2605. Is m a multiple of 74?
True
Let k(s) = 7*s + 1. Let l(u) = 20*u + 4. Let w(z) = 16*k(z) - 5*l(z). Let m be w(