3*n - 74, -2*m = -3*n - 163. Is m/44*(-2 - -38) a multiple of 21?
True
Let p be (28 + (-1 - 0))/((-15)/(-75)). Suppose 0 = -w - 2*w + p. Is 12 a factor of w?
False
Let z(p) = 10*p**2 + 2*p + 3. Let a be z(-2). Let f = 32 + -27. Suppose -4*b + 3 = v, -2*v + f*b = -v - a. Does 19 divide v?
True
Let s = -43 + 109. Let t = -52 + s. Is t a multiple of 7?
True
Suppose 4*s = -z + 1339, 2*s + 0*z = 3*z + 687. Is s a multiple of 14?
True
Let x be 397/7 - 20/(-70). Suppose -2*h + x = 7. Does 5 divide h?
True
Suppose -5*c + 2840 = -2*b, -4*b + 1688 = 3*c - 2*b. Is 121 a factor of c?
False
Let m be (-60)/12*(-76)/(-10). Let h = -8 - m. Is 15 a factor of h?
True
Let c(t) = t**2 + 3*t - 12. Let l be c(-6). Let n = l - 3. Suppose 0 = x + 3*r - 12, 2*r = 3*r - n. Is 3 a factor of x?
True
Let r be (60/(-7))/((-12)/(-168)). Let q = 1 - r. Is q a multiple of 16?
False
Let n = 921 - 222. Is n a multiple of 6?
False
Suppose -14821 - 9562 = -37*f. Does 32 divide f?
False
Let g(p) = -344*p - 536. Does 43 divide g(-8)?
False
Suppose v + 5*q = -0*v + 86, -4*q - 130 = -2*v. Does 38 divide (-1)/2*v*-8?
False
Let d be -8*(-1 + 12/16). Suppose -d*f - f = -126. Suppose 0 = -i - 3*l + f, 0 = -i + 3*l + 97 - 25. Is 29 a factor of i?
False
Suppose -2*m + 4*i = -572, 1152 = m + 3*m - 4*i. Is 29 a factor of m?
True
Let r(q) be the first derivative of 2*q**3 + 4. Let b be r(-4). Suppose b = 4*y - 96. Is 17 a factor of y?
False
Let l = -226 - -485. Let n = l - 173. Is n a multiple of 12?
False
Let x = -783 - -1182. Does 7 divide x?
True
Suppose -2*q - 8 = -2*g, -g + 7*q = 4*q - 12. Suppose g = -5*t + 166 + 4. Does 7 divide t?
False
Suppose -2*k = -14*k + 72. Let u(c) be the third derivative of -c**6/120 + 3*c**5/20 - 5*c**4/12 + c**3 - 3*c**2. Is u(k) a multiple of 10?
False
Let f(a) = 85*a**3 + 20*a - 21. Is 12 a factor of f(1)?
True
Suppose -70*p + 27 = -67*p. Suppose -p*q + 11 = -52. Does 7 divide q?
True
Let d be ((-2)/(-4))/((-5)/(-40)). Suppose -3*p = -d*a - 0*p + 19, a = -4*p. Is 7 a factor of (-6)/(3/(-18)*a)?
False
Suppose -2*g - 5*g - 21 = 0. Let s(k) = -3*k**3 - 4*k**2 - k - 3. Is s(g) a multiple of 10?
False
Suppose 4*n = -5*j + 7, -1 - 1 = -4*j - 5*n. Let s be (19 + 0)*(-3)/j. Let y = s - -33. Is 7 a factor of y?
True
Let y(h) = -8*h**3 + 10*h**2 - 11*h + 7. Is y(-5) a multiple of 32?
True
Let y(h) = 2 + 25*h**2 - 31*h**2 + 13*h + h**3 + 26*h**2. Is 29 a factor of y(-19)?
True
Let v(x) = 16*x**3 + 3*x**2 - 18*x + 66. Does 82 divide v(4)?
True
Is 21 a factor of (19/2 - 2)*1184/40?
False
Let z be (-1 - (-15)/10)/(2/20). Suppose -z*j + 3*f + 347 = -178, 3*f + 201 = 2*j. Is 27 a factor of j?
True
Let j = -5 + 2. Does 25 divide 79 + (j - (-2)/(-2))?
True
Let a(y) = 4*y**2 + 30*y + 8. Is 5 a factor of a(5)?
False
Let l(i) = -i**2 - 8*i + 2. Let c be l(-7). Let u = -3 + 5. Suppose 0 = -u*b - 3 + c. Is b a multiple of 3?
True
Suppose -4*t + 4*z + 4408 - 416 = 0, -2*z = -2. Does 27 divide t?
True
Suppose -3*f = -4*q + 21, -3*q - f + 3*f + 15 = 0. Let g be (-1)/1*-1*6. Suppose -3*j - q*o = -j - g, 5*j + o = 41. Does 3 divide j?
True
Let d = 24 + -22. Suppose -d*m - 28 + 162 = 0. Is m a multiple of 38?
False
Suppose -5*m - l = -2048, -5*m + 2*l - 816 = -7*m. Does 41 divide m?
True
Suppose -480 - 168 = -6*x. Is x a multiple of 54?
True
Let m(u) = 2*u + u + u**2 - 2 - 2*u + 3*u. Let i = -7 - -2. Is 2 a factor of m(i)?
False
Suppose -5*j - x - 15 = -142, -5*j + 2*x + 121 = 0. Suppose -u + j = -108. Is u a multiple of 28?
False
Suppose -4*n - 3 = -2*j + 9, -5*j + 23 = -3*n. Suppose 0 = -10*d + 11*d - j. Suppose 24 + 4 = d*x. Is x a multiple of 2?
False
Let h(y) = -y - 1. Let x be h(-5). Suppose 5 = 5*w - 0*w. Is 2 a factor of 6 + -3 + w*x?
False
Let r = 5 + -5. Let u = r - 6. Let w(g) = 2*g**2 + 5*g - 4. Does 17 divide w(u)?
False
Let w(s) be the second derivative of s**4/6 - 2*s**3/3 - s**2/2 + 5*s. Let x be w(3). Suppose -4*q = -x*q + 62. Is 18 a factor of q?
False
Let j(g) = 78*g**2 + 9*g + 8. Is 10 a factor of j(-3)?
False
Suppose -5*z + 15035 = -4*n, -4*z = -n - 3998 - 8019. Does 11 divide z?
True
Suppose 0 = -5*d - 4*k - 23, -3*k = -3*d + 2*k - 36. Let w(n) = 3 - 1 - 8*n - n**2 - 3. Does 5 divide w(d)?
False
Let c = -601 + 1081. Is 15 a factor of c?
True
Let j = -317 - -512. Is j a multiple of 21?
False
Let r be (5 + -5)*1/2. Is 11 a factor of -1*(r - -1*(-16 + -2))?
False
Let r be 6/(0 + (4 - 2)). Suppose -4*c + 188 = -r*k, 2*k = -5*c - 0*c + 212. Is 17 a factor of c?
False
Suppose 3*q - 28 = -4*q. Suppose -2*m = -q*c + 2*c - 52, 4*m + c = 124. Is m a multiple of 4?
False
Let y be -1 - -10 - (-4 + 8). Suppose -y*v + 136 = 2*i, 2*v + 0*v = -i + 68. Is i a multiple of 34?
True
Let a = -18 + 23. Suppose 0 = -0*g - a*g + 440. Is g a multiple of 20?
False
Let l(t) = t**2 + t - 1. Let w(x) = 3*x**2 + 7*x - 10. Let i(v) = -2*l(v) + w(v). Let j(b) = b**2 + 8*b - 1. Let d be j(-7). Does 8 divide i(d)?
True
Let a = 5 + 2. Let s(j) = 18*j. Let h be s(a). Suppose -p + h = p. Does 16 divide p?
False
Suppose 3*b = -h - 16, -5*h = -2*h - 3*b + 84. Let q be h/(3/((-12)/4)). Let i = 67 - q. Is 16 a factor of i?
False
Let a be (8 - 9)/(3/297). Let m = -10 - a. Is m a multiple of 14?
False
Let r(l) = l**3 + 21*l**2 - 1. Let w be r(-21). Does 11 divide (-105)/(-30)*(w + 51/7)?
True
Let w = 151 + 1285. Does 21 divide w?
False
Let c = -3 - -9. Suppose 3*u + 25 = 4*u - j, -2*j = -c. Is 5 a factor of u?
False
Let d(k) = -k**2 - 350. Let q be d(0). Is 9*q/60*(-4)/7 a multiple of 10?
True
Let m = -44 + 43. Is ((-78)/(3 + -2))/m a multiple of 13?
True
Suppose 0*n + 25 = 5*n. Suppose -2*s - 4 = 2*q - 26, 2*q = n*s + 43. Is q a multiple of 14?
True
Let h = 1437 + -507. Does 6 divide h?
True
Let i(s) = -52*s**3 - s**2 - s. Let f be i(-3). Suppose 5*z - h = f, -3*z + 4*h + 836 = 2*h. Suppose -2*g - 42 - 29 = -j, 4*g = 4*j - z. Is 14 a factor of j?
False
Suppose 3*c - 3*h = 39, 105 = 9*c - 4*c + 5*h. Is c a multiple of 4?
False
Let o(b) = -b**3 - 10*b**2 - 10*b - 5. Let h be o(-9). Let k = 34 - h. Suppose n + 4*r - 30 = -r, 3*n - k = 5*r. Does 13 divide n?
False
Suppose -1049*u + 1055*u = 1410. Is 47 a factor of u?
True
Suppose -3*x + 109 = -2*g, 5*x - 3*g - g = 179. Let d = 268 + -270. Let c = d + x. Is c a multiple of 19?
False
Let k = -6 - -10. Suppose 2*u = -2*d - 40, 3*d + k*u = -2*d - 103. Let q = 41 + d. Is 14 a factor of q?
False
Let r = -9 + 14. Suppose -2*a - 4*h + r*h = 0, 4*h + 3 = 5*a. Let t(d) = -21*d**3 - 2*d - 1. Does 22 divide t(a)?
True
Let a(r) = 16*r + 7. Let d(b) = -24*b - 11. Let j(u) = 8*a(u) + 5*d(u). Let t be j(-3). Is 20 a factor of 30/(-10) + (0 - t)?
True
Let o(w) = -5*w**3 + 13*w**2 + 5*w + 7. Let r(m) = m**3 - m**2 - m - 1. Let d(u) = o(u) + 4*r(u). Does 9 divide d(7)?
True
Suppose 5*f - 1904 = -11*f. Does 12 divide f?
False
Let d = -13 + 43. Suppose 30 = d*z - 24*z. Does 5 divide z?
True
Suppose 3 - 11 = -4*v. Suppose v*f + 164 = 5*h + 440, -5*f - 5*h = -620. Is 11 a factor of f?
False
Let t(u) = 26*u**2 - 7*u + 2. Let p be (-2 - 4/(-3))/(1/(-3)). Is t(p) a multiple of 16?
False
Let w be 5/3*3*(2 + -1). Suppose -g + 5*b = -0*b - 175, -2*g + 370 = -w*b. Is g a multiple of 39?
True
Let x be 2/11 + (-4132)/(-22). Suppose 5*n - 292 = 5*q + 53, 5*q + 281 = 4*n. Suppose -n - x = -3*f. Does 12 divide f?
True
Let f = 400 + 96. Does 20 divide f?
False
Let t(g) be the first derivative of g**3/3 + 4*g**2 + 24*g - 31. Is 4 a factor of t(-8)?
True
Let z(q) = q**3 - 4*q**2 - 2*q + 7. Suppose 0 = 5*v, i + 16 = 5*i + v. Let o be z(i). Let k(y) = 45*y**2 + y. Is 14 a factor of k(o)?
False
Let y = 45 - 16. Suppose -12*t + 74 = 38. Suppose 0 = -i + t*o + 94, y = 2*i - 5*o - 155. Is 23 a factor of i?
False
Let l = -9 + 17. Let b(g) = 2*g**2 + 18*g - 40. Let d be b(2). Let c = l + d. Is 10 a factor of c?
False
Does 32 divide (12/(-22))/(-3) + (-2067456)/(-1056)?
False
Let h(d) = 0*d**3 + 5*d**2 + d**3 - 6*d**2 - 3*d + 3. Suppose -2*b = 5*f - f - 20, f = -2*b + 11. Is 12 a factor of h(f)?
True
Suppose 478 = -t + 2*w + 1478, 0 = -2*t + 2*w + 1990. Does 11 divide t?
True
Let s be 297/55 + 0 + 6/(-15). Suppose 15 = -3*f, s*p = -3*f + f + 95. Does 8 divide p?
False
Let j(f) = 2*f**2 - 6*f - 4. Let x be j(4). Suppose x*y + s + 108 = 8*y, y + s = 32. Is y a multiple of 7?
True
Let h(l) = l**2 + 12*