 -5*x - 3*d + 115. Is x a multiple of 23?
True
Let w(b) = -52*b**2 + b + 1. Let h be w(-1). Let k be (-1)/(-3) - h/6. Suppose -c = -k - 22. Does 19 divide c?
False
Suppose 0 = 2*l + 3*l. Suppose l = -a - 4 + 13. Is a a multiple of 5?
False
Let j be (-1)/(-3) + 411/9. Suppose c - 5 - 12 = -2*x, 3*x + j = 5*c. Is 5 a factor of c?
False
Let y be (2 + 5/(-2))*-2. Let a be y + -6*(-4)/6. Suppose 2*f = -2*q + 6, 9 = a*q - 5*f - 6. Is q even?
False
Let q be 3/(-6) + (-10)/(-4). Suppose 3*l + 2 = q*l. Let x = l + 23. Is x a multiple of 14?
False
Let j(m) be the third derivative of -2*m**6/15 - m**5/30 - m**4/8 - m**3/3 - 7*m**2. Does 9 divide j(-1)?
False
Is 11 a factor of ((-22)/(-3))/((-8)/(-24))?
True
Suppose 0 = 3*v + 4*f - 0*f - 374, 4*v + 2*f - 502 = 0. Does 7 divide v?
True
Let c(j) = j**3 + j**2 - j + 1. Let p be c(1). Suppose -p*d = -0 + 10. Let x(t) = -2*t + 1. Is 6 a factor of x(d)?
False
Suppose y + 3*a = -3*y + 502, -3*y = -2*a - 385. Let n = -68 + y. Is n a multiple of 9?
False
Let j(n) = -n**3 + 6*n**2 + 8*n - 5. Let l be j(7). Suppose l*s = 4*m - 190, 2*m + m - 165 = -3*s. Does 21 divide m?
False
Suppose 0 = -3*v + 5 + 13. Let q(c) = 2*c + 17. Let x(g) = g + 9. Let f(s) = 3*q(s) - 5*x(s). Is 6 a factor of f(v)?
True
Let x(l) be the third derivative of -23*l**4/24 + l**3/3 - 3*l**2. Is 16 a factor of x(-2)?
True
Let s be (0/(-1))/(-2) - -9. Let q(j) = j**2 - 7*j + 4. Is q(s) a multiple of 11?
True
Suppose 2*m - 4*g = -9*g - 25, 15 = -3*m - 3*g. Suppose 5*f + 2*n = 42, -2*f + m*f + 12 = 2*n. Is 10 a factor of f?
True
Suppose 51 = -3*k + 3*o - 39, 126 = -4*k + o. Let p(g) = -g**3 + 8*g**2 - 5*g + 2. Let a be p(5). Let z = k + a. Is z a multiple of 12?
False
Let o(j) = j**2 + 5*j + 3. Let y be o(-5). Suppose -2*h = 5*p - 118, -2*p = -5*p + y*h + 75. Is p a multiple of 10?
False
Suppose -b - 5*l = -8, b - 3*l = 5*b + 19. Let t(v) = v**3 + 6*v**2 - 11*v - 6. Does 18 divide t(b)?
False
Let u(t) = 2*t**3 - t**2 - 4*t + 1. Is u(3) a multiple of 17?
True
Let a = 51 - -59. Is 11 a factor of a?
True
Let z(b) = b**2 - 2*b. Let r(a) = -a - 2. Let s be r(-6). Does 8 divide z(s)?
True
Let u be (-5)/25 + (-662)/(-10). Suppose 5*l = u - 16. Let g = l - 5. Is 2 a factor of g?
False
Suppose 4*q - 3*q + 2*s = 8, -4*s = -q - 10. Let b(f) = 2*f**2 + 9*f + 2*f + 0*f**q + 5. Is b(-7) a multiple of 13?
True
Let d be (12/(-15))/(6/(-135)). Suppose -3*z + 152 = -5*s, -s + 2*z = 11 + d. Let h = 76 + s. Is 15 a factor of h?
True
Let h(r) = r**3 + 27. Does 4 divide h(0)?
False
Let g = -94 - -54. Let b = -12 - g. Let j = b + -11. Does 6 divide j?
False
Let z(d) = -35*d + 2. Does 16 divide z(-14)?
False
Let c(q) = 21*q + 1. Is c(4) a multiple of 12?
False
Is 6 + -6*4/(-8) a multiple of 3?
True
Suppose 32 + 0 = 4*r. Does 8 divide r?
True
Let p = 499 + -326. Is p a multiple of 7?
False
Suppose -4*n = -0 - 8. Suppose -n*z = 2, 2*d + 3*d - 35 = -5*z. Let c = d - 5. Does 2 divide c?
False
Is 12 a factor of 16/((9/(-15) - -1)/1)?
False
Let t = -16 - -45. Is t a multiple of 19?
False
Let q be (-13)/4 + 1/4. Let o be -3*(3 - 9) - q. Suppose 3*c + 0*c = -2*r + 39, 3*r - o = -2*c. Is 11 a factor of c?
False
Let t(c) = 6*c + 14. Let p be t(-11). Is p/(-4) - (0 - 1) a multiple of 5?
False
Let w(n) = 2*n + 7. Let j(i) = 2*i + 6. Let f(k) = -3*j(k) + 2*w(k). Is f(-5) a multiple of 2?
True
Let m(s) = -s. Let p be m(-1). Let k(f) = 16*f**3 - f**2 + f - 1. Is 8 a factor of k(p)?
False
Let b = 370 - 199. Is b a multiple of 19?
True
Suppose h - n = 31, 19 = h + n + n. Is h a multiple of 27?
True
Let w be (9/(-6))/(3/(-6)). Suppose -w*a + 0*p = 3*p - 72, -5*a - p = -108. Is 7 a factor of a?
True
Suppose -10*b + 4*b + 732 = 0. Does 30 divide b?
False
Suppose 0 = -3*k + 4*b + 12, -b = -2*k + 7 + 1. Suppose k*v = -5*t + 166, -2*v - 4*t = -133 + 47. Does 23 divide v?
False
Suppose -5 = -5*f + 30. Suppose r - 12 - f = 0. Does 19 divide r?
True
Suppose 5*t + 3 = 4*t. Let s be 5 + 2 + (-3)/t. Suppose -x + 0*x = -s. Does 8 divide x?
True
Is (1 - -374)/(12/8) a multiple of 50?
True
Suppose -40 - 146 = -3*x. Suppose 2*n = -0*u - 2*u + x, -3*n - 99 = -3*u. Does 13 divide u?
False
Suppose -w = 4*w - 1225. Let q = w - 135. Suppose q = 4*r + 6. Is r a multiple of 12?
False
Let l = 3 - 3. Suppose 4*w - 297 = -3*y - 40, 3*w - y = 209. Suppose -3*s + 28 + w = l. Does 16 divide s?
True
Let p(u) be the second derivative of u**8/6720 + u**7/1260 + u**6/720 - u**5/120 + u**4/3 - u. Let k(t) be the third derivative of p(t). Does 22 divide k(3)?
False
Let h(f) = f**3 - 5*f**2 - 8*f - 1. Let m be h(7). Suppose -m = -p - 5. Is 18 a factor of p?
True
Let r(h) = -141*h**3 - h**2 - h - 1. Is 10 a factor of r(-1)?
True
Let m(z) = 40*z**2 - 3*z - 4. Is m(-2) a multiple of 27?
True
Let x(l) = l**3 + 5*l**2 - 9*l - 6. Let g = -5 - -8. Suppose -s = g + 3. Is 6 a factor of x(s)?
True
Suppose -2*u = -10*u + 1536. Is u a multiple of 16?
True
Let v = -2 - -5. Is 17 a factor of v*(-76)/(-18)*3?
False
Let s = 5 - 8. Let y = s - -6. Suppose 2*o - 4*z - 70 = 0, 6*o - y*o - 3*z = 96. Is 13 a factor of o?
False
Suppose p + 2*k = 2, -2*k = -5*p - 7*k - 5. Does 4 divide p*(-3 - (-14)/8)?
False
Let w be ((-39)/2)/((-2)/4). Suppose 3*b - c = 26, -c - 7 = -5*b + w. Let q = b + 4. Is 10 a factor of q?
False
Let l(h) = h**2 + 4*h - 10. Let o be l(-6). Suppose -5 - 9 = -o*c. Is 7 a factor of c?
True
Let b = -15 - -11. Let c be 6/b*8/(-6). Suppose -c*n = -n - 20. Does 13 divide n?
False
Let r(i) be the second derivative of -i**6/360 - i**5/12 - 5*i**4/12 + i**3/2 - i. Let z(t) be the second derivative of r(t). Is z(-7) a multiple of 11?
True
Let j be 183/9 - (-4)/6. Suppose -4*r = -7*r + j. Let a(g) = -g + 15. Is a(r) a multiple of 4?
True
Let j be (1 + 7/(-2))*-2. Is (-16)/(-16) + j*1 a multiple of 2?
True
Let u(o) = o**2 - 5*o - 1. Let v be (-52)/(-14) - (-8)/28. Suppose 3*j = -0*n - 4*n + 38, 4*j = 4*n + v. Is 4 a factor of u(j)?
False
Let i(g) = 15*g**2 + 4*g - 7. Is 6 a factor of i(2)?
False
Suppose 0 = 5*f - 6*f + 45. Suppose f = 2*l - 3. Is l a multiple of 8?
True
Suppose 3*h = 4*s + 4, 0*h + 4 = 4*h - 4*s. Is 17 + h + 1 + 3 a multiple of 10?
False
Let d = -34 - -84. Is d a multiple of 25?
True
Suppose 0 = -4*s + 2*j + 326, -3*s + s = 5*j - 157. Is 12 a factor of s?
False
Let c = 1 + 6. Let l(a) = a - 2 - 6*a + c*a. Is l(4) a multiple of 3?
True
Let q(z) = 7*z**3 + 29*z**2 - 16*z - 3. Let t(d) = -3*d**3 - 14*d**2 + 8*d + 1. Suppose 18 = -2*c - 0*c. Let x(w) = c*t(w) - 4*q(w). Does 12 divide x(9)?
True
Suppose s + 14 = 2. Let y = 3 - s. Does 12 divide y?
False
Suppose -7*a + 44 = -3*a. Let j(r) = -r**2 - 7*r - 4. Let t be j(-6). Suppose a = n - t. Is n a multiple of 13?
True
Let a be -2 + 2*1/2. Let h = -1 - a. Suppose h = n + 2*d - 12 + 3, 4*d + 96 = 4*n. Is 19 a factor of n?
True
Let i(t) = -23*t + 3. Let h be i(2). Let m = -15 - h. Suppose 0 = -5*c - 2 - 8, -4*c + m = u. Is u a multiple of 13?
False
Let f = -1 + -7. Let o be -1 - -1 - f/2. Let a(w) = -w + 8. Is a(o) even?
True
Let w(c) = c**2 - 6*c + 7. Let b be w(5). Suppose b*u - 7 = 55. Is u a multiple of 10?
False
Let k = 6 + -10. Let s = 2 - k. Is s a multiple of 6?
True
Suppose -r = -0*r + 12. Is 12 a factor of (r/(-18))/(2/96)?
False
Suppose -6*w + 17 = -w - 2*h, w = h + 4. Does 6 divide (15/(-6) + w)*38?
False
Suppose -6 - 10 = -4*i, -4*i = 4*n + 16. Does 3 divide 0 + (3 - 1 - n)?
False
Suppose 33*f = 35*f - 192. Is 13 a factor of f?
False
Suppose 4*z + 4*c = 8, 4*c = 2*z - 3*z + 11. Let l = 1 + z. Suppose l = -4*b + k - 2*k + 191, -15 = -5*k. Is 15 a factor of b?
False
Let r be 220/14 + 4/14. Does 5 divide (r/6)/(4/24)?
False
Let k be -1 - (-1)/(1/321). Suppose k = 3*p + 2*p. Suppose -i + p = -d, 196 = 3*i - 2*d + d. Does 25 divide i?
False
Suppose 5*v - 200 = 3*h, 136 = v + 2*v - 5*h. Is 12 a factor of v?
False
Suppose 6*u - p - 13 = u, 6 = -2*p. Let a = -6 + 18. Suppose k = -u + a. Does 5 divide k?
True
Let f be 400/(-3) + 2/6. Let z = -89 - f. Does 17 divide z?
False
Suppose 2*c + 3*l = 292, c + 0*l - 124 = 4*l. Does 35 divide c?
True
Let k(l) = -2*l - 13*l + 2*l - 14 - l**2 - 4*l. Is 16 a factor of k(-14)?
False
Let l(m) = m**2 - 2*m + 3. Let h be l(5). Is 14 a factor of 248/6 + h/27?
True
Let i be ((-47)/4)/((-2)/8). Suppose -1 - i = -3*c. Is c a multiple of 15