 t = 0 + 2. Suppose -t - 2 = -n - d, -5*d = 2*n - 11. Is n a multiple of 2?
False
Let u(n) = -3*n + 5. Let v be u(-9). Suppose -f - f + v = 0. Does 8 divide f?
True
Let p(i) = i**3 - i**2 - 1. Let k = -6 + 0. Let v(l) = 7*l**3 + 3*l**2 - 2*l + 2. Let q(f) = k*p(f) + v(f). Does 13 divide q(-9)?
True
Suppose 0*i - 105 = -3*i. Is 11 a factor of i?
False
Let f(p) = -p + 4. Let n(d) = -d + 7. Let g(t) = -5*f(t) + 3*n(t). Let r(x) = -x. Let l(b) = -4*g(b) - 5*r(b). Is 4 a factor of l(-4)?
True
Suppose -4*i + 8 = -4. Suppose 0 = u - i*f - 60, -u = -5*f + 18 - 80. Is 22 a factor of u?
False
Suppose -4*x + 225 = 5*m, 135 = 2*x - 6*m + m. Does 20 divide x?
True
Let q(l) = l**3 - 10*l**2 + 25*l + 2. Is q(7) a multiple of 6?
True
Suppose -5*g - 4*f = -g - 184, 0 = -g - 2*f + 41. Does 22 divide g?
False
Let r(c) = 8*c**2 - 3*c + 2. Let q be r(1). Suppose 0 = -5*m + q + 208. Is 21 a factor of m?
False
Suppose 2*j - 2368 = 6*j. Does 14 divide 14/(-49) + j/(-14)?
True
Let p = -6 - -4. Does 8 divide -1 + 1 - (p - 13)?
False
Let w(k) = k**2 + 2*k + 2. Is w(-2) even?
True
Let w be 2/5 + 176/10. Suppose -5*x + 10 = -4*i, 5*x - w = 4*x + 4*i. Is 3 a factor of x - 0 - 9/(-1)?
False
Suppose -2*c - 2*j + 23 = -j, 2*c - 22 = -2*j. Is c a multiple of 7?
False
Let g = -44 - -114. Does 13 divide g?
False
Let d(j) = 2*j**2 + 3*j + 7. Does 14 divide d(5)?
False
Suppose 17 = 4*i + 1. Suppose -i*k = 3*w - 86, k = 5*k - 2*w - 76. Is 10 a factor of k?
True
Let o(w) be the first derivative of -w**4/4 + 2*w**3 + 4*w**2 - 5*w - 8. Is 2 a factor of o(7)?
True
Let o = -9 - -14. Suppose 2*h - 4 = 2*a, -4*h + a + 10 + 4 = 0. Suppose -o*b + 0*b - 41 = -f, 88 = h*f - b. Is 15 a factor of f?
False
Let l = -15 - -18. Suppose -l*x + 20 + 7 = 0. Is 2 a factor of x?
False
Let m = 9 + -7. Let z(y) = -y**2 + 18*y**3 + y + m*y**2 - 2*y. Is 16 a factor of z(1)?
False
Suppose 2*d = 3*s + 98, -s = -5*d - 4*s + 224. Is 23 a factor of d?
True
Let p(f) = f**3 + 12*f**2 - 14*f - 10. Let d = -17 + 4. Is p(d) even?
False
Let j be (-4)/6 - 56/(-21). Suppose 2*z + 20 = j*q - 10, -12 = -q + 4*z. Let r = q + 1. Does 10 divide r?
False
Let q be 0*-3*3/(-18). Suppose -3*n + q*p = -3*p + 3, -3 = -5*n + 3*p. Suppose 0*x = 5*s - 4*x - 54, -n*x + 26 = s. Is 8 a factor of s?
False
Let s be 4*(2 + 39/4). Is s + (-1 - (-1 + 1)) a multiple of 19?
False
Let u be (-3)/36*3*-4. Let c = 15 + u. Is c a multiple of 16?
True
Suppose -6*u = -3*u - 171. Let k = u + -13. Is 11 a factor of k?
True
Let b be (432/(-56))/((-1)/7). Is (-5 + 2)/((-6)/b) a multiple of 9?
True
Let g = -89 - -163. Does 10 divide g?
False
Let z = 75 - 32. Let d = -10 + z. Suppose 4*m - 113 = -d. Is 10 a factor of m?
True
Let z(m) = m**2 - 3*m + 9. Let c be z(9). Let t = c + -38. Let q = 37 - t. Does 7 divide q?
False
Let a be (24/28)/((-2)/(-14)). Suppose w + w - 2 = 0. Is w/3 + 64/a a multiple of 4?
False
Suppose 3*z + 4*p = 48, 2*z - 18 = -3*p + 14. Is 9 a factor of 4/(8/3)*z?
False
Let a(m) = -4*m - 3 + 3*m**3 - 2*m + m**2 + 9. Let v be a(-5). Does 15 divide (-2)/5 - v/10?
False
Let x = 9 + 10. Let p = x + -29. Let h = p + 16. Is 3 a factor of h?
True
Does 5 divide ((-2)/3)/(4/(-36))?
False
Suppose 0 = -3*l + l + 44. Is 11 a factor of l?
True
Suppose -t + 70 = t. Is 35 a factor of t?
True
Let y = 5 + -5. Suppose 0*z - 3*z + 132 = y. Is 11 a factor of z?
True
Let l = 20 + -1. Is 5 a factor of l?
False
Let q(l) = -7 + 4 - l**3 - 8*l**2 + 7*l + 3*l**2 + 3*l. Let f be -7 - (2 + 0 + -2). Is 25 a factor of q(f)?
True
Let l(u) = u**3 + 5*u**2 + 14*u + 3. Let f(n) = -n**3 - 4*n**2 - 15*n - 2. Let r(b) = 5*f(b) + 6*l(b). Is r(-8) a multiple of 25?
False
Suppose 0 = -2*l - 0*l + 12. Suppose 3*u + 4*d - 17 + l = 0, 4*u - 21 = d. Does 5 divide u?
True
Suppose 2*f + 4*n = 0, 3*f + 3*n = 2 + 4. Suppose 0 = r - 5*y - 77, -3*r + y + 251 = -f*y. Is 29 a factor of r?
True
Let f = -9 + 5. Let j = f - -18. Is 20 a factor of (-2424)/(-42) - (-4)/j?
False
Suppose 3*t = 3, 45 = 5*r - t - 4. Let i = 10 + r. Does 14 divide i?
False
Let v = -17 + 85. Does 17 divide v?
True
Let j(o) = -2*o**2 - 11*o - 4. Let q be j(-8). Let z = 35 - q. Suppose -45 = -l - 4*s + 3, z = 3*l - s. Does 14 divide l?
True
Suppose 3*c = 5*r + 73 - 578, 3*r + 5*c = 303. Let g = 61 - r. Let w = -12 - g. Is 14 a factor of w?
True
Let p = 107 + -71. Is 8 a factor of p?
False
Suppose -3*n = -5*h - 6, -4 = -2*n + 4*h - 0. Let g be -8*(n + 0 - 3). Let i(m) = -m**3 + 7*m**2 + 10*m - 12. Is 2 a factor of i(g)?
True
Let l(w) = 15*w**2 - 3*w - 1. Let g be l(-2). Suppose 2*t - t = g. Does 25 divide t?
False
Let b = 3 - 1. Suppose b*g = g + 31. Does 8 divide g?
False
Let z(s) be the first derivative of s**3/3 + 5*s**2/2 + 4*s + 4. Let n be z(-4). Does 4 divide n + 6 + 4/(-2)?
True
Let l = -58 - -16. Let d(b) = 8*b**2 + 2*b - 4. Let r be d(-3). Let w = r + l. Does 10 divide w?
True
Let s be 0*1/3 - -3. Suppose s = 4*j - 9. Let u = j - -3. Does 6 divide u?
True
Suppose 5*d + 3*o - 1150 = 4*o, 0 = -2*d + 3*o + 473. Suppose 5*m = -3*g - g + 200, 0 = -5*g - m + d. Suppose i + g = 4*i. Does 6 divide i?
False
Is ((-51)/(-34))/(3/118) a multiple of 13?
False
Suppose 2*f - 92 = 16. Is f a multiple of 18?
True
Suppose 11 = 4*q + 3. Suppose -18 = -f - 3*t, -2*t - 2 = -q*f - 2*f. Let d = f + 2. Does 2 divide d?
False
Suppose -2*l + 6 = -2*x, -3*l - 6 = -x - 5*l. Suppose h + x*h = 56. Is 12 a factor of h?
False
Suppose 4*k - 1360 = -236. Is 17 a factor of k?
False
Let w(s) = -13 - 8*s + 2*s + 4 + 2*s. Is 14 a factor of w(-8)?
False
Suppose 0*t = -3*t + 2*i + 172, -i = -3*t + 173. Does 17 divide t?
False
Suppose 2*j - 8 = -0, -3*j - 402 = -3*x. Does 39 divide x?
False
Let y = 15 - 7. Let g = 20 - y. Let l = g - 9. Does 3 divide l?
True
Let a(i) = -22*i + 24. Does 14 divide a(-12)?
False
Suppose -5*i + 27 = 4*l, l + 3*i + 11 = 2*l. Suppose -28 = -b + l. Is b a multiple of 12?
True
Let n(b) = 2*b + 7. Suppose 0*y - 5*g = -4*y - 5, 5*y - g - 20 = 0. Is n(y) a multiple of 17?
True
Suppose 5*p - 131 = 59. Is p a multiple of 19?
True
Let k(x) = x**3 - 2*x**2 + 2*x + 4. Is k(4) a multiple of 22?
True
Let z(n) = -n + 4*n - 25*n**3 + 2*n**3. Let h(w) = 12*w**3 - 2*w. Let g(c) = -5*h(c) - 3*z(c). Is g(1) a multiple of 10?
True
Let q(i) = i - 92. Let x(m) = -2*m + 184. Let b(h) = 7*q(h) + 4*x(h). Is 24 a factor of b(0)?
False
Let s(z) = z**2 + 0*z - 3 - z + 2. Let j be s(-2). Suppose -j*k = -2*k - 78. Does 13 divide k?
True
Let b(u) = u**2 - 7*u - 1. Let d be b(6). Let h = d - -31. Is 8 a factor of h?
True
Let d(n) = -n**3 + 2*n**2. Let z be d(2). Let a be 2 - (4 - z)/(-2). Suppose -a + 19 = r. Is r a multiple of 15?
True
Suppose 0*m - 63 = -m. Let i be (-5 + 0)*m/(-5). Let r = i - 29. Is r a multiple of 17?
True
Is -1 + 4/(-6)*-213 a multiple of 47?
True
Suppose 0 = -r - 4*z + 8, 0 = 4*r + z + 2*z - 19. Let t = r - -12. Let f = 33 - t. Does 7 divide f?
False
Let v(h) = -3*h**2 + h + 2. Let y be v(4). Is y*(-2)/4 + 0 a multiple of 8?
False
Suppose -2*s - 105 = -3*s - 3*y, 0 = -5*s + 4*y + 430. Is 9 a factor of s?
True
Let y be (-1)/(2/(-6)) + -1. Let n(z) = -3*z**3 + 13 + 2*z**3 - 3*z**3 - 8*z**y + 3*z**3 + 16*z. Is n(-10) a multiple of 20?
False
Suppose -3*d = -118 - 2. Does 13 divide (-1 - 11)/((-15)/d)?
False
Let g(p) = -10*p - 5. Is g(-5) a multiple of 12?
False
Suppose l - 18 - 22 = -5*b, 4*l + 29 = b. Let v(d) be the second derivative of -d**4/12 + 5*d**3/3 - 3*d**2 - 2*d. Is v(b) even?
False
Suppose -4*x - 122 = 2*c, -2*c + x - 118 = 3*x. Is 5 a factor of (-4)/(-6)*c/(-2)?
False
Does 8 divide ((-8)/(-8))/((-2)/(-76))?
False
Suppose -4*m + 5*m = 58. Let t(z) = -36*z + 1. Let r be t(1). Let s = m + r. Is 12 a factor of s?
False
Suppose n - 12 = 3*n. Let b(k) be the second derivative of -k**4/12 - 4*k**3/3 - 5*k**2/2 + 2*k. Is b(n) a multiple of 3?
False
Let w = -12 - -17. Suppose -5*j + 10 = -5*v, 15 = 5*v - 0*v. Suppose i + 11 = w*q - 43, -20 = j*i. Is 10 a factor of q?
True
Suppose 0 = 5*s - 3*t - t - 72, 5*s + 3*t - 51 = 0. Suppose 0*x = 4*x + 40. Let u = s - x. Is u a multiple of 13?
False
Let o = 47 + -72. Let u = -11 - o. Is 7 a factor of u?
True
Let y = 202 - 26. Is y a multiple of 41?
False
Let n(x) = -x**3 + 10*x**2 - 9*x + 4. Let j be (-1)/(-1*1/8). Is n(j) a multiple of 15?
True
Let t(u) = u**3 - 11*u**2 + 6. Let b b