 = 242 + -171. Does 19 divide h?
False
Suppose -z + 5 = -0*z. Suppose -z*y = -3*j - 90 - 112, -167 = -4*y - 3*j. Is 13 a factor of y?
False
Let h be -2 - (-2 + -5)*1. Suppose g - f + 2 = 0, -h*g + 0*f + 2*f = 4. Is (g - -3)/3*29 a multiple of 13?
False
Suppose -2*s - 4*v + 56 = -0*v, 3*v + 33 = s. Is s a multiple of 5?
True
Let g(r) be the second derivative of r**5/20 - r**4/2 + 4*r**3/3 - 5*r**2/2 - 2*r. Let p be g(5). Suppose 0 = -s - p + 22. Does 10 divide s?
False
Let s(l) = l**2 - 4*l + 10. Is 10 a factor of s(-5)?
False
Let o = -7 - -10. Let k = o - 3. Let a(q) = q + 32. Is a(k) a multiple of 14?
False
Let r be (-4 - -3) + (17 - 3). Suppose -4*m + 12 = 2*d, 1 = 3*m + r. Is d a multiple of 9?
False
Suppose -50 = -4*w + 14. Suppose 2*j - 16 - w = 0. Suppose 3 = -b, 2*o + 5 = -b + j. Is 7 a factor of o?
True
Suppose 9 = 5*w - 2*w, 2*w + 2 = 2*c. Suppose 0*t - t = c*m - 23, 4*m = 8. Suppose -t = -5*b + 5. Is 4 a factor of b?
True
Suppose -c - h - 4*h = 10, -2*c = 3*h - 1. Let u be (-18)/(-45) + 156/10. Suppose u = c*b - 14. Is 3 a factor of b?
True
Let t(i) = -1 + 2*i - 3*i - 3*i + 6*i. Is t(3) a multiple of 2?
False
Let z = 8 + -6. Suppose -4*t + 2*o + 620 = 0, -2*t + 3*o + 318 = -0*t. Suppose 0*k + 5*x = z*k - 88, 3*k + 3*x - t = 0. Is k a multiple of 21?
False
Is 4 a factor of 49/(2 + -5 + 4)?
False
Let w(o) = o**2 + o - 6. Let n(y) = -y**2 - 2*y + 5. Let q(f) = 3*n(f) + 2*w(f). Is 2 a factor of q(-4)?
False
Let k(x) = -x**3 + 7*x**2 + 12*x - 7. Let p be k(8). Suppose -p + 1 = -3*j. Is j a multiple of 8?
True
Suppose -4*k - 34 = -y - 7, 3*y - 4*k = 65. Is y a multiple of 19?
True
Let f = -4 - -5. Does 4 divide 8 + f + -2 + 1?
True
Let k = -2 + 281. Is k a multiple of 31?
True
Let t(v) = -3*v**3 - 3*v + 3. Let z(h) = 3*h**3 + 2*h - 2. Let p(r) = 3*t(r) + 4*z(r). Let y be p(1). Suppose g - y*g = -14. Does 5 divide g?
False
Let s be 6/(-12)*62/(-1). Suppose p = 5*k + 58, 0 = -p - 4*k + 107 - s. Let c = -30 + p. Does 14 divide c?
False
Let b(d) = 49*d - 2. Is b(1) a multiple of 26?
False
Suppose 0*m = m - 3*v - 8, -5*m = -5*v. Is 5/20 - 115/m a multiple of 8?
False
Is 36 a factor of 428/12 + (-2)/(-6)?
True
Let m = -31 - -22. Let k = m + 31. Is 13 a factor of k?
False
Let u(i) = -4*i - 2. Let m(l) = 7*l + 3. Let x(y) = -6*m(y) - 11*u(y). Let c be x(-3). Let w(q) = -4*q**3 - 2*q**2 - q + 2. Does 14 divide w(c)?
True
Suppose 0 = -3*q + 7*q - 8. Let z(h) = 2*h - 4. Let f be z(3). Suppose -f*w + q = -4. Is w a multiple of 3?
True
Let n(y) = y**2 + 4*y - 4. Let q(v) = -v**2 + 5*v + 1. Let u be q(6). Let a be n(u). Let x(p) = 4*p**2. Does 2 divide x(a)?
True
Let u = 43 - -101. Does 48 divide u?
True
Suppose 5*m = 20, 5*o = 4*o + 2*m - 8. Suppose 10*j - 5*j + 50 = o. Let g(v) = v**3 + 11*v**2 + 8*v + 8. Does 8 divide g(j)?
False
Suppose b + 739 = -3*k, 4*b - 719 = 2*k + k. Is 4 a factor of (-2)/(-6) + k/(-21)?
True
Let s be -2 - -1 - (2 - -3). Let q(u) = -3*u - 1. Is 4 a factor of q(s)?
False
Does 27 divide (11/(99/6))/(4/1458)?
True
Let t be -107*(1 + 0/(-2)*-1). Let v(f) = 11*f - 4. Let k be v(-6). Let g = k - t. Is g a multiple of 10?
False
Let s(h) = 7*h - 3. Is 25 a factor of s(5)?
False
Let s be (4/6)/((-2)/(-117)). Suppose -2*x + 1 = -s. Is 10 a factor of x?
True
Let w = 107 - 42. Is w a multiple of 13?
True
Does 12 divide (366/18)/((-2)/(-6))?
False
Let r(j) = -j**2 + 5. Let c be r(4). Let w(y) = -2*y. Is 11 a factor of w(c)?
True
Suppose c = -0*c + 4. Does 2 divide c?
True
Let w(m) = 108*m. Let t be w(1). Let c = -14 - -19. Suppose c*y - t = y. Is y a multiple of 9?
True
Suppose 3*b - 4*l + 1 + 1 = 0, -3*l + 8 = b. Suppose -4*z + b*k + 131 = 41, 0 = k + 1. Does 11 divide z?
True
Let b = -4 - -19. Is 2390/75 + 2/b a multiple of 16?
True
Let v(c) = -5 + 0 + 6*c - 9*c. Let b(z) = -z**3 - 8*z**2 + 2*z + 12. Let g be b(-8). Is v(g) a multiple of 3?
False
Suppose -4*s = 2*u + 22, -5*u + 2*s - s = 0. Let v be 3 - (2/u)/1. Suppose 0 = 3*m - m + v*n - 26, -38 = -5*m + n. Is 8 a factor of m?
True
Let s = 121 - 59. Is s a multiple of 27?
False
Let o = 59 + 216. Is 30 a factor of o?
False
Does 9 divide 3262/49 + 5 + 6/14?
True
Let g be (-3 - 1)/(8/(-100)). Let o = g + -25. Is o a multiple of 16?
False
Let d = 36 + 12. Does 6 divide d?
True
Suppose 34 = l - 66. Is l a multiple of 9?
False
Does 10 divide (-1)/3*(-119 + 2)?
False
Let v = 238 + -138. Is 50 a factor of v?
True
Let h(c) = 25*c**3 + c. Let z be h(1). Let s = z - 13. Suppose -r - 3*r - 4*m + 44 = 0, r = m + s. Does 6 divide r?
True
Does 8 divide (-1)/2*0 - 136/(-17)?
True
Suppose -3*v + 71 = -49. Suppose -3*b + 3*m = -33, -v = -4*b - 0*b + 3*m. Suppose -b = -p - 0*p + j, 4*p + j - 13 = 0. Does 2 divide p?
True
Let m = -8 + 10. Suppose -j + 14 = 4*v, -m*j + j + v = -39. Is 17 a factor of j?
True
Suppose 2*s = 3*s. Suppose 2*p + 6 = -s*p. Let o = 5 - p. Is 4 a factor of o?
True
Let i(o) = o**2 + 5*o - 15. Let f be i(-7). Is 13 a factor of 3*(-27)/(-3) + f?
True
Let u(k) = k**3 - 14*k**2 + 6*k + 20. Does 12 divide u(14)?
False
Let m = 59 - 41. Does 13 divide m?
False
Is 46 a factor of (-2 + (-48 - -4))/(-1)?
True
Suppose 18*t - 145 = 935. Is 9 a factor of t?
False
Let m = 419 - 272. Is 21 a factor of m?
True
Let m = 75 - 49. Let j be m/(-8) + (-3)/(-12). Is 1/j - (-172)/12 a multiple of 10?
False
Let w be (-2)/(-5) - (-312)/(-5). Let x = -23 - w. Does 21 divide x + (1 + -3 - -5)?
True
Let c be (-2)/6*-3 + 1. Suppose 0*i + 10 = -c*i. Let w(p) = -2*p - 7. Is w(i) a multiple of 2?
False
Let w be (-670)/((-2)/(-1) - 1). Let t be w/(-7) - (-2)/7. Let n = -57 + t. Does 13 divide n?
True
Suppose -14*l + 4*l + 210 = 0. Is l a multiple of 20?
False
Suppose 7 = -0*p + p. Let l(k) = k**3 - 7*k**2 + 4*k - 4. Is l(p) a multiple of 23?
False
Suppose 5*c - 57 = 113. Let l = c + -23. Is 8 a factor of l?
False
Let a(t) = 5*t + 6. Let q(c) = -20*c - 25. Let h(i) = 25*a(i) + 6*q(i). Let u be h(3). Let p = 23 - u. Does 5 divide p?
False
Suppose 3*s - 110 = -2*s. Suppose -3*o - s = -4*o. Is o a multiple of 11?
True
Let j(k) = k**2 - 5*k + 4. Let v be (14/(-8))/((-7)/28). Does 9 divide j(v)?
True
Let k(g) = 7*g - 21. Let c be k(14). Suppose c = 3*z - 37. Does 11 divide z?
False
Let y = 24 + -13. Is y a multiple of 2?
False
Let x(c) = 5*c**3 - c**3 + 4*c**3 - 1. Let j(g) = -g**3 - 5*g**2 - 4*g + 1. Let y be j(-4). Is x(y) a multiple of 3?
False
Is (4/7)/(16/56) even?
True
Let t = 92 - 48. Let i = t + -12. Suppose p + u = -3*u + i, 0 = -3*p - 2*u + 56. Is p a multiple of 11?
False
Is 6 a factor of 4/(-5)*(-45)/2?
True
Suppose 0 = 2*n + n - 30. Suppose -5*a - 20 = -0*b + b, -5*b - n = -5*a. Does 17 divide 332/12 - (-2)/a?
False
Let g = 4 - 239. Let n = 433 + g. Suppose 0 = -4*d + n - 62. Is 14 a factor of d?
False
Let q(t) = t + 6. Let v be q(-5). Suppose 3*o - v + 31 = 0. Is (25/o)/(1/(-12)) a multiple of 14?
False
Let p(v) = 7*v - 6. Let n(i) = i. Let o(t) = 6*n(t) - p(t). Let w be o(4). Suppose -w*x + 5*r = 3*x - 220, 2*r - 8 = 0. Is x a multiple of 22?
False
Is (-12)/36 + (-10)/(-3) a multiple of 2?
False
Suppose -4*s + 24 = 4*x, -3*s = -0*s + x - 12. Suppose 1 + s = -2*p. Is p/6 - 40/(-3) a multiple of 13?
True
Let r(i) = -4 - 2*i - 2 - 3. Is 5 a factor of r(-7)?
True
Let c(j) be the third derivative of -35*j**4/24 - j**3/6 + j**2. Let l be c(1). Let x = l - -51. Is x a multiple of 15?
True
Suppose g - 24 = -5*h + 5*g, 3*h - 5*g - 17 = 0. Suppose 18 = 5*c - 2*r - 46, -h*r = -12. Does 10 divide c?
False
Let f(v) be the third derivative of v**6/120 - v**5/20 - v**4/6 - 7*v**3/6 + 2*v**2. Does 9 divide f(5)?
False
Let u(r) = -r**2 - 14*r - 2. Let j(o) = -5*o**3 + 2*o**2 + 2*o + 1. Let i be j(-1). Let m be (i/4)/(3/(-18)). Is 12 a factor of u(m)?
False
Let p = -11 + -4. Is 10 a factor of (-140)/8*18/p?
False
Let s be 4/14 + 6/(-21). Suppose -k + 7 + 5 = s. Is 3 a factor of k?
True
Let m be ((-3)/1)/((-4)/(6 + -2)). Let y(g) = 4 + g + 6*g + g. Is y(m) a multiple of 9?
False
Suppose -j + 0*j + u - 13 = 0, 3*j - 4*u + 36 = 0. Let f be (-4)/j - 35/(-4). Suppose 0 = 5*g - 3*m - 55, -3*m - 13 = -2*g + f. Is g a multiple of 11?
True
Suppose -f = -2*f - 5*q + 11, 2*q - 4 = 0. Let w(d) = 5 + f + d + d. Is w(9) a multiple of 12?
True
Let j = 1 + 1. Suppose -3*p - 20 = -j*d + 67, 124 = 4*d + 4*p. Does 14 divide d?
False
Let s