 -24). Let n = g + -7. Is 11 a factor of n?
False
Suppose 3*a - 581 = 1537. Is 6 a factor of a?
False
Let k(u) = u + 8. Let q be k(-12). Let z be 3/q*(-16)/4. Suppose z + 28 = n. Is n a multiple of 10?
False
Let o = -40 - -45. Is 48 a factor of (16/o)/((2 + 1)/180)?
True
Suppose 2*m - 11 = 5. Suppose 6*b - 8*b = -m. Suppose 3*s + s + b*k = 28, -k + 51 = 5*s. Does 11 divide s?
True
Let b be 3 - 65 - (-2)/2. Let w = b - 35. Let n = -41 - w. Is 23 a factor of n?
False
Let m(o) = 151*o**2 - 19*o + 2. Does 58 divide m(3)?
False
Let x = 76 + -42. Suppose -3*z = -2*z - 2*t - x, -5*t = -5*z + 160. Suppose n = 19 + z. Is 22 a factor of n?
False
Suppose -5*d + 14 - 4 = 0. Suppose -l = d*l - 249. Let m = -51 + l. Does 10 divide m?
False
Let k(c) be the first derivative of c**3/3 - 23*c**2/2 - 72*c - 13. Does 17 divide k(29)?
True
Suppose -10*j = -8160 - 8340. Is j a multiple of 11?
True
Let j be (9/(81/(-24)))/(2/(-123)). Let v = -6 - -10. Suppose v*f - 5*t - 116 = 51, 4*f = 4*t + j. Does 19 divide f?
True
Suppose -4 = 2*v + 2*v. Does 3 divide (v/7 + 1)*7?
True
Suppose 4054 = 5*l - u, 6*u + 830 = l + u. Does 25 divide l?
False
Let x be (2/(-6))/((-6)/54). Suppose -4*p - 336 = -x*y, -y - 2*p - 2*p + 112 = 0. Does 16 divide y?
True
Let l(i) = 17*i**2 + 0*i**2 - i**3 - 8*i - 6*i**2 - 5. Is l(8) a multiple of 23?
False
Let o(n) = 3*n**3 - 8*n**2 - n - 6. Let l be o(6). Suppose 0 = 4*k + 4*h - l, -k + h = -h - 90. Is 11 a factor of k?
True
Suppose -5*b + 0*b + 55 = 0. Let x(a) = -2*a**2 + a - 5 - 3*a**3 + 5 - 6 + 13*a**2 + 2*a**3. Is 2 a factor of x(b)?
False
Suppose 2*u = -2*u + 3*i + 10, -4*i - 5 = 3*u. Suppose f + 9 - u = 0. Is 30 a factor of (-241)/(-8) - f/(-64)?
True
Let i be -58*(1/(-3))/((-8)/(-24)). Let r = 141 - i. Does 39 divide r?
False
Let k be (-15)/(-10)*(6 - 0). Suppose -k = -3*t - 3. Suppose 22 = i + t*p, -5*i + 3*p + 98 = p. Is i a multiple of 5?
True
Suppose -22*m + 17*m - 2*n + 719 = 0, 0 = 5*m - 4*n - 737. Does 29 divide m?
True
Let w(n) = n**3 + 2*n**2 - n + 404. Is w(0) a multiple of 7?
False
Suppose 2*l - 4*p + 7*p = 460, -l + 231 = p. Is 10 a factor of l?
False
Does 13 divide (2/(-4) + -1)*2 - -380?
True
Let x = 1 + 0. Let y be (x - 5/3)*-6. Suppose g = y*p - 22 - 63, -g = 4*p - 91. Is 9 a factor of p?
False
Let g(z) = 70*z**2 - 4*z - 12. Is 7 a factor of g(-2)?
False
Let j(c) = 42*c + 31. Is 34 a factor of j(2)?
False
Suppose 4*k + k = -5*l + 1285, 4*k - 5*l = 992. Is k a multiple of 11?
True
Suppose -46 - 70 = -2*m. Suppose -y - 35 = m. Let b = 130 + y. Is 16 a factor of b?
False
Suppose -173 - 307 = -6*c. Is 32 a factor of c?
False
Let q be 75/10*(-2)/3. Let t be (q + 6)*6/2. Is 138/3 - (t - 3) a multiple of 13?
False
Suppose 2*o - 3*n = 465 + 438, 2*o - 909 = n. Does 14 divide o?
False
Let k(g) = -g**2 - 7*g + 30. Is 3 a factor of k(-9)?
True
Suppose -4*v + 1484 = 4*u, 369 = v - 2*u + 4*u. Is 61 a factor of v?
False
Let j(v) = 226*v**2 - 2*v + 12. Is 48 a factor of j(2)?
True
Let w(l) = 36*l**2 + 34*l + 101. Is w(-3) a multiple of 17?
True
Let c(i) = 2*i - 11. Let p be c(8). Suppose 5 = -p*m + 4*m, -n + 3*m + 14 = 0. Let y = n - -9. Is 3 a factor of y?
False
Let a(w) = w**3 + 14*w**2 - 16*w + 4. Let r be a(-15). Suppose -22*i + 192 = -r*i. Is i a multiple of 9?
False
Let h be 8/(-36) - (-281)/9. Suppose 0*t - t + h = 0. Does 11 divide t - (-3 - (-2)/2)?
True
Let r(c) = c**2 + 11*c + 18. Is r(35) a multiple of 18?
False
Let a = 126 - 108. Is 9 a factor of a?
True
Suppose -3*n + 7420 = -2*p + 3*p, n - p = 2480. Does 15 divide n?
True
Suppose 5*z - 2*f + 324 = 0, 10*z - 5*f = 5*z - 330. Let m = 136 + z. Does 24 divide m?
True
Let s(l) = l**3 - 16*l**2 + 33*l - 33. Is s(16) a multiple of 28?
False
Suppose 301 + 244 = 5*p. Is 10 a factor of p?
False
Let s be 296/(-48) - (-1)/6. Let f = s - -12. Suppose -2*t - 88 = -f*t. Is 22 a factor of t?
True
Let w(x) = -62*x + 288. Does 7 divide w(0)?
False
Let t(m) = -4*m - 19. Let a be t(-6). Suppose -q + 2*b + a = -0*b, 4*b = -4. Suppose -64 = -q*v - 4. Is v a multiple of 5?
True
Let h(i) = i**2 + 3*i + 1. Let z be h(-3). Let k(u) = u - 2. Let b be k(3). Is 153/3 - b - z a multiple of 16?
False
Suppose -2*z - 5*s + 835 = 0, -2*z - s - 3*s + 830 = 0. Is z a multiple of 9?
True
Suppose 0 = -5*x - 2*j + 102, -114 = -5*x - 0*j + j. Let r = 26 - x. Suppose r*n - 135 = n. Is n a multiple of 14?
False
Let y(j) = 18*j + 1. Suppose -2*t = 0, -2*u + 3 = 5*t + 1. Is y(u) a multiple of 9?
False
Let v be ((-7)/((-28)/16))/2. Is 14 a factor of (3 + -7)*(-49)/v?
True
Suppose -15*b + 654 = -14*b - 2*n, -5*n = -5*b + 3265. Is b a multiple of 29?
False
Let n = 5059 - 3424. Is 14 a factor of n?
False
Let x = 38 + -40. Let w be ((-45)/6)/(x/12). Suppose -9 = -6*a + w. Does 3 divide a?
True
Let j be 4/16 - (-70)/8. Suppose j*a = 4*a - 3*d + 62, 4*a - 5*d = 20. Is a/(-65) - (-1044)/26 a multiple of 13?
False
Suppose 11*h = 120 - 3585. Let n = h - -495. Is n a multiple of 20?
True
Suppose 3*t + 2*x = 328, -2*t + 4*x = -7*t + 548. Does 3 divide t?
True
Suppose 0 = z + 3*v - 487 + 98, 0 = 4*z + 3*v - 1547. Is z a multiple of 53?
False
Suppose 3*y = -t + 2*t + 14, 0 = y + t + 2. Let z(r) = 5 - 8*r**2 - r**y - 1 + r + 4*r**2. Does 8 divide z(-5)?
True
Suppose 0 = c + 3*s, -3*c - 7*s = -4*s - 6. Suppose -7 = -5*l + 3. Suppose -l*r - 10 = -c*r. Is r a multiple of 5?
True
Suppose 1611 = 5*v - 3*u, -15 = u - 6*u. Is v a multiple of 18?
True
Let r = 34 + -9. Let v = r - 10. Is 5 a factor of v?
True
Let v(r) = r + 1. Let b be v(3). Let c(u) be the third derivative of u**5/60 + u**4/6 - u**3/6 - 20*u**2. Is c(b) a multiple of 14?
False
Is 15 a factor of 197 - ((-28)/(-7))/4?
False
Suppose 882 = 3*h + 4*z - 3*z, 0 = -5*z. Does 6 divide h?
True
Suppose 3*i = u + 4229, 0*u + 1411 = i + u. Let l be i/(-45)*(-6 + 0). Suppose 0 = -0*a + 4*a - l. Is a a multiple of 11?
False
Let w = -4 - -16. Let v = 21 - w. Is v a multiple of 9?
True
Suppose -5*y + 5*o + 615 = 0, 0 = y + 3*o + 24 - 147. Suppose 0 = z - 4*s - y, s + 91 = z + 5*s. Does 15 divide z?
False
Suppose -3 = u, 7*s - 2*s - 1454 = -2*u. Suppose s = 2*o - 6*o. Let d = o - -112. Is d a multiple of 23?
False
Let f be (5/4)/(4/16). Suppose 0 = -3*c, 3*c - 8*c = f*p + 280. Let v = -23 - p. Is 11 a factor of v?
True
Suppose -3*d = 3, -2*x - 2*d - 2 = -0. Suppose 11*q - 408 - 131 = x. Does 4 divide q?
False
Let w = -9 + 12. Suppose 0 = 2*c + f - 49 - 149, -w*c - 4*f = -292. Is 25 a factor of c?
True
Let w = -275 - -327. Is w a multiple of 2?
True
Let k = -16 - -12. Let j be (3 - 1) + (k - -5). Suppose -3*b + 8 + 61 = j*m, -3*b + 71 = 2*m. Is b a multiple of 14?
False
Let w(c) = -6*c - 10. Let h be w(-6). Suppose 4*p - 8 = 0, -3*i + h = i + 3*p. Suppose 65 = i*t - 5*y, 4*y = -t - y - 17. Is 4 a factor of t?
True
Let o(j) = -5*j**3 + 15*j**2 + j + 12. Let u(l) = -3*l**3 + 10*l**2 + l + 8. Let r(d) = -5*o(d) + 8*u(d). Is 4 a factor of r(-4)?
True
Let c(a) = -a + 4. Let r be c(-6). Let x = r - 12. Is x*(-18 - 6/(-3)) a multiple of 9?
False
Let f(g) = g**2 + g + 1. Let a(h) = h**3 - 3*h**2 - 11*h + 13. Let q(o) = a(o) - 3*f(o). Does 40 divide q(9)?
False
Suppose -5*i + 8 = -7. Suppose -4*p + 11 + 9 = -i*x, x = -2*p + 10. Suppose x = 6*g - 10 - 68. Is 13 a factor of g?
True
Let o be 1 + -1 + (-22 - -12). Let q = -5 - o. Does 11 divide (q + -17)*-1*1?
False
Suppose -2*n = 34 - 94. Suppose -8 = q - n. Does 3 divide q?
False
Is 49 a factor of (-664)/2*-1 + 13 + -9?
False
Let t = 453 - 153. Does 30 divide t?
True
Let i = -10 - -10. Suppose -2*q = 4*j - 22, i*j = 2*q - j - 17. Is q a multiple of 3?
True
Let c be 1*(-1 + 2)*-28. Let p be 3 - 0 - (-64 + 5). Let j = p + c. Is j a multiple of 21?
False
Suppose 4*h - h = 936. Does 8 divide h?
True
Let a = -364 + 529. Does 16 divide a?
False
Suppose 5*s - 16 = 3*p + 166, 3*s - 3*p - 114 = 0. Is s a multiple of 11?
False
Let m(q) = -q**2 - 4*q + 10. Let a be m(-5). Let d be (7 - 1)*3/9. Suppose -63 = -4*k - 5*p, a*k - 5*p = -d*p + 88. Does 17 divide k?
True
Suppose -4*i + 3 = 3*d + 17, -4*d = 4*i + 12. Is 2 a factor of (d/(-5))/(5/(-75))?
True
Let z = -43 + 46. Suppose -z*o = -36 + 12. Is 2 a factor of o?
True
Let y(b) be the second derivative of -29*b**3/6 + 3*b**2/2 - 13*b. Suppose -4 + 2 = 2*u. Does 8 divide y(u)?
True
Suppose 20*z - 16*z + 36 =