3 + -18. Suppose y*z - g - 10 = 0, 0*g - g + 10 = 5*z. Does 10 divide (-4)/((-48)/20 + z)?
True
Let j(q) be the third derivative of -q**6/120 - q**5/10 - q**4/6 + 2*q**3/3 + 4*q**2. Let i be j(-5). Let a(l) = -20*l**3 - l**2. Is a(i) a multiple of 5?
False
Suppose 3*s - 150 = -0*s. Suppose 0 = -2*w + w + 4. Suppose s = 3*b + w*p, -1 = -0*p + p. Does 5 divide b?
False
Let n(z) = z**3 + 2*z**2 + 5*z + 5. Let o be n(4). Suppose -3*f + 83 + o = 0. Does 37 divide f?
False
Suppose 0 = -27*z + 28*z - 10. Suppose 0 = -2*l + z*l - 328. Is 12 a factor of l?
False
Suppose 5*b - 789 = 5*r - 2*r, 3*b = -5*r + 453. Is 13 a factor of b?
True
Let j = 153 + -81. Is 18 a factor of 3 + (-12)/4 + j?
True
Let i(d) = -d**2 + 4 - 4 + 9*d - 3. Suppose -19 = -3*j - 1. Is i(j) a multiple of 8?
False
Suppose -5*s + 2264 + 916 = 0. Let r be 1/((-2)/s*-2). Suppose -2*v - 5*b = -59, 8*v - r = 3*v - b. Is v a multiple of 16?
True
Let p be ((-15)/(-12))/((-7)/(-28)) + 1. Suppose 0 = -2*s + 14 + p. Does 10 divide s?
True
Suppose -4*q = -0*q + l - 3131, -2*q + 3*l + 1569 = 0. Is 29 a factor of q?
True
Suppose -d = -4*d + 18. Suppose -d*i + 51 = 3. Suppose 4*r = -2*z + 132, -4 = 4*r - i. Does 23 divide z?
False
Suppose 153*w - 151*w + 5*m - 245 = 0, 5*w + 3*m = 641. Is w a multiple of 27?
False
Let o(j) = -348*j + 12. Is o(-1) a multiple of 72?
True
Let i = -176 + 116. Does 2 divide (i/35)/((-2)/7)?
True
Let u be (3/7)/(5/35). Suppose -u*y + 477 = 189. Does 24 divide y?
True
Let u be -3*(80/6)/((-34)/85). Let x = 350 - u. Is x a multiple of 18?
False
Let v be (-4)/(-12) + (-44)/(-3). Let r be -3*(-5 - 48/(-18)). Let j = v - r. Does 2 divide j?
True
Suppose -13*k - 5838 = -5*w - 12*k, 5*w = 4*k + 5832. Is 62 a factor of w?
False
Let f = -24 + 94. Is f a multiple of 10?
True
Suppose 483 = 6*d + 15*d. Is 23 a factor of d?
True
Let n be (1/(1/(-19)))/(-1). Let a(w) = -w**3 + 21*w**2 - 30*w + 42. Does 30 divide a(n)?
False
Let s = 215 - -20. Is 22 a factor of s?
False
Suppose r - 74 = 46. Let f = r - 65. Is 21 a factor of f?
False
Suppose w + y - 9 = -0*w, 5*w - 2*y = 10. Is (219 - w) + -2 + 3 a multiple of 27?
True
Suppose 5205 = 3*x + s, 5*x - 2*s + 8674 = 10*x. Is 28 a factor of x?
True
Suppose 0 = 5*w + y + 5, w - 22 = 2*w - 4*y. Let z = w + 2. Suppose 72 = -z*f + 2*f. Does 10 divide f?
False
Does 11 divide (15/2 + -7)*70?
False
Let j = 138 - 218. Let v = -54 - j. Is v a multiple of 7?
False
Let c(f) = 11*f**2 - 2*f + 6. Let h be c(3). Let v = -70 + h. Is v a multiple of 8?
False
Let p be (2 + -5)*73*(-2)/(-3). Does 10 divide (0 - -2) + p/(-2) + -1?
False
Suppose 0 = -5*x + 8*x + b - 13, 0 = -x + 3*b + 21. Suppose -3*s - h = 5, 3*s + 3*h - 4 = -1. Is 10 a factor of 23 - (s + 0 + x)?
True
Let l(k) = -k**3 + k**2 + k + 1. Let m(r) = r**3 - 11*r**2 - 8*r + 9. Let w(o) = 2*l(o) + m(o). Is 13 a factor of w(-9)?
True
Let c(y) = -y**3 - 59*y**2 - 98*y + 4. Is c(-58) a multiple of 11?
False
Suppose -f + 0*f - 59 = 0. Let n = -24 - f. Let a = n + -20. Is a a multiple of 10?
False
Suppose 2*k + 5*s - 166 + 32 = 0, 3*k + 5*s = 206. Suppose 3*g - 354 = 2*w - k, -g + 5*w = -81. Is g a multiple of 12?
True
Let s = 2898 - 1503. Is s a multiple of 45?
True
Let a = 496 + -301. Is 7 a factor of a?
False
Does 36 divide 7 - (5 + -7) - -1071?
True
Let v(u) = u + 1. Let o be v(5). Suppose -68 = -4*w + 5*q - q, -3*w = 2*q - 46. Is 18 a factor of o/w*-2*-24?
True
Is (-213)/(30/(-40) - 27/(-52)) a multiple of 18?
False
Let q be (-4)/(-10) - 1056/(-10). Suppose -q = 7*u - 5*u. Let r = u - -88. Is r a multiple of 9?
False
Suppose -55 = -4*w + 2*j - 21, 0 = -5*w - 2*j + 38. Suppose o - 3*o - w = 2*s, -s = 5*o + 12. Is 9 a factor of (-803)/(-22) + o/4?
True
Suppose 41*a - 42*a = -1593. Is a a multiple of 18?
False
Let l = -684 + 971. Is l a multiple of 16?
False
Let c = 137 - 92. Let w = c + -25. Suppose 88 = a + w. Does 21 divide a?
False
Is (8 + -6)*(-5017)/(-2) a multiple of 29?
True
Suppose -3*z - 134 = -5*z. Let w = 125 - z. Suppose -5*b - 8 + w = 0. Is 8 a factor of b?
False
Let k(n) = 0*n**2 - 99*n - n**2 + 113*n + 6. Is 21 a factor of k(10)?
False
Let f(x) = x**2 + 8*x - 4. Let u be f(-9). Is (21/(-5) - -4) + 121/u a multiple of 8?
True
Let f be (-7 - -10)*(-2)/3. Let v be 12 - (f - (2 - 2)). Is 10/(-35) - (-844)/v a multiple of 15?
True
Let i(u) be the first derivative of 2*u**2 - 8*u + 54. Does 11 divide i(6)?
False
Suppose -5 - 10 = 3*n, -a = 4*n + 20. Let f(m) = -m**3 - m**2 + 4. Let x be f(a). Suppose -x*i + 198 = -2*l, 2*i + 4*l = -l + 93. Is 17 a factor of i?
False
Let n(b) = 3*b**2 + 2*b - 56. Does 8 divide n(-8)?
True
Suppose -11*d = -9*d - 402. Does 3 divide d?
True
Let b(r) = 8*r + 65. Let d(l) be the second derivative of -l**3/2 - 11*l**2 - 12*l. Let m(w) = 4*b(w) + 11*d(w). Is 10 a factor of m(8)?
True
Is 89 a factor of (-1893920)/(-490) + (-6)/(-7)?
False
Suppose -5*r = 3*y - 839, 5*y + r - 403 = 966. Suppose 2*u = y - 5. Does 30 divide u?
False
Let c(h) be the first derivative of h**6/120 + 2*h**5/15 - 5*h**4/12 + h**3/6 - h**2/2 + 2. Let x(i) be the second derivative of c(i). Does 3 divide x(-9)?
False
Let y(n) = n - 4. Let u = 6 - -3. Let p be y(u). Suppose -p*a + 5*o = -80, 3*o - 4*o + 68 = 5*a. Is 14 a factor of a?
True
Suppose z - 216 = -5*b + 884, 0 = -5*z - 2*b + 5408. Is z a multiple of 70?
False
Let y = -17 - -10. Let k(b) = -6. Let n(u) = -4*u + 5. Let s(w) = 2*k(w) + n(w). Is s(y) a multiple of 21?
True
Suppose 6*j - 12 = 2*j. Suppose 0 = 3*l - 0*l. Does 16 divide 29 + 0 + l + j?
True
Let z = -130 + 130. Is z/4 + -1 + 1 + 30 a multiple of 10?
True
Let d(b) = 107*b - 175. Is d(14) a multiple of 49?
True
Suppose -612 = 101*i - 103*i. Does 18 divide i?
True
Is 761 + -2 + (-28 - -22) a multiple of 25?
False
Let d be (9/(-6) - -1)*(-2 - -346). Is 4 - 2 - 40/8 - d a multiple of 13?
True
Suppose -2*r - 26*b = -31*b - 1471, 0 = r - 3*b - 737. Is 28 a factor of r?
True
Let j = 518 + -432. Is j a multiple of 5?
False
Suppose 5*c - 92 = 193. Let a = 21 + -40. Let g = a + c. Is 14 a factor of g?
False
Let i = 27 + -23. Let m be -10 - (-8)/(i - 0). Let d = m + 31. Is d a multiple of 11?
False
Let q(c) = 9*c - 104. Is q(19) a multiple of 11?
False
Suppose -2*i = -3*g + 15940, 2*i + 7614 = 2*g - 3016. Is g a multiple of 45?
True
Let v = -17 + 38. Let o(t) = 11*t**2 - 4*t. Let q be o(-3). Suppose v = 3*f - q. Does 11 divide f?
True
Suppose -7*l = -8*l + 7. Is (-1664)/(-56) - (-2)/l a multiple of 5?
True
Suppose 16*b - 3110 = 26*b. Let t = -116 - b. Is t a multiple of 13?
True
Suppose -2*b + 420 = 5*b. Let l = -35 + b. Is l a multiple of 25?
True
Let k be (21/(-42))/(2/(-12)). Let g(z) = 6*z**3 - 5*z**2 + 8*z - 7. Is g(k) a multiple of 32?
False
Let g be -20*-4*(-2)/(-20). Let u = 13 - g. Suppose -35 = -j - u. Does 15 divide j?
True
Let c(d) = -23*d + 5. Let y be c(-2). Suppose 2*q = w - 2*q - 36, q = 2*w - y. Is 1677/18 - 4/w a multiple of 31?
True
Let q = 8 - 4. Suppose q*r = -m - 99 - 18, 3*m + 359 = -4*r. Let w = 208 + m. Does 28 divide w?
False
Suppose -17351 = -20*l + 4009. Is l a multiple of 7?
False
Let z(k) = -6*k**3 - 2*k**2 - 3*k - 2. Let u be z(-1). Suppose 0 = -u*c + 188 - 13. Is c a multiple of 7?
True
Let n = 21 - 10. Let c = n - -16. Is c a multiple of 9?
True
Suppose k + k = 0. Suppose h - 46 = -k*h + 5*o, 207 = 4*h + 3*o. Suppose -5*d - 5*j + 49 = -h, 0 = -5*d - j + 92. Does 9 divide d?
True
Suppose -2*t + 0*t = 600. Let y = t + 434. Is 17 a factor of y/4 + 5/10?
True
Let k be (-15)/(-10)*(1 + 1). Let h(p) = p**3 - 3*p**2 + 3*p - 3. Let v be h(k). Does 7 divide 24/(-16)*(-28)/v?
True
Let x be -1*2*(-4)/(-8) - 107. Let k = -238 + 398. Let b = k + x. Is 13 a factor of b?
True
Let x = -1572 + 1783. Is 49 a factor of x?
False
Suppose 0 = 9*a - 2*a - 49. Let v = 22 - a. Is 7 a factor of v?
False
Let q be 2/(-4)*14 + 4. Let n be (-3)/(-3)*2 + q. Does 32 divide 12 - 9 - (-109 - n)?
False
Let x(w) be the first derivative of 5*w**2 + 32*w - 6. Is 48 a factor of x(8)?
False
Does 15 divide (-3 + (-18)/(-9))/((-1)/2175)?
True
Let k be ((-3)/(-2))/((-9)/(-30)). Let h be ((-7)/(-2))/(k/(-10)). Does 7 divide (h/2)/((-7)/14)?
True
Let b(j) = -6*j - 40. Let h(k) = 1. Let u(o) = b(o) + 6*h(o). Is 14 a factor of u(-15)?
True
Suppose 2*n + 2*s - 68 = 50, -4*n + s + 236 = 0. Let d = n - -