t q(v) = -13*v + 161. Let p be q(12). Suppose 72 + 18 = p*a. Is 17 a factor of a?
False
Suppose -11042 = -6*l - 656. Does 3 divide l?
True
Let p(z) = 20*z - 173. Let y be 29 - (4 + 4/(-1)). Does 11 divide p(y)?
True
Let y(p) = -1364*p - 27. Let u be y(-3). Suppose 0 = 16*x - 3711 - u. Is x a multiple of 6?
True
Let i = 6148 + 2052. Is 20 a factor of i?
True
Is 716725/325 - (-8)/(-26) a multiple of 35?
True
Let v(g) = -46*g + 10. Let y be v(5). Let j = y - -436. Let h = j + -80. Does 34 divide h?
True
Suppose 0 = -8*o - o + 47030 + 30370. Does 200 divide o?
True
Let k(h) = 6*h**2 + 4*h - 2. Let x(m) = 3*m - 18*m + 5*m + 7*m - 36. Let i be x(-11). Is 3 a factor of k(i)?
False
Let v(k) = -12*k - 3*k + 5*k + 4*k**2 + 24. Let s be v(10). Does 18 divide (0 - s/(-14))/(2/14)?
True
Let c(l) = 4*l**2 - 94*l - 102. Is c(-17) a multiple of 51?
True
Let i(k) = -k**2 - 2*k + 18. Let u be i(0). Suppose -6*d = -u + 6. Suppose 2*q = -d*y + 136, -q = 2*y - 5 - 126. Is y a multiple of 14?
False
Let t(m) = -28*m - 5. Let a(n) = -142*n - 24. Let g(h) = -2*a(h) + 11*t(h). Let s be g(-2). Suppose -d + s = -111. Is d a multiple of 20?
False
Let z be (4/8)/((-1)/(-2)). Let x be 3 - z - (-70 + 7). Suppose -x + 23 = -3*v. Is 14 a factor of v?
True
Suppose 20*k - 15612 = 17*k. Let r be k/6 + (-12)/(-18). Suppose -463 + 1331 = 4*u + 4*p, 4*u - r = 2*p. Is u a multiple of 31?
True
Let z(d) = -462*d**3 + 2*d**2 + 2*d - 1. Let o be z(-1). Suppose -2*w = 39 - o. Let i = -94 + w. Is i a multiple of 9?
True
Suppose 3*n + 15*n - 5*n - 173511 = 0. Does 27 divide n?
False
Suppose 4 = q, -108*u + 4*q - 4678 = -109*u. Is u a multiple of 31?
False
Suppose 950*t = 973*t - 738208. Is 74 a factor of t?
False
Let m = 6061 - -1616. Is m a multiple of 28?
False
Suppose 0 = 4*b - 11*d - 73263 + 20623, 3*b - 39430 = 2*d. Does 10 divide b?
False
Let h(p) be the third derivative of 11*p**4/24 + 32*p**3/3 - 2*p**2 + 10. Is 17 a factor of h(5)?
True
Let b be ((2/(-6))/(5/14775))/1. Let a = -210 - b. Is a a multiple of 30?
False
Suppose -3*d - 3924 = -3*f, 0 = -d + 2*f - 1254 - 56. Let s = d - -1944. Does 22 divide s?
True
Let a(z) be the second derivative of -5*z**5/12 + 7*z**4/6 + 8*z**3 + 8*z. Let d(v) be the second derivative of a(v). Does 63 divide d(-7)?
True
Let m(i) = 17*i - 214. Let u = -382 + 399. Is 6 a factor of m(u)?
False
Let w = 121 - 117. Suppose 2581 = w*o - 3*z, o = -z + 380 + 267. Is o a multiple of 38?
True
Let r(w) = -89*w - 671. Is r(-19) a multiple of 34?
True
Suppose 6*v - 1986 = -30. Is v/1 - ((-3)/3 - 2) a multiple of 47?
True
Let o be 13/6 - (-6)/(-36). Let h(n) = 7 + 6*n**o + 0*n + n**3 + 4*n**2 + 7*n + 3. Is 12 a factor of h(-6)?
False
Suppose -3*j - 341 = -4*h - 2526, 4*j - 3*h - 2911 = 0. Let z = j - 377. Does 50 divide z?
True
Suppose -g - 25 = -37. Suppose -16*a = -g*a - 240. Is a a multiple of 20?
True
Is (81 + -2)*(69 - 68) a multiple of 6?
False
Let r = 11 + -17. Let d(o) = 3*o + 20. Let b be d(r). Suppose 5*z - b*s - 837 = 0, s + 71 = -4*z + 751. Does 16 divide z?
False
Suppose -4*w + 2*w - 22 = 0. Let o(x) = -5*x - 43. Does 3 divide o(w)?
True
Suppose 0 = 2*p - 5*l + 6, -4*p + 3*l - 30 = 2*l. Let n be 15 - (8 - p/(-2)). Suppose 0 = -n*g + g + 90. Is 3 a factor of g?
True
Suppose 5*n - 57 = 13. Is 22 a factor of (-12)/21 - (-1240)/n?
True
Let p(t) = -2*t**3 - 14*t**2 - 2*t - 32. Let y be -10 - 6*(16/(-12) - -1). Is 8 a factor of p(y)?
True
Let t be 16/7*(-7)/(-2). Let d be 4/(-3)*(-426)/t. Let a = d - 69. Does 2 divide a?
True
Let o = 10701 - 1601. Is o a multiple of 91?
True
Suppose -4*o - 27 = 4*v - 91, 0 = -3*v + 5*o + 8. Suppose 6*s = -v*s + 2210. Is s a multiple of 26?
True
Let w(r) = -r**3 - 27*r**2 + 97*r + 220. Is w(-31) even?
False
Let p = 30477 + -28457. Is 11 a factor of p?
False
Suppose 2*j - i - 7 = 0, 3*i + 0 + 3 = 0. Suppose -6*a + 1209 = -j*a. Suppose 157 = 5*s - a. Is s a multiple of 12?
False
Suppose 194*q - 2510141 = 626839. Is 12 a factor of q?
False
Let n = -19104 - -32689. Is 95 a factor of n?
True
Suppose 0 = 4*d - d - 405. Suppose 2*o + 8*g = 9*g + 409, 0 = 2*o - 2*g - 410. Let n = o - d. Is 23 a factor of n?
True
Suppose 3*l - 4*o - 18 = 0, 0*l - 2*l - 4*o - 8 = 0. Is 28 a factor of 3/l - 2122*(-2)/8?
True
Let n be (-25)/(-2)*68/(-5). Let q = n + 212. Does 3 divide q?
True
Suppose 5*g = y - 2245, 4*g - 2245 = 9*g - 2*y. Let j = g + 1604. Is j a multiple of 35?
True
Let z = -7013 - -7818. Is z a multiple of 2?
False
Is 3 a factor of 6*(-17993)/114*-3?
True
Let y be (-18)/(-81) - (4300/(-9) - -2). Suppose -2*a = 5*u - 0*u - y, 0 = 2*a + 4*u - 476. Is 14 a factor of a?
True
Is (-165450)/250*(-3)/(18/50) a multiple of 7?
False
Suppose -25913 = -4*c + 3*x + 52390, x + 78301 = 4*c. Does 27 divide c?
True
Let d(y) = 15*y - 3*y**3 - 7 - 14*y - 2*y**2 + 2*y**3. Is 2 a factor of d(-6)?
False
Let q(f) = -8*f**3 + 2*f - 2. Let a be q(1). Let g be a/(-3 + (-1156)/(-388)). Suppose -2*n + 4*b + g = 2*n, 3*b - 367 = -4*n. Is 11 a factor of n?
False
Suppose -7*o = -0*o - 21. Suppose -2001 - 189 = -o*n. Is n a multiple of 51?
False
Let y(p) = -152*p**3 + p + 48. Let u be y(-6). Suppose u - 12406 = 14*l. Is 15 a factor of l?
False
Suppose -3*s + 22399 = 5*f - 106225, 51465 = 2*f - s. Is f a multiple of 10?
False
Let i = -140 - -144. Suppose 2*a - 5*g - 226 = 0, -316 = -i*a + a - 4*g. Does 6 divide a?
True
Suppose 0 = 53*m - 55*m + 1558. Suppose 24*q - m = 11221. Does 50 divide q?
True
Let o(n) = 14*n + 54. Let y be o(-5). Let t(s) = s**2 - 6*s - 30. Let g be t(y). Suppose 6*b - 3*m - 263 = 2*b, 0 = 5*b + 3*m - g. Is 14 a factor of b?
False
Let l(y) = -y - 1. Let x(m) = 6*m**2 - 2*m - 6. Let h(u) = u**3 - 3*u**2 + 5. Let b be h(2). Let w(g) = b*x(g) - 6*l(g). Does 5 divide w(-2)?
False
Let n(m) be the second derivative of -2*m**3/3 + 10*m. Let r be n(-1). Suppose 17 - 1 = -r*k, 117 = 5*v + 2*k. Is 25 a factor of v?
True
Let b(n) = -32*n + 78. Let c(u) = 3*u. Let t(r) = -b(r) - 3*c(r). Is t(5) a multiple of 2?
False
Let l(v) = 15*v**2 + 13*v + 17. Let x = -54 + 50. Is l(x) a multiple of 41?
True
Suppose 53*u = 63102 + 345294 - 29181. Is u a multiple of 45?
True
Suppose 4*l + 3*o + 44 = -0*o, 4*l = 4*o - 44. Is 17 a factor of (68/(-12))/(l/2607)?
True
Suppose 60*p = 341*p - 7997385 + 218181. Does 9 divide p?
True
Let x = -1644 - -1894. Suppose 4*y + 0*b - 500 = -4*b, 4*b - 625 = -5*y. Let v = x - y. Is 23 a factor of v?
False
Let v = -6544 + 11566. Is v a multiple of 62?
True
Let t be (-4177)/(-2) + ((-91)/(-14))/(-13). Does 7 divide (-4)/7 - (5 + t/(-28))?
False
Suppose 0 = 4*r - f - 1076, 1068 = 4*r - 2*f - f. Is 10 a factor of r?
True
Suppose 4*j + 77 = -11. Let h = j + 416. Suppose -h = -3*b - 4*i, 2*i - 653 = -5*b - i. Is 21 a factor of b?
False
Suppose -55*o + 51*o = -l + 1273, -5*o = l - 1228. Is l even?
False
Let k(v) = 2*v + 37. Let g be k(7). Let c = g + 6. Suppose -2*p - c = -5*m - 162, -3*p + m + 125 = 0. Does 10 divide p?
True
Suppose -4*l = 954*f - 949*f - 45205, -45195 = -4*l - 3*f. Does 26 divide l?
False
Does 74 divide (-4)/(168/(-103061)) - (-7)/42?
False
Let c = 1346 + -361. Is 23 a factor of c?
False
Let r(z) = z**2 + 8*z - 9. Let o be (-6)/(-21) + 260/(-28). Let s be r(o). Is 7 a factor of (s - -2) + 2/((-10)/(-305))?
True
Let o be 3*1 + 4*5/4. Suppose 4*v - 20 = 0, 11*a = o*a + v + 4597. Is a a multiple of 13?
True
Let x = -1857 - -2019. Is 2 a factor of x?
True
Suppose -5*u + 2*u = 51. Let d be 2/u - (-6)/51. Suppose -2*i - 2*i + 108 = d. Is 7 a factor of i?
False
Suppose -7 = 2*d + 9. Is (d - (-10)/(-5))*-5 a multiple of 16?
False
Let h(u) be the second derivative of 6*u**2 + 0 + 21*u + 7/3*u**3. Is 12 a factor of h(6)?
True
Let m = 1613 + 2677. Is 110 a factor of m?
True
Let k(t) = 2*t + 1. Let n(y) = 14*y - 16. Let f(i) = 5*k(i) - n(i). Is 11 a factor of f(-4)?
False
Let c be 10/(-3)*(-15)/10. Suppose 15 = -0*x - c*x. Does 6 divide ((-5)/x - 1)*(71 - 5)?
False
Suppose -38 - 10 = -4*i. Let x(z) = -z + 12. Let m be x(i). Suppose 3*d - 4*l - 40 = m, -32 = -5*d + l + 29. Does 3 divide d?
True
Let u = -352 - -325. Let h(b) = -b**2 - 33*b - 42. Does 5 divide h(u)?
True
Suppose 2*k + 2 = 0, -5*b + 8 = -3*k - 20. Let d = b - -59. Does 64 divide d?
True
Let h(l) = -l**2 + 6*l + 24. Let s be h(8). Let g be 2/((-18)/(-12)*s/(-510)). Let