 multiple of 46?
False
Suppose 3*i = -2 + 8. Suppose -i*d = 4*n - 10, -3*n + 2*d + 8 = 4*d. Suppose n*y = -3*y + 40. Is 8 a factor of y?
True
Suppose -45 = 2*h - 185. Is 8 a factor of h?
False
Let n = -8 - -12. Suppose n*c + c = 4*g - 21, 0 = g + 4*c. Does 16 divide (1 - -3)/(1/g)?
True
Is 4*((-100)/(-8) - -2) a multiple of 15?
False
Suppose 0 = 15*s - 73 - 32. Does 2 divide s?
False
Suppose -5*y + 57 = -3. Is y a multiple of 7?
False
Suppose c - 2 = -c. Suppose -5*x = -4*h + 22, -9 - c = 5*x. Does 2 divide h?
False
Let f be (-2 - 0)/((-22)/33). Suppose 3*j - 254 + 86 = 5*o, -5*j + f*o + 264 = 0. Does 17 divide j?
True
Is 88/6*15/10 a multiple of 13?
False
Let n(r) = -r**2 - 5*r + 2. Let l be n(-4). Suppose l*p = 2*p. Suppose p = -2*w - 0*w + 8. Is 4 a factor of w?
True
Suppose -2*l = r + 2*r - 616, -r - 616 = -2*l. Is l a multiple of 44?
True
Let v(y) = -y + 41. Is v(0) a multiple of 8?
False
Let k be 2/(-5) - 136/(-40). Suppose 4*d = -k*l + 107, 3*d - 81 = -l - 2*l. Is d a multiple of 16?
False
Let x be 2 - (0 + (-3)/3). Suppose 4*a = x*a + 4. Suppose a*r + 19 = 99. Does 10 divide r?
True
Suppose -5*o + 190 = -2*o - 2*y, 0 = 5*o + 3*y - 285. Does 30 divide o?
True
Let a(z) be the second derivative of z**6/180 + z**5/120 - z**4/12 - z. Let d(y) be the third derivative of a(y). Does 12 divide d(4)?
False
Suppose -14*m = -13*m. Suppose 4*x - 4*h - 132 = m, x - 2*h - 14 = 20. Is 9 a factor of x?
False
Suppose -2*k - 8 = -4*k. Suppose k - 28 = -p. Is 12 a factor of p?
True
Suppose -52 = 2*h - 3*h. Is 13 a factor of h?
True
Let b(d) = -6*d. Let n be b(-3). Is 2 a factor of n/8 - 1/4?
True
Let q(k) = -1 + 0*k + k - 3*k**2 + 4*k**2. Let h(i) = -2*i**2 - 5*i. Let a(y) = h(y) + 3*q(y). Is a(-5) a multiple of 14?
False
Let q(v) be the third derivative of -v**4/3 - v**3/3 - v**2. Let z be q(-2). Is (-42)/(-9)*36/z a multiple of 11?
False
Let u = -111 + 186. Does 30 divide u?
False
Let v(u) = 10*u**2 + 2*u. Let l be v(-2). Suppose 0*q - l = -4*q. Is 9 a factor of q?
True
Let x(w) = w**3 + 7*w**2 - 10*w - 4. Does 16 divide x(-7)?
False
Suppose -18*q + 588 = -14*q. Is q a multiple of 10?
False
Suppose 0*t + 2*t = -32. Let c = t - -31. Does 11 divide c?
False
Let q = -24 + 66. Is 14 a factor of q?
True
Let n = -227 + 678. Is n a multiple of 47?
False
Let b(k) = 10*k**2 - k - 1. Let o be b(-1). Suppose -f + 0*f - h - 7 = 0, 4*h + o = 2*f. Is 2 a factor of ((-7)/f + -2)*6?
True
Let x(p) = p**3 + 5*p**2 - 6*p + 6. Let w = -2 - 4. Let s be x(w). Suppose 0 = c - 8 - s. Is 14 a factor of c?
True
Suppose -v - 3 = 3. Let x(j) be the second derivative of j**4/12 + 5*j**3/6 + 3*j**2 - 7*j. Is x(v) a multiple of 3?
True
Suppose 0 = -2*s + s + 4. Let f = 2 - s. Is 7 a factor of (-3 - -3 - 34)/f?
False
Suppose 0 = -9*f + 10*f - 33. Is 11 a factor of f?
True
Suppose -2*u + u = -13. Let r = u - 6. Is 7 a factor of r?
True
Let j(n) = -n**3 + 7*n**2 + n - 2. Let i be j(7). Suppose 3*d = 6*d + 2*h - 15, i*d - 5*h = 25. Suppose d*z = -0*z + 80. Is z a multiple of 7?
False
Suppose 3*s - 2 = 4. Suppose v = s*v - 8. Is v a multiple of 8?
True
Suppose 5 = 3*f - 4. Suppose 4*l = -3*i + 87, -2*i + f = i. Is l a multiple of 13?
False
Let j = 72 - 43. Suppose -5*f + j = -1. Is f a multiple of 3?
True
Suppose -o = -3*o + 4. Let u(g) = 2*g - 2. Let z be u(o). Suppose -5*h = -2*i - 120, 29 + 67 = 4*h - z*i. Is h a multiple of 12?
True
Let o(p) = -p**3 - 3*p**2 + 6*p + 7. Let h = -5 - 0. Is o(h) a multiple of 9?
True
Suppose 99 = y - 22. Suppose 2*f + 3*l = y, -5*f + 2*l = 3*l - 335. Does 17 divide f?
True
Is 17 a factor of (-237)/(-2)*(-6)/(-9)?
False
Suppose 10*l - 240 = 13*l. Let s = -4 - l. Does 19 divide s?
True
Let l = 7 + -2. Suppose -l*u + 2 = -8. Is u/(-6) + (-55)/(-3) a multiple of 7?
False
Let t(o) be the third derivative of -o**6/4 + o**3/6 + 5*o**2. Is 9 a factor of t(-1)?
False
Does 37 divide 2 + (156 - 3) + -3 - 4?
True
Suppose 2*g = -g + 15. Suppose -3 - 7 = g*p. Let m(f) = -12*f + 1. Is 9 a factor of m(p)?
False
Let h be 10/3*9/5. Let c be (2/(-3))/(h/(-27)). Suppose -y = 5*r - c, r + 2*r = 0. Is 2 a factor of y?
False
Let x be (-1)/(-2) + (-50)/(-4). Suppose -2*c = -c - x. Does 7 divide c?
False
Suppose -5*q + 2 = -33. Let a be (-6)/(-21) + 5/q. Suppose 6 = z - a. Does 7 divide z?
True
Let o(q) = q**3 + 5*q**2 - 7. Let l be o(-5). Let x(k) = k**3 + 6*k**2 - 9*k + 10. Is 12 a factor of x(l)?
True
Suppose -s + 5*p + 8 + 15 = 0, -5*s = 3*p - 3. Suppose 0 = z - s*z. Suppose -f - 2*f + 72 = z. Is f a multiple of 9?
False
Let w = -22 - -49. Let d = w - -15. Is 21 a factor of d?
True
Suppose 2*j = -3*d + j + 2, -3*j = -6. Let g be d/(-2) + 1 + 4. Suppose -z - 2*z = -6, 4*l - 50 = -g*z. Does 10 divide l?
True
Let g be (5 - 11) + 0 + -3. Does 7 divide (14/6)/((-1)/g)?
True
Does 12 divide 478*(-3)/(-24) + 9/(-12)?
False
Let l = 169 + -36. Does 11 divide l?
False
Let k(c) = 8*c**2 + 2. Is 16 a factor of k(2)?
False
Suppose -3*o + 2*o - 4 = 3*p, 3*o - 6 = -3*p. Let z(d) = d + 1. Is 3 a factor of z(o)?
True
Suppose 11*x - 10*x = 21. Is x a multiple of 16?
False
Let a(n) = -3*n - 1. Let p be a(-2). Suppose p*v = 3 - 8, 4*r + 3*v - 13 = 0. Is r a multiple of 2?
True
Let o be 2/((2/(-148))/(-1)). Suppose 0 = -2*l + 6*l - o. Is 7 a factor of l?
False
Let k = -2 + 10. Suppose -3*m + k = -2*m. Is -39*(m/6 + -2) a multiple of 10?
False
Suppose j - s = 21, s = 2*j - 37 - 9. Is j a multiple of 5?
True
Let y(a) = a**3 + 5*a**2 - 7*a - 6. Let v be y(-6). Does 18 divide v + 33 - (10 + -13)?
True
Let v = 10 - 6. Suppose 0*o = o - v. Suppose -95 = -b - o*b. Is b a multiple of 19?
True
Let p = -117 - -194. Is 22 a factor of p?
False
Let z be (-3)/(0 + -3)*8. Let r(s) = s**2 - 2*s - 6. Is 14 a factor of r(z)?
True
Let t = -24 + 32. Is 2 a factor of t?
True
Suppose c - 8 = -3*m + 33, m = -5*c + 191. Is c a multiple of 19?
True
Let d be (-19)/(-2)*20/1. Let x be (d/(-4))/(1/(-2)). Suppose -2*j = -z + 6*z - 80, 5*z - x = -5*j. Does 7 divide z?
True
Is 38 a factor of 38/((4/(-1))/(-20))?
True
Suppose -5*w - 3*v + 329 = 0, 3*w + v = 4*v + 183. Is 16 a factor of w?
True
Let b = 22 - 20. Is 22/(3/6*b) a multiple of 11?
True
Let o(t) = -t**2 - t. Let z be o(0). Let y = 1 + z. Is 16 a factor of y + 29 + (3 - 1)?
True
Let p(h) = -5*h**3 + 1. Let l be p(-1). Suppose -l*b + 75 = -b. Does 5 divide b?
True
Let j(x) = -x**3 + 6*x**2 + 7*x + 8. Is 10 a factor of j(6)?
True
Let w be (-27)/6*(-16)/(-12). Is (-138)/15*15/w a multiple of 15?
False
Let c(u) = -2*u + 1. Is 15 a factor of c(-11)?
False
Suppose 2*t - 32 = -5*v, -2*t - t + v = -14. Let h be 30/6*(-1)/1. Let c = t - h. Does 11 divide c?
True
Suppose -29 = -6*l + 1. Suppose 22 = x + l*g, x - 3*x + g + 22 = 0. Is x a multiple of 3?
True
Suppose 88 = 4*q - 0*q. Is 16/3*99/q a multiple of 12?
True
Let d(u) = u**3 + 3*u**2 - 8*u + 4. Does 12 divide d(4)?
True
Let w(l) = -19*l**3 - l**2 - l. Is w(-1) a multiple of 17?
False
Let j = 8 - 4. Suppose j*z = 2*w - 12, 0 = -w - 2*z + 3*z + 1. Is (-2 - 0)*(w - 0) a multiple of 8?
True
Suppose 3*a - 4*u - 20 = 0, 5*a + 5*u - 8 - 2 = 0. Let g(z) = -6*z - 15. Let n(o) = -2*o - 5. Let j(y) = -6*g(y) + 17*n(y). Is j(a) a multiple of 13?
True
Let b be (-45)/12 - (-2)/(-8). Is 16 a factor of (-62)/b*(-4)/(-2)?
False
Suppose 0 = -4*c + 2*c. Let g(d) = d**3 + d**2 - 1. Let a be g(c). Let l = a - -16. Is 13 a factor of l?
False
Let l(b) = -3 + 6 + 0*b**3 - 3*b - b**3. Let n be l(2). Let q = n - -18. Is 3 a factor of q?
False
Is (1 - 2)*1/((-2)/168) a multiple of 42?
True
Let a(n) be the second derivative of n**4/12 - n**3 + n**2/2 - n. Is a(7) a multiple of 4?
True
Let a(h) = -6*h**3 + h**2 - 4*h - 4. Is a(-1) a multiple of 7?
True
Is ((-55)/10 + 4)/((-1)/8) a multiple of 6?
True
Let h(r) = r**2 + 2*r - 7. Is 11 a factor of h(-8)?
False
Suppose x - 2*g = 24, 0*x = -4*x + 2*g + 102. Let b(u) = -u**3 + 5*u**2 - 3*u - 2. Let s be b(4). Suppose h - 5*m - x = -s*m, 46 = 3*h - m. Is 5 a factor of h?
False
Suppose 2*p = -0*p + 8. Let h(i) = -37 + 7 + 13 + 12*i + 13. Does 22 divide h(p)?
True
Suppose 3*y + 284 = 5*y. Is y a multiple of 7?
False
Is (16 + -79)*(0 - 1) a multiple of 9?
True
Suppose -4*z + 2*j = -162, -2*j = -3*j + 5. Is z a multiple of 10?
False
Does 11 divide 4 + (-4 - 0) + 84 + -5?
False
Suppose -3*m = -0*m - 6. Let d