3). Suppose 0*q + d*q = 0. Is 17 a factor of 15 + q + 0 + 2?
True
Suppose 0 = -4*t + 2*g + 250, -18*t - 2*g = -17*t - 60. Is t a multiple of 44?
False
Suppose -46*i = -3*a - 48*i + 7442, 7437 = 3*a - 3*i. Is a a multiple of 80?
True
Suppose 2*q = 3*q - 2. Suppose 0 = 2*z + 4*j - 38, -q*j - 4 = -z + 15. Is z a multiple of 19?
True
Let w(r) = 3*r - 6. Let y be w(6). Let z = y - -3. Is 13 a factor of 579/z - (-6)/15?
True
Let c(k) = 30*k**2 - 3*k - 1. Let v be c(-2). Let f = v + -71. Does 6 divide f?
True
Let f = -35 - -38. Let b(s) = -39 + 111 - 2*s + 8*s**f - 9*s**3 + 0*s. Does 12 divide b(0)?
True
Let x = 11 - 8. Suppose -x = -l - 0. Let b = l - -17. Is b a multiple of 5?
True
Let d(l) = 500*l + 50. Does 50 divide d(2)?
True
Let f(x) = 317*x**2 - 5*x - 1. Let l be f(-7). Suppose 5*n = 3*s - 19455, 0*s - 3*s = -4*n - l. Is n/(-42) - (-6)/14 a multiple of 21?
False
Suppose 3*j + 2588 + 565 = 5*r, 4*j + 4 = 0. Suppose -5*a = -5*p + r, 4*a - 68 + 209 = p. Does 15 divide p?
False
Let p(r) = 6*r - 70. Let i be p(13). Let c(g) = -464*g + 1. Let y be c(-3). Is i/(-6) - y/(-21) a multiple of 14?
False
Let u(r) = -19*r + 388. Is u(-34) a multiple of 47?
True
Suppose -y = -5*y + 2*s + 766, 0 = -5*y - 5*s + 965. Suppose -6*c + 42 = -y. Is 13 a factor of c?
True
Let d(n) = -n**2 + 66. Let p be d(0). Let l = 138 - p. Is 24 a factor of l?
True
Let r(a) = a**3 + 9*a**2 + 5. Let x be r(-9). Suppose -415 + 95 = -x*k. Does 8 divide k?
True
Let v(w) = -w**3 + 5*w**2 + 3*w - 3. Let l(y) = y**3 - 2*y**2 - 5*y + 3. Let j be l(3). Does 12 divide v(j)?
True
Let f(h) = h**3 - 33*h**2 - 29*h + 136. Is 11 a factor of f(34)?
False
Suppose -1358 - 98 = -4*n. Is 52 a factor of n?
True
Let d(p) = -596 - 12*p + 596. Suppose 3*o - 4*t + 2 + 15 = 0, -2*t + 13 = -3*o. Does 21 divide d(o)?
False
Let j = 136 + -124. Suppose -2*a - 300 = -j*a. Does 5 divide a?
True
Let h = 21 - 46. Let c = 32 + h. Is c a multiple of 7?
True
Let y(z) = -z**3 - 3*z**2 + 4*z + 4. Let g be y(-4). Suppose g*j = j + 228. Suppose 2*h - 73 = -5*i, 0 = -0*i - 5*i + h + j. Is 3 a factor of i?
True
Suppose -21 = -3*i - 4*w, 3*i + 0*i = 2*w + 3. Let n be (-3)/2*40/(-7 + -3). Suppose -i*z - z = -2*m + 98, 0 = -3*z - n. Does 15 divide m?
True
Suppose -11*d - 805 = -12*d. Is 11 a factor of d?
False
Let v = 19 - 16. Suppose f = v*t - f, t = f. Suppose 2*j - 4*h + 3*h - 51 = t, h + 76 = 3*j. Is 7 a factor of j?
False
Let u(t) = t**2 - t - 22. Let m be u(5). Suppose -6*x - 48 = -4*x. Let j = m - x. Is j a multiple of 11?
True
Let y be 1/((-2)/(-18)*1). Let n(c) = -2*c + 21. Let z be n(y). Suppose z*o + o = 272. Is o a multiple of 19?
False
Let s = -307 + 487. Suppose -q = 4*q - s. Does 13 divide q?
False
Let v(s) = -s**3 + 12*s**2 + 13*s + 4. Let t be v(13). Suppose 3*h + 33 = 3*p, -t*h - 12 = -0*h. Suppose 5*n - 7 = p. Is n even?
False
Let a = 1200 - -1072. Is a a multiple of 8?
True
Suppose -16*f + 5*i = -13*f - 731, i - 257 = -f. Is 9 a factor of f?
True
Let v = -121 - 271. Is (40/14)/((-16)/v) a multiple of 10?
True
Let i(x) = -21*x - 2. Let t be i(-5). Let k = t + -69. Is k a multiple of 11?
False
Let r = 821 + -120. Suppose 4*c + 3*t = -c + 1145, r = 3*c - t. Does 44 divide c?
False
Let z(f) = 3*f - 4*f + f - 2*f + 2. Let m be z(0). Is 26/3*9/m a multiple of 13?
True
Suppose -15*w + 5*w + 2680 = 0. Is w a multiple of 25?
False
Let u(m) = 69*m**2 + 20*m + 113. Is 11 a factor of u(-5)?
True
Let y be (-3)/4 - 3/(-4). Suppose -5*w = 3*k - y*k - 152, -5*w - 44 = -k. Let q = 120 - k. Is 25 a factor of q?
False
Is 19 a factor of 518 + 35/21*-3?
True
Suppose b + 0*b + 1081 = 5*a, -b = 1. Does 18 divide a?
True
Suppose 8*u = 754 - 258. Does 25 divide u?
False
Suppose -2130 = -5*z + 3*g - 6*g, 5*g = 25. Is 47 a factor of z?
True
Let g(i) = 25*i**2 + i + 6. Let m(q) = -12*q**2 - q - 3. Let b(p) = -3*g(p) - 7*m(p). Is 3 a factor of b(-3)?
True
Let x(j) = -j**3 - 7*j**2 + 6*j + 10. Suppose c + s - 12 = 0, -2*c - 4*s = c - 41. Let q be (-54)/c - 16/56. Is 8 a factor of x(q)?
False
Let g = -43 + 315. Is g a multiple of 34?
True
Let o(j) = -j**3 + 48*j**2 - 50*j + 349. Is 18 a factor of o(47)?
False
Let f be (2 - -4)/((-3)/674). Does 21 divide f/(-16) + (-1)/4?
True
Let x(v) = -7*v - 3. Suppose -6*m - 5 = -m. Let n be x(m). Suppose -n*o = -4*s + 104, -s + 5*o + 29 = 3*o. Does 4 divide s?
False
Let s = 8 + 1063. Does 56 divide s?
False
Let u(h) be the second derivative of -h**5/20 + 2*h**4/3 - 6*h**2 + 7*h. Is 10 a factor of u(6)?
True
Let m = 151 - 120. Is 3 a factor of m?
False
Let u = -620 + 1189. Is 15 a factor of u?
False
Let z be (-4)/20*-5*3. Suppose 11*q - 784 = z*q. Is q a multiple of 26?
False
Is 45 a factor of 9784/10 + 10/75*-3?
False
Let b = 97 + 91. Does 18 divide b?
False
Suppose -34*w = -32*w + 54. Let q = 19 - w. Is 10 a factor of q?
False
Let t(u) = 5*u**3 + 4*u**2 + 10*u. Let s be t(-2). Let h be (-1)/(2/(-152) + 0). Let r = h + s. Does 8 divide r?
True
Let d(z) = -z + 14. Suppose -3*b + 0 - 14 = -c, -4*c - 3*b = -41. Let w be d(c). Suppose -9 = -w*h + 24. Is 7 a factor of h?
False
Let h(x) = -x**2 + 5*x + 9. Let g be h(6). Let n(w) = -3*w - 23 + 0*w - g*w - 4*w. Is n(-11) a multiple of 29?
True
Does 33 divide (-96)/(-56)*(-3388)/(-8)?
True
Let a = -258 - -429. Is 9 a factor of a?
True
Let s(f) = f**3 - 17*f**2 - 18*f + 24. Let t be 246/9 - 12/9. Suppose 0 = g + 8 - t. Is 4 a factor of s(g)?
True
Suppose 5*d - 4*b = -0*d + 2862, 3 = -b. Is 10 a factor of d?
True
Let k(d) = 2*d**2 + 8*d - 3. Let o be k(6). Let q = 45 + -24. Suppose 0 = -5*y + 2*z - z + o, z = -y + q. Is 13 a factor of y?
False
Let s(r) = 13*r**2 - r. Let q be s(1). Let c = -24 + q. Is 12 a factor of (c/10)/(2/(-120))?
True
Let u(p) = 65*p**3 - 2*p**2 + p + 3. Let c(b) = -129*b**3 + 5*b**2 - 2*b - 7. Let k(y) = -2*c(y) - 5*u(y). Is 17 a factor of k(-1)?
False
Suppose 10*f = 8*f + 146. Is 9 a factor of f?
False
Let b = -1671 + 2381. Is b a multiple of 110?
False
Let f = -1285 - -2360. Suppose -2*k = 3*k - 5*z - f, 4*z = 2*k - 422. Does 9 divide k?
False
Suppose 0*j = 5*j + 15. Let r = 5 + j. Does 2 divide r?
True
Let q(r) be the first derivative of -r**3/3 - 17*r**2/2 + r + 13. Let n be q(-17). Does 11 divide 72/(3/n) - 2?
True
Suppose 2*z - 3*g = -0*z - 116, -167 = 3*z - g. Let p = 119 + z. Does 20 divide p?
False
Suppose 21*c - 489 = 2031. Does 24 divide c?
True
Let w = -1 + 6. Suppose 0 = 2*f + f + 2*j - 354, -w*f + 612 = -4*j. Is 24 a factor of f?
True
Let i = -5 - -9. Suppose -g + 0 = 2*u - 1, -i*g = -4*u + 20. Is 2 a factor of 55/20 - u/(-8)?
False
Suppose -n - 4*r - 2 = 0, r = n + 4*r + 1. Suppose 578 = 5*q - n*i - 0*i, 8 = -2*i. Suppose q = 2*o - 3*t, -o = -5*o - 4*t + 208. Is o a multiple of 18?
True
Suppose 3*t = 3*q + 1896, -3153 = -5*t + q - 3*q. Suppose -3*i + b = -t, -b = -i - 4*b + 207. Suppose 3*v + 0*v = i. Is v a multiple of 14?
True
Suppose 16*n + 1658 = 19*n - 5*h, -5*h = 3*n - 1618. Is n a multiple of 52?
False
Let i = -1071 - -2303. Is 14 a factor of i?
True
Let a be 4 - -9*(-1 + 12) - -4. Let n = a - -16. Does 13 divide n?
False
Let u be ((-6)/4 + 3/(-2))*-26. Is (-3)/(-2 - u/(-40)) a multiple of 30?
True
Let f(n) = n**3 - 5*n**2 + 5*n + 16. Let y be f(7). Suppose 0 = 148*u - y*u + 170. Is u a multiple of 17?
True
Suppose -4*m - 2*v = 2*v - 8, -m = -5*v - 20. Does 9 divide (-1*(-9)/m)/(2/10)?
True
Let x = 1152 - 291. Is 21 a factor of x?
True
Suppose -3*r - 13*t = -16*t - 1548, -7*r + 2*t + 3587 = 0. Is r a multiple of 68?
False
Let l(f) = f**3 + 6*f**2 + 4*f - 3. Let z be l(-4). Suppose 4*b = -j + 20, 0 = j - 2*b + 3 + 7. Suppose 0 = r - j*r - z. Does 3 divide r?
False
Let b(g) = g - 9. Let p be b(11). Let w be (-28260)/(-114) - p/(-19). Suppose -5*k + 393 - 86 = 4*x, -2*x + w = 4*k. Is 32 a factor of k?
False
Let i(v) = v**2 + 3*v - 3. Let z be i(-7). Suppose -t + 38 + z = 0. Does 11 divide t?
False
Let u = 39 + -36. Does 2 divide (4 - (0/3)/(-4)) + u?
False
Let a be (-1)/(1/(-187) - 0). Let h = -121 + a. Does 30 divide h?
False
Let n = 7100 - 3434. Is n a multiple of 60?
False
Let d(h) = -h**3 - 30*h**2 - 4*h - 115. Let f be d(-30). Let t(w) = -9*w + 4. Let s(k) = 10*k - 3. Let q(x) = 3*s(x) + 2*t(x). Is q(f) a multiple of 44?
False
Let z = -83 - -89. Suppose 7*t - z*t = 144. Is 12 a factor of t?
True
Is 25 a fact