 be (-2)/10 - (-10)/50. Suppose 3*s - 2*s - 137 = b. Suppose -r + 21 = -5*m, -5*m = 2*r + 35 - s. Is 6 a factor of r?
False
Suppose -k + 5*i = 16, 2*k - 2 = 5*i - 19. Let u(p) = -38*p**3 + 2*p**2 - 1. Is u(k) a multiple of 10?
False
Let p(b) = b**2. Let v be p(2). Let m = 232 + -146. Suppose -v*k + m = -154. Does 15 divide k?
True
Let t = 43 + -46. Does 17 divide 1452/15 - t/15?
False
Let d(l) be the third derivative of l**6/120 - l**5/6 + 5*l**4/8 - l**3/2 - 7*l**2. Suppose 17 = 2*v - 1. Is 15 a factor of d(v)?
False
Suppose 3*p - g - 60 = 0, -3*g - 22 = 3*p - 70. Suppose -p = -3*w - 22. Let m(z) = 19*z**2 + z. Is m(w) a multiple of 7?
False
Let m(k) = 93*k + 142. Does 13 divide m(7)?
True
Suppose 4*l - 1284 = -3*j, 0 = 2*l + 2*j - 667 + 27. Let c = -129 + l. Is c a multiple of 15?
True
Suppose 4*m - 20 = 0, 10 - 21 = 2*i - 3*m. Suppose 0 = -i*r + 4*p + 259 - 27, -5*r + 580 = p. Does 6 divide r?
False
Let g = -51 + 49. Let s(f) = 13*f**2 + 4*f + 3. Let o(m) = -66*m**2 - 20*m - 16. Let w(d) = 2*o(d) + 11*s(d). Is 7 a factor of w(g)?
False
Let g = 2756 - 2180. Does 49 divide g?
False
Let a(n) = 7*n + 96. Let s be a(-13). Suppose 5*p = -5 + 15. Suppose -p*h = -s*u - 105, -181 = -2*h + 2*u - 61. Is 19 a factor of h?
False
Suppose -w = 2*u + u - 35, -40 = -2*u - 4*w. Let q = 17 - u. Does 6 divide q?
False
Let a(v) be the first derivative of 2*v**3/3 + 7*v**2/2 + 3*v + 36. Let b = -8 - -3. Is a(b) a multiple of 18?
True
Let g(t) be the third derivative of 0 + 0*t - 1/12*t**4 - 5/3*t**3 - 8*t**2. Is 2 a factor of g(-7)?
True
Suppose 0*d - 3*d + 17 = 2*u, -3*d + 4*u + 29 = 0. Let n(b) = b**3 - 3*b**2 + 6*b - 26. Is n(d) a multiple of 12?
False
Let d(t) be the third derivative of -t**5/60 + 2*t**4/3 + t**3/2 + 3*t**2. Let h(a) = -a**3 + 5*a**2 - 3. Let x be h(3). Is 18 a factor of d(x)?
True
Let x(t) = 131*t + 2. Let y(r) = 130*r + 2. Let j(g) = 2*x(g) - 3*y(g). Does 14 divide j(-1)?
True
Suppose -9*g - 50 = g. Does 14 divide (-23 + (-20)/g)/(1/(-11))?
False
Let w(h) = 2*h + 42. Let u be w(-14). Suppose 0*y = 3*y - 21. Is 28 a factor of y/u + (-410)/(-4)?
False
Suppose -4*i = -3*f - 76, 2*i + 2*f - 38 = 5*f. Let o be (i/(-5) - -3)*10. Let u(h) = -2*h. Is u(o) a multiple of 8?
True
Suppose -8*j - 48 = -12*j. Let b(r) = -r**2 + 11*r + 12. Let s be b(j). Suppose s*t = -t + 17. Is 8 a factor of t?
False
Suppose r - 3*w = w + 28, 3*w = 15. Let p = 68 - r. Is 2 a factor of p?
True
Suppose s = 4*s - 54. Let f(h) = h**2 + 2*h. Let x be f(-2). Let r = x + s. Is r a multiple of 9?
True
Suppose 5*v = -4*x + 13415, -2*x + 5445 = 3*v - 2602. Does 19 divide v?
True
Suppose 0 = -i + x + 15, -3*i + 0*x + 21 = 5*x. Is 15 a factor of (9 + 1)*(-90)/i*-3?
True
Let n = 34 - 22. Let t be (3/2)/(n/32). Is 9 a factor of 4 + (-2 - -29) - t?
True
Let w be (0 - 1)*(-9 + 6). Let d be w*-1*(-53)/3. Suppose -2 + 10 = 4*v, -3*t = -2*v - d. Does 13 divide t?
False
Let y(l) = l**2 - 8*l - 7. Let a(j) = -j**3 - 4*j**2 + 3*j - 3. Let s be a(-5). Let z be y(s). Let u = z + 33. Is u a multiple of 11?
False
Suppose 0 = 8*l - 5*l - 444. Let m = 253 - l. Is m a multiple of 15?
True
Let l = -224 + 267. Does 2 divide l?
False
Let u(j) = -7 - 477*j + 478*j + 29. Is 4 a factor of u(-8)?
False
Let g(d) = d**2 + 7*d - 5. Let b be g(-8). Suppose -3*c + 525 = 4*r, 0 = 7*r - b*r. Is c a multiple of 35?
True
Let u(l) = -9*l - 23. Let b be ((-6)/7)/(5/35). Is 31 a factor of u(b)?
True
Let u(j) = 7*j**2 - 6*j - 17. Suppose 2*i = 19 - 9. Does 16 divide u(i)?
True
Suppose -4*x + 83 = -21. Is 6/(-39) + 4814/x a multiple of 14?
False
Let p(c) = -c**3 + 8*c**2 - c + 10. Let q(a) = a + 14. Let t be q(-6). Let n be p(t). Suppose -n*y = 3*y - 240. Is 21 a factor of y?
False
Let c = -709 - -805. Let w(y) = 7*y**3 + 2*y**2 + 3*y + 1. Let x be w(-2). Let t = x + c. Is t a multiple of 25?
False
Let y be ((-32)/(-28))/8 + 58/(-14). Does 28 divide y/10 - ((-644)/10 - 1)?
False
Suppose k = 4*j + 48, -j = 4*k - 105 - 36. Let n be ((-168)/k)/(1/3). Is 15 a factor of 8/n + (-2328)/(-56)?
False
Let v = -9 - -19. Let x be (v/(-15))/(6/(-657)). Let s = x + -26. Is 28 a factor of s?
False
Is (-19041)/(-6) + 177/(-118) a multiple of 32?
False
Let j(q) = q**2 - 6*q + 5. Let n be j(5). Let c be 7 - -1 - (3 + n). Let b(m) = 10*m + 10. Does 15 divide b(c)?
True
Is 20 a factor of 1 - -4 - -133 - -2?
True
Let u(t) = t**3 + 20*t**2 - 50*t + 21. Is 9 a factor of u(-22)?
True
Let s(w) be the first derivative of -w**3 + w**2 + 1/4*w**4 + 3*w - 2. Does 9 divide s(3)?
True
Let b(r) = r - 5. Let k be b(8). Let g(v) = 16*v + 4. Is g(k) a multiple of 15?
False
Let p(t) = -2*t**3 + 4*t**2 + 10*t - 11. Does 24 divide p(-7)?
False
Let f = 14395 + -9821. Does 122 divide f?
False
Does 15 divide (-32)/(-10)*2460/8?
False
Suppose 4*d + 155 = 59. Let h = -32 - d. Is 22 a factor of ((-259)/28)/(2/h)?
False
Does 20 divide (-8 + -89)/(5/(-75))?
False
Let l be (-136)/36 - 2/9. Let k be 16/24 + l/(-3). Suppose k*g + 15 - 65 = 0. Is 18 a factor of g?
False
Let s be (-14)/(-105) - 388/(-15). Suppose -26 - s = -4*m. Let d = m + -8. Does 3 divide d?
False
Is (14/6 - -3)*702/72 a multiple of 13?
True
Let f(o) = 0*o + 3967*o**2 - 3960*o**2 - 4*o. Suppose -2*z - 6 = -4*s, -3*s + 5*z - 4 = 2. Does 14 divide f(s)?
False
Let m(g) = -g**2 - g + 12. Suppose -5*y = -2*i - 66, -5*i = 4*y - 4*i - 45. Let h = -12 + y. Is m(h) a multiple of 12?
True
Suppose -35 - 62 = t. Does 11 divide (-24)/(-9) + -2 - t/3?
True
Suppose k - 4*k = 60. Let g be (k/(-6))/2*-102. Does 9 divide g/(-20) + (-2)/(-4)?
True
Let r(q) = q - 8. Let o be r(14). Let i be 21/6 + 3/o. Suppose f - 48 = -3*f + 4*b, 16 = i*b. Is 8 a factor of f?
True
Let x be 5/((-2612)/(-652) + -4). Suppose -3*t - 2*n + x = -n, -2*n - 1090 = -4*t. Does 17 divide t?
True
Let z = 386 + -290. Does 4 divide z?
True
Let m be (24/(-14))/(2*3/(-21)). Suppose -m*f - 1235 = -19*f. Is f a multiple of 5?
True
Let l = 18 + -11. Suppose 240 = l*r - 2*r. Let w = r - 20. Does 14 divide w?
True
Let v be 3 + -6 + 8 + -3. Let k(m) = 9*m + 2. Let g(y) = y. Let f(j) = -6*g(j) + k(j). Is f(v) a multiple of 2?
True
Let h = -2497 + 5292. Is h a multiple of 13?
True
Let t = -15 - -7. Let h = 13 + t. Suppose h*n - 3*j - 74 = 0, 4*j + 2 = -10. Does 13 divide n?
True
Suppose 294*t - 300*t = -3360. Does 56 divide t?
True
Let j(r) = 2123*r**2 + 3*r + 5. Is j(-1) a multiple of 25?
True
Let v be (-1)/2*0/(-1). Suppose 4*q - 427 = -d, v*q - 4*q - 5*d + 407 = 0. Is q a multiple of 27?
True
Let y be (-9)/(-3) + (28 - 4). Suppose m - 3*v - y = -2*v, -3*m + 4*v + 86 = 0. Does 8 divide m?
False
Let i(b) = -6*b - 7. Let l be i(-2). Suppose -212 = -l*f + 448. Does 16 divide f?
False
Suppose -7*j + 5197 = 3*t - 3*j, -3*j + 6934 = 4*t. Does 138 divide t?
False
Let o = 10 + -15. Let c be (-1)/o + 28/10. Suppose c*i - 92 = -i. Is 7 a factor of i?
False
Let f be (-188)/2*(-3)/(-6). Let u be -2*(19/(-19))/((-4)/150). Let y = f - u. Is 7 a factor of y?
True
Let t = -3 + 11. Let w = -825 - -1255. Suppose 3*y + w = t*y. Does 27 divide y?
False
Let g(j) = 2*j + 8. Let i(x) = x - 1. Let k(y) = -g(y) - 12*i(y). Let t be k(-4). Let p = t - 6. Is 11 a factor of p?
False
Let k be 2 + (-1 - (1 - 4)). Suppose 4*z + 12 = k. Does 12 divide 10*(z - -3) - -2?
True
Let c be (4/2 - 2)/(-2). Let t be (-10)/(-6 - (c - 4)). Suppose -t*h = 4*d - 157, d - 2*h + 6*h - 42 = 0. Does 20 divide d?
False
Suppose 29 = 4*u + f - 2*f, 0 = -u - 3*f - 9. Suppose 2*j = u*j - 2*p - 114, -j = 5*p - 23. Does 24 divide j?
False
Suppose 2*q + 3*r = 4, -3*q + 19 = -7*r + 5*r. Suppose -4*z - q*o = -188, 0*z - o = 2*z - 88. Is 8 a factor of z?
False
Let j(y) = -8*y + 152. Does 10 divide j(-21)?
True
Suppose 2*n = -4*o - 37 - 27, -o + 39 = -2*n. Let f = n + 23. Is 22 a factor of f*(1 + 1) + 86?
True
Let x(v) = -v**3 + 18*v**2 + 24*v - 31. Is 32 a factor of x(19)?
True
Suppose 5*b - 51 = 3*p + 2, 2*p = -2*b - 30. Let s(r) = r + 21. Is s(p) a multiple of 2?
False
Suppose -237 = -3*v + 36. Suppose -268 = -3*t - 5*l, -t = 4*l - 2*l - v. Suppose 4*n = d - 7, 3*d - t = -3*n - 0*n. Is 10 a factor of d?
False
Let m(z) = -26*z - 24*z**2 + 13*z**2 - 39 + z + 12*z**2. Does 6 divide m(27)?
False
Let q(c) = 2*c**2 + 69*c + 84. Is 32 a factor of q(-36)?
True
Let p = 70 - 58. Suppose 0 = d - 5*z - 67 - p, 4*d - 411