tiple of 49?
False
Let z be (-4)/3*(-12)/8. Let i(p) = -p**3 - 3*p + 0*p**2 - 4*p - 3*p**2 - 3*p**z. Is i(-6) a multiple of 13?
False
Let r be 2/(-5) + 22/5. Let u be (r/6)/(2/93). Suppose 2*m = u + 9. Does 10 divide m?
True
Let g(a) = 2*a**2 - 3*a + 4. Let i be g(4). Suppose -i - 3 = -j. Is j a multiple of 15?
False
Let z be 15/10*(-8)/(-6). Suppose 9 = 3*n, -5*n = -p - 2*n - z. Is p a multiple of 5?
False
Let g be 275/(-5)*8/(-10). Let f = -31 + g. Is 13 a factor of f?
True
Let x(j) = j**2 - 3*j - 4. Let d be x(4). Let c = d + 2. Is 9 a factor of (-105)/(-5) - (1 + c)?
True
Let d(q) = 3*q. Let g be d(5). Is (-108)/g*20/(-3) a multiple of 16?
True
Let k(f) = f**3 - 6*f**2 - 11*f + 12. Is k(8) a multiple of 15?
False
Let a(s) = -s**2 + 24*s - 25. Is 12 a factor of a(18)?
False
Let f = -6 - -6. Suppose 2*z - 3*q - 4 - 1 = 0, f = 4*z - 5*q - 13. Is z a multiple of 5?
False
Let p(v) = -6 + 4*v - 4*v**2 + 3*v**2 + 3*v. Does 6 divide p(4)?
True
Let g(k) = -k**3 + 12*k**2 + 9. Does 31 divide g(11)?
False
Is 4 a factor of (-3)/(-12) - (-75)/4?
False
Let k(t) = t**3 + t + 1. Let h be k(-1). Is (28 - (0 - h)) + 0 a multiple of 23?
False
Let x(n) = 3*n**2 - 8*n + 8. Let b(y) = -2*y**2 + 7*y - 7. Let u(h) = 5*b(h) + 4*x(h). Let v = 6 + -4. Does 11 divide u(v)?
True
Suppose 5*b + 105 = g, 2*g + 4*b + b = 165. Is 15 a factor of g?
True
Suppose 5*g + 4138 - 1618 = 0. Let f = -359 - g. Suppose f - 35 = 5*i. Does 11 divide i?
True
Suppose 2*p + 4*a - 389 = 5*a, 9 = 3*a. Is 33 a factor of p?
False
Suppose 2*d = -2*d + 92. Let b be -1 - (2 - (0 + d)). Suppose -64 = -4*f + b. Is f a multiple of 21?
True
Suppose 395 = 15*i - 10*i. Is i a multiple of 15?
False
Suppose -3 = 3*v, 5*v = 2*o - 0*v - 15. Suppose -2*w = n, o*w - w = -8. Suppose -n*j + 88 = -56. Is j a multiple of 18?
True
Suppose -i - 20 = 2*n - 5*n, -n - 10 = 3*i. Is 3 a factor of n?
False
Let o(a) = -a**3 + 13*a**2 - 10*a - 2. Let m be o(7). Is (-6 + 1)*m/(-15) a multiple of 10?
False
Let j = 466 + -266. Is j a multiple of 20?
True
Let i = 4 - 1. Let c be 1*(0 + 1 + 22). Suppose 1 = i*k - c. Is k a multiple of 8?
True
Let f(y) be the first derivative of y**3/3 - 9*y**2/2 + 10*y + 3. Is 5 a factor of f(9)?
True
Let m be (8/10)/(2/5). Suppose 59 = m*t - 45. Is 26 a factor of t?
True
Let m be (-4)/3*(-6)/4. Let c = m + -3. Let w = c + 8. Is w a multiple of 3?
False
Suppose -5*z + c + 705 = 0, 2*c = -2*z - 0*c + 282. Is 9 a factor of z?
False
Let u = -20 - -88. Is 4 a factor of u?
True
Let z(f) = f**2 - 5*f - 4. Suppose h = -0*h - 5. Is 23 a factor of z(h)?
True
Is 1/(-2) + 33/2 a multiple of 5?
False
Let f = -52 + 219. Is f a multiple of 22?
False
Does 21 divide 0 - (2 - 0)*(4 - 67)?
True
Let u(o) = o**3 + o**2 + 16. Let v = 4 + -4. Suppose v = 3*l - 6*l. Is u(l) a multiple of 6?
False
Let f be (0 - -2)*-4 - -2. Let j be 1 + 2/(f/33). Let s = j - -22. Does 6 divide s?
True
Let a be (-1 - -4)*2/3. Let p be (1 - 1 - -2)*a. Suppose b - 8 = -h, -p*b + 5*h + 5 = -0*b. Does 5 divide b?
True
Suppose 8*r = 2*r + 24. Is r - -40 - 2/(-1) a multiple of 23?
True
Let j(s) = -s**2 - 10*s - 8. Let q be j(-9). Suppose -q - 19 = -4*x. Is 3 a factor of x?
False
Let q(i) = 2*i - 2. Let c be q(4). Suppose 46 + 7 = a - 2*h, a - 57 = 3*h. Suppose j - c*j = -a. Is j a multiple of 5?
False
Let g(j) = -j**2 + 10*j + 11. Let q = -17 - -26. Is 15 a factor of g(q)?
False
Let p = -38 - -23. Let b = p + 33. Does 18 divide b?
True
Let w(n) be the third derivative of n**4/24 + n**3/2 - 3*n**2. Is 8 a factor of w(5)?
True
Let j(c) = -c**3 - 6*c**2 - 2*c - 1. Let l be j(-6). Let s(x) = x**3 - 11*x**2 + 2*x. Is 11 a factor of s(l)?
True
Suppose 15*i - 533 - 97 = 0. Does 7 divide i?
True
Let b be 4/(-10) + 64/10. Let d be b/(-4) - (-14)/4. Suppose -55 = -5*r - d*h + 17, 5*r + 3*h - 73 = 0. Does 14 divide r?
True
Let l(z) = z**3 + 22*z**2 + 20*z - 26. Let d be l(-21). Let g(y) = -10*y + 10. Let f(n) = 81*n - 81. Let j(r) = 4*f(r) + 33*g(r). Is j(d) a multiple of 24?
False
Suppose 0 = 8*s - 11*s + 51. Suppose n + 71 = 4*n + 5*g, n = -5*g + s. Is n a multiple of 9?
True
Let o(i) = -2*i - 3 - 2 - 7 - 5*i. Is 8 a factor of o(-5)?
False
Let i(k) = k**3 - k**2 + 2*k. Let d be i(2). Suppose d*j - 180 = 4*j. Is 10 a factor of j?
False
Suppose l + l = x - 1, -17 = -2*l - 5*x. Let q be (l - -2) + (-1 - -2). Suppose -q = -2*y + 4. Is y a multiple of 4?
True
Let z be 4 + -3 + -1 + 2. Suppose -z*l - 3 = -133. Is 11 a factor of l?
False
Let u = -12 - -14. Suppose -u*j + 83 = -59. Is j a multiple of 18?
False
Does 4 divide (1/2)/(17/136)?
True
Suppose 0 = 5*l - 3*y, 3*l - 4*l + 7 = -2*y. Does 2 divide 8*l/12*-2?
True
Let f be (2/4)/(4/(-96)). Let y = -8 - f. Let m = y + 6. Is m a multiple of 10?
True
Suppose -9*x + 4*x + 21 = b, -2*x + 3 = -5*b. Suppose -x*w - 3 = -7. Does 17 divide -5 + 3 - -37 - w?
True
Let j = 2 - -2. Suppose 4*c = 272 + j. Does 23 divide c?
True
Let f(n) = -n**2 - 8*n + 4. Let p be f(-7). Let g(a) = -3*a - p - 1 + 0. Does 11 divide g(-8)?
False
Suppose -4*d = 2*o + 4, -5*d - 26 = -2*o + o. Does 3 divide o?
True
Let i be 0*-1*(-3)/6. Let z(l) = 2*l - 3 + i*l + 8*l. Is z(2) a multiple of 8?
False
Let w be 0 + 4 - 1 - -2. Suppose 0 = x - 3*m + m - 28, -74 = -2*x - w*m. Suppose 4*r = n + x, 0*n + 4*n - 16 = -2*r. Is 3 a factor of r?
False
Let s = 12 + -48. Let d = -12 - s. Is d a multiple of 15?
False
Let w(p) = -p**3 - 12*p**2 - 15*p + 11. Let d be 33/(-6)*2 + 0. Is 15 a factor of w(d)?
False
Let s = 10 - -16. Let u = s + -14. Does 6 divide u?
True
Let k(c) = -2*c**3 - 7*c**2 - 4. Let r be k(-6). Suppose n + x = -4*n + r, -x = 4. Is n a multiple of 18?
True
Let f = 15 - 10. Is ((-14)/(-4))/(f/30) a multiple of 21?
True
Does 13 divide 35 + -3*5/(-5)?
False
Let n be (3 - 0)*39/(-13). Let b(a) = 2*a**3 + 15*a**2 + 13*a - 7. Let p(j) = j**3 + 7*j**2 + 6*j - 3. Let f(h) = -3*b(h) + 5*p(h). Is 3 a factor of f(n)?
True
Let w(n) = n**2 + 8*n + 3. Let g be w(-8). Let q(c) = c**3 - 4 + g + c + 5*c**2 + c. Is 11 a factor of q(-3)?
True
Is 9 a factor of (-10 + 2)/((-5)/50)?
False
Suppose 5*h - 75 - 9 = -2*g, 5*h = 5*g - 210. Is g a multiple of 7?
True
Let q = 8 + -5. Suppose -q*g + 58 = -w, -2*g - 5*w = -0*g - 50. Is g a multiple of 10?
True
Let j(s) = -s**3 + 5*s**2 + 3*s + 6. Let k be j(6). Is (-2)/4 + (-618)/k a multiple of 13?
False
Let f = 4 - 6. Let v(n) = 4. Let x(s) = s - 3. Let c(l) = -5*v(l) - 6*x(l). Is c(f) a multiple of 10?
True
Let k(v) = v**2 - v + 8. Is k(6) a multiple of 9?
False
Suppose -5*d = -20, -2*d - 2 = -p - 10. Suppose -5*b - 4*x + 28 = p, 0 = 4*b + x + 10 - 28. Suppose -2*u + 2*v = -66, b*v + 19 = -4*u + 111. Does 13 divide u?
False
Let j be (1 - 10) + (-3)/3. Is ((-12)/(-5))/((-2)/j) a multiple of 6?
True
Let s = 104 - 60. Does 2 divide s?
True
Let o(w) = w**3 + 36*w**2 - 44*w - 20. Is 35 a factor of o(-37)?
False
Let h(l) = l**2 - 6*l + 6. Let t be (-12)/(-10)*(-45)/(-6). Is h(t) a multiple of 11?
True
Let p(m) = -m**3 - 2*m**2 - 12*m - 14. Does 6 divide p(-4)?
True
Suppose -f + 52 = 3*f + 5*a, 0 = 5*f + 4*a - 65. Let l = f + -5. Is 4 a factor of l?
True
Suppose 64 = -0*o + 2*o - 4*r, -2*o + 80 = 4*r. Is o a multiple of 12?
True
Suppose 0 = 2*k + 2*v - 16, 5*v - 16 = 4. Suppose 144 = 4*a + 4*z, -48 = -0*a - a - k*z. Does 16 divide a?
True
Let w = -13 - -21. Let r = w + 0. Is r a multiple of 8?
True
Let c be (-149)/(-7) + 20/(-70). Let j = c - -3. Is 8 a factor of j?
True
Let p = 46 - -14. Is p even?
True
Let w(a) = 0 - a**2 + 4*a - 4 + 0*a + 9*a. Is w(11) a multiple of 18?
True
Let r(v) = 12*v**2 + v - 1. Let l be r(-3). Is l/28 + (-4)/(-14) a multiple of 4?
True
Suppose s + 2*s + 75 = 0. Suppose 0 = -c - 49. Let q = s - c. Does 8 divide q?
True
Is 8 a factor of 3 - (-15 - (-1 - 1))?
True
Suppose -10*d + 6*d + 108 = 0. Does 5 divide d?
False
Let c be (-2)/(-1) - 168/1. Let l = -35 - c. Suppose -5*u - 4*t + l = -108, -t = -5*u + 234. Does 18 divide u?
False
Let w = -2 + 6. Suppose -5*n - 2*s + 155 + 31 = 0, w*s - 106 = -3*n. Does 19 divide n?
True
Let x = 31 - 13. Is x a multiple of 10?
False
Suppose 4*j + 18 = -i, -3*i + 4*j = 2*i - 30. Let a be i - (-5)/((-10)/(-4)). Suppose 9*h - 50 = a*h. Is 5 a factor of h?
True
Let w = 7 + -4. Let m = w - -18. Does 19 divide m?
False
Suppose 22 = -4*u + 2, 3*n + 64 = -5*u. Let w