g*i - 24 = -i. Is 6 a factor of i?
True
Suppose 0 = 2*i + i - 270. Suppose -2*d - 4*d + 30 = 0. Suppose d*q - i + 35 = 0. Is q a multiple of 11?
True
Let k(d) be the second derivative of -d**4/12 - 5*d**3/3 - 3*d**2 + d. Let c be k(-9). Suppose -4*p + 67 = -c*y, p - y = 27 - 10. Does 8 divide p?
True
Suppose 3*u + 2 = -x + 6*x, -3*x = 5*u + 26. Let t(k) = -8*k + 2. Let g(o) = -8*o + 2. Let q(j) = 4*g(j) - 3*t(j). Is q(x) a multiple of 14?
False
Suppose 0 = 2*d - p - 0 - 1, -d + 5*p - 4 = 0. Is 17 a factor of d/2*2*17?
True
Let y(x) = 2*x**2 + 4*x - 2. Suppose l = 3, -2*f - 19 = 2*f - l. Let h be y(f). Suppose 0 = 2*n - h. Does 7 divide n?
True
Let c(u) = -2*u + 5. Suppose -4*z - 36 = 5*x, -3*z + 0*z + 3*x = 0. Is c(z) a multiple of 13?
True
Let h be (-20)/(-6)*(-9)/(-2). Is 3 a factor of (6/(-10) - -1)*h?
True
Let d(r) = -r**2 - 8*r - 3. Let y be d(-7). Is y - 2 - -1*3 a multiple of 5?
True
Let l(r) = -r - 4. Let u be l(-10). Suppose 0 = 2*z - 14 - u. Is 5 a factor of z?
True
Suppose -144 = -4*q + q. Is q a multiple of 12?
True
Let p be -2*1/(-2) - -100. Let i(h) = h**2 - 9*h + 7. Let x be i(8). Is p/5 - x/(-5) a multiple of 10?
True
Let p(m) be the third derivative of -m**4/24 + m**2. Let n be p(-1). Suppose 0 = l + n - 7. Is l even?
True
Suppose -3*m - 4*n = -29, 4*m + n - 2 = 3*n. Suppose 2*z = 3*z - 5, a = -m*z + 19. Suppose 3*d - 33 = 3*y, 0*d - a*d + 28 = 4*y. Is d a multiple of 9?
True
Let i = 144 - 96. Is 20 a factor of i?
False
Suppose -4*a + 761 = -111. Is 12 a factor of a/6 + 5/(-15)?
True
Suppose 3*t + 0*l - 425 = -l, 4*l = -t + 138. Is 27 a factor of t?
False
Let z be (-14)/(-35)*(-1 + 26). Suppose s - 2*h = -0 + 6, 2*s - 3*h = z. Suppose -s*p + 3*j + 20 = -0*p, -5*p + 50 = -3*j. Is 5 a factor of p?
True
Suppose 0*l + 2*l - 188 = 0. Is 11 a factor of l?
False
Suppose -2*v - 3*k = -227, -233 = 3*v - 5*v - 5*k. Let l = 36 + -5. Suppose 0 = 5*o - v - l. Is o a multiple of 18?
False
Let x = -6 - -8. Suppose x*o - 6 = 10. Does 6 divide o?
False
Suppose 4*u - 2*s - 298 = 0, 0*s + 273 = 4*u + 3*s. Is u a multiple of 12?
True
Let z(b) = -b**3 - b + 1. Let l be z(2). Let k = l + 34. Does 25 divide k?
True
Suppose 0*i = -2*i + 10. Suppose -i*h - 12 = -32. Let s = 17 - h. Is s a multiple of 13?
True
Let n(j) = -85*j + 85. Let a(l) = -7*l + 7. Let i(r) = -25*a(r) + 2*n(r). Let s(f) = -16*f + 15. Let z(k) = 7*i(k) + 2*s(k). Is z(5) a multiple of 10?
True
Suppose -2*m + 48 = 2*m. Let d = m + 0. Does 4 divide d?
True
Let i be (6 - 4) + (-2 - 0). Suppose -d - 2*x - 2*x + 58 = i, -d + 3*x = -30. Does 15 divide d?
False
Let u(d) = 3*d**2 - 2*d. Let b be u(2). Suppose w = 4*r + 23, 5*r = 4*w - b*w + 50. Does 7 divide 2 + 5/(w/18)?
False
Suppose 25 = 5*f, 5*o + 6*f + 105 = f. Suppose -3*r = -135 - 6. Let z = o + r. Is z a multiple of 8?
False
Let m = 20 + -11. Let v = m - 4. Suppose 4*s - 5*w - 22 = 0, s - 14 = -2*s + v*w. Does 8 divide s?
True
Let t(k) be the first derivative of 7*k**2/2 + 2*k - 3. Is t(3) a multiple of 9?
False
Suppose -u - 2*m + 0 = -12, -4*u - m = -55. Does 4 divide u?
False
Suppose -y = -4*y + 54. Does 6 divide y?
True
Suppose q = 3*q - 54. Is q a multiple of 14?
False
Suppose 3*j - 3*o - 13 = 5, -j - o = -4. Does 13 divide j/2*1118/65?
False
Let p(d) = -d + 9. Let t be p(7). Suppose w = -t*w + 24. Suppose -w = -5*j + 32. Does 3 divide j?
False
Suppose -2*o - f + 321 = 4*f, f + 609 = 4*o. Is 17 a factor of o?
True
Let i = 48 - 19. Suppose i = -x - x + z, -3*x - 41 = -z. Does 15 divide (x/(-10))/((-3)/(-70))?
False
Suppose -2*r + 52 = -2*y - 12, 0 = 5*r - 3*y - 150. Is r a multiple of 10?
False
Suppose -2*r - 3*r + 5*h = -5, -3 = 3*r - 5*h. Let s(y) = -y**3 + 5*y**2 + 2. Let f be s(r). Suppose 2*l + f = 4*l. Is l a multiple of 9?
True
Suppose 2*v - 20 = 2*f, 2*f + 4*v - 2*v + 4 = 0. Let c = f - -9. Suppose -36 = -5*d + c*h, -4*d = 3*h - 0*h - 18. Is 3 a factor of d?
True
Suppose 50 = i + 4*i. Does 10 divide i?
True
Suppose 4*q - 94 - 586 = 2*z, 5*q + 3*z - 850 = 0. Does 34 divide q?
True
Suppose -6*d + d = 5. Is d/(-2)*(-90)/(-5) a multiple of 2?
False
Suppose 0 = 2*n - 161 - 19. Is n a multiple of 15?
True
Suppose 341 = 7*w - 6*w. Does 11 divide w?
True
Let l = 124 - 76. Is l a multiple of 48?
True
Let s = 27 + -17. Does 2 divide s?
True
Let c = 140 - -4. Is c a multiple of 18?
True
Suppose 0 = 5*k + 3*l - 0*l - 61, -k + 2*l = -7. Is 11 a factor of k?
True
Suppose 4*f = 15 + 5. Let h be (-8 + f)*(-2)/(-3). Is 7 a factor of (h - 3/2)*-2?
True
Suppose -j - 104 - 220 = -p, 648 = 2*p - 5*j. Is 54 a factor of p?
True
Let v(q) be the first derivative of q**2/2 + 12*q + 1. Is v(-7) even?
False
Let u(a) be the second derivative of -a**7/840 + a**6/60 - a**5/30 - a**4/24 + a**3/3 + 2*a. Let p(t) be the second derivative of u(t). Does 2 divide p(5)?
True
Suppose -16*o + 8*o = -104. Is 3 a factor of o?
False
Is 13 a factor of (-4)/18 - 595/(-45)?
True
Let p be (2/(-1))/((-3)/21). Suppose -4*f + 5*t + 57 = 0, 0 = -7*f + 3*f - 4*t + 12. Let j = p + f. Does 11 divide j?
True
Let b = -94 + 227. Does 15 divide b?
False
Let b be (1 + -4)/((-2)/6). Let o = 7 + b. Does 8 divide o?
True
Suppose 8*y = 9*y - 28. Suppose 0 = 4*n + 4*c - 32, c = -n + 3*n - y. Is n a multiple of 4?
True
Suppose 3*n - 2*o = 3*o + 45, -n - 2 = 4*o. Does 4 divide n?
False
Let p(u) = u + 2. Let i be p(-2). Suppose -5*q - o + 16 + i = 0, -2*o = 5*q - 17. Is 3 a factor of q?
True
Suppose -2*d + 81 = -5*v, -3*v + 156 = d + 4*d. Is 12 a factor of d?
False
Let t(v) = 8*v + 4. Suppose -4*z + f = -15, z - 4*f - 4 = -z. Is 11 a factor of t(z)?
False
Let x = 2 - -22. Does 8 divide x?
True
Let u = -24 - -129. Is 17 a factor of u?
False
Suppose -o = v - 37, 2*v - 78 = -0*o - 4*o. Is v a multiple of 7?
True
Let n be (-1 - -4)/(1 + 0). Let q(g) = -1 + 152*g**2 + 2*g + 159*g**2 - 306*g**2. Does 18 divide q(n)?
False
Suppose -2 = -i, -2*i + 514 = 2*f - i. Is f a multiple of 32?
True
Suppose 8 - 33 = 5*j. Is 15 a factor of j*((-1 - 0) + -2)?
True
Let v = 236 - 96. Does 20 divide v?
True
Suppose -3*n = -4*y - 72, -3*n - 4*y + 68 = -n. Suppose g - n = -g. Is (3/(-3))/((-2)/g) a multiple of 7?
True
Let l(k) = k**2 + 16*k + 11. Is l(-16) a multiple of 11?
True
Suppose 3*u - 72 = 3*o, u - 2*o - 14 = 11. Is 5 a factor of u?
False
Suppose -2*y + 0*y + 14 = 0. Let c = 4 - y. Is 63/14*(-4)/c a multiple of 3?
True
Let u be (-1)/(2*(-1)/4). Suppose -u*m + 4 + 34 = 0. Is m a multiple of 9?
False
Suppose 3*o = -z + 128, -10*o + 14*o - 248 = -2*z. Does 10 divide z?
False
Let u(g) = 10*g + 3. Let n(r) = -11*r - 3. Let x(v) = 6*n(v) + 5*u(v). Does 18 divide x(-2)?
False
Let g be -1 - ((-54)/(-2) + 3). Let f = -8 - g. Is 19 a factor of f?
False
Suppose -4*j = 5*p - 298, 2*j - 4*p - 166 = -30. Is 18 a factor of j?
True
Let o(c) = c - 4. Let h be o(4). Suppose 2*i - 10 - 12 = h. Suppose 9 = 5*p - i. Is 2 a factor of p?
True
Let l = 20 + 4. Is 6 a factor of l?
True
Suppose -3*d = -6*d - 9. Let q = d - -5. Is 13 a factor of (2/3)/(q/75)?
False
Suppose 0 = -0*n - 5*n + 570. Suppose -q - 2*q = -n. Is 20 a factor of q?
False
Suppose -20*u = -30*u + 990. Is 11 a factor of u?
True
Let g(p) = p**2 + 4*p - 23. Is 14 a factor of g(-10)?
False
Let x(i) = -6*i**2. Let j be x(-1). Let h be 6/(-2)*2/j. Is -1 + -1 + 27 + h a multiple of 13?
True
Suppose -7*z + 8*z = 84. Suppose -b + 2*r + 28 = 0, z = 3*b + 3*r - 0. Does 28 divide b?
True
Let w(m) be the second derivative of -m**5/20 - m**4/12 + m**3/3 - 3*m**2/2 - 8*m. Is w(-3) even?
False
Let g = 2 + -2. Suppose -4*y + 0*y = 40. Let l = g - y. Is l a multiple of 5?
True
Let b(w) = 2*w**3 - 3*w**2 + w + 2. Let i be b(2). Let g be 0*3/(-9) + 0. Suppose -l + i + 11 = g. Does 12 divide l?
False
Suppose -14*x - 42 = -15*x. Is 8 a factor of x?
False
Suppose 7*s - 70 = 5*s. Is 7 a factor of s?
True
Suppose -5*v = 3*p - 210 - 45, -2*p = 0. Does 20 divide v?
False
Let f(p) = p**3 - 1. Let j be f(0). Is 6 a factor of (-1 - (0 - -19))*j?
False
Let h be 3*-1 + (-224 - -1). Let k = 341 + h. Suppose -2*l = 3*l - k. Is l a multiple of 13?
False
Let f be 640/(-65) + 2/(-13). Is 12 a factor of 48/f*(-60)/8?
True
Suppose -2*g + 9 = 1. Suppose -d = 5*a - 35, -5*d - 30 = 2*a - 113. Suppose d = -3*y + g*y. Is y a multiple of 14?
False
Let j(l) be the second derivative of -l**5/120 + 15*l