t b = -122 + x. Suppose j - 3*j + b = 0. Is j a multiple of 12?
False
Let z(u) = 9*u**2 + u. Let r be z(-1). Let l = 12 - r. Suppose d + l*x = 17, -4*d + 0*d - x + 113 = 0. Is d a multiple of 10?
False
Let z be (-2 - 1)*(-5 - -4). Suppose 3*l - z*y = -417, -2*y - y - 15 = 0. Let r = l - -209. Is r a multiple of 17?
False
Suppose -2*s = -3*i - 519, -97 - 1211 = -5*s + 4*i. Does 12 divide s?
True
Suppose 5*z - 392 = -3*z. Let m = -4 + z. Is 11 a factor of m?
False
Is 442/17 + 4/8*-4 a multiple of 4?
True
Let r be ((-58)/(-6))/(2/(-6)). Let l = 5 - r. Is l a multiple of 13?
False
Let s(l) = -216*l + 9. Let i be s(-8). Suppose 3*v = 5*p + 6*v - 1743, 5*p = 3*v + i. Is 58 a factor of p?
True
Suppose 5*q - 4*l = 3393, -4*l + 549 - 2588 = -3*q. Does 9 divide q?
False
Let n(g) = -189*g + 39. Does 6 divide n(-2)?
False
Let q be 2 - ((-9)/(-3) + -1). Suppose -5*d + 2*f = 5, q = -3*f - f - 20. Let m = 10 - d. Is 5 a factor of m?
False
Let g be -4 + -1 - 3*-1. Let v = g - -6. Suppose 3*t = 124 - v. Is t a multiple of 10?
True
Let u(k) = k - 1 + 5 + 0. Let d be u(-2). Suppose 3*p + 5*a + 65 = 7*p, -d*p + a + 37 = 0. Is 10 a factor of p?
True
Let u = -413 + 1328. Is u a multiple of 15?
True
Is 46 a factor of ((-24)/(-8))/(1 + 2076/(-2094))?
False
Suppose 4*w + 11 = 3*l + 1, 3*l - 26 = -4*w. Let m = l + -5. Does 29 divide 1*(-2 + 104 + m)?
False
Suppose -2*m + 29 = -15. Let a be 2/(((-2)/m)/1). Let b = a - -64. Is b a multiple of 21?
True
Suppose -3*s + 333 = -459. Is 22 a factor of s?
True
Let c be (18164/(-44) - 4) + (-2)/11. Let h = c - -701. Does 18 divide h?
False
Let b be (-25)/2*(-96)/(-40). Let m = 251 + b. Is m a multiple of 17?
True
Let z(i) = i**2 + 4*i + 4. Let j be z(-3). Suppose -g = 2 + j. Does 33 divide 6955/91 + g/7?
False
Let r(p) = -4*p - 20. Let s(n) = 2*n + 3*n + 0*n + 2*n + 40. Let d(o) = 5*r(o) + 3*s(o). Is 11 a factor of d(13)?
True
Suppose -7*x = -9*x + 56. Is 32 a factor of 207 + (3/(-12) - 49/x)?
False
Let u(l) = -30*l + 891. Does 9 divide u(0)?
True
Let s(k) = 542*k**3 - 3*k**2 + 10*k - 8. Is 81 a factor of s(1)?
False
Let t = 40 - 35. Let d(y) = 11*y - 6. Is 17 a factor of d(t)?
False
Is 21 a factor of (930/4)/(27/54)?
False
Suppose -3*z + 3 = -9. Suppose -z*h + 12 = -304. Is 11 a factor of h?
False
Let h(a) = 10*a**2 + a + 4. Let j be h(5). Suppose 2*c = 4*g - 384, -113 - j = -4*g + 5*c. Is g a multiple of 6?
False
Let g(l) = 2*l**2 + 9*l + 6. Let f be g(-5). Let s = f - -1. Is s a multiple of 12?
True
Suppose 6*s = -s + 28. Suppose -f = -v + 63, 0*f + 3*f = -s*v + 287. Does 34 divide v?
True
Suppose -9*p + 12 = -5*p. Suppose n + p*n = 4*x + 400, 0 = -4*x + 16. Is 26 a factor of n?
True
Let w(z) = 2*z - 13. Let x be w(8). Suppose c + x*t - t - 11 = 0, -17 = -3*c + 2*t. Suppose c*u + 226 - 597 = 0. Does 15 divide u?
False
Suppose -t = -15 - 5. Suppose -2*p + 6*p + 3*a = t, 0 = 3*p - 3*a + 6. Suppose -3 = p*y - 31. Is 3 a factor of y?
False
Suppose -3*c + 3*b = -126, -46 = -4*c + 3*c - 3*b. Is 19 a factor of c?
False
Suppose 0 = -2*o - 2*o - 16, -n - 4*o - 11 = 0. Let f(z) = 16*z**2 - 19*z - 18. Let g be f(-1). Is g*n/(-4 - -9) a multiple of 4?
False
Suppose 4*m = 4*d - 780, 0*m = -3*d + 5*m + 579. Is 33 a factor of d?
True
Is 10 a factor of -4 + 511/28*4?
False
Suppose 3*u - 5*u = 3*t - 447, 921 = 4*u - 3*t. Does 12 divide u?
True
Suppose f + 44 = 372. Is f a multiple of 8?
True
Let x(p) = -8*p + 19. Let j = -4 - 6. Is 11 a factor of x(j)?
True
Let z(d) = 4*d**2 - 21*d + 41. Let p(k) = -2*k**2 + 10*k - 20. Let o(i) = -13*p(i) - 6*z(i). Does 6 divide o(-6)?
False
Suppose q = 4*u + 41 - 5, -3*u - 44 = -5*q. Let n = u - -15. Suppose -3*w = -n*w + 84. Is 9 a factor of w?
False
Let y(d) = 2*d**3 - 2*d**2 - 4*d + 4. Let x be y(2). Does 2 divide 3/(-6)*1*x*-1?
True
Suppose 0 = -3*h + 53 - 2. Suppose 2*k + 5*l - 103 = -h, -4*l = k - 40. Suppose 4*u - 2*u - k = 0. Does 9 divide u?
False
Is 1*189/(-3)*-5 a multiple of 45?
True
Suppose -7*n + 4*o - 1824 = -11*n, 0 = -5*n - o + 2284. Is n a multiple of 14?
False
Let s(q) = q**2 + q - 1. Let l(r) = 2*r**2 + 17*r - 4. Let f = -11 + 10. Let x(u) = f*l(u) + 5*s(u). Is 13 a factor of x(7)?
False
Suppose 2*r + 0*r = 5*v - 2908, -v + 572 = 2*r. Does 25 divide v?
False
Let r(x) = 7*x**2 - 12*x + 8. Let k be r(4). Is 10 a factor of 1572/k - 1/(-6)?
False
Let m be (1 - -67) + 12/(-3). Let p = -28 + m. Does 36 divide p?
True
Let c(v) = -7*v**3 - 3*v**2 + 21*v + 7. Let m(q) = 10*q**3 + 4*q**2 - 31*q - 11. Let k(i) = 7*c(i) + 5*m(i). Let o be k(-5). Is -1 + 2 - o/4 a multiple of 11?
False
Suppose 6 = 2*k, 0 = 2*m - 3*k + 14 + 1. Let s be 2*m/(-2) - 18. Does 14 divide (-805)/s - (-1)/3?
False
Let p(u) = -u**2 - 10*u + 2. Let o be p(-10). Suppose 0*l - o*l = -2. Is (-6*l + 4)*-14 a multiple of 7?
True
Let m = -199 + 283. Let n = m - 12. Is n a multiple of 13?
False
Let j(f) = 10*f + 29. Suppose -3*k + 2*k + 29 = -4*r, -74 = -4*k - 5*r. Does 14 divide j(k)?
False
Suppose -z - 310 + 172 = 0. Suppose 2*f - 397 = 59. Let s = z + f. Does 30 divide s?
True
Let a = 318 + -93. Does 5 divide a?
True
Let r be 1311/(-15) + -2 - 6/10. Let o = r - -159. Is o a multiple of 23?
True
Let o = 27 - 25. Suppose h + 2*w = -3*h + 660, -5*h + 827 = o*w. Does 36 divide h?
False
Is 4 a factor of 1*189/(-90)*-10?
False
Let w(r) = r**2 + 9*r - 68. Let v be w(6). Is 8 a factor of 438/11 + 4/v?
True
Suppose 3*i - 12 - 3 = 0. Suppose -i*l - 4*d = -94, -l + 2*d - 5*d = -21. Let s = l - 3. Does 4 divide s?
False
Let l(x) = x + 18. Let r be l(-15). Let g(d) = -3*d - d**2 - r*d**2 + 7*d**2 + 2. Does 2 divide g(2)?
True
Suppose -4*k + 5*v + 1190 = 0, -5*v + 135 = k - 150. Is 59 a factor of k?
True
Let h(g) = -4*g**2 + 10*g**2 - 5*g**2 + 11*g + 2 - 2*g**2. Does 13 divide h(8)?
True
Let x = -26 - -35. Is 4 a factor of 129*3/x - 5?
False
Let o(i) = 3498*i**3 + 3*i - 3. Is 66 a factor of o(1)?
True
Let y(v) = -25*v - 116. Does 44 divide y(-24)?
True
Let c = -252 - -732. Is c a multiple of 16?
True
Let u(i) = i**2 - 2*i - 17. Let x be u(7). Suppose -3*z = 3*o + x, -2*z - 2*o + o = 12. Does 7 divide 2 + z - (-3 + -29)?
True
Let j = 8 + -5. Suppose -j*z - 2*b = -254, 0*z = 4*z - 3*b - 333. Suppose 0 = g - 3*y + 21 - 64, 4*y = 2*g - z. Is g a multiple of 10?
True
Suppose 3*w + w = 424. Suppose 3*f = 3*n + 231, 0 = -n - 0*f + 4*f - 89. Let h = n + w. Is 23 a factor of h?
False
Let w = 380 - -20. Does 40 divide w?
True
Let o = 120 + -59. Suppose -96*x + 8 = -92*x. Suppose 41 = 3*a + c, -x*c + 4*c + o = 5*a. Does 13 divide a?
True
Suppose 0 = 3*g - 288 + 30. Does 4 divide g?
False
Let t = -168 + 335. Suppose -7*o = -337 - t. Is 18 a factor of o?
True
Let a(c) = c**2 + 4*c + 2. Let s be a(-4). Suppose 1 = -s*t + 5. Suppose -203 = -t*v + 3*z, 0 = -2*v - v - z + 288. Is v a multiple of 28?
False
Suppose 221 = 4*w - 355. Does 42 divide w?
False
Suppose q + 5 = 5*y - 6, -3*y + 9 = 0. Let z(r) = r**2 - r - 1. Let a(g) = -g**3 + 7*g**2 - 7*g - 1. Let x(u) = -a(u) + 3*z(u). Does 14 divide x(q)?
True
Let m be 2 + -9 + -6 + 3. Let n = -7 - m. Is n a multiple of 3?
True
Let z be (1/(-1) - 2) + 8. Let i = -3 + z. Is 3 a factor of 12 + (2 - i - 3)?
True
Let g(h) = 2*h - 7. Let i be g(7). Let s(n) = -n**2 + 8*n - 3. Does 2 divide s(i)?
True
Suppose -5*m + 9*m = 12. Let q be (-3 - 0)/(m/(-52)). Suppose -4*n + 0*n = -q. Does 7 divide n?
False
Let s(y) be the third derivative of y**6/120 - y**5/6 + y**4/2 - 13*y**3/6 - y**2. Let z = -34 + 43. Is 7 a factor of s(z)?
True
Suppose 5*v - 6086 = 2*n, -3*v - n = -1009 - 2647. Does 6 divide v?
True
Let v be -58*6/(-4) + 0. Let z = v - 40. Is z a multiple of 3?
False
Let p(j) = -j**2 + 208*j - 40. Is p(16) a multiple of 39?
False
Let t(a) = -a**2 - 8*a - 2. Let h be t(-6). Let d = -415 + 779. Suppose -d = 3*o - h*o. Does 13 divide o?
True
Let s(t) = -5*t**2 + 22*t - 5. Does 2 divide s(4)?
False
Suppose 636 = 17*i - 13*i. Suppose -2*a = 4*m + i - 515, -m - a = -90. Is 11 a factor of m?
True
Suppose -5*k - 936 = -2*p + 1929, 2*p - 2895 = -k. Does 17 divide p?
True
Let w = -230 + 421. Does 10 divide w?
False
Suppose 0*s + 3 = 3*s. Let b be 0 - (5/s + -3). Does 29 divide (0 - b)*(-29)/(-2)?
True
Let z(q) = q**3 - 8*q**2 - 17*q - 5. Is z(10) a multiple of 24?
False
Let w be (-15)/6*(-1 + -1). Let a(g) = 2*g**3 - 15*g**2 + 8*