 factor of v(-2)?
False
Suppose -k - 82 = -2*k. Suppose 4*f - k = 30. Let w = 48 - f. Does 10 divide w?
True
Suppose 0 = -5*u - p - p + 564, -p - 3 = 0. Is 19 a factor of u?
True
Let k(w) = w**2 + 5. Let a be k(0). Suppose 2*n - 42 = -4*z + 2*z, -135 = -a*n + z. Is 13 a factor of n?
True
Let a(j) = j**3 - 7*j**2 + 7*j - 1. Let i be a(6). Suppose 4*s + 3*n + 0*n = 9, -49 = -4*s + i*n. Does 7 divide 154/21 - 2/s?
True
Let q(t) = -69*t**2 - 1. Let i be q(1). Is 16 a factor of i/4*-1*2?
False
Is 13 a factor of 1*1/(-2)*-26?
True
Let l = 1 - -29. Is 3 a factor of l?
True
Let s(f) = 17*f**2 + 4*f. Let a(o) = -o**2 - o. Let z(w) = 5*a(w) + s(w). Is 13 a factor of z(-1)?
True
Suppose -h - 3*t = -146, -4*t + 188 = 3*h - 270. Does 37 divide h?
False
Let y(x) = -3*x**3 + 4*x**2 - 3*x. Let v(l) = l**3 + l**2 + 1. Let q(b) = -2*v(b) - y(b). Does 16 divide q(6)?
True
Suppose 5*h = 5*o - 40, 23 = -o + 2*o - 4*h. Suppose 5*k = -5*p + 65, -5*k + 73 = -o*p - 24. Is 11 a factor of k?
False
Let p(x) = x. Let k be p(3). Suppose k*i - 2*i = 59. Suppose -i + 20 = -3*y. Is 6 a factor of y?
False
Suppose 10*j - 1013 = 1817. Is 17 a factor of j?
False
Let v = 6 - 2. Suppose 2*n + 20 = 4*i, v*i - 28 = i - 5*n. Is 6 a factor of i?
True
Let m(b) = -91*b + 4. Let f be m(4). Is ((-2)/2)/(5/f) a multiple of 18?
True
Suppose 0*z + z - 26 = 2*a, 3*a - 1 = -z. Is 8 a factor of z?
True
Suppose 2*u + 48 = 4*g, g - 24 = -g + 5*u. Is 6 a factor of g?
True
Suppose 0 = j - 1 - 0, -2*n - 3*j = -251. Does 54 divide n?
False
Suppose 9 = 4*s - 3. Suppose g - 18 = 3*o, -5*g = -s*o + 4*o - 42. Let n(y) = 2*y + 2. Is 10 a factor of n(g)?
True
Is 22 a factor of (3/(-2) + 2)*(-102)/(-1)?
False
Suppose 2*i - v = v + 606, 3*i - v - 919 = 0. Let a(w) = -84*w + 77. Let f(r) = -r + 1. Let b(s) = i*f(s) - 4*a(s). Does 14 divide b(1)?
True
Let l(h) = h**3 + 7*h**2 - 6*h - 8. Let w be l(-7). Suppose -5*o = -w - 31. Is 13 a factor of o?
True
Let j(r) = -6*r**2 - 3*r - 3. Let c be j(3). Let l(s) = s**3 - 5*s**2 - 12*s + 1. Let h be l(8). Let i = h + c. Is i a multiple of 11?
False
Suppose -1356 = -18*g - 6. Is 19 a factor of g?
False
Suppose 3*p = 5*p - 140. Is 17 a factor of p?
False
Let c be -1*(1 + -1*4). Suppose -c*x = -170 - 130. Suppose -x = -3*f + j, 4*j - 70 - 74 = -4*f. Does 17 divide f?
True
Let t = -7 - 1. Let h = t - -50. Is h a multiple of 21?
True
Let x be 8/44 + (-128)/(-22). Suppose -x - 18 = -p. Is 12 a factor of p?
True
Suppose 15 = 2*h + 5. Suppose q = 3*j - 34, -39 = -3*j - j - h*q. Is j a multiple of 4?
False
Let t(r) = 14 - r - 7 + 5. Is 18 a factor of t(-6)?
True
Let s(y) = -76*y**2 + y - 1. Let p be s(1). Let m = 126 + p. Is 25 a factor of m?
True
Let x(y) = y**2 + 3*y - 4. Is x(-9) a multiple of 17?
False
Suppose -2*f + 25 = 3*f. Let b(x) = x**3 + 3*x**2 - f*x**2 + 3*x - 4*x**2. Is 9 a factor of b(6)?
True
Suppose -5*x = -4*n + 6, 2*x + 4*n = 6*x + 8. Suppose 0 = -0*f - x*f - 66. Does 4 divide 6/(f/(-9) + -3)?
False
Let o(v) = v**3 - v**2 - 10. Let d be o(0). Let r = -7 - d. Does 2 divide r?
False
Suppose 3*f = 7*s - 3*s - 375, -4*f = -5*s + 470. Is s a multiple of 13?
False
Suppose -y + 35 = 6. Is y a multiple of 19?
False
Let a = 63 + -34. Let z = a + -19. Does 3 divide z?
False
Let i = 3 - 2. Let n(v) be the first derivative of 20*v**3/3 - v**2/2 + v - 1. Is 10 a factor of n(i)?
True
Suppose 2*j - 150 = -w - w, 0 = 2*j - 3*w - 155. Does 4 divide j?
True
Let x(r) = r**3 - 12*r**2 - 13*r + 12. Let d be x(13). Let o = d - 8. Does 4 divide o?
True
Let v(i) = 9*i**2 + 2*i - 26. Is 51 a factor of v(-5)?
False
Suppose 0*k = -4*c - k + 22, -2*c - 4*k + 18 = 0. Let l(u) = -u**3 + 5*u**2 + u + 4. Is 7 a factor of l(c)?
False
Suppose 0 = 3*j, -16926 = z - 4*z - 3*j. Does 15 divide z/126 - 2/(-9)?
True
Let l = 11 + -4. Let u = l + 10. Does 8 divide u?
False
Let g(k) be the second derivative of -k**3/6 + 3*k. Let s be g(5). Is 10 a factor of (-1)/s - 1788/(-60)?
True
Let a = -56 + 82. Is a a multiple of 10?
False
Let c(b) = -2*b + 28. Is c(0) a multiple of 7?
True
Let o(n) = -n**2 - 10*n. Let t be o(-8). Is 2 a factor of (18/5)/(t/40)?
False
Suppose -j - 10 = -6*j. Suppose -2*y = 2*n - 14, -5*y + 5*n - 11 = 4. Suppose i - y*a = 30, 6*a + 54 = j*i + 4*a. Does 12 divide i?
True
Let g = 28 - 26. Let t(q) = 20*q**2 + q - 2. Does 16 divide t(g)?
True
Let j = 26 + -16. Does 5 divide j?
True
Is 7 a factor of 8/3*255/34?
False
Let w be 16/(-64) - (-3)/(-4). Let m(u) = 27*u**3 + 7*u**2 - 2*u. Let n(b) = -13*b**3 - 3*b**2 + b. Let o(c) = 3*m(c) + 7*n(c). Does 6 divide o(w)?
False
Let b(i) = -i**3 - 5*i**2 - 3*i + 4. Let a be b(-4). Does 12 divide 17 + (-2 - a) + -3?
True
Suppose 71 = 2*o + f, -2*o = -5*o - 2*f + 108. Does 16 divide o?
False
Let c(i) = 3*i**2 + 0*i**2 + 0 - 6*i + 6. Let n be c(5). Suppose -n = -a - 2*a. Is 14 a factor of a?
False
Let y = 806 + -481. Is 25 a factor of y?
True
Suppose 0 = 4*j + 4*b - 56, b - 3*b = -4. Is j a multiple of 5?
False
Suppose 0 = 6*g - 44 + 8. Is g a multiple of 6?
True
Does 8 divide 28 + (-1 + 3)/(-2)*1?
False
Let o be (-14 + -1)*-2 - 1. Suppose l = 5*n + o, -l - 2*l + 54 = -4*n. Is l a multiple of 5?
False
Suppose 3*h - 2*l = 11, -4*h = -5*l + 3*l - 16. Suppose -6 = -2*i, 3*i + 62 - h = x. Does 22 divide x?
True
Let a(u) = u**3 + 5*u**2 - 2*u - 16. Let f(j) = -j**3 - 5*j**2 + 3*j + 15. Let n(v) = -6*a(v) - 7*f(v). Let q be n(-7). Let y = -22 - q. Does 11 divide y?
True
Suppose 4*z - 5*g - 308 = 0, -4*z + g = -0*g - 308. Is z a multiple of 27?
False
Let q be 6*4 - (-2 + 2). Let p be (46/(-3))/(6/(-18)). Let s = p - q. Is s a multiple of 11?
True
Suppose l = -0*w + w - 62, -5*w - 5*l + 300 = 0. Is 3 a factor of w?
False
Let s = 37 + 45. Is s a multiple of 21?
False
Suppose 0 = -3*s - 12, 2*m - 2*s = 3*s + 140. Does 20 divide m?
True
Let y be (30 + 0 - -1)*1. Suppose -t + 3*d + y = 0, 0*t - 2*d + 121 = 5*t. Suppose -2*b - 1 = -t. Is b a multiple of 5?
False
Let o(u) = 2*u**2 - 7*u + 9. Let x be o(6). Suppose 3*t + 9 = 0, 4*a + 6*t = t - x. Is 13 a factor of (-2)/(-3)*(-117)/a?
True
Suppose 0 = 4*f + 252 - 68. Is 15 a factor of f/(-8)*20/5?
False
Let a(v) = -5*v - 3 + 1 + 3*v. Is 5 a factor of a(-4)?
False
Suppose 0 = -g + l + 93, -3*g - g - l + 357 = 0. Does 9 divide g?
True
Suppose -3*o = -5*c + 410, 4*c + 0*o - 2*o - 328 = 0. Is 41 a factor of c?
True
Suppose -5*d + 3*m + 60 = 0, -4*m = -3*d + 26 - 1. Does 3 divide d?
True
Let p(a) = a**3 - 3*a**2 + a + 6. Is p(6) a multiple of 13?
False
Let t(p) = p - 5. Let m be t(9). Let v be (-1 + -1)/(m/(-6)). Suppose -k + 11 = -v. Is 4 a factor of k?
False
Let r = -1 - -4. Suppose -r*q + 24 = -q. Suppose v + v = q. Does 3 divide v?
True
Suppose -2*l + 62 = 3*g - 8*g, -2*g = -2*l + 50. Is 7 a factor of l?
True
Let m(a) = 7*a. Let u(g) = -6*g. Let i(h) = 5*m(h) + 6*u(h). Let z be i(0). Suppose z = -d - d + 44. Is 11 a factor of d?
True
Let d = -21 - -13. Let z = 6 - d. Is 7 a factor of z?
True
Suppose -341 - 10 = -3*z. Is z a multiple of 13?
True
Let t = 361 - 256. Does 8 divide t?
False
Let f(c) = -c**3 - 3*c**2 + c + 5. Let i be f(-4). Let r = -8 + i. Is 9 a factor of r?
True
Let j be (16/3)/(4/(-12)). Let o = -11 - j. Suppose o*r - 93 = 2*r. Is r a multiple of 9?
False
Let s be (-2)/(-5) + (-18)/(-30). Let i be (-15)/(-6) + s/(-2). Suppose -w - 2*w + 87 = -i*h, 4*w - 116 = 4*h. Does 11 divide w?
False
Let q(z) = z**3 - 4*z + 3. Let a be q(2). Is 9 a factor of ((-3)/(-6))/(a/264)?
False
Does 4 divide (-2)/6 + (-561)/(-9)?
False
Suppose 0 = -4*b + 3*b + 8. Suppose -3 = 2*f - 11. Does 20 divide f/b - 158/(-4)?
True
Suppose 4 + 0 = y. Suppose 5*n = y + 66. Does 4 divide n?
False
Let s be (-2 + 3 - 0)*7. Let x(l) = l**3 - 8*l**2 + 9*l + 5. Does 14 divide x(s)?
False
Let q be 25/(-10) + (-2)/4. Is (-2)/q - (-1251)/27 a multiple of 8?
False
Suppose 464 = 5*w + 104. Does 12 divide w?
True
Let r(t) = t**2 + 7*t + 6. Let g(h) = -13*h**3 - 1. Let u be g(1). Let b be ((-4)/8)/((-1)/u). Is r(b) a multiple of 6?
True
Let n be 1 - (2 - (-8)/(-2)). Suppose 102 = -0*u + n*u. Is u a multiple of 17?
True
Suppose -4*n + 5*h + 67 = 0, 2*n = -n - 2*h + 56. Is 10 a factor of n?
False
Let f(z) = z**3 + 4*z**2 + 2*z + 1. Let g(y) = y + 1 - 2*y - 2*y**2 + 2*y. Let a be g(-1). Is f(a) even?
False
Suppose l = -5*x + 64, 0 = -x + 4*x + 12