= b + -66. Is 10 a factor of a?
True
Let c = -13768 + 17677. Is 9 a factor of c?
False
Suppose 3*b = 2*b - 15. Let q(x) = -x**3 - 16*x**2 - 22*x + 2. Does 32 divide q(b)?
False
Let r(f) = -f - 8*f + 6 - 3*f. Let l be (0 + 9/(-6))*2. Is 6 a factor of r(l)?
True
Suppose -495 = -5*s - w + 679, 4*s = -w + 940. Suppose -2*g - 3*g - 465 = 0. Let i = s + g. Is 18 a factor of i?
False
Suppose 3*s - 29394 = 2*h, -51*h - 39105 = -4*s - 58*h. Does 32 divide s?
True
Suppose 4*l = -3*w + 14, 0 = -5*w - l - 2*l + 16. Suppose w*c = -4*c - 432. Is (2/6)/((-8)/c) a multiple of 3?
True
Suppose 203674 - 1710130 = -147*t. Is t a multiple of 12?
True
Let b = -1597 + 915. Is b/(-8) + ((-245)/(-28))/(-7) a multiple of 26?
False
Suppose 3*h + 501 = -0*h. Let l = h + 407. Is l a multiple of 60?
True
Suppose 0*j = 6*j - 37*j + 124341. Is j a multiple of 102?
False
Let u(h) = -8*h - 29. Let s be u(-18). Suppose s = g - 89. Does 34 divide g?
True
Let l = 2157 - -18261. Does 35 divide l?
False
Let s(c) = c - 5. Let j be s(6). Let m(d) = 160*d**2 + 3*d - 2. Is m(j) a multiple of 7?
True
Let h be (-5)/(-15) + (-13)/3. Is 7 a factor of h/(-42) + (-8)/(1344/(-174200))?
False
Suppose -130*u + 124*u = -156. Suppose 3*h - 137 = -u. Is 37 a factor of h?
True
Suppose -k + 12545 = -3*m, -4*k + 105*m = 99*m - 50222. Is 206 a factor of k?
True
Let q(s) = -6*s - 59. Let d be q(-11). Suppose -d - 3 = -5*o. Suppose o*c - 144 - 542 = 0. Is c a multiple of 54?
False
Suppose -10 = -4*n + 6. Let b be 12*(-3 + n)*96. Suppose -i + 10*i = b. Is 39 a factor of i?
False
Let a be 3/(30/(-2200)*-4). Suppose -2*i + 2 = -2. Suppose -3*j - i*j = -a. Does 8 divide j?
False
Let w = 5 + -1. Suppose x = 182 - 67. Suppose -c - 3*h + x = -2*h, 3*h = w*c - 446. Does 34 divide c?
False
Suppose -31321 = -3*d - 4*n + 37204, 5*d + 9*n - 114199 = 0. Is d a multiple of 31?
True
Suppose 0 = 3*q - 5*g + 21, -g + 6 = -3*q - 3. Is 5 a factor of (239430/(-20))/(-23) + 3/q?
False
Let n = -14524 - -15388. Is 22 a factor of n?
False
Suppose -5433*u + 5434*u - 5116 = 0. Is 6 a factor of u?
False
Let w be 1 + (72/9 - 4). Suppose -3*z - 2*p = -1429, 113 = z - w*p - 369. Does 9 divide z?
True
Does 13 divide 18945/6 + 4/(-14)*(-7)/(-4)?
False
Suppose -13*p - 256 = 5*o - 12*p, -4*o + 5*p = 228. Is 29 a factor of 78/o + (-1530)/(-4)?
False
Let f be -353 + (-1 - 1 - (-3 - 0)). Let t = 520 + f. Is t a multiple of 32?
False
Suppose -4*p + 2*o = 958, 5*p + 98 + 1103 = -o. Let v = p - -762. Does 29 divide v?
True
Suppose -11*j + 670 = -j. Suppose -665 + j = -p. Suppose 0 = 4*f - 2*y - p, -y = -f - 4*y + 153. Is 30 a factor of f?
True
Let s(x) = 1255*x + 1333. Is 63 a factor of s(2)?
True
Let n(x) = x**3 + 46*x**2 - 145*x + 68. Is 29 a factor of n(-35)?
True
Let b be 39/(-65) + 1/((-5)/(-53)). Let p be (7 + 1)/(-4)*b/(-4). Suppose p*n - 85 = -5*f, 2*f + 5 = 3*f - 3*n. Does 7 divide f?
True
Let u = 16 - -13. Suppose 80 = -d + 2*f - 3*f, 4*d + 316 = -3*f. Let a = u - d. Does 14 divide a?
False
Suppose -5*s - 2*x - 129 = 0, -3*s + x + 52 = -5*s. Let d be 3480/s*(-10)/3. Suppose -32 + d = 6*v. Does 6 divide v?
True
Suppose 33*x - 29*x + 3164 = 5*k, -3*k - 4*x = -1892. Does 158 divide k?
True
Suppose -895*s = -893*s - 2882. Is s a multiple of 6?
False
Let r(l) = 24*l**3 - 17*l**2 + 9*l + 40. Is r(9) a multiple of 14?
True
Let x(l) = -3*l + 17. Let b be x(6). Let c(a) = -278*a**3 + 5*a + 4. Is 29 a factor of c(b)?
False
Let z(x) be the first derivative of 4*x**2 + 208*x + 100. Is 11 a factor of z(-15)?
True
Let x = -7588 - -17686. Is 102 a factor of x?
True
Let l(o) = -o**3 - 22*o**2 - 24*o + 7. Let p(a) = a**3 + 3*a**2 - 2*a - 13. Let h be p(-4). Let s be l(h). Suppose s = -k + 215. Does 29 divide k?
True
Suppose 13*d = -94 + 42. Does 10 divide (d/12)/(10/(-2340))?
False
Suppose -3*x = -2*v - 120756, -4*x - 8*v + 14025 = -147047. Is 64 a factor of x?
True
Suppose -14148 = -2*k - 4*i, 5*i - 370 = 3*k - 21647. Is k a multiple of 33?
False
Let t(m) = 1 - 58*m**2 + 59*m**2 - 84*m**3 + 2*m - 17*m**3. Suppose 3*g - 4*i - 9 = 0, 2*g - g - 2 = i. Does 46 divide t(g)?
False
Suppose -3*r = 2526 - 6606. Is 10 a factor of r?
True
Suppose 10*n - 323 = -33. Let k = n + -16. Let t = k + 14. Is t a multiple of 4?
False
Let p(t) = -21*t**3 + 4*t**2 + 6. Does 3 divide p(-3)?
True
Let x = -107 - -131. Is 2034/48 - 9/x a multiple of 14?
True
Let r(h) = 3*h**2 - 3*h - 6. Let f(u) = -u**3 + 10*u**2 + 11*u + 5. Let c be f(11). Suppose -44 + 9 = -c*l. Is r(l) a multiple of 15?
True
Suppose 4*w - 9596 = 8966 + 9302. Is 9 a factor of w?
True
Let c(u) = 5275*u - 373. Does 38 divide c(2)?
False
Suppose -2*n = -5*y + 31107, -96*n + 92*n - 12430 = -2*y. Is 127 a factor of y?
True
Let q be 57/(26/(-8) + 20/5). Let p = -72 + q. Suppose -p*a = -405 - 363. Does 16 divide a?
True
Suppose 5*n - 68 = 3*s, s - 2*n + 28 = -3*n. Let h = s + 36. Is 2 a factor of 1*2/(h/15)?
False
Suppose 3*l - 4723 = -h, 139*h + 4*l - 18884 = 135*h. Does 10 divide h?
True
Let c(p) = -3841*p + 5*p**2 + 4 + 3834*p - 9*p**3 - 4. Does 76 divide c(-4)?
True
Does 64 divide ((-36)/(-10))/((1749/(-12320))/(-53))?
True
Suppose 18*j + 0*j + 143360 = 46*j. Does 40 divide j?
True
Suppose u - 7 = -3*x, x - 4*x - 4*u = -10. Suppose 336 = j - 5*d, 493 = 5*j - x*d - 1187. Suppose -7*q + j = -q. Does 9 divide q?
False
Let q = 1 - 24. Let x = q + 15. Does 9 divide 1 - x/(-4) - -28?
True
Suppose -833*i - 4*j = -836*i + 5659, -3*j - 5658 = -3*i. Is i a multiple of 5?
True
Suppose 5*w + d = -4, 0*w + d = -4*w - 4. Suppose -7*t + 8717 - 1535 = w. Is t a multiple of 19?
True
Suppose -40*x + 125 = -35. Is 10 a factor of (-109)/(x - (-87)/(-21))?
False
Let r = 131 - -6807. Does 13 divide r?
False
Is 15 a factor of 7869 + (2/(-21) - 187/21)?
True
Is 6446 - -203 - 1*-7 a multiple of 8?
True
Let q(y) = -y**2 - 13*y - 33. Let j be q(-8). Suppose -j*w + 3*w = -16. Suppose -w*u + 1372 = -t + 443, -673 = -3*u - 4*t. Is 19 a factor of u?
False
Let q be -2 - (0/3 - 0). Let o be ((-594)/(-33))/(q/(-2)*2). Suppose -o*i + 129 = -312. Is i a multiple of 13?
False
Let r(z) = -z**2 + 99*z - 2366. Is r(48) a multiple of 6?
False
Suppose -4 = -2*d, -3*d + 4*d - 1007 = -b. Suppose -b = -14*o - 109. Is o a multiple of 19?
False
Suppose -3*d + 14457 = -0*k + 3*k, 3*k + 2*d = 14461. Is k a multiple of 13?
True
Let j be 4/2*(-20 - -2056). Suppose 0 = 8*p - 1024 - j. Is p a multiple of 49?
True
Let c be ((-3)/(-3))/((-3)/12). Let d be c/(-14) - 6822/63. Is 18 a factor of d*(1 - -1)/(-4)?
True
Suppose 360 = -6*b + 6. Let p = 302 + b. Is 29 a factor of p?
False
Let d = -3061 - -3233. Is 2 a factor of d?
True
Let w be (89 + 5)*4/8. Suppose 49*f = w*f + 1102. Does 9 divide f?
False
Let l = 268 + -266. Suppose -l*h = -5*h + 2*s + 1557, 3*h - 1578 = -5*s. Is h a multiple of 10?
False
Let p(k) be the third derivative of -k**4/6 + 3*k**3 - 4*k**2 - 49*k. Suppose 8 = 4*i + 2*t, -3*i + 0*i = 3*t - 12. Is p(i) a multiple of 6?
True
Let f(d) = 17*d - 54. Let z = -152 - -159. Is f(z) a multiple of 5?
True
Let g(v) be the first derivative of 9*v**2/2 + 4*v - 2. Suppose -322*j + 325*j = 21. Is 13 a factor of g(j)?
False
Suppose -3*r = 3*b - 21, 4*b = 3*r - r + 10. Suppose 0 = b*p - 12*p + 24. Suppose 3*m = w + 65, 2*w + p*w + 65 = 2*m. Is m a multiple of 9?
False
Let g = 3808 - -1229. Is g a multiple of 136?
False
Suppose -9335 = 171*p - 176*p. Suppose -4*s + s - k = -p, 0 = -s - 4*k + 604. Is s a multiple of 12?
True
Suppose -t = -4*d - 0 + 18, 4*d = 5*t + 26. Does 2 divide (5 - (2 - 87)) + t?
True
Suppose -64*r + 110*r = 1965534. Is r a multiple of 46?
False
Suppose -2*a + 2913 = -q, a - 3*q + 1446 = 2*a. Let u = -885 + a. Is 26 a factor of u?
False
Suppose -299 = -4*g + 5. Suppose 8*n = 4*n + g. Let u = n + 89. Does 11 divide u?
False
Let g(f) = 237*f + 494. Does 28 divide g(34)?
False
Let t be (-2115)/81 + 1/9. Let k = t + 65. Suppose -189 = -5*n - k. Does 10 divide n?
True
Let d = 268 - 265. Suppose -5*x = -j + 728, -x = d*j + 3*x - 2184. Is j a multiple of 13?
True
Suppose -57999*l + 7648 = -57995*l. Is 34 a factor of l?
False
Is 50 a factor of 2188 - ((-15 - -4) + -1)?
True
Suppose -11*g = o - 10*g, -2*g = 3*o. Suppose -3*b - 4*i = -1002, -2*b + 3*b + i - 333 = o. Is 10 a factor of b?
True
Let y be (-1121)/(-1) + 48/12. Suppose y = 16*r + 421. I