 + 184 = 4*a. Does 14 divide a?
False
Let c(d) be the third derivative of d**5/60 - d**3/2 - d**2. Let u(y) = -2*y**2 - 32*y - 3. Let b be u(-16). Does 2 divide c(b)?
True
Let f(d) = d + 3*d - 1 + 7*d**2 - 9*d**2 + d**3. Let c be f(3). Let w = c - -6. Is 13 a factor of w?
True
Is 12 a factor of 3861/65 - -1 - (-2)/(-5)?
True
Let d be 6*-2*((-28)/3)/(-4). Let u = d - -108. Is u a multiple of 16?
True
Let h(l) = 25*l + 6. Let i be h(6). Let u = 294 - i. Is u a multiple of 23?
True
Let h = 12 + -6. Is (-1 - h/(-15))*-165 a multiple of 8?
False
Suppose -4*d + 34 = 2*z, -82 = -2*z - 2*z - d. Let i(w) = w**3 + 19*w**2 + w + 31. Let r be i(-19). Let o = z - r. Is 8 a factor of o?
False
Let o be (-56)/(-14)*(-5)/(-4). Suppose 449 = 4*j + 3*n - 403, -o*j = -5*n - 1030. Is j a multiple of 35?
True
Suppose -13*k - 25*k + 30590 = 0. Is 8 a factor of k?
False
Let x = -2569 + 2603. Is 22 a factor of x?
False
Suppose -2*z - 15 = -7*z. Suppose -4*w = 4*b - 52, -z*w - 22 = -2*b - 4*w. Does 5 divide b?
False
Let j = -1902 - -3366. Does 61 divide j?
True
Let z(r) = -435*r - 58. Is z(-4) a multiple of 29?
True
Suppose -3*x - 5*h - 368 = 0, -4*x - 2*h = -3*h + 460. Let i = x + 47. Let o = -18 - i. Does 17 divide o?
True
Let s be 4 - (3 - 3/1). Suppose -g - 27 = -j + 4*j, s*g - 9 = j. Let u = j + 63. Is u a multiple of 17?
False
Suppose -953 + 41 = -2*y + 4*s, 0 = -2*y - s + 922. Is 11 a factor of y?
False
Suppose 7*z = 2*z - 30. Does 2 divide z/18 + (20/(-3))/(-2)?
False
Let o(j) = 43*j + 263. Does 10 divide o(0)?
False
Suppose 8*y = 6*y. Suppose y*u = -3*u. Suppose 2*t + i - 6*i - 54 = u, 2*t + 5*i = 94. Does 26 divide t?
False
Let c(f) = -446*f**3. Let x be c(-1). Does 16 divide x/4 + (-2)/(-4)?
True
Let h(z) = -z**3 + 38. Let q be h(0). Suppose -g + q + 0 = 0. Is g a multiple of 4?
False
Let z be (-16)/(-40) - (-2)/(-5) - -3. Suppose -2*g = 2*b - 10, 0 = -5*g - 0*g - 20. Suppose -b*m + z*m = -60. Is 7 a factor of m?
False
Suppose 3*x + 5*q = 4*x - 132, 4*x + 5*q - 453 = 0. Let p = x - 69. Does 10 divide p?
False
Let v(i) = -i + 23. Let z be v(0). Let s = -13 + z. Does 4 divide s?
False
Let f be 2/8 + 2961/28. Suppose 0 = -4*l - 2*v + f, 2*l - 30 = -4*v + 26. Let m = 62 - l. Is 13 a factor of m?
False
Let q = -87 - -119. Suppose -2*t + 0*t = -q. Is 11 a factor of t?
False
Suppose -2*f - 11 = -5, -8 = d + f. Let l be 2/(-4) - d/2. Does 17 divide -4 - (3 - l*12)?
True
Suppose 391 = -4*p + 4*m - 361, -404 = 2*p + 5*m. Let i be -30*(p/(-20))/(-3). Suppose -1 = -c - u + 87, -i = -c + 3*u. Is 24 a factor of c?
False
Let h = 3673 + -1993. Does 40 divide h?
True
Let s be 349 + 7 + -2 + -1. Let n = s + -221. Is n a multiple of 33?
True
Let s(l) = -2*l**2 - 18*l + 20. Let c be s(-12). Let k = c - -68. Is 4 a factor of k?
True
Suppose 51 = 5*z + 4*c - 8*c, -2*c - 53 = -5*z. Suppose -z*k = -8*k - 33. Is k a multiple of 11?
True
Suppose -f + 4*h - 24 = 0, 5*f + 4*h + 63 = 5*h. Let d = -7 - f. Is d a multiple of 3?
False
Let z(h) = 3*h**2 - 171*h + 36. Is z(72) a multiple of 84?
True
Let n(s) = -799*s + 15. Let u be n(-6). Is 11 a factor of (-2)/5 + u/35?
False
Let f = -5 - -8. Let j = -6 + f. Is 7/(j - (-76)/24) a multiple of 10?
False
Let m = 1095 + -894. Does 57 divide m?
False
Let i = -914 - -2244. Is 14 a factor of i?
True
Let g(k) = 2*k + 32. Let l be g(0). Suppose 28*f - l*f + 220 = 0. Does 36 divide f?
False
Suppose 0 = p + 3*h - 70, -2*p + 0*h - 4*h = -130. Let l(a) = a**3 - 7*a**2 + 9*a - 12. Let r be l(6). Suppose -p - r = -f. Is f a multiple of 23?
False
Let i(l) = l**2 + 2*l - 5. Let r be i(-4). Let m = r - -1. Suppose -m*h + 50 = -10. Is 7 a factor of h?
False
Let r = 20 + -24. Is 3 a factor of (-1*32)/(-2) + r?
True
Let w be (6/4 - 0)/(1/2). Does 24 divide (1 + w)*(-300)/(-48)?
False
Let y = 4 + -1. Suppose y*x - 37 = -5*d, 0 = -0*d - d + 5. Is 47 - (32/4)/x a multiple of 22?
False
Suppose 4*x - 1006 = -5*k, -5*k + 430 = 2*x - 78. Suppose 5*r = 15, -3*a + r = -0*r - x. Is a a multiple of 14?
True
Let r(p) = 3*p**3 - p**2 - 4*p - 2. Let x be r(-1). Does 13 divide 96/60*5/x + 121?
True
Let r(m) = 10*m**2 + 2*m + 26. Is 22 a factor of r(8)?
True
Let m(j) = -j. Let i(d) = -5*d - 12. Let s(n) = -i(n) + 6*m(n). Let f be s(8). Suppose 4*h + 2*b - 3*b = 79, f*h + b - 81 = 0. Does 10 divide h?
True
Suppose 5*d - 107 = -5*p + 4043, -p + 3*d + 826 = 0. Does 12 divide p?
False
Let a = -259 - -383. Does 18 divide (-16 + 1)*(-1 - a/20)?
True
Is -51 + 55 - -35*79 a multiple of 13?
True
Suppose 10108 = 51*d - 37*d. Is d a multiple of 30?
False
Let j(d) = -3*d + 37. Let o be j(15). Let b(p) = p**3 + 9*p**2 + 8*p + 14. Is 8 a factor of b(o)?
False
Let r = 316 + -282. Does 10 divide r?
False
Suppose -3*c - 5*a + 30 = 0, 3*c - 3*a = -0*c + 6. Suppose 2*x - 17 + c = 0. Let l(j) = 4*j - 13. Is l(x) a multiple of 2?
False
Let r = -775 - -1384. Is r a multiple of 21?
True
Let s(z) = -11*z + 3*z + 3*z + 2*z + 21. Does 11 divide s(-7)?
False
Let f(n) = 8*n + 64. Let y(w) = 3*w + 21. Let b(a) = 4*f(a) - 11*y(a). Does 8 divide b(9)?
True
Let o = 254 - -495. Is o a multiple of 7?
True
Let w(t) = 182*t**2 - 1. Let m be w(1). Suppose -2*z = -165 - m. Does 34 divide z?
False
Let m(l) = l**2 + 11*l + 21. Let x be m(-9). Suppose s = -x*r + 14, 2 = -0*r - 2*r. Is s even?
False
Suppose -i + 21 = 2*i - 3*w, 5*w = -4*i + 1. Suppose 4*k - 41 = -q, -3*k = 2*q - i*k - 82. Is q a multiple of 12?
False
Let v(r) = 48*r - 50. Let w be v(5). Suppose s = 2*s - w. Is 14 a factor of s?
False
Is (-285 + 3)*6/(-4) a multiple of 32?
False
Suppose 3*y = 5*y + 4. Let o be ((-32)/(-40))/(y/25). Is ((-15)/o)/((-1)/(-58)) a multiple of 29?
True
Let z(f) = 13 - 2 + 13 + 3 + 20*f. Is z(7) a multiple of 17?
False
Suppose 3*c - 6 - 6 = 0. Suppose 50 = 5*s - c*y - 2, s - 14 = -y. Is 6 a factor of s?
True
Suppose -2*t + c + 4*c + 51 = 0, 27 = t - 2*c. Suppose 20 - 20 = 6*v. Suppose v*r + 2*d + 47 = 3*r, 5*d + t = r. Is r a multiple of 10?
False
Suppose 4*h = k - 3*k + 398, -95 = -h + 4*k. Let n be (1 + h)*(-10)/(-4). Suppose -8*c = -3*c - n. Does 15 divide c?
False
Let i(x) = 5*x**3 + x**2 - 14*x + 6. Let t(n) = -2*n**3 + 5*n - 2. Let r(m) = 3*i(m) + 8*t(m). Let l be r(7). Is 8 a factor of (-15)/2*l/65?
True
Let v = -2 + 3. Let h be 42 - ((2 - v) + 0). Suppose -3*f + 69 = -u, -4*f - u + h = -2*f. Is f a multiple of 6?
False
Let c(p) = 48*p - 156. Let a be c(3). Let k(t) = t**2 - 5*t + 5. Let b be k(6). Let i = b - a. Does 17 divide i?
False
Let r(b) = b**3 + 21*b**2 - 24*b + 23. Let m(w) = 6*w**3 + 106*w**2 - 121*w + 116. Let h(k) = 2*m(k) - 11*r(k). Does 13 divide h(18)?
False
Let j = 24 - 39. Let q = 417 - 379. Let s = q + j. Is 6 a factor of s?
False
Let f(x) = -166*x**3 + 4*x**2 - 4*x - 8. Is 3 a factor of f(-1)?
False
Let i(o) = 5*o + 22. Let u be i(-5). Is 4 a factor of ((45/(-2))/u)/((-3)/(-8))?
True
Suppose j - 1 = 19. Suppose 5*p - p - j = 0. Suppose -3*n + 264 = -4*x, 0*x - p*x + 88 = n. Does 22 divide n?
True
Let a(g) = 2*g**2 + 3*g - 6. Let q be a(5). Let b = q + 4. Is 11 a factor of b?
False
Suppose -4*l + 1354 = -1058. Suppose 4*h = 3*z - 228 + l, 3*h = -4*z + 275. Suppose h = 4*i - 63. Is 12 a factor of i?
False
Let v be (-99)/(-45) - (-1)/(-5). Suppose 5*y - v*i - 70 = 0, 3*y + 0*y - 3*i - 33 = 0. Is y a multiple of 16?
True
Let c(v) = v**2 + v + 2. Let k be c(0). Is -11*(k - 1)/(-1) a multiple of 10?
False
Let n(l) be the first derivative of -l**5/20 - 4*l**4/3 - 2*l**3/3 + 6*l**2 + 14*l + 9. Let i(u) be the first derivative of n(u). Is 21 a factor of i(-16)?
False
Let b = -60 + 63. Is 3 a factor of (b - 20/5) + 8?
False
Suppose 54 = -5*i - 4*u, -3*u - 36 = 2*i - 5*u. Let z = 20 + i. Does 4 divide z?
False
Let l = -32 - -35. Suppose -3*g = -w + 66, g = -4*w + l*w + 50. Is 9 a factor of w?
True
Suppose -2*q - 7 + 28 = 3*p, 5*p + 9 = 4*q. Let c(u) = 3*u**2 + 5*u - 14. Let g(k) = -7*k**2 - 10*k + 28. Let y(m) = -9*c(m) - 4*g(m). Is y(q) a multiple of 13?
False
Let l(z) be the second derivative of -2*z + 0 - 17/6*z**3 - z**2. Does 16 divide l(-2)?
True
Suppose 4*s = -3*j + 26, 3*j - 8 = -j. Suppose -m - s*g + 49 = -44, 5*g = m - 143. Suppose 0 = 3*t - 5*l - 145, -4*l = -2*t - 6*l + m. Does 17 divide t?
False
Let w = 282 + 12. Let n be 6/15 - w/(-15). Suppose -3*g = -g - n. Is 10 a factor of g?
True
Suppos