Let a be r(x). Suppose 0 = 2*f - a*t + 2*t - 28, 0 = -5*f + 3*t + 54. Does 8 divide f?
False
Let u = 8 + -15. Let i = 3 - u. Does 10 divide i?
True
Does 31 divide (-3)/2 + 1551/6?
False
Let x(b) = -11*b + 4. Does 22 divide x(-8)?
False
Let x(f) = -f**3 + 9*f**2 - 4*f + 4. Does 11 divide x(8)?
False
Let q = 3 - 8. Does 18 divide -3*5/(q/6)?
True
Let w = 29 + 70. Does 33 divide w?
True
Suppose -3*l = -l + 2*q - 30, -3*q = -l + 15. Let c = 34 - l. Does 9 divide c?
False
Let n = 50 - 34. Does 6 divide n?
False
Let y(d) be the first derivative of 2*d**2 - 1/4*d**4 - 4/3*d**3 - 1 + d. Is y(-5) a multiple of 6?
True
Let g(s) be the first derivative of -s**5/20 - s**4/4 - s**3/2 + 5*s**2/2 + 2*s + 2. Let t(f) be the first derivative of g(f). Is t(-4) a multiple of 15?
False
Let s = 51 + 4. Does 8 divide s?
False
Let x(p) = p**2 - p. Let l(k) = -2*k**3 - k**2 + 2*k + 2. Let j(b) = l(b) + 2*x(b). Does 11 divide j(-2)?
True
Let k(a) = -4*a + 0*a**2 + a**2 - 2 - 4*a**2 + 0*a**2 + 2*a**3. Does 21 divide k(4)?
False
Suppose 3*v - 115 - 26 = 0. Does 8 divide v?
False
Is 3766/22 - -9*18/(-891) a multiple of 14?
False
Does 9 divide 0/(6 - 4) + 36?
True
Let y = 5 - -3. Is y a multiple of 5?
False
Let a(g) = 167*g**2 - g + 1. Let n be a(1). Suppose -4*u + n = 2*t - 19, -4*u + t = -177. Is 15 a factor of u?
True
Suppose -2*q = -3*q + 5. Let a(w) = w**2 + 3*w - 8. Does 8 divide a(q)?
True
Let h(d) = 37*d. Let p be (3 + 0)*4/12. Is h(p) a multiple of 37?
True
Let i(t) = t + 2. Let u be i(-2). Suppose u = -5*z + 25 + 5. Is 3 a factor of z?
True
Let g = -7 - -9. Suppose g*t - 15 = -0*b - 3*b, 2*b + 5*t = 21. Suppose -3*v + 66 = -2*j, 3*j = 2*j + b. Is 24 a factor of v?
True
Let p = 215 - 166. Is p a multiple of 6?
False
Suppose 155 = 2*m - 3*a + 12, -69 = -m - a. Is m a multiple of 5?
True
Let o(h) = -h**2 + 8*h + 9. Let f be o(9). Suppose -4*p + 203 + 13 = f. Does 20 divide p?
False
Suppose 0 = -a + 3*j + 1, 3*a + 5*j = 5*a - 3. Is 4 a factor of a?
True
Suppose -5*g + 4*t = -210, 2*g - 4*g + t = -84. Is g a multiple of 7?
True
Suppose -t + 76 = -2*b, 3*b - 2*t - 23 = -139. Let c(j) = 2*j**2 + j - 1. Let k be c(2). Is 10 a factor of (-568)/b + 2/k?
False
Suppose -6*u + 85 = 2*z - u, 0 = -4*z + 2*u + 158. Is 20 a factor of z?
True
Suppose 0 = -0*b + 4*b + 28. Let k be b*1*(-1 + 2). Let w = 11 + k. Is 4 a factor of w?
True
Suppose x + 3*a = -0*a + 38, 0 = -x - 4*a + 42. Is 9 a factor of (1/(-2))/((-1)/x)?
False
Suppose 0*x = -x + 72. Suppose -3*n - 2*i = -29 - 43, -x = -3*n + i. Is 12 a factor of n?
True
Let o(z) = -5*z**2 - 4 + 3*z**2 - 6*z + 4*z**2. Let v(q) = q**3 - 4*q**2 - 4*q. Let k be v(5). Is o(k) a multiple of 8?
True
Suppose 2*u - 65 = -3*u. Let v be u + 1*(2 - 3). Let g = v - 4. Does 8 divide g?
True
Does 9 divide 0 + -1*(-72 + 0)?
True
Let v = 53 - 18. Let o = 13 + 6. Let l = v - o. Is 8 a factor of l?
True
Suppose 0 = -8*g + 5*g + 291. Is 13 a factor of g?
False
Suppose 2*r - 18 = 4. Is 3 a factor of r?
False
Let r = 35 - -55. Is 45 a factor of r?
True
Let n = 3 - 0. Let x = n - 0. Does 3 divide x?
True
Let h = 6 + -1. Suppose -4*d - 3*g = -230, 5*d = 5*g + 145 + 160. Suppose 0 = h*n + 4*m - d, -3*m + 18 = 3*n - n. Does 15 divide n?
True
Suppose -101 = -2*u - 9. Let x = u + -22. Is x a multiple of 12?
True
Suppose -2*b = -24 + 2. Is b a multiple of 6?
False
Let m = -8 - -19. Let l = m + 19. Does 15 divide l?
True
Let a be ((-8)/(-16))/(1/(-6)). Let t = 15 - a. Does 6 divide t?
True
Suppose -4*b - 9 - 3 = -3*v, -3 = b + 3*v. Let p be (-2)/3 + (-8)/b. Suppose p*q = 3*q - 36. Is q a multiple of 18?
True
Suppose 4*r + 14 = 3*v, 3*v - 8*v = 3*r - 4. Let h be 3/(-5) + r/5. Let u = h - -19. Is 9 a factor of u?
True
Let a = 103 - 96. Does 2 divide a?
False
Suppose 7 = 3*j - 239. Does 16 divide j?
False
Let c(z) = 2*z + 1. Let p be c(2). Let d(b) = 2*b**2 - 7*b + 2. Is 7 a factor of d(p)?
False
Suppose -4*o - 792 = -15*o. Does 12 divide o?
True
Suppose 12 = 4*c - 0*c - x, -4*c + 12 = 3*x. Suppose -h = -m + 63, c*m + 2*h = -2*h + 154. Is m a multiple of 30?
False
Let s(c) = c**3 + 7*c**2 - 4*c. Is 5 a factor of s(-7)?
False
Suppose -5*n - 2*v = -345 - 115, -3*n - 3*v + 285 = 0. Does 9 divide n?
True
Let k(w) = -32*w + 1. Let r be k(-1). Let v = 0 - r. Does 4 divide 4/(-16) + v/(-4)?
True
Let l(x) = 5*x + 2. Let d be l(-2). Let f(m) = m + 11. Let c be f(d). Does 8 divide (-6)/(-2)*17/c?
False
Let p be 3/(-4)*2*-2. Let l = p - -4. Let n = l - 4. Is n even?
False
Let l(p) be the first derivative of p**2/2 + 7*p - 4. Is l(8) a multiple of 14?
False
Suppose 2*c - 209 = 201. Does 9 divide c?
False
Let m(c) = 36*c**2 + 2*c + 1. Let z be m(-1). Let s = z + -24. Is s a multiple of 11?
True
Let z be (30/8)/((-9)/(-36)). Let o be (1 - -6) + (-1 - 1). Suppose -h = -o - z. Is 10 a factor of h?
True
Suppose 0 = 9*s - 14*s + 65. Does 6 divide s?
False
Is ((-2)/4)/((-562)/(-564) + -1) a multiple of 15?
False
Let o be -3*(2 - 3) - 1. Let x(j) = 16*j**2 - 2*j + 3. Is 16 a factor of x(o)?
False
Suppose 5*g - 323 = j, -2*g + 3*j + 126 = j. Does 20 divide g?
False
Let m = 144 - 66. Is 18 a factor of m?
False
Let r(z) = -z**3 + 8*z**2 + 5*z - 6. Let y be r(6). Let s be (y/40)/(3/20). Let c = s + -9. Is 7 a factor of c?
True
Does 10 divide 1 + 0 - (-28 - 1)?
True
Let l = 10 - 4. Is l a multiple of 2?
True
Let g(z) = z**2 + 5*z + 3. Let l be g(-5). Suppose 152 = q + l*q. Does 14 divide q?
False
Let s be 2 + (-34*1 - -3). Let x = s + 52. Is x a multiple of 12?
False
Suppose 0 - 8 = -2*x, 0 = 2*c + 2*x - 20. Is 3 a factor of (3 - 5)*(-21)/c?
False
Let z = -1 - 2. Let w = 24 - 16. Let b = z + w. Is b a multiple of 2?
False
Suppose -228 = 5*f - 648. Does 28 divide f?
True
Let a(n) = -n**3 - 5*n**2 - 7*n - 6. Is a(-6) a multiple of 24?
True
Suppose 0 = -4*p - n + 132, -5*p + n + 172 = 4*n. Is 7 a factor of p?
False
Let v = 118 + -82. Suppose 0 = -2*l - l + v. Let k(t) = 3*t + 16. Is 21 a factor of k(l)?
False
Let t be ((-36)/30)/((-3)/(-10)). Let r = t + 7. Suppose -r*x - k = -82, -2*x - k + 21 = -35. Is 13 a factor of x?
True
Let m = 2 - 3. Let f be 1*((m - -3) + -2). Suppose f = -3*p + 4*p - 28. Is p a multiple of 14?
True
Suppose -5*x - 3*u = -40, -2 - 3 = -u. Let l be (-31)/(-4)*2*2. Suppose f + x*g = 1 - 11, -5*f + l = -2*g. Is 3 a factor of f?
False
Let z(u) = -u - 3. Let g be z(-4). Let x(q) = 5*q**3 + q**2 - q. Let i be x(g). Suppose i*l + 44 = 4*m, 8*m = 3*m - l + 55. Is m a multiple of 5?
False
Suppose -u + 6 = 2. Suppose -2*m + 2*o - 5 + 75 = 0, u*o + 80 = 2*m. Is 15 a factor of m?
True
Suppose 135 = t + 2*t. Does 8 divide t?
False
Let m = 83 + -52. Does 12 divide m?
False
Suppose -z + 14 = -23. Suppose 3*p + j = z, -19 = -5*p + 3*j + 52. Is 8 a factor of p?
False
Suppose 7 + 13 = 4*j. Suppose -j*v - 13 = m, v = m - 2 - 3. Suppose i + 5 = m*i. Does 5 divide i?
True
Let q = 0 + 15. Let o = q + 23. Is 5 a factor of 1/(-2) + o/4?
False
Suppose j = 2 + 1. Suppose -j*w + 21 + 45 = 0. Suppose -g + w = g. Does 5 divide g?
False
Let l = -5 - -43. Suppose 4*s = 12, l = 5*n - 3*s - s. Is 16 a factor of ((-92)/n)/(3/(-15))?
False
Let h(q) = -q**3 + 3*q**2 + 11*q + 7. Is h(-4) a multiple of 17?
False
Let u be (4/(-12))/((-2)/(-246)). Let g = -12 - u. Is 10 a factor of g?
False
Suppose g = -0*g + 32. Suppose l - g = -l. Is 11 a factor of l?
False
Suppose -3*z = 4*n - 5, -5*z - 1 = -n + 6. Does 24 divide z + 24 - (-1)/1?
True
Suppose k - 5 = -4*p, -p - 5*k = -0*p - 6. Let n = p - -2. Suppose -2*t - i = n*t - 106, -5*i = 4*t - 68. Does 17 divide t?
False
Let d = 177 + -101. Is d a multiple of 10?
False
Suppose -187 = -4*d - 5*r, 3*r = -d - 22 + 67. Does 12 divide d?
True
Let o(r) = r - 2. Let x be o(8). Suppose -82 = -5*p - 2*g + x, 3*g + 57 = 3*p. Is p a multiple of 9?
True
Suppose -2*f + 5*f - 51 = 0. Suppose 2*d + t - 9 = 5, -3*t + 18 = 2*d. Let k = d + f. Is 7 a factor of k?
False
Let d(c) = c**3 - 6*c**2 - 7*c + 2. Let f be d(7). Suppose f*o = o - 4, -3*o = -m + 14. Suppose 2*x + 2*x + 2*s = 66, m*x = s + 31. Is x a multiple of 7?
False
Let b(t) = -3*t - 1. Let x be b(-1). Let n be (-2 + 4 - -2) + x. Suppose -3*v - 5*a = -145, -3*v = -n*v + a + 115. Is v a multiple of 17?
False
Let x = 15 + -5. Let y = -13 + 20. Let t = x - y. Does 3 divide t?
True
Let g(n) = -38*n - 13. Does 13 divide g(