*t + 7 = -v. Suppose 184 = -j + t*j. Suppose 0 = o - x - 19, -x + j = 3*o + 3*x. Is o a multiple of 20?
False
Let m = 12 + -53. Let o = 131 + m. Is o a multiple of 16?
False
Let a = 122 - -76. Is a a multiple of 11?
True
Let b(a) = -a**3 + 4*a**2 + 6*a - 5. Let c be b(5). Suppose c = 5*p + 143 - 413. Let s = p + -22. Does 15 divide s?
False
Let l(y) = 5*y**2 - 18*y + 13. Does 26 divide l(12)?
False
Let c = -34 - -36. Suppose 0 = -3*o - c*f, -f - f = -3*o - 12. Let j(h) = 24*h**2 + 3. Is j(o) a multiple of 19?
False
Is (-2)/(-14) - 2568/(-56) a multiple of 25?
False
Let s(j) = -j**3 + 21*j**2 + 27*j - 8. Let r = 4 - -18. Is s(r) a multiple of 17?
True
Let l be -2 + -86 - (1 + 0). Is 10 a factor of -1 - l - (16 - 14)?
False
Let c(v) = 2*v**2 - 7*v + 6. Suppose -5*f + f - 4*h = -40, -3*f - h = -24. Does 11 divide c(f)?
True
Let u(y) = 3*y**3 - 3*y**2 - 12*y - 16. Is u(7) a multiple of 23?
True
Suppose 0 = 3*p + 4 - 10. Let b be -2 + -1 + 2 + 49. Suppose -p*w + 0*w - 2*d + b = 0, -3*d + 32 = w. Is w a multiple of 15?
False
Suppose -2*d = 4*m - 8788, -5*m - 60*d = -64*d - 10972. Does 9 divide m?
True
Let l(b) = 63*b + 91. Does 28 divide l(5)?
False
Suppose -9*d + 47 = -7. Suppose v - 4*o = 20, -3*v + 3*o - 45 = -d*v. Is v a multiple of 16?
True
Suppose -69*s + 35*s + 77826 = 0. Is 13 a factor of s?
False
Let p(z) = 2*z**2 - 2. Let d = -25 + 17. Let u = d + 5. Does 8 divide p(u)?
True
Let y(h) be the first derivative of -h**3/3 - 2*h**2 + h - 6. Let b be y(-4). Let c(z) = 21*z**2 + z - 1. Does 7 divide c(b)?
True
Let c(p) = 2*p + 0*p**2 + 3*p**2 - 2*p**2 - 14. Does 21 divide c(-8)?
False
Let m(v) = -v**3 + 20*v**2 - 16*v + 15. Let x be m(19). Suppose 12 = -i - 4*r - r, -3*i = 3*r + x. Let n = 55 + i. Does 7 divide n?
True
Let d be ((-14)/42)/((-2)/24). Suppose 0 = -d*u + 2 + 2. Let v = u - -9. Does 5 divide v?
True
Suppose -m + 6 - 4 = 0. Suppose -146 - 70 = -m*a. Let y = a + -45. Is y a multiple of 9?
True
Does 116 divide (-25048)/(-36) + (22/18 - 1)?
True
Suppose 6*r - 2*r = 32. Suppose -r*g = -4*g + 5*x - 22, 5*g - 34 = -3*x. Does 5 divide g?
False
Suppose 4*y + 0*y = 4*d + 68, -4*d = -5*y + 82. Suppose 0 = -3*g + 2*g + 4. Let b = g + y. Is b a multiple of 13?
False
Let u(q) = q**3 - 5*q**2 + 4*q - 2. Let l(n) = n**2 + 3*n + 1. Let p be l(-4). Let o = p + 0. Does 6 divide u(o)?
True
Let t be 138/24 + (-1)/(-4). Suppose 30 = -i + t. Let x = -16 - i. Is x even?
True
Suppose 4*s - 29 = 3*v, -2*s - 9 + 27 = 2*v. Is ((-12)/s + 1)*-34 a multiple of 17?
True
Let x(d) = 2*d**3 + d**2 + 6*d + 9. Let o = -14 + 7. Let p be x(o). Does 11 divide p/(-30) - 1/3?
True
Suppose -4*c + 2*f - 4*f + 1530 = 0, 1150 = 3*c + f. Does 9 divide c?
False
Suppose 5*i + 0 = 10. Is (2 + 78)/(2/i) a multiple of 10?
True
Let t(w) = 2*w + 4. Let d be t(3). Let x = d - 14. Is x/6 + (-114)/(-9) a multiple of 7?
False
Let u = -1173 + 1353. Does 4 divide u?
True
Suppose 20*r + 2*d - 2826 = 15*r, 0 = -4*r + 2*d + 2250. Is r a multiple of 6?
True
Let i = 1 + 6. Suppose -h - 3 = i. Let t = h + 19. Is 3 a factor of t?
True
Let h = 10 - 13. Is h + 10 + 4 + -3 a multiple of 8?
True
Does 28 divide (28/16)/(3/780)?
False
Let b be (4/(-3))/(36/(-3834)). Let r = b + -76. Is r a multiple of 12?
False
Let d(f) = -265*f - 140. Does 15 divide d(-5)?
True
Suppose -7*t = 3*t - 520. Let j = t + 82. Is 17 a factor of j?
False
Suppose -13 = -2*f - 7. Suppose s - f*w = 2, 0 = -4*w + 1 + 3. Is 5 a factor of s?
True
Suppose -7*c + 9*c - 2 = 0. Is -1 + (20 - 1/c) a multiple of 6?
True
Is 11 a factor of (2/(-1))/(5/165*-3)?
True
Suppose -55 - 2726 = -27*n. Is 5 a factor of n?
False
Suppose 3*b = -3*d + 3, -5*b + 1 = 4*d - 4. Let t = b - -1. Suppose -115 = -t*q + 11. Is q a multiple of 11?
False
Let g(h) = h**2 - 7*h - 5. Let l be ((-8)/(-10))/((-1)/(-10)). Let t be g(l). Suppose d = t*d - 22. Does 3 divide d?
False
Suppose 4*n = j + 200, 0 = -3*j + j. Let b(q) = -q**2 + 22*q - 26. Let c be b(22). Let g = c + n. Does 8 divide g?
True
Suppose 3*o - 13 = i - 2*i, 4*o = 4*i - 4. Suppose -k = -5*k - 2*q + 18, -4*q = -3*k - o. Does 2 divide k?
False
Suppose 5*j + 3 = 23. Suppose t - 9 = 2*f, j*t + 0*f = -4*f + 12. Does 2 divide t?
False
Let s be (-30)/(-9) + (-1)/3. Suppose d - l + 12 = 3*d, -s*d + 13 = -l. Let v = d - -5. Does 5 divide v?
True
Let r(p) = 24*p**2 + 3*p - 5. Let t be r(5). Suppose s - t = -4*s. Is s a multiple of 40?
False
Let x(m) = 19*m**2 + 6*m + 4. Let h be x(-4). Let c be (h/(-12))/((-3)/9). Let t = c + -47. Is 12 a factor of t?
True
Let b(n) be the second derivative of n**5/20 - 7*n**4/6 + 4*n**3 + 8*n**2 - 16*n. Is 3 a factor of b(12)?
False
Let y(i) be the third derivative of -i**5/60 + 13*i**4/24 + i**3/3 + 3*i**2. Let d be y(13). Suppose 7*g - d*g = k + 87, 63 = 4*g - 3*k. Is g a multiple of 18?
True
Let z(k) = k**3 + 12*k**2 + 10*k - 6. Let v be z(-11). Let w = v + -9. Let x(b) = 4*b**2 + 3*b - 1. Does 17 divide x(w)?
True
Let r(g) = -57*g + 394. Is r(-13) a multiple of 17?
False
Let t(f) = f**2 - f + 1. Let b be 1/5 + 54/30. Let l be t(b). Suppose -3*y = l*p - 183, 5*y - 2*p - 253 = 24. Is y a multiple of 19?
True
Let f(n) = -3*n**3 + 3*n**2 + 5*n + 1. Let b be f(-1). Suppose g - 68 = -r, -6*g = -b*r - g + 136. Does 15 divide r?
False
Let x(u) = u**3 - 11*u**2 - 17*u + 27. Let y be x(12). Let w = 28 + y. Is 14 a factor of (-1 - w)*(-290)/(-40)?
False
Let x(w) = 2*w - 11*w**2 - 14 - 7*w**2 + 6*w**2 + w**3. Is 2 a factor of x(12)?
True
Let b(i) = -7*i + 35. Let z(r) = 22*r - 106. Let p(s) = -8*b(s) - 3*z(s). Is 12 a factor of p(-14)?
False
Suppose f - 5*p = 553, -4*f + 4*p = 3*p - 2193. Is f a multiple of 6?
False
Suppose -17*v = 3*v - 140. Suppose 112 = 7*y - 3*y. Let s = y - v. Is s a multiple of 21?
True
Let c = 222 - 118. Let q = c + 99. Is 21 a factor of q?
False
Let l(o) = -o**3 + 8*o**2 + 2*o - 16. Let t be l(8). Suppose t = -3*s + 5*u + 779 - 175, 0 = -s + 3*u + 196. Does 16 divide s?
True
Suppose 1201 + 4329 = 5*m. Is 34 a factor of m?
False
Let l(b) be the first derivative of -6*b**2 - 2*b + 1. Let a be (-2 - (1 + 0)) + 0. Does 24 divide l(a)?
False
Suppose 3*y + 3*j = 27, -3*j = -j - 10. Suppose 0 = -y*x + 4*h + 644, -2*x + 330 = -5*h + h. Does 32 divide x?
False
Suppose 2*y - 2 = -c + 5, -2*c - 22 = -2*y. Suppose 18 = 2*f + 4*t, 3*f + 22 = y*f + 5*t. Is (-11)/((-2 + f)/3) a multiple of 11?
True
Suppose 5*d - l - 13 - 9 = 0, -29 = -4*d - 3*l. Suppose -2*s + 5*i = -13 - 55, -5*i + 170 = d*s. Let f = s + -24. Is f a multiple of 4?
False
Suppose -3*z - 41 = 5*p - 207, 0 = -2*z - 4*p + 112. Is z a multiple of 13?
True
Let d = 11 - 11. Suppose 0 = 5*k - d*k + 35. Let y = 27 + k. Does 20 divide y?
True
Let z(m) = -443*m**3 - 2*m**2 + 2*m + 4. Let y be z(-1). Let s = y + -262. Does 15 divide s?
False
Let u(s) = 3*s**3 - 7*s**2 + 13*s - 5. Let p be u(5). Suppose 20*d - 21*d + p = 0. Is d a multiple of 20?
True
Suppose -2 = 4*u - 26. Suppose 7*c = u*c + 135. Does 35 divide c?
False
Suppose 3*h = -h + 412. Suppose 100*w = h*w - 963. Does 46 divide w?
False
Let x(v) = -v**3 + 13*v**2 + 12*v + 60. Is x(14) a multiple of 4?
True
Suppose -4*r - m + 1608 = 0, 219*r + 2*m = 220*r - 411. Does 13 divide r?
True
Suppose 2*f = -4*g + 71 + 15, 2*g + 5*f = 39. Is g a multiple of 3?
False
Is (110/6)/11*3243 a multiple of 10?
False
Suppose -22*k + 84891 - 31409 = 0. Does 10 divide k?
False
Let l = -11 - -23. Suppose 9*c + 18 = l*c. Is c a multiple of 2?
True
Suppose -5*x - 26 = -2*s, 5*x + s + s + 14 = 0. Is 18/(x/((-8)/(-4) - 4)) a multiple of 9?
True
Let r = -890 - -1744. Is 6 a factor of r?
False
Let f(p) = 4551*p**3 - 13*p**2 + 13*p - 1. Is 25 a factor of f(1)?
True
Let r = 360 + -255. Suppose 0 = -53*q + 56*q - r. Is q a multiple of 5?
True
Suppose 5*k + 2*p - 73 = 0, k + p - 2*p - 9 = 0. Let t = 41 - k. Does 6 divide t?
False
Suppose -31*w + 349 = m - 36*w, 0 = -3*m - 3*w + 1101. Is 52 a factor of m?
True
Let j be (-6)/5*1*(-20)/(-8). Does 17 divide j/9 + 511/3?
True
Let y(c) = 2*c**3 - 3*c**2 + c - 2. Suppose 5*b = z + 17, -4*b - 3*z + 7*z = -20. Let n be y(b). Let d = 52 - n. Is d a multiple of 8?
True
Let f = -22 + 34. Suppose 3*w - f = -0*w. Is w a multiple of 2?
True
Let s(o) = o**2 - 6*o + 11. Let q be s(4). Let u = 16 - q. Does 4 divide u?
False
Let a be (2/(-13) + 15/13)*129. Let b