-15 + j. Is f a multiple of 18?
False
Suppose -3*l = 40 - 43. Is (l*-2 + -70)*(-12)/18 a multiple of 4?
True
Suppose 0 = -2*l + x - 11, 2*x + 26 = -l - l. Let d = l - -10. Is (d - 20)/(6/(-18)) a multiple of 10?
False
Let n(q) be the first derivative of -35*q**4/4 + q**3/3 + q**2/2 + q - 6. Is n(-1) a multiple of 9?
True
Let j(z) = -z**3 + 16*z**2 + 18*z - 12. Is j(14) a multiple of 37?
False
Let w(g) = -g - 1. Let k(l) = -l**3 - 4*l**2 + 4*l + 5. Let i(u) = -u**3 - 2*u**2 + 3*u + 3. Let p be i(-2). Let s(o) = p*w(o) - k(o). Is 5 a factor of s(-3)?
True
Suppose 10*c = 4*c + 66. Suppose c = -h + 246. Does 47 divide h?
True
Let g = -27 + 26. Let z be g + 59 - (19 - 15). Suppose 5*h + 3*c - z = 5, 2*h + c = 23. Is 5 a factor of h?
True
Suppose 3 = -p + 6. Let y be (p + 860/12)*3. Suppose 6*w = 2*w + y. Is 14 a factor of w?
True
Let s(q) = q**2 + 18*q + 3. Let k be s(-18). Suppose 8 = v - p - 4, -k*v - 4*p + 29 = 0. Is 3 a factor of v?
False
Let n(g) = 2*g**2 + 2*g - 36. Let x(c) = 2*c**2 - 8*c + 9. Let d be x(4). Does 16 divide n(d)?
True
Suppose -148 + 937 = 3*h. Is 11 a factor of h?
False
Suppose c - 2*c + 5*a = -538, -5*a - 20 = 0. Does 14 divide c?
True
Suppose 1066 = 5*a + 2*v, 221 = a - 2*v + 5*v. Does 13 divide -1 + a/(-8)*-2?
True
Let m(z) = -z**2 + 71*z + 226. Is 4 a factor of m(-3)?
True
Let f = 144 + 87. Is 77 a factor of f?
True
Suppose 3*f + 0 = 5*s - 15, 5*s - 4*f - 15 = 0. Suppose 3*o - 261 = -s*w, o = -0*w - 5*w + 83. Is o a multiple of 8?
True
Let b be 266/18 + 12/54. Let f = b - 16. Does 17 divide 28/6*(-6)/f?
False
Suppose 41 = f + r - 4, -3*f + 132 = 4*r. Suppose -f = -5*t + 47. Is t a multiple of 9?
False
Let q(d) be the third derivative of -d**6/120 + 13*d**5/60 + d**4/6 + 5*d**3/3 - 17*d**2. Is 44 a factor of q(13)?
False
Let d(q) = 2 + 6*q + 0*q - 5*q + 0. Let u be d(-3). Let f(l) = -24*l**3 + 2*l**2 - 1. Does 15 divide f(u)?
False
Suppose 0 = -5*n + 5*c + 216 - 6, -3*n + 124 = -2*c. Suppose -2*x + n - 20 = 0. Is x a multiple of 3?
False
Is 55664/35 - (-6)/10 a multiple of 37?
True
Suppose 4*b - 209 = -5*i + b, -b + 123 = 3*i. Let y(j) = j**3 + 2*j**2 + 6*j - 3. Let s be y(3). Let q = s - i. Is q a multiple of 8?
False
Let p be 22/2 - (-5 + 6). Let k(o) be the first derivative of -2*o**3/3 + 21*o**2/2 + 1. Is k(p) even?
True
Suppose 1 = z, -2*i = -0*z - 3*z - 1. Suppose -2*l + 28 = -i*s, -6*s = -4*l - 3*s + 54. Does 3 divide l?
True
Let f(s) = -44*s + 3. Let o be f(-1). Let t = o - 9. Is t a multiple of 13?
False
Let s(y) = -4*y - y**3 + 1827 - 16*y - 1827 - 8*y**2. Is s(-8) a multiple of 25?
False
Suppose -l = -4*q - 37, -q = -4*q + 3*l - 39. Let i be q*(68/(-16))/(-1). Let h = i + 49. Does 15 divide h?
True
Let s(r) be the third derivative of 4*r**2 - 1/2*r**3 + 1/60*r**5 + 0*r + 1/4*r**4 + 0. Is 2 a factor of s(-7)?
True
Let d be 7/7*5*-2. Let n(j) be the third derivative of -j**6/120 - 3*j**5/20 + 5*j**4/12 + 7*j**3/6 + 5*j**2. Is 2 a factor of n(d)?
False
Let m(x) = 2*x + 6 + x - 10*x. Is 9 a factor of m(-3)?
True
Suppose 3 = m, -2*m - 5 = -4*v + 5. Suppose -1026 = -v*z + 5*b, z - b = -31 + 287. Suppose 3*o + g + g = 155, -g - z = -5*o. Is o a multiple of 17?
True
Suppose 0 = 5*v - 4*u - 0*u - 33, -3*u = -v + 11. Suppose 4*o - w - 105 - 54 = 0, 180 = 5*o + v*w. Does 39 divide o?
True
Suppose 0 = k - 5*j - 130, 2*j + 0*j = -k + 116. Does 15 divide k?
True
Let s(u) = -21*u - 1. Let p be s(-1). Let i be 892/p + (-2)/(-5). Is 15 a factor of 1 + (i - (1 + 0))?
True
Suppose 0 = -3*w - 2 - 1, -5*w + 7 = -4*o. Is (14/8)/(o/(-36)) a multiple of 6?
False
Let z(g) = 57*g + 3. Let r(d) = -2*d**3 - 3*d**2. Let u be r(-2). Suppose 4*m - 3 = -3*h + 1, 4 = u*m + 2*h. Is z(m) a multiple of 15?
True
Let p(l) = l**3 - 3*l**2 + 4*l - 6. Let i be p(3). Suppose -4*o = -i*o + 20. Is o a multiple of 3?
False
Let c(q) = -4*q - 7. Let v be c(-3). Suppose 3 = 4*n + t - 294, 4*n - 285 = -v*t. Does 15 divide n?
True
Let s(m) = -25*m - 104. Does 27 divide s(-22)?
False
Let n = -47 - -187. Does 35 divide n?
True
Let g(v) = 2*v**2 - 9*v + 12. Let q be g(3). Suppose -z + 6*x - q*x = -46, -125 = -3*z - 4*x. Does 10 divide z?
False
Let s(b) = b**2 + 11*b - 44. Let v be s(5). Suppose -3*y - 2*y = 170. Let a = v + y. Is a even?
True
Let r(l) = l - 25. Let q be r(25). Suppose q = 5*g - 2*g + i - 89, -3*g + 79 = -4*i. Is g a multiple of 16?
False
Let g(b) = 106*b + 430. Is g(13) a multiple of 16?
True
Suppose 2 = 5*u - 13. Let h(i) = i**3 - i**2 - 5*i + 2. Let k be h(u). Suppose 0 = 3*g - 15, -j + k*j + 3*g = 59. Is j a multiple of 11?
True
Suppose -2345 = -5*y - 4*f, 7*y - 440 = 6*y + 5*f. Does 15 divide y?
True
Let p(o) = o**2 + 7*o + 5. Let t = 8 - 15. Does 4 divide p(t)?
False
Let g = 40 + -38. Suppose -3*o = -x + g*x - 152, 2*x - 297 = o. Is x a multiple of 14?
False
Does 22 divide 10/(-4)*(-4192)/5?
False
Let a(v) = 2 + 97*v - v**3 - 7*v**2 - 12 - 109*v. Is a(-6) even?
True
Let n = -15 - -18. Suppose 4*s + 483 = n*o + 34, -4*s + 433 = 3*o. Does 21 divide o?
True
Let r(n) = n**3 + 9*n**2 + 5*n - 19. Let p be r(-8). Suppose 0 = -c - 2, 0 = 5*j - p*c + 6*c - 248. Is 10 a factor of j?
True
Suppose -s - 4*s + 65 = 0. Let l = s - 10. Suppose -2*p = 4*y - 172, -78 = y - l*y - 5*p. Is 22 a factor of y?
True
Let o = -49 - -53. Suppose d - 5*l = 54, -4*d + o*l - 63 = -279. Does 23 divide d?
False
Let g = 50 - 179. Let v = 296 + g. Does 47 divide v?
False
Let k = 89 + -34. Suppose 2*r - 6*s = -s + 32, -3*r + k = -4*s. Does 7 divide r?
True
Suppose 0 = -2*g + i + 57, 6*g - g - 2*i - 145 = 0. Let c(j) = j**2 + 11*j - 3. Let q be c(-9). Let v = q + g. Does 10 divide v?
True
Suppose 6 - 16 = 5*s. Let n(y) = 18*y**2 - y - 2. Is 18 a factor of n(s)?
True
Let g be (8 - 9)/((-2)/(-8)). Let x(t) = -6*t - 4. Let s be x(g). Suppose -s = -5*q + 60. Is q a multiple of 13?
False
Suppose 5*g = -5*r + 30, -g - 5*r + 9 = 3. Does 11 divide 44/g*((-1 - 2) + 6)?
True
Suppose 0 = 7*q + 17 - 66. Suppose -q*j - 191 = -1290. Is 21 a factor of j?
False
Let u(h) = 2*h**3 - 2*h**2 - 2*h - 116. Let k be u(0). Let n = k - -160. Does 11 divide n?
True
Does 55 divide (-36)/108 - 1982/(-6)?
True
Let t(n) = n**3 - 9*n**2 - 7*n - 15. Let z be t(7). Let j = z - -239. Is 25 a factor of j?
False
Let h(m) = -274*m**3 + 3*m**2 + 25*m + 22. Does 12 divide h(-1)?
False
Let n(s) = 38*s + 5. Let y = 1 + 0. Suppose -k - 17 = -4*h - y, -k = 4. Is 24 a factor of n(h)?
False
Let y(q) = 38*q**3 - q**2 + q. Does 50 divide y(2)?
False
Suppose -4*n = 0, 4 = -2*b + 3*b - 4*n. Suppose -20 = w + b*w. Is 3 a factor of (w/7)/(2/(-14))?
False
Let l be (-2)/11 + (-6538)/(-44)*2. Suppose -9*s + 6*s = -l. Is s a multiple of 22?
False
Suppose 95*d + 3*t = 97*d - 3327, 3*d - 2*t = 4978. Is 24 a factor of d?
True
Suppose 94*m - 91*m - 3432 = 0. Is 22 a factor of m?
True
Let p(k) = 8*k - 8. Suppose -12*m + 11*m + 4 = 0. Let v be p(m). Suppose -106 = -5*r + v. Is 14 a factor of r?
False
Is (-4)/(-16) + (-4476)/(-16) a multiple of 56?
True
Suppose 0 = -3*q + 4 + 2. Suppose -2 - 26 = -q*h. Is 3 a factor of h?
False
Suppose 0 = p + 2 + 3. Does 15 divide (-315)/p - 1 - 2?
True
Suppose -2*t + 4*u - u = -269, 0 = u + 1. Is t a multiple of 8?
False
Suppose 2*q + 12 = 20, 5*q - 1185 = -5*l. Is 3 a factor of l?
False
Suppose -3*p - 9 = -2*p. Let m(a) = -13 - 8 - 7*a - 11 - 1 + 25. Is m(p) a multiple of 11?
True
Suppose 0 = 5*v - 4*b - 4, -v - 2*v + 16 = b. Suppose 0 = 4*n - 4, 5*d + n - v*n = 17. Suppose 8*a - 32 = d*a. Is 7 a factor of a?
False
Suppose -20*h - 5*u = -18*h - 2733, 5*h = u + 6873. Does 14 divide h?
False
Let o(r) = 13*r + 6. Let b(g) = -4*g - 2. Let y(f) = 17*b(f) + 6*o(f). Let l be y(6). Suppose 0 = -4*k - l + 182. Is k a multiple of 11?
False
Suppose 5*h + 4*c = 1259, 0*h + 4*c - 494 = -2*h. Does 15 divide h?
True
Suppose 643 - 145 = 2*d. Does 8 divide d?
False
Suppose -4*q + 13 = 5. Suppose 0*t = -q*t + 28. Is 7 a factor of t*(2/(-4))/(-1)?
True
Is (904/10)/(8*(-8)/(-320)) a multiple of 26?
False
Let s be -1 - ((-2 - 1) + -3). Let j(y) = 7*y - 5. Let r be j(s). Let f = -14 + r. Is 9 a factor of f?
False
Let r be -2 - -2 - (3 + -83). Suppose -7*s + 9 = -4*s. Suppose -s*l = -7*l + r. Is 10 a factor of l?
True
Is 11 a factor of 1013 + (8 - 7) + 1?
False
Suppose -3*b - 20*b + 16951 = 0. Is 85 a factor of b?
False
