r be 2/(-6) - 1/(-3). Suppose r = -2*w + w - 2. Does 14 divide 46/4*(w - -4)?
False
Let l = 5 + 2. Suppose 34 = x + l. Does 27 divide x?
True
Let v(n) = 4*n - 4. Let m = 5 - 1. Let d be v(m). Is (-3)/d + (-61)/(-4) a multiple of 15?
True
Suppose 2*s - 10 = 5*a, -4*s = -0*a - a - 20. Let u be 27 - 1/(-2)*a. Suppose 0 = -4*w + w + u. Is w a multiple of 5?
False
Let o(z) = -16*z + 2. Is o(-5) a multiple of 27?
False
Let r = -1 + 1. Suppose r*z + 5*z - 160 = 0. Is z a multiple of 16?
True
Let u(k) = 4*k**3 + 5*k**2 - 4*k - 8. Let d(q) = 3*q**3 + 3*q**2 - 3*q - 5. Let y(i) = -7*d(i) + 5*u(i). Let j be y(4). Is 0 + j - (-31 + 0) a multiple of 15?
True
Let n(m) = 2*m**2 - m. Let w be n(-1). Suppose w*s - 4 = -s. Does 4 divide 1 - s - (1 - 5)?
True
Suppose 0 = -2*v - 3*s + 16, 0 = 4*v - 4*s - 0*s + 8. Let b(y) = -3*y + 6 + 0*y**v + y**2 + 0*y**2. Does 8 divide b(5)?
True
Let y(g) be the second derivative of 2*g**4/3 - g**3/3 + g**2 - 8*g. Let h = 0 - -2. Is y(h) a multiple of 15?
True
Is 21 a factor of (396/(-48))/((-3)/16)?
False
Let k = 182 + -30. Is k a multiple of 19?
True
Suppose 0*c = 2*c - 108. Does 12 divide c?
False
Let b = 109 + 59. Does 14 divide b?
True
Suppose 4*c + 36 = -4*b, -2*c - 2*b + b - 23 = 0. Suppose 0*x = 5*x. Let u = x - c. Is 4 a factor of u?
False
Suppose f + 76 - 25 = 0. Let n = f + 93. Does 14 divide n?
True
Suppose 4 = h - 0. Suppose 4*v - 3*v - h*u = -25, 0 = u - 5. Does 8 divide (-42)/v + (-2)/5?
True
Let s be 7/(1*1/(-12)). Let l = s + 119. Does 13 divide l?
False
Let h(r) = r**3 - 8*r**2 - r + 10. Let s be h(8). Does 5 divide (2/s)/1 - -14?
True
Let n be (-16)/(-3) + (-4)/(-6). Let f = n + -4. Does 6 divide 66/10 - f/(-5)?
False
Let x(t) = -t**3 - 4*t**2 - 4*t - 2. Let m(c) = -c. Let g be m(3). Let q be (5 - 1)/(g + 2). Does 7 divide x(q)?
True
Let s(g) = -g**2 - 2*g. Let u be s(-2). Let d = 17 - 15. Let o = d + u. Is o even?
True
Suppose 7*f = 3*f. Let w(z) = -z**3 + z**2 + 4*z + 23. Let t(j) = -j**3 + j**2 + 3*j + 22. Let a(y) = 5*t(y) - 4*w(y). Does 12 divide a(f)?
False
Let y be 6/4*20/6. Suppose -2*x = -x + 3*l - 26, -y*l = 4*x - 97. Is x a multiple of 8?
False
Suppose 0 = 5*h + 14 + 6. Is (10/(h/2))/(-1) even?
False
Suppose 3*x = 45 - 150. Let o = x - -71. Is 12 a factor of o?
True
Let k = 113 + -83. Does 30 divide k?
True
Suppose 0 = -4*y - 0*y + 60. Suppose -5*a = l - y, 16 = 4*l + a - 6. Suppose -3*u + l*u - 20 = 0. Does 10 divide u?
True
Let v = -8 + 17. Does 9 divide v?
True
Let u be (-6)/(-4) + (-1)/(-2). Suppose 0 = u*q + 5*b + 42, 3*b + 41 = -3*q + b. Let k = q + 22. Is 11 a factor of k?
True
Suppose 40 = -5*p + p. Let c(f) = -2*f - 8. Let i be c(6). Is 5 a factor of i/3*15/p?
True
Suppose -2*r = -4*z - 10 - 12, r = -3*z + 11. Is r a multiple of 6?
False
Suppose -3*j - 33 = -4*j. Suppose 4*u - 148 = -0*u. Suppose -5*r + j + u = 0. Is r a multiple of 8?
False
Suppose 2*k + 2*k - 20 = 0. Suppose -11 + 1 = -k*i, -3*i - 158 = -2*v. Does 18 divide v/2 - -2 - -1?
False
Suppose -x + 4*m = -3*x, -2*m = 5*x + 8. Let i(p) = -5*p - 1. Is i(x) a multiple of 3?
True
Let g(p) = 17*p**2 - 18*p + 3. Does 5 divide g(2)?
True
Let f be 0 - (-1 + 1)/1. Suppose 7 = -3*g + 34. Suppose g = m + o - 6*o, m + 2*o - 2 = f. Does 3 divide m?
False
Let u(y) = y**3 - 16*y**2 + 3*y + 53. Is 18 a factor of u(16)?
False
Let w(y) = -y**3 - 7*y**2 - 7. Let o(l) = 1. Let f(i) = 3*o(i) - w(i). Let c be f(-7). Let q = 26 - c. Is 16 a factor of q?
True
Suppose 10*a - 110 = 5*a. Is a a multiple of 11?
True
Suppose 0*k = -k. Suppose k = 5*x - 38 + 3. Does 6 divide x?
False
Let t(a) = a**2 + 2. Let d be t(2). Suppose -4*s + 94 + d = 0. Is 5 a factor of s?
True
Suppose -r - 5*k = -13, 2*k + k + 3 = 3*r. Suppose 3*f - 38 = -2*q, 2 = 2*f - r*f. Does 11 divide q?
True
Let k = 119 + 41. Is 40 a factor of k?
True
Suppose 2*f + 0*f - 151 = 3*p, -4*p - 308 = -4*f. Is f a multiple of 10?
True
Let o(p) = p**3 - 3*p**2 + 3. Let x be o(3). Suppose -x*l = -12 - 18. Is l a multiple of 5?
True
Let q(i) = 2*i**2 - 3*i - 1. Let o be q(3). Is o + -1 - (2 - 1) a multiple of 4?
False
Let u(c) = c**2 - 2*c - 4. Let k be u(-4). Let y be (-5)/35 + (-3)/(-21). Suppose t + y = k. Is 20 a factor of t?
True
Let u = 16 - 7. Suppose -3*v + u + 9 = 0. Is 2 a factor of v?
True
Let c(o) be the third derivative of -5*o**4/24 + 5*o**3/6 - 2*o**2. Is c(-4) a multiple of 7?
False
Let n(x) = x**3 + 3*x**2 + 3*x. Let p = 4 - 6. Let y be n(p). Is 33/y*20/(-15) a multiple of 6?
False
Is 33*(-7)/(-3) - 3 a multiple of 12?
False
Does 8 divide (-80)/(-6)*(-21)/(-10 + 3)?
True
Let b be (-10)/3 - (-1)/3. Let n(y) = -9*y**3 + 2*y**2 - 15. Let k(t) = -5*t**3 + t**2 - 8. Let p(x) = 11*k(x) - 6*n(x). Is p(b) a multiple of 10?
True
Does 27 divide (-12)/9*-102 + (1 - 2)?
True
Let y be 33*(4/(-3) + 0). Let c = -14 - y. Is c a multiple of 8?
False
Let f = 22 - 13. Let w be (-1)/(-2) - f/2. Let u = 12 + w. Is 3 a factor of u?
False
Let a(x) = -2*x**3 + x**2 - x. Let t(v) = -v - 8. Let j be t(-7). Let w(m) = 2*m**3 + m**2 - 1. Let d be w(j). Is 9 a factor of a(d)?
False
Suppose 3*h - 8*h + 435 = 0. Does 29 divide h?
True
Suppose 4 + 4 = -4*z. Let b be 4 + z + (-4)/(-2). Suppose p - 23 = -b*p - t, -3*p - 5*t = -5. Is p a multiple of 3?
False
Let k be (17/(-4))/(2/(-8)). Suppose -v + k + 1 = 0. Is v a multiple of 9?
True
Let a(d) = d**2 - 12*d - 7. Let t(x) = x**2 - 11*x - 6. Let k(g) = 5*a(g) - 6*t(g). Let l(z) = z**3 + 6*z**2 + 3*z - 7. Let n be l(-5). Is k(n) a multiple of 5?
True
Suppose 0 = -2*h - h + 156. Is h a multiple of 13?
True
Suppose -4*b + 57 = 2*w - w, 3*w = 4*b - 69. Does 5 divide b?
True
Let m(o) = 11 - 11 - 2*o. Is m(-1) a multiple of 2?
True
Suppose 7*r - 3*r = 4. Does 5 divide 3*15/9*r?
True
Let x(i) = 4*i + 1. Suppose 0*m + 3*m = -6. Let g be x(m). Let z(l) = -l**3 - 7*l**2 - 2*l + 3. Is 6 a factor of z(g)?
False
Let l(w) = 3*w**3 - 6*w**2 + 6*w + 9. Let p(i) = -8*i**3 + 18*i**2 - 18*i - 26. Let u(g) = 11*l(g) + 4*p(g). Is u(-6) a multiple of 12?
False
Let t be 1 + 3 + -5 - -2. Does 15 divide -5 + 1 - (-79)/t?
True
Suppose 6*d - 5*d - 46 = 0. Is 8 a factor of d?
False
Let j(b) = -b**3 - b**2 + 3*b + 1. Let h(a) = -a**2 + a - 1. Let t be h(2). Let p be j(t). Suppose -u + 51 = -m - 4*m, 2*m = -p. Is 12 a factor of u?
False
Suppose -5*y + 60 + 415 = p, 4*y + 5*p - 359 = 0. Suppose 4*m - y = 2*m. Is 17 a factor of m?
False
Suppose 1260 = 2*g + 5*g. Is 24 a factor of g?
False
Let x be (-2)/4 - (-5)/2. Suppose -2*h + 5*m - 20 = 0, 0 = -x*h + 3*m + m - 22. Is 17 a factor of 85*(1 + 9/h)?
True
Suppose 5*w - 3*i + 2*i = -2238, 4*i + 904 = -2*w. Is w/(-21) + 1/(-3) a multiple of 7?
True
Let f(v) = v**3 + 6*v**2 + 5*v + 12. Does 6 divide f(-5)?
True
Suppose -5*d = 4*f - 59, -2*f + d = -3*f + 16. Let p be (-2)/8 + f/4. Suppose 45 = p*m - 15. Does 12 divide m?
True
Let j be -103 - (8/4)/2. Let z = -55 - j. Is 12 a factor of z?
False
Suppose b - 2*b + 399 = 4*i, 197 = 2*i + 3*b. Is 10 a factor of i?
True
Let v(q) = -q**3 - 17*q**2 + 11*q + 30. Does 39 divide v(-18)?
True
Is 8 a factor of (3 - -210 - 0/1) + 4?
False
Let k(p) = 6*p + 2. Let l be k(-2). Is 16 a factor of l/15*-4*12?
True
Suppose -309 = -12*u + 339. Is 6 a factor of u?
True
Let q be -7*(180/14 - 0). Let n = q + 130. Does 10 divide n?
True
Suppose i - 241 = -5*x, 17 = -x - 4*i + 69. Is 15 a factor of x?
False
Let u = 20 - 12. Let j = 3 + u. Suppose -b = -j + 5. Is 3 a factor of b?
True
Let k = -2 + -4. Let y be (1 + k/9)*9. Suppose -4*i = -y*i - 26. Is 11 a factor of i?
False
Let i(n) = n**2 + 3*n - 3. Let f be i(-3). Let j be 15/(-9) + (-2)/f. Is 11 a factor of ((-1)/2)/(j/40)?
False
Suppose 15 = -4*c - 5. Let m = c - -12. Is m a multiple of 5?
False
Let f(y) = 99*y - 3. Is 15 a factor of f(2)?
True
Let l = 145 - 26. Does 17 divide l?
True
Let p(c) = -3*c - 3. Let g(u) = 7*u + 6. Let k(q) = -2*g(q) - 5*p(q). Does 9 divide k(11)?
False
Suppose 3*c - 60 = -2*f - f, 0 = -2*f + c + 43. Is 21 a factor of f?
True
Let g(y) = y**2 - 5*y - 9. Let t(k) = -k**2 - 6*k - 1. Let n be t(-4). Is 5 a factor of g(n)?
True
Let c(s) = 2*s. Suppose r = -3*r + 4. Let o be c(r). Suppose 2 = o*v - 8. Is v even?
False
Let g be (-2 + -23)/(-1 + 0). Let f be (58*-6)/(4 - 3). Does 20 divide f/(-10) + 5/g?
False
Suppose 0 = 3*d - o - 9, 5*d - 6 = 2*d + 2*o.