 multiple of 13?
False
Suppose 0*x - 2*x + 5*d + 976 = 0, x = 4*d + 488. Is 14/(-21) - x/(-3) a multiple of 27?
True
Is (-10*(-5)/(-25))/((-2)/4913) a multiple of 23?
False
Let u = 11588 + -120. Is u a multiple of 61?
True
Let k(h) = -h**2 - 152*h - 492. Is 27 a factor of k(-113)?
True
Suppose 7*k - 88102 = -7*k - 17*k. Is 16 a factor of k?
False
Suppose -w + 147 = -79. Let a = -44 + w. Is a a multiple of 19?
False
Suppose 13*b + 696 = -786. Is 3 a factor of (-380)/b*(-63)/(-5)?
True
Let v = 41978 + -18922. Is 176 a factor of v?
True
Suppose 4*i - 4*d - 175792 = 0, -3*i - 7*d = 32995 - 164889. Does 60 divide i?
False
Let p(b) = b**3 + 20*b**2 - 20*b + 5. Let r be p(-21). Let h be 25/200 + (-2046)/r. Let i = h + -52. Does 11 divide i?
False
Suppose l + 466 = 4*n, 0 = -4*n - 5*l + 327 + 127. Does 6 divide n?
False
Suppose 14*s - 5194 + 112 = 0. Is 11 a factor of s?
True
Is 13 a factor of 6665 - (22 - (12 + 2))?
False
Suppose 4*r = -p + 8*r + 4, -9 = -p - r. Suppose -1279 = -p*z + 929. Does 23 divide z?
True
Let r(t) = -2012*t + 3118. Does 202 divide r(-11)?
True
Let i(o) = 7*o**2 - 2*o - 152. Does 24 divide i(10)?
True
Let o(s) = -3*s + 1. Let v be o(-2). Let u be (-1)/v - 1443/(-7). Suppose -3*a = -b + 34, 5*b - 6*a + 3*a - u = 0. Is 9 a factor of b?
False
Let u = -28 + 44. Suppose u = -2*k + 40. Suppose 10*s + 306 = k*s. Does 14 divide s?
False
Let c(m) = 381 + 3*m - 188 + 2*m**2 + m**2 - 189. Is 18 a factor of c(10)?
False
Let m = -438 - -464. Suppose 4*z - 2 = 114. Let w = m + z. Is 7 a factor of w?
False
Suppose -104*a = -2*a - 900448 + 49768. Is 15 a factor of a?
True
Let f = 572 - 575. Does 33 divide -5*(-39 - (f + -3))?
True
Suppose -2*t + 5*c + 6978 = 0, 3*t + 2*c - 2503 - 7945 = 0. Is t a multiple of 24?
False
Is (131226/4)/((-33)/6 - 90/(-15)) a multiple of 14?
False
Suppose 0 = 120*r - 123*r + 1464. Is r a multiple of 4?
True
Let g be (-16)/28 + 1494/42. Suppose -3*a - g = -5*m - 495, -5*a - 2*m + 746 = 0. Does 25 divide a?
True
Let w(j) = -j**2 - 65*j + 154. Is w(-23) a multiple of 20?
True
Let f(d) be the first derivative of 2*d**3/3 - 13*d**2/2 - 11*d - 18. Suppose -8 = 7*j + 48. Is 13 a factor of f(j)?
True
Is 78 a factor of 80/(-48) + 172885/15?
False
Let c be ((-4)/11)/((-34)/187). Suppose 6*x - 4*x + c*i = 228, i = x - 118. Is 58 a factor of x?
True
Suppose -5*i = -2*r - 6018 + 1443, -6*i + 5483 = -r. Is 4 a factor of i?
False
Suppose 32*t - 1432654 = -413550. Is t a multiple of 176?
False
Suppose 0 = 5*k - 4*p + 11755, 0*k - 11755 = 5*k - 2*p. Let r = 4397 + k. Is r a multiple of 93?
True
Suppose -9*v + 11*v = 4*s - 12836, 0 = -5*s + 4*v + 16051. Is s a multiple of 3?
True
Let i(h) = h**3 - 28*h**2 - 40*h + 417. Is 10 a factor of i(35)?
False
Let q(c) = 2*c**2 - 2*c - 41. Let d be q(-10). Let f = d - 135. Is 11 a factor of f?
True
Suppose -q + 12 = 12. Suppose 4*m - 162 = -2*v, -3*m + q*m = -2*v + 190. Suppose 4*s = 2*f + v + 5, 3*f = -3. Is s a multiple of 7?
False
Suppose 3*h + 346 - 1005 = 5*d, -2*d = 5*h + 276. Let q = -131 - d. Suppose 25 + 47 = q*i. Is 16 a factor of i?
False
Let z(g) = 12*g + 2. Let t be z(1). Suppose t*h + 216 = 16*h. Does 27 divide h?
True
Let a = 53782 + -30472. Is a a multiple of 126?
True
Suppose 5*q + 101 = -y + 4*y, -5*y + 73 = -4*q. Let i = q - -38. Let o = 71 - i. Does 11 divide o?
True
Let w(c) = 58*c**3 + 58*c**2 - 179*c + 7. Is 10 a factor of w(3)?
False
Let c(h) be the third derivative of 83*h**4/24 + h**3/6 + 20*h**2. Let a be c(1). Suppose 5*m = 0, 2*m + a = -4*f + 588. Is f a multiple of 21?
True
Let y(l) = -4*l - 54. Let x be y(0). Let a = 77 + x. Suppose 3*p = -g - 1, 4*g - 29 - a = 2*p. Is g a multiple of 5?
False
Let b = -44 + 46. Let v be (0 + b + -2)/(-9 + 11). Is 1/(-4)*-12 + 2 + v a multiple of 5?
True
Let n(m) = 2*m**3 + m**2 + 2*m - 3. Let s be n(1). Let v be (1 + -3)/2 + s. Does 24 divide (0 + 6/(-9))*(v + -37)?
True
Suppose -21*d + 1143 = -30*d. Is (-12)/(-2 + 0) - d a multiple of 20?
False
Let m(s) = 141*s**2 + s. Let z be m(1). Let l = z + 250. Suppose -72 = 8*v - l. Is 20 a factor of v?
True
Let z = -458 - -463. Suppose z*n = 5*t - 748 - 167, 3*n = -4*t + 760. Does 11 divide t?
True
Suppose 3*o - 185183 = -5*f - 7146, 2*o - 118692 = -3*f. Is o a multiple of 197?
False
Suppose 591570 - 341793 = 387*r - 893808. Is 3 a factor of r?
True
Suppose 13*p - 14*p + 18433 = 9*h, 6146 = 3*h + 2*p. Is h a multiple of 6?
False
Suppose -20*b = -13*b - 91. Suppose -12*z = -b*z + 266. Is 7 a factor of z?
True
Let q(f) = -11*f**3 + 10*f**2 + 84*f + 518. Is 149 a factor of q(-6)?
False
Suppose 726 = 4*t + 2*u, 3*t + 77 = -3*u + 617. Suppose -3*f = -2*f - t. Let v = -79 + f. Does 26 divide v?
True
Let t(k) = 12*k**2 - 75*k + 944. Is t(12) a multiple of 7?
False
Let p = 4363 - 2053. Is p a multiple of 66?
True
Let z(n) = -n**3 + 2*n**2 - 10*n + 5. Let f be z(4). Let o = f - -96. Suppose o*q = 25*q + 280. Does 35 divide q?
True
Suppose -1433 = -2*v + 3*n, 17*v + 2*n + 1434 = 19*v. Is 32 a factor of v?
False
Let l = -354 - -386. Suppose l = 3*m - 22. Is m a multiple of 6?
True
Suppose -x - 5*d + 500 = -1490, d = -6. Is 4 a factor of x?
True
Let y = -768 + 786. Suppose -3782 = -13*o - y*o. Is 2 a factor of o?
True
Suppose -161280 = -99*h + 51*h. Does 35 divide h?
True
Suppose 104*j - 56*j - 53*j = -210. Is j a multiple of 3?
True
Suppose -21*c = -4*c - 306. Suppose 3206 = c*v - 4*v. Does 11 divide v?
False
Suppose s + 1 = 3*v - 2*v, -20 = 4*v + 4*s. Let a be (15/(-10))/(3*v/16). Suppose -4*j = -a, -2*l + 3*l = 4*j + 32. Is 12 a factor of l?
True
Suppose -10*w - 768 = -7*w. Let k be 1/((-3)/12) - (w - 2). Suppose 9*n - 952 - k = 0. Is 44 a factor of n?
False
Let o = -46 - -43. Let g(m) = -m**2 + 2*m + 5. Let r be g(o). Does 26 divide 1/(2/r)*(-39 - -6)?
False
Suppose -4*a - 3*k = 10, -k + 0*k = 4*a + 14. Is 138 + 0 + 2 - a a multiple of 48?
True
Let m be (1 - (-7)/3)*6/4. Let n(k) = -k**3 - 4*k**2 - 2*k - 8. Let v be n(-4). Suppose 3*i + m*t - 196 - 399 = 0, -4*i - t + 799 = v. Is 51 a factor of i?
False
Let u = 462 - 438. Suppose 27*n = u*n + 1281. Does 67 divide n?
False
Let k(i) = -i**3 - 49*i**2 + 15*i + 40. Is k(-50) a multiple of 4?
False
Let c be 1 - 33 - (21 + -28 - -5). Let j be 94/8*-2*-2. Let h = j + c. Is h a multiple of 6?
False
Is 218 a factor of ((-195328)/(-40))/(-7*4/(-140))?
True
Suppose 4*l = 4, 9*p - 2*l = 11*p - 1042. Suppose 584*x - 588*x = -p. Is x a multiple of 5?
True
Let m = -753 + 1142. Suppose c + 2*l - 391 = 3*l, 0 = c + l - m. Is 10 a factor of c?
True
Suppose -2539*n + 2541*n - 11232 = 0. Does 12 divide n?
True
Let w = 278 + -198. Let b be (1/2)/(8/w). Suppose b*h - 3*s = 69, -3*h + 2*s + 47 = 3*s. Does 6 divide h?
False
Let t = 4225 - 341. Is t a multiple of 57?
False
Suppose l = 31*l - 96270. Is l a multiple of 9?
False
Let o(j) = -24*j - 111. Let t(x) = -8*x - 37. Let d(h) = 3*o(h) - 8*t(h). Let q be (5 - -8)/(-2 - -1). Does 6 divide d(q)?
False
Suppose 6*b - 801 = -3*b. Suppose -5 = -5*x, -3*p - 5*x = -2*p - b. Is 28 a factor of p?
True
Let f be (-1772)/(-2) - 69/23. Let g = -841 + f. Is g a multiple of 7?
True
Let g(q) be the second derivative of -q**4/12 - q**3 - q**2 - 12*q. Let r be g(-3). Suppose 868 + 70 = r*i. Is i a multiple of 24?
False
Suppose 11*p = 7*p + 5*k + 10758, 5*p = -3*k + 13429. Is p a multiple of 13?
False
Let s(d) = -2*d**2 + 28*d - 8. Let z be s(14). Suppose -30 = -3*c - 9. Is 12 a factor of (-24)/c*28/z?
True
Let y be 0 - (112 + (-4 - 2) + 13). Let v(k) = -k**3 + 13*k**2 + k - 5. Let z be v(12). Let b = y + z. Does 24 divide b?
False
Suppose 0 = 2*v - 6, j + 17*v - 15*v - 2420 = 0. Is 8 a factor of j?
False
Let p(u) = -u + 4 + 87*u**3 - 1 - 2 - 7*u**3. Suppose 2*r - r + 2*f = 1, -5*r = 5*f - 5. Is p(r) a multiple of 10?
True
Suppose 3*j - 142 = -125*j + 114. Let q(n) = -18*n - 1. Let r(y) = -55*y - 3. Let v(k) = 11*q(k) - 4*r(k). Does 15 divide v(j)?
True
Suppose 0 = 297*y - 320*y + 44740 + 69984. Is y a multiple of 58?
True
Is 3 a factor of (29007/55)/((8/12)/(10/3))?
True
Suppose 34 = -9*b - 101. Is 30 a factor of b*(-146)/39 + (-4)/26?
False
Suppose -7*c + 8 = -13. Let t be (c + -2)*-1 - -78. Suppose 4*g + t = 337. Is 13 a factor of g?
True
Let q(c) = 73*c**3 - 23*c**2 - 6*c + 24. Is q(4) a multiple of 16?
True
Is (-12)/9 + 383720