1, 2*c + k - 1 = 5*c. Is w(c) a multiple of 12?
True
Let g(n) = -4*n + 10*n + 1 - 2*n - n**2. Is g(2) a multiple of 3?
False
Let n(b) = 79*b**3 - b**2 + 2*b - 1. Let l be n(1). Suppose 3*t - 4*t + l = 0. Is 27 a factor of t?
False
Let w = -6 + 38. Does 6 divide w?
False
Does 21 divide (5 + -6 - 0/3)*-42?
True
Suppose 6*p + 504 = 3384. Does 68 divide p?
False
Let p(f) be the third derivative of 11*f**5/20 - f**4/12 + f**3/6 - 2*f**2. Let v(o) = o - 6. Let b be v(7). Does 16 divide p(b)?
True
Let s = 52 - 25. Let t = s + -66. Let m = -22 - t. Is 17 a factor of m?
True
Let i = 22 - 11. Suppose -u = -3*w + 4, i = -3*w - 2*u + 6*u. Suppose f - 9 = -w*a + a, -12 = -3*a - f. Is a a multiple of 2?
False
Suppose 0 = -5*z + 4*z + 5. Suppose -4*t + 3 = -z. Is t even?
True
Suppose -b = 4*b - 15. Does 4 divide (-8)/b*(-12)/8?
True
Is 12 a factor of (-1)/4 + (-97)/(-4)?
True
Let m be ((-12)/(-5))/(4/50). Let f be (-12)/m + (-22)/(-5). Suppose -f = -d + 1. Is d even?
False
Suppose 0 = 2*p - 74 + 6. Does 19 divide p?
False
Let w = -34 - -63. Suppose 4*r + k - w = 0, -25 = -4*r - 0*r + 3*k. Does 7 divide r?
True
Let r be (-9*(-2)/3)/1. Let y be 5/15 - 68/r. Let g = 24 + y. Is 10 a factor of g?
False
Let t be 3/(-1) - (-2)/(-2). Let h(d) = -15*d + 5. Let p be h(t). Suppose k - 4*k + a + p = 0, -5*k + 90 = 2*a. Does 10 divide k?
True
Suppose 0 = -0*u + 4*u + 12. Is (-167)/u - 2/(-6) a multiple of 14?
True
Let f(q) = -4*q + 2*q - 6 - 4 + 4. Let j be f(-4). Is j/5 - 252/(-20) a multiple of 8?
False
Suppose -4*m + p + 2*p = -168, m - 3*p - 42 = 0. Is 7 a factor of m?
True
Suppose -3*d = -2*d - 4. Let o(w) = -w**2 + w - 2. Let h(v) = 2*v**2 - v + 4. Let q(m) = d*h(m) + 9*o(m). Is 4 a factor of q(2)?
True
Let z(h) = h**3 - 9*h**2 + 9*h - 4. Let u be z(8). Suppose 0 = -2*v + 6 + 4, 2*d = u*v + 134. Suppose -4*s = -3*f + 53, d = 3*f + 3*s - s. Is 8 a factor of f?
False
Suppose 0 = 2*h + 10, 475 = 2*r - h - 0*h. Suppose 19 - r = -4*b. Suppose b = 2*t - 6. Does 11 divide t?
False
Let p be (12/(-8))/(3/(-8)). Does 13 divide -2 + p + (-41)/(-1)?
False
Suppose 3*s - 85 = 122. Does 16 divide s?
False
Suppose -h + 8 = 3. Suppose 2*q - h*q + 207 = 0. Is q a multiple of 23?
True
Let a(o) = -o**3 + 5*o**2 + 5*o + 3. Let k be a(5). Let i = k - -6. Does 17 divide i?
True
Does 12 divide ((-15)/(-2))/((-441)/112 - -4)?
True
Suppose -9 = 4*k - 25. Suppose 31 = l - k. Does 9 divide l?
False
Suppose -4*t = t - 10. Let h be 1198/5 - t/(-5). Suppose 2*v - 5*l - h = -2*v, l = 4*v - 224. Is 17 a factor of v?
False
Let d = -40 + 65. Is d + -3 + 0/1 a multiple of 15?
False
Let v = 8 + -4. Suppose 4*j = 6 + 2. Suppose 2*w - 95 = -b, -w + j*b - 143 = -v*w. Is 12 a factor of w?
False
Let i = -38 - -14. Does 3 divide (-6 + -1)*i/28?
True
Let a(t) = -3 + 9 - 6 - 8*t. Does 8 divide a(-2)?
True
Let a be -3 + 4/2 - -103. Suppose d - 4*d + a = 0. Does 12 divide d?
False
Let u = -19 - -17. Let t(q) = 3*q**2 - 2*q + 1. Is t(u) a multiple of 8?
False
Let y = -5 + 7. Suppose -q = -y - 0. Suppose 6*j - j - 5*n = 185, q*n - 157 = -5*j. Does 12 divide j?
False
Let n(w) = -w**2 - w + 17. Suppose 0 = -3*r - 0*r. Let q be n(r). Let f = q + 10. Is f a multiple of 13?
False
Let t = 510 + -359. Suppose -n - 2 = 0, 4*d + 5*n - t = 11. Is d a multiple of 14?
False
Let t(g) = 5*g**2 - 2*g - 4. Let l(c) = 14*c**2 - 5*c - 11. Let a(w) = 4*l(w) - 11*t(w). Is a(-3) a multiple of 3?
True
Let v = -83 - -123. Is v a multiple of 16?
False
Let z(v) = 2*v**2 + 6*v - 5. Is z(-5) a multiple of 7?
False
Let s be 12/(-18)*(-6)/(-4). Let y be (-9*1)/(s/2). Let a = y - 10. Does 4 divide a?
True
Let j = 18 - 6. Suppose -a + j = a. Let q = -3 + a. Does 2 divide q?
False
Let s = -167 - -263. Suppose 0 = -w + 6*g - 2*g - 17, 3*g = -3*w - s. Let f = -18 - w. Is 6 a factor of f?
False
Let z = -1 + 3. Let p(j) = -2*j**3 - 2 + 3*j**3 + 88*j - 89*j + 2*j**2. Does 6 divide p(z)?
True
Let j be 27/6*2/3. Suppose -j*g + 0 + 33 = 0. Is g a multiple of 5?
False
Let a = 2 + -1. Let u = 4 + a. Is u/(-20) + 69/4 a multiple of 10?
False
Suppose -2*j - 4 = -4*j. Let c = 4 + j. Does 3 divide c?
True
Let y(q) = -q**3 + 9*q**2 + 8*q - 9. Let g be y(6). Suppose -g + 47 = -4*t. Does 11 divide t?
False
Suppose 2*w + w = -12. Let i = 0 - w. Suppose 2*u + 4*n = i*u - 34, -4*n - 13 = u. Does 7 divide u?
True
Suppose -2 = 5*x - 87. Does 9 divide x?
False
Let b(r) = 4*r**2 - 5*r - 4. Let v be b(4). Suppose -5*t + 3*q + 11 = 4*q, -14 = -5*t - 4*q. Suppose -t*z = -0*z - v. Does 10 divide z?
True
Let a be 2*(1 + (-126)/(-4)). Let o(f) = -f**3 - 3*f**2 - 4*f + 8. Let v be o(-4). Let i = a - v. Does 12 divide i?
False
Let c(a) = -2*a**3 - 2*a**2 - 3*a - 3. Let f be c(-3). Let v = f - 23. Is 17 a factor of v?
False
Let a be (-18)/6*2/(-3). Let d(m) = a + m - 5 + 0. Is 6 a factor of d(10)?
False
Suppose -10*n = -14*n. Suppose n = -4*u + 3*c + 6 + 131, 4*u + c = 125. Does 9 divide u?
False
Suppose 5*j - 15 = 0, 4*t - 3*t - 2 = j. Let d be 24/t + (-4)/(-20). Let u = d - -23. Is u a multiple of 16?
False
Suppose -4*b + 2*b = 0. Suppose b = 4*u - 3*u. Let g(d) = -2*d + 44. Is g(u) a multiple of 12?
False
Let k(d) = -d**2 - 8*d + 3. Let f be k(-6). Let w = f - -1. Is 10 a factor of w?
False
Let a be (9/(-6))/(3/(-4)). Suppose -45 = -g + d + 11, a*d = -g + 44. Is g a multiple of 19?
False
Let v be 4/18 + (-166)/18. Let c = v - -20. Does 11 divide 2/c + 1413/33?
False
Let x be (-1*6*1)/1. Let s = x - -21. Does 15 divide s?
True
Let t(k) = -k + 2. Is 3 a factor of t(-5)?
False
Let j = -33 - -68. Is 2 a factor of j?
False
Let r(g) = -g**2 + 7*g - 4. Let w be r(5). Let h(f) = 7*f - 4. Does 19 divide h(w)?
True
Suppose 0 = -4*h - 3*s + 145, -5*h + 78 = s - 95. Does 26 divide h?
False
Let d = 33 - -35. Is d a multiple of 17?
True
Suppose 0 = -4*z + z - 6. Is 6 a factor of (-1)/z + (-108)/(-8)?
False
Let z = 6 + -3. Let q = z - 10. Let r = 30 + q. Is r a multiple of 12?
False
Let r(v) = v**3 + 10*v**2 + 8*v + 3. Let z be r(-9). Suppose -7 = u - z. Does 2 divide u?
False
Suppose 3 = 3*j, 2*j - 3 = 2*d - 11. Suppose m = -d + 23. Suppose 0 = -3*n + n + m. Is 3 a factor of n?
True
Let c = -1 - -1. Let j(v) = -v + 7 + c*v + 0*v. Is j(3) a multiple of 4?
True
Suppose 135 = 4*p + 3*i - 0*i, 3*i + 129 = 4*p. Is p a multiple of 13?
False
Suppose 3*p = -2*p - 210. Is p/(-4) - 1/2 a multiple of 4?
False
Suppose 32 = i + 2*w - 5*w, 5*w - 16 = -i. Is ((-195)/i)/((-1)/2) a multiple of 5?
True
Suppose g + 4*h = 5, -5*g + 2*h = -15 - 10. Suppose 0 = 2*u + 3*c - 40, -c - 20 - 114 = -g*u. Let y = 41 - u. Is y a multiple of 12?
False
Suppose -z + a = 3*z - 160, 5*a = z - 59. Is 11 a factor of z?
False
Suppose 3*i = -2*v - v + 15, 2*i = 3*v. Suppose 0 = -3*j + 10 + v. Is 4 a factor of j?
True
Let z = 19 + -16. Is z a multiple of 3?
True
Let r(v) = 2*v**2 - 2*v + 2. Is r(-6) a multiple of 13?
False
Let c = -2 + 7. Let l = 3 - -12. Suppose 0*o - l = -4*o - c*a, 0 = o + 5*a. Is 5 a factor of o?
True
Let r(y) = -y**3 + 10*y**2 + 4. Let n be r(10). Suppose -22 + n = -3*h. Is h even?
True
Let p = 20 + -10. Is 6 a factor of p?
False
Let t be 0 - (-53 - 0 - 2). Let s(h) = 7*h**2 - 2*h + 1. Let v be s(1). Suppose c - v*c + t = 0. Does 5 divide c?
False
Let i(g) = 2*g**2 + 4*g + 6. Is i(-4) a multiple of 22?
True
Suppose 91 = n + 3*i, -97 = -2*n - 5*i + 84. Suppose 5*h = 2*r - n, -46 = 5*h - 3*r + 41. Let d = -13 - h. Is d a multiple of 3?
False
Suppose 4*s - 4 = -4*f, 9 + 13 = 2*f - 2*s. Is 3 a factor of f?
True
Let x(k) = k + 3. Let c be 3*2/4*-2. Let n be x(c). Suppose 4*a + 5*d + 133 = 326, n = -2*d + 10. Is a a multiple of 13?
False
Suppose 0 = 4*h - 3 + 11, 0 = -4*c - h - 18. Does 15 divide (-3)/(-1)*(1 - c)?
True
Let f be (-4)/(-14) + 12/(-42). Suppose f = -4*i + 34 + 14. Is 7 a factor of i?
False
Let x be 4/(-14) + 144/14. Let r(p) = p**2 - x*p - 2*p**2 - 1 + 2. Does 11 divide r(-7)?
True
Let z(k) = -k + 16. Let f be z(13). Let m(p) = 13*p + 1. Is m(f) a multiple of 10?
True
Let j(p) = p**2 - 13*p + 13. Let l be j(9). Let y = l - -68. Does 15 divide y?
True
Is (5/2)/(3/36) a multiple of 6?
True
Let o(l) = -2*l. Let m(u) = -2*u**2 + 3*u - 2. Let y be m(2). Is o(y) a multiple of 3?
False
Let j be (-4)/(-6)*9/2. Suppose 14 = j*g + 4*f, -4*g + 0*f + 2 = 2*f. Let v = g + 4. Is 2 a factor of v?
True
Let 