12. Suppose -27 - 42 = -5*k - 2*y, 0 = 3*k - f*y - 57. Does 4 divide k?
False
Suppose 0*d = d - 2. Suppose -8 = -d*g + 4*o, -3*o - 30 = 5*g + 2. Does 11 divide 45/g*(-24)/9?
False
Let s(r) = -6*r - 23. Let n be s(10). Let x = 139 + n. Does 14 divide x?
True
Let q be ((-150)/(-7))/(3/126 + 0). Suppose -225 = -j + 2*t, -q = -4*j + 2*t - 4*t. Is j a multiple of 19?
False
Suppose -13*h + 12*h = -8. Let i(m) = -m**3 + 9*m**2 - 5*m - 9. Is 15 a factor of i(h)?
True
Let q be 6 + ((-15)/3)/5. Suppose 13 = x - 4*v - 3, q*x - 42 = v. Is x a multiple of 4?
True
Suppose 165 = 7*g - 10. Does 5 divide g?
True
Suppose 10*w - 5*w + 9 = 3*v, -4*w = 3*v + 18. Let f(o) = -3*o - 2. Let t be f(v). Suppose 3*n + 2*n - 167 = -b, t*n - 3*b = 126. Is n a multiple of 29?
False
Is 9 a factor of 4/((126/6165)/7)?
False
Let t(a) = -2*a + 4. Let o be t(3). Let x be -2*13/(65/60). Is (o - (-5)/3)*x a multiple of 3?
False
Let u be ((-10)/(-5) - 1) + (71 - 0). Let z = u - 9. Does 8 divide z?
False
Let s = -1330 - -1895. Let v = -394 + s. Is v a multiple of 19?
True
Let b be (5 + -9)/(2*-1). Suppose b*q + q - 90 = 0. Is q a multiple of 7?
False
Let c be 8 + 0 - (1 + 1). Suppose 0 = -c*s + 5*s + 4. Suppose -s*a - 2*z = -84, -4*a + 0*a = 5*z - 84. Is a a multiple of 7?
True
Suppose -2*l + z = -7, -19 = -5*l + 3*z + z. Suppose -l*k = -6*k + 15. Is k a multiple of 2?
False
Let k(y) = 107*y**2 - 29*y + 73. Is k(3) a multiple of 73?
True
Let n be 0 - (-2 + 2)/(-3). Let a be 2 - -1*n/4. Suppose 117 = 5*k - c - 51, -a*k = -4*c - 60. Is 8 a factor of k?
False
Suppose 3*d = -0*d + 9. Suppose 2*l + d = 11, g = 4*l + 133. Does 13 divide g?
False
Suppose -2*t + h - 11 = -3*t, 57 = 3*t - 5*h. Suppose 2*o - 3*s = t + 23, 4*o - 67 = -s. Is o a multiple of 3?
False
Let v(d) be the third derivative of d**6/120 - 7*d**5/60 - d**4/24 + 17*d**3/6 - 11*d**2. Is 4 a factor of v(7)?
False
Suppose 4*i + 16 = 0, 6*q - 3*q + 11 = -5*i. Suppose 19 = 4*b - o, -2*b = -4*o - q - 3. Suppose -b*d + 12 = -3. Is 2 a factor of d?
False
Suppose -2*o - o = 2*u + 76, -132 = 4*u - 4*o. Let s = -1 - u. Let z = s + 11. Is 18 a factor of z?
False
Let i be 3/(-1) + 11 + -6. Suppose 5*w - 118 = -i*b, 141 - 22 = 5*w + b. Is 4 a factor of w?
True
Let c(u) = -17*u - 233. Is c(-39) a multiple of 10?
True
Let r(x) = 1125*x**2 - x. Let f be r(-1). Suppose 0 = 5*z - 3*h - f, 0*h = 5*z + h - 1118. Is z a multiple of 32?
True
Suppose 4*i - i = 0. Suppose -4*q = -k + 16, 2*k + 12 = -3*q - i*q. Suppose -3*x = -s - k - 4, -5*s + 40 = 5*x. Is 5 a factor of s?
True
Let s = 82 - 58. Suppose o + 0*o = s. Is 5 a factor of o?
False
Let s(x) = 14*x**2 + 41*x + 12. Is 3 a factor of s(-4)?
True
Suppose -7*w + 4*w + 5*q = -10903, -3*q = 5*w - 18217. Does 14 divide w?
False
Suppose 0 = -5*d - j + 2682 + 6368, j - 7239 = -4*d. Is d a multiple of 36?
False
Let i(s) = 6*s + 27. Let q be i(-14). Let d(b) = 3*b**2 - 3*b + 9. Let p be d(6). Let r = p + q. Is r a multiple of 21?
True
Suppose 0 = 2*b - 6, 3*k - 2*b + 0*b - 45 = 0. Let x = k - 5. Is 12 a factor of x?
True
Does 12 divide 10640/208 - (-2)/(-13)?
False
Let n be (-1607)/(-9) + 20/45. Let a = 334 - n. Is 56 a factor of a?
False
Is 162 - ((-7)/3)/(-7)*18 a multiple of 13?
True
Suppose -7 + 21 = 2*a. Let c(d) = 23*d - 18. Is c(a) a multiple of 25?
False
Let o(r) = 5*r + 13. Let l be o(-2). Suppose 654 = 3*i - 2*x, l*i - 3*x - 424 = 230. Is 17 a factor of i?
False
Let z be 2*(392/16)/(-7). Let w(i) be the first derivative of i**2/2 + 16*i - 1. Is w(z) a multiple of 6?
False
Let k(w) = -2*w**3 + 2*w - 4. Let t be k(-3). Suppose 3*c - 149 = -2*u, 5*c - 265 = -3*u - t. Is 11 a factor of u?
False
Let y(f) = 3*f**2 - f - 2. Let k be y(3). Suppose k = 3*o - 32. Is o a multiple of 3?
True
Suppose -3*o = 2*n - 501, 2*n - o - 152 = 345. Let p = n + -123. Is 9 a factor of p?
True
Let r(a) be the third derivative of a**3 - 1/60*a**5 + 0 - 13/24*a**4 - 6*a**2 + 0*a. Is r(-10) a multiple of 10?
False
Let w(o) = 188*o**3 - 3*o**2 + 2*o. Let u be w(1). Let k = 424 - u. Is 52 a factor of k?
False
Let o(t) = -t**3 - 18*t**2 - 65*t - 6. Is o(-15) a multiple of 8?
False
Let w(v) = 4*v**2 - 5*v + 15. Does 45 divide w(8)?
False
Let o(d) = -d**2 + 19*d + 9. Let k be o(19). Does 2 divide -12 + k - (-7 - 2)?
True
Let l(a) = -a**3 + 4*a**2 + 6*a. Let g be l(5). Suppose 14 = g*n + 2*h + 3, 3*h - 9 = -5*n. Suppose -10 = -n*o + 11. Is 7 a factor of o?
True
Let c(b) = b**2 + 6*b + 2. Let m be c(-2). Let f(s) = -3*s. Let t be f(m). Suppose -4*x - t = -3*o, 2*o - 4*o = -x - 17. Is 10 a factor of o?
True
Suppose -3960 = -25*u + 415. Is u a multiple of 7?
True
Is 1*(3 - (-3 - -2) - -702) a multiple of 5?
False
Let o(c) = 19*c**2 - 2*c - 32. Let d be o(8). Suppose -8*z = -0*z - d. Does 26 divide z?
False
Suppose 8*m + 35 = -61. Does 12 divide (-486)/(-63)*(-112)/m?
True
Suppose 2*d - 3*n = -102, -184 = 4*d - n - 0*n. Let j = d + 75. Does 5 divide j?
True
Suppose -5*o + 29 = 2*s, -2*o - 6 = -4*s + 16. Suppose -s*l = -4*l - 15. Suppose 6 + 11 = 3*d - 5*p, -l*d + 5*p = -45. Is 3 a factor of d?
False
Suppose -3 = x - 0, 5*y - 1506 = -3*x. Does 13 divide y?
False
Let s be (-9 - -13)*7/4. Suppose -154 - 49 = -s*q. Is q a multiple of 6?
False
Let d(n) = n**2 + n + 1. Suppose 0 = -6*y + 2*y. Let r be d(y). Is (4/(-8))/(r/(-6)) a multiple of 3?
True
Let g = -24 - 102. Let k = 152 + g. Is 13 a factor of k?
True
Let t(q) = q**3 + 7*q**2 + 6*q. Let h be t(-6). Suppose 516 = 4*p - h*p. Does 9 divide p?
False
Suppose -32*o + 26*o + 2658 = 0. Does 9 divide o?
False
Let i = 971 + -296. Is i a multiple of 5?
True
Let i(b) = 6*b - 15. Let m(q) = -q**3 - 10*q**2 + 13*q - 4. Let h be m(-11). Let o = -16 - h. Is i(o) a multiple of 15?
True
Let y = 32 - 46. Let s = y + 32. Is 6 a factor of s?
True
Suppose -2*j - 10 = 0, 4*w + 4 = 3*w - j. Let q = 8 - 13. Let n = w - q. Is n a multiple of 6?
True
Is (-10640)/(-9) + 1 + (-20)/90 a multiple of 91?
True
Let r(k) = -938*k - 152. Is r(-4) a multiple of 9?
True
Let z(q) = q**3 + 20*q**2 - q + 16. Does 11 divide z(-19)?
True
Suppose 6*k = 57*k - 14229. Does 94 divide k?
False
Let n = 226 + -128. Suppose -97*a + n*a - 60 = 0. Is 3 a factor of a?
True
Let k(g) = 22*g + 6*g**3 + 19 - 21*g**2 - 4 - 5*g**3. Does 12 divide k(20)?
False
Let z(t) = 6*t - 1. Let u = 67 - 65. Is z(u) a multiple of 11?
True
Let y be 16/2*217/(-28). Is y*(-1 + (-5 - -4)) a multiple of 28?
False
Suppose -4*q + 2*q - 5*i = -27, 4*q + 2*i = 46. Suppose 5*y - 26 = -q, 2*y - 1005 = -3*b. Is 37 a factor of b?
True
Let q = -1 - -181. Suppose 36 = x - m, -m = -5*x - 2*m + q. Is 10 a factor of x?
False
Is 4 a factor of (6*4/15)/((-32)/(-1280))?
True
Suppose -14*i - 1899 = 831. Suppose 5*t + 29 = 2*p, 0 = p - 4*t + 11 - 33. Does 6 divide p/(-3)*i/10?
False
Let k be 6/4*4/6. Let h be ((2 - k)*-1)/1. Does 20 divide ((-62)/(-3) + h)*3?
False
Let d = 199 - 140. Suppose 63*f - d*f - 44 = 0. Does 4 divide f?
False
Suppose 5*t - 3*s - 1770 = 0, 4*t - 2*s - 1062 = t. Let n = t - 207. Let f = n + -67. Is 24 a factor of f?
False
Suppose m + 17480 = 21*m. Is m a multiple of 19?
True
Let h = 224 - 182. Is 6 a factor of h?
True
Let p be (-2*1)/((-4 + 2)/2). Is 11 a factor of (1/p)/((-6)/11616*-8)?
True
Suppose 4437 = 32*h - 3*h. Is 51 a factor of h?
True
Let i = 11 + -10. Let n be (i + 57)/(6/12). Suppose -3*m - b = -100, -3*b = 3*m + 2*b - n. Is m a multiple of 9?
False
Let m(c) = -c**2 - 16*c - 15. Let f be m(-15). Let i be (f - 0)*(-3)/(-3). Suppose 0 = -5*p - i*p + 205. Is p a multiple of 7?
False
Let d(a) be the second derivative of -2*a**3/3 + 9*a**2 - 19*a. Does 4 divide d(0)?
False
Let c(t) = -898*t - 19. Is c(-1) a multiple of 71?
False
Let l(c) = 10*c - 38. Let f(z) = z**3 - 3*z**2 + 6*z - 2. Let i be f(3). Is l(i) a multiple of 61?
True
Let q = 34 - 34. Suppose q = -3*w + 9, 0 = 4*r - 0*r + 4*w - 40. Is 7 a factor of r?
True
Suppose -6*j + 264 = -5*j + 5*r, -5*r - 5 = 0. Is j a multiple of 10?
False
Let n(t) = 8*t**2 - 8*t + 19. Is n(6) a multiple of 15?
False
Let m be 129/(-4) + 6/(-8). Let h = -79 - m. Does 9 divide h/(-5) - 6/30?
True
Suppose -4*x + 12137 = -3*s, 5*x + 76*s - 71*s - 15215 = 0. Is x a multiple of 14?
True
Suppose 103 = 3*q - 92. Suppose -176 = 4*j + n + 2, -4*j - 5*n - 170 = 0. Let g = j + q. Does 5 divide g?
True
Let c = 