b = -9 - q. Is 9 a factor of b?
False
Is 5 a factor of 14 - 8*(-1)/(-2)?
True
Let v(y) = y**3 - 7*y**2 + 5*y + 8. Let c be v(6). Let w(l) = -c*l**3 + 9*l**2 + l**3 - 3*l + 14*l. Is 5 a factor of w(10)?
True
Let c = -20 - -14. Is (-11 + 1)/(-8 - c) even?
False
Suppose -c - 2*c = -237. Let b = c + -55. Is b a multiple of 12?
True
Suppose 0*p = -2*q + 2*p - 4, -8 = 2*q - 4*p. Suppose -g + 0*g + 12 = q. Is (78/4)/(6/g) a multiple of 18?
False
Let i(y) = -y**3 - 5*y**2 + 7*y + 9. Let m be i(-6). Suppose 4*u - 216 = -s, -m*u + 163 = 2*s - s. Suppose -5 + u = t. Does 24 divide t?
True
Suppose d + 1 - 3 = 0. Suppose 10 = d*j + 34. Is (-6)/j - (-51)/2 a multiple of 10?
False
Suppose 0 = -2*c - 2*x + 18, 0 = -3*c + x + 35 - 8. Is 12 a factor of 106/c + 2/9?
True
Let v(f) = f**3 + 8*f**2 + 7*f + 6. Does 14 divide v(-4)?
True
Let w(r) = -r**2 - 8*r - 5. Let x be w(-6). Let p be x + -6 - 23*2. Let n = -25 - p. Is 10 a factor of n?
True
Let k(r) = r**2 + 11*r + 12. Is 24 a factor of k(-12)?
True
Suppose -278 = -3*u - 50. Suppose 6*v - u = 2*v. Is 19 a factor of v?
True
Let a be 5 + 1/(2/(-4)). Suppose -4*y - y - a*s = -170, 0 = 5*s. Does 18 divide y?
False
Suppose 0 = 4*v + 3*c - 230, -2*v = 2*c + 2*c - 120. Does 8 divide v?
True
Let y = -4 + 2. Let d be (-3)/(y*1/2). Suppose -3 = d*m - 2*f - 119, 2*m - 88 = -4*f. Is 20 a factor of m?
True
Does 3 divide (10/(-4))/((-25)/60)?
True
Let r(n) = -n**3 + 8*n**2 + 9*n + 4. Let b be r(9). Suppose -3*s + 6*s + 56 = 4*y, -60 = -4*y + b*s. Is 7 a factor of y?
False
Does 11 divide (3 - -8)/((-2)/(-8))?
True
Suppose 3*o + 12 = 0, -2*h + o + 860 = -2*o. Suppose 4*z - h + 164 = 0. Does 13 divide z?
True
Suppose 0 = 4*x + 4*t - 388, 4*x + 2*t = -t + 386. Does 9 divide x?
False
Suppose -5*w + 115 + 5 = 0. Does 8 divide w?
True
Let t(k) = -k**3 - 5*k**2 + 6*k + 3. Let q be t(-6). Is 10 a factor of (-309)/(-12) + q/12?
False
Suppose 0 = 4*u - 4*o + 4, 0 = 5*u - 4*o + 7 - 4. Let s = u - 5. Is (-5)/s*4*1 even?
False
Suppose -4*b = 4*t - 0*t - 20, -3*t = 0. Suppose 3*v - 24 = -i + b, 5*i - 95 = -5*v. Is i a multiple of 7?
True
Let y be (2 - (-3)/(-2))*4. Let i = y + -5. Does 9 divide i - (-13 + (1 - 0))?
True
Let a(x) = x**2 + 7. Is a(5) a multiple of 16?
True
Suppose -128 = -4*i + 64. Let v = 86 - i. Is 19 a factor of v?
True
Suppose -6*f + 385 + 407 = 0. Is f a multiple of 13?
False
Let x(q) = -q**3 + q**2 + q - 2. Let g be x(-2). Let w = g + 5. Is w a multiple of 10?
False
Suppose -29 = n + 5*o, 2*o - o + 5 = 0. Let w = n + 6. Is w even?
True
Suppose 2*w = 6, 2*w + 2*w - 20 = -2*j. Suppose a = -j*a. Suppose 4*i - 110 + 30 = a. Is 6 a factor of i?
False
Let c = 0 + 30. Let o = c - 0. Is o a multiple of 9?
False
Suppose -6*u + u - g + 95 = 0, 0 = -3*u - 4*g + 40. Does 3 divide u?
False
Let h(f) = f**2 + 5*f - 8. Let u be h(-6). Is 8 a factor of ((-8)/(u/2))/1?
True
Suppose 2*a - 180 + 0 = 0. Is a a multiple of 15?
True
Let v be (-276)/(-9) + 6/(-9). Suppose v + 36 = 3*a. Does 7 divide a?
False
Let c(u) = -u**3 + 6*u**2 + 7*u - 3. Let x be c(7). Does 14 divide 29 + x/(-3) + -2?
True
Let y be 10/(-20) - (-1)/2. Suppose 0*v + v + 5*u - 75 = y, 4*u = v - 48. Is v a multiple of 30?
True
Suppose 2*x + 4*p = p + 14, -4*x + 5*p = -28. Let o(i) = 5*i - 4. Does 7 divide o(x)?
False
Let s = 176 - 113. Is 21 a factor of s?
True
Let u(y) = -11*y + 3. Is u(-3) a multiple of 18?
True
Let w = 11 - 5. Suppose 0 = 3*n + 2*x - 38, n - w*x = -x - 10. Let b = 19 - n. Does 9 divide b?
True
Does 35 divide 2/(-7) + 8107/77?
True
Suppose 3*l = -4*o + 49, 4*l - 66 = -6*o + o. Is l a multiple of 16?
False
Let m = -70 + 110. Is 8 a factor of m?
True
Suppose 0 = -3*n - 9, 2*x - 5*n + 0*n = 53. Suppose -o = -8 + x. Let q = 28 + o. Does 17 divide q?
True
Let z(u) = -4*u - 2. Does 4 divide z(-4)?
False
Let k = 70 + -23. Does 13 divide k?
False
Let d(p) = p**3 - 8*p**2 + 2*p + 4. Does 5 divide d(8)?
True
Suppose -2*n + 35 = -3*j, n + 2*j - 4 = 3. Does 13 divide n?
True
Let h(f) = -f**2 - 6*f - 2. Let r be h(-4). Let o(s) = s**2 - 2*s + 10. Is o(r) a multiple of 10?
False
Suppose 0 = -a - 5*s + 9, -3 = -3*a + s + 8. Suppose 2*i + a*q - 176 + 44 = 0, -3*i - 3*q = -183. Does 13 divide i?
False
Let s = 85 - 4. Is s a multiple of 27?
True
Suppose 3*w + 4*i - 7 = -2, 3*w = 4*i + 13. Suppose -20 = -w*g - 2*g + 2*s, 3*s + 5 = -5*g. Suppose -7 = -g*p + p. Is p a multiple of 3?
False
Let q(n) = 4*n**3 + 4*n**2 + 2*n - 1. Let b = -1 + -1. Let u be q(b). Is (-342)/(-21) + 6/u a multiple of 8?
True
Suppose 0 = 3*v - 3*h - 2*h - 4, 3*v = -4*h + 40. Let o be ((-4)/v)/(2/36). Let r = o - -38. Does 12 divide r?
False
Let j(o) = 2*o - 9. Let k be j(5). Does 12 divide (k - 0 - -1) + 46?
True
Let w be -1 + 0 - (-3 + 2). Suppose -2*z - 4*h = -72, 5*z - h + 3*h - 196 = w. Suppose 0 = -3*l + 4*g - 8, -l - 4*l + z = 4*g. Is l a multiple of 2?
True
Let i(q) = q**2 + 8*q + 30. Is 10 a factor of i(-18)?
True
Does 19 divide 1116/60 + (-4)/(-10)?
True
Let w(s) = -6*s + 1. Let v = -15 + 10. Does 16 divide w(v)?
False
Let m be (-85)/(-4) + 1/(-4). Let i(l) = 38*l. Let j be i(1). Let w = j - m. Does 7 divide w?
False
Let g = -6 + 4. Let i be 1*2/g*35. Does 3 divide (-185)/i + (-2)/7?
False
Let g(h) = -2*h + 6*h - h - 7 - h. Let a be g(6). Suppose 0 = -x + a*x - 124. Does 11 divide x?
False
Let v(f) = 56*f**3 - 2*f**2 + 2. Does 7 divide v(1)?
True
Let v = -11 + 19. Suppose -3*j = -v*j + 260. Does 13 divide j?
True
Suppose 2*m - 3*r = -9, -5*m + 4*r + 4 = 9. Suppose -6*p + 3*p = -66. Suppose m*i - p = i. Is i a multiple of 7?
False
Let j be 0/2 + -2*1. Let f = j + 4. Suppose -f*c - 3*a = -25 + 2, -22 = -2*c - 2*a. Does 10 divide c?
True
Let v = 5 + -5. Suppose 5*a + 3*q + 3 = v, -4*a - 2*q - 1 = 3. Is (-85)/(-3) - a/(-9) a multiple of 11?
False
Let p = 66 + -42. Let q(l) = l - 2. Let d be q(0). Is ((-25)/10)/(d/p) a multiple of 15?
True
Let x(l) = 7*l - 7. Let n(m) be the third derivative of m**4/4 - m**3 + m**2. Let b(p) = -6*n(p) + 5*x(p). Does 3 divide b(-5)?
True
Let g be 4/(-6) + 4/6. Suppose g*z + 285 = 5*z. Does 19 divide z?
True
Suppose 2*r - 3 = 1. Suppose -4*a + 31 = -5*k, 11*a = 6*a + r*k + 26. Suppose -5*y + 168 = -2*n, 4*y + a*n = -0*n + 140. Does 17 divide y?
True
Let r = -18 + 72. Is r a multiple of 9?
True
Let s(r) = r - 7. Let w be s(9). Let t(j) = 0*j**w + 3*j - j + j**2 + 2. Is t(-3) a multiple of 3?
False
Suppose -2*v + 31 = 5. Is v a multiple of 3?
False
Let q(k) = -k**2 + 3*k + 4. Let d be q(6). Let z = d - -20. Suppose -4*y + y + 5*o = -z, -5*y = o - 38. Is 7 a factor of y?
True
Let x = -546 + 849. Is 22 a factor of x?
False
Does 12 divide (2 + (-66)/(-4))*2?
False
Let m = 60 - 13. Is 11 a factor of m?
False
Let p be 60/18 - 4/(-6). Let z(b) = 2*b - 4. Let t be z(p). Suppose 0*o + 8 = 4*o - t*i, o = 2*i - 2. Is 3 a factor of o?
True
Let j(k) = -5*k**3 + 2*k**2 + 2*k + 6. Let l(q) = 6*q**3 - 3*q**2 - 3*q - 7. Let s(w) = 5*j(w) + 4*l(w). Does 14 divide s(-4)?
True
Suppose -w + g = w + 9, -2*g + 2 = 4*w. Let c(i) = 2*i + 2. Let b be c(w). Is 3 + 0 + (16 - b) a multiple of 14?
False
Does 4 divide (-32)/(-20)*30/4?
True
Let d be (24/(-16))/((-3)/14). Let g = 9 - d. Suppose -g*f = -v + 6*v - 197, 0 = 5*f + 20. Does 11 divide v?
False
Let a(h) = -h**2 - 32*h - 51. Does 27 divide a(-26)?
False
Let i(p) = -2*p**2 + 31*p + 6. Does 11 divide i(14)?
False
Suppose 4*j - 5*t = -0*j + 132, -2*j + 4*t = -60. Does 16 divide j?
False
Suppose 2*g - v - 2*v + 6 = 0, 5*g - 5*v + 10 = 0. Does 17 divide (4 + g)/(3/48)?
False
Let f(v) = -v - 4. Let j be f(-4). Suppose 7*i + j*i = 525. Is i a multiple of 25?
True
Suppose 195 = 5*n + 30. Is n a multiple of 11?
True
Let c(i) = -4 - 3*i**2 - 2*i**3 + 2*i**3 + i**3 + 3*i. Let h = 16 + -12. Is 11 a factor of c(h)?
False
Let r(d) = -d - 3. Let g be r(4). Let n(s) = s + 4. Let y be n(g). Let f = 0 - y. Is 3 a factor of f?
True
Let i be ((-21)/(-6))/((-2)/(-4)). Suppose -2*k - k + 6 = 0. Suppose r - k*s = -i*s + 26, 0 = -2*r - s + 34. Is 6 a factor of r?
False
Let j = 25 - 5. Is j a multiple of 5?
True
Let b be 1*-2*(3 + -4). Suppose y = -5*p + 60, p - b*y + 42 = 5*p. Does 5 divide p?
False
Let z = -3 + 7. Suppose u - 16 = 4*i - 3*u, -2*u - 22 = z*i. Does 13 divide ((-34)/i)/((-5)/(-25))?
False
Suppose 0 = 2*m - 438 - 38. Suppose -2*k - m = -b - b,