
Let c be ((-48)/6)/8 + (-109 - -1). Let u = 21 - c. Is 10 a factor of u?
True
Suppose 39*h + 12 = 42*h. Suppose -115 - 5 = f. Is 9 a factor of (f/(-42))/(h/14)?
False
Is (-12 - -15)/3 + 1*441 a multiple of 38?
False
Is 15298/15 - (6 + 92/(-15)) a multiple of 14?
False
Let p(i) = -i**2 - 21*i + 134. Does 14 divide p(-13)?
True
Let t = 1807 + -1240. Suppose -3*m - 6*m = -t. Is m a multiple of 19?
False
Let x be (-23)/((2 - -2)/(-4)). Suppose x = l - 1. Does 6 divide l?
True
Let o be (2 + -5)*(-340)/12. Suppose o = 5*z + 4*u, -2*z + 2*u - 4 = -56. Does 3 divide z?
True
Let d(s) = -11*s - 2. Let m be d(-1). Suppose -t = -m*t + 816. Does 25 divide t?
False
Let o(n) = 3*n**3 + 2*n - 3. Let b be o(-2). Let d = b + 108. Is 7 a factor of d?
True
Suppose -3*r + 15 = 0, -4*y + 4 = -2*r + 6. Suppose 12 = 4*a - 4, -3*b = y*a + 1. Is 2 a factor of 1 + b*(-24)/9?
False
Suppose 2*j - j = -4. Does 7 divide j/(-3)*(-18)/(-60)*35?
True
Let c(u) = -u - 10. Let v be c(-8). Let h be -2 + 13*(v + 3). Let g(w) = w**2 - 5*w - 13. Does 15 divide g(h)?
False
Let q(o) = -o**3 - 17*o**2 - 36*o - 18. Let l be q(-14). Does 15 divide 10/(-15) - 11/(-3) - l?
True
Suppose 0 = 2*g + 2*u - 62, 4*g = 4*u + 190 - 66. Does 7 divide g?
False
Let v(y) = 2*y - 5. Let k be v(7). Suppose -l - 2 + k = 0. Does 13 divide 2/l + (-724)/(-14)?
True
Let b = 10 + 384. Suppose -2*y + 3*f + 377 = 0, -4*f + 560 = 5*y - b. Is y a multiple of 19?
True
Let r(f) = f**2 + 9*f - 11. Let l be r(-10). Let a = l + 3. Suppose -u = -4*q - a*u + 221, 4*q = -2*u + 222. Is q a multiple of 11?
True
Suppose -3 = r, -5*r - 5 = 3*a + 2*a. Suppose 102 = a*y + y. Does 5 divide y?
False
Suppose -3*h - 2*w = -531, 0 = h + h - 5*w - 373. Is 58 a factor of h?
False
Let n(h) = -36*h**3 + 2*h**2 + 3*h + 1. Let g be n(-1). Let v = 51 - g. Is 11 a factor of v?
False
Is 13 a factor of 44/66*(-2 - 3206/(-4))?
True
Suppose 0 = 2*i - 3*q - 931, -i + 946 = i + 2*q. Does 7 divide i?
False
Let f(a) = -3*a + 14. Let v be f(4). Suppose 3*h - 108 + 282 = 2*b, -v*b + 178 = -5*h. Is b a multiple of 12?
True
Let t(g) = 2*g**3 + 13*g**2 - 8*g - 4. Let b(j) = -j**3 + 18*j**2 - 15*j - 40. Let q be b(17). Is t(q) a multiple of 32?
False
Suppose -14 = a + a. Let v(i) = 12*i**2 - 4*i + 10*i**2 - i**3 - 28*i**2 + 6. Is v(a) a multiple of 12?
False
Suppose 3*f + 4*h = f + 58, 160 = 4*f - 3*h. Let n = f - -86. Is 41 a factor of n?
True
Suppose 415*v - 405*v - 24990 = 0. Does 17 divide v?
True
Suppose i - 4*i + j + 101 = 0, 8 = -4*j. Does 29 divide i?
False
Let a(i) = i**2 - i - 1. Let b(s) = -2*s**2 - 4*s - 3. Let w(u) = a(u) + b(u). Let d be w(-6). Let h(j) = -3*j - 9. Does 14 divide h(d)?
False
Suppose -w = 3*h - 8*h - 16, 3*h + 2*w + 7 = 0. Is 18 a factor of (-174)/4*(2 - (-10)/h)?
False
Let z be (-2)/(-5) + 612/(-30). Let c = z - -32. Is 10 a factor of c?
False
Suppose m - 2 = 3. Suppose -m*v + 7 + 8 = 0. Suppose 5*i - 304 = -2*x, i - 54 = v*x - 0. Is i a multiple of 15?
True
Suppose 4*v - 13 = -2*t - 5, 5*t + 2*v = 4. Suppose 2*b = -n + 76, n + 5*b - 42 = 22. Suppose t*i + i = n. Is i a multiple of 14?
True
Is 4 a factor of ((-2)/5)/((-4)/3730)?
False
Suppose 4*v - 12 = -f + 6, -v = -2*f. Is (-178)/(-2) + (v - 5) a multiple of 18?
False
Suppose -2*k - 160 = -c, 50*c - 5*k = 55*c - 860. Does 84 divide c?
True
Let c(q) = q + 7. Let f be c(-5). Suppose -18 = -f*n + 8. Does 3 divide n?
False
Suppose -75 = -5*x + o, -4 - 1 = -o. Suppose -x*p = -12*p - 28. Suppose b - 4 = p. Does 7 divide b?
False
Suppose 2*t - 6*d = -8*d + 916, 4*t - 1807 = d. Is t a multiple of 33?
False
Suppose 3*q - 26 = -4*w, 0 = 3*q - 3*w + 3 + 6. Is q/(-7) + -3 + (-2332)/(-28) a multiple of 16?
True
Suppose 10*j - 25 = 9*j. Suppose -105 + j = -q. Is 23 a factor of q?
False
Suppose 3*m - 3*v = 1170, 389 = 6*m - 5*m - 2*v. Does 4 divide m?
False
Is 21 a factor of 188/(-6)*(-3)/2?
False
Let q be 3/(8/(-11) + 1). Let h = 20 - q. Let v = h - -8. Is v a multiple of 17?
True
Let n(m) = 18*m + 30. Is 9 a factor of n(10)?
False
Let k = 763 + -328. Is k a multiple of 26?
False
Let b(c) = -2*c**2 - 8*c + 2. Let q be b(-6). Let v(y) = -y + 50. Is v(q) a multiple of 9?
True
Let g = 15 + -13. Suppose 0 = -k + g*u - 1, -1 = -2*u + 3. Let s(m) = 2*m**3 - 4*m**2 - 2*m + 4. Is 5 a factor of s(k)?
False
Let p(w) = 2*w**3 - 27*w**2 - 19*w + 21. Does 35 divide p(15)?
False
Let b = 237 + -262. Let y(d) = -d**3 - 3*d**2 - 5*d - 6. Let q be y(-5). Let c = q + b. Does 26 divide c?
False
Let x(g) = -2*g**3 + 13*g**2 + 10*g - 17. Let k be x(7). Suppose -390 = -9*m + k*m. Is 9 a factor of m?
False
Let x(a) = -a**3 + a**2 - a + 6. Is 10 a factor of x(-4)?
True
Let b(m) = 30*m**2 - 4*m + 1. Let v(c) = -30*c**2 + 3*c - 1. Let a(p) = -3*b(p) - 4*v(p). Does 5 divide a(1)?
False
Suppose 0 = -9*t - 1597 + 20371. Is t a multiple of 101?
False
Suppose 5*d - 4*c - 1316 = 0, -1322 = -5*d - 2*c - 0*c. Is 44 a factor of d?
True
Let t be -2 - (-76)/(-2 - 2). Let n = -61 - t. Let u = -20 - n. Is u a multiple of 4?
True
Let t = 10 - 6. Suppose -2*r + t*z = 3*r - 374, 8 = 2*z. Is 26 a factor of r?
True
Let p = -54 - -66. Suppose -8 = -p*y + 52. Is y a multiple of 3?
False
Suppose -50 = 18*z + 22. Let j(s) = 5*s**2 + 12*s + 8. Is j(z) a multiple of 10?
True
Let x(s) = s**2 + s**2 + s**2 - s**2 - 13*s. Is 26 a factor of x(10)?
False
Suppose -5*g + 7 = 2*m, -4*g + 0*m = 2*m - 4. Suppose 7*n - 30 = 2*n. Suppose 0 = t - 4*r - 37, -n = g*r - 21. Does 19 divide t?
True
Let u(s) = s**2 + 11*s - 7. Let j be u(-12). Suppose 4*i - 34 - 25 = -r, -5*i = -j*r + 370. Is r a multiple of 14?
False
Suppose -p + 5*p - d - 5 = 0, 17 = 4*p + 3*d. Is (p/4)/((-3)/(-24)) a multiple of 4?
True
Let w(q) = q**2 + 22*q - 23. Let f be w(-23). Suppose -4*o + 425 = 3*m, -7*o + 2*o - m + 523 = f. Is o a multiple of 8?
True
Let f(n) = -n - 3. Let i be f(5). Let t(u) = -u**3 - 6*u**2 + 7*u + 10. Let x be t(i). Suppose 37 = 2*j + r, -11 + x = 4*j + 3*r. Is 6 a factor of j?
False
Suppose 5*g + 2*y = 2633, g - 640 = 3*y - 110. Is 53 a factor of g?
False
Suppose 3*j + 786 = 156. Does 14 divide ((-3)/2 - 0)/(7/j)?
False
Let g = -323 + 585. Does 3 divide g?
False
Let q = 18 + -11. Suppose 8 = 3*u - q. Suppose 0 = u*o + 2 - 287. Does 19 divide o?
True
Let p = -72 - -67. Does 25 divide (1 + -3 - -32)*p/(-2)?
True
Let o(n) = -9*n**3 + 3*n**2 + 2*n - 3. Let m(l) = 10*l**3 - 3*l**2 - 2*l + 4. Let d(v) = 5*m(v) + 6*o(v). Does 21 divide d(-2)?
True
Let h = 294 - 42. Is h a multiple of 42?
True
Let o(s) = -4*s - 37. Let r be o(-9). Is 4/r*(-12)/16 - -180 a multiple of 25?
False
Let z be 0 + -6*1 - 0. Let t(y) = -20*y**2 + 5*y**3 - 4*y**3 + 2 - 2*y**3 + 38*y**2 - 8*y - 25*y**2. Does 14 divide t(z)?
True
Suppose 10*o - 15*o = -575. Let u = o - 17. Does 17 divide u?
False
Let s = 49 + -37. Let q = 27 + s. Is 13 a factor of q?
True
Suppose -r = -n + 1283, -2*r + 0*r - 5142 = -4*n. Is n a multiple of 92?
True
Let s(c) = c**3 + 11*c**2 + 4*c + 12. Suppose 3 + 3 = 2*x. Suppose 0 = x*f - 2*f + 10. Is 18 a factor of s(f)?
True
Let t be (-3 - (-40)/24)*3*2. Let a(n) = n**3 + 9*n**2 - 6*n + 24. Does 17 divide a(t)?
True
Let g be 0/1 + (0 - -2). Suppose 0 = o - g*o. Suppose 4*h + 0*h - 120 = o. Is 10 a factor of h?
True
Let f be 30/(-12)*8*4. Suppose 0 = 6*i - 5*i - 2. Is 12 a factor of (f/(-6))/(i/6)?
False
Is 18 a factor of 4 - -1 - 2546/(-2)?
True
Suppose 4*r - 9*r = -10. Let o(q) = 6*q**2 - q. Is 5 a factor of o(r)?
False
Let a(i) = -16*i - 8 - 16*i + 28*i. Does 10 divide a(-7)?
True
Suppose -7*q + q = -7*q. Suppose -6*x - 92 + 842 = q. Does 25 divide x?
True
Suppose 4*h = 3*a - 1994 + 9838, -9806 = -5*h + 4*a. Is 20 a factor of h?
False
Let z = -908 - -919. Let x(a) = 0 + 2*a**2 - 1 - 1 - 15*a. Does 22 divide x(z)?
False
Suppose 3*m - 5*h - 18 = 0, 5*h + 7 = -3*m - 5. Let r = m + 2. Suppose y - 17 = -n, -18 = -y - r*n + n. Does 4 divide y?
True
Let y(w) = 477*w - 136. Does 17 divide y(6)?
False
Let c(q) = -q**3 + q**2 + q + 5. Let u be c(0). Suppose 0 = -6*f + u*f. Is 30 a factor of (-1 - 3) + 94 - f?
True
Let p(x) = x - 4. Let z be p(6). Let y be (-12 + 10)*1/z. Is 63/(-12)*y*8 a multiple of 12?
False
Suppose -72 = -4*r - 3*w + 255, 2*r - w - 171 = 0. Does 6 divide r?
True
Is 51 a factor of 122*(8 + -4 + -3)?
False
Suppose -r = -4*z - 47, -2 = -z - 3*r - 17. Is ((-