False
Let d be 142*(-5)/((-10)/4). Let u be 2/6 - d/(-12). Suppose 0 = 2*k - 4, 0*w + k = -w + u. Is 11 a factor of w?
True
Let l(j) = j**3 - 3. Let o(s) = -2*s - 9. Let b = -15 + 9. Let z be o(b). Is 12 a factor of l(z)?
True
Let d(z) = -5*z - 2. Suppose 3*r - 23 = 2*f, -r + 2*f = -3*f - 25. Suppose -6 = r*c + p + 9, -p - 5 = 0. Is d(c) a multiple of 7?
False
Let o be (-4)/18 - 3540/(-135). Is 16 a factor of o - (-1 + 4/(-4))?
False
Let d be (-7)/(-6) + (-2)/12. Let n be -1 + 0/1 + 36. Suppose -n = -3*p + d. Does 6 divide p?
True
Let m(u) = -1 + 3 + 8*u + 0 + 0. Does 17 divide m(4)?
True
Suppose 0 = 5*t - 10, 3*t - 13 = 5*b + 8. Is (b - (-46)/2) + -1 a multiple of 6?
False
Suppose -b + 4 = -2*k - 1, -4*b + k + 13 = 0. Suppose -2*p + 3 = -b. Does 3 divide p?
True
Let d(u) = u**3 + 4*u**2 + 2*u + 2. Let s be d(-3). Suppose 12 = -2*q + 4*c, -q - s*c + 41 = 3*q. Is q a multiple of 4?
True
Suppose 5*r = -h + 13 - 48, -4*h = -3*r + 2. Let d = -6 - r. Suppose -k + 30 = -d*k. Is 10 a factor of k?
True
Suppose -29*m = -34*m + 385. Is m a multiple of 11?
True
Let r(i) = 0 - 2*i + 0 - 4. Let b = -1 + -6. Is r(b) a multiple of 4?
False
Is 8 a factor of (84/105)/((-1)/(-80))?
True
Let x be (-22)/8*(-4)/1. Suppose -v - 4 = -x. Does 10 divide v/((-63)/30)*-6?
True
Let y(o) = -o + 21. Let j(n) = -n + 22. Let b(s) = -2*j(s) + 3*y(s). Does 7 divide b(9)?
False
Let y(l) be the third derivative of l**5/30 - 7*l**3/6 - 2*l**2. Let u be y(-5). Suppose -3*r + u = 7. Does 11 divide r?
False
Let d(h) = h**2 - 3. Is d(5) a multiple of 11?
True
Suppose 0 = 2*l - 4, 4*x + 6 + 4 = -l. Let s(b) = 8*b**2 - 2*b + 3. Let c be s(x). Suppose -k - k - 2 = 0, -5*k = -2*w + c. Does 12 divide w?
False
Let z be (-1)/2*(-5 - 9). Let l = -4 + 6. Suppose l*p - z = 3. Is 3 a factor of p?
False
Suppose -4*m + 12 = 2*u, -5*u = 3*m - 0*u - 16. Suppose -2*t + 28 = m*t. Does 3 divide t?
False
Let q = -2 - -13. Is (q + -12)/((-1)/19) a multiple of 8?
False
Suppose -i = 3*r + 71, -4*r + 7 = 2*i + 105. Let n = r - -41. Is 5 a factor of n?
False
Suppose 2*n = -2*g - 0*g + 24, -4*n + 47 = 3*g. Does 11 divide n?
True
Suppose -5*v + 36 = -s, -5*s = -3*v + 10 + 16. Let j = v + -12. Let k(d) = -7*d + 3. Is 19 a factor of k(j)?
True
Does 21 divide 139/5 - 5/25*-1?
False
Suppose -5*r + r = -3*n - 185, -3*n = 5*r - 211. Suppose 3*v - r = -v - 4*p, 4*p = -16. Is v a multiple of 11?
False
Let k = -3 + 8. Let h(j) = -7*j**3 - j**2 - 8*j + 3. Let x(b) = -b**3 - b**2 - b. Let d(w) = -h(w) + 6*x(w). Does 7 divide d(k)?
True
Suppose b = -2*b + 66. Let t = b + -9. Does 6 divide t?
False
Let i(o) = 11*o**3 + o**2 - 2*o + 1. Let h be 1*(-2 + 6/2). Let l be i(h). Suppose -c + l = u, -c + 2*u - 1 = -0*u. Is c a multiple of 3?
False
Let r = 451 + -289. Is 40 a factor of r?
False
Let g be 5/2 - 3/6. Suppose g*m - 44 = 28. Does 12 divide m?
True
Suppose -5*y - 5 - 5 = 5*k, y = -2*k - 8. Let p be 32/(-10)*(1 + k). Let l = 26 - p. Does 5 divide l?
True
Suppose -3*q - 42 + 198 = -3*k, -268 = -5*q + k. Is 18 a factor of q?
True
Let z be (36/14)/(1/7). Is (z/(-5))/((-12)/80) a multiple of 7?
False
Suppose -3*d - 535 = -8*d. Is 20 a factor of d?
False
Let f(d) = -2*d + 3. Let z be f(2). Let g be z*(3 + -1 + -2). Suppose 4*h = 2*b - 20, 0 = -3*h + 6 - g. Is b a multiple of 7?
True
Suppose 5*w = -0*w. Suppose w = v - 7 - 4. Is v a multiple of 11?
True
Let r(y) = y**2 - 5*y. Let b be r(5). Let n be 10 + (b - 6/(-3)). Suppose z + z = n. Does 3 divide z?
True
Suppose -2*d + 1 = -5. Let n(q) = -q**2 + q - 3. Let s be n(d). Let b(o) = -o**2 - 12*o - 13. Is 12 a factor of b(s)?
False
Suppose -2 = -c - 0. Suppose -c*g = -7*g. Suppose g = n - 0*n - 5. Does 5 divide n?
True
Suppose 0 = -18*u + 23*u - 25. Is u a multiple of 4?
False
Suppose 0 = 5*l - 2*s - 0*s + 6, 0 = -l + 3*s - 9. Let v(g) = 2*g + 15. Does 12 divide v(l)?
False
Let l(o) = -o**2 + 11*o - 8. Let b be l(10). Suppose -2*c - 39 = 5*i - 242, i - b*c = 31. Is 22 a factor of 3 + i + (2 - 0)?
True
Let t be (1/4)/(6/24). Let m = t + 1. Suppose b + m*b - 42 = 0. Is 14 a factor of b?
True
Let r be 0*(3 + -2 + 0). Suppose o + o - 22 = r. Does 11 divide o?
True
Let z be 1 - -1 - 38/(-2). Suppose c - z = 43. Is c a multiple of 18?
False
Suppose 0 = -3*c + c. Let v = 18 + c. Is v a multiple of 6?
True
Suppose v + 17 = -5*u, -5*v = u - 0*v + 13. Let p(g) = 4*g**2 - g. Is 17 a factor of p(u)?
False
Let y(z) = 2*z**2 + 2*z - 6. Let l = -9 + 3. Is y(l) a multiple of 20?
False
Let g(y) = -3*y + 1. Let k be g(1). Let t be (-93)/(-6) + 1/(-2). Let b = k + t. Is 13 a factor of b?
True
Let h = -133 + 213. Does 20 divide h?
True
Let x be (0 + -4 - -3) + 4. Suppose 5*j + 4*f - 43 = 0, -j + 30 = x*j + f. Is 7 a factor of j?
True
Let r = 270 + -82. Is r a multiple of 17?
False
Let u = 1 + 72. Suppose u = 3*v - 2*g, g - 6*g = 4*v - 59. Does 5 divide v?
False
Suppose i = -0*i + 59. Let u = 83 - i. Does 7 divide u?
False
Is 60*14/(-4)*(-3)/6 a multiple of 18?
False
Let n = 4 - 2. Suppose 7 = q - 2*l, -5*q - l - 1 = -n*l. Does 2 divide 1/(6/5 + q)?
False
Let y(m) = -6*m - 63. Is y(-27) a multiple of 3?
True
Suppose -s + 2*s = 0. Suppose 2*x = -2*k + 5 + 27, 4*k - x - 44 = s. Suppose 0 = 2*t - k - 30. Does 21 divide t?
True
Let p = -10 - -18. Let v = -5 + p. Suppose v*a = 13 + 11. Is 8 a factor of a?
True
Let z = 2 - 2. Suppose z = -x + 3*x - 52. Is x a multiple of 13?
True
Suppose -10 = -c + y, 5*c = 4*y - 9*y + 30. Suppose 0 = -3*t + t + c. Suppose -t*x = -2*x - 10. Does 2 divide x?
False
Let f(s) = 2*s**2 - s + 2. Let l(k) = k**2 - 7*k + 4. Let z be l(6). Let w be 3 + z + (0 - -1). Does 8 divide f(w)?
True
Suppose f - 3*w = -2, -w + 6*w - 30 = -f. Let z = f - -1. Is z a multiple of 7?
False
Suppose 4*h - 5*m = -221, 4*m = -4*h - 88 - 160. Let n = -28 - h. Is 12 a factor of n?
False
Suppose -4*g + 5*p + 52 = 0, g + 5*p = 3*p. Suppose -3*b - b + g = 2*t, t - 4 = -3*b. Let h(m) = -m**3 + 3*m**2 + 5*m - 2. Is h(t) a multiple of 2?
True
Suppose 2*a + a = -3. Let s(c) = -115*c. Let h be s(a). Suppose 4*g + g = h. Is g a multiple of 14?
False
Let h = 7 - 7. Suppose h = y + 4*y - w - 60, -5*y = 2*w - 75. Does 13 divide y?
True
Let f(c) = c - 1. Let h be (6/(-4))/(3/(-8)). Let l be f(h). Suppose l*x - 40 + 1 = 0. Is 13 a factor of x?
True
Suppose 0 = -q + 3*c + 75, 0 = -3*q - 5*c + 236 - 11. Suppose -6*v + q = -v. Is 15 a factor of v?
True
Suppose -32 - 88 = -8*h. Does 10 divide h?
False
Let z(h) = 10*h + 2 + 0*h - 2*h. Suppose -26 = -5*j - 3*f, 2*j + 2*f = 5*f + 2. Is 10 a factor of z(j)?
False
Let h = 21 - 10. Let o = h - -13. Does 8 divide o?
True
Let c(o) = o**3 + 8*o**2 + o + 5. Let u be c(-8). Let k = 0 - u. Suppose 29 - 5 = k*q. Is q a multiple of 8?
True
Suppose -4*s + 420 = 4*p, 0 = -p - p + 2*s + 214. Is 11 a factor of p?
False
Suppose f = 6 - 2. Suppose 2*l + 36 = f*l. Is l a multiple of 5?
False
Suppose -100 - 15 = -t. Does 23 divide t?
True
Let x(b) = 4*b - 3. Let z be x(2). Suppose -5*f + 14 = -5*a - 96, -78 = -z*f - 3*a. Is f a multiple of 8?
False
Suppose 5*f = 2*r - 0 - 9, -r + 4 = -2*f. Suppose -s - 2*j - 2*j = -4, 3*s = -r*j + 32. Suppose s = 3*y - 24. Is 6 a factor of y?
True
Let t = -19 - -81. Suppose -4*c + 2*i = -t, -3*c + 50 = 6*i - 4*i. Is c a multiple of 13?
False
Let o(k) = -k**3 - 18*k**2 + 14*k - 10. Does 8 divide o(-19)?
False
Suppose 0 = -b - 3 + 6. Suppose 4 = -b*v + 1. Is (-3)/(v - -4) - -17 a multiple of 16?
True
Let a(q) = q**2 - 2*q - 3. Let j be a(3). Suppose j = -9*i + 4*i + 180. Suppose -m = m - i. Is m a multiple of 11?
False
Let m(r) = -r**3 + 2*r**2 - r - 2. Let s be m(-2). Suppose -3*j + 6 = i, -5*j - 14 + 2 = -2*i. Let v = s - i. Is v a multiple of 6?
False
Suppose 2*c - 4*c + 2 = 0. Let m(q) = -5*q**3 + q**2 + q - 1. Let g be m(c). Let k = 0 - g. Does 2 divide k?
True
Let n(b) = -10*b - 12. Let c be n(-12). Let v = c - 44. Does 18 divide v?
False
Suppose -2 - 62 = -4*a. Does 4 divide a?
True
Does 8 divide (-5)/((-60)/(-8))*-12?
True
Suppose 2*t - z = 44, 3*t = 3*z + 14 + 52. Is t/4 - 7/(-14) a multiple of 3?
True
Let i = 149 - 83. Is i a multiple of 20?
False
Is 34/(-3)*135/(-18) a multiple of 17?
True
Suppose 3*q + 4*g = -50, 3*g + 3 - 8 = 2*q. Let b be 26/10 + 6/q. Is 14 a factor of b*10*15/12?
False
Suppose 2*c + 4*n = 5*c + 8, -2*n = -3*c + 2. Suppose 