
False
Let d(z) = -63*z - 29. Let q be d(-13). Suppose -23*a + 28*a - q = 0. Is 6 a factor of a?
False
Let b(r) = -r**3 + 5*r**2 - 5*r - 4. Let g be b(4). Let x be ((g - 3)*1)/(-1). Let z = -4 + x. Is z a multiple of 2?
False
Suppose 3*q = -18*h + 14*h + 209, -12 = -4*q. Is 29 a factor of h?
False
Let r(p) = 0 + 8*p + p - 480*p**2 + 2 + 479*p**2. Let k(i) = -i**3 - 8*i**2 - 2*i - 8. Let o be k(-8). Is 7 a factor of r(o)?
False
Suppose 2*l = -4*p - 8, 4*l - 2*p = l + 4. Let j = 1 - l. Is 23 a factor of j + (-27)/6*-10?
True
Suppose 4*h + 1120 = 2*c, -509 = -4*c - h + 1686. Does 25 divide c?
True
Let r be 18/(-4)*(24 + -2). Let b be (-149 - -3) + 3 + 1. Let s = r - b. Is 14 a factor of s?
False
Let x(t) be the first derivative of -t**4/4 - 10*t**3/3 - 4*t**2 + 11*t + 3. Let i be x(-9). Suppose i*h = -2*h + 36. Is h a multiple of 9?
True
Let a(z) = -2*z + 31. Let v be a(13). Suppose -v*g + 2 = 3*j + 37, 4*g + 34 = -3*j. Is (5 - -4)*j/(-6) a multiple of 5?
True
Let l = 28 - 9. Let x = l - 19. Suppose -3*m - 2*h + 22 = x, -4 = -m - 2*h + 6. Is 2 a factor of m?
True
Suppose x - 1 + 11 = 0. Is 315*((-2)/x - 1/(-5)) a multiple of 21?
True
Let v be (0 - 1)/(2/(-204)). Is v + (-2 - 0) + 0 a multiple of 10?
True
Let j(k) be the first derivative of 10*k**2 - k - 2. Let a be j(2). Let n = -21 + a. Is 6 a factor of n?
True
Suppose -6709 = -4*s + j, 3*s - 5*j - 5019 = -0*j. Does 114 divide s?
False
Suppose -3*b = 3*p - 345, -2*b = -2*p - 0*p + 250. Is 6 a factor of p?
True
Suppose 5*n = -190 + 480. Suppose -5*b = 0, 5*b - n = 5*r + 52. Is r*(-1)/8*12 a multiple of 11?
True
Let g(o) = -2*o - 24. Let m be g(-10). Does 20 divide (3 + 8/m)*31?
False
Let b = 1 - -4. Suppose b*u = 5*w - 68 - 222, 3*w = -9. Let y = u + 126. Is y a multiple of 20?
False
Is 38 a factor of (-3)/12 - 5/(300/(-104895))?
True
Suppose -4*g + o - 1831 = 0, -2*g - g - o - 1375 = 0. Let i = -314 - g. Is i a multiple of 18?
True
Let h = 1378 + -119. Is 70 a factor of h?
False
Let m(z) = 4*z**2 - 26*z + 12. Let t be m(5). Is (-2966)/t - 8/(-36) a multiple of 12?
False
Let p be (-9)/(-12)*(-2 + 266 + -4). Suppose -2*t + o + p = -0*o, t - o - 98 = 0. Is 39 a factor of t?
False
Let a(f) = -f**3 + 33*f**2 - 194*f - 7. Is 31 a factor of a(21)?
False
Suppose -14*j + 19*j - 30 = 0. Is (-65)/(-5 + 28/j) a multiple of 13?
True
Let r(o) = 56*o**3 - 3*o**2 + o - 5. Let s(c) = 56*c**3 - 4*c**2 + c - 6. Let f(a) = 5*r(a) - 4*s(a). Let i be f(1). Let b = -34 + i. Does 21 divide b?
False
Suppose 0 = -1652*s + 1640*s + 8172. Does 35 divide s?
False
Suppose -2*t - 3*n = -161, 3*n = 5*t - 196 - 175. Is t a multiple of 38?
True
Suppose 107 = -w - 2*g + g, 0 = 4*w - g + 418. Let i = 140 - w. Is 35 a factor of i?
True
Suppose -10*j + 6497 = 27. Is j a multiple of 91?
False
Let n be 2 - (4 - (-4 - -6)). Suppose n = 3*a - 2*w - 374, -3*a = a - 2*w - 502. Is 21 a factor of 1*-10*a/(-40)?
False
Suppose 2*d - 26 = 6*j - 2*j, 3*d - 24 = j. Suppose -46 = d*h - 424. Is 39 a factor of h?
False
Let k = 663 + -104. Is k a multiple of 43?
True
Let p = -182 - -1039. Suppose 3*q + 781 + p = 0. Is 4/(-16) - q/8 a multiple of 17?
True
Suppose 90 = -22*r + 508. Is 9 a factor of r?
False
Let a(y) = -17*y + 2 + 5*y**2 + 8 + 8*y**2 - y**3. Is a(11) a multiple of 4?
False
Let g(w) = -3*w - 2. Let x be g(3). Let c(z) = -2*z - 9. Let d(t) = t + 5. Let y(j) = x*d(j) - 6*c(j). Does 8 divide y(9)?
True
Let r = 2341 - 1621. Is 16 a factor of r?
True
Suppose 2*l + 5*c - 331 = 0, -l - 3*l = 5*c - 687. Let k = l + -46. Does 11 divide k?
True
Let x = -838 - -1549. Does 28 divide x?
False
Let c(i) = -i + 2. Let q(j) = -j + 1. Let f(w) = -2*c(w) + 6*q(w). Let g(x) = -2*x**3 - 5*x**2 - 2*x - 2. Let p be g(-2). Is f(p) a multiple of 7?
False
Suppose -t + 4*t = 9. Let a be t*(1 - (-3)/(-1)). Let g(x) = -x**3 - 5*x**2 - x + 6. Is 16 a factor of g(a)?
True
Does 25 divide (-12 - -9)*6975/(-27)?
True
Let k = 51 + 21. Is 29 a factor of k?
False
Let i(s) = 12*s**3 + s**2 - s - 2. Let m be (-1)/2 + 2/(-4). Let g be i(m). Is g/9 + (-570)/(-9) a multiple of 33?
False
Let i = -27 - -31. Suppose i*t + 0*t = -5*o + 11, -3*t = -5*o - 52. Is 9 a factor of t?
True
Suppose 96 = 2*h + h - 4*z, -5*h + 3*z + 160 = 0. Suppose h = u - 51. Is u a multiple of 13?
False
Let j = 1266 - 387. Is 30 a factor of j?
False
Let o = 4484 + 394. Is o a multiple of 18?
True
Let b(p) = p + 127. Is 19 a factor of b(-13)?
True
Suppose 2*h = -6, -v - 5 = 3*h + 2. Suppose -7 - 9 = -v*u. Does 14 divide (1 + -117)*(-2)/u?
False
Let u be ((-3 - -8) + -4)*5. Suppose -u*t + 277 + 293 = 0. Suppose -4*n - f + 242 = 0, f = -2*n + 4*f + t. Is n a multiple of 15?
True
Let t(d) = 14*d**2 + 7*d + 6. Let y be t(5). Suppose -s = 3*j - 224 - 11, 5*j - y = -2*s. Let o = j + -39. Is o a multiple of 10?
True
Let l = 6 - 8. Does 9 divide (252/(-140))/(l/110)?
True
Let o(b) = -2*b - 21. Let j be o(3). Is 9 a factor of 6/j - (-1154)/18*2?
False
Let v(n) = 6*n**2 + 3*n + 4. Let c(i) = -4*i**3 - 3*i**2 + 1. Let y be c(-2). Suppose 5*o - 6 = -y. Does 12 divide v(o)?
False
Let p be (3 - -853)/4 + 0. Let v = 318 - p. Does 8 divide v?
True
Let l(z) = z**2 - 5*z + 16. Let r be l(-7). Suppose 2*a - 5*i + 6*i - 74 = 0, 3*a - 4*i - r = 0. Does 19 divide a?
False
Let x be (4/(-2))/((-22)/33). Suppose -z + 2*z + 5 = 2*o, -x*z - o = 8. Is 19 a factor of (-840)/(-36) + 1/z?
False
Let a(g) = -87*g + 28*g + 29 - 30. Is a(-3) a multiple of 22?
True
Let v = -1395 - -1858. Is 29 a factor of v?
False
Let c(d) = d**3 + 16*d**2 - 14*d. Let s be c(-17). Let z = -26 - s. Does 8 divide z?
False
Let v be (26/(-10))/(4/(-20)). Let q = 64 - v. Does 24 divide q?
False
Let f(u) = u**3 - 8*u**2 - 17*u - 30. Let q be f(10). Suppose 3*o = -2*o + 185. Let l = q + o. Is l a multiple of 18?
False
Let j be ((-33)/22)/(3/(-784)). Suppose j = -2*k + 6*k. Is k a multiple of 23?
False
Let o(t) = 2 - 10 - 4*t + 2*t**2 + 0*t**2. Does 10 divide o(-4)?
True
Let p(h) = 148*h + 14. Let q be p(14). Suppose -3*o - 4*o + q = 0. Is 13 a factor of o?
False
Suppose 0*k + 4 = 4*k, 0 = -5*g + 3*k + 1547. Let y be g/7 + (-6)/21. Suppose y = 3*w - 10. Is w a multiple of 6?
True
Suppose 0 = -3*l - 344 + 2960. Is 11 a factor of (-2)/(-3) - (3 + l/(-6))?
True
Let k(n) = n**3 - n + 15. Let u be k(0). Let q = 85 + -64. Suppose 2*b = u + q. Is 5 a factor of b?
False
Let a be ((-10)/(-15) + 0)*12. Let u = a - -4. Does 3 divide u?
True
Suppose 0 = -5*r + 4*y + 1900, -7*r = -11*r + 4*y + 1520. Is r a multiple of 2?
True
Let n(m) = -3*m - 2*m - 10*m + 4. Let b be n(6). Is 14 a factor of b*((-3)/(-6) + -1)?
False
Suppose 2*o + 4*z - 22 = 0, -4*o - 2*z + 8 + 36 = 0. Suppose -14*t = -o*t - 216. Does 18 divide t?
True
Suppose 2 = -0*d + d. Let r be (-9)/d*(-24)/(-36). Let h(v) = -2*v**3 - 3*v**2 - 1. Does 13 divide h(r)?
True
Let f be (-1 - -3) + 501/3. Let w = f + -87. Is w a multiple of 41?
True
Suppose -2*c - u - 18 = 0, -3*c + 4*u - 48 = c. Let n be (c/6)/(1/(-3)). Suppose 3*m + 128 = n*m. Does 25 divide m?
False
Let o(g) = g**3 - 11*g**2 - 21*g + 18. Is o(17) a multiple of 15?
True
Let r(l) be the third derivative of -l**4/24 - l**3/2 - 2*l**2. Let u be r(-6). Suppose -x + 47 = -u*v, 5*x - 120 - 166 = -2*v. Does 13 divide x?
False
Let q = -36 + 51. Suppose r + 2*r = -q. Let n(k) = -4*k + 4. Is n(r) a multiple of 12?
True
Let k = 393 + -33. Is k a multiple of 24?
True
Let a(n) = 289*n**2 - 4*n + 4. Does 4 divide a(1)?
False
Let c(y) = -9*y - 1. Suppose -7*j + 48 = -3*j. Let m(z) = z**2 - 12*z - 4. Let k be m(j). Does 14 divide c(k)?
False
Let x(i) = -i**2 + 4*i + 8. Let a be x(5). Let o be a + 6 + 0 + -3. Is ((-6)/(-8))/(o/144) a multiple of 10?
False
Suppose -5*u + 311 = -3*w + 81, w + 76 = u. Let c = -31 - w. Is 9 a factor of c?
False
Let l = -425 + 1665. Is l a multiple of 10?
True
Suppose -a + 86 + 21 = 0. Suppose m = 3*x - a, 4*x + x - 5*m - 195 = 0. Does 22 divide x?
False
Let a be (10 + (-6 - -4))/(-1). Is 35 a factor of 125 + 0 - (a/4 + 1)?
False
Let t be (4/8)/(1/(-4)). Let i = 2 + t. Suppose i = 2*a - a - 53. Is 15 a factor of a?
False
Let v be (-725)/20*(-2 + -2). Let q = v + 33. Is 37 a factor of q?
False
Suppose -625 = -5*r + 3*y, -122 = 3*r - 4*y - 497. Let i = 79 - r. Let o = i + 80. Does 18 divide o?
False
Suppose 5*s - 8*s = 0. Let m be (2 + -3)*(s - 3)