*i + 604 - 37, 3*g - 399 = -l*i. Is 23 a factor of g?
True
Let i be 1/((-1)/2)*-2. Suppose -3*c - i*h = -8, 1 = -5*c - 5*h + 16. Let b = c - -36. Does 10 divide b?
True
Let q = 17 - -163. Is 12 a factor of q?
True
Suppose -2*h = x - 410, -10*x + 7*x = 5*h - 1232. Does 69 divide x?
True
Suppose p - 1925 = -5*d, -11*d = -10*d + 2*p - 394. Is 16 a factor of d?
True
Let b(a) = 3*a**3 - 7*a**2 + 8*a - 6. Does 14 divide b(7)?
False
Let d(z) = z**3 - 32*z**2 + 64*z - 15. Let w be (-4)/(-6)*15*(-6 + 9). Is d(w) a multiple of 35?
True
Suppose 0 = -w + 1, k - 3*w - w = 8. Let l(u) = 10*u - 19. Let d be l(k). Suppose 2*c - 3*s - d = -0*s, 2*c = -2*s + 116. Is c a multiple of 11?
True
Let r = 398 + -260. Does 6 divide r?
True
Let k(y) = 2*y**2 + 32*y + 626. Does 29 divide k(-25)?
False
Let m(t) = 4*t**3 - t**2 - 2. Let l be (5 - -1) + 3*-1. Is m(l) a multiple of 10?
False
Suppose 4*p + 5*b = 58 + 73, 3*p = -2*b + 107. Let q be 90/150 - ((-356)/(-10) - 0). Let u = q + p. Is 2 a factor of u?
True
Let l = 167 - 86. Does 10 divide l?
False
Suppose -3*t + 0*t = -2*r + 36018, -60029 = 5*t - 3*r. Is (-8)/(-44) + t/(-44) a multiple of 13?
True
Let l(v) = 8*v**2 - 32*v + 21. Is l(6) a multiple of 9?
True
Let n(s) = -14*s + 38 - 7*s + 4*s**2 - 11*s**2 - 4*s. Let g(a) = -3*a**2 - 13*a + 19. Let j(k) = -9*g(k) + 4*n(k). Does 9 divide j(14)?
False
Is 61 a factor of (-79 + 78)/(2/(-2658))?
False
Let s = 21 + -18. Suppose -13 = -3*l + 4*i, 0*l + 22 = 4*l - s*i. Is l a multiple of 4?
False
Is (6 - 21/3) + 43 a multiple of 14?
True
Suppose -7*o + 7 = 3*v - 3*o, v - 17 = -5*o. Suppose 4*r + 5*j + 5 = 0, -7*r - 2*j = -4*r + 2. Is (-2 - v) + r + 17 a multiple of 9?
True
Let a = -103 + 108. Suppose 0 = 4*v + 2*i - 7*i + 13, 0 = 3*v - 4*i + 11. Suppose 0 = a*r - 4*r + 3, 2*j - 71 = v*r. Does 5 divide j?
False
Suppose 0 = -r - 4 + 7, 3*v = 5*r + 39. Let c = 20 - v. Suppose 5*g - 177 = c*g. Does 23 divide g?
False
Let w be (4/8)/(1/(-368)). Is 3 a factor of (-3)/(-2) - w/16?
False
Let d(v) = -v**2 + 3*v. Let g be d(6). Suppose 5*s = -75 + 25. Let t = s - g. Is t a multiple of 4?
True
Let z = 3497 - 2053. Does 10 divide z?
False
Let j(l) be the first derivative of l**2 + l - 6. Let y be j(1). Is (3 + -4)*y + 31 a multiple of 14?
True
Suppose 14*p = 12*p + 82. Is p even?
False
Suppose 3*a + 9060 = 4*u, -5*u + a + 368 + 10968 = 0. Is 43 a factor of u?
False
Suppose 11*a - 6*a - 2*t - 1070 = 0, -5*t - 642 = -3*a. Is 16 a factor of a?
False
Let c be 80 - (3 + 4 + -3). Let j = -22 + c. Is j a multiple of 9?
True
Let t be (70/6)/(2/(-6)). Let h = -22 - t. Is h/39 - (-214)/6 a multiple of 8?
False
Let o = -66 - -159. Let c be -1*3 + 182/2. Suppose -o = -5*q + 2*f + 10, 0 = -4*q + 3*f + c. Is q a multiple of 19?
True
Let x be ((-26)/(-4))/((-5)/(-640)). Let r be x/(-39)*(-6)/4. Suppose 4*d + 12 = r. Is 2 a factor of d?
False
Suppose 95 = 2*m - 7*m. Let j = -12 - m. Suppose 4*d + 2*o - 299 = j*o, 5*o + 375 = 5*d. Is 18 a factor of d?
False
Let d = 64 + 89. Suppose -4*h = 2*f - 116, -3*f + 6*f = h + d. Is 26 a factor of f?
True
Does 7 divide ((-16)/(-12)*9)/((-2)/(-22))?
False
Let f(h) = -h**3 + 5*h**2 + h + 56. Is 10 a factor of f(-8)?
True
Suppose 26 = 4*p - 0*p + 2*m, -4*m = -20. Suppose -4*n - f = 0, -n + 0*n + p*f = 0. Suppose n = -6*z + 31 + 23. Is z even?
False
Let p = 22 - 17. Let b(h) = 0 + 0*h + 2 - p*h + h**2. Is b(7) a multiple of 16?
True
Let u = 4 - -273. Let a = u - 52. Suppose 11*n = 16*n - a. Does 12 divide n?
False
Suppose 0 = -7*m + 24 + 333. Suppose -m = -5*h + 189. Does 12 divide h?
True
Let k be 1 - (2 - (-12)/(-3)). Suppose 2*b - 4*b + 110 = -2*z, k*z - 105 = -2*b. Is 11 a factor of b?
False
Let c = 8 + -16. Let f = -3 - c. Let m(k) = -k**2 + 11*k - 8. Is 22 a factor of m(f)?
True
Let a(d) = d + 19. Let k be a(-9). Let q(n) = 3*n**2 - 15*n + 4. Let g be q(k). Suppose 0 = 2*x - 10, -3*p + g = -0*x - x. Does 20 divide p?
False
Suppose 16 = -5*q + 1. Let s be 0/(q/9*3). Suppose -3*y + 8 + 7 = c, s = -5*c - 4*y + 42. Is 3 a factor of c?
True
Let n = 459 + 907. Is n a multiple of 71?
False
Let t(z) = 108*z**2 - 14*z - 35. Is t(-3) a multiple of 42?
False
Let u = 43 + -42. Let a(g) = 13*g**2 - 5*g + 6. Does 10 divide a(u)?
False
Suppose o = 6*o + 2385. Is (-2)/(6/o) - -1 a multiple of 20?
True
Let s be 4 - (0 + 8) - -25. Let u be 679/s - 2/6. Let t = u + -10. Does 6 divide t?
False
Let g(l) be the second derivative of 2*l**3/3 - 2*l**2 + 7*l. Is 13 a factor of g(6)?
False
Suppose -l + 2*i - 77 + 229 = 0, -4*i = -4. Is 12 a factor of l?
False
Suppose -b - 332 = -5*s + 3*s, -3*s = -b - 498. Suppose 0 = 4*o - h - s - 689, o = 5*h + 190. Does 14 divide o?
False
Is 14 a factor of (-553650)/(-675) + 4/(-18)?
False
Let a(f) = -f**2 + 7*f - 1. Let g be a(6). Suppose 1176 = g*u + 2*u. Is 24 a factor of u?
True
Let w = -27 + 22. Is ((-154)/(-70))/((-1)/w) a multiple of 6?
False
Suppose g = -4*n + 378 + 159, -3*n = 5*g - 424. Is 19 a factor of n?
True
Suppose 5*z - 474 = -9. Let y = -328 + 262. Let v = z + y. Does 4 divide v?
False
Suppose -91 - 15 = -5*y - 3*g, -g - 118 = -5*y. Suppose 7 = -4*s + 275. Suppose 2*o - y = s. Does 9 divide o?
True
Let i(o) = 4*o**3 - 14*o**2 - o + 5. Let m = -72 - -76. Does 3 divide i(m)?
True
Does 7 divide (3066/(-4))/((-12)/16)?
True
Let x(l) = -2 - 2 + 9 - l**3 - 5*l**2 + 7*l. Is 18 a factor of x(-7)?
True
Suppose 66*x - 62*x = 1672. Does 5 divide x?
False
Let i be (-2)/(-4) + (-5)/(-2). Let w be -7 - (-11 - (3 - (2 - 0))). Suppose -180 = -5*b - i*s, b - w*s + 91 = 3*b. Is b a multiple of 15?
False
Suppose 4*i - 2 = 3*i. Suppose -38 = -5*c + i. Is 8 a factor of 0 + 2 - (-14 + c)?
True
Let h(t) = -1. Let x(q) = -q**2 + 7*q - 32. Let a(r) = -3*h(r) - x(r). Is a(7) a multiple of 9?
False
Suppose -7*k + 6*k = -2. Is 5 a factor of ((-40)/(-7))/(k/7)?
True
Let h be 8/28 + 1270/14 + 2. Let n = h - 51. Is n a multiple of 14?
True
Suppose -1473 = -5*c - 3*o, 4*c = c + o + 895. Suppose 5*p - 2*g + 36 - 503 = 0, 3*g = -3*p + c. Let l = p - 57. Does 6 divide l?
False
Suppose 5*z + 20 = 0, -s + 5*s - 5*z - 32 = 0. Suppose 4*t - 76 = s*t. Is t a multiple of 20?
False
Suppose -2*p - 4*q + 0*q = -1314, 4*p = -q + 2628. Suppose 8*l - 823 = p. Is 37 a factor of l?
True
Let x(h) = 55*h**2 - h - 2. Let k be x(-2). Suppose -10*y = -5*y - k. Is 5 a factor of (3 + y/(-8))*-4?
True
Let o(a) = a**3 + 5*a**2 + a + 7. Let b be o(-5). Suppose -20 - 50 = -b*d + 4*c, -5*d = -2*c - 207. Does 21 divide d?
False
Suppose 148*n - 125*n = 35305. Does 45 divide n?
False
Let n be 4/(-2) - (-56)/(-7). Suppose -2*i = 2*i - 60. Let g = n + i. Is g even?
False
Let o = 11 + -7. Let l be (o/((-2)/1))/(-1). Is (l/5)/((-1)/(-5)) even?
True
Let x(s) = -s**3 + 8*s**2 + 2*s - 6. Let k be x(8). Let y = k - 13. Is 11 a factor of 22/4*(y + 7)?
True
Let h = -196 + -10. Let u = -90 - h. Is 29 a factor of u?
True
Is ((-180)/(-14))/(-5 - (-324)/63) a multiple of 6?
True
Suppose 28*d - 30*d = 3*n - 958, -2*n + 1900 = 4*d. Does 3 divide d?
False
Is 2/(18/(-1042)*(-60)/270) a multiple of 45?
False
Let j(x) = x**2 - 5*x + 6. Let f = -1 - -6. Let h be j(f). Suppose h*k - k - 5*v = 60, 25 = -5*v. Is k a multiple of 4?
False
Let c(u) = -u**3 - 41. Let a be c(0). Let t = 103 - a. Does 12 divide t?
True
Let q(f) = 687*f - 42. Is 14 a factor of q(2)?
False
Suppose -24 - 132 = -3*c + 3*q, 0 = -c - 4*q + 32. Suppose 7*n = 3*n + c. Is 12 a factor of n?
True
Let x(l) = 2690*l - 59. Does 40 divide x(1)?
False
Let u = 7 + -2. Let j be 2/(-10) - 9/u. Is 13 a factor of j/2 + 30 + -2?
False
Suppose 4*u = 3*u + 9. Suppose -3*p + u = -i, 3*p + 2*p = -i + 31. Suppose 2*l - 28 = -5*h, 3*l = i*l - 5*h - 67. Does 7 divide l?
False
Let z be (5 + -4)/(1/51). Let v = -1 + z. Is 25 a factor of v?
True
Let k be (0 + 1)/((-4)/(-8)). Let y be k/10 + 90/50. Suppose y*i - 28 = 28. Is 14 a factor of i?
True
Let k(i) = -3*i + 7. Let j be k(-3). Let g = j + -12. Suppose 20 = 2*v + g*u, 5*v - u - 50 = u. Does 5 divide v?
True
Suppose 0 = 7*o - 2*o - 5*u - 350, 0 = -3*u + 9. Does 6 divide o?
False
Let b = -923 - -1004. Is 9 a factor of b?
True
Let y(l) = -11*l - 13. Let z be y(-7). Is ((-15)/(-4))/(3/z) a multiple of 40?
True
Let a = 402 + 1. Is 20 a factor of a?
False
Suppose -2*p - 3*p = -10. Suppose -p*z = z - 66. Let t = -14 + z. Does