pose h + 105 = 6*h. Let j = h - -1. Let c = 28 - j. Does 5 divide c?
False
Suppose 3*b - 330 = -w + 5*b, -3*w + 1000 = -4*b. Does 22 divide w?
False
Suppose 6*p = 4*p + 4. Let b(s) = 138*s. Let z be b(1). Suppose n + p*n = z. Does 23 divide n?
True
Suppose q + 5*r = 0, 4*q = -q + 2*r - 108. Let z = 1 - q. Is z a multiple of 11?
False
Let a be 1249/(-5)*-1 - 2/(-10). Suppose 0 = -0*w + 2*w - a. Is 25 a factor of w?
True
Let k(w) = -200*w**3 + w + 3. Is 16 a factor of k(-2)?
False
Suppose f = t - 0*f - 9, 35 = 3*t + 5*f. Suppose v + 5*u = 131, t*u - 247 = -2*v + 5*u. Does 18 divide v?
False
Let g = -42 + 46. Suppose -u - 4 + 13 = -w, 0 = u + g*w - 9. Does 9 divide u?
True
Suppose r + 3*r - 8 = 0. Let l = -470 + 664. Suppose 3*z + 0*v - l = r*v, -5*z - v = -345. Is z a multiple of 34?
True
Suppose -278*v + 274*v = -332. Does 3 divide v?
False
Let i = 179 - -252. Is i a multiple of 6?
False
Let r(l) be the third derivative of -l**4/12 + 26*l**3/3 - 2*l**2 - 18. Is r(-19) a multiple of 5?
True
Let q(m) = -m**3 + 5*m**2 + 3*m + 6. Let g be q(5). Suppose 0 = 5*k + 15, 2*k + g + 53 = 4*a. Suppose 2*o + 3 = a. Is 2 a factor of o?
False
Let x = -1340 + 1459. Is x a multiple of 17?
True
Let y = -2632 + 5062. Does 18 divide y?
True
Let y(n) = -10*n**3 - 4*n**2 - 2*n - 2. Is y(-3) a multiple of 4?
False
Does 10 divide (-14)/(-245) + 302664/280?
False
Let a(q) = q**3 + 15*q**2 + 7*q - 15. Let o be a(-11). Let x = o + -262. Does 26 divide x?
True
Let y be -3 + 5 + 193 + -3. Suppose -y = 7*q - 15*q. Is q a multiple of 10?
False
Let q = 865 + -378. Does 12 divide q?
False
Let g be 1/((-2)/(-11))*4. Let q = g + -32. Let y = q - -30. Is y a multiple of 10?
True
Suppose -4777 = -0*g - 17*g. Does 2 divide g?
False
Suppose -4*z + 3*o = 29, -z + 27 = -5*z + 5*o. Suppose 4*q = 2*t - 44, -2*q + 3*t = 13 + 13. Is (-105)/(-2)*z/q a multiple of 14?
True
Is 54 a factor of (-298)/4*2/(-1)?
False
Let v = 8 + -8. Let n be (16 - v)*15/4. Suppose 2*x + 8 = n. Does 13 divide x?
True
Let r(p) be the second derivative of -1/12*p**4 + 0 - p**3 + 4*p**2 - 6*p. Is 4 a factor of r(-6)?
True
Let q(r) = 29*r - 69. Does 11 divide q(22)?
False
Let y = -3286 - -5392. Is 6 a factor of y?
True
Let s be (1 + -2)*(2 + -4). Suppose -2*z - 3*z + 4*y = -6, 5*z - 8 = s*y. Is 17 a factor of (-3 + z)*(-62 + -5)?
False
Let x be (1 + 50/6)*-3. Let d = 33 + x. Suppose -81 = d*q - 206. Is q a multiple of 5?
True
Suppose 5 = 2*n - n. Suppose -n*p + 2 = 12. Let l(q) = -6*q**3 - 2. Is l(p) a multiple of 13?
False
Is 36 a factor of 8/(-6)*(18 - 99)?
True
Let v(m) = 32*m**2 - 7. Does 28 divide v(3)?
False
Let f(x) = 4*x**3 + 96*x**2 + 48*x - 24. Is 13 a factor of f(-23)?
True
Suppose -6*m + 19 = -11. Suppose -m*q = -5*k - 5, -k - 5 = -4*k - 5*q. Suppose -b - o + 46 = 0, k = 3*b - b - 3*o - 82. Is 11 a factor of b?
True
Let d be 15/12 + (-460)/(-16). Let w be -1*(1 + 115)/(-2). Let t = w - d. Is 14 a factor of t?
True
Is (-1200)/(-225)*(-1083)/(-4) a multiple of 11?
False
Suppose 5*o + 120 = -3*w + 390, -w = 3*o - 158. Suppose -5*f = -2*d + 195, 2*d - o = -4*f + 117. Does 5 divide d?
True
Let m = 24 - 20. Suppose 4*o = -60 + m. Is 17 a factor of (-140 + -1)*o/42?
False
Suppose -3*d = -4*o - 594, -4*o = 8*d - 5*d - 594. Is 5 a factor of d?
False
Let z = -169 + 480. Suppose 4*i + z = 5*y + 61, 0 = 5*i. Let c = y - 36. Is 7 a factor of c?
True
Let g(d) = -4*d - 13. Let m(s) = 4*s + 13. Let b(j) = 4*g(j) + 3*m(j). Is b(-7) a multiple of 2?
False
Let q(r) = -r**3 + 6 - 3*r + 2*r + 0 - 2*r**2 - 14. Let m be 6/(3/6 + -2). Is 7 a factor of q(m)?
True
Does 21 divide (-9)/(-12)*(-3 + 507 + 0)?
True
Let y(r) = r. Let q(g) = 3*g + 6. Let k(s) = q(s) - 2*y(s). Is k(5) a multiple of 2?
False
Let c be (6/12)/((-2 + 1)/(-8)). Let f = c - -16. Is f a multiple of 20?
True
Let z = 49 + 16. Is z a multiple of 5?
True
Let q(m) be the first derivative of m**2/2 - 3*m + 3. Let u be q(5). Suppose -12 = u*s - 4*s. Is 3 a factor of s?
True
Suppose 52*v - 462 = 38*v. Is v a multiple of 33?
True
Let r(a) = 5*a**2 - a + 2. Let m be r(1). Is 16 a factor of ((-14)/m)/((68/312)/(-17))?
False
Let m = 22 - 22. Suppose m = -h - 4*h - 15, -q - 4*h + 53 = 0. Is 13 a factor of q?
True
Let d = 199 + -101. Is 16 a factor of d?
False
Let f = -402 + 571. Suppose -2*s - 4*j + 22 + 58 = 0, -j - f = -4*s. Is s a multiple of 14?
True
Let w = 26 - 21. Suppose -w*o + 182 = -3*o. Is 13 a factor of o?
True
Suppose 5*l - x = 3075, 4*l = 2*l + x + 1230. Is l a multiple of 15?
True
Suppose 2 = -2*p, -4*t + 1 + 12 = -p. Suppose -t*u - 2*r + 120 = -5*r, 212 = 5*u - r. Is u a multiple of 10?
False
Suppose 27*s = 18121 - 4864. Is 66 a factor of s?
False
Suppose 0 = -7*a + 1010 - 359. Suppose -3*k + 3*f + 66 = 0, 18*f + a = 4*k + 15*f. Is 25 a factor of k?
False
Let q = 9 + -9. Suppose q*u - 30 = -h - u, 3*h = -2*u + 92. Is h*(36/(-16))/(-3) a multiple of 11?
False
Let q = -30 + 23. Is 3 a factor of 4*(-5)/35*q?
False
Suppose -5*v + 21 = -4*o - 31, -3*v + 26 = -5*o. Is 15 a factor of 3/(-12) - -5*63/v?
False
Let y = -65 - -33. Let o = 39 - 27. Is 14 a factor of (y/o)/((-2)/24)?
False
Let m(b) = b**3 - 5*b**2 - 5*b + 3. Suppose 0 = -5*j - 3*v + 4 + 9, 2*j + v - 5 = 0. Suppose -2*o - 2*s + 23 = 5, -15 = -j*o - s. Does 2 divide m(o)?
False
Suppose 0 = -j - 10*j + 319. Suppose o - 23 = -m, -o + 72 = 5*m + j. Is 6 a factor of o?
True
Suppose -5*x + 237 = 4*l, 3*l + 3*x = -9 + 186. Let a = -21 + l. Is a a multiple of 13?
False
Does 6 divide ((-355872)/42)/(-4) + (-6)/21?
True
Is (1 - (-4)/(-1))*(-21440)/96 a multiple of 8?
False
Let k be -2*(-339)/6*3/3. Suppose -4*m + 210 = 2*f, -f + m + k = -m. Does 15 divide f?
False
Suppose -30 = -7*q + 2*q. Let d(z) = 5*z**2 + 5*z - z**3 + 4*z + 2*z**3 - 2*z**3 - 5. Is d(q) a multiple of 13?
True
Let s = 21 + -7. Let i = s - 7. Let c = i - -1. Is c a multiple of 8?
True
Let l(j) = -2*j + 1. Let q be l(-3). Suppose -q*g - 74 = -9*g. Suppose -2*t = -5*z + 60, -5*z + t = -2*z - g. Is 7 a factor of z?
True
Suppose -766 = -17*b + 19022. Is b a multiple of 97?
True
Suppose -5*f - w + 9 = 0, -3*w - 8 - 1 = -3*f. Suppose f*d - 15*d + 1027 = 0. Does 4 divide d?
False
Let w be 0/2 - 35 - 0. Let s be 2/(-3)*(w + 8). Suppose -9*t = -7*t - s. Is 9 a factor of t?
True
Suppose 18*j + 7595 - 19907 = 0. Is j a multiple of 19?
True
Let p(t) = -t**2 - 6*t + 1. Let k be p(-6). Let n be (2 - k)*6 - 4. Suppose 370 = 5*a + n*g, g = -5*a + 2*a + 221. Is 24 a factor of a?
True
Is (30/40)/((-1)/(-744)) a multiple of 3?
True
Suppose -4*o = 5*a - 458, 0 = 4*a - a - 6. Is o a multiple of 6?
False
Suppose 0*j - 103 = -2*c + 5*j, -3*c = j - 129. Suppose i - 5*i = -4*f + c, 5*f = 25. Is (27/(-36))/(i/32) a multiple of 4?
True
Let q be (-1600)/90 + 6/(-27). Let l = q + 44. Is 19 a factor of l?
False
Is 4 a factor of (1*-1)/(10 + (-22888)/2288)?
False
Is -345*9/18*-10 a multiple of 55?
False
Let n(q) = -3*q + 1. Let g be n(-1). Suppose -g*x = -x - 51. Let v = -8 + x. Is 2 a factor of v?
False
Let h = 2 - -4. Suppose 0*m + h*m = -2568. Does 12 divide 2/9 + m/(-18)?
True
Let j(d) = d**3 + 7*d**2 + 6*d - 1. Let n be j(-6). Let v be ((-4 + 0)*n)/(-2). Let y = v + 20. Is 16 a factor of y?
False
Suppose 20 = 6*u - u. Suppose r + r - 10 = 0, -u*k + 82 = 2*r. Is k a multiple of 18?
True
Let t be (-39)/3 - 3/(-5 - -2). Is 3/27*3 - 1340/t a multiple of 28?
True
Suppose -5*i - 6 = -21. Suppose v - 2*z + 0 + 3 = 0, -3 = 4*v - 5*z. Suppose 0 = n + v*k - 0*k - 25, -i = 3*k. Is n a multiple of 6?
False
Let n = -302 - -7. Let g = 420 + n. Is g a multiple of 13?
False
Is 28 a factor of (64*2)/(250/35 + -7)?
True
Let d(c) = -1. Let v(z) = -7*z + 3. Let k(s) = -2*d(s) + v(s). Let j be ((-33)/11)/((-3)/(-4)). Is k(j) a multiple of 19?
False
Let p(y) = 12*y**3 + 23*y**2 - 85*y + 1. Does 6 divide p(4)?
False
Let b(t) = 58*t**2 + t - 14. Is b(-4) a multiple of 5?
True
Let s(i) = -35*i - 209. Let z be s(-6). Let c(v) be the first derivative of 26*v**2 - v + 1. Is c(z) a multiple of 17?
True
Suppose -13*d + 8*d + 970 = 0. Is 40 a factor of d?
False
Let n be 5/(-25) - (-62)/10. Let o be (n - -42) + -1*1. Let a = o + -11. Is a a multiple of 18?
True
Let v(h) = -h**3 - 4*h**2 - h - 2. Let j be v(-2). Let s = 28 + j. Is s a multiple of 16?
False
Let v(l) = l**2 - 12*l + 12. Let i be v(10).