 Is j(-59) a multiple of 4?
True
Let t(k) = k**3 - 12*k**2 - 13*k + 1. Let s be t(13). Let x(q) = q - 1. Let z(c) = -5*c + 9. Let f(n) = s*x(n) + z(n). Is f(-7) a multiple of 19?
False
Let b(f) = 3*f**2 + 61*f + 40. Is 42 a factor of b(-25)?
False
Suppose 1 = -3*y + 7. Suppose y*v - 70 = v. Is 3 a factor of v/21 - (-1)/(-3)?
True
Suppose -2*w - 3*r + 731 = 3*w, 3*w + 5*r = 445. Is 4 a factor of w?
False
Suppose 3*a + 603 = 6*a - 3*b, 0 = 2*a - 5*b - 387. Suppose 2*j - a = -0*j. Suppose 4*x = 5*h - j, -5*h + x + 68 + 44 = 0. Does 6 divide h?
False
Suppose m = -2*r + 68, 3*m = 2*r - 0*r + 228. Suppose 0 = -p - 2*o - 2*o + m, -2*o = -2*p + 118. Is p a multiple of 31?
True
Let k = 11 + -11. Let q = 15 - -75. Is 31 a factor of (q - 11) + 0 + k?
False
Suppose 8*l + 309 = 957. Is l a multiple of 9?
True
Suppose -4*y + v + 43 = -5, 0 = -y - 4*v + 12. Let o = -12 + y. Suppose -2*k + 31 + 29 = o. Is 12 a factor of k?
False
Suppose 2*p - p - 3 = -2*y, -3*y + 4*p = -32. Suppose 4*i = -a + i + 51, y*a - 182 = -i. Is 14 a factor of a?
False
Suppose 0*x - 2*x - 44 = 0. Let s be (-4)/x + 424/88. Suppose -2*m + 24 = -p, -3*m + 4*m = -s*p + 1. Does 11 divide m?
True
Suppose -n = 3*l - 360, 0*n + 5*n - 4*l = 1800. Suppose 0*k = 5*k - n. Is 24 a factor of k?
True
Does 35 divide (4732/13)/(12/150)?
True
Is (19305/90)/((-1)/(-6)) a multiple of 49?
False
Let h(g) = 4*g + 3*g + 3*g**2 + 20 - 2*g - 2*g**2. Does 13 divide h(7)?
True
Suppose -4*h = -2*l - 1512, -5*h + 3*l + 1890 = -2*l. Is h a multiple of 14?
True
Let h(c) = 1 - 1 + c**2 - 2*c + 5. Let r = 36 - 33. Is 8 a factor of h(r)?
True
Let q = 291 + -249. Is q a multiple of 7?
True
Suppose 3*y - 2 = y. Suppose -76 = 4*s + 4*c, -c = -2*c + 3. Is 20 a factor of (s - -1)/(y/(-3))?
False
Let t = 17 + -13. Suppose -5*j = -t*j. Suppose 3*u - 21 - 111 = -a, -5*u + a + 228 = j. Does 9 divide u?
True
Let v(f) be the first derivative of 3*f**2 + 11*f - 2. Does 16 divide v(6)?
False
Suppose -2*j - 108 = -4*j. Suppose 2*g - 98 = j. Does 35 divide g?
False
Suppose 663 = 2*n + 12*a - 9*a, 0 = -4*n - 3*a + 1323. Is 5 a factor of n?
True
Suppose 21*r = -12 - 30. Let o(n) be the first derivative of -n**4/2 + n**3/3 - 3*n**2/2 - n - 1. Is 17 a factor of o(r)?
False
Suppose 0 = 10*z - 3*z - 35. Suppose 3*i + i = -4*u + 460, -3*i - z*u + 351 = 0. Is 56 a factor of i?
True
Let f(s) = 3*s - 4. Let k be f(3). Suppose 3*d - 163 + 54 = -4*g, 3*d = -g + 34. Suppose -k = h - g. Is h a multiple of 10?
True
Let t(v) = -v**2 + 7*v - 4. Let u be t(7). Let q be 11/(u + (-84)/(-20)). Suppose 2*c = q + 21. Is c a multiple of 19?
True
Let h(c) = -2*c - 7. Suppose -5*j + 5*m = 8 + 7, -5*j - 3*m = 39. Let r be h(j). Suppose 107 = r*l + 2*b, -b - 4*b = 3*l - 49. Is l a multiple of 6?
False
Let c(t) = -3*t - 20. Does 18 divide c(-13)?
False
Let r = -1 + -1. Let f be r - (42/3)/(-1). Let q = 28 + f. Is 12 a factor of q?
False
Suppose 220*b - 224*b = -216. Does 6 divide b?
True
Let o(q) = -q + 131. Suppose 21*a = 19*a. Does 15 divide o(a)?
False
Let j(d) = 2*d - 13. Let o be j(9). Suppose o*g - 392 = g. Is g a multiple of 19?
False
Let p(z) = 4*z. Let i be p(-6). Let t = 174 - 143. Let y = t - i. Is 9 a factor of y?
False
Suppose 2*p = 13*p - 10736. Is p a multiple of 48?
False
Let w(m) = -m**2 - 5*m - 5. Let n be w(-4). Let r be ((-1)/(-4))/(n/(-4)). Let g(u) = 4*u**2 + 2*u - 1. Is g(r) a multiple of 5?
True
Let i(m) = 2*m**2 - 15*m + 84. Does 42 divide i(18)?
True
Let i = 16 + -13. Suppose -i*z - 15 = -6*z. Suppose z*k + 0*k = 25. Is 2 a factor of k?
False
Let p = -113 - 608. Let g = p - -1084. Suppose -4*a = 55 - g. Is a a multiple of 17?
False
Suppose 125 = -4*c + 1001. Suppose -4*v - c = -4*x + 29, 3*v - 342 = -5*x. Is x a multiple of 22?
True
Let c = -279 - -284. Suppose -2*j + 12 = h, 2*j - 2*h - 14 = -4*h. Suppose -c*k - 1 - 6 = q, 4*k = j*q - 81. Does 5 divide q?
False
Does 48 divide 30/7*(0 + 84 + 7)?
False
Suppose -3*m + 171 = -5*a + 1068, -a + 4*m + 176 = 0. Suppose 2*u + 8*u = a. Is u a multiple of 9?
True
Let r be 11 - 3*(-3 + 4). Let z = 9 - r. Is (-82 - 0)*z/(-2) a multiple of 12?
False
Suppose 14*o - 774 = 374. Is 2 a factor of o?
True
Suppose 0 = 3*v + 5*x - 22, 5*v - 2 = 3*x + 12. Suppose 5*m - g - g = 55, -v*m + 4*g = -44. Is 4 a factor of m?
False
Is (20514/60 - 2) + 2/20 a multiple of 10?
True
Let y(g) = 4*g**2 - 4*g - 3. Let d be y(2). Suppose -4*l = -d*l + 21. Is 3 a factor of l?
True
Let d(j) = j**3 + 19*j**2 - 43*j - 17. Let l be d(-21). Suppose 2*y + 298 = h + 2*h, 0 = 3*h - l*y - 308. Is h a multiple of 8?
True
Suppose 5*t + 81 = -54. Let z = -91 + 54. Let g = t - z. Is g a multiple of 10?
True
Let a(u) = 4*u + 163. Let l be a(0). Suppose -m = -4*r - 62, -l = -2*m - 2*m - r. Is 14 a factor of m?
True
Let i(v) = -5*v + 11. Let z(k) = -3*k + 10. Let n(t) = 9*t - 29. Let b(a) = 3*n(a) + 8*z(a). Let g(h) = 8*b(h) + 5*i(h). Is g(-4) a multiple of 2?
False
Let p = -537 + 306. Is 11 a factor of p/(-28)*8/3?
True
Suppose -6*g + 505 + 569 = 0. Suppose 0 = 3*c - 31 - g. Suppose 3*r - 92 = c. Does 18 divide r?
True
Let h(s) = -76*s + 1. Let x be h(7). Let b be x/(-27) - 4/6. Suppose -7 = -n + 3*i, -2*n - 3*n + b = i. Is n a multiple of 3?
False
Let i = -150 + 158. Suppose -2*g + 3*g = -5. Let o = i - g. Is 9 a factor of o?
False
Suppose -2*t - 4 = 3*u - 2, 5*u + 8 = -t. Let l(c) = 8*c**2 + 5*c + c - 4*c. Does 7 divide l(t)?
False
Suppose -2*z + 325 = -91. Is 16 a factor of z?
True
Let j(i) = 2*i - 159 - 158 + 8*i**2 + i**3 + 323. Is j(-4) a multiple of 31?
True
Suppose 5*g - 62 = -2. Suppose -3*t + g = 0, -n + 0*t = 2*t - 8. Does 10 divide (-1 - n)/(4/(-40))?
True
Suppose 0 = d - 3*g - 293, -8 = -3*g + 7. Is d a multiple of 7?
True
Does 17 divide 12224/120 - 8/(-60)?
True
Suppose -y - 15 = -3*h, -5*h - 5*y + 45 = -0*h. Let a(g) = 3*g - 14. Let w be a(h). Suppose 16 = -w*c, 7*d + 5*c - 145 = 2*d. Is d a multiple of 11?
True
Let y = -10 + 13. Suppose y*x - 28 = 38. Is 10 a factor of (12/8)/(3/x)?
False
Suppose 6*u + 11*u = 3876. Is u a multiple of 19?
True
Let n = -44 - -29. Let g = n - -13. Does 19 divide ((-402)/(-18))/(g/(-6))?
False
Let o(v) = -22*v - 130. Does 13 divide o(-19)?
False
Let b = 12 - 2. Suppose -45 - 183 = -6*g. Let w = g - b. Is w a multiple of 19?
False
Suppose -47*v = -46*v - 208. Is 13 a factor of v?
True
Suppose 0 = 4*i - 3824 - 1460. Is i a multiple of 43?
False
Suppose 14*b - 10356 - 16944 = 0. Is b a multiple of 75?
True
Let i = -55 - 26. Let o = -42 - i. Is 9 a factor of o?
False
Let v(k) = -k**3 + 9*k**2 - 9*k + 12. Let b be v(8). Suppose 3*s = 0, -t + b*s = 3*t - 1248. Does 24 divide t?
True
Let b = -68 + 140. Does 9 divide b?
True
Suppose 186 = 4*d - 4*g + 2*g, 2*d + g = 87. Does 8 divide -2*(d/20)/((-2)/20)?
False
Suppose -4*c = -3*w - w - 8, 3*c = w. Is 21 a factor of (7 + w)*1195/20?
False
Suppose -4*o + 76 = -164. Let u = -15 + o. Is u a multiple of 10?
False
Suppose -3*b - x + 35 = 0, -4*b - 4*x + 70 = b. Suppose u = 6*u - b. Suppose -2*l - u*l = -256. Does 32 divide l?
True
Let a be (-2429)/(-8) + (-15)/(-40). Suppose 8*z - 96 - a = 0. Does 25 divide z?
True
Suppose 0 = -2*t + b - 5 + 21, 3*b = -2*t + 8. Is 96/2 + (t - 3) a multiple of 4?
True
Let i(b) = b - 5. Let p be i(7). Suppose -j = -3*j. Suppose j = -p*u - u + 168. Does 15 divide u?
False
Let z be (-3*(-4)/18)/(2/9). Suppose f - 38 = -3*b, 0 = 2*f + b + z*b - 82. Is 10 a factor of f?
False
Let j(n) = n**3 + 8*n**2 - 9*n - 10. Let z be j(-9). Let p = z + 22. Let w = p - 6. Does 5 divide w?
False
Suppose 13 = -11*z + 12*z. Let w(a) = 2*a**2 - 22*a + 10. Is 9 a factor of w(z)?
False
Let b be (-3 - -2)/((-1)/(-6)). Let m = b - -13. Suppose 2*g - r = m*g - 68, -4*g = -4*r - 40. Is g a multiple of 13?
True
Let u = -51 - 20. Let t = -125 - u. Is 834/10 - t/90 a multiple of 21?
True
Let u(v) = -2*v**2. Let g(a) = -a**2 - a - 1. Let i(o) = 4*g(o) - 3*u(o). Let k be i(3). Suppose -4*d + 76 + 69 = 5*l, -2*d = -k*l + 76. Does 28 divide l?
False
Suppose -3*o - 3*b + 129 = 0, -6*o + o + 188 = -4*b. Suppose x = 5*c - 42, 3*x - 5*x = -2*c + 20. Is (6/c)/(10/o) a multiple of 3?
True
Suppose -122*d = -119*d - 3024. Suppose 0 = -21*x + 9*x + d. Is x a multiple of 17?
False
Suppose -2*t + 8 = 2*t. Suppose -3*n - 2 = -p, -2*p + 4*n + t = -p. Suppose 0 = 4*a - 5*