8*k + 13. Let q = 43 - 26. Does 15 divide u(q)?
True
Let b(o) = -4*o - 5. Let x be b(-8). Suppose 5*z = 2*z - 15. Let f = z + x. Is 22 a factor of f?
True
Let v = -34 - -133. Is 11 a factor of v?
True
Let v(k) = 6*k**3 + k**2 - 2*k + 2. Let z be v(2). Let w = 75 - z. Does 14 divide w?
False
Is 15 a factor of 135/6*((-10)/(-6) + 1)?
True
Let w = 100 - 49. Is 16 a factor of w?
False
Let s(j) = 3*j**2 + 10*j. Let w(h) = 16*h**2 + 51*h. Let d(o) = -11*s(o) + 2*w(o). Does 5 divide d(-6)?
False
Let t(p) = p**3 + p**2 + 1. Let a(y) = 18*y**3 + 6*y**2 + 2*y + 7. Let q(l) = -a(l) + 6*t(l). Is 13 a factor of q(-1)?
True
Suppose 9 = 2*q - 3. Suppose q*l = 3*l + 30. Suppose 2*u = l, 3*c + 0 + 2 = 4*u. Is 4 a factor of c?
False
Let k(v) = 2*v + 2. Let n be k(3). Suppose -8*h + 4*p = -4*h - 28, -5*p - n = 4*h. Let c(r) = 2*r + 2. Is c(h) a multiple of 8?
True
Suppose -3*k + 3594 = 3*d, 4*k + 1516 = 3*d - 2064. Does 12 divide d/44 + (-2)/11?
False
Suppose c + c + 32 = 0. Let k = 25 + c. Does 3 divide k?
True
Suppose -h = -8 + 2. Suppose 2*i = -5*k + 7, 2*k = 4*i + 6*k - 20. Suppose -3*f - 2*f = -2*t + i, 3*f + h = 2*t. Is t even?
False
Let a(p) = 2*p**2 + p + 11. Let l be a(-6). Suppose 0 = 5*b - 387 + l. Does 14 divide b?
False
Is 10 a factor of (-340 + -4)/(-4)*1?
False
Let t be 2/(-12) - 41/6. Let m = 18 + t. Does 4 divide m?
False
Suppose 4*n + 31 - 139 = 0. Is n a multiple of 10?
False
Suppose 2*r = -r + 9. Suppose r*h - 3 = -0, -5*t = -2*h - 183. Let z = t - 7. Does 21 divide z?
False
Let a be (-86)/(-4) + 5/(-10). Let p = 31 - a. Is 7 a factor of p?
False
Does 55 divide 2/(-5) + 2710/25?
False
Let o(x) be the third derivative of x**6/120 + x**5/10 - x**4/24 + x**3 - 3*x**2. Is 18 a factor of o(-5)?
True
Let t(u) = -2*u**3 + 7*u**2 - 3*u**3 + 1 - 6 + 4*u**3. Let s be t(5). Does 12 divide s/4 + (-12)/(-16)?
True
Let f = -10 + 10. Suppose 0*u + u - 36 = f. Is u a multiple of 12?
True
Let s(m) = -m**3 + 10*m**2 - 16*m + 9. Does 13 divide s(6)?
False
Let p be 2/(-7) + (-111)/(-21). Let d(r) = 2*r - 6. Let c be d(p). Suppose c*l = l + 102. Is 17 a factor of l?
True
Let i(d) = d**3 - 4*d**2 + 5*d - 1. Suppose 0 = 5*z + 2*j - 16, -4*z + z = 5*j - 2. Does 4 divide i(z)?
False
Let m be (1 - 0) + 1 + -2. Suppose m = 2*i - 30 - 22. Is 12 a factor of i?
False
Suppose 3*p - 12 = p. Is p a multiple of 6?
True
Let a(l) be the second derivative of -l**4/12 - 3*l**3/2 - 4*l**2 - 2*l. Let d be a(-7). Suppose -d*b = -b, -4*b = -4*s + 160. Is 20 a factor of s?
True
Let b(q) = q**2 + 8*q + 35. Is 30 a factor of b(-9)?
False
Let h(p) = -10*p. Suppose 6 = 2*k, 5*a = 4*a + 4*k - 16. Does 11 divide h(a)?
False
Suppose 2*m - 15 = -3. Does 10 divide m*(2 - (-3)/1)?
True
Suppose -7*r + 6 = -6*r. Is r a multiple of 2?
True
Let k(d) = -24*d + 11. Does 17 divide k(-3)?
False
Let l(m) = m**2 - 3*m - 5. Is l(-6) a multiple of 6?
False
Suppose -616 = -4*z + 4*c, 4*c + 96 = 3*z - 365. Let d = z - 109. Does 16 divide d?
False
Let d = 51 - 24. Is d a multiple of 14?
False
Suppose -3*d = -d - 18. Let i(z) be the first derivative of -z**3/3 + 6*z**2 - 9*z + 1. Does 12 divide i(d)?
False
Does 20 divide 5/(-6)*-143 + 8/(-48)?
False
Let t(y) = 95*y**2 + y. Is 20 a factor of t(1)?
False
Suppose 377 = 5*w - f + 2*f, -w + 3*f + 69 = 0. Suppose q = -4*o - 0*q + 81, -4*q = -3*o + w. Is 42/49*o*1 a multiple of 17?
False
Let t(l) = 5*l - 2. Let d be t(2). Let f = 18 - d. Does 8 divide f?
False
Suppose 0 = -s + 2*x + 34, -4*s + 0*s + 146 = -3*x. Is 19 a factor of s?
True
Let p = -51 + -3. Let j = -27 - p. Does 11 divide j?
False
Suppose 0*w - 5*r = -w + 239, 0 = -r. Is 39 a factor of w?
False
Let q(r) = -r**3 - 7*r**2 + 7*r. Is q(-8) even?
True
Suppose 0 = -8*f + 3*f - 2*q + 84, 2*f + 4*q - 24 = 0. Is 11 a factor of f?
False
Let v(y) = 2*y**2 + 8*y - 2. Does 11 divide v(3)?
False
Let t(h) = 52*h**2 + 2*h - 2. Is t(1) a multiple of 13?
True
Suppose -4*z + 2*h + 0*h = -4, -z - 5*h - 10 = 0. Suppose z = -7*x + 5*x + 42. Is x a multiple of 16?
False
Suppose -5*r + 2*z = -0*z - 453, -5*r + 5*z + 450 = 0. Let m = 131 - r. Is 14 a factor of m?
False
Let u(i) = -3*i**3 - 4*i**2 - 2*i - 6. Let w be u(-4). Suppose 3*o - 11 - w = 0. Is o a multiple of 13?
False
Let y(k) = -3*k - 2. Let t be y(-2). Let a(p) = p + 1. Is a(t) a multiple of 2?
False
Let r = -59 - -194. Is r a multiple of 14?
False
Let v = -1 + 1. Let s be v - (-1 + (-6)/2). Suppose -5*h + 11 = -3*d, -s*d - d = -5*h + 5. Does 3 divide d?
True
Let o = 6 + -1. Suppose -2*g - 3*l = -51, o*g - 31 = 4*g + 4*l. Is g a multiple of 5?
False
Suppose 0*r + 2*r = 0. Suppose -2*w + 47 + 115 = r. Is w a multiple of 33?
False
Suppose 3*q = 1 - 4. Let h be (q + (-1)/(-2))*-14. Suppose y - h = -1. Does 3 divide y?
True
Let l = -11 + 17. Suppose -26 = -l*g + 4*g. Does 6 divide g?
False
Let z(s) = -16*s + 1. Let g be z(-3). Let j = 73 - g. Is j a multiple of 24?
True
Let g = 12 - -18. Does 15 divide g?
True
Let j = 3 + -8. Let i = j + 9. Suppose i*q - 55 = -q. Is 6 a factor of q?
False
Let b = -14 + 36. Is b a multiple of 22?
True
Suppose 0 = 5*x + 2 - 7. Is 8 a factor of (-2 + 3)/(x/16)?
True
Suppose i = -2*w - 3, 8*w - 3*w = 5*i - 60. Suppose -y + i - 2 = 0. Is y even?
False
Is (-10)/((32/1480)/(2/(-5))) a multiple of 24?
False
Suppose -2*b = -2 - 12. Let w be 3/(-1) - (b - 8). Let z(i) = -i + 1. Is 2 a factor of z(w)?
False
Suppose 0*r - 5*r = -115. Does 3 divide r?
False
Let b = -4 - -2. Let o be (-3)/3 + b + 26. Suppose 3*a = -m + o, -3*m - 2*a = 3*a - 81. Does 16 divide m?
True
Let g(k) = -5*k**3 - 2*k**2 - 2*k + 1. Let i be g(-2). Suppose 0 = -5*v + 13 + 2. Suppose v*c - i = 47. Does 16 divide c?
False
Suppose -3*b + 5*t - 11 = 0, b - 27 = -4*b - 3*t. Let h = 2 + b. Suppose h*j - j - 96 = 0. Does 12 divide j?
True
Let c = -308 + 431. Suppose 0 = -4*s + 11 + 1. Suppose 0 = s*q - 12, c = 3*h + 2*h - 3*q. Is h a multiple of 11?
False
Suppose -60 = -4*z - 260. Does 10 divide (9/6 - 2)*z?
False
Suppose 2*b + 3*b = 0. Let v = 4 + b. Does 2 divide v?
True
Let w be (-1)/(-2) - 5/(-2). Suppose y - 8 = -w*y. Is (y/2)/(6/30) a multiple of 2?
False
Suppose 0 = 14*t - 13*t - 22. Is 4 a factor of t?
False
Let n = -4 - -74. Is n a multiple of 17?
False
Does 23 divide 13650/54 + (-4)/(-18)?
True
Let c(o) = -13*o + 1 - 3 - 4 - 7. Does 15 divide c(-6)?
False
Let c be ((-20)/(-6))/((-1)/3). Is 4/c + 268/20 a multiple of 8?
False
Let a = -46 - -78. Does 16 divide a?
True
Let f(i) = 6*i**3 + i**2 - 2*i + 1. Let m be (4/6)/((-2)/(-6)). Let o be f(m). Suppose -3*k + o + 8 = 0. Is 8 a factor of k?
False
Let c be 0/(-1)*1/2. Suppose 0 = -c*i + 3*i - 9. Suppose r + 3*j - 16 = 0, -i*r + 2*j = -2*r - 6. Is r a multiple of 10?
True
Let b = 15 - -6. Is b a multiple of 4?
False
Let l = 2 - 3. Let q(k) = 113*k - 11. Let w(r) = -38*r + 4. Let u(v) = -3*q(v) - 8*w(v). Is u(l) a multiple of 18?
True
Let w(a) = a - 14. Let y be w(13). Is 8 a factor of ((-10)/(-4))/(y/(-6))?
False
Suppose f - d - 37 = -0*f, -2*f - 2*d + 86 = 0. Is f a multiple of 20?
True
Suppose 216 = h + 3*h - 5*w, 4*w + 54 = h. Does 7 divide h?
False
Let q = 93 - 163. Let o be (2/(-4))/(7/q). Let g(z) = -z**2 + 7*z + 5. Is g(o) a multiple of 11?
False
Let i(y) = -3*y + 6. Let l be i(5). Let m(b) = 2*b**2 + 12*b + 10. Let o be m(l). Suppose 0 = -2*k - 2*a + 52, a - 6*a + o = 2*k. Is 12 a factor of k?
False
Let y be 2/(1 + 33/(-27)). Let o be (-196)/6 - 6/y. Let l = 51 + o. Does 11 divide l?
False
Let j be 5 + -1 - (2 - 0). Let m be (j + -1)/((-1)/47). Let r = -28 - m. Is r a multiple of 14?
False
Let j(r) = 8*r**2 + 3*r + 3. Is j(-3) a multiple of 6?
True
Suppose -s - 1 = l - 4*s, 4*s - 6 = -l. Suppose -5*k + 4*m = 1, l*m - 12 = -m. Suppose -3*t = k - 108. Is 12 a factor of t?
False
Let p(i) be the second derivative of -7*i**5/20 - i**2/2 - 4*i. Does 4 divide p(-1)?
False
Let u(x) = x**2 - 2*x - 1. Is 4 a factor of u(-3)?
False
Let x(c) = 0 - 3 + 6 + c + c**2 + 10. Is 13 a factor of x(0)?
True
Suppose 6*k - 328 = 2*k - 4*i, -2*k + 4*i = -134. Let v(c) = -2*c**3. Let a be v(3). Let r = k + a. Is r a multiple of 19?
False
Suppose -o - 164 = -3*o. Suppose 4*z + 2*n = -n + o, -z + 29 = 5*n. Is z a multiple of 14?
False
Suppose v - 3*b = 28, -5*v + 3*b = -14 - 126. Is 12 a factor of v?
False
Let v = 26 - -22. Does 24 divide v?
T