se
Suppose 28*w - 10736 = 12*w. Does 61 divide w?
True
Suppose -2*u + 0*u - 14 = 0. Let l = 11 + u. Suppose -13 = -h - 3*k, -k - 39 = h - l*h. Does 5 divide h?
False
Let v be ((-41)/2)/((-3)/6). Let q = 56 - v. Does 15 divide q?
True
Suppose -27*w + 19*w = -5320. Is 65 a factor of w?
False
Let h = 22 - 12. Suppose -j + h = j. Suppose 5*g - 3*f - 204 = 2*g, j*g - 343 = 2*f. Is 13 a factor of g?
False
Let u = -29 + 37. Let k be (3 - 2)*-3 + u. Suppose -t - 10 = -4*b - 39, -k*b = 0. Is 12 a factor of t?
False
Let d be (-2)/(-5) - (-1088)/(-20). Let n = -8 - d. Is n a multiple of 15?
False
Let u = 20 - 16. Suppose -4*f + 4*d = -224, 0 = -u*f - 0*d + 3*d + 224. Is f a multiple of 17?
False
Let f(o) = 22*o - 405. Does 16 divide f(44)?
False
Suppose -19 = -x + b, x - 29 = -5*b + 8. Is x a multiple of 6?
False
Let q = -81 - -696. Does 34 divide q/9 + 1/(-3)?
True
Let u(t) = -t**3 + 11*t**2 + 25*t + 20. Is 4 a factor of u(11)?
False
Let p(j) = 43*j**2 - 4*j. Let x be p(-2). Suppose 9*q = 4*q + x. Is q a multiple of 9?
True
Suppose -3248 = 21*o - 29*o. Is o a multiple of 17?
False
Suppose 2584 = -5*a + 3674. Is a a multiple of 20?
False
Let x(t) = -2*t**3 - 4*t**2 + t + 477. Does 53 divide x(0)?
True
Let i(j) = 2*j**3 - 12*j**2 + 12*j + 11. Is 2 a factor of i(5)?
False
Suppose 4871 = 9*v + 938. Is v a multiple of 10?
False
Let q(a) = -a + 7. Let z be q(6). Suppose w = -z + 19. Is w a multiple of 9?
True
Let j(t) = t**3 - 11*t**2 + 2*t + 1. Let i(b) = -3*b - 46. Let q be i(-19). Does 10 divide j(q)?
False
Is 8 a factor of 7/14*2/(-3)*-777?
False
Let x = 63 + -102. Let a = x + 56. Does 4 divide a?
False
Let m(s) be the third derivative of s**9/10080 - s**8/10080 - s**6/180 - s**5/60 + 5*s**2. Let w(u) be the third derivative of m(u). Does 8 divide w(2)?
False
Let i(y) = 7*y**2 - 8*y + 21. Let k(c) = 5*c**3 + 2*c**2 - 5*c + 4. Let a be k(1). Is 45 a factor of i(a)?
True
Is 27 a factor of (5 + 202/2)/((-4)/(-22))?
False
Let h(k) = k**2 + 6*k - 2. Let b be h(-4). Let w = b - -5. Let c(i) = i**2 + 3*i + 6. Is c(w) a multiple of 8?
True
Let a be (-7 - (-95)/15)/(4/(-18)). Does 29 divide (-8 + a)*(-174)/15?
True
Suppose -31 - 131 = -6*a. Suppose 4*l - a = -3*u, u + 9 = 2*u - 4*l. Is u a multiple of 8?
False
Suppose 3*w - 2*s + 425 = 1453, 0 = 2*w - 5*s - 700. Does 27 divide w?
False
Let q = 14 + -12. Suppose c + 0 + 183 = -4*t, -5*t - q*c = 228. Let z = 14 - t. Does 20 divide z?
True
Let j(t) = t**2 + 12*t + 26. Let k be j(-14). Let o = k - 35. Is 11 a factor of o?
False
Let q = -23 - -22. Suppose 5*g + 18 = 3*j, 2*g = 2*j + 2*j - 24. Is 13 a factor of ((-26)/j)/(q/9)?
True
Let r(y) be the first derivative of y**4/4 + 8*y**3/3 - 9*y**2/2 + 2*y - 14. Let n be r(-9). Suppose n*q + 2*q - 220 = 0. Is 18 a factor of q?
False
Suppose 5*o = 5*y - 110, 0 = -3*y + 2*y + 3*o + 20. Let p = y - 3. Does 20 divide p?
True
Let o(j) = -25*j + 370. Is 8 a factor of o(8)?
False
Let y = 296 - -2675. Is y a multiple of 20?
False
Suppose -55*u + 87220 = 15*u. Is u a multiple of 16?
False
Suppose 0 = -3*s + s + 6. Suppose 2*f = -s*l + 21, 0*f = -5*f + 5*l + 65. Is (-1)/((-2)/f*2) a multiple of 3?
True
Let t(n) = -27*n**3 + n**2 - 4*n + 4. Let u be t(2). Let y = u + 411. Is 9 a factor of y?
False
Does 13 divide ((-876)/(-15) - 6) + (-6)/15?
True
Let u(y) = y**2 - 7*y - 7. Let f be u(8). Let d = -5 - f. Is d/(-33) + (-489)/(-33) a multiple of 15?
True
Let p be (1 - -126) + (0 - 2). Let w = p - 31. Is w a multiple of 25?
False
Suppose -20*u + u + 1558 = 0. Is u a multiple of 4?
False
Let r = -3432 - -6105. Is 39 a factor of r?
False
Suppose 5*t + 413 = w, -5*w - 5*t + 2038 = -3*t. Suppose 4*g = 4*n + w, 4*g = -2*n - 0*n + 390. Is g a multiple of 33?
True
Let y(j) = -1110*j**3 - j**2 - j. Is y(-1) a multiple of 74?
True
Let q = 11 + -35. Suppose 3*u - 305 = -2*t, -302 = -2*t - 4*u + 2*u. Let r = q + t. Is 28 a factor of r?
False
Suppose 0 = 4*y - 3*y. Suppose 4*s = 0, 2*q - q - s = y. Suppose 5*z = -3*u + 107, -54 = -u - q*z + 2*z. Is 22 a factor of u?
True
Let b be 2/8 - (-3)/4. Let z(p) = -43*p + 208. Let d be z(4). Does 13 divide d*b + (5 - 2)?
True
Suppose 0 = -0*o - 5*o + 20. Let i be -51 + 7 - (2 - o). Let g = i - -71. Is 29 a factor of g?
True
Let r be 3*((-6)/9)/(2/(-3)). Suppose -4*u = -r*u + v - 32, 0 = 3*u + 2*v - 97. Is 4 a factor of u?
False
Let x(y) = -y**3 + 18*y**2 - 17*y - 1. Let r be x(17). Let c be r/(2*3/18). Is (c/(-2))/(10/240) a multiple of 11?
False
Let m be 2/2*(13 + 47). Suppose s = -5, -c + m = -2*s + 10. Let w = 86 - c. Is w a multiple of 23?
True
Suppose 3*g = 2*b + 707, 0 = -8*g + 12*g + 4*b - 936. Is g a multiple of 47?
True
Let k(u) = -2*u**3 + 45*u**2 + 51*u + 19. Is k(23) a multiple of 34?
False
Let f(d) = d - 2. Let k be f(6). Suppose 3 = -3*g - 4*v + 14, g = -v + k. Suppose -r + 116 = g*x, x - 28 = -0*x - 5*r. Is x a multiple of 9?
False
Let p be 3 + (4/(-20) - (-72)/(-15)). Is 34 a factor of 12/p*(-76)/12?
False
Suppose -9*b - 80 = -13*b. Suppose -l = 2*k - b - 25, 4*k = 3*l - 115. Does 7 divide l?
False
Let b be 7/((-14)/10) - 1. Does 13 divide (b/(-2))/((-3)/(-144))?
False
Suppose 2*d + 620 = 5*d - 2*u, 2*u - 1012 = -5*d. Let m = d - 120. Does 7 divide m?
True
Suppose -1 = -i - 6. Let u = -6 - i. Is 3 a factor of (u + 10)/((-9)/(-6))?
True
Suppose 3*k - b - 127 = 0, -b = -4*k - 0*b + 171. Let l = -27 + k. Does 2 divide l?
False
Let b = 45 + 171. Does 24 divide b?
True
Suppose -k + 154 = -33. Does 17 divide k?
True
Let z = 6 + -2. Suppose 0 = -z*k - 17 - 75. Let c = k + 38. Is c a multiple of 15?
True
Let l(t) = 8*t - 2. Let i be l(1). Is 16 a factor of 346/i - 30/45?
False
Let q(i) be the third derivative of -i**4/6 + i**3/3 + i**2. Let y be q(-6). Let f = y - -5. Does 7 divide f?
False
Let d = 170 - 111. Let z = 139 - d. Let t = -1 + z. Does 26 divide t?
False
Let g = 305 + -238. Is g a multiple of 8?
False
Let f = -252 + 390. Suppose 3*a - 8*a + 2*k + 227 = 0, -3*k - f = -3*a. Does 45 divide a?
True
Let u = 48 + -82. Let d = 100 + u. Is d a multiple of 19?
False
Suppose 3*t + 23 = 4*m, t + 18 = 3*m - 2*t. Is ((-6)/m)/((-66)/1100) a multiple of 5?
True
Suppose -10*b = -9*b + 40. Let k = 22 - b. Let o = k - 32. Is 10 a factor of o?
True
Let n = -43 - -58. Suppose 4*k + 0*k + 5*c = 9, -3*k + n = c. Is 3 a factor of k?
True
Suppose 2*p = 10 + 14. Suppose 6*j = p*j - 936. Is j a multiple of 39?
True
Suppose -u - c + 12 = 0, 5*u + 3*c - 70 = -0*u. Let p = -10 + u. Suppose -p*o + 3*o + 116 = 0. Does 5 divide o?
False
Let g(t) = -t**3 + 5*t**2 - 3*t - 3. Let z be g(3). Let u(y) = y**3 - 5*y**2 - y - 5. Is u(z) a multiple of 5?
True
Suppose -3*a = -5*a + 5*g + 755, 4*a = g + 1501. Is 15 a factor of a?
True
Let u(l) = 7*l**2 + 5*l + 3. Let p be u(-2). Let x be p/5 - (-1)/(-5). Let t = x - -11. Is 15 a factor of t?
True
Suppose -u = 2*q - 5 - 5, -2*q = -4*u. Suppose 0 = 5*t + 2*s - 249 - 22, 3*t + u*s = 161. Does 55 divide t?
True
Let h(u) = 9*u**2 + u + 1. Let z be h(-1). Suppose -39 + z = -2*t. Is t a multiple of 5?
True
Suppose 3*l = 6*l + 195. Let v = l + 103. Is 8 a factor of v?
False
Suppose -10*m + 6*m - 8 = 0. Let o(f) = 2*f**3 + 15*f**2 + 8*f - 18. Let x(i) = i**3 + 8*i**2 + 4*i - 9. Let n(k) = m*o(k) + 5*x(k). Does 12 divide n(-9)?
True
Let b be ((-2)/5)/(2/(-10)). Let q be b + 2*(-1 + 2). Is ((-3)/4)/(q/(-32)) a multiple of 3?
True
Let g be 2 - ((2 + 2)/(-2) + -176). Suppose -47 + g = y. Is y a multiple of 38?
False
Let v be (-7)/(-35) + 24/5. Let g(c) = -c + 15. Let l be g(v). Suppose -m + 162 - 24 = 4*w, 0 = -5*m + l. Is 17 a factor of w?
True
Suppose -2*l + 2*c = -8, 3*l - 18 - 8 = -4*c. Suppose -l*o - 96 = -8*o. Is 6 a factor of o?
True
Suppose 5*q + n + 2 = 18, -5*q - 5*n = 0. Suppose 0 = 2*p + 2*a - 388, 0 = p + q*p - a - 958. Does 18 divide p?
False
Let f = 1876 + -607. Suppose -f = -7*w - 387. Is w a multiple of 21?
True
Suppose -2*n - 1061 = -3*n. Let i = n + -504. Suppose 19 - 171 = -q + 3*x, 4*q - i = -5*x. Does 29 divide q?
False
Suppose r + 1 = 7. Let s be 2*(1 + (-3)/r). Does 21 divide (-212)/(-10) + s/(-5)?
True
Suppose -3*y - 262 = -4*s - 5*y, -3*s - 4*y = -209. Let w be ((-54)/s)/((-1)/7). Suppose -w*v + 172 = -2*v. Is v a multiple of 10?
False
Suppose 4*b - 2*x = 2*x + 16, -2*b = 3*x - 13. Let f(r) = 12*r**2 + 3*r - 1. Let 