 Suppose -3*p + d = -5. Suppose p*i = -2 + 8. Is 2 a factor of i?
True
Let x be 0*2*(-1)/2. Suppose d + 5 - 21 = 2*s, 5*d - 2*s - 56 = x. Does 9 divide d?
False
Suppose r + 3*r = 64. Suppose -4*n + r = 4*c, 2*c - 5*n + n - 2 = 0. Does 3 divide c?
True
Does 9 divide -3*4/6 + 39?
False
Suppose -6*t = -10*t + 92. Is t a multiple of 15?
False
Does 2 divide (-46)/(-11) - (-18)/(-99)?
True
Let k(c) = -3*c - 3. Let m be k(-2). Does 9 divide m - -20 - (0 - 2)?
False
Let d be (-34)/(-6) + (-10)/(-30). Suppose -576 = -0*c - d*c. Is c a multiple of 32?
True
Suppose -5*l = -0*l + 120. Let t = -13 - l. Is t a multiple of 5?
False
Let b be (-4)/18 - (-620)/36. Suppose -17 - b = -2*h. Does 7 divide h?
False
Let u(s) = s**2 - 5. Let v(y) = -2*y**2 + y + 10. Let i(w) = 5*u(w) + 2*v(w). Let j be i(4). Suppose -j - 3 = -l. Is l a multiple of 11?
True
Suppose -19*n + n = -3978. Does 14 divide n?
False
Let k(o) = -o**2 + 20*o - 13. Is k(19) a multiple of 6?
True
Let g = -15 - -48. Is 11 a factor of g?
True
Let i(b) = -5*b**2 - 3*b**3 + 4 - 2*b + 2*b + 2*b**3. Let s be i(-5). Suppose j - 17 = s*v + 22, -3*v = -5*j + 161. Is 8 a factor of j?
False
Let k(l) = -l**3 + 27*l**2 + 26. Is 26 a factor of k(27)?
True
Suppose -5*c + 0*c - 3*g - 33 = 0, -3*g - 3 = 0. Is 9 a factor of (-3)/c*2*17?
False
Let q(f) = -f**2 + 3*f + 2. Let b be q(2). Suppose 0*o + o = b. Suppose o*a - 6 - 17 = -j, 5*a - 62 = -3*j. Is j a multiple of 8?
False
Let i = -5 - -3. Let c(d) = 15*d**2. Let q be c(i). Suppose -5*m = -5*n - q, 2*m = 4*n + 13 + 15. Is 5 a factor of m?
True
Let m(l) = 8*l**2 + 1. Is 11 a factor of m(2)?
True
Let v be 4/(-10) - (-6)/(-10). Let l = v - -1. Suppose -4*j + 45 + 87 = l. Is 14 a factor of j?
False
Let k = 242 + -152. Does 15 divide k?
True
Let y(t) = t**2 + 4*t - 8. Let d be y(-6). Suppose -5*j - 2*m - 49 = 0, -6*j - 53 = -j + d*m. Is (-260)/(-45) - 2/j a multiple of 4?
False
Let k = 6 + 46. Does 26 divide k/(0 + 3 + -2)?
True
Let n(m) = -9*m**3 - m**2 - 3*m - 2. Is 31 a factor of n(-2)?
False
Let a be (1/(-2))/((-5)/(-50)). Let n = 15 + a. Does 10 divide n?
True
Let j = -1 + 1. Suppose 2*d - 31 = -27. Suppose -4*b - 81 = -d*r + b, -2*r - 2*b + 46 = j. Is 14 a factor of r?
True
Suppose 9 = 5*d - 26. Let z = -1 + -3. Let f = d + z. Is f a multiple of 3?
True
Let i = -109 + 39. Let z be (6/(-5))/(21/i). Suppose -2*l - 2*u + 54 = -0*u, z*u + 36 = 2*l. Is l a multiple of 12?
True
Suppose -3*l + 3 = -3*u, 0*u = -5*u + 3*l - 11. Suppose 3*q = 7*z - 2*z + 47, 0 = 3*q - 2*z - 35. Let w = u + q. Is 5 a factor of w?
True
Suppose 2*r = -31 + 103. Is r a multiple of 18?
True
Suppose -2*c = 2*c - 124. Does 7 divide c?
False
Let f be (-43)/(-5) - 6/(-15). Let q = 13 - f. Suppose 5*d = 4*d + q, 3*d + 140 = 4*i. Does 18 divide i?
False
Suppose v - 6 = -v. Suppose 0*z = -v*z + 48. Let n = z + 4. Is n a multiple of 10?
True
Suppose -2*i - 4*i + 906 = 0. Is i a multiple of 12?
False
Let v(w) = -w**2 - 7*w + 1. Suppose -2*b + 25 = -7*b. Is 3 a factor of v(b)?
False
Suppose g - 2 = -3*a - 3, -3*a = 2*g - 13. Does 4 divide g?
False
Let v(j) be the third derivative of j**5/20 - j**4/24 + 5*j**2. Does 14 divide v(-2)?
True
Let h = 757 - 415. Is h a multiple of 18?
True
Suppose 3*v - 10 = -4*s, -3*s - 1 + 7 = 2*v. Does 3 divide ((-7)/3)/((-2)/v)?
False
Let b(p) = p**3 - 4*p**2 + p - 4. Let x be b(3). Is (-284)/(-10) - (-4)/x a multiple of 8?
False
Suppose 4*r - 53 = 191. Is r a multiple of 9?
False
Let a(v) = v**3 + 4*v**2 - 6*v - 2. Let y be a(-5). Suppose r + m - 12 = 0, -3*m = -r - m + y. Is 8 a factor of r?
False
Suppose 0 = 15*i - 472 - 218. Is i a multiple of 8?
False
Let r(m) = -m + 7. Let n be r(-5). Let z = n + 6. Is z a multiple of 13?
False
Let g be (18/(-8))/(6/(-16)). Suppose -j - g = -3*v, v + j = -0*j + 6. Suppose -3*q - q = 2*k - 4, 27 = v*k - q. Is k a multiple of 3?
False
Let g = 93 - 37. Is 7 a factor of g?
True
Let i be 189/14 - (-3)/(-2). Let y = i - -11. Does 21 divide y?
False
Let w = 85 + -49. Suppose 0 = -3*v - 0*v + w. Is 11 a factor of v?
False
Let h = 9 - 5. Suppose 0 = -k - 4*f + 9, -9 = -h*k + 2*k + f. Suppose k*s = -2*u + 154, -4*s - 3*u + 7 = -112. Is s a multiple of 16?
True
Suppose 2*t - 8 = -2*c - 2*c, 2*c = -3*t. Is (-1 - -67) + t/2 a multiple of 22?
False
Let w be 5/(15/(-8))*3. Let a be ((-6)/4)/((-3)/w). Is a + 1 - 10/(-1) a multiple of 2?
False
Let s = -4 - -4. Suppose s = m + m. Suppose -2*w + d = -m*w - 36, 5*w - 87 = 4*d. Does 12 divide w?
False
Suppose j = 2*c - 75, 2*c + j + 183 = 7*c. Let g = 98 - c. Does 21 divide g?
False
Let p = -103 + 178. Let h = 105 - p. Does 10 divide h?
True
Let p = 2 - 1. Suppose -p + 25 = 3*x. Does 8 divide x?
True
Suppose u + 1 = a + 9, -4*a - 2 = -u. Suppose r - 4 = 0, -3*x + 49 + u = 5*r. Is x a multiple of 3?
False
Let k(o) = 5*o + 1. Let j(x) = -1. Let n(z) = j(z) - k(z). Let u(d) = -4*d**2 - d. Let w be u(-1). Is n(w) a multiple of 4?
False
Let k be (-4)/(-6) + (-2)/3. Suppose 4*t = -0*t + 68. Suppose 22 = 4*x - 2*x - 4*h, k = -3*x + 2*h + t. Does 3 divide x?
True
Suppose -5*z + 97 = -53. Suppose -5*f = -3*o - z, -2*f + 5*o = 2*f - 37. Is f a multiple of 3?
True
Suppose -a - 4*a + 4*j - 16 = 0, a + 16 = 4*j. Suppose h + 4*h = a. Let d = 7 + h. Does 7 divide d?
True
Let s(k) = k**3 + k - 7*k**2 - 5*k**3 - 6 - 11*k + 3*k**3. Does 5 divide s(-6)?
False
Let n = -48 - -83. Suppose 0 = 2*y + y - 4*s - n, 5*y - 97 = -3*s. Suppose 2*i - y = 1. Does 3 divide i?
True
Let s = 173 - -5. Let a = s - 127. Is a a multiple of 17?
True
Suppose 4*t - 122 = -22. Let l = t - 14. Is l a multiple of 5?
False
Let a be (-1)/5 - (-32)/10. Let s(n) = -2 + n**a + 4*n**2 - 2*n + 5 - 5*n**2. Is s(3) a multiple of 15?
True
Suppose -i - 5*s + 7 = 0, 2*s + s - 28 = -2*i. Is i a multiple of 2?
False
Let c(k) = -4*k**2 - 12*k - 10. Let q(m) = m**2 - m - 1. Let p(d) = -c(d) + 12*q(d). Let n be p(-2). Suppose -w + n = w. Is 14 a factor of w?
False
Does 12 divide (-2)/(-12) - 143/(-6)?
True
Let m = 63 - 32. Does 6 divide m?
False
Suppose y - 10*y = -162. Is y a multiple of 6?
True
Let v(p) = p**2 - 1 + 0*p + 5*p + 4 - 4. Does 2 divide v(-6)?
False
Let j be (-1)/4 - (-1170)/40. Let z be (-6)/(-21) - 38/(-14). Suppose 1 + j = 5*t + z*i, 2*i = -t + 13. Is t a multiple of 2?
False
Let q(h) = h**2 - 17*h - 15. Is q(20) a multiple of 15?
True
Let t(z) = -3*z**2 - 11*z - 18. Let x(r) = -r**2 + r - 1. Let v(l) = t(l) - 2*x(l). Let n be v(-12). Does 5 divide (3 - -12)*n/(-5)?
False
Suppose 2*p + a - 4*a = -30, 0 = -2*p - 5*a + 2. Let w(h) = -4*h**2 - 5*h + 1. Let n(g) = 7*g**2 + 11*g - 3. Let d(m) = 3*n(m) + 5*w(m). Is d(p) even?
False
Suppose p + 22 = 3*o - 0*o, 0 = 2*o + 4*p - 24. Let j be o/6*45/10. Let i(h) = h**3 - 6*h**2 + 3*h + 8. Does 13 divide i(j)?
True
Is 1 + 123 + (-60)/15 a multiple of 12?
True
Suppose -127 = -4*k + 145. Is k a multiple of 17?
True
Suppose 3*v - 4*z - 18 = -0*v, 2*v + 4*z - 32 = 0. Is v*4/8 - 2 a multiple of 2?
False
Suppose v - 176 = -v - 5*s, -4*s = -5*v + 440. Is 11 a factor of v?
True
Let h(w) = w**3 - 6*w**2 + 8*w - 1. Is h(6) a multiple of 19?
False
Let j be 6/4*(-8)/(-3). Suppose -21 + 5 = -j*i. Let k = i + 43. Does 19 divide k?
False
Let n = 34 + -26. Let x = 7 + n. Is 15 a factor of x?
True
Suppose 96 = g - 5*j, 4*g + 0*j + 2*j = 450. Suppose -4*f + g + 25 = 0. Does 15 divide f?
False
Suppose 3*a = 3 - 0. Is 5*((-21)/(-15) - a) a multiple of 2?
True
Let f be (-4)/(-1) + (0 - -2). Let i = f - 6. Does 7 divide (-2)/(-2) + i + 19?
False
Let c(a) = 13*a**2 - 3*a + 2. Let v be c(2). Let d = 13 + -8. Let l = v - d. Is l a multiple of 15?
False
Let i = -48 + 108. Is 30 a factor of i?
True
Let v = 38 - -186. Does 28 divide v?
True
Suppose -3*w + 13 + 17 = 3*v, 0 = -4*w - v + 34. Is w a multiple of 7?
False
Let j(t) = -2*t + 7. Suppose -19 = -3*h - 3*q + 17, 0 = -2*q + 6. Let r be (1 - -6)*(h - 10). Is 7 a factor of j(r)?
True
Let w = 140 + -39. Does 48 divide w?
False
Let a = -3 - 44. Let s = a + 95. Does 12 divide s?
True
Let x(t) = -t**3 - 3*t**2 - 3*t - 2. Let c be x(-3). Suppose -5*k - c = -32. Is k even?
False
Let x be 335/10 - (-2)/(-4). Suppose -5*i - 11 = -c, -i - x = -3*c + 2*i. Is 11 a factor of c?
True
Is ((-30)/(-8))/(((-7)/(-16))/7) a multiple of 12?
True
Does 6 divide (11/((-22)/4))/(1/(-26))?
False
Let v(a) 