tive of -m**5/20 + 2*m**4/3 + 2*m**3 - 13*m**2/2 - 2*m. Let k be -2*(22/(-4) + 1). Is y(k) a multiple of 6?
False
Suppose -4*o + 3*b = -24, 0 = 2*o - b - 1 - 11. Suppose -o*q + 3*q = -33. Is 6 a factor of q?
False
Suppose 4*z - j - 34 - 90 = 0, 4*j - 44 = -2*z. Let f be (-2)/5 - (-12)/z. Suppose f = g - 5. Is 5 a factor of g?
True
Let t(j) = j**3 + 2*j**2 - 5*j - 3. Let p be t(-3). Suppose 96 = -p*h + 6*h. Is h a multiple of 9?
False
Let p(r) = 26*r**2 + 4*r - 1. Is 17 a factor of p(-3)?
True
Suppose b - 40 = -0. Suppose -r - b = -4*s - 12, -4*r - 8 = -3*s. Let i = 23 - s. Does 15 divide i?
True
Suppose -t = -5*w - 9, 12 = -4*t + w + 3*w. Let m(i) = -i - 2. Let c be m(t). Suppose c*o - 12 = 2*p + 54, 5*o - 66 = -3*p. Is o a multiple of 6?
False
Let f = 3 - 3. Suppose f = -4*a + 2*r + 18, -2*a = -5*a - 5*r - 6. Suppose 0 = -a*p - 0*p + 42. Is 9 a factor of p?
False
Is 12 a factor of 24*2/(-16)*-4?
True
Let x = 25 - -21. Let m be (-18)/(-99) + x/(-11). Let d(p) = -p**3 - 3*p**2 - 4*p - 6. Is d(m) a multiple of 10?
False
Suppose -3*d - 14 = 3*m - 7*d, 5*m = 2*d. Let t(k) = 2*k + 2. Let n be t(1). Suppose -n*x = -5*f - 241, f + m - 197 = -3*x. Is 17 a factor of x?
False
Suppose h - 7 = -0. Is 3 a factor of h?
False
Suppose -21 = 3*o - 3. Let j be -3 - (3 + o + -1). Is 9 a factor of (8/6 - j)*81?
True
Let k(a) = 2*a**2 - 13*a - 16. Let g be k(11). Let x = g - 43. Is 29 a factor of x?
False
Suppose v = -4*v + 15. Suppose v*i - 3 = 2*p, -i + 0*i + 1 = -5*p. Let l(y) = y**2 + 46. Is 22 a factor of l(p)?
False
Suppose -f + 139 = -j + 4*j, -f + 159 = -2*j. Does 11 divide f?
False
Let d = -3 + 3. Suppose 5*t = -4*s + 32, -5*t = -4*s - 7 - 1. Is 2 a factor of (d - 0) + 16/t?
True
Suppose 4*g - 3 = 13, -3*h + 451 = -5*g. Suppose -50 = -3*r + h. Is 34 a factor of r?
False
Suppose 0*q - 4 = q, -3*s = -2*q - 821. Suppose -2*a + 2*r = r - 183, -3*a = -5*r - s. Suppose 4*x - a = -0*x. Is 9 a factor of x?
False
Suppose 0 = -5*t + 71 + 119. Suppose 308 = 3*x + t. Does 18 divide x?
True
Let h be 28/21*3*1. Suppose 0 = -h*w + 3*w + 4. Is w a multiple of 3?
False
Let n = 5 + -4. Let t = n - -7. Is 4 a factor of t?
True
Suppose c = u - 0*u, 5*c + 5*u + 10 = 0. Does 13 divide (-498)/(-9) - c/(-3)?
False
Let y(u) = -u**2 - 6*u - 1. Let a be y(-5). Let d(b) = 3*b - 3. Is 3 a factor of d(a)?
True
Suppose -2*n - 4*z = -18, -3*n - 3*z = -14 + 2. Let k = n - -5. Does 2 divide k?
True
Suppose -2*z + 18 = -78. Is 8 a factor of z?
True
Let t = 4 + -5. Is 26 a factor of (-14 - t)*(-1 - 1)?
True
Suppose -2*d + 0*d = c - 3, -5*d = -3*c - 24. Let p(s) = -s**3 - 3*s**2 - 4*s. Let n be p(c). Is (-21)/n*-2*2 a multiple of 7?
True
Suppose -2*q - 8 = -50. Is q a multiple of 3?
True
Let d = 0 - -13. Let w = d - 4. Does 5 divide w?
False
Suppose c + 77 = t, 0 = 5*c + 2 + 8. Let h = t + -52. Is h a multiple of 9?
False
Suppose -4*k - x + 5 = -11, 3*k + 5*x = 12. Suppose -4*m - 2*s + 24 = 0, 5*m - 2*s = 4*m - k. Suppose 3*p = 3, m*p - 2 + 16 = l. Is l a multiple of 9?
True
Suppose c - 545 = -3*v, -3*c = -v + 2*c + 155. Suppose p - v = -p. Suppose -x + 4*x - p = 0. Is x a multiple of 10?
True
Let s = 46 + -15. Does 31 divide s?
True
Suppose 2*i = -q + 3*q - 342, -4*q - 3*i + 684 = 0. Does 13 divide q?
False
Let w be 0/(1 + -2 - 0). Suppose -2*u - 20 + 100 = w. Does 20 divide u?
True
Let r = 571 + -312. Is 51 a factor of r?
False
Let q(k) = -k**2 + 8*k - 2. Let l be q(10). Let x be (-2)/(-4) - 73/2. Let y = l - x. Is 14 a factor of y?
True
Is 34 a factor of (0 + (-16)/10)*2550/(-20)?
True
Suppose 0 = -3*v - y - 3, -4*v - 5*y = -6*v + 15. Suppose c + v - 2 = 0, 3*c = -3*b + 6. Suppose b = -k - 0*k + 28. Is 14 a factor of k?
True
Suppose s - 2 = b + 8, -b = 5*s - 26. Is 23 a factor of (-110)/(3/((-9)/s))?
False
Let o = -3 - -12. Let s(i) = 6*i - 12. Is 16 a factor of s(o)?
False
Let f = -105 + 171. Suppose -4*v + f - 14 = 0. Does 12 divide v?
False
Let y = 108 + -50. Is 11 a factor of y?
False
Let x = 28 - 7. Let r = x + 9. Suppose 0 = b - 0*b - r. Does 15 divide b?
True
Suppose 0 = -9*r + 10*r - 288. Does 16 divide r?
True
Let y(d) = 2*d**2 - 4*d - 1. Let i be y(3). Suppose 0 = -0*o + i*o - 2*r - 130, -25 = 5*r. Is o a multiple of 8?
True
Let w = -95 + 267. Is w a multiple of 9?
False
Let l(b) = -b**3 + 7*b**2 - 5*b - 6. Let i be l(6). Suppose i*z + 4*z = 120. Is z a multiple of 14?
False
Suppose 5*r + x + 325 = 0, 2*r = 4*r + 5*x + 130. Let w = r - -110. Does 16 divide w?
False
Is (-13)/(-3 + (-44)/(-16)) a multiple of 17?
False
Is 9 a factor of 39 + (-5 - (1 - 3))?
True
Let o(y) = 2*y**2 + 2*y + 2. Is o(-6) a multiple of 31?
True
Suppose 6*d = 3*d + 942. Suppose -d = -5*h + 2*l, -2*h + 7*h + 5*l - 335 = 0. Suppose -3*w = w - h. Is 7 a factor of w?
False
Suppose -4*c + 20 = -44. Suppose z = -4*q + 108, 0*q = q + 3*z - c. Does 14 divide q?
True
Suppose 0 = -0*f + 4*f - 20. Suppose 0 = -w + f*r - 12, 5*w + 4*r + 7 - 92 = 0. Is w a multiple of 13?
True
Let v = 2 + 26. Does 28 divide v?
True
Is 0 + 103 - 8*(-4)/(-8) a multiple of 8?
False
Let b(z) = 6*z**2 - 7 - 5*z**2 - 5*z + 3*z + 5*z. Let k be b(-6). Does 11 divide -2*k*1/(-2)?
True
Suppose -2*x + 16 = 2*x. Suppose -q + 6 + 11 = 0. Let c = q + x. Does 13 divide c?
False
Let t(j) = -17*j. Let m be t(-5). Suppose -3*v = -z + 35, 4*z = -2*v - m + 211. Does 16 divide z?
True
Let o(p) = -5*p**2 - 5*p - 3. Let j be o(-3). Let g = 55 + j. Suppose -2*k + 5*b + 121 = 0, g = 3*k + 5*b - 122. Is 15 a factor of k?
False
Let d(p) = -p**3 - p**2 + 2*p. Does 12 divide d(-6)?
True
Let m(r) = r + 27. Does 9 divide m(0)?
True
Suppose -4 = -3*d + 20. Let j(v) = -v**3 + 9*v**2 - 4*v + 8. Does 14 divide j(d)?
False
Let x = 82 - 58. Is 4 a factor of x?
True
Suppose 0 = -3*l + q + 251, -5*l + 182 = -3*l + 3*q. Is 15 a factor of l?
False
Suppose l - 1 = 2. Suppose y = j + 3, 0*y + l*y + 23 = -5*j. Is (-1)/((j/38)/2) a multiple of 7?
False
Let t(o) = -13 - o**3 + 5*o**3 + 2*o + 17*o**2 - 5*o**3. Is t(17) a multiple of 21?
True
Suppose 0 = 6*c - 4*c - 14. Suppose c*x = 5*x + 6. Suppose 137 = x*v + 53. Is v a multiple of 17?
False
Let c be 4/(-6) - 14/(-3). Let m(a) = 3*a - 2. Is m(c) a multiple of 4?
False
Is 62/22 + (-18)/(-99) even?
False
Let j = 17 - 13. Suppose -j*t = -3*d + 146, -154 = -5*d - 5*t + 66. Is 17 a factor of d?
False
Let y be (-1)/(-5) - 22/10. Does 13 divide (4 - (1 - y)) + 37?
False
Let m(f) = -3*f**3 - 7*f**2 + f + 17. Let n(i) = i**3 + 2*i**2 - 6. Let x(t) = -3*m(t) - 8*n(t). Let s = -16 - -11. Is 8 a factor of x(s)?
False
Let l(w) = 14*w**2 - 3*w - 15. Does 15 divide l(-3)?
True
Let x(g) = -g + 4. Let p be x(5). Let v be (-14)/p + 0 + -2. Suppose -3 - v = -c. Is 6 a factor of c?
False
Let j be -1 + 1 + (-1 - 1). Let c be 2 + (j - (-9)/(-3)). Is 5 a factor of (-2 - c) + 3 + 2?
False
Let j be (-69)/9*(-8 - 1). Suppose -5*k + k + 269 = -5*z, 3*z = k - j. Suppose -2*d = d - k. Does 11 divide d?
True
Suppose 3*k - 33 = 3*d, -3*k + 26 = 5*d - d. Let z be 2/6*(-7 + k). Does 14 divide 20 - (z + 0/(-1))?
False
Is 33 a factor of 31 - 4*(2/4 + -1)?
True
Let c(q) = -2*q + 9. Let h be c(-5). Suppose 0 = -4*b + 3*r + 57, 29 + h = 3*b - 4*r. Does 12 divide b?
True
Let s = -23 - -29. Is 5 a factor of s?
False
Let f be 5/(-2)*-2 - 1. Suppose -2*k = f*u, -3*k - 10 = 2*u - u. Is (8/2)/u - -12 a multiple of 7?
True
Let z be 3/(-2)*3144/36. Is 19 a factor of z/(-7) - 2/(-7)?
True
Suppose -3*b = -398 + 47. Is 13 a factor of b?
True
Let z = -24 + 36. Suppose -2*g - z - 2 = -2*p, -2*g - 2 = 2*p. Suppose -5*s = -0*s - 2*n - 106, -5*s + p*n + 109 = 0. Does 10 divide s?
True
Let o = -24 + 32. Does 7 divide o?
False
Let u be -4 + 3 - (-1 - -1). Let r = u - -4. Suppose -r*q - q = -176. Is q a multiple of 24?
False
Suppose 3*z = 3*m - 354, 0 = z - 5*m - 54 + 176. Let p = z + 177. Does 19 divide p?
False
Let o(l) = -l**2 - 3*l + 3. Let d be o(-3). Is (1 - -36)*(d - 2) a multiple of 17?
False
Let j = 0 - 2. Suppose 0 = 2*x - 0 - 68. Is 19 a factor of 2 - x/4*j?
True
Suppose 2*x - 4 = 0, x - 5 = -d - 3*x. Let y = 6 + d. Suppose -4*v + j - y*j + 128 = 0, 0 = 5*v + 5*j - 160. Is v a multiple of 13?
False
Suppose 0 = 4*h + 12, 2*h + 48 = r + r. Let v = 40 - r. Does 19 divide v?
True
Let a(y) = -7*y + 4. Let t(u) = -14*u + 7. Let m(z) = -7*a(z) + 4*t(z). Does 13 divide m(-5)?
F