1128. Does 32 divide a?
False
Let t be ((-5)/(-3))/((-1)/(-3)). Suppose 0 = -t*o + 2*o - 12, 3*m + 5*o = 4. Suppose m*a - 5*a = 48. Does 8 divide a?
True
Suppose -2*w + 5*w = 3. Let p be (7 - w)*1/3. Suppose p*d = -7*d + 261. Does 9 divide d?
False
Suppose h + 39 - 21 = 0. Let u be (8/(-6))/((-2)/h). Is 2/(-3) - 776/u a multiple of 27?
False
Let i = -31 + 40. Suppose 359 = i*s - 631. Does 10 divide s?
True
Let q be 34/8 + 3/(-12). Suppose -2*r = q + 2. Is 8 a factor of 2/(-3) - 89/r?
False
Suppose -p = -4*c + 2, -4*c - 4 - 2 = 3*p. Let l(g) = c - 6 + 3 + 2 + g**2. Does 8 divide l(-3)?
True
Let r = 575 + -519. Does 7 divide r?
True
Suppose -96 = -2*v - 3*j, 26*v - 4*j - 70 = 25*v. Does 6 divide v?
True
Let i = 121 + -85. Let c = -22 + i. Does 4 divide c?
False
Let t(m) = 41*m**3 + m**2 - 5*m + 3. Let w be -4 + 6 + 1/2*-2. Is t(w) a multiple of 8?
True
Let q = 152 + -84. Let d be q/11 + (-10)/55. Suppose 10 = g - d. Is 10 a factor of g?
False
Let o(j) = -11*j + 17. Let l be o(3). Does 33 divide ((-366)/1)/(24/l)?
False
Suppose -20 = -5*o + 4*o. Suppose 0 = 2*q + x + 5, 0 = q + 4*q - 4*x - o. Suppose -5*z + 60 = 3*j + 2*j, -3*j + z + 40 = q. Does 13 divide j?
True
Suppose 30*o - 14*o = 10288. Does 43 divide o?
False
Let v = 433 + -169. Is 12 a factor of v?
True
Let l be (-2)/4 - 22/(-4). Suppose -4*u = 3*a - 8*a + 24, -5*a + 28 = -3*u. Suppose 0 = o + g - a, 0 = l*o + 2*g + 2*g - 36. Is o a multiple of 4?
True
Suppose -9*m + 5*m = 0. Suppose -90 = -i + 3*t, 5*i - 5*t = -m*i + 430. Does 12 divide i?
True
Suppose j + 4*k + 28 = 2*k, 0 = -2*j + 4*k - 96. Let f = j + 138. Is f a multiple of 30?
False
Let k = -46 - -432. Is k a multiple of 14?
False
Let l = -4 + 9. Suppose -l*b - 9 = -19. Suppose -18 = 3*t - 3, -v + b*t = -29. Is 19 a factor of v?
True
Suppose 0 = 5*r - 5*x - 445, -r - 5*x + 192 = r. Does 13 divide r?
True
Let t be -1*(0/1 - 93). Suppose t = 4*w + 1. Suppose 3*v = 4*v + z - w, 2*v - 5*z - 39 = 0. Is 17 a factor of v?
False
Let g(v) = -v**2 - 60*v - 391. Is g(-39) a multiple of 11?
False
Suppose -6*k + 5292 = -k + 4*l, -5312 = -5*k + 6*l. Is k a multiple of 9?
False
Suppose 10*a + 1 = 21. Is 46 a factor of 1 + (5 - a) - -88?
True
Let f(q) = 3*q**2. Suppose 0 = -l + 2 - 4. Let m be (5/(-10))/(1/l). Is 2 a factor of f(m)?
False
Is 5 a factor of 160/(-12)*342/(-24)?
True
Let f(q) = -q**2 + 22*q - 17. Let p be f(21). Suppose -5*m - w + 981 = 3*w, m - 193 = -p*w. Is 30 a factor of m?
False
Let w(m) = -m**3 + 9*m**2 + 3*m - 12. Suppose 3*l = -5 + 32. Is 10 a factor of w(l)?
False
Let y(g) = 8*g**2 + 24*g + 9. Let u be y(-7). Let v = -93 + u. Is v a multiple of 28?
True
Let n = -7 + 30. Suppose 3*o + 18 = 7*o - v, v + n = 5*o. Is o a multiple of 5?
True
Let x = 170 - 21. Let y = x - 41. Is 12 a factor of y?
True
Let f = -82 + 79. Suppose 0 = -5*v + 9 + 6. Does 28 divide f/(0 - v/116)?
False
Let u = -740 + 773. Does 33 divide u?
True
Let b = -65 + 25. Suppose -266 = -3*a + 4*j, 3*j - 10 - 70 = -a. Let m = a + b. Is m a multiple of 15?
False
Let f(d) = 12*d + 526. Is f(78) a multiple of 17?
True
Suppose 7*f - 12*f - 65 = 0. Let z(l) = l**3 + 13*l**2 - 3*l - 19. Is 10 a factor of z(f)?
True
Let v(f) = -6*f - 16. Let t be v(-3). Suppose 6*b = 5*b + 4*y + 172, t*y = -b + 154. Is 19 a factor of b?
False
Suppose 9*f + 6422 = 35*f. Is 13 a factor of f?
True
Let z(q) = -q**2 + 12*q - 7. Let f be z(11). Suppose 8 = -4*k, -2*a + 5*k = -a - 12. Does 16 divide a/f - 129/(-2)?
False
Let h(m) = m**3 - 8*m**2 + 13*m - 1. Let f be h(6). Is 19 a factor of (-266)/(-6) - f/(-30)*4?
False
Let c(q) = -q**2 + 24*q - 68. Is c(14) a multiple of 2?
True
Suppose 4*b - 2*d - 2 = 8*b, -3*b + d + 11 = 0. Let y be ((3 - 4) + b)*-35. Let g = 18 - y. Is g a multiple of 14?
False
Let m be (-2 + 2)/((-2)/1). Suppose 52 = c + 2*c - 4*r, -r - 4 = 0. Suppose -b + c = -m*b. Is 8 a factor of b?
False
Let p be 7*((-10)/7 + 2). Let y(f) = 6*f**2 + 12*f + 9. Let l(k) = -5*k**2 - 11*k - 8. Let m(z) = p*y(z) + 5*l(z). Is m(-5) even?
True
Let o = 159 + 197. Is 42 a factor of o?
False
Suppose 2*c + c = 2*r + 44, 3*r + 3 = c. Let d(y) = y**2 + 7*y - 14. Let f be d(-9). Suppose i + f = c. Is 4 a factor of i?
False
Suppose -31*k = -30*k - 96. Is 13 a factor of k?
False
Let f be ((-8)/10)/((-16)/(-40)). Does 10 divide (f - 22/(-6))*6?
True
Suppose -3*h + 24 = -0*h. Let p = h + -3. Suppose p*u - 9*u = -40. Is 4 a factor of u?
False
Let t(q) = q**3 - 8*q**2 - 8*q - 12. Let d be t(9). Is 30 a factor of d + (1 - 1) - -63?
True
Suppose 12*k - 22429 - 5459 = 0. Is k a multiple of 11?
False
Let i(z) be the first derivative of -z**4/4 + 5*z**2/2 + z + 3. Is 8 a factor of i(-4)?
False
Let c(n) = -2*n**3 + 17*n**2 - 20*n - 24. Let m(y) = -y**3 - y**2 - y + 1. Let v(z) = -c(z) + 3*m(z). Does 12 divide v(-21)?
False
Suppose 3*r = 7*r - 3*p - 14, 2*r - p - 8 = 0. Is 15 a factor of (0 - (-7)/r)*35?
False
Let o = 45 - 35. Let t = 87 + -122. Does 24 divide 14/t + 614/o?
False
Is -6*((5 + -4 - 28) + 2) a multiple of 15?
True
Let z = -3153 - -5994. Does 20 divide z?
False
Let v = -25 - -28. Suppose 86 - 449 = -v*n. Is n/22 + 2/4 a multiple of 3?
True
Let r(i) = 3*i - 1. Suppose 0 = w + 2*w. Suppose 4*l + w*l - 48 = 0. Is r(l) a multiple of 18?
False
Suppose -4*d - 3*z + 3498 = 326, 4*d + 4*z = 3172. Is d a multiple of 22?
False
Let w(h) = h**3 - 11*h**2 + 10*h - 13. Let x be w(10). Let z(n) = n**3 + 14*n**2 + 15*n + 4. Let b be z(x). Let j = -13 - b. Is j a multiple of 3?
True
Let b be 12 + -9 + 4*2/2. Suppose 5*z = b*z - 104. Does 6 divide z?
False
Let k = -1201 - -1790. Is 54 a factor of k?
False
Suppose 0 = q - 2*q. Suppose 3 = -5*p - 5*r + 43, 3*p + 4*r = 28. Suppose 0*n - p*n + 14 = 2*f, -5*n + 3*f + 45 = q. Is n a multiple of 4?
False
Suppose -2*y + 11 = 5*f, f + 0*f = -5. Suppose -y = -3*i + i. Suppose -32 = -4*q + 4*x, 16 + i = 4*q + 3*x. Does 7 divide q?
True
Let k = 726 - 346. Is k a multiple of 5?
True
Let j be (-2*1)/(-6 - -5) + 0. Does 12 divide 209/j + 9/6 + -1?
False
Let m(y) = -6*y**3 - y**2 - 2*y + 2. Let v be m(1). Let l(h) = -28*h - 4. Is l(v) a multiple of 16?
True
Let r = -163 - -392. Is 9 a factor of r?
False
Let x(a) = 9 - 3*a**2 - 14*a + a**3 - a**2 + 5*a**2 + 12*a**2. Let g be x(-14). Does 13 divide (120/g)/(1/3)?
False
Let d(v) = 39*v - 2. Suppose 3*j - 15 = -2*j. Is 22 a factor of d(j)?
False
Let g = 65 + -62. Suppose -g*j + 43 = 2*z, 3*j - j + 4*z - 18 = 0. Is j a multiple of 2?
False
Let n = 220 - -15. Is n a multiple of 29?
False
Let p(c) = -20*c**3 + 2*c**2 + 5*c - 2. Let f(u) = -61*u**3 + 6*u**2 + 14*u - 5. Let i(z) = 3*f(z) - 8*p(z). Is i(-1) a multiple of 4?
True
Let f = 17 - 2. Is 25 a factor of ((-480)/25)/((-3)/f)?
False
Let h(z) = -20*z - 36. Is h(-4) a multiple of 22?
True
Let q(t) = 2*t**3 + 12*t - 40. Is q(5) a multiple of 15?
True
Let t(g) = 8*g + 16. Let n be t(8). Let i = n + -54. Is 26 a factor of i?
True
Let z(a) = -a**3 - 11*a**2 - 18*a + 2. Let h be z(-9). Suppose -4*t + h*t = -96. Is 16 a factor of t?
True
Let q(n) = n**3 + 0*n**3 + 4*n + 6*n**2 + 3*n**2 + 1 + 0*n**2. Is 24 a factor of q(-8)?
False
Does 10 divide (-2)/72*-8 - 42810/(-54)?
False
Let a(m) = -3*m**2 - 11*m + 8. Let b(l) = 4*l**2 + 12*l - 9. Let z(y) = 5*a(y) + 4*b(y). Let x be z(3). Let o(t) = -t**2 - 9*t + 7. Is o(x) a multiple of 6?
False
Suppose -100*y + 20615 = -18385. Is y a multiple of 13?
True
Let p be (-1 + -11)*(-51)/12. Let n be p/6 + 1/(-2). Is 25 a factor of 25/20*5*n?
True
Let f(h) = -30*h**2 + 2*h + 7. Let u(b) = 31*b**2 - 3*b - 8. Let s(k) = -4*f(k) - 3*u(k). Does 34 divide s(-2)?
True
Does 29 divide (-35581)/(-68) - (1 + (-1)/(-4))?
True
Suppose -2*i + 4*t = 7*t - 3641, 5*i - t = 9111. Is i a multiple of 5?
False
Suppose -32*n + 33*n - 16 = 0. Let k = -8 + 13. Suppose u + k*c - n = 0, 4*c = -c. Does 4 divide u?
True
Let n = 16 - 10. Suppose n*i + 30 = i. Is 3 - -6*(-39)/i a multiple of 13?
False
Suppose 0 = 7*y - 2*y - 10. Let b(l) = 7 - l**2 - 13*l - l**y - 10. Is b(-5) a multiple of 12?
True
Suppose 776 = o + o - 2*m, 4*m = 3*o - 1168. Does 48 divide o?
True
Suppose 3*o = 5*p + 14 - 95, o = 3. Suppose 4*q - 2*l - 20 = 0, -q + 3*l = -3*q + p. Suppose -q*c = -3*c - 168. Does 28 divide c?
True
Suppose -a + 57 = 2. Does 11 divide a?
True
Let g = 14 + -23. Let q be (1 - 1) + (g - 