se
Let i = -2 + 1. Is 10 a factor of (i + 3)/(1/16)?
False
Is 16 a factor of ((-244)/(-30) + (-6)/(-9))*5?
False
Let n = 12 - 9. Suppose -32 = -4*q + f, -5*q + 5*f + 37 + n = 0. Does 8 divide q?
True
Suppose 4*s + 0*s + 100 = 0. Let j = s - -9. Is 18 a factor of j/(-12)*54/4?
True
Let l(w) = -3 + 3 - w. Is l(-3) a multiple of 3?
True
Let k be ((0 + 0)/2)/1. Suppose 3*l - 4*d - 62 = k, 2*l = d + 14 + 24. Is (l/(-4) - -2)*-6 a multiple of 6?
False
Suppose 3*h + 0*h = 3. Let n(r) = h + 0*r + r + 6*r. Does 4 divide n(1)?
True
Suppose 30 = 4*n + 6. Is (n - 0) + (-1 - -1) a multiple of 3?
True
Suppose -5*u + 1 = 4*m - 58, 3*u - 65 = 5*m. Is u a multiple of 6?
False
Let j be 138/5 + 10/25. Is (-2 - -1)/((-2)/j) a multiple of 10?
False
Suppose -3*g + y + 4059 = 0, 0 + 15 = 5*y. Suppose -f + 4*l = -244, 5*l - g = -5*f - 9. Does 6 divide (-4)/(-18) - f/(-27)?
False
Let a = -17 + 19. Suppose 5*l - l = -v, -v = -a*l - 6. Is 3 a factor of v?
False
Let n(w) = w**2 + 2*w + 13. Let f = -7 + 7. Is n(f) a multiple of 5?
False
Does 4 divide -1 - 2 - (4 + -12 + 1)?
True
Suppose 4 + 1 = g. Suppose -4*l = 0, l = g*i - 2*l - 195. Suppose 56 = 5*z - i. Does 11 divide z?
False
Is 11 a factor of 71/(-8 - -9)*(1 + 1)?
False
Let y be (-1 - 0) + -3 + 8. Let w = 1 - y. Let x = w + 8. Is 5 a factor of x?
True
Let t(y) be the second derivative of y**3/6 + y**2/2 - y. Is t(5) a multiple of 6?
True
Let g(o) = 16*o**2 - 1. Let h be g(1). Suppose h + 0 = -3*f. Is (-2)/5*f*4 a multiple of 4?
True
Suppose -15 = -3*o, 45 = 4*n - 3*o - 12. Is n a multiple of 2?
True
Let y(b) = 6*b + 2. Let t(z) be the second derivative of -23*z**3/6 - 7*z**2/2 - 3*z. Let d(x) = -2*t(x) - 9*y(x). Is d(-4) a multiple of 10?
False
Let x(l) = 7*l**3 + 5*l**2 - l - 3. Let n(u) = 6*u**3 + 5*u**2 - 2*u - 3. Let q(s) = 6*n(s) - 5*x(s). Does 16 divide q(-5)?
True
Let f be (-2)/(-6) + (-4)/12. Suppose 2*x = -d - 5 + 23, f = 4*d - 2*x - 42. Is d a multiple of 4?
True
Let c(j) = 3*j**2 - 5*j + 2. Let n(w) = 2*w**2 + 3*w + 1. Let s be n(-2). Is c(s) a multiple of 7?
True
Let s be 30/(4*3/8). Let q = s - -18. Is q a multiple of 11?
False
Let l = 56 + -34. Suppose 4*d - 2*d = l. Is d even?
False
Let o(f) = f**2 - 5*f - 4. Let w be o(6). Let u be w/11 + 31/11. Suppose 5*c - 34 = -u*m, 2*m - 3 = 3. Is c a multiple of 4?
False
Let k = -13 + 170. Does 13 divide k?
False
Let o = 121 + -85. Is 18 a factor of o?
True
Let m(u) = -u**3 + u**2 - u - 1. Let r be m(-1). Let f be ((r + -2)/(-3))/2. Suppose 0 = 5*p + 4*q - 48, f*q - 3*q = 3*p - 30. Is 8 a factor of p?
True
Suppose i = -3*i - 44. Let w = i - -18. Is w a multiple of 2?
False
Suppose -6*x + 251 + 217 = 0. Is x a multiple of 13?
True
Let v = 6 - 6. Suppose v = 3*p + 4*l - 160, -p - 17 = -l - 68. Is p a multiple of 17?
False
Let k be ((-4)/(-6))/((-4)/(-48)). Suppose 0 = -4*c + k*c - 48. Is 11 a factor of c?
False
Let h(u) = -9*u - 3. Is 10 a factor of h(-8)?
False
Let b(v) be the third derivative of 7*v**5/15 + v**4/24 - v**3/3 + 10*v**2. Does 10 divide b(1)?
False
Let s be 5*-3*3/(-9). Let l = s + -5. Suppose l = 3*v - 0*v - 30. Does 9 divide v?
False
Let a(o) = -7*o + 13. Let c(j) = 4*j - 7. Let d(k) = -6*a(k) - 11*c(k). Is d(-6) a multiple of 11?
True
Suppose 0 = -5*o - 91 + 226. Is 9 a factor of o?
True
Let o(q) = -q + 6. Let a be o(5). Suppose -a = 3*v - 13. Does 4 divide v?
True
Let u(w) = w**2 + 20. Let i be u(0). Let d be (-27)/(-5) + (-8)/i. Suppose -2*q - 5*l = -0*q + 1, -3*q - d*l = -6. Is q a multiple of 3?
False
Does 10 divide (-1 - 5)/((50/(-45))/10)?
False
Let l(p) = -2*p + 2. Let n be l(3). Let o(i) = -6*i + 4. Does 12 divide o(n)?
False
Let x(b) = b**3 - 5*b**2 + 2 + 4*b + 2*b - 1. Let u be x(5). Suppose 1 - u = -3*j. Is 9 a factor of j?
False
Suppose l - 6 = -4*s + 12, -5*s = 2*l - 21. Does 3 divide 6/(6/(1 - l))?
True
Let c(t) = t**3 - 5*t**2 - 3*t + 6. Let m(g) = g**3 - 4*g**2 - 5*g + 3. Let w be m(5). Suppose 15 = 3*h - 0*n - 3*n, -4*h = -w*n - 21. Is c(h) a multiple of 12?
True
Is 3 a factor of (17/85)/(2/50)?
False
Does 3 divide (-1)/5 - (-688)/40?
False
Suppose 0*z - 48 = -z. Is 8 a factor of z?
True
Suppose -12*y - 18 = -13*y. Does 11 divide y?
False
Suppose 45 = 3*t - 75. Let r = -10 + t. Is r a multiple of 10?
True
Let q(x) = 2*x**2 - 11*x - 7. Is 8 a factor of q(9)?
True
Let d(g) = g + 73. Is 4 a factor of d(-21)?
True
Let u = 55 - 39. Suppose -24 - u = -5*k. Does 4 divide k?
True
Let m(g) be the first derivative of -5*g**2/2 + 3. Does 5 divide m(-2)?
True
Is (-18)/(-6) - 1/((-1)/65) a multiple of 31?
False
Let o be 243/12 - (-2)/(-8). Suppose 2*f - o = 4*j, 2*j + 4 = f - 2*j. Is 7 a factor of f?
False
Suppose -j + 76 = 26. Does 10 divide j?
True
Let i be 6/(-4)*(-64)/12. Suppose p = -2*p + 15. Let z = i + p. Is 13 a factor of z?
True
Let r(v) = 3*v - 2. Let f(p) = p - 1. Let k(n) = 6*f(n) - 3*r(n). Let b(w) = -w**3 - 7*w**2 + 7*w - 14. Let o be b(-8). Is 9 a factor of k(o)?
True
Let m = -66 + 142. Let p = 124 - m. Is p a multiple of 13?
False
Suppose -5*u + 760 = 95. Is u a multiple of 19?
True
Suppose -2*u + 10 = -6. Is 6 a factor of u?
False
Let y(x) = x**3 + 12*x**2 + 7*x + 16. Let b = -10 - 1. Let t be y(b). Let j = 86 - t. Is 13 a factor of j?
True
Suppose -5*y - 3*t = -461, y + 3*t - t = 88. Suppose -3*p + 105 = -3*v, 4*v - y = -4*p + 22. Let n = p - 20. Does 7 divide n?
False
Let t = -24 - -13. Let m(s) = s**3 + 10*s**2 - 12*s - 9. Let r be m(t). Suppose -32 = -r*b + u - 0*u, 4*u = 2*b - 32. Does 15 divide b?
False
Let m be (2/(-4))/(4/(-48)). Suppose 0 = 4*l - m - 10. Suppose -n = -2*b + 6, 5*n + 13 = l*b + 1. Does 3 divide b?
True
Suppose -4*l = 3*y - 7, 2*l + 2*l + 28 = 4*y. Suppose -2*g = -y*g + 132. Does 23 divide g?
False
Let c(w) = w**3 - 3*w**2 + 3*w - 3. Let o be c(3). Let f(s) = -s**3 + 7*s**2 - 2*s - 7. Is 17 a factor of f(o)?
True
Suppose 0*n - 3 = h + 2*n, -3*n - 12 = 0. Suppose h*o = 105 - 30. Let x = -7 + o. Is x a multiple of 8?
True
Let f be (-15)/(-25) - 6/10. Suppose f = -3*q - 0*q + 60. Does 5 divide q?
True
Suppose -5*g = -38 + 93. Let a = 19 + g. Suppose -3*f - a = -41. Is 4 a factor of f?
False
Let o = -102 - -280. Suppose 4*k - o = -26. Does 8 divide k?
False
Let d(r) = r**3 + 7*r**2 - 7*r - 5. Let h be d(-7). Let u = h + -27. Does 17 divide u?
True
Let g(q) = -5*q + 12. Does 31 divide g(-10)?
True
Suppose k = -2*k + 330. Is 10 a factor of k?
True
Let y(i) = -i**3 + 8*i**2 - 2*i + 5. Does 38 divide y(7)?
False
Let i be (-10)/(-3)*3/2. Let a(g) = -i*g + 3*g + 9*g - 3. Is 10 a factor of a(2)?
False
Let l(a) = a**3 + 4*a**2 + 2*a - 1. Let k be l(-4). Let y = k - -13. Let r = 7 - y. Is r a multiple of 3?
True
Let n(k) = 7*k - 1. Let u be n(-1). Let p = u - -54. Let o = p - 10. Is o a multiple of 15?
False
Let l = 41 + 39. Is 20 a factor of l?
True
Let b be 9/3 - (0 - 0). Let h be (-87)/(-15) - b/(-15). Does 2 divide h/4*(3 - -1)?
True
Let u(z) = -z**3 - 6*z**2 + 2*z + 6. Let j be u(-6). Is 21 a factor of (-3 - -21)*(-21)/j?
True
Suppose 0 = -a + 5*a - 40. Does 3 divide a?
False
Suppose -14 = -4*g - 2. Suppose g*j + 0*j - 150 = 0. Is 25 a factor of j?
True
Let z = -39 + 91. Suppose -4*j - 16 = -z. Does 3 divide j?
True
Let n = -33 - -46. Suppose -4*w + 3*b = w + 3, 4*w = -b + 1. Let g = n - w. Is g a multiple of 5?
False
Let o(f) = -f**3 + 6*f**2 + 10*f - 4. Let t be o(7). Suppose -4*c + t = -h, 3 = -3*h + 3*c - 3. Suppose 2*v + 30 = 2*n, 1 = -v - h. Is n a multiple of 8?
False
Let o(x) = -2*x**2 + 13*x + 3. Does 23 divide o(4)?
True
Let g be (54/8)/(3/(-12)). Does 27 divide -2*g*3/2?
True
Let z(o) = o**2 + 6*o + 7. Let l = 31 + -53. Let v = l - -16. Is z(v) a multiple of 7?
True
Let a = -35 - -92. Suppose 5*z - 2*z - a = 0. Does 5 divide z?
False
Let k = 25 - -82. Is k a multiple of 11?
False
Suppose 4*x = -4*x + 904. Is x a multiple of 23?
False
Let v(h) = h - 4. Let f be v(7). Suppose -f*x - 2*m - 23 = 0, m - 17 = 3*x - 3*m. Let o = -4 - x. Is o a multiple of 2?
False
Let t(o) = o + 1. Let c(d) = -17*d - 3. Let l(z) = -c(z) - 3*t(z). Is 16 a factor of l(3)?
False
Suppose -3*d = -8*d - 35. Let v(h) = 2*h**2 + 10*h - 3. Does 9 divide v(d)?
False
Suppose 7*f - 4*f - 72 = 0. Does 20 divide f?
False
Let n = 169 + -54. Is n a multiple of 12?
False
Let m = 47 + -33. Let t = -10 + m. Suppose 5*n - 6 = t*n. Is 5