True
Let m(q) = 2*q**3 - 6*q**2 + 13*q - 9. Is m(6) a multiple of 15?
True
Suppose 0 = 5*v - 6*v - 4. Is 12 a factor of 116/10 - v/10?
True
Let o(u) = -u + 13. Let n be o(9). Suppose -3*x + 5*x = -n, -4*k + 4*x + 392 = 0. Suppose k = -4*i + 6*i - 2*m, -5*i - 4*m + 285 = 0. Is i a multiple of 19?
False
Let m(s) = s**2 - 27*s + 57. Does 24 divide m(28)?
False
Let z(a) = 103*a**2 - a + 1. Let m be z(1). Let p = 148 - m. Is p a multiple of 15?
True
Let j be (-1)/((-1)/11) - -1. Let k = 11 - 16. Let b = k + j. Is b a multiple of 4?
False
Suppose 4*c - 18 = -2*c. Suppose 3*d = -5*t + 298, -2*d - 81 = -c*d + 2*t. Does 28 divide d?
False
Let l(j) = 4*j - 5. Let b be l(4). Let k = b - 6. Suppose 2*d - 31 = -5*n + 46, -k*n = 5*d - 80. Does 15 divide n?
True
Let q = 0 + 12. Let m = q + -7. Suppose 25 = 5*s - m. Is s a multiple of 3?
True
Suppose 3*o + v = -15, 12 = -5*v - 3. Is ((-135)/o)/5*4 a multiple of 9?
True
Suppose -5 = -5*d - 45. Let s(q) = q**2 + 4*q + 9. Does 18 divide s(d)?
False
Let u(v) = 11*v**2 - v + 3. Let c = 11 + -9. Is 9 a factor of u(c)?
True
Suppose -2*b + 36 = -2*k - 58, 5*k = -5*b + 195. Let v be -3 + 80 + -1 + -1. Let q = v - b. Does 16 divide q?
True
Suppose -168 + 60 = -u. Is u a multiple of 9?
True
Let a = -2 + 4. Let j be 1 + 0/a + -37. Let c = 80 + j. Is 18 a factor of c?
False
Is 21 a factor of 39 + 1/(-3)*-9?
True
Let b be (9 - 2)/(2/8). Let j(o) = o**2 + 3*o - 5. Let w be j(-5). Suppose 3*g - w*g = -h + b, 2 = -g. Does 12 divide h?
True
Suppose -t = -1 - 1. Suppose t*s - 114 = -2*i, 8*i = 3*i - 4*s + 280. Does 13 divide i?
True
Suppose 3*i - 16 = 2*i. Suppose x = -3*a - 4 + 2, -3*x = -a + i. Let t = 7 - x. Is 6 a factor of t?
True
Suppose 4*w - s + 111 = 0, 3*w + 4 = 4*s - 89. Let n = -3 - w. Is 12 a factor of n?
True
Let l be 18*9/(-6) - 1. Is (l/35)/((-1)/15) a multiple of 12?
True
Let v = -5 + 9. Suppose v*a - 3*a - 54 = 0. Is a a multiple of 16?
False
Let a(w) = -w + 10. Let x be a(7). Let m = 0 + x. Suppose -m*z + 8*z - 35 = 0. Does 7 divide z?
True
Let s(x) = x**2 + 9*x + 9. Let g be s(-12). Suppose -2*u + 5*o = -18, 6*u - 4*o = u + g. Does 9 divide u?
True
Suppose 4*r - 19 = -4*f + 21, -4*r = 8. Suppose -5*j + z + 0*z = 92, 0 = 5*j + 4*z + 82. Is 3 a factor of j/f*(1 - 5)?
True
Suppose -3*t + 22 + 68 = 0. Does 10 divide t?
True
Is ((-52)/(-16))/((-3)/(-12)) a multiple of 12?
False
Let p = 69 + -10. Is p a multiple of 11?
False
Let z = 8 - 3. Suppose -1 = -r, -2*r = z*j - 6*r - 116. Does 7 divide j?
False
Let b(h) = 118*h**2 - h. Let u be b(-1). Let r = u - 80. Does 8 divide r?
False
Let i(h) = 6*h**2 + 3*h - 1. Let u = 1 + 1. Does 8 divide i(u)?
False
Suppose -2*h - 34 = -4*h. Is 4 a factor of h?
False
Let y be (-117)/(-12)*(-32)/(-6). Let x = 79 - y. Is 9 a factor of x?
True
Let z = 125 - 73. Is z a multiple of 26?
True
Suppose 3*s = 3*i + 4*s - 16, 5*i = -4*s + 29. Let j(r) = -r**3 - 6*r**2 + 4. Let v be j(-6). Suppose 13 = x - z, v*z + i = 3*x - 31. Does 8 divide x?
True
Let t = -37 - -219. Does 26 divide t?
True
Let h = 113 + -70. Is h a multiple of 13?
False
Let d be (4/(-5))/((-2)/(-15)). Is -2*3/6*d a multiple of 2?
True
Suppose -s + 0 - 3 = 0. Let w be (-2 - -5)/(s/(-4)). Suppose -3*v = -w*d - 167, 7*d - 2*d + 270 = 5*v. Is 17 a factor of v?
False
Is (-24)/(3/5*25/(-10)) even?
True
Let y = -240 - -419. Is 15 a factor of y?
False
Let b = -2 - 4. Let u(z) = -3*z - 6. Does 8 divide u(b)?
False
Suppose 34 + 26 = -2*i. Let n = 86 + i. Is n a multiple of 12?
False
Let y(r) = 33*r**2 - 2*r - 2. Let o be y(2). Suppose 3*d + 0*d = o. Is 14 a factor of d?
True
Does 7 divide (16 - -1) + 64/16?
True
Suppose -x - 1 = 4*j, -2*x + 5*j - j = -10. Suppose 9 = -2*h + x*h. Does 9 divide h?
True
Let g(k) = 3*k**2 + 3*k + 1. Does 9 divide g(-3)?
False
Let z be 38 + 4/2 - 0. Suppose -2*i + 3*m + z = m, 5*i - 88 = 2*m. Does 6 divide i?
False
Is 9 a factor of ((-16)/(-10))/((-4)/(-40))?
False
Suppose 2*d = 6*d - 4. Is 19 a factor of (2 + 0 + 17)*d?
True
Suppose -3*l + 153 = -3*n, l + l - 84 = -4*n. Let a = -32 + l. Does 4 divide a?
True
Is 21 a factor of ((1980/(-25))/4)/(6/(-20))?
False
Suppose 0 = 2*j - 4*r - 250, 4*j = -r - 3*r + 440. Is j a multiple of 35?
False
Let m(q) be the second derivative of q**6/60 - q**5/20 - q**4/12 - q**3/2 - q**2/2 - q. Let j(r) be the first derivative of m(r). Is 8 a factor of j(3)?
False
Let q(i) = -7*i + 7. Let u(j) = -22*j + 22. Let p(s) = -16*q(s) + 5*u(s). Is p(4) a multiple of 6?
True
Let p = 836 + -437. Is 8 a factor of (-2)/4 - p/(-38)?
False
Let n(z) be the first derivative of 14*z**2 - 10. Does 12 divide n(1)?
False
Is 9 a factor of ((-2 - -28) + 1)/1?
True
Let o = -2 + 5. Suppose -2*z + o = -11. Is z a multiple of 3?
False
Suppose -2*j - 22 = 2*z, 2*j + 3 = 5*z + 30. Let h = 5 - z. Is 12 a factor of h?
True
Let b(n) = -2*n + 2. Let j be b(4). Let l(a) = a**2 + 2*a + 1. Let k be l(j). Is 490/k + 4/10 a multiple of 12?
False
Suppose 5*x = 9 + 1. Suppose -3*s + x*s = 29. Let m = 9 - s. Does 15 divide m?
False
Suppose x + 1 = -2, 0 = j + 5*x + 19. Let b = j - 3. Let d = -2 - b. Is d a multiple of 3?
False
Let v be (1/1 + -1)/(-1). Let l be (-4)/(-2)*(v + -1). Let s = 16 + l. Does 7 divide s?
True
Let b = -78 + 136. Let s = b - 20. Does 19 divide s?
True
Let z(x) = -3*x**3 - 7*x**2 + x. Let o(n) = -n**3 - n**2 + 1. Let r(l) = 4*o(l) - z(l). Let v be r(3). Is 5 a factor of (-1)/1 + 6/v?
True
Suppose -2*n = 4*b - 5*n + 11, -4*b - 2*n - 6 = 0. Let c = b - -2. Suppose 5*m - 51 - 24 = c. Is 11 a factor of m?
False
Suppose w - 5*v = 15, 3*w + 6*v - v + 15 = 0. Suppose -b + 2*b - 22 = w. Does 8 divide b?
False
Let s(r) = -r**3 - 8*r**2 - 9*r + 4. Let j be s(-7). Suppose -4*o + o + j = -5*g, -12 = -4*g. Does 7 divide o?
False
Let f = 2 + -1. Suppose -3*b + f = -17. Is 6 a factor of b?
True
Let p(j) = 4*j - 1. Let m(z) = z**2 + 3 + 5 + 0*z**2 - 2. Let w be m(0). Does 19 divide p(w)?
False
Let f be ((-1)/(-1) + -2)*5. Let o = f - -7. Suppose o*r + 3 = 19. Is r a multiple of 7?
False
Let q(f) be the first derivative of 5*f**3/3 + f**2 - f - 3. Let a be q(2). Let w = a - -5. Does 14 divide w?
True
Let b(r) = -r + 9. Suppose 21 = 3*n + 3*o, -13 = 5*n + 2*o - 42. Does 3 divide b(n)?
False
Suppose 681 = 3*h + 5*l, 5*h - 4*l - 940 = h. Is h a multiple of 29?
True
Let z(t) = -5*t**2 - 4*t**2 + 2*t**2 - 4 - 8*t - t**3. Let g be z(-6). Let u(r) = r**3 - 9*r**2 + 10*r - 9. Does 7 divide u(g)?
True
Let i(x) = -x - 3*x + 2*x**2 - 3 + x**3 + 6. Let g be (1/2)/((-1)/(-4)). Is i(g) a multiple of 9?
False
Is 1618/9 + 10/45 a multiple of 30?
True
Suppose -5*a + 148 = 58. Does 6 divide a?
True
Suppose 0 = -2*u - 5*b + 62, u - 3*u = 3*b - 54. Is 21 a factor of u?
True
Suppose -61 = -3*a + 2*c, 0*c + 26 = a + 5*c. Is a a multiple of 9?
False
Let j = 7 - -10. Is j a multiple of 17?
True
Let p(d) = -261*d - 1. Does 25 divide p(-1)?
False
Suppose -38 = -f - 0. Suppose 3*s - 3*q = 42, 5*s + 2*q - 46 = f. Is 10 a factor of s?
False
Suppose 5*s = -3*d + 105, 2*d - 3*d - 2*s + 36 = 0. Is 15 a factor of d?
True
Suppose -5*m + 450 = -0*m. Let j = m + 6. Suppose 3*h = -h + j. Is 12 a factor of h?
True
Suppose 12*x = -8*x + 800. Does 5 divide x?
True
Let r be (-2)/(-7) + 2480/(-7). Let a be r/(-14) + 2/(-7). Suppose -3*x + a = 3*y - 50, 3*x - 81 = 3*y. Is 14 a factor of x?
False
Suppose -24*n = -20*n - 400. Does 20 divide n?
True
Suppose -w + 5*s + 25 = 0, 0*w - 3*s = w + 15. Suppose 2*o - o - 24 = w. Is 14 a factor of o?
False
Let h = -43 - -142. Is h a multiple of 33?
True
Suppose 3*q - 5*q + 8 = s, 2*s = 0. Let o(p) = -p**3 - 5*p + 4*p**2 - q - 3*p**2 - 3*p**2. Does 17 divide o(-4)?
False
Suppose 2*h + 3*g + 237 = 5*h, 0 = 2*h - 3*g - 161. Is h a multiple of 19?
True
Let n(h) = -2*h + 17. Is n(5) a multiple of 6?
False
Suppose -f + 3*f = 4. Let h be 2 - 2 - -28*2. Suppose f*a = h + 6. Is 8 a factor of a?
False
Suppose -4*v - 7 = -5*m + 1, -5*v = -5*m + 10. Let r(g) = -9 + g + 16 + 11 + g**2 - g**3. Is r(m) a multiple of 9?
True
Suppose -p = -2 - 12. Does 6 divide 2/((p/12)/7)?
True
Let a(s) be the third derivative of -s**4/6 + s**3/6 + 3*s**2. Let y be a(-1). Suppose 10*k - y*k - 120 = 0. Is k a multiple of 10?
False
Suppose -u + 2*s + 174 = 2*u, 0 = s - 3. Is u a multiple of 17?
False
Suppose -4*m - m = -20. Does 2 divide m