 a multiple of 29?
True
Is 0/(-2) - (5 + 1410/(-6)) a multiple of 68?
False
Let b(j) = 656*j**2 - j - 4. Let w be b(2). Does 10 divide (-2)/(-3) + w/42?
False
Suppose -12 = -g - 9. Suppose s - 1 = g. Suppose -t + 0*f + s*f = -69, 134 = 2*t - 4*f. Does 12 divide t?
False
Suppose -3*k - 1080 = -13*k. Suppose 4*o = 2*s - k, -3*s + 192 = 2*o + 38. Is 31 a factor of s?
False
Let d = 33 + -63. Let f be (175/d)/7*-6. Suppose 0 = 2*v + f*o - 17, 58 - 138 = -5*v - 5*o. Is 19 a factor of v?
False
Let x(c) = 102*c - 870. Does 5 divide x(20)?
True
Suppose 5*c - 3*q = 76, 94 = 5*c - 0*q + 3*q. Let u = 18 - c. Is u - (-2)/(8/244) a multiple of 14?
False
Suppose -16*d - j + 4652 = -12*d, j = -5*d + 5816. Is 12 a factor of d?
True
Let n be (1956/(-9))/(4/(-6)). Suppose -n = -5*v + 54. Suppose -5*z + 83 = t, -2*t - 2*t - v = -4*z. Does 5 divide z?
False
Let r be (-36)/(-10) + (-4)/(-10). Suppose -r = -2*a - 0. Is a/((-18)/(-213))*3 a multiple of 20?
False
Let v = 45 - -96. Is v a multiple of 7?
False
Let s be (-1 + 4 - 1) + -11. Let f(r) = r**2 + 2*r - 15. Is f(s) a multiple of 24?
True
Let g be (14 + -8)*2/4. Let o be 9 + g*(-4)/3. Let d(q) = 3*q**2 - 5*q - 6. Is 22 a factor of d(o)?
True
Let t be 1*(0 + -1)*0. Is 3/((-12)/(-56)) - t a multiple of 14?
True
Suppose 0 = -6*m + m + 15. Suppose 0 = -2*w - z + 257, -m*z - 124 + 13 = -w. Is w a multiple of 36?
False
Suppose 3*f = 4*o - 2*o + 48, 0 = -5*f - 4*o + 58. Suppose 0 = 3*r - f - 13. Does 9 divide (3/r)/(2/210)?
False
Let f(w) = 19*w**2 + 9*w - 10. Is f(-5) a multiple of 32?
False
Suppose -x = 9*x - 20. Suppose -p - 5*h = -128, 3*h + 162 = -x*p + 397. Is 12 a factor of p?
False
Let i = -23 - -25. Suppose -5*j = i*j. Suppose -6*d = -d + 2*u - 68, 5*d - 4*u - 44 = j. Does 3 divide d?
True
Suppose -8 = -2*t - 0. Let l be (-2 + -110)*(-2)/t. Suppose -5*h + 56 = 2*d, -5*h = 2*d - 4*d + l. Is 28 a factor of d?
True
Let y = 1516 - 890. Is 72 a factor of y?
False
Let o(f) = 2*f**3 - 4*f**2 + 5*f + 6. Let i(t) = -3*t**3 + 8*t**2 - 10*t - 12. Let w(g) = 3*i(g) + 5*o(g). Suppose -5*c - 17 = 3. Does 7 divide w(c)?
True
Let k(n) = -4*n - 4 + 2*n + 8 + 2*n**2 + 14. Is 39 a factor of k(6)?
True
Suppose z = -4*f + f + 248, 3*z - 734 = f. Does 14 divide z/21*(-12)/(-10)?
True
Let x = -33 - -48. Suppose -2*k + x - 5 = 0. Suppose -57 - 83 = -k*v. Is 14 a factor of v?
True
Let t(f) = f**3 + 4*f**2 + f + 4. Let p be t(-4). Does 19 divide p + -1 + 39*(-5 + 6)?
True
Suppose -13*v - 3115 = -16*v - g, -v - 3*g + 1025 = 0. Is v a multiple of 16?
True
Let x = -28 + -12. Suppose 57 = -4*r + 4*p - 171, -12 = 4*p. Let m = x - r. Is 8 a factor of m?
False
Let n = 56 + 22. Is n even?
True
Let f(q) = -8*q + 140. Is 59 a factor of f(-12)?
True
Suppose -508 = -2*b - 2*r, 0 = -66*b + 69*b + 5*r - 762. Is 11 a factor of b?
False
Let i = 198 - 139. Is i a multiple of 2?
False
Let i = 10951 - 7353. Is i a multiple of 14?
True
Suppose 4*l - r + 1076 = 7*l, 3*r - 348 = -l. Is l a multiple of 12?
True
Let m = 82 - -430. Does 16 divide m?
True
Let r be 10/(-4)*8/10. Let y be 6*r*(-4)/6. Suppose -41 = -d + y. Is 19 a factor of d?
False
Let c be (9/6)/(7/(-112)). Is (c/(-20))/(2/10) a multiple of 3?
True
Let y(p) = p**3 - 6*p**2 - 3*p - 5. Let u be y(6). Let g(c) = -48*c**3 + c**2 - 1. Let m be g(1). Let d = u - m. Is d a multiple of 23?
False
Let r(b) = -6*b - 2. Let t be r(-1). Suppose -t*f + n + 26 + 16 = 0, -3*f = 2*n - 26. Is f a multiple of 5?
True
Suppose -255 = -102*a + 97*a. Suppose -56*l + a*l + 315 = 0. Is 21 a factor of l?
True
Let b(g) = 46*g - 26. Is 19 a factor of b(8)?
True
Suppose -217 = -4*u + 55. Suppose 4*y - u = 3*o, 3*y - 8 = -3*o + 22. Is y a multiple of 7?
True
Suppose -51*j + 36*j = -3045. Is j a multiple of 7?
True
Let c(u) = -u - 6. Let v be c(-6). Let t(o) = 2*o + 18. Let y be t(v). Let i = y - 6. Does 12 divide i?
True
Let d = 3144 + -1776. Does 19 divide d?
True
Suppose 0 = -q + 5*k + 15, -2*q - 3*k = -33 - 23. Let t(a) = a**2 - 1. Let l be t(2). Let y = q + l. Does 4 divide y?
True
Suppose -v - 3 = -4*o, 2*o - 93 = -5*v - 64. Let t(n) = 11*n**2 + 4 + 6*n**2 - 9*n + 3*n. Is 15 a factor of t(o)?
True
Let l = 5412 - 3585. Does 87 divide l?
True
Suppose 4*q - 4 = -4. Suppose -17*x + 22*x - 1030 = q. Is 19 a factor of x?
False
Let j = 125 - 213. Let w = j + 205. Is w a multiple of 13?
True
Suppose 6*r = 811 + 869. Is r a multiple of 14?
True
Suppose -t = 4*f - 30, -t + 22 = 3*f - 0*t. Suppose f*w - 10*w + 32 = 0. Does 3 divide w?
False
Suppose 8*n + 22 = 4*n + 2*d, -4*n - 3*d + 3 = 0. Does 23 divide (-241)/n - 7/21?
False
Does 12 divide 16/(-3)*(1 + -28)?
True
Suppose -4*r + 2192 = 2*g, -562 = -8*r + 7*r + 3*g. Is 25 a factor of r?
True
Let g = 26 - -169. Suppose -4*z = g - 491. Does 37 divide z?
True
Is ((-65)/(-10))/(2/240) a multiple of 48?
False
Let y(k) = -2*k**3 - 4*k**2 + 2*k - 4. Suppose -10 = 5*l, 3*l + 2 = q - 0. Is y(q) a multiple of 15?
False
Let u(s) = s**2 - 4. Suppose -6*q = -4*q - 74. Suppose 5*w + q = 7. Does 11 divide u(w)?
False
Suppose -t - m = -6*t - 35, 0 = 3*t - 5*m + 21. Let r(a) = a + 10. Let g be r(t). Suppose -g + 0 = -x. Does 2 divide x?
False
Suppose 3*o = 5*o - 10. Suppose o*l = -2*f - 6, -3*f - 2*l - 34 = -7*l. Let z(t) = -4*t - 4. Is 22 a factor of z(f)?
False
Suppose 3*p + 5*a - 61 = 24, 105 = 4*p + 5*a. Let b = p - 17. Suppose 2*t - 89 = -2*t + 5*d, 3*t - b*d = 63. Does 12 divide t?
False
Let y = 221 - 216. Is 2 a factor of y?
False
Let h(m) = -3*m - 7. Let p(s) = -s. Let u(n) = h(n) - 2*p(n). Let o be u(-11). Is 17 a factor of ((-24)/(-20))/(o/170)?
True
Let l = 4 + 10. Suppose 71 - l = -3*d. Let y = d + 34. Is y a multiple of 10?
False
Let q(b) = 22*b**3 - 2*b**2 + 2. Let v be q(2). Let t = v + -78. Is t a multiple of 33?
False
Suppose -13*l - 2*l = -24*l. Let y be 268/6 - 1/(-3). Suppose -5*c + y + 93 = -d, c - d - 30 = l. Is 5 a factor of c?
False
Let r = 906 + -287. Is 14 a factor of r?
False
Suppose 1 = -h + 6. Let c = 9 - h. Suppose c = -z + 1, y = -3*z + 11. Does 14 divide y?
False
Suppose 6366 = 3*f + 2*t + 1632, 4*f + 5*t - 6305 = 0. Is 10 a factor of f?
True
Suppose -3*w = w - 3*f + 217, -f = -5*w - 263. Let z = -43 - w. Is 2 a factor of z?
False
Let h = 168 + -90. Is 7 a factor of h?
False
Let c(h) = 44*h - 118. Is c(4) a multiple of 24?
False
Let f be (-12 - 0)*((-6)/8 + 0). Suppose -7 = -3*b + 2. Let c = b + f. Is 5 a factor of c?
False
Suppose -133 = -2*t + 129. Let f = t - 75. Is 14 a factor of f?
True
Let i = 58 + -41. Let b = -21 + i. Is b/14 + 2210/91 a multiple of 6?
True
Let a(y) = 4*y + 5. Suppose -4*s + 16 = 4*g, 3*g + 2*s - 14 = -0*s. Let w be (-4)/g*(-15)/2. Is a(w) a multiple of 6?
False
Suppose -43 = i + 43. Let h = i + 160. Is 24 a factor of h?
False
Suppose -x + 108 = z, 316 = 3*x - 9*z + 4*z. Suppose -155 = -5*a + 3*i, -3*i + 2*i + x = 4*a. Is 7 a factor of a?
True
Let k be 1*4/16*-4. Is 7 a factor of 32 - (3/k - -3)?
False
Suppose -16*v - 3*v = -5320. Is 19 a factor of v?
False
Suppose -6*j + 932 = q - 10*j, 3*q - 2871 = -3*j. Does 34 divide q?
True
Suppose 38*z - 39*z = -276. Does 12 divide z?
True
Let g = 34 + -30. Suppose -9 = g*y - 5*y. Is y even?
False
Let t(a) = a**2 - 13*a - 11. Let h be t(8). Let i = 106 + h. Suppose 3*k + 5*d = i, 5*k + d - 2*d - 101 = 0. Is 7 a factor of k?
False
Let l = -126 - -14. Let o = l - -192. Suppose o = 3*f - f. Does 12 divide f?
False
Let y be (-12)/78 - 264/(-26). Suppose 2*p - 2*j - 2370 = 0, 4*j = p - 0*p - 1176. Is 23 a factor of 4/y - p/(-30)?
False
Suppose 3*b = -4*a + 36, -3*a + 26 = -0*a + 2*b. Is 18 a factor of 9*a/(-9)*-3?
True
Suppose -4*y - 1169 = -g, 2*g + 0*y - 2338 = 3*y. Is g a multiple of 90?
False
Let v(t) = -t + 8. Let r be v(4). Let o(i) = i**2 - i - 4. Is o(r) a multiple of 4?
True
Let b = -12 - -18. Let i = -3 + b. Does 3 divide i?
True
Suppose -2*l = -5*l - p + 308, -5*p = 4*l - 396. Suppose -j = -129 - l. Suppose 93 = -4*o + j. Is o a multiple of 10?
False
Let c = -853 - -1599. Does 8 divide c?
False
Let p = -429 + 601. Suppose -4*m + p - 4 = 0. Does 21 divide m?
True
Suppose 0 = -2*a + 10*s - 13*s + 51, 5*a - 2*s = 175. Is a a multiple of 7?
False
Let i = 2673 + 444. Is i a multiple of 44?
False
Let l(a) = a**3 + 2*a**2 + 4*a - 1. Let r be l(-3). Is 17 a factor of (r - -21)/(1/(-85))?
True
Is 9 a