1 = -61, 4*d = -r + 163. Is 12 a factor of d?
False
Let p(c) = -8 + c - 4 - c - 4*c. Suppose 9*y - 2*y + 49 = 0. Is 4 a factor of p(y)?
True
Let c = 7 + 8. Let o = c + -12. Does 6 divide o/15 - 276/(-20)?
False
Let f(t) = 4*t**2 - 13*t - 1. Is f(7) a multiple of 52?
True
Suppose -3*s - 5*h = -2715, -8*h + 13*h + 3585 = 4*s. Is 9 a factor of s?
True
Let i(z) = -2*z**3 - 9*z**2 + 5*z - 23. Is i(-8) a multiple of 29?
False
Let s(p) = -38*p**3 - 3*p**2 - 3*p + 1. Let r(v) = -39*v**3 - 2*v**2 - 3*v. Let o(t) = 3*r(t) - 2*s(t). Is o(-1) a multiple of 6?
True
Let n(c) = -c**3 + 6*c**2 - 4*c - 3. Let k be n(4). Let u(l) = l**3 - 14*l**2 + 13*l + 6. Does 3 divide u(k)?
True
Let a be 0 + -48*(-2 - 1). Suppose -4*g + d = -a, -3*d = -2*g - 4*d + 66. Does 10 divide g?
False
Suppose 4*g - 2*t + 50 = 0, -g - 3*g - 53 = -5*t. Let y = g + 20. Does 8 divide y?
True
Suppose 2*s - 185 = 5*a, -17*s + 22*s = 3*a + 491. Does 20 divide s?
True
Let a(k) be the third derivative of 0*k + 0 - 1/8*k**4 - 1/6*k**3 + 9*k**2. Is 25 a factor of a(-13)?
False
Suppose -23*x + 30388 = 281. Is x a multiple of 26?
False
Let x be (15/(-9))/(3/(-90)). Suppose 0 = -6*r + 5*r + x. Does 20 divide r?
False
Suppose 10336 = 2*a + 15*a. Is 38 a factor of a?
True
Let n(x) = x**3 - 8*x**2 - 3*x + 6. Is 17 a factor of n(16)?
True
Let g(m) = 20*m - 84. Does 17 divide g(16)?
False
Suppose -3 = -4*r - 3*t, 3*r - 1 = -2*r - t. Suppose 4*u - 4 = 2*p - 114, r = -4*p + 5*u + 214. Does 3 divide p?
True
Let n = 312 - -373. Is n a multiple of 17?
False
Suppose 4363 - 695 = 14*h. Does 18 divide h?
False
Let d = -3934 + 7129. Is 8 a factor of d?
False
Let r be 1 + (24 - -3) - 0/2. Suppose -2*p - r = -248. Is 20 a factor of p?
False
Suppose 562 = -32*c + 9330. Is 15 a factor of c?
False
Let x(u) = -5*u**2 - 7*u + 36. Let a(k) = 6*k**2 + 6*k - 35. Let p(f) = 4*a(f) + 5*x(f). Does 28 divide p(-12)?
True
Let m(l) = -78*l - 42. Does 33 divide m(-9)?
True
Suppose -2*w + 4*n + 24 = 0, -6 = -2*w + n + 6. Suppose 0 = -4*g - 4, -w*a + g = -7*a - 64. Let f = -13 - a. Is f a multiple of 8?
True
Let b(u) = 0*u + 115*u**3 + u + 4*u - 6*u. Does 19 divide b(1)?
True
Suppose -115 = k + 4*l - 768, -2*k - 4*l = -1298. Is 9 a factor of k?
False
Suppose 5*k + 2*u = 13, 3*u + 2*u = 2*k - 11. Is 10 a factor of (-14)/(k/(-18)*1)?
False
Is 6 a factor of 544/952 - (815/(-7) + -1)?
False
Let h be (2/(-6))/(((-6)/6354)/(-1)). Let t = h - -510. Is 12 a factor of t?
False
Suppose -2*j + 2 = -m, 4*m - j + 39 - 3 = 0. Let h = 12 - m. Is 7 a factor of h?
False
Let k(l) = -7*l - 10. Let g(r) = 25*r - 1. Let f be g(1). Suppose -4*x = 3*s + f, -x - 4*x = 4*s + 31. Does 16 divide k(s)?
False
Is (-755022)/(-999) + 2 + 32/(-18) a multiple of 14?
True
Let a(q) = q**3 - 3*q. Let v(w) = -w**3 + 11*w**2 + 13*w - 9. Let h = -15 + 27. Let i be v(h). Does 13 divide a(i)?
False
Let w(q) = -7*q - 1. Suppose -9*c + 12 = -6*c. Let v be w(c). Let u = v + 66. Is u a multiple of 24?
False
Let n(c) = 55*c**2 - 47*c - 174. Does 39 divide n(-5)?
False
Let b(w) = w**3 - 10*w**2 + 13*w - 4. Let f be -1 - (6 - 8)/(1/5). Is b(f) a multiple of 8?
True
Suppose 212*a - 191*a - 12894 = 0. Does 24 divide a?
False
Suppose 0 = 12*d - 11*d - 37. Suppose d = 5*j - 13. Let n = j - 7. Is 2 a factor of n?
False
Suppose -1873 = -7*b + 472. Does 5 divide b?
True
Let n = -19 + 53. Does 3 divide n?
False
Suppose -z = -113 - 12. Suppose 12*k - 7*k - z = 0. Let d = k - 10. Does 15 divide d?
True
Let q(t) = -t**3 - 2*t**2 + 3*t. Let a be q(-4). Suppose 4*y + a = 0, -8 = -4*o + y + 5. Suppose -3*k + 4*d = o - 74, 4*d + 92 = 4*k. Is 10 a factor of k?
True
Let t = 209 - 120. Suppose -3*m = -t - 79. Is m a multiple of 21?
False
Let d = 29 + 240. Is d a multiple of 72?
False
Let x = 1356 - 501. Is 95 a factor of x?
True
Suppose 0 = 4*h - 5*u + 12 + 3, -6 = -3*h - 2*u. Suppose -2*a + 28 = -h*a + 2*t, 0 = -5*t - 20. Suppose c - 92 - a = 0. Is c a multiple of 22?
True
Suppose 2*t - 315 = 4*q - 3*q, -2*t - 3*q = -335. Suppose 0 = -3*l - 2*l + t. Suppose 5*x - l = 138. Is 17 a factor of x?
True
Suppose 0*y + 4*y - 5*h = -29, -3*h + 15 = 0. Let j(o) = -69*o**3 - 2*o**2 - 2*o - 1. Is j(y) a multiple of 34?
True
Suppose -4*v - 195 - 37 = -2*q, 3*q - 315 = -5*v. Does 24 divide q?
False
Suppose -18*g = -2*g - 13216. Suppose -g = -4*m - 322. Is 21 a factor of m?
True
Suppose -5*b = -2*d + 38, 2*b = 4*d - 0*b - 44. Suppose 40 + 15 = 11*u. Suppose -3*a - d = 0, -67 = -u*j + 3*a + 52. Does 11 divide j?
True
Let n(s) = -s**2 + 12. Let h be n(0). Is 10 a factor of -14*3/h*-22?
False
Suppose 478 = -11*u + 1842. Does 12 divide u?
False
Suppose -2*b + 60 = -36. Is 8 a factor of ((-36)/(-8))/(9/b)?
True
Suppose -3*m = 3*f - 879, f - 586 = -2*m - 0*f. Let k = 174 - m. Is 3 a factor of 6/(-4) + k/(-14)?
False
Suppose 6 = 9*i - 8*i. Suppose -i*s = -4*s - 192. Does 16 divide s?
True
Let h = 7166 - 4186. Is 10 a factor of h?
True
Let j(p) be the first derivative of -3*p**2/2 + 141*p + 2. Is 30 a factor of j(0)?
False
Suppose h + 4*z = 4, -5*h + 2*z = -0*h + 2. Does 11 divide 97 + (-1 - h)/(10/(-20))?
True
Let i = 2622 + -570. Is i a multiple of 18?
True
Let o(n) = -2*n**3 + 49*n**2 - 4*n - 129. Is o(24) a multiple of 32?
False
Let n = 965 - 855. Suppose -3*t = -2*t + 39. Let q = n + t. Is q a multiple of 29?
False
Suppose 0 = 6*y + 12*y - 7848. Is y a multiple of 6?
False
Suppose 6*o + 4*p = 9*o - 1199, -o = -5*p - 385. Is o a multiple of 15?
True
Suppose 5*y = -8 - 2. Let j = y - -4. Suppose -j*a = 0, 30 = p + p - 4*a. Is p a multiple of 15?
True
Suppose y - 5 = 3*m + 12, 5*y + 3*m = -5. Suppose 2*z = 0, 3*t = 5*t + y*z - 296. Does 37 divide t?
True
Let l(c) be the third derivative of 7*c**5/120 - 5*c**4/12 + 11*c**3/6 - 5*c**2. Let w(i) be the first derivative of l(i). Is 37 a factor of w(16)?
False
Suppose -2*a + 120 = -a + d, 5*a + 4*d - 604 = 0. Is 20 a factor of a?
False
Let j = 528 + -371. Is 10 a factor of j?
False
Suppose 2*i + 4*j - 5124 = 0, -64*j + 68*j = -5*i + 12780. Is i a multiple of 39?
False
Suppose -16*o + 1796 + 764 = 0. Does 5 divide o?
True
Let d = -606 - -1871. Let i be (-4)/3 - d/(-15). Let w = i + -46. Is 11 a factor of w?
False
Let u(w) = 3*w + 4*w**2 + 67*w**3 + 6*w**2 + 6*w**2 - 1 - 19*w**2. Does 7 divide u(1)?
False
Suppose 3*f + 3*x - 87 = 0, -3*x + 26 - 7 = f. Is 16 a factor of f?
False
Let d(a) = a - 3. Let c be d(5). Suppose -7*b + 3*b + 58 = o, -c*b - 5*o + 20 = 0. Is 4 a factor of b - 0*3/6?
False
Suppose n + 5 = 18. Let k = 106 + n. Is k a multiple of 17?
True
Let y(l) be the second derivative of l**5/60 - 7*l**4/24 + 7*l**3/3 - 11*l**2/2 - 11*l. Let k(h) be the first derivative of y(h). Is k(8) a multiple of 22?
True
Let c(b) = -2*b + 9. Let t be c(7). Let r be (t - -5)/(-2 - -1). Suppose 3*m + 2*m - 160 = r. Is 14 a factor of m?
False
Does 4 divide -2 + 8 - (-22 + -36)?
True
Suppose 50 = 15*v + 65. Suppose 5*a + 126 = 4*x, -3*a - 29 - 6 = -x. Let o = v + x. Is 4 a factor of o?
True
Suppose 3*h - 3 = 0, -2*t - 3*h + 9 = t. Suppose -216 = -4*i - y, t*y = -0*i - 2*i + 108. Is i a multiple of 13?
False
Suppose -9*g = -8*g. Suppose 5*s - 6*s + 72 = g. Does 27 divide s?
False
Let j = 6775 + -3552. Does 23 divide j?
False
Let d = 5 - 3. Let o(s) = 84*s - 38. Let v(m) = -56*m + 27. Let i(h) = 5*o(h) + 7*v(h). Is 8 a factor of i(d)?
False
Suppose 0 = 5*l - 3*k + 9, -k = -3*l - 7. Let w = 18 - l. Does 9 divide w?
False
Let w(d) = 21*d - 30. Does 20 divide w(10)?
True
Let y = -140 + 261. Does 16 divide y?
False
Let m(b) = -109*b - 4. Let u be m(-6). Suppose 5*g - 882 = 4*i, 0*i = 3*i + 2*g + u. Is 36 a factor of 3/(-4 + i/(-54))?
False
Let k = -159 + 1404. Is k a multiple of 18?
False
Let h = 53 - -51. Suppose -5*j - 50 = -3*u - 2*u, 0 = -4*u + j + 25. Suppose -u*x = -x - h. Is 11 a factor of x?
False
Suppose -168*v + 1365 = -165*v. Is v a multiple of 13?
True
Let j be (((-108)/4)/(-3))/(1/(-20)). Let b = -28 - j. Does 44 divide b?
False
Suppose -3*h = 4*o - 2066, 43 = 2*o + 33. Is h a multiple of 22?
True
Let x = 30 + -28. Suppose 35 = x*v + 3*v. Is v even?
False
Suppose s + 3 - 1 = -w, -3*s = -5*w + 30. Let d be ((5 - w) + -2)/(-1). Suppose y + 5*b - 55 = d, -27 = 4*y - 2*b - 291. Does 18 divide y?
False
Suppose -50*p - 147971 = -123*p. Does 28 divide p?
False
Let c(y) = y**3 -