*a - 142. Does 3 divide a?
True
Let i(z) = -22*z - 14. Let l(k) = 12*k - 28 + 5 - 27*k + 10*k. Let a be l(-4). Does 35 divide i(a)?
False
Let m = 10290 - 9972. Is m a multiple of 53?
True
Let j = -2321 + 4060. Let o = 2699 - j. Does 15 divide o?
True
Let b(p) = -p**3 + 7*p**2 + 19*p - 18. Let o be b(9). Let q(m) = 4*m**2 - 14*m + 4. Does 60 divide q(o)?
False
Let y(c) = 49*c**2 + c + 1. Let k be y(-1). Let j = k + -45. Suppose u - 119 = -3*b, 3*u - j*b - 346 = -2*b. Is u a multiple of 16?
False
Let q(o) = o**2 - 9*o + 7. Let u be q(8). Let v be 9*u/1*(-16)/48. Suppose 4*c = v*s - s - 152, -3*c - 80 = -s. Does 17 divide s?
True
Let k(a) = -a - 4. Let m be k(-10). Let z(f) = 75*f - m + 51 - 86*f. Is 19 a factor of z(-8)?
True
Let v = 23 + -19. Suppose 5*u + 15 = 0, -5*j = -v*j - 5*u - 17. Suppose -4*f + j*p + 34 + 2 = 0, 9 = -f - 4*p. Is 7 a factor of f?
True
Let x be ((-2)/7*14/(-2))/1. Let f(z) = 14 + 24*z - 12*z**x + 4*z**2 + 6*z**2. Is 2 a factor of f(12)?
True
Let n(v) = -188*v + 1431. Is 17 a factor of n(-121)?
False
Suppose -p + 2054 = a, -4*p + 4*a + 3449 = -4807. Is 71 a factor of p?
True
Let f = 92 - 93. Let y be 4/(1/f)*3/(-2). Suppose y = j - 80. Does 7 divide j?
False
Let y(o) = o**2 + 27*o + 140. Let f be y(-20). Suppose 2*c + 2*z = -2*c + 1434, f = 3*z - 15. Does 32 divide c?
False
Let y(w) be the third derivative of -13*w**4/4 + 8*w**3/3 - 4*w**2 - 9*w. Is y(-12) a multiple of 28?
True
Let i = 12487 + -8623. Is 28 a factor of i?
True
Suppose -3*z + 7*z = 4*u + 20, 0 = 4*z - 2*u - 10. Suppose 14*m - m - 1352 = z. Is m a multiple of 7?
False
Suppose 26 = 4*k + n, -n + 8 = 10. Let u(w) = 58*w + 106. Is 25 a factor of u(k)?
False
Suppose 1 = 5*n + 6. Let j be (n - -3)/(2 - 1). Suppose -u + 5*f + 100 = 0, -j*f - 3*f - 310 = -3*u. Does 14 divide u?
False
Suppose -271*u + 266*u + 20 = 0. Is 18/(-2 - u) + 40 a multiple of 6?
False
Let d(f) = f**2 + 2*f - 20. Suppose 0*v - 2*v = 0. Let o be d(v). Let z = o + 32. Does 6 divide z?
True
Let w(q) = q**3 - 17*q**2 + 10*q + 98. Let n be w(16). Is (-8100)/(-35)*(n + 24/9) a multiple of 30?
True
Let c be (-25650)/(-216) - ((-6)/(-8) + 0). Let u = 357 - c. Does 3 divide u?
False
Suppose -j - 30*n = -33*n - 12608, -4*n - 12614 = -j. Is j a multiple of 10?
True
Let j be 4 + 64/22 - 2/(-22). Let k(s) = 11*s - 58. Is k(j) a multiple of 5?
False
Let j be ((-18)/15)/(9/150). Let s = j - -20. Suppose -6*g + 10*g - 344 = s. Is g a multiple of 43?
True
Let d = 315 + 56. Let p = 199 - d. Is 21 a factor of p*(2/(-4))/(-4 + 5)?
False
Let f = -11824 - -12709. Is f a multiple of 42?
False
Suppose -12*f - 21736 = 32*f. Let m = -356 - f. Does 6 divide m?
True
Let n be ((-3)/2)/(1/(-48)). Let h(s) = s**2 + 40*s + 284. Let d be h(-11). Let x = d + n. Does 16 divide x?
False
Let s be -17 + 17 - (-1 - 2/(-2)). Suppose 4*v + y - 12 = s, 3 = v - 2*y - 0. Suppose -v*u + 174 = -9. Does 26 divide u?
False
Suppose 4*w + 0*k - 1789 = 5*k, 890 = 2*w - 4*k. Let q = 205 - 192. Suppose -q*c = -w + 139. Is c a multiple of 8?
True
Let p = 375 + -375. Suppose -4*c - 182 = -3*n, p = -4*c + 2*c + 8. Is n a multiple of 24?
False
Suppose 4*u + 750 = 8*u + 2*z, -z = -5*u + 948. Suppose -6*m + u = m. Is m even?
False
Suppose -4*x + 3458 = a - 3440, 0 = -4*x - 5*a + 6890. Is 10 a factor of (x/(-2))/(29/4 + -8)?
True
Suppose -34*d = -28*d. Suppose -201*z + 206*z - 620 = d. Does 5 divide z?
False
Let u(m) = 3*m**3 + 13*m**2 - 14*m - 15. Let r be u(-5). Suppose 0 = -n - r*a + 42 + 23, 4*n = -2*a + 350. Is 15 a factor of n?
True
Let c = -90 + 111. Suppose 0 = -3*v - c - 165. Let f = 161 + v. Is 11 a factor of f?
True
Does 29 divide (1 - ((-53772)/15 + -4)) + 64/(-80)?
False
Suppose 6*h + 237 = 7*h. Suppose 6032 = h*x - 229*x. Is 29 a factor of x?
True
Let v(j) = j**2 + 3*j + 5. Let a be v(-2). Suppose -a*i - 282 = -684. Is i a multiple of 39?
False
Suppose 3*j = 6*j - 4*a - 74, -4*j + 108 = -3*a. Let l = j - 22. Suppose -145 + 1473 = l*o. Is 14 a factor of o?
False
Suppose 0 = -2*n + 9*m + 11941 + 723, -n - 4*m + 6366 = 0. Is 10 a factor of n?
True
Suppose 6 = -22*y + 24*y. Suppose -3*d + 8*d = 5*i, -y*d + 28 = 4*i. Does 16 divide d + (-4 - -23 - 3)?
False
Let r be 11/((-105)/25 - -4). Is 2*86 - (r - -47) a multiple of 35?
False
Let o = 9296 - 7578. Is 122 a factor of o?
False
Let x(q) = 6*q**2 - q - 17. Let z = -181 - -175. Is 12 a factor of x(z)?
False
Let t(d) = -12*d**2 - 2*d + 1. Let a be t(1). Let b = -11 - a. Suppose -3*c - y + 176 = 0, b*c + 5*y - 100 = -0*c. Is c a multiple of 15?
True
Suppose -2*f - 175*h = -174*h - 18201, 3*f + 2*h - 27302 = 0. Does 13 divide f?
True
Suppose 7*j - 10*j - 698360 = -55*j. Does 10 divide j?
True
Suppose -25*l - 102992 + 461400 = -372292. Is l a multiple of 265?
False
Suppose -5*z + 4*l + 17403 - 120 = 0, -5*l + 6900 = 2*z. Suppose 68*a = 63*a + z. Does 12 divide a?
False
Let o be 5 + -1 - (2 + 2 - 1200). Suppose 2*m - 5*a = o, m + m + 5*a = 1240. Does 19 divide m?
False
Let b(q) = -1. Let x(d) = -d**2 - 2*d - 12. Let r(c) = -3*b(c) + x(c). Let m(l) = -l - 1. Let v(s) = 6*m(s) - r(s). Is v(-3) a multiple of 8?
True
Suppose -g - 2*j + 3526 = 0, -10568 = -3*g - 7*j + 11*j. Suppose -27*q = g - 17024. Does 5 divide q?
True
Let v = -4871 + 22633. Is 83 a factor of v?
True
Suppose 941219 = 325*j - 55556. Is j even?
False
Suppose -3*k = 12, -26*g + 340 = -22*g + 4*k. Is g a multiple of 75?
False
Let z(s) = 7*s + 61. Let u be z(-6). Suppose -u*l = -16*l - 19074. Does 26 divide l/77 - 3/(-7)?
False
Let c = 12305 + -7051. Does 42 divide c?
False
Suppose 28 = 4*s - 4*c - 12, -5*s - 4*c = -32. Suppose -8*u + 0*u = -s. Suppose -4*p = -h - 212, -2*h - u = 7. Is 13 a factor of p?
True
Suppose 2*q = -3*c - q + 555, 0 = -4*c + 3*q + 754. Let d(i) = 9*i - 11. Let b be d(-8). Let r = b + c. Is 30 a factor of r?
False
Let b be 2/8 - 76/(-16). Suppose -24*r + 10556 = b*r. Is r a multiple of 14?
True
Let q(b) = -3*b + 29. Let u be q(0). Suppose 2*m = -2*n + 364, -4*m - 863 = -5*n + u. Does 30 divide n?
True
Let b = 33 + -31. Suppose 9 = b*g + 5. Suppose -44 = -3*v - 2*f, -20 = -3*f - g*f. Is 7 a factor of v?
False
Suppose 3*p - 270*x + 271*x = 40621, -p + 13549 = -4*x. Is 195 a factor of p?
False
Let r(q) = 41*q**3 - 129*q**2 - 4 + 1 + 238*q**3 + 2*q + 131*q**2. Let k be r(1). Let m = -108 + k. Is 45 a factor of m?
False
Let i = 437 + -418. Suppose -i*u + 17*u + 1060 = 0. Is u a multiple of 21?
False
Let v be (-10)/8*(4 - 0). Let b = -49 - v. Let n = b - -54. Is 3 a factor of n?
False
Suppose 18 = 5*q + 4*w, w + 4 = 3*w. Let i be (1*3/q)/((-15)/(-20)). Suppose -4*u + 2*n + i*n = -180, -n = -5*u + 225. Does 3 divide u?
True
Let n(t) = -2*t**2 - 18*t + 0*t**2 + 13 + t. Let x be n(-9). Suppose -k = 2*d - 2, 16 = -x*k + d + 51. Is 4 a factor of k?
True
Suppose 9*y - 7*y = 34. Let o be (1/4)/(y/1156). Let k = -7 + o. Is k a multiple of 6?
False
Let j(a) = -2*a**3 + 30*a**2 - 10*a - 3. Let u = -136 - -150. Is 11 a factor of j(u)?
False
Suppose -30 = 5*i - 3*a - 2, -4*i = 5*a + 52. Let s(n) = 4 - 3*n - 2 + n**2 - 10. Is 40 a factor of s(i)?
True
Let b(h) = 215*h - 1206. Is 84 a factor of b(6)?
True
Suppose 0*k = 3*k + 4*k. Let i(u) = 2*u + 2 + 0 - 3*u + 11*u**2 + k. Does 6 divide i(-2)?
True
Let v(b) = 4*b**2 - 6*b - b**2 + 212 - 204 + 22*b + 37*b. Does 12 divide v(-19)?
True
Let k be 45/6*13660/(-25) - -2. Does 27 divide 1 - (0 + k/8)?
True
Let x be 0*((-2)/3)/(44/(-33)). Suppose -5*i + 3*h + 210 = x, i + h = -i + 95. Suppose 0 = c - 2*c + i. Does 10 divide c?
False
Let w = 74 + -11. Let o = w + -58. Suppose -4*t = 2*r - 168, r - o*t - 90 - 15 = 0. Is 18 a factor of r?
True
Let r(f) = 7*f + 65. Let w be r(-9). Let d(y) = y**3 - 9*y**2 - 10*y + 9. Let h be d(10). Is -127*(-2)/h - w/9 a multiple of 12?
False
Let k(p) = 16*p**2 - 39*p - 255. Does 5 divide k(-6)?
True
Suppose 0*i - 6*i - 30 = 0. Let o be (-5*2)/(-2) - (-7 - i). Suppose -n - 4*d = -o, -3*d + 46 = 3*n - 2. Is 3 a factor of n?
False
Suppose -b + 3*m - 2*m - 3 = 0, -3*m + 12 = 0. Let g be (b + -2436)*6/(-30). Let n = -340 + g. Does 23 divide n?
False
Let n(z) be the third derivative of 7*z**6/40 - 7*z**5/60 - z**4/24 + z**3/2 + 101*z**2. Does 28 divide n(3)?
True
Suppose -238*b = 157*b - 36441120. Does 32 divide b?
True
Let u(i) = -6*i - 254*i**2 + 268*i**2 - 2 - 3