- -24. Does 5 divide u*3*(-12)/(-27)?
True
Let j = -1735 - -2795. Does 53 divide j?
True
Suppose 4*d - 7 - 1 = 0. Let f(w) = 3*w**2 + w - 10 + d - 2*w**2. Is 2 a factor of f(-4)?
True
Suppose 0 = -5*g - 0*g + 2*p + 15, 4*g - 12 = -p. Let l(r) = 4*r + 20 + r**2 - 11 - g. Is 3 a factor of l(-3)?
True
Does 2 divide 26*(-7 - 187/(-22))?
False
Let r = -37 - -20. Let f(i) = -9*i - 32. Does 12 divide f(r)?
False
Let o = 1 + 99. Suppose 3*u + u = o. Is u a multiple of 3?
False
Suppose 12*r = -7*r + 1824. Does 8 divide r?
True
Let u(z) = z**3 + z**2 + 193. Let v be u(0). Suppose 0 = -m + 3*y + 61, 6*y = 3*m + 2*y - v. Is 17 a factor of m?
False
Suppose -3*f + 4*t + 10121 = 3987, -5*f - t + 10231 = 0. Is 86 a factor of f?
False
Let w = 457 + -305. Is w a multiple of 19?
True
Let p(w) = w**3 - 6*w**2 - 5*w - 10. Let u be p(7). Suppose 50 = -u*j - j + 4*t, -5*t = 2*j + 20. Let b = 13 + j. Is 3 a factor of b?
True
Suppose 4*k - 32 = 2*a, -8*a = -2*k - 4*a + 22. Suppose -216 = -11*y + k*y. Is 6 a factor of y?
True
Suppose 0 = 4*w - 4 + 28. Is (-1)/(-4) + (-783)/24*w a multiple of 34?
False
Suppose 4*j - 14 = -6. Let k(f) = -2*f - 5. Let l(g) = -g - 3. Let t(y) = j*k(y) - 5*l(y). Is t(9) a multiple of 14?
True
Let f = 14 + -23. Let w = f + -1. Let v = 19 + w. Is v a multiple of 5?
False
Let g(f) = -f**2 - 8*f. Let o = -8 + 8. Suppose q = -o*q - 6. Is 4 a factor of g(q)?
True
Let i = -220 + 222. Let x(n) = -6*n**3 + 9*n**2 - 10*n + 8. Let v(h) = 6*h**3 - 8*h**2 + 9*h - 7. Let o(z) = 6*v(z) + 5*x(z). Does 14 divide o(i)?
True
Let b(w) = w**2 + w + 156. Let o(a) = -a**2 - 7*a + 8. Let n be o(-8). Is 39 a factor of b(n)?
True
Let b be (2 - (-5)/(-3))/(2/24). Suppose 0 = b*l - 3*x - 128, -112 = -4*l - 3*x + 2*x. Does 9 divide l?
False
Suppose -5*h + 11 = 2*x, 7 = 5*h - x + 5*x. Let m be -6*h/(-6) - 6. Let c(s) = s**2 + s + 2. Is 4 a factor of c(m)?
True
Suppose -8*c + 7*c + 5 = 0. Suppose -2*v - 1 = -v, 0 = -c*h - 2*v + 163. Is h a multiple of 5?
False
Let r = 19 - 19. Suppose 0 = -r*b - b + 46. Suppose -g = -2*l + 3*g + b, -4*l + 81 = 3*g. Is l a multiple of 12?
False
Suppose -83 = -0*g - 3*g + 4*i, 5*g - 5*i = 130. Does 21 divide g?
True
Suppose 4 + 6 = u. Let h = u + -5. Let y(i) = 3*i + 5. Is 5 a factor of y(h)?
True
Suppose -2*m = 3*m + 45. Let s(p) = p**2 + 5*p - 12. Let c be s(m). Suppose 4*u - 2*u = c. Is 6 a factor of u?
True
Does 21 divide (-8)/48 + 883/6?
True
Let a be (-6)/12 - (-1886)/4. Suppose -4*m - a = -9*m + 2*b, 2*m - 189 = b. Is m a multiple of 35?
False
Suppose 10*k - 410 = 230. Let h = k + -27. Does 6 divide h?
False
Let b(u) = -u**2 - 38*u - 63. Is 27 a factor of b(-32)?
False
Let n(s) = 2*s**3 - 10*s**2 - 31*s - 35. Does 11 divide n(13)?
True
Suppose 2*d - 3*a - 250 = 0, -3*d + 4*a + 262 = -114. Is d a multiple of 7?
False
Suppose 28*z = 86*z - 72674. Does 20 divide z?
False
Is 27 a factor of (-417552)/(-168) - (-10)/(-7)?
True
Let k(n) = 33*n + 104. Does 47 divide k(26)?
False
Suppose 3*a - 2 - 4 = 0. Suppose 4*i - 20 = -q, 5*q - 2 = a*i + 10. Suppose -3*g + 2*z = -47, -g + 14 = -3*z - i. Is g a multiple of 7?
False
Suppose 19*w + 3812 = 21*w - 4*z, -4*w + 7604 = -4*z. Does 17 divide w?
False
Suppose 2*i - 704 = 4*h, 709 = 4*i - h - 664. Does 57 divide i?
True
Suppose n - 228 + 36 = 0. Is 3 a factor of n?
True
Let f(y) = -3*y - 6. Let h be f(0). Let q(b) = 2*b - 1. Let j be q(1). Is 10/7*(j - h) a multiple of 10?
True
Is 8 a factor of 77 - (4 - (-28)/(-2))/(-2)?
True
Let i(r) = -2*r - 12. Let y be i(-4). Let l = 40 - y. Suppose -2*c + 2*d + l = -0*c, 3*c + 3*d = 42. Does 18 divide c?
True
Suppose 5 = u + 2*f, 4 = -5*u - 2*f + 13. Suppose -50 - u = -p. Is p a multiple of 9?
False
Let v = -6903 - -10103. Is v a multiple of 32?
True
Is 10 a factor of (-1504)/(-5) + 4/20?
False
Suppose -18*j = -31*j + 2431. Is 26 a factor of j?
False
Let v = -10 + 19. Let f = v + 6. Is f a multiple of 8?
False
Suppose -s + 5*s - 60 = 0. Let v(w) = w**3 + 8*w**2 - 10*w + 6. Let l be v(-9). Let k = l + s. Is k a multiple of 11?
False
Suppose 182*h = 186*h - 396. Is h a multiple of 9?
True
Suppose -20*y = -28*y + 5832. Does 27 divide y?
True
Let v be (3 - -6 - -1)*(-362)/(-4). Suppose 3*j - 2*l = v, 4*l + 188 + 127 = j. Does 49 divide j?
False
Let a = -662 - -1311. Does 31 divide a?
False
Suppose y + 110 = 12*y. Is 498/4 - (-5)/y a multiple of 27?
False
Let n(w) = -150*w + 90. Is 16 a factor of n(-5)?
False
Let k(l) = l**3 + 2*l**2 - 3*l + 2. Let x(i) = -i + 2. Let n be x(5). Let h be k(n). Let j(y) = 2*y**2 - 4*y + 3. Does 3 divide j(h)?
True
Suppose -5*w + c = 78, 3*c = 5*w + 4*c + 72. Let u = 27 + w. Let y = u - -30. Does 21 divide y?
True
Let i(a) = -a**3 + 5*a**2 - 2*a - 7. Let y be i(4). Let v(z) = 40*z**2 - 2*z + 1. Is v(y) a multiple of 13?
True
Let q be (-15 - 9)/((-4)/(-30)). Let r be (-10)/3*q/25. Let s = 35 - r. Is 2 a factor of s?
False
Suppose -3*m - 2*m + 3*f + 14981 = 0, -3005 = -m + 5*f. Does 38 divide m?
False
Suppose -19*w - 5596 = -23*w - 4*z, 0 = -2*z - 6. Does 40 divide w?
False
Is 1*5 - (-227 + -62) a multiple of 6?
True
Let n(u) = 6*u**3 - 9*u + 2. Let a(g) = g**3 - g**2 - g - 1. Let x(d) = 5*a(d) - n(d). Let f be x(-6). Suppose q = -q - o + 15, -f*o = q + 6. Is q even?
False
Let y(c) = c**2 - 6*c - 4. Let z be y(6). Let i be (-3 + (-20)/z)/1. Let u(h) = 64*h - 7. Does 18 divide u(i)?
False
Let r(j) = -j + 17. Let b be r(13). Suppose -b*p + 15 + 41 = 0. Is (-6)/p + 240/21 a multiple of 2?
False
Let t = -1131 - -1959. Does 12 divide t?
True
Suppose 72 = -8*w - 0*w. Is 8 a factor of (-6)/w - (-282)/9?
True
Let p(j) = j - 579*j**3 - 7*j + 581*j**3 - 2 - 6*j**2. Does 16 divide p(5)?
False
Let d be -4 + 1 + (-9 - -5) + 43. Let q = 176 - d. Does 21 divide q?
False
Let g(y) = 11*y**3 + 3*y**2 - 24*y + 44. Is g(4) a multiple of 20?
True
Let p be (1/2)/((-1)/4). Let v(q) = -6*q**2 - 7*q + 2. Let a(k) = -7*k**2 - 6*k + 2. Let w(t) = -6*a(t) + 5*v(t). Is 36 a factor of w(p)?
False
Let z be (-4)/5*1/(-2)*15. Is 11 a factor of -2*((-21)/2 - 3/z)?
True
Suppose 57078 = 32*z - 5*z. Is z a multiple of 11?
False
Suppose -3*a + 14 = -7*l + 5*l, -5*a + 3*l = -22. Suppose 5*o = a*g + 2*g + 89, 0 = -g + 4. Is 7 a factor of o?
True
Does 5 divide (2054/(-104))/((-1)/20)?
True
Suppose -2792 = -5*m - 512. Suppose -c + 65 - m = -5*t, -c = 3*t - 233. Suppose -2*w = j - t, 0*w - j - 36 = -w. Does 38 divide w?
True
Suppose -3*j + 2*t + 72 = -j, -3*j = -t - 104. Suppose 2*u + j = 182. Is 20 a factor of u?
False
Let d(a) = -a**2 + 4*a - 2. Let q be d(2). Let v be 2/7 + 85980/(-70). Is 18 a factor of v/(-34) - q/17?
True
Suppose 0 = 6*o - 4*o - 56. Let f = -19 + o. Suppose -l = -f - 13. Is l a multiple of 11?
True
Let f be (4/5)/((18/15)/6). Suppose 2*x - 33 - 19 = -f*r, 0 = -r + 2*x + 8. Is r a multiple of 2?
True
Let o(u) = -10*u - 2. Let z(w) = w**2 + 9*w - 3. Let v(a) = a + 1. Let m be v(-10). Let q be z(m). Does 17 divide o(q)?
False
Let g(t) = 14*t + 13. Let f be g(-3). Let z = 61 + f. Is z a multiple of 16?
True
Let j be ((-42)/(-5))/(12/40). Let g = -27 + j. Let d = g + 52. Is 13 a factor of d?
False
Let a(p) = -p**2 - 12*p - 22. Let c be a(-5). Let m(b) = b**3 - 12*b**2 - 5*b + 3. Is 29 a factor of m(c)?
False
Let o(i) = 25*i**3 - 4*i**2 + 2. Is o(2) a multiple of 31?
True
Suppose 0*l - 2*l = 2*b, 3*b = 4*l + 7. Is (-53)/((4/4)/l) a multiple of 8?
False
Suppose 4*i - n + 0*n - 68 = 0, -4*n = -5*i + 96. Let j(a) = 9*a - 59. Is 6 a factor of j(i)?
False
Suppose 3*k - s - 1 = -5, -2 = -4*k + 5*s. Let t be (2 - (-8)/(-4))/k. Suppose 7*f - 48 - 15 = t. Is f even?
False
Suppose 2*l + 20 = 4*b, -7 = 2*l + b + 8. Let u(j) = -j + j**2 + 0*j + 4 + 0*j**2. Does 19 divide u(l)?
True
Let w = -100 + 626. Is w a multiple of 16?
False
Let d = 42 + -38. Let k(i) = -1 + 4 + 7*i - 2 + 3. Is 17 a factor of k(d)?
False
Suppose -156 + 1596 = 32*j. Does 9 divide j?
True
Does 33 divide (-12)/15 + (-2809)/(-5)?
True
Suppose 0 = 21*t + 545 - 1637. Does 26 divide t?
True
Suppose -2*n + 1462 = 4*k, 0 = 5*k - 0*n + 3*n - 1825. Is k a multiple of 25?
False
Let f = -61 + 168. Suppose -733 - f = -5*z. Is z a multiple of 14?
True
Let k = 15 + -11. Suppose -k*u + 84 + 204 = 0. Let o = -38 + u. Is 13 a factor of o?
False
Let g(q) = 2*q - 1. Let r be g(3). Suppose -5*y - 4*k = -4 + 2, -r*y - 