2 - q*(-1)/(-3). Suppose 3*y = 0, 5*s + 3*y = -u*y + 335. Is s a multiple of 14?
False
Let g(b) = 79*b + 188. Does 27 divide g(13)?
True
Let m(h) = 41*h**2 + 46*h + 4. Is m(-4) a multiple of 28?
True
Suppose 5*l = d + 2*d + 24, -2*d - 6 = 0. Suppose -147 = 3*t + 2*z - 6, -z - l = 0. Let o = 69 + t. Is o a multiple of 24?
True
Let k be ((-60)/(-24))/(1/18). Let s = k + -11. Suppose s - 6 = f. Is f a multiple of 14?
True
Suppose 17083 + 28733 = 92*w. Does 27 divide w?
False
Suppose 639 - 105 = 3*g + 3*d, 2*g - 340 = 2*d. Let o(i) = -2*i - 7. Let y be o(-6). Suppose -y*f + g = -2*f. Is 29 a factor of f?
True
Let a = 45 + -40. Suppose 19 = -a*m + 44. Suppose -2*s + 735 = m*s. Is s a multiple of 35?
True
Suppose 4*s - 49 = 7. Suppose 4*a + 5*m = -0*a + 29, 3*m - s = a. Does 21 divide (a - -61) + 1/1?
True
Let p(a) = a**2 - 7*a - 8. Let i(m) = 2*m**2 - 14*m - 15. Let k(l) = 3*i(l) - 5*p(l). Is k(12) a multiple of 16?
False
Suppose -54 = i + i. Let p = i + 27. Suppose -5*h + 89 - 19 = p. Is h a multiple of 14?
True
Suppose -g = -4*g - 5*r - 95, 0 = -g + 2*r - 39. Suppose 3*b + 63 = 6*b. Let x = b - g. Does 13 divide x?
False
Suppose -3*q - 12 = 0, -2*o - 3*q + 85 + 541 = 0. Is o a multiple of 11?
True
Suppose 8*j - 205 = -5*s + 3*j, j = 4*s - 179. Let l = -12 + s. Is 5 a factor of l?
False
Is 38 a factor of 1/((-40908)/3720 + 11)?
False
Let k be (-2)/(-11) - 450/55. Does 16 divide (-323)/(-4) - (-6)/k?
True
Suppose -5*h - v + 30 = 0, -5*v = -h + 2 - 22. Let t(d) = -6 + d + d**2 - 5*d**3 + 2 + h. Is 2 a factor of t(-1)?
True
Let g(i) be the second derivative of 5*i**3/6 - i**2 - 6*i. Suppose 4*y - 15 = 1. Is g(y) a multiple of 9?
True
Let a = 174 - 61. Let i = a - 43. Does 35 divide i?
True
Suppose -k + 3*v - 126 = 0, -2*k - 129 - 78 = 3*v. Let m = -75 - k. Is 8 a factor of m?
False
Let u(c) be the second derivative of -2*c**3/3 + 3*c**2/2 - 2*c. Let w be u(-5). Suppose 0 = -f + 31 + w. Is 18 a factor of f?
True
Suppose -d = -4*d - t + 14, -t + 26 = 5*d. Let c = 218 - d. Does 50 divide c?
False
Suppose -5*o + 220 = 5*z, 3*z + 19 = 4*o + 158. Does 39 divide z?
False
Suppose 0 = -2*w - 0*w + 880. Suppose 3*v - 3*r - 618 = 0, -r = 2*v + 4*r - w. Does 35 divide v?
True
Let l(x) be the first derivative of -x**3/3 + 17*x**2/2 + 4*x + 18. Is l(12) a multiple of 8?
True
Let w(l) = -15*l - 4. Let q = 31 + -35. Does 16 divide w(q)?
False
Suppose 4*w = 4*t - 176, 2*w + 223 = 4*t + t. Is t a multiple of 37?
False
Let g(n) = -34*n + 68. Is g(-24) a multiple of 8?
False
Let u be 3/1 + (-6 - -5). Is 8 a factor of u/(-4) + 580/8?
True
Let a(z) = -109*z + 40. Is 16 a factor of a(-4)?
False
Let c = -419 - -717. Does 5 divide c?
False
Let m be 2/(-11) + 3528/44. Let l be 24 + -3*4/6. Suppose m = 3*a - l. Is a a multiple of 17?
True
Let v(u) be the second derivative of u**3/6 + 6*u**2 + 6*u. Is 2 a factor of v(-5)?
False
Let s be 114/(-9)*(-8 + -1). Suppose 3*v = 2*v + s. Suppose v = 4*u + 42. Is 3 a factor of u?
True
Let r(l) = 107*l**3 - l**2 + l. Let c be r(1). Let w = 61 + c. Is 20 a factor of w?
False
Let r(g) = g + 11. Let z be r(-9). Let l be -1*z*32/(-4). Suppose 3*d = -i + 20, 3*d - 2*i - l = -i. Is 3 a factor of d?
True
Let n(r) = r. Let g be n(2). Suppose -o = -5*b + 198, g*o + 3*o = -3*b + 102. Let z = -21 + b. Is 4 a factor of z?
False
Let q(y) = y**3 + 16*y**2 + 14*y + 32. Is 12 a factor of q(-11)?
False
Let y(h) = -h**2 - 9*h - 6. Suppose t + 2*a = -t - 16, -3*t = -a + 8. Is 14 a factor of y(t)?
True
Is ((-3)/((-9)/1371))/((-2)/(-2)) even?
False
Let p(a) = a**2 + 3*a + 6. Let f be p(-3). Suppose -f*k = -10*k + 372. Is 14 a factor of k?
False
Let n = 21 + -20. Suppose -3*z + 7 = n. Is 6 a factor of (-105)/(-20)*2*z?
False
Let f(i) = -i**3 + 11*i**2 - 13*i. Let x = 97 + -88. Is f(x) a multiple of 5?
True
Suppose -3*s - 3*c = 30, -2*c - 5 = 3. Suppose -72 = 5*o + 2*b - 5*b, 0 = o + 2*b + 17. Is o/s*(-140)/(-25) a multiple of 14?
True
Let y(t) be the second derivative of t**4/12 - t**3 + 6*t**2 - 3*t. Let s be y(9). Let b = 78 - s. Is 13 a factor of b?
True
Let i = 2991 + -2466. Does 23 divide i?
False
Let m(d) = 33*d**2 + 9*d - 30. Is 6 a factor of m(3)?
True
Let y(f) = f**3 + f**2 + f + 8. Let q be y(0). Let u = q + -10. Is 2 - (u + -34 + -1) a multiple of 13?
True
Let y(k) = -37*k - 5. Let s be y(-1). Let o = -121 - -171. Let r = o - s. Is r a multiple of 8?
False
Let u = 2513 + -2373. Is u a multiple of 5?
True
Let q = 2068 - 1393. Is 9 a factor of q?
True
Let w(p) = 31*p**2 + 10*p + 39. Is 12 a factor of w(-3)?
True
Is 30 a factor of 1319/4 - 9/(-36)?
True
Let r(b) = -3*b**2 - 2 + 9*b**2 - 2*b + b**3 + 2 - 4. Let c be r(-6). Let s = 38 - c. Is s a multiple of 10?
True
Let n be ((-20)/4)/(2/12). Is 9 a factor of 6/n - 1338/(-15)?
False
Let i(q) be the third derivative of q**4/24 + 5*q**3/3 - 2*q**2. Let w be i(10). Is 11 a factor of (-153)/(-5) - 12/w?
False
Let s(j) = -6 - 2 + 0*j - 5 - j. Let q be s(-11). Is (q - (-45 + -3)) + -3 a multiple of 23?
False
Suppose 5*g + 5*p = p, g - 29 = 5*p. Suppose m - 4 = 0, -4*m = -g*y + 26 + 38. Does 12 divide y?
False
Suppose -u = -5, 2*u - 368 = -3*j + 4*u. Is j a multiple of 11?
False
Let w(c) = c**2 - 10*c + 11. Let v be w(10). Let y = 15 - v. Is 1*(2 + y - -1) a multiple of 7?
True
Suppose f - 5*v + 4 - 1 = 0, v = 3. Let n = -10 + f. Suppose -9 + 52 = 2*a - t, 2*t + n = 0. Does 7 divide a?
True
Suppose -54*p + 59*p = -j + 73, -2*j + 2*p = -86. Does 2 divide j?
True
Suppose 23885 = 35*k - 13915. Is k a multiple of 90?
True
Let n be ((-4)/(-3))/((-12)/(-36)). Let r(w) = w**3 + 5*w**2 + 3*w - 2. Let s be r(-4). Suppose -s*x - o - 1 = -4, 9 = -n*x - 5*o. Is 4 a factor of x?
True
Let v(u) = 2*u**2 - u. Let w be v(2). Suppose -w*r = -r. Let f(b) = b**2 + b + 33. Does 11 divide f(r)?
True
Let o(s) = -66*s**3 + 2*s**2 - 3*s - 4. Let h be (-4)/6*(-12)/(-8). Is 7 a factor of o(h)?
False
Let a(n) = 28*n**3 - n**2 - n + 1. Let g = 8 + -4. Let m be ((-6)/g)/((-3)/2). Is a(m) a multiple of 11?
False
Suppose 2*z = 5*z + 27. Let q = -112 - -65. Is 12/z*(q - -2) a multiple of 30?
True
Let w be 2/((-4)/(-4)) - -3. Suppose 0 = -m - 2*t - 2, -w*m - t - t + 6 = 0. Suppose 2*g - m*f - 101 = -11, -g + 4*f = -54. Is 11 a factor of g?
False
Suppose -3 - 6 = -3*i. Suppose -i*z + 198 = 3*z. Does 8 divide z?
False
Let m = 113 + -105. Is m - 6 - (-131)/1 a multiple of 19?
True
Let l be ((-8)/6)/((-30)/225). Let a(j) = -2*j + 57. Is a(l) a multiple of 32?
False
Suppose -2*r + 6 = r. Suppose r*j = 11*j - 945. Is j a multiple of 6?
False
Suppose 4*w = -5*n + 21, -3*n + 10 = 2*w - n. Suppose -v + 9 = -w*f - 7, -4*f = -2*v + 28. Suppose 4*t - v = -0. Does 2 divide t?
False
Let b = -782 + 2042. Is b a multiple of 105?
True
Suppose i = -3*v + 25, -8 = 2*i + v - 68. Suppose i*a + 90 = 34*a. Is a a multiple of 10?
True
Let f be (-33 + -2)*(-18)/21. Is (f/25)/(46/(-50) - -1) a multiple of 11?
False
Suppose 3*f = -5*h + 614, -4*f + 11*h = 6*h - 842. Suppose -n = -3*r + 132, -5*n + 43 - f = -4*r. Is r a multiple of 15?
True
Let t = 42 + 31. Is t a multiple of 4?
False
Suppose -4*j - 748 = 7*j. Let n = -33 - j. Is n a multiple of 2?
False
Suppose 0 = 2*k - 12*k + 14580. Is 18 a factor of k?
True
Let x(o) = -7*o + 49. Is x(5) a multiple of 5?
False
Let f be (-3)/(-12) + (-15)/(-4). Suppose -t - 153 = f*t + p, 2*t = -5*p - 75. Let z = 65 + t. Is z a multiple of 21?
False
Suppose 762*f = 745*f + 39695. Does 5 divide f?
True
Is 2 + 6 - (-1100 - -42) a multiple of 13?
True
Let l = -100 - -19. Let h = -62 - l. Does 3 divide h?
False
Let x(q) = 10*q**2 + 2. Is 4 a factor of x(1)?
True
Let w(x) = 3*x - 13. Let k be w(5). Suppose 264 = 4*c - k*c. Does 33 divide c?
True
Suppose 0 = 2*u + 1 - 5. Let o(p) = 89*p - 2. Does 19 divide o(u)?
False
Suppose 3129 = 23*t - 5289. Is t a multiple of 21?
False
Let t(s) = -19*s - 22. Let o be t(9). Let q = o + 291. Let i = q + -51. Does 12 divide i?
False
Let y(j) = 18*j**3 - 3*j**2 - 1. Let s be y(2). Let v = s + 9. Is v a multiple of 35?
True
Let o be (-5)/(-3 + (-1 - -3)). Suppose -c - j + 15 = -6*c, o*j = -4*c - 12. Is 7 a factor of (1 - c)/((-3)/(-6))?
False
Let j(b) = -b**3 + 12*b**2 + 6*b - 16. Is 24 a factor of j(12)?
False
Let d be -1 - 1 - 1*3. Let n(t) be the third derivative of t**5/15 + t**4/8 - t**3/2 - 7*t**2