 Is q(t) a multiple of 9?
False
Let i(t) = -3*t**3 - 3*t**2 + 2*t + 2. Suppose 0 = 3*j - 8 + 17. Is 12 a factor of i(j)?
False
Suppose -6*a + 191 = 3*c - 2*a, -3*c + 185 = a. Is c a multiple of 16?
False
Suppose 0 = 5*x - 0 - 30. Suppose -3 - x = -3*a. Suppose -a*k + 4*k - 12 = 0. Is 9 a factor of k?
False
Suppose 5*u + 33 = 2*d, 5*d + u + 4*u = 135. Is d a multiple of 8?
True
Let a = -73 - 2. Let d = a + 111. Let n = -21 + d. Is n a multiple of 7?
False
Let b be (0 + -1)*0/3. Suppose b = -2*a - a + 9. Is a a multiple of 2?
False
Let x(g) = g**3 - 6*g**2 + 4*g - 3. Let t be x(6). Is 17 a factor of ((-12)/(-9) + 0)*t?
False
Suppose -16*k + 11*k = -1045. Is 29 a factor of k?
False
Let o = -1 + 2. Let g(h) = 20*h + 1. Is g(o) a multiple of 7?
True
Let n = -4 + 9. Suppose -37 = -n*d + 23. Does 12 divide d?
True
Let n(a) = a**3 - 7*a**2 + 6*a + 3. Let f be n(6). Suppose -5*b = -f*b - 26. Is 7 a factor of b?
False
Suppose -30 = -4*u + 2*v, 2*u = 7*u + 5*v. Suppose n - 17 - 2 = -o, -2*o = -u*n + 102. Does 18 divide n?
False
Let m(n) = -n**3 - 5*n**2 + n + 4. Let x be m(-5). Let h be (x/(-3))/((-1)/(-21)). Let r = 29 - h. Is 9 a factor of r?
False
Let r(w) = w + 3. Let y be r(-3). Let d = y - -1. Is 2 + 1/1 - d even?
True
Suppose -4*w = -4*j + 36, 5*j - 10*w = -7*w + 55. Is j a multiple of 5?
False
Suppose -5*y = 5*w + 35, 0 = 4*w + 3*y + 28 - 4. Let v(i) = 4*i**2 + 2*i. Is v(w) a multiple of 15?
True
Does 8 divide 39/(-2)*(-80)/30?
False
Suppose -6*d = -10*d + 824. Is 41 a factor of d?
False
Let h = -133 - -466. Is 35 a factor of h?
False
Let r(q) = -5*q**2 - 17*q - 7. Let t(h) = 2*h**2 + 6*h + 2. Let m(y) = 3*r(y) + 8*t(y). Is 6 a factor of m(6)?
False
Suppose -5*o = -66 - 94. Is o a multiple of 9?
False
Let o(p) = -p + 9. Let y be (0/2 - 1) + 10. Let f be o(y). Suppose 3*u = -5*q + 7*u + 64, 5*q + 3*u - 92 = f. Is q a multiple of 15?
False
Let r = -18 - -35. Suppose 0 = 2*o - 15 - r. Is 4 a factor of o?
True
Let l(y) = 6*y - 15. Is l(7) a multiple of 8?
False
Suppose c - 7*m = -6*m + 24, -2*m + 52 = 3*c. Does 20 divide c?
True
Suppose 2*b - 109 = 75. Is b a multiple of 20?
False
Let u(b) = b**3 - 3*b**2 + b + 5. Suppose 5*v + 2*j = 16, -3*v + 0*j = j - 10. Is 11 a factor of u(v)?
False
Suppose 0 = -i - 4*n, i - 45 = 3*n + 2*n. Is 4 a factor of i?
True
Let l(j) = -j + 5. Suppose 2*b - 3*k + 11 = 0, 0*b - 59 = 5*b + 3*k. Is l(b) a multiple of 5?
True
Suppose -h - 2*h = 63. Let x = h + 66. Let j = -31 + x. Does 14 divide j?
True
Suppose 4*j - 22 = -g, 2*j + j + 3*g - 21 = 0. Let k = 5 - j. Suppose -18 = -4*m + 3*y, 14 = -k*m + 2*m - 4*y. Is 2 a factor of m?
False
Let z be -2*-3*(-1)/(-2). Let t(d) = -z*d + 0*d + 4*d + 2*d**2. Does 4 divide t(-2)?
False
Let a(x) = -2*x - 8. Is 2 a factor of a(-7)?
True
Suppose 5*o = -4*z + 23, o + 12 = 3*o + 3*z. Is 13*(1 + o + -2) a multiple of 12?
False
Does 34 divide 2/((-6)/51)*16/(-2)?
True
Let i(s) = -9*s + 11. Let b be 0 - (1 - 8/(-1)). Let w be i(b). Suppose w = 5*n - f + 12, 3*f - 66 = -3*n. Is n a multiple of 7?
False
Let r = -309 - -499. Is 38 a factor of r?
True
Suppose -3*o + 16 = -3*b - 2*b, -5*o - b - 20 = 0. Let q(g) be the second derivative of -5*g**3/3 - g**2 + 2*g. Is q(o) a multiple of 14?
True
Suppose 4*f - 250 = -66. Is f a multiple of 7?
False
Suppose i + 3*n + 4 = 0, -2*i + 4*n + 7 = -15. Suppose -58 = -i*z + 3*z. Does 13 divide z?
False
Is 15 a factor of (-7)/7 + 91/1?
True
Let n(r) be the second derivative of r**5/20 + 5*r**4/12 + 3*r**2/2 + 2*r. Let g be n(-5). Suppose g*a - 52 = -a. Is 6 a factor of a?
False
Suppose 4*v - 3 = 5. Is 21 a factor of v*((-63)/6)/(-1)?
True
Let n = 32 - 15. Is n a multiple of 5?
False
Let c = 48 + 10. Let y = 123 - c. Suppose p - y = -4*p. Is p a multiple of 13?
True
Let o = -10 + 13. Suppose -2*n + 14 = o*n - k, 0 = -k - 4. Is n/9 + 61/9 a multiple of 3?
False
Let y = -4 + 0. Is 4 a factor of (-32)/(-5) - y/(-10)?
False
Let g = -5 + 7. Suppose 2*x = -z + 27, -44 = -g*z - 5*x + 3*x. Is 12 a factor of z?
False
Let b be 4/3 - (-4)/6. Suppose 3*s + 2*i = 6*i + 3, s - b*i = -1. Suppose -n - 1 = 0, 0 = -4*z - 7*n + 4*n + s. Is z a multiple of 2?
True
Suppose -3*q + q + 46 = 0. Let y = -12 + q. Is 4 a factor of y?
False
Let f(v) = -v + 5. Let k be f(0). Suppose 2*s - 46 = -3*s - z, k*z - 10 = -3*s. Is s a multiple of 5?
True
Let h = -15 + 27. Is h a multiple of 6?
True
Suppose 0 = -4*c - 136 + 36. Let y = c - -45. Is 7 a factor of y?
False
Let i = 9 + -3. Let b = -3 - -2. Let c = b + i. Is 5 a factor of c?
True
Suppose d - 84 = -6. Does 26 divide d?
True
Let x = 15 + -9. Suppose -4*l = 2 + x. Let y(p) = -11*p. Is 12 a factor of y(l)?
False
Let l(f) = 12*f + 21. Is l(5) a multiple of 13?
False
Let l(j) = 2*j**2 - 23. Is 24 a factor of l(-6)?
False
Let o = 5 + -13. Is 21 a factor of (-2)/o*-2*-42?
True
Suppose 7 = 3*l + 2*l + y, 5*l = 4*y - 3. Suppose -4*b + b - 117 = 0. Is 18 a factor of 4*(b/(-3) - l)?
False
Suppose -d = -2*d + 31. Let g = 2 + d. Suppose -g - 45 = -2*k. Does 14 divide k?
False
Is 72*1/(16/84) a multiple of 26?
False
Suppose 0 = -4*m - 5*b - 16, 0*b - 19 = -3*m + 4*b. Is 19 a factor of (-38)/(2 + -4)*m?
True
Let c(u) = u**2 + 2*u + 11. Is 13 a factor of c(-5)?
True
Suppose 10 = -4*r + 5*q + 120, q = r - 27. Does 5 divide r?
True
Let c = -54 - -89. Is 35 a factor of c?
True
Suppose -2*s - 6 = -3*r + r, 6 = 4*r + 2*s. Suppose -4 = r*i, -4*a - 5*i + 6 = -0*a. Is 4 a factor of a?
True
Suppose 0 = 5*w + 216 + 344. Let n = w - -52. Is 22 a factor of n/((-4)/(24/9))?
False
Suppose -3*f - f = -84. Let i be (-1800)/f + (-4)/14. Let v = -50 - i. Does 18 divide v?
True
Suppose 54 = -3*f + 1050. Suppose -f = -5*q - 7. Let g = -36 + q. Is g a multiple of 18?
False
Suppose 0 = -w - 0 - 4. Let c = w - -6. Suppose -3*u = c*u - 205. Does 15 divide u?
False
Suppose -3*i = p + 2 + 1, 0 = -i - 2. Suppose -4*c = -7 - 1. Suppose 4*t + c*s - 17 = -s, -p*s = 5*t - 19. Is t even?
True
Let a(g) = -3*g**3 - g - 3. Let u be a(-3). Let r = 40 + -71. Let p = u + r. Does 20 divide p?
False
Let i(p) = -p**3 - 8*p**2 - 8*p - 1. Let l(b) = -2*b**2 - 4*b - 1. Let f be l(-3). Let h be i(f). Is (2 + 10)*4/h a multiple of 3?
False
Suppose -9 = 2*q - 3*i, 5*q - i - 10 + 0 = 0. Suppose 7*f - 8*f + 5 = 0. Is 10 a factor of ((-6)/f)/(q/(-90))?
False
Suppose 2*a + 45 = -5*j, 66 = a - 6*a + 3*j. Does 5 divide -1 - a - (6 + -7)?
True
Let j be (-68)/(-6)*(-72)/(-16). Let u = j + -20. Is 5 a factor of u?
False
Let r(w) = -w**3 + 2*w**2 + 3*w + 2. Suppose -s = 2*n - 8, 4*s - 5 = 3*n - 17. Let g be (-2)/n - (-3)/(-2). Is r(g) a multiple of 9?
False
Let h be ((-8)/3)/(4/(-6)). Suppose h*i - 5*g = 3*i + 17, -5*g = -4*i + 23. Does 2 divide i?
True
Let a = -4 + 6. Suppose -4*p + a*n = p - 156, -5*p + 135 = 5*n. Is p a multiple of 10?
True
Let y be 3/(-2 - -5) - -8. Is 105/9 + (-6)/y a multiple of 10?
False
Let l = -8 + 44. Is 18 a factor of l?
True
Let j = 11 + -9. Let u(s) = 14*s - 2. Is u(j) a multiple of 16?
False
Suppose -t = 2*t - 4*w - 936, 2*t + 4*w - 624 = 0. Is 12 a factor of t?
True
Let p = 12 - 5. Is p a multiple of 6?
False
Let n = 7 + -5. Let a = -11 + 18. Suppose 90 = a*k - n*k. Is 11 a factor of k?
False
Let b = 53 - 37. Suppose -s + 24 - 5 = -5*x, s - b = 2*x. Is s a multiple of 7?
True
Suppose 6*s = 3*s + p + 76, 0 = 3*s + 4*p - 101. Does 5 divide s?
False
Let t be ((-4)/(-2))/(1 - 2). Let w be ((-46)/8)/((-3)/(-12)). Let y = t - w. Does 11 divide y?
False
Suppose -4*d + 4*u - 262 = -7*d, 3*d + 3*u - 267 = 0. Is 28 a factor of d?
False
Let t = 7 - -87. Does 27 divide t?
False
Suppose 0 = -0*a + 3*a - 3, 4*s = 2*a + 50. Does 13 divide s?
True
Let q = 10 - 7. Suppose 0 = 2*t - s + 4*s - 70, -q*s - 58 = -2*t. Is t a multiple of 8?
True
Suppose -3*m = m. Suppose m = 4*t - 584 + 140. Is t a multiple of 37?
True
Suppose 9 = 2*z + 3. Is 22 a factor of -1*-122*z/6?
False
Is 3 a factor of 1*2*(8 - 1)?
False
Let r(z) = 6*z**2 - 2*z. Let n be r(-2). Let k = n + -4. Does 15 divide k?
False
Let d(y) = 4*y. Is d(18) a multiple of 12?
True
Is 14/4*(-200)/(-14) a multiple of 13?
False
Let z(k) = -360*k**2 + 136*k. Let t(g) = 8*g**2 - 3*g. Let l(o) = 272*t(o) + 6*z(o). Does 8 divide l(1)?
True
Suppose -537 = -5*o - k - 94, -o = -5*k - 73. Is o a multiple of 22?
True
Suppose 0 = -4*a - 16, -4*a = 5*w 