Suppose -13 = -3*a + 2*d, -4*a + 0*d - 4*d + k = 0. Suppose 138 = a*p - 42. Is 9 a factor of p?
True
Suppose -2*i = 3*b - 35, 6*i - 29 = -3*b + i. Does 3 divide b?
False
Let m = -130 - -78. Does 10 divide (-159)/(-7) + m/(-182)?
False
Let d(a) = -a**2 + 15*a + 10. Let s be d(7). Suppose 0 = 3*l - 2*l, l = -2*k + s. Suppose -3*g + 33 = -k. Is g a multiple of 22?
True
Suppose -36*f = -57*f + 2898. Is 5 a factor of f?
False
Is 8 a factor of (-7)/(7/606)*20/(-60)?
False
Let h(t) = 4*t - 6. Let m = 22 - 22. Suppose 2*k + m*k = 8. Is 3 a factor of h(k)?
False
Let z be 4/18 + (-9704)/(-72). Let i(x) = -7*x**2 + 5*x - 4. Let k be i(4). Let l = k + z. Is l a multiple of 13?
True
Is 1324 + (-8 + 0)/(-1) a multiple of 111?
True
Let j = 5 - 0. Let g = -46 - -81. Suppose -2*h = -g + j. Does 4 divide h?
False
Suppose -16569 = 59*s - 80*s. Does 15 divide s?
False
Suppose 2*q = 3*q - 11. Let u(t) = 10*t + 2 - 4*t + q*t**2 - 4*t - 3*t. Is u(-2) a multiple of 12?
True
Is (4/(-7))/((-12)/1722) a multiple of 2?
True
Let y be ((4/3)/(2/(-3)))/(-1). Suppose 556 + 512 = 4*m. Suppose -m = -g - y*g. Does 37 divide g?
False
Is 34 a factor of (218/545)/((-2)/(-1360) - 0)?
True
Let z(p) = 45*p**2 + 3*p - 2. Let w be z(1). Suppose 14*b - 12*b - w = 0. Is 9 a factor of b?
False
Let u = 77 + -137. Let g = -39 - u. Is g a multiple of 7?
True
Suppose 10*x - 18 = 4*x. Let p be (1 - (-1 - -1)) + 1. Suppose 3*h - 225 = -p*h + x*l, 4*h + l = 180. Is 10 a factor of h?
False
Suppose 580 = -6*i - 32. Let z = -44 - i. Is z a multiple of 10?
False
Let c = 606 - 155. Is c a multiple of 14?
False
Let w be ((-14)/6)/((-2)/54). Let d be (12/(-1 + -3))/(-1). Suppose 5*p = -d*k + w + 52, 2*k + 4*p - 76 = 0. Is k a multiple of 20?
True
Suppose 0 = 4*i + z - 2*z - 677, 4*i = 5*z + 697. Suppose 5 = 5*r, 5*n - 2*r - i = 5. Is n even?
False
Suppose 3*m - 17*k = -15*k + 578, 0 = 3*m - k - 574. Is m a multiple of 19?
True
Let v = -2632 + 2983. Is 27 a factor of v?
True
Suppose -8 = -3*a + 2*n, 0*n + 4*n = 2*a. Suppose -5*s - a*o - 3 - 4 = 0, -2*s - 3*o = 7. Is -144*-1*s/2 a multiple of 11?
False
Let z = 556 + -164. Is 7 a factor of z?
True
Let b be (309/(-15) - 1)/((-1)/5). Suppose 4*s = -3*z + b, 0*z - 2*z = 4*s - 108. Is 27 a factor of s?
True
Let b = 37 - 71. Let y = -7 - b. Is y a multiple of 5?
False
Suppose f = -2*f + 9. Let q be -1 - (2 + 2 - 7). Suppose 3*l = -q*i + 42, -f*l = 4*i - l - 92. Does 13 divide i?
False
Suppose -8 = -5*y + 12. Let c be y + 28 - 8/2. Is 18 a factor of (-144)/c*14/(-4)?
True
Suppose 0 = -2*w - v + 10, v = -2*w + 2*v + 10. Suppose 0 = q - 3 - 0, -o = w*q - 57. Does 6 divide o?
True
Let z = -176 + 276. Let s(d) = -d + 1. Let k be s(-2). Suppose u = k*u - z. Is 17 a factor of u?
False
Suppose 0 = -3*v + 1 - 7. Let t = v + 34. Is 8 a factor of t?
True
Suppose 0 = 4*s + 9 - 29. Suppose s*i = v + 528, -4*i + i + 2*v = -321. Does 31 divide i?
False
Let p(q) = -8*q - 28. Let j be p(-12). Suppose c + 3 = j. Is c a multiple of 13?
True
Let y(w) = w + 7*w**2 - 64 - 8*w**2 - w. Let u be y(0). Does 6 divide 0 + 3/((-12)/u)?
False
Let l(d) = 15*d**2 + 8*d + 20. Does 8 divide l(-3)?
False
Does 32 divide ((-3168)/(-360))/(1/40)?
True
Is 21 a factor of 2262 + (1 - 81/9)?
False
Is 39/(234/24) - (-467 + 1) a multiple of 36?
False
Let b = -267 + 480. Is b a multiple of 71?
True
Let q(d) = -d**2 - 13 - 2*d**3 - 3*d + 50*d**3 + 4*d + 12. Let c be q(1). Suppose -r = 3*s - c, 3*s - 2*r = r + 51. Is s a multiple of 4?
True
Let o(q) = q**2 - q. Let v(n) = n**3 + 13*n. Let h(l) = -6*o(l) - v(l). Is h(-7) a multiple of 7?
True
Suppose 28 = -5*j - 2*d, -3*d = 3*j + 2*d + 13. Is 19 a factor of (220/(-15) + 2)*j?
True
Suppose 16*n - 2016 = 8*n. Is n a multiple of 42?
True
Let s be (-62)/8 - (-6)/(-24). Let z be (-690)/s - (-7)/(-28). Suppose -3*i = -i - z. Is 21 a factor of i?
False
Let b(h) = h**2 - 5*h - 9. Let d be b(7). Suppose -5*f - 27 = -5*w + 18, -w - d*f + 27 = 0. Let j = -5 + w. Does 3 divide j?
False
Is 14 a factor of ((-4)/10)/(7 + (-2706)/385)?
True
Let o(u) = 2*u**2 - 2*u - 2. Suppose -2*k - 2 = -t - 4*k, -4 = -2*t + 2*k. Let j be o(t). Suppose -b + 37 = j. Is b a multiple of 16?
False
Suppose -106*o = -120*o + 6734. Is o a multiple of 12?
False
Let a = 13 - 7. Let r(f) be the second derivative of 5*f**3/6 - f**2/2 + 5*f. Does 15 divide r(a)?
False
Let c(i) = 16*i**2 - 2*i - 8. Is c(4) a multiple of 28?
False
Suppose -5*i + 2*p = -3274, -1066 - 261 = -2*i - 5*p. Is i a multiple of 17?
False
Let s(a) be the first derivative of 23*a**3 - a**2 + a + 17. Does 17 divide s(1)?
True
Let n = 1 - 1. Let b(f) be the third derivative of -f**5/60 + 2*f**3 - 10*f**2. Is b(n) a multiple of 12?
True
Is 8 a factor of (-40919)/(-51) - (-2)/3?
False
Let z = -148 + 148. Suppose 2*f = 3*v + 90, -5*f + z*v + 225 = v. Does 12 divide f?
False
Suppose -3*g + 0*g + 72 = 0. Suppose 2*i + 5*v - 24 = 0, v - 5*v - g = -2*i. Does 2 divide i?
True
Let h = -873 - -1878. Is h a multiple of 15?
True
Let g(u) = u**2 - 7*u - 8. Let s be g(8). Suppose s = 3*c + 3*o - 219, 0*c + 4*o + 68 = c. Is c a multiple of 10?
False
Let d(k) = -k**3 + 13*k**2 + k - 8. Let i be d(13). Suppose 5*m - 237 - 483 = -3*y, -i*y - 720 = -5*m. Does 16 divide m?
True
Let l(t) = t**3 - 8*t**2 - t + 12. Let f be l(8). Suppose -350 = -5*h + 3*r + 2*r, -f*h - 3*r = -294. Is 8 a factor of h?
True
Is 16 a factor of (-1 - (-3)/9)/((-6)/4689)?
False
Let c(a) = 20*a**2 - 4*a + 5. Suppose 9 = -4*k + 17. Does 7 divide c(k)?
True
Let s = -93 - -1468. Does 55 divide s?
True
Is 160 - (6 + 9/9) a multiple of 51?
True
Let h be 18*18*(-1)/(-2). Is (-260)/(-6)*h/45 a multiple of 26?
True
Does 16 divide (3238/(-3))/((-76)/114)?
False
Suppose -11 = c - 2*c + 4*i, -8 = -c + i. Suppose c*s + 2*k = 2*s + 240, -2*s - k = -96. Is s a multiple of 12?
True
Is (-5 - (-14 - -8))*1082 a multiple of 28?
False
Suppose -9*n + 1791 - 657 = 0. Does 21 divide n?
True
Let j(y) = -70*y**2 + 4 + 12*y - 4 - 11*y. Let b be j(-1). Let i = 107 + b. Does 12 divide i?
True
Suppose 0 = 7*o - 5382 + 510. Is 8 a factor of o?
True
Suppose 794 = -12*d + 6530. Is 24 a factor of d?
False
Let x = 41 + -34. Suppose 0 = -2*f + 17 + x. Suppose 0 = 5*z - f - 18. Does 3 divide z?
True
Let n be (-2 - -1) + 3 - 77. Let t = n - -123. Suppose -c + 120 = 5*d + 4*c, 3*c = 3*d - t. Is d a multiple of 15?
False
Let l(x) = 3*x**2 - 2*x**2 - 3*x - 17 + 5. Let j be l(6). Suppose -10*w + j*w + 32 = 0. Does 8 divide w?
True
Let x = 12 + -10. Suppose -3*a + 4*o + 30 + 20 = 0, 25 = x*a - o. Is 3 a factor of a?
False
Let l(i) = 18*i**2 - 4*i - 25. Does 42 divide l(11)?
False
Does 6 divide (-1 - 3 - -6)*78/4?
False
Let i = -68 + 394. Let j = i - 199. Does 20 divide j?
False
Suppose 0 = 2*n + 7 + 25. Suppose -u + 2*p + 88 = 0, -p + 37 = -3*u + 296. Does 7 divide u/8 - (-12)/n?
False
Is 24 a factor of (0 - -1 - 3) + 5694/13?
False
Let p(u) = 15*u**3 + 3*u**2 - 3. Let g be p(-2). Let x = 164 + g. Is 26 a factor of x?
False
Suppose -1878 = -5*l + q, -5*l + 1884 = -2*q + 4*q. Suppose 272 = 4*z - l. Let t = z + -64. Does 13 divide t?
False
Let o(v) = 72*v**2 + 36*v + 72. Does 2 divide o(-2)?
True
Suppose 0 = 4*d + 3*t - 3, 5*d - 2*t - 18 = -t. Suppose 0 = -0*w - 2*w + d*s - 1, 2*s = w. Is 846/30 - w/(-10) a multiple of 16?
False
Suppose 62*z - 5005 = 51*z. Does 35 divide z?
True
Let a = 152 + -72. Is 3 a factor of a?
False
Suppose -4*n = 4*h - 28, -3*n - 1 + 10 = -3*h. Suppose 85 = n*l - 230. Let z = l + -43. Is 10 a factor of z?
True
Suppose 4*h = 72*y - 69*y + 10068, 2*y - 5048 = -2*h. Is h a multiple of 40?
True
Let t be (28/(-21))/(8/(-204)). Let o(n) = -n - 6. Let w be o(-9). Suppose z + t = w*z. Is 6 a factor of z?
False
Suppose -3*q = 2*m - m - 2188, -q - m = -728. Is q a multiple of 29?
False
Let y(o) = o**3 + 11*o**2 + 7*o - 21. Suppose 4 = -2*t, 3*t - 5*t = 3*h + 31. Does 13 divide y(h)?
True
Let v(i) = -i. Let t(x) = 38*x - 4. Let g(k) = -t(k) - 12*v(k). Let r(n) = -1. Let a(z) = -g(z) - 3*r(z). Does 15 divide a(3)?
False
Let g(d) = 3*d - 46. Let q be g(0). Let z = 94 + q. Is z a multiple of 8?
True
Let v = -5 - -10. Suppose -v*c = -3*a + 928, a + c = 2*c + 306. Suppose 4*s = a + 47. Is 29 a factor of s?
True
Suppose -13 + 21 = 4*j. Suppose -700 = -5*t + j*t + 5*m, m - 4 = 0. Does 20 divide t?
True
Let l