 = 3*m + 3, 5*s = -3*m + 2. Is ((-3)/9)/(s/(-9)) a multiple of 3?
True
Let k(p) = -13*p - 1. Let t be k(-2). Let s be ((-50)/15)/((-2)/3). Suppose -t - 5 = -s*z. Is 3 a factor of z?
True
Is 54/2 - (12 + -10) a multiple of 6?
False
Suppose 0 = -3*s + s + 52. Let z = s + -16. Does 7 divide z?
False
Suppose -2*d = 4*x - 236, 0*x = -x - 5*d + 68. Is x a multiple of 15?
False
Suppose 0 = -r - 3*i + 15, -3*i + 20 = 2*i. Suppose 3*x + 33 = 5*x + 5*q, -r*q = 2*x - 35. Is 8 a factor of x?
False
Let i = -3 + 15. Does 12 divide i?
True
Let k be (-190)/(-45) + 2/(-9). Let p = k + -7. Is 7 a factor of p/(-4)*-2*-12?
False
Let p = 584 + -260. Is 41 a factor of p?
False
Suppose -4 = -5*l + 26. Is l a multiple of 3?
True
Let v(d) = -d**3 + 29*d**2 + 33. Is 11 a factor of v(29)?
True
Let s be 20*((-92)/(-16))/1. Suppose -55 = -m - 5*y + 15, -2*m + s = 5*y. Is 16 a factor of m?
False
Is 9 a factor of (-44)/(-6)*(-9)/(-6)?
False
Let y(k) = -6*k**2 + 5*k - 4. Let i(h) = 11*h**2 - 9*h + 7. Let c = -5 + 8. Let n(j) = c*i(j) + 5*y(j). Is n(-2) a multiple of 7?
False
Let x(i) = 29*i + 6. Let z be x(5). Suppose 4*m = -39 + z. Is 7 a factor of m?
True
Suppose 2*f - 118 + 38 = 0. Is f a multiple of 23?
False
Let b(h) = h**2 + 6*h - 3. Is b(7) a multiple of 25?
False
Let l(y) = 2*y - 10. Let c be l(8). Let z(h) = -h**3 + 4 - 8 + 6*h**2 + 3*h + 0*h**3. Is z(c) a multiple of 5?
False
Let k(l) = -10*l + 3. Let a(x) = x**3 - 3*x**2 - 4*x - 1. Let v be a(4). Let o = -5 - v. Is k(o) a multiple of 16?
False
Let m(q) = 5*q**2 - 6*q - 7. Let c(j) = -14*j**2 + 17*j + 20. Let r(t) = -4*c(t) - 11*m(t). Is r(-2) a multiple of 2?
False
Suppose 10*m - 405 = 5*m. Is m a multiple of 13?
False
Suppose -89 = -3*u - 14. Does 3 divide (-6)/18 + u/3?
False
Let c(o) = -o**2 + 12*o - 7. Let m be c(5). Suppose m = 5*d - 27. Let n = d - -23. Is n a multiple of 14?
False
Suppose -4*l - 8 = -2*r, -4*l - l - 15 = 0. Does 9 divide (r/(-4))/((-4)/(-168))?
False
Suppose -5*i - 43 = 2*r - 180, -2*r + 117 = i. Is 14 a factor of r?
True
Suppose 0 = 7*i - 6*i + 1. Does 31 divide ((-20)/(-16))/(i/(-36))?
False
Suppose 3*q - 59 = -4*z + 2*q, 8 = z - 2*q. Does 21 divide (-3)/(-2) + 609/z?
False
Let q(d) = 24*d + 40. Is q(5) a multiple of 16?
True
Let d(c) = -2*c - 1. Let i be d(-5). Does 7 divide (i/2)/((-4)/(-8))?
False
Suppose 0 = 4*w - 4*m - 16, 7*m = -2*w + 4*m + 8. Does 21 divide ((-122)/(-4))/(w/8)?
False
Let o(x) = 282*x + 5. Is o(1) a multiple of 40?
False
Let b(q) = -5*q. Let o be b(-1). Suppose o*d - 6 + 21 = 2*n, -6 = -4*n + 2*d. Let g = n + 9. Is 6 a factor of g?
False
Let t(n) = 3*n**3 - 5*n**2 + 3*n + 3. Is t(3) a multiple of 17?
False
Suppose 4*a + a + 3*x = 75, -5*x = 0. Is 15 a factor of a?
True
Let u(i) = -8*i - 4. Let l be u(-3). Suppose -4*q + 3*q + 2*k = -1, -l = -5*q - 5*k. Suppose -q*r + 2 = 3*x - 16, -4*x + 2*r = -30. Is 7 a factor of x?
True
Suppose 3*n - q - 27 = -4*q, 0 = -4*q + 20. Let a be 32/(-6) - n/6. Is 54/2 - a/3 a multiple of 20?
False
Let u be (12/15)/(2/5). Let p(r) = 2*r - 1. Let o be p(u). Suppose 2*n - 39 = -3*c + 12, 0 = o*c + 3*n - 51. Does 17 divide c?
True
Let r(i) be the first derivative of -i**6/60 - i**5/60 + i**4/6 + i**3/2 + i**2/2 - 1. Let m(z) be the second derivative of r(z). Does 16 divide m(-3)?
False
Suppose 18 = 5*t + 3*s - 17, -4*s = 4*t - 28. Does 7 divide t?
True
Suppose u = -3*u + 16. Suppose u = -0*o + 2*o. Suppose 3*w - 75 = -o*w. Does 6 divide w?
False
Suppose -2*l = -4*a + 218, -4*a + 217 = -0*l - l. Is 10 a factor of a?
False
Let a be (-3)/(-2 + (-26)/(-16)). Suppose -5*w + w + a = 0. Is 3 a factor of w*(-2 - (-21)/6)?
True
Let z(q) = 2*q**2 + 3*q + 5. Is z(-5) a multiple of 20?
True
Suppose w + 10 = -2*t, 2*t = 4*w - 0*t + 10. Let y be 1/w - 1/(-4). Suppose -3*x + 4*p + 74 = y, -x + 3*x + 5*p - 57 = 0. Is 13 a factor of x?
True
Let l = -23 - -176. Let f = l - 100. Does 23 divide f?
False
Let f(r) = -4*r + 1. Let s be f(-1). Suppose 0 = -5*p - 5*v + 145, -s*v = -p - 3*p + 80. Does 25 divide p?
True
Let i(m) = -m**3 + 5*m**2 + 3*m - 7. Let t(j) = -j + 5. Let f be t(0). Does 3 divide i(f)?
False
Let x be (-1 + 7)/(6/4). Let h be 0 + x/(-2) - -172. Suppose -2*i + 7*i - h = 0. Is 14 a factor of i?
False
Let h = 1 - -41. Does 14 divide h?
True
Let t = 165 + -80. Is 14 a factor of t?
False
Suppose -4*k + 16 = 5*n, 2*k + 4 = 3*k. Let c be n*(1 + -1*2). Suppose -x = -c*x - 18. Does 9 divide x?
True
Suppose a = 2*a - 14. Is 7 a factor of a?
True
Suppose -3*h - 130 = -307. Is 17 a factor of h?
False
Suppose 0 = -3*s + 2 + 1. Suppose -5*g + 19 = -s. Is 6/g*(1 - -1) a multiple of 3?
True
Let j = 0 - -12. Let r = j + -5. Does 2 divide r?
False
Suppose -8*b + 442 = -1334. Is 37 a factor of b?
True
Let c = -3 - -7. Suppose -c*t + 30 = -3*t. Does 14 divide t/(-1 + 2) - 2?
True
Let j(n) = n**3 - n**2 + 2*n + 40. Is j(0) a multiple of 13?
False
Suppose w + 25 = p + 2, 0 = 3*p - 4*w - 67. Does 23 divide p?
False
Suppose n + 222 = 4*n. Suppose -5*d - 5*o = -350, -d + n = o + 2*o. Does 14 divide d?
False
Let b = -14 - -6. Is 2 a factor of 4 - 0 - (b - -7)?
False
Let n(c) = c**3 + c**2 - c + 2. Let y(r) = r**2 + 1. Let z be y(-2). Let l = z + -3. Does 6 divide n(l)?
True
Let v(p) be the third derivative of -p**4/24 + p**3/2 + 3*p**2. Let x be v(5). Is 8 a factor of (x - -4) + (0 - -23)?
False
Suppose 5*l - 16 = 4. Let p = 11 + l. Is p a multiple of 13?
False
Let l = 3 + 2. Let o be 1/(28/(-30) - -1). Suppose -b + 3*r + o = 0, -2*b + r + 5 + l = 0. Does 3 divide b?
True
Let w(b) = -b**3 - 5*b**2 + 6*b + 5. Let p be w(-6). Let l = -5 + p. Let x = l - -6. Is x a multiple of 5?
False
Let h(s) = s**3 + 2*s**2 + s. Let g be h(-2). Is g/(-7) + (-374)/(-14) a multiple of 9?
True
Suppose -2*d + 5 + 5 = 0. Does 5 divide d?
True
Let f(j) = j**2 + 4*j - 4. Suppose 4 = -2*p - v, 0 = -4*p - v - 2*v - 6. Let c be f(p). Let o(d) = d**3 + 8*d**2 + 6*d - 3. Is o(c) a multiple of 2?
True
Is 12 a factor of (-25)/(-2)*(-24)/(-15)?
False
Let h be 12/(-14)*(-84)/2. Suppose 0 = 3*c - 42 - h. Is 13 a factor of c?
True
Let a(c) = -c + 7. Let v be a(4). Suppose -2*b = k - 50 - 8, -218 = -3*k + 5*b. Suppose -143 = -3*o - 2*r, -2*r = -v*o + 73 + k. Is o a multiple of 14?
False
Suppose f - 1 - 4 = 0. Let v be (1 + -2)*-1*3. Suppose -f*q = k + k - 153, 0 = v*q - 3*k - 96. Does 18 divide q?
False
Let s(w) = w**2 - w + 54. Let d be s(0). Suppose -d = -3*p + 33. Does 12 divide p?
False
Suppose -3*j + 160 = j. Is 12 a factor of j?
False
Is (-754)/(-9) + (-2)/(-9) a multiple of 28?
True
Let y(f) = -f**3 + 20*f**2 + 5*f - 16. Let a(i) = -2*i**3 + 39*i**2 + 9*i - 31. Let x(w) = -6*a(w) + 11*y(w). Is x(14) a multiple of 8?
True
Let n = 272 - 179. Is n a multiple of 31?
True
Suppose -4*i - 2*m = 34, 2*i = 2*m - 11 + 3. Let a = -4 - i. Is a a multiple of 3?
True
Let d = 5 - 3. Suppose 104 = 4*j - v - v, d*v + 20 = j. Does 14 divide j?
True
Does 7 divide -1 + 4 - (-36 - 4)?
False
Let s(q) = 2*q - 8. Let h be s(8). Let m = -1 + h. Is m a multiple of 4?
False
Let u be 21/9 - 1/3. Suppose 4*o = -23 + 3. Does 6 divide u/o - (-77)/5?
False
Is 4 a factor of 1 - (-2)/((-2)/(-3))?
True
Let u = 0 + 8. Suppose 2*b = 3*a + 12, u = -5*a - 2. Is 2 a factor of b?
False
Suppose -u - 252 = -4*r, 0 = 3*r - 0*r - 4*u - 189. Is 35 a factor of r?
False
Suppose -169 = -3*l + 44. Suppose 4*r = 73 + l. Is r a multiple of 18?
True
Does 29 divide (-20)/12 + (-3080)/(-21)?
True
Let a = 11 + -11. Is 13 a factor of 16 - (-1 - a - 3)?
False
Let l = 2 - -3. Suppose -l*g = -6*g + 3. Suppose -4*h + 13 = -g. Is h a multiple of 2?
True
Suppose -4*k = -4*q - 764, 4*k + 3*q - 756 = -q. Does 38 divide k?
True
Let a be 2982/(-66) + (-2)/(-11). Let f = 63 - a. Suppose 3*r = 2*h - 55, 4*h - r - f = 3*r. Is 20 a factor of h?
False
Suppose -3*a + 1 = -5. Suppose 26 = -a*j + 3*j. Is j a multiple of 13?
True
Suppose 0 = -2*n - 4 - 0. Is 8 a factor of 1 + -7*(n - -1)?
True
Let w = -4 + 7. Suppose 186 = w*j - 9*o + 4*o, -j = 4*o - 79. Does 21 divide j?
False
Suppose 3*r = -29 + 89. Is 20 a factor of r?
True
Let i(p) be the second derivative of 13*p**3/3 - p**2/2 + p. Let z be i(1). Suppose 45 = 3*t + 4*j, 2*t - z = -j - 0*j. Is 11 a factor of t?
True
Does 13 divide ((-5)/15)/((-2)/390)?
True
Is ((-4)/(-6))/(-2 - (-278)/138) a multiple of 5?
False
L