ide j?
True
Suppose -k - 2*k = 5*f - 407, k - 327 = -4*f. Let g = f - 12. Is g a multiple of 17?
False
Let c = -2 + 14. Let j = 8 + c. Is j a multiple of 10?
True
Let z(a) = a + 1. Suppose d - 5 = 6*d. Let h be z(d). Let n = 11 + h. Does 5 divide n?
False
Suppose 4*g - 738 = 5*r, -2*r = -5*g - 0*r + 914. Does 12 divide g?
False
Let c(j) = -2*j**2 - 2*j + 7. Let x be c(5). Let m = -32 - x. Suppose -3*r + 0*r + m = 0. Does 5 divide r?
False
Let o = -171 + 255. Is o a multiple of 25?
False
Let i be 3/((30/4)/5). Suppose i*j = j + 12. Is 12 a factor of j?
True
Let s(p) = 10*p - 51. Is 19 a factor of s(26)?
True
Let r(o) = o**2 + 4*o. Let y be r(-5). Suppose w - 2*b + b - 3 = 0, 0 = w - y*b + 9. Does 3 divide w?
True
Is 10 a factor of 13*2*24/16?
False
Suppose 0*l - 5*l + 15 = 0. Suppose -l*t - 2*x + 19 = -7*x, -t = x - 1. Suppose -5*p - t*b = -100 - 25, -4*b + 42 = p. Does 22 divide p?
True
Suppose 0 = -3*h + 6*h + 9. Does 16 divide 25 - (0/(-3) - h)?
False
Let o(d) = 22*d. Is 2 a factor of o(1)?
True
Suppose -9*y = -14*y + 1075. Is y a multiple of 34?
False
Suppose -4 = 5*b + 5*g - g, g = -2*b - 1. Let x = b + 2. Suppose -x*s + 48 = 2*s. Is s a multiple of 11?
False
Let p = -12 - -41. Let o = -13 + p. Does 9 divide o?
False
Let d = 130 + -92. Let v = -12 + d. Is 13 a factor of v?
True
Let x(w) = w**3 + 3*w**2 - 3*w + 3. Let h = 5 - 4. Suppose h = y - 2. Is x(y) a multiple of 21?
False
Suppose -3*q + 2*d + 46 = 2*q, 0 = -4*q - 5*d + 50. Is 2 a factor of q?
True
Let u(y) = 4*y - 1. Let k(d) = 17*d - 3. Let o(j) = -6*k(j) + 26*u(j). Is 4 a factor of o(7)?
False
Suppose d - 3*d - 4*w + 152 = 0, -d + 76 = -3*w. Does 19 divide d?
True
Suppose -a - 19 = -5*c, 7 = -4*c + 5*c - a. Suppose c*p - 44 = 28. Does 6 divide p?
True
Let o = 120 - 78. Is o a multiple of 14?
True
Let z(r) = -r**3 - 8*r**2 + 13*r. Let a be z(-10). Suppose 3*f - a = -5*u + 70, f = -u + 30. Is u a multiple of 9?
False
Let j(i) = 5*i**2 + 14. Let v(w) = -w**2. Let z(m) = j(m) + 4*v(m). Let c be z(0). Let a = 24 - c. Is a a multiple of 4?
False
Let j(r) = 17*r + 7. Let v(z) = -z + 1. Let d(o) = j(o) - 6*v(o). Let p be d(-5). Is p/(-3 - 0) - -1 a multiple of 13?
True
Suppose 96 + 51 = 7*r. Does 7 divide r?
True
Is 2/((-3)/(-28)*10/15) a multiple of 14?
True
Let r(a) = a - 16. Let g be r(8). Let t(z) be the first derivative of z**3/3 + 7*z**2/2 + 8. Is 8 a factor of t(g)?
True
Let l(k) = -k**3 - 6*k**2 + 8*k + 6. Let p be l(-7). Let t be 2 + 34 + p/1. Let i = t + -14. Is 21 a factor of i?
True
Let w = -5 + 5. Suppose w = -c + 2 - 0. Suppose 3*s - 26 = 2*m, -c*m - 2*m = s - 32. Is s a multiple of 12?
True
Suppose -84 = -4*f + n, 2*f + 3*n = -n + 24. Let i(y) = -y**2 + 5*y - 4. Let q be i(3). Suppose q*p - 6*p = -4*b + f, -5*p = -5. Is b a multiple of 3?
True
Is (2 - -60)/(4/2) a multiple of 31?
True
Let s(a) be the first derivative of a**4/12 + a**3/3 - a**2/2 + 3*a + 1. Let w(y) be the first derivative of s(y). Is 2 a factor of w(-3)?
True
Let c(s) = -s**3 + 6*s**2 - 3*s - 5. Let p be c(5). Let d(i) = i**3 - 6*i**2 + 6*i. Let x be d(p). Is 10 a factor of (x*2)/((-8)/(-24))?
True
Let r(c) = 5*c + 9. Does 17 divide r(5)?
True
Suppose -406 = -3*m + b, -4*m - 4*b = -m - 416. Suppose -3*g + g + m = 0. Does 17 divide g?
True
Let l(p) = p**2 - 5*p - 2. Let f be ((-60)/9)/4*-3. Let k = 11 - f. Is l(k) a multiple of 2?
True
Let x(k) = 5 + k**3 + 3 + k + 6*k**2 + 0 - 5*k. Suppose 2*y + 12 = -0*y. Does 12 divide x(y)?
False
Suppose 4*z = 2*i - 16, -i - 5*z = -0*i + 6. Let p(t) = -t**3 + 7*t**2 - 2*t + 6. Does 23 divide p(i)?
True
Let j = 146 + -97. Let y = -13 + j. Is 18 a factor of y?
True
Let w = 8 - 5. Suppose 0 = -3*j - 4*o - 32, -4*j + 57 = -9*j - w*o. Is (-54)/(-8) + (-3)/j a multiple of 3?
False
Suppose 6 = 3*o + 3*q - 0, -o - 4*q + 5 = 0. Is -1*o + 13 + -5 a multiple of 3?
False
Suppose 14*r = 9*r + 375. Does 14 divide r?
False
Let r(b) = -7*b + 1. Let n = -29 + 40. Suppose -3*p - 9 = -3*f, 2*p + n = -2*f + 1. Does 11 divide r(p)?
False
Suppose -5*p = -5*i - 410, 0 = -2*p - p + 4*i + 248. Does 20 divide p?
True
Let h = 51 + -8. Is 16 a factor of h?
False
Let m = 9 + 0. Does 4 divide m?
False
Is (0 - -2)/(10/1050) a multiple of 10?
True
Let d(u) = -u**2 + 6*u + 4. Let x be d(6). Suppose 0 = 5*v + 20, -15 = -x*m - 3*v + 61. Does 22 divide m?
True
Let z(t) be the third derivative of 13*t**4/24 + 5*t**3/6 - 3*t**2. Is 23 a factor of z(6)?
False
Suppose -51 = -4*i - 11. Let r(w) = w + 14. Let k be r(i). Let n = k + 8. Is n a multiple of 12?
False
Suppose 5*k - 16 = 49. Is 6 a factor of k?
False
Suppose -5*f + 571 = 3*h, 5*h - 2*f - 935 = -7*f. Does 14 divide h?
True
Let m(p) = p**3 + 22*p**2 + 20*p - 13. Is 2 a factor of m(-21)?
True
Suppose 3*h - 22 + 114 = -p, 5*p - h = -380. Does 5 divide 0 + 3 - p/11?
True
Let s be 18/(-4)*(-20)/3. Does 5 divide (-20)/(-15)*s/4?
True
Suppose -2*v - 2 = -6. Let a be 3474/(-12)*v/(-3). Suppose 4*c = 3*u - 101, -c + 6 = 5*u - a. Is u a multiple of 12?
False
Let y be (3 - 0) + 1*-1. Suppose 5 = -y*j - x - 3, -2*j = -2*x - 4. Is (j/(-4))/(1/34) a multiple of 6?
False
Suppose y - 3*n = n + 44, -2*y + 80 = -4*n. Suppose -3*w + 8 = -4*w. Let o = w + y. Does 14 divide o?
True
Suppose -2*d - d - 12 = -2*b, d = -4. Suppose -2*q = -b*q. Suppose q = -3*u + 2*u + 34. Is 17 a factor of u?
True
Let n(m) = -5*m**3 - m**2 + 6*m + 16. Is n(-2) a multiple of 3?
False
Let p = -4 - -3. Let i be 3/((-3)/p) + -1. Suppose i = -2*a - 2*o + 22, 2*a - 3*o = -2*o + 31. Does 13 divide a?
False
Let i = 261 - 172. Is i a multiple of 20?
False
Suppose 3*o = -5*m + 1213, -3*m = -4*o + 85 - 836. Is 31 a factor of m?
False
Suppose 3*z + 143 - 443 = 0. Suppose 3*d = -d + z. Is 13 a factor of d?
False
Let b = -15 + 51. Is b a multiple of 9?
True
Suppose 0 = -4*a - 2*y + 498, -417 = -5*a + 5*y + 168. Let k = a + -77. Is k a multiple of 22?
False
Let q(u) = 4*u**2 - u. Let z be q(-1). Suppose -3 = -2*l + 5. Suppose 3*r + r - z*a = 65, 0 = -l*r - 3*a + 25. Does 3 divide r?
False
Let a(m) be the third derivative of -5*m**4/24 - m**3/3 - 2*m**2. Let o = -3 + 1. Is a(o) a multiple of 4?
True
Suppose -3*m + 6 = 0, -3*d + 2*d - 4*m = -243. Does 6 divide d?
False
Let x(d) = -1 - d**3 - 3 + 0 - 9*d + 9*d**2 + 3. Is 9 a factor of x(7)?
False
Let f = 6 - 4. Suppose 2*r = -f*r + 120. Is r a multiple of 15?
True
Suppose -5*h + 16 = -3*p, 2*p + 11 + 3 = 4*h. Suppose -h*y = b - 165, -4*b + 185 = 5*y + b. Is 21 a factor of y?
False
Suppose -5*k - 3*y = -619, 3*k - 4*y = -2*y + 379. Let b = k - 89. Is 12 a factor of b?
True
Suppose -3*o = 4 - 1, -2*r + 221 = 5*o. Is 19 a factor of r?
False
Suppose -5*o = -2*o - 9. Suppose v + 12 = 3*v + n, 0 = -3*v - o*n + 18. Does 5 divide v?
False
Suppose 9 = z + 4*o, -2*o - 1 + 7 = 2*z. Suppose m + 2*m + 6 = 0. Is 13 a factor of z/2 + (-35)/m?
False
Is (-6)/2 + 60/2 a multiple of 19?
False
Let c be 0/(-2) + 4/2. Let a = 4 + -3. Suppose -p = -c - a. Is p a multiple of 3?
True
Suppose 0*j = 3*j - 6. Suppose -6 - 3 = -2*w - c, 2*c = -2*w + 10. Suppose j*v - 5*h - 35 = -12, -2*v - w = 4*h. Does 4 divide v?
True
Let f be 218*(2 - (-9)/(-6)). Suppose 25 - f = -4*c. Suppose 0 = 2*x - 3*z - c, 57 = 4*x - 2*z + z. Is x a multiple of 6?
False
Let c be 3/(5/((-20)/3)). Let a = c + 6. Suppose -a*u + 56 = 2*u. Does 8 divide u?
False
Suppose -143 - 132 = -5*s. Is 17 a factor of s?
False
Let a = 1 + 2. Suppose -s = 2*i + s - 12, -a*i - 5*s = -26. Suppose -2*h - 5*z + 35 = -13, 0 = i*h - 4*z - 12. Does 7 divide h?
True
Suppose -249 = -3*d + 3*u, u = 6*d - 2*d - 329. Does 12 divide d?
False
Let d be (6 + -2)/((-2)/14). Let o be ((-18)/3)/(2/6). Let t = o - d. Is t a multiple of 10?
True
Let l(h) = h**3 + 22*h**2 + 17*h + 21. Is 6 a factor of l(-21)?
False
Let l = -5 + 9. Suppose 3*i - 171 = l*o, i - 2*o - 70 = -15. Does 20 divide i?
False
Let n = -66 + 95. Is 11 a factor of n?
False
Let j = 54 - 33. Suppose 118 = 3*k - 2*a, 0*k + k - j = -3*a. Is 8 a factor of k?
False
Suppose 187 - 55 = 5*c + 3*a, c - 8 = 4*a. Suppose c = 4*m - 56. Does 6 divide m?
False
Let z(d) = -3*d**3 - 2*d**2 - 2. Let k(n) = -n - 1. Let y(q) = -2*k(q) + z(q). Does 6 divide y(-2)?
True
Suppose c + 4*f - 8 = -0*c, 0 = -c + f - 2. Let t = -4 + c. Does 16 divide (-2)/4 - 66/t?
True
Suppose 0 = 5*u - 147 - 153. Suppose 3