 f**2. Let m(q) = 3*a(q) + 5*c(q). Does 12 divide m(1)?
False
Let j be 57/((2 + 1)/12). Suppose -4*p = -p - j. Is 24 a factor of p?
False
Let u(j) = -j**3 + 10*j**2 + j - 12. Let w(f) = -f**3 + 5*f**2 + 2*f. Let h be w(5). Let k be u(h). Does 4 divide 39/9 - k/(-6)?
True
Let n(q) = -8*q**2 - 15*q - 3. Let l(y) = -17*y**2 - 31*y - 5. Suppose -o + 39 = -4*o. Let p(v) = o*n(v) + 6*l(v). Is 19 a factor of p(-7)?
False
Suppose -f - p = p - 1, 5*f + 4*p - 23 = 0. Suppose -4*n - 12 = -q, -5*n + 5 = 5*q - 5. Does 7 divide (n + 1)/((-1)/f)?
True
Let v = -158 - -254. Let m = 134 - v. Suppose t + 78 = 5*i, -2*i + m = t + 2*t. Is 8 a factor of i?
True
Let z(n) = 3*n - 1. Let q be (7 - 0) + 19/19. Is 23 a factor of z(q)?
True
Let s(j) = j**3 - 6*j**2 + 16*j + 1. Does 16 divide s(5)?
False
Let p = 8 - 8. Let m be 8 - 6 - (41 - p). Let o = m + 59. Is 10 a factor of o?
True
Suppose -3*c + 155 = -n, 63 - 271 = -4*c + 2*n. Does 13 divide c?
False
Let u(n) = -30*n + 38. Is u(-3) a multiple of 19?
False
Let z(s) = -s**3 + 5*s**2 - 6*s - 8. Let c be z(6). Let p = -56 - c. Let b = -8 + p. Is 9 a factor of b?
False
Suppose 2*z - 58 - 123 = -3*t, 65 = t + 3*z. Suppose -10 = 4*n - 2*s + 228, n + t = s. Is (12/(-10))/(4/n) a multiple of 13?
False
Let d(p) = -p**2 - 10*p - 4. Let s be d(-9). Let f(m) = 2*m**2 - 2*m + 5. Is 15 a factor of f(s)?
True
Let y = -14 + 14. Suppose 6*n - 126 = -y*n. Is n a multiple of 4?
False
Let u = -38 + 68. Is u a multiple of 4?
False
Suppose 4*a - 17 - 3 = -4*g, 0 = -3*g + a + 7. Suppose 0*w + g*c - 38 = w, -4*w + c = 130. Let d = 2 - w. Is d a multiple of 17?
True
Let f(q) be the first derivative of 4*q + 2*q**3 - 1/2*q**2 + 1/4*q**4 + 2. Is f(-6) a multiple of 5?
True
Let d(v) = 3*v - 2. Suppose 4*p + 4*u = 2*p - 2, 0 = -4*u - 12. Suppose -5*r = -5 - p. Is d(r) even?
True
Let t = 75 + -11. Suppose -c = c - t. Is 9 a factor of c?
False
Suppose -4*r + 114 + 182 = 0. Is r a multiple of 22?
False
Suppose 2*u - 56 - 28 = 0. Is u a multiple of 6?
True
Let r(t) = 33*t + 4. Let b be r(7). Suppose -h - 4*q = -6*h + b, -3*h - q = -124. Is 28 a factor of h?
False
Is 12 a factor of 1 + (-1 - 2) - -50?
True
Let c(b) = -b**3 + 11*b**2 - 6*b + 3. Is 7 a factor of c(10)?
False
Suppose 5*x = -10 + 35. Suppose n - x*u - 5 = -4*n, -23 = -3*n - u. Is 2 a factor of n?
True
Suppose 0*v + 153 = -3*v. Suppose 5*z + 70 = -3*h, 2*z + 3*z - 50 = 5*h. Does 2 divide 4/(-10) + v/h?
False
Let b = -10 + 42. Suppose -b = -7*c + 3*c. Is c a multiple of 4?
True
Suppose 2*j = 5*j - 15. Suppose -j*y + 39 - 9 = 0. Is y even?
True
Let m(f) = -19*f - 6. Is m(-6) a multiple of 12?
True
Let r = 144 + -68. Does 17 divide r?
False
Let c be 0 - -3 - (1 - 1). Suppose -4*t = -c*t - 18. Suppose l = 17 + t. Is l a multiple of 14?
False
Let j(p) = -31*p**3 + p**2 - p - 1. Suppose -r - 8 = -4*c, -c - 4 = 3*c - 4*r. Suppose -5*u - c*a = 2, -5*a + 6 = -0*u - u. Does 16 divide j(u)?
True
Let m(o) = 2*o**2 + 4*o - 2. Let q be (-6)/10 + 51/(-15). Let n be m(q). Let r = 28 - n. Is 5 a factor of r?
False
Suppose -3 = -t, 0 = 4*m + t + 2*t - 17. Suppose -m*b = -w - 17, -2*b + 23 = b - w. Is 2 a factor of b?
True
Let m(s) = -s**2 + 5*s - 3. Let c be m(3). Suppose -2 = -2*p, 0 = 4*q - c*p - 0*p - 57. Is 15 a factor of q?
True
Let y(i) = -2*i - 6. Let j be y(-6). Let t(x) = -x**2 + 7*x + 4. Does 4 divide t(j)?
False
Let i(d) = 3*d - 4. Let b be i(3). Suppose -4*l = -16, -4*l - 157 - 17 = -b*j. Is 11 a factor of j?
False
Suppose 0 = 3*o + z - 1090, 0 = -5*o - 5*z + 3*z + 1817. Is 33 a factor of o?
True
Does 2 divide 2 + (3/(-1) - -3)?
True
Is 2*1/(-3) - 3674/(-66) a multiple of 21?
False
Let x = 9 - 40. Suppose -i + 2*i + 6 = 0. Does 12 divide 4/i*(x + -2)?
False
Let r(z) = -z - 22. Let m(n) = 2*n + 43. Let y(b) = 6*m(b) + 11*r(b). Is y(-11) a multiple of 2?
False
Let d be 1 - (-2 - -1)*1. Suppose -2*f = 2 + d. Does 13 divide ((-4)/(-8))/(f/(-104))?
True
Suppose -a - 35 = 4*a. Let p(t) = -t**3 - 8*t**2 - 9*t + 10. Let z be p(a). Suppose -m + 0*m + z = 0. Does 12 divide m?
True
Suppose 19*z - 122 = 429. Does 29 divide z?
True
Suppose 0 = -7*b + 42 + 105. Is b a multiple of 7?
True
Let i(j) = j**3 - 3*j**2 - 2*j + 9. Let s(x) = -x**2 - x. Let p(n) = -i(n) - 3*s(n). Is 14 a factor of p(6)?
False
Let t(w) = w**2 - 2*w - 5. Let b be t(4). Suppose 0*g = -b*g. Let d = g + 4. Is 4 a factor of d?
True
Let c = -8 + 10. Suppose -4*b + 124 = -4*l, l = -c*b + 64 - 2. Does 9 divide b?
False
Let g(x) = x**2 - 2*x + 4. Let l be g(-3). Let v = l - 11. Is v a multiple of 6?
False
Let c(u) = 3*u**2 - 7*u + 5. Let r be 4 + -3 - (-4)/1. Is c(r) a multiple of 30?
False
Does 9 divide 1/((-14)/(-63) - 159/837)?
False
Let f(d) = -d - 2. Let q be f(-2). Suppose q*v = -5*v + 145. Does 29 divide v?
True
Let a = 1 + 2. Suppose 40 = v - 0*v + 3*z, -3*v + a*z + 60 = 0. Is v a multiple of 25?
True
Let f(b) = 2*b - 5*b + 190 + 4*b. Let t be f(0). Suppose 7*j = 2*j + t. Does 14 divide j?
False
Suppose 136 = -0*p + p. Let m = -79 + p. Does 22 divide m?
False
Let m be 18/27*(-1 - 8). Let u(s) = s**2 + 3*s - 1. Is u(m) a multiple of 11?
False
Let h(r) = 4*r + 1. Let o be h(-1). Does 11 divide 1/o + (-68)/(-6)?
True
Let f(n) = n**2 - 6*n + 35. Is 30 a factor of f(5)?
True
Suppose 0 = 2*o - o. Let r = o + 5. Does 5 divide r?
True
Let p = -74 - -113. Is p a multiple of 13?
True
Let c be -3*(-2)/(-3) - -8. Suppose t + 10 = c*t. Is 4 a factor of (0 - 9)/(1 - t)?
False
Suppose 19 = 3*r - 4*x + 3*x, 2*x = -r - 3. Suppose r*l - 3 = -w - 4, 0 = -w - 3*l + 3. Does 5 divide w/(-3)*-1 - -2?
True
Let h(k) = k - 9. Let w be h(9). Suppose w = -3*q - 1 + 7. Suppose 2 = q*t - 4. Is t even?
False
Let i(m) = -m**3 + 2*m**2 + 8*m + 2. Let n(y) = 3*y**3 - 5*y**2 - 24*y - 5. Let v(r) = -7*i(r) - 2*n(r). Suppose 0 = 3*u + 9 - 27. Is v(u) a multiple of 10?
True
Let y = 35 + -21. Is y a multiple of 14?
True
Let t = -14 + 16. Suppose -6*y + 52 = -t*y. Is 7 a factor of y?
False
Suppose 206 - 31 = l. Is l a multiple of 12?
False
Suppose d - 3*d + 144 = 0. Does 24 divide d?
True
Is 60/15 - 104/(-2) a multiple of 26?
False
Let t(w) = -w**3 + 2*w**2 + 3*w + 2. Let v be t(3). Suppose 4*q - 16 = 4*m, -m + 3 = -3*q + 1. Is 15 a factor of v/(((-21)/36)/m)?
False
Let i = -29 + 51. Is 22 a factor of i?
True
Let d be 3/5 + (-132)/(-30). Suppose 0 = -3*o + d*o - 24. Is o a multiple of 6?
True
Let k(m) = -2*m - 4. Suppose z - b + 15 = 3*b, -4*b + 12 = 0. Let l be k(z). Is 22 a factor of (-176)/12*(-3)/l?
True
Let s(l) = 9*l**2 - l + 3. Let k(c) = 5*c**2 + 2. Let d(u) = 11*k(u) - 6*s(u). Let a be d(-7). Let t = -4 + a. Does 7 divide t?
True
Let j(d) = -d**2 - d + 1. Let r(g) = g**2 + 3*g. Let a(f) = -3*j(f) - r(f). Let b(i) be the first derivative of a(i). Is 12 a factor of b(6)?
True
Let r(i) = -i - 6. Let b be r(-6). Let x(c) = -4*c + 74. Let v be x(19). Is -1 + v + b - -7 a multiple of 3?
False
Let z(o) = -2*o - 8. Let f be z(-6). Is 6 a factor of (1 + (-8)/f)*-18?
True
Let g = -45 - -32. Let p = g + 21. Is p a multiple of 8?
True
Does 12 divide ((-3)/6 - -1)*38?
False
Suppose -2*c - 7 = -5*q, -c = 4*q - 12 - 4. Let h = -2 + c. Suppose -3*j + 5 = -h*j. Does 5 divide j?
True
Let n = -34 - -52. Does 9 divide n?
True
Suppose -2*w - 152 - 96 = 0. Let z = w - -182. Is z a multiple of 29?
True
Let n(d) = -35*d**3 + 2*d + 3. Does 4 divide n(-1)?
True
Is (36 + -48)/((-3)/16) a multiple of 8?
True
Let i(p) = p - 4. Let j be i(4). Let x be 2*-1*69/46. Does 11 divide 12 + j + 3/x?
True
Let i(n) = -49*n**3 - n**2 - n - 1. Let x be (-3)/((-9)/(-12)) + 3. Is 20 a factor of i(x)?
False
Does 12 divide ((-12)/(-10))/((-11)/(-330))?
True
Let o = 3 + -12. Let b(k) = k**2 + 9*k + 10. Is b(o) a multiple of 10?
True
Suppose -4*x = -7 - 1. Let y be 4 + -2 - (-1 + x). Does 18 divide (-114)/9*(-2 - y)?
False
Suppose 0 = -4*q + 66 + 70. Does 17 divide q?
True
Suppose -y + 305 = 4*k, -4*y - 5*k - 26 = -1224. Is y a multiple of 16?
False
Suppose -2*m = -6*m - 4*w + 936, -4*m + w + 941 = 0. Does 23 divide m?
False
Suppose 2*y - 372 = -2*y. Does 42 divide y?
False
Suppose -4*n - 13 = -1. Let k = n + 5. Suppose -k*z + 4*z - g - 57 = 0, 5*g = 2*z - 69. Does 12 divide z?
False
Let p = -119 - -154. Is 7 a factor of p?
True
Let h(g) = -g - 34. Suppose -4*p = -p. Let t be h(p). Let q = t + 51. Is 15 a f