 5?
False
Is 88 a factor of (219/365)/((-9)/(-296085)) + 10?
False
Let q = 131 - 127. Suppose q*x - 28 = -12. Let i = x + 51. Does 5 divide i?
True
Suppose 19 = 4*s - 13. Suppose s*i + 6*i + 812 = 0. Let h = i - -96. Is 6 a factor of h?
False
Let c be 220/(-30) + (-196)/(-21) + -9. Let h(m) = -m. Let u(p) = 20*p + 12. Let a(l) = -16*h(l) - u(l). Does 4 divide a(c)?
True
Suppose -248*k + 438649 = 11*k - 397662. Is 12 a factor of k?
False
Let d(s) = -139*s + 4. Let q be d(-2). Let u be (-2)/8 + q/8. Suppose u + 8 = k. Does 14 divide k?
False
Suppose 54 = c + 18. Suppose 5*z + 110 = 2*r, -z + 19 = r - c. Is 10 a factor of r?
False
Suppose -5*y + 10*z = 5*z + 20, 0 = -3*y - 2*z - 7. Is 4 - (3 + 5 + y + -42) a multiple of 3?
False
Suppose -3523 = -5*u - 8*u. Suppose -u = -o - 181. Does 9 divide o?
True
Let w = 20 + 10. Let v = -26 + w. Suppose -20 = v*f, 0 = 3*q + 2*f - 15 - 23. Does 8 divide q?
True
Suppose 0 = -b + u - 26, -b - 12*u - 22 = -15*u. Is (341 + 1)*(-7)/84*b a multiple of 57?
True
Let t(w) = 213*w + 2858. Does 189 divide t(144)?
False
Let p(o) = 22*o - 1. Let r(v) = -256*v + 36. Let m(s) = 12*p(s) + r(s). Let f be ((-4)/6)/(2/(-24)). Is 7 a factor of m(f)?
False
Suppose -10*x - 10344 = -12*x + 4*y, 5*y + 15514 = 3*x. Is x a multiple of 136?
True
Suppose -45 + 3 = -n - k, -3*n + 3*k = -120. Let f = n + -22. Suppose 17*x - f*x + 24 = 0. Does 4 divide x?
True
Suppose -25*i + 477792 = 66*i + 77*i. Is 79 a factor of i?
True
Suppose 0 = 4*j - 8, 0 = -o + 2*j - j + 674. Is o a multiple of 4?
True
Let o(v) = 140*v - 108. Let l be o(34). Suppose -1304 + l = 4*x. Does 38 divide x?
False
Let h(c) = -c. Let z(p) = 2*p - 26. Let m(y) = -6*h(y) - z(y). Suppose 5*t - 13*t = 3*t. Is m(t) a multiple of 11?
False
Is (648/(-90))/((3 + -1)/(-650)) a multiple of 18?
True
Does 14 divide (-2 - -2 - (1 + 0)) + 1930116/164?
False
Let q(o) = o**3 - 27*o**2 + 3*o + 33. Let a be q(27). Let h = a - 144. Let m = 62 + h. Is 12 a factor of m?
False
Let d = 108 + 228. Let p be (-2)/(-4) - 878/4. Let y = d + p. Is 19 a factor of y?
False
Let g be -3 + (-25)/(-10) - (-34)/4. Suppose -2 - g = -5*z. Suppose -85 = -d - 2*a - 11, z*a = -5*d + 386. Does 26 divide d?
True
Let r(k) = -5*k**2 - 6*k + 38. Let m(q) = 2*q**2 + 3*q - 19. Let w(l) = -7*m(l) - 3*r(l). Is 20 a factor of w(16)?
False
Let c(w) be the third derivative of -w**6/120 + 3*w**5/20 - 3*w**4/8 + w**2. Let p(n) = -221*n + 890. Let f be p(4). Is 6 a factor of c(f)?
True
Suppose -3*d = -3*h + 50763, -3*h - 3*d = -34014 - 16743. Does 12 divide h?
True
Suppose 0 = -o - 0*o - 27. Let j(k) = -5*k**2 + 20*k + 4. Let p(l) = 3*l**2 - 22*l - 2. Let v(q) = -2*j(q) - 3*p(q). Is v(o) a multiple of 25?
True
Let i = -42 - -87. Let c = 100 + i. Is c a multiple of 15?
False
Let o(k) = k**2 - 3*k - 9. Let v be o(6). Suppose v*u - 4757 = -1229. Is 8 a factor of u?
True
Let l = 6539 - 4585. Suppose 2*w = 5*o - l, 3*o - 3*w - 1951 = -2*o. Is 49 a factor of o?
True
Let t(f) = f - 1. Let x(s) = 10*s - 1. Let z(l) = -2*t(l) - x(l). Let b be z(-6). Suppose 37 + b = 8*a. Does 2 divide a?
True
Let g(l) = -l**3 + 25*l**2 + 5. Let c be g(25). Suppose r - 5*r - 108 = 4*f, -3*r + 127 = -c*f. Is 12/(-3) - f*3 a multiple of 37?
True
Let f(t) = 10*t**2 - 10*t - 47. Is f(15) a multiple of 144?
False
Suppose 11*k + 8 = 7*k. Let i be -2*(k + -2) - 4. Suppose -5*l + 952 = -a, 766 = i*l - 2*a - a. Is 19 a factor of l?
True
Let g be 289/3 - 2/6. Suppose 13*f + 716 = 4*i + 8*f, -3*i - 3*f + 564 = 0. Suppose -3*b - i = -3*j - b, 0 = -2*j - 4*b + g. Is j a multiple of 43?
False
Suppose -76 = -4*f + 4*y, 2*y = 4*f - 78 - 0. Suppose 0 = -3*x - q + 6, 0 = -2*x - 3*q - 0 - 3. Suppose 7*v - x*v = f. Is v a multiple of 5?
True
Suppose 0 = -648*a + 637*a + 49357. Is a a multiple of 103?
False
Suppose 7125 - 2036 = 7*z. Let g = z - 243. Does 11 divide g?
True
Let t(p) = -p**3 - 29*p**2 + 24*p + 139. Let s be t(-31). Suppose 49*y - s = 46*y. Is 13 a factor of y?
False
Let w(o) = o**2 + 11*o + 36. Let i be w(-6). Does 46 divide ((-4)/i)/(4/(-1344))?
False
Let y be (-776)/(-14) - ((-75)/21 + 4). Suppose z - 4 = y. Suppose -2*i + 372 = x, -4*x - z = -5*i + 858. Is 10 a factor of i?
False
Let g(q) = 2*q**2 - 5*q - 14. Suppose 2*t - 12 - 10 = 0. Suppose -3 + t = 2*u, k + 10 = u. Does 4 divide g(k)?
True
Let r = -18822 + 28405. Does 259 divide r?
True
Let p(h) = 21*h**2 - 9*h - 21. Let m be p(9). Let j = m - 606. Does 87 divide j?
False
Let i be ((-6)/(-4))/((-9)/(-18)). Suppose i*r + 85 = 5*o - o, 5*o = 3*r + 110. Does 3 divide o?
False
Let g(t) be the second derivative of -3*t**5/20 - t**4/6 + 3*t**3/2 + 7*t**2/2 + 8*t + 1. Is 7 a factor of g(-3)?
False
Let r(o) = -9*o - 317. Let d be r(-36). Suppose -12*z = -173 - d. Does 5 divide z?
True
Let d(x) = x**3 + 7*x**2 - 15*x - 369. Is 4 a factor of d(17)?
True
Let t(m) = m - 8. Let f be t(7). Suppose 0 = o - 5*i + 47, o - 1 = -4*i - 3. Let r = f - o. Does 7 divide r?
True
Let o(t) = -214*t - 5374. Is o(-116) a multiple of 99?
False
Let l be 6 - (-975)/(-20) - (-2)/(-8). Let k = 87 - l. Suppose -3*f - k = -196. Is f a multiple of 10?
False
Suppose 0 = -38*r + 41*r + u - 6058, -3*u = 5*r - 10090. Is r a multiple of 47?
True
Let r = 3284 - 656. Is 65 a factor of r?
False
Suppose 12*y = 15*y + 1125. Let j = y + 1311. Is j a multiple of 36?
True
Let k(u) = u**3 - 6*u**2 + 7*u - 1182. Does 12 divide k(27)?
True
Let d = 735 + 6675. Does 19 divide d?
True
Let x = -2618 - -17668. Is 50 a factor of x?
True
Suppose -2*v - 16981 = -2*q + 35805, 4*q - 105571 = 5*v. Is q a multiple of 17?
False
Suppose 3*c + n = 38, -31 = 5*c + 3*n - 97. Suppose -c*t + 686 = -2074. Is 10 a factor of t?
True
Let c(f) = -f**2 + 6*f - 2. Let k be c(4). Let b(j) = -j**2 + j - 2. Let u(p) = 4*p**2 - 8*p + 10. Let q(o) = 6*b(o) + 2*u(o). Is 4 a factor of q(k)?
True
Let m(l) be the third derivative of 13*l**2 + 2*l**3 + 0*l + 0 - 1/6*l**4. Does 5 divide m(-8)?
False
Let z be (-4)/(-30)*24*-10. Let r be (-40)/(-3)*48/z. Does 8 divide 0 + 187 + 5*4/r?
False
Does 6 divide 6593/((14/7)/((-1)/(-1) + 1))?
False
Is (-145)/(-116) + 96240/64 a multiple of 5?
True
Let p(u) = u + 11. Let i be p(-8). Suppose i*r = 9*r - 522. Does 13 divide r?
False
Let x be (73 - -1)/(-16 + 18). Let f = -38 + x. Is f + 5 - 24/(-8) a multiple of 3?
False
Is 13 a factor of (48/(-64) + (0 - (-116)/8))*428?
False
Let x(p) = -p**2 - 37*p - 48. Let t(n) = -2*n**2 + 8*n - 14. Let l be t(5). Let w be x(l). Suppose 13*b - w = 9*b. Is 14 a factor of b?
False
Does 59 divide -11 + 22 + -10 + 51*79?
False
Let m(j) = 0*j + 5*j + 2*j - 20 - 5*j. Let z be m(6). Let a(y) = y**2 - y - 12. Does 15 divide a(z)?
True
Let b(o) = 30 + 32*o + 36 - 18*o. Let u be b(-16). Let k = -60 - u. Is k a multiple of 14?
True
Let p(v) = 198*v - 6958. Is p(98) a multiple of 98?
True
Suppose -n = 2*j - 2 + 1, 0 = 4*n - 20. Let i be (-13 + 17)/(j/(-4)). Suppose 0 = i*v - 522 - 46. Is v a multiple of 5?
False
Suppose 2 = 3*z + 5*g - 0, z - 3*g - 10 = 0. Suppose h + 1484 = z*h + 5*s, -5*s - 1967 = -4*h. Is h a multiple of 18?
False
Let n = 287 - 267. Is (-5 - 2) + n/4 - -22 a multiple of 10?
True
Let n = 349 + -315. Suppose n*z = 10022 + 19558. Is 94 a factor of z?
False
Suppose 35*a + 2662560 = 78*a. Is 24 a factor of a?
True
Suppose 0 = 8*g + 30 - 6. Let s be (-444)/(-18) - (-2)/g. Suppose 237*w - s = 236*w. Is w a multiple of 8?
True
Let p(q) = 2*q**2 + 43*q - 1383. Is p(-105) a multiple of 20?
False
Let m(f) = -f**2 - 11*f + 7. Let n be m(-11). Suppose p + n*p = 2472. Suppose 4*a = a - 3*b + p, -2*b = -3*a + 289. Does 9 divide a?
True
Suppose t - 755 = 3*q + 7, 5*t + 4*q - 3734 = 0. Does 3 divide t?
True
Let u = -41 - -159. Let s = u + 540. Is s a multiple of 14?
True
Suppose -2*z = -t + 13, 5*t - 47 = 3*z - 10. Suppose 7*x - 108 = 5*x - 4*m, 0 = t*x + 3*m - 249. Does 4 divide x?
True
Let o be 5/((-10)/6) + (1 - -473). Suppose 5*n - 634 = o. Let c = -91 + n. Is 13 a factor of c?
True
Let i(t) = 683*t + 48. Let c be i(2). Suppose -2*j + 2*x + c = -2*x, 1399 = 2*j - x. Does 41 divide j?
True
Suppose 2*b = -b - 6, -5*d + 50 = -5*b. Let n(h) = -h - 7*h - h**2 - 6*h - d. Is n(-8) a multiple of 8?
True
Let c = 385 + -305. Suppose -12*p - c = -5072. Does 16 divide p?
True
Let s(k) = 24*k**2 + k - 21. Let o be s(5). Does 72 d