 + 46. Let p be s(y). Suppose 33 = p*j - 292. Does 13 divide j?
True
Suppose 3*z - 212 = 2*t + 4*z, 5*z - 20 = 0. Let v be (-3)/(-15) + t/15. Let x(o) = -5*o + 16. Is x(v) a multiple of 9?
False
Suppose 972 = 3*i + 3*g, 4*i + g - 968 = i. Let k(z) = -z**3 - 2*z**2 + 1. Let s be k(-1). Suppose -y - 2*y - i = -2*c, s = 5*y - 10. Is c a multiple of 19?
False
Let t(y) = -1173*y - 1228. Is t(-6) a multiple of 5?
True
Let b(w) = 472*w - 2575. Is 14 a factor of b(10)?
False
Suppose -247*f - 2*y + 25935 = -244*f, -2*f = y - 17290. Does 65 divide f?
True
Suppose 2*k - 55322 = 1075*o - 1074*o, 0 = 3*o. Does 139 divide k?
True
Suppose -27445 + 41366 = 95*k - 32249. Is 243 a factor of k?
True
Suppose -4 = 6*y - 16. Let s(w) = -1 - y - 5 - 18 - 4*w. Is s(-11) a multiple of 6?
True
Let f(s) = s**2 + 20*s - 563. Is 16 a factor of f(-122)?
False
Let g = -49 + 59. Suppose -7*d + g + 4 = 0. Suppose -235 = -4*a + d*u + 367, -746 = -5*a - 4*u. Is 10 a factor of a?
True
Does 5 divide 19656/91 + 1*14?
True
Is 250479/21 - 42/(-98) a multiple of 28?
True
Let c = 108714 - 57287. Is c a multiple of 10?
False
Suppose 0 = h + 3*x - 13, -h + 6*x - 19 = x. Suppose -3*t = -11 - h. Suppose -94 = -4*d + a, -t*d + 100 = -5*a + 7*a. Does 4 divide d?
True
Suppose 4448 = 3*d - 4*h, -1421 = 4*d - 2*h - 7365. Is d a multiple of 24?
True
Suppose 2*l + 4*l - 12 = 0. Let i(p) = -6*p**2 + l*p**3 + p**2 + 12*p + 7 - 17*p. Does 14 divide i(5)?
False
Let p(g) = g**2 - 17*g - 174. Let b = -90 - -116. Does 16 divide p(b)?
False
Let i = -1378 - -2140. Suppose 0 = -37*s + 34*s + i. Is s a multiple of 8?
False
Suppose 24*i + 72 = 28*i. Suppose 4*m = -16, -4*m + 2 = 4*s - i. Suppose 12*j - 171 = s*j. Is j a multiple of 5?
False
Let h = 844 - 88. Suppose -15*k + 1149 = -h. Does 33 divide k?
False
Let g(u) = 2*u + 3. Let s be g(1). Suppose -5*x = -s*h + 3345 - 840, 3*h = 12. Is x/(-4) + 2 + 27/(-12) a multiple of 24?
False
Suppose -67*x = -65*x - 40. Let c = 59 + x. Does 10 divide c?
False
Suppose -528*g = -524*g - 4*q - 1944, -4*g + 1949 = -5*q. Is 37 a factor of g?
True
Suppose 26404 + 28097 = 6*a - 5529. Does 115 divide a?
True
Let g(l) be the second derivative of -l**5/20 + 4*l**4/3 + l**3/3 + 37*l**2/2 + 38*l. Is g(16) a multiple of 16?
False
Let p be 6/(-4) + 3474/12. Suppose 0 = 6*o - 9*o + 12. Suppose o*q = q + p. Is 32 a factor of q?
True
Let q be 7 + (7 - 5) + 616. Let k = -260 + q. Is k a multiple of 14?
False
Let m(w) = -w**3 - w + 3. Let h(g) = g. Let a be h(0). Let u be m(a). Does 6 divide (15 + -3)*u/2?
True
Is 76 a factor of -1 + 2 - (-50)/15*1746/2?
False
Let t = 175 + -171. Is 25 a factor of t/6*(-22 - -175)?
False
Let i = 1504 - 2183. Let h = i + 1460. Does 11 divide h?
True
Let m(i) = 16*i - 2. Let p = -37 - -38. Let q be -2 - -2 - (-6 - p). Is m(q) a multiple of 10?
True
Let o(v) = v**2 - 5*v - 43. Let d be o(10). Suppose d*j - 896 = -7*j. Is j a multiple of 8?
True
Let k(j) = j**2 - 17*j - 49. Suppose -5*a + 5*x - x = -125, -4*x = -a + 41. Let t be k(a). Suppose -4*w = -5*y + w + t, -14 = -3*y - 4*w. Does 6 divide y?
True
Let n(a) = -227*a + 8737. Is n(21) a multiple of 10?
True
Let h(i) = -2*i**3 - 61*i**2 + 42*i - 62. Does 8 divide h(-33)?
False
Suppose 3*w - 52 = 2*i - 7*i, -3*i = -4*w - 8. Let n(f) = 2*f + 14. Let r be n(i). Let k = r + 77. Is 33 a factor of k?
False
Let z(r) = 2*r**3 - 156*r**2 + r + 194. Is 17 a factor of z(78)?
True
Let h(z) = 28*z - 25. Let o = -113 + 116. Let p be h(o). Suppose p + 128 = 3*i - 4*l, l + 64 = i. Is i a multiple of 50?
False
Let j = 4 + 5. Let k(x) = -27*x + 246. Let g be k(10). Let d = j - g. Is 11 a factor of d?
True
Suppose -2*d + 3 = 3*o - 11, -3*o + 4*d = -8. Suppose o*w = -9*w + 7176. Is w a multiple of 12?
True
Suppose 1673 + 2782 = 4*w + i, -i + 1110 = w. Is w a multiple of 6?
False
Let p = -5051 + 10061. Is p a multiple of 6?
True
Let a = -93 + 422. Does 30 divide -64 + 66 + 2*a*1?
True
Let k = 60 - 58. Suppose -k*h = -143 - 577. Does 30 divide h?
True
Let f be (-62)/403 - ((-67)/13 + 0). Suppose -2*x - f*l = -245, -3*x + 3*l = x - 451. Does 5 divide x?
True
Suppose -b - 2*t = -11028, -14584 = 4*b - 2*t - 58656. Does 20 divide b?
True
Let s(w) = 3*w**2 + 137*w + 75. Let j be s(-45). Let n be 426/9*(-6)/(-4). Let k = n - j. Is 17 a factor of k?
False
Suppose -4*d = -3*c - 20, -3*d + 3*c + 10 = -d. Suppose -8 = d*l - 9*l. Suppose -v - 7 = -l*j + 32, -j - 5*v + 25 = 0. Does 13 divide j?
False
Let i = -1106 + 1816. Let w = i + -698. Is 12 a factor of w?
True
Suppose -i = 6*i - 7. Let r be (-2 - 18/(-8))/(i/20). Suppose -2*z + 2*x = -244, 4*x + 520 = r*z - 88. Does 18 divide z?
False
Is 6 a factor of (-35 + -7)*40*36/(-30)?
True
Let g(c) = -c**3 - 9*c**2 + 22*c - 9. Let r = 104 - 115. Let u be g(r). Let k(i) = i**3 + 11*i**2 + i + 34. Is k(u) a multiple of 21?
False
Let j be 6/(-8)*(-48)/18. Let m be (((-80)/(-1))/5)/j. Is 0 + (20/m)/(-5)*-90 a multiple of 15?
True
Let l be (1 - -4)*(55 + -4). Suppose -4*b + 72 = -3*b - 2*k, 4*b = -3*k + l. Suppose 2*x = 8*x - b. Is x a multiple of 11?
True
Let g = 8174 - 2638. Suppose 172*l - 164*l = g. Is l a multiple of 20?
False
Let s(d) = -d**3 + 11*d**2 - 8*d - 6. Suppose 0*r - 5*i = -2*r + 14, -3*r = 2*i - 21. Does 14 divide s(r)?
False
Suppose t = 5, -5*k + 3*t = 462 - 157. Let f = k + 527. Is 24 a factor of f?
False
Suppose 0 = 31*p - 26*p - 65. Let h = p + 2. Suppose 16*g - 97 = h*g. Does 13 divide g?
False
Let a = -158 - -167. Suppose -i = -4*q - 43, -7*q + a*q = 3*i - 99. Is 17 a factor of i?
False
Suppose 7*y - 11*y - 80 = 0. Is 21/(-28) - 2775/y a multiple of 10?
False
Let j(l) = l**3 - 25*l**2 + 2*l - 123. Is 7 a factor of j(26)?
False
Is 103 a factor of ((-48)/(-24))/(4/8974)?
False
Let o be (0 - (-20)/(-4)) + 25. Suppose 0 = o*f - 269 - 31. Does 3 divide f?
True
Let i(p) = p + 104. Let w be i(0). Let f = 240 - w. Is 20 a factor of f?
False
Suppose 689*d + 25557 = 696*d. Suppose 0 = -0*r + 4*r + k - d, 4*r - 3*k = 3671. Is r a multiple of 77?
False
Suppose 30*m = 78*m - 27360. Is 19 a factor of m?
True
Suppose -14*t - 6513 = -17*t + s, -3*s - 8689 = -4*t. Does 10 divide t?
True
Suppose -f - 4 = f. Let k(a) = -12 - 25*a - 2*a + 22 - 11 + 0. Is 4 a factor of k(f)?
False
Let x(m) = -m + 3. Let k be x(4). Let u be 47/k*2*12/(-8). Suppose 6*a - u - 39 = 0. Is 15 a factor of a?
True
Suppose 9 = 2*x - k - 6, 25 = 3*x - 4*k. Let l = x - 7. Suppose r = 2*w + 150, 0 = -l*r + r - 4*w - 144. Is r a multiple of 13?
True
Let x = 259 - 254. Suppose 4*d - 1448 = -p, d + p = x*p + 345. Does 18 divide d?
False
Let b = -3598 + 7982. Is b a multiple of 8?
True
Suppose -3*l + 15 + 3 = 0. Let h be (-2 - (-15)/l)*(6 + 0). Is 27 a factor of ((-4)/h)/((-4)/162)?
True
Suppose -96*v - 23400 + 239509 = -122771. Does 15 divide v?
False
Suppose 7*m + 8 + 41 = 0. Is 11 a factor of 65/5 + m + 295?
False
Let o = 264 + -274. Let n(v) = -19*v - 10. Is n(o) a multiple of 4?
True
Let u(i) = -i**2 + 4*i + 7. Let h be u(11). Suppose -q + 58 = -v - 36, -q = -2*v - 189. Let l = h - v. Is l a multiple of 4?
False
Let d = -5638 - -6284. Does 34 divide d?
True
Suppose 0 = 533*n - 470*n - 405594. Does 175 divide n?
False
Suppose 0 = 707*z - 696*z - 94512. Does 8 divide z?
True
Suppose 0 = -0*x + x - 2*p + 24, 2*p - 80 = 5*x. Let t = 82 - x. Let h = t + -81. Does 12 divide h?
False
Suppose 0 = 2*f - 147 + 5. Let j = 103 - f. Let g = j - -10. Is 12 a factor of g?
False
Let t(y) = 7*y**3 - 12*y**2 + 8*y - 4. Suppose g + 21 = 26. Is 13 a factor of t(g)?
True
Suppose 0 = 3*q - 8*q + 140. Is 57 a factor of 19384/q - ((-120)/(-28) - 4)?
False
Let b = 297 - 95. Suppose -4*q + b = -3*q. Let j = q - 124. Is 13 a factor of j?
True
Suppose 38694 = 4*w + a, -9*w + 122329 - 35269 = 2*a. Does 13 divide w?
True
Let j = -13009 + 24521. Does 8 divide j?
True
Let q(n) = 22*n + 3*n + 6*n**2 - 9 + n**3 + 65 + 8*n**2 + 9*n**2. Does 21 divide q(-20)?
True
Let s = 14144 - -1216. Is s a multiple of 120?
True
Let l(t) = t**2 + 112*t - 565. Is 4 a factor of l(5)?
True
Let t = 1422 - 996. Is t a multiple of 5?
False
Suppose 0 = -2*q - 12 + 2. Let s be 2 + 2 + q - 19. Let w = -10 - s. Does 10 divide w?
True
Suppose 2*f = -4*b + 8159 - 2079, 4*f - 12149 = 3*b. Does 17 divide f?
False
Let v be (-23 - -5)/(-2) - (1 - -1). Let p(r) = 13*r + v*r + 6 + 0 -