 + 4*m. Is k(-3) a multiple of 9?
True
Let f = -3 + 0. Is ((-7)/f)/((-5)/(-45)) a multiple of 6?
False
Suppose 0*a = -2*a - 8. Does 6 divide (a - -17) + 0 + -1?
True
Let y(t) = 7*t - 4. Let v(o) = -132*o + 77. Let z = -4 - 0. Let d(h) = z*v(h) - 77*y(h). Does 11 divide d(-1)?
True
Suppose d + 2*d = 90. Suppose 2*c + 42 = 5*x - 33, -2*x + d = 3*c. Is x a multiple of 6?
False
Suppose 8 = 2*i, -5*i + 131 = -3*q + 531. Does 35 divide q?
True
Let o = -23 - -81. Is o a multiple of 4?
False
Let v = -151 - -254. Is 23 a factor of v?
False
Suppose -m + n + 0*n = -1, 4*n + 8 = 5*m. Let s be 11 - (-1)/2*-2. Suppose -m*q = q - s. Is q even?
True
Suppose r = 27 + 42. Suppose -r = 3*s - 3*l - 297, -5*s + 380 = -2*l. Suppose -4*v = -0*v - s. Is 9 a factor of v?
False
Suppose 231 = 8*n + 87. Is 18 a factor of n?
True
Let z(y) = -59*y. Let t be z(-1). Suppose -j - 1 = 0, -q + 5*j - t = q. Let f = q + 52. Is 11 a factor of f?
False
Let l be 1/4 + (-9)/(-12). Let d be (-6)/(-1)*l/3. Let n(c) = 7*c - 3. Does 4 divide n(d)?
False
Let v be -9*(0 - -3)*1. Let p = v + 51. Does 12 divide p?
True
Is 47 a factor of 0 - 2/4 - (-3913)/26?
False
Let w(r) = -r**3 - 3*r**2 - 3*r + 1. Let y be w(-5). Suppose a + 2*a = y. Does 7 divide a?
False
Let n(t) = -20*t**3 - 21*t**2 + 5*t + 11. Let u(i) = -4*i**3 - 4*i**2 + i + 2. Let y(w) = -2*n(w) + 11*u(w). Does 5 divide y(-2)?
False
Suppose -3*x + 1 = -4*d + 3*d, -d - 1 = x. Suppose x = -f + 42 + 45. Is 29 a factor of f?
True
Let l = 6 + -4. Suppose -42 + 136 = l*f. Is f a multiple of 15?
False
Let x = -18 - -22. Suppose -3*q + 0*a + 5*a = -34, 5*a = x*q - 47. Does 4 divide q?
False
Let q(u) = u**2 + 3*u + 1. Let f be q(-1). Let m be 3 + (-48)/(f - 2). Suppose z = -0*z + m. Does 5 divide z?
False
Let u be (-2)/(-4)*3614/(-13). Let v = -64 - u. Is 25 a factor of v?
True
Let n = 42 + -24. Does 3 divide n?
True
Suppose 3 = d + h, -d + 5 - 2 = -4*h. Suppose 70 = -d*i + 5*i. Is 9 a factor of i?
False
Let c = 201 + 115. Does 14 divide c?
False
Let s(n) = n**2 - 6*n + 16. Is s(-7) a multiple of 17?
False
Suppose -6*w = 2*w - 752. Does 12 divide w?
False
Let i be (-21)/7*(-1 - 0). Is 9 a factor of ((-3)/(-6))/(i/222)?
False
Let v = 30 - 19. Is v even?
False
Let u = 40 + 0. Is u a multiple of 10?
True
Suppose 385*h - 388*h = -792. Does 37 divide h?
False
Let h(j) = -j**3 - 7*j**2 + 2*j - 8. Let v be h(-8). Let r be (-24)/(-10)*v/6. Suppose 5*k - 3*g = 2*g + 70, k + g = r. Does 8 divide k?
False
Suppose -212 = 8*u - 12*u + 5*g, -2*g = -5*u + 248. Is u a multiple of 20?
False
Let b(o) = 3*o**3 - 4*o**2 + 2*o - 3. Is 16 a factor of b(3)?
True
Let k(t) be the second derivative of -2*t**5/5 - t**4/12 + t**2/2 - 3*t. Let c be k(-1). Does 13 divide (1 + (-7)/(-4))*c?
False
Let u be -4*1/((-4)/(-9)). Suppose 2*r - 16 = -4. Does 18 divide (u/r)/(2/(-24))?
True
Let m = 53 - -36. Is m a multiple of 19?
False
Let i be (5 - 5)*(-1)/2. Suppose i = 4*a + 2 - 18. Does 2 divide a?
True
Let w = -6 + 9. Let p = -25 - -51. Suppose 3*r - 19 = -w*h + 14, -2*h - 4*r = -p. Is h a multiple of 9?
True
Let s = 16 + -8. Suppose -5*o = -o - s. Suppose 5*i = -3*g + 156, -5*i = -o*g + 6*g - 153. Is i a multiple of 11?
True
Suppose -10 = 2*y, -5 = -f - y + 16. Is f a multiple of 4?
False
Let s = 81 + -37. Is s a multiple of 11?
True
Suppose 105 = b + 2*b. Suppose -b = -2*y + 1. Suppose -2*n = o - y, 3*o + 4*n - 46 = -0*n. Does 5 divide o?
True
Suppose -3*l = 4*y - 51 + 14, -l = 5*y - 60. Is 13 a factor of y?
True
Let t(h) = -11*h**3 + 13*h**2 - 19*h - 2. Let a(b) = -5*b**3 + 6*b**2 - 9*b - 1. Let g(o) = -13*a(o) + 6*t(o). Is g(-2) even?
False
Let h(q) = -q**3 + 3*q**2 + 5*q - 3. Let u be h(3). Let s = u - 8. Suppose -164 = -s*v + 20. Is 23 a factor of v?
True
Suppose 2*a - 77 = -4*s + 9, -3*a - 18 = -s. Is s a multiple of 3?
True
Let i(u) be the third derivative of u**6/120 - u**5/60 - u**4/24 + u**3/2 + u**2. Let j be i(0). Let c(x) = -x**3 + 4*x**2 + 2*x + 1. Is c(j) a multiple of 11?
False
Suppose -4*g + 3*o + 12 = -88, 5*o = 4*g - 92. Is g a multiple of 10?
False
Let w = 78 - 73. Does 2 divide w?
False
Let j(k) = -k**2 - 6*k + 2. Let v(a) = -2*a + 9. Let s be v(7). Let q be j(s). Let d = 4 + q. Is d a multiple of 11?
True
Let p(k) = -k**3 - 5*k**2 - 5*k - 6. Let h be p(-4). Let y = h + 6. Suppose 4*x = -y*u + 16, 0 = x + 1 + 1. Is 4 a factor of u?
False
Is 17 a factor of 62 - -3 - (1 + 0)?
False
Suppose -v + 4*z - 1 = 0, -2*z - 3 = 3*v + z. Is 2 a factor of (-8)/6*(v - 2)?
True
Suppose 0 = -5*s - 0*s + 10. Suppose 0 = s*k - 0*k - 10. Is k a multiple of 3?
False
Suppose 334 - 1446 = -8*g. Is 28 a factor of g?
False
Let f be (-3)/(-4) - 6/(-24). Let x be 0/f - (0 + -3). Suppose 3*h - 2*m = 75, 4*m = 3*m + x. Is h a multiple of 9?
True
Let w be 20/7 + (-2)/(-14). Suppose 5*k = 17 + w. Suppose k*a + 2*v - 62 = -3*v, -a + 8 = 5*v. Is a a multiple of 9?
True
Suppose 2 = -5*r + 6*r. Is (1 - r)/(2/(-52)) a multiple of 7?
False
Suppose 0 = -0*u + 2*u. Suppose u = 2*n - 0*n + 20. Is 3 a factor of n*((-10)/(-4))/(-5)?
False
Let x be 3 + 49 + 6/3. Is 6 a factor of x/2 - (-7)/(-7)?
False
Suppose 10*o = 5*o - 50. Does 2 divide (-4)/o + 56/10?
True
Let k be 3/(1 - 1/(-2)). Let l = k - -1. Is 2 a factor of l?
False
Let j = -3 + 3. Suppose 2*c - 7 + 1 = j. Suppose c*g - 1 = 8. Is g a multiple of 3?
True
Suppose -24 = 2*l - 5*j, 0 = 2*l - 3*j - 4 + 24. Let x = l - -18. Let z = 17 - x. Does 4 divide z?
False
Is 6 a factor of (6/2)/(10/5)*18?
False
Suppose 4*m + 0*u = -4*u - 44, 2*m - 4*u = -52. Let c = m + 35. Does 9 divide c?
False
Suppose -11*u - 40 = -9*u. Let v = 7 - u. Does 9 divide v?
True
Let f be (10/(-35))/(1/(-7)). Is f/(-3)*27/(-2) even?
False
Let c(z) = -z**3 + 4*z**2 + 4*z - 2. Does 7 divide c(4)?
True
Suppose 8*k = 13*k - 1310. Is 19 a factor of k?
False
Let m(k) = 4 - 3 + k**2 - 2 - 12*k**3 + 33*k**3. Does 13 divide m(1)?
False
Suppose 2*k = -5*p + 88, 2*p + k + 2*k = 44. Does 5 divide p?
False
Let y be 48/(3 - (-4)/(-2)). Let t = y + -32. Is t a multiple of 16?
True
Let o(u) = u**2 - 7*u - 2. Let c be o(8). Suppose -3*b + 2*f + c = -6, 0 = -4*f. Does 2 divide b?
True
Suppose 14*q - 956 = 836. Is 34 a factor of q?
False
Let d = 238 - 93. Is d a multiple of 7?
False
Let c be (10 + -9)*2*1. Suppose -c*d + 9 = -75. Is d a multiple of 14?
True
Let r(o) = 3*o**3 - o**2 + o + 1. Let y be r(2). Let g = -9 + y. Is g a multiple of 14?
True
Let u(v) = 45*v**2 - v + 1. Let z be ((-1)/(-2))/(1/2). Is 26 a factor of u(z)?
False
Let j = -2 + 11. Is 3 a factor of j?
True
Suppose -802 = -3*m + 5*z, 2*z + 0*z - 540 = -2*m. Is 45 a factor of m?
False
Suppose 0*k + 3*k - 3*d - 270 = 0, 381 = 4*k + 3*d. Is 31 a factor of k?
True
Suppose 8*g = 4*g. Let l be (-3)/9 - 151/(-3). Suppose g*q = q - l. Is q a multiple of 25?
True
Let h(c) be the second derivative of c**3/6 - 13*c**2/2 - 2*c. Let o be h(9). Is 2 - (-18)/o*-2 a multiple of 11?
True
Let q(k) = -2*k + 6. Let g be q(6). Let m(p) = -3*p. Does 6 divide m(g)?
True
Let u be ((-4)/2 - -1)/(-1). Let q = 4 - u. Is q a multiple of 3?
True
Let x(g) = 4*g**2 - 3*g. Let r be x(-4). Suppose 2*t - k = 151, r = -3*t + 4*t - k. Suppose 0 = -4*s - q + 125, -4*q + q = 2*s - t. Is 15 a factor of s?
True
Suppose -b - 5*h + 5 = -54, -5*h - 257 = -3*b. Is 11 a factor of b?
False
Let z = 0 - -5. Suppose -z*w = 0, 0*w + 3 = g + 3*w. Does 17 divide (-102)/4*(-4)/g?
True
Suppose -9*i + 13*i - 40 = 0. Is 4 a factor of i?
False
Let m(z) = z + 11. Let v be m(-6). Suppose 20 = -3*b + v. Is 2 a factor of 5/b*(-5 - 0)?
False
Suppose -10 = -5*b, -2*a = -a + 2*b - 7. Let g = -3 - a. Is 3 a factor of g/3 - 11/(-1)?
True
Let q(w) = -4*w - 24. Is 8 a factor of q(-10)?
True
Is (-27)/(-6)*(3 - 1) a multiple of 3?
True
Let l(n) = 128*n**2 - n + 1. Let w be l(1). Suppose 5*c - w + 28 = 0. Is c a multiple of 20?
True
Let m(h) = h**3 - 3*h**2 + h - 2. Let f be m(3). Does 3 divide ((-33)/(-3) - 2) + f?
False
Let j(z) be the first derivative of 1/2*z**4 + z**2 - 3 - z**3 + z. Is j(2) a multiple of 4?
False
Let m = -4 - -9. Let l be (-1 - (-3 - -1))*m. Suppose 0*v + l*v = 265. Is v a multiple of 22?
False
Suppose -o - 197 = -2*n - 0*o, -4*n = -3*o - 397. Is n a multiple of 32?
False
Suppose -4*r + 6*k - 7 = k, r - 4*k = -10. Let f(c) = -11*c - 2. Let t(j) = -56*j - 10. Let g(