s 6 divide u?
True
Suppose 1 = -2*x + 9. Suppose -j - 3 + x = 0. Suppose -5*y + 29 + j = 0. Is 6 a factor of y?
True
Let h(j) = -48*j + 5. Let n(t) = -408*t + 42. Suppose 4 = -3*g + 19. Let f(m) = g*n(m) - 42*h(m). Does 4 divide f(-1)?
True
Suppose 2*l - 1450 = -428. Is 9 a factor of l?
False
Suppose 108*m = 111*m - 717. Let y = m + -132. Is y a multiple of 12?
False
Let o(g) = -5*g - 4. Let u(a) = 6*a + 5. Let c(t) = -6*o(t) - 7*u(t). Is c(-3) a multiple of 22?
False
Suppose 3*d - 3*h + 6*h = -126, 178 = -4*d + h. Let j = 70 + d. Is 13 a factor of j?
True
Suppose 0 = -0*f + 5*f - 135. Suppose 4*j - 2*v + 2 = 6, -3*v = 5*j - f. Suppose j*o = 2*l + 110, -2*o - 2*o - l = -154. Is 9 a factor of o?
False
Suppose 0*t = 5*c - 5*t - 6290, -1258 = -c + 4*t. Is 13 a factor of c?
False
Let g = 20 + -14. Suppose -s = -10 + g. Suppose -s*w - 5*q = -194, -3*q + 247 = 5*w + q. Is 17 a factor of w?
True
Let d(q) = -q**3 - 3*q**2 - 4*q + 2. Let k be d(-4). Suppose -2*s - j = -5*j + 8, 4*s + 2*j - k = 0. Suppose s*r - 110 = r. Is 11 a factor of r?
True
Suppose -18*g + 475 = -533. Does 4 divide g?
True
Suppose 2*c - 2*k = 6, -6 = -3*k - 3. Suppose c*n + 0*m + 4*m = 12, 5 = 5*m. Suppose -d - n*a + 72 = -a, 0 = -d + 2*a + 78. Does 19 divide d?
False
Suppose -5*s + 364 + 231 = 0. Does 17 divide s?
True
Suppose 0 = 3*r - 430 + 415. Let c = -47 + 117. Suppose r*j + c = 12*j. Does 10 divide j?
True
Let r = 3 + 3. Suppose -4 - r = -5*t. Suppose t*i = g - 38, 3 = -i + 2. Is g a multiple of 18?
True
Let o(t) = 2*t**2 - 71*t - 46. Does 18 divide o(-10)?
True
Is 10 a factor of (-116)/(-5)*(-500)/(-40)?
True
Let m = -117 + 501. Is 24 a factor of m?
True
Let w = 7 - 11. Let o(r) = -r**3 - 2*r**2 + 6*r + 1. Is 4 a factor of o(w)?
False
Does 17 divide 7822/20 + 22/(-220)?
True
Let o(w) = -7*w - 3. Let t be (12/(-5))/((-33)/(-110)). Is o(t) a multiple of 12?
False
Let k(h) = 140*h + 509. Is k(6) a multiple of 19?
True
Let t be 6*((-38)/(-2))/(3 - 1). Let q(a) = -a**2 - a - 3. Let u be q(4). Let o = t + u. Does 5 divide o?
False
Let o(h) = -6*h + 2. Let b be o(1). Let a(x) = x**3 + 4*x**2 - x. Let d be a(b). Suppose d*v - 2 - 18 = 0. Is v a multiple of 5?
True
Let z(i) = 3*i**2 + 14*i + 13. Does 3 divide z(-7)?
False
Suppose -2*h = -4*p + h - 278, -60 = p + 4*h. Let t = p + 124. Suppose -x = 4*k + 3*x - t, -2*k - x + 29 = 0. Does 10 divide k?
False
Let f be ((-10)/(-3))/(-2 - 32/(-12)). Suppose -4*k = -5*t + 248, f*k = 6*k + 2. Is t a multiple of 16?
True
Suppose 5*g - v = 9, -2*g + 0*v + 10 = -2*v. Let k be (1 - g) + -1 - -94. Suppose 0*m + 3*m + k = f, -4*m = -f + 92. Does 32 divide f?
True
Let h(d) = -d**3 - 5*d**2 + 4*d - 8. Let b(s) = 7*s + 1. Let c be b(-1). Let l be h(c). Suppose -l*z + 190 = z. Is 15 a factor of z?
False
Let i(d) = 98*d - 28. Does 28 divide i(4)?
True
Let a(h) = -2*h**2 - 3*h - 10. Let x(i) = -2*i**2 - 2*i - 9. Let l(u) = -5*a(u) + 4*x(u). Is l(-4) a multiple of 6?
True
Let c = -212 + 1028. Is 48 a factor of c?
True
Let x(s) = 158 + 2*s + s**2 - 5*s**2 + 4*s**2 + s**3. Let b be x(0). Let t = 278 - b. Is 24 a factor of t?
True
Let j(h) = 2*h**2 - 2*h - 20. Let f be j(10). Suppose 6*m - f = -2*m. Does 3 divide m?
False
Suppose -6*w + 776 = 44. Suppose 5*v - 628 = -3*g, 3*g = v - 0*g - w. Is v a multiple of 7?
False
Let n = 218 - 76. Let d = -76 + n. Is d a multiple of 11?
True
Let s = 2 - 1. Let p(t) = 22*t**2 - 79 + 0*t + 80 - 2*t. Does 6 divide p(s)?
False
Let x = 603 - -325. Does 58 divide x?
True
Let k be (-3)/6*18*-2. Does 15 divide (-4)/k - (-1200)/54?
False
Let x(z) = 7*z**3 + 4*z**2 - 6. Let r be x(-3). Is (-5 - r/33) + (-2842)/(-22) a multiple of 13?
False
Let a(n) = -3*n + 0*n**2 - 33 + 3*n**2 + 17. Let h(f) = -1. Let v(k) = a(k) - 6*h(k). Does 23 divide v(-3)?
False
Let t(l) = 3*l**2 - 3*l - 4. Does 28 divide t(5)?
True
Let m be (119/(-34))/(1/(-2)). Suppose 499 = m*n + 107. Does 2 divide n?
True
Let f = 104 + -22. Is f a multiple of 41?
True
Suppose -s - 1 + 26 = 0. Does 21 divide (-30)/s*560/(-6)?
False
Let y be 9*(2/3 - (-133)/3). Suppose -7*m = -2*m - y. Is 12 a factor of m?
False
Suppose 0 = 3737*u - 3742*u + 675. Is 5 a factor of u?
True
Let t(a) = a**3 - 14*a**2 - a + 20. Let p be t(14). Suppose -36 = -p*i + 84. Does 6 divide i/25*65/2?
False
Let t(p) = p**2 + p - 4. Let r(l) = -2*l**3 - 2*l**2 + 3*l + 2. Let y be r(-2). Let h be t(y). Let i = 34 - h. Is i a multiple of 9?
True
Let t = 23 + -19. Suppose -6*k + 300 = -t*k. Suppose 5*f = -4*p + 3*f + k, 2*p + 2*f = 70. Does 20 divide p?
True
Let n = 3 - 7. Let m = -3 + n. Is (3 + m - 0)*-10 a multiple of 10?
True
Suppose -8*x = -7*x - 39. Suppose -d + x = -51. Does 5 divide d?
True
Let f(n) be the third derivative of 1/3*n**3 + 0*n - 9*n**2 + 0 + 23/24*n**4. Does 15 divide f(2)?
False
Let d(h) = 124*h + 393. Is 5 a factor of d(3)?
True
Suppose p - 3 + 1 = 0. Let i(y) = -16*y - 1 + 9 - 1 - p - y**2. Is 6 a factor of i(-14)?
False
Suppose 13 = q + 8. Suppose 5*i = -b + 583, 0 = -5*i + q*b - 2*b + 591. Is i a multiple of 13?
True
Let y(r) = r**2 + 2*r + 14. Let k be y(-7). Suppose -53*l + k*l = -416. Is 3 a factor of l?
False
Let y be ((-376)/2)/(-1) + 1. Suppose -y - 9 = -3*x. Is x a multiple of 11?
True
Let v = -292 - -374. Is v a multiple of 37?
False
Suppose -879 = -4*s - 3*k, 2*s = k - 0*k + 427. Does 72 divide s?
True
Let l(z) = z**2 + 2*z + 8. Let y be l(-10). Let v = y - 59. Is 5 a factor of v?
False
Let h(a) = a**2 - 2*a**2 + 0*a**2 + 11*a - 9 + 3. Let i be h(7). Suppose 0 = -t + 3*s + i, -t - 4*s + 32 = -2*s. Is 7 a factor of t?
True
Let j(h) = -1 + 7*h - 4*h + 39*h**3 - h. Does 6 divide j(1)?
False
Is ((-5)/2)/(-5)*(-1 - -961) a multiple of 48?
True
Let j(f) = -4*f**3 - f**2 + 2*f - 1. Let p be j(1). Let m(d) = -2*d**3 + 5*d + 6. Is m(p) a multiple of 24?
False
Let s(k) = -2*k. Let y be s(10). Let u = y + 28. Is u a multiple of 3?
False
Does 3 divide (-98)/4*180/(-42)?
True
Let h(i) = 7*i**3 - i**2 - 3*i - 6. Let k(f) = -8*f**3 + 4*f + 7. Let m(d) = 7*h(d) + 6*k(d). Let a = -7 - -14. Does 7 divide m(a)?
True
Suppose r + 7 - 22 = 0. Suppose -5*s + 105 = -r. Suppose -w = 3*w - s. Does 6 divide w?
True
Suppose 0 = w - 0*w - 33. Let u be (-36)/10*5/(-1). Let i = w - u. Does 15 divide i?
True
Suppose -4*a - 7*a = -143. Let k(h) = 3*h - 11. Is k(a) a multiple of 7?
True
Let l(y) = -31*y**2 + 2*y - 8 - 3*y + 36*y**2. Is l(4) a multiple of 11?
False
Let y(l) = -2*l + 5. Let d be y(8). Let z = 16 + d. Suppose -3*w = -2*j + 26, 0 = z*j + w - 23 - 25. Is 3 a factor of j?
False
Let d be 112/18 + (20/(-9))/10. Let s(q) = 4*q**2 - 7*q + 9. Is 26 a factor of s(d)?
False
Let f(t) = -18*t - 12. Let o be f(-16). Suppose 8*z - 36 - o = 0. Is z a multiple of 13?
True
Let l = 14 - 24. Suppose -19 - 46 = x. Is ((-234)/x)/((-2)/l) a multiple of 9?
True
Suppose 3*m = 5*m + r + 5, 4*m - 4*r - 20 = 0. Suppose m = -4*j + 120 + 272. Is -3 + (j/2 - -4) a multiple of 13?
False
Let u be ((-9)/(-12))/(2/64). Suppose -4*l - 4*z + 8 = 0, -3*l + 0*z = -3*z - u. Let r = l + 2. Does 6 divide r?
False
Let g(u) = -2*u + 12. Suppose 0*y = -3*x + y - 16, -5*x + y = 30. Let v be g(x). Suppose -v = -0*d - d. Is 26 a factor of d?
True
Suppose 10*v - 5*v = 5*w + 245, 4*v + w - 221 = 0. Suppose 2*r - 4*i - 148 = 0, 2*i = r + 5*i - v. Does 17 divide r?
False
Let m be (1 + -2 + 3)*133/(-38). Let u = m - -42. Does 7 divide u?
True
Let h(b) be the third derivative of b**6/60 + 20*b**3/3 + 4*b**2. Let j be h(0). Suppose -k + j + 42 = 0. Does 13 divide k?
False
Suppose -2*n = -2 - 6. Suppose -n = 3*l + 2. Let z(i) = -7*i**3 - 2*i**2 - 2*i. Is 17 a factor of z(l)?
False
Suppose -15 = -5*x - 2*h + 15, 4*h = 5*x. Does 12 divide 2/((x/32)/((-86)/(-8)))?
False
Suppose 0 = -q - q. Suppose 0 = -4*f + 5*l + 63, q*f + 5*f + 5*l - 90 = 0. Does 17 divide f?
True
Let c = 26 - 17. Let j = c - -27. Does 12 divide j?
True
Suppose -2*p - 86 - 244 = -4*j, -3*p = -j + 470. Let t = p - -285. Is t a multiple of 13?
True
Suppose 2*j - 7 = -0*j - d, 0 = -2*j + d + 13. Suppose j*o + 2*w - 112 = 6*w, -4*w - 88 = -4*o. Suppose -60 - o = -s + 4*i, 4*s = i + 291. Is 18 a factor of s?
True
Let w(a) = a**3 + 10*a**2 - 20*a - 4. Does 27 divide w(-10)?
False
Let y(x) = -x**3 - 36*x**2 + 34*x - 87. Let h be y(-37). Let a = -2 - -2. Suppose a = -u + 84 - h. Is