?
True
Is 12 a factor of (18/8)/(3/16)?
True
Suppose 3*h + 2*t = 8, -2*h = -h + t - 4. Suppose 0 = -3*p - 2*p + 2*a + 233, 3*a + 12 = h. Suppose 0*m - 5*m = -p. Is m a multiple of 9?
True
Let w be ((-3)/2)/(1/12). Let l = 30 + w. Is l a multiple of 12?
True
Let w(f) = f**3 - f**2 - 4*f + 1. Is w(3) a multiple of 5?
False
Is 19 a factor of ((-10)/15)/((-4)/246)?
False
Suppose 0 = j - 4*j + 165. Does 16 divide j?
False
Suppose -4*s = -8 - 0. Let v(a) = -a + 2. Let m be v(s). Suppose m = 2*n + 5*w - 33, 0*n + 3*w + 129 = 5*n. Is 22 a factor of n?
False
Let y = -3 - -3. Let s(p) = -p + 12. Let l be s(10). Suppose y*u - o - 19 = -3*u, l = -2*o. Is u a multiple of 4?
False
Let y = -3 + 15. Is 10 a factor of 61/3 + (-4)/y?
True
Let p(b) = -b**2 + 7*b - 4. Let h be p(4). Let r(a) = -a**2 + 13*a - 9. Let z be r(h). Let j = -13 + z. Does 18 divide j?
True
Let q(j) = 2 + 1 + 0 - 4*j + 2*j. Let d be q(3). Is (d/(-2) + -2)*-52 a multiple of 13?
True
Let y(l) = 4*l**2 + 2*l + 4. Is 10 a factor of y(-4)?
True
Let w(s) = -s**3 + s - 1. Let v = -1 + 2. Let d(u) = -7*u**3 - 2*u**2 + 10*u - 7. Let o(q) = v*d(q) - 6*w(q). Does 4 divide o(-4)?
False
Suppose 3*d - 17 = -5. Let t(k) = -2*k**2 - 2 + 4*k**3 - 2*k**2 + k - 3*k**3. Does 2 divide t(d)?
True
Let i(m) = m**3 + 8*m**2 + 15. Does 15 divide i(-8)?
True
Let s be (-1 - 5)/((-9)/(-6)). Let x(j) = 4*j**2 - 3*j - 3. Let a be x(4). Is 13 a factor of a*(2 - (-3 - s))?
False
Let y be -17*(0/1 + -2). Suppose 5*r = 4*c - 22 - 20, -y = -2*c - 4*r. Does 5 divide c?
False
Let g(f) = 2*f**2 + 2*f + 10. Is g(6) a multiple of 57?
False
Let y(f) = -3 - 2 - 1 + f**2 + 3*f. Let d be y(-6). Is (-32)/d*(-21)/4 a multiple of 14?
True
Let y be (12/(-10))/(3/(-10)). Let p be 99 + (1 + -2 - -1). Suppose -y*z = -z - p. Does 13 divide z?
False
Let m = 30 - 8. Let r(o) = o**2 + 5*o - 15. Let b be r(-5). Let d = m + b. Is 7 a factor of d?
True
Let r be (1/3)/(1/(-3)). Let v be 3 - -1*(r - -27). Suppose -35 = -4*k + v. Is 9 a factor of k?
False
Let k(g) = -g**3 + 2*g**2 + g - 2. Does 3 divide k(-2)?
True
Let h be (12/(-20))/(4/60). Let o = h + 27. Does 9 divide o?
True
Let c(u) = 2*u + 5. Let i be c(7). Let o = 41 - i. Is 15 a factor of o?
False
Suppose -3*t = -5 - 19. Let q be (2 - (2 + 1)) + t. Let a = q + -3. Does 3 divide a?
False
Let x(z) = -5*z - 11. Is x(-10) a multiple of 13?
True
Does 31 divide 1/(-4 - 1119/(-279))?
True
Let m = 1 - 0. Suppose -m = -2*a - 3. Is 8 a factor of a/(1/4)*-2?
True
Suppose j - 6 = -a + 4*a, -4*a = 2*j - 12. Is 2 a factor of j?
True
Suppose -2*m - m = -2*l + 23, -4*m = -5*l + 40. Suppose 4*s + l*d = 60, -4*s + 2*d + 78 = 18. Suppose 0 = -u - b + s, 4*b + 14 = 3*u - 3. Does 11 divide u?
True
Suppose 3*j + 18 = -0*j. Does 22 divide (-112)/(-5) - j/(-15)?
True
Suppose -3*a - 4*z + 260 = 0, 3*a + z - 265 = 2*z. Does 13 divide a?
False
Suppose -2*k - 2*k + 21 = -5*x, 4*k + 2*x - 42 = 0. Is 2 a factor of k?
False
Let c(h) = h**2 - 3*h + 4. Suppose -9 - 3 = -4*i. Let b be c(i). Is 14 a factor of b/14 + 388/14?
True
Is (19 + (0 - -1))*2 a multiple of 8?
True
Suppose 5*n + 4 = 14. Is 7 a factor of n + (-4)/1 + 17?
False
Suppose 2*l = 3*l - 31. Is 7 a factor of l?
False
Suppose -14 = 3*v + 5*d, -5*d - 4 = -4*d. Let b = v + 0. Suppose -b*r + r = -19. Is 17 a factor of r?
False
Let u(r) = -r**3 - 5*r**2 - r + 6. Let i(o) = 4*o + 0*o - 3*o**2 + 3*o**3 - 18 - 2*o + 18*o**2. Let h(n) = -4*i(n) - 11*u(n). Is 12 a factor of h(-6)?
True
Is (-5)/(130/44 - 3) a multiple of 13?
False
Let l = 8 + -5. Suppose 0*r - 2*r + 3*c = -46, -5*r + l*c = -106. Is 20 a factor of r?
True
Let g = 1 - 2. Let f be ((-6 - g) + 3)*1. Let u(i) = -4*i + 1. Is u(f) a multiple of 9?
True
Let r(l) = -l**3 - 7*l**2 + 5*l + 3. Does 9 divide r(-8)?
True
Suppose -4*f = 3*l - 112, -58 - 18 = -2*l - 2*f. Does 5 divide l?
True
Suppose 1 + 19 = -2*b. Let j = b + 48. Is 15 a factor of j?
False
Let v = 8 + -4. Let o be (30/4)/(v/24). Suppose 0 = -2*k - 8, -o = i - 2*i + 4*k. Is i a multiple of 11?
False
Suppose -5*c = -52 - 178. Does 9 divide c?
False
Let a(k) = -3*k - 3. Let x be a(-2). Suppose f - 3 + 6 = q, -4*f = -x*q + 9. Suppose -o - p - 2*p = -21, f = 5*p - 15. Is 8 a factor of o?
False
Let y(a) = 8*a**2 + 4*a - 5. Let i(f) = -7*f**2 - 4*f + 5. Let k(x) = 7*i(x) + 6*y(x). Let t be 8*3/6*-1. Does 2 divide k(t)?
False
Let j(u) = 1. Let r(c) = 4*c + 1. Let d(h) = -2*j(h) - r(h). Does 5 divide d(-2)?
True
Let y(i) = i - 4. Let p be y(3). Let g(a) = 3*a**3 + a**2. Let n be g(p). Let u = 5 - n. Does 7 divide u?
True
Suppose 0*x - 3*x + 3 = 0. Does 11 divide 26 + x - 3 - 2?
True
Let s(h) = -h**3 + 5*h**2 - 4*h + 2. Let k be s(2). Let z(c) = -c**3 + 8*c**2 - 8*c + 1. Is 25 a factor of z(k)?
True
Suppose -k = -2*p + 135, -k = 2*k + 15. Does 15 divide p?
False
Let a(p) = 44*p**2 + 5*p + 5. Is a(-2) a multiple of 19?
True
Suppose 3*w - 3*s - 34 = 11, 2*w = s + 32. Let o = w - 28. Let g(d) = d + 20. Is g(o) a multiple of 9?
True
Suppose -2*w = 5*s + 13 + 16, -2*w = -4*s - 16. Is 20 a factor of (3 + w + 0)*51?
False
Let w be 2 + 1/1*-1. Let o(p) = p - 5 + p + 4*p - w. Is 9 a factor of o(4)?
True
Suppose -150 = 2*q - 7*q. Is q a multiple of 11?
False
Suppose 3*k + 5*j = 10, -4*k = -3*j + 2*j - 21. Suppose -y + 8 = -k*d, -16 = -y + 2*d + d. Suppose v = -3*v + y. Is 5 a factor of v?
False
Let y = 102 - 71. Suppose -y = 4*u - 139. Does 9 divide u?
True
Let k(o) = -6*o - 3. Let h be k(5). Let p = h + 47. Is p a multiple of 7?
True
Suppose 3*n = n. Suppose -3*k + n = -12. Suppose -2*w + 0*a - 2*a = -80, -k*a - 45 = -w. Is w a multiple of 15?
False
Let u(w) = -w**3 + 6*w**2 + 6*w + 9. Let v be u(7). Let d be (v - 6)/(-1 + -1). Suppose 0 = -4*f + 3*k + 100, 2*f + d*k + k - 32 = 0. Does 12 divide f?
False
Suppose z + 3*z - 141 = -o, -5*o - 77 = -3*z. Is z a multiple of 19?
False
Let g = -22 + 35. Let q = g + -96. Let d = -51 - q. Does 13 divide d?
False
Let q(v) = -5*v - 29. Is q(-8) a multiple of 7?
False
Let s = 70 - 67. Suppose -5*y = -0*b + 2*b + 5, 3*b + 5*y = 0. Suppose -b = -s*l + 10. Is l even?
False
Let s(q) = 4*q - 8. Let j(d) = -d - 1. Let i(u) = -2*j(u) + s(u). Is i(5) a multiple of 12?
True
Suppose -w = -3*w. Suppose -4*k - 2*b = -32 - 40, -5*k + 2*b + 72 = w. Is 16 a factor of k?
True
Suppose -s = 1 - 3. Let o be 9 + (-3 + s)/(-1). Suppose -5*f - o = -60. Is 5 a factor of f?
True
Suppose 69 = l + 19. Is 10 a factor of l?
True
Let j = 74 + -4. Is j a multiple of 17?
False
Suppose -3*r - 2*g = -7*g - 82, 4*r + 3*g = 119. Does 14 divide r?
False
Suppose -5*d + 62 = -3*c, -3*c - 8 = d - 24. Let b = -1 + d. Is b a multiple of 6?
True
Let s be 8/3 + 2/6. Let h = 18 + -10. Suppose -69 = -5*y - s*i, -y - 3*i + h = -1. Does 15 divide y?
True
Is 20 a factor of (-1 - -1) + 1 + 119?
True
Let u be (-340)/(-35) + 2/7. Is 4/u - 46/(-10) a multiple of 5?
True
Let v(j) = j**2 + 19*j + 5. Is v(7) a multiple of 15?
False
Let c = 351 + -181. Suppose c = r + r. Does 25 divide r?
False
Let m(g) = -g**3 - g**2 + g - 7. Let s be m(0). Let j = s + 17. Let p = 3 + j. Is p a multiple of 13?
True
Let w be 2 - (-3 - -7) - -61. Let u be (0 - -1) + w + -9. Suppose 3*q = 5*y + 98, -q + 4*y - 9 + u = 0. Is q a multiple of 10?
False
Let g(a) = 8 + a + 3 + 0. Let j be g(-6). Is (2 - 8)/((-2)/j) a multiple of 7?
False
Does 17 divide (-4)/10 + 3817/55?
False
Suppose -2*z - 5 = -3*z. Suppose -z*j + 31 + 19 = 0. Is j a multiple of 5?
True
Let b(p) = 3*p + 6. Let h be b(7). Let m = 48 - h. Is m a multiple of 10?
False
Suppose 4*c - 2*c + 2 = 0, -3*x = -5*c - 20. Is x a multiple of 5?
True
Let k(n) = 23*n**2 + 12*n**2 - 3*n**2. Is k(1) a multiple of 10?
False
Let w(n) = n**3 - n**2 + 7*n - 8. Does 7 divide w(4)?
False
Let b = -1 + 17. Is b a multiple of 8?
True
Does 7 divide ((-13)/2)/(2/(-12))?
False
Let t(g) be the third derivative of g**5/12 + g**4/12 + g**3/6 + 2*g**2. Let p be t(3). Is (1/(2/p))/2 a multiple of 13?
True
Suppose 4*p + 3*o - 28 = 1, -p = 3*o - 14. Let d = p + 2. Is d a multiple of 7?
True
Let s = 0 - 1. Let f = 56 + s. Suppose -2*m = -5*h - m + 75, -3*m = 5*h - f. Does 7 divide h?
True
Let x be (2/2)/(3/(-9)). Let g be -2*x/3 + 5. Suppose g*b = 3*b + 56. Is 11 a factor of b?
False
Let p(k) = 19*k - 3. Let m be p(4). Let j = -47 + m. Is j a multiple of 10?
False
Let r be 130/