 + d. Does 2 divide p?
True
Suppose -6 = x - 9. Suppose 5*z + 71 = -2*h + 4*h, x*z + 9 = 0. Suppose -34 = -u + h. Is u a multiple of 13?
False
Is 6 a factor of (1/3)/((-3)/(-1026))?
True
Let f(t) = -2*t**2 - t + 1503. Is 42 a factor of f(0)?
False
Let m(f) = -9*f - 1. Let h be m(-5). Let t = -9 + 6. Is 7 a factor of (13 - 16)*h/t?
False
Let x = 3 + -15. Does 25 divide (2 + x)/((-4)/46) - 3?
False
Let x = 552 + -92. Suppose -3*r + 2*r + x = 0. Suppose -m + r = 4*m. Does 23 divide m?
True
Suppose 0 = 3*a - 0*a - 237. Let s = a + -73. Does 6 divide s?
True
Suppose -3*w + l + 1220 = 0, -4*l + 3*l = -2*w + 815. Suppose 18*s - w = 15*s. Does 27 divide s?
True
Let z = 9 - 10. Let s be ((-12)/30)/(z/70). Let w = -9 + s. Does 19 divide w?
True
Let a = 288 + -125. Is 8 a factor of a?
False
Suppose -157*o = -149*o - 3120. Is 30 a factor of o?
True
Suppose -5*b + 3442 = 1067. Does 18 divide b?
False
Let b(i) = -7*i + 3. Let j(m) = 6*m - 3. Let w(d) = -4*b(d) - 5*j(d). Let q be w(0). Suppose -3*x = 4*f - 94, -104 = -q*x - 2*f - 18. Is 13 a factor of x?
True
Let q(c) = c**3 + c**2 - c - 1. Let a(s) = 3*s**3 - 10*s**2 + 11*s - 10. Let z(b) = a(b) - 2*q(b). Is z(11) a multiple of 3?
False
Let n be (10/(-6))/(4/(-144)). Let b = 112 - n. Does 6 divide b?
False
Let x = 661 + -421. Is x a multiple of 15?
True
Let v = -560 - -650. Is 18 a factor of v?
True
Suppose -4*r - 2*g = -4218, -r + 1413 = 5*g + 345. Suppose 17*q - 4*q - r = 0. Is q a multiple of 8?
False
Let l(w) = -w**3 + 3*w**2 - 8*w + 6. Let f be l(2). Is 3 a factor of f/((-3)/(-6)*-4) + 30?
True
Let u = -95 - -26. Let h = u - -139. Is 10 a factor of h?
True
Suppose -12 = -5*a + 208. Let s = 86 - 13. Let g = s - a. Does 6 divide g?
False
Suppose 2*s = -0*s. Suppose s*w + 2*w = 126. Let k = -14 + w. Is k a multiple of 16?
False
Let f(r) = -2*r - 6. Let y be f(-5). Suppose -32 = y*w - 116. Is 8 a factor of w?
False
Suppose 2*a = 2 + 8. Suppose -a*i + 188 = -i. Does 33 divide i?
False
Let k = -12 - -68. Does 7 divide k?
True
Suppose n - 2*n = 0. Suppose n*j - j - 26 = 0. Let c = -14 - j. Is 6 a factor of c?
True
Let p(z) = -z**3 - 8*z**2 - 8*z. Let v be p(-8). Suppose 5*c - v = 116. Does 12 divide c?
True
Let m(q) = -q**3 + 15*q**2 + 14*q + 17. Let o be m(16). Let c be (o/7 - -3)*-7. Let z(i) = i**3 + 6*i**2 - 2*i - 6. Is 6 a factor of z(c)?
True
Let r be (-44)/(-14) - (-4)/(-28). Suppose v = -9*f + 4*f - 18, -3*f = -4*v - r. Does 3 divide -2*f*8/12?
False
Let i be (0 - (3 - -1)) + 12. Let t(h) = h**3 - 8*h**2 + 2*h - 4. Does 4 divide t(i)?
True
Let n = 11 + -3. Let w be n/12 - (-104)/(-12). Let r(h) = -3*h - 13. Does 11 divide r(w)?
True
Suppose -2*u = -4*t - 200, 3*u - 8*t + 3*t = 297. Is u a multiple of 47?
True
Suppose -32 = -0*u + 4*u. Let j = 13 + u. Suppose p - j*p = -104. Does 9 divide p?
False
Let x = 20 + -15. Suppose -5*h - 5*u + 25 = -x, 0 = -3*h + 4*u + 46. Let d(v) = -v + 15. Does 2 divide d(h)?
False
Let i = 2102 + 2161. Is i a multiple of 87?
True
Let p(h) = -175*h + 2. Does 32 divide p(-2)?
True
Suppose -3*k = s - 4220, -6*k + 5644 = -2*k - 3*s. Is k a multiple of 11?
True
Let y(z) = 4*z**2 + 8*z + 17. Suppose 0*b - 2*b - 3*m + 1 = 0, 0 = -2*b + 2*m - 24. Let u = 2 + b. Is y(u) a multiple of 12?
False
Suppose 897 = 29*k - 2525. Is k a multiple of 2?
True
Let s(y) = -1. Let v(o) = -o**2 + 2*o + 10. Let m(k) = 18*s(k) + 2*v(k). Let b be m(-3). Let u = -10 - b. Does 14 divide u?
False
Let x be (-4560)/(-65) + 6/(-39). Suppose -15*w - x = -20*w. Is 4 a factor of w?
False
Let g = 49 - 45. Suppose 0 = -g*s + 137 + 283. Does 12 divide s?
False
Suppose 5*j - 4*t - 452 = 0, 177 = -4*j + 5*t + 544. Is j a multiple of 11?
True
Let w be (1 - 1)/3 + -2. Let f = w - -20. Is 5 a factor of f?
False
Let d = -320 + 340. Is d a multiple of 3?
False
Let a(f) = -90*f + 194. Is 4 a factor of a(-5)?
True
Let x be (3 - 5) + (-6)/(-3). Suppose x = -2*u + 3 + 19. Suppose b - 2*b = -c - u, 2*b - 47 = -3*c. Is b a multiple of 9?
False
Let z = 382 - 205. Let w = z - -43. Is w a multiple of 20?
True
Let s(t) = -23*t**2 - t + 2. Let a be s(-2). Let v = -25 - a. Is 21 a factor of v?
True
Suppose 0 = -8*y + 6*y. Suppose y*o - o = -10. Let u = 28 - o. Does 9 divide u?
True
Let v(x) = x - 2. Let o be v(4). Suppose 0 = 5*q - 10, -2*t + o*q = 6*q - 168. Is t a multiple of 4?
True
Suppose 206*j + 6630 = 219*j. Is j a multiple of 6?
True
Suppose -4*g = 3*r - 6*r - 15, -r + 8 = 3*g. Suppose -2*o + g*m + 155 = 0, -3*o + m + 213 + 37 = 0. Is o a multiple of 17?
True
Let w(b) be the second derivative of 14*b**4 - b**3/2 - 3*b**2/2 + 2*b. Is w(-1) a multiple of 24?
True
Suppose -1 = 7*o - 36. Suppose o*g + 208 = -4*z, 3*g + 2*g = 2*z - 196. Is 15 a factor of ((-72)/32)/(6/g)?
True
Let f = 29 - 26. Suppose 3*n - 192 = 4*j - 0*j, -f*n = -3*j - 189. Is 30 a factor of n?
True
Let d(m) = m**2 + m - 1. Let f be d(2). Let b(q) = 3*q - 3*q**2 + 2 + f*q**2 - q**2 - 10. Is b(4) a multiple of 14?
False
Let c(g) = -2069*g**3 + 3*g**2 + 9*g + 7. Is c(-1) a multiple of 15?
True
Let g(b) = -392*b + 8. Is 47 a factor of g(-1)?
False
Let o = 1313 - 655. Is o a multiple of 39?
False
Suppose 0 = 4*y + 4*a - a - 23, 0 = 2*y + 5*a - 29. Is 4 - (7 - y) - -43 a multiple of 14?
True
Is -2 - 490*(-7)/14 a multiple of 3?
True
Suppose 0 = -g + 2*g - 4. Let t(l) = l**3 + 2*l**2 + 4*l**2 - 3*l - g - l + 0*l**2. Does 22 divide t(-4)?
True
Is 7 + (877 - (-8 - -7)) a multiple of 44?
False
Is 42 a factor of 0/(-3) + (155 + 0 - 0)?
False
Let w(h) be the first derivative of 7*h**2/2 + 12*h + 25. Is 9 a factor of w(6)?
True
Let c(s) = -4*s**2 - 2*s + 1. Let u(b) = 4*b**2 - b - 2. Let p(f) = -f. Let r(a) = -4*p(a) + u(a). Let j(y) = -4*c(y) - 3*r(y). Is j(-2) a multiple of 5?
True
Let c(a) = -310*a + a**3 - 316*a + 1249*a - 4 - 312*a - 315*a - 4*a**2. Suppose 3*h + h - 24 = 0. Does 11 divide c(h)?
True
Let z(h) = -h**2 - 6 - 8*h - 4 + 2. Suppose 2*b - 12 = 4*b. Is z(b) even?
True
Suppose -9*i - 40 = i. Is i/20 + -36*(-21)/5 a multiple of 15?
False
Suppose 4278 = 3*f - 5*z - 268, -z = -4*f + 6050. Is f a multiple of 21?
True
Is 25 a factor of (12*11/198)/((-4)/(-7110))?
False
Suppose 0 = 4*l - 4*o - 12, -l = l - 3*o - 9. Let f be 3 + 4 - (3 - l). Suppose 0 = s - f - 6. Is s even?
True
Suppose 5*x + 81 = -4*v, 10 = -4*x + 2*x. Let h(m) = 2*m. Let s(o) = 3*o - 5. Let k(f) = -2*h(f) + s(f). Is k(v) a multiple of 3?
True
Suppose 21*n = 16*n + 105. Does 27 divide (n/9)/(3*4/972)?
True
Let j be 2/9 - (-2702)/(-9). Let b = 202 - 214. Is (b/10)/(12/j) a multiple of 15?
True
Let w = -55 - -57. Suppose w*h + 29 = 2*g + 3*h, g + h = 16. Is 13 a factor of g?
True
Let b be (8/20)/((-1)/5). Let r be b + (439 + 3)/(-2). Let l = -120 - r. Is 25 a factor of l?
False
Suppose -11*n - 21978 = -33*n. Does 45 divide n?
False
Let t(l) = 106*l**2 - 12*l - 27. Is t(-3) a multiple of 12?
False
Let t(o) = -10*o**3 + 14*o**2 + 37*o + 3. Is 13 a factor of t(-3)?
False
Let j = 482 + -272. Suppose -3*h - j = -5*h. Suppose 2*p + u - h = 0, p - 3*u = -u + 60. Is 27 a factor of p?
True
Is 47 a factor of (-43056)/(-99) + ((-36)/(-33) - 1)?
False
Let d(a) = -a**3 - 13*a**2 - 2*a + 13. Let w be d(-13). Suppose -5*y = -8*y + 105. Let h = w - y. Is 4 a factor of h?
True
Let w = 531 + 197. Is w a multiple of 24?
False
Let f(r) = -r**3 - 2*r**2 + 4*r + 13. Let u = 96 + -102. Is 47 a factor of f(u)?
False
Let l = 1454 + -399. Is l a multiple of 20?
False
Suppose 5*l - 73 = -23. Suppose 7*g + 102 = l*g. Is 11 a factor of g?
False
Let z(u) = 31*u + 477. Is z(9) a multiple of 14?
True
Let g(i) = -i**2 + 3*i + 6. Let b be g(4). Is 13 a factor of (2 - b - 182)*1/(-2)?
True
Suppose -4*n + 2290 = -1002. Suppose 0 = 5*x - n + 263. Is x a multiple of 27?
False
Let h = 3 + 1. Suppose -68 = -6*b + h*b. Does 17 divide b?
True
Let t be -3 + (-9)/(-4) + (-4266)/(-24). Let s = t - 74. Does 35 divide s?
False
Suppose x - 1400 = -9*x. Is 9 a factor of x?
False
Suppose 8*b - 7*b + 131 = 0. Let a = b + 239. Is a a multiple of 15?
False
Suppose 1584 = q - 3*i, 13*i = -3*q + 8*i + 4710. Does 21 divide q?
True
Suppose 2*y - 10 = -0. Suppose -14 = -2*f - 2*o, -6*o + 2*o = y*f - 38. Is 8 a factor of 5/(f/6) - -21?
True
Suppose w - 2 = 0, 0 = -5*a + 2*w - 66 - 53. Suppose 365*x = 367*x - 78. Let o = a + x. Does 9 divide o?
False
Le