0). Suppose -j + 0*j + 9 = x. Is 6 a factor of j?
False
Let r(i) = 4*i - 2. Let d be (-142)/(-6) + 2/6. Suppose -d + 8 = -4*f. Does 14 divide r(f)?
True
Let h = 256 - 144. Is h a multiple of 28?
True
Suppose -197 = 5*z - 6*z. Does 14 divide z?
False
Let o be 2/(-5) - 12/(-5). Let l(g) = g**3 + 2*g**2 - g. Let w be l(o). Suppose 2*a - 5*b + 49 = 6*a, 0 = a - 4*b + w. Is 6 a factor of a?
True
Let l be (0*(-2)/(-6))/(-1). Suppose l = f - 3*f + 92. Is f a multiple of 12?
False
Suppose -206 + 14 = -8*j. Does 12 divide j?
True
Let d = 60 - 25. Does 25 divide d?
False
Let s(x) = -x**2 + 7*x - 7. Let k be s(5). Suppose k*w = -w + 72. Does 9 divide w?
True
Let a(w) be the first derivative of w**2/2 - 3*w - 7. Does 7 divide a(10)?
True
Let s = 186 - -136. Is s a multiple of 46?
True
Let g = 96 - 55. Does 35 divide g?
False
Let z be 8/12*3/(-2). Does 2 divide -2 - -9 - (z + 3)?
False
Let r(b) = -b**2 - 2*b + 48. Is 14 a factor of r(0)?
False
Suppose 5*g = -0*g + 4*h - 7, 0 = -4*g + h - 10. Let l be 26 + (1 + g)*1. Suppose -2*m + l = -54. Does 15 divide m?
False
Is 2 a factor of (9 + -8)/((-1)/(-4))?
True
Let o = 1 + -3. Let g be (o + 26/6)*12. Suppose g + 17 = 3*q. Is q a multiple of 8?
False
Let f(r) = 13*r - 11*r**2 + r**2 - 4 + r**3 + 3. Let m be f(9). Suppose 0 = -3*h + m + 43. Is h a multiple of 9?
False
Let g(u) = -u. Let z be g(-2). Suppose 0*q + 36 = z*q. Is 18 a factor of q?
True
Let g = 52 - -2. Does 18 divide g?
True
Let p be 4/12 + (-7)/3. Let j(z) = 2*z**2 - 2 + 1 + 1 + 1. Is j(p) a multiple of 4?
False
Let l(k) = -k**3 + 6*k**2 - 6*k + 6. Let p be l(5). Let q be p*3*(-26)/6. Let n = q + 21. Does 5 divide n?
False
Let a = 52 - 25. Does 5 divide a?
False
Let a be 16/(-3) - (-1)/3. Let c be (16 + a)*(1 - 2). Let p(o) = o**2 + 11*o + 16. Is p(c) a multiple of 7?
False
Let r(h) = -h**2 - 6*h + 3. Let j be r(-6). Let l(u) = -u**2 + 3*u + 4. Let d be l(j). Does 2 divide (4/(-6))/(d/(-18))?
False
Let r = -12 - -14. Suppose r*i - 3*o = 72, 38 = i - o - o. Is 15 a factor of i?
True
Let v(i) = i**2 + i - 2. Let d(p) = -3*p**3 - 2*p**2 + 1. Let j be d(1). Let f be v(j). Suppose 3 - f = -z. Is 6 a factor of z?
False
Let k = -2 + 2. Suppose k*n + 3*n - 24 = 0. Does 13 divide n/6*(-39)/(-2)?
True
Let f(t) = t**2 + 4*t + 6. Let v be f(-4). Let c(i) = -i**2 + 9*i + 6. Does 12 divide c(v)?
True
Let w = -45 + 61. Is 4 a factor of w?
True
Suppose -d + 2*l + 17 = -l, 0 = 5*d - 2*l - 20. Let v be (-7 + 1)/(d - 4). Suppose 2*g - 42 + 4 = 4*f, -2*f = -v*g + 77. Does 17 divide g?
False
Let d(w) be the second derivative of w**5/20 + w**4/12 - 2*w. Let k be d(-1). Suppose k = v - 8 - 16. Is v a multiple of 9?
False
Let r = -3 - -7. Suppose 0 = r*p - 4*u - 40, 5*p + 0*u - 3*u = 60. Does 5 divide p?
True
Suppose 1 = 3*w + 5*f, 2*w - 7*w = 3*f - 7. Let q(j) = -w*j - 6 + 2 - j - 2. Is 7 a factor of q(-5)?
False
Let c(t) = -5*t - 4*t**2 - 2*t**3 - 2 + 6*t + 2*t**2. Does 13 divide c(-3)?
False
Let b = -5 + 7. Suppose 2*c + 4*w - 7 = -19, -w + 3 = b*c. Suppose c*y - 2*y + 2*h = 14, -2*h = -y + 13. Is 9 a factor of y?
True
Suppose 5*r + 30 = a, a + 3*r = r + 2. Suppose m - 3*o = 2*o + a, -34 = -2*m + 3*o. Is 10 a factor of m?
True
Let a(t) = 2*t + 8. Let r be a(-5). Is 28 a factor of (132 - (-8)/4) + r?
False
Suppose -u - 5*q = u - 8, u = 2*q + 22. Does 4 divide u?
False
Let w = -6 - -5. Let n(d) = -3*d**2 + 2*d + 1. Let m be n(w). Let u = 0 - m. Is u even?
True
Suppose 0 = -0*v - 6*v + 594. Is 33 a factor of v?
True
Let j = 14 - 12. Let x = 148 - 22. Suppose 5*r = j*r + x. Is r a multiple of 14?
True
Let p(h) = -h**3 + 5*h**2 + h - 2. Let y be p(5). Let b be (12/(-10))/(y/(-10)). Is 16 a factor of b/(-14) + 1130/35?
True
Suppose -3*b = -5*b. Suppose -r = -b*r + n - 3, 2*n + 24 = 4*r. Let i(a) = -a**2 + 7*a - 2. Is 8 a factor of i(r)?
True
Let a(x) = -x - 1. Let b = -4 + 1. Let h be a(b). Suppose 5*d = -3*f + 26, h*f - 54 = -2*f + 3*d. Is f a multiple of 6?
True
Suppose 301 = 7*q - 77. Is 9 a factor of q?
True
Suppose -4*n - c = 268, -4*c + 7*c - 252 = 4*n. Is 5 a factor of (4/6)/((-4)/n)?
False
Suppose 0*s - 20 = -5*s. Suppose 6*t - 3*t + 5*u - 153 = 0, -s*t = 5*u - 199. Is 13 a factor of t?
False
Does 31 divide (17328/(-28))/(-4) - 2/(-7)?
True
Let x = 211 + -143. Suppose 3*y - 124 = -6*u + u, -3*u + x = 5*y. Does 9 divide u?
False
Let z = 5 - -3. Is z a multiple of 8?
True
Suppose 189 = -2*q + 11*q. Is 16 a factor of q?
False
Let b(o) = 139*o**2 - 2*o + 2. Is b(1) a multiple of 14?
False
Let p(x) = -16*x**2 + 1. Let h be p(-1). Let z = 62 + h. Suppose 6 = -2*u, -z - 40 = -3*s + 2*u. Is 14 a factor of s?
False
Let c(r) = -4*r**2 + r**2 - 1 - 2*r**2 + 4*r**2 + 5*r. Let m be (2/((-2)/(-3)))/1. Is 3 a factor of c(m)?
False
Let u = 66 - 12. Is 18 a factor of u?
True
Suppose -2*i + v - 8 = 0, -4*i + 4*v + 7 = 27. Let a(b) = -6*b - 5*b - 3 + 5 - 4*b. Is a(i) a multiple of 15?
False
Suppose 6 = 3*w, k - 3*w + 5 = -0*w. Let f be k/(-2 + 98/50). Let p = -16 - f. Does 9 divide p?
True
Is 24 a factor of ((-30)/4)/(2/(-12))?
False
Suppose -8*g = -0*g - 2320. Is g a multiple of 58?
True
Let u(g) = 3*g - 2*g - 3*g + 1 + g. Is u(-4) even?
False
Suppose 7*n = 2*n + 25. Let d = 5 - n. Suppose -5 = -z - d*z. Is 3 a factor of z?
False
Let x(i) = -6*i - 2. Let o(f) be the third derivative of f**4/24 - f**3/3 - 3*f**2. Let d be o(-2). Is 12 a factor of x(d)?
False
Suppose -3*j + 45 = -c + 4*c, -3*j + c = -33. Is j even?
True
Suppose 13*p + 224 = 15*p. Does 10 divide p?
False
Let l = -2 - -2. Suppose l = 8*p - 4*p - 228. Is 16 a factor of p?
False
Let h(m) be the second derivative of 5*m**5/4 + m**4/12 + m**3/6 - m**2/2 + 3*m. Does 13 divide h(1)?
True
Suppose 2*s + l + 12 = 5*s, -3*s + 3*l + 6 = 0. Suppose -s*z + 175 = -3*f, 2*z + 2*f - 25 = 29. Is z a multiple of 16?
True
Let n(t) = t - 3. Let a be n(3). Suppose 20 = -a*b + 2*b. Is 6 a factor of b?
False
Let v be 114/(-9) - 2/(-3). Let k be 112/v*(0 - 3). Suppose -8 = -3*r + k. Is 6 a factor of r?
True
Let n = -176 + 256. Does 11 divide n?
False
Let h(t) = -t**3 + 26*t**2 + t - 17. Let r be h(26). Let p be 1 + 4 - 1/(-1). Let m = r - p. Is m even?
False
Let p be (-8 + 3/1)*-1. Suppose 3*t + 72 = 5*u - 54, p*u + 4*t = 112. Is 24 a factor of u?
True
Suppose 2*v = 2*j + 3*v + 53, -133 = 5*j + 2*v. Let k = -13 - j. Does 14 divide k?
True
Let z = -78 - -122. Does 11 divide z?
True
Let x(c) be the first derivative of c**2 + 13*c - 1. Let n be x(-9). Let g(l) = l**3 + 5*l**2 - 5*l - 2. Is 14 a factor of g(n)?
False
Suppose 0 = 11*f - 8*f. Suppose -5*i + 3*i + 40 = f. Does 12 divide i?
False
Suppose -n + 5*v = -23, -2*v = 3*n + v + 21. Is 7 a factor of n - 29*(-2 + 1)?
False
Let k(l) = -4*l + 21. Is 15 a factor of k(-14)?
False
Let d be -2 + (3 + 27 - -3). Suppose -5*z + 127 = -0*q + 4*q, -2*z + d = q. Is 11 a factor of q?
True
Suppose 81 = 3*u - 2*o, -u = -4*o - 31 - 6. Is u a multiple of 5?
True
Suppose 0 = 3*j - 9. Let o(s) = -2*s**j + 0*s + s**3 - s**2 + 0*s**2 + s + 9. Is 9 a factor of o(0)?
True
Let p = 27 - 18. Let c = -4 + p. Suppose 0 = -r + c*r - 108. Does 11 divide r?
False
Let i(m) = 4*m**2 + 19*m - 37. Let u(h) = h**2 + 5*h - 9. Let d(o) = 2*i(o) - 9*u(o). Is 4 a factor of d(-7)?
False
Let b = -4 - -7. Suppose -4*g - b = 5. Does 3 divide g - (28 - 1)/(-3)?
False
Suppose 2*g - v = 20, -2*v = -5*g + 54 - 4. Is 10 a factor of g?
True
Let x be (-2 + 2)*(-2)/4. Is (x - -3) + 43 - 2 a multiple of 11?
True
Suppose -w + 4*h = 4*w - 900, -5*w + 2*h + 890 = 0. Is w a multiple of 16?
True
Suppose 0 = a + 1 - 5. Suppose 5*j - 124 = 2*c, 4*c = j - a*j + 90. Does 13 divide j?
True
Let x = 4 - 1. Suppose 0 = -5*s - 5*o + 40, 20 = x*s - s + 3*o. Suppose -s*q + 13 = -3*q + 3*g, q - 33 = g. Is 10 a factor of q?
False
Suppose -n - 11 = -34. Suppose 0 = 3*p - 5 + n. Let u = 13 + p. Is u a multiple of 7?
True
Let p(y) = -y**2 - 7*y - 4. Let a be p(-6). Let w be 4 - (0 + 2/a). Suppose w*o + 0*o = 27. Does 9 divide o?
True
Suppose o = -8*j + 4*j + 1512, -4*j = -5*o - 1512. Does 14 divide j?
True
Suppose 69 = t - 2*k - 31, k = 2*t - 200. Is 25 a factor of t?
True
Let y be (0 - 0)/(-3) - -2. Suppose 2*l - 80 = -y*g, -4*l - 20 + 8 = 0. Does 12 divide g?
False
Suppose -4*w + 2*w = 0. Let v = 9 + -6. Let z = v - w. Is 3 a factor of z?
True
Suppose -143 = -4*v 