2/n a multiple of 26?
False
Let n(g) = g**2 - g - 2. Let y(o) = o + 10. Let p be y(-8). Let i be n(p). Suppose 9 = w - i. Does 3 divide w?
True
Suppose 3*w - 4*v = 4, -2*v + 6*v = -4. Suppose 5*h = 4*j + 12, -4*j = -w*h - 3*h + 4. Suppose j*o - 132 = -o. Is o a multiple of 17?
False
Is (9 - (-1265)/(-143)) + 2648/26 a multiple of 3?
True
Suppose -2*d + 2 = -3*z, -d + 0 + 14 = 5*z. Let h = d + -2. Suppose -4*u = -a - 139, -u - h*u = -3*a - 102. Is u a multiple of 8?
False
Let l be (-259)/(-49) - (-2)/(-7). Suppose -l*g + 0*g = -15. Suppose -2*a + g*a = 13. Is 3 a factor of a?
False
Is 32 a factor of ((-4893)/84)/(2*(-3)/144)?
False
Let n be 85/(-7) + 3/21. Is ((-14)/(-8) + n/16)*22 a multiple of 6?
False
Let p be (-92)/(-12) - 10/15. Let s(i) = -i**3 + 10*i**2 - 9*i + 10. Is 47 a factor of s(p)?
True
Let w be 55/(-22)*(708/(-15) - 2). Suppose 3*r - o + 4*o - w = 0, -r - 3*o = -35. Is 5 a factor of r?
False
Let h be (-4)/(-6)*126/12. Let i = -11 + h. Is (-652)/(-18) - i/(-18) a multiple of 12?
True
Suppose 0 = 112*y - 131*y + 24339. Does 61 divide y?
True
Let a = 11 + -23. Let u be (a/9)/(1/(-18)). Suppose 2*b = -2*q + u, 0 = -0*q + 3*q + b - 38. Is q a multiple of 6?
False
Let a = -98 + 110. Suppose m = -a*m + 325. Is 2 a factor of m?
False
Suppose -l + 204 = -5*g - 3*l, 3*l - 219 = 5*g. Let o = g - -102. Is o a multiple of 12?
True
Suppose -2*i = -2*w + 24, 5*w - 4*i - 42 = 13. Suppose 0*b + w*b - 504 = 0. Is b a multiple of 9?
True
Let c be ((-60)/(-4))/(2 - 1). Suppose c = 2*r - 21. Suppose -4*t + 20 = 0, -5*t - r + 1 = -3*d. Is d a multiple of 4?
False
Let v = 151 - 21. Is 10 a factor of v?
True
Let b(t) be the second derivative of -t**3/2 + 2*t**2 - t. Let v be b(10). Does 5 divide v*(-2)/2 + 2?
False
Let c(a) = -15*a + 4. Let j be c(-8). Suppose -11*t + 6*t + 270 = 0. Suppose 0 = -2*i + j + t. Is i a multiple of 24?
False
Suppose 0 = 2*h + v - 560, 1120 = -3*h + 7*h - 4*v. Does 20 divide h?
True
Let z = 130 + 244. Does 22 divide z?
True
Suppose -4*n - 23 = 57. Let j be 3/(-2)*n/6. Suppose -j*y + y = -20. Is 5 a factor of y?
True
Suppose 15 = 2*g + 3*g. Let n be g + (-3)/(-2)*-2. Suppose n = -z - 1 + 12. Is z a multiple of 4?
False
Suppose 5*d = -4*j + 110, 0 = 3*d - j - j - 88. Does 13 divide d?
True
Suppose 289 = q - 5*s, 5*q - s = s + 1537. Does 8 divide q?
False
Is (-2)/(-13) + ((-395780)/(-65))/7 a multiple of 29?
True
Let s = -1133 + 1142. Is s a multiple of 3?
True
Suppose -3*x = -4*t - 589, 3*x = -4*t - t + 580. Is x a multiple of 10?
False
Let u(o) = 72*o**2 + 2*o + 2. Let v be u(-1). Suppose g - v = -3*g. Does 18 divide g?
True
Let r(y) = y**2 - 7*y - 14. Let o be r(10). Suppose -8*k + 7*k + o = 0. Is 4 a factor of k?
True
Suppose -p - p + 10 = 0. Suppose 210 = 6*d - d - p*q, 2*d + 5*q - 84 = 0. Does 7 divide d?
True
Let f(h) = -h**2 + 8*h - 3. Let v be f(7). Suppose -2*i + 12 = 2*r, -v*r + 5 = -5*i + 17. Let n = i + 8. Is n a multiple of 6?
True
Let g(a) = -5*a + a**2 + a**2 - 14 - 12*a. Let m = 2 + 12. Does 35 divide g(m)?
True
Suppose 39 = o - 30. Is 3 a factor of o?
True
Let v(j) be the first derivative of 8*j**3/3 - j**2 - 1. Let w be (2/(-2))/((-60)/120). Is v(w) a multiple of 20?
False
Suppose -3*v + 7*v - 20 = 0. Suppose 0*b = -3*b + 99. Suppose 2*i + f = -4*f + b, -i + v*f = 21. Does 3 divide i?
False
Let v(m) = -1 - 4 - m - 7*m + m. Let h(s) = 11*s + 7. Let f(z) = 5*h(z) + 8*v(z). Does 4 divide f(-13)?
True
Suppose 2*q - 11 - 13 = 0. Let v be (45 - 45)/(0 + 2 - 4). Is 57 + v - q/4 a multiple of 18?
True
Suppose 338 = 7*m - 306. Suppose 0*q - m = -q. Does 23 divide q?
True
Let f = 1 + 191. Is f a multiple of 5?
False
Let g(j) be the third derivative of -j**6/120 + 2*j**5/15 - j**4/6 - 7*j**3/6 - 7*j**2. Let c be g(6). Is 10 a factor of (-4 + (0 - -5))*c?
False
Let t(l) = 11*l + 2. Let c be t(3). Suppose -c*s + 128 = -31*s. Is s a multiple of 3?
False
Let q(c) = 17*c**3 + 6*c**2 + 16*c - 70. Is q(4) a multiple of 10?
False
Suppose 3*m + 124 = -4*k - m, -2*k - 4*m - 52 = 0. Let d = 15 - k. Does 26 divide d?
False
Let i(r) = -r + r + 11 - r + 0*r. Let f(a) = -a - 12. Let c be f(-7). Does 11 divide i(c)?
False
Suppose 156 = -282*g + 285*g. Is 4 a factor of g?
True
Suppose -2*n + 19 + 1006 = a, 4*a + n = 4128. Is a a multiple of 11?
False
Let u(x) = -x**3 - 2*x**2 + 4*x + 4. Suppose -8 = -5*i + 7*i. Let d be u(i). Suppose 3*g - 37 - d = 0. Is g a multiple of 19?
True
Is -1 + 15268/18 + 526/(-2367) a multiple of 7?
True
Suppose -1455 = -4*u + 1625. Is 10 a factor of u?
True
Is (-16)/32*(-1546 + (2 - 0)) a multiple of 76?
False
Suppose 6*l = 10*l - 20. Suppose v - 5*v + 68 = -5*n, -2*n - 47 = l*v. Let w = n + 72. Is 14 a factor of w?
True
Let w = 688 + -338. Does 50 divide w?
True
Suppose 107 = -3*f - r + 3*r, 3*f = -5*r - 100. Let x = -11 - f. Does 3 divide x?
True
Let a(r) = 15*r. Let z be a(-6). Is (-9)/(-3)*(-7)/(21/z) a multiple of 15?
True
Suppose 0 = -3*v - 5*g - 19, -3*v + g = v + 56. Let m = -11 - v. Suppose -5*k = b - 85, m*b = 2*k - 22 - 0. Is k a multiple of 9?
False
Suppose 4*g - 5*l = 138 + 10, -g + 48 = -4*l. Suppose z + 2*f = 4*f + g, z + 4*f = 44. Does 2 divide z?
True
Suppose 3*s - 3*c = 106 - 271, -5*c + 51 = -s. Does 9 divide ((-24)/(-14))/((-2)/s)?
False
Let y be 1 - 1 - (3 + 0). Does 8 divide 4 + (y - (-4 + -43))?
True
Let q(a) = 2*a**3 + 4*a**2 - 12*a - 21. Let k be q(-7). Is 27 a factor of (-1 + k/(-49))/((-1)/(-7))?
True
Suppose -1016 = 159*b - 163*b. Is 27 a factor of b?
False
Is (-15003)/(-6)*(-40)/(-30) a multiple of 120?
False
Suppose a = -w - 23, -49 = -0*w + 3*w - a. Let m(l) = -l**3 - 19*l**2 - 27*l - 6. Does 13 divide m(w)?
True
Suppose -4*c + 4*y + 380 = 0, -273 - 83 = -4*c - 2*y. Does 2 divide c?
False
Suppose -3*o = 15 + 3. Is (-1)/(-2)*(o - -110) a multiple of 15?
False
Suppose -784 = -4*b + 2*h, -2*h - 268 = 3*b - 842. Is b a multiple of 27?
False
Let y be 1180/14 - 3/((-21)/(-2)). Suppose -3*h + y = 18. Does 11 divide h?
True
Suppose 38*u - 3707 - 8149 = 0. Is 26 a factor of u?
True
Let x(h) = 2*h**2 - 10*h - 9. Let b be x(9). Suppose 3*i = c + 499, i + 2*c - b - 115 = 0. Is i a multiple of 29?
False
Is 12 a factor of -25*(2 - (10 - -1))?
False
Let d = 24 - 17. Suppose -2*b + 87 = d. Is b a multiple of 6?
False
Let y(u) = u**3 - 8*u**2 - u + 10. Let z(s) = -2*s - 16. Let k be z(-12). Let o be y(k). Suppose -o*w = -3*q + 2*q + 39, -5*q + 150 = 5*w. Does 20 divide q?
False
Let b(u) = -14*u**3 - 42*u**2 - 4*u - 79. Let s(d) = -5*d**3 - 14*d**2 - d - 26. Let w(l) = 6*b(l) - 17*s(l). Does 8 divide w(15)?
True
Suppose -1086 = -11*q + 1257. Does 43 divide q?
False
Let o(l) = l**3 + l**2 - 3*l - 1. Let p be o(-2). Is 29 a factor of 10*p/4*4408/95?
True
Let m = -4 + 10. Let p be (39/13)/(m/(-8)). Let u = p - -10. Does 5 divide u?
False
Let v(t) be the first derivative of -3/2*t**2 + 26/3*t**3 + 1 + 4*t. Is 34 a factor of v(2)?
True
Let u(r) = -r**2 - 3*r + 3. Let s be u(-3). Let x = s + -2. Suppose -11 = -3*m + 5*a, -2*m - 3*a - x = -3*m. Is 2 a factor of m?
False
Suppose 7*s + 17010 = 25*s. Is s a multiple of 37?
False
Suppose -99*r + 3314 = -94*r - 2*z, -3*z = 3*r - 1980. Does 24 divide r?
False
Suppose 25*g = 17058 - 6308. Does 11 divide g?
False
Suppose 18756 = -365*g + 383*g. Does 48 divide g?
False
Is (34/(-6))/(36/(-2160)) a multiple of 34?
True
Let s(d) be the first derivative of -d**3/3 - d**2/2 + 5*d + 3. Let h be s(0). Suppose -5*r + 60 = -0*r + h*f, 4*f = -5*r + 58. Is 7 a factor of r?
False
Let s = -13 + 23. Suppose s - 2 = 2*v. Suppose 0*q = 3*r + v*q - 113, 0 = 5*q + 5. Does 19 divide r?
False
Let b(q) = -q**2 + 5*q + 4. Suppose -15 = -5*a - 0*a. Let c be b(a). Is (-16)/(c/4 + -3) a multiple of 16?
True
Suppose -2*b + 17 = 5*x, 3*b + 9 = 5*x - 28. Let c be 0*(x + -2)/6. Suppose 3*f = 4*z + 113, -4*f + c*f - 5*z = -161. Does 13 divide f?
True
Let t = -577 - -656. Is t a multiple of 13?
False
Suppose 18*v + 1789 = 4*k + 19*v, -2*k = 3*v - 907. Is 54 a factor of k?
False
Let r = 199 + -167. Is 8 a factor of r?
True
Let n = 48 - 51. Let z(w) = w**3 + 5*w**2 - 2*w. Is z(n) a multiple of 6?
True
Does 4 divide (5/(-2))/(-5)*144/1?
True
Suppose -h + 16 = 3*h, 3*h = -4*r - 48. Let q be (-99)/r + 6/(-10). Is 16/q*36/8 a multiple of 10?
False
Let f = 100 - 16. Let s = f + -43. Is s a multi