10. Suppose 109 = 5*x + 3*h, -p*x - 3*h + 0 = -69. Is 10 a factor of x?
True
Let o(b) = 3*b**3 + 2*b**2 + b - 2. Let a be o(2). Suppose -a = -7*i + 3*i. Does 4 divide i?
True
Let v = -473 - -713. Does 48 divide v?
True
Is 19 a factor of 9/(36/752) - -2?
True
Suppose -3*f = 4*c - 5*f - 152, 2*c = -f + 68. Suppose -2*p + 3*p + 4*a = c, 2*a + 180 = 4*p. Is 19 a factor of p?
False
Suppose q + 83 = 3*i, 3*q = -5*i - q + 110. Let d be (-2 - -4) + 0 + -2. Suppose -5*l + 132 = -2*g + i, -l + 3*g + 16 = d. Is 10 a factor of l?
False
Let r(w) be the first derivative of w**2/2 + 3*w - 3. Is 7 a factor of r(4)?
True
Let q = -181 + 318. Suppose 5*y - 2*y - q = -h, 5*h = 3*y - 143. Is 23 a factor of y?
True
Let k be (-15)/(-4) - 2/(-8). Suppose -2*a - 10 = k*m, -3*a + 6*a - 15 = 0. Does 9 divide (6/4)/(m/(-60))?
True
Let r = -19 + 40. Does 7 divide r?
True
Let i = -23 - -62. Let r = i - 22. Suppose 2*u - 3*u = -r. Is u a multiple of 17?
True
Let k(a) be the first derivative of -a**2/2 + 16*a + 5. Is k(13) a multiple of 3?
True
Suppose -96 - 42 = -2*v. Is v a multiple of 20?
False
Suppose 2*m = -3*m + 110. Is 22 a factor of m?
True
Suppose 764 = 4*n - 2*t, 226 = 5*n + 4*t - 716. Is n a multiple of 23?
False
Suppose -5*q + 107 = -38. Let g be 4 - 0 - -1*1. Suppose -4*z + 0*z = -j - q, -g*z - 5*j = -5. Is 4 a factor of z?
False
Let f = -4 + 5. Let m = f - -1. Is 3 a factor of m/2 + (-6)/(-1)?
False
Does 34 divide 1194/5 - (-60)/(-75)?
True
Let y = 50 + 13. Does 9 divide y?
True
Let j(a) = a**3 - 2*a**2 - 9*a - 8. Let r(s) = -s**3 + 2*s**2 + 8*s + 7. Let p(z) = -6*j(z) - 7*r(z). Let n be p(3). Is n/(-8) + (-138)/(-8) a multiple of 16?
False
Let x = 141 - 55. Is x a multiple of 15?
False
Suppose 1046 = 10*b - 2104. Is b a multiple of 35?
True
Let b(z) be the first derivative of 3*z + 1/4*z**4 - 2 + 5/3*z**3 + 5/2*z**2. Does 6 divide b(-3)?
True
Let h(j) = -2*j. Let z be h(-7). Let k(v) = v**3 - 13*v**2 - 11*v - 4. Does 19 divide k(z)?
True
Suppose -3 + 46 = b. Is b a multiple of 6?
False
Suppose 3*j + 10 = -2*j. Does 9 divide j/11 - 290/(-22)?
False
Suppose -2*x + 68 = -4*j + 8*j, -x - 4*j = -28. Is 10 a factor of x?
True
Let n(y) = 12*y - 6. Is 21 a factor of n(4)?
True
Let d be -19 + 3 + -2 + 0. Let j be d/(-4) - (-6)/12. Let l = 9 - j. Is l a multiple of 4?
True
Suppose 0 = -2*n + 11 - 1. Does 7 divide 10*1*(-3 + n)?
False
Suppose 0*k = 2*k - 8. Suppose -k*q = 12 + 12. Let a = 1 - q. Does 6 divide a?
False
Suppose -3*g = -g + 10, 2*z = g - 17. Let v be 1 + (1 - 0) + 3. Is 12 a factor of (2/v)/(z/(-990))?
True
Suppose 5*s - 2*g - 29 = -8, 3*g - 6 = 0. Suppose -2*f + s*z = -48, -2*f - f + 34 = 2*z. Does 7 divide f?
True
Let q = 6 - 3. Suppose -4*s = -5*z - 11, 8*s - 4*z = q*s + 16. Does 9 divide s/(-10) - (-254)/10?
False
Let w be (-4)/(-22) + 90/(-11). Let z = 0 - w. Is z a multiple of 3?
False
Let c(h) = -3*h**2 - 22. Let d(a) = a**2 + 7. Let i(u) = -3*c(u) - 8*d(u). Is i(0) a multiple of 3?
False
Let q = -3 - -18. Does 5 divide q?
True
Let d(c) = -c**2 + c + 3. Let u be d(-3). Does 6 divide 20/(-15)*u/2?
True
Suppose -6*r + 5*r = -185. Suppose r + 247 = 4*i. Is 27 a factor of i?
True
Suppose 27*m = 24*m + 333. Does 11 divide m?
False
Suppose 0*l = -5*l - 25. Let m(v) = -10*v + 2. Let g(s) = 9*s - 1. Let c(i) = -4*g(i) - 3*m(i). Is 14 a factor of c(l)?
True
Let x = -51 - -35. Is 15 a factor of ((-180)/x)/(2/8)?
True
Let q be (-70)/(-4)*(-6 + 0). Let z = -47 - q. Is 24 a factor of z?
False
Let t(g) = 4*g - 9. Suppose 4*x - 3*x = 6. Does 15 divide t(x)?
True
Suppose -2*n = -4*g + 142 + 94, 0 = 3*g + 5*n - 203. Is g a multiple of 25?
False
Let i be (-6)/(-4)*(-8)/3. Let s = -1 - i. Suppose s*l = -0*l + 63. Is l a multiple of 17?
False
Let o be 7701/27 - (-4)/(-18). Suppose -5*u + 25 = 0, 3*b - 4*u = 8*b - o. Suppose -2*x = -41 - b. Is x a multiple of 16?
False
Let i(f) = 46*f - 14. Does 7 divide i(2)?
False
Let d be -2 + 7 - (5 - 2). Suppose -26 = -d*p + 20. Is 5 a factor of p?
False
Let t be (40/16)/(1/2). Suppose t*c - 44 = 26. Is 7 a factor of c?
True
Suppose -5*r = -2*r - 375. Suppose -r = -3*p - q, 4*p - 5*q - 173 = -0*p. Is p a multiple of 12?
False
Let w be (-54)/(1/(1/(-2))). Suppose y + 0*y = w. Is 11 a factor of y?
False
Let t be 14/35 - 46/(-10). Suppose 0 = -3*b + 6, -5*h + 2*h = -t*b + 1. Does 2 divide h/(-12) + (-13)/(-4)?
False
Let t = 13 + -8. Is 3 a factor of t?
False
Let m(i) = 10*i + 6*i - 11*i**2 - 18*i - i**3 - 8. Is 14 a factor of m(-11)?
True
Suppose n = -7*j + 3*j + 46, 3*n + j = 105. Is 11 a factor of n?
False
Let u = -7 + 12. Suppose 268 + 382 = -u*x. Does 22 divide x/(-3) - (-2)/3?
True
Let a(x) = -7*x. Let u(g) = 6*g. Let b(c) = 4*a(c) + 5*u(c). Let s(i) = i**3 - 11*i**2 - i + 15. Let y be s(11). Does 3 divide b(y)?
False
Let v(s) = 7*s**2 + 2. Let t be v(2). Is 10 a factor of t*(2 - 5)/(-3)?
True
Suppose -35 + 247 = 4*y. Is y a multiple of 13?
False
Suppose -3*w = -241 - 260. Let r = 243 - w. Suppose 3*g + r = 5*g. Is g a multiple of 19?
True
Let u = 3 - -2. Suppose -m - 3*h + 0 = -6, u*m = h - 2. Suppose m = 2*l - 10 - 0. Does 5 divide l?
True
Let b be (-20)/(-12) + (-2)/3. Let f be b*3 + (-5 - -4). Suppose -c + 5*c - 118 = -5*n, 0 = f*n - 4. Is 13 a factor of c?
False
Suppose 57 - 89 = -2*c. Is 4 a factor of c?
True
Let k be 5 + (-2 + 1)*2. Is 11 a factor of 180/4*2/k?
False
Does 15 divide (188/16)/(3/12)?
False
Let x = 13 + -8. Suppose -39 = 4*n - x*n. Is 10 a factor of n?
False
Suppose 2*s + 4*j = -4, 1 = 5*s - 5*j - 4. Suppose 3*q - 5 - 55 = s. Does 10 divide q?
True
Suppose 4*q - 4*x = 60, -4*x = -0*q - q + 24. Is q a multiple of 4?
True
Let d(c) = c**3 + 7*c**2 - 3*c - 3. Let x = 12 + -17. Is d(x) a multiple of 16?
False
Let f = 45 - 63. Does 6 divide (-104)/f + 4/18?
True
Let u = 4 + -4. Suppose -5*y = -u*y - 20. Suppose 52 = 2*t + y*z, 5*t = -0*t + 2*z + 94. Is 10 a factor of t?
True
Let t(h) = -h**2 + 5*h + 8. Let i be t(6). Suppose 5*n - 5 = 0, i*m + 2*n - 22 = -2*n. Does 15 divide (-129)/(-9) - (-6)/m?
True
Let u be (1/(-2)*0)/1. Does 23 divide (-49)/(-1) - (u - -3)?
True
Does 31 divide (-2 - 2) + (-664)/(-4)?
False
Suppose 0 = -v + a + 202, 0 = 3*v - 2*a + 7*a - 566. Is v a multiple of 19?
False
Let j = 23 - 4. Suppose -3*b - u + 0*u + 13 = 0, 4*b - j = -u. Is b a multiple of 2?
True
Let x(l) = -l**2 - 6*l - 6. Let r be x(-4). Suppose -r*m = m - 24. Does 8 divide m?
True
Let s be (18/12)/((-2)/4). Let w(m) = 8*m**2 + 3*m + 4. Is w(s) a multiple of 19?
False
Let z(a) = -15*a + 16. Is z(-14) a multiple of 27?
False
Let r = -16 + 17. Does 18 divide (-43)/(2*r/(-2))?
False
Suppose -2*k = 2*k - 48. Is 4 a factor of k*(-2 + 16/6)?
True
Suppose 5*h = -0*h + 155. Is 3 a factor of h?
False
Suppose 0 = q, 2*y + 2*y - 4*q = -120. Is 2 a factor of (2/(-3))/(4/y)?
False
Suppose 117 = 4*x - 5*t, 0*x - 4*t = -3*x + 87. Let o = -23 + x. Is 10 a factor of o?
True
Is 8 a factor of 369/36 + 2/(-8)?
False
Let f be ((-76)/(-6))/((-2)/(-27)). Suppose 2*y - f = -y. Suppose -5*z + 3 = -y. Does 6 divide z?
True
Let w = 25 - 39. Does 3 divide (-780)/(-70) + 2/w?
False
Suppose 5 = -2*b + 15. Suppose 62 = b*c - 43. Is 8 a factor of c?
False
Suppose 6*w - 180 = w. Does 9 divide w?
True
Let m(o) = -6*o + 3. Let h be m(-8). Suppose 5*f - h = 2*f. Does 6 divide f?
False
Suppose 0 = 5*i + k - 146, -4*k + 26 - 72 = -i. Is 8 a factor of i?
False
Does 12 divide 21 - (1 - (-6)/(-3))?
False
Suppose 14*o - 15*o = 0. Suppose -4*k + 8*k - 324 = o. Is k a multiple of 19?
False
Suppose -2*c + 167 = 37. Is 26 a factor of c?
False
Let a(m) = -m + 12. Is a(-9) a multiple of 11?
False
Let l(y) = -8*y - 12. Let f(d) = d - 11. Let j be f(5). Is l(j) a multiple of 10?
False
Let x be (-6 + 2)*3/(-2). Let f = x - 6. Suppose -2*r + f*r = -2*z + 38, r = -5*z + 65. Is 14 a factor of z?
True
Let q(z) = 3*z - 1. Let f be q(1). Let v(w) = -f*w - 5*w**2 - 2 - w**3 + w + 1. Does 3 divide v(-5)?
False
Suppose 5*x + 3*b - 69 = 2*x, -26 = -x - 2*b. Does 5 divide x?
True
Suppose 2*u + 0 = 20. Suppose 4*r - 2 = u. Suppose 0 = r*g - 48 + 3. Is 15 a factor of g?
True
Suppose -g + 37 - 14 = -4*x, 3*g - 3*x - 24 = 0. Let o be 3/(0 - g/20). Let w = 28 + o. Is w a multiple of 3?
False
Suppose 3*p = 2*w - 1, p = -4*p - 2*w - 23. Let r be -4*((-23)/4)/(-1). Is 4 a factor of (-1)/p - r/3?