?
False
Let w(u) = 4*u**2 - 30*u - 17. Does 66 divide w(10)?
False
Suppose 1885 = 4*k - 1047. Is 52 a factor of k?
False
Suppose -s + 6*s - 1125 = 0. Suppose -4*c - 204 = -4*p, 4*p + s = -5*c - p. Let m = -10 - c. Is 23 a factor of m?
False
Let g = -31 + 52. Suppose -g*s - 429 = -5091. Is s a multiple of 10?
False
Let n(p) = -59*p - 14. Let g be n(-10). Let m = -286 + g. Is m a multiple of 10?
True
Let i(x) = 137*x**2 + 11*x + 20. Is 21 a factor of i(-2)?
True
Let l be ((-61)/2)/(2/4). Let v be 2 + 5/(15/(-279)). Let i = l - v. Is i a multiple of 10?
True
Suppose -4*v - 5*b - 173 = -1062, -4*v + 4*b + 844 = 0. Let a be 11/(33/v) - 0. Is (-4)/(-18) + 2864/a a multiple of 20?
True
Suppose s = -w, 6*w = 3*w + 9. Does 13 divide 84 + ((-12)/s - 2)?
False
Suppose f + 616 = 2*u, -3*u + 2*f + 931 = 7. Is 28 a factor of u?
True
Let s(x) = -293*x**2 + 146*x**2 + 148*x**2 + 37 - 2*x. Is 24 a factor of s(-15)?
False
Suppose 5*i - 3*q + 52 = 2753, 530 = i - 4*q. Is 67 a factor of i?
False
Let g = 18 - 14. Suppose -5*i - 5*t - 175 = 0, -5*i + 27 - 166 = -g*t. Let j = 52 + i. Does 7 divide j?
True
Suppose 0 = -i + 6*i + 5*l - 15, 0 = 3*l - 3. Suppose -2*o - i*w + 227 = -w, -3*o + 333 = -w. Let h = -56 + o. Does 15 divide h?
False
Suppose 11*m = 10*m + 2. Suppose m*x - 5*d - 25 = -2*d, -5*x = d - 105. Is x a multiple of 5?
True
Let b(q) = -q. Let f(t) = t - 1. Let l(s) = -5*b(s) - 6*f(s). Let r be l(9). Is (-1 - r) + -2 + 16 a multiple of 8?
True
Let h = 270 + -230. Is 2 a factor of h?
True
Suppose -j = -0*j - 99. Suppose 0 = -0*h + h - 59. Let n = j - h. Does 10 divide n?
True
Suppose 0 = -3*u + 5*m + 63 + 225, 88 = u + m. Is u a multiple of 13?
True
Suppose -2*z = -2*l + 1420 + 2204, -3*z - 7248 = -4*l. Is l a multiple of 12?
True
Let o = 99 - 97. Suppose -5*w + o*m = -929, 3*w + 2*m - 567 = -0*m. Is w a multiple of 29?
False
Let c(k) = k**3 - 5*k**2 + 6*k - 7. Let u be c(3). Is ((-14)/49 - 79/u)*19 a multiple of 39?
False
Suppose -94*a + 48 = -92*a. Let z(g) = g + 4. Let q be z(5). Suppose -q = -3*p + a. Is 11 a factor of p?
True
Let f(v) = v**3 - 5*v**2 + 5*v + 11. Let i be f(6). Suppose h = 4*c - 73, -5*h + i = 5*c + 17. Is c a multiple of 15?
False
Let f = -51 + 51. Suppose f = 4*l - 2*g - 504, 10*g = 7*g. Is l a multiple of 21?
True
Suppose -2*s - s = -2*k - 29, -3*k = s + 5. Suppose s*o = 3*o + 240. Is 11 a factor of o?
False
Let r(h) = 2*h + 2. Let w be r(0). Suppose -124 = -w*v - 4*m, -v = 3*m - 2 - 57. Is v a multiple of 17?
True
Let i(j) = 11*j**2 - 1 - 2*j + 6*j + 3. Does 9 divide i(-2)?
False
Suppose 5*l - h - 1899 = 1810, 4*l - 2973 = -5*h. Does 53 divide l?
True
Suppose 3*h = -0*h - 12, -2*c + 2 = h. Suppose 0 = k + c, 10*w - 5*w + 5*k = 50. Is 3 a factor of w?
False
Let j be ((-48)/(-72))/(1/1167). Suppose 0 = 4*x - j + 78. Suppose 3*v = -2*v + x. Is v a multiple of 23?
False
Let o = -64 - -106. Does 42 divide o?
True
Suppose -26 - 37 = -7*c. Let l = 21 - c. Is l a multiple of 4?
True
Suppose 0 = -8*w - 51 - 13. Let l(b) = -3 - 3*b**2 - b**3 + 5*b - 3 - b**2 - 3*b**2. Does 7 divide l(w)?
False
Suppose -2*d + u + 1 = 9, -5*u = 3*d + 25. Let n = -218 + 229. Let m = n + d. Is 6 a factor of m?
True
Let f(a) = -a**3 + 27*a**2 - 26*a + 4. Let c be f(26). Suppose -c*t = -4*i - 88 - 332, 0 = 4*t + 5*i - 402. Is 15 a factor of t?
False
Let c(v) = -3*v**2 - 34*v + 22. Is 6 a factor of c(-7)?
False
Let c = 3 + 14. Suppose -2*z - 4*y = -70, -c + 118 = 3*z + 2*y. Let k = -14 + z. Does 10 divide k?
False
Suppose -7*u + 5*u = -14. Suppose u*v - 15 = 4*v. Suppose q = -0*x + 3*x + 78, -4*q - v*x = -244. Does 21 divide q?
False
Suppose -11*t - 765 = -16*t. Is t a multiple of 21?
False
Suppose -3*r - 2*t = 2, 4*r + 4*t + 2 = -6. Let g be ((-10)/6)/(r/(-6)). Suppose g = 4*o + 21, -h - o = -96. Is 27 a factor of h?
False
Let s = 10 - 16. Does 34 divide (9/((-108)/680))/(2/s)?
True
Let y = 1291 + 390. Let m be (-2)/9 + y/(-9). Let w = m - -273. Is w a multiple of 26?
False
Suppose 0 = 6*k - 537 - 111. Suppose 5*d - 216 = -4*a, -d = -a - a + k. Does 9 divide a?
True
Let a(q) = -q**2 - 4*q. Let m be a(3). Let k be (-2 + 314)*14/m. Is 3 a factor of k/(-36) + (-2)/(-9)?
True
Suppose -x + 3*x = 12. Let f be (-260)/x + 8/(-12). Let s = f + 116. Is 24 a factor of s?
True
Suppose 6*s - 3*s - 5*w = 71, -3*w = -4*s + 91. Suppose -2*m + 0*m - s = 0. Let i = 18 - m. Is 6 a factor of i?
False
Suppose -3*b = -11 - 4. Suppose 4 + 31 = -b*k. Let n(a) = -a**3 - 6*a**2 + 4*a + 12. Does 11 divide n(k)?
True
Let i(c) = 3*c + 3 + 0*c - c - c. Let f be i(0). Suppose 2*u - 27 = 3*g, -u - f*g - 2*g + 33 = 0. Is 18 a factor of u?
True
Let z be (23 + 2)/(-1 + 2). Let s = z - -33. Is 9 a factor of s?
False
Suppose -8 = -2*n + 20. Let o be 112/(-4)*n/(-4). Suppose -o = -5*c + 152. Does 12 divide c?
False
Suppose 5*d = 25, -5*g + 33*d + 8355 = 37*d. Is 28 a factor of g?
False
Let g(b) = -2*b**2 + 17*b + 8. Let p be g(8). Suppose -v + 2 = -p. Does 9 divide v?
True
Let b(t) = 10*t**2 + 7*t - 5. Is 58 a factor of b(4)?
False
Suppose 2*u - 45 = -13. Let j = 4 - 0. Let w = j + u. Does 10 divide w?
True
Suppose 2*n - 371 = 5*r + 744, 0 = -2*n + 2*r + 1130. Is 15 a factor of n?
True
Let s(q) = 1 - 2 - 107*q + 106*q. Let o be s(-6). Suppose 4*f = o*h - 138, -h = -f - 2*f - 32. Does 26 divide h?
True
Suppose 5*g + 305 = 3*l + 79, -2*l - 3*g = -157. Is 20 a factor of l - (2/5)/((-5)/(-50))?
False
Is (-6)/24 + 1946/8 a multiple of 27?
True
Let u = -15 - -92. Does 7 divide u?
True
Let n = 8606 + -5816. Is n a multiple of 10?
True
Let g(j) = 23*j - 20. Let i(x) = 34*x - 30. Let q(v) = 7*g(v) - 5*i(v). Is q(-5) a multiple of 55?
True
Suppose -4*w = -5*t + 209, 2*t - 83 = -2*w - 3. Let m be 76 + 4 + -7 + 8. Let n = m - t. Is n a multiple of 20?
True
Let r(k) = 8*k**3 - 9*k**2 - 25*k + 26. Let b(p) = 7*p**3 - 9*p**2 - 24*p + 26. Let v(h) = 7*b(h) - 6*r(h). Does 14 divide v(11)?
True
Is 12 a factor of 687/13 + 30/195?
False
Let u(l) = l**2 + 25*l - 207. Does 7 divide u(-38)?
True
Suppose -6*x = -x - 3*r - 1507, -5*x + 1515 = -5*r. Is 23 a factor of x?
True
Suppose 2*q + 478 = -4*k, -k - 3*k - 473 = 3*q. Let n = 206 + k. Is 21 a factor of n?
True
Suppose 3*v - 15 = -0*v. Suppose -a - 122 = 2*p, v*a - 30 - 20 = p. Is 3 a factor of p/15 - (1 - 21)?
False
Suppose 0 = -53*p - 6019 + 49691. Is p a multiple of 10?
False
Suppose h = -4*u + 19, 2*h + 5 = 2*u + 3. Suppose -a + 2 = -h. Suppose -5*o + a*g = -o - 32, -o + 8 = -2*g. Does 5 divide o?
False
Let i(p) = 5*p + 29. Let m be i(-5). Suppose 0 = -x - 2*g + 26, 139 = 5*x + g - 0*g. Suppose -2 + 22 = 4*n, x = q - m*n. Is 24 a factor of q?
True
Let c be 2 - (0 - (53 - -1)). Suppose 0 = n + 3*n - c. Does 14 divide n?
True
Let n(v) = v**3 + 4*v**2 - 4*v - 13. Let h be n(-4). Suppose 35 = c + h*u + u, u = c - 20. Is c even?
False
Suppose -2*r = 2*t - 4*t + 24, -40 = 5*r - t. Let x = r + 4. Is -1*2 + 152 + x a multiple of 32?
False
Let o(h) = h**3 + 25*h**2 + h + 114. Is 27 a factor of o(-15)?
True
Let w = 211 + -107. Suppose -15 - w = -7*x. Is x a multiple of 17?
True
Let d = 835 + 125. Is 30 a factor of d?
True
Suppose 0 = -4*p + g + 301, 1 = g + 6. Let k = p - 0. Does 22 divide k?
False
Let s(v) = -v**3 - 2*v - 3. Let q be s(-2). Suppose 0 = -3*f - q, 3*u + 4*f = -u - 4. Suppose -4*n + 94 = u*l, 0 = 2*n - l - 13 - 36. Is n a multiple of 24?
True
Let v = -21 + 21. Suppose -b = 4*m - 68, v*m + 3*m - 4*b - 70 = 0. Does 2 divide m?
True
Suppose 172*d = 177*d - 8000. Does 80 divide d?
True
Let r be 18/21*(-21)/(-12)*-14. Let j = -7 - -43. Let b = r + j. Is 8 a factor of b?
False
Suppose -1001*u - 374 = -1002*u. Is u a multiple of 34?
True
Suppose -5*x + 57 + 93 = 0. Suppose x = 4*a - 10. Is 5 a factor of a?
True
Suppose 5*b = 2*g + 11, -5 - 8 = 2*b + 5*g. Let j = b - 11. Is (-8 - j)*(-1 - -19) a multiple of 12?
True
Let w = 16 + -11. Suppose w*s + 7 - 27 = 0. Suppose j - 5*v + s*v = 12, 0 = -j - 2*v. Is j even?
True
Suppose -4*b = -2*b + 64. Let c = 25 + b. Let n(m) = m**3 + 7*m**2 - 3*m + 2. Is 7 a factor of n(c)?
False
Let i = 7 + -4. Let c(w) = -4*w**2 - 7*w - 13. Let t be c(-7). Is 16 a factor of (t/15)/(i/(-9))?
True
Let l = 953 + -405. Is l a multiple of 8?
False
Let q(v) be the third derivative of -v**5/60 + 11*v**4/24 - v**3 - 2*v**2. Let x be q(8). Let s = x +