4)/(m/4) a multiple of 15?
False
Suppose g - 5*o = 2218, 3*o - 4780 = -4*g + 4046. Does 64 divide g?
False
Suppose -273 - 179 = -4*n. Let w = 11 + n. Does 14 divide w?
False
Suppose 2*c + 1037 - 7719 = -3*s, 0 = 12*c + 2*s - 40124. Is 8 a factor of c?
True
Let n(l) be the second derivative of -1/3*l**3 + 0 + 51/2*l**2 + 16*l. Is n(17) a multiple of 2?
False
Suppose 2*s - 1 = 3. Let a(g) = 69*g**3 - 6*g**2 + 11*g - 1. Is a(s) a multiple of 62?
False
Let u = -685 - -79. Let y = u + 1890. Is 98 a factor of y?
False
Let q(w) = -12*w**2 - 39*w - w**3 - 75312908 - 3*w**3 + 75312902. Let j = 6 + -10. Is 22 a factor of q(j)?
False
Suppose -k - 6*b + 8 = -5*b, -5*k = -3*b. Suppose 2*l = l + k, 2*r + 5*l = 155. Suppose -r + 25 = -3*s. Is s a multiple of 5?
True
Suppose 4818 = 13*s - 267*s + 718304. Is s a multiple of 11?
False
Let c = -83 - -57. Let k(o) = o**2 + 25*o - 20. Let b be k(c). Is 3 a factor of (-4 + (-36)/(-8))/(1/b)?
True
Suppose 3*y - 38307 = -5*q, 7*y - 38299 = -5*q + 6*y. Does 23 divide q?
True
Let n(m) = 36 - 8*m + 16*m + 54 - 2*m. Is n(9) a multiple of 9?
True
Does 7 divide (195 - 3)/(-14 - 3924/(-279))?
False
Let a(y) = -y**2 + 50*y - 720. Let m be a(25). Let u(o) = o**3 - 8*o**2 + 8*o - 3. Let b be u(5). Let w = b - m. Is w a multiple of 19?
True
Suppose -5*p = -13 + 3. Let k(b) = -149*b + 14. Let y be k(-2). Suppose u - 45 - 26 = -3*q, -4*u + p*q = -y. Is u a multiple of 14?
False
Is 108 a factor of 23978 + 80/20 + -6?
True
Let r(i) be the second derivative of -i**5/20 + 2*i**4/3 + 4*i**3/3 + 47*i**2/2 - i - 44. Does 21 divide r(9)?
False
Suppose 0 = 5*q - t + 4*t - 17, -5*t - 25 = -5*q. Suppose q*z = -58 - 38. Let s = z - -97. Is 24 a factor of s?
False
Let o = 5076 + 8325. Does 76 divide o?
False
Let c = 13148 + -8640. Does 23 divide c?
True
Let b(g) = -284*g - 41. Let r be b(-3). Suppose 5 = 8*i - r. Does 7 divide i?
False
Let q be 20/6 + (-4)/(-6). Let a(b) = b**2 - q - 3 + 8*b**2 + 0*b + b. Does 12 divide a(-4)?
False
Let w(z) = 243*z - 141. Let a(y) = 60*y - 35. Let k(m) = -9*a(m) + 2*w(m). Is k(-5) a multiple of 48?
False
Let p(x) = 2*x**2 - 15*x + 18. Let n(k) = -k**3 + 10*k - 5. Let t be n(2). Is 5 a factor of p(t)?
False
Let b(m) = m**2 + 5*m - 3. Let j be b(-6). Suppose 3*w - 4*w = -j. Suppose 2*l - w*t - 32 = 0, 3*l - 40 = t - 6. Is l even?
True
Let p be 653 + 1 + 3 + -5. Let o = p - 457. Is 15 a factor of o?
True
Suppose -104 = -10*i + 12*i. Let w = i + 55. Does 9 divide 4 + 93 + 1 - (2 - w)?
True
Let p = 1463 + -1340. Is 5 a factor of p?
False
Suppose 0 = -4*u + 5*h + 6870, 4932 + 225 = 3*u - 3*h. Is u a multiple of 12?
False
Is (68/(-170) - (-485148)/45) + (-4)/6 a multiple of 11?
True
Suppose -14*c + 51 = -31*c. Let q(k) = -17*k**3 - 3*k**2 + 8*k + 12. Is 15 a factor of q(c)?
True
Let j(l) = l**3 - 12*l**2 - 28*l + 28. Let c be j(14). Let z(o) = -o**2 + 32*o + 9. Does 43 divide z(c)?
False
Let j be ((-3)/(-6))/(1/(-24)). Suppose q = 4*q + 2*n + 486, -6 = -2*n. Is ((-18)/j)/((-6)/q) a multiple of 8?
False
Suppose 4*k - 32 = -5*q, -q + 0*k + k = -1. Suppose 8*g - q*g = -20, 5*v - 5*g = 1550. Suppose -19*m + 24*m = v. Does 24 divide m?
False
Suppose 2*l + 4*z - z = 21, -4*l + 4*z - 8 = 0. Let s(j) = 2 - j**l - 34*j**2 - 5 - 7*j + 36*j**2. Is 7 a factor of s(-3)?
True
Suppose 0 = -5*k + 5 + 55. Suppose -3*b + 5*y = k - 35, -12 = 3*y. Let s(t) = 44*t + 2. Is 8 a factor of s(b)?
False
Let a(h) = -5*h**3 + 12*h**2 + 20*h + 6. Let p(k) = -4*k**3 + 13*k**2 + 21*k + 6. Let l(w) = -3*a(w) + 4*p(w). Does 9 divide l(17)?
False
Let c(y) = -29*y - 4. Let m = -277 - -406. Let j be -5 + m/27 + (-104)/18. Is 23 a factor of c(j)?
False
Suppose -18357 = -4*q + 4*a + 12307, -5*a = -3*q + 23012. Is 9 a factor of q?
True
Let w(x) = -3*x + 32. Let f be w(10). Suppose -4*h - f*t = -4, 0 = -t - 4. Suppose -2*j + 109 = 3*g, 2*g + 95 + 101 = h*j. Is j a multiple of 7?
False
Suppose 4*y - 2 = -4*u - 18, -2*u = -2*y - 8. Suppose u = -t + 2*t - 4*k - 1905, -5*t + 9650 = 5*k. Does 11 divide t?
True
Suppose -5*d + 10*d - 65 = 5*r, -3*d = -4*r - 37. Suppose -d*y + 1035 = 120. Does 27 divide y?
False
Let w(p) = 2875*p**2 + 314*p - 1285. Is 18 a factor of w(4)?
False
Let d = 17386 + -6212. Is 74 a factor of d?
True
Suppose -723 = -t - 5*w, -2*w + 1439 = 2*t - 7. Suppose 3*v - t = -3*x, 2*x + 3*v - 715 = -237. Suppose -2*k + 141 = -x. Is k a multiple of 21?
False
Suppose 3*p + p - 4 = 2*j, j + 2*p = 14. Let o be ((-66)/9 - -2)*(-92 + 2). Suppose 0 = j*n - 2064 + o. Is 33 a factor of n?
True
Let r = 2908 + -1141. Is r a multiple of 2?
False
Let v(f) be the second derivative of -f**6/120 + f**5/4 + f**4/4 - 7*f**2 + 14*f. Let l(a) be the first derivative of v(a). Is l(15) a multiple of 18?
True
Let m be 20/6*(-138)/(-115) + -4. Suppose -8*x + 392 + 152 = m. Is x a multiple of 14?
False
Suppose 0*z + 2205 = 3*z. Suppose -2*l + z = 105. Suppose -l = -5*a - 35. Is a a multiple of 14?
True
Let v = 16 - 27. Let j(u) be the first derivative of u**3/3 + 6*u**2 + 18*u + 265. Is j(v) even?
False
Let h be (-55)/50 - (-4)/40. Does 13 divide (-18)/(-63) + h/((-7)/1062)?
False
Let p(v) = -596*v**3 + v**2 + 2*v - 1. Let q be p(-2). Suppose 0 = -3*l - 5*s + 5095, 5*l - s = 3762 + q. Suppose 8*y + 3*y = l. Is y a multiple of 18?
False
Suppose -r - 3*s + 5941 = 0, -20*r + 15*r + 4*s + 29648 = 0. Is r a multiple of 49?
False
Let b = -4349 - -6912. Does 37 divide b?
False
Suppose -6588 = 19*i - 23*i - 2*y, -1625 = -i + 5*y. Suppose 3*x = -3*q + 993, 5*x - 7*q + 2*q - i = 0. Is x a multiple of 9?
False
Let w(k) = -288*k + 856. Is w(-8) a multiple of 8?
True
Suppose 10*l - 32278 = -0*l + 8*l. Does 301 divide l?
False
Let x = 1387 + 7307. Does 138 divide x?
True
Suppose -2*w - 5*j = -8985, -2*w - 72*j + 8945 = -75*j. Is 28 a factor of w?
True
Let t = -16 + 16. Suppose r - 5*r - 3*u + 532 = 0, -5*r + 4*u + 634 = t. Does 23 divide r?
False
Suppose -22*t + 10*t - 13512 = 0. Does 47 divide ((-6)/9)/(-1 - t/1128)?
True
Let f be 21/(-28) + (-11)/(-4). Suppose 0*v + 17 = 5*z + f*v, 0 = 4*z - 5*v - 40. Suppose -z*h - 65 = -5*j, h - 23 = -5*j + 36. Is j a multiple of 5?
False
Let i(n) be the first derivative of -11*n**4/4 + 2*n**3 + 4*n**2 - 3*n + 89. Does 15 divide i(-4)?
True
Suppose -2*s - 6 = 3*n, -6*s + 2*s = 5*n + 8. Suppose -s*u = -321 - 369. Does 13 divide u?
False
Let r = -796 - -1357. Does 11 divide r?
True
Suppose 137 - 143 = b, 0 = -4*u + 3*b + 96070. Does 37 divide u?
True
Let u = 350 - 347. Suppose -3*n + 156 = n - 3*x, u*n = 3*x + 114. Does 7 divide n?
True
Suppose -571 = -p - 567. Suppose 2*d - p*m = 340, 4*d - 5*m - 480 = 188. Is 4 a factor of d?
False
Let c = -74 + 79. Suppose 0*n - 10 = 3*n - 2*m, -4*n - c*m = 21. Does 13 divide (-3*n/(-24))/(2/(-316))?
False
Let v = 2041 + -1668. Let l = 8 + 250. Let k = v - l. Is k a multiple of 13?
False
Let p = 1148 - 188. Is 11 a factor of p?
False
Let j be 4/(((-15)/(-35))/((-15)/(-20))). Suppose -j*u - 1516 = -7438. Is u a multiple of 40?
False
Let p = 5873 + 5491. Is p a multiple of 66?
False
Suppose 194 = -9*c - 427. Let q = c - -203. Suppose 2*x = 3*h + q, -328 = -5*x + 8*h - 4*h. Is x a multiple of 12?
False
Suppose 68*m - 67*m = -4*b + 19532, 0 = -3*b + m + 14663. Is 36 a factor of b?
False
Let t(j) be the second derivative of 1/4*j**5 - 3*j**2 + 5/6*j**3 + 0 - 1/3*j**4 - j. Does 14 divide t(2)?
True
Let a = 59 + 183. Suppose -4*w + a - 50 = 0. Let b = -18 + w. Is 5 a factor of b?
True
Is (-63 + 0)/((-12)/(108/91) - -10) a multiple of 2?
False
Let i = 3677 + -1627. Is i a multiple of 3?
False
Let p be (4/3)/((-4)/(-12)). Suppose p*z = 10 - 2. Suppose 86 = -z*w + 3*q + 227, -q - 267 = -4*w. Is w a multiple of 22?
True
Suppose -32*a = -30*a - 1196. Is 69 a factor of a/104*(12 + 0)?
True
Let x(q) = -51*q + 2. Let b be x(-2). Let a = 2248 - 2290. Let y = a + b. Is 17 a factor of y?
False
Suppose 2*m - 4*y + 26 = 3*m, -2*m - 5*y = -37. Does 3 divide (6*7)/(6/m)?
True
Suppose -14*m + 19*m = 8320. Is m/7 + 8/28 a multiple of 34?
True
Does 13 divide 39152013/3201 + (-4)/22?
False
Let s be (-1)/(2 - (-10)/(-4)). Let b be 3*2/(-3) - 4/(-2). Suppose k = -b*k - 5*y + 71, s*y = -k + 65. Does 9 divide k?
False
Suppose 31 = -4*a - 41. Let g(r) = -8*r - 32. Let c be g(a). Suppose 0 = 3*i - 128 - c. Is 20 a factor of i?
True
Suppose 