. Is q(5) a multiple of 24?
True
Let r be 2/1 + (-3 - -1). Let n be 15/(-25) + 57/(-5). Let m = r - n. Is m a multiple of 5?
False
Suppose -l = -6*l + 480. Suppose l = o + 28. Suppose 0 = -x + 4*j + 23, -5*x - o = -4*j - 199. Is x a multiple of 13?
False
Let t = 9 + -5. Suppose t*u + 4 = -2*w, w - 2*u + u = 4. Does 8 divide (-2 + 4)*23/w?
False
Suppose -12*x = -7*x - 65. Is 2 a factor of x?
False
Suppose -2*q + 4*z - 32 = 0, -z - 9 = 4*q + 2*z. Is 6 a factor of 16/q*(-3 - 6)?
True
Suppose -2*p + 5*p = 4*a - 11, 0 = -p - 3*a + 18. Suppose p*z = n + 8 + 36, -3*n + 22 = 2*z. Does 7 divide z?
True
Let v(z) = 15*z. Let s be v(-1). Let c = s - -40. Suppose n + 19 = 3*k + 2, 5*k - n = c. Is k even?
True
Let j = 46 + -32. Is 2 a factor of j?
True
Let f(g) = -g**3 - 4*g**2 - g - 2. Let q be f(-4). Suppose 2*o = 4*o - 176. Does 11 divide (o/12)/(q/3)?
True
Let k(v) be the first derivative of 1/3*v**3 - 5/2*v**2 - 4 + 12*v. Is 12 a factor of k(8)?
True
Let n(w) = 8*w - 6. Let y = -9 - -14. Does 7 divide n(y)?
False
Let t = 2 - 1. Let c = 4 + t. Does 5 divide c?
True
Let o be 3/12 + (-44)/(-16). Suppose -u - 4*a - 10 = 0, o*u + 1 = -a + 26. Is 6 a factor of u?
False
Suppose -3*z + 85 - 22 = 0. Let s = -4 + z. Is 17 a factor of s?
True
Let x = 41 + -26. Is x a multiple of 15?
True
Let h = -3 - -6. Suppose 3*j = -3*d - 24 + 129, 2*d + h*j = 75. Does 10 divide d?
True
Let x(z) = 0*z**2 - 3 - 1 + 3*z**2 + 0*z**2 + 2*z. Is x(-4) a multiple of 18?
True
Let r(y) be the third derivative of y**8/3360 - y**7/630 - y**5/60 + y**4/6 - y**2. Let a(u) be the second derivative of r(u). Is 8 a factor of a(3)?
True
Let a be (1 + 502/(-4))*2. Let y = -175 - a. Suppose -5*n + 8 = 3*s - y, 3*n + 80 = 5*s. Is s a multiple of 9?
False
Let o = 226 + -29. Is 46 a factor of o?
False
Let b = 23 - -32. Is 20 a factor of b?
False
Let c(h) = -2*h - 10 + 3 - h. Does 4 divide c(-5)?
True
Let u(d) = d**3 - 3*d**2 + 2*d. Let t = 32 + -23. Suppose 2*b - t = -b. Is u(b) a multiple of 6?
True
Suppose 186 = -8*i + 762. Is i a multiple of 9?
True
Suppose -3*i - 127 = -y, -8 = -4*i + 4. Let h = y - 82. Suppose 4*c - c = h. Does 10 divide c?
False
Let x(w) = w**3 + 5*w**2 + 2*w + 2. Let i be x(-4). Let k be 2*(-2)/i*-45. Suppose -5*s - 3*m + 62 = -24, -s = m - k. Is 16 a factor of s?
True
Let w be (-62)/(-12) - 2/12. Suppose -2*n = -w*n + 69. Is n a multiple of 21?
False
Suppose 2*r - r - q - 194 = 0, q - 376 = -2*r. Is r a multiple of 10?
True
Suppose 0 = -j - 4*o + 6, 4 = 4*j + 2*o + 50. Let q = j + 30. Is 4 a factor of q?
True
Suppose 1690 = 14*m - 830. Does 15 divide m?
True
Suppose 35 = 4*v + v + 4*r, 2*r = -v + 13. Suppose v*n + 72 = 6*n. Is 16 a factor of n?
False
Let r be -1 - (0 + 3*-2). Let w(z) = 6*z**3 + 2*z + 1. Let o be w(2). Suppose 2*h - 5*h + 2*u = -28, -3*u = r*h - o. Is 4 a factor of h?
False
Suppose 4 = -u, q + 2*u = 1 - 3. Let y = q + -8. Is (y/4)/((-1)/42) a multiple of 7?
True
Let c = 9 - 5. Suppose -3 + 59 = c*j. Does 6 divide j?
False
Let h(s) = s**3 - 5*s**2 - 7*s + 7. Let q(f) = -15*f**2 + 11*f - 17*f + 20 - 15*f + 3*f**3. Let x(y) = 11*h(y) - 4*q(y). Is 3 a factor of x(6)?
True
Is (-4)/5 - ((-2466)/45 - 3) a multiple of 20?
False
Suppose -112 = -3*o - 4*o. Is 2 a factor of o?
True
Let d(h) = 0*h**2 + 1 + 3 + h + h**2. Is d(3) a multiple of 16?
True
Is 4 + ((-37)/(-1) - -2) - 4 a multiple of 3?
True
Is 8/10*1240/16 a multiple of 15?
False
Let z be (2 + -2)/((-4)/4). Suppose -4*h + l = -136, z = 3*h + 6*l - 2*l - 102. Is h a multiple of 12?
False
Let t(v) = 2*v + 4. Let b be t(4). Let n be ((-3)/(-2))/(b/(-16)). Does 8 divide (44 - 2)/3 - n?
True
Let z be (-2 - -3 - -1) + -7. Let i = z + 23. Is 7 a factor of i?
False
Is 8 a factor of (-3)/(0 - (-3)/(-56))?
True
Suppose 5*h + 1 = 21. Suppose 65 = h*k + k - 5*j, 11 = k - 3*j. Does 14 divide k?
True
Let f(x) = -3*x**3 - 2*x**2 - x. Let u be f(-1). Suppose -u*d = -27 - 11. Does 5 divide d?
False
Suppose -11*l = -9*l - 94. Is l a multiple of 10?
False
Let s(n) be the first derivative of 5*n**3/3 - 5*n**2/2 + 4*n - 3. Is s(3) a multiple of 17?
True
Let i = 26 - 7. Is i a multiple of 19?
True
Let h(d) = -12 + 10*d + 9*d - 15*d. Is h(5) a multiple of 4?
True
Let h be (2 + -4)*2/(-4). Let y(l) = -3*l - h + l**3 + 0*l - 3*l - 6*l**2. Is 3 a factor of y(7)?
True
Let v be 3/(-2) - (-116)/8. Suppose v + 15 = a. Is a a multiple of 13?
False
Let p = -16 + 6. Let n(t) = -2*t - 8. Does 6 divide n(p)?
True
Let l be 4/12 + (-358)/(-6). Suppose -2*q - l = -7*q. Let c = q + -2. Does 10 divide c?
True
Suppose 4 = 4*c - 8. Suppose -2*y + c = 3*j - 2, -y = 5*j - 20. Suppose -4*g + 23 = j*h, 3*g + 13 = h + g. Is h a multiple of 7?
True
Suppose -6 = i + i. Let a = i - -9. Is 6 a factor of a?
True
Let n(k) = -2*k + 6. Let f be n(8). Let q = 21 + f. Is q a multiple of 9?
False
Does 16 divide ((-96)/(-7))/((-1)/(-7))?
True
Let g = 1 - -1. Let h(j) = 7*j**3 - 4*j**2 + 2*j + 1. Is 12 a factor of h(g)?
False
Let w = 13 + 157. Does 18 divide w?
False
Is ((-356)/(-6))/(4/6) a multiple of 16?
False
Let s = -14 - -20. Let r be s/(-4) + (-303)/(-6). Is r/5 + 1/5 a multiple of 6?
False
Suppose -4*n - 9 = -1, -5*n = 5*i + 10. Let t(x) = 4*x - 3. Let g be t(3). Let q = g + i. Is q a multiple of 3?
True
Suppose -4 = -k + 4. Does 6 divide k?
False
Let a(l) = l**2 - l - 1. Let f(t) = -5*t**2 - 2*t - 1. Let p(m) = -4*a(m) - f(m). Does 3 divide p(-7)?
True
Let k(g) = -g - 9. Let z be k(6). Is (-2)/(-10) - 207/z a multiple of 6?
False
Let b = 213 - 104. Is b a multiple of 30?
False
Let m(s) be the first derivative of 0*s + 2 - 9/2*s**2. Is 11 a factor of m(-3)?
False
Suppose -34*x + 30*x = -156. Does 13 divide x?
True
Let x(m) = 8 - 3*m + 4*m - 5. Is x(9) a multiple of 6?
True
Is 49/(((-2)/(-9))/(24/36)) a multiple of 22?
False
Let w be 30/(-3) - 1*-1. Let j = 10 + -5. Let f = j - w. Does 14 divide f?
True
Suppose c + 5 - 3 = 0. Let k(f) = f - 42. Let q(t) = -2*t + 85. Let w(i) = c*q(i) - 5*k(i). Is w(0) a multiple of 20?
True
Let d(z) = z**2 - 3*z - 3. Is 10 a factor of d(7)?
False
Let a(w) = -w**3 - 7*w**2 - 7*w + 1. Let l be a(-6). Let q = 10 - l. Is 16 a factor of 3*(26/3 - q)?
False
Suppose n - l = 2*l - 13, 2*n - 14 = -4*l. Let t(q) = -12*q + 1. Does 9 divide t(n)?
False
Suppose -2*a = -6*a - 3*v + 10, -2*a = 4*v. Let p(q) = 3*q + 2. Is p(a) a multiple of 13?
False
Let d = -1 + 1. Is (-2 + d)/2*-34 a multiple of 21?
False
Let a = -13 + 27. Is a a multiple of 7?
True
Suppose -2*p - 5*f + 5 = -1, 5*f + 7 = -p. Suppose -2*t + p = -3*t - 5*c, -3*t + 4*c = -37. Is 3 a factor of t?
False
Is ((-3)/(-3))/((-2)/(-118)) even?
False
Let z(b) = 2*b + 23. Is z(-7) even?
False
Let z(m) = 9*m - 22. Is z(21) a multiple of 11?
False
Let w be 1*(-3)/(-6)*-2. Does 11 divide w - 1 - (1 + -28)?
False
Suppose -4*a - 3*h + 2 = 0, 2*h = 3*a - 4*a - 2. Suppose -15 = -a*n + 23. Suppose 2*m - 189 = -5*k, -4*m + 47 = 2*k - n. Is k a multiple of 13?
True
Let v be (5/(-15))/((-2)/12). Suppose v*z - 4*z + 17 = -3*t, 3 = 3*z. Is 522/30 + 2/t a multiple of 11?
False
Let l(g) = 2*g**2 + 2*g**2 - g**2 - g**3 - 2. Is 4 a factor of l(-2)?
False
Let i be 1 - (0 - (4 + -2)). Does 7 divide i*2 - (0 - 1)?
True
Suppose -2*i - 3*i + 292 = -4*p, -3*i = 3*p - 186. Is 15 a factor of i?
True
Suppose -8*x + 12*x = 56. Is 4 a factor of x?
False
Is (6/(-2))/(6/(-186)) a multiple of 11?
False
Suppose -5*y = 7 - 22. Suppose y*t - 12 = 0, -f + 45 = -5*t + t. Suppose -4*j + f = -19. Is j a multiple of 20?
True
Suppose v = -2*v + 9. Let q(b) = -2 - 4*b**2 - 3 - 5*b**2 - 2*b - b**v. Is 9 a factor of q(-9)?
False
Let q(i) = i**3 - 8*i**2 + 6*i + 9. Let v be q(7). Suppose 2*j + 2*r - 20 = -0*r, -2*j + 5*r + 55 = 0. Suppose v*d - j = -d. Is d a multiple of 4?
False
Suppose 512 = -o + 9*o. Is 17 a factor of o?
False
Let l = -14 - -50. Suppose l = q + 2*q. Does 7 divide q?
False
Let x = 15 - 14. Suppose -x = -d + 25. Is d a multiple of 12?
False
Let f(o) = 4*o**2 - 1. Let y be f(-1). Let m = -1 + y. Suppose m*z - 4 - 10 = -w, z + 2 = w. Is w a multiple of 6?
True
Let t(k) = 3*k**3 - 5*k**2 + 3*k + 4. Let j be t(3). Let i = j - -103. Suppose 2*s + 2*s = i. Is s a multiple of 13?
False
Let u be -2 + (-1 - -3 - -3). Suppose 0 = -u*c + 24 + 12. Does 3 divide c?
True
Let j be 3 + (12/3 - 3). Suppose -4*f + 12 = -j. Is