) - 2/(-3)?
False
Let v = -11 - -15. Suppose -2*k - v = 0, 2*k = -3*x - 0*x + 23. Does 9 divide x?
True
Let v be 1 + (-4 - 0)/1. Let y = v + 5. Let d(h) = 16*h. Does 16 divide d(y)?
True
Let b = 8 + -5. Suppose -b*g = -12 - 0. Suppose 32 = 4*a - g. Is 4 a factor of a?
False
Suppose 5*d - 959 = -384. Is 23 a factor of d?
True
Let j = -18 - -48. Is j a multiple of 15?
True
Suppose -2*d + 6*d = 120. Is d a multiple of 10?
True
Let y(s) = s**2 - 7*s + 6. Let j be y(7). Let h(o) = -1 - 2*o**3 + 2*o**2 + 2*o**2 - j*o**2 + 3*o. Is 13 a factor of h(-3)?
True
Suppose -6*t - 21 = -7*t. Does 7 divide t?
True
Suppose -16*q = -13*q. Suppose q = 4*a - 38 + 2. Does 3 divide a?
True
Suppose -3*y = 3*o + 68 + 49, -y + 121 = -3*o. Let r = -20 - o. Is 6 a factor of r?
False
Let s be 2 + (-2 - (3 - -107)). Let o = s + 241. Suppose -4*x + o = u, 0 = -4*x - 4*u + 112 + 4. Is 26 a factor of x?
False
Let h be (3 - 3)*1/(-2). Suppose -3*c + 18 = -7*k + 4*k, 0 = -k - 2. Suppose 0*d + c*d - 88 = h. Does 7 divide d?
False
Let l = -3 + 8. Let k = l + -6. Let o(s) = 23*s**2 - s. Does 24 divide o(k)?
True
Suppose -4*c = 2*m - 6 + 52, m = 4*c + 7. Let q be (-1)/(2 - m/(-6)). Suppose -q = -2*b + 4. Does 2 divide b?
False
Let l(v) = -7*v**2 - 1. Let f(c) = c**3 + 1. Let n be f(0). Let w be l(n). Let s(m) = -2*m + 8. Is s(w) a multiple of 13?
False
Let h(c) = -c**3 - 12*c**2 - 12*c + 13. Is h(-11) a multiple of 6?
True
Let r = 30 + 19. Does 18 divide r?
False
Let j(m) be the third derivative of -4/3*m**3 + 0*m + 0 + 5/24*m**4 + 3*m**2 + 1/30*m**5. Is j(-6) a multiple of 13?
False
Let t(n) = -2*n - 10. Let l be t(-7). Suppose -3*k = p - 151, -l*k - 3*p + 0*p + 198 = 0. Is 17 a factor of k?
True
Let y(c) = -c**3 - 6*c**2 - 2*c - 10. Is 25 a factor of y(-7)?
False
Suppose 29 = h + v + v, -5*v = 2*h - 63. Is h even?
False
Let n(o) = -o**2 - 35*o - 16. Is 55 a factor of n(-24)?
False
Let h(f) = 3*f**2 - f + 4. Let w be 2/(-15) - 470/(-150). Is h(w) a multiple of 11?
False
Let k be (-8)/(-20) - 16/(-10). Let i be 2*(-2 - (-5)/k). Let s(y) = 16*y**2 - 1. Is s(i) a multiple of 15?
True
Let j = -55 - -77. Is j a multiple of 11?
True
Does 11 divide -5 + -1 + (-3 - -20)?
True
Let c(x) be the first derivative of -x**4/2 + 2*x**3/3 - x**2/2 + 3. Let h be c(1). Does 14 divide 3/(-1)*(-13 + h)?
True
Let v(j) = 5*j**3 - 12*j**2 + 41*j + 3. Let q(b) = -b**3 + 3*b**2 - 10*b - 1. Let z(g) = -9*q(g) - 2*v(g). Is 9 a factor of z(-5)?
False
Is 461/6 - (-6)/36 a multiple of 9?
False
Let g(v) = v**3 + 11*v**2 + 16*v + 4. Does 4 divide g(-4)?
True
Let s(g) = -55*g - 1. Let a be s(1). Let j be (0 - (-378)/4) + 6/(-12). Let o = a + j. Is o a multiple of 22?
False
Let p(w) = -w**3 + 6*w**2 + 2. Let o be p(6). Suppose -o = 2*h - 10. Is 12 a factor of (h - 1)/((-2)/(-22))?
False
Suppose 186 = 2*o + 4*y, -2*y - 3*y = 15. Let p = -56 + o. Is 24 a factor of p?
False
Let y(h) = -13*h. Let x(t) = 3*t - 1. Let s be x(7). Let j be (-25)/s - (-2)/8. Does 6 divide y(j)?
False
Suppose -2*v = -5*o + 93, -2*o + 2*v + 40 = 4*v. Is o a multiple of 7?
False
Let l be (-2)/5 - 296/(-40). Suppose 0 = 3*t + 5*a - 79, l*t - 95 = 4*t - a. Is t a multiple of 20?
False
Let m = -115 + 193. Suppose 0 = -w - 2*w + m. Is 9 a factor of w?
False
Let r = -103 + 147. Does 9 divide r?
False
Suppose -175 - 2057 = -9*f. Does 31 divide f?
True
Suppose -44 = -2*k + 72. Suppose -r - 3*q + 50 = -5*r, k = -4*r - q. Let v = -5 - r. Is 5 a factor of v?
False
Suppose 2*p + 0*p = 336. Let s = p + -116. Does 15 divide s?
False
Let k(x) = -x**2 - 4*x + 1. Let u be k(-3). Suppose 2*m + 0 = u. Suppose 4*z - m*z - 28 = 0. Is 6 a factor of z?
False
Let a = 64 - 20. Is a a multiple of 11?
True
Suppose v - 108 = -v. Is v a multiple of 29?
False
Suppose -9*p = -3*p - 102. Does 17 divide p?
True
Is (2 - 3/2) + 199/2 a multiple of 20?
True
Suppose 2*j + 39 = 5*j. Suppose -13 = -k + j. Is 13 a factor of k?
True
Let o = 6 - 3. Does 11 divide (-32)/(-3) + 1/o?
True
Let r(a) = -a**3 - 3*a**2 - 8. Does 2 divide r(-4)?
True
Suppose -3*c - 2*c = -45. Is c*1/((-9)/(-24)) a multiple of 8?
True
Let c(w) = 2*w - 6. Let i be c(5). Suppose -i*f + 7 + 33 = 0. Let n = -8 + f. Is n even?
True
Does 7 divide (-264)/(-15) + 4/10?
False
Suppose j - 3*j = 12. Let w be (-2 - -4) + -5 + 1. Is 7 a factor of (-4 - w - 0)*j?
False
Let a(f) = 3*f - 7. Let n be a(5). Let u(z) = z**3 + 7*z**2 + 6*z - 2. Let q be u(-6). Let i = q + n. Is 3 a factor of i?
True
Let t(b) = b**2 - 4*b + 6. Let p(x) = 2*x**2 - 2*x + 1. Let y be p(2). Suppose -5*l + y + 15 = 0. Is 5 a factor of t(l)?
False
Let j = -39 + 120. Is j a multiple of 27?
True
Suppose 5*x + 3*u - 8 = -u, -4*x + 4*u = -28. Suppose 7*i - x*i = 78. Is i a multiple of 12?
False
Suppose 4*b + 3*t + 0*t - 248 = 0, -t = 2*b - 126. Is 13 a factor of b?
True
Suppose -3*b + 2*a + 226 = -0*a, 134 = 2*b + 2*a. Is b a multiple of 18?
True
Let y = 109 + -71. Is 7 a factor of y?
False
Let c be 1/6*3*0. Suppose 2*w + 0*w - 30 = -2*t, c = -2*w + 5*t - 5. Is 5 a factor of w?
True
Suppose 4*x + 2*l = -2*l + 172, l = x - 53. Is x a multiple of 11?
False
Let p(w) = -w**3 - 7*w**2 - 6*w + 8. Let t(s) = -s**3 - 11*s**2 + 14*s + 18. Let f be t(-12). Does 4 divide p(f)?
True
Let t(y) = y**3 - 5*y**2 - 6*y + 4. Suppose -2*u - u + 12 = 0. Suppose 0 = -6*c + u*c + 12. Is 4 a factor of t(c)?
True
Let r be (8/2 + -3)*0. Does 5 divide 15 - r/(-4 + 0)?
True
Let b = 60 + 15. Suppose -m - b = -6*m. Suppose -3*h - m = -4*h. Is h a multiple of 8?
False
Suppose -12*y = -15*y + 681. Is 13 a factor of y?
False
Suppose -t - 238 = -3*c, 7*c - 3*t - 390 = 2*c. Does 27 divide c?
True
Let d = 0 + 2. Suppose 0 = -5*m - 3 - d, 3*j + 5*m = -5. Suppose 0 = -4*p - h - 0*h + 14, -5*p + 4*h + 28 = j. Is 4 a factor of p?
True
Let f be (2/4)/((-1)/(-14)). Suppose 5*s + f = -58. Does 14 divide 0 + 0 + 1 - s?
True
Suppose 6*m - 216 = -0*m. Is 33 a factor of m?
False
Suppose 0 = -3*b - 210 + 66. Let d = 0 - b. Does 24 divide d?
True
Suppose -14 = -2*i + 8. Is 2 a factor of i?
False
Let m = 8 - 6. Let w be (4 - (m - 2))/(-1). Is 5 a factor of (2 + w)*(1 + -6)?
True
Let t(r) = r**2 + 9*r + 15. Is t(-10) a multiple of 25?
True
Let h = 205 - 30. Suppose 0 = -3*w + 4*u - 41 + 111, h = 5*w + 5*u. Does 10 divide w?
True
Let q = -143 + 286. Is 15 a factor of q?
False
Is 2*3/(-6) + 8 a multiple of 6?
False
Suppose 4*l = -101 + 29. Let i = 27 - l. Is 15 a factor of i?
True
Let a be -37 + 7 - (1 - -2). Let v = 23 + 32. Let l = v + a. Is l a multiple of 11?
True
Suppose -7 = -3*y - 28. Is (0 - -7)*(-24)/y a multiple of 10?
False
Suppose 0 = 2*z - 5*d - 152, -3*d + 7 = 19. Does 11 divide z?
True
Suppose -c - q = 2*c + 23, -2*q = -2*c - 26. Is c*2*(-2)/2 a multiple of 7?
False
Let s(i) = i**2 - 2*i - 1. Let k be s(-2). Let y = 5 + k. Is 6 a factor of y?
True
Let d(g) = 17*g**2 + g - 3. Let p(u) = u**3 + 7*u**2 + u + 5. Let k be p(-7). Is 21 a factor of d(k)?
True
Does 13 divide ((-702)/15)/(2/(-5))?
True
Suppose 0 = -3*h - 4*y + 15, 0 = -h + 6*h + 4*y - 25. Suppose 20 = h*t - 10. Is t a multiple of 6?
True
Suppose -16*t = -1639 + 503. Is t a multiple of 4?
False
Suppose n - 18 = 3. Is 7 a factor of n?
True
Let d(n) = 5*n - 20. Is 9 a factor of d(10)?
False
Suppose 0*a + 2*x = a + 3, 4*a + 3*x = -23. Let o be 1 + 49 + 10/a. Does 6 divide (o/15)/(1/5)?
False
Suppose 0 = -5*z + 12 + 3. Suppose -4*p = z*w - 38, 2*w = -5*p + 7 + 30. Is 6 a factor of w?
True
Suppose 0*x - 7*x = 0. Let v(t) = t + 4. Let c be v(0). Suppose -c*l + 52 = -x*l. Is 6 a factor of l?
False
Let p(f) = -3*f - 7. Let a be p(-4). Suppose c - 75 = 2*i, i = a*c - 0*i - 348. Is c a multiple of 22?
False
Suppose -g + 7 = -27. Suppose 0 = 3*j + 5*l - g - 43, 4*l + 190 = 5*j. Does 7 divide j?
False
Let d(n) = -n**3 + 2*n**2 + 5*n + 1. Is d(-4) a multiple of 10?
False
Is -5*((-66)/10 - -1) a multiple of 7?
True
Suppose 173 = 5*f - 12. Is 8 a factor of f?
False
Let p(b) = b**2 - 7*b - 14. Let l be p(11). Let j be (-312)/(-10)*(0 - -5). Is 2 a factor of j/l - 2/10?
False
Let p = 19 + -23. Does 2 divide (4 + 84/(-16))*p?
False
Let d = 53 + -36. Suppose 4*x - 67 = -3*y, -2*y + d = x - y. Does 8 divide x?
True
Let d = -135 - -243. Does 19 divide d?
False
Suppose -4*s = -u + 120, -2*u - 2*s + 260 = -0*u. Is u a multiple of 16?
True
Let f = 0 - -49.