 = -3*a - 13. Is p(a) even?
False
Let j(r) be the third derivative of 23*r**6/120 - r**5/60 + r**4/24 + 2*r**2. Is 5 a factor of j(1)?
False
Suppose -4*z + 138 = -z. Suppose -3*x + z = 10. Is x a multiple of 12?
True
Let d = 222 + -88. Let f = d - 53. Is 22 a factor of f?
False
Suppose -8*t + 3*t = 2*g - 40, 3*g + 2*t = 38. Suppose 3*n - 242 = 5*i, -i - g = -3*i. Is 4 a factor of n?
False
Is 78 a factor of (-5481)/(-174)*156/7?
True
Is 8640/28 - -5*24/(-210) a multiple of 14?
True
Let u(f) = -3*f**3 - 4*f**2 + f + 2. Let k be u(-3). Suppose 4*j - 193 = -3*v, 5*v - 5*j - 284 - 96 = 0. Let h = v - k. Does 4 divide h?
False
Let m = 120 - 36. Does 3 divide m?
True
Is 11 a factor of ((-60)/8 + -4)/(3/(-522))?
False
Let d(h) = -2 + 9*h - 40*h - 9*h. Does 18 divide d(-3)?
False
Suppose 37 - 33 = 4*b. Does 25 divide b/(-7) + (-7010)/(-70)?
True
Let f(z) = -70*z + 115. Does 33 divide f(-13)?
False
Suppose 5*f - 1048 = -4*d + 3*f, -d = -f - 268. Is 22 a factor of d?
True
Let t = -102 + 114. Suppose -m - t = -5*x, 5*m = m + 3*x + 20. Is 6 a factor of m?
False
Let k = -93 - -406. Suppose 14*u = -3*z + 13*u + 671, -442 = -2*z + 2*u. Let j = k - z. Does 15 divide j?
True
Let j(y) = -y**3 + 8*y**2 + 10*y - 5. Let w be j(9). Suppose -2 + w = s. Suppose -6*h = -s*h - 232. Does 29 divide h?
True
Suppose 2*l + l + 339 = 2*w, 2*w + 2*l - 364 = 0. Does 6 divide w?
False
Let g(p) = -3*p**3 + 5*p**2 + p - 63. Let w(m) = -2*m**3 + 4*m**2 + m - 64. Let l(i) = 3*g(i) - 4*w(i). Is l(0) a multiple of 3?
False
Suppose 3*u - 1059 + 642 = 0. Does 38 divide u?
False
Let q(l) = 5*l**2 + 147*l - 18. Is q(-38) a multiple of 73?
False
Let y(m) = 7*m. Let v be y(8). Suppose -2*c = -3*c - v. Is 15 a factor of 4/((c/60)/(-7))?
True
Let z(l) be the second derivative of -2*l**3/3 + l**2/2 - l. Suppose 13 = -2*p - 2*f + 3, 2*p = 5*f + 4. Does 4 divide z(p)?
False
Let o(p) = 1053*p**2 + 8*p - 5. Does 32 divide o(1)?
True
Let y(x) = 17*x + 121. Let c be y(-7). Suppose 3*d = 48 + 48. Suppose 0 = 5*i - 2*i - 4*t - 136, -i - c*t + d = 0. Is 8 a factor of i?
True
Let t(y) = -y - 4. Let z be t(-4). Suppose 4*n = 2*x - 20, -2*n - 4 + 2 = 0. Suppose -98 = -2*c - z*c + 5*u, 0 = -4*u - x. Is c a multiple of 22?
True
Suppose 16 = 9*b - 5*b. Is 87*(b + -5 + 2) a multiple of 16?
False
Let o(c) = 125*c**3 - 14*c**2 + 24*c - 3. Is 23 a factor of o(2)?
True
Let k = 110 + -108. Suppose -o + 936 = 3*o + k*i, 0 = -o - 2*i + 240. Is o a multiple of 8?
True
Suppose 107 = -12*c + 755. Does 28 divide (3 - 4 - -4) + c?
False
Let f(l) = -3*l + 2. Let k be f(2). Let b(m) = -2*m**3 - 226 + 4*m**3 + 450 - 6*m - 225 + 8*m**2. Does 6 divide b(k)?
False
Let k be (1/(6/(-4)))/((-24)/108). Suppose 0 = -3*j + t + 20, 0 = k*j + 5*t - 36 + 10. Does 3 divide j?
False
Let h(f) be the third derivative of -2*f**2 + 1/4*f**4 + 0 + 0*f - 1/6*f**3. Is h(5) a multiple of 18?
False
Suppose 5*x = j + 14626, -4*j + 507 = 2*x - 5361. Does 69 divide x?
False
Let w(u) = -11*u + 1. Suppose 0*v - 1 = v. Let r be (-2)/(v + (-12)/(-8)). Is 15 a factor of w(r)?
True
Let c(r) = -2*r + 10. Let w be c(5). Let i(l) = l**3 - 2*l**2 - 7. Let z be i(w). Let x = z + 10. Is 3 a factor of x?
True
Let t(i) = i**3 + 6*i**2 - 6*i + 5. Let j be t(-7). Let w(z) = -z**3 - 3*z**2 + 2*z. Let n be w(-3). Does 11 divide j/(-6) - 196/n?
True
Suppose 0 = -7*g + 3*g + 1336. Is g a multiple of 25?
False
Let d = -6170 + 9271. Is 13 a factor of d?
False
Let q be -10*((-28)/(-8) + 0). Let m = 84 + q. Let s = m - 13. Is 7 a factor of s?
False
Let f(j) be the second derivative of -j**3/3 + 8*j**2 - 19*j. Does 28 divide f(-6)?
True
Let j be (-1)/5 - 26/(-5). Suppose y + 3*t = 5*y - 45, j*y + 2*t = 62. Is y a multiple of 3?
True
Suppose 4*q + 3*q = 4*q. Suppose q = -22*m + 21*m + 25. Is m a multiple of 6?
False
Suppose -3*g = -l - 0 - 3, l = g - 3. Let c be (-30)/(-4) + (-3)/(-2). Suppose -r = -3*x - c, 4*r + g*r - 70 = -5*x. Is r a multiple of 15?
True
Let o = 2 + 14. Let f = 5 + o. Suppose -s + 3*s + f = 3*t, 3*s = 9. Is t a multiple of 9?
True
Suppose -3*w + 2*w + 315 = -5*d, 1638 = 5*w - 4*d. Is w a multiple of 22?
True
Suppose 5*v + l = 4, 16 = v + 2*l + 2*l. Let f = 3 + -7. Is 16 a factor of 13 + v - (-7 - f)?
True
Let h(p) = -p**3 + 9*p**2 - 7*p + 12. Let x(b) = 6*b**3 - 44*b**2 + 34*b - 60. Let n(r) = -11*h(r) - 2*x(r). Is 9 a factor of n(-13)?
False
Let v be (-4 - (2 - -12)) + 4. Let z be 108 - 7/(v/4). Suppose -4*f - 3*m = -z - 46, 2*f = -m + 76. Is f a multiple of 9?
True
Suppose 0 = -0*u + 7*u + 14. Is (-1806)/(-15) - u*(-3)/15 a multiple of 18?
False
Let p(l) = l**2 - 13*l + 7. Let f be p(12). Let d be 8/(((-15)/(-6))/f). Let u = 61 + d. Does 15 divide u?
True
Let q(z) = -38*z - 432. Is 5 a factor of q(-19)?
True
Does 34 divide (1/2)/(2/808)?
False
Suppose -21 = 3*k - 6*k + 3*n, -3*n - 15 = -k. Suppose -5*a + 426 = 2*m, k*a + 2*m - m = 256. Let b = a - -32. Does 24 divide b?
False
Let r = -185 + 477. Is 15 a factor of r?
False
Suppose -9*h + 41 = -40. Let b = h - -70. Is 8 a factor of b?
False
Suppose -33*y - 4*t = -28*y - 229, -4*y = -3*t - 208. Is y a multiple of 13?
False
Suppose 0 = 4*g - 81*g + 142219. Is 31 a factor of g?
False
Is 32 a factor of (-214613)/(-129) + 2/6?
True
Suppose 2*u - 2 = u. Let w(r) = -r**3 - 7*r**2 - 6*r. Let l be w(-6). Suppose 0 = -2*g - u*c - 0*c + 48, l = 5*g + c - 120. Is 12 a factor of g?
True
Let j(c) = -c**3 + 26*c**2 + 66*c + 20. Is 12 a factor of j(28)?
True
Suppose -2*p = -x + 209, 5*p - 2*x + 4*x = -518. Let o be (2/6)/((-2)/(-12)). Is (-10 + 9)/(o/p) a multiple of 13?
True
Let b be 14413/261 + (-4)/18. Does 48 divide (-2)/11 + 14090/b?
False
Let m(l) = 4*l - 14. Suppose -3*f + 2*f - 9 = -5*p, 14 = 2*f - 2*p. Does 15 divide m(f)?
True
Suppose -186 - 1198 = -4*x. Is x a multiple of 13?
False
Let b = -1294 - -1334. Is b even?
True
Let v = -138 + 527. Is 21 a factor of v?
False
Let w(r) = 8 + 19*r + 9 + 4 - 4*r + 5*r**2. Let n(q) = q**2 + 4*q + 5. Let s(p) = 9*n(p) - 2*w(p). Is 2 a factor of s(6)?
False
Suppose 10 = -3*z - 32. Let b be (-8)/56 - 2/z. Let f(m) = -m**2 + 44. Does 14 divide f(b)?
False
Let q = 128 - 209. Let n be (-2)/9 + (-261)/q. Suppose 4*k - 240 = -n*v, -3*v + 184 = 2*k + 70. Is k a multiple of 21?
True
Suppose -i + 49 = -63. Let j = 11 + -3. Suppose j*p - i = 4*p. Is p a multiple of 14?
True
Suppose -2*b - 240 = 4*b. Is (-632)/b - 6 - (-2)/10 even?
True
Suppose -13*y + 20*y - 1568 = 0. Does 10 divide y?
False
Suppose 0 = 5*h - 9*h. Suppose 3*y - 39 = -z - h*z, 0 = -2*z - 3*y + 66. Is 5 a factor of z?
False
Let q = 1035 + -619. Is 16 a factor of q?
True
Let f be (4/5)/((-5)/100). Is (-85)/(-2) + 8/f a multiple of 18?
False
Let p be (-57)/(-11) + 6/(-33). Does 5 divide (2 + 44)*p/10?
False
Suppose u - 17 - 23 = l, 5*u - l = 200. Is (31 + -4)/(((-84)/u)/(-7)) a multiple of 10?
True
Suppose -12*l + 4*l + 96 = 0. Does 12 divide 2/l - 2365/(-66)?
True
Let i(v) = 42*v**2 - 4*v. Let h be i(-3). Suppose 6*y = -0*y + h. Is 13 a factor of y?
True
Let w = -288 - -426. Is 4 a factor of w?
False
Suppose -2*d + 2*l - 14 = 0, -4*d = -l - 0*l + 16. Let s be d/15 + 16/5. Suppose -58 = -2*m - s*c, -3*m + 3*c = 23 - 125. Is m a multiple of 12?
False
Suppose 15 = -3*l - 2*l. Let f = l + 22. Is 4 a factor of f?
False
Suppose 1751 = -46*y + 51*y + x, y - 4*x = 346. Does 14 divide y?
True
Suppose 3246 = 3*w - 921. Does 52 divide w?
False
Suppose 2315 = 7*b - 1780. Is 39 a factor of b?
True
Suppose -4*x - 3 = -z, -5*z + 2*z + 19 = -2*x. Let v be 2/3*(z + -4). Suppose -v*o + 7 = 2*h - 121, 4*o = h + 266. Is o a multiple of 22?
True
Let v(z) = -4*z - 20. Suppose i - 4*s + 1 = -7, 2*s = i + 8. Let a be v(i). Suppose -3*b + 5*x = -47, 2*b + a = 2*x + 42. Is b a multiple of 14?
True
Suppose -4*v + 1576 = 4*d, -2*v + 5*v - 1181 = -4*d. Is 10 a factor of v?
False
Let x(w) = 9*w**3 - 5*w**2 + 7*w - 61. Let p(c) = 5*c**3 - 3*c**2 + 4*c - 31. Let f = -2 - 2. Let r(v) = f*x(v) + 7*p(v). Does 19 divide r(0)?
False
Is 82 a factor of (42/(-343)*-28)/(6/2667)?
False
Suppose 2555 + 2405 = 5*h. Is 62 a factor of h?
True
Is 406/2 - 5/((-20)/(-12)) a multiple of 25?
True
Let x = -50 + 52. Suppose 0 = x*m - 4*u - 2, -m - u - 4 = -2*m. Does 7 divide m?
True
Let l(a) = -167*a + 23. Is l(-1) a multiple of 7?
False
Let l = -23 + 209. Let k = -54