
False
Does 12 divide (8352/(-435))/((-6)/1095)?
True
Suppose 8 = -2*s, -4*s - 20583 = -5*m - 4657. Is m a multiple of 5?
False
Let x = 410 - 111. Suppose 1354 = 2*h - 3*m, 2*m + x - 983 = -h. Is 32 a factor of h?
False
Suppose 0 = 33*x - 55*x + 16258. Let d = 1248 - x. Is 46 a factor of d?
False
Suppose -5*c + 503 = 4*p + 110, 4*p - 231 = -3*c. Let m = c + -65. Suppose -d = 3*d - 4*g - 164, 0 = 4*g - m. Does 21 divide d?
False
Suppose j = -3*j + l + 8, -4*j - 2*l = -20. Does 24 divide 238 + 1/((6 - j)/6)?
True
Let t be 14/4*24/14. Suppose 15 = j + t. Suppose 4*u + 40 = 4*k, -5 = -2*k - 4*u + j. Is 4 a factor of k?
False
Suppose -7*x - 15 = -6*x + 3*y, -3*y = 15. Let s be ((-6)/(-5))/((-30)/100). Is 4 a factor of 5 + x/(2 + s)?
False
Let h be ((-1)/2 + (11 - 100/10))*4. Let c(u) = 13*u**2 - 2*u + 3. Let p be c(-5). Is 38 a factor of h*((-7 - -7) + p/4)?
False
Let l(g) = 20*g**2 + 3*g - 11. Let r(b) = 20*b**2 + 2*b - 10. Let n(j) = -6*l(j) + 7*r(j). Let w be n(-2). Is (-12)/(-2 + w/45) a multiple of 10?
True
Let d(x) = 10*x**2 + 6*x + 5. Let n(r) = -7*r**2 - 4*r - 4. Let s(z) = -2*d(z) - 3*n(z). Let g = -17 - -12. Is 7 a factor of s(g)?
False
Suppose 0 = i + i - 96. Let t = i + -53. Let v(o) = -23*o + 5. Is 11 a factor of v(t)?
False
Does 4 divide (-167694)/((-1064)/28) - (-5 + -1 + -1)?
True
Suppose 3*s - 1405 = -2*f, -4*f = s - 3067 + 282. Let d = 1079 - f. Is 12 a factor of d?
True
Let d(g) = -g**2 + 3*g + 138. Let f be d(14). Is f/(1 + (-8)/7) a multiple of 14?
True
Let t(x) = 7*x**2 - 4*x + 2. Let h be t(1). Suppose -2*i = 4, -h*i + 29 = -a - 69. Let s = a + 119. Does 3 divide s?
False
Suppose 1520 = -926*v + 945*v. Is 9 a factor of v?
False
Let u(w) = -w**3 - 5*w**2 + 6*w + 1. Suppose 2*q = 6*q + 8, 4*i - q = -18. Let z be u(i). Is 16 a factor of (0 - z) + 1 - 1?
False
Suppose 0 = -5*u + 4 + 6. Suppose 0 = u*a + d + 10, 3*d + 5 = -2*a - 5. Let t(s) = -34*s - 22. Is t(a) a multiple of 12?
False
Let j = -6 - -8. Let w(f) = -3*f - 2*f**2 - 3*f - 4 - 3 + 13*f**j. Does 14 divide w(5)?
True
Let a(g) = -30*g - 116. Let o be a(-4). Suppose -3*m = -o*m + 115. Is 27 a factor of m?
False
Suppose 2*c = -5*c + 77. Is (-8420)/(-24) - c/(-66) a multiple of 9?
True
Let v = 75 - -659. Let m = v - -260. Does 14 divide m?
True
Let s(u) be the first derivative of -u**4/4 - 16*u**3/3 - 27*u**2/2 + 17*u - 30. Let x be s(-14). Suppose -o = -2*i + 67, i = -x*i + 4*o + 144. Does 4 divide i?
False
Let t = 132 - 127. Does 3 divide t*((-272)/(-10) + 4 + -1)?
False
Let r be ((-46)/(-11) - (-4)/(-22)) + 155. Suppose z - r + 15 = 0. Is 8 a factor of z?
True
Suppose -3*b = -s - 4, 4*s + 0*s = -3*b - 16. Let t be 4/(15/25*s/6). Is ((-218)/t)/((-32)/(-10) - 3) a multiple of 24?
False
Suppose 4*h - 38578 = -499*f + 501*f, 4*h - 4*f = 38564. Is 16 a factor of h?
True
Let j(w) be the second derivative of -w**4/3 + 21*w**3 + 5*w**2 - 67*w. Does 47 divide j(23)?
False
Let b(x) = -4*x + 27. Suppose 3*g + 4*m - 35 = 0, -5*g + 3*m + 5 = -m. Suppose -g*f + 0*f = 5*u + 15, 2*u = 3*f + 24. Is 18 a factor of b(f)?
False
Suppose 19*d + 16 = 15*d, -3*v + 2*d + 1214 = 0. Let u = -270 + v. Is u a multiple of 44?
True
Let q be 3 + -3 + 4 + 6*-1. Let o be 0*(1 + (q - (-9)/6)). Is (144/20 - o)*(-5)/(-2) a multiple of 9?
True
Let l be (2*(-27)/(-21))/((-2)/(-14)). Does 21 divide -420*l/((450/(-12))/5)?
True
Let i(j) = -j**2 + 6*j + 11. Let g(t) = -t**2 + 6*t + 10. Let o(p) = 3*g(p) - 2*i(p). Let h be o(7). Is (15 - -108) + (h - 0 - -1) a multiple of 32?
False
Suppose 33*f - 138 = -13*f. Is 16 a factor of (60/21)/(-6*f/(-3339))?
False
Suppose 89*y - 434388 - 35990 = 341302. Is 5 a factor of y?
True
Suppose -4*t = -5*t + 2015 + 6298. Is 51 a factor of t?
True
Suppose 0*q + q = -5*k + 2, -4*k - 2*q = -4. Suppose -5*t + 5*d + 471 + 364 = 0, k = 3*t + 5*d - 509. Is 24 a factor of t?
True
Let u(i) = 2*i - 17. Suppose 2*n + 4 + 31 = 5*s, 0 = -2*n + 10. Let d(a) = -3*a + 35. Let f(r) = s*u(r) + 4*d(r). Does 12 divide f(5)?
False
Suppose 1127*x + 2276 = 1128*x. Does 6 divide x?
False
Let u(i) = -i**3 - 7*i**2 - 11*i - 13. Let l be u(-5). Let j = l - -48. Is 25 a factor of j?
False
Let g(v) = -12435*v**3 + v**2 - v - 2. Let q be g(-1). Suppose -11*b - 5274 = -q. Is 31 a factor of b?
True
Suppose -39*q - 138 = -36*q. Suppose -3*a - 1160 = -a. Is 24 a factor of a/(-6) - q/(-69)?
True
Suppose 0 = -5*q + 4*q + c + 24, -2*q - 4*c + 54 = 0. Let a = -16 + q. Is 33 a factor of (-9)/(324/(-8)) + 1222/a?
False
Let n(k) = -k**3 + 12*k**2 + 11*k - 35. Let g(j) = 4*j - 28. Let m be g(10). Is n(m) a multiple of 24?
False
Let t(y) = -y**2 + 16*y + 8. Let z be t(16). Is z/(-60) + (-3 - 13821/(-45)) a multiple of 14?
False
Let p(w) = -w**3 - 4*w**2 + 8*w + 5. Let c(z) = 3*z**3 + 11*z**2 - 23*z - 14. Let o(g) = 6*c(g) + 17*p(g). Let j be o(-2). Let n = 16 - j. Is n a multiple of 3?
True
Suppose -33*h = -2*h - 62636 - 3332. Is 38 a factor of h?
True
Let x = -589 + 3. Let t = x + 1111. Is t a multiple of 53?
False
Let v(d) = -17*d - 66. Let w be 130/(-18) + (-54)/(-243). Does 2 divide v(w)?
False
Suppose 4*n = -16539 + 49203. Is n a multiple of 17?
False
Let z be (-27)/9*(-1 - 0). Suppose 3*u + 2412 = 6*w - w, -963 = -2*w + z*u. Does 21 divide w?
True
Suppose 26 = -6*r + 104. Suppose 3655 = r*g + 990. Is 50 a factor of g?
False
Let x be 11 + 12/(-4) + -1. Let w(n) = -n**3 + 10*n**2 - 17*n. Is 7 a factor of w(x)?
True
Let x = -44 + 110. Let k = x - -85. Is k a multiple of 47?
False
Suppose -3*m = -3*o - 30, 0 = m + 13*o - 9*o + 15. Suppose 0 = -m*v - 4*g + 452, -431 = -5*v - 5*g + 8*g. Does 11 divide v?
True
Is 5 - ((-6)/(-21) + -8 + 280072/(-56)) a multiple of 25?
False
Suppose 3*i + q - 124189 = 0, -3339*q + 3336*q = -i + 41393. Is 131 a factor of i?
True
Is -2 + (-316480)/(-6) + 29 + 1424/(-48) a multiple of 72?
False
Let w(h) = -2*h**3 - h**2 + 5*h + 7. Let x be w(-2). Let q be (x - -180) + (0 - -2). Suppose 3*l = 4*c - q, 0*l = 2*c + 2*l - 78. Is c a multiple of 22?
True
Suppose -97*a = 72*a - 58*a - 452880. Is 80 a factor of a?
True
Let o(i) = 35*i**3 - 24*i**3 - 12*i**3 + 4 + 22*i**2 - 57*i. Is o(12) a multiple of 19?
True
Let g(c) = 4*c - 40. Suppose 4*x + 2*s = 344, 5*s = 33 - 13. Let j = -70 + x. Is 5 a factor of g(j)?
False
Suppose -20*s = -8*s - 12. Is 8 a factor of (-13780)/(-26) + s*-5?
False
Suppose 32961 = 11*i - 155337. Is i a multiple of 54?
True
Suppose 0 = 5*j + 2*k + 192, -j + 75 = -3*j + k. Let l = j + -11. Let o = l + 149. Is 12 a factor of o?
False
Suppose 64 = 5*d - 91. Let v = 31 - d. Suppose v = -0*x - 4*x + 644. Is x a multiple of 27?
False
Suppose 123895 = 8*h + 4*h - 88697. Does 94 divide h?
False
Let r(t) = 15*t + 8. Let v(i) = -13*i - 8. Let f(l) = -6*r(l) - 7*v(l). Let s(h) = -2*h + 3. Let c be s(-2). Is 15 a factor of f(c)?
True
Let p be 1058/8 + 1 - 78/(-104). Suppose 14 = 3*x - 1. Suppose -2*s + 0*s = x*t - 54, p = 4*s - 3*t. Is 4 a factor of s?
True
Let y be (-4 - (2 - 2580)) + 2. Suppose -y = -7*d + 28. Is d a multiple of 18?
False
Let p be 3096/32 + 2/(2*4). Let j = 146 + p. Let v = j - 41. Is 37 a factor of v?
False
Let o(h) = -h**2 + 6*h + 7. Let c = 67 - 60. Let u be o(c). Suppose u = -7*f + 189 + 147. Is f a multiple of 8?
True
Let i(j) = 194*j - 3936. Is 39 a factor of i(22)?
False
Let y(r) = -r**3 - r**2 - r + 1. Let o(s) = 22*s**2 - 28*s + 12. Let l(m) = o(m) + y(m). Let q = 231 + -212. Does 8 divide l(q)?
True
Suppose 6*o - 4*o = -2852. Let v = -1018 - o. Does 19 divide v?
False
Suppose -2*v - 13899 = -p, 5*v + 3*p + 34731 = -0*v. Is (v/(-90))/(4/10) a multiple of 25?
False
Let j(w) = w**3 + 2*w**2 - 5*w + 4. Let b be j(0). Suppose 6*u + 2552 = 3*c + b*u, -c = -4*u - 844. Does 12 divide c?
True
Suppose 4953 = 3*h + 3*o, 66*h - o = 63*h + 4949. Is h a multiple of 6?
True
Let w(r) = -r**3 - 74*r**2 + 65*r + 333. Is 15 a factor of w(-75)?
False
Suppose -14*b - 3623 = 2075. Is 8 a factor of (2 - (-1 + b)) + -3 + 1?
True
Is (-33)/77 - ((-30)/5 + (-103911)/7) a multiple of 275?
True
Let c = 14 + -4. Suppose 0 = -5*w - 0*w - 5*x + 5, -2*x = 6. Suppose -c*v = -8*v - w. Is v even?
True
Let f(g) be the third derivative of -11*g**5/60 + 3*g**4/8 - 10*g**3/3 + 12*g**2. Let c be f(8). Let d = -463 - c. Does 21 divide d?
True
Let u = 228 + -219. Let o(r) = -r**2 - 2*r + 129. Is 6 a fa