 = -4*j, 3*j - 3*t = 36. Is j a multiple of 16?
True
Let w = 24 - 13. Suppose 5*p - w = 4. Suppose 5*i + p*j - 19 = -0*j, -3*i + 5*j = -25. Does 5 divide i?
True
Suppose -o + 64 = -k + 3*k, 3*o - 2*k = 224. Is 10 a factor of o?
False
Let l be ((-18)/8)/((-18)/192). Let o = -10 + l. Is o a multiple of 6?
False
Let s be 106*4/((-16)/(-2)). Suppose -n + 15 = -s. Is n a multiple of 17?
True
Let n(k) = -3*k. Suppose -22 = 5*c + 38. Does 12 divide n(c)?
True
Let t(c) be the second derivative of c**5/120 + 3*c**4/4 - c**3/6 - 2*c. Let m(n) be the second derivative of t(n). Does 9 divide m(-8)?
False
Let s = 58 - 26. Does 4 divide s?
True
Let p(v) = 2*v**2 - 4. Is 2 a factor of p(-2)?
True
Let q be -2*1*18/12. Let z = q + 7. Is 2 a factor of z?
True
Suppose -40 = -3*y - 0*y + 4*u, 5*y - 90 = 2*u. Let k = 109 - y. Is 19 a factor of k?
False
Suppose 0 = -o + 3*o - 38. Let t = o + 24. Is 29 a factor of t?
False
Suppose -3*w = 9, 5*d - w + 52 = 195. Does 3 divide d?
False
Suppose 0 = 3*w - 16 - 2. Suppose -w = 4*l + 5*o, 3*l - 2*o + 0*o + 16 = 0. Does 5 divide (-6)/l*(-10)/(-3)?
True
Let s(p) = -8*p - 5. Let q(j) = j + 1. Let z(g) = -5*q(g) - s(g). Let x be z(3). Does 10 divide (20/6)/(3/x)?
True
Let k be (-3)/6*4*-1. Suppose k*g = 2 + 26. Does 14 divide g?
True
Suppose -5*i + i + 12 = 0. Suppose -3*w = 2*b - 64, i*b = 7*b + 4*w - 128. Does 13 divide b?
False
Suppose 0*g + 2*g = 128. Does 32 divide g?
True
Let t be -15*-4*(-3)/(-15). Let r = 0 + t. Suppose 0 = z - 0*b - 4*b - r, -3*z + 2*b = -56. Does 9 divide z?
False
Let n = 5 - 3. Suppose -12 = l - 3*a, a = l - n + 4. Suppose -2*p - 23 = -l*p. Is 8 a factor of p?
False
Let p(a) = a**3 - 4*a**2 + 5*a - 3. Suppose -6*r = -8*r + 10. Is p(r) a multiple of 14?
False
Does 9 divide (-183)/(-5) + (-21)/35?
True
Let k(t) be the first derivative of 13*t**3/3 + t**2 - 2. Let s = 17 + -15. Is k(s) a multiple of 26?
False
Let b(q) = -q**2 - 28*q - 15. Is b(-15) a multiple of 18?
True
Suppose 0 = -0*d + 5*d - 20. Suppose 0*x - x = -d. Suppose -2*w + 72 = 2*o, 4*o - x + 16 = 0. Is 19 a factor of w?
False
Suppose 2*u = -5*h + 5*u + 30, 2*h = 4*u + 12. Is 2 a factor of h?
True
Let t(m) = m + m**2 + 2*m**2 - m**2 - 4. Let s = 8 + -4. Is 15 a factor of t(s)?
False
Let b be 8/24*2*3. Suppose -3*m = -5*h - 32 - 0, -b*m + h = -26. Does 6 divide m?
False
Let p = -43 - -70. Is p a multiple of 9?
True
Let w(d) = d - 5. Let z be w(3). Is (-1638)/(-27) - z/6 a multiple of 27?
False
Let d(p) = 3*p**3 + 2*p**2 - 8*p + 4. Does 2 divide d(2)?
True
Let m = -45 + 63. Does 18 divide m?
True
Let u(a) = -8*a + 5. Does 23 divide u(-4)?
False
Let p be (-771)/(-6) + 6/(-12). Does 8 divide (1/(-2))/((-8)/p)?
True
Let p(m) = 7*m + 5. Let i(k) = -k - 1. Let j(o) = 4*i(o) + p(o). Does 6 divide j(5)?
False
Suppose -3*s + m = -28, -3*m = -3*s + 14 + 22. Suppose -5*j - 66 = -s*j. Is j a multiple of 11?
True
Let w(t) = 4 - 6 + 2 - 31*t. Suppose 5*l - 3 + 17 = 3*z, -2*l + 4*z - 14 = 0. Does 13 divide w(l)?
False
Suppose 4*t - 17 = -i + 72, 0 = -4*t + 20. Does 31 divide i?
False
Suppose -6*m + 132 = -4*m. Does 22 divide m?
True
Let i = 150 - 63. Is 22 a factor of i?
False
Let z be (-1203)/(-9) + 2/(-3). Suppose 3*o = -3*o - 72. Does 16 divide o/(-18) + z/3?
False
Let z(k) = -5*k + 1. Suppose -14 = 5*p + 1. Does 16 divide z(p)?
True
Let t = -21 - -32. Does 3 divide t?
False
Suppose 0 = 2*p - 25 + 7. Does 9 divide p?
True
Let x(y) = -12*y. Let g(s) = s - 4. Let n be g(6). Let k be 3 - 3 - (n + -1). Is x(k) a multiple of 4?
True
Let s = 35 - 21. Suppose 2*z - s = -0*z. Is z even?
False
Suppose 0 = -2*z, 0*z - 4*z + 324 = 4*h. Does 15 divide h?
False
Let a(o) = o**2 + o + 61. Let n = 5 - 3. Suppose -3*u = n*u. Is 23 a factor of a(u)?
False
Suppose g - 7 = -3. Let v be g/(-3)*(-18)/4. Does 12 divide 52/6*v/4?
False
Let q(i) = 12*i**2 - 4. Does 15 divide q(3)?
False
Let g = 4 - 4. Suppose -7*b + 3*b + 24 = g. Suppose p = b*p, -3*w + p = -27. Is w a multiple of 8?
False
Is 3 a factor of (-290)/(-12) + 1 + (-28)/24?
True
Suppose 5*y - 428 = 2*i, 2*i = 2*y + y - 256. Is 10 a factor of y?
False
Let j(o) = 75*o - 5. Let p(a) = -19*a + 1. Let u(b) = 2*j(b) + 9*p(b). Does 35 divide u(-6)?
False
Let k(n) = n**2 - 9*n - 6. Let o(i) = 9*i + 1. Let s be o(1). Let z be k(s). Suppose z*u - 90 + 6 = 0. Is 11 a factor of u?
False
Let c(s) = s**3 + 3*s**2 - s - 3. Let j be c(-3). Suppose j = 5*m - d, -3*m + 7*m - 4*d = 0. Suppose 3*y + 29 = 3*f + 5, f + y - 6 = m. Does 7 divide f?
True
Suppose 4 = -f + 4*l, 2*f + 34 = -5*l - 0*l. Let g = f + 21. Is g a multiple of 4?
False
Let u be (-17)/(-5) + 2/(-5). Suppose 4*m - u*t = 13, 2*m = 4*t + 12 + 2. Suppose 4*f + 5*y + 3 = 44, -5*y = f + m. Is f a multiple of 14?
True
Suppose 5*l - 2*y = 951, l = -0*y + y + 192. Is l a multiple of 29?
False
Suppose -5*s + 11 = -54. Suppose -c + 4 = i - 21, -i = -3*c - s. Does 11 divide i?
True
Let j(u) = -2*u. Let f be j(0). Suppose -5*k + 139 + 191 = f. Does 14 divide k?
False
Let k = 6 + -4. Let m be -6*(4/(-6))/2. Suppose -k*v + 44 = m*v. Does 11 divide v?
True
Suppose -2*o + 1 + 3 = 0. Suppose o*i + 128 = 4*i. Is i a multiple of 22?
False
Let t(l) = 3*l**2 - l**2 + l - 6*l - l**2 + 3. Let x be t(2). Does 6 divide 2*((-18)/x - 2)?
False
Let f(k) = 4*k**2 + 12*k + 29. Does 31 divide f(-4)?
False
Suppose 0 = -c - 3*q + 7 + 28, 0 = 4*q. Is 5 a factor of c?
True
Suppose -r = -3*t + 153, 4*t + 131 = -r - 22. Let p = -103 - r. Let v = -17 + p. Is 13 a factor of v?
False
Let f be (40/(-6))/(1/(-3)). Let h be f/5 + (-2)/(-2). Suppose 0 = -2*b - 5*o + 34, 2 = 5*b - 4*b - h*o. Does 9 divide b?
False
Suppose -k + 9 = x, -5*k + 2*x + 45 = 4*x. Does 3 divide k?
True
Let d(u) = -3*u**2 - 5*u**3 + 11*u**3 + 4*u**2 - 1 + 13*u**3. Is d(1) a multiple of 19?
True
Let y be (-2 - -2)*(-2)/4. Let l(s) be the third derivative of s**4/24 + 16*s**3/3 + 43*s**2. Does 16 divide l(y)?
True
Is ((-168)/49)/((-6)/63) a multiple of 6?
True
Let p be -4*(2 - 10/4). Suppose 4*w = -20, 0*m + p*w = -4*m - 2. Suppose -m*j + 0*j = -22. Is 5 a factor of j?
False
Let q(v) = v**3 - 6*v**2 + 6*v - 2. Let p be q(5). Suppose n = -p*n + 108. Does 11 divide n?
False
Let g = 0 - 3. Let t(j) = -j + 3. Let p be t(0). Is 14 a factor of g/(p/14)*-2?
True
Suppose -2 = -v - 0. Suppose v*d + 5*x = 108, -x = -5*d + 3*d + 84. Suppose 56 = -m + 4*m - 4*f, m - d = -5*f. Is 10 a factor of m?
False
Suppose -a + 0*a = -3*p - 4, 0 = -5*p. Suppose 10 = -5*b - a*i, -5 = -0*b + 5*b + 3*i. Suppose -4*v - 6*f + 152 = -b*f, 5*v = -f + 202. Is v a multiple of 16?
False
Let w = 0 + 3. Suppose w*h - 6 = -5*s - 0, -24 = -4*s + 4*h. Suppose -5*t + 3*t = -2*i - 2, s*t + i = 19. Is t even?
False
Suppose 0 = 2*u + u - 78. Is 11 a factor of (7 - 6)/(2/u)?
False
Let b be (-105)/6*(-16)/10. Suppose 2*a + 4*p + 2 = 6, -4*a - 4*p = -b. Is a a multiple of 6?
True
Suppose 8 = b - 5. Is 3 a factor of b?
False
Suppose 35 = 2*n + 4*g + 163, -3*n + 4*g = 222. Let m = 111 + n. Does 14 divide m?
False
Let d = -8 - -14. Does 2 divide d?
True
Let v = 9 - 22. Let s = v + -3. Let i = 22 + s. Is i a multiple of 4?
False
Let p be (-1)/((3 - 2)/(-591)). Let s be p/6 + 9/6. Suppose 2*n + 3*n = s. Is 7 a factor of n?
False
Let c = -6 - -6. Let v be c/(-1) - (-2 - 0). Is 1/v*(-2 + 50) a multiple of 24?
True
Let n(x) = -x**3 + 2*x**2 - 2*x + 7. Is n(2) a multiple of 2?
False
Let c(y) = -y**3 + 11*y**2 + 13*y - 11. Let u be c(12). Suppose -h + 0*h = -u. Suppose -14 = -z - h. Is 6 a factor of z?
False
Suppose 0 = -4*u - 16, -2*u = 4*s - 4*u + 80. Let n = -16 - s. Let w = n + 6. Is 6 a factor of w?
True
Suppose -2*k = 2 - 8. Suppose 0 = -8*i + k*i + 65. Let v = 21 - i. Is v a multiple of 4?
True
Suppose -4*m + 2*m = -2*a + 52, -5 = m. Is a a multiple of 13?
False
Does 18 divide -1*(-13)/(52/72)?
True
Suppose 0*w = 5*w - 5. Suppose -2*y = 2*y - 16. Does 12 divide (-21)/(-6)*y + w?
False
Let y(o) = -5*o**3 + 2*o + 1. Suppose d = 2*i + 2 + 1, -3*i + 3*d = 6. Let p be y(i). Suppose -5*z + p = -51. Does 5 divide z?
False
Let j = 22 - 13. Suppose d + j - 25 = 0. Is d a multiple of 16?
True
Suppose -5*m + 23 = 4*l, -m = -3*l - 1 + 4. Is (l + (-148)/8)*-2 a multiple of 11?
True
Let g be (-1)/(-4) - (-30)/8. Suppose -7 = 4*q + g*x - 167, 5*q - 206 = -2*x. Suppose q = z + l, -z = z - 3*l - 84. Do