 Is k a multiple of 17?
False
Let m = 19 - 28. Let w = -11 - m. Let k = 1 - w. Is k even?
False
Suppose -5*h - 62 - 197 = -p, -2*p - 3*h = -453. Is p a multiple of 6?
True
Suppose 10*i - 90 = 430. Is i a multiple of 8?
False
Is 16 a factor of (-6)/(-2) - (28/7 - 339)?
False
Let i(m) = -m - 12. Let a be i(-12). Suppose o - 2*c + a*c = 135, c - 675 = -5*o. Does 27 divide o?
True
Let y = 500 - 214. Does 11 divide y?
True
Does 10 divide (-69)/(-828) - (-1319)/12?
True
Let h(c) = 9*c. Let g be h(1). Suppose -14*z = -g*z. Suppose 5*j - 3*q - 42 = z, -2 = q + 2. Is 2 a factor of j?
True
Suppose 170 = 4*r - 130. Is 6 a factor of r?
False
Let d(k) = 3*k + 9. Let v = -6 + 6. Suppose v = 2*c - 7 - 11. Does 9 divide d(c)?
True
Suppose 3*a - 4*a + 276 = 2*y, -3*a + 3*y + 819 = 0. Let o = -179 + a. Is 5 a factor of o?
True
Is (234/(-52))/((-1)/54) a multiple of 27?
True
Let a = -68 + 104. Is (-2256)/a*3/(-2) a multiple of 32?
False
Suppose 2*x - 9*x = -28. Suppose -3*g = -x*g - 4. Is (37/(-2))/(2/g) a multiple of 37?
True
Suppose -13*b + 3374 = -6*b. Does 9 divide b?
False
Let b = 24 - 2. Suppose -2*c = -26 - b. Suppose 21*w = c*w - 27. Is 8 a factor of w?
False
Let z = -79 + 415. Suppose -p + z = 13*p. Does 3 divide p?
True
Let c(m) = 3*m**2 + 62*m - 65. Does 32 divide c(-27)?
True
Let b(x) = 7*x**2 + 6*x + 4. Let t(p) = p + 2. Let q(o) = b(o) - 2*t(o). Is 12 a factor of q(-4)?
True
Is 4 + (-3445)/(-15) + 2/(-3) a multiple of 30?
False
Suppose y - 2*y + 5 = 0. Let b = 3 - y. Let f(r) = -7*r**3 - 3*r**2 - 2*r - 1. Is 22 a factor of f(b)?
False
Suppose -3*d + 6 = -d. Let r = 1 - d. Is 20 a factor of r/(-3) - 1036/(-21)?
False
Let m = 2845 + -1585. Is m a multiple of 9?
True
Let k(x) = -16*x - 61. Is 6 a factor of k(-6)?
False
Suppose 0 = -2*g, -2*b - 3*g - 1 = -5. Suppose 0 = 16*p - b*p - 4452. Is 14 a factor of p?
False
Suppose 145*q + 2784 = 157*q. Does 8 divide q?
True
Let t = -8 - -10. Suppose 4*k - 1248 = -t*r, -2*k - 3*r + 966 = 334. Does 37 divide k?
False
Let c(l) = -l**2 + 4*l + 1. Let h be c(8). Let f = h - -79. Does 12 divide f?
True
Let i(p) = p**3 - 2*p**2 + 4*p + 4. Suppose 0 = -3*r - 4*h + 6, 7*r - 5*h - 45 = 2*r. Is i(r) a multiple of 30?
False
Let u(k) = -k**2 - 9*k + 2. Let i be u(-6). Suppose -2*p = 3*p - i. Is ((-2)/p)/((-1)/12) a multiple of 5?
False
Let n = -20 - -24. Suppose n*w = 7*w - 84. Is w a multiple of 14?
True
Let b = -1168 - -1730. Is 4 a factor of b?
False
Let w(y) = 37*y**2 + 27*y + 4. Is w(7) a multiple of 59?
True
Suppose 0 = 46*u - 47*u + 2. Suppose 0 = -5*h - 4*d + u*d + 475, 0 = -3*h + d + 274. Is h a multiple of 11?
False
Suppose 2*v + 2 = -2*i - 8, 4*i + 25 = v. Let p be 4/(-2) - i/2. Suppose -m = -u - 5, 3*m - m = 5*u + p. Does 8 divide m?
True
Let y = 58 - 61. Is 12 a factor of (89/2)/(y/(-6))?
False
Let n be (1 + 0)/((-9)/(-108)). Let t(g) be the third derivative of -g**5/60 + 7*g**4/12 - 5*g**3/3 + 2*g**2. Is 14 a factor of t(n)?
True
Suppose -2*h = 2*h - 8. Let g be -1 - 6*(-1)/h. Does 14 divide (15/12)/(g/96)?
False
Let m be 6/14 - 1196/14. Let k be (-2)/(-5) + (-17051)/m. Does 17 divide k/4 + 6/8?
True
Let x(g) = 5*g + 4. Let y be x(2). Let i be (-48)/y*(-42)/12. Is 6 a factor of i/(-54) + 436/18?
True
Let f = -11 + 11. Suppose f + 110 = -2*y. Let r = -34 - y. Is r a multiple of 8?
False
Let h(q) = 7*q - 7 + 24*q + 13*q. Is 14 a factor of h(2)?
False
Let q be (-23)/(-1 - (3 + -3)). Let r = 83 - q. Is r a multiple of 39?
False
Suppose -20 = -y - 24. Is (-13)/(-52) - 599/y a multiple of 25?
True
Let g be (-5 + 11)/2*1. Suppose -3*v = -3*n - 0*n - 84, g*n = -v + 28. Does 3 divide v?
False
Suppose m = z + 7, z = 2*m + m - 11. Suppose m*s - 17 = -11. Does 3 divide s?
True
Suppose -5*q - w + 1815 = 0, 2*q + 2*w - 1089 = -q. Does 33 divide q?
True
Let b(k) = k - 11. Let n be b(14). Is n/9 + (-9)/(27/(-260)) a multiple of 8?
False
Is 21 a factor of (-2241996)/(-1162) + 6/(-14)?
False
Suppose 0 = -0*j + 5*j. Let g(s) = 7*s**2 - 4 - 5*s + j*s + 8*s. Is 28 a factor of g(2)?
False
Does 13 divide 731*(9 + -19)/(-5)?
False
Suppose -6*f + 2*f = -4*v - 8, v = -4*f + 23. Suppose 0 = f*n - 2*s - 238, 7*s - 52 = -n + 3*s. Does 24 divide n?
True
Let c(g) = -8*g**3 + 4*g**2 - 3*g + 2. Let q be c(2). Let a = -8 - q. Is 10 a factor of a?
False
Let i be (-13)/3 - (-1)/3. Let a(j) = -218*j + 428*j - 217*j - 2. Does 8 divide a(i)?
False
Suppose -35 = 6*f - 11*f. Suppose -4*r = 4*n - 140, 87 = f*r - 4*r - 3*n. Suppose 5*q + 5*z - 140 = 0, 0 = -4*q + 3*q - 3*z + r. Does 7 divide q?
False
Let c be 8 + -8 - 1 - (0 - 61). Let q(v) = -v**3 - 6*v**2 - 6*v - 1. Let i be q(-6). Let n = c - i. Is 18 a factor of n?
False
Let k = 484 + -162. Does 23 divide k?
True
Let j be ((-222)/10 - (-2)/10)*-2. Let h = j + 66. Is 20 a factor of h?
False
Let b(r) = 7*r**2 + 27*r + 126. Does 26 divide b(-15)?
False
Suppose -3*g - 12120 = -10*q + 7*q, -3*q = 2*g - 12130. Is 17 a factor of q?
False
Let w(n) = 13*n - 2. Let s(v) = -24*v**3 + v**2 - 1. Let d be s(-1). Suppose -5*z + 23 = -2, 0 = 2*y + 4*z - d. Does 9 divide w(y)?
False
Suppose 0 = 9*t + 961 - 3661. Is 60 a factor of t?
True
Suppose 11*d = 6*d + 15. Suppose 6*t + v - 171 = 2*t, d*v = 2*t - 103. Does 8 divide t?
False
Suppose 0 = -5*f - b - 7 + 19, -f + 5*b + 18 = 0. Let x(t) = -t**2 + 4*t**3 - 3*t**f - 11*t - 7 + 3*t**2. Is x(5) a multiple of 30?
False
Let p = 110 + -104. Is 15 a factor of (164 - -1)*(-3)/p*-2?
True
Suppose 19*n = 5115 + 1440. Does 23 divide n?
True
Let o(t) be the first derivative of 113*t**2/2 - 14*t - 12. Does 14 divide o(3)?
False
Suppose j + 1 = 4. Suppose 5*s = -o + 50, 2*o - s - 58 = j*s. Is o a multiple of 16?
False
Let l = 5326 + -3800. Is l a multiple of 14?
True
Let u = 1039 - 466. Is u a multiple of 3?
True
Let c(f) = -f**2 - 12*f - 15. Suppose u + 8 = 2*l - 11, l + 5*u = 4. Let h be (l/(-4))/((-2)/(-8)). Is c(h) a multiple of 12?
True
Let f = -179 - -361. Is f a multiple of 13?
True
Suppose 9*k = 4 + 41. Is 2 a factor of k?
False
Suppose -u = -2*u. Suppose 2*l = b + 15 - 5, 3*l = -4*b + 15. Suppose -4*j + l*j - 14 = u. Is j a multiple of 14?
True
Does 7 divide (7 + -16 + 632)/1?
True
Suppose 5*c - 8 = 4*q, c + 3*q - 6 = 7. Suppose -o = -5*z + 40 - 4, 5*o = -c*z + 23. Is 7 a factor of z?
True
Suppose -755 = -29*m + 7249. Is m a multiple of 4?
True
Let d(z) = -127*z + 9. Let i be d(-2). Suppose -2*j + i = n, 4*n = -2*j - j + 382. Is 17 a factor of j?
False
Let r(x) be the first derivative of -x**4/2 - 2*x**3 + 7*x**2/2 + 3*x + 42. Let y be (10/6)/((-2)/6). Is r(y) a multiple of 27?
False
Let h be 2/(3 - 1)*(5 + 154). Suppose -3*w + 311 = 2*k, -4*w - w = k - h. Does 14 divide k?
True
Let j be (-24)/2 + -2*1. Let m(c) = -c**3 + 14*c**2 - 17*c - 31. Let a be m(13). Let u = j - a. Is 26 a factor of u?
False
Let z(t) = t**3 - 4*t**2 + 2*t + 4. Let p be z(3). Let i = p - -3. Suppose 0 = 2*a + 4, -i*w + 4*a + 222 = -186. Is 25 a factor of w?
True
Does 5 divide 8/(-44) + (3471/33)/1?
True
Suppose -1 + 16 = 5*j. Let d be (-6 - -105)*1/j. Suppose 2*y = -3*i + 4 + d, -24 = -2*i - 2*y. Is 13 a factor of i?
True
Suppose -13*g - 12*g + 4575 = 0. Does 2 divide g?
False
Suppose 4*d + 4 = 0, 19*n + d + 4173 = 21*n. Is 115 a factor of n?
False
Let f(d) = -d**2 + 6*d - 2. Let x be f(9). Let m = -5 - x. Let q = -2 + m. Is q a multiple of 22?
True
Let p be 0 + 13*(-3 - -1). Let t(q) = -25*q + 1. Let h be t(3). Let f = p - h. Does 12 divide f?
True
Let m(y) = 6*y + y - 3*y + 13. Let b(o) = -o + 16. Let p be b(7). Is 21 a factor of m(p)?
False
Let k = -308 + 371. Suppose -3*a + 20 = 4*t, 0 = 2*t - t - 5*a - 28. Suppose -t*g + k = -5*g. Is 5 a factor of g?
False
Suppose -2366 = -i + 2*s, 9444 = 36*i - 32*i - 3*s. Is i a multiple of 9?
True
Is 41 a factor of (-1462)/(-215)*(204 + 1)?
True
Suppose -3458 = 9*i - 10325. Is i a multiple of 8?
False
Suppose -142 = -2*i - 8. Let w = -28 + i. Does 13 divide w?
True
Let j be 1/(21/(-6) + 4). Suppose -3*t - 3*q - 12 = -300, -392 = -4*t - j*q. Is t a multiple of 25?
True
Does 39 divide (-25)/(-5) - ((0 - 189) + -1)?
True
Suppose 6138 = 17*w - 1648. Does 29 divide w?
False
Suppose -2*y = -4, 0*s - 2*s = 4*y - 6. Let q = -15 - s. Let u = q + 28. Is 7 a factor of u?
True
Suppose -10*t - 534 + 2924 = 0. Is t a multiple of 10?
False
Let g = -1 + 13. Suppose 