ue
Let d be 12*(9/12 + 0). Suppose -5*g = -6 - d. Suppose g*u + 5*j = 44, 5*j - 4*j + 51 = 4*u. Is u a multiple of 12?
False
Let s(w) = w**3 + 6*w**2 - 15*w + 11. Does 3 divide s(-8)?
True
Let i be 1*(-3)/6*58. Does 15 divide (-1)/(-1) - (i + 0)?
True
Let o = 482 - 332. Is 30 a factor of o?
True
Let y be (-1)/(((-28)/104)/7). Suppose 0*r + y = r. Does 13 divide r?
True
Let w = -7 + 28. Is w a multiple of 4?
False
Let z = -2 + -4. Let q = -8 - z. Let f(l) = -3*l**3 - 3*l**2 - l - 1. Is f(q) a multiple of 13?
True
Does 10 divide 31 - (1 - 5 - -7)?
False
Suppose -11*j - 3*i - 252 = -13*j, -5*j + 616 = -4*i. Does 7 divide j?
False
Suppose 0 = 5*p + 2 + 23. Let i(q) be the second derivative of -q**3/6 + q**2 - q. Is 3 a factor of i(p)?
False
Let a = 221 - -23. Does 8 divide a?
False
Let y = -247 + 353. Is y a multiple of 16?
False
Let w be ((-6)/(-9)*-3)/(-1). Suppose 0 + w = 2*o. Let p(u) = u**2 + 1. Is 2 a factor of p(o)?
True
Suppose b = -4*q + 19 + 140, -4*b - 4 = 0. Does 20 divide q?
True
Suppose 2 + 114 = 4*c. Does 29 divide c?
True
Suppose 0 = 6*n + 55 - 379. Is 9 a factor of n?
True
Suppose -3*h = 5*u - 2, 3*u = 5*h - 8 - 18. Suppose 0 = -4*g + h - 100. Is (-1)/((-10)/g)*-5 a multiple of 5?
False
Suppose -2*j + j = -4*m + 8, -9 = m - 3*j. Let s(o) = 7*o - o**3 + o**m - 2 - 5*o - 10*o**2 + o**3. Is s(10) a multiple of 18?
True
Let l(w) = -w + 3. Let d be l(6). Let f be d/(6/(-4)) - -1. Suppose -f*s - 3*q = -8*q - 104, 3*s + q - 134 = 0. Does 15 divide s?
False
Suppose -3*a + 280 = -185. Does 12 divide a?
False
Let p = 60 - 28. Does 5 divide p?
False
Suppose -4*q + 192 - 44 = 0. Let m = 59 - q. Is 13 a factor of m?
False
Does 11 divide 7/49 - (-152)/14?
True
Let t = 5 - 16. Let i = -7 - t. Suppose -176 = -5*l - 3*g - i, 5*g = -5*l + 180. Is l a multiple of 16?
True
Is (-1 + 42/(-4))*-2 a multiple of 2?
False
Suppose 2*i + i - 239 = -2*o, -2*i = 6. Let x be 640/6 - (-1)/3. Suppose 4*p = 5*z + x, -5*z - o = -3*p - 40. Does 10 divide p?
False
Let c be 0 - (0/3 - 11). Let b = 17 - c. Is 3 a factor of b?
True
Suppose 2*y = -0 - 4. Does 4 divide (3/y)/(6/(-36))?
False
Let z(c) = 5*c - 6. Let x(a) = 51*a - 60. Let s(m) = -2*x(m) + 21*z(m). Let v be s(4). Suppose u - v = 3. Does 9 divide u?
True
Let a(h) = -8. Let m(d) = d + 9. Let u(t) = -3*a(t) - 2*m(t). Suppose -5*x = 3*b + 33, b - 6*b - 2*x - 36 = 0. Does 9 divide u(b)?
True
Suppose -1 = 4*d - 9. Suppose -d*s + 4*p = -s - 24, -4*p + 8 = 0. Does 12 divide s?
False
Let y be (-42)/(-12) + 2/4. Let f(d) = 7*d - 1. Is f(y) a multiple of 10?
False
Let n = -1 + 5. Let v be (46/(-8))/((-1)/n). Suppose 2*b + 0*i = i + 40, 0 = -b + 2*i + v. Is 7 a factor of b?
False
Suppose 2*l - 11 - 229 = 0. Is 24 a factor of l?
True
Let a = 1 - -11. Does 3 divide a?
True
Suppose 16 = 5*y + 4*j, 5*j - 12 = y + 2*j. Suppose 8 = 4*l + 3*z, 4*l - 4*z - 19 = 17. Let c = l + y. Is c a multiple of 4?
False
Suppose -5*r = 4*y - y - 69, -y = 4*r - 23. Is y a multiple of 2?
False
Suppose 2*o + 6 + 4 = 0. Let u = 8 + o. Suppose -s = u*s - 48. Is 12 a factor of s?
True
Let c be 120/18*-3*1. Let t = -7 - c. Is 13 a factor of t?
True
Let l(d) = 8*d - 7. Is l(5) a multiple of 11?
True
Let b(d) = -10*d + 19. Is b(-5) a multiple of 7?
False
Suppose 0 = o - 1 - 4. Let l be (1 - -4)/(o/(-5)). Does 19 divide (-2)/l + (-1128)/(-30)?
True
Let f be (24/6)/(1*-1). Let r be (-2)/f + 150/12. Let m = r - -16. Does 11 divide m?
False
Let y = -2 - 4. Let b(v) = v**3 + 6*v**2 + 6*v + 3. Let h be b(-5). Is 5 a factor of h + (2 - 1 - y)?
True
Let o(y) = -y**3 + y**2 + 2*y. Let x be o(-3). Let j = 42 - x. Is 5 a factor of j?
False
Let a(d) be the third derivative of d**6/120 - d**5/15 - d**4/12 - 7*d**3/6 - 4*d**2. Is a(5) a multiple of 8?
True
Suppose 0 = -0*q - 4*q + 4. Let j be (5/10)/(q/2). Is ((1 + -2)*-22)/j a multiple of 11?
True
Let y = -64 - -123. Is 20 a factor of y?
False
Is 11 a factor of 16/3*(0 + 153/12)?
False
Let b = -143 - -164. Is b a multiple of 5?
False
Suppose -9 = -7*t + 6*t. Does 2 divide t?
False
Let j(o) = -13*o**3 - 3*o**2 - 2*o + 5. Is j(-3) a multiple of 42?
False
Suppose -5*a - 3*j + 29 + 8 = 0, 3*a - 21 = -3*j. Suppose a = c + c. Let y = c - -19. Does 8 divide y?
False
Suppose -7*a + 4*a = -18. Let g = 4 - a. Is -1 + 1 + 18 + g a multiple of 8?
True
Let i = -45 - -30. Is (-834)/i - 6/10 a multiple of 22?
False
Does 6 divide (-14 - -2)*63/(-18)?
True
Let c = 5 + -3. Suppose 21 = 2*i + 5*f, -c*i - 3*i + 4*f + 3 = 0. Is (-2)/(-6) - (-29)/i a multiple of 5?
True
Does 11 divide (-1 + 2)/(-2 - -1)*-22?
True
Let g = -1 + 7. Suppose -3 = -w - 2. Does 3 divide (3/g)/(w/6)?
True
Does 2 divide (-3 - 48/(-14))*7?
False
Let p(s) = 6*s**3 - 3*s**2 - 19*s + 11. Suppose 0 = 4*t + 20. Let b(u) = -u**3 - u**2 + u - 1. Let j(a) = t*b(a) - p(a). Is 16 a factor of j(9)?
False
Let h = 58 - 31. Is 9 a factor of h?
True
Is (-87)/(-27) + -2 + 48/27 a multiple of 2?
False
Let p = -13 - -15. Suppose -51 = -4*t + a, p*a + 41 = 4*t - 13. Does 12 divide t?
True
Let z = 3 + 1. Let g = z + -2. Does 15 divide 37 - 3/(3/g)?
False
Let d be (1 - -2)*200/15. Suppose -5*o = -0*o - d. Let s = o - -9. Is s a multiple of 6?
False
Does 14 divide (9/(-2))/(6/(-56))?
True
Let z(t) = t**3 - 5*t**2 + 6. Suppose 0 = -6*p + 5*p + 10. Let b = 15 - p. Does 2 divide z(b)?
True
Let v(o) = 29 + 2 - 6 + o + 27. Is 25 a factor of v(0)?
False
Suppose w = -q + 50, 3*q = 5*w - 123 - 127. Does 25 divide w?
True
Suppose -115 = -3*c + 113. Let v = -36 + c. Is 20 a factor of v?
True
Let o = -6 - -14. Suppose -133 = 3*p - 19. Is 7 a factor of (2 + p/o)*-4?
False
Let t = -13 - -25. Does 12 divide t?
True
Suppose -3*g + 119 = -16. Suppose -25 = -j - j - s, 3*s = -3*j + g. Suppose n - j - 21 = 0. Does 18 divide n?
False
Let f(z) = -1 + 11*z**2 + z + 0*z - 2*z. Is f(-1) a multiple of 11?
True
Let y = -28 - -32. Suppose -2*c - 9 = -3*c + 2*d, 0 = -c - 3*d - 1. Suppose 0 = 3*n + y*l - c, -6*n + 2*l = -2*n - 14. Is n a multiple of 2?
False
Let k(v) be the first derivative of v**3/3 + 3*v**2 + 8*v - 2. Let s be k(6). Suppose -4*t - t + s = -5*i, i + 36 = 2*t. Does 10 divide t?
True
Let c(z) = z**3 - 9*z**2 + 4*z + 4. Does 10 divide c(9)?
True
Suppose -18 = 2*z - 56. Let v = -14 + z. Is 2 a factor of v?
False
Let v(a) = a**3 - 4*a**2 - 9*a + 12. Is v(6) even?
True
Is 13 a factor of 56 - (-7 + -1)/(-2)?
True
Let t(z) = 29*z + 81. Is t(11) a multiple of 16?
True
Let z be (-14)/4 + (-3)/(-6). Let a(g) = 2*g**2 + 4*g + 3. Let b be a(-2). Is 8 a factor of (z*1)/b*-16?
True
Let z = -17 - -24. Does 7 divide z?
True
Let j(l) be the third derivative of -l**5/60 - 5*l**4/24 + 7*l**3/6 - 2*l**2. Is 2 a factor of j(-5)?
False
Let q = 16 - 10. Let y = 7 + q. Is y a multiple of 8?
False
Let z(l) = -110*l + 6. Let m be z(6). Is m/(-12) - (-1)/2 a multiple of 8?
False
Suppose 3*v + 55 = 4*x, 2*x - 2*v - 2*v - 20 = 0. Is x a multiple of 16?
True
Let f = -135 + 223. Suppose -406 + 141 = 5*z. Let g = z + f. Is 14 a factor of g?
False
Let f be 2/3 + (-10)/(-3). Suppose 0 = f*d + 23 - 79. Is 8 a factor of d?
False
Let k = -129 + 184. Is 11 a factor of k?
True
Suppose -4*d + 4*p + 216 = 0, 0 = 3*d + 2*d - 3*p - 262. Does 14 divide d?
False
Let y be 2/(-1) + 0/(-3). Let k(v) be the third derivative of -v**6/20 - v**5/20 - v**4/12 - v**3/6 - 5*v**2. Is 22 a factor of k(y)?
False
Let w be (-30)/(-9)*6/5. Let p be ((-3)/w)/(1/(-12)). Suppose -3 = -x + p. Is x a multiple of 6?
True
Let h = 124 + -80. Does 11 divide h?
True
Suppose 3*j + 2*k = 4, 4*j + k = 5*k - 28. Let b be 30*j/(-15)*18. Suppose 0 = -4*i + b + 32. Is 13 a factor of i?
True
Let l(j) = -7*j**2 + 3*j + 10. Let y(u) = 20*u**2 - 9*u - 29. Let a(z) = 17*l(z) + 6*y(z). Let p be a(3). Does 7 divide 3/(-2)*(p - 2)?
False
Let g(z) = -z**2 - 7*z - 5. Let f be g(-5). Let n be f/2 - (-3)/6. Suppose -2*a + 30 = x, -n*x + x = -a + 20. Is a a multiple of 8?
True
Let t(h) = h**3 + 8*h**2 + 10*h + 8. Does 7 divide t(-6)?
False
Suppose -v - 8 = -4*q, 3*q + 9 - 3 = 0. Let n = v + 29. Let b = n + 1. Is 14 a factor of b?
True
Let a = -24 + 19. Is 11 a factor of 28/(-70) + (-227)/a?
False
Let t = -10 - -16. Does 11 divide 190/t - 7/(-21)?
False
Let k(i) = i**3 - 9*i**2 + i - 2. Let d be k(10). Let r = d - 70. Is r a multiple of 25?
False
Let r(x) = 4*x**2 - 7*x + 1. Doe