**3 - 4*g**2 - 3*g. Let t be i(-2). Is 7 a factor of (-1)/(-2) - 549/t?
False
Let z be 1/2 - (-4 + (-561)/6). Let g = 196 - z. Does 17 divide g?
False
Let m(r) = -r**2 + 5*r - 2. Let z be m(5). Suppose -2*w = -31 - 21. Let p = z + w. Does 8 divide p?
True
Let l(o) = 7*o**3 - 2 + o**3 + 2*o**2 + 19*o**3 - 4*o**3. Does 23 divide l(1)?
True
Let c be ((-4)/(-8))/(4/152). Let v = c + -11. Does 7 divide v?
False
Let v(r) = 3*r**2 - 8*r + 13. Let f be v(6). Let b = 60 + f. Is b a multiple of 36?
False
Let a(b) = b**3 - b**2 + 2*b - 7. Let c be a(6). Suppose -2*i - c = -5*l, -2*i = 3*i. Suppose 2*d - 47 - 30 = 3*w, d - w - l = 0. Is 17 a factor of d?
True
Is -5 + 1468*(-10)/(-40) a multiple of 45?
False
Suppose 4*f - 5*f + 3*c = -1220, -4*f + 5*c + 4866 = 0. Is f a multiple of 77?
False
Does 25 divide ((-20)/7)/(6/(-483))?
False
Suppose -m + 2483 = 4*j, -4*j + 13*m + 2487 = 10*m. Is j a multiple of 9?
True
Let r be (930/(-9))/5*(-3)/2. Suppose h - r = 21. Does 52 divide h?
True
Suppose -5*i = 2*o + 33, 0*o = i - 3*o - 7. Let z(l) = -l**3 - 5*l**2 - l - 3. Let d be z(i). Is 13 a factor of (73/2)/(d/4)?
False
Let u = 147 + -141. Suppose 460 = 10*j - u*j. Is j a multiple of 26?
False
Let w(q) = 3*q**3 - 2*q**2 + q + 2. Let h(c) = 15*c**3 - 10*c**2 + 4*c + 9. Let p(o) = 2*h(o) - 11*w(o). Let g be p(-2). Let u = 80 - g. Does 14 divide u?
False
Let x be 9/2*(0 - -2). Let s = x - -15. Let f = 6 + s. Does 16 divide f?
False
Suppose -2*t + 170 = 64. Is 20 a factor of t?
False
Suppose 931 + 473 = 3*j. Does 12 divide j?
True
Suppose -h = -5*x - 5*h - 259, 3*h = -3*x - 156. Let p = x - -168. Is p a multiple of 9?
True
Suppose 3*i - 7 - 5 = 0, -36 = -4*r + 3*i. Does 37 divide 0 + (-654)/(-9) + 16/r?
True
Is 22/(-8)*((14 - 9) + -33) a multiple of 4?
False
Let t(i) = 4*i**2 - 2 - 6*i**2 - 2 + 6*i - 3. Let k(u) = -2*u**2 + 6*u - 8. Let r(v) = 3*k(v) - 4*t(v). Is 2 a factor of r(4)?
True
Suppose -3*i + 3*b = 1554, -3*i - 1554 = b - 2*b. Let x = -357 - i. Does 30 divide x?
False
Suppose 0*h - 16 = -8*h. Suppose -2*l - 4*b = -h - 114, 0 = -l - b + 57. Does 14 divide l?
True
Let m(n) = n**3 + 8*n**2 + 10. Suppose 0 = 5*u + 2*g + 27, -g + 4*g = 3*u + 33. Does 12 divide m(u)?
False
Suppose -1782 = -3*i + 4*b, 9*i + b - 1767 = 6*i. Is 48 a factor of i?
False
Let x = -1296 + 2103. Does 12 divide x?
False
Let a = 8 + 4. Suppose 7*r - 10*r + a = 0. Does 4 divide r?
True
Suppose -3*j - 7*x = -6*x - 2194, 3*x = -2*j + 1451. Is 9 a factor of j?
False
Suppose -175 = -2*b - 29. Let t = b - 47. Does 18 divide t?
False
Suppose -22 - 11 = -y. Is y a multiple of 3?
True
Let c(r) = -8*r + 1. Let w be c(1). Let s(n) = 8*n + 3*n**2 - 32*n**3 + 25*n**3 - 16 + 6*n**2 + 8*n**3. Is s(w) a multiple of 13?
True
Suppose 15*z - 45209 = 151. Is z a multiple of 24?
True
Suppose -7*l + 21*l - 4998 = 0. Is 21 a factor of l?
True
Let v(j) = 116*j - 72. Is v(6) a multiple of 24?
True
Let t(f) = -f - 4. Let p(k) = k + 3. Let a(b) = -3*p(b) - 2*t(b). Does 3 divide a(-24)?
False
Suppose 0 = -8*k - 5*k + 156. Is k a multiple of 2?
True
Suppose -1386 = -7*o - 49. Is o a multiple of 6?
False
Let q(k) = 2*k**2 - 23*k + 13. Let n be q(11). Is 4 a factor of ((-3)/(-3))/(n - (-186)/(-94))?
False
Let i(y) = 4*y**2 + y + 8. Suppose 51 - 16 = -5*p. Is i(p) a multiple of 25?
False
Suppose 3*s - 13 = -121. Let c = s + 12. Let d = -6 - c. Is d a multiple of 6?
True
Let v = -103 - -132. Let w = 207 + v. Is w a multiple of 59?
True
Let o be -3 - (-2)/1 - -1. Suppose 2*l - 23 - 51 = 4*c, l + 4*c - 19 = o. Is 31 a factor of l?
True
Let f be 168/(-4) + (-4 - -6). Let h = -28 - f. Does 18 divide -36*(h/(-8) + 1)?
True
Let u be ((-18)/4)/(11/44). Let c be (-3)/u - 57/18. Let a(v) = v**2 - 3*v + 3. Is a(c) a multiple of 7?
True
Let c(l) = 17 + 17 - 41 - 98*l + 18. Does 44 divide c(-3)?
False
Does 24 divide ((-957)/116)/(1/82)*-2?
False
Suppose 2*o - 2*a = 2440, -2*o + 1034 = 3*a - 1411. Does 33 divide o?
True
Let t(o) = 14*o + 18. Is t(6) a multiple of 3?
True
Let u = -21 + 13. Let q = u + 8. Suppose -a + 4*a - 24 = q. Does 8 divide a?
True
Suppose 4*u + 9 = -51. Does 10 divide 10/(-25) + (-1356)/u?
True
Let k(o) = -4*o**3 - 2*o**2 + o. Let d be k(-4). Suppose -2*u - d = -7*u. Is u a multiple of 22?
True
Suppose 0*s - 10 = 2*s. Is 13 a factor of (-39)/s*(14 + -9)?
True
Suppose -5*o - y - 10 = 0, 3*o + 5*y + 0 = -6. Let i be (-4)/o*(-2 - -4). Suppose -i*n = -q - 3*n + 88, 0 = q + 3*n - 96. Is 18 a factor of q?
True
Let v be 1*(8 + 2) - 0. Suppose -l - 9 = 2*a, 0 = -4*a - l + 6*l + 3. Let k = v - a. Is 13 a factor of k?
True
Let c(j) be the third derivative of j**5/60 + j**4/24 + 10*j**3/3 + 2*j**2. Let n be (1/(-4)*0)/3. Is 20 a factor of c(n)?
True
Let u = -5 + -4. Let d be 947/u - (-16)/72. Let q = -74 - d. Does 7 divide q?
False
Let m be 2 + -5 + 2 - 4. Let t(o) = o**3 + 6*o**2 - 6*o + 6. Does 23 divide t(m)?
False
Let t(l) = 11*l**2 + 251*l - 30. Does 47 divide t(-24)?
True
Let j(t) = 2*t - 2. Let a be j(-1). Let y(i) = 6*i**2 - 2*i - 6. Does 24 divide y(a)?
False
Let l = 332 + 229. Is 51 a factor of l?
True
Let f be ((-2)/(-6))/(1/18). Suppose -i - 3*o - 12 = -4*i, 2*i - 4*o - f = 0. Suppose 2*v = 2*x + i*v - 74, -5*x = -4*v - 162. Is x a multiple of 17?
True
Is 326/22 - 15 - 12674/(-11) a multiple of 12?
True
Let a = 30 - 24. Let p(q) = -q**3 + 8*q**2 - 7*q. Let w be p(a). Does 5 divide 41/3 + (-20)/w?
False
Let w(n) = 3*n**2 + 8. Let s be w(-4). Let f = 108 - s. Does 13 divide f?
True
Suppose 0 = -0*b - 5*b + 60. Let x(k) = k**2 + 5*k + 3. Let u be x(-6). Let w = u + b. Does 13 divide w?
False
Suppose 13 = -5*x + 6*x. Is 0 - 13/(x/(-72)) a multiple of 12?
True
Suppose -58 = 4*g + 54. Let o = 34 - g. Does 31 divide o?
True
Let h(a) = -58*a - 18. Let d be h(-7). Let m = d - 197. Is m a multiple of 43?
False
Let c be (-77)/(-5) - (-4)/(-10). Let m(z) = -z**2 + 15*z + 4. Let j be m(c). Suppose -j*r + 12 = -2*r. Does 6 divide r?
True
Suppose 4*q = 6*q + 2*w, -4*w = 5*q. Suppose q = -a - 11*a + 792. Does 6 divide a?
True
Suppose 0 = 5*y - y - 48. Suppose -7*k = -y*k + 240. Does 14 divide k?
False
Suppose -2*y - 6*i + 8 = -10*i, 3 = y - i. Let u be 6*1 + -1*1. Suppose -299 = -u*v + 4*q, -150 = -y*v - 3*q - 12. Is v a multiple of 16?
False
Suppose -11*s + 74 = -25. Is 4 a factor of s?
False
Let v = -1383 + 3111. Is 12 a factor of v?
True
Let t be (4 + -2)/(-6 + 7). Suppose a - 4*a + 6 = 0. Suppose -t*b = a*b - 192. Is b a multiple of 8?
True
Let i(m) = 112*m - 24. Is i(2) a multiple of 10?
True
Let b(z) = 6*z**2 + 3*z - 1. Suppose 5*a - 40 = 5*l - 15, 4*a - 6 = -3*l. Let u be b(a). Is 10 a factor of -1 + 5 + u/2?
False
Let l(s) = -3*s - 10. Let p be l(-4). Suppose 195 = -p*f + 7*f. Is 20 a factor of 2 + 1/(-1) + f?
True
Let s(a) = a**2 - 7*a + 50. Does 5 divide s(-11)?
False
Let j be (1 - -1) + 5 + -28 + 4. Let h(n) = -8*n - 34. Is h(j) a multiple of 7?
False
Suppose -c + f = 3*c - 29, 5*c = f + 36. Suppose -c*q + 216 = -q. Is q a multiple of 6?
True
Suppose -3*p = 17 + 46. Does 28 divide (p/4)/((-87)/(-48) - 2)?
True
Let l = 139 - -761. Does 36 divide l?
True
Let i(d) be the third derivative of -d**4/6 - d**3/2 - 2*d**2. Let w be i(-6). Let r = w - -12. Is r a multiple of 11?
True
Suppose 48*q = 74*q - 15704. Is q a multiple of 19?
False
Let k be 3*(-12)/9 + 400. Suppose 5*t = 2*v + 212, -3*v + 3*t - k = v. Is 23 a factor of 3 + -7 - (0 + v)?
True
Let y = -42 - -42. Suppose -8*x + 9*x - 77 = y. Is 7 a factor of x?
True
Let w(i) = -23*i**3 - 2*i**2 + 1. Let s be w(-1). Suppose -18 - s = 2*k. Let v = 108 + k. Is 22 a factor of v?
True
Suppose -3*a = -2*c + 311, 0 = 4*c - 4*a - 515 - 113. Does 4 divide c?
True
Let w(f) = 58*f. Let i = 15 - 12. Does 29 divide w(i)?
True
Is 6792/16 - ((-6)/(-4))/(-3) a multiple of 17?
True
Let j = -72 - -192. Is 40 a factor of j?
True
Does 41 divide ((-3)/2)/((-3)/8022)?
False
Suppose -t + 0 = -n - 7, -3*n = 4*t - 28. Suppose -1 - 17 = -d + 3*c, -4*d - c + t = 0. Is d a multiple of 2?
False
Let k = -240 + 428. Does 6 divide k?
False
Let g(i) = 24*i + 1. Let p be g(9). Let w be 2/6 + (-16)/(-6). Suppose -4*q + 160 = -5*y, -w*q - 2*q + 2*y = -p. Does 15 divide q?
True
Let q(y) = y**2 - 2*y - 4. Let r be q(-3). Suppose -4*x - l + r = -22, 4*l = -4*x + 36. Is 4 a factor of x?
True
Let n = 2016 + -