 2*v + 3*d - 929 = 0. Is 10 a factor of v?
False
Is ((-26)/(-6))/(-13)*-669 a multiple of 11?
False
Suppose -q = -26 + 33. Let c = -4 - q. Does 3 divide c?
True
Let b = 74 + -74. Suppose 8*t - 1435 - 29 = b. Is 47 a factor of t?
False
Let x = -154 + 192. Is 10 a factor of x?
False
Is 2/(-9) + (-101820)/(-135) a multiple of 58?
True
Let c(g) be the second derivative of -5*g**3/6 + g**2/2 - g. Let u(m) = 29*m - 6. Let w(j) = -34*c(j) - 6*u(j). Does 14 divide w(-10)?
True
Suppose 3 = -s, -4*z - 2*s = -1100 - 4050. Is 19 a factor of z?
False
Let j(t) = t**2 + t - 1. Let o be j(-2). Let q(h) = -7 + 4*h**2 + o - 5*h + h**3 + 0 - 3*h. Is q(-5) even?
False
Let k be 12/20 - (-586)/(-10). Let j be (k - -5)*(-1)/1. Suppose -3*d + d - 3*h = -j, -d + 25 = 2*h. Does 13 divide d?
False
Suppose 6*h = 390 + 312. Is h a multiple of 3?
True
Suppose 3*s - 2*p = -56, 3*s = 2*s - 3*p - 26. Let k(i) = -i**2 - 27*i - 62. Is k(s) a multiple of 6?
True
Let r be (-3 - (-4 - -4)) + -1. Let o be r/16 + 153/4. Let m = 57 + o. Is m a multiple of 17?
False
Let h = 285 - -3. Suppose v = -0*v - 3*g + 72, -5*g - h = -4*v. Is 9 a factor of v?
True
Let j be -5 + (5 - 1) + -129. Let o = 190 + j. Is o a multiple of 6?
True
Let f = -21 - -25. Suppose 0*p - 276 = -f*p. Is p a multiple of 23?
True
Suppose -34*j + 33*j = -106. Is 36 a factor of j?
False
Let q(a) = -a + 15. Let r be ((-2)/5)/(4/(-10)). Let y be 3 + r*3/1. Does 9 divide q(y)?
True
Let d = -6 - -3. Let v(z) = -34*z - 4. Let o(c) = -23*c - 3. Let s(f) = 8*o(f) - 5*v(f). Does 19 divide s(d)?
True
Does 28 divide (1/(2/(-89)))/(2/(-52))?
False
Let f be ((-6)/(-7))/(56/98)*60. Let w = -3 - -3. Suppose -2*m = x - f, w = 3*x - x - 4. Is m a multiple of 8?
False
Suppose 5*m - 12 = -3*y - y, -m = 5*y + 6. Let k = y + -2. Let c = k - -8. Does 2 divide c?
True
Suppose 4*j + 155 = g, -2*g = -3*j - 400 + 65. Is 19 a factor of g?
False
Is 39 a factor of 16321/209 - (-2)/(-22)?
True
Let k(t) = -t**2 - 8*t + 5. Let p be k(-8). Suppose -3*l = -p - 85. Suppose -4*j - 3*y + 167 = 0, 3*j - 139 + l = y. Is j a multiple of 11?
False
Let b(o) = -55*o. Let l(y) = 1595*y. Let w(c) = -88*b(c) - 3*l(c). Is 14 a factor of w(1)?
False
Let y(s) = 35*s + 2. Let p be y(-2). Let i = p - -323. Suppose -2*h = -5*h + 3*j + i, 5*h - 431 = 3*j. Is 13 a factor of h?
False
Let m(a) = 175*a**2 + 13*a - 6. Is 16 a factor of m(2)?
True
Let z(l) = -2*l + 18. Let t be z(12). Let q be ((-24)/30)/(t/165). Let o = q - 11. Is 3 a factor of o?
False
Suppose 3*h - 6*h = 5*n - 23, 2*n = -2*h + 6. Is (n/(-21))/(1/3) - -53 a multiple of 21?
False
Let c(m) = -m**2 + 11*m + 16. Let b be c(12). Let p be (-4)/b + (-1 - -20). Suppose 2*d - p = -4*l, 4*d + d + 15 = 0. Is 3 a factor of l?
True
Let b be (2 + 5/(-2))*48. Suppose 169 = -3*i - 2. Let n = b - i. Does 9 divide n?
False
Suppose 60 = -2*m + 238. Let a = -53 + m. Suppose 2*g + 2*g = a. Is g a multiple of 4?
False
Let t(h) = h**3 + 3*h**2 - 7*h - 2. Let k be t(-4). Suppose -292 - 68 = -k*a. Does 12 divide a?
True
Let q(u) = -5 + 2 + 1 - 2*u - 8. Let s be (120/(-75))/(1/5). Does 6 divide q(s)?
True
Let o = 799 + 310. Is o a multiple of 8?
False
Let z(y) = y**3 - 8*y**2 + y + 2. Let j be z(8). Let h = j - 8. Suppose 5*c - 3*n - 308 = 0, h*c - n - 5 = 119. Does 16 divide c?
True
Is (2*271)/(-11 + 13) a multiple of 18?
False
Suppose -8*z - 2*w = -13*z + 1130, 662 = 3*z + 2*w. Is 14 a factor of z?
True
Let s = -7 - -12. Suppose s*w = 10*w - 55. Is 11 a factor of w?
True
Let j = 1142 + -628. Is 11 a factor of j?
False
Suppose -8*w = -1263 - 457. Is w a multiple of 29?
False
Let m(l) = 2*l**3 + l**2 + 4*l - 7. Let r(p) = -p**3 - p**2. Let q(d) = m(d) + 3*r(d). Let x be (12/(-36))/((-1)/(-15)). Does 14 divide q(x)?
False
Let g = -99 + 79. Is 5 a factor of (g/(-7))/(24/168)?
True
Suppose 2*l = -6, 3*b + 0*b - 3*l = 954. Does 6 divide b?
False
Let l = 5161 - 3516. Is 47 a factor of l?
True
Let l(a) = a - 2. Let n be l(7). Suppose -u - 342 = -5*c + 159, n*c + u = 499. Is c a multiple of 25?
True
Let t(z) = -18*z. Let d be t(-1). Let i = d - 14. Suppose -100 = -i*l - 4*g, 2*l - 97 = -2*l - 5*g. Is l a multiple of 7?
True
Suppose -1120 + 120 = -8*z. Let b = z + -68. Is 22 a factor of b?
False
Is 2 a factor of (6 - (3 - 0))*(0 + 2)?
True
Does 10 divide -425*-10*10/125?
True
Let k(f) = 7*f + 10. Let s(n) = -n**3 - 17*n**2 - n - 13. Let h be s(-17). Is 7 a factor of k(h)?
False
Suppose 1333 = 2*j - 349. Does 40 divide j?
False
Is 4*((-114)/4)/((-15)/20) a multiple of 67?
False
Suppose k + 3*k + 4 = 4*a, 4*k + 4*a + 12 = 0. Does 8 divide ((-3)/(-9))/(k/(-138))?
False
Let q(u) = 17*u - 2. Let h be (0 + (-2)/6)*(12 + -18). Is q(h) a multiple of 7?
False
Suppose 4*z + 526 = -c + 2*c, 5*c + 2*z = 2520. Is c a multiple of 19?
False
Suppose 21*m = 19*m + 230. Is m a multiple of 23?
True
Let a be 381 + 2*(-6)/4. Suppose -5*h + v = -a, 4*h + 0*h + 4*v - 288 = 0. Suppose -2*u + h = -3*t, -3*u = t + 2*t - 105. Is u a multiple of 18?
True
Suppose 0 = -3*y - 5*l + 185, -120 = -2*y - l - 3*l. Suppose -g + y = -2*g. Let s = -50 - g. Does 4 divide s?
True
Let n = -9 - -17. Suppose -10*c + n*c = 0. Suppose 3 - 11 = 2*f, -2*l - 4*f + 116 = c. Does 15 divide l?
False
Let x = -1 - 14. Is 14 a factor of 2256/40 + (-9)/x?
False
Suppose -2*s - 2 = 2*x + 2*x, 0 = -5*s - 5*x + 20. Suppose -7*m + s*m = 216. Does 27 divide m?
True
Let d = -35 + 37. Suppose -6*q + 11*q = 0. Suppose 2 = 2*a, -y + d*a + 14 = -q*a. Is y a multiple of 11?
False
Suppose -4*v - 135 = -87. Let j = v + 40. Is j a multiple of 3?
False
Let i be (-1280)/12 + (-4)/(-6). Let p = -61 - i. Is 11 a factor of p?
False
Let z = 270 + -51. Let y = -108 + z. Is y a multiple of 37?
True
Suppose -5*b + 1494 = 209. Suppose 187 = 6*p - b. Does 22 divide p?
False
Let p(w) = -4*w**3 - w**2. Let q be p(-1). Is 9 a factor of -3 - -62 - q/6*0?
False
Let q = 2795 + -1155. Is q a multiple of 10?
True
Let l = 97 - -453. Is 22 a factor of l?
True
Let v = 11 - -4. Is 10 a factor of (-402)/(-5) + (-6)/v?
True
Does 11 divide -4 + 12 - -11*86?
False
Let o(f) = -14*f**2 + f**2 + 7*f**2 - 8*f - f**3 - 3 - f**2. Is o(-6) a multiple of 2?
False
Let c(a) = 3*a - 4. Suppose -2*h = -5 + 1. Let u be c(h). Suppose -5*b + 11*r + 125 = 6*r, u*b = 5*r + 44. Is 12 a factor of b?
False
Let l(n) = -n - 1. Let h be l(13). Let i = h - -25. Let y(u) = -u**3 + 11*u**2 + 7*u - 2. Is 25 a factor of y(i)?
True
Suppose 610 + 510 = 16*n. Does 7 divide n?
True
Suppose -12*q = 6*q - 42768. Does 66 divide q?
True
Let s(h) = -h**3 + 5*h**2 - 2*h - 3. Let k be s(4). Suppose 0*b - j = -4*b + 367, 0 = -j + k. Is b a multiple of 31?
True
Suppose -4*l = -3*i - 4164, 4*i - 3727 = -5*l + 1509. Does 17 divide l?
False
Let t(i) = i**2 + 3*i + 6. Let c be t(0). Is 20 a factor of (-3)/((-108)/10072) - c/(-27)?
True
Let c(a) = -a**3 - 5*a**2 + 3. Let v be c(-5). Suppose 5*i - j = 136, 0*j - 16 = -i + v*j. Let k = 52 - i. Is k a multiple of 8?
True
Let y(n) = 143*n**2 + 28*n + 60. Is y(-2) a multiple of 32?
True
Suppose 2*m + 99 - 639 = 0. Does 28 divide m?
False
Let g be 311 - 25/(-5) - 1. Suppose 5*h - 1470 = -g. Does 11 divide h?
True
Let m(p) = 2*p**2 + 9*p + 26. Is m(10) a multiple of 14?
False
Suppose 78*l = 75*l + 1296. Is l a multiple of 108?
True
Let t = 1679 - 1520. Is 53 a factor of t?
True
Let p = -163 - -793. Is 7 a factor of p/(-27)*6/(-5)?
True
Let z(q) = q**2 - 4*q - 3. Let c be 8/(-4) + 8 + -1. Let b be z(c). Suppose 5*f + 167 = b*k, f - 3 = -2*f. Is k a multiple of 30?
False
Suppose 5*a = -3*b + 10275, b - 6*b + 25 = 0. Does 19 divide a?
True
Suppose 4*s - 3 = 9. Let f be (4 + -3 - s) + 5. Let k = 33 - f. Is 6 a factor of k?
True
Let s be 5/(-1) - (1 - 1). Does 26 divide (2/s - 9/15) + 146?
False
Let q(k) = -k**3 - 4*k**2 + 2*k - 11. Let m be q(-5). Suppose -s + 6*s - 740 = 2*v, -m*s - 4*v = -592. Is s a multiple of 26?
False
Suppose 26 - 64 = -2*q. Suppose 0 = c + q + 29. Is (64/c)/(1/(-3)) a multiple of 3?
False
Let x be (-5)/((-25)/140) - 0. Let s = 133 - x. Is 7 a factor of s?
True
Does 87 divide (-20*3/1)/(56/(-2436))?
True
Suppose -c + 5 = 1. Suppose -3*f + 4*w = 0, 0*w = c*f + w - 19. Is (82/f)/((-7)/(-14)) a multiple of 15?
False
Suppose 3*z + 800 = 2*l, 200 + 602 = -3*z + 4*l. Let w = -39 - z. Is w a multiple of 40?
False
Suppose 