p - 4*p - 2*w = 698, -361 = -p - 3*w. Is 16 a factor of p?
True
Suppose n + n = -5*p + 860, -3*p + 490 = -4*n. Is p a multiple of 20?
False
Let p be 3 - (3 + 1 + -1). Suppose 6*a + 0*a - 702 = p. Is 39 a factor of a?
True
Let m be 8/(-44) - 155/55. Let j be (m/6)/((-4)/(-8)). Is (21/35)/(j/(-15)) a multiple of 3?
True
Let z(d) = d**3 + 9*d**2 - 4*d - 6. Let u(m) = -3*m + 2. Let k(p) = -p + 1. Let x(v) = 12*k(v) - 3*u(v). Let f be x(5). Is z(f) a multiple of 18?
False
Let t(z) = 15*z + 6. Let c be t(5). Suppose -5*m = -4*v + 106 + 7, -3*v + c = -3*m. Does 9 divide v?
False
Does 3 divide (10/150*-5)/(2/(-522))?
True
Suppose -5*j = g - 515, j - 94 = -0*j - 2*g. Suppose -3*l - l = j. Is 9 a factor of 33/2 - 39/l?
True
Let d be 8/(-20) - 36/10. Let z be (-60)/(-16) - d/16. Suppose o + z*h + 363 = 6*o, 3*h + 216 = 3*o. Is 20 a factor of o?
False
Let l(b) = -b**3 + 8*b**2. Let o be l(8). Suppose 4*d = -4*p, o = 3*d + 3*p - 6*p - 12. Is 58/d*(7 + -5) a multiple of 16?
False
Is 37 a factor of 6 - (10925/(-11) - (-24)/132)?
True
Let g(b) = -14*b**2 - 152*b - 14. Is g(-7) a multiple of 3?
False
Let n(d) = -58*d - 332. Is 7 a factor of n(-10)?
False
Suppose -4*d + d + 3*t = -534, -2*t = -5*d + 893. Suppose -3*r + d = z + 4*z, 0 = -2*r - 3*z + 118. Is r a multiple of 22?
False
Suppose 13 = 3*s + 4*v, -2*v = -3*s + 2*v - 19. Let z be 2/1 - (s + 2). Is 3 a factor of ((-21)/14)/(z/(-6))?
True
Suppose 2*q + 321 = f - 0*q, -1650 = -5*f - 5*q. Is f a multiple of 31?
False
Let q = 166 - 100. Let b be 12/q - 24/11. Does 12 divide 4 - (-4)/b - -22?
True
Suppose 3*d = -8*d + 22. Suppose -340 = -2*q - d*k, -4*q + 3*k = -9*q + 850. Does 34 divide q?
True
Suppose j = 10 + 14. Let o = j + -11. Suppose 51 = 4*z - o. Is 6 a factor of z?
False
Suppose 33 = -3*n + 42. Suppose n*d = -o + 88, 5*d - 29 = -2*o + 143. Does 19 divide o?
True
Let o(s) = -2*s**2 - 2*s + 2. Let w be o(4). Let p be -9*3*(2 - (1 - 0)). Let d = p - w. Is d a multiple of 11?
True
Let w(z) = -z**3 - 8*z**2 + 9*z + 19. Let v be w(-9). Suppose -v*t + 1350 = -13*t. Does 22 divide t?
False
Suppose 0 = 13*v - 10*v - 414. Suppose 3*s = -3*f + 6*f - v, -3*f = 3*s - 120. Does 24 divide f?
False
Suppose -3*a - 2*w = 3*w - 1064, -4*a = -w - 1457. Is 44 a factor of a?
False
Let c(s) = -3*s - 7 + 2*s + 16. Let p be c(7). Suppose p*f + 37 = 3*f. Does 12 divide f?
False
Suppose -4*v + 11 + 1 = 0. Suppose 3*h + 81 = 4*u, 103 = 5*u - 2*h - 0*h. Let b = u + v. Does 24 divide b?
True
Suppose 2*l - 238 = -w, -2*w + 0*l - 3*l + 477 = 0. Does 16 divide w?
True
Let u = 23 - 12. Suppose -4*y + 20 = -2*a, 2*a + u = 3*y - 4. Suppose 2*w - 104 = -3*r + 7*r, 0 = -y*w - r + 227. Is w a multiple of 18?
False
Suppose 0 = -4*d + 2 + 2, -5*t + 4*d = -76. Suppose -63*o = -49*o + 630. Let j = t - o. Does 30 divide j?
False
Suppose 3*z + 603 = -5*k, -2*z + 131 = -3*k + 2*k. Let y = k + 395. Does 7 divide 0 + -3 + y/8?
False
Suppose -f = 6*r - 2*r - 260, -4*f = 4*r - 260. Is r a multiple of 5?
True
Suppose 4*a = -a. Let k(g) be the third derivative of g**4/24 + 19*g**3/2 + 16*g**2. Is k(a) a multiple of 19?
True
Let s(m) = 2 - 4*m + 2*m - m. Let k = -67 + 59. Is s(k) a multiple of 14?
False
Suppose -3*n = -h - 16, -3*h = -5*n - 9 + 41. Let y(j) = 6*j. Let p be y(4). Let b = p - n. Is 10 a factor of b?
True
Let y be 18/(-12) + (-773)/(-2). Suppose 0*x + z = -3*x + 233, -z = 5*x - y. Does 19 divide x?
True
Let y be ((1*18)/(-1))/(6/(-8)). Suppose -2*n = -26 - y. Is n a multiple of 5?
True
Suppose -3*b + 91 + 83 = 0. Let j(o) = o + 10. Let v be j(-7). Suppose -2*f + 30 = u, 4*u + b = v*f - u. Does 8 divide f?
True
Is (-211)/(-3) + (-18)/54 a multiple of 4?
False
Let x(l) = -8*l - 6 + 2*l**2 + 2*l - l + 2*l. Is 23 a factor of x(-4)?
True
Let q be (-3)/(-3)*-2 - -4. Let l be 1/(-2)*q*3. Does 2 divide l/(-3)*(1 - -1)?
True
Suppose v - 3*v = -102. Is 6 a factor of -2 + (v - -3 - 3)?
False
Let d = 8592 + -5127. Is 45 a factor of d?
True
Suppose -3*j + 2461 = 2*g, -g = -29 + 33. Does 56 divide j?
False
Suppose -2318*f = -2317*f - 3692. Is 51 a factor of f?
False
Let x = 271 - 100. Suppose 2*o = -3*j + x, 0*j + 287 = 5*j + 4*o. Does 11 divide j?
True
Let y(f) = -73*f + 48 - 47 - 5*f - 30*f. Is 36 a factor of y(-2)?
False
Let o = -89 + 31. Suppose -4*q + 454 - 46 = 0. Let d = q + o. Is 22 a factor of d?
True
Let v = 15 + -15. Suppose -3*q + 27 = 4*s, 2*q - 6*q + 20 = v. Suppose -5*t - 5*z = -70, 0 = 4*t - s*z - 36 - 6. Is t a multiple of 8?
False
Let l(z) = 5*z. Let d be l(-2). Let r be ((-454)/(-4))/((-5)/d). Suppose 5*u - r - 43 = 0. Is 18 a factor of u?
True
Let z(n) be the third derivative of n**5/30 - 3*n**4/4 - 4*n**3/3 - 3*n**2. Is z(10) a multiple of 6?
True
Suppose -2*d - 25 = r, d + 5*r = 4*d + 18. Let u be (-14)/(-4) - 1/2. Let y = u - d. Is y a multiple of 7?
True
Let d(y) = 13*y**2 - 7*y - 30. Is 28 a factor of d(-4)?
False
Let z(q) = q**2 + 5*q - 5. Let n be z(2). Let i = 14 - n. Is i a multiple of 3?
False
Suppose 0 = -b - 0*b - 22. Let g = b - 4. Let x = 2 - g. Is x a multiple of 7?
True
Let s(m) = 3 + 5*m + 4 + 4. Let q be s(-11). Does 11 divide (q/6)/(4/(-18))?
True
Suppose 0 = -6*f + 19 - 7. Does 15 divide (180/8)/(-3*f/(-8))?
True
Suppose 0 = 2*i + 4*d - 3*d - 175, 2*i = 3*d + 179. Is i a multiple of 8?
True
Let i be (-9)/(-15) + 88/20. Let b(a) = 2*a**2 - 8*a - 4. Let l be b(i). Let f(o) = o**2 - 6*o + 6. Does 4 divide f(l)?
False
Suppose -w + 9 = 2*w. Suppose -8 = 2*x, -j = -w*x + 1 - 21. Suppose 0 = -o - n + 19 + j, -o + 36 = -2*n. Is 10 a factor of o?
True
Suppose -151*w = -152*w + 285. Is 15 a factor of w?
True
Let u = -36 + 41. Suppose 3*d - 6*d + 47 = 5*c, 0 = 5*d + u*c - 95. Does 7 divide d?
False
Let m = 983 + -405. Is 63 a factor of m?
False
Suppose 27216 = 13*z + 14*z. Does 4 divide z?
True
Let g(w) = 2 - 2 + w**2 + 1 - 18*w. Let a be g(15). Let h = a - -135. Is h a multiple of 13?
True
Let m = 965 + -567. Is 17 a factor of m?
False
Let d(m) = -239*m + 123. Is 38 a factor of d(-7)?
False
Let b = -20 + 19. Let i(u) = -114*u - 2. Is i(b) a multiple of 28?
True
Suppose -4*m - l = -796, 800 = 4*m - l + 3*l. Let w = m - 114. Is 28 a factor of w?
True
Let k(x) be the first derivative of -x**4/4 + 2*x**3 + x**2/2 - 5*x - 10. Is k(4) a multiple of 8?
False
Let a = -2 - -23. Let h = 25 - a. Suppose 4*c + 2*q = 2*c + 32, 3*q = h*c - 99. Does 7 divide c?
True
Let c(o) = 2*o**3 + 3*o**2 + 4*o - 29. Is 35 a factor of c(4)?
False
Let a = 18 + -9. Let g be (9 - a) + (-1 - -3). Does 3 divide (g - -2)*3/4?
True
Suppose -54 + 0 = -3*p. Let t = 22 - p. Suppose -5*b + 56 = t*z, z - 37 = -3*b + 2*z. Does 12 divide b?
True
Let r(y) = -19*y + 1. Let s(d) = -18*d + 2. Let g(f) = 4*r(f) - 3*s(f). Let c be (5 + -2)*7/(-21). Does 10 divide g(c)?
True
Suppose -1 = -3*l + 5*j, 4*l - l - j - 17 = 0. Suppose 0 = -l*u + 6*u + 46. Is u a multiple of 22?
False
Let a(s) = -s**3 - 26*s**2 + 85*s - 44. Is 3 a factor of a(-29)?
False
Let i(r) = 3*r + 7. Let l be i(-5). Let a be (-2)/l - (-73)/(-4). Does 4 divide (-1)/3 - 330/a?
False
Let d(h) be the third derivative of -1/12*h**4 + 8*h**2 + 0 + 1/30*h**5 + 1/2*h**3 + 0*h. Is 6 a factor of d(3)?
False
Suppose 4*s + 0 = 4*w + 16, 10 = -2*s - 4*w. Let i(g) = 81*g + 1. Is 13 a factor of i(s)?
False
Suppose 0 = 2*j + 4, -3*j - 15 - 14 = -t. Suppose 49 = 10*a + 179. Let h = a + t. Is h a multiple of 5?
True
Let x(l) = -3*l**2 + 4*l - 4. Let h be x(2). Let c(z) = -2*z**2 - 17*z - 5. Let f be c(h). Suppose 4*g - 4*v = 176, 2*g + 2*v = 79 - f. Is 17 a factor of g?
False
Is 9 a factor of -1 - (2 + 1029/(-7))?
True
Is 2 a factor of 51 + (-14)/(-4)*(-104)/(-91)?
False
Suppose 5*m = -2*w + 9250, -4*w = 2*m - 9*w - 3671. Is 12 a factor of m?
True
Let x = 70 + -71. Is 3 + x/(1/(-159)) a multiple of 18?
True
Let d(s) = -s**3 - s**2 - 2*s + 37. Let b be d(0). Suppose q + 4*i + 2 - 19 = 0, -5*q = -4*i - b. Does 6 divide q?
False
Let c(d) = 127*d**2 - 57*d + 17. Does 16 divide c(-3)?
False
Let c = 142 + -81. Let a = c + 31. Is 13 a factor of a?
False
Let u(x) = x**2 + 14*x + 2. Let n be u(-14). Suppose -m - 8 = -5*m - n*g, -m + 3*g = -9. Suppose 0 = m*q - 69 - 81. Does 13 divide q?
False
Suppose -3 = -2*o + 5*h, 0*o = -2*o + 2*h. Let q(x) = -165*x**2 + 6*x - 8. Let d(v) = 55*v**2 - 2*v + 3. Let s(l) = -11*d(l) - 4*q(l). 