)/(b/25)?
True
Suppose 0 = -26*r + 3*r + 19987. Is 11 a factor of r?
True
Let p = -54 - -54. Let y = p + 50. Is 12 a factor of y?
False
Let z be 10/25 - (-66)/10. Suppose 5*g = z*g - 64. Is g a multiple of 16?
True
Let x = 25 + -21. Suppose -5*t - 14 = -k + 10, -3*k + x*t + 28 = 0. Suppose -q = s + 1 - 6, 0 = 2*s + k*q - 8. Is 4 a factor of s?
False
Let p(t) = t**3 - 7*t**2 - 8*t - 2. Let r be p(8). Is 19 a factor of 83*(-1 - (1 - (r + 5)))?
False
Suppose j - 5*j + 2*b = -24, 2*b = -j - 4. Suppose -26 - 83 = -p + 4*w, j*p - 356 = -4*w. Is 14 a factor of p?
False
Is 25/(-15) - (-1)/(-3) - -178 a multiple of 22?
True
Let b(c) be the third derivative of -7*c**4/24 + 2*c**3/3 + 7*c**2. Let g be (-1 + 1/5)*5. Is 16 a factor of b(g)?
True
Let s be (-2)/(-1) + 0 - 0. Let u be 5 + (-1)/(2/s). Suppose -y + 74 = -u. Does 39 divide y?
True
Let b be (-1 + 2 + 2)*(26 + -9). Suppose b = -3*a + 4*a - u, -4*a + 207 = -5*u. Is a a multiple of 12?
True
Let t = 350 - -355. Does 47 divide t?
True
Let q = 14 + -12. Suppose -4*z + q*v + 464 = 0, -3*z - 5*v + 340 = -34. Let h = z - 63. Does 7 divide h?
False
Let z(c) = 2660*c**2 - 9*c - 9. Is z(-1) a multiple of 15?
False
Let b be (4/(-6))/(10/(-45)). Suppose 2*g + b*t - 15 = 4*t, -4*g = 4*t. Suppose g*i = 2*c - 121, 3*c - 107 = i + 55. Is c a multiple of 18?
False
Suppose 0 = -3*g - f + 620, -12 = 2*f - 4. Is 8 a factor of g?
True
Let u(t) = -156*t - 54. Let v(b) = -31*b - 11. Let n(z) = -5*u(z) + 24*v(z). Let g be n(3). Suppose 2*w = -4*k + 204, -2*k + 8*w + g = 3*w. Does 13 divide k?
True
Suppose -3*y = 4*t - 29, -2*t + 12 = -y - 5. Suppose 20 = t*p - 20. Suppose 24 - 284 = -p*o. Is o a multiple of 13?
True
Let g(q) = 2*q**2 + 2*q + 6. Let w be g(0). Suppose -315 = -w*a + 135. Is 19 a factor of a?
False
Let z(u) = -4*u + 3. Let p be (-1 + 2)*(1 - 1). Is z(p) even?
False
Let j = -69 + 69. Suppose j = 4*h + 4*h - 840. Is 5 a factor of h?
True
Suppose -3*p = x + 2*x - 141, 4*p - 193 = x. Is 14 a factor of p?
False
Suppose l + 5*g - 2087 = 7*g, 0 = g - 3. Is l a multiple of 9?
False
Suppose -1798 = -18*c + 2576. Is 9 a factor of c?
True
Let u(h) = -h**3 - 11*h**2 - 5*h + 18. Let b be u(-9). Let j = b - -111. Is 9 a factor of j?
False
Suppose 0 = 10*p - 13*p. Suppose t - 2*a = -p*a - 12, a = 3*t + 16. Does 5 divide 1/t - 73/(-4)?
False
Let d = 3217 - 940. Is 11 a factor of d?
True
Let w = 520 - 16. Suppose -8*p = -4*p - w. Is 18 a factor of p?
True
Let m(o) = -o**2 + 8*o - 9. Let p be m(6). Suppose -p*i - 2*x = -206, 25 + 53 = i + 3*x. Is 30 a factor of i?
False
Let i(q) = q**2 - 2*q - 25. Let g be i(7). Suppose -g*b - 238 = -1318. Is 11 a factor of b?
False
Suppose f = p + 3*f - 182, -p + 182 = -f. Does 23 divide p?
False
Let d be (6/(-15))/((-1)/10). Suppose -q - d*q = -580. Suppose -x - x + 5*j = -80, q = 4*x + j. Does 13 divide x?
False
Let k = -1310 - -2682. Does 28 divide k?
True
Let t(y) = -3*y - 37. Let d be t(-14). Let k(l) = l**3 - 3*l**2 + 2*l + 9. Does 19 divide k(d)?
False
Suppose -19*i = -14991 - 41211. Is i a multiple of 87?
True
Let z(f) = 7*f + 3. Let t be z(-2). Suppose 0 = i - 5*d - 2, -2*i - 2 = -3*i - 3*d. Is 5 a factor of (-1)/(t/5 + i)?
True
Suppose -2*w + 2*u = -u - 33, 3*w - 54 = 3*u. Let t(m) = 3*m + 3. Let o be t(-6). Let j = o + w. Is j a multiple of 3?
True
Suppose -1538*o + 2856 = -1535*o. Does 7 divide o?
True
Let d(t) = 460*t**2 + 8*t + 8. Does 4 divide d(-1)?
True
Let l(t) = 4*t - 12. Let b be l(0). Is 14 + b/(-4) + 2 a multiple of 6?
False
Suppose 5*h + 3437 + 624 = o, 4*h + 8122 = 2*o. Is o a multiple of 131?
True
Let j be (-2)/4*(-10 + 6). Suppose 12 = -6*n + j*n. Does 20 divide 40 - (4 + (n - 1))?
True
Suppose -3*j - 3*t = -2*j + 12, -2*t - 16 = -2*j. Suppose -j*l = 2*l + 4*b - 13, -b - 3 = 0. Is l a multiple of 3?
False
Suppose b - 38 - 310 = 4*t, -988 = -3*b - 2*t. Let r = 465 - b. Suppose 0 = 5*w - 107 - r. Is 12 a factor of w?
True
Let k(p) = p**3 - 2*p + 1. Let s be k(-2). Let w(f) = 13*f**2 - 4*f. Let q be w(s). Suppose 0 = -8*a + 5*a + q. Is a a multiple of 12?
False
Suppose -9*p - 8 = -10*p. Is p a multiple of 8?
True
Suppose -4*t = 0, -4*t = -2*g - t + 8. Suppose -g*w + 3 = -3*w. Suppose h + 0*h = p + 2, -w*h + 24 = 3*p. Does 2 divide h?
False
Let h(n) = 2 - 4 + n + 0 + 3. Let x(p) = p**2 + 3*p - 1. Let t be x(2). Is h(t) a multiple of 10?
True
Let p be (13 + -1)*(10/(-4) - -2). Let g(a) = a**2 - 8*a - 4. Does 10 divide g(p)?
True
Suppose x + 4 = -0. Let l = 7 + x. Suppose l*w = 54 + 69. Does 17 divide w?
False
Suppose 1 = 3*a + 5*x - 2, -5*a + 18 = 4*x. Let o(u) = -5*u - 54. Let w be o(-13). Suppose a = s - w. Is 4 a factor of s?
False
Let k(w) = -14*w + 9 + 2 + 6 - 14. Does 48 divide k(-7)?
False
Let f(o) = 35*o + 3. Let r(z) = 34*z + 3. Let q(b) = -2*f(b) + 3*r(b). Is 15 a factor of q(6)?
True
Let j(q) = q + 6. Let z be j(7). Let p = z + -9. Suppose 2*i = -3*h + 160, -125 = -2*h - p*i - 13. Does 24 divide h?
False
Suppose -15*m + 800 = -10*m. Suppose 4*l - 144 = m. Is l a multiple of 14?
False
Suppose f - 3*l - 138 = 0, 2*l + 75 = f - 62. Is f a multiple of 27?
True
Suppose m + 1 = 5. Suppose x - m = 0, z - 16 = -5*x + 75. Does 10 divide z?
False
Suppose -2*d - 24 - 12 = 0. Is 26/(-117) - 544/d a multiple of 6?
True
Let r = -2 - -7. Suppose 0 = -0*f - r*f + 30. Is 4 a factor of f?
False
Let s = 12 - 13. Let g be s + 47 + (-6 - -8). Suppose 2*d - g = -0*d. Is 13 a factor of d?
False
Is 11 a factor of -4 + 18/(2*(-1)/(-3))?
False
Suppose 7 - 3 = 2*s. Suppose 8*w - 45 = -z + 3*w, 114 = s*z + 4*w. Let p = -19 + z. Is 18 a factor of p?
False
Suppose 7*s - 9*s + 5*t = -758, s - 378 = 3*t. Is 8 a factor of s?
True
Suppose -18 = u - 2*i, -i - 2*i + 83 = -5*u. Let m = 49 + u. Suppose -m - 3 = -g. Is 12 a factor of g?
True
Let v(b) = -2*b + b + 3 - b**2 + 0*b**2 - 4*b. Let p be v(-5). Suppose p*u = -u + 36. Is 4 a factor of u?
False
Let v(j) be the third derivative of 43*j**5/15 + j**4/3 + 7*j**3/6 + 22*j**2. Is v(-1) a multiple of 48?
False
Does 43 divide 16/(-152) + (-248384)/(-152)?
True
Suppose -4*v + 3392 = -0*v + 2*d, -2*v + 1696 = 5*d. Does 55 divide v?
False
Let m(c) = -3*c**3 - 8*c**2 + 15*c + 90. Does 16 divide m(-5)?
False
Let l be ((-6)/4)/(8/16). Is 5 a factor of 6/l*62/(-4)?
False
Suppose 4*i + 2*y = 2654, -3*i + 1942 + 61 = 4*y. Is 83 a factor of i?
False
Let q = 13 - 9. Let y be 0 - 2 - (q - 6). Suppose y = -2*k + 128 - 0. Is 16 a factor of k?
True
Is 9/((-27)/(-164))*6 a multiple of 41?
True
Suppose 3*s - 4*h - 6679 = 0, -3*h = -6*h + 15. Does 38 divide s?
False
Suppose -5*y + 29 = 9. Let w be 12*82/4 + 0. Is (6/9)/(y/w) a multiple of 16?
False
Suppose 2*j - 6 = 0, 0 = -2*q - 2*j - 3*j + 27. Is (-2)/((q/(-45))/1) a multiple of 3?
True
Let x be 0 - (-1)/((-1)/(-4)). Let z be (6/(-4))/((-17)/(-2) - 9). Suppose x*b + 6 = 2*b, i + z*b - 5 = 0. Does 7 divide i?
True
Let w be 1152/(-3)*(21/6 - 4). Let a = w + 160. Is a a multiple of 16?
True
Let b = 377 - 137. Does 38 divide b?
False
Let k = -28 - -24. Is k + 8 + 0 - -10 a multiple of 14?
True
Suppose -2*f = -s - 7, 2*f + 11 = 3*s + 4*f. Let m(o) = -s - 4*o + 4*o**2 + o**2 + 9. Does 25 divide m(4)?
False
Is 1 - (-2)/(-4) - (-17085)/30 a multiple of 15?
True
Let z(h) = h**2 + 4*h + 1. Let b be z(-5). Let f be (-1 + -2)/(b/(-6)). Suppose f*m - 113 = 19. Is m a multiple of 8?
False
Let a be (-4)/16 - (-99)/12. Let j = 6 - a. Is -1 - j - -1*53 a multiple of 10?
False
Suppose -d - 5 = -a, 4*a + 2*d + 5 = -5. Let g(b) = 0*b**2 - 2*b**2 + a*b**2 + b + b**3 + 2. Is g(2) a multiple of 2?
True
Let k = 425 + 55. Suppose -12 + k = 6*p. Is 26 a factor of p?
True
Let k(h) = h**3 - h**2 - 4*h - 1. Let b be k(3). Suppose b*s - 156 = -4*y - 0*s, y - 56 = 3*s. Does 11 divide y?
True
Suppose -7*g = g - 3360. Is 12 a factor of g?
True
Suppose 88 + 116 = 2*x. Suppose 3*q = -0*h - 4*h + x, 0 = 4*h + q - 98. Is h a multiple of 6?
True
Let c = 82 + -67. Suppose 0 = z - 4, -2*z - c = -3*a + 76. Is a a multiple of 7?
False
Let m(i) = i**3 + 20*i**2 + 16*i + 12. Is m(-16) a multiple of 21?
False
Is ((-865)/(-15))/((-13)/(-195)) a multiple of 13?
False
Suppose 9 - 3 = 2*g. Suppose 0*v + 5*v = 4*h + 360, -2*v + g*h = -151. Does 5 divide v?
False
Let t = 27 + -52. Does 3 divide (51/(-85))/(1/t)?
True
Let y(i) = -i**3 + i**2 - i + 6. Let o be y