16?
False
Suppose -46*u - 6 = -49*u. Suppose 3*d = 5*d + u*s - 52, 2*s = -4*d + 110. Is d a multiple of 26?
False
Suppose 2*j = -i + 45, 0*i - 3*j + 211 = 5*i. Suppose 56 = m + i. Is 5 a factor of m?
True
Suppose -25*i = -0*i - 2700. Is i a multiple of 18?
True
Suppose 25*x + 12 = 22*x. Is 37 - -4*(0 - (5 + x)) a multiple of 3?
True
Suppose g + 0 = 3. Suppose 0*b - 18 = g*b - 3*d, 0 = -4*b + d - 24. Let o = 24 + b. Does 9 divide o?
True
Let c = 32 - -128. Suppose -c = -6*r + r. Is 4 a factor of r?
True
Let q = -48 - -69. Is (1 + q)/(-3 - (-10)/3) a multiple of 7?
False
Suppose 31*d - 9240 = 9*d. Does 35 divide d?
True
Let l(q) = q + 3 + 0*q - 2*q + 4*q. Suppose 0 = -3*v - 2 + 11. Is l(v) a multiple of 12?
True
Let o = 1050 - 8. Is o a multiple of 20?
False
Let n(q) = -2*q**2 + 33*q + 21. Let t be n(11). Suppose 34 + t = 4*s. Is 3 a factor of s?
False
Suppose w = -w + 5*t + 1055, -5*w - 5*t + 2620 = 0. Is 25 a factor of w?
True
Let g(a) = -117*a**3 + 2*a**2 - 2*a - 1. Is 10 a factor of g(-1)?
True
Suppose 1 + 7 = 4*y. Suppose 1 = y*w - 11. Suppose -w*t + 8*t - 114 = 0. Is t a multiple of 21?
False
Let x(v) = v**2 - v - 10. Let b(o) be the third derivative of o**3/6 - 2*o**2. Let l(z) = 2*b(z) + x(z). Does 10 divide l(8)?
False
Let y = -29 - -50. Let p be y/28 - (-54)/(-8). Let k(v) = v**3 + 7*v**2 + v + 5. Is 6 a factor of k(p)?
False
Let i = -3037 + 5599. Is i a multiple of 21?
True
Let x(n) = n**2 + 7*n + 4. Let l be x(-5). Let q(b) = -8*b - 3. Let z(a) = -24*a - 8. Let w(g) = l*z(g) + 17*q(g). Does 8 divide w(3)?
False
Let p = -63 - -68. Suppose -p*c + 8*c - 62 = -2*j, -5*j + 56 = 3*c. Does 11 divide c?
True
Suppose 0 = -5*i + 2 + 8. Suppose 5*j - 13 - i = 0. Suppose -j*b = 2*b - 270. Is b a multiple of 18?
True
Let p = -49 + -94. Let l = -123 - p. Is l a multiple of 4?
True
Let x(k) = -k**2 - k + 70. Let v be 13/4 - (-2)/(-8). Suppose -16 = -3*p + 2*p - 4*f, -2*p = v*f - 12. Is 14 a factor of x(p)?
True
Let w(a) = 14*a - 14. Let m(z) = z**2 + 8*z + 5. Let v be m(-9). Does 19 divide w(v)?
False
Let q(p) = p**3 + 38*p**2 + 116*p + 74. Does 21 divide q(-28)?
False
Let j be ((-2)/6)/(4/(-36)). Let x be (110/165)/((-2)/(-9)). Suppose j*b - t - 27 = 0, 0*t + 33 = x*b + t. Is 2 a factor of b?
True
Let n be ((-1618)/(-4))/(4 + 14/(-4)). Suppose 2*m - 5*m + 791 = 5*d, 3*m + n = 5*d. Does 16 divide d?
True
Let j(r) = -2 - 16*r - 12*r**2 - 1 + 1 - 3 - r**3. Is j(-11) a multiple of 10?
True
Let u(l) = 4*l - 5. Let a be u(2). Suppose -n - 42 = -a*p, -p + 2*n = 2*p - 42. Does 7 divide p?
True
Let w(a) = a**3 - 2*a + 3 + 0*a**2 + 3*a**2 + 3*a**2. Suppose o + 19 = -3*j, -2*j + 3*o = -15 + 13. Is w(j) a multiple of 19?
True
Suppose -2*z + 155 = m, 2*z - 4*z + 167 = 5*m. Suppose 0 = -5*y + 3*t + 1265, -7*y - 5*t + 1305 = -2*y. Suppose y = 4*v + z. Is 15 a factor of v?
True
Let p be (-2)/(-4)*(-30)/(-5). Suppose 4*n - 513 = -3*c, -2*n - 6*c + 261 = -p*c. Does 7 divide n?
True
Suppose k - 986 = 5*a - 0*k, -a - 202 = -5*k. Let t = 276 + a. Does 13 divide t?
False
Suppose 4*q - 100 = 4*r, -2*q + 0*q + 50 = -4*r. Let s = q - -32. Is 19 a factor of s?
True
Suppose -3*j - 3*q = -18, -4*q + 8 = 2*j - q. Let d(h) = -10 - j*h**2 + h**3 + 24 - 2 + 11*h. Is d(9) a multiple of 20?
False
Let y = 16 + -12. Suppose -z = -i - 22, z - 8 = y*i + 8. Is z a multiple of 6?
True
Suppose 0 = -5*m + 14 + 6. Suppose 0 = -m*v + 249 + 239. Does 6 divide v?
False
Let j be (-4 + 2 - 0) + 183. Suppose u = -2*t + 121, 0 = 2*t + t + u - j. Is t a multiple of 14?
False
Let v be 1 + (0/4)/1. Let z be 44 + -9 - (-2 - v). Suppose -c = t - z, -t + 13 = -5*c - 1. Is 30 a factor of t?
False
Let x(l) = -l**2 - 18*l - 18. Let b be x(-17). Let h be (4 + -4 - 2)/b. Is -4 + h + 1 + 8 a multiple of 4?
False
Let p(k) = -10*k + 442. Is 15 a factor of p(6)?
False
Let o be (-8)/8 - (5 - 0). Let b be ((-300)/o)/(1/4). Suppose -3*z - 5*g = -0*g - b, z + 4*g - 55 = 0. Is 25 a factor of z?
True
Suppose 0 = -v + 2*r + 802, 4*v - 2*v = 2*r + 1602. Is v a multiple of 32?
True
Let q be (4 - 7) + -1 - -8. Is 36 a factor of 365/2*q/5?
False
Let d be (-10 + 10)/(1 - 0). Suppose 6*w - w - 20 = d. Is w even?
True
Suppose 3*i - 11 = -2. Suppose -q + z = -89, q - 365 = -i*q - 5*z. Is 18 a factor of q?
True
Let p(w) = w + 24. Let h(x) = -x**3 - 15*x**2 - x - 13. Let r be h(-15). Suppose -r*i = i. Does 24 divide p(i)?
True
Suppose 25 = -4*n + 497. Let i(c) = -c**3 + 9*c**2 + 14*c - 38. Let g be i(10). Suppose -n = f - 6*f + d, 6 = -g*d. Does 23 divide f?
True
Let d(c) be the first derivative of c**4/4 - 19*c**3/3 - 19*c**2/2 + 12*c + 9. Is d(20) a multiple of 11?
False
Let o be (-2 + 0)/(8/(-32)). Let t(i) = i**3 - 5*i**2 - 12*i + 10. Let r be t(o). Suppose h + 43 = 2*k, -4*k = k - 4*h - r. Does 11 divide k?
True
Let h = 909 - 1051. Suppose b - 76 = 2*b. Let a = b - h. Is 23 a factor of a?
False
Suppose -150 = -n - 9*n. Does 2 divide n?
False
Suppose 16 = -4*x, x + 96 = 3*g - 112. Is 2 a factor of g?
True
Suppose 13*c - 836 = 9*c. Suppose 0 = 2*b + 7*f - 4*f - c, 485 = 5*b - 5*f. Does 20 divide b?
True
Suppose 3*c - 284 = 2*b, -4*b = 3*c - 426 + 112. Let v = -59 + c. Is 8 a factor of v?
False
Let n = -943 - -1230. Is 5 a factor of n?
False
Let o(v) = -2*v - 9. Let r be o(-8). Suppose 11*h - r*h = 76. Is h a multiple of 2?
False
Suppose 3*o + 25 = -2*o. Let d = 0 - o. Suppose 2*y - x = -d*x + 38, 57 = 3*y + 2*x. Is 19 a factor of y?
True
Suppose 5*i + 5*b - 1515 = 0, 10*b - 5*b - 15 = 0. Is 61 a factor of i?
False
Suppose 12*c + 3*l = 9*c + 9, 4*c + 5*l - 12 = 0. Suppose 5*z = -2*q + 459, 0*q + 4*z = -c*q + 678. Is q a multiple of 24?
False
Suppose -14*y = -10*y - 40. Let g(k) = -k**3 + 12*k**2 + k - 20. Does 30 divide g(y)?
False
Let b = -100 + 100. Suppose b = -5*o + 2*a + 13, 3*o - 4*a - 4 - 1 = 0. Is o a multiple of 2?
False
Let q be 3/(3/(-4)) - -4. Suppose 4*x + x = q. Suppose 4*r - 3*c - 157 = x, 4*c + 86 = 3*r - r. Is 9 a factor of r?
False
Suppose -4*i + 15 = -i. Does 8 divide 33/(-18) - i/30 - -58?
True
Let h = 357 + 122. Does 42 divide h?
False
Suppose -2*f + 3*f + 4*q - 14 = 0, -3*f = -4*q + 6. Suppose f*a + a - 78 = 0. Is 3 a factor of a?
False
Let b = -96 + 94. Is 34 a factor of 8195/22 + (-1 - 5/b)?
True
Suppose 10*m + 1750 = 15*m. Is 25 a factor of m?
True
Let z(a) be the first derivative of 23*a**2 + 1. Suppose 0 = -12*i + 32 - 20. Is z(i) a multiple of 23?
True
Let v = 589 - 465. Does 31 divide v?
True
Suppose 0 = 2*c + 38 - 32. Does 23 divide (-555)/(-12) + c/(-4) + -1?
True
Let m = -5 + 10. Suppose 320 = m*a - a. Is 24 a factor of a?
False
Suppose 3*h - 3*l = 8208, h - l - 2736 = -5*l. Is h a multiple of 17?
False
Let j(w) = 8*w + 0*w**2 - 3*w**2 - 20*w**3 + 19*w**3 - 2*w**2. Is 28 a factor of j(-9)?
True
Let k(c) = -c**2 - 4*c + 7. Let q be k(-4). Suppose 0 = -q*j + 9*j - 26. Is j a multiple of 2?
False
Let j(q) = -q**2 - 16*q - 48. Let s be j(-5). Let h(p) = 37*p - 31. Is 35 a factor of h(s)?
False
Let a be 244/(-48)*2*-6. Let x = -29 + a. Does 8 divide x?
True
Is 17/85 - (-5)/((-50)/(-16998)) a multiple of 17?
True
Let l be (8/(-6))/((-40)/60). Suppose a + l = 0, 0*m + 4*m = 3*a + 26. Does 4 divide m?
False
Suppose -2044 = -10*v - 594. Suppose -z - 5*p = -43, -2*z + p + v = z. Does 16 divide z?
True
Let j be 0 - 5*(-8)/(-20). Let d be (35 - j)*8/4. Suppose -2*z + d = 2*b + b, z = b - 18. Does 7 divide b?
False
Is 5 a factor of (-68244)/198*3/(-2)?
False
Let n(f) = 2*f**3 + 17*f**2 - 7*f + 10. Let i be n(-9). Let b(c) = c**2 - 10. Is b(i) a multiple of 5?
False
Let l(c) = -c**3 + 16*c**2 + 13*c + 5. Let k be l(16). Let y = k - 65. Does 14 divide y?
False
Let u(f) = -f**2 - 44*f + 6. Is u(-33) a multiple of 25?
False
Let c = -35 + 37. Suppose 0 = -3*k - 4*h - h + 38, -c*k = -3*h - 57. Is 5 a factor of k?
False
Is 22 a factor of (-6)/(-10)*190/(-171)*-126?
False
Suppose -19*p = -17*p + 450. Is p*(8/6)/(-4) a multiple of 25?
True
Let i(x) = -3*x. Let l be i(-1). Suppose -1 - 1 = 3*c - j, 3*j = l*c - 6. Is 17 a factor of (-2 + 5)/(c/(-16))?
False
Let n(l) = -5*l**2 + 7*l. Let y(o) = -9*o**2 + 15*o. Let t(c) = -7*n(c) + 3*y(c). Does 8 divide t(-2)?
True
Let g be (-5 + 2)*10/(-3). Suppose g = -s + 3*s. Is 5 a factor of s?
True
Let n be (2 - 1)/(95/(-15) - -6). Let q(z) = 4*z**2 - 6*z - 14. Is 4 a factor 