= u - 7. Does 3 divide g?
False
Suppose 6*u + 1 = -35. Is 322/((-6)/(-9) - 2/u) a multiple of 14?
True
Let w = 34600 + -15614. Is w a multiple of 57?
False
Suppose 8*f + 9*f - 26367 = 0. Suppose f = 6*s + 561. Does 15 divide s?
True
Suppose -18*a = -47*a - 10447 + 76132. Is a a multiple of 30?
False
Let s = 836 - 284. Let p = s + 43. Does 35 divide p?
True
Suppose 3*z = -c + 342, -4*z - 4*c + 448 = -0*z. Is 4 a factor of 0 - (4/(-10))/(1/z)?
False
Let o(z) = -1526*z + 1758. Is 4 a factor of o(-6)?
False
Let n(r) = -56*r**2 - 2*r + 9. Let b be n(2). Is 150/45*(-2 - b/15) a multiple of 6?
True
Suppose -o - 4*s + 3484 = 0, 93*o - 6974 = 91*o - 5*s. Is 4 a factor of o?
True
Suppose -20*j - 35 = 125. Let s(m) = m**3 + 14*m**2 + 2*m - 16. Is s(j) a multiple of 16?
True
Let z = -875 + 1387. Is 4 a factor of z?
True
Suppose 4 = 4*i - 0, -4*i = -3*z + 8. Suppose 5*t - z*w = 553, 2*t - 83 - 134 = 3*w. Is 31 a factor of t?
False
Suppose -62*p + 171*p = 373870. Is p a multiple of 70?
True
Let d = -7467 + 27015. Is d a multiple of 54?
True
Suppose 2*z = 2*p - 86, 3*p - 38 = -z + 95. Suppose 4235 = -37*t + p*t. Is 9 a factor of t?
False
Suppose 0 = -10691*a + 10699*a - 52496. Is 34 a factor of a?
True
Let o be 2/5 + 26/10. Suppose o*b = b + 8. Suppose a + b*w - 53 = 1, w - 1 = 0. Is a a multiple of 13?
False
Let q(p) = -3*p**3 + p**2 + 3*p - 16. Let m(o) = -o**2 - 9*o - 24. Let u be m(-4). Is q(u) a multiple of 4?
True
Suppose -954 - 1470 = -6*h. Suppose -409*y + h*y = -1870. Does 28 divide y?
False
Let d = -995 + 15615. Does 17 divide d?
True
Suppose -41*d = -30*d - 107195. Does 13 divide d?
False
Let t = 36864 - 23949. Does 6 divide t?
False
Let l(i) = -i**3 + 8*i**2 - 9*i - 14. Let x be l(6). Suppose 0 = x*u + u - 55. Suppose -7*m - 700 = -u*m. Does 35 divide m?
True
Let c be 8*4/8 - 1464/(-3). Let d = c - 282. Is d a multiple of 21?
True
Let m = -12483 + 16966. Is 2 a factor of m?
False
Let s = 41 - 30. Does 6 divide (-1)/(-2)*-2 - (-2673)/s?
False
Let c(m) = -m**3 - 11*m**2 - 9*m + 1. Let d be c(-10). Let x(k) = k**3 + 9*k**2 - k - 3. Let g be x(d). Suppose g*t - 7*t + 47 = 0. Does 22 divide t?
False
Let a(n) = -2257*n - 198. Does 16 divide a(-2)?
False
Let p be 0 + -3 - (-121 + -2). Let u = 229 - p. Suppose 5*y = q + 210, -3*y + 7*q = 3*q - u. Is y a multiple of 8?
False
Let j = 94736 + -20176. Does 16 divide j?
True
Let b = -88 + 93. Suppose 4*f + 138 = -t - 270, -2*f + 2040 = -b*t. Let o = t - -661. Is o a multiple of 23?
True
Let s(v) = 20 - 44*v**2 + 22*v**2 + 9*v + 3*v**3 + 26*v**2. Let c be s(8). Is 1/((-9)/(-2)) + c/27 a multiple of 30?
False
Let i be 15 - 20 - (-1 + -7). Suppose i*n = -1433 + 6107. Does 38 divide n?
True
Let k be (-135)/(-81) - 1/(-3). Is 68/204 - ((-479)/3 - k) a multiple of 9?
True
Let z be 6/(-9) - 0 - 32/(-48). Suppose z = n - u - 108 - 84, -948 = -5*n - u. Is n a multiple of 50?
False
Is -5 - (1 + -2) - (-13092 - 529) a multiple of 18?
False
Let k = -3442 + 11635. Is k a multiple of 55?
False
Suppose 71*v = 219805 + 153087. Does 101 divide v?
True
Let w = -14615 - -21495. Is w a multiple of 32?
True
Suppose -11*i + 14 + 25814 = 0. Is 7 a factor of i?
False
Let m = -4699 + 8042. Is 11 a factor of m?
False
Let t(w) = -83*w**3 + w**2 - 8. Does 30 divide t(-2)?
True
Suppose -2*u = -3*l - 22662, -212*l + 45296 = 4*u - 211*l. Is 15 a factor of u?
True
Suppose 0 = 20*a - 43150 - 2730. Does 37 divide a?
True
Let g be 4/(-22) + (3537/33 - -1). Suppose 343 = 5*o + g. Suppose 0 = w - a - o, 6*a = -2*w + a + 66. Is 6 a factor of w?
False
Suppose -32*t + 8734 = -226. Let o = -6 + t. Does 17 divide o?
False
Let v(o) = -o + 5. Let q be v(0). Let y be 133 + (5 + -8)*2. Suppose -1042 = -5*w + g, -q*g - 91 - y = -w. Is w a multiple of 33?
False
Suppose 0 = 7*s + 35, -2*s = 2*w - 0*w - 7658. Is 39 a factor of w?
False
Let q be (2/(-6))/((-380)/75 - -5). Let m(i) = -4*i**2 - 42*i - 81. Let k(r) = 3*r**2 + 28*r + 54. Let n(y) = q*m(y) + 8*k(y). Is 5 a factor of n(-6)?
False
Suppose 74956 = -54*z + 77*z + 1701. Is z a multiple of 13?
True
Let q(k) = 13*k**2 + 231*k + 2. Let h be q(-13). Let d = h + 2174. Is 40 a factor of d?
False
Let v(s) = 296*s - 6. Let a be v(2). Suppose 446 = 6*c - a. Suppose -3*d = d - c. Is 11 a factor of d?
False
Is 57 a factor of (4 + 1083)/((-12)/(-312)) + 0?
False
Let p = 112 + -35. Suppose 3*h - 372 + 372 = 0. Suppose -8*q - p + 237 = h. Does 4 divide q?
True
Let q(s) be the second derivative of s**4/4 + 10*s**3/3 + 55*s**2/2 - 187*s. Is 57 a factor of q(-22)?
False
Let t be -12*(-6 + 13/2). Does 14 divide 6/(-5)*(1215/t)/1?
False
Let n(w) = -10*w + 187. Let h be n(15). Let o = 177 + h. Does 13 divide o?
False
Let r(p) be the first derivative of -113*p**4/24 - p**3/3 + p**2 - 14. Let h(j) be the second derivative of r(j). Does 16 divide h(-1)?
False
Let k(a) = -5*a - 60. Let w be k(-16). Is (((-155)/2)/5)/(w/(-320)) a multiple of 15?
False
Let n = -2975 + 996. Let q = 2855 + n. Is q a multiple of 13?
False
Let k(b) = -13*b**2 + 2 - 13*b - 12*b + 14*b**2. Is k(27) a multiple of 7?
True
Let d(u) = -u**3 - 76*u**2 - 247*u + 45. Does 7 divide d(-73)?
False
Suppose 17*n - 44 = 6*n. Is 88 a factor of -1 - ((-1792)/21)/(n/42)?
False
Suppose -3*z - 45 = -8*z. Suppose z*c - 36 = -0*c. Suppose -c*u = 5*v - 39 - 120, 3*u - 5*v = 93. Is u a multiple of 12?
True
Suppose -4*v + 156 = 5*j, -2*j + 56 = -3*v + 12. Let x = 23 - j. Is x/(-20) + 279/4 a multiple of 21?
False
Let a(g) = -10*g**2 - 3*g - 37. Let q be a(-4). Is 50/(-4)*4736/q a multiple of 18?
False
Suppose -595 + 4771 = 8*u. Let o = -379 + u. Is o a multiple of 11?
True
Let p(n) = 2*n + 321. Let g(q) = -45*q + 152. Let m be g(4). Does 13 divide p(m)?
False
Let g = -159 + 172. Suppose g*q - 15*q = -832. Is 26 a factor of q?
True
Suppose -75 = -5*a + 220. Let x = a - 68. Is 4 a factor of 72 - 4 - x/3 - -1?
True
Let t(g) = -90*g**3 - 2*g**2 + 95*g + 572. Does 13 divide t(-6)?
True
Suppose -54*a + 161*a - 341544 = 0. Is a a multiple of 12?
True
Suppose -19264 = -4*a - 46*j + 47*j, 2*a - 3*j = 9632. Is 7 a factor of a?
True
Let d = 14412 - 9737. Does 38 divide d?
False
Is 32 a factor of ((-9653)/(-2) - -3) + (-17)/((-204)/30)?
True
Suppose -20*q + 3*q = -34. Suppose 5*v - 5*x - 431 - 434 = 0, -3*x = -q*v + 350. Does 44 divide v?
False
Suppose 15*l = 2*l - 234. Is (-2264)/l + 30/135 a multiple of 9?
True
Let d = 18 - 18. Suppose c + c - 6 = d. Suppose 2*w + i = -4*i + 60, -c*i = -5*w + 88. Does 10 divide w?
True
Let b = 200 + -116. Let r(t) = -8*t**3 + 2*t**2 - 3*t - 11. Let n be r(-2). Suppose -n*i - b = -70*i. Is i a multiple of 7?
True
Let d(j) = j**3 - 18*j**2 + 63*j - 35. Is 9 a factor of d(41)?
True
Let q = 3049 - -4986. Suppose -1405 + q = 13*f. Is f a multiple of 9?
False
Let z = -3 - -15. Let n = -8 + z. Suppose -n*d = -p + 49, 3*d + 4 = -2. Is p a multiple of 28?
False
Let j = 11993 - 8057. Is j a multiple of 96?
True
Let s = 160 - -83. Suppose 3*n + s = -3*g, 0 = 4*g - 6*n + 2*n + 308. Let o = -58 - g. Does 6 divide o?
False
Suppose 3*z + 15 = 0, 6*c = c - 4*z. Suppose -5*n = 3*u - 1355, 5*u - 1599 - 655 = -c*n. Is 25 a factor of u?
True
Suppose 2*t + 138 = 160. Suppose -528 = -t*o + 3*o. Is o a multiple of 6?
True
Let c(d) = 5*d + 156. Let i(t) = -t**3 + 3*t + 2. Let g be i(2). Is 21 a factor of c(g)?
False
Let k = 19265 + -17747. Does 33 divide k?
True
Suppose -3*b + 71 = -5*v - 121, -4*v - b - 140 = 0. Let d be (-3)/(-3*(-4)/v). Suppose 5*o + 4*k - 54 = -d, 2*o - 2*k = 18. Is o a multiple of 3?
True
Let i(h) = -14*h - 32. Let n = -71 + 66. Does 13 divide i(n)?
False
Suppose -3*i = -0*i + 141. Let k = i + 50. Is (k/2)/(5/(-350)*-5) a multiple of 7?
True
Suppose 2*y - 5085 = 3*d, -6359 = -4*y + 5*d + 3816. Does 85 divide y?
True
Is 217 a factor of 21/((3/(-465))/((-92)/15))?
True
Let c(t) = 3*t**2 - 19*t - 2. Is 157 a factor of c(18)?
True
Let q = -855 + 2535. Is 42 a factor of q?
True
Suppose 24*p = 29*p + 2*k - 60455, k - 5 = 0. Suppose 5911 + p = 20*i. Is 36 a factor of i?
True
Suppose 2*q + 76 = 42. Let t = q - -85. Suppose 52 = -f + 6*f + 4*x, 5*f - t = 4*x. Is f a multiple of 2?
True
Let d = 62 + -62. Suppose h + d*h = -n - 2, 4*n = 4*h + 8. Let p(c) = 4*c + 35. Is 9 a factor of p(n)?
False
Let h = 475 - 219. Let w be 48/6 + 3 + -6 - -495. Suppose -h = 