 0 = 2*x + 3*x - 15. Suppose 0 = x*j - 6*j + 15. Is j even?
False
Let s(d) = -d**3 - 6*d**2 - 5*d + 3. Suppose -4 = 4*m - 0. Let i be m/1*10/2. Is s(i) even?
False
Is ((-7)/14*-4)/(4/14) a multiple of 2?
False
Let i = 5 - 3. Is 14 a factor of 4/(i - 92/48)?
False
Suppose u = 2*u - 13. Suppose u - 88 = -3*o. Suppose -3*x + o = 7. Does 2 divide x?
True
Suppose 4*v - 6 + 2 = 0. Suppose -v = -b + 3. Is 4 a factor of b?
True
Let f(a) be the second derivative of -7/2*a**2 + 0 + 2*a + 7/6*a**3. Is f(5) a multiple of 14?
True
Suppose 20 - 231 = -c. Does 43 divide c?
False
Let v(z) = 2 + z**3 - 13*z + 8*z**2 + 4*z**2 + 9*z - 5*z**2. Let u be v(-6). Suppose -5*c = -10, -4*d - c = d - u. Does 4 divide d?
True
Let b(s) = -2*s**3 + 26*s**2 - 17*s - 9. Is 15 a factor of b(12)?
True
Let b = -74 - -105. Does 31 divide b?
True
Suppose -f + 2*s = -40, -f - 3*s = -30 - 5. Let p be (-4)/((-7)/5 + 1). Let z = f - p. Is 11 a factor of z?
False
Let y = -22 - -40. Does 6 divide y?
True
Suppose 5*v - 3 = 4*v. Is (-74)/(-3) - (-1)/v a multiple of 10?
False
Let y = 0 - -2. Suppose 3*c + 2*i - 31 = 21, 3*c = -4*i + 50. Suppose -c + 62 = y*n. Is 11 a factor of n?
True
Let h be 32/(-14) - (-4)/14. Suppose -4*o = -6*o - 76. Let k = h - o. Is k a multiple of 18?
True
Suppose -2*r = -5*r - 3. Is 18 a factor of (r - (0 + -10))*2?
True
Let k = -1 - -4. Suppose w = 2*p + 61, 87 = -k*p - 0*p - 3*w. Let g = 54 + p. Is 12 a factor of g?
True
Is (256/28 + -4)/((-3)/(-14)) a multiple of 8?
True
Does 3 divide 533/9 - (0 - 2/(-9))?
False
Is 13 a factor of 104/(-3)*(1 + -4)?
True
Let i(x) = x**3 + x**2 + 66. Is i(0) a multiple of 18?
False
Let h(w) = 2*w**2 + 3*w + 4. Let v be h(-4). Suppose 0 = a - 6*j + j - 14, 2*a + 3*j + v = 0. Is (a/3 + 19)/1 a multiple of 5?
False
Let k be -1 + (-12 + -1)/(-1). Suppose 73 = -5*z - 2*y + 663, -5*z + y + 575 = 0. Is 11 a factor of (-4)/k + z/6?
False
Let m be (-2)/(-3)*(4 + 17). Let a = m + -9. Suppose -5*t + a*b = -26 - 24, 2*t - 26 = 5*b. Is 7 a factor of t?
False
Suppose -v = -5*p - 26, v = -2*v - 3*p + 6. Suppose -169 + 5 = -5*b + 2*y, -2*y = -v. Is 15 a factor of b?
False
Let q(g) = g**2 - 3*g. Is q(6) a multiple of 6?
True
Let w be -3*1 + (5 - 2). Suppose 22 = 5*p + 7. Let f = p + w. Is 2 a factor of f?
False
Let z = -40 + 97. Is 23 a factor of z?
False
Let v(s) = s. Let m be v(0). Suppose 5*c - 27 - 28 = m. Suppose -2*l = 3*y - c, 6 + 16 = y - 3*l. Does 7 divide y?
True
Let o be 30/9 + 3/(-9). Suppose m = -o*s + 5*m + 112, -4*s - m + 124 = 0. Is s a multiple of 15?
False
Suppose -36*n - 66 = -38*n. Does 33 divide n?
True
Suppose 3*z + 2*g = 114, -5*z - g + 174 = -3*g. Does 12 divide z?
True
Let i(t) be the third derivative of -5*t**4/24 + 2*t**3/3 + t**2. Let u be i(7). Let o = 49 + u. Is o a multiple of 13?
False
Suppose 7 = -5*l - 3*c + c, -20 = -5*c. Is 3 a factor of 2 + l - 3 - -12?
False
Let h = 21 - 5. Suppose h = 4*v + 3*j, 0 = 2*v + j + 2 - 10. Suppose v*m + 2*f - 71 = 5*f, -m + 34 = -4*f. Is 7 a factor of m?
True
Suppose 2*s = 11*s - 1260. Does 10 divide s?
True
Is 25 + -2 + 0 + -4 a multiple of 3?
False
Suppose -14*d - 18 = -17*d. Is 6 a factor of d?
True
Suppose 0 = 4*g - 5*h - 114, 2*h + 56 = 4*g - 64. Is 8 a factor of g?
False
Let j(t) = t**2 - 7*t + 5. Let v be j(4). Let n(l) = l**3 + 8*l**2 + 7*l + 6. Does 4 divide n(v)?
False
Let o = 420 + -236. Suppose h + 0*h + 3*z - 56 = 0, -4*h - 4*z = -o. Suppose -5*x = 20, -h = -5*j + x + 3*x. Is 3 a factor of j?
False
Let r = -196 - -460. Is 5 a factor of r/45 + (-2)/(-15)?
False
Suppose 7*z - 208 - 240 = 0. Is 11 a factor of z?
False
Let i(p) = -1 + 2*p + 3*p + 2 - 4. Is 12 a factor of i(3)?
True
Suppose 2*x = 39 + 33. Is x a multiple of 17?
False
Let b = -89 + 169. Is 17 a factor of b?
False
Suppose -324 = a - 5*a. Is a a multiple of 17?
False
Suppose 0 = -2*j - 8, 6*q - 5*j = q + 205. Is q a multiple of 5?
False
Is (4 - (27/6 + -2))*10 a multiple of 5?
True
Let y(c) = -4*c**2 - 8*c - 20. Let h(j) = -1. Let r(q) = 6*h(q) - y(q). Does 15 divide r(-5)?
False
Suppose 73 = g + 7. Suppose -2*u + g = 4*z, -2*z - u + 24 = 3*u. Is 15 a factor of z?
False
Suppose g - z - 118 + 45 = 0, -2*g + 143 = z. Suppose 2*o + 12 - g = 0. Does 5 divide o?
True
Suppose -j - 3*j - 3*m = -4, -5*j + 5*m = -40. Suppose 0 = 3*u + j*o + 41, -3*u = u + 2*o + 38. Does 2 divide -3 - (-2 - -1) - u?
False
Let m(f) = 3*f**2 + 3*f + 5. Let j(w) = 5*w**2 + 4*w + 8. Let g(r) = 5*j(r) - 8*m(r). Is g(6) a multiple of 6?
True
Let r be (-6)/(-9) + (-8)/(-6). Is ((-3)/r)/((-1)/14) a multiple of 21?
True
Let y(r) be the second derivative of r**5/4 + r**2/2 + r. Suppose -f = -8*f + 7. Is 6 a factor of y(f)?
True
Let t(z) be the third derivative of -z**6/40 + z**5/30 + z**4/8 + 3*z**2. Does 13 divide t(-2)?
True
Let b = 427 + -217. Is b a multiple of 42?
True
Suppose 3 = -3*f - 4*i + 29, -2 = 4*f - 2*i. Suppose -f*y + 0*y = -42. Is 21 a factor of y?
True
Is (-279)/(-4) + (-4)/(-16) a multiple of 5?
True
Let m(j) = 2*j**2 + j. Is 17 a factor of m(3)?
False
Let p(g) = g**3 + 6*g**2 - g + 2. Is p(-3) a multiple of 14?
False
Let r(t) = t**2 - t + 1. Let n be r(6). Suppose w = -2*c - n, 5*c + 4*w + 0*w + 79 = 0. Is 8 a factor of -10*((-12)/c)/(-1)?
True
Suppose -22 = r + 32. Let c = r + 78. Is 13 a factor of c?
False
Suppose 0 = 7*s - 4*s + 51. Let z = 32 + s. Is z a multiple of 10?
False
Suppose -5*y = 20, 5*n - y + 2*y - 16 = 0. Suppose 2*t = o - 4*o + 68, n*t = 5*o - 128. Does 24 divide o?
True
Suppose -5*w - 15 = 2*n, -2*w + n - 12 = 2*w. Let r = w - -6. Suppose -j + 2*v + 52 = j, -r*j - 3*v = -66. Does 10 divide j?
False
Let f(b) = 3*b**3 + 29*b**2 + 2*b + 21. Let k(s) = -4*s**3 - 43*s**2 - 3*s - 31. Let a(i) = -7*f(i) - 5*k(i). Is 20 a factor of a(12)?
True
Suppose -5*m = 4*u + 38, 18 = -3*m - 7*u + 3*u. Let r = m - -13. Is r a multiple of 3?
True
Let g(h) = -h**2 + 6*h - 4. Let c be g(6). Let b(m) = m**2 + 3*m + 2. Let x be b(c). Is 23 a factor of (-4)/(-12) - (-208)/x?
False
Is 3185/45 + -3*(-2)/27 a multiple of 13?
False
Let d(g) = -5*g + 2. Let a be (4/(-3))/((-3)/(-9)). Is 5 a factor of d(a)?
False
Is 20 a factor of 2/(-3) - 15/((-90)/364)?
True
Let r = 5 - -16. Suppose -2*i + 14 = -2*p - 0*p, -4*p = 3*i - r. Does 8 divide 117/i - 2/(-7)?
False
Let z = 384 - 258. Suppose -h = 5*j - 143 - 67, -3*h + z = 3*j. Does 14 divide j?
True
Suppose 7 = -k + 9. Let h be 1/((-2)/(-16)*2). Suppose k*w = -3*g + 53, 3*w + 3*g = h*g + 52. Is 8 a factor of w?
False
Let k be (-12)/20 - (-43)/5. Does 23 divide (-55 + -2)*k/(-6)?
False
Let d be (-1)/3 - (-3)/9. Let p = 0 + d. Suppose 0 = -p*s - 3*s + 3*a + 30, 4*s - 40 = -a. Is s a multiple of 4?
False
Is (-5415)/(-60) - 1/4 a multiple of 15?
True
Let x(w) = -w + 12. Let v be x(12). Suppose -3*c + v*c = 6, -5*c = 4*b - 90. Is 4 a factor of b?
False
Let w = 8 + -5. Let l = -1 + w. Let r(k) = 4*k**3 - 2*k**2 - k + 2. Is r(l) a multiple of 15?
False
Let h = 12 + -17. Is (-5)/(-3)*(-15)/h a multiple of 2?
False
Let s(g) = 0*g + 2*g + 5*g**2 + 3 - 6*g. Is 4 a factor of s(2)?
False
Suppose 2*b + 3*b + 93 = 2*w, -4*w - b + 131 = 0. Does 11 divide w?
False
Let v(w) = 64*w - 40. Let r(y) = 5*y - 3. Let a(g) = -40*r(g) + 3*v(g). Let t be (0 - 1) + -2*1. Does 10 divide a(t)?
False
Suppose 4*q - s = -2*s + 183, 5*q = -2*s + 228. Is q a multiple of 12?
False
Suppose -64 = 2*m - 224. Does 15 divide m?
False
Suppose -4*r - 94 = 254. Let z = -24 - r. Is z a multiple of 21?
True
Let c(g) = -31*g + 6. Let n(y) = -y. Let x(f) = c(f) - 3*n(f). Is x(-2) a multiple of 19?
False
Suppose -2*q + 0 = 2. Let p(l) = -7*l**3 - 1. Let g be p(q). Is 9 a factor of g/21 + (-150)/(-14)?
False
Is 2 a factor of (-136)/(-14) + 12/42?
True
Does 18 divide (-8)/2 + 2 - -56?
True
Suppose 0 = 3*p - 6*p + 84. Is p a multiple of 14?
True
Suppose 9 = -2*f - 15. Is 12 a factor of (f/10)/(1/(-30))?
True
Let w be 12/2 + -1 + -1. Let o(v) = -5*v + 4 + w*v - 5. Does 5 divide o(-6)?
True
Suppose -5*c - 52 = -4*c. Let a = 89 + c. Let l = a - 25. Does 9 divide l?
False
Does 4 divide ((-1)/2)/((-2)/28)?
False
Let k = -123 - -206. Is 5 a factor of k?
False
Let h = 4 - -12. Does 7 divide h?
False
Let r(v) = -v**3 + 11*v**2 - 9*v - 10. Let t be r(10). Suppose -5*b = w - 77, -4*b + t = -5*w - 50. Does 5 divide b?
True
Is 16 a factor of (-45)/(-60