 + 2945. Is 8 a factor of a?
False
Let w = 0 - 12. Let k = 76 - w. Is 11 a factor of k?
True
Let t be 340*((-56)/20)/7. Let o = 232 + t. Does 12 divide o?
True
Suppose 32*x + 50 = 34*x. Let d = x - -27. Is 13 a factor of d?
True
Suppose 0 = -2*m - 4*s + 4, 3*m - 34 = 5*s + 5. Suppose 4*q = 2*x + 46, 4*q = -4*x + 2*q - 72. Let h = m - x. Does 9 divide h?
True
Let k = -152 - -285. Is k a multiple of 19?
True
Let r(k) = 22*k**2 + 39*k + 20. Is r(-6) a multiple of 59?
False
Suppose -30*a = -24*a + 6. Is 7 a factor of ((-82)/8)/(a/4*1)?
False
Let s(q) = -5*q - 13. Let z = 18 + -35. Is 8 a factor of s(z)?
True
Suppose -3*a + 2*z + 914 = 0, -6*a + 1536 = -a + 3*z. Suppose -a - 70 = -4*n. Is n a multiple of 8?
False
Let m(k) = -k**3 + 38*k**2 + 17*k - 107. Does 11 divide m(38)?
True
Suppose 2*p + 34 = -3*y, 2*y - 4*p = p + 9. Is 9 a factor of (-2)/(y/172) + 2?
True
Let c(i) = 2*i**2 - i - 22. Is 4 a factor of c(-6)?
True
Suppose 16*m - 21*m = -23060. Is m a multiple of 83?
False
Let h be (-13)/(-3) + -2 - 5/15. Suppose 12*r - 1470 = -h*r. Is 15 a factor of r?
True
Let n(r) = 5*r**2 + 5*r + 4. Let i(u) = -8*u**3 + 1. Let l be i(1). Let a be n(l). Suppose -5*b + 455 = v + 106, -3*b + 4*v = -a. Is b a multiple of 19?
False
Let f = -58 + 100. Suppose -238 = -3*i + 5*h, f = -i + 5*h + 128. Is i a multiple of 13?
False
Let i(j) = j**2 + 2*j + 1. Let w be i(-4). Let p = w + -5. Suppose -2*t = 5*n - 3*t - 69, 0 = t + p. Is 3 a factor of n?
False
Suppose 808*v + 1332 = 817*v. Is v a multiple of 19?
False
Let f(t) = -t**2 - 9*t + 1. Let q be f(-9). Let k be (-36)/(-8) - q/(-2). Is (-4)/k*285/(-6) a multiple of 19?
True
Let s = 424 - -143. Is s a multiple of 50?
False
Suppose -6*x + 3*x = 0. Suppose -5*z = q - 2, z = -x*z + 4*q - 8. Suppose 5*p - p - 120 = z. Is 15 a factor of p?
True
Suppose -35*n + 272 = -33*n. Is 17 a factor of n?
True
Suppose 1962 - 12842 = -4*i. Is i a multiple of 10?
True
Let a(i) = i**3 + 10*i**2 - 7*i + 68. Is a(-11) a multiple of 12?
True
Let r = 63 + -73. Let b(p) = -10*p - 24. Is 19 a factor of b(r)?
True
Let b(m) = m**3 + 4*m**2 - 4*m + 3. Let c be b(-5). Let k(q) = 2*q + 12. Is k(c) a multiple of 3?
False
Suppose -2*r + 152 = -148. Suppose -4*p - 244 = -2*a, 3*p - r = -2*a + 101. Does 10 divide a?
False
Let o = 1 - -5. Let i(t) = -2*t - 3 + 0 + 6*t. Is i(o) a multiple of 7?
True
Let t = 953 + -547. Does 14 divide t?
True
Let b = 4 - 2. Suppose 0 = c + b*c - 531. Suppose i + c = 4*i. Is i a multiple of 26?
False
Let d(p) be the third derivative of p**5/20 - p**4/12 - 17*p**3/6 - 19*p**2. Is d(8) a multiple of 28?
False
Let g = -295 + 339. Is g a multiple of 2?
True
Let s(w) = 59*w**2 + 5*w + 3. Is 26 a factor of s(3)?
False
Suppose -3*b - 16 = -28. Suppose -5*p - 18 + 90 = 3*u, -b*u + 79 = p. Does 4 divide u?
False
Let a(l) = 4*l**2 + 12*l - 27. Is 15 a factor of a(-12)?
True
Let o = 6 - -12. Let g be 618/39 - 2/(-13). Let t = o + g. Is 11 a factor of t?
False
Let k(q) = -q**3 + q**2 + 3*q + 2. Let z be k(3). Let r(a) = -a - 10. Let g be r(z). Is 14/g*(-6)/4 a multiple of 7?
True
Let r(k) = 3*k + 2 + 2*k + 2 - 4*k. Let v be r(-2). Suppose v*s = 6*s - 52. Does 4 divide s?
False
Let o = -26 + 29. Let x(m) = 4*m**3 + o*m - 4 + 5*m**2 - 3*m**3 - 9*m**2. Is 2 a factor of x(4)?
True
Suppose 2*a = 5*a - 405. Let g = 205 - a. Is 14 a factor of g?
True
Let s be (-2056)/(-18) - (-10)/(-45). Suppose -s = -5*z + 61. Is 35 a factor of z?
True
Let y(d) = 25*d**2 - 3*d + 2. Let z be y(-3). Let r = z - 90. Suppose 0 = 3*m - 2*a - r - 164, 80 = m + 4*a. Does 20 divide m?
True
Let k(v) = 5*v**2 + 15*v - 85. Let z(c) = c**2 + 4*c - 21. Let w(g) = 2*k(g) - 9*z(g). Does 4 divide w(7)?
False
Suppose -2*k - 130 = -4*c, -2*c + 4*k + 16 = -40. Is c a multiple of 4?
False
Let m = -181 + 283. Is 19 a factor of m?
False
Suppose 0 = 2*w - 5*y + 2*y - 445, 2*w - 4*y - 440 = 0. Suppose 3*u - w = -2*m, 4*u + 5*m - 445 = -129. Is u a multiple of 10?
False
Is (-12 - (0 + 3))/(2/(-26)) a multiple of 26?
False
Let m(a) = 79*a**3 + 3*a**2 - 1. Let u be m(1). Is 10 a factor of 9702/u - 2/(-9)?
True
Let m(p) = p - 1. Let c be m(4). Let b be 11/c + 14/(-21). Suppose -3*l - b*i + 84 = 0, i = l - 3*l + 52. Does 17 divide l?
False
Let c(g) = g**2 - 9*g - 16. Let m be c(11). Suppose 8*o - m = 5*o. Suppose n + 0*p - 4*p = 44, -5*n + 242 = o*p. Is n a multiple of 16?
True
Is ((-90)/(-12))/((51/18)/17) a multiple of 11?
False
Suppose 2*w - 13 = 3*r, 49 = 15*w - 10*w - 2*r. Does 10 divide w?
False
Let l be -2*(-4)/(8/1)*0. Suppose l = f - 45 + 34. Is 4 a factor of f?
False
Is 10 a factor of (-45 - -238)*(3 - 2)/1?
False
Let h(q) = 72*q**2 - 22*q + 9. Does 28 divide h(4)?
False
Let a be (1*172/(-6))/(12/18). Let g = 50 + a. Is 2 a factor of g?
False
Let a(y) = 20*y + 15. Let b(t) = -t - 1. Let q(j) = a(j) - 2*b(j). Is 21 a factor of q(4)?
True
Suppose 2*u - 5*b - 27 = 0, 5*u - b + 3*b = 82. Let x = -7 + 13. Let c = u + x. Is 11 a factor of c?
True
Suppose -b = -6*b + 295. Suppose -d + b = -12. Is d + 3 + (-3 - 1) a multiple of 9?
False
Let n = -85 - -173. Is 32 a factor of n?
False
Let n(d) = 48*d - 14. Let t be n(-3). Let w be 2598/11 + (-6)/33. Let c = w + t. Is 13 a factor of c?
True
Does 4 divide (-42)/8*(-960)/90?
True
Let m(c) = -2*c**3 - 2*c**2 + 23*c - 4. Does 12 divide m(-8)?
True
Suppose 0*c + 2*c + 26 = -x, -5*x - 40 = 4*c. Let i = c + 20. Let s(p) = 10*p - 6. Is 11 a factor of s(i)?
True
Suppose 4556 = 2*r - 2*g, -3*r + 45*g = 44*g - 6834. Is r a multiple of 13?
False
Is 70/(-10) + 39*5 a multiple of 4?
True
Suppose -10 = -5*b, -2*w + 5*b + 2041 = 171. Is w a multiple of 47?
True
Suppose -4572 = -120*a + 108*a. Is 5 a factor of a?
False
Let f(x) = -6*x**3 - 15*x**2 + 4*x + 12. Let r(n) = -5*n**3 - 14*n**2 + 4*n + 12. Let l(d) = 4*f(d) - 5*r(d). Is l(-10) a multiple of 9?
False
Let y = 319 - 77. Is y a multiple of 22?
True
Let a(k) = -k**3 - 16*k**2 - 15*k + 15. Suppose -2*o + 2 = -o. Suppose -3*r - 5 = -o*h + 32, -r - 31 = 4*h. Is a(r) a multiple of 5?
True
Let t = 10 - 4. Let w be 24*(-2)/(-18)*t. Suppose l - w = 14. Does 15 divide l?
True
Let r = -61 - -59. Is 16 a factor of (1/2*r)/((-13)/988)?
False
Is (-41*2)/((-2)/7) a multiple of 11?
False
Suppose 0 = -9*j + j + 16. Suppose -3*b + j*b + 71 = 0. Does 20 divide b?
False
Let v = -31 + 121. Does 30 divide v?
True
Suppose 5*j - 15 = 0, -3*f + 38 + 70 = -j. Let h = 10 + f. Does 2 divide h?
False
Let r(c) = -c**3 - 8*c**2 - 5*c + 1. Let t be r(-7). Let z = -11 - t. Suppose 3*v + v - z*b = 98, 0 = -5*b - 5. Does 11 divide v?
False
Let k be (1 - 7)*(-16)/2. Suppose 0 = -6*f + 240 + k. Is 7 a factor of f?
False
Suppose -104 - 238 = -9*f. Is f/133 - 271/(-7) a multiple of 39?
True
Does 23 divide (-6880)/(-150) + 2/15?
True
Let y(j) = 351*j**3 + j**2 - 1. Let o be y(1). Suppose 11*v + 4*f - 64 = 0, 4*v + 10 - 31 = -f. Suppose o = v*m + 43. Does 15 divide m?
False
Suppose 30*l - 79 = 41. Suppose 4*w - 16 = -4. Suppose l*x - 3*s = -x + 101, -53 = -w*x - 2*s. Does 4 divide x?
False
Let i = 33 + 33. Let l = i + 30. Is l a multiple of 8?
True
Let g(c) = -5*c - 34. Let l be g(12). Let f = -76 - l. Is 3 a factor of f?
True
Let o(j) = -4*j - 17. Let n(x) = 3*x + 43. Let f be n(-17). Does 5 divide o(f)?
True
Suppose -3*q = -914 - 934. Suppose 10*w - 154 = q. Does 19 divide w?
False
Let o(y) = 19*y - 8. Let a be o(2). Is 10 a factor of ((-28)/(-5))/(a/375)?
True
Let k(n) = 5*n**2 - 12*n + 4. Suppose b + 29 = 5*x, 0 = -0*x - 4*x + 5*b + 40. Is k(x) a multiple of 11?
False
Let j(w) = 5*w - 22. Let d(q) = 3*q - 43. Let k be d(18). Does 11 divide j(k)?
True
Let k = 1048 - 743. Does 11 divide k?
False
Let a(t) = -2*t. Let q be a(-1). Let b = -4 + q. Does 18 divide 12/(39/18 + b)?
True
Suppose -6*d = -d - 15. Suppose 3*c = -4*j + 160, 6*c - 3*c = -d*j + 156. Let s = c + -33. Does 3 divide s?
True
Suppose -6*g + 66 = -5*g. Suppose 0 = -3*t - 0*t + 27. Is (g/t)/((-6)/(-9)) a multiple of 6?
False
Let t be 12/4*12/9 - 1. Is 2 a factor of (-5)/((-30)/(-4)) + 83/t?
False
Suppose -6*p = -p + 15. Let l = p + 2. Does 2 divide (-3 + 7)*(l - -2)?
True
Suppose 3*a = -2*d + 21, -d + 0*d - 12 = -3*a. Suppose 2*l = -l + a*n - 15, l + 3*n = 9. Suppose -3*f = 3*r - 165, f + 4*f - r - 257 = l. Does 13 divide f?
True
Suppose -63*i + 58*i = -650. Does 32 