2 + g**3/3 + 3*g. Does 10 divide q(-6)?
False
Suppose 0 = 4*v + 4*r - 28, r + 4 = v - 3. Is v a multiple of 7?
True
Let g = -66 - -129. Let s = g + -21. Does 15 divide s?
False
Suppose 3*i = -i + 16. Does 11 divide 221/i + (-3)/12?
True
Let r be ((-6)/2 - -6)*1. Suppose -2*c = r*v - 19, 0 = 2*v + 3*c + 2*c - 31. Is v even?
False
Let d be 6/(-15) - (-228)/(-5). Let s = d + 72. Is 13 a factor of s?
True
Suppose -5*l + 2*c = -32, 0 = -0*l + 5*l + 4*c - 26. Does 3 divide l?
True
Suppose 15 = -6*u + u, 3*u = 4*y - 109. Is 22 a factor of -3 - -2*y/2?
True
Let m(g) = -3*g - 1. Suppose -5*o + o = 0. Let r(k) = k**2 - 6. Let h be r(o). Does 6 divide m(h)?
False
Let g be 204/8 - (-4)/8. Suppose -t - g = -x, -3*x - 2*t + t + 86 = 0. Is 19 a factor of x?
False
Let n(m) be the first derivative of -m**4/4 + 5*m**3/3 + 6*m - 1. Let x(k) = -2*k - 9. Let d be x(-7). Is n(d) a multiple of 6?
True
Suppose 7*v - 3*v + 144 = 2*t, 0 = -5*v - 10. Suppose -46 = -2*q + t. Is 19 a factor of q?
True
Let u(g) = g**3 + g**2 + 101. Let h be u(0). Suppose -11 = 5*n - h. Is 18 a factor of n?
True
Let p(a) = 6*a + 9. Let t be p(-6). Let i = 40 + t. Is 13 a factor of i?
True
Let f = 48 + 24. Is f a multiple of 18?
True
Suppose 0 = 2*n - 3*n - 56. Let f = -32 - n. Does 12 divide f?
True
Suppose 1 = 5*h + 6. Let s be h/(-4) - 4/16. Is 8 + (s + 2 - 1) a multiple of 4?
False
Suppose 3*s + 0*r - r = 28, -2*s + 20 = -2*r. Let b(c) = 5*c - 1 - 6 - 7 + 2. Is b(s) a multiple of 13?
False
Let o = -4 + 6. Suppose -o*t + 53 = -77. Does 13 divide t?
True
Let y(u) be the third derivative of -u**5/60 - 7*u**4/12 - u**3 + 3*u**2. Does 11 divide y(-8)?
False
Let j be (36/30)/(1/(-10)). Let b = j - -27. Is 4 a factor of b?
False
Suppose -5*h = -105 - 70. Does 9 divide h?
False
Let f = -3 - -5. Let t(l) = 0*l**2 + 2 + l**f - 1. Does 13 divide t(5)?
True
Let l(k) be the first derivative of 0*k + 1 + 2/3*k**3 - 1/2*k**2. Is 6 a factor of l(3)?
False
Let w = -97 + 57. Let a = w + 63. Is 6 a factor of a?
False
Let m(k) = -4*k + 1. Let n be m(-1). Suppose 2*a + 3*w - 57 = 8*w, -3*a + 28 = 4*w. Suppose -a = -3*i + 2*h, -h + 17 = n*i - 14. Does 5 divide i?
False
Let u = -4 - -6. Suppose 4*g + 3*c = -15, 0*c - c = u*g + 5. Suppose -j + 5 + 4 = g. Is j a multiple of 9?
True
Let y(o) = -o**2 - 7*o - 6. Let g be y(-6). Suppose 195 = -g*l + 5*l. Suppose -v - 2*v = -l. Is 13 a factor of v?
True
Let h(z) = z**3 - 6*z**2 + 2*z - 6. Let l be h(6). Suppose w - 2*w - l = 0. Is (-28)/w*(-9)/(-6) a multiple of 7?
True
Let x = 1 + 4. Suppose -2*n + x*d = -4, 3*d + 17 = -n + 41. Let b = n - 0. Does 6 divide b?
True
Suppose -k + 85 = 31. Does 9 divide k?
True
Suppose 3*j = -2*j + 40. Suppose -5*t + j*t = 108. Is t a multiple of 17?
False
Let k(t) = -t**2 - 2*t + 2. Let h be k(2). Let f be 4/10 - (-476)/10. Is (h/8)/((-3)/f) a multiple of 12?
True
Let j(p) = 1. Let m(u) = u + 64. Let o(v) = 4*j(v) + m(v). Is 17 a factor of o(0)?
True
Let n(m) = 12*m. Let w be n(5). Suppose 5*c - w = 115. Does 13 divide c?
False
Suppose 2*v - 115 = 99. Is v a multiple of 7?
False
Suppose 0*v - 2*v - 12 = 0. Let a(k) = k**2 - 6*k - 15. Let w be a(5). Let f = v - w. Is 14 a factor of f?
True
Suppose 0*f + 2*f + 5*z - 116 = 0, 0 = -5*f + 3*z + 228. Is f a multiple of 24?
True
Suppose 4*m = -5*t + 15, 2*t + 2 = -0. Let u = m + -3. Suppose -u*q - 36 = -5*q. Is q a multiple of 6?
True
Suppose -7*r + 3*r = 8, 5*r + 85 = 5*g. Is g a multiple of 15?
True
Suppose -3*w = 5*v - 30, 3*w = -3*v + 3 + 21. Suppose -v*a + 3*z = -1 - 5, 2*a + 2*z + 12 = 0. Is 6 a factor of a/6*(-108)/4?
False
Let p(c) = c**2 - 8*c - 5. Let u = 8 + 2. Let s be p(u). Is 6 a factor of (-4)/(-10)*s*1?
True
Let v(u) = u**3 - 7*u**2 + 2*u - 2. Is v(7) a multiple of 3?
True
Let m(t) = -t**3 - t**2 + t + 2. Let v be m(0). Let g be (-1)/v - (-173)/(-2). Let x = -51 - g. Is 18 a factor of x?
True
Suppose 5*y + 10 = 10*y. Suppose -y*r = r - 144. Is 20 a factor of r?
False
Let q(w) = -36*w + 7. Does 5 divide q(-1)?
False
Let v be ((-9)/(-2))/(2/(-32)). Let s = 44 + v. Is 19 a factor of (-506)/(-7) - (-8)/s?
False
Let k = 20 + 7. Is 9 a factor of ((-2)/1 - -3)*k?
True
Suppose 2*q = q + 6. Let c(i) = -i**2 + 5*i + 4. Let b be c(q). Is -1*2/b - -4 a multiple of 3?
False
Does 5 divide (-1)/(-3) - 246/(-18)?
False
Suppose -i = -11 - 17. Is 7 a factor of i?
True
Let v = -316 + 106. Let h = 314 + v. Is 24 a factor of h?
False
Suppose -17 - 15 = -y. Is y a multiple of 32?
True
Let k = 88 + -40. Does 8 divide k?
True
Suppose -f + 9 = -19. Suppose -3*v = a + 2 + 32, 16 = -4*a. Let m = v + f. Is m a multiple of 9?
True
Let g(r) = r**3 - 8*r**2 + 6*r + 5. Let d be g(7). Let l = d + 6. Does 4 divide l?
True
Let n(g) = 2*g**2 - 2*g + 1. Let k be n(2). Suppose 94 + 96 = k*d. Does 19 divide d?
True
Let d be (-12)/(-9) - (-2)/3. Suppose x + 35 = d*p, 4*p - 3*x - 41 = 2*p. Is 15 a factor of p?
False
Let h = 52 + -36. Is 4 a factor of h?
True
Suppose 3*z - 630 = -2*n, 0*n - 313 = -n - z. Is 11 a factor of n?
False
Let a(x) = 9*x + 1. Let c(k) = k + 2. Let j be c(0). Is 14 a factor of a(j)?
False
Let c(q) be the third derivative of q**5/60 + q**4/4 + 7*q**3/6 - 6*q**2. Does 23 divide c(-8)?
True
Suppose -t + 2*t = 3*f + 26, 4*f = -2*t + 52. Suppose -x + t = x. Let a = x + -3. Does 7 divide a?
False
Let o = -205 - -348. Is 20 a factor of o?
False
Suppose -3*o = -4*h + 234, 5*h - 4*h + o - 62 = 0. Is h a multiple of 12?
True
Suppose -4*p + 6 = 2. Suppose 5*g = 19 + p. Is g a multiple of 4?
True
Let b(i) = -32*i + 24. Does 39 divide b(-7)?
False
Let s(v) = v**3 + 12*v**2 - 2*v + 7. Let p be s(-12). Let b = 10 + p. Does 14 divide b?
False
Suppose 0 = k - 0*k + 5*q + 19, 0 = 3*k - 4*q - 19. Suppose -g + 4 = 30. Let t = k - g. Is t a multiple of 17?
False
Suppose 2*s - 2*c = -3*s + 117, s - 13 = 3*c. Suppose 2*x - 7*x = -s. Suppose x*t - 24 - 69 = -4*r, -4*r = 2*t - 90. Is 11 a factor of r?
True
Let h = 244 - 93. Let p = -101 + h. Is 25 a factor of p?
True
Let m(d) = d - 1. Let r be m(3). Suppose -25 = 5*i, -4*i - 17 + r = -c. Let y(h) = h**2 - h + 6. Does 18 divide y(c)?
True
Let m(l) = -l**2 + 10*l - 4. Let b be m(10). Is 20 a factor of b/(-6) + 314/6?
False
Suppose 0 = b - 5*n + 15, n + 8 = -3*b + b. Let h = 35 + b. Does 30 divide h?
True
Let k be (-2 - -5) + 0 + 2. Let t = 23 - k. Does 6 divide t?
True
Suppose 24 = -3*k - 2*w, -4 = k - 5*w + 4. Does 3 divide (-2 - -9) + (-10 - k)?
False
Suppose -2*p + 22 = 4*d, -2*p - 5 = -2*d - 3*d. Suppose 2*c + 75 = d*c. Suppose i = 4*i - c. Is i a multiple of 9?
False
Suppose -3*i - 220 = -5*w, -6*w + w + 60 = -i. Let t = i + 161. Suppose -1 = r, 0*r = -4*l - 3*r + t. Does 8 divide l?
False
Is 111 + -18 + (0 - 3) a multiple of 24?
False
Let h(r) = r + 7 - 3 - r**3 + r. Is h(-3) a multiple of 25?
True
Let o = 99 - 79. Does 3 divide o?
False
Is 10 a factor of -1 - (-9)/8 - (-7038)/144?
False
Let p(b) = b**2 + 7*b + 9. Let k be p(-7). Is 11 a factor of k + (2 + 0)*1?
True
Let a = -2 - -7. Suppose -4*o - 31 = -5*i + 2*i, a*i = -4*o + 9. Is (-1 - o) + (-2 - -2) a multiple of 3?
True
Let d(c) = -c**3 + 10*c**2 - 4*c + 5. Let f be d(9). Suppose -z = 4*z - f. Is 4 a factor of z?
False
Suppose -5*d = -0*d - 370. Does 27 divide d?
False
Let u(a) = 2*a**3 - 3*a**2 + 1. Let g be u(2). Suppose -2*d - 2*x + 32 + 2 = 0, -g*d + 5*x + 35 = 0. Is 12 a factor of d?
True
Suppose k + 0*k - 60 = 0. Let p = -6 - -9. Suppose 0 = p*f + f - k. Does 7 divide f?
False
Does 5 divide 55/22*4*1?
True
Let z be 0*1/(-3 + 1). Let n = 3 - z. Suppose 11 = n*q - 7. Does 4 divide q?
False
Does 22 divide (-18)/(-12)*88/3?
True
Let k(b) = b**3 - 3*b - 1. Let x be k(3). Let u = -37 + x. Let s = -11 - u. Is s a multiple of 6?
False
Let o be (1 - -3) + -2 + 1. Suppose o*i = 18 - 0. Let d(z) = z**2 - 7*z + 9. Is d(i) even?
False
Suppose -22 = 2*k - 4*k. Is 5 a factor of k?
False
Let q be -1*2/(-6)*15. Is q/(3*(-3)/(-27)) a multiple of 15?
True
Let c be (-4)/18 + 48/(-27). Let o be -9*(24/9 + c). Is 9 a factor of (-10 - o)/(2/(-9))?
True
Suppose -2*u + c + 2 = 0, -2*c - c = -2*u - 2. Suppose -t - u*a = 1, -4*t + 2*a = -4 - 12. Let i = t + 8. Is 4 a factor of i?
False
Let z = -8 - 0. Let w = 17 + z. Is 8 a factor of w?
False
Let m(b) = 2*b**2 - 5*b - 36. Is m(9) a multiple of 9?
True
Let u(p) = 4*p + 5. Doe