t u(d) be the second derivative of d**4/12 + d**3/3 + 5*d**2/2 - d. Is 11 a factor of u(c)?
False
Let f be 17/(-1 + (-27)/(-30)). Let p be f/(-6) + (-1)/3. Does 14 divide (-18)/(-6)*p/6?
True
Let m be (-4)/(3*4/(-312)). Suppose y - 5*r + 136 = 3*y, -2*y + 3*r = -m. Is 14 a factor of y?
False
Let i(s) = -2*s + 10. Is 16 a factor of i(-3)?
True
Let h(a) = a**2 - 3*a + 1. Let w be h(2). Does 14 divide (-27)/(-2)*-2*w?
False
Suppose 95 = h - 94. Is h a multiple of 8?
False
Suppose -3*y - 46 = -3*j - 8*y, 4*j - 5*y - 73 = 0. Is j a multiple of 17?
True
Suppose 0*w - w + 9 = -3*r, 4*w + 2*r + 34 = 0. Let p be 8*(0 + (-75)/w). Suppose -10 = 5*u - p. Is 11 a factor of u?
False
Suppose -3*h - 3 = 0, -h + 109 = 4*m - 6*h. Suppose 0 = 3*r - 4*r + 4*u + 20, 0 = r - 2*u - m. Is 32 a factor of r?
True
Suppose 52 = -4*g + 4*n + 12, 4*g = -3*n - 54. Is 3 a factor of 1/((-1)/g*4)?
True
Suppose -612 = -3*u + 2*h - 213, -5*u + 665 = -5*h. Is u a multiple of 19?
True
Suppose 6 = -q + 10. Is 1/q - 22/(-8) a multiple of 2?
False
Suppose -3*w = -2*w - 15. Does 15 divide w?
True
Suppose -x + 3*m = -5*x + 27, 0 = 2*x + 4*m - 26. Suppose x*u = -12, 5*u = 3*z - 2*z - 6. Is (20/(-14))/(2/z) a multiple of 8?
False
Let h be 10/75 - 656/(-30). Let n = -8 + h. Does 14 divide n?
True
Let k = 43 - -24. Suppose 3*w = -13 + k. Suppose 0*a + w = a. Is a a multiple of 18?
True
Suppose v + 2*q - 7*q = -54, 2*v + 63 = q. Let f be 2/(-4)*0 + v. Let d = f - -70. Is 14 a factor of d?
False
Let m(r) = r**3 + 4*r**2 + 3*r - 1. Let f be m(-3). Let o(y) = y**2 - 3*y + 3. Let i be o(2). Does 10 divide (2 - i)*-32*f?
False
Suppose -5*m - 54 = -2*j, 2*j - 7*j + 5*m = -135. Does 10 divide j?
False
Let v(k) = -k + 14. Let h be v(8). Suppose -2*d = 5*t + h - 29, 5*d - 2*t = -15. Let o = d - -11. Is 10 a factor of o?
True
Suppose 2*s - 599 = -5*w, 3*w - 4*s = 5 + 344. Suppose 2*f + 35 + 125 = 4*m, -w = -3*m + 2*f. Does 24 divide m?
False
Suppose -3*l + 20 = -43. Is 7 a factor of l?
True
Let k(v) be the second derivative of -v**5/20 + 5*v**4/12 + v**3/3 - 2*v**2 + 6*v. Let x be (10/(-4))/(1/(-2)). Does 3 divide k(x)?
True
Is 3 a factor of (-1661)/(-55) - 1/5?
True
Let n(x) be the first derivative of -x**2/2 - 3*x + 4. Let v be n(-3). Suppose 0*d - 5*d + 120 = v. Does 14 divide d?
False
Let b(d) = 3*d - 24. Let o be b(12). Let z = o + 20. Is z a multiple of 16?
True
Is (-7)/42 - 169/(-6) a multiple of 7?
True
Suppose -3*s = -2*y - 1, 6 = 3*s - 4*y + 13. Suppose -s*w - i = -5*w + 45, -w = i - 24. Does 13 divide w?
False
Let r = 224 + -148. Is r a multiple of 13?
False
Suppose 0 = 3*o - 4*o + 1. Let a(f) = -6*f. Let r be a(o). Let s = 12 + r. Is s a multiple of 4?
False
Is -3 + (-100)/(-14) + 2/(-14) a multiple of 4?
True
Suppose 2*j - j = 1. Suppose -b + 2 = -j. Is b a multiple of 3?
True
Let q = 42 + -72. Let m = 9 + q. Let c = -13 - m. Is 4 a factor of c?
True
Suppose 0 = 5*s, -2*u = -u - 4*s + 86. Let a(c) = c**3 - 11*c**2 + 7*c + 8. Let v be a(8). Let l = u - v. Does 14 divide l?
True
Does 14 divide (-545)/(-10) - (-6)/4?
True
Let t(y) = -y**2 - 6*y - 3. Let r be t(-4). Suppose 4*f - 92 = r*a - 3*a, -5*a - 14 = -f. Does 14 divide f?
False
Suppose 540 = 2*p - 2*h, -3*p = -4*p + 2*h + 270. Is 30 a factor of p?
True
Let p = -17 + 42. Suppose -h + 20 = 3*d - 2*h, 3*d - 2*h - p = 0. Does 2 divide d?
False
Suppose 0 + 12 = 2*b. Does 27 divide 54 - 2/b*0?
True
Is 3/(-2)*(-21 + -1) a multiple of 9?
False
Let b be ((-2)/3)/(2/18). Let r(o) = o**2 + o + 2. Does 16 divide r(b)?
True
Suppose 0 = 2*d - 5 - 3. Suppose -2*s = -d*s + 14. Suppose 2*k = s*k - 220. Is k a multiple of 22?
True
Let s = 4 + 55. Is 24 a factor of s?
False
Let f be 3 - -2*37/2. Suppose 24 = 4*c - f. Is 13 a factor of c?
False
Let m = 46 - 32. Is m a multiple of 4?
False
Let o(q) = -q - 1. Let v(k) = -6*k - 6. Let b(y) = 10*o(y) - 2*v(y). Is 3 a factor of b(4)?
False
Does 15 divide (-381)/(-12) + -2 - 2/(-8)?
True
Let x = 6 + 5. Is 4 a factor of x?
False
Suppose 0 = 5*d - 47 + 312. Let m = 33 + d. Let a = m - -28. Is a a multiple of 4?
True
Is 4/16 - (-15)/4 even?
True
Suppose -4*w - 5*v = 2, 0 = -4*w + 4*v - 3 + 19. Suppose w*m = -m + 54. Is 10 a factor of m?
False
Suppose 5*t = 59 + 676. Suppose 3*s = 3*p + s - t, -p = s - 54. Is 8 a factor of p?
False
Let g(m) = m**2 - 1. Let d be g(1). Suppose 4*c - 6*c + l + 62 = 0, -c = 2*l - 26. Suppose d = -2*v + v + c. Does 15 divide v?
True
Let h(x) = x**3 - 2*x**2 - 3*x + 1. Let z be h(3). Is (-10)/(-4)*4*z a multiple of 10?
True
Suppose 296 = 2*b - r, -5*b = -9*b - 5*r + 606. Is b a multiple of 40?
False
Suppose -2 = -3*r - 2*y, -3*y - y = 20. Suppose r*g - 20 = 48. Is 17 a factor of g?
True
Let t = -87 - -145. Does 16 divide t?
False
Let q be -4*(-3)/(-7 - -1). Is (-9)/(-2)*(8 + q) a multiple of 7?
False
Let f(s) = s**2 + 3*s - 6. Let u be f(-5). Let y(g) = -g + 8. Let a be y(u). Suppose a*z + z = 25. Is 5 a factor of z?
True
Suppose 29 = 3*k - 5*l - 452, -4*k + 649 = l. Is 27 a factor of k?
True
Let l(v) = 4*v**3 + 2*v**2 - 2*v + 1. Let j be l(1). Let r(u) be the third derivative of u**5/60 - u**4/6 + 7*u**3/6 + 2*u**2. Is r(j) a multiple of 7?
False
Suppose 3*x + 95 = -2*x - 5*u, x + 4*u = -31. Does 4 divide 3/x - (-42)/10?
True
Does 4 divide (-6 - -48)*3/2 + -1?
False
Let x(t) = 340*t**2 + 8*t - 8. Is 42 a factor of x(1)?
False
Suppose -2 = -t + 5*j, 3*j - 4 = 7*j. Suppose -3*l - 41 - 16 = 0. Is (t - (0 + -2))*l a multiple of 13?
False
Let t(q) = 6*q**2 - 8*q - 36. Is 25 a factor of t(-3)?
False
Suppose 0 = 3*f + c - 258, 2*f - 3*c = c + 186. Is f a multiple of 29?
True
Is -1 + -14*(-45)/10 a multiple of 31?
True
Suppose 2*t - 4*t + 4 = 0. Suppose -t*k - 2 + 6 = 0. Suppose 4*n - k = 5*n, 2*x = -4*n. Is 2 a factor of x?
True
Let w = -8 - -11. Suppose -12 = -w*l - l. Is 2 + 1 - (-16 + l) a multiple of 8?
True
Let s(p) be the first derivative of -p**3/3 + 5*p**2 + 12*p - 5. Suppose -3*f + f = -20. Is s(f) a multiple of 6?
True
Does 39 divide 10/8*(-260)/(-15)*9?
True
Suppose -2*l + 5*l - 21 = 0. Suppose -l*d + 20 = -3*d. Is 4 a factor of d?
False
Let t(f) = -f + 1. Let s be t(-1). Suppose -9 = s*l - 5*l. Is 3 a factor of l?
True
Let i be 4 - 3/(12/(-4)). Suppose 0 = i*g - 4*g - 34. Does 9 divide g?
False
Let n(r) = r**3 - r**2 + r + 2. Let o be n(0). Suppose -4*m - 5*z = -30, -m + 9 = -0*m + o*z. Suppose -m*i + 46 = -3*i. Is i a multiple of 6?
False
Let l(j) = j**3 - 12*j**2 - 5*j + 10. Is l(13) a multiple of 31?
False
Suppose 0 = -5*n + n + 92. Suppose -2*g - n = -3*g. Is 23 a factor of g?
True
Let l be 0 - -6*7*-1. Let f = 133 + l. Suppose -f = -4*z + 29. Is 15 a factor of z?
True
Let v(w) = 1. Let g(s) = s + 11. Let k(y) = -3*g(y) + 24*v(y). Does 9 divide k(-8)?
False
Suppose -10 - 10 = 5*a. Let q(r) = -4*r**3 + 2*r**2 - 7*r + 4. Let f(j) = 3*j**3 - j**2 + 5*j - 3. Let n(k) = -7*f(k) - 5*q(k). Does 6 divide n(a)?
False
Let a = -5 + 5. Let w(d) = d + 25. Is w(a) a multiple of 19?
False
Let l = 102 - 69. Let n = l + 12. Suppose 3*t - 20 = -p, -p + 5*t - n = -5*p. Does 2 divide p?
False
Let h(s) = 40*s**2. Let b be h(-2). Let f = -1 + 6. Suppose -5*a + b = -f*k, -4*a + 4*k - 2*k = -118. Is a a multiple of 10?
False
Suppose -2*a + 0*a - s + 6 = 0, 2*s = -5*a + 15. Is a even?
False
Let g(a) = 2*a + 40. Suppose 0 = z - 6*z. Is 20 a factor of g(z)?
True
Suppose 3*p - 14 = p. Let n = p + -4. Is n a multiple of 3?
True
Suppose 0 = -4*i - 62 + 190. Is 22 a factor of i?
False
Suppose -1 = q, 0 = 3*h - 2*q - q - 162. Let l = -38 + h. Suppose 0 = 5*p - 6*p + l. Is p a multiple of 13?
False
Suppose 2*r = -4*y + 6*r + 360, 356 = 4*y - 3*r. Does 17 divide y?
False
Is 15 a factor of ((-48)/(-40))/(1/50)?
True
Let h = 11 - 16. Let b = h - -14. Is b a multiple of 2?
False
Let m = 9 + -5. Suppose 0 = -5*b - 3*o + 99, -3*o = -m - 5. Suppose 0*h = -h + b. Does 6 divide h?
True
Suppose 2*p + 0*h + 2*h - 4 = 0, -4*p + 20 = h. Suppose -5 = -w + p. Does 2 divide w?
False
Let h be 15/6 + (-2)/(-4). Let f(c) = -c**2 + 7*c - 2. Is 4 a factor of f(h)?
False
Suppose 0 = -2*o - 8, -d - 2*d + 47 = o. Let v = 8 + d. Does 19 divide (-2)/(-5) + 1165/v?
False
Let l be ((-3)/(-3) - 2)*-2. Let y = 5 - l. Suppose 2*v - 35 = -y*v. Is 4 a factor of v?
False
Suppose 0*v - 2 = v. Let n be v/(-4)*-1*-10. Suppose 2*z = n*z - 57