, i = 5*b + 49. Let y = i - 39. Is 32 a factor of ((-1335)/(-25))/(-3)*y?
False
Suppose -2*t = -3*v + 628 - 2320, 5*t - 4*v - 4216 = 0. Is 21 a factor of t?
True
Suppose -6 = -r - 2*t, -4*t + 3*t = -3. Suppose r = -3*q + q + 146. Does 15 divide q?
False
Let k be ((-6)/4)/((-1)/2). Suppose -5*n + 28 = k. Suppose -96 = u - n*u. Is 12 a factor of u?
True
Let a(q) = -q**3 + 15*q**2 - 11*q - 3. Does 34 divide a(6)?
False
Is (-5331)/(-9) + (-2)/6 + -6 a multiple of 17?
False
Suppose -8 = 2*o - 6*o. Suppose -4*v - o = -6. Is (-2 - 1) + v + 9 even?
False
Suppose 37*o + 227 - 10032 = 0. Is o a multiple of 14?
False
Suppose 34*p = 487 + 193. Does 10 divide p?
True
Let p = 29 + -39. Let j = p - -2. Does 9 divide (36/j + 4)*-36?
True
Let l(c) = -14*c**3 + 4*c**2 + 2*c**3 + 7*c + c**3 + 5. Does 11 divide l(-2)?
False
Suppose 4*w - 27 = -i, i = -2*i - 15. Suppose -4*k = -w, -3*k - k = 4*q - 204. Is 16 a factor of q?
False
Let x be 2*(-4 + (-218)/4). Let r = -48 - x. Is r a multiple of 16?
False
Suppose 6*k + k = 63. Suppose -74 = -a + 3*f, k = 4*f - f. Does 30 divide a?
False
Let c(y) = 48*y**3 - 11*y**2 - 13*y - 6. Let k(b) = -16*b**3 + 4*b**2 + 4*b + 2. Let r(i) = -3*c(i) - 8*k(i). Does 8 divide r(-2)?
True
Let d be ((-8)/((-64)/198))/(15/40). Let f = -4 + 25. Suppose 4*c - 46 = -2*p, 4*c - f = 5*p - d. Does 13 divide p?
True
Suppose -f + 48 = 25. Let b = f + -15. Is 2 a factor of b?
True
Let a = 71 - 145. Let i = a + 5. Is -1*(-3 + -3 + i) a multiple of 15?
True
Suppose 16 = -3*q + 5*v - 272, -5*q = 2*v + 449. Let d = q + 166. Suppose -4*u + 9*u - d = 0. Does 5 divide u?
True
Let s(b) = -2*b**3 - 9*b**2 + 13*b - 5. Let k be s(-8). Let f = -159 + k. Is f a multiple of 12?
True
Suppose 4*g - 472 = -2*s, 3*s = -3*g + 7*g + 718. Is s a multiple of 12?
False
Let f(z) = 11. Let a(j) = j + 11. Let q(i) = 3*a(i) - 2*f(i). Is q(3) a multiple of 12?
False
Let w(a) = 2*a**2 + 12*a - 304. Is 13 a factor of w(-25)?
False
Let o(s) = -9*s - 1. Suppose 2*k + 4 = -2*k. Let q be o(k). Suppose 11*l - q*l = 18. Is l a multiple of 6?
True
Let n(y) be the third derivative of y**4/8 - y**3/2 + 3*y**2. Is 3 a factor of n(4)?
True
Suppose -2*j + j - 3 = c, -4*c - 3*j = 9. Suppose a + c*a + 4*z - 170 = 0, -2*z - 170 = -a. Is 22 a factor of a?
False
Is ((-66)/(-4))/((-3)/(-200)*1) a multiple of 70?
False
Let y(i) = i**3 + 18*i**2 + 19. Let m be y(-18). Suppose -m = -4*q + 117. Is 17 a factor of q?
True
Let h = 928 + -400. Is h a multiple of 16?
True
Let v be 2/2 + (-268)/(-12)*3. Suppose -12*i = -16*i + v. Does 17 divide i?
True
Suppose 5*a - 36 = a. Suppose -a*x - 105 = -14*x. Is 11 a factor of x?
False
Let y(m) = -44*m - 276. Does 72 divide y(-35)?
False
Suppose 39 = o + 2*o. Suppose -g = g + 4*c - 18, -5*g - 2*c = -o. Does 29 divide g/4 + (-230)/(-8)?
True
Let x(d) = -d**2 + 6*d - 7. Let f be x(3). Suppose 0 = -a - 2*a - 4*n + 1298, f*a = 3*n + 854. Is 21 a factor of ((-24)/30)/((-4)/a)?
False
Is 13 a factor of (3198/2)/(69/46) + 0?
True
Let y = -202 + 363. Does 23 divide y?
True
Let v(r) = 2*r**2 - 22*r - 10. Is v(16) a multiple of 15?
True
Suppose 3*g - 1495 = 5*y, -5*y = 95*g - 100*g + 2485. Does 5 divide g?
True
Suppose -p - 3 = -2*p. Suppose 2*s + 2*s = p*g, 0 = 5*g - 2*s + 14. Let u = 3 - g. Is 4 a factor of u?
False
Let h be (-88)/(-6)*(-90)/(-20). Let y = h - 21. Suppose -3*n = -f - 2*n + y, -2*n = -5*f + 228. Is 13 a factor of f?
False
Suppose 5*p + 3 = -2, -2*p = -3*d + 29. Is 318/d + 16/24 a multiple of 15?
False
Suppose -2*y - 3*y + 3*i + 3 = 0, y + 2 = -2*i. Suppose -2*h + 1 + 13 = y. Is h a multiple of 2?
False
Let y(x) = x**3 + 2*x**2 - 7*x - 8. Is 4 a factor of y(4)?
True
Suppose 10 = -5*l - 3*f, -25 = l + l - 3*f. Is 9 a factor of (-16)/(-80) - 64/l?
False
Let w = -14 - -19. Let k = -6 - w. Let z = 25 + k. Does 9 divide z?
False
Suppose -n = -94*c + 99*c - 2141, -n + 2171 = -5*c. Does 28 divide n?
True
Suppose 2*z - 12 = -z. Suppose v - 24 = -0*j - z*j, 3*j - 23 = -2*v. Is 4/(-7)*(-14)/v a multiple of 2?
True
Suppose -2*y + 4*y = 4*u + 54, 4*y - 132 = 2*u. Suppose 155 = 4*x + y. Is 5 a factor of x?
True
Let p be 3 + 6*(-20)/6. Let c = -12 - p. Suppose 0 = c*d + 6*z - 3*z - 52, d + 12 = 5*z. Is d a multiple of 7?
False
Let q(v) = -v + 7. Let p(n) = -n + 13. Let c be p(0). Suppose 2*m + 3 = -c. Does 7 divide q(m)?
False
Let q be -11 - 3*1/(-3). Is 27*3 + (-8 - q) a multiple of 25?
False
Let b = -175 + 201. Suppose 0 = 4*p - 65 + 13. Suppose -p = -r + b. Does 13 divide r?
True
Suppose -3*a + 5*b = 64 - 260, 0 = -4*a - 3*b + 300. Is a even?
True
Suppose 4*x - 3 = -271. Let i = 100 + x. Let j = i - -24. Is j a multiple of 19?
True
Suppose -3*h + 12 = 0, q - 3*h - 124 - 62 = 0. Is q a multiple of 12?
False
Let x(n) = -2*n - 20. Let u(h) = -12*h**2 + 2*h - 1. Let a be u(1). Let k be x(a). Suppose 4 = -k*d + 82. Does 13 divide d?
True
Let n = 34 - 44. Let w = 20 - n. Does 15 divide w?
True
Let g = -59 - -61. Suppose g*i = -5*s + 137, i = 3*s - s - 62. Is 5 a factor of s?
False
Let n(t) be the first derivative of t**3/3 + 3*t**2/2 + 2*t + 6. Let g be n(-2). Suppose g = 4*s - s - 90. Does 15 divide s?
True
Let l = 139 + -122. Let v(h) = h**3 - 19*h**2 + 40*h - 19. Is 15 a factor of v(l)?
False
Let a = -13 - -14. Is 12 a factor of (-4)/(3/(-18)*a)?
True
Let y(b) = -7*b - 10. Let j(w) = -7*w - 9. Let h(o) = 5*j(o) - 4*y(o). Is 2 a factor of h(-3)?
True
Let b = -85 - -93. Is 10 a factor of (-1 + -3)*(-4)/b*14?
False
Let q = -39 + 43. Is -10*((-164)/20 + q) a multiple of 14?
True
Suppose -3*d = 5*c - 125, 0 = d + 3*c - 28 - 7. Let f = 81 - d. Does 14 divide f?
False
Let z(s) = -s**3 + 13*s**2 - 10*s - 24. Let y be z(6). Suppose -6*x = -y - 648. Does 10 divide x?
False
Is 4 a factor of (44/10)/(153/30 + -5)?
True
Suppose 13*f + 838 = 2242. Does 49 divide f?
False
Suppose -1377 = -3*x + 3*w, -2*w = -5*x + 1207 + 1088. Does 12 divide x?
False
Is 4 a factor of -4*(-9)/(45/325)?
True
Let q = 804 + 246. Is q a multiple of 71?
False
Let o(k) = 5*k**2 - 146*k + 21. Is o(36) a multiple of 83?
True
Let x(m) = -3*m + 2 + 10 + 4*m - 6. Let v be x(-6). Suppose g + 2*g - 93 = v. Is g a multiple of 31?
True
Let p be -53 - 5 - (1 + -1). Let k = 61 - p. Does 17 divide k?
True
Suppose m + 1 = 6. Suppose -5*t = -m*j + 10 + 10, -3*t - 5*j + 4 = 0. Is 4 a factor of (-2)/(2 + 5/t)?
True
Suppose 2*l + 0*l + 5 = 5*f, -2*f + 2 = 2*l. Suppose -8 = -l*i + i. Is (2 - 1) + (-1 - i) a multiple of 8?
True
Suppose -j + 16 = 4*j - 3*v, 0 = -4*j + 4*v + 16. Let g = j - -20. Is 4 a factor of g?
False
Suppose -2*o = -4*o + 4*l + 216, 5*o - 5*l - 520 = 0. Suppose 7*x = -2 + o. Does 3 divide x?
False
Is 10 a factor of (1 - -3)*65 - 5?
False
Let p(x) = -5*x + 19. Let b(r) = -r + 4. Let l(j) = 22*b(j) - 4*p(j). Let a be l(9). Is 16 a factor of -3 - (a + 3) - -16?
True
Suppose -2624 = -4*g + 256. Is 8 a factor of g?
True
Suppose -44*r = -11*r - 37092. Is 36 a factor of r?
False
Let a(g) = -35*g + 23. Is a(-2) a multiple of 6?
False
Let g(d) = -3*d - 2. Let m = -12 + 10. Let c be g(m). Is (-4)/(-6)*(c - -26) a multiple of 7?
False
Let d(p) = 9*p**2 + 3*p - 18. Is d(-3) a multiple of 18?
True
Suppose 5*g = -5*h - 10, 0 = 3*h + g - 3*g - 4. Let s(p) = 4*p**2 - p + p**2 - 4 + h*p + 0*p. Does 8 divide s(2)?
False
Let c = 29 + 90. Let z = c + 121. Is 8 a factor of z?
True
Let m(n) be the first derivative of n**3/3 + 5*n**2 - 14*n + 7. Let s be m(-11). Let d(o) = -2*o**3 - 4*o**2 + 1. Is 4 a factor of d(s)?
False
Suppose 20 = 5*y, 0 = -2*a + 4*a - 5*y - 274. Is 44 a factor of a?
False
Let b(x) = 17*x**2 + 3*x + 2. Suppose 7*m + 17 = -25. Let c be 2 - m/2*-1. Is b(c) a multiple of 4?
True
Suppose -2086 = -15*z + 8*z. Does 3 divide z?
False
Let t = 11 - 18. Let w(x) = -7*x**2 + 5*x + 78. Let r(v) = -10*v**2 + 7*v + 117. Let n(f) = t*w(f) + 5*r(f). Is 16 a factor of n(0)?
False
Does 22 divide ((-21)/6)/((-9)/18) - -1357?
True
Suppose -5*n - 18*n = -20700. Is 22 a factor of n?
False
Let d(l) = -l**2 + l + 16. Suppose h - 2 = -3*m, -2*m + 5*h = 2*m + 10. Is 4 a factor of d(m)?
True
Suppose 0 = z - 2*z. Let x be (z + -2 - -3) + 2. Suppose -3*h = -3*a - 96, -x*a = -2*h + 3*h - 12. Is 7 a factor of h?
False
Suppose 0 = -85*a + 71*a + 26656. Is 24 a factor of a?
False
Let l(b) = 9*b**2 - 83*b - 11. Does 11 divide l(12)?
False