z**2 - 4*z**3 + 13*z. Let w be h(-12). Suppose -3*f + 17 = -4*l, 0 = -w*f - 2*f - 5*l + 75. Does 3 divide f?
False
Let b = 15 - 11. Let x(w) = -7 - w - 10*w**2 - 6*w + b*w**2 - w**3. Is 2 a factor of x(-5)?
False
Let i(j) = j**2 + j - 1. Let z(d) = d. Let p(f) = 3*i(f) - z(f). Is 12 a factor of p(-4)?
False
Let p(k) = k**2 - 4*k. Let o be p(5). Suppose 2*i - 2*u + 10 = 0, o*i + 0*u + 25 = -u. Let g = 16 + i. Is 7 a factor of g?
False
Let q = -53 + 30. Let w = 37 + q. Is w a multiple of 14?
True
Let b = -31 + 90. Is b a multiple of 22?
False
Suppose -279 = -3*g + 111. Suppose -g = -0*d - 5*d. Is d a multiple of 11?
False
Suppose i + 33 = 2*i. Let a = -10 + 23. Let t = i - a. Is 10 a factor of t?
True
Suppose 6 = -2*i + 5*i. Is (-106)/(-9) - i/(-9) a multiple of 12?
True
Let a be (-3)/12 + 369/(-12). Let g be 0 + -2 + a + 0. Let f = -20 - g. Is 6 a factor of f?
False
Suppose l - 4 = 2*l, -3*s = -5*l - 224. Let t = -48 + s. Is (t/6)/(6/27) a multiple of 12?
False
Let t(u) = 7*u - 5. Let g(o) = 5*o + 2. Let n(x) = x + 1. Let l(b) = g(b) - 3*n(b). Let q(h) = 9*l(h) - 2*t(h). Is q(7) a multiple of 14?
False
Let y be 1 + 4/(8/(-18)). Let p = y + 27. Is p a multiple of 5?
False
Let w = 395 - 199. Does 16 divide w?
False
Is 18 a factor of 10/3*108/5?
True
Let s = 0 - 0. Suppose -j + 6 - 3 = s. Is 13 + (-2)/j*-3 a multiple of 13?
False
Suppose 0 = 4*j - 6 - 2. Suppose 22 = o - j. Does 12 divide o?
True
Let l be (6 - 8)*3/2. Let q(h) = -2 - 8*h - 1 + 2. Does 14 divide q(l)?
False
Suppose 5*h - 205 = -0*h. Is 10 a factor of h?
False
Suppose 0*s = 5*s - 100. Is 10 a factor of s?
True
Let h(w) = -w - 4. Let c be h(-9). Suppose -p + 0*p = -2*l - 38, -113 = -4*p - c*l. Is p a multiple of 8?
True
Let a be 472/20 + 2/5. Suppose 0 = 2*x - l - a, 3*x + l + l - 29 = 0. Is x a multiple of 7?
False
Let r = -30 + 81. Does 13 divide r?
False
Suppose 0*y + 2 = 2*y, -7 = -b - 5*y. Suppose b*q + q = 3*t - 24, -28 = -4*t + 2*q. Is t a multiple of 6?
True
Suppose 3*o = 3*q + 5*o - 202, 4*q - 254 = 5*o. Is 16 a factor of q?
False
Suppose -4*w + 187 = 59. Does 20 divide w?
False
Let i = 4 + 2. Is ((-152)/(-12))/(2/i) a multiple of 13?
False
Suppose n + 2 = 3*n. Let r = n - -26. Is 9 a factor of r?
True
Does 19 divide (20/(-8) - -1)*-22?
False
Let s(y) = y**3 - 9*y**2 + y + 5. Let a(q) = -2*q**3 + 10*q**2 - q - 4. Let m(z) = 2*a(z) + 3*s(z). Let u be m(-7). Let k = u + 5. Is k even?
False
Let u(z) = 5*z + 5. Let b be u(-4). Let l = 6 - b. Does 21 divide l?
True
Let r = 24 + -17. Suppose 0 - r = -v. Is v a multiple of 6?
False
Let d = 5 - 8. Does 23 divide -2 - d - 273/(-3)?
True
Suppose 0*u + 3*u - 28 = 4*c, 0 = 2*c + 5*u - 12. Is (c/3)/((-8)/60) a multiple of 7?
False
Suppose -2*n - 3*k = -111, n - 3*k - 53 = -4*k. Is 12 a factor of n?
True
Let g = -23 + 35. Is g a multiple of 6?
True
Let l be -1*(-6 - 0) + 0. Is 8 a factor of 69/l*6/3?
False
Let x(j) = -13*j + 1. Is 10 a factor of x(-3)?
True
Let z be ((-16)/6)/(1/(-3)). Suppose 0 = -2*p - 2 + z. Does 3 divide p?
True
Suppose -2*r - 3 = -13. Let z(y) = 2*y - 6. Let h be z(r). Suppose h*f = -0*f + 16. Is f a multiple of 3?
False
Suppose -51 = -5*o - 5*s - 6, -32 = -4*o - 3*s. Let h(i) = i + 12. Let x be h(-12). Suppose 160 = -x*a + o*a. Is a a multiple of 16?
True
Let c(n) = -4 - 6 + 2*n - 8*n + n**2. Is 10 a factor of c(10)?
True
Does 26 divide (-3*(-186)/27)/((-1)/(-3))?
False
Let p(h) = -22*h + 4. Let c(b) = -7*b + 1. Let a(x) = -7*c(x) + 2*p(x). Let m be a(-5). Does 6 divide m/1*2/(-3)?
False
Let k(a) = a - 1. Let t be k(3). Suppose -2 - 4 = -t*q. Suppose -q*y + 8*y = v + 143, v + 59 = 2*y. Is 13 a factor of y?
False
Let l be (9/(-12))/((-3)/12). Let x(d) = d - 3. Let f be x(l). Suppose f*q + 12 = q. Does 6 divide q?
True
Suppose -l + 4 + 11 = 0. Is l a multiple of 10?
False
Suppose 3*p + 24 = z + 2*p, 2*z - 48 = 4*p. Suppose -5*a = z - 259. Suppose 5*j = 18 + a. Is 13 a factor of j?
True
Let y = -8 + 32. Does 6 divide y?
True
Let y(q) = 2 + 4 - 5 - 4*q. Let a = 6 - 7. Is 4 a factor of y(a)?
False
Is 6 a factor of 21/(-2)*(-4 + 0)?
True
Suppose 9*y - n = 6*y + 283, 0 = -4*y - 4*n + 404. Is y a multiple of 12?
True
Suppose 241 = -3*h + 4*s - 0*s, -5*h = -3*s + 420. Let j = -57 - h. Is j a multiple of 15?
True
Let g = 18 + 37. Is g a multiple of 21?
False
Let t(o) = -8*o - 7. Is t(-13) a multiple of 17?
False
Let h(n) = 4*n**2 - n + 2. Is 4 a factor of h(-2)?
True
Is ((-22)/(-5))/((-12)/(-30)) a multiple of 2?
False
Let k be 2/4*-4 + -1. Is 5 a factor of k + 22 + (-1)/(-1)?
True
Suppose -4*a + 10 = 3*w - 4, -5*a = 2*w - 7. Let b be (-98)/(-6) + 4/w. Suppose 4*l + 26 = 2*r, -3*r - 6*l + b = -l. Is r a multiple of 9?
True
Let r = 35 - 61. Let t = -102 + r. Is 9 a factor of 2/(-7) - t/7?
True
Let x = 8 - 6. Suppose 0 = -j - 2, 3*v + x*j = 4*v - 8. Suppose -v*o - r = 4*r - 87, 5*o - 120 = -4*r. Is 14 a factor of o?
True
Let y = -41 - -70. Is 15 a factor of y?
False
Suppose r = 2*r. Let p be (1 - 1)*(-1 + r). Suppose 6*w + 20 = w, 2*x - 3*w - 28 = p. Is 4 a factor of x?
True
Let y = 12 + -7. Suppose -5*z - y*a = -a - 63, -z + 9 = -a. Is 4 a factor of z?
False
Let a be (0 + -19)*(-10 + 16). Let m = -18 - a. Does 22 divide m?
False
Let f = 18 + -10. Is (-2)/(-3)*156/f a multiple of 9?
False
Does 11 divide 2 + 1 - 5*-10?
False
Let o(j) = -7*j**2. Let i be o(-1). Does 16 divide (-91)/i*(-4)/(-2)?
False
Suppose -4*q + 88 = 4*m, 3*m + 32 + 62 = 5*q. Is q a multiple of 10?
True
Let w = 86 - 34. Let k = -16 + w. Is 18 a factor of k?
True
Suppose 5*z = u + 369, 2*z = 2*u + 48 + 106. Is z a multiple of 26?
False
Let d(u) = -u - 4*u + 3*u - 2. Is d(-9) a multiple of 8?
True
Suppose 0*s + 17 = s. Is 17 a factor of s?
True
Is 7 a factor of ((-295)/10)/(3/(-6))?
False
Let p(n) = n**2 - n - 5. Suppose 4*z - 15 = 1. Let w be p(z). Suppose -2*q - 5*a = -59, -2*a + w + 3 = 0. Does 17 divide q?
True
Let t(y) = y**3 + 11*y**2 + 2*y + 14. Let b be t(-10). Let l be (b/(-5))/((-2)/30). Is 4/(-14) + l/7 a multiple of 15?
False
Let i(b) = -b + 7. Let o be i(7). Suppose 5*s = -5*u + 30, -3*u = s - o*s - 20. Suppose z - 15 = -m - z, -u = -m + 2*z. Is 7 a factor of m?
False
Let a(f) = -3 + 4 + 5 + 16*f - 8*f. Is 18 a factor of a(6)?
True
Let a(y) = -6*y**2 + y + 3. Let n be a(3). Let u = n + 68. Does 15 divide u?
False
Let r = 257 + -173. Is r a multiple of 42?
True
Suppose 3*s + 3*f - 84 = 0, -3*s + 4*f = -0*f - 63. Is s a multiple of 7?
False
Let l(r) = 10*r - 3. Let n be (1/(-3))/1*6. Let j = n - -5. Does 7 divide l(j)?
False
Let d be 6 - (0 + 2)/2. Suppose -2*t + 4*n + 1 = -t, 3*t - 20 = -d*n. Is t a multiple of 2?
False
Suppose -2 - 3 = -m. Suppose m*d - w - 110 = 0, -5*w = 5*d - 8*w - 100. Does 5 divide d?
False
Suppose r + 51 = 2*u, -u + 104 = 3*u - 4*r. Suppose -2*b + u = -15. Is 10 a factor of b?
True
Let o be (-4*(-4 - -3))/1. Suppose -z + 0*z - 1 = -o*n, -5*n = -20. Is z a multiple of 5?
True
Let k(i) = i**2 + 3*i + 3. Let d be k(-3). Suppose 0 = d*r - z - 40, 3*z = -4*r + 5*z + 52. Is 14 a factor of r?
True
Let t = 3 - 5. Let x be -32*(t - (-1 + 3)). Suppose 188 = 4*w - 4*h, -h - x = -4*w + 60. Is 24 a factor of w?
False
Let n(y) = y - 5. Let w be n(0). Let s(z) = -4*z**3 + 7*z**2 + 4*z - 4. Let u(r) = -r**3. Let t(b) = w*u(b) + s(b). Is 14 a factor of t(-4)?
True
Let d = 15 - -1. Is 3 a factor of d?
False
Suppose -5*k + 10 = -0. Suppose 2*s - 5*b = 43, -k*s + b = -36 + 5. Does 10 divide s?
False
Suppose -x - 4*f - f + 2 = 0, 0 = -3*f - 3. Is x a multiple of 5?
False
Let w(s) = 3*s + 2. Does 14 divide w(8)?
False
Let n be -1 + -1 - (2 - 3). Let b = 1 + n. Suppose -3*l + b*l + 24 = 0. Is l a multiple of 7?
False
Does 5 divide ((-102)/(-15) - 2)*5?
False
Let h be (-6)/10 + 2/(-5). Let n be (2/(-4))/(h/8). Suppose 2*j = 2*d + 3*j - 39, 2*j = n*d - 58. Is 13 a factor of d?
False
Let o(p) = -13*p + 2. Let d be o(-2). Suppose -u = -3*u + d. Is 3 a factor of u?
False
Suppose -3*b = -r + 154, -3*b + 4*r + 0*r = 166. Let d = 98 + b. Let t = d + -27. Is t a multiple of 13?
False
Suppose -110 = -3*f + 133. Does 8 divide f?
False
Let k be 462/6 - 6/2. Suppose 186 = -5*y - 74. Let g = y + k. Does 9 divide g?
False
Suppose 0 = m - 0*v + 2*v - 6, 2*v - 6 = m. Suppose 0*t + 2*t + 2 = 0, m = x + 4*t + 2. Suppose x = -3*w + 8. Does 2 divide w?
True
Is 25 a