m = 5*f + 4, -4*m = 4*f. Does 43 divide 129*((-1)/6)/((-1)/m)?
True
Is 11 a factor of (498/(-15))/((-3)/15)?
False
Suppose 34*o - 19*o = 13395. Is 19 a factor of o?
True
Suppose -5*c + 864 = -4781. Is c a multiple of 7?
False
Suppose -16*y + 24725 = 9*y. Does 6 divide y?
False
Suppose 5*m + 10 = -5*v, 3*m = 3 - 18. Suppose -v*x = x - 12, 5*b = -4*x + 262. Is 11 a factor of b?
False
Let i = 602 - 134. Does 9 divide i?
True
Let m = -3 - -7. Suppose -m*z = -7*z + 12, z - 172 = -4*u. Is 7 a factor of u?
True
Let q = -9 - -12. Suppose -5*z + 401 = -2*l + 156, -q*z + 126 = 3*l. Is z a multiple of 16?
False
Let h = 140 + -5. Suppose 3*b - h = 3*j, 2*b - 80 = -0*b + 4*j. Does 15 divide b?
False
Suppose -2*u - 16*u + 234 = 0. Let c = 62 - 21. Let i = c + u. Is i a multiple of 25?
False
Let t(u) = 2*u**2 + 8*u - 24. Does 6 divide t(-10)?
True
Let l be (-2 - (-3 + 2))/(1 - 0). Does 21 divide 3/(l/3*9/(-147))?
True
Let p be (84 + 2)/(12/6) + 1. Does 20 divide (36/(-16))/((-1)/p) + 1?
True
Let v(x) = 212*x**2 + x + 1. Let l be v(-1). Let m = 357 - l. Is 25 a factor of m?
False
Suppose 1 = 3*c - x - 3, 3*c + x - 2 = 0. Let y be (c - 2) + 44/2. Let d = y - 13. Is 4 a factor of d?
True
Let f be 4/14 + (-623)/(-49). Suppose -n = 3*o + f, 8*o + 19 = -3*n + 3*o. Suppose 0 = -2*t - 4*b + 11 + 41, n*t = -2*b + 56. Is 15 a factor of t?
True
Let v(s) = 26*s - 6. Let k be v(-2). Let b = k - -154. Is b a multiple of 32?
True
Let u = -41 - -89. Is 7 a factor of (-4)/(u/(-572)) - 4/6?
False
Suppose -z + 0*z + 3311 = 4*x, -x = -3*z - 831. Is x a multiple of 46?
True
Suppose -2*k = 8, 5*l + 4*k - 565 = 9*k. Is l a multiple of 2?
False
Let b(x) = 18*x + 26. Let n(r) = -36*r - 51. Let t(y) = -9*b(y) - 4*n(y). Does 32 divide t(-7)?
True
Let k(o) be the first derivative of 5*o**2/2 + 6*o - 6. Does 9 divide k(6)?
True
Let k(z) = 2*z**3 + 12*z**2 + 2*z + 11. Let h be k(-6). Does 4 divide (10 - 3) + (3 - h - 7)?
True
Let k = -11 + 19. Suppose -k*c + 3*c + 95 = 0. Is 19 a factor of c?
True
Let i be (80/(-7))/(8/(-28)). Suppose 2*s = -5*k + 7*k + i, 2*s = -4*k + 46. Is 3 a factor of s?
True
Let h(j) = -2*j - 8. Let t(d) = -d**2 + 6*d - 5. Let o be t(4). Suppose -3*v - 3*z - 39 = 0, 0*v - o*z - 19 = v. Does 4 divide h(v)?
True
Let t = 578 - 233. Is 23 a factor of t?
True
Let w be (6/4)/(1/(-10)). Let l = -160 + 148. Let j = l - w. Does 2 divide j?
False
Let j(u) = u**2 - 5*u - 2*u**2 - 4*u + 6. Let l be j(-10). Is 16 a factor of (84/30)/(l/(-70))?
False
Suppose -97 - 95 = -4*n. Let f be 44 + 1 + n/(-12). Suppose 0 = 5*u - 19 - f. Is 12 a factor of u?
True
Let r be (18/(-54))/((-2)/(-12)). Let m be 178/(r + 3) + -4. Suppose -4*v = -7*v + m. Does 21 divide v?
False
Does 14 divide 1 + 1521 - (6 - 10)?
True
Let j(g) = g**3 - 11*g**2 + 3*g - 35. Let r be j(11). Is 13 a factor of (-4 - 70/(-25))/(r/45)?
False
Let d be 20*((-15)/(-10) - 4). Is (-1020)/d - (-4)/10*-1 a multiple of 7?
False
Let k(s) = 4*s**3 + 6*s**2 - s - 12. Let h(c) = 5*c**3 + 5*c**2 - 13. Let p(a) = -5*h(a) + 6*k(a). Suppose 0 = -q + 12 - 2. Does 8 divide p(q)?
False
Let o be (-158)/(-18) + ((-28)/(-63))/2. Let q(j) = 9*j + 13 - 5*j**2 - j**2 + j**2 + 4*j**2. Is 2 a factor of q(o)?
False
Does 38 divide 2/(-4) + (-555)/(-2)?
False
Suppose v - 3*z + 2 = 0, 0*v - 2 = -2*v + 4*z. Is 7 a factor of v?
True
Suppose 5*b - 20 = 0, 2*o + 0*b + 4 = b. Suppose 0 = 5*r - o*r - 2*c - 10, -5*r - 5*c = -45. Does 4 divide r?
True
Suppose 0 = -3*p - 2*c + 891, 3*p = 5*c - c + 909. Let s = p + -171. Does 32 divide s?
True
Suppose 0 = t + c - 297, 5*t = 5*c + 998 + 527. Is t even?
False
Suppose r + 647 = 764. Is r a multiple of 3?
True
Let d(o) = -o**3 + 25*o**2 - 18*o + 43. Is d(22) a multiple of 30?
False
Suppose i - 2*q + 0 = 3, 3*i - 9 = -q. Suppose 0 = i*h - 5*h + 14. Let v(o) = o**2 - 5*o - 3. Is 5 a factor of v(h)?
False
Suppose 5*x - m - 152 = 0, 6 = -x - m + 34. Let i = x - 3. Does 4 divide i?
False
Let w(b) = b**3 - 5*b**2 - 13*b - 2. Let l be w(8). Suppose 9*p - 7*p = l. Is p a multiple of 8?
False
Let t = 16 + -14. Let r be -2 - (-3 - (t + 2)). Suppose 240 = -p + r*p. Does 10 divide p?
True
Suppose 0 = -g - 4*x + 102, -7*g + 12*g = -4*x + 446. Is 25 a factor of g?
False
Let g(p) = 61*p. Let d(u) = u. Let t(x) = -2*d(x) - g(x). Does 6 divide t(-1)?
False
Let r = 242 - 2. Is 40 a factor of r?
True
Suppose g = 3*g + 5*z - 116, 5*z - 20 = 0. Suppose -4*j = -5*x + 240, x + 3*j = j + g. Is 25 a factor of x?
False
Suppose -4*m - 3*q + 15 = 0, 11 = m + 3*m - q. Suppose -77 = -3*h + u, -m*h + 2*u = 6*u - 97. Is h a multiple of 3?
True
Suppose 0 = 2*m + 4*z - 26, 7*z = 5*m + 3*z - 23. Is 12 a factor of 12/m*(6 + 1)?
True
Suppose 468 = 11*u - 214. Is u a multiple of 3?
False
Let y(p) = -p**2 + 18*p + 36. Is y(17) a multiple of 2?
False
Suppose 4 = -5*s + 3*x, 12*s - 16*s - 2*x + 10 = 0. Suppose -y + 30 = 2*y. Is s/2 - (-55)/y a multiple of 3?
True
Let y(i) = 22*i**2. Suppose -4*v - 11 = -5*q, 0 = -4*q - q - v - 9. Is y(q) a multiple of 11?
True
Let z = -1520 + 1952. Is z a multiple of 142?
False
Let h = 258 - 179. Is h a multiple of 10?
False
Suppose 4*f - 47 + 11 = 0. Suppose 0 = -f*b + b + 48. Is b a multiple of 3?
True
Let n(u) = -315*u - 67. Is n(-1) a multiple of 16?
False
Let t = 474 - 122. Suppose t = -10*u + 1182. Is 13 a factor of u?
False
Let a(n) = 7*n**2 - 3*n - 3*n - 12 - 22*n**2 + 14*n**2. Let m be a(-7). Let z = -3 - m. Is 4 a factor of z?
True
Let a(w) = 3*w**3 - w + 2. Let v = 11 - 0. Let k = v - 9. Is a(k) a multiple of 16?
False
Let k(q) = q**2 - 6*q - 5. Let u be k(7). Suppose 0 = -w - u*j + 48, 86 = 2*w - 0*j + 2*j. Is 31 a factor of w?
False
Let s be (0 - (-34)/12) + (-10)/(-60). Suppose -s*m + 4*m - 132 = -2*o, 3*o + 5*m = 205. Is o a multiple of 20?
False
Let k be (-1604)/(-3) - (-2)/6. Suppose w = 3*w + 3*u + 203, 5*w + 2*u + k = 0. Let x = 163 + w. Does 10 divide x?
False
Suppose 12*n - 4*o + 61 = 15*n, 76 = 4*n + 4*o. Is n a multiple of 2?
False
Suppose -5*z - 2*c = -624, -56*z + 51*z + 630 = 5*c. Is z a multiple of 2?
True
Let w be (-42)/4*(-16)/3. Let o = w + -36. Is o even?
True
Suppose -4*d = -2*j + 3006, -5*j - 2*d = -7643 + 104. Is j a multiple of 11?
True
Let f = -44 + 290. Is 3 a factor of f?
True
Let l(u) = -u**2 + 10*u + 92. Does 24 divide l(13)?
False
Let b = -124 + 475. Does 3 divide b?
True
Suppose -5*b + 181 = -1119. Is b a multiple of 8?
False
Let b = 19 - 15. Suppose 0 = -b*g + 2*g - 94. Let f = 83 + g. Does 18 divide f?
True
Let v = -235 - -529. Does 21 divide v?
True
Let p(h) = -2*h - 1. Let c(u) = -3*u - 1. Let y(v) = -3*c(v) + 4*p(v). Let s be (-4)/(-18) + 136/36. Does 3 divide y(s)?
True
Suppose 0 = 6*w - 1005 - 1197. Is 10 a factor of w?
False
Let j be 0*2/6 - 36*10. Let n = -202 - j. Does 19 divide n?
False
Suppose -32476 = -61*l + 19130. Does 3 divide l?
True
Let v(l) = -9*l**2 + 1. Let b be v(1). Does 9 divide ((-212)/8)/(4/b)?
False
Let d(h) be the third derivative of h**6/120 + 7*h**5/60 + 6*h**2. Let n be d(-7). Suppose 4*v - 78 - 158 = n. Does 14 divide v?
False
Let u(t) = 10*t + 408. Is 4 a factor of u(12)?
True
Is 43 a factor of 15*6/15 - -424?
True
Suppose 7*t + 29*t = 115488. Is t a multiple of 36?
False
Let r(f) = f - 8. Let m(o) = -o**2 + o + 11. Let h be m(0). Let q be r(h). Suppose -2*s + 38 = -l, q*l - 33 = -5*s + 84. Is s a multiple of 21?
True
Let t be 387/3 + 3 + -1. Let c = t - 58. Is c a multiple of 14?
False
Let y be (-6)/(-27) + (-2)/9. Suppose y = 8*s + 3 - 67. Is s even?
True
Suppose 17*u + 158 = 821. Let m = -19 + u. Does 5 divide m?
True
Let i(t) be the third derivative of t**5/30 + 7*t**4/24 - t**3/6 - 6*t**2. Is 28 a factor of i(5)?
True
Let k be 2*(-3)/(-2) + 0. Suppose 0 = -2*f + k*f + 5*z - 111, 12 = 4*z. Is 16 a factor of f?
True
Suppose 6*k - 52003 = -17*k. Is 19 a factor of k?
True
Suppose 4*a + 23 = 2*w - 129, -3*a - 4*w = 92. Let n = -21 - a. Is 7 a factor of n?
False
Let n be 4/30 - (-352)/60. Suppose -51 = n*d - 135. Suppose 0 = -3*p + 49 + d. Does 9 divide p?
False
Does 5 divide (-2 + -2)*(-9 - 423/6)?
False
Is 12 a factor of 13 - 5 - 202*-10?
True
Suppose n - f + 5 + 1 = 0, -5*n - 26 = -4*f. Let t be 4 - 1/(1/n). Let b(x) = x - 2. Does 4 divide b(t)?
True
Let t(v) = 81*v**3 - v**2 + 2*v. Is 2 a factor of t(1)?
True
Let l(u) = -4*u**3 + 20*u**2 -