 - 6. Does 6 divide ((-18)/w)/((-2)/25)?
False
Suppose -3*o - 4*p + 3219 = 0, -4*p - 5419 = -4*o - 1099. Is 100 a factor of o?
False
Suppose -4*o + 44 = 4*v, v - 5*v = 0. Is 11 a factor of o/(-44) + (-442)/(-8)?
True
Let c = -34 + 37. Suppose c*h = 7*h - 68. Does 6 divide h?
False
Suppose -9*u - 82 = -19. Is ((-8)/2 + u)*-8 a multiple of 9?
False
Let q(n) = -499*n - 410. Is 18 a factor of q(-8)?
True
Let u(b) = 12*b**2 + 4*b + 64. Is 52 a factor of u(-6)?
False
Suppose -4*i - 2 = -3*y - 3, 5*y = 4*i + 1. Let r(x) = 110 + 34*x**2 - 53 - 57 - x. Is r(y) a multiple of 14?
False
Let s = -2115 + 3012. Does 77 divide s?
False
Let u = -45 + 47. Let q = 199 - u. Is 27 a factor of q?
False
Let x(u) = -21*u - 22. Let k(o) = -11*o - 11. Let l(n) = -7*k(n) + 3*x(n). Let i be l(5). Suppose -4*f = -5*r + 456, 2*r - 4*f + i = 261. Is 23 a factor of r?
True
Let m = 95 + -50. Suppose -25 = 5*u + m. Let k = u + 32. Does 9 divide k?
True
Let a be (-3)/((-2770)/2776 + 1). Let q = a - -572. Is (6/(-8))/(17/q) a multiple of 18?
True
Suppose -2276 = -11*f - 285. Is f a multiple of 9?
False
Let b(q) = -q**2 + 54*q - 43. Is 34 a factor of b(36)?
False
Let n = 1722 - 828. Is n a multiple of 13?
False
Let y(u) = u**3 + 9*u**2 + 30*u - 16. Let q be y(-5). Suppose l = -5*f + 38, 2*l - 2*f = -3*l + 55. Does 2 divide l/(-52) + q/(-8)?
True
Let s be (9 + -12)/(0 - 1). Suppose -c = -z - 1, -5 = -5*c - s*z + z. Let d(a) = 28*a**2 - a + 1. Does 7 divide d(c)?
True
Let g(n) = 15*n - 27 - 6*n + 3 - 2*n**2 + 3*n**2. Is g(-12) a multiple of 3?
True
Let v(t) = -184*t + 17. Is v(-5) a multiple of 28?
False
Let l(f) be the second derivative of f**5/20 + 17*f**4/12 + 13*f**3/6 - 11*f**2 + 23*f. Is 3 a factor of l(-16)?
False
Let u(b) = -4*b**2 - 5*b + 4. Let x be u(4). Let k = 49 + x. Let g = k + 67. Does 8 divide g?
False
Let o(f) = 28*f + 14. Is 18 a factor of o(13)?
True
Let x = 269 - -853. Does 22 divide x?
True
Suppose -2 = -5*x + 13. Suppose x*y + 3*h + 150 = 387, -5*h = 2*y - 161. Does 13 divide y?
True
Let n = -5 - -9. Suppose 0 = 5*c + 3 + 22, -n*o = 4*c - 260. Is o a multiple of 14?
True
Let r(i) = -3*i**3 - 106*i**2 - 17*i - 42. Is r(-36) a multiple of 31?
True
Let g(m) = 8*m - 2. Let f be g(-9). Let n = -3 - f. Suppose 5*h - 4*s + n = 245, -136 = -4*h + 4*s. Is h a multiple of 23?
False
Suppose 34*d - 372 = 33*d. Is d a multiple of 54?
False
Let x(h) = 6*h**2 - 17*h - 36. Is 11 a factor of x(-2)?
True
Let d(n) = 3*n**2 - 6*n + 8. Let m be d(3). Let v = 54 + m. Is 13 a factor of v?
False
Let n be (-117)/(-13) + 2 + -2. Let b(a) = 6*a - 10. Is 11 a factor of b(n)?
True
Let k = -1016 - -1414. Is k a multiple of 22?
False
Let a(r) = r + 3. Let h be 0/3*2/(-8). Let m be a(h). Suppose 4*s + m*p - 422 = -0*p, 4*p = 8. Is s a multiple of 33?
False
Let k(c) be the first derivative of 1/3*c**3 - 1/2*c**2 - 5 + 18*c. Is 6 a factor of k(0)?
True
Let u = -38 - 16. Let f = u - -224. Does 22 divide f?
False
Let y be (1 - 2)*(-5 + 4). Suppose -3*t - 21 = -4*w - 2*t, -y = t. Does 5 divide w?
True
Suppose -2*h - 4 = 0, 4*g = -2*h - 27 - 1. Is 9 a factor of (-5 + 3)*(1113/g)/7?
False
Let m(d) = 100*d**3 - 5*d**2 + d + 7. Is m(2) a multiple of 5?
False
Suppose 0 = -53*q - 11*q + 66112. Is q a multiple of 111?
False
Let v = 1510 - 1271. Is v a multiple of 6?
False
Let h = -3 + -1. Let l(g) be the third derivative of -g**4/8 + 5*g**3/6 - 2*g**2. Is l(h) a multiple of 17?
True
Suppose 5*f - 51 = 29. Let v be 15/(-3) + 3 - -21. Let u = v - f. Is u a multiple of 3?
True
Let z = 6 + -2. Suppose -5*n - z = -6*n. Is 2 a factor of (0 - 1)/((-1)/n)?
True
Suppose -3*z + 4 = w, 5*w = 13 + 7. Suppose 2*u + z - 8 = 0. Suppose -u*v = -130 - 58. Is v a multiple of 12?
False
Is 6582/9 + 8/12 a multiple of 32?
False
Suppose 0 = -4*u - 3*c + 176, 2*u = c + 87 + 11. Let x = u - -261. Is x a multiple of 11?
True
Suppose 0 = -x + 10 - 74. Does 34 divide (5 - x/(-12))*-408?
True
Let d = -12 - -728. Does 13 divide d?
False
Let t(a) = -218*a. Let l be t(-2). Let i = 776 - l. Suppose -j - i = -5*h, -5*h + 0*j + 340 = -2*j. Is h a multiple of 23?
False
Let y(i) = -i**2 - 4*i + 1. Let h be y(-3). Suppose -h*o = 5*g, 10 = -o - o. Suppose -4*u + 72 = -0*k + 4*k, -2*k = g. Does 10 divide u?
True
Suppose -4*w + 5 = -3. Suppose 554 - 79 = 5*f + 2*n, f + w*n - 95 = 0. Is f a multiple of 19?
True
Let u = -54 + 200. Is 33 a factor of u?
False
Suppose 5*o - 23 = u - 1, -38 = 4*u + 5*o. Suppose q - 9 = -4. Is 2 a factor of (u/q)/((-6)/20)?
True
Let j = -4 - -6. Suppose 28 = -j*z + 156. Does 13 divide z?
False
Suppose 4*o + 4*g = 369 - 61, 5*g = -2*o + 163. Let i = o + -23. Does 17 divide i?
True
Let f(g) be the first derivative of -3*g**2/2 - g - 1. Let p = -22 + 18. Is 8 a factor of f(p)?
False
Let l(j) be the second derivative of 3*j + 3*j**2 - 7/6*j**3 + 0. Does 27 divide l(-3)?
True
Let k be (-210)/55 - (-4)/(-22). Let f be 0 - (k + 2 - 0). Does 3 divide 39/(-13)*-1*f?
True
Let p(j) = -3*j - 13. Let z be p(-5). Suppose 5*f = -5*g + 143 - 28, g - 26 = z*f. Is g a multiple of 12?
True
Let d = 850 - 809. Is d a multiple of 10?
False
Suppose 7*b = 12 + 16. Suppose b*o = 16*o - 1572. Does 21 divide o?
False
Let m = -216 - -465. Suppose 5*f = -2*g - 2215, 5*g = -4*f - 1540 - m. Is f/(-18) + 1/(-2) a multiple of 6?
True
Is 25 a factor of 79/(-2)*-4 - 6?
False
Let n = 64 - 19. Does 10 divide (56/(-6))/7*n/(-2)?
True
Let m = 25 - 19. Suppose 0*f + 66 = m*f. Let c(w) = -w + 14. Is c(f) a multiple of 2?
False
Let m be 0/(1 + -1 + 1). Let j(y) = 2*y + 96. Is 16 a factor of j(m)?
True
Suppose -12*r = 10*r - 440. Is 4 a factor of r?
True
Let a be ((-2)/(1/1))/(-1). Suppose -3*n + 25 = a*n. Let b(z) = z**2 - 5*z + 3. Does 2 divide b(n)?
False
Is -3 + 6 - 4/((-8)/426) a multiple of 8?
True
Suppose 3*l + 4 + 2 = 0. Let p be -1 - 1 - 3 - 16/4. Does 9 divide (-1060)/(-90) + l/p?
False
Suppose -37*q + 1244 = -33*q. Is 21 a factor of q?
False
Suppose -5*z + 4104 = 3*z. Does 57 divide z?
True
Let d be ((-15)/(-6))/5*-116. Let z = -20 - d. Does 17 divide z?
False
Let f be (-2)/(-20)*-4 - (-60)/25. Suppose 0 = -4*s + f*i + 96, 3*s - 96 = -s + 4*i. Does 24 divide s?
True
Suppose -3*z - 31 = -4. Let x be (z/1 + 2)*-5. Is (x/28)/((-2)/(-24)) a multiple of 5?
True
Let l(p) = -57*p - 35. Is 16 a factor of l(-11)?
True
Suppose -224*m + 216*m = -12392. Does 18 divide m?
False
Suppose 9*z - 729 - 1026 = 0. Is 22 a factor of z?
False
Let k = 42 - -41. Let x = 136 - k. Is 7 a factor of x?
False
Is -13*((-90)/(-63))/((-1)/7) a multiple of 13?
True
Let y = -66 + 306. Is 12 a factor of y?
True
Let y = -19 - -2. Let m be (-456)/(-21) + (-10)/(-35). Let l = m + y. Does 5 divide l?
True
Let o(k) = 3*k + 52. Let n(r) = r**2 - 3*r - 40. Let j be n(8). Is o(j) a multiple of 7?
False
Let w(a) = a**3 + 19*a**2 + 18*a + 2. Let d be w(-18). Suppose -b - 20 = -d*b. Is 10 a factor of b?
True
Let f(a) = -3*a**2 - 96*a + 3. Does 12 divide f(-29)?
True
Let x(z) = -146*z - 3. Let a be x(-1). Suppose -l + 41 = 3*t - 4, -a = -3*l - t. Is 22 a factor of l?
False
Suppose -74*a = -23*a - 42789. Does 5 divide a?
False
Let y(z) = -z**3 + 13*z**2 + 13*z + 11. Let o be y(14). Let v be 474/(-18) - 1/o. Is 4/v - 769/(-13) a multiple of 13?
False
Let j(t) = 3*t**2 + 3*t. Let w be j(6). Suppose 5*b - 194 - w = 0. Suppose 3*g = -g + b. Does 4 divide g?
True
Suppose 35*n = 78490 - 11185. Is n a multiple of 8?
False
Suppose 0 = i - 11*i + 30. Is 2 a factor of i?
False
Let w(f) = f**3 + 13*f**2 + 16*f - 5. Is 61 a factor of w(-11)?
True
Let k = 15 + -12. Suppose 0 = i + k*y - 28 - 47, 5*i - 311 = y. Is i a multiple of 10?
False
Let p = -2152 + 2513. Is 18 a factor of p?
False
Let t(j) = -3 - 26*j - 79*j - 21*j - 35*j. Let p be t(1). Let h = p + 236. Does 18 divide h?
True
Let f(x) = -x**3 + 9*x**2 - 13*x - 4. Let k be f(7). Let p be (5/(-5)*k)/(-1). Is 7 a factor of 1/(p/(-168)*-4)?
True
Suppose 0 = -4*r - 129 + 141. Suppose 5*u - 294 = r*h - 1175, -5*u = -h + 287. Does 22 divide h?
False
Let g = 105 - 19. Suppose -g = -4*d + 222. Does 11 divide d?
True
Let w(z) = z**3 + 11*z**2 + 2. Let a be w(-11). Suppose -m + a + 24 = 0. Is m a multiple of 13?
True
Suppose u - 893 - 137 = p, -p = 5*u - 5162. Is u a multiple of 6?
True
Does 9 divide -5 + (6333/24 - 3/(-24))?
False
Let c = 2405 - 1060. Is