*3 - u**2 + 1. Is g(v) a multiple of 13?
True
Let r be 2*(-3 + 1) + 2. Let g(k) = k**2 - 2*k. Let v be g(r). Is (-252)/v*(-2)/3 a multiple of 7?
True
Let k(g) = -8*g**2 - 3*g - 4. Let p be k(-2). Let a(l) = -35*l + 2. Let z be a(-2). Is 7 a factor of (z/p)/((-2)/10)?
False
Let b = -1 - -15. Let d = b + -9. Does 5 divide d?
True
Suppose x = 6*x - 150. Suppose 4*f = -5*a + x, -f - 16 = -3*f - 3*a. Let j(w) = 2*w**2 - 5*w - 7. Does 8 divide j(f)?
False
Let z = 66 + -49. Is z a multiple of 7?
False
Suppose -j = -p + 4*j + 40, -2*p = 4*j - 24. Is 10 a factor of p?
True
Suppose -2*y + 5*y = 36. Suppose -3*z = -y - 3. Suppose z*p - 40 = 35. Is p a multiple of 10?
False
Suppose -61*i + 68*i - 476 = 0. Is i a multiple of 67?
False
Suppose -h - 2*h = -171. Is h a multiple of 19?
True
Let o(v) = -v**2 + 4*v + 5. Let w be o(4). Let q(p) = 17*p - 3 + 0 - 6*p + w. Does 18 divide q(2)?
False
Suppose 2*d + 0*b = -4*b, 0 = -4*d - 5*b + 6. Suppose 0 = -5*j - d*w + 35, -5*j - w = -2*w - 35. Does 2 divide j?
False
Let l(w) = -18*w + 3. Let i be l(-8). Suppose -4*z - 3*r = -21 - i, 0 = 3*r + 12. Is z a multiple of 15?
True
Let i(q) = 0*q + q**2 + 13 + 0*q - 9. Let p be i(0). Suppose -50 = -3*x - p*f + 10, 1 = x - 5*f. Is x a multiple of 10?
False
Let v be (-2)/(-4)*-2 - -5. Suppose 0*n = v*n - 108. Is 9 a factor of n?
True
Suppose 484 = -4*i - h, 0 = -5*i + 3*h - 211 - 394. Let b = -84 - i. Is 14 a factor of b?
False
Suppose 3*f - 2*f = 0. Does 14 divide 63 + -1 - f/8?
False
Let a = 99 - 37. Is a a multiple of 31?
True
Let z(q) = q**2 + 3*q + 7. Is 14 a factor of z(5)?
False
Let d(r) be the third derivative of -3*r**4/4 + r**3/6 - r**2. Is 7 a factor of d(-1)?
False
Suppose -2*y = -2*i + 56, 2*i + 4*y = 4*i - 62. Let f = i + -6. Does 5 divide f?
False
Let b(r) = 0*r**2 + r + 1 + 2 + 2*r**2. Suppose 0 = -m + 3 - 0. Is 13 a factor of b(m)?
False
Suppose 28 = -2*y + l, 2*y + 19 = -3*l - 1. Let m = -1 - y. Does 6 divide m?
True
Suppose 0 = -0*i + 3*i - 12. Suppose 3*q + i*o = q + 2, 2*o - 7 = -3*q. Does 2 divide q?
False
Let m = 61 + -34. Does 9 divide m?
True
Suppose -6*a + a - 22 = -q, -a = -q + 6. Let l = 0 - 0. Suppose l = -n - q + 10. Is n a multiple of 3?
False
Suppose 5*f - 228 = -4*l + 2*f, 0 = -l + 3*f + 72. Does 3 divide l?
True
Let j(i) = -i**2 - 5*i + 8. Let m = -4 + -2. Let p be j(m). Does 12 divide 330/9 + p/(-3)?
True
Let a be 18 - 0 - (0 - -2). Suppose -3*d + 3*c + 4 = 1, 2*c - 40 = -5*d. Suppose 0 = u - a - d. Is u a multiple of 8?
False
Let q(a) be the second derivative of 7*a**3/6 - a**2/2 + 3*a. Is q(1) a multiple of 2?
True
Let k(d) = -d**2 - 8*d + 1. Let i be k(-7). Let s(q) = q**3 - 8*q**2 + q - 4. Let h be s(i). Suppose -3*z = -z, -2*a + h*z + 120 = 0. Is 17 a factor of a?
False
Let y = -10 + 0. Let i be ((-4)/6)/(y/75). Suppose -i*z = -20, -4*z + 4 = -v - 2*z. Is v even?
True
Suppose 5*k + 375 = 4*z, z - k - 85 = 2*k. Is z a multiple of 25?
True
Suppose -b + 5*c = -24 + 3, 2*c = b - 12. Let z = b + 4. Let d = z + -5. Does 4 divide d?
False
Is 9 a factor of 18*(-5)/(30/(-9))?
True
Let h = 260 - 182. Is h a multiple of 20?
False
Suppose -22 = -3*g + 77. Is 11 a factor of g?
True
Let v(u) = 13*u - 12. Let z be v(6). Does 2 divide (6/4)/(9/z)?
False
Let s = -2 + 7. Let q = s + 21. Does 9 divide q?
False
Let m(b) = 6*b + 6. Suppose -5*w - 5*i + 35 = -0*w, 3*w + 5*i - 27 = 0. Let n be 4/16 - (-23)/w. Is m(n) a multiple of 21?
True
Suppose 477 = 6*i - 243. Is 24 a factor of i?
True
Suppose 3*x = -4*k - 12, -x + 3*x + 2*k = -6. Let r be -9*(2/(-6) - x). Is 9 a factor of ((-6)/(-5))/(r/45)?
True
Let d(z) = -2*z**3 - z**2 - 2*z. Let p be d(2). Let a(g) = -9*g**3 - 2*g**2 + 2*g. Let b be a(1). Let x = b - p. Is x a multiple of 8?
False
Let z(v) = -v + 10. Let r be z(8). Let l = -2 - r. Let f = l + 8. Does 4 divide f?
True
Let t(k) = k**3 - 3*k**2 + 3*k. Let a = 4 - 1. Is 9 a factor of t(a)?
True
Let c(o) = o**3 - o**2 - 2*o - 2. Let j be c(4). Suppose 4*l = -5*b + j, 0 = -5*l - 2*b + 28 + 11. Does 7 divide l?
True
Let k(h) = 143*h**2. Let m be k(1). Let t = m - 83. Suppose 5*d = -2*n + 49, -4*n + n + t = 3*d. Does 17 divide n?
True
Let y be -10*(-2)/(-16)*-4. Suppose 98 = y*x - 2*n - n, x - 30 = -2*n. Does 11 divide x?
True
Let j(a) = -4 + 2*a + 0*a - 7*a. Is j(-5) a multiple of 8?
False
Let a(f) = 5*f**2 + f. Let u be a(-1). Let c(p) = p**3 - 3*p**2 - 4*p + 3. Let o be c(u). Is ((-24)/9)/((-1)/o) a multiple of 6?
False
Let j be (-43)/((9/(-6))/3). Suppose j = 3*y - 2*u, 2*u = 3*y + 4*u - 82. Does 14 divide y?
True
Let y(j) = 3*j - 5*j + 3*j**2 + 2 + 0*j. Is 16 a factor of y(4)?
False
Let x be 1/(-2*(-1)/4). Suppose x = 2*k - 10. Is 6 a factor of k?
True
Is 32 a factor of (-9864)/(-40) + -2 + (-14)/(-10)?
False
Suppose -2*i + 280 = -0*g + 2*g, -2*i = -10. Does 15 divide g?
True
Suppose -8 = -4*b + 4. Suppose 0 = -8*q + b*q + 230. Is q a multiple of 11?
False
Let o(a) = -6*a - 11. Is 17 a factor of o(-11)?
False
Let x = 24 + -21. Suppose x*q = q + 16. Is 2 a factor of q?
True
Suppose -2*a = 5*i - 175 + 8, -4*a - 2*i + 310 = 0. Is 20 a factor of a?
False
Let v be (-1)/(-3)*3*3. Let r = 3 + v. Does 3 divide r?
True
Let m = -122 + 179. Is 18 a factor of m?
False
Suppose 29*k - 8 = 27*k. Suppose -v - 18 = -k*v. Is 2 a factor of v?
True
Let p(y) be the first derivative of y**2/2 + 13*y - 1. Let h be p(-6). Let x = 20 + h. Is 11 a factor of x?
False
Suppose 158 = 16*c - 178. Is 3 a factor of c?
True
Suppose n - 2*r + 3 = 0, -3*n = -3*r + 8*r - 2. Let g = -2 - n. Is 4 a factor of (g - (1 + -3)) + 9?
False
Let u(z) = -z - 11. Let l be u(-8). Is (-3 - (l + -1))*23 a multiple of 12?
False
Let j(w) be the third derivative of 0*w + 0 + 1/6*w**3 - 2*w**2 - 1/12*w**4. Is j(-6) a multiple of 13?
True
Suppose -9 = -4*f + 3. Suppose 4*o = -4*g + 52, f*g = -3*o + 2*o + 19. Suppose 4*d - 54 = o. Does 10 divide d?
False
Suppose 30 = -5*x - 0*x. Suppose 25*k - 26*k - 3 = 0. Does 8 divide k/(-6) - 93/x?
True
Let g(k) = -4*k**2 + 8*k - 13. Let x(q) = -3*q**2 + 8*q - 12. Let w(c) = 4*g(c) - 5*x(c). Is w(-7) a multiple of 15?
True
Suppose 0 = -2*p + 8 + 2. Suppose 4*l - 18 = -3*h, -p*l - 9 - 3 = -2*h. Does 3 divide h?
True
Let l be 4/(-6)*(3 + -6). Suppose -2*s = -l*z + 22, 0*s - s = 3*z - 37. Is 12 a factor of z?
True
Let p = -49 + 67. Does 9 divide p?
True
Suppose -3*l + 209 = -4*i, i - l + 48 = -3. Let k = 84 + i. Is k a multiple of 21?
False
Let b(p) = p - 21. Let y be b(0). Let l = 7 - -28. Let w = l + y. Is w a multiple of 7?
True
Let p = 8 + -5. Let o = p + -4. Let s = o - -7. Is 3 a factor of s?
True
Let s = -202 + 550. Suppose -3*n = -3*c - s, 5*n - 2*c = -0*c + 577. Suppose -3*x + n = 2*x. Is x a multiple of 13?
False
Let z(i) = -i**3 + 5*i**2 + 6. Let j be z(5). Let v = j + 6. Is 3 a factor of v?
True
Let d be 18/8 - 1/4. Let a be 2*d/(-4)*7. Is 5 a factor of 2 + -4 - (0 + a)?
True
Suppose -16 = 2*s - 0*s. Let c(p) = -p**3 - 8*p**2 - 10*p + 8. Let f be c(s). Let a = 140 - f. Does 19 divide a?
False
Suppose 3*t - 4 = t. Suppose t*b = -f + 1, -f - 3*b + 5 = f. Is 3 a factor of f?
False
Suppose -215 = -5*p + 2*n, -3*n - 140 = -3*p - 4*n. Is 25 a factor of p?
False
Suppose -75*w = -82*w + 1176. Is 7 a factor of w?
True
Suppose -p - 2*t + 73 = -t, 0 = 3*p + t - 217. Does 12 divide p?
True
Let v(q) = 6*q + 21. Is 15 a factor of v(4)?
True
Suppose -46 = -3*m - 2*p + p, -3*m + 40 = 4*p. Does 13 divide (1 - 0)/(m/368)?
False
Does 14 divide (210/(-10))/(3/(-2))?
True
Let p = 108 - -31. Does 37 divide p?
False
Let m be 3/(-2)*20/(-6). Suppose -m*q - 3*u = -3*q - 106, q + 5*u = 60. Is q a multiple of 25?
True
Suppose 2*x = 4*n - 2 - 2, 6 = 3*x - 2*n. Let h = 0 - x. Let i = h + 17. Is 13 a factor of i?
True
Suppose 375 + 40 = 5*u. Let j = -44 + u. Does 22 divide j?
False
Let n(i) = -i - 2. Let u be n(-9). Suppose u*k - 3*k - 32 = 0. Is k a multiple of 7?
False
Suppose -497 = 5*o - 32. Let q = 164 + o. Is q a multiple of 16?
False
Let f(q) = -2*q - 3. Let x be f(3). Let j be 90/4 + x/6. Suppose -j - 4 = -5*h. Does 5 divide h?
True
Suppose 0 = -5*t - 1 + 16. Suppose -23 = -3*b - p + 2*p, 0 = -t*p - 15. Is (-2 + (-27)/b)*-6 a multiple of 13?
True
Let u = -114 + 178. Does 32 divide u?
True
Let q be 39 - (-1 + 3 + -1). Let y(l) = -l**3 - 5*l**2 - 2*l - 7. Let r be y(-5). Suppose -4