 - 1 - 1. Let t(u) = 46*u**2 - 16. Let g(h) = b*t(h) - 11*a(h). Does 3 divide g(1)?
True
Is ((-238)/51)/((-1)/69) a multiple of 16?
False
Let u(h) = -3 - 5*h**2 + 4 + 3*h**2 - 2 - 4*h. Let o be u(-3). Let x = o + 43. Does 18 divide x?
True
Suppose -2*c = -3*c + 2. Suppose -w = w - c. Does 15 divide (-55)/(-3) - w/3?
False
Let j(z) = z**3 - z**2 + z + 335. Does 67 divide j(0)?
True
Let c(j) = j**2 - 10*j + 12. Let l be c(10). Suppose -l = -2*f + 76. Is 17 a factor of f?
False
Suppose 3*h - 6 = -39. Let d = 19 + h. Is 5 a factor of d?
False
Does 33 divide 13*4/1 - (-6)/(-3)?
False
Let v(f) = 34*f + 1. Is 19 a factor of v(1)?
False
Let w = -6 - -9. Suppose -w*z - 2 + 17 = 0. Is 5 a factor of z?
True
Let d = 5 - 27. Let t = 36 + d. Is 14 a factor of t?
True
Let x(c) = c**3 + 5*c**2 - 6*c. Let k be x(-6). Suppose k = -f + 6*f - 100. Is f a multiple of 10?
True
Let b(a) = -a**3 - 6*a**2 - a - 6. Let x be b(-6). Let m = x - 0. Suppose -7 = -f - 2, m = -5*h - 5*f + 65. Is h a multiple of 8?
True
Let q(c) be the first derivative of -5*c**2/2 + 9*c + 2. Is q(-7) a multiple of 22?
True
Let i(z) be the first derivative of -z**2 - 12*z - 1. Suppose -2*r = -7*r - 40. Does 3 divide i(r)?
False
Suppose 2*m - 2*q - 26 = -m, 5*m = 3*q + 42. Suppose -10 = -4*g + m. Is g even?
True
Suppose 9 = -3*o, m + 4*m + 2*o = 89. Suppose 4*q = 9 + m. Is 3 a factor of q?
False
Let d = -7 - -9. Suppose 5*t = d*t + 63. Does 11 divide t?
False
Is 57 a factor of 99/18 + -5 + 113/2?
True
Let r be -3*4 - (-12)/(-4). Is 0 - (r + 0) - -3 a multiple of 6?
True
Suppose 0 = -2*d - 3*d + 40. Suppose 4 = 2*i - d. Does 6 divide i?
True
Let w = 70 + -33. Is w a multiple of 8?
False
Let a(i) = 2*i + 4. Does 11 divide a(9)?
True
Let g = 500 + -299. Is 12 a factor of g?
False
Let b = 168 - 159. Is b a multiple of 3?
True
Let y be ((-6)/12)/((-2)/24). Is 13 a factor of -1 + 2*(1 + y)?
True
Let b = -38 + 5. Let m = 56 + b. Does 14 divide m?
False
Suppose v = 4*o + 13, -5*v + 2*o + 32 = 3. Suppose -5 = 3*k + 2*k, -5*c - v*k + 45 = 0. Does 7 divide c?
False
Let g be 8/12*(-9)/(-3). Suppose 1 = -g*z + 21. Does 9 divide z?
False
Let d(a) = 2*a - 2. Let i be d(3). Suppose 3*g + 66 = 2*q + g, -i*q = 4*g - 124. Is q a multiple of 11?
False
Suppose 0*c - 4*c + 76 = -5*v, 0 = 3*c + 3*v - 57. Is c a multiple of 11?
False
Suppose -19 = t + 4. Let f = -6 - t. Does 7 divide f?
False
Suppose h = 5*h - 12. Let m = 92 - 22. Suppose -5*c + h*l - 4*l + m = 0, 0 = 4*c - 4*l - 56. Is 7 a factor of c?
True
Let x(o) = 2*o - 2. Let g(k) = 3*k - 3. Let z(m) = 5*g(m) - 7*x(m). Is 2 a factor of z(4)?
False
Let v(s) = -s**2 + 15*s - 17. Let p be v(14). Does 25 divide 282*(40/12 + p)?
False
Suppose 531 + 453 = 5*s + v, 2*s + 2*v = 400. Does 14 divide s?
True
Let c(l) = 5*l**2 - 5*l - 6. Suppose 5*o - 43 + 2 = 4*k, k + 4*o - 16 = 0. Let a be c(k). Suppose 5*x = n - 51, 2*n + 3*x = -5 + a. Does 23 divide n?
True
Suppose -n + 5 = -2*n. Let b(l) = l**3 + l**2 + l + 11. Let z be b(0). Let f = z - n. Does 6 divide f?
False
Suppose 0 = 2*x + 70 + 20. Is (-640)/x - (-2)/(-9) a multiple of 4?
False
Suppose -3*m + 19 = 5*l, l + 0*m - 4*m - 13 = 0. Suppose -a = 4*g + 41, -2*g = -a - 3*g - 50. Is 7 a factor of a/(-3) - l/(-15)?
False
Suppose 0 = -p + 79 + 8. Is p a multiple of 29?
True
Let f(v) = -2*v + 1. Is 2 a factor of f(-2)?
False
Suppose -5*f = -l - 62, -7*f = -3*f - 4*l - 40. Is 2 a factor of f?
False
Suppose b - 4*b = -114. Is b a multiple of 15?
False
Suppose -5*u = 3*k, 2 - 1 = 2*u + k. Suppose -d - 3*c - 6 = 0, -4*d = 2*c + c - u. Is d a multiple of 2?
False
Suppose 0*g - 2*g = -2*l - 192, -4*l = 4*g - 424. Is g a multiple of 31?
False
Let n(d) = d**3 + 11*d**2 + 7*d + 1. Suppose 4*v + 30 = 2*x, -2*v + 6*v = -5*x - 65. Is 8 a factor of n(v)?
False
Let k(v) = v**3 + v + 21. Let r = 12 + -6. Suppose 0 = -r*b + 2*b. Is k(b) a multiple of 10?
False
Let p be -3 - (0 + -3) - -3. Suppose -p*d + 13 = 5*c, -4*d + 7 = -2*c + 33. Is c/(-2)*60/(-25) a multiple of 6?
True
Let h(b) = -b**3 + 13*b**2 - 7*b - 12. Is h(12) a multiple of 13?
False
Is 17 a factor of 51*5/45*9?
True
Let y be (-2 + 3)/1*0. Suppose y + 28 = 4*k. Does 7 divide k?
True
Suppose 3 = 5*f - 17. Suppose -f*d + 69 + 211 = 0. Suppose -d - 115 = -5*r. Is r a multiple of 18?
False
Suppose -2*m = 2*m + 1064. Does 9 divide 2/(-11) + m/(-11)?
False
Let y be (3*-1)/(3 - 2). Let x be (-1)/(y/(11 - 2)). Suppose 3*z - 57 = -x*f, z - 6 = -5*f + 21. Is z a multiple of 17?
True
Let n(h) be the second derivative of h**3/6 + 4*h**2 - 3*h. Does 8 divide n(0)?
True
Let k(r) = r + 3. Let g be k(0). Let w = -1 + 3. Suppose 0 = g*f - w*f - 20. Does 10 divide f?
True
Let q = 15 - 24. Let r be (-2*q/6)/1. Does 4 divide r - 3 - -7 - 2?
False
Let k be 24/(-9)*(-3)/4. Suppose -2*r = k*c - 34, -2*c - 71 = -3*r - 0*c. Is r a multiple of 11?
False
Let m(u) = -u + 3. Let o be m(4). Let b = -2 + o. Is (4/1)/(-2 - b) a multiple of 2?
True
Let a be (-2 - 2112/(-9))*3. Let r be a*1*(-1)/2. Does 16 divide 2/9 + r/(-9)?
False
Let d = 269 + -146. Is d a multiple of 11?
False
Let s = 0 + 2. Let p = -1 + 7. Suppose -i - s*y + p = -1, 18 = 2*i + 2*y. Does 9 divide i?
False
Is 15 a factor of 1 + 5/(-4) + 842/8?
True
Suppose 5*v + 82 - 232 = -3*z, -2*v + 49 = -z. Does 9 divide v?
True
Is ((-24)/10)/(5 + (-3406)/680) a multiple of 34?
True
Let k be 150/14 - (-4)/14. Suppose 3*i - 16 - k = 0. Is i a multiple of 7?
False
Let q = 4 - 2. Suppose -4*h = 4*n + 8 + 4, q*h + 12 = n. Suppose v = 2 + n, -f = 3*v - 22. Is f a multiple of 4?
False
Let x(i) = -10*i**3 + 7*i**2 + 7*i + 116. Let q(a) = -3*a**3 + 2*a**2 + 2*a + 39. Let b(m) = 7*q(m) - 2*x(m). Is b(0) a multiple of 16?
False
Suppose -3*m - m - 2*n = 34, -21 = 2*m + 5*n. Let y = -6 - m. Suppose -2*s - 2*s = y*a - 50, -4*a - 30 = -5*s. Is 3 a factor of s?
False
Suppose -5*a - 56 = -4*j, -4*a = 2*j - 2 - 0. Suppose -4*t = -j*t + 80. Is 8 a factor of t?
True
Suppose -u + 17 = -l - 48, 2*u - 135 = -3*l. Suppose -68 = -2*a + u. Is 28 a factor of a?
False
Let h(s) = 10*s**2 + 7*s - 23. Is 11 a factor of h(4)?
True
Let w(g) be the third derivative of -7*g**4/24 - 2*g**3/3 + 4*g**2. Is 12 a factor of w(-4)?
True
Let p(y) = -y**2 + 8*y - 2. Let v be p(7). Suppose 2*d + 14 = v*u, -5*d + 0*d - 3*u = -27. Suppose 0 + 6 = -2*b, 0 = d*r - 5*b - 60. Does 15 divide r?
True
Let x = 6 - 6. Suppose 0 = y + 2*k - 17, x = 2*y - 6*k + k - 7. Is 6 a factor of y?
False
Let i(j) = -1 + 0 + 3*j - 2*j. Is i(4) a multiple of 3?
True
Suppose -3*w + 3*k + k + 1 = 0, 5*w - k = -4. Is 23 a factor of w*94/(1*-2)?
False
Let g(o) be the second derivative of o**3/3 - 2*o**2 + 2*o. Let u be g(3). Suppose 63 + 53 = u*v. Is 20 a factor of v?
False
Does 14 divide -1*(-1 - (-249)/(-3))?
True
Let d(t) = 43*t**2 + t + 2. Does 35 divide d(1)?
False
Let j(h) = -4*h**2 + 1. Let u(p) = -p**3 - p + 1. Let x be u(0). Let b be j(x). Let m = 21 + b. Is 7 a factor of m?
False
Suppose 3*v - 15 = 0, 2*v + 5 - 3 = 4*u. Suppose u*j - 2*i + 2 = j, -4*i + 2 = -5*j. Does 2 divide j?
True
Let y = 9 + 19. Suppose -k + 5*k = 2*h - y, 5*k = 3*h - 40. Is h a multiple of 5?
True
Let j(l) = -3 - l + 0*l + 5. Does 3 divide j(-5)?
False
Suppose 3*w - 122 = -35. Suppose -52 = -3*v + 5*s + 35, -v + w = -3*s. Is v a multiple of 10?
False
Let h(v) = v - 3. Let s be h(6). Let p = s - 5. Does 12 divide (-3)/(p - 23/(-12))?
True
Is 5 a factor of 4/2 - (-23 - -1)?
False
Let u = 563 + -239. Does 29 divide u?
False
Suppose 0 = 18*t - 16*t - 78. Is t a multiple of 13?
True
Suppose 5*h - g - 90 = 0, -4*h - g + 72 = g. Is h a multiple of 6?
True
Let x(c) = -c + 1. Let v(s) = 3*s - 3. Let d(f) = -5*v(f) - 12*x(f). Is d(-4) a multiple of 13?
False
Suppose -18*w = -16*w - 116. Does 5 divide w?
False
Let y(m) = m + 1. Let g be y(-5). Let n(c) = 12*c - 12 + 8 - 26*c. Is n(g) a multiple of 26?
True
Let r = 3 - -3. Let m(l) = l - 3. Let k be m(r). Suppose -i = 2*s + k*i - 52, i = -s + 23. Does 7 divide s?
False
Let b be (0 - 0)*(-5)/10. Suppose b = -5*h + 4*i + 102, 3*h + i - 87 = -2*h. Is 10 a factor of h?
False
Suppose -12 = -2*j + 3*j. Is 22 a factor of 1/((-4)/j) + 19?
True
Let q(o) = 28*o - 2. Let s(w) = -29*w + 3. Let d(l) = -6*q(l) - 5*s(l). Let k be d(-5). Let c = k - 67. Is 20 a factor of c?
False
Let d = -7 + 8. Suppose 0 = -5*l - d