- 52/(-65). Let r be (-1 - (3 + m))*-1. Suppose 380 = -0*z + r*z. Is z a multiple of 16?
False
Suppose 0*o = -3*o + 132. Let t = -10 + o. Suppose -2*i = -5*c - 32, 4*i - i - t = 4*c. Is i a multiple of 3?
True
Suppose 10*k - 15 - 15 = 0. Suppose 0 = -k*v - 44 + 119. Does 6 divide v?
False
Let x be -3 - (-4 - 2) - 1. Suppose -z + x*y = -54, 0 = -5*z - 0*y + 5*y + 275. Does 28 divide z?
True
Let t(r) = 41*r - 5. Let d(l) = -1. Let y(q) = -d(q) + t(q). Is 8 a factor of y(4)?
True
Suppose 2*u - 3766 = -2*k, -5*k - 2766 = -4*u - 12181. Is k a multiple of 116?
False
Let y(a) = -112*a - 162. Is 5 a factor of y(-6)?
True
Suppose -477*q - 1296 = -486*q. Is 15 a factor of q?
False
Let f(w) = 7*w**3 + 2*w**2 + 6*w - 7. Let h be 10 + 2/(-4)*2. Let a(u) = 3*u**3 + u**2 + 3*u - 3. Let q(g) = h*a(g) - 4*f(g). Is 14 a factor of q(-3)?
True
Let p = -65 + 63. Let g(j) = -42*j + 15. Is g(p) a multiple of 11?
True
Suppose 4*m = 2*a - 2330, 0 = -20*a + 25*a + m - 5869. Is a a multiple of 69?
True
Let z(j) be the second derivative of 3*j**5/20 - j**4/3 + 2*j**3/3 + j**2 - 13*j. Is 12 a factor of z(3)?
False
Let v be ((-2)/(-4))/(-1)*-6 - -9. Let u = 71 + v. Is 32 a factor of u?
False
Let o = -35 - -37. Does 10 divide ((-25)/(-5) - -5)*o*2?
True
Does 34 divide 2551/15 - 80/1200?
True
Let a(t) = 13 - 7 + 29*t - 7. Let k(m) = -m - 1. Let g be k(-2). Is a(g) a multiple of 9?
False
Let b(c) = 23*c**2 + 7 + 3*c - 7*c - 24*c**2. Let t be b(-5). Suppose w - 3 = t. Is w a multiple of 4?
False
Let w = -10 - 3. Let u = 29 + w. Suppose 108 = 2*g + 4*b, 2*g - 2*b - 74 - u = 0. Is g a multiple of 16?
True
Let i be 3*(-2)/12*-6. Suppose i*g + 2*v = 175, -5*g + 2*g = -2*v - 191. Does 12 divide g?
False
Let b be 2 + 127 + -1 + 4. Suppose -7*m = -3*m - b. Is 11 a factor of m?
True
Let n(j) = 13 + 4*j - 19*j - 5 + 3*j**2. Does 13 divide n(6)?
True
Let o be 1/(1/(-2) + 1). Let g(l) = -10*l**3 + 0*l - o*l**3 - l + l**3. Is g(-2) a multiple of 30?
True
Suppose 3*c + 40 = 2*l, 5*c - 2 = 8. Let m(u) = u**3 + 9*u**2 - 17*u - 24. Let k be m(-10). Let z = k + l. Does 23 divide z?
True
Let c(j) be the first derivative of 13*j**4/24 + j**3/3 - j**2/2 + 11. Let l(h) be the second derivative of c(h). Is 15 a factor of l(1)?
True
Suppose -5*l + 14 = 3*t - 5*t, 0 = -5*l - 5*t + 35. Suppose 2*u = -5*i + 431, 0 = -0*i + i + l*u - 97. Let b = i - 49. Is 8 a factor of b?
False
Let o = 285 + 645. Does 19 divide o?
False
Let v(o) = -2*o**3 - 15*o**2 - 40*o - 18. Is v(-10) a multiple of 18?
True
Let a(x) = 36*x + 36. Is 36 a factor of a(8)?
True
Let d be (-30)/((-6)/324*-1). Is 13 a factor of ((-4)/10)/((279/d)/31)?
False
Let l(j) = -5*j + 48. Let r(o) = -o**2 - 10*o - 11. Let a be r(-11). Does 21 divide l(a)?
False
Let t(i) = i**3 - 8*i**2 + 11*i - 15. Suppose -5*a = 5*p - 45, 2*p + 5*a - 24 + 0 = 0. Is t(p) a multiple of 5?
False
Let l = -92 + 110. Is 18 a factor of (-2)/(-3) + 1284/l?
True
Let q(w) = -2*w**2 - w + 6. Let s be q(3). Let o(f) = -f**2 - 18*f - 33. Does 6 divide o(s)?
True
Suppose 2*p + 16 = 4. Let z be (-8)/p + 550/15. Let l = -24 + z. Does 11 divide l?
False
Let s = -491 + 755. Is 9 a factor of s?
False
Suppose y = 7*y - 6. Suppose 3*v - 4*w + 15 = 0, -9 - y = v - 3*w. Does 3 divide 10 - (v + -3 + 3)?
False
Let d = -215 + 144. Let y = d - -183. Is y a multiple of 28?
True
Suppose 3*s + 1648 = 2*l - 2*s, 0 = -l + 4*s + 818. Is 19 a factor of l?
False
Suppose 20 = j + 4*j - 5*g, -3*g = 0. Is 10 a factor of (48/9)/(j/42)?
False
Let x(h) = h**3 - 8*h**2 + 11*h - 3. Let s be x(7). Suppose s = 6*n - n. Suppose 0 = -b + 5*v + 30, -v + n = -b + 19. Is 8 a factor of b?
False
Suppose -6*k + 165 = 5*k. Is k a multiple of 7?
False
Let b be (-772)/6 - 3/9. Let g(f) = f**3 - f**2 - 56. Let m be g(0). Let y = m - b. Does 12 divide y?
False
Let b(p) = 4*p**3 - p**2 - 1. Let n be b(-2). Let t(v) = -2*v**3 + v - 4. Let s be t(3). Let w = n - s. Is 9 a factor of w?
True
Let o(i) = -i**3 + 19*i**2 - 10*i + 16. Is 48 a factor of o(10)?
True
Let t(m) = -341*m + 12. Does 115 divide t(-3)?
True
Let x be (3 + 38/(-10))*-5. Suppose -3 = x*f + 13. Let s(p) = -p**2 - 5*p - 1. Is s(f) a multiple of 3?
True
Let i(r) = -r**2 + 19*r + 86. Is 5 a factor of i(22)?
True
Let l(w) = 7*w**2 - 9*w + 2. Let t be l(6). Suppose y = -4*y + t. Suppose 0 = -5*v + 8*m - 3*m + 90, 2*v - 4*m - y = 0. Is 8 a factor of v?
True
Let f = -181 - -259. Is 39 a factor of f?
True
Let w = 1166 - 569. Is 12 a factor of w?
False
Let h(c) = -c**3 + 3*c**2 - 4*c - 2. Let i = 16 + -11. Let y(n) = n**3 - 2*n**2 + 3*n + 1. Let q(o) = i*h(o) + 6*y(o). Is q(-3) even?
True
Let m be (-12185)/(-45) - (-8)/36. Suppose r + 234 + m = 0. Does 29 divide (r + -3)/4*-1?
False
Let m(a) = 180*a**2 - 25*a + 50. Does 24 divide m(2)?
True
Let s = 2570 - 1176. Is s a multiple of 41?
True
Let a(h) = h**2 - 13*h + 7. Let v be a(9). Let n = 125 + v. Suppose -5*p + 457 = -3*l, -n - 268 = -4*p + 2*l. Is p a multiple of 25?
False
Let c(g) = 2*g**3 - 3*g**2 - 7*g + 6. Let w be c(4). Let j(h) = -h**2 + 5*h - 5. Let l be j(5). Is w/2 + 10/l a multiple of 27?
True
Let n(q) = q**2 + 5*q - 1. Let o be n(-6). Suppose 40 = -3*l + o*l. Does 20 divide l?
True
Let d = -4 + 312. Does 12 divide d?
False
Suppose 20*j - 1194 = -y + 22*j, 0 = -2*y + 2*j + 2384. Is y a multiple of 26?
False
Let p be 6/((-15)/(-60) + 10/8). Let o(b) = 17*b**2 - 3*b + 16. Is 12 a factor of o(p)?
True
Suppose -7 - 1 = -4*x. Suppose s - 2*i + 4 - 1 = 0, 0 = -5*s + x*i + 17. Suppose s*k = 6*k - 31. Is 15 a factor of k?
False
Let n = 417 - -171. Is n a multiple of 28?
True
Is 26 a factor of (28002/130)/((-12)/(-40))?
False
Is 9 a factor of ((-3570)/68)/(3/(-8))?
False
Suppose -3*f + a + 24 = 0, -2*f + f - a = -4. Is 8 a factor of -10 + f - (-50 + -1)?
True
Is 7 + -3 - -19 - -2 a multiple of 2?
False
Let m be (-3)/(-18)*-4 - 356/(-3). Let x = m - 101. Does 17 divide x?
True
Is 7 a factor of (-19449)/(-45) - 3/15?
False
Suppose -2*m - 1 = 3*d, -2*m - 5*d = -10*d + 9. Let s(f) = f + 4. Let u be s(-7). Is 22 a factor of m/(u - 195/(-66))?
True
Let m(j) be the first derivative of 21*j**2/2 + 2*j + 2. Does 13 divide m(2)?
False
Let r = 1413 - 869. Is 32 a factor of r?
True
Suppose -5*o + 2*o = 4*d - 21, -d + 5*o + 34 = 0. Suppose 0 = x - d + 6. Is 19 a factor of (-1728)/(-30) - x/5?
True
Suppose 3*s - 1822 + 97 = 0. Is 25 a factor of s?
True
Suppose -2*h = 5*a - 7821, -2*h = 2*a - 4244 + 1118. Does 22 divide a?
False
Let x be -4*-1*(3 + 55). Let u = x + -80. Suppose 0*w = -4*w + u. Does 19 divide w?
True
Suppose 4*v + 6 = 4*m + 2, 2*v + 3*m - 23 = 0. Suppose -k + 4*p - 122 = -v*k, -198 = -5*k - 4*p. Does 5 divide k?
False
Let l(p) = 4*p**2 - 65*p - 20. Does 5 divide l(17)?
False
Let z be (-5)/(-4)*(-8)/1. Let r be 21/1 + (-6 - -3). Let x = r + z. Is x a multiple of 8?
True
Suppose 0*h - 3*h + 102 = 0. Let j = -23 + h. Let y = j + 26. Does 19 divide y?
False
Let c be (-1)/((-2)/4) + 5. Let m = -1 + c. Suppose 5*i = 2*w + 184, -2*i + m*w + 78 = 3*w. Is i a multiple of 18?
True
Let j = -18 + 12. Let b = 41 + j. Let n = b - 27. Is 2 a factor of n?
True
Suppose -v - v - 12 = 0. Is (-2)/v*(240 + 3) a multiple of 10?
False
Let y = 24 - 22. Does 25 divide (y/(-6) - -3)/(2/75)?
True
Let m(p) = p - 9. Let x be m(11). Suppose 0 = -x*c + 4*s + 130, 2*c + 2*s + 16 = 134. Is c a multiple of 10?
False
Let m(l) = -6*l**2 + 29*l**3 + 0*l - 3 + l - 30*l**3. Let x be m(-6). Does 8 divide (-286)/x - (-2)/9?
True
Let v(x) = 16*x - 13. Let w be v(7). Let d = 207 - w. Does 7 divide d?
False
Let b(k) be the second derivative of -27*k**5/20 - k**4/12 - k**3/3 + 9*k. Is 11 a factor of b(-1)?
False
Let y(k) = 2*k**3 - 18*k**2 + 44*k + 12. Is 4 a factor of y(6)?
True
Let n = -104 - -109. Is -2 + (n - -87)/2 a multiple of 29?
False
Does 64 divide 1*2/(-10) - 96888/(-40)?
False
Let z be 2*(-4)/(32/(-28)). Suppose -a + 55 + z = 0. Suppose a + 4 = 6*k. Is 9 a factor of k?
False
Let p(n) = -n**3 + n + 12. Suppose 3*i + 10 + 5 = 0. Does 12 divide p(i)?
True
Suppose 5*h - 4*o - 2384 = 0, -86*h - 2*o = -84*h - 950. Does 14 divide h?
True
Let j = -117 + 117. Suppose -7*q + 2*q + 1115 = j. Does 33 divide q?
False
Suppose 0 = 4*s + 1 - 5, 0 = m + 4*s - 16. Let a(v) = 4*v - 16. Let h be a(m). Suppose -i - h = -2*q + i, -3*i - 15 = 0. Does 11 divide q?
T