15 divide b?
True
Let g be 2/(-4) - 273/(-6). Let w = 168 - 186. Let j = w + g. Does 7 divide j?
False
Let r = -13 - -11. Does 4 divide (-90)/(-6) + (r - -4)?
False
Suppose -2*w + 2*v = -4*w - 746, 5*w - 5*v = -1915. Let d be 2/(-1)*w/(-12). Is 26 a factor of ((-156)/(-14))/((-9)/d)?
True
Let a(o) be the second derivative of 7/6*o**4 + 0 + o**2 + 1/6*o**3 + o. Is a(-2) a multiple of 14?
True
Suppose 70 = 3*i - 17. Let x(z) = -z**3 + 30*z**2 - 20*z - 20. Is x(i) a multiple of 13?
False
Let w = -24 - -50. Let q = w - 26. Suppose h - 4 = 0, q*c - 3*h + 200 = 2*c. Is 16 a factor of c?
False
Let b(x) = -2*x + 7. Let l be b(0). Suppose r - l = 3. Suppose -96 = -12*z + r*z. Is z a multiple of 16?
True
Let t = 11 + 34. Suppose 29*m = 30*m - t. Is m even?
False
Does 123 divide 25*(6444/60 + -9)?
True
Let q(s) be the first derivative of s**7/840 - s**6/120 + s**5/120 + s**4/12 + s**3 + 2. Let z(a) be the third derivative of q(a). Does 11 divide z(4)?
True
Is (-170)/6*234/(-30) a multiple of 2?
False
Let i = 435 + -369. Is 8 a factor of i?
False
Let x(y) = 5*y + 5. Let i(o) = 8*o**2 + 4*o + 2. Let h be i(-1). Is 13 a factor of x(h)?
False
Let q be 1/(-1) + 42/6. Let m be 1810/7 + q/14. Suppose 3*u + m = 4*h, -2*u + 60 = h + 2*u. Is 24 a factor of h?
False
Suppose 7*k - 3*k - 64 = 0. Suppose -k - 62 = -3*g. Let b = 47 - g. Does 7 divide b?
True
Suppose w - d + 2 = 0, 6*d + 18 = -3*w + 3*d. Let z(j) = -7*j - 4. Let f be z(w). Is 4 a factor of f/(1 - 3/(-6))?
True
Suppose 0 = 23*r + 4*r - 15552. Is 20 a factor of r?
False
Let d = -2365 - -3681. Does 79 divide d?
False
Is (-65)/13 + (2 - (-109 - 3)) a multiple of 6?
False
Let f(w) = w**2 + 12*w + 7. Let d be f(-8). Let k = -20 - d. Suppose 5*a = u + 102 + 81, -k*a + 171 = 3*u. Is a a multiple of 36?
True
Suppose -20*t = -8*t - 14796. Does 27 divide t?
False
Let o(t) = 17*t - 5. Let l be o(-2). Let w = l - -89. Is w a multiple of 10?
True
Let g(c) = -c**3 - 3*c**2 - 7*c + 5. Let u be g(-4). Suppose -9*f = -23 - u. Does 4 divide f?
True
Suppose 0*h - 4*h + 5*z + 37 = 0, 4*z + 4 = 0. Let m = h - 8. Suppose m*r = -4*r + 300. Is r a multiple of 25?
True
Let h = -2 - 2. Let b = 76 + -78. Does 8 divide (-34)/h*(0 - b)?
False
Suppose 11 - 13 = -y. Suppose 5*f + 388 = 3*j, 5*f + 275 = y*j + 23. Does 34 divide j?
True
Let b(v) = -v**3 + 5*v**2 + 4*v - 7. Let x be b(5). Suppose 12*w = x*w - 48. Is w a multiple of 5?
False
Suppose 2*z + 0*z + 28 = 0. Let w be z/91 - (-74)/(-26). Is 347/7 - w/7 a multiple of 19?
False
Let u = 357 - 313. Is u a multiple of 2?
True
Suppose -3*r + 23*d + 734 = 19*d, -4*r - d = -985. Is 22 a factor of r?
False
Suppose 3*a = -5*l + 555 + 668, 0 = 3*a - 3. Is l a multiple of 13?
False
Suppose -11*m + 1769 = 251. Does 2 divide m?
True
Is ((-409536)/(-39))/6 + (-14)/91 a multiple of 35?
True
Is (72/(-5))/((-4)/110) a multiple of 18?
True
Let l(x) = -30*x - 35*x + 64 + 66*x. Does 10 divide l(16)?
True
Let p(a) = -a**3 + 20*a**2 + 22*a + 12. Suppose 4*m = -0*w - 2*w + 86, 3*w = 5*m - 102. Is p(m) a multiple of 19?
False
Let b = 369 - 191. Let c = -97 + b. Is 14 a factor of c?
False
Let s = 2 + 53. Let g = s - 42. Does 2 divide g?
False
Suppose -5584 = -4*r + 4*k, 2*r - r = 2*k + 1392. Suppose 6*u - r = -4*u. Is u a multiple of 13?
False
Let j(v) = -v**3 - v + 369. Is j(0) a multiple of 9?
True
Let r(u) = 23*u**2 + 3*u - 22*u**2 + 0*u + 3. Let j be r(-3). Suppose 101 = j*a + 20. Is a a multiple of 14?
False
Suppose 0 = 3*q + 991 - 2557. Is 29 a factor of q?
True
Suppose 500 = 7*l - 1124. Does 17 divide l?
False
Let h = 128 + -123. Suppose -2*f - 4*u - 4 = -48, 0 = -3*f - h*u + 64. Does 9 divide f?
True
Suppose m = 4*p - 2764, -p - 2*m = 3*p - 2752. Is p a multiple of 30?
True
Let m(g) = -71 + 9*g - 22 - 27*g + 12*g. Is 19 a factor of m(-25)?
True
Suppose -4*b = -5*r - 169, 0*r - 4*r = 4. Does 3 divide b?
False
Let p be 4/(-10) + 1326/15. Let q be (-4)/22 - 688/p. Is (q - 2)/(-1 + -1) even?
False
Let c = -22 + 51. Let x = c + -2. Is 17 a factor of x?
False
Let c = -1517 - -2347. Is c a multiple of 12?
False
Suppose -4*g + 5*v - 68 = 307, 2*g = 2*v - 188. Let f = g + 156. Suppose 0 = r - f - 19. Is r a multiple of 27?
False
Suppose 0 = -5*o + 10*o - 13590. Is 11 a factor of o?
False
Does 16 divide 84/(-14)*2/3 - -788?
True
Suppose -2*g + 4*l + 920 = g, 2*g + l = 595. Suppose 2*z + 30 = g. Is z a multiple of 31?
False
Let b(j) = -j**3 - 14*j**2 - j - 10. Let y be b(-14). Suppose 4*m + 76 = -y*i, 2*i + 0*i = -10. Is 4 a factor of (m/(-8))/((-6)/(-24))?
False
Suppose 0 = x + 95 + 77. Is x/(-14) + (-24)/84 a multiple of 12?
True
Let p = 59 + -62. Is 588/18 + 2/p a multiple of 15?
False
Suppose 2*q - 2*o = 5030, 4*q + 105 = -3*o + 10193. Is q a multiple of 113?
False
Suppose -41 = 2*h + 187. Suppose 5*d - 2*z + 2 = 2*z, 2*z = -2*d - 8. Does 18 divide d/2 - h/6?
True
Let z(j) = j - 5. Let o be z(5). Let s(d) = -d**2. Let h be s(o). Suppose h*m + 50 = 2*m. Does 11 divide m?
False
Let c(l) = -l**3 + 6*l**2 + 6*l + 10. Suppose -2*m - 7 = -17. Is 18 a factor of c(m)?
False
Suppose t - 4*c - 1307 = 0, -t + 6*t - 6635 = -5*c. Is t a multiple of 65?
False
Suppose -5*n + 291 = 36. Suppose -n - 429 = -4*h. Is 30 a factor of h?
True
Let f(d) = -d**3 + 16*d**2 - 5*d + 21. Let b be f(16). Let r = -47 - b. Is 12 a factor of r?
True
Suppose -5*u + 7 = 2. Let s be ((-12)/20)/(u/(-5)). Suppose 2*m - 26 = -3*f, f - m - s - 4 = 0. Is 4 a factor of f?
True
Suppose -9*o + 8*o + 12 = 0. Let i = 98 + o. Is 22 a factor of i?
True
Suppose -2*y = -2*v - 8 - 2, 4*v - 3*y = -17. Is 4/8*-3*-16 - v a multiple of 3?
False
Let k = 349 + -348. Suppose 0*y + 2*y = -18. Is 5 a factor of y/((-9)/20) + k?
False
Suppose -2*i = 3*i. Let o(j) = i + 21 - 12*j - j**3 - 9*j**2 - 41. Is o(-8) a multiple of 4?
True
Let o(h) = 12*h - 14. Let k be o(-4). Let b = 127 + k. Is 16 a factor of b?
False
Let r(d) = d**3 + 4*d**2 - 6*d - 5. Let t be r(-5). Suppose t = 2*z + 5*l - 141, 2*z - 5*l + 0*l - 111 = 0. Is 9 a factor of z?
True
Suppose -n = n - 10, 4*b + 2*n - 42 = 0. Let h(y) be the second derivative of y**4/12 - 5*y**3/6 - 2*y**2 - 2*y. Is 10 a factor of h(b)?
True
Let z(h) = -2*h**2 + 2*h - 18. Let x(g) be the second derivative of g**4/12 - g**3/6 + 6*g**2 + 2*g. Let n(f) = -8*x(f) - 5*z(f). Is n(6) a multiple of 23?
False
Let g = 52 + -45. Is 14 a factor of ((-82)/4)/(g/(-56))?
False
Suppose -49*q = -3085 - 7940. Is 26 a factor of q?
False
Let a(s) = s + 2. Suppose m + 15 = -0*m. Let l = m - -23. Does 8 divide a(l)?
False
Let j(w) = -4*w - 3. Let h be j(-4). Suppose -4*t + 29 = x, -t + 3*t - h = x. Suppose -t*o = -6*o - 119. Does 35 divide o?
False
Suppose 0 = -3*c - 6, -1061 = -5*v - 5*c + 2959. Does 12 divide v?
False
Let o(t) = -t - 2. Let h be o(-9). Let b(v) = 16*v - 7. Let d be b(h). Let n = d + -72. Is 12 a factor of n?
False
Let i(z) = z**2 - 9*z - 4. Let x be i(10). Let d(m) = m**3 - 5*m**2 - 6*m + 6. Is d(x) a multiple of 2?
True
Let g(x) = x**2 - 7*x + 3. Let j be g(7). Suppose 0*d + 278 = 4*d + 2*s, j*d - 3*s = 231. Does 15 divide d?
False
Let z(t) = 5*t**2 + 27 + 2 - 8 - 5*t - 4*t**2. Does 15 divide z(8)?
True
Let s(h) = 10*h**2 - 2*h + 41. Is s(-8) a multiple of 8?
False
Let v be ((-3)/4)/((-1)/(-4)). Let j be v/(3 - 6)*1. Suppose 2*i - 45 = j. Does 8 divide i?
False
Let u(g) = -g + 1. Let i be u(-4). Let x = 10 - i. Suppose 0*b - x*b + 165 = 0. Is 16 a factor of b?
False
Suppose 0 = -2*b + 2*p - 2, 0 = -8*b + 3*b - 5*p - 35. Let s = 25 + b. Does 21 divide s?
True
Is 75 a factor of (347 + 2)/((-12)/(-24))?
False
Let j(z) = z**3 - 14*z**2 + 2*z - 1. Suppose 2*l + k = 12 + 14, 6 = -3*k. Is 3 a factor of j(l)?
True
Let w(h) = 4*h + 2443. Is 34 a factor of w(0)?
False
Suppose 0 = 2*q - 2*i - 6 - 4, 0 = 4*i - 16. Suppose q*j - 97 - 65 = 0. Is j a multiple of 3?
True
Let s(n) = -n**2 + 14*n + 36. Let w be s(16). Suppose 16 - 331 = -5*x. Suppose -w*l + x = -9. Is l a multiple of 15?
False
Suppose -4*r + 378 - 21 = c, -3*c - 369 = -4*r. Is 18 a factor of r?
True
Let q = 1607 - -48. Let u = q + -497. Is 1/(-5) - u/(-15) a multiple of 21?
False
Suppose -222*h - 12435 = -237*h. Is h a multiple of 43?
False
Suppose -y = -4*a - 0*y + 36, 3*a + 3*y - 27 = 0. Suppose a = m - 27. Does 3 divide m?
True
Suppose -2*s + 15 = -41. Let x = -31 + s. I