 = 3*p, -2*p + 6 + v = -2*r. Is p even?
True
Suppose 61 = x - 2*o, o + 4*o - 150 = -3*x. Let k = x - 25. Does 24 divide k?
False
Suppose -5*y + 2*n = 7*n - 235, -2*y = -4*n - 124. Does 18 divide y?
False
Let n(h) = -6*h**2 + 4*h - 3. Let t be n(2). Let y = -15 - t. Is y a multiple of 4?
True
Suppose -f + 1 + 2 = 0. Suppose 4 = f*y - 20. Suppose -3*a = -58 - y. Is 12 a factor of a?
False
Suppose 2*u - 8 = 24. Suppose 0 = -g + u + 9. Suppose 3*d = -g + 115. Does 15 divide d?
True
Let w = 41 - 19. Is 11 a factor of w?
True
Let r(t) = -9*t + 1. Let d = -13 - -10. Does 28 divide r(d)?
True
Let c(o) = -18*o + 21. Does 4 divide c(-4)?
False
Suppose -2*f + 154 = -5*i, f - 2*i = 2*i + 71. Does 29 divide f?
True
Suppose -2*m + 103 = -m. Does 20 divide m?
False
Let j = -35 - -21. Let z = -21 - j. Let i = 27 + z. Is 12 a factor of i?
False
Suppose -3*z - z = -12. Suppose f + z*f - 92 = 0. Does 9 divide f?
False
Let a = 6 - 3. Suppose a = -y - 5. Let v = 13 + y. Is v a multiple of 5?
True
Let z = -21 + 24. Suppose 0 = -z*p + 61 + 20. Is 8 a factor of p?
False
Suppose 2*l = 4*z - 164 + 656, -l + 250 = -3*z. Is l a multiple of 31?
False
Let m = -23 + 51. Does 6 divide m?
False
Let i(p) = 3*p**3 - p. Let a be i(1). Is 32 - (0 - 6/a) a multiple of 6?
False
Let v = 14 + -17. Let w(o) = -5*o + 4. Let r(c) = -c**2 - c - 1. Let z(u) = r(u) + w(u). Does 5 divide z(v)?
False
Suppose -25 = -5*p, r + 0*r = p - 2. Let o = r + 15. Is o a multiple of 6?
True
Suppose -2*u + 0 = 2. Let m(n) = -n**3 - 2*n**2 + 2*n - 4. Let l be m(-3). Is 19 a factor of (-17 + -1 + l)/u?
True
Let b(q) = q**3 + 15. Let r be b(0). Suppose 120 = 5*z - r. Is 12 a factor of z?
False
Suppose 7*b - 5*b = 122. Is 17 a factor of b?
False
Let t(s) = 2*s**2 + 10*s + 6. Let v be (-1 + 2)/((-3)/21). Does 14 divide t(v)?
False
Let a(h) = h**2 + 9*h. Let q be a(-6). Let s = -13 - q. Suppose z + 3 = s*k, -4*k = 3*z - 10 - 19. Is z a multiple of 7?
True
Let s = 98 - 30. Is s a multiple of 19?
False
Let t = -1 + -1. Let v be 5 - ((-1)/1 - t). Suppose -u + 85 = 5*b, v*b + u - 68 = -2*u. Does 10 divide b?
False
Suppose -4*i + 0*i + 4 = 0. Let n = 18 - 9. Let f = i + n. Is 4 a factor of f?
False
Let n be 15/2*(-10)/(-15). Suppose 17 = -n*j - 3*s + 416, -5*j + 3*s = -411. Does 27 divide j?
True
Suppose i - 2*i = 0. Suppose 23*b - 29*b = 66. Let y = i - b. Is y a multiple of 6?
False
Let l be (-2)/1 + 4*10. Let c be (5 - -4)*1/(-3). Let y = c + l. Does 10 divide y?
False
Suppose 2*v = 3*v - 38. Is v a multiple of 7?
False
Let t = -8 + 2. Let k = t - -8. Suppose k*f = h - 21, -h + f - 42 = -3*h. Is 6 a factor of h?
False
Let z(w) = -w**2 - w. Let s be z(2). Does 6 divide (-20)/s*36/10?
True
Let z = 6 + -4. Let c(i) = 2*i**3 + i**3 + i - 4 + 4*i - 5*i**z. Is 16 a factor of c(3)?
False
Let o(i) = -i**2 + 9*i + 17. Is o(7) a multiple of 16?
False
Let p = 3 + 11. Suppose 2*q - p = -0*q - d, q - 13 = -2*d. Suppose q + 46 = 3*v. Does 7 divide v?
False
Is 11 a factor of 9/(-36) - 265/(-4)?
True
Let m = -1 - -4. Suppose 3*k + 3*h = 81, -h = -2*k - m*k + 117. Is 12 a factor of k?
True
Suppose -11 = -4*r - 3*c - 3, -3*r - 3*c + 6 = 0. Does 17 divide -3 - -5 - r - -38?
False
Suppose -5 + 2 = -3*l. Suppose 0 = -7*c + 2*c - 2*t + 35, 4*c + t - 28 = 0. Let j = l + c. Is 3 a factor of j?
False
Suppose j = -l - 5, 5*l - 3 = -j - 28. Suppose -v + 4 + 26 = j. Suppose -2*g - 6 = -v. Is 12 a factor of g?
True
Let r(k) = k**3 - k**2 - k - 1. Let o be r(0). Let u be o/(4/3 - 1). Let g(z) = 2*z**2 + 3*z + 1. Does 10 divide g(u)?
True
Let z(w) = w**2 + 3. Let p be z(0). Suppose 2*u = -8, -3*x + p*u = -2*u - 110. Is x a multiple of 8?
False
Let z = 84 - 15. Is z a multiple of 8?
False
Is ((-6)/4)/((-24)/496) a multiple of 5?
False
Suppose -1 = -4*p + 3. Is (-40)/12*-9*p a multiple of 15?
True
Let y be 46/14 - 8/28. Suppose -6*p - 4*w - 6 = -p, -3*p - w + 2 = 0. Suppose p*v - 178 = -5*d, -4*d - y*v = d - 177. Is d a multiple of 12?
True
Let g(p) = -p**2 + 14*p. Is 19 a factor of g(10)?
False
Suppose -18 = -5*u - 3. Let m = -3 - -8. Suppose 0 = -4*a - 3*f + 127, u*f + 8 = a - m. Does 10 divide a?
False
Suppose -4*k + h + 12 = 0, 7*k - 2*k - 3*h = 15. Suppose 14 + 12 = b + k*o, 104 = 4*b - o. Does 8 divide b?
False
Let v be 2 + (0 - 1) + 41. Suppose -v = 4*l - 102. Is l a multiple of 10?
False
Suppose -4*d + 257 = -3*r, 2*d + 2*d = -4*r + 292. Let w = 112 - d. Is w a multiple of 12?
False
Let p be 0*2/(-4) - 2. Let m be p/4 - 14/(-4). Suppose -q - 22 = -m*q. Does 11 divide q?
True
Suppose -2*k - 2 = -0*k. Does 9 divide (10 + k)*(-48)/(-18)?
False
Let h(g) = -9*g**3 - 2*g**2 + 1. Let s be h(-1). Let f = s + -6. Suppose -d = -f*d + 23. Does 17 divide d?
False
Suppose 0 = -3*p - 2*p + 15. Suppose -2*m - 44 = -2*u + 5*u, 48 = -5*u + p*m. Let x = 29 + u. Is 14 a factor of x?
False
Let o(h) be the first derivative of -h**4/4 - 5*h**3/3 - h**2 - 4*h + 2. Is o(-5) a multiple of 4?
False
Let m(s) = 2*s**2 + 8*s + 4. Let l be m(-6). Suppose -l = -6*n + 2*n. Let z = n + -4. Is z a multiple of 2?
False
Suppose -55*l - 86 = -57*l. Is 8 a factor of l?
False
Suppose 5*q - 93 = 842. Is 20 a factor of q?
False
Let x = 32 + -14. Suppose v = -5*z + x, -70 = -2*v + z - 12. Is 10 a factor of v?
False
Suppose -4*w + 2*g + 46 = g, g - 9 = -w. Suppose 3*f - w = 67. Is 13 a factor of f?
True
Let s = -15 - -35. Suppose 4*t + 7 = -21. Let y = s + t. Is 7 a factor of y?
False
Let z = -10 + 15. Suppose 27 + z = 4*n. Let j(x) = x**3 - 7*x**2 - 6*x - 3. Does 6 divide j(n)?
False
Let f be (-39)/(-15) - (-3)/(-5). Suppose 0*x = -2*x + 2*p + 50, 70 = f*x + 2*p. Suppose 3*d - x = -0*d. Is 3 a factor of d?
False
Suppose -4*k - 128 = -4*v, k = 2*v - 4 - 58. Is v a multiple of 30?
True
Is 0 + 53 - (-21)/21 a multiple of 9?
True
Let r(t) = -1. Let k(p) = 2*p - 4. Let c(n) = -k(n) - 2*r(n). Is c(-10) a multiple of 26?
True
Suppose c = 4*n + 2*c - 207, 5*n - 2*c - 249 = 0. Is n a multiple of 17?
True
Suppose 5*d = k - 0*k + 15, -2*d + 9 = -k. Suppose -5*l - 3*x = -147, -5*l + 149 = -x + d*x. Does 12 divide l?
False
Suppose -5*a - 1 = -41. Is a a multiple of 8?
True
Suppose -3*z + 5*y = -20, -2*z + y + 9 = -9. Does 2 divide z?
True
Let q = 5 - 7. Is 13 a factor of 34 - (3 - 0/q)?
False
Is 12 a factor of -24*-1*-2*3/(-4)?
True
Suppose 2*v - v = -4*l - 5, -5*l = 20. Suppose -5*t - 2 - v = -3*m, 2*t - 8 = -m. Is 5 a factor of m?
False
Let v(k) = -9*k + 12. Let a be v(-9). Suppose -5*c + a = 4*p, 7*p = 3*p - 3*c + 83. Does 5 divide p?
False
Let j be (-2)/(5/(15/(-2))). Let b(x) = 6*x**2 + 1 + x + j*x - 2*x. Does 3 divide b(-1)?
False
Suppose -r + 0 - 3 = 0, -5*a + r = -108. Is a a multiple of 6?
False
Let l(j) = j - 10. Let g be l(13). Suppose 5*q = -4*n + 145, 0*n + g*n - 5*q = 65. Is 10 a factor of n?
True
Let m(w) = -w**2 + 4*w - 1. Let i be m(3). Let o be 122/4 + i/(-4). Suppose 2*z - o = -2. Is 5 a factor of z?
False
Let i = -83 - -208. Does 47 divide i?
False
Let u(i) = i**2 - i - 10. Let c be u(0). Let q(y) = -y**2 - 12*y - 9. Is q(c) a multiple of 4?
False
Is 13 a factor of ((-316)/(-10))/(((-12)/(-30))/2)?
False
Let l = 55 + -35. Is 15 a factor of l?
False
Let q(m) = -m**2 - m + 1. Let c be q(-1). Let l = c + -1. Suppose -u + 6*u - 130 = l. Does 10 divide u?
False
Let s = -31 - -48. Is s a multiple of 2?
False
Is (-1684)/(-14) + 3 + (-69)/21 a multiple of 20?
True
Let u = 26 + -36. Let j(x) = x**2 + 8*x - 4. Is 5 a factor of j(u)?
False
Suppose 0 = q - 3*u - 37, q + 9 - 38 = 5*u. Let p = -29 + q. Is 14 a factor of p?
False
Let i(o) = -o**3 - 8*o**2 + 4*o + 3. Does 13 divide i(-9)?
False
Let o(p) = 2*p**2 - 9*p - 4. Let k be ((-5)/((-10)/(-14)))/(-1). Does 8 divide o(k)?
False
Suppose x - 2 = 0, 2*s + 3*x = -0*s + 842. Does 34 divide s?
False
Suppose 94 = 4*y - 46. Is 13 a factor of y?
False
Suppose 2*v + 2*c = 58, -2*v + 56 = -0*c + 4*c. Is 4 a factor of v?
False
Suppose -3*c - 5*s + 16 = 0, 9 = -5*c - 2*s + 23. Let q(w) = -w**2 + 2*w. Let u be q(c). Suppose u = -0*x + x - 27. Is 15 a factor of x?
False
Let b(f) = 3*f**2 + 3*f. Is b(-3) a multiple of 13?
False
Let h(a) = a**2 + 14*a + 6. Let p be h(-12). Let n = -1 - p. Is 8 a factor of n?
False
Let l = 251 + -87. Is 44 a factor of l?
False
Does 16 divide (1 - 3) + 75/1?
False
Let n be ((-4)/6)/(4/(-36)). Suppose 4*s = n*s 