t u be h(l). Let o(y) = 5*y**2 + 2. Does 21 divide o(u)?
False
Suppose 0 = 3*p + 30 - 240. Let u = p - -7. Is 11 a factor of u?
True
Let y(c) = 4*c**2 - 5*c - 8. Let s be y(7). Let o = 218 - s. Is 40 a factor of o?
False
Let m = 860 - -462. Is 43 a factor of m?
False
Let s(j) = j**2 + 10*j + 14. Let g be s(-9). Suppose -g*i = -35 - 325. Is 9 a factor of i?
True
Suppose -520 = 3*w - b, 4*w + 693 = 4*b - 3*b. Let l = 257 + w. Is 10 a factor of l?
False
Suppose 0 = -4*h + 27 + 1473. Suppose n - h = -136. Is n a multiple of 41?
False
Let l = 2669 - -289. Is 6 a factor of l?
True
Let u be (-746)/(-8) - (-2)/(-8). Let d = u + -29. Is 34 a factor of d?
False
Suppose g + 97 = 5*g + i, g - i = 28. Let f be 5/g - 42/(-15). Let v(o) = 10*o - 12. Is v(f) a multiple of 16?
False
Suppose 592 + 148 = 2*g + 5*y, -5*g = 4*y - 1816. Is g a multiple of 4?
True
Let j be ((-81)/(-18))/((-2)/(-12)). Does 6 divide (-18)/j*(-39)/2?
False
Let c = 324 - 217. Suppose -4*a + c + 13 = 0. Does 10 divide a?
True
Let a(c) = -c**3 - 15*c**2 - 41*c + 41. Does 4 divide a(-13)?
True
Let i = 12 - 20. Does 12 divide 252/i*16/(-6)?
True
Let o(z) = z**3 - 5*z**2 + 2*z - 5. Let r be o(5). Suppose -9 = -r*x + 2*x. Suppose 0 = -0*c + x*c - 165. Does 24 divide c?
False
Let h(t) = -2*t**3 + 44*t**2 + t - 23. Let s be h(22). Is 3 a factor of -1*(-6 - (3/s - -1))?
False
Suppose 0 = 4*q + q - 515. Let g = 12 + q. Is g a multiple of 23?
True
Suppose -5*v - 131 = -z, v = -2*z - z - 39. Let k = 149 - 226. Let f = v - k. Is f a multiple of 10?
True
Let r(d) = d**2 + 6*d + 5. Let w be r(-5). Suppose -b - 9*b + 30 = 0. Does 3 divide (6 - (w - 3)) + b?
True
Suppose -2*c - 6 = -2*a, 2*c + 16 = 5*a + 4. Suppose a - 4 = -2*f. Is 8 a factor of 18*f - (-3)/(-3)?
False
Is (54/42)/9*-1170*-21 a multiple of 135?
True
Let d(f) = -f**3 + 8*f**2 + f - 2*f + 8*f + 0*f + 5. Let i(z) = 3*z**3 - 24*z**2 - 21*z - 15. Let o(r) = 8*d(r) + 3*i(r). Does 13 divide o(9)?
True
Let d(p) = -21*p**2 + 9*p**2 - 2*p**3 + p**3 + 13*p. Let a be d(-13). Suppose -3*i + 45 + 25 = -4*r, 3*i + r - 50 = a. Is i a multiple of 12?
False
Let j = 14 + 11. Let c = j - -88. Is 24 a factor of c?
False
Suppose 0 = -5*n - 15, 4*j = -24*n + 29*n + 10215. Does 17 divide j?
True
Let k(c) = -3*c**2 - 12*c - 7. Let y be k(-6). Let m = y + 70. Does 6 divide m?
False
Let l = -9 + 11. Suppose 2*t + l = 22. Let d = t - -6. Is d a multiple of 8?
True
Let r = -1996 - -3496. Does 100 divide r?
True
Suppose 5*z - 74 = 1. Let m(c) = c**2 - 17*c + 33. Is 3 a factor of m(z)?
True
Suppose -6 = 2*o - 0*o. Let u be (o - -2) + 4 + 3. Is (1 - (-45)/6)*u a multiple of 25?
False
Let n(b) = b**2 + 12*b + 1. Let i(l) = 5*l**2 + 47*l + 4. Let y(o) = -2*i(o) + 9*n(o). Let x be y(14). Is (119/(-21))/(x/(-9)) a multiple of 17?
True
Let i(w) = -2*w**3 + 15*w**2 - 8*w - 7. Let h be i(7). Let n = -26 + 43. Is 34 a factor of (204/h)/(n/(-119))?
True
Suppose 0 = -6*o + 3*o + 4*h - 31, 4*h = 2*o + 26. Let j = o + 3. Let x = j - -26. Is 5 a factor of x?
False
Let g(z) = -17*z**3 - 5*z**2 + 3*z + 1. Does 15 divide g(-2)?
False
Let v be ((-7)/3)/((-2)/18). Let q = -314 - -270. Is q*(1 - v/12) a multiple of 13?
False
Let a(z) = 332*z**3 - 2*z**2 + z. Let c be a(1). Let g = c + -469. Let j = g + 198. Is j a multiple of 12?
True
Let r(u) = -u**3 - 2*u**2 + 4*u + 5. Let p(c) = 2*c - 1. Let v be p(2). Suppose 0 = -v*s + 7*s + 16. Is 6 a factor of r(s)?
False
Suppose 4*k = 5*o - 7, o - 2*k + 16 = 5*o. Suppose -o*j = -5*j. Let z(w) = -w**3 - w + 5. Does 5 divide z(j)?
True
Let h(d) = d**2 + 18*d - 20. Let p be h(-17). Let q = p - -57. Is q a multiple of 4?
True
Suppose 0 = y + 3*y + 3*p + 40, -3*y - 3*p - 30 = 0. Let m = y + 14. Suppose -5*g + 157 = -3*b - 143, -2*g + 120 = -m*b. Is 20 a factor of g?
True
Let t = 20 + -18. Suppose 4*f + t*s + 3*s = 48, -8 = -2*s. Does 14 divide 119/f*(-1 - -3)?
False
Suppose 2*r - 10 = 0, -3*u + 5 = 4*r - 3*r. Suppose -s + 3*s - 132 = u. Does 11 divide s?
True
Suppose -9 = -3*f + 6. Suppose j + f + 7 = 0. Let i = j - -30. Is i a multiple of 5?
False
Let m(x) = 42*x. Let a be m(2). Let w = 144 - a. Is w a multiple of 15?
True
Suppose 69 = 3*f + 12. Suppose -5*a - f = -u, -4*a + 5*a + 2*u = 5. Let g(h) = 3*h**2 + 2. Is g(a) a multiple of 8?
False
Let l(f) = 55*f - 32. Does 23 divide l(1)?
True
Let x be 2/((3/(-9))/(1/(-2))). Suppose -g - 22 = -x*g. Is 5 a factor of g?
False
Let r(w) = 11*w - 16. Let m be r(2). Suppose -8*j - m*j = -756. Is j a multiple of 27?
True
Suppose 8*h = 153 + 2863. Is 29 a factor of h?
True
Let a(z) = 21*z**2 - z. Let o = -7 + 9. Let l be (0 - o)/(-3 + 1). Is a(l) a multiple of 6?
False
Suppose -10*y = -1331 - 9149. Is 24 a factor of y?
False
Let q = 126 + -174. Does 12 divide (24 + 0)*q/(-32)?
True
Suppose -3*s + 441 = 4*t, 101 = t - 2*s - 1. Does 36 divide t?
True
Let t(b) = 33*b + 1. Does 9 divide t(2)?
False
Suppose 0*p - 5*u = -5*p + 830, -646 = -4*p - 5*u. Suppose p + 77 = 3*j - h, 245 = 3*j - 5*h. Does 14 divide j?
False
Let x(d) = 43*d**2 + 54*d - 49. Is x(5) a multiple of 21?
False
Suppose -4*w - 25 = -9*w. Suppose 3*t - 3*b = w*t - 151, 0 = 4*t + 4*b - 308. Is t a multiple of 10?
True
Suppose -3*d = 5*v - 148, 5*d - 3*d - 4*v - 128 = 0. Is d a multiple of 8?
True
Suppose -2*x + 3*n - 121 = -x, x = -5*n - 129. Let j = x + 139. Does 2 divide j?
False
Suppose 335 = 5*z + 3*o, -2*z - 5*o + 115 = -0*z. Is z a multiple of 10?
True
Suppose 5303 = 10*n + 1383. Does 24 divide n?
False
Let l be (10 + 4/(-1))/2. Suppose -i - 455 = -5*v, -i = -l*v - 3*i + 286. Does 20 divide v?
False
Suppose 4*y - a = 34 + 24, -4*y - 2*a + 52 = 0. Let h = -10 + y. Suppose 2*z - 52 + 8 = 5*q, 40 = h*z + 2*q. Is z a multiple of 12?
True
Let v = -346 - -1093. Is 9 a factor of v?
True
Let r(b) = b**3 - 14*b**2 + 17*b - 4. Let m be r(12). Let j be 15*m/(-12) - 3. Suppose -j = -5*i + 23. Is 13 a factor of i?
True
Suppose 3*t = -2*y + 4, -2*y + 2*t + 0*t + 14 = 0. Let k(j) = j**2 - 4*j + 1. Let q be k(y). Does 10 divide q/(-14) - 1981/(-49)?
True
Suppose 3*g - 4*v - 137 = 0, -2*v - 42 = -3*g + 103. Is 8 a factor of g?
False
Let c = -234 - -600. Does 6 divide c?
True
Let v = -6 + 2. Let n(x) be the first derivative of -5*x**2/2 - 5*x - 65. Does 7 divide n(v)?
False
Suppose 6*h = -4*p + 3*h + 5369, -5*h + 6705 = 5*p. Is 91 a factor of p?
False
Let o = 31 + 1529. Does 8 divide o?
True
Let j(u) = u**3 + 6*u**2 + 3*u - 6. Let f be j(-5). Suppose -f*a = -2*w - a + 95, a + 5 = 0. Let p = w + 2. Is 21 a factor of p?
True
Let p = 18 - 67. Let u be (-231)/p - 4/(-14). Suppose 20 = 2*t - 5*m, 0 = 5*t - m + u*m - 50. Does 10 divide t?
True
Let c(v) = v**3 + 20*v**2 - 52*v - 9. Let r be 110/(-4)*36/45. Does 12 divide c(r)?
False
Suppose -5*p - 5*k = -25, 2*k = -5*p + k + 5. Suppose p = 4*o + 19 - 191. Is 12 a factor of o?
False
Let c be (-2 + -1)*(-44 - 3). Suppose 3*f - 171 = c. Is 13 a factor of f?
True
Let x = -90 + 92. Let i = 22 + -38. Is 11 a factor of 24/i - (-47)/x?
True
Let g(y) = 20*y**2 - 6*y + 3. Let m be g(2). Suppose v = 52 + m. Does 41 divide v?
True
Let i(b) = -10*b - 2. Let j be (-2 - 1 - -3) + -7. Is i(j) a multiple of 5?
False
Suppose c = 4 - 12. Let d(y) = 3*y**2 + 14*y + 18. Is 15 a factor of d(c)?
False
Let g = -58 + 120. Is 2 a factor of g?
True
Suppose 0 = -4*r - 0*r. Suppose r = g + g. Suppose 4*k + 34 - 158 = g. Is k a multiple of 11?
False
Let g(k) = -14*k**3 + 1. Let l(b) = 28*b**3 - 2. Let p(a) = 11*g(a) + 6*l(a). Let c = 0 + 1. Is 11 a factor of p(c)?
False
Let i(r) = -30*r - 5. Let t(d) = 10*d + 2. Let a(c) = -4*i(c) - 11*t(c). Let n be a(-10). Let j = n - -183. Is 27 a factor of j?
True
Let h(u) = u**3 + u**2 + u. Let r be h(0). Suppose r*c + 6 = 3*c. Suppose -2*m + 2*l = -m - 25, 5*m + c*l - 149 = 0. Does 8 divide m?
False
Suppose u + 5*h = -13, 2*u - 5*h = -0*h + 49. Let j be 6/(-10) - u/(-20). Suppose j - 22 = -a. Is a a multiple of 8?
False
Suppose 0 = t + 5 + 1. Let j be (-3 - (-24)/9)*t. Suppose j*d + 2 - 30 = 0. Is d a multiple of 14?
True
Let s = 665 - 237. Is 107 a factor of s?
True
Let w be ((-63)/(-4))/(-3 - 55/(-20)). Let n(q) = 3*q. Let d be n(1). Does 12 divide w/(-3)*5/d?
False
Let k = 13 + -11. Let h = 101 + k. Is h a multiple of 6?
False
Let h = -22 - -42. Does 13 divide 195/6*72/h?
True
Let m be 15/3 + -1*4. Suppo