se 110 = w*u - 70. Is u a multiple of 18?
True
Let t = 1788 - 1070. Is t a multiple of 19?
False
Is 16 a factor of 5/(-3) + 5964/36 + -5?
False
Let j(x) = 7*x**3 - 3*x**2 + 8*x - 18. Is 46 a factor of j(4)?
True
Is 115 a factor of (15/(-40))/3 - (-115464)/64?
False
Let c(w) be the third derivative of -1/60*w**5 - 5/8*w**4 + 0*w + 13/6*w**3 + 0 - 4*w**2. Is c(-10) a multiple of 9?
True
Let j = 1928 - -2654. Is j a multiple of 79?
True
Let a(y) = 4*y + 46. Is 14 a factor of a(-8)?
True
Let q(s) = -14*s - 19. Let c be q(-14). Let i = c - 31. Is 34 a factor of i?
False
Let d(h) = -h**2 + 13*h - 28. Let y be d(9). Does 47 divide y/3*282/8?
True
Suppose -4*o - 5316 = -5*w, -59*w + 63*w - 5*o = 4260. Is w a multiple of 5?
True
Suppose x - 5*x - l + 135 = 0, 4*x - 132 = -4*l. Suppose x = 5*p - 4*s - 0*s, 5*p = -s + 54. Does 5 divide p?
True
Suppose 0 = 5*z - 3*z - 16. Suppose 0 = -3*f - f - z. Let l = 64 - f. Is 17 a factor of l?
False
Suppose 8*b + 7308 = 20*b. Does 6 divide b?
False
Let a be (5/(-3))/((-5)/(-15)*-1). Let n be (-8)/(-28) - 16/7. Is 9 a factor of (-86)/(-10) - n/a?
True
Let y(n) = -2*n - 3. Let m be y(-3). Suppose 0*x + 234 = -m*x. Does 32 divide -1*(-2 + -1) - x?
False
Let a = -553 + 1066. Is 27 a factor of a?
True
Let d(y) = 3*y**3 - 10*y**2 + 6*y - 7. Let v(o) = -o**2 - 1. Let r(g) = -d(g) + 3*v(g). Let b be r(4). Is 13/39 + b/(-6) a multiple of 10?
False
Suppose 3*o = -6*o + 10413. Does 89 divide o?
True
Suppose 942 = -5*w + 8462. Is 32 a factor of w?
True
Let p(s) = 10*s**3 + 2*s**2 - s + 3. Let m(r) = -12*r**3 - r**2 - 4. Let u(z) = -2*m(z) - 3*p(z). Is u(-4) a multiple of 41?
False
Let d = 14 - 8. Suppose 0 = 9*f - d*f + 81. Let k = f - -72. Is k a multiple of 14?
False
Let r(c) = c**3 + 8*c**2 + 6*c - 7. Suppose 4*y + 163 = 4*z - 137, 3*z = 5*y + 375. Let m be (6/(-9))/((-10)/y). Is r(m) a multiple of 9?
False
Suppose -10 = v - 186. Does 3 divide v?
False
Suppose j = -5*o + 1180, 4*o - 48*j = -49*j + 943. Is o a multiple of 15?
False
Let l(i) = 17*i - 136. Does 6 divide l(14)?
True
Suppose 6*t - 1246 = 26. Suppose 0 = 2*o - t - 112. Does 18 divide o?
True
Suppose -4*j + 3*j = -3. Suppose -3*h + 9 - j = 0. Suppose 4*f - 86 = h*f. Is 19 a factor of f?
False
Suppose 3*t - 8 = -2*s + 31, -4*t = 5*s - 87. Suppose 10*u - 30 = s*u. Let f = 5 - u. Is 11 a factor of f?
True
Let b(y) = 1312*y**2 + 4*y + 4. Does 32 divide b(-1)?
True
Suppose 1534*s = 1524*s + 23920. Is s a multiple of 90?
False
Suppose -l + 192 = -5*m + 2*l, 96 = -3*m - 3*l. Let p(j) = -j**2 - 14*j. Let d be p(-9). Let k = d - m. Is 23 a factor of k?
False
Is (4/(-10))/(-1 + 14556/14560) a multiple of 11?
False
Suppose -12*d + 3081 = -9015. Is 9 a factor of d?
True
Let y be 198/(-30) - 3/(-5). Let o(z) = z + 16. Does 6 divide o(y)?
False
Suppose 5*x - 538 = -178. Suppose -a + 16 = 2*v + 2*v, -a + 18 = 3*v. Let j = x - a. Does 10 divide j?
False
Let l(q) = -3*q**3 + 2*q**2 - 1. Let v be l(-1). Let h(x) = 3*x**2 - x + 16. Is 20 a factor of h(v)?
True
Let q(t) be the second derivative of -2*t**3/3 - t**2/2 - 3*t. Let d be q(-1). Suppose 0 = -r + 3 + d. Does 2 divide r?
True
Let z = -226 - -282. Does 16 divide z?
False
Let t be (-94)/((-5)/(-1 + 6)). Suppose t = 3*z - 110. Is z a multiple of 11?
False
Suppose -32*t = -24*t - 600. Does 4 divide t?
False
Suppose -4*y + 6*y - 228 = -4*t, -4*y + 516 = -4*t. Is 27 a factor of y?
False
Suppose 3 + 9 = -2*m. Let y be (-15)/1*2/m. Suppose 3*z = 2*h - 72, h + y*z = -0*h + 36. Is 12 a factor of h?
True
Let r(c) = c**3 + 11*c**2 + 11*c + 8*c**2 - 18 - 5*c**2. Is r(-11) a multiple of 25?
False
Suppose -2*f = 2*f + 552. Let o = f - -211. Is o a multiple of 30?
False
Let b be (-2030)/21 + 1/(-3). Let y = 64 + b. Does 5 divide 0 - y/(4 + -1)?
False
Let y(u) = 16*u**2 + 35 - 76 + 33 - 6*u**2 - 8*u. Is y(-3) a multiple of 13?
False
Is 3226*(-4)/(-36)*-3*-3 a multiple of 23?
False
Suppose 4 = 4*f, -f + 6 = -2*a + 39. Let z(d) = 2*d - 7. Is z(a) a multiple of 4?
False
Let h(j) = -j**2 + 8. Let s be h(3). Let u = s + 29. Does 3 divide u?
False
Suppose 8 = -4*z + 6*z. Suppose -2*n = -z*n + 30. Let j = -5 + n. Is 2 a factor of j?
True
Suppose 0*k - 3*k - 149 = 4*z, -55 = 2*z - 5*k. Let r = z + 116. Suppose 5*w = 184 + r. Is w a multiple of 11?
False
Let z(b) = -b + 2. Let p(d) = -d + 9. Let n be p(8). Let k be n/1*(-7 + 4). Is z(k) a multiple of 5?
True
Let r(p) = p**3 - 9*p**2 - 62*p + 11. Is 9 a factor of r(14)?
False
Suppose 2*p + 2*p - 20 = 0. Suppose 34 = k + 5*l - l, -p*k - l + 227 = 0. Let h = k + -19. Does 9 divide h?
True
Let v(w) = w + 0*w + 2 + 14*w**2 - 9*w. Does 13 divide v(3)?
True
Let o(m) = -68 + 47*m + 59*m - 123*m + 2. Is o(-7) a multiple of 15?
False
Let s = 73 - 10. Does 23 divide s?
False
Suppose 0 = -8*x + 3*x - 15. Suppose -h = 3*r - 0*h + 30, r + 5*h + 10 = 0. Is 5 a factor of r/((-6)/x)*-1?
True
Let s(j) = 127*j + 5. Does 26 divide s(5)?
False
Let c = 4084 + -2995. Is 11 a factor of c?
True
Let z be -6*(60/(-8) + 5). Let h(n) = 3*n + 39. Does 21 divide h(z)?
True
Suppose 0 = -2*q - 5*n - 0*n - 30, 5*n - 30 = 4*q. Let l = 25 + q. Is 2 a factor of l?
False
Suppose 474 + 60 = 2*t - 4*a, -2*t = a - 509. Does 13 divide t?
False
Let u = 66 + -52. Let i = u + 265. Is i a multiple of 31?
True
Let y be (4/3)/((-8)/(-12)). Suppose 0 = 3*i - 5 + y. Does 19 divide (-132)/(-2) + i - -1?
False
Suppose -3*t + 12 = 0, -t = 3*m - 2*m - 1. Does 42 divide (-48 - -3)*(m + (-20)/12)?
True
Let k = 44 - 52. Let s = 96 - k. Is s a multiple of 26?
True
Let i be 4 + ((-1)/1)/1. Suppose i*c - 425 = -38. Suppose 2*w = -w + c. Is 23 a factor of w?
False
Is 6/(-4 - 2) - -855 a multiple of 14?
True
Let a(l) = 5*l**2 + 43*l + 29. Let v(x) = -2*x**2 - 22*x - 14. Let o(m) = -3*a(m) - 7*v(m). Is o(19) a multiple of 25?
True
Suppose -60*v + 35999 + 258061 = 0. Is 12 a factor of v?
False
Let h(s) = s**2 - 9*s + 12. Let y = -12 + 20. Let u be h(y). Let i = -1 + u. Does 2 divide i?
False
Let z(p) = p**2 + p + 29. Let x(u) = u**2 + 2*u + 29. Let q(m) = -3*x(m) + 4*z(m). Is q(9) a multiple of 9?
False
Let x(c) = 3*c**3 + 2*c**2 - c + 1. Let o be x(-2). Let t = o + 35. Suppose 60 = 2*y + 2*s, y - s - t = -0*s. Is 13 a factor of y?
True
Suppose s = -8*s + 1854. Is 14 a factor of s?
False
Let n = -13 + 14. Suppose -5*u + n = -44. Let j = u + 33. Is j a multiple of 7?
True
Let h(y) = y - 2. Let n be h(-7). Let s be (-1 + (-4)/(-3))*n. Is (216/(-4))/(s/2) a multiple of 12?
True
Suppose -4*m + 3*o = -797, -7*o + 405 = 2*m - 2*o. Does 19 divide m?
False
Suppose -i - 4*n + 8*n = 137, -i = 2*n + 125. Let h = -88 - i. Is h a multiple of 16?
False
Let k(i) = 29*i + 326. Is 6 a factor of k(-4)?
True
Suppose 0 = 691*g - 693*g + 1330. Is g a multiple of 95?
True
Let g = 37 - 203. Let j = -10 - g. Does 13 divide j?
True
Suppose 20*w = 19*w + 480. Is w a multiple of 16?
True
Suppose 0*w = w - 5*z - 78, -3*w - z = -170. Let v = w - -56. Does 19 divide v?
True
Let h be ((-108)/135)/(2/(-265)). Let m = 221 - h. Is m a multiple of 9?
False
Let f be (-4)/(-10) - (-4)/(-10). Suppose 10*d - 4*d - 528 = f. Is 22 a factor of d?
True
Suppose -5*k + 80 = -0*k. Suppose 0 = -i - 9 - k. Let a = 49 + i. Does 12 divide a?
True
Let o = 15 + -7. Let a(s) = s - 2. Let g be a(o). Let u = 39 - g. Is 11 a factor of u?
True
Let s be (-1*3)/(5/(-45)). Let p = 107 - s. Is p a multiple of 20?
True
Let u = 578 - 532. Is u a multiple of 46?
True
Suppose 3*b - 6*b + 14 = 4*s, -b = -s. Suppose 12 + b = m. Let f = m - 8. Is f a multiple of 6?
True
Is (-5)/(30/(-196))*(3 + 3) a multiple of 12?
False
Is 4606/42 + 2/(-3) a multiple of 22?
False
Suppose -2*t - 212 + 55 = 3*r, 3*r - 5*t = -122. Let o = r + 89. Does 19 divide o?
False
Does 64 divide (-2234)/(-12) - (5 + 4)/54?
False
Let w = 35 - 32. Suppose -3*t + 4*k + 81 = 5*k, t + w*k = 19. Is 6 a factor of t?
False
Suppose 3*h - 520 - 47 = 0. Let c be 7/35 - h/(-5). Suppose c - 149 = -3*l. Is 9 a factor of l?
False
Suppose 2*h = -4 + 8. Suppose -h*k - 9 = -5*k. Suppose -c - k = -0*c, 0 = -5*z + 2*c + 466. Is 30 a factor of z?
False
Let r = -170 + 883. Is 51 a factor of r?
False
Let p(a) = -a**2 - 8*a + 82 + 2*a**2 - 95. Let k(m) = -2*m - 1. Let g be k(-6). Is 15 a factor of p(g)?
False
Let i(u) = 6*u + 11. Let f be (2 - -1) + 1 + 1. Is i(f) a multiple of 