 12 = 0. Let b = f + 92. Is 18 a factor of b?
True
Let z(g) = 4 + g**3 - 3 - 7 - 4*g**2 - g + 3*g. Let t be z(4). Let c(w) = 3*w**3 - 3*w**2 + 1. Is c(t) a multiple of 13?
True
Let h be 0*(-3 - (-39)/12). Suppose -a + h = -45. Is a a multiple of 15?
True
Suppose 4 + 4 = -4*n. Does 6 divide 7 - 3/(1 - n)?
True
Is 27 a factor of (2*-1 - 28)*54/(-12)?
True
Let j(i) = 2*i**3 + 2*i + i**3 + 10*i**2 - 4 + 13*i - 4*i**3. Let b be j(11). Let w = b + 0. Is w a multiple of 11?
False
Let l be 1*-1 + 3 + -3. Does 5 divide ((-2)/6)/(l/48)?
False
Let j(w) = 5 + 0 + 0*w - w. Let l be j(0). Suppose 4*c = 77 - l. Does 9 divide c?
True
Is (-115)/(-2) - (-8)/16 a multiple of 33?
False
Let d be ((-1)/(-2))/(6/24). Suppose 0 = -4*v - 2*f - 2*f + 180, -4*v = d*f - 180. Does 15 divide v?
True
Let a(s) = -s**2 - 16*s + 16. Let t be a(-13). Let q = -31 + t. Does 6 divide q?
True
Suppose -5*r = -2181 + 1. Suppose -86 = 5*u - r. Does 25 divide u?
False
Does 30 divide (-20)/(-15) + 1780/15?
True
Suppose -11*v + 264 = -9*v. Is v a multiple of 22?
True
Suppose -3*k - 4*o = -25, -2*k + 2*o + 3*o = -55. Suppose -3*u = 2*u - k. Does 8 divide 130/8 - u/12?
True
Suppose -4*n = -0*n, z = 4*n + 24. Let h be 0/(2 - (4 + 0)). Let i = z + h. Is 12 a factor of i?
True
Let y = -25 - -13. Let n be ((-6)/(-4))/((-9)/y). Suppose -3*v = n*v - 50. Is v a multiple of 3?
False
Let o be 0 - (-3 - (0 - 0)). Suppose 4*n - 12 = o*n. Does 12 divide n?
True
Suppose 342 = -5*q + 1512. Is q a multiple of 13?
True
Suppose 0*i + i - 51 = 4*m, -4*i + 3*m = -152. Does 6 divide i?
False
Let f(m) be the second derivative of -m**3 - 6*m**2 - 6*m. Does 18 divide f(-5)?
True
Suppose 0 = 2*n - 0*m + 3*m + 152, 0 = -5*n + 5*m - 380. Let j = 52 + n. Does 8 divide (j/(-14))/((-1)/(-14))?
True
Suppose -3*v - 405 = -4*y, 13 = -4*v + 1. Does 4 divide y?
False
Suppose g - 129 = 5*z, -6 - 9 = -3*z. Is 22 a factor of g?
True
Let t(u) = u**2 - 3*u - 2. Let c(l) = -l**3 - 4*l**2 - 2*l - 3. Let o be c(-4). Suppose o*w + 6 = 2*w. Is t(w) a multiple of 4?
True
Let m = 1 - -4. Suppose -2*r - 2*t = 61 - 289, m*r - t - 594 = 0. Let o = r + -58. Is o a multiple of 20?
True
Let m = 4 - 4. Suppose m = -5*u - 0 + 10. Suppose -u*p - 5*o = -17, o = 6*o - 5. Does 4 divide p?
False
Let l(c) = 10 + 5*c - c**2 - 2*c + 10*c. Is l(11) a multiple of 11?
False
Let f(c) = -c**2 - 7*c - 7. Let j be f(-6). Is 4 a factor of j/(-3) - (-11)/3?
True
Let m = -71 + 167. Is m a multiple of 12?
True
Let s(a) = a**3 + 5*a**2. Let g be s(-5). Suppose g = -o + 8 + 10. Is 6 a factor of o?
True
Let q = 15 + 11. Let j = q + 0. Does 10 divide j?
False
Suppose 20 = 3*o - 2*o. Is o a multiple of 11?
False
Let s = -19 + 10. Let l(c) = -2*c**2 - 21*c + 9. Let n(k) = k**2 + 10*k - 4. Let f(t) = 2*l(t) + 5*n(t). Does 7 divide f(s)?
True
Let f be (-3)/(-3)*(-1)/1. Let x = 1 - f. Suppose 0 = 4*r - x*r - 52. Does 13 divide r?
True
Suppose 3*j = v - 9, -3*v + 5*j - 1 = -20. Let p = 21 - v. Does 9 divide p?
True
Suppose -4*c - 9 = -3*c. Let x be 218/c + 6/27. Does 9 divide (x + -1)/(-1 + 0)?
False
Let a = 42 - 17. Suppose 0 = -4*n - n + a. Is n a multiple of 5?
True
Let h = 13 - 10. Suppose h*q - 43 = 98. Does 17 divide q?
False
Let w = -69 - -99. Is 9 a factor of w?
False
Suppose -5*h = -3*m - 246, -5*m + 96 = 2*h - 7*m. Suppose 0 = 4*q - i - 212, 2*q + 5*i = 77 + h. Is 14 a factor of q?
False
Suppose -a = a - 8. Let i be a/(-8)*(1 + -1). Suppose b - 11 = -i*b. Is b a multiple of 4?
False
Suppose 3*n - 1 - 413 = 0. Is 18 a factor of n?
False
Let v(n) = n - 5. Let a be v(10). Let x be 2/(-2) + (-1)/(-1). Suppose 2*s - 3*i = -x*s + a, -3*i = -3. Is 4 a factor of s?
True
Let m(j) = j**2 - 9. Suppose 2*h = -2*h. Let g be m(h). Let x = 22 + g. Does 13 divide x?
True
Let d(m) = 33*m. Let f = 2 - 1. Is d(f) a multiple of 12?
False
Let r(i) be the first derivative of -i**4/4 + 5*i**3/3 - 3*i**2/2 - i - 1. Let y be r(4). Is 11 a factor of (0 - (-16)/3)*y?
False
Let z(u) = -u**3 + 8*u**2 + 9*u + 5. Let r be z(9). Suppose -r*h - 5*c = -c + 1019, -5*h - 3*c - 1023 = 0. Does 23 divide 16/(-6)*h/12?
True
Let c(g) = g**3 - 6*g**2 + 5*g + 6. Suppose 2*v = -3*i - 7, v - 4*v + 4*i = 2. Let m = 4 - v. Is c(m) a multiple of 12?
True
Suppose -2*b + 186 = b. Is b a multiple of 16?
False
Suppose -z + 1630 = 5*q - 6*z, -4*z - 338 = -q. Is 18 a factor of q?
False
Does 12 divide (-4)/14 + 2 + (-765)/(-7)?
False
Let b(j) = j**3 + 7*j**2 - 7*j + 11. Let d be b(-8). Suppose -s = -3*s - d*a + 19, 0 = -s - a + 8. Is 5 a factor of s?
True
Suppose -5*k = -4 + 19. Let w(v) = v**2 + 3*v + 4. Let j be w(k). Suppose -83 = -j*z - 2*q - q, z - 5*q - 15 = 0. Does 10 divide z?
True
Let x = 163 + -430. Let o = 402 + x. Let b = -91 + o. Is 22 a factor of b?
True
Let g = 6 + -4. Let m(z) be the first derivative of 3*z**4/4 - 2*z**3/3 - 3*z**2/2 + 3*z - 1. Is m(g) a multiple of 13?
True
Let p be -2*((-3)/(-2))/(-1). Suppose -p*n = -4*n + 16. Does 6 divide 9/2*n/6?
True
Suppose 11 + 1 = -4*u. Let n(g) = -g**2 - 2*g. Let m be n(u). Is 9 a factor of 235/15 - 1/m?
False
Let n be (-1)/(-3) + (-56)/(-21). Let z = n - -4. Is z a multiple of 7?
True
Let l = 116 - 28. Is l a multiple of 22?
True
Let q(t) = -63*t - 2. Let m be q(-2). Let o = -77 + m. Is o a multiple of 21?
False
Let a(j) = j**3 - 10*j**2 - 12*j + 4. Let f be a(11). Let h(w) = w**3 + 8*w**2 + 6*w - 7. Let o be h(f). Suppose o = i - 2. Does 2 divide i?
True
Suppose -2 = 2*t, 3*i = 4*t - 2*t + 11. Let j be (-12)/1*i/(-9). Suppose j*g - 20 = -0*g. Is g a multiple of 3?
False
Suppose 2*x = 5*w - 271, 3*w + 0*x = -x + 167. Let j(c) = -c**3 + 12*c**2 - 12*c + 9. Let d be j(11). Is d + w - (-5)/(-5) a multiple of 26?
True
Suppose 4*x + 36 = -5*z - 9, -4 = 4*z. Is (-1)/(-1)*(-220)/x a multiple of 6?
False
Suppose 6*s = 4*s + 512. Does 21 divide s?
False
Let a = 6 + -6. Let r = a + 2. Suppose 4*k + 13 = 3*x - 0*k, k - 16 = -r*x. Is 4 a factor of x?
False
Suppose 0 = 5*k + 3*z + 28 + 8, k + 5*z = -16. Does 12 divide ((-114)/(-4))/(k/(-8))?
False
Let f(c) = -c**3 + 6*c**2 + c + 9. Suppose -3*d - d - 12 = 0, 5*d = 3*n - 33. Does 8 divide f(n)?
False
Let x(l) = -l + 4. Let a be x(4). Suppose a = 4*w - w + n - 16, 26 = 5*w + n. Is 5 a factor of w?
True
Suppose 19 - 7 = 4*w. Suppose -m + 4*o = -20, -5*m - 2*o + 10 = -w*m. Is 7 a factor of m?
False
Suppose o - 31 = -2*d, -3*d + 4*d + 28 = o. Suppose -4*j - 92 = 4*a, -18 = 3*a - 3. Let u = o + j. Does 4 divide u?
False
Is 28 a factor of (-222)/259 - (-1735)/7?
False
Let n = 62 + -47. Does 15 divide n?
True
Let g = 3 + -1. Suppose -c = -4*a - 62 + 21, 57 = g*c - 3*a. Is c a multiple of 6?
False
Suppose -5*a + 2*a - 28 = -4*w, -5*w + 24 = -a. Suppose w = -x + 10. Is 3 a factor of x?
True
Let y = 96 + -58. Is y a multiple of 19?
True
Let m = -54 + 36. Let j = -13 - m. Suppose -5 = -b + j*d, -b - 41 = -2*b - 4*d. Does 7 divide b?
False
Suppose 3*f = o - 1, -4*o + f - 9 = 2*f. Does 19 divide 7/((-7)/o) - -63?
False
Let f = -51 + 122. Suppose -36 = -3*i - 2*o - 2*o, 3*o = -5*i + f. Is i a multiple of 16?
True
Let q = -13 + 17. Let x be ((-16)/(-10))/(1/5). Does 11 divide 2/x - (-87)/q?
True
Let b(c) = -c**3 - 7*c**2 + 5. Let t be b(-7). Suppose -3*f = -a + 2*f + 21, 5*a - t*f - 105 = 0. Suppose -a = 3*n - 84. Is n a multiple of 21?
True
Suppose -6 = -d + 4*b + 19, 5*d = b + 30. Suppose -3*h + 2*k - 22 = -d*h, -k - 41 = -3*h. Is 6 a factor of h?
False
Let s(g) = 14*g**2 + 33*g - 22. Let b(l) = 5*l**2 + 11*l - 7. Let v(a) = -17*b(a) + 6*s(a). Is v(6) a multiple of 17?
True
Suppose 0 = 6*v - 5*v - 4. Let h = -64 - -172. Suppose 3 = -d, -h = -3*p - v*d + d. Is 11 a factor of p?
False
Let l(w) = 2*w**2 - 3*w - 2. Is 15 a factor of l(6)?
False
Suppose -y + 30 = 4*y. Suppose -2*h = 4*i + y + 10, 0 = -4*h + 3*i + 23. Suppose j - 12 = -h*j. Does 4 divide j?
True
Let w(c) = -c**2 - 12*c - 20. Is w(-8) a multiple of 5?
False
Let k(l) = 21*l - 1. Is 5 a factor of k(2)?
False
Suppose -5*f - x + 76 = -244, -f + 64 = 4*x. Is 28 a factor of f?
False
Suppose -5*k + 0 = 3*b - 17, -18 = -4*k + 2*b. Suppose -p = -4*p - 9, k*p + 30 = h. Is h a multiple of 11?
False
Suppose -3*y + 51 = 2*v, 4*y + 72 = 5*v - v. Suppose -3*b = -15 - v. Is 6 a factor of b?
True
Let x(l) = -3*l - 2. Let m be x(-2). Suppose 0*t - m = -2*t. Is 11 a factor of (-25)/t*