 - n, p - 5 = 0. Is j a multiple of 18?
True
Suppose -5 = -q, 17 = r + 5*q - 2*q. Suppose 3*n - 15 = 0, r = 4*j - 3*j - 2*n. Suppose -3*d = -2*z - 7*d + 4, j = 3*z + 4*d. Is z a multiple of 3?
False
Let s(g) = -145*g + 13. Let o be s(-1). Let r = -452 + o. Is (-6)/(-7)*r/(-14) a multiple of 6?
True
Let c(i) = i**3 + 3*i**2 - 5*i - 4. Let d be c(-4). Let h be 69*(3 + d + -2). Is 127/2 + h/46 a multiple of 14?
False
Does 95 divide ((-245)/(-2))/((-228)/(-51984))?
True
Let x be (485/15)/(3/(-9)). Let s = x - -109. Suppose 0 = -f - s + 145. Is 23 a factor of f?
False
Does 13 divide 3766 - (540/(-6))/(-10)?
True
Suppose c + 18275 = 4*w, -5*w + 10*c - 9*c + 22844 = 0. Suppose 0 = 39*z - 1437 - w. Is z a multiple of 7?
True
Let b = -1859 - -3113. Suppose -5*m + 2*z + b = 0, -2*m + 258 = -m + 2*z. Is m a multiple of 18?
True
Let b = 292 - 565. Let z be (b/(-12) - 0) + 1/4. Does 45 divide 0/z + (-1 - -2) + 89?
True
Let u(t) = -3*t**3 - 25*t**2 - 21*t - 12. Let m be u(-9). Let n = m + -63. Is 23 a factor of n?
True
Let r(l) = l + 2. Let b be r(0). Suppose -6*p + b*p = 3*n + 252, -3*p = 4*n + 189. Let d = 97 - p. Does 40 divide d?
True
Suppose 0 = 9*n - 553 - 104. Suppose -287 = -9*q + n. Does 8 divide q?
True
Suppose 0 = -53*u + 40*u. Suppose u = -8*q + 86 + 154. Does 10 divide q?
True
Let s(o) = o**2 + 22*o - 1182. Is s(-68) a multiple of 18?
False
Let d = -59 - 7. Let r = d - -954. Suppose 71*y = 65*y + r. Does 37 divide y?
True
Let d be (-4 - 28/(-8))*4. Is 46 a factor of (35/(-10) - d)*-322?
False
Let y = -133 - -133. Let m = -7 + 7. Is 29*(m + 1 + y) even?
False
Let d(l) = -l**3 - 7*l**2 - 9*l - 7. Suppose -4*o - 19 = 5. Let n be d(o). Let u(z) = z**3 - 10*z**2 - 8*z - 8. Is u(n) a multiple of 5?
True
Is 96 a factor of (-110)/2365 - 22365522/(-387)?
True
Let w = -618 - -667. Suppose 0*o - 5*f + 8 = o, -5*f = -o - 2. Suppose 11 + w = o*u. Is u a multiple of 10?
True
Let l be (1 + (-3)/(-18)*-4)*-6. Is 10 a factor of -41*l*9/6?
False
Suppose 2*g + 30694 = n, 3*n + 38*g - 92042 = 36*g. Is 102 a factor of n?
False
Let v(t) = -6*t + 9. Let j = 39 + -38. Let m be v(j). Suppose -3*g + 277 = 2*q, 5*g - 275 = q - m*q. Is 15 a factor of q?
False
Is (6003/(-9) - 6)*(-10 + -7) a multiple of 212?
False
Suppose -765945 = 466*p - 9150217. Is 106 a factor of p?
False
Suppose 0 = 122*c + 25*c - 7*c - 280. Let k be 1 - 3/(3/46). Is 10 a factor of c/3*k/10 - -93?
True
Let j(z) = -70*z - 1919. Does 9 divide j(-89)?
True
Is (-3)/(-6)*9562 - (-1 + -3) a multiple of 55?
True
Let p be ((-49)/28 + 4)/(1/288). Suppose 3*z = p + 1245. Does 18 divide z?
False
Let h(v) = -v**3 - 15*v**2 - 26*v + 15. Let d be h(-13). Let a(m) = 2*m - 16. Let k be a(d). Suppose -4*r + 66 = -k. Is r a multiple of 8?
False
Suppose 7*w = 3*w + t - 22, -3*w = t + 13. Is (168/w)/(((-48)/330)/4) a multiple of 22?
True
Let y be 380/(-1)*(-128)/40. Suppose -304 = -g - 6*d, -4*g + d + y = -2*d. Is g a multiple of 16?
True
Suppose -16 = x - 26. Suppose x + 6 = 4*k. Suppose k*m + 5*c - 196 = 0, 2*m - 98 = -4*c - 0. Does 12 divide m?
False
Let l(b) = 4 + 95*b**2 + b**3 - 96*b**2 + 2*b**3 - 4*b. Is 8 a factor of l(3)?
True
Let h be 4*((-274)/(-24) + 4/(-6)). Let b = h - 42. Is 1 + b - 1 - (-6 + -150) a multiple of 32?
False
Let r be ((-10)/3)/(2/(-6)). Let s(q) = -18*q + 203. Let z be s(11). Is 4/r - (-13)/z even?
False
Suppose 12*q - q = 66. Suppose -6*j = -5*d - 4*j - q, j - 3 = 3*d. Suppose -11*r + 4*r + 1589 = d. Does 11 divide r?
False
Let o = 2571 - 2139. Does 36 divide o?
True
Let c(k) = 4*k - 14. Let r = 158 + -107. Let d = r - 43. Is c(d) a multiple of 7?
False
Let o = 56 + -54. Suppose -o*c - 4*m + 231 = 73, -4*c - 5*m + 319 = 0. Does 27 divide c?
True
Let f(w) = -w**3 + 6*w**2 - 6*w + 10. Let j be f(5). Let p = j + -4. Does 9 divide (5 + p)/((-18)/(-168))?
False
Let l be (-4465)/(-25) - 88/55. Is 5 a factor of l + (1/2 - 10/(-4))?
True
Suppose -2*l + 0*l = -5*h - 24, 3*h + 16 = 2*l. Suppose 0 = -m + 2*b + 25, -3*m - b + 103 = l*m. Suppose -6*c = -m - 339. Is 15 a factor of c?
True
Suppose -14*g = -7*g - 21. Suppose -4*k - 448 = -4*t, g*k + t + 224 = k. Let v = k - -294. Is 14 a factor of v?
True
Suppose 2*i + 710 = v, -4*v - 3*i = -i - 2790. Suppose -8*u = -13*u + v. Is 28 a factor of u?
True
Let x(d) = 10*d**2 + 534*d + 50. Is x(-57) a multiple of 168?
False
Suppose 5*n + 98 = 12*n. Is 6 a factor of 124/n*(-91)/(-26)?
False
Let v = 16144 + -6568. Does 42 divide v?
True
Does 10 divide 1 - (150630/(-14) - 72/(-252))?
True
Suppose -z - 10 = -3*v, -2*v = -v + 4*z + 1. Let p(d) = 3*d**v - 15 + 28*d - 40*d - 4*d**3 + 10*d**2. Is p(7) a multiple of 6?
True
Suppose -32*m = -36*m + 2280. Suppose m = 24*l - 846. Is l a multiple of 8?
False
Let n = 6952 - 3994. Does 51 divide n?
True
Let a be -1 - (-152)/12*-3. Let c = 124 + a. Suppose q - c = 29. Is 15 a factor of q?
False
Let t = -986 - -2717. Let n = t + -665. Is n a multiple of 40?
False
Let v(w) = 89*w - 79. Let b(c) = -30*c + 26. Let x(l) = 11*b(l) + 4*v(l). Let i(r) = 4*r - 25. Let y be i(8). Does 38 divide x(y)?
True
Let r(i) be the second derivative of 9*i**3/2 + 17*i**2/2 - 29*i - 3. Is 5 a factor of r(4)?
True
Let q = -787 - -1423. Suppose -3*j + q = 3*h, 23*j = 3*h + 20*j - 624. Is h a multiple of 10?
True
Suppose 0 = 235*a - 179123 - 219716 + 95219. Is 68 a factor of a?
True
Suppose i = -2*d + 419 + 49, d + 3*i = 234. Is d a multiple of 13?
True
Suppose -5*k + 760 = 5*k. Let h = k - 76. Suppose 0 = 2*i - d + 2*d - 184, h = -3*d + 6. Is i a multiple of 13?
True
Suppose -d = 26 - 10. Does 24 divide ((-1631)/28)/(4/d)?
False
Let l = 2530 + -1606. Does 154 divide l?
True
Let p be (0*(-2 - 5/(-2)))/(-2). Suppose 8*n - 1872 - 3728 = p. Is n a multiple of 10?
True
Suppose 0 = s - 2. Suppose 2*w - 7*r + 3*r = 18, 14 = s*w - 2*r. Does 15 divide (48 + (w - 5))/1?
False
Suppose 0 = -4*b + 27 + 25. Suppose 20515 = b*h + 4707. Suppose h - 3526 = -10*g. Is g a multiple of 11?
True
Suppose -4*r + 7 = -h, 0*h + 3 = 2*r - h. Is (12/(r - -1) - -262) + 4 a multiple of 18?
True
Let h(i) = 17*i**2 + 6*i - 2. Let p(w) = -36*w**2 - 11*w + 5. Let v(t) = 13*h(t) + 6*p(t). Does 12 divide v(-4)?
True
Let x = -982 + 985. Suppose 3*s = -g - 42 + 3613, 0 = x*s + 5*g - 3575. Does 70 divide s?
True
Let q(l) = 2*l**3 - l**2 + l - 3. Let u(w) = w**3 - w**2 + w - 1. Let k(p) = -3*q(p) + 5*u(p). Let d be k(-4). Let m = d - -3. Does 12 divide m?
False
Let h = -94 - -131. Suppose h*u - 40 = 33*u. Is u a multiple of 7?
False
Let h = -144 + 149. Suppose -3*z - 277 = -5*a - 5*z, h*a + z - 281 = 0. Is a a multiple of 3?
True
Suppose -4*c = 24, -34*c + 33*c - 79936 = -5*s. Is 145 a factor of s?
False
Is 108*28 + 48/(-16) a multiple of 57?
True
Let f be (2/(-4))/((-2)/12). Let j = 34 + 75. Suppose -3*x = 5*b - 283, -6*b - j = -8*b + f*x. Is b a multiple of 7?
True
Let b be -2 + 1 + -3 - -4. Suppose 18*h - 8*h = b. Suppose 21*r - 18*r - 432 = h. Is r a multiple of 24?
True
Suppose 8866 = 28*m - 13842. Is 15 a factor of m?
False
Let l(y) = 3*y**2 + 4*y - 9. Let z be l(-3). Is 39 a factor of (452/4)/(-1 + 8/z)?
False
Suppose 0 = -296*n + 6283411 - 253595. Is 13 a factor of n?
True
Let n be (1336/(-10) + -2)/((-56)/140). Suppose -n - 5817 = -9*v. Is 9 a factor of v?
True
Suppose -80 = -3*z + 5*x + 61, 235 = 5*z - 3*x. Let g = z - 57. Is g*(-78)/8 - (-1)/(-2) a multiple of 20?
False
Suppose 20*m - 22*m - 872 = 0. Let h = m - -772. Is 16 a factor of h?
True
Let u be (3955/(-14) - 14) + 1/(-2). Does 20 divide (-391182)/u - (-1)/(-9)?
False
Suppose 5*g + 4*t - 23 = 0, 0 = 4*g + 7*t - 2*t - 22. Suppose g*b - 67 = 47. Let r = 106 - b. Does 17 divide r?
True
Suppose 27*y = 25*y, 5*w - 3*y - 58100 = 0. Does 28 divide w?
True
Let d = -8603 + 19723. Is d a multiple of 8?
True
Suppose 2*n = 8*n - 1998. Let a = n + -96. Suppose 4*x - a = 23. Is x a multiple of 10?
False
Let g(b) = 443 + 2*b - 87 + 8*b + b. Is 2 a factor of g(-22)?
True
Let p be 8*(-1 - (-1 - -1 - -1365)). Let w be (p/(-10))/4 + 2/(-10). Is 32/(-6)*w/(-28) a multiple of 22?
False
Suppose 0 = 4*k + 38 - 50. Let b(v) = 14*v - 14. Does 3 divide b(k)?
False
Let a(g) = 30*g**2 - 26*g - 9. Is 13 a factor of a(-10)?
False
Let c = -33 - -751. Suppose 10*b + c = 5738. Is 32 a factor of b?
False
Suppose -5*f + 10*f = 45. Suppose -3*w + f = -3