a factor of b?
False
Suppose -4 + 372 = 3*y - 4*h, 5*y - 4*h - 608 = 0. Let p = -38 + y. Does 6 divide p?
False
Let z(f) = -2*f**3 - 3*f**2 - f - 1. Let p = -6 - -4. Let i be z(p). Suppose w - i*s + 135 = 6*w, -3*w + s = -69. Is w a multiple of 6?
True
Let t(b) be the first derivative of b**3/3 - b**2/2 - 2*b + 1. Suppose -6 = 3*c + 3. Is 6 a factor of t(c)?
False
Suppose -3*s = -5*d + 3804, -5*d + 3*d + s = -1522. Is d a multiple of 23?
False
Let d = -2 - -2. Let n(a) be the first derivative of a**2/2 + 18*a - 1. Does 6 divide n(d)?
True
Let l(o) = 6*o**2 - 14*o - 256. Does 68 divide l(27)?
True
Let s(r) = r**2 - 6*r - 7. Is 7 a factor of s(21)?
True
Let t(a) = 5*a**2 + 2*a - 45. Does 13 divide t(-7)?
False
Is ((-172)/3)/((-2)/15) a multiple of 29?
False
Let m(b) = b**3 - 10*b**2 - 5*b - 3. Let o = 33 + -21. Let j = o - 1. Does 17 divide m(j)?
False
Let w(k) = 6*k**2 + 50*k + 30. Does 15 divide w(-21)?
False
Suppose 12 = -3*m, -4*o - 57*m + 62*m = -1916. Does 6 divide o?
True
Let l(w) = -w - 1. Let p be l(2). Does 8 divide p*(179/(-3) + -4)?
False
Let y be (-1 + (-2)/6)/(11/(-33)). Suppose 3*u - 166 = -2*x, -y*u - 4*x = -u - 176. Is 13 a factor of u?
True
Suppose 4*j - 5*y - 3500 = 0, -20*j - y = -17*j - 2644. Is 16 a factor of j?
True
Suppose 4*d + 4*t - 445 = 1371, t = -2*d + 904. Is d a multiple of 30?
True
Let b be (0 - 21) + (-2)/(-2). Let d be b/(-14)*350/10. Suppose 0 = -4*p + d + 142. Is 24 a factor of p?
True
Let k(u) = u + 13. Let x be k(0). Let p(l) = -l**3 + 12*l**2 + 13*l + 4. Let d be p(x). Suppose -s + d*s = 57. Is s a multiple of 8?
False
Let x(n) = 3*n**2 + 7*n + 8. Let p(d) = 16*d**2 + 35*d + 41. Let a(w) = -2*p(w) + 11*x(w). Suppose -3*h - 3 = 21. Is 14 a factor of a(h)?
True
Let h(v) = 930*v - 9. Does 13 divide h(1)?
False
Let q(d) = 5*d**2 - 8. Let z(y) = y**2 - y. Let j(g) = q(g) - 4*z(g). Let h be j(6). Suppose -h = -4*f - 2*i + 70, 5*i = -4*f + 137. Is f a multiple of 10?
False
Suppose 3*g + 9 = 0, 0*q + 27 = 2*q + 3*g. Suppose 4*b - 22 = q. Does 7 divide b?
False
Let v = 130 + 265. Is v a multiple of 13?
False
Is 163 a factor of 14*186 - ((-36)/(-6) + -10)?
True
Let i(x) = -6*x - x**3 + 2*x**2 - 10 - 6*x**2 + 3. Let h be i(-2). Is (-10)/(-15)*h*-4 a multiple of 4?
True
Suppose -5*q + 15 = -2*q + 2*u, -3*q + 15 = 4*u. Let w(h) = -h - 1. Let r be w(-8). Suppose -3*v + 31 = -q*j, -4*j = v - r*j - 9. Does 12 divide v?
True
Suppose 0 = -0*r + 4*r - 3*y + 24, -5*r = 5*y + 30. Let o = r - -27. Let l = 28 + o. Is l a multiple of 11?
False
Let z(r) = 4*r**2 + 2*r. Let w = 33 - 36. Is 15 a factor of z(w)?
True
Let n = -85 + 372. Let h = n - 137. Does 25 divide h?
True
Suppose 2*o + 3*i - 249 = 294, 0 = -o + i + 264. Is o a multiple of 11?
False
Suppose 4*h - 40 = 8*k - 3*k, 2*k + 28 = 4*h. Is 181 - (25/5)/h a multiple of 20?
True
Suppose 10*o + 10 = 60. Suppose j - 3*s - 81 = -0*j, o*s = 0. Is j a multiple of 28?
False
Let n be (-4)/(-26) - 525/455. Is (-72*1*n)/2 a multiple of 9?
True
Let z = 245 + 626. Suppose -z - 161 = -4*i. Is 43 a factor of i?
True
Let x(h) = -h**2 + 3*h + 11. Let o be x(5). Is (11/2)/(0 - o/(-6)) a multiple of 3?
True
Is (1 + -490)*1*2/(-6) a multiple of 9?
False
Suppose 0 = -p + 40*s - 43*s + 300, -3*s - 312 = -p. Does 9 divide p?
True
Suppose 0 = -4*o + 5 + 67. Let t be 567/105 + (-2)/5. Suppose -3*m + f + 2 = -2, -t*f + o = 4*m. Is 2 a factor of m?
True
Let m(p) = -21*p - 6. Let g be m(-8). Let n = -90 + g. Is n a multiple of 5?
False
Is (31/3)/(9/459) a multiple of 31?
True
Let u = -178 + 95. Suppose 510 = 4*r - s + 3*s, 0 = -5*r - s + 636. Let k = r + u. Does 11 divide k?
True
Let l be ((-2)/2)/(13/13). Let s(g) = -28*g**3 - 2*g**2 + g + 2. Is s(l) even?
False
Suppose -2*m + 22 = -4*s, 0*m = -2*s - m - 21. Let n be (-4)/1*6/s. Suppose 2*v = 5*z - 0*v - 125, -61 = -n*z + 4*v. Is 15 a factor of z?
False
Is 4 a factor of (125 - 121)*(198 - 2/(-2))?
True
Let p(i) = 9*i**3 - 9*i**2 + 11*i + 12. Is 58 a factor of p(4)?
False
Suppose 5*k + 8*k - 520 = 0. Suppose 5*h = 5*d + k, 3*h - 5*d + 70 = 8*h. Is h a multiple of 3?
False
Suppose -5999 = 101*f - 108*f. Is 29 a factor of f?
False
Suppose 0 = 8*z - 6*z - 1188. Is 27 a factor of z?
True
Suppose y - 57*j = -52*j + 3406, -4*y - 4*j + 13720 = 0. Does 8 divide y?
False
Let z(c) = 24*c - 10. Does 31 divide z(3)?
True
Let x = -77 + 72. Does 37 divide 1/4 + ((-889)/(-28) - x)?
True
Suppose 5 = -g, 25 = 2*s - 3*g - 2*g. Suppose 5*m - 35 + 230 = s. Let o = m + 58. Is 5 a factor of o?
False
Let o(x) = x**2 - 2*x + 2. Let f be o(2). Let t(a) = a**2 + a - 14. Let c be t(0). Does 9 divide f/c - 232/(-7)?
False
Let s be -1 - (-24 - (-1 - -5)). Let i = 94 - 49. Let r = i - s. Is 6 a factor of r?
True
Let z(l) be the second derivative of -l**4/12 - l**3/6 - l**2 + l. Let y(w) = -w**2 - w - 2. Let u(o) = -6*y(o) + 5*z(o). Is 16 a factor of u(-6)?
True
Suppose 5*i + 535 = 3775. Suppose 12*s = 3*s + i. Is s a multiple of 24?
True
Let z(l) be the third derivative of -l**5/40 - 3*l**4/4 + l**3/6 - 8*l**2. Let k(a) be the first derivative of z(a). Is k(-8) even?
True
Let h(m) = -m**3 - 4*m**2 + m + 2. Suppose 16 = -2*w + 2*a, w - a + 32 = -3*w. Does 28 divide h(w)?
False
Suppose -11*g - 159 = -1094. Is 13 a factor of g?
False
Let a = 30 + -113. Let g = 125 + a. Is g a multiple of 4?
False
Is 3 a factor of (-197 - -186) + (1 - -113)?
False
Suppose 4*z - 43 = -31. Suppose -z*m - 3*i + 276 = -6*i, 0 = 3*i - 3. Does 30 divide m?
False
Let x be (-2472)/(-14) - 28/49. Let r be (1 + 1)/((-8)/x). Let u = 79 + r. Does 9 divide u?
False
Let q = 148 + -87. Suppose 7*v - q = 8*v. Is (-4)/8 - v/2 a multiple of 10?
True
Let l(t) = -t**2 - 7*t + 5. Let c be (-2*12/8)/(-1). Suppose -24 = w + c*w. Does 3 divide l(w)?
False
Suppose 3*k + 4 = -8. Is 3 a factor of -12*(-4 + (-12)/k)?
True
Suppose -1196 = 5*w + 3*b - b, -3*w - 705 = -3*b. Let g = -435 + 289. Let l = g - w. Does 24 divide l?
False
Let b(c) = -178*c - 64. Does 23 divide b(-10)?
False
Let x = -14 - -54. Let c = x - 4. Does 6 divide c?
True
Suppose -6*o + 927 = -3*o. Suppose m = -2*v + 165, -3*v + o = v - 5*m. Does 27 divide v?
True
Let a(q) = -154*q - 107. Is a(-5) a multiple of 49?
False
Let x = 153 - 148. Suppose x*k + 2*z - 123 = 0, 2*k + 2*z = -z + 58. Does 23 divide k?
True
Let b be 512/48 + 2/(-3). Let v = b - 10. Suppose 7*q - 4 - 101 = v. Is q a multiple of 15?
True
Let c = -7 - -9. Suppose -4*d - 4*z = 148, 2*d + c*z - 6*z + 74 = 0. Let u = -17 - d. Does 10 divide u?
True
Let x = -66 - -71. Suppose 5*c + 17 = -2*w, -18 = -2*w + c + c. Suppose -x*r + w + 56 = 0. Is 12 a factor of r?
True
Let c(j) = -2*j**3 - 2*j**2 + 7*j + 3. Let o be c(-3). Suppose -230 + o = -4*d. Is d a multiple of 18?
False
Let v be ((-1)/1)/(1/(-35)). Let d = -24 - -27. Suppose 4*n - v = d*n. Is 12 a factor of n?
False
Suppose -4*j = 0, 2*j + 121 + 68 = 3*l. Let x = 233 + -75. Let o = x - l. Is o a multiple of 16?
False
Let t = -117 + 201. Suppose -5*i - 3*u + t = 0, -2*u + 105 = 4*i + 39. Is 5 a factor of i?
True
Let n(d) = 5*d**2 - 6*d + 4. Let i(h) = -4*h - 11. Let r be i(-5). Is 48 a factor of n(r)?
False
Suppose 22*q - 86768 = -7*q. Is q a multiple of 16?
True
Suppose 1893 = b - h, 2*b - 3*h - 823 = 2968. Is 32 a factor of b?
True
Let o(u) = 12*u**2 + 4*u + 25. Is o(5) a multiple of 26?
False
Let c(h) = -2*h - 31. Let w be c(-12). Is (-3 - w - 99)*4/(-4) a multiple of 10?
False
Suppose -k + 4*l - 10 = 0, -4 = 3*k - k - 4*l. Let w = -4 - k. Is 12 a factor of -6*3*w/4?
False
Suppose z - 252 = 2*x, 3*z = 2*z - 5*x + 273. Suppose a - 78 = -m, -z = 2*m - 5*m + 3*a. Does 19 divide m?
False
Suppose -p - 235 = -3*y, -2*p = 2*y - p - 155. Is 13 a factor of (21/(-6))/((-3)/y)?
True
Let v(h) = 154*h**2 + 9*h - 7. Is 38 a factor of v(3)?
True
Let d = 225 + -88. Is d a multiple of 5?
False
Suppose -w - 4*w = -35. Suppose -w*f = -339 - 109. Let r = f - 10. Is r a multiple of 18?
True
Let l = -664 - -866. Does 5 divide l?
False
Let f(m) be the first derivative of 2*m**3 - 3*m**2 + 3. Let j be f(6). Suppose 5*o = -0*o + j. Is o a multiple of 18?
True
Let q be -3*3/((-18)/346). Suppose h - 71 = -11*d + 9*d, -5*d = 4*h - q. Is 4 a factor of d?
False
Suppose -5*v + 30 = 4*l, -3*v + 2*l + 10 + 8 = 0. Suppose -v*y = -4*y - 106. Does 27 divide y + 1/(3 + -2)?
True
I