 v. Let n be y(-1). Is (n + 3 + 0)*z a multiple of 17?
False
Suppose -3*r = 3*x - 12, 0 = -2*x + 3*r + 5 - 2. Let o(y) = -2*y**3 - 9*y**2 + 2*y. Let z be o(6). Does 12 divide ((-1)/x)/(8/z)?
False
Let k = -2 + 6. Let p = 25 + 3. Suppose 2*j - p = k. Does 5 divide j?
False
Let a be -2 + 3 + (-9)/(-1). Let c be 4/a + 278/5. Suppose -12 = 4*k, -3*k - c = -4*u + 17. Does 6 divide u?
False
Suppose -5 = -p - 1. Suppose g - p = -0*g. Does 12 divide (-1 + -2)/((-1)/g)?
True
Let a(r) = 1 + 3 - 3*r + 1 - r**2 + 0*r**2. Let s be a(-4). Let w = 4 + s. Is 4 a factor of w?
False
Is 19 a factor of 1/1 + 68 + 14?
False
Suppose -7*d = -3*d. Suppose 9*o - 5*o - 16 = 0. Suppose d = -2*u + 3*f - o*f + 44, 2*u - f = 52. Is u a multiple of 24?
True
Let r be (-2 - 0/1) + 0. Let v(w) = -4*w**3 - 3*w**2 - 2*w + 1. Is 12 a factor of v(r)?
False
Is 9 a factor of 1 + -2 - 1 - -24?
False
Let n(d) = -d**2 + 21. Let m(a) = a**2 + 2*a + 1. Let y be m(-1). Let f be n(y). Let r = f + 5. Does 9 divide r?
False
Suppose m + 0 = 2. Let b = -8 - -4. Is (-8)/(m - (-9)/b) a multiple of 16?
True
Suppose -3*q = g, 4*g - 45 = q + 2*q. Does 2 divide g?
False
Let m be ((-2)/5)/((-2)/(-30)). Let o(b) = -b**2 - 6*b. Let y be o(m). Suppose 4*g + 4*x - 12 = y, -x = -4*g - g + 45. Is g a multiple of 4?
True
Suppose 0 = 5*a - 40 + 15. Suppose -6 + 1 = -a*c. Suppose -h = -c - 4. Does 2 divide h?
False
Let u = 6 + -2. Let k = 6 - u. Suppose -5*x + k*x = -66. Does 11 divide x?
True
Suppose -3*r + t = -2*t - 450, -3*r + 4*t = -447. Is r a multiple of 12?
False
Suppose -4*s + m - 2*m = 25, s + 9 = -3*m. Let y(j) = j**3 + 6*j**2 + 2. Let n be y(s). Suppose 0*h = -n*h + 16. Does 7 divide h?
False
Let m(j) = 3*j**3 - 3*j**3 + 3*j + 6*j**2 + j**3 - 7. Let p be m(-5). Is 12 a factor of (-37)/(-3) - p/9?
True
Suppose -1 = -p + 3. Let h be p + 1*-2*1. Suppose u + 1 = -5*o, h*o = -2*u + 7*o + 28. Does 5 divide u?
False
Suppose -67 = -2*t + 11. Is t a multiple of 12?
False
Suppose -76 + 20 = -2*u. Is u a multiple of 14?
True
Let v be (-2 - -3)*(2 - -1). Suppose -16 = -4*b + v*b. Is b a multiple of 6?
False
Let j(z) = z**2 - 8*z - 5. Let i be j(6). Let u = i - -33. Is 14 a factor of u?
False
Suppose -2*w = -6*w + 228. Let b = w - 35. Let l = b + -10. Is l a multiple of 4?
True
Let b = -6 + 8. Let z = 23 - b. Does 7 divide z?
True
Suppose -4*w - 27 = -7*w. Let t = w + 61. Does 35 divide t?
True
Suppose r + 0 = -2. Does 8 divide r*(-2 + 9/(-2))?
False
Is (14 - 3) + 4/2 + -5 a multiple of 8?
True
Suppose 2*n + 2*n - 1032 = 0. Is 43 a factor of n?
True
Suppose -87 = -t - 2*t - 4*z, -4*t = 3*z - 109. Does 9 divide t + (2 + -3)*0?
False
Is (-130)/3*(-21)/14 a multiple of 13?
True
Let h(g) = -g + 3. Let v be h(3). Suppose v = -0*d + 2*d - 26. Is 13 a factor of d?
True
Suppose -a - 10 - 6 = 3*s, -2*s = 5*a - 11. Let p be (-1)/(-2*(-1)/2). Does 8 divide (4/p)/(2/s)?
False
Suppose -p + 3*p = 0. Suppose p = -6*k + k - 15. Let g(a) = 4*a**2 + 3*a + 2. Is 16 a factor of g(k)?
False
Let f(b) = -b**2 + 12*b - 3. Is f(9) a multiple of 8?
True
Suppose q = -2*u + 3*q - 4, 0 = 2*u + 4*q + 22. Is 13 a factor of (-180)/(-4) - (u - -3)?
False
Suppose r - 24 = -4*u + u, 0 = -5*r + u + 184. Is 10 a factor of r?
False
Let z(v) = -v**3 + 6*v**2 + v. Let p be z(5). Let u be ((-44)/12)/((-2)/p). Suppose 3*x + g + 0 = 47, 3*x = g + u. Does 7 divide x?
False
Let t be (-1)/(((-9)/3)/36). Suppose 0*z + t = 2*z. Is z even?
True
Let y(a) = 3*a**2 - a - 1. Is 6 a factor of y(3)?
False
Let x = -126 + 186. Does 15 divide x?
True
Let h(q) = -279*q**3 - q**2 + 2. Does 16 divide h(-1)?
False
Suppose m = 3*m - 4. Let h(z) = 21*z + 1. Let w(o) = -62*o - 2. Let l(p) = -8*h(p) - 3*w(p). Is 12 a factor of l(m)?
False
Let r(o) = -o**2 - 5*o + 3. Let q(t) = -t. Let w be q(4). Does 7 divide r(w)?
True
Suppose -2*t - 3*v + 68 = v, -t = v - 33. Is 16 a factor of t?
True
Suppose 2*n - 160 = -0*n. Is 18 a factor of n?
False
Let l = -6 + 8. Suppose -6*f + l*f = 36. Let t(m) = -m**2 - 12*m - 10. Is t(f) a multiple of 7?
False
Let v be (-9)/(-12) + (-375)/(-12). Suppose 2*n = 6*n - v. Is 4 a factor of n?
True
Does 8 divide (-11)/(-3) - 3 - 70/(-3)?
True
Suppose 0 = -4*n - 2*m + m, 5*m = -5*n. Suppose -5*u + 27 - 7 = 0. Suppose 3*b + 2*x = 15, n = -5*b + u*x + 6 + 19. Is b a multiple of 5?
True
Let i be 7 + -6 + -1*1. Suppose 0 = -4*v - i*v + 84. Does 6 divide v?
False
Let d = 19 - -22. Suppose -10 = -3*s - 2*u, 3*u - 3 = 6*u. Is 24 a factor of s/6*(d - 5)?
True
Let u be (6/9)/((-1)/(-3)). Suppose 4 = u*o - 0*o. Suppose 5*a - x - 20 = o*a, -4*a + 34 = -5*x. Is 3 a factor of a?
True
Let c(n) = -3 + 7 - 3 - 23*n**3. Does 7 divide c(-1)?
False
Let v(d) = d**2 - 14*d - 7. Does 13 divide v(18)?
True
Suppose -3*u = -0*u. Suppose u*h - 4*h = 8. Is (-76)/h + -1 + -2 a multiple of 12?
False
Suppose 24 = -11*i + 15*i. Suppose 2*c + c = 3*g - 51, -3*c = i. Is 3 a factor of g?
True
Suppose -7*w = -4*w - 15. Is 5 a factor of w?
True
Suppose 6*h = 3*h + 15. Suppose -w - 80 = -h*w. Suppose 3*z - z - w = 0. Is z a multiple of 5?
True
Let g(x) = -119*x - 10. Is 31 a factor of g(-2)?
False
Suppose 5*k = 3*k + 144. Is 36 a factor of k?
True
Is 39 a factor of (-20)/140 + 3278/14?
True
Suppose g = -4*g + 285. Suppose 4*b - 255 = -m - g, -5*b = 2*m - 246. Is 17 a factor of b?
False
Let c(a) = 6*a**2 - a + 12. Does 16 divide c(-4)?
True
Suppose 3*h - 11 = -2. Suppose -3*g + 30 = -h*k, -g - 3*k + 33 = 3*g. Does 9 divide g?
True
Suppose 4*o = 169 + 235. Is 32 a factor of o?
False
Let p(o) = o**2 - 3*o - 8. Let j(w) = -w**2 + 2*w + 4. Let a(r) = -7*j(r) - 4*p(r). Is a(2) a multiple of 12?
True
Let h(s) = -s**3 - s**2 + s + 1. Let k(w) = -3*w**3 + 3*w**2 + 7*w + 6. Let b(z) = -2*h(z) + k(z). Let u be b(6). Let j = 26 + u. Does 12 divide j?
True
Let c be (-34)/(0 + 1/(-3)). Suppose c = -2*y + 4*y. Is 17 a factor of y?
True
Let k(g) = 3*g**2 - 37*g + 2. Is k(16) a multiple of 13?
False
Let b be 19/7 + (-2)/(-7). Suppose 14 = k + b*m + 2*m, -5*k = 4*m - 28. Suppose k*c - 6*c = -70. Is 20 a factor of c?
False
Let u = -1 + 4. Let h(f) = -14*f - 3. Let s(y) = -22*y - 4. Let j(t) = -8*h(t) + 5*s(t). Is 5 a factor of j(u)?
True
Let g(x) = -10*x**2 - 12*x - 1. Let l(v) = -5*v**2 - 6*v. Let a(d) = -3*g(d) + 5*l(d). Is 37 a factor of a(-6)?
False
Is 24 a factor of 8/12 + 280/12?
True
Suppose 2*r + 10 + 12 = 0. Let v = 3 - r. Is v a multiple of 7?
True
Let b(x) = 33*x**2. Let t(q) = -2639*q**2. Let v(i) = -319*b(i) - 4*t(i). Is 6 a factor of v(1)?
False
Let u = 0 - -2. Suppose -4*z + 2*t + u*t + 40 = 0, -2*z - 4*t = -2. Suppose -87 = 4*q - z*q. Is 12 a factor of q?
False
Suppose -5*x + i + 86 = 0, -4*x - i = -3*i - 64. Does 9 divide x?
True
Suppose 0 = t + 5*x + 1, 4*t - 2*x = 3*x + 21. Let h(o) = 5*o - 5 + 4*o + o. Is h(t) a multiple of 14?
False
Let w = 22 + -19. Suppose w*j + 284 = 7*j. Is j a multiple of 11?
False
Let k(s) = 2*s**3 + 3*s**2 + 2*s - 2. Let v be k(-2). Let g = v - -14. Is g a multiple of 4?
True
Let t(b) be the first derivative of b**4/4 + 2*b**3 - 2*b**2 - b + 3. Let q be t(-5). Suppose -2*o + q = 2*o. Is 11 a factor of o?
True
Let h(q) = 12*q - 1. Is 5 a factor of h(1)?
False
Suppose -2*h = 4*x - 22, -5*x + 0*h - 2*h = -28. Is x a multiple of 3?
True
Let h(x) = x**2 + 10*x + 15. Is 5 a factor of h(-10)?
True
Suppose 25 = -3*i - 2*i, 4*d + 2*i = 182. Is 9 a factor of d?
False
Suppose -3*s + 6*s - 15 = 0. Is s even?
False
Is 8 a factor of (12/10)/((-40)/(-3300))?
False
Suppose 2*p + 4*d - 148 = 0, -5*p + 303 = -p + d. Is 15 a factor of p?
False
Let o(v) = 0 + 0 - 4 + 5 - 15*v. Is o(-2) a multiple of 21?
False
Let r(o) = 2*o**3 + 2*o - 2. Let b be r(2). Let a(x) = -x**2 - 4*x + 1. Let u be a(-4). Is ((-9)/b)/(u/(-94)) a multiple of 17?
False
Let f(l) = 12*l**2 - 1. Does 6 divide f(-1)?
False
Let b(p) be the second derivative of 0 + p + 0*p**2 + 1/3*p**3. Is b(3) a multiple of 3?
True
Suppose -172 = -3*f + 17. Is 28 a factor of f?
False
Let a = 6 + -6. Suppose 3*g - 14 + 2 = a. Is 13 a factor of 24 - 3*g/(-6)?
True
Suppose 0 = -2*f + 36. Is f a multiple of 9?
True
Let t = 125 - 49. Does 43 divide t?
False
Let p be ((-6)/(-4))/((-1)/(-2)). Let t be p/(-2)*492/(-9). Suppose -98 - t = -5*h. Is 14 a factor of h?
False
Let m = 225 - 150. Does 15 divide m?
True
Let d = 0 + 4. Suppose -4