8*q + 1. Is h(z) a multiple of 13?
True
Does 9 divide (-876)/(-48) - (-2)/(-8)?
True
Let v(p) = -4 + 17*p - 8*p + 5. Let h be v(2). Suppose 0 = -2*k + 45 + h. Does 13 divide k?
False
Let h be 57/11 - (-4)/(-22). Let x = h + -3. Suppose x*i - 7*i = -90. Is i a multiple of 9?
True
Let n(r) = 0*r - 4*r - 11*r. Let u be (2/4)/((-2)/4). Is n(u) a multiple of 6?
False
Suppose 5*d - 11 = 4*d. Suppose -4*s - 21 = -5. Let a = s + d. Is a a multiple of 7?
True
Suppose -3*f - t = 14, 5 = 5*f - t + 23. Does 8 divide (-4 - f) + 42/3?
False
Suppose 0 = -4*s - 20, 2*p = 6*p + 4*s - 572. Is p a multiple of 37?
True
Suppose 4*g = -g + 2*k + 298, -g + 2*k = -58. Suppose 0 = -0*t + 3*t - g. Does 13 divide t?
False
Suppose 0 = -3*u - g + 3 - 6, -3*g - 3 = 3*u. Let l be (u/1 + 0)*0. Suppose j - 6 = -l. Is 3 a factor of j?
True
Suppose l + 4*o + 0*o - 17 = 0, 83 = 4*l + o. Is l a multiple of 4?
False
Let l = 6 - 0. Does 17 divide 104/6 + (-2)/l?
True
Let u = 285 - 131. Does 14 divide u?
True
Suppose 0*d = 4*r - 3*d - 25, -13 = -r + 3*d. Suppose -v + 48 = 4*u + r*v, -u = -v - 21. Is u a multiple of 17?
True
Suppose 0 = a + 8*f - 4*f - 132, 0 = -3*a + f + 396. Is a a multiple of 44?
True
Suppose 4*j = 3*r - 12, -r - 5*j - 25 = -6*r. Let t = r + 2. Does 10 divide t?
True
Suppose -88 - 74 = -2*u. Is u a multiple of 9?
True
Suppose 4*u + 2*m - 231 = -m, 0 = -2*u + 4*m + 132. Suppose -4*d - f = -29 - 22, -4*f + u = 4*d. Does 5 divide d?
False
Let a be 8/3 - 2/3. Suppose -a*d - d = 3. Let k(v) = -10*v + 1. Is 11 a factor of k(d)?
True
Let f(c) = -c**3 + 8*c**2 + 4*c - 11. Let n be (-4)/(-22) + (-31)/(-11). Suppose 5*t - 37 = n. Is f(t) a multiple of 10?
False
Let w(l) = -8*l + 1. Let v be w(-3). Suppose p + 2*q = 4*p - 64, 0 = 5*q + v. Is p a multiple of 8?
False
Let s = -2 + 4. Suppose -2*w - 3*w - s*c = -21, -3*c = -3*w + 21. Let k = 12 - w. Is 3 a factor of k?
False
Suppose 0 = -10*k + 8*k + 48. Is 2 a factor of k?
True
Let t(a) = a**2 - 12*a + 29. Is 18 a factor of t(11)?
True
Suppose 4*l = 2*l + 4. Suppose 6*t - 108 = l*t. Is 8 a factor of t?
False
Let o(k) = k**2 + 2*k - 3. Let y be o(2). Suppose 4*r - f = 75, 0 = -5*r - f + y*f + 102. Does 5 divide r?
False
Let o(x) = x**3 - 5*x - 4. Let n be o(-4). Let t(h) = -4*h - 3. Let j be t(6). Let s = j - n. Does 13 divide s?
False
Is ((-18)/4)/(8/(224/(-21))) a multiple of 6?
True
Let n be 1*(1 - 3) - 0. Let d be 3 + (0 + n)/2. Suppose -2*m = d*m - 12. Does 2 divide m?
False
Let j(x) = x**2 - 8*x + 10. Let m be j(7). Let s be (-2 - (-24)/9)*m. Suppose -4*w + 8 = -s*w. Does 4 divide w?
True
Suppose -2*j = -4*j + 80. Is 15 a factor of j?
False
Let c(g) = -6 + 10*g + 3*g**2 - 6*g - 3*g. Is 8 a factor of c(3)?
True
Let c(a) = a**2 - 10*a + 2. Let m be c(4). Let v = 36 + m. Let t = -3 + v. Is 11 a factor of t?
True
Is -34*2*4/(-16) a multiple of 17?
True
Let i be (-1)/((-1 + 3)/(-86)). Suppose f + i = 2*f. Is f a multiple of 12?
False
Let d be 2/(-6) + 38/6. Let t(j) = -d*j**2 + 3*j**3 - 4*j**3 - 8*j - j**2. Is 7 a factor of t(-6)?
False
Suppose -20 = 4*y, 7*o = 5*o - 4*y + 112. Is 29 a factor of o?
False
Let j(c) = 2*c - 4. Let h be j(3). Suppose 0 = -2*r - 3*g + 34, -h*r + 3*g + 50 = 2*g. Is r a multiple of 12?
False
Let m(v) = -v**2 - 2*v**2 + v - 2*v. Let f be m(-1). Is 15 a factor of 32 + f*(-1)/(-1)?
True
Suppose -8*o = -6*o - 326. Is 18 a factor of o?
False
Let i be (2/(-4))/((-1)/34). Let d = -11 + i. Suppose 3*z - 38 = -h, 2*z - d = z - 2*h. Is z a multiple of 6?
False
Let l be ((-5)/2)/(5/(-10)). Suppose 15 = 2*s - 4*y + y, -5*s + 75 = l*y. Is 6 a factor of s?
True
Let m(b) = 11*b + 4. Is 10 a factor of m(2)?
False
Is 3 a factor of 1*5/(5/14)?
False
Does 8 divide 1/7 - 17*115/(-35)?
True
Suppose 5 = 3*d - 4. Suppose -72 = -2*k - g - d*g, 5*k = 2*g + 240. Suppose -5*c + 0*m + k = -4*m, c = 5*m + 5. Is 10 a factor of c?
True
Suppose -4*x - 6*m + 826 = -4*m, 2*m + 6 = 0. Suppose 0 = -5*d + d + x. Is d a multiple of 12?
False
Suppose 70 = 3*k - 68. Is 8 a factor of k?
False
Suppose 0*j - 5*f = 2*j + 17, 0 = -3*j + f + 17. Suppose 7*g = 2*g + 410. Suppose g = j*s + 6. Does 6 divide s?
False
Let j = -12 + 18. Is j a multiple of 2?
True
Let j = 40 + -22. Suppose 0 = -4*a + 5*a - j. Does 18 divide a?
True
Let k = 109 + -57. Is k a multiple of 13?
True
Let u be (-17)/6 - (-3)/(-18). Let m be u*13*(-12)/9. Does 4 divide 4/(-6) - m/(-6)?
True
Let y = 3 - -7. Let n = 16 - y. Is 5 a factor of n?
False
Suppose -5*s = -5*t - 10, 5*t - 5 = -s + 9. Suppose -t*g + 4*j = 0, -g + 5*g - 4*j - 8 = 0. Is g a multiple of 2?
True
Let r be 78/4 + (-7)/14. Suppose -5*f + 15 = -5*k, 4*k + r = 2*f + 3*f. Does 5 divide f?
False
Does 9 divide (-1221)/(-15) - (-10)/(-25)?
True
Let s(u) = u**2 - 9*u + 10. Let h be s(8). Let j(p) = p. Let v(b) = -3*b + 3. Let m(a) = 2*j(a) - v(a). Is 3 a factor of m(h)?
False
Suppose -3*l - 4*u + 56 = 0, 2*u - 50 = -2*l - 10. Is 9 a factor of l?
False
Let v = 13 - -54. Does 25 divide v?
False
Suppose -2*s = 2*s - 124. Is 7 a factor of s?
False
Let p = 9 + 6. Suppose 3*x - 5*g - 39 = 0, -x + 4*g + p = 2. Let z = -3 + x. Is 6 a factor of z?
False
Suppose y = -v + 30, 0*y - 50 = -v - 5*y. Let j = v - -4. Is j a multiple of 14?
False
Let h = -4 - 0. Is 2 a factor of h/6*105/(-14)?
False
Is 9 a factor of 3 + 1 + (-1 - -15)?
True
Let h = 366 + -197. Suppose 111 = -2*v - 127. Let p = v + h. Does 19 divide p?
False
Suppose -6 = 2*g, -4*k + 4*g = k - 1157. Does 15 divide k?
False
Suppose -2*d - 77 = 5*g, -d + 2*g + 3*g = 76. Let v = d + 167. Is v a multiple of 30?
False
Suppose 5*r - 11*r + 522 = 0. Does 6 divide r?
False
Suppose -3*p = -7 + 1. Suppose 0 = 2*z - p*a - 22, -6*a - 55 = -5*z - 2*a. Let n = 35 - z. Is n a multiple of 17?
False
Suppose -6*u + 12 = -2*u. Suppose -33 = -u*d - 0*d. Is 7 a factor of d?
False
Let j(l) be the second derivative of 1/6*l**4 - 3*l - 3/2*l**2 - 2/3*l**3 + 0. Does 13 divide j(-2)?
True
Is 16 a factor of (1 + 4/2)/(21/224)?
True
Let l = 7 - -1. Let z(r) = -r**3 + 7*r**2 + 10*r - 11. Let o be z(l). Suppose n - p - 4 = 9, o*n - 2*p - 50 = 0. Is 8 a factor of n?
True
Suppose m = 5*p + 5*m - 6, 3*p - 3*m = 9. Suppose -3*h + 2*f = -2*f - 58, 5*f - 8 = -p*h. Is 8 a factor of h?
False
Let t = 18 - 13. Is 5 a factor of t?
True
Is 35 a factor of 2 + (73 - 25/5)?
True
Suppose y - 3*i + 5 = -i, i = -2*y - 15. Let b be -9*(2 - y/(-3)). Suppose 47 = -0*l + 2*l - 3*d, 3*d + b = 0. Does 13 divide l?
False
Let l(h) = -h**2 - 8*h + 7. Let x be l(-8). Suppose -x = 5*u + d + d, -2*u - 18 = -3*d. Does 10 divide 41 + u/(-3)*-3?
False
Suppose 0 = 7*c - 5*c - 82. Does 8 divide c?
False
Suppose -1 = 2*q - 5, 5*x = 5*q - 15. Let n be ((-2 - 1) + 1)*x. Suppose -n*o + 3*b = 1, -2*b + 3 + 7 = 0. Is 4 a factor of o?
False
Suppose -23 = -4*h + 25. Does 4 divide h?
True
Is (-1 - 142*1)*10/(-10) a multiple of 13?
True
Let z(i) = -2*i**2 + 2. Let h be z(3). Let p be (36/(-16))/(6/h). Let o = p + 8. Is o a multiple of 7?
True
Let a = 12 - 8. Suppose 0 = h + h - 3*l - 20, -a*l - 48 = -4*h. Is 4 a factor of h?
True
Let c(l) be the third derivative of -l**4/6 - l**3/3 - 2*l**2. Let m be c(-3). Suppose 2*n = m, o - 6*o + 4*n + 100 = 0. Is o a multiple of 9?
False
Suppose -5*n = 3*l - 397 + 108, 3*n = l - 73. Does 22 divide l?
True
Suppose -3*q + 4 = -2*q. Suppose -69 = -q*x - 21. Does 12 divide x?
True
Let j(u) = -u**3 - 4*u**2 + 5*u + 3. Let d be j(-5). Suppose f - 3*f = -5*w + 12, d*w - f - 8 = 0. Is (w/(-2) - 0) + 14 a multiple of 12?
True
Suppose 0*p = -5*p + 20. Does 12 divide (-660)/(-18) - p/6?
True
Let l(x) = 3*x**2 - x - 6. Is l(5) a multiple of 32?
True
Let m be (-4)/(-4) + -6 + 1. Let d be (108/(-10))/((-9)/(-30)). Does 5 divide (m/(-8))/((-2)/d)?
False
Let q(s) = -28*s + 4. Does 30 divide q(-2)?
True
Let b(u) = -13*u + 10. Is b(-4) a multiple of 21?
False
Let b(m) = m**3 - 9*m**2 - m + 13. Let r be b(9). Let w be r - (3 + -1)/(-2). Suppose 4*a = -5*u + 29, 8*a - 4*a - 19 = w*u. Is 3 a factor of a?
True
Let g = 5 + -3. Let p(h) = 10 + g*h**2 + 9*h - 2*h - 3. Is 11 a factor of p(-5)?
True
Let g(i) = -i**3 + i**2 + 2*i - 4. Let y = 1 + -4. Let w be g(y). Let u = w - 15. Does 4 divide u?
False
Suppose 3*p = -2*n + 3, -2*p + 1 + 1 = -3*n. Suppose -4*s - m + n*m = -57, -s + 12 = -2*m. Is 7 a factor of s?
True
Let d = -1