q be (-4 + (-15)/(-10))*-2. Is 9 a factor of (q - x)/((-1)/(-4))?
False
Suppose -3*d + 3*n + 921 = 0, -3*n - 1051 - 486 = -5*d. Does 9 divide d?
False
Let l = 114 - -4825. Does 39 divide l?
False
Suppose -2 = r - 14. Let c be r/(-1 - 3)*15. Is 15 a factor of (c/4)/((-6)/16)?
True
Let i(q) = -6*q - 8. Let h(r) = 7*r + 7. Let y(z) = 4*h(z) + 5*i(z). Let m be y(-8). Suppose 3*s + 2*b = 172, 4*s + m*b + 63 = 295. Is 14 a factor of s?
True
Let d(l) = -l**2 - 12*l + 30. Let r be d(-14). Is 24 a factor of (-5)/10*r + 49?
True
Let r(v) = -9*v**3 - 3*v**2 - 3*v. Let a be r(-2). Let d be (8/16)/(2/8). Is 2 a factor of a/10 - d/(-5)?
False
Let p = 15 + -12. Suppose 10 = -n + p*n. Does 7 divide 44/((-3 + n)/1)?
False
Let n(b) be the third derivative of -b**4/24 - b**3/6 + 4*b**2. Let c be n(-4). Suppose h = d - 29, 0 = -5*d + c*h + 196 - 47. Is 21 a factor of d?
False
Does 14 divide (-672)/4*(0 - 38)?
True
Let u(d) = 4015*d**3 - d**2 + 18*d - 16. Does 16 divide u(1)?
True
Let f be 138/8*32/12. Suppose -19 = -5*s + f. Let h = 54 - s. Is 14 a factor of h?
False
Let y(j) = -j**2 + j. Let q be y(1). Suppose -2*u = u - 15, -2*u = -4*l + 10. Does 16 divide (5 - q)*16/l?
True
Let j be 2/(-7) + 393/(-21). Suppose 0 = o + 2*v - 0*v + 55, -5*o - 247 = 3*v. Let d = j - o. Does 14 divide d?
True
Suppose 3*v + 2*w - 5*w = 1995, 0 = -3*v + 2*w + 1991. Is v a multiple of 3?
False
Suppose 36*d - 2546 = -j + 33*d, 3*d - 3 = 0. Does 6 divide j?
False
Let p = -154 + 378. Is p a multiple of 28?
True
Let u = -102 + 150. Suppose 5*m - 4*m = u. Is 12 a factor of m?
True
Let u = 90 - 87. Suppose -16 = -4*b, y - u*b - b = 207. Does 15 divide y?
False
Suppose 4*g - 4*d = 0, -4*g = 5*d - 2*d - 21. Let j = g + -2. Let i = j + 11. Does 6 divide i?
True
Suppose 4*x - 247 = -27. Let p = x + -27. Is 3 a factor of p?
False
Let o(f) = 4*f**2 - 12*f + 75. Is 3 a factor of o(7)?
False
Let w be (-72)/(-54) + 190/6. Suppose -21 = -y + w. Is (-6)/(-21) - y/(-7) a multiple of 3?
False
Is 76 a factor of 87/((-21)/660 - (-8)/44)?
False
Suppose -k = 4*k. Suppose 4*r - 60 = -5*d, 5*d + 4*r + r - 55 = k. Does 31 divide (48 - 9)/(6/d)?
False
Let h = 94 + -89. Does 22 divide (-3 + 4)*83 + h?
True
Suppose -4*w = 16, -2*j + 0*j - 4*w = 10. Suppose -q - 427 = -b - 90, -j*b + 1026 = 2*q. Is b a multiple of 17?
True
Suppose 180 = 6*y - 3*y. Let n = 109 - y. Is 7 a factor of n?
True
Let m(d) be the third derivative of -d**5/60 + 2*d**3 + 15*d**2. Is 4 a factor of m(0)?
True
Let j = 66 + -33. Let h = 3 + j. Is h a multiple of 18?
True
Let q(j) = 10*j**2 - 29*j + 10. Is 11 a factor of q(7)?
True
Suppose -4*h = 3*k + 5, -h + 4*h - 4*k - 15 = 0. Let v be (h + -4)*(-4)/12. Let p(m) = 27*m**2 - m + 1. Does 9 divide p(v)?
True
Let f be (-4)/6 + (-4 - 70/(-15)). Suppose f = -o - 2*o - 5*d + 52, -5*o + d = -68. Does 7 divide o?
True
Let f = -6 - -14. Let j(h) be the first derivative of 3*h**2/2 + 6*h - 4. Does 10 divide j(f)?
True
Suppose 4*v = 4*l + 7816, 2*v - 5*v - 3*l + 5868 = 0. Does 9 divide v?
False
Suppose -24*f = 95 - 13559. Is f a multiple of 53?
False
Let q(n) = 2*n + 16. Let p be q(-6). Suppose -89 = 5*o + 2*l - 482, 2*o - 138 = p*l. Is 11 a factor of o?
True
Suppose -79 = -10*g + 21. Let t(d) = d + 4. Let p be t(-5). Is g - 0 - (2 - p) a multiple of 2?
False
Suppose -31*a = -34*a + 489. Suppose 0 = -3*q - p + 200, 27 = -2*q + 2*p + a. Is q a multiple of 42?
False
Suppose 5*k - 440 = 5*t, -4*t + 0*t = 4*k + 336. Let q(d) = -d**3 + 13*d**2 - 24*d + 7. Let b be q(7). Let g = t + b. Is 10 a factor of g?
False
Suppose d - 7 = y, -4*y + 3*d - 4*d = 8. Is 4/(-6)*(y - (-4 - -130)) a multiple of 43?
True
Suppose -o + 15 = -5*w - 2, 5*w + 15 = 0. Suppose 0 = 3*a - 5*s - 11 + 95, o*a + 2*s + 72 = 0. Does 8 divide (-44)/a*(7 - 1)?
True
Let d = 227 - 197. Is d a multiple of 5?
True
Let v = 62 + -38. Is v/10*(-170)/(-4) a multiple of 34?
True
Suppose -518 = -s + 5*f, -s + 0*f - 2*f = -532. Is s a multiple of 11?
True
Is 91 a factor of (14/(-4)*169)/(2/(-4))?
True
Suppose 2*j = -2*n + 112, -3*n = -0*n + 6. Suppose j = 2*h + 10. Is 8 a factor of h?
True
Let j(c) = 2 + 4 - c**2 + 3*c**3 + 12*c - 13*c. Does 15 divide j(3)?
True
Let j(m) = -m**3 + 3*m**2 - m. Let d be j(2). Let l = d - 2. Suppose 44 = 3*i + 2*c, 0*i + i - 2*c - 12 = l. Does 6 divide i?
False
Let y be (1 - 0)/(9/(-45)). Is (-2 - y) + -2 - (0 - 37) a multiple of 4?
False
Let l = -31 - -35. Let d(a) be the third derivative of a**6/120 - a**5/30 - a**4/12 + a**3/6 - 2*a**2. Is 12 a factor of d(l)?
False
Let a = -122 - -316. Suppose a + 74 = 4*f. Does 15 divide f?
False
Suppose c + 76 - 217 = 5*l, c + 120 = -4*l. Let a = -22 - l. Suppose -2*x - 5*m = -a*x + 95, 2*x - 4*m - 46 = 0. Is x a multiple of 11?
False
Suppose 0 = 2*j + 5*a + 100 - 605, 995 = 4*j - 5*a. Is 25 a factor of j?
True
Let t(q) = -q**3 + 5*q**2 + q - 5. Let b be t(4). Suppose 4*w - 60 = c, w + c - b = -5. Is w a multiple of 8?
False
Let j = 417 + -293. Does 4 divide j?
True
Let s = -17 + 33. Suppose 204 = 5*g - s. Does 11 divide g?
True
Is 33 a factor of (-194726)/(-91) + 5 - (-12)/78?
True
Suppose 0*w = -5*w - 5, 613 = v + 2*w. Is v a multiple of 15?
True
Let o = 107 - 42. Is 13 a factor of o?
True
Let a = 43 + -43. Suppose -5*r + 4*r + 6 = a. Is r a multiple of 6?
True
Let w(h) = -h**2 - 9*h + 17. Let r be w(-10). Suppose -100 = -5*n + 5*o, -4*n - 64 = -r*n - o. Is n a multiple of 14?
False
Suppose -j - 89 = 3*c - 362, 4*j - 1050 = 2*c. Is 66 a factor of j?
True
Suppose -m + 20 = 4*r, 2*r - 4 = -2*m + 3*r. Let z = 0 + m. Suppose -4*q + 2*v + 170 = 4*v, z*v + 140 = 4*q. Is q a multiple of 11?
False
Suppose 4*k + 81 = -5*j + 2623, -1512 = -3*j + 2*k. Is j a multiple of 4?
False
Let w be (-722)/(-12) - 4/(-72)*-3. Let r = 182 - w. Is 24 a factor of r?
False
Let i = 2756 - 1386. Is i a multiple of 47?
False
Let h be 1 + 14/(-18) - 5032/(-36). Let b = h - -11. Is b a multiple of 13?
False
Let p(t) = 162*t**2 - 23*t + 66. Is p(3) a multiple of 5?
True
Suppose -35*v + 2496 = -19*v. Is v a multiple of 3?
True
Let m = 1677 - 886. Does 7 divide m?
True
Let c(k) = -k**2 - 4*k + 3. Let g be c(-4). Suppose g*z = -2*z + 15. Let i(j) = 26*j + 6. Is 14 a factor of i(z)?
True
Suppose 3*v = 4*d - 7, 5*d - v + 3*v = 26. Is 0 + (12/(-16) - (-915)/d) a multiple of 19?
True
Let t(c) = -c**3 + 2*c**2 + 2*c + 25. Suppose -15 = 4*s - 3*p, 0*s - s - 3*p = -15. Is t(s) a multiple of 5?
True
Let j(x) = 229*x + 45. Does 20 divide j(4)?
False
Suppose o = -3*p + p + 57, 0 = -p - 3*o + 16. Suppose -p = 2*q + 9. Let x = 45 + q. Is 7 a factor of x?
False
Suppose -28 = 5*t - 58. Is 6 a factor of t?
True
Let g(x) = -9*x + 28. Let p be g(-4). Let y = 115 + p. Does 9 divide y?
False
Let z(o) = 13*o - 83. Let r be z(6). Let i(w) be the first derivative of w**3/3 + 3*w**2 + 12*w + 1. Is i(r) a multiple of 2?
False
Suppose 208 = -4*v - 4*v. Let l = v - -28. Suppose l*h = -0*h + 4*t + 172, 5*t = -3*h + 214. Does 26 divide h?
True
Let x be (2/3)/(2/(-3)). Let q(d) be the first derivative of 8*d**3 - 8. Does 16 divide q(x)?
False
Let a(u) = 9*u - 12 + u**2 + 10*u**2 - 13*u. Is a(5) a multiple of 49?
False
Suppose 0 = t + 4 - 8. Let w be (-2 - (-2)/2) + t. Suppose -4*k + 35 = -w*d - 15, -d - 68 = -5*k. Does 14 divide k?
True
Suppose 0*n + n = 5*z + 42, 0 = -n + 3*z + 50. Let g be 1 + (n - 3)*1. Suppose 3*p - y - 46 = 4*y, 5*p - 5*y = g. Is 4 a factor of p?
False
Suppose 0 = -6*l + 7 + 5. Suppose 465 = 7*a - l*a. Is a a multiple of 31?
True
Let f be (4*(-6)/48)/((-1)/12). Let t(x) = 2*x**2 - 3*x**2 - 8*x + 3*x**2. Is t(f) a multiple of 18?
False
Let q be 12/(-20) + 1086/10. Is 24/q - ((-428)/18 - 1) a multiple of 6?
False
Let p = 332 + -313. Is p a multiple of 14?
False
Let c = -2608 - -3783. Does 30 divide c?
False
Let s be (2/(-4))/(42/(-12) + 3). Is (-86*s/5)/((-8)/80) a multiple of 10?
False
Does 24 divide 8492/6 + ((-160)/(-15))/16?
True
Does 5 divide (34 - 14)*(-1 - 13/(-2))?
True
Let a(g) = -23*g + 23. Let i(f) be the second derivative of 11*f**3/6 - 6*f**2 + 4*f. Let u(s) = 6*a(s) + 13*i(s). Is u(10) a multiple of 16?
True
Let d = 1142 - 456. Is 14 a factor of d?
True
Suppose 5*w - 3*k + 189 + 245 = 0, -3*w - 267 = -4*k. Let o = w + 140. Is 36 a factor of o?
False
Suppose 0*x - 48 = -x. Let l = x + -13. Is 8 a factor of l?
