4*j + d = -r - 2*j, 5*r = 4*j - 304. Let c = -6 - r. Is 18 a factor of c?
True
Let n(u) = -u - 20 + 0*u + 7 + 12*u. Does 3 divide n(2)?
True
Let q = 191 + -43. Suppose q = 10*w - 8*w. Does 17 divide w?
False
Let x = 1272 - 897. Is x even?
False
Suppose -2*l + 0*l = 0. Suppose -x - 3*i + 13 = 0, i - 63 = -3*x - l*x. Let o = 4 + x. Is 10 a factor of o?
False
Let j(g) = 2*g**2 - 25*g**3 + g - g**2 - 15*g**3. Let p be j(-1). Suppose 3*k - 4*t - p = 0, k + t - 6 = 5. Is 5 a factor of k?
False
Let h = 42 - -160. Suppose 4*m + 46 = h. Does 13 divide m?
True
Suppose -647 = 12*g + 529. Let m = -30 - g. Does 9 divide m?
False
Suppose 0 = 5*j + o + 2, -2*j + 8 = j - 4*o. Suppose j*n = 12*n - 1992. Is 25 a factor of n?
False
Suppose p - 20 + 13 = 0. Let f(q) = q**3 - 10*q**2 + 9. Let s(g) = 2*g**3 - 19*g**2 - g + 17. Let o(j) = 5*f(j) - 3*s(j). Does 5 divide o(p)?
True
Suppose 3*w = 10*w + 84. Let d = 18 + w. Is d a multiple of 2?
True
Let i be (3/(-6))/(4/112). Let h = i + 34. Let j = h - 4. Is 5 a factor of j?
False
Suppose 3*j + 2*h + 45 = -h, 0 = -5*h + 5. Let k = j - -30. Is 4 a factor of (-6 + k)*3/4?
False
Suppose 3*t = 32 + 37. Let o = 28 + -22. Suppose -l + 2*a = -t, -4*l - a + o*a = -80. Is 8 a factor of l?
False
Let f(z) = z**3 + 8 + 31 - 9. Let w be ((-4 - -8) + -3)*0. Does 15 divide f(w)?
True
Is 13 a factor of (-20)/50*-15 + 2148?
False
Suppose 84*w - 87*w + 1008 = 0. Is w a multiple of 8?
True
Let n be (4 - 5)*(-112 + -1). Let j = n + -68. Is j a multiple of 14?
False
Let j(o) = -13 + o - 6 - 10 + 35. Let f = 1 + -1. Is j(f) a multiple of 6?
True
Suppose 3*u - 611 = -d, 3*d = -d - 3*u + 2462. Is 21 a factor of d?
False
Let m(p) = -4*p - 12. Let f(q) = -7*q - 23. Let d(o) = -6*f(o) + 11*m(o). Is 4 a factor of d(-4)?
False
Suppose 0 = -4*b + 3*z + 103 + 23, -156 = -5*b + 3*z. Suppose -b = 15*u - 16*u. Does 5 divide u?
True
Let j(c) = 68*c**2 + c. Let q = -9 + 10. Is j(q) a multiple of 12?
False
Is 32 a factor of ((-512)/20)/(6/(-150))?
True
Let j = 39 - -8. Does 2 divide j?
False
Suppose 2*f + 17*f - 3762 = 0. Is 4 a factor of f?
False
Let q(k) = -21*k - 17*k - 21*k + 60*k - 4. Does 8 divide q(23)?
False
Let z = 1359 - 288. Is z a multiple of 21?
True
Suppose 2*b + 3 = b + 3*h, 0 = 3*b + 3*h - 3. Let r(p) = p**2 + 108. Is 18 a factor of r(b)?
True
Let i = 12 - 8. Suppose i*y + 0*y - 8 = 0. Suppose 0 = 4*t - y*t - 86. Is 17 a factor of t?
False
Let y = 809 - -191. Does 5 divide y?
True
Suppose -39 = -2*o + 3*i, -5*o + 61 = 2*i - 8. Suppose 4*s + 5*z - 45 = 0, 3*s - 4*z + o = 2*s. Is 25 a factor of 984/40 - (-2)/s?
True
Let i be (-12 + 10/5)/((-4)/2). Suppose 0*m + 94 = m - b, i*b + 185 = 2*m. Is 19 a factor of m?
True
Suppose 0 = -2*f + 166 - 24. Let q = -42 + f. Is q a multiple of 29?
True
Suppose 4*c - 1389 = -129. Is c a multiple of 16?
False
Let w(v) = -2*v. Let f(s) = -2*s + 1. Let c(i) = 4*f(i) - 5*w(i). Let d be c(-3). Let j = d - -4. Is 2 a factor of j?
True
Suppose -2*v = 5*q + 24, 39 = -4*v - 2*q - 25. Let u = 6 + v. Let j = u - -41. Does 10 divide j?
True
Suppose 611*z - 613*z + 168 = 0. Is z a multiple of 7?
True
Let u(h) = 0 - 4*h**3 - 174*h + 5 + 180*h + 3*h**3 + 2*h**2. Does 2 divide u(-2)?
False
Let c(h) = h + 12. Let u be -2*(-1 + (-5)/10). Does 3 divide c(u)?
True
Let q = 5 - 7. Let s be 5 + (q - (1 - 1)). Suppose 6 = -3*l - s, -5*y = 5*l - 190. Does 15 divide y?
False
Let i be (1 + 1)/(-2)*15. Let r = 21 + i. Let u = 0 + r. Is u a multiple of 3?
True
Let x(l) = l**3 + 31 + l + l - 3*l**3 + l**3. Does 6 divide x(0)?
False
Suppose 0*g + 4*a = -5*g + 2, 5*g + a + 7 = 0. Does 6 divide g/(-7) + (-416)/(-14)?
True
Suppose 5*m + 286 = 3*s, 12*s + 94 = 13*s - 2*m. Does 6 divide s?
True
Suppose -15*h - 559 = -3169. Is 29 a factor of h?
True
Let k = 17 - 19. Is 98 - 0/((-2)/k) a multiple of 23?
False
Let k(x) = -x + 28. Let n be k(-17). Suppose -3*o = -3*l + 18 - 153, o = -2*l + n. Does 6 divide o?
False
Suppose 8*w - 4914 = -10*w. Is 13 a factor of w?
True
Suppose 3 - 5 = -o. Suppose -2*d - 2*h + 34 = 0, -h + 1 = o. Is d a multiple of 18?
True
Suppose 0 = -43*v + 16813 - 903. Does 11 divide v?
False
Let l = 7 + -11. Let o be -86*(10/l)/5. Suppose 36 = s - o. Does 21 divide s?
False
Let w = -316 + -542. Does 8 divide ((-4)/(-3))/((-44)/w)?
False
Let x(l) = -l**3 - 7*l**2 - 3*l - 18. Let m be x(-7). Suppose -m*a + 520 = 7*a. Is a a multiple of 4?
True
Let y(c) be the second derivative of 7*c**4/6 + 5*c**3/3 - 2*c**2 - 16*c. Does 45 divide y(-4)?
True
Let a = 190 - -62. Does 28 divide a?
True
Suppose 3*y + 11 - 156 = 5*j, -3*y = 3*j + 63. Let i = j - -24. Is 5910/45 - i/3 a multiple of 38?
False
Let g be 22 - (24/4 + -3). Let a = 28 - g. Does 9 divide (4 - 3)*a/1?
True
Let t = -13 - -15. Let k be (-36)/(-2)*2/t. Is 9 a factor of (k/(-4))/((-1)/4)?
True
Let m(z) = z - 3. Let g be m(8). Suppose 0 = g*q - 138 - 117. Is 6 a factor of q?
False
Let y = -20 + 6. Is -1*(8 + -1)*108/y a multiple of 27?
True
Let h(m) = -2*m + 7 - 3*m**2 + 4*m**2 - 4. Let w be h(2). Suppose 4*d - 26 = w*d - 3*x, -3*d - x + 102 = 0. Does 9 divide d?
False
Is 23 a factor of (35 - -1)*(-12 - (-512)/12)?
True
Let q(d) = d**3 + d**2 - 3*d + 3. Let g(l) = l**2 + l + 2. Let x be g(0). Let j be q(x). Let s = j + 4. Does 7 divide s?
False
Suppose 4183 - 1187 = 7*n. Is n a multiple of 38?
False
Let c = 532 + 642. Is 115 a factor of c?
False
Suppose -p = -4*f + 2902 + 4720, 3*f - 5711 = -2*p. Does 127 divide f?
True
Does 45 divide (0 - (-3 + -1849))*1?
False
Let g(p) = -19*p + 336. Is 12 a factor of g(12)?
True
Let n = 1174 + -472. Does 27 divide n?
True
Suppose j - 14 = v, -3*j - 13 = -5*j - 3*v. Suppose -j*g = -6*g - 1260. Is g a multiple of 18?
True
Suppose -6*i + 1352 + 22 = 0. Does 18 divide i?
False
Let s be 1/(-5*1/(-5)). Is 46 + -4 + 0*s/(-2) a multiple of 42?
True
Suppose 6*d - v = d + 314, 0 = 3*d - 4*v - 185. Is d a multiple of 5?
False
Let h(w) = -w**2 + 23*w - 10. Does 41 divide h(16)?
False
Let p = -59 - -57. Does 27 divide (0 - -109) + 3/p*2?
False
Let v(t) = -14*t + 468. Is 16 a factor of v(0)?
False
Suppose -4*c - 6 = 10. Let j(n) = 3*n**2 - 4*n - 6. Let f(i) = -i**2. Let r(t) = 2*f(t) + j(t). Is r(c) a multiple of 13?
True
Suppose -95*z - 90 = -110*z. Let a(i) = -i**2 - i - 18. Let u be a(0). Let b = z - u. Is b a multiple of 8?
True
Let n = 4 - 13. Let m = 35 - n. Does 11 divide m?
True
Let m(g) be the second derivative of 0 + 4*g + 19/6*g**3 + 2*g**2. Is m(4) a multiple of 21?
False
Let n(l) = 2*l - 6. Let m be n(4). Let z be 7 + 1/2*m. Is 22 a factor of (2 + 236/z)*2?
False
Suppose -v = -5*g + 24, v + v + 3 = g. Suppose g*u = 5*b - 10, b + 5*u + 8 = 5*b. Suppose -3*i - b*w + 300 = -0*i, w + 3 = 0. Is 34 a factor of i?
True
Let q(d) = 14*d**2 - 3. Let c be q(4). Let g = -2 - -4. Suppose 3*m + 2*i = -3*i + c, -122 = -g*m + 3*i. Does 16 divide m?
False
Suppose -2*j + 5 = -2*c + j, 5*j = 5*c + 25. Let r = -5 - c. Suppose -255 = -5*g + r*w, 2*g + 4*w + 7 - 127 = 0. Does 11 divide g?
False
Suppose -10*b = -12*b - 20. Is 2 a factor of ((-18)/5)/(4/b)?
False
Let x = -52 + 55. Suppose 4*j + 2*g - 482 = 0, -x*j + 3*g + 394 = -2*g. Does 23 divide j?
False
Let d(o) = o + 143. Let h be d(0). Let l = 215 - h. Is l a multiple of 12?
True
Suppose -174 = 3*g - 3*i, 5*i = 4*g - 2*g + 110. Let o = -11 - g. Does 16 divide o?
False
Suppose 213*d - 216*d = -1146. Does 57 divide d?
False
Let z be (-5210)/35 - (1 + 0)/7. Is 10 a factor of -5 + (-5)/(-5) - (0 + z)?
False
Let m(k) = -7*k**3 - 36*k**2 - 13*k + 60. Let a(j) = 3*j**3 + 18*j**2 + 6*j - 30. Let b(x) = 9*a(x) + 4*m(x). Is b(18) a multiple of 2?
True
Suppose 9*x + 18 = -r + 4*x, 4*r + 2*x = -18. Let v be r/6*22*1. Does 20 divide (1 - v - 0)*3?
False
Let y(d) = -9*d + 14. Let j be y(-6). Suppose 0 = -0*c - 2*c + j. Does 17 divide c?
True
Let m(s) = -2*s - 1. Let t be m(-3). Let o(n) = -n - 2. Let g be o(-2). Suppose -340 = -t*i - g. Is i a multiple of 31?
False
Suppose u + 4*u = 0. Suppose u = 5*w - 2*z - 130, -39 - 13 = -2*w - z. Is w a multiple of 26?
True
Suppose 0 = 5*v - 5, 5*p - 21*v + 17*v = 9911. Is 12 a factor of p?
False
Suppose 4*d + 34 = 1570. Is 10 a factor of d?
False
Suppose 3*v - 5 + 2 = 0. Let f = 181 - 166. Let m = f + v. Is m a multiple of 10?
False
Let t(g) = 10*g + 8. Let v = 124 + -116. Does 22