/m?
True
Let i(n) = n**3 + 6*n**2 + 3*n - 7. Let x be i(-5). Suppose -v - 5*k + 13 + 10 = 0, x*v = -5*k + 79. Is v a multiple of 18?
False
Let m = 14 + -8. Let p(u) = -u**2 + 2*u**2 + 0*u - 4 + u. Is p(m) a multiple of 19?
True
Let s(o) = -14*o**3 + o**2. Suppose 0*t = -4*t - 28. Let m = -8 - t. Is 14 a factor of s(m)?
False
Let f(p) = -5*p**2 - 3*p - 2. Let y be f(-5). Does 14 divide (-3)/(-1)*y/(-12)?
True
Let g = -15 + 25. Is g a multiple of 3?
False
Let w(j) = -j**3 - 4*j**2 - 2*j. Let p be w(-3). Is 12 a factor of 72*(p/(-2))/3?
True
Let j(c) = 3*c - 2. Suppose 0 = s + 4, -5*s - 8 - 2 = 5*d. Is j(d) a multiple of 2?
True
Let q = -5 - -5. Suppose -3*o - 3*r - 6 = -36, q = -2*o - 4*r + 20. Is o a multiple of 5?
True
Let y(b) = b + 8. Let t(m) = 2*m + 7. Let s(j) = -3*t(j) + 2*y(j). Let n be s(-5). Suppose -2*r - 4*q + 18 = 0, 2*r = 3*r - q - n. Is r a multiple of 9?
False
Let v(b) = b**2 - 4*b - 4. Let g be v(5). Let a(o) = -25*o - 1. Let y be a(g). Let w = y - -38. Does 6 divide w?
True
Let f = -12 + 30. Suppose f = -4*h + 5*h. Does 15 divide h?
False
Let f(x) = x**2 + 9. Does 12 divide f(7)?
False
Let a(y) be the first derivative of y**2/2 - 3*y - 1. Let d be a(4). Does 14 divide (-125)/(-5) + d*-2?
False
Let m = 19 + -14. Suppose -6*a = t - a - 63, 3*t = m*a + 209. Is t a multiple of 12?
False
Suppose 2*b - 30 = 72. Is 9 a factor of b?
False
Does 9 divide (-2)/(-8)*0 + 41?
False
Suppose -26 - 24 = -5*y. Is 3 a factor of (-536)/(-40) + 6/y?
False
Suppose -5*f - 3*m + 3 = 0, -5*f = m + 3*m - 4. Suppose 2*v - 47 = 7. Suppose f = -3*r + v - 9. Is 3 a factor of r?
True
Let k be 3*-1 + (-3 - -2). Let d be (63/2)/((-2)/4). Is 13 a factor of d/(-5) - k/10?
True
Let m = 6 - -78. Does 8 divide m?
False
Let h(p) = -2*p - 2. Is h(-7) a multiple of 10?
False
Is ((-42)/(-14))/((-72)/(-69) - 1) a multiple of 40?
False
Does 5 divide 19 - ((-6)/3 + 6)?
True
Let o be 4/12 - (-68)/3. Suppose -o = 4*k - 191. Is 17 a factor of k?
False
Let m = 10 + -6. Suppose -m*f + f + 15 = 0. Does 5 divide f?
True
Suppose -k - 1 = -2*t, -6 = -3*k - 5*t + 2. Does 12 divide 488/6 - k/3?
False
Suppose -5*y + 2 = -18. Suppose 2*l - 12 = -y. Suppose -15 = l*w - 51. Is 4 a factor of w?
False
Suppose 0*j + 160 = 4*j. Suppose -2 - 2 = q + 3*x, -4*q = 4*x - 8. Suppose -q*t = -t - j. Does 5 divide t?
True
Let t = -5 + 0. Let n = -29 + 20. Let d = t - n. Is 4 a factor of d?
True
Let h be 1/1*1*2. Suppose 4*g - h*g = 114. Does 19 divide g?
True
Is 22 a factor of 4/(12/75)*3?
False
Let b(g) = -g**3 + 8*g**2 - g + 4. Let f be b(8). Is f*(-3 - 2/(-4)) a multiple of 10?
True
Let w = 758 - 524. Does 34 divide w?
False
Suppose 3*l + 3*z - 15 = 0, 3*z - 5 = -2*l + 5. Let k(i) = -i**3 + 7*i**2 - 3*i - 7. Is k(l) a multiple of 10?
False
Suppose -5*b - 6 = -4*s + 5, -3*s = 2*b + 9. Let n be -3*(-6)/(-9)*s. Suppose -n*t + 21 = -47. Is 17 a factor of t?
True
Let b be (3/(-9))/((-3)/(-18)). Does 3 divide (0 - 2)/(1/b)?
False
Let c be 2/6 + (-4)/3. Let l be (2 - c)*(-1)/1. Is 3 a factor of 3/((l/1)/(-3))?
True
Let a(b) = b + 4. Let h be a(0). Suppose h*r - 7*r + 60 = 0. Is r a multiple of 10?
True
Let p = -151 - -334. Is p a multiple of 17?
False
Let y be (-33)/2 + (-3)/(-2). Let l be 6/y + 147/5. Let o = -7 + l. Is o a multiple of 8?
False
Suppose 3 = -0*t + t. Suppose 0 = -t*c + c. Suppose c = 5*u - 10. Is u a multiple of 2?
True
Suppose -4*v - 8 = 0, -k = 2*k + 5*v + 10. Suppose l + 44 = 2*j - l, k = -4*j - 2*l + 88. Does 8 divide j?
False
Let x = 21 - 10. Let t = x - -12. Is 8 a factor of t?
False
Let y = 10 - 17. Let s(l) = 4*l - 2*l**3 + 2*l**2 - 8*l**2 + l**3 + 3. Is 11 a factor of s(y)?
False
Suppose 5*s + j = 372, -3*s + 4*j = 8*j - 230. Suppose 103 + s = 3*o. Suppose 3*n + a = 14 + 25, o = 4*n - a. Is n a multiple of 7?
True
Let s be 3*(-1 + 24/9). Suppose k = s*k. Suppose -2*a + 3*a - 30 = k. Is a a multiple of 10?
True
Let d(r) = r**3 - 3*r**2 + r + 1. Let j be d(3). Is 10 a factor of j + 0/1 - -16?
True
Let n(r) = r**2 + 5*r - 10. Let y be n(-7). Suppose 0 = -3*s + 2*h - 7*h + 99, y*s - 5*h - 167 = 0. Does 11 divide s?
False
Let h be (0 - 1)*1 + 0. Is 3 a factor of (-5 + -1 + 0)*h?
True
Let w = -97 + 179. Is w a multiple of 23?
False
Let q = -2 + 3. Let i = q - -1. Suppose 5*l - 126 = 2*r, 0 = -3*l - i*l - 3*r + 111. Is l a multiple of 24?
True
Let h(q) = 7*q. Let s be h(2). Let k = s + 0. Is 14 a factor of k?
True
Let r = -44 - -86. Let g be (r/6)/((-2)/(-2)). Suppose -m + 74 = 5*f, 3*m - g*m = -f + 19. Is 7 a factor of f?
False
Let m(w) = 3*w**3 - 7*w**2 - 2*w. Is m(5) a multiple of 38?
True
Suppose 0 = -3*j - 5*s + 9, 2*j - 2*s - 11 = -5. Suppose 2*k = 2*t + j*k - 31, -2*t + 21 = -k. Is 5 a factor of t?
False
Suppose 2*j = 5*q - 15 - 32, -48 = -5*q + 3*j. Let d(o) = -o**3 + 8*o**2 + 9*o + 8. Is 6 a factor of d(q)?
False
Let o be 580/12 - (-2)/(-6). Let u = o - 23. Is u a multiple of 12?
False
Suppose 3*r - 4*d + 12 = -d, 3*r = -d - 12. Does 11 divide 66/r*(-6)/9?
True
Suppose 8 = -0*p + 4*p. Suppose 0 = -5*l + 10, -100 = -p*d - 3*l + 5*l. Does 13 divide d?
True
Suppose -3*z - 7*z = -600. Does 15 divide z?
True
Let h(r) be the third derivative of r**6/120 + r**5/10 + r**4/4 + 2*r**3/3 + 4*r**2. Is h(-4) a multiple of 6?
True
Suppose 0 = i - 4*i + 9. Is i*(-2 + (6 - -1)) a multiple of 5?
True
Let l = -53 - -13. Let s = -75 + 47. Let o = s - l. Is 7 a factor of o?
False
Let h(p) = p + 1. Let f(v) = -5*v - 6. Let y(b) = -f(b) - 4*h(b). Let n be y(3). Suppose -s - 2*m + n = -4, 12 = s + m. Is s a multiple of 9?
False
Let q(w) = w**3 + w**2 + w. Let o be q(3). Suppose -n - 3*c = -0*c - o, -2*n - c + 63 = 0. Is n a multiple of 10?
True
Let g = 4 + -1. Is 17 a factor of ((-58)/g)/((-6)/9)?
False
Let k(q) be the second derivative of q**2 + 1/6*q**3 + q + 1/12*q**4 + 0. Does 11 divide k(-5)?
True
Suppose 0 = -r + 2*r - 4. Suppose 0 = 3*g - r*g + 121. Does 11 divide (-7)/28 - g/(-4)?
False
Let u = 96 + -46. Is u a multiple of 25?
True
Let r = 43 - 5. Is r + 4/(-8)*4 a multiple of 9?
True
Let z be (-5 + 0)*(1 - 2). Suppose 3*u - 119 = -z*o, -o + 4 = 3. Is 12 a factor of u?
False
Let z = 5 + -1. Let q = -4 + z. Suppose 3*x - 37 - 71 = q. Is 19 a factor of x?
False
Suppose 5*x = -3*s + 6, 0 = x + 3*s + 5 + 1. Suppose 2*v - 8 = 4*b, x*v + 4 = 4*v. Does 2 divide 2*(0 - -1) + b?
True
Suppose -6 + 4 = -2*d. Let u = d + 21. Is 11 a factor of u?
True
Let d(y) = 3*y**2 + 19*y - 16 - 2*y - 4*y**2. Does 12 divide d(13)?
True
Let d(j) = -j**3 - 3*j**2 - j - 3. Let p be d(-3). Let r = p - -3. Suppose 35 = r*o + 5*w, -4*o + 46 - 5 = w. Is o a multiple of 4?
False
Suppose 0*c + 63 = -5*u + 2*c, 3*u = -c - 40. Let g = -2 - u. Is g a multiple of 9?
False
Does 20 divide -116*4/(-8) - -2?
True
Let d(u) be the second derivative of -u**4/12 + 11*u**2/2 - 3*u. Is d(0) a multiple of 11?
True
Let h = 1 + -9. Let i(z) = z**2 + 2*z + 6. Let l be i(h). Is (-15)/(-6)*l/15 a multiple of 9?
True
Suppose -2 - 55 = 3*y + 2*m, 0 = y - 3*m + 19. Let p = y - -49. Is 15 a factor of p?
True
Let j(u) = 3*u**2 + 4*u - 3. Let o be 1/(-4) - (-30)/(-8). Is j(o) a multiple of 10?
False
Let z(d) be the second derivative of 0 + 1/12*d**4 - 1/2*d**2 + 2*d + 1/6*d**3. Is 5 a factor of z(2)?
True
Suppose 4*l = 184 + 24. Is 17 a factor of l?
False
Suppose -214 = -h + 106. Suppose -23*r - h = -27*r. Is 16 a factor of r?
True
Suppose 113 = -u + b, 2*u - 3*b + 244 - 14 = 0. Does 29 divide 1 + u*(-2 + 1)?
False
Let p = -5 - -11. Suppose -u - 280 = -p*u. Does 25 divide u?
False
Let x be (8/10)/((-4)/(-10)). Let o(z) = z**2 - 3*z + 2. Let i be o(x). Suppose 5*k = -p - 2, i = p - 5*p + 3*k + 61. Does 6 divide p?
False
Suppose 0 = 4*x - 10 + 34. Let b be 32/12 + 4/x. Suppose -4*w + 89 = -4*k - 19, -3*w = -b*k - 81. Is w a multiple of 15?
False
Let q(b) = 6*b**2 + 29*b + 3. Let o(v) = 4*v**2 + 19*v + 2. Suppose 3*j + 10 = j. Let r(m) = j*q(m) + 8*o(m). Is r(-5) a multiple of 7?
False
Let o = 1 + -1. Suppose b + 5*f = 13, o = -5*b - 4*f + 3*f + 41. Is b a multiple of 4?
True
Let x = 24 - 10. Let w be (3 - 1)*217/x. Suppose 8 - w = -d. Does 8 divide d?
False
Let n(c) = -3*c - 3. Let i be n(-2). Suppose 0 = y + f - 17, 3*y = i*f + 37 + 2. Let g = -5 + y. Is g a multiple of 8?
False
Let v = 36 - 6. Does 6 divide v?
True
Let q be (-11)/3 - (-6)/9. Le