rue
Let z = 22 - 3. Is 11 a factor of z?
False
Let s = -3 - -3. Let k = s + 2. Suppose -k*d + 53 = 13. Is d a multiple of 20?
True
Is 12 a factor of ((-9)/(-2))/(-3*1/(-40))?
True
Let u = 3 + -1. Is 5 a factor of ((9*u)/2)/1?
False
Suppose -2*k = -7*k - 55. Does 32 divide (8/6)/(k/(-264))?
True
Let t(c) = -c**2 + c + 1. Let n(z) = 2*z**3 + z**2 + z + 6. Let b(y) = -n(y) + 2*t(y). Is 10 a factor of b(-3)?
True
Suppose -c - 4*d = -232, 5*c - 416 = 3*c + 4*d. Is c a multiple of 36?
True
Let x(k) = 2*k**3 - 2*k**2 + k + 1. Is 2 a factor of x(2)?
False
Let u(p) = -p**3 - 12*p**2 + 6*p - 3. Let h(w) = 2*w**3 + 25*w**2 - 13*w + 5. Let t(q) = 6*h(q) + 13*u(q). Is t(-7) a multiple of 17?
False
Let p(v) = 7*v + 3. Let h be p(-3). Let a = -13 - h. Suppose -5 = -a*b + 45. Is 5 a factor of b?
True
Let r(x) = -x**2 - 5*x + 5. Let z be r(-5). Suppose 90 = 5*f - 2*o - 21, z*f + 2*o - 99 = 0. Does 11 divide f?
False
Let m(x) = -13*x**3 - 2*x**2 - 4*x - 2. Is m(-2) a multiple of 34?
True
Suppose 0 = -2*q + 7*q + 5*l - 365, -2*q - l = -143. Is q a multiple of 35?
True
Let z(x) = x + 10. Suppose -2*b - 4*q = -18, q + q = 2*b + 6. Let k(g) = g + 1. Let w(i) = b*z(i) - 2*k(i). Is 12 a factor of w(-6)?
False
Let y be (-84)/22 + 6/(-33). Let j be (10/4)/(y/(-8)). Suppose -2*d + 5*d - n = 55, -d + 5*n = j. Is d a multiple of 10?
True
Let s = 49 + -1. Suppose -s = -5*f - 0*x - 4*x, 2*x + 66 = 5*f. Is 6 a factor of f?
True
Let o(d) = 39*d - 5. Is o(4) a multiple of 17?
False
Let c be ((-5)/(-2))/(-5)*0. Suppose 3*u - 5*m = 41, 3*u + c*m - 2*m - 38 = 0. Is 7 a factor of u?
False
Let s(m) = 67*m**2 - 1. Does 33 divide s(-1)?
True
Is -1 + 1 + (31 - 1) a multiple of 10?
True
Suppose -16*a + 529 + 911 = 0. Does 18 divide a?
True
Let i(d) = -2*d**2 + 26*d + 45. Let w(o) = 3*o**2 - 39*o - 67. Let f(m) = -7*i(m) - 5*w(m). Is 17 a factor of f(11)?
False
Let t(x) = -6*x. Let m be t(2). Suppose j - 41 = -4*f, -3*f = -4*j - 0*j + 145. Let p = m + j. Is p a multiple of 16?
False
Suppose -k = 2*l - 105, -10*l - 35 = -11*l - 4*k. Does 7 divide l?
False
Let r(q) be the second derivative of -q**3/6 + 5*q**2/2 - 2*q. Let p be r(3). Let v = p - -8. Is 10 a factor of v?
True
Suppose -4*w - 2*a = 618, -a - 4*a = 5*w + 780. Let i be w/45 - (-3)/(-5). Let t(u) = -6*u - 5. Is 13 a factor of t(i)?
False
Let b(o) be the third derivative of o**6/120 + 3*o**5/20 - o**4/24 - o**3 + 5*o**2. Is b(-8) a multiple of 22?
True
Let x(g) = 10*g**2 + 40*g + 34. Let d(y) = 3*y**2 + 13*y + 11. Let v(a) = -7*d(a) + 2*x(a). Let j be v(-6). Does 10 divide j + 6/(-3) + 1?
True
Let f(w) = 3*w + 7. Let q be f(-6). Let p = -7 - q. Suppose -t + 9 = s, 2*t - p*t - 4*s + 22 = 0. Is t a multiple of 5?
False
Let h = 3 - 0. Let c(w) = -2*w**3 + 4*w**2 - 2*w + 3. Let v(n) = -n**2 + n + 1. Let m(u) = -c(u) - v(u). Is m(h) a multiple of 12?
False
Let u be (-1)/(-2) - 235/(-10). Let s = u + 1. Is 25 a factor of s?
True
Suppose 8 = -0*r + 2*r + 4*q, -21 = -3*r + 3*q. Suppose 168 = -r*h + 9*h. Is h a multiple of 28?
True
Suppose 3*n - 3*h = 0, 16 = 3*n + n + 4*h. Suppose -n*s + 104 = 2. Is 21 a factor of s?
False
Let x = 92 + 55. Does 21 divide x?
True
Let d be -37*(0 + -1)*1. Suppose -16 = -4*c, -q = c - 0*c - d. Does 11 divide q?
True
Suppose 2*g = 2*l + 3 + 1, -14 = -4*g + 2*l. Suppose -o - g = -6*o - 5*x, 5*x = -o - 3. Is (-3)/6 - (-53)/o a multiple of 15?
False
Let a(c) = 5*c**3 + 1. Let h = 2 + 0. Suppose 0 = 6*w - h*w + 5*j + 21, 4*j = -20. Is a(w) a multiple of 6?
True
Let y(h) = 9*h + h**2 - 9*h + 6*h**3. Does 4 divide y(1)?
False
Suppose 481 + 155 = 6*h. Is 18 a factor of h?
False
Suppose -5*p + 8 = -3*y, -2*y + 12 = -0*p + p. Suppose 3*k - p*k = -51. Is 19 a factor of k?
False
Let i be 3/(-2)*172/(-3). Let a = i - 40. Suppose g = 3*g - a. Does 12 divide g?
False
Let o be 9/(2 + (1 - 2)). Suppose 5*k - o - 291 = 0. Is 15 a factor of k?
True
Let w = 1 - -6. Let v(t) = -t**2 + 6*t. Let s be v(w). Let z(o) = -o**3 - 7*o**2 - 5*o - 9. Is z(s) a multiple of 13?
True
Let o(t) = t**3 + 3*t**2 - 4*t - 6. Is 6 a factor of o(-3)?
True
Suppose 19 - 6 = 4*z + 3*j, 0 = z - j - 5. Let t = z - -2. Is 82/t - 2/(-6) a multiple of 14?
True
Let b be 3/((-2)/8 - -1). Suppose -34 - 20 = -5*v + b*i, 16 = 2*v + 4*i. Suppose -v = 2*h - 26. Is 4 a factor of h?
True
Let g be 2 + (0 - (0 - 2)). Suppose 15 = -3*u, -6*u = g*v - u + 17. Suppose v*z + 29 = 81. Is z a multiple of 13?
True
Let g be (-1)/(-5) - 418/(-10). Suppose -2*p = -p - g. Does 11 divide p?
False
Let x(v) be the first derivative of -v**3/3 + 2*v**2 + 4*v + 3. Let c be x(4). Suppose c*p - 8 = 112. Is p a multiple of 15?
True
Let u(k) = -k**3 + 10*k**2 + 5. Is u(10) a multiple of 4?
False
Let c = 63 + -42. Let z = c - 13. Is 7 a factor of (44/z)/(1/2)?
False
Suppose 2*p - 18 = 4*g, -87 = -p - 4*p - 4*g. Is 5 a factor of p?
True
Let j be 224/6 - (-2)/3. Let g = 70 - j. Suppose -o + g = 3*o. Does 4 divide o?
True
Suppose t = -4 + 2. Is (78*-1)/t*1 a multiple of 13?
True
Let l = 59 + -36. Does 23 divide l?
True
Let m(h) = 233*h + 7. Is m(1) a multiple of 12?
True
Suppose 2*h + 0*h = 106. Suppose -n = -5*n + 84. Let c = h - n. Is 16 a factor of c?
True
Suppose -y + 106 = 3*s, -5*y + 3*y = 10. Is 5 a factor of s?
False
Let a(h) = -65*h**3 - h**2 - 4*h - 3. Is 10 a factor of a(-1)?
False
Does 10 divide (-148)/37 - ((0 - -1) + -85)?
True
Let c(w) = 32*w + 19. Is c(4) a multiple of 49?
True
Suppose 5*i = 487 + 2313. Suppose -4*x + i = 3*x. Is x a multiple of 16?
True
Let s(z) = 3*z - 1. Let m(b) = b**3 + 6*b**2 + 3*b - 6. Let n be m(-5). Does 7 divide s(n)?
False
Suppose -251 = -2*c - p, -2*c + 3*p + 236 = -p. Suppose -5*f = -0*x + 2*x - 134, 4*f - 4*x - c = 0. Is f a multiple of 14?
True
Let v be -3 - (-1 + -2)*-59. Let y = v - -81. Let w = -69 - y. Is w a multiple of 15?
True
Let o(l) = -133*l**3 + l**2 + 2*l + 1. Let s be o(-1). Let b = s + -76. Is b a multiple of 19?
True
Let z be (-14 - 1)*12/(-18). Let a = 24 - z. Suppose 0 = 4*w - 2*d - 86, -4*w = -3*w - 3*d - a. Is w a multiple of 8?
False
Let d = 1 - 0. Let w(s) = -s**2 - 18*s - 4. Let x be w(-19). Let c = d - x. Is 12 a factor of c?
True
Let r(w) = -w - 12. Let z be r(-12). Suppose -d + z*d = -6. Is d a multiple of 6?
True
Let l = 2 - 6. Let u = l - -6. Suppose j - 7 = -5*h, u*h + h = -12. Is j a multiple of 14?
False
Suppose -6 = -3*l + 4*l. Let f(p) = -3*p + 6. Let u be f(5). Is 7 a factor of (u/6)/(l/28)?
True
Suppose -3*h + 17 + 4 = 0. Let u(d) = d**3 - 7*d**2 + d - 2. Is 2 a factor of u(h)?
False
Suppose -k - 17 = -5*w + 3*k, -3*w = 4*k - 23. Suppose 4*h - 177 = -w*f, 3*f - 33 = -h - 2*f. Is 17 a factor of h?
False
Suppose 0 = 2*r - r - 14. Let k be 32/14 + (-4)/r. Suppose 4 = -2*m + 4*b + k, m + 4*b - 17 = 0. Is m even?
False
Let a(c) = 17*c**3 - 2*c**2 + c. Let n(b) = b. Let u be n(1). Is a(u) a multiple of 8?
True
Is ((20*-3)/(-2))/2 a multiple of 9?
False
Let w = 414 - 287. Is 16 a factor of w?
False
Let v = 32 - 13. Is 13 a factor of v?
False
Suppose 144 = -5*k + 9*k. Let t = k + -17. Does 7 divide t?
False
Let n(z) = 4*z**2 + 7*z - 2. Is n(-5) a multiple of 21?
True
Let v(o) = -o**3 - 8*o**2 + 4*o + 5. Let m be v(-9). Suppose 2*u + 3*s = m, 8 = s - 5*s. Is 15 a factor of u?
False
Suppose 5*x + 5*f - 25 = 0, -4*x = -2*x - f - 4. Is 3 a factor of x?
True
Is 6 a factor of -3*42/(-9) - -2?
False
Suppose -t + 245 = 4*t. Does 7 divide t?
True
Suppose -5*q + 46 = -5*y - 134, 3 = -y. Is q a multiple of 8?
False
Suppose -3*i - 5 = s + 3*s, -s = 4*i - 2. Let z(t) = t**3 + t**2 - 2. Let p be z(0). Is i - (1*p + -1) a multiple of 4?
True
Suppose j = -2*j + 24. Does 4 divide j?
True
Is 2 a factor of (2 - -7)*(0 + 6/6)?
False
Suppose 4*a + 76 = 4*o - 0*a, 0 = -3*o + 4*a + 62. Is 7 a factor of o?
True
Let s = -67 - -135. Is s a multiple of 17?
True
Let l(a) be the second derivative of -a**4/12 - 4*a**3/3 + a**2 + a. Is l(-4) a multiple of 9?
True
Suppose -z = 5*w - 3*w - 59, 4*z - 3*w - 247 = 0. Is z a multiple of 23?
False
Suppose -5*c = -6*c + 4*j + 17, 0 = 2*c + 2*j - 44. Is 6 a factor of c?
False
Let r be 3 + -3 - -75 - 1. Suppose -5*t = r + 16. Let x = t + 36. Is 6 a factor of x?
True
Let l(a) = -5*a**2 + 5*a - 5. Let c(t) = t**2 - t + 1. Let b(u) = 11*c(u) + 2*l(u). Is 21 a factor of b(-4)?
True
Suppose -2*y = -2*x - 84, 1