= r + 42, 2*p + m*r - 28 = -r. Does 2 divide p?
True
Let u(j) = -j**3 - 15*j**2 - 14*j + 3. Let i be u(-14). Suppose x = -2*d + 5, 3*x = -0*x + i*d + 33. Suppose 3 = f - x. Is 4 a factor of f?
True
Let y(n) = 31*n**3 - 3*n**2 + 20*n - 84. Is y(5) a multiple of 17?
False
Suppose q + 17 = -0*q. Let o(z) = -8 + 6 + 6 + 1 - 3*z. Does 12 divide o(q)?
False
Let y = -9 - -12. Suppose -y*b + 40 = -8. Is 14 a factor of ((-504)/b)/((-3)/4)?
True
Let y be 2 - ((-2)/7 - 74/(-14)). Does 8 divide -3*(16/y + 0)?
True
Suppose 3*c + 246 = 4*c. Let g be 4/(16/12) + c. Suppose -3*m + g = -0*m. Is 21 a factor of m?
False
Let v be (-240)/(-28) + -5 - (-8)/(-14). Suppose -3*j + v*q = q - 100, -2*j - q + 55 = 0. Is j a multiple of 15?
True
Let n(z) = -2*z**3 - 7*z**2 - 4*z + 5. Let t = -31 - -27. Let i be n(t). Let j = 23 + i. Is 10 a factor of j?
True
Suppose -283 - 32 = -7*w. Is 45 a factor of w?
True
Let d(y) = -9*y - 7. Let z(n) = -9*n - 6. Let c(j) = 6*d(j) - 5*z(j). Is c(-13) a multiple of 15?
True
Let g(m) = -m**2 - 10*m - 3. Let s be g(-9). Let y(d) = 7*d**2 - 13*d + 12. Is y(s) a multiple of 15?
False
Let h be 16449/27 - (-4)/(-18). Suppose -153 = 4*q - h. Does 13 divide q?
False
Suppose 5*l + 13 = s - 9, -4*s - 4*l = -40. Let y(x) = x**3 - 12*x**2 + 17*x - 15. Let m be y(s). Is 4 a factor of m/(-28)*8/(-3)?
False
Is 35 a factor of 2832 + ((-23)/(-8) - 3/(-24))?
True
Let y(v) = -v**3 + 4*v**2 + 8*v - 6. Let x be y(7). Let m be 30/(-20) + x/(-2). Suppose 167 - m = 5*c. Does 14 divide c?
False
Let m = 315 - 499. Let s = m - -289. Suppose l = 2*b + 49, 2*l - 2*b = -5*b + s. Is l a multiple of 19?
False
Let j(z) = 11 - z + 2*z - 2*z. Let t be j(-13). Suppose -t*l = -21*l - 72. Does 6 divide l?
True
Let m = 97 + -141. Let c = 91 + m. Is 3 a factor of c?
False
Let q = -368 + 1057. Is q a multiple of 13?
True
Let c(a) = a**3 - 2*a**2 - 4. Let l be c(3). Suppose f - 100 = -5*b + 5*f, l = f. Does 6 divide b?
True
Let x = 394 + -97. Is 9 a factor of x?
True
Suppose 15*v + 55 = -20. Is 7 a factor of ((-4)/v)/((-19)/(-1330))?
True
Suppose -l = 1 - 2. Let q be l + -4 + 6 - -7. Suppose 0 = 2*n + 2*r - q, 3*n = -2*n - r + 29. Is 6 a factor of n?
True
Let z(m) = 25*m - 22. Is z(14) a multiple of 24?
False
Let g(i) = 2*i**3 - 7*i**2 + 7*i - 4. Let w be g(5). Is (7 + -1)*w/6 a multiple of 11?
False
Suppose 6*c = 7*c - 42. Is c a multiple of 10?
False
Suppose -3*a + 93 + 1548 = 0. Does 2 divide a?
False
Let i(l) = l + 7. Let t be i(11). Is 16 a factor of (1659/t - -3) + (-2)/12?
False
Suppose 8*c - 9*c + 9 = 0. Suppose 0 = 11*w - c*w - 132. Does 11 divide w?
True
Let g be (-3)/7 - (-30)/21. Does 15 divide g/((-2 + 644/328)/(-3))?
False
Let k(a) = 10*a**2 - 7*a - 5. Let r be k(8). Suppose 4*o = -2*m - 54 + 356, -r = -4*m - 3*o. Does 14 divide m?
False
Suppose 16 = 4*m, 2*l = 2*m + 1014 + 438. Is l a multiple of 4?
False
Suppose 8 = 2*r + 2. Suppose -r*q + 16 = f, -43 = -4*f - 2*q - 3*q. Let b(a) = a + 7. Does 7 divide b(f)?
True
Let r(y) = -66*y**3 + y**2 + 3*y + 3. Does 100 divide r(-2)?
False
Let w(d) = 2*d**2 + 16*d + 9. Let z be w(-14). Let k = 307 - z. Does 10 divide k?
True
Let i(m) = -m**2 + 5*m + 8. Let c be i(8). Is 21 a factor of ((-60)/(-2))/(c/(-56))?
True
Let g(n) = -3*n + 5. Let q(k) = -2*k - 5. Let l be q(-3). Let d be 3 + (-7 - (0 - l)). Is 7 a factor of g(d)?
True
Let h be (8/14)/(7/49). Suppose 0 = -h*o + 16, 0 = 4*a - 2*o - 2*o + 352. Let x = a + 150. Does 21 divide x?
False
Let g be (18/(-8))/((-3)/516). Let b = g + -271. Is 29 a factor of b?
True
Let j be (-3 - -2)/3*-6. Suppose 4*p - 8 = 4*c - 2*c, 0 = -j*c. Suppose p*y = 4*s + s + 17, y = -5*s + 16. Does 7 divide y?
False
Let n be ((-2)/2)/((-10)/40). Suppose -n*k + 30 = 2. Suppose 0 = -a - 2*i + 25, k*a - 50 = 2*a + 5*i. Is a a multiple of 15?
True
Let i = 111 - -407. Does 37 divide i?
True
Suppose -246 = -2*h - 164. Is 41 a factor of h?
True
Suppose 7*k + 2*k = 11547. Does 51 divide k?
False
Let a(m) = 2*m + 6. Let u = 15 + -39. Let o be 2/8 - 234/u. Does 13 divide a(o)?
True
Suppose -186*y = -191*y + 300. Is 6 a factor of y?
True
Suppose 34 = 2*f + 4. Is 4 a factor of f?
False
Let s(q) = 2*q**2 - 3*q + 14. Let t be s(6). Suppose t = a - 30. Is a a multiple of 25?
False
Let s(h) = -51*h - 127. Is s(-7) a multiple of 15?
False
Let u be -1*16 - (3 - 1). Let w = 5 - u. Is 3 a factor of w?
False
Let q be (-15)/(18/6) + 17. Is 164*(12/18 + (-2)/q) a multiple of 9?
False
Suppose v = -4*v + 25, -240 = -y + 5*v. Is 4 a factor of y?
False
Let b be -2 + 2 + (-28)/(-4). Suppose -2*k - 1360 = -b*k. Does 16 divide k?
True
Suppose 21 = -f - 1. Let b = 73 - f. Is 19 a factor of b?
True
Let x(r) = r**3 + 12*r**2 + 8*r - 23. Does 24 divide x(-9)?
False
Suppose 6*v - 123 + 87 = 0. Let m = 68 - 98. Does 5 divide (-1)/v - 455/m?
True
Let t = -12 + 33. Let v = -17 + t. Suppose -44 = -2*s + f - v*f, -12 = -3*f. Is s a multiple of 11?
False
Let i(j) = 101*j - 29. Is i(1) a multiple of 2?
True
Let t = 2 + -76. Let f be t/(-7) - (-6)/14. Suppose -f = -3*m + 4. Is m a multiple of 3?
False
Is (-15284)/(-16) - 3 - 13/52 a multiple of 17?
True
Let p be (-1 - 95)/(-2) + -3. Suppose -31*r = -30*r - p. Is 15 a factor of r?
True
Let x(k) = -520*k - 57. Does 11 divide x(-8)?
True
Suppose -3*d - 28 = -3*i - 5*d, -d - 41 = -4*i. Suppose -i*t + 9*t = -100. Is t a multiple of 25?
True
Suppose 8 = 2*p + 2*i, 2*i = 5*p + 4*i - 35. Suppose -p*j = -4*j - 10. Suppose -4*t + 44 = -o, 2*t + j*o - 44 = -t. Does 7 divide t?
False
Let c(y) = -10*y - 51. Let k(w) = -9*w - 52. Let g(t) = 4*c(t) - 3*k(t). Is 28 a factor of g(-11)?
False
Suppose -3*y = -i + 18 - 0, 2*i + 3*y = 0. Does 7 divide i/27 - 500/(-18)?
True
Let r = -6 - -10. Suppose 5*u - u - r = 0. Does 15 divide (19 - 5) + u/1?
True
Suppose 22*a - 388 - 6278 = 0. Does 6 divide a?
False
Let j(p) = 2*p**3 - 47*p**2 + 19*p - 42. Does 45 divide j(24)?
True
Let a(n) = n**2 + 9*n + 10. Let r be a(-3). Is 16 a factor of r/(-1)*-8*4/(-8)?
True
Let i(z) = -109*z - 67. Is 25 a factor of i(-11)?
False
Let n = -180 + 89. Let r = n + 229. Is r a multiple of 23?
True
Let y(l) = -173*l - 5. Let q(t) = -t**2 - 18*t - 33. Let o be q(-16). Does 16 divide y(o)?
False
Let c(x) = -x**3 + 11*x**2 + 9*x + 22. Let q be c(12). Let f = q + 44. Is f a multiple of 10?
True
Let s(c) = -c**3 + 2*c**2 - 2. Let h = 2 - -1. Let v be s(h). Let n = v + 18. Is n a multiple of 7?
True
Is 33 a factor of 12*(-64 - 2)/((-56)/21)?
True
Suppose w + 4*d = 6, -2 = -w + 4*d - 4. Suppose -3*p + 269 = -p + 5*t, 2 = w*t. Suppose -p = -5*h + h. Does 8 divide h?
False
Suppose 26 + 27 = j. Let l = j + -37. Is 7 a factor of l?
False
Suppose -4*c - 673 = -4*q + 43, 2*q = 4*c + 354. Is q a multiple of 5?
False
Suppose 2*z = -2*a, -5*z - 2*a + 2 = -4*z. Let s = z + 2. Suppose s*f + 4*f = 100. Does 9 divide f?
False
Let d(z) = 1 - 7 - 1 + 3*z - 7*z. Suppose -2*g + 38 = -5*f, 2*g + 0*g + 16 = -4*f. Does 8 divide d(f)?
False
Let z(y) = -120*y + 15. Is z(-2) a multiple of 6?
False
Suppose -4 = 7*s - 8*s. Let t(a) = 2*a - 2. Let z be t(6). Suppose s = -i + z. Is i a multiple of 6?
True
Let i(q) = 19*q + 1. Let f be i(2). Suppose 7*o = f + 115. Does 7 divide o?
False
Does 3 divide (1*(-144)/(-30))/((-4)/(-20))?
True
Let c = -883 - -2404. Is c a multiple of 54?
False
Let i be (-24)/(-4) + -2 - 2. Suppose 0 = -i*b + 2*z + 188, -b = -4*z - 61 - 39. Is 9 a factor of b?
False
Suppose -6*c - 3416 = -13*c. Is c a multiple of 61?
True
Suppose 17*u - 24632 = 4744. Does 48 divide u?
True
Suppose -9 = 2*s + 3. Let k = s + 9. Suppose -3*i - 5*j = -230, -k*j = 2*j - 5. Is 21 a factor of i?
False
Suppose -2*t + 16 = 2*t. Let n(h) = 2*h - 4. Let v be n(t). Does 6 divide v/(-16) + (-74)/(-8)?
False
Does 38 divide 12 + -1 - (-498 - 23)?
True
Let v be 5/(2 + 3) - -1. Suppose 4*t = 2*x - 72, 2*t = -4 + v. Is x a multiple of 10?
False
Suppose 2*j + 1 - 11 = 0. Suppose -4*h = -3*v + j*v - 330, -3*v - 440 = -5*h. Is h a multiple of 13?
False
Let d(l) = -44*l + 5. Let v(p) = -1. Let w(x) = 2*x**2 - 3*x - 3. Let i be w(3). Let r(m) = i*v(m) + d(m). Is r(-1) a multiple of 18?
False
Suppose -112 = j - 5*j + 4*m, 2*j = -2*m + 40. Let p = j + 3. Let n = -18 + p. Does 7 divide n?
False
Is 20 a factor of 678 - (1/(-2))/((-11)/(-44))?
True
Let h be 42/(-8)*(-32)/(-6). Let f = h