 Is v(j) a multiple of 13?
True
Suppose -5*k + 25 = 0, 113 = 4*n - k - 70. Is 17 a factor of n?
False
Suppose a = -5*x - 43, 2*x - 6 = 4*x. Let n(w) = -w**3 - 10*w**2 - 7*w + 4. Let t be n(-9). Let l = t - a. Is 14 a factor of l?
True
Suppose -3*w + 43 = 211. Let r = 90 + w. Is r a multiple of 16?
False
Suppose 3*x + 6*n = 2*n - 92, 39 = -x - 3*n. Let v = x + 49. Suppose 0 = -r - 0*r - d + v, d = 5*r - 155. Does 11 divide r?
False
Let o be ((-2)/(-3))/(1/3). Suppose p - 3*d = -o*p + 9, -3*d - 23 = -5*p. Is 7 a factor of p?
True
Let d be (6/4)/((-6)/8). Is 1/d + 33/2 a multiple of 13?
False
Suppose 0 = b - 7 - 0. Let z(l) = 1 - 1 + 4*l. Is z(b) a multiple of 14?
True
Let w = 123 + -72. Does 17 divide w?
True
Let z(d) = d**2 + 5*d - 5. Let g be z(5). Let a = -28 + g. Is 5 a factor of a?
False
Suppose -90 = 3*h - 0*h. Let b = h + 16. Is (b/8)/((-1)/4) a multiple of 7?
True
Suppose -f + 281 = -5*a + 937, 0 = -2*a - 3*f + 276. Is a a multiple of 22?
True
Let u(h) = -h**3 + 7*h**2 - 4*h - 8. Is 11 a factor of u(5)?
True
Let j(h) = h**3 + 3*h**2 + 3*h + 2. Let u be j(-2). Suppose 0 = 5*x - u*x + 50. Let z(w) = w**3 + 9*w**2 - 14*w - 4. Does 18 divide z(x)?
True
Suppose -25 = -2*c + 15. Is 5 a factor of c?
True
Suppose -5*s + 0*s + 25 = 0. Suppose s*c + 4 = -4*f, 2*f = f + 5*c + 24. Suppose 0 = -r - i - 6 + 13, -44 = -f*r + 4*i. Does 8 divide r?
False
Suppose -3*c + 102 = -108. Is c a multiple of 20?
False
Let n = 32 + 34. Is 7 a factor of n?
False
Let d be 493/11 + 4/22. Suppose a + d = 4*a. Does 5 divide a?
True
Suppose 50 = n - g, -266 = -5*n - g + 2*g. Is 11 a factor of n?
False
Let m(i) = -i**3 + 4*i**2 + 6*i - 2. Let s be m(5). Suppose -4*p + 173 = -s*c, 0 = -4*p - p - 3*c + 223. Is 22 a factor of p?
True
Suppose -5*j = 2*r - 115, -2*r + 2*j + 14 = -94. Does 11 divide r?
True
Let g(m) = 2*m + 4. Does 11 divide g(5)?
False
Let p be -1 + 2 + -2 + 5. Suppose -36 = n + r + p*r, -3*r + 90 = -3*n. Let j = 65 + n. Does 17 divide j?
True
Let y be (-10)/(-3)*(-6)/2. Let h be 3/6*(9 - -1). Is 9 a factor of 2/h + (-86)/y?
True
Let n(s) = -s**2 + 7*s - 7. Let y(a) = a**2 + 9*a + 5. Let i be y(-9). Let b be n(i). Suppose k = b*k - 34. Does 17 divide k?
True
Let m be 4/(-12) - 2/(-6). Suppose m = 4*o + u - 180, o - 3*o + 5*u = -90. Does 22 divide o?
False
Let b(o) = 3*o**2 + 2*o - 1. Let n be (-15)/(-2)*8/(-10). Let s = 2 + n. Is 13 a factor of b(s)?
True
Suppose 0*f - 17 = -3*f + 4*h, -3*f + h + 29 = 0. Let y(z) = -4*z - 19. Let x(l) = -2*l - 10. Let r(b) = f*x(b) - 6*y(b). Does 10 divide r(3)?
True
Let c = -2 - -6. Suppose c*n - 26 = 34. Is n a multiple of 5?
True
Suppose d = 6*d - 125. Does 6 divide d?
False
Suppose -k = -4*w + 263, -2*k = -2*w - 0*k + 124. Does 19 divide w?
False
Let p(a) = -a**2 - 14*a - 11. Let o be p(-14). Let h = -129 - -84. Let d = o - h. Does 17 divide d?
True
Let j(w) = 73*w - 5. Does 17 divide j(1)?
True
Let x = -169 - -380. Is 42 a factor of x?
False
Is 0 + -3 + 3 + 84 a multiple of 7?
True
Suppose h = -3*h. Suppose 2*s + 2*p + 3*p = 19, h = 3*p - 3. Let r = s + 2. Is r a multiple of 9?
True
Does 18 divide 531/15 - 9/(-15)?
True
Let q(c) = 2*c**2 + 9*c + 1. Let h(u) = -u**2. Let x(z) = 3*h(z) + q(z). Is x(7) a multiple of 15?
True
Let q(c) = c**2 + 5*c + 2. Let x be (-5)/(15/18) - -3. Let h be q(x). Let f = 6 - h. Is f a multiple of 4?
False
Let p(j) = -4*j + 2. Let n be p(-3). Suppose 4*z - n = 10. Is z a multiple of 3?
True
Let v(n) = 3*n - 9. Let z be v(6). Suppose 4*s + 24 = 2*m, 25 - z = m - 4*s. Does 3 divide m?
False
Suppose -2*k = 4*m - 27 - 139, 181 = 2*k + m. Is k a multiple of 14?
False
Suppose 2*u - 36 - 414 = 0. Is u a multiple of 34?
False
Let s = -10 + 58. Is 16 a factor of s?
True
Suppose 11*t - 4331 = -1163. Does 36 divide t?
True
Let p = 68 - 35. Let z = p + -23. Is z a multiple of 5?
True
Let n(l) = -l**2 - 20*l - 28. Does 15 divide n(-15)?
False
Let j(w) = 7*w. Let u(o) = 6*o - 1. Let r(n) = 4*j(n) - 5*u(n). Let v be r(6). Does 8 divide 0 - 0 - -1 - v?
True
Let v(u) = 499*u**2 + 1. Let d be v(1). Suppose -d = -q - 3*q. Let l = q + -85. Is l a multiple of 20?
True
Let a be -15*((-28)/(-6) + -4). Suppose 0 = -d + 5*d + 28. Let k = d - a. Does 2 divide k?
False
Let l(n) = -n**2 - 9*n + 9. Let z be l(-9). Suppose 10*k - 27 = z*k. Is k a multiple of 14?
False
Suppose -2*r = -4*k - 16, -1 = 2*r - 2*k - 25. Is 16 a factor of r?
True
Let v = -11 - -9. Let j(g) = -8*g - 3. Does 13 divide j(v)?
True
Let c(z) = 8*z + 5. Let p be c(-4). Let k = 9 - p. Is 12 a factor of k?
True
Let d be (-12)/18*(-6)/(-4). Let f be (d - -4)*(-2500)/(-15). Is f/18 - (-2)/9 a multiple of 14?
True
Is 7 a factor of (-20 + -2)*(-12)/8?
False
Let y = 7 + -31. Does 20 divide (y/10)/(4/(-100))?
True
Suppose -4*g = -6*g - 4*w + 212, 3*w - 330 = -3*g. Suppose 0 = -3*y - 5*o + 6*o + 171, 0 = -2*y - 2*o + g. Is 17 a factor of y?
False
Let r(h) = -7*h - 15. Does 13 divide r(-4)?
True
Let g = -175 - -311. Is g a multiple of 24?
False
Let w be 255/(-35) + 2/7. Let f(t) = -t**2 - 6*t + 9. Is f(w) even?
True
Let v be (1 - -2) + 0/(-10). Suppose 4*b = -b + 20. Suppose -3*i + 80 = v*s - b*i, -8 = -2*i. Does 9 divide s?
False
Let d(s) = -5*s - 21. Does 9 divide d(-15)?
True
Let l be 8/(-36) + (-29)/(-9). Suppose 40 = -0*c + 4*c - l*x, 14 = 2*c - 3*x. Is c a multiple of 5?
False
Let h(z) = -19*z + 2. Does 8 divide h(-2)?
True
Let n(m) = 2*m + 6. Let g(z) = 2*z + 6. Let f(j) = -6*g(j) + 5*n(j). Let k be f(-5). Suppose 0 = -k*s + 4*i - 0*i - 8, 12 = -4*s + 5*i. Is 2 a factor of s?
True
Let i(x) = x**3 - 9*x**2 + 8*x + 2. Is i(9) a multiple of 28?
False
Let f(m) = 4*m**2 - 8*m - 4. Is 37 a factor of f(8)?
False
Suppose -2*h + 186 = -0*h. Is 14 a factor of h?
False
Let v be 3*(-7)/3*-1. Let r = 31 + v. Is r a multiple of 19?
True
Let s = 114 - 36. Suppose -4*t - 5*p - s = 0, 3*t - p + 90 = -t. Is -3 - t - 6/(-2) a multiple of 11?
True
Suppose 0 = 4*d + d - 5*w - 210, 0 = -2*w + 2. Suppose -d = -t - 13. Is 10 a factor of t?
True
Let s(c) = 11*c**2 + 3*c + 6. Suppose -3*v + 4*v - 5 = 4*r, -3*v + 3*r = 3. Does 32 divide s(v)?
True
Let v = -83 + 125. Is 15 a factor of v?
False
Let q = -6 - -8. Let o = q + 0. Suppose -3*z + o*z + 38 = 0. Does 14 divide z?
False
Let c(t) = -55*t + 9. Is 9 a factor of c(-1)?
False
Let m = 55 + -39. Is m - (3 + -4 - 2) a multiple of 7?
False
Let h be 10/(-15) - 160/(-6). Suppose 209 = g + h. Suppose -54 = -2*q - v, -v + 62 - g = -5*q. Is 10 a factor of q?
False
Is 2/(-6)*3 - -67 a multiple of 17?
False
Let o(c) = 15*c. Let w(g) = -g + 1. Let m(t) = -o(t) - 6*w(t). Is 14 a factor of m(-3)?
False
Let f(o) = -2*o**2 - o - 2. Let g be f(-3). Does 17 divide (g/2)/((-1)/2)?
True
Let r = 4 + -1. Let g be -2*(1 - (r - 1)). Let c = 9 - g. Is 5 a factor of c?
False
Suppose -61 = 2*x + 2*o - 273, 3*o = -2*x + 216. Is 34 a factor of x?
True
Let y(i) = -14*i + 6. Is y(-1) a multiple of 10?
True
Let y = 7 - 2. Is y/10 - 10/(-4) a multiple of 3?
True
Suppose 4*j - 20 = -3*p - 0*j, -5*p - j = -5. Suppose p = 6*w - 3*w - 6. Does 8 divide w - -13 - (-1 + 0)?
True
Let h = -35 + 54. Is h a multiple of 9?
False
Suppose -37 - 368 = -3*r. Does 15 divide r?
True
Let i be 2/(6/(-27)) - 3. Let d = 17 + i. Is 5 a factor of d?
True
Let n be (1/2)/(5/(-60)). Does 14 divide 1/(n/(-8))*21?
True
Suppose q + 9 = 4*q. Suppose q*o - 2*l = -7*l + 106, l = 5*o - 130. Is 9 a factor of o?
True
Let x = 20 - 18. Suppose x*o + j - 184 = 0, 2*o + o = 4*j + 254. Is 24 a factor of o?
False
Let x(k) = 8*k + 64. Does 24 divide x(10)?
True
Suppose 0*p + p - 4*t = -16, 4*t - 28 = -2*p. Suppose -p = 2*q - 4*q. Is 2 a factor of q?
True
Suppose 684 = 5*d - 466. Is 46 a factor of d?
True
Suppose 2*d - 3*y + 68 = 0, 4*d - 4*y + 3*y + 156 = 0. Let v = 66 + d. Is 9 a factor of v?
False
Let b = 5 + -13. Does 2 divide 1/4 + (-14)/b?
True
Let r(c) = c**2 + 10*c + 3. Is r(-11) a multiple of 14?
True
Let s = 188 - 320. Let d be s/(-2) + (-3 - -1). Let a = 95 - d. Is a a multiple of 16?
False
Suppose v = -5*h + 156, -3*v + 2*h = -2*h - 525. Is v a multiple of 18?
False
Does 11 divide (-1432)/(-10) - 3/15?
True
Let d(c) = -156*c + 28. Is 10 a factor of d(-2)?
True
Suppose -7*f + 2*f - 4*m = 26, 2 = 5*f - 3*m. Is (f/(-3))/(7/147) a multiple of 14?
True
Let a be 6*1 - (-9)/3. Does 14 divide (-1 + 