u - 3 + 33. Suppose 3*q - u - 87 = 0. Does 7 divide q?
False
Suppose 28*g = 29790 + 16466. Is g a multiple of 59?
True
Let y(v) be the second derivative of -v**5/20 + v**4/2 + v**3/3 - 2*v**2 - 9*v. Is 11 a factor of y(5)?
False
Suppose 4*j = 10 - 2. Suppose -6*z + 10 = -j. Suppose 0 = k - z*k + 119. Is k a multiple of 22?
False
Is ((-12)/30)/1 + 49528/20 a multiple of 36?
False
Suppose 0 = d - 4*d + b + 356, -2*d - 5*b = -243. Let t = d + -172. Let c = t + 92. Is 13 a factor of c?
True
Suppose 3*c + 1 = 31. Let j(p) = -p**2 + p - 1. Let t(k) = -k**3 + 6*k**2 - 3*k - 19. Let b(v) = -5*j(v) + t(v). Is 6 a factor of b(c)?
True
Let p = 1571 - 939. Is 79 a factor of p?
True
Suppose 0 = p + 4*u - 428, -3*p + 34*u = 29*u - 1352. Is 3 a factor of p?
True
Let y be -3*1 + (11 - 3). Suppose 5*g - 4*x - 436 = g, 4*g - y*x - 441 = 0. Is 13 a factor of g?
True
Let r be (-6 - (-135)/25)/(2/(-10)). Suppose -r*w + 5 = -4*q - 86, 0 = -5*w + q + 146. Is w a multiple of 14?
False
Let y(z) = -z**3 + 41*z**2 + 50*z - 4. Is y(42) a multiple of 11?
False
Suppose -5*d - 2*n + 21 = -2, 2*n - 13 = -3*d. Suppose 4*s - 412 = q, -487 - 31 = -d*s + 2*q. Does 21 divide s?
False
Suppose 5*y + 4 = 14, -3902 = -4*u + y. Does 8 divide u?
True
Suppose 7*w = 3*w + 48. Does 7 divide 436/20 - w/15?
True
Let k be 2*(4 - 1) + -2. Suppose -k*y = 625 - 1605. Suppose 0*r = 5*r - y. Is r a multiple of 22?
False
Let k = -348 + 643. Is 59 a factor of k?
True
Let x(q) = 6*q + 301. Does 5 divide x(41)?
False
Let h = 113 + -18. Suppose h = 3*j + 29. Does 6 divide -1*j*(-3)/6?
False
Let u be 715/(-26) - (-2)/(-4). Let o = u - -28. Suppose o = m + 5*p - 22, -3*p - 57 + 15 = -4*m. Does 12 divide m?
True
Suppose -36*z - 65736 = -69*z. Is z a multiple of 23?
False
Let u be (-5 - 2)*-1 - 3. Suppose 0 = 3*h - 3*s - 19 - 38, 0 = h - u*s - 34. Does 11 divide h?
False
Suppose 0 = b - 5, -b + 238 = 2*f - 2287. Is f a multiple of 5?
True
Suppose -2*r - 4 = 2*r, r = -5*x - 16. Let b(v) = 10*v**2 + v + 3. Is b(x) a multiple of 11?
False
Let l = 4361 + -2593. Is l a multiple of 13?
True
Does 105 divide 9/6*25*94?
False
Suppose 7*t = -19 - 16. Let q = 75 + t. Is q a multiple of 10?
True
Let n(z) = -26*z. Let v(t) = -25*t. Let h(f) = -4*n(f) + 3*v(f). Does 20 divide h(5)?
False
Does 4 divide (-13928)/(-32) + 24/32?
True
Suppose 4*c - 676 = -4*w, -5*w + 0*c = -3*c - 813. Does 7 divide w?
False
Let i be 2/10 + 392/(-35). Let q(r) = -r**3 - 11*r**2 - 4*r + 1. Let z be q(i). Let o = z + -32. Is o a multiple of 11?
False
Suppose -4*w + 10*z = 11*z - 443, -5*w + 559 = -4*z. Is 37 a factor of w?
True
Suppose 1866 = 7*n - 486. Is n a multiple of 7?
True
Let p(q) = -844*q - 32. Is p(-2) a multiple of 12?
True
Let c(a) = 3*a - 3. Let k(t) = -t + 2. Let l(w) = 3*c(w) + 7*k(w). Is l(4) a multiple of 7?
False
Suppose -h + 2*f = -516, -13*f - 2055 = -4*h - 8*f. Is 30 a factor of h?
True
Let k = 568 + -364. Suppose 0*r = 2*o - 2*r - k, 3*o - 5*r - 304 = 0. Does 26 divide o?
False
Let z = -176 + 178. Let q be ((-2)/4)/(2/(-8)). Suppose -x + 25 = q*b, -z*x - 3*b + 0 = -45. Is 14 a factor of x?
False
Suppose -1 + 7 = 3*x. Suppose 0*d = x*d + 5*s + 3, 3*d + 5*s - 3 = 0. Let z(f) = 9*f - 6. Does 16 divide z(d)?
True
Suppose -3*t + 8*t = 0. Does 21 divide t - (-1)/((-1)/(-93))?
False
Suppose -2*l + 21 = -7. Let z(s) = -s**3 - 3*s**2 + s - 3. Let g be z(-3). Let d = l - g. Is d a multiple of 18?
False
Let c = -210 - -213. Suppose -4*z + 23 = 4*s + 7, -s = 3*z - 16. Let u = z - c. Is u a multiple of 2?
False
Let v be ((-707)/7)/((6/3)/(-2)). Suppose -x = 3*x - 692. Let r = x - v. Does 24 divide r?
True
Suppose -3*u + 28 = 4*t, -14 - 2 = t - 5*u. Suppose 0 = 2*n - 3*n. Suppose 3*i + 3*s + 6 = n, -t*s - s - 25 = 0. Does 3 divide i?
True
Is 53 a factor of (-3)/((-45)/6) - 241604/(-190)?
True
Let r = 366 - 23. Suppose -4*a = 3*z - r, -3*a + 448 = 8*z - 4*z. Is 16 a factor of z?
False
Suppose 13*m + 574 - 6190 = 0. Is 8 a factor of m?
True
Let b(q) = -5*q**3 + 5 - 12*q**3 + 2*q**2 - 19*q - 4*q**2 + 18*q**3. Is b(6) a multiple of 21?
False
Let l be 1/2 + 10/4. Suppose -3*m = -2*m + l. Let d(n) = -2*n + 1. Does 7 divide d(m)?
True
Suppose 696 = 9*d + 15*d. Is 21 a factor of d?
False
Let b be 1/(-3) - (19/(-3) - -2). Let y(r) = -r**3 + 8*r**2 - 9*r + 10. Does 19 divide y(b)?
True
Let u(k) = k**2 - 6*k + 15. Suppose -6*r + 9*r + 30 = 0. Does 35 divide u(r)?
True
Suppose -2 + 5 = -3*o. Let c be (o/(-2))/((-9)/(-72)). Suppose 11*j - c*j = 259. Does 19 divide j?
False
Is (4 - 2565/12)*-4 a multiple of 77?
False
Suppose 10*d - 16*d + 684 = 0. Suppose 2*t + t = d. Is 9 a factor of t?
False
Let z(u) = -u**3 + 9*u**2 - 7*u - 9. Let i be (-10)/3*120/(-50). Let t be z(i). Let w = 8 + t. Is w a multiple of 3?
False
Suppose z = -21 - 21. Does 3 divide (2/6)/((-1)/z)?
False
Is 4/8 - 2 - (-1614)/4 a multiple of 10?
False
Suppose 4 = -2*w, -2*t + 5*t - 2*w - 43 = 0. Suppose 8*i + 180 = t*i. Is 12 a factor of i?
True
Suppose 169*u = 175*u - 7500. Is u a multiple of 92?
False
Suppose -12*p + 65 = -115. Does 10 divide (5/2)/(p/240)?
True
Let p = -223 + 387. Let i = 316 - p. Suppose i = 2*m + 56. Is m a multiple of 24?
True
Let p = -36 - -33. Let h = p + 25. Is 11 a factor of h?
True
Let i(v) = 2 - 6 - v**3 + 15 - 5*v**2 + 12*v. Does 6 divide i(-7)?
False
Suppose b + 5*r - 20 = 0, 178 = -0*b + 5*b - r. Suppose -4*c - 49 = g, -3*c + b - 155 = 3*g. Let l = 67 + g. Is l a multiple of 10?
True
Let g = -49 - -22. Let q be 1/((-6)/(-152))*15/10. Let d = q + g. Is d even?
False
Suppose 0 = -2*z + z + 879. Suppose -2*a - 24 = 5*s - z, 3*a - 15 = 0. Does 13 divide s?
True
Suppose 21*c - 19*c = 836. Is 38 a factor of c?
True
Let b(r) = -2*r**3 - 4*r - 2. Let o be b(3). Let w = o + 132. Is 46 a factor of w?
False
Let x = 19 + -33. Let t = x - -19. Is t/(-30) - 205/(-6) a multiple of 12?
False
Does 7 divide 297 - (-5)/(20/(-12))?
True
Let j be 48*(-8)/(-60) - 8/20. Suppose -2*h + u - j*u = -279, 3*u - 15 = 0. Is 13 a factor of h?
False
Let o(s) = 3*s**3 - s**2 + 3*s - 2. Let p be o(1). Suppose -2*m = 2*m - p*y - 320, m - 5*y - 63 = 0. Is m a multiple of 9?
False
Let v(u) = -u**2 - 6*u - 3. Let j be v(-5). Let p(b) = 5*b**j - b**2 + b + 2*b**2 - 3 + 2*b. Does 11 divide p(2)?
False
Suppose -2*g + 59 = -w - 0*w, -3*g - 4*w + 94 = 0. Suppose -2*x + g = -58. Suppose u + 3*u - x = 0. Is u a multiple of 6?
False
Let m = 24 + -22. Let f be (58*m)/((-6)/(-3)). Suppose y + p - f = 33, -y + 88 = -2*p. Does 30 divide y?
True
Let v be -3 + 108*-3*(-4)/(-18). Let p = v + 327. Is 28 a factor of p?
True
Let s(n) = -n**3 + 10*n**2 - 11*n + 11. Let q be s(8). Let m(o) = o**2 - 8*o + 19. Let c be m(6). Suppose q = 2*v - c. Is 29 a factor of v?
True
Does 12 divide 7/(196/(-189))*(-272)/3?
True
Suppose 2*d + 0*d - 3692 = -5*k, 3687 = 5*k - 3*d. Suppose -5*g - 2*h + 1216 = 0, -2*h + 5*h = 3*g - k. Does 49 divide g?
False
Suppose 3*p = 2 + 1. Let h(d) = -d. Let l(x) = 7*x + 1. Let r(z) = p*l(z) - 2*h(z). Is 15 a factor of r(4)?
False
Suppose 3*l + 2*q - 5 = 0, 4*q + 4 = -3*l - 1. Does 16 divide 601/l + 3/(-15)?
False
Suppose -5*j + 20 - 5 = 0. Suppose -j*o + 1022 = -v, o - 2*o + 349 = -2*v. Suppose 4*y - o = -3*b, 3*b - 3*y - 295 - 23 = 0. Is 18 a factor of b?
False
Let q(s) = -7 - 8*s + 11 + 2 + s**2. Does 2 divide q(9)?
False
Suppose 31*s = -52*s + 9960. Is s a multiple of 14?
False
Does 15 divide (-4736)/(-26) - 8/52?
False
Let h(f) = 12*f**2 + 7*f + 12. Suppose -8 = -2*p + 4*p. Is 16 a factor of h(p)?
True
Let o(v) = 4*v. Let h be o(14). Does 2 divide 128/h - (-2)/(-7)?
True
Suppose 3*t = 77 + 103. Does 5 divide t?
True
Suppose 2*p - 99 - 19 = -3*r, 5*r + p = 185. Is 3 a factor of (-90)/r*(-12)/5?
True
Let f = -2 + 3. Suppose -3*o = -4 + f, -b + 5*o + 31 = 0. Is 17 a factor of b?
False
Suppose 5*a = 5*j + 5, 2*j = 4*a - 7 + 1. Let z(u) = -4 + 2*u**2 - u**3 + 3*u**a + 6*u - 2*u. Is z(4) a multiple of 25?
False
Let g(y) = y**2 + y + 1. Let o be g(-9). Let u = o + -44. Is 29 a factor of u?
True
Let g = 7 + -14. Let r(k) = -11*k + 32. Let n(p) = 4*p - 11. Let m(v) = 8*n(v) + 3*r(v). Is 13 a factor of m(g)?
False
Does 44 divide (-20 - -1288)*((-3)/6 - -1)?
False
Let v(d) = d**3 - 6*d**2 + 2*d - 6. Let g be v(6). Let j = 8 - g. Is 7 a factor of (j - -8) + (-3)/(-1)?
False
Suppose -76*k + 5