multiple of 9?
True
Let n(q) = q - 12. Let z be n(7). Suppose 10 = 2*w - 12. Let k = w + z. Is 2 a factor of k?
True
Let o = -1 - -6. Suppose 36 + 24 = o*n. Is n a multiple of 12?
True
Suppose 0 = d - 6 + 3. Let x(h) = -d - 3*h**2 - h + 2 + 9*h**2. Is x(-1) a multiple of 3?
True
Let g = 30 + 8. Is g a multiple of 7?
False
Suppose 5*f + 0 = 10. Suppose -f*h + 8 = -4. Let u(g) = -g**3 + 6*g**2 + 2*g - 4. Does 4 divide u(h)?
True
Suppose 155 = -7*i + 1037. Does 7 divide i?
True
Let u = -4 - -15. Let m = u - 7. Is 4 a factor of m?
True
Suppose -2*x + 4*b + 41 = 1, 33 = 3*x + 3*b. Is 11 a factor of x?
False
Let t(u) = 141*u**2 - 2*u - 1. Let p be t(-1). Suppose 3*k = 5*s - 335, 29 = -2*s - 3*k + p. Does 6 divide (-3)/(-4)*s/4?
True
Let y(t) = -5*t + 8. Is 14 a factor of y(-4)?
True
Let v = -9 + 25. Does 6 divide 3 + (-12)/v*-4?
True
Let c(q) = -2*q**2 - 9*q - 1. Let s be c(-3). Suppose h + 1 = -2. Let f = h + s. Does 3 divide f?
False
Suppose 4*v = -5*s - 122 + 30, -4*v = 4*s + 88. Let o = -1 - v. Is 5 a factor of o?
False
Let u(j) = 9*j + 3. Let d be u(4). Suppose -6*r + d = -105. Is r a multiple of 11?
False
Suppose -9 = 3*x - 4*b, -x - 2*x - 2*b = 27. Does 4 divide (-14)/(-3)*(-21)/x?
False
Let c(f) = -f**3 + 5*f**2 + 8*f - 6. Let t be c(6). Let i(v) = v**3 - 6*v**2 + 4. Is i(t) a multiple of 4?
True
Suppose -2*j = 3*s - 105 - 58, -4*j + 2*s + 318 = 0. Is 16 a factor of j?
True
Let n(d) = 7*d**2 - 5*d + 3. Does 17 divide n(4)?
False
Let p(g) be the second derivative of -g**4/12 - 5*g**3/6 + g**2/2 - g. Let r be p(-4). Suppose -5*s - 75 = -2*t - t, -r*t = s - 97. Is 7 a factor of t?
False
Let n(o) = o**3 + 17*o**2 + 17*o + 15. Let v be n(-16). Is 11 a factor of 195/6 + v/(-2)?
True
Let g(t) = -5*t**3 - 3*t**2 - 4*t - 2. Let u(z) = -2*z**2 + 2*z + 2. Let m be u(2). Is g(m) a multiple of 17?
True
Let y(g) be the second derivative of g**5/20 + 7*g**4/12 + 5*g**3/6 - 3*g**2 - g. Let l be y(-6). Suppose -3*w + 156 = -l*w. Is 26 a factor of w?
True
Suppose 3*r = -4*q - 116, 0 = -5*r - 4*q + q - 197. Let p = 58 + r. Does 11 divide p?
False
Suppose 44 = -13*r + 772. Is 17 a factor of r?
False
Let d = -11 + 20. Is 10 a factor of (-22)/(-99) + 178/d?
True
Suppose -4*o - 9 = -1. Let f = o - -5. Suppose 5*v = -5*d + 120, -5*v + 2*d + 90 = -f*d. Does 21 divide v?
True
Suppose l + 3 - 24 = 0. Does 9 divide l?
False
Let f(v) = -7*v + 4. Let g = -7 - -9. Suppose 8 = -j - g*x, -5*j - 26 = -0*x + 3*x. Does 16 divide f(j)?
True
Suppose 0 = -3*r + 2*x - 154, 0*x + 254 = -5*r + 2*x. Let b = 6 + r. Is 11 a factor of b*(-2 - (-15)/12)?
True
Let p(d) = 13*d - 34. Does 14 divide p(8)?
True
Let t(d) = 2*d**2 + 12*d + 58. Does 16 divide t(-13)?
True
Let t(c) = -5*c**3 - 3*c - 1. Suppose -2*r - 1 - 3 = 0. Does 12 divide t(r)?
False
Let a = 76 - 15. Does 8 divide a?
False
Does 32 divide (-144)/(-7)*(-2 - -9)?
False
Suppose -5*p + 395 - 90 = 0. Does 12 divide p?
False
Is ((-18)/(-15))/((-10)/(-125)) a multiple of 3?
True
Let g = 1 + 2. Suppose 2*o + 7 = -g*h + 2, -2*h = o + 3. Is 11 a factor of (h + 7)*(-9)/(-2)?
False
Let v(l) = -l**2 - 9*l - 9. Let j be v(-7). Suppose 116 = j*f + i, 50 = 2*f + 4*i - 0*i. Is f a multiple of 9?
False
Suppose 0 = 29*g - 13*g - 3712. Does 44 divide g?
False
Suppose -9*c + 7*c + 30 = 0. Is 15 a factor of c?
True
Suppose -11 = -5*f - 1. Suppose -3*x = 2*a - 139, f*a + 4*x - 97 - 43 = 0. Does 21 divide a?
False
Let q be (-432)/(-10) - 7/35. Suppose -5*b + q + 47 = 0. Is b a multiple of 18?
True
Suppose 2 = c, -30 - 494 = -4*y + 2*c. Does 11 divide y?
True
Is -1 + 2 + 3 + 0 + 356 a multiple of 26?
False
Let o = -3 + 7. Is 10 - (-2)/o*2 a multiple of 9?
False
Is 23 a factor of ((-4)/6)/((-14)/2625)?
False
Suppose 2*s + 182 = 4*s. Is -3 + (s - (-3 - -1)) a multiple of 30?
True
Let z = 3 + 64. Is 12 a factor of z?
False
Suppose -4 = -d - d. Suppose 7*i - d*m = 3*i + 24, 2*i - 4 = -3*m. Suppose 0 = -0*y + i*y - 40. Is 4 a factor of y?
True
Let v = -37 - -65. Is 10 a factor of v?
False
Let f(i) be the third derivative of -i**6/120 + i**5/12 - i**4/24 - i**3/6 - i**2. Suppose 3*p - 12 + 0 = 0. Is f(p) a multiple of 7?
False
Suppose 312 + 96 = 3*g. Is g a multiple of 26?
False
Let c(p) be the third derivative of -7*p**5/30 + p**4/24 + p**3/6 - 2*p**2. Let x be c(-1). Is 21 a factor of x/(-4)*4*3?
True
Suppose -31 = -7*i + 4. Does 2 divide i?
False
Suppose f = -0*f. Let h(o) = o**2 - 8*o + 9. Let a be h(7). Suppose f*x - z = -x + 20, -a*x = 4*z - 58. Does 10 divide x?
False
Let w(i) = -14*i**2 - 18*i - 15. Let l(h) = 5*h**2 + 6*h + 5. Let p(d) = -11*l(d) - 4*w(d). Is 12 a factor of p(-7)?
True
Suppose -2*w - 2*u - 10 = -4*w, 4*w - 6 = -3*u. Let s = w - 0. Is 130/2 + (3 - s) a multiple of 26?
False
Suppose -3*f = -4*f. Suppose f*o - 36 = -4*o. Let i(j) = 7*j + 5. Is 26 a factor of i(o)?
False
Suppose 70 = -f + 20. Let q = -23 - f. Is q a multiple of 9?
True
Let o(h) be the third derivative of -h**6/120 + h**5/12 + h**4/6 - h**2. Let u(q) = q**3 - 2*q**2 - q - 1. Let a be u(3). Is o(a) a multiple of 10?
True
Suppose -25 = -c + 5*z, -2*c + 1 = -c + z. Suppose -13 = c*a - 243. Does 12 divide a?
False
Suppose 0*p = -2*x + 4*p - 72, -2*x - 2*p - 96 = 0. Let a = -19 + -1. Let n = a - x. Is 8 a factor of n?
True
Suppose 0 = 5*z - 12 - 8. Suppose z*x - 28 = -5*p, 4*x + 3*p - 3 = 17. Is (19/x)/(2/8) a multiple of 16?
False
Let i(g) = g**3 + 6*g**2 + 3. Suppose -4*t = -4*a - 8, 2*t = -2*a - 33 + 13. Let r be i(a). Suppose -74 = -r*o - 2. Does 24 divide o?
True
Let z(q) = -4*q + 3. Let a be z(6). Let y = a + 37. Is 16 a factor of y?
True
Is 2 a factor of (-8)/12*156/(-8)?
False
Let p be (-8)/12 + 26/3. Let f = 10 + p. Is ((-2)/(-1))/(f/315) a multiple of 14?
False
Let c(z) = 12*z**3 - 11*z**3 - 1 - 1 - 4*z**2 - 2*z. Let i be (-4)/(-1) + 2 - 1. Is c(i) a multiple of 8?
False
Let m = 0 - 54. Let k be m/(-10) + (-2)/5. Suppose 5*t = -5*y + 158 + 52, 0 = -k*t + 3*y + 242. Is 12 a factor of t?
False
Suppose y - 395 = -4*y. Is 17 a factor of y?
False
Is 72/10 + 4/(-20) a multiple of 3?
False
Let i = 3 - -8. Is i a multiple of 2?
False
Suppose 0 = -2*t + l + 30, 5*l - 124 = -5*t - 49. Is t a multiple of 4?
False
Suppose -2*y = -6*y. Suppose 2 = -x - y. Is 22 a factor of -1 - (0 + 90/x)?
True
Let d = -104 - -73. Suppose -2*j = 18 + 22. Let n = j - d. Is 10 a factor of n?
False
Let p(f) = -34*f**3 - 8*f**2 + 1. Let s(u) = 68*u**3 + 17*u**2 - 2. Let l(h) = 13*p(h) + 6*s(h). Does 11 divide l(-1)?
True
Suppose 3*h - 2 = 4. Let s(t) = 3*t**2 - 6*t**h + 0*t - 2*t - t**3 - 2 - 5*t**2. Is 14 a factor of s(-8)?
True
Let q(n) = 54*n - 17. Is 14 a factor of q(3)?
False
Let x = -226 + 311. Does 33 divide x?
False
Let a(k) = k**2 + 80. Does 16 divide a(0)?
True
Suppose -3*f = -f - 6. Let j(u) = 6*u**3 - 4*u**2 + 10 - f*u**2 - 5*u**3 - 2*u**2. Is 9 a factor of j(9)?
False
Suppose -x + 13 + 37 = 2*u, 5*x + 110 = 5*u. Is u a multiple of 8?
True
Let a be (-38)/5 + 6/10. Let b = -4 - a. Is 2 a factor of b?
False
Suppose 0 = 3*k - 6 - 3. Suppose -72 + 228 = k*q. Is q a multiple of 17?
False
Is 14 a factor of (-3)/1 - 180/(-4)?
True
Let m(q) = -q**2 - 11*q - 10. Let z be m(-10). Let l(d) = d**2 + 299. Let x be l(z). Suppose 5*n + 2*j - 319 = 4, -x = -5*n + 4*j. Is 23 a factor of n?
False
Let v(l) be the third derivative of l**4/8 + 5*l**2. Is 6 a factor of v(6)?
True
Suppose 16 = -3*j + 2*w, w - 4*w = -4*j - 22. Suppose -3*m = 4*m - 238. Let i = j + m. Is i a multiple of 9?
False
Let j be (2/2)/(1/2). Suppose w - 79 = -2*w - 5*u, -w - j*u = -28. Is 17 a factor of w?
False
Let o = -1 + 5. Suppose -2 + o = w. Suppose 2*n = -w*n - 2*a + 18, -4*n + 5*a = -53. Does 7 divide n?
True
Let r = -152 - -225. Suppose -r = -x + 7. Does 16 divide x?
True
Suppose -2*a = -302 + 86. Let g = a + -54. Does 18 divide g?
True
Let y = 5 - -2. Let s = 13 - 9. Suppose -84 = s*d - y*d. Does 17 divide d?
False
Suppose -3*z + 196 = z. Does 6 divide z?
False
Suppose -2*u = 3*k - 152, -4*k - u - 54 = -250. Is 16 a factor of k?
True
Let i(u) = 11*u**2 + u. Let h(p) = -p**2 - 2*p + 4. Let r be h(-3). Let c be i(r). Suppose -3*k = -2*k - c. Is k a multiple of 6?
True
Let p(d) = -d**3 - 10*d**2 - 2*d. Let y be p(-10). Let l = y + -6. Is l a multiple of 7?
True
Let j = 10 + -6. Suppose j*p - 63 = p. Let u = p + 23. Does 15 