se 0 = -q*z + 3*z - 312. Suppose 5*d = d + z. Does 13 divide d?
True
Let k be (-166)/(-6) - (-16)/12. Let h(s) = 4*s**2 + s. Let r be h(-1). Suppose -4*p = 4, -2*g + r*p = -2*p - k. Is g a multiple of 4?
True
Let c be 7/2 + 6/12. Suppose c = -4*m - 0*m. Is m + 8 + 1 + -1 a multiple of 4?
False
Let r = -8 - 1. Let c = r + 25. Is c a multiple of 8?
True
Is (0 + 1 + 10/(-5))*-49 a multiple of 17?
False
Let w(i) = 2*i**2 - 44*i - 28. Is 11 a factor of w(24)?
False
Let u = -4 - -4. Suppose u = 5*f + 25 - 75. Does 5 divide f?
True
Let p(m) = 2*m**3 - 4*m**2 + 3*m. Let o be p(2). Is 9 a factor of o/(-27) + (-220)/(-18)?
False
Does 19 divide 16/8*(-173)/(-2)?
False
Let y be (-2)/3 - 591/(-9). Let k = y + -42. Suppose o = -3*r + 2*r + 14, -2*o = r - k. Is o a multiple of 9?
True
Suppose 25 = 5*w - 0*w. Let f = 13 - w. Does 3 divide f?
False
Does 30 divide (24/36)/((-1)/(-165))?
False
Let a = -5 + -14. Let k be (-2)/(-2 - -2 - 2). Is (-2 + 1)/(k/a) a multiple of 7?
False
Suppose 2*c = c + 9. Is c a multiple of 9?
True
Let m = -25 + 9. Let t = 32 + m. Is t a multiple of 6?
False
Let b(x) = 36*x**2 - x + 2. Does 10 divide b(1)?
False
Suppose 0 = -g - 2*g - 2*u - 11, 0 = 5*g + 3*u + 17. Let w = 3 + g. Suppose -2 = w*x, -5*h - x - 2*x = -52. Is 5 a factor of h?
False
Is 7 a factor of 10 - (1 - 0)*1?
False
Suppose -y = -2*o - 0*o + 425, 0 = -o - 3*y + 223. Does 20 divide o?
False
Let g(o) = o**2 + 2*o + 3. Is 6 a factor of g(3)?
True
Suppose 81 = 4*g - 15. Suppose -c - g = -3*c. Does 6 divide c?
True
Suppose -3*j + 221 + 331 = 0. Let i = j + -124. Does 12 divide i?
True
Suppose -w + 5 = 4. Let a = 1 + w. Suppose a*r - 60 = -3*r. Is r a multiple of 8?
False
Let w(v) = v**2 + 2. Let b = -8 - -4. Let m = -4 - b. Does 2 divide w(m)?
True
Let y(f) = 21*f**2 - 4*f - 3. Let o be y(-3). Suppose 4*k + 132 = 2*w, -2*w = w - 5*k - o. Does 22 divide w?
True
Suppose 0 = -6*u + u + 80. Is 16 a factor of u?
True
Let m = 114 + -73. Suppose -6*g + 89 = 3*l - 2*g, 2*l = g + m. Does 10 divide l?
False
Suppose 213 - 188 = y. Is 5 a factor of y?
True
Suppose 0 = 4*x - 3*x + 174. Let c = x + 254. Does 16 divide ((-48)/(-20))/(6/c)?
True
Let s = 175 - 90. Is s a multiple of 17?
True
Suppose -s + w = -33, 5*w - 3*w + 174 = 5*s. Is s a multiple of 9?
True
Let u = 5 - 3. Suppose -6*z + 168 = -u*z. Does 14 divide z?
True
Suppose -2*c = -27 - 47. Is c a multiple of 13?
False
Let r = -35 - -58. Is 6 a factor of r?
False
Let j(m) = -2*m + 6. Let d be j(3). Suppose d = 7*z - 4*z - 72. Is z a multiple of 11?
False
Suppose 2*b - 4*o + 3*o = 100, 5*b - 4*o - 256 = 0. Is 8 a factor of b?
True
Let k(r) be the first derivative of r**4/12 + r**3/3 - 3*r**2/2 + 2*r + 2. Let b(n) be the first derivative of k(n). Is 3 a factor of b(-4)?
False
Let v(r) be the second derivative of r**3/6 + r**2/2 + r. Let z(n) = -n**2 - 5*n + 7. Let c(t) = -2*v(t) - z(t). Is 7 a factor of c(-7)?
False
Let l be 64/12 - (-1)/(-3). Suppose -16 = -l*h - 3*c, 0*h - 5*h + 18 = 4*c. Suppose -h*x + 3*x = 23. Is x a multiple of 14?
False
Suppose -4*x - 8 = 0, 2*h - h + 19 = -5*x. Let d = h - -26. Is 5 a factor of d?
False
Does 10 divide (-13)/39 + 0 + 1470/9?
False
Suppose 5*n - 215 = -5*l, 3*l + l - 180 = 4*n. Suppose 2*b + u = -2*u + l, b + u - 22 = 0. Is 22 a factor of (-2 - -4)/(2/b)?
True
Let m = -9 + 21. Suppose -3*a - 4*w = -m - 36, 4*w = 3*a - 48. Is 16 a factor of a?
True
Let z be (0 + -1)/((-1)/19). Suppose k + 2*c - 6*c = z, k + 6 = -c. Let d = k - -32. Is 12 a factor of d?
False
Suppose 4*k = 4*s - 352, s + 4*k = -0*k + 103. Let z = s + -64. Is z a multiple of 6?
False
Let a(p) = 2*p - 7. Let f be a(5). Suppose 0 = 5*r + 2 + f. Is 14 a factor of r - (2 + -4) - -27?
True
Suppose -18 = -5*a - 3. Suppose -15 = -4*s + w + 9, -a*w = -12. Is s a multiple of 6?
False
Suppose -295 = -5*q - 0*q. Let l = q + -33. Is l a multiple of 24?
False
Let t(i) = -6*i + 12. Let z(u) = -u**2 - 10*u + 16. Let y be z(-12). Does 20 divide t(y)?
True
Let g = -2 + 7. Let d = 10 - g. Is 5 a factor of d?
True
Suppose 0 = 5*k - 275 - 25. Is 15 a factor of k?
True
Let r(v) = v**2 - 4*v. Let p be r(3). Let z(g) = 2*g**2 - g + 3. Does 8 divide z(p)?
True
Suppose -u + 6 = 1. Suppose -t = -4 + u. Is 4 a factor of t/2 - 22/(-4)?
False
Let a be ((-24)/10)/(4/790). Does 9 divide 1/4 + a/(-24)?
False
Let p(w) = 8*w - 21. Is p(9) a multiple of 17?
True
Let g be (-6)/(-4)*32/(-6). Let y = 11 + g. Is 2/y*(-12)/(-2) even?
True
Suppose 2 = -k, q - 2*k - 66 = -4*k. Suppose -6*v + 198 = 3*o - v, -3*v = o - q. Is 21 a factor of o?
False
Is 11 a factor of 1254/10 - (1 - 9/15)?
False
Suppose 0 = -4*h + 2*h - 10, -3*r - 3*h = -42. Does 4 divide r?
False
Suppose 9 = 5*z + 3*i, 2*z - 5*i = -0*z + 16. Let n be 15/9*z - 2. Suppose 0 = 5*a, -2*f + 25 = -n*a - 9. Does 8 divide f?
False
Suppose -3*f + 1 = -v, 3*f + 2*f - 5*v = 5. Suppose f = -5*c - 0*c + 25. Does 5 divide c?
True
Suppose 3*m - 78 = 48. Does 14 divide m?
True
Suppose 0 = -4*z + 2*z + 144. Is z a multiple of 14?
False
Let r be 1080/(-6)*3/(-4). Suppose g - 5*u = 6*g - 135, -5*g + r = -3*u. Does 15 divide g?
False
Let c(k) = -30*k - 11. Does 13 divide c(-2)?
False
Is 6 a factor of (-49)/(-14)*1*6?
False
Does 12 divide (-47 - 1)*1*(-3)/6?
True
Suppose -5*t - 3 = -2*g - 15, -2*g - 4*t = -24. Suppose -l + 50 = g*l. Does 10 divide l?
True
Let v(f) = 7*f**2 - 5*f**2 + 9 + 2*f**2 - 11. Is 4 a factor of v(-2)?
False
Let x = 168 - 100. Let c = -47 + x. Is 12 a factor of c?
False
Suppose -7*r + 32 = r. Let k(c) be the third derivative of c**6/120 - c**5/60 - c**3/3 + c**2. Is k(r) a multiple of 23?
True
Suppose -2*s - m + 17 = -0*s, 2*s - 3*m = 37. Suppose 4*h + 13 + s = -2*c, 0 = 5*c - 5*h. Is -21*(-2)/c*-2 a multiple of 20?
False
Suppose -2*c + 10 = 2*p, 0 = 3*c + 5*p - 7 - 14. Suppose -c*k = -125 - 135. Is 34 a factor of k?
False
Let n = 302 + -149. Let h be n/2*(-16)/(-24). Let t = h - 24. Is t a multiple of 9?
True
Suppose 5 = 4*p - 3*p. Is p a multiple of 2?
False
Let i = -3 - -3. Let n(y) be the second derivative of -y**5/20 - y**4/12 + 11*y**2 - y. Is n(i) a multiple of 16?
False
Suppose -5*c + o - 2*o = -290, c = -4*o + 58. Is c a multiple of 21?
False
Let c(j) = -2*j**3 - 4*j**2 - 3. Does 9 divide c(-3)?
False
Let o(g) = 2*g - 1. Let m be o(4). Suppose -m*x + 4*x + 96 = 0. Is x a multiple of 16?
True
Let a = 28 + -8. Does 16 divide a?
False
Let b(n) = -n**3 - 4 + 4*n**3 + 4 + n. Is 2 a factor of b(1)?
True
Let f be 6/(-4)*(-14)/(-21). Let n(y) = -6*y**3 - y - 1. Let w be n(f). Is w/(-9)*3 + 24 a multiple of 12?
False
Let r(g) = g**2 + 5*g - 3. Let f(k) = k**2 + 8*k - 14. Let d be f(-10). Suppose 0 = 5*z - l + 33, -2*z - 4*l = z + d. Does 3 divide r(z)?
True
Suppose 14*l = 9*l + 590. Is 38 a factor of l?
False
Let r be (-1)/2*(10 - -10). Let f(o) = -2*o + 2. Let i be f(-7). Let y = r + i. Is 6 a factor of y?
True
Let x be (45/6)/(2/(-12)). Let j = -22 - x. Does 5 divide j?
False
Let o be (-1*339 - -2) + -1. Does 23 divide o/(-6) + 6/9?
False
Let p(s) = -s**3 - 11*s**2 + 12*s + 29. Does 8 divide p(-12)?
False
Suppose 26 = 3*g - 64. Let j = g + -4. Is 13 a factor of j?
True
Suppose -5*s + 80 = 20. Let u = 0 + s. Is (u/10)/(6/80) a multiple of 6?
False
Suppose -3*o + 0*o = 5*i - 179, -25 = 5*i. Does 17 divide o?
True
Let i(u) = -2*u - 8. Let n = -10 - -4. Let d be i(n). Suppose -26 = -5*f + d. Is f a multiple of 6?
True
Let q = 4 + -2. Suppose 0*m + q*m = 2*p - 46, 3*p = -2*m + 84. Is 9 a factor of p?
False
Suppose 6*l = 4*l + 540. Suppose 4*d + 70 = q + 2*d, -4*q = -3*d - l. Does 13 divide q?
False
Is 2*(1 - (-22)/4) a multiple of 13?
True
Let v(z) = -z**2 - 5*z + 12. Let o be v(-10). Let x = -26 - o. Does 3 divide x?
True
Suppose 105 = 2*t + 21. Is 14 a factor of t?
True
Let v = 9 + -26. Suppose 2*z - k + 47 = 0, 0 = -5*z + z - 4*k - 100. Let t = v - z. Does 3 divide t?
False
Let o = 63 - -9. Is 29 a factor of o?
False
Let r = -3 - -2. Let b be 6 + -5 - 2/r. Suppose -60 = t - b*t. Is 14 a factor of t?
False
Let m(g) = -5*g**3 - 4*g**2 - 7*g. Is m(-3) a multiple of 10?
True
Let k be ((-102)/4)/(3/(-8)). Let o = 129 - k. Does 21 divide o?
False
Suppose -4*o = -4, 93 = 4*g + 5*o - 0. Suppose 0 = -4*r + 18 + g. Is 10 a factor of r?
True
Is 4*(-2)/16*-134 a multiple of 9?
False
Suppose 6*x = 2*x + 160. Is 1