actor of y?
True
Let g = -342 + 465. Suppose 19*r = 18*r + g. Is r a multiple of 8?
False
Let o(k) = -k**2 - 34*k + 113. Let f be o(-37). Suppose -f*s + 1662 = s - 4*n, -2*s = 5*n - 1131. Is s a multiple of 62?
True
Let p = -160 + 161. Let j(o) = 103*o - 4. Does 49 divide j(p)?
False
Let m = -19192 + 32946. Does 7 divide m?
False
Suppose -5*p + 2*t + 40709 = 0, p + 4*t - 2508 = 5647. Does 16 divide p?
False
Suppose -2 = 5*x - 3*y - 66, 0 = 5*x + 5*y - 40. Let v(z) = -3*z + 40 - 2*z - x*z - z**2 + 9. Does 12 divide v(-16)?
False
Let o = 7176 + -3396. Does 18 divide o?
True
Let k(o) = 79*o + 3088. Does 30 divide k(44)?
False
Suppose l = 4*r - 0*l - 22, -4*r = -3*l - 18. Let i be -4 - r/(-3) - 14. Is i/4 - (-30 - 1) a multiple of 17?
False
Let u = 13217 - 8847. Is 95 a factor of u?
True
Let a = -204 + 432. Suppose -a*o = -234*o + 1464. Does 11 divide o?
False
Is 112 a factor of (7560/(-100))/9*(-1240)/3?
True
Let p be -1 - (4*44/16 - 6). Is 28 a factor of -1 + (-18)/27 - 1630/p?
False
Let d = 16 - 4. Let m(j) = -j**2 + 14*j - 23. Let f be m(d). Is 6 a factor of 50 - (4 + -3 - f*4)?
False
Suppose 0 = 6*m + 2*m - 576. Suppose 0 = -m*z + 80*z - 5952. Is z a multiple of 80?
False
Let z(y) = -y**3 + 6*y**2 + 3*y - 17. Let o be z(6). Let r be o - (-49)/(-63) - 2374/(-9). Suppose -11*n + r = -8*n. Does 22 divide n?
True
Let k be -2 - (2/(-2) - 1). Suppose 5*m + 2*m - 35 = k. Suppose 4*f - 3*f + m*a = 6, 5*f + 2*a - 30 = 0. Is f a multiple of 2?
True
Let d(v) = v**2 + v - 8. Let u be d(-3). Let c be -3 + 7 + u - (0 - 2). Suppose -3*l = -8*l + 5*w + 345, -c*l - 5*w + 285 = 0. Does 10 divide l?
True
Suppose a = 5*m - a - 6, -4*m - 4*a = -16. Suppose 4*k + 6 = -u + 16, -2*u + m*k + 70 = 0. Does 10 divide (u/4)/(5*6/40)?
True
Suppose 303 - 31453 = f. Does 16 divide (f/30)/(-5) + 3/9?
True
Let w(z) = -74*z**3 - 2*z**2 + 3*z + 8. Let i be w(-2). Suppose 3*b - 3*c = 357, 4*c = 2*b - 7*b + i. Is 17 a factor of b?
False
Let r(v) = 1001*v**2 + 48*v + 30. Is 131 a factor of r(-6)?
False
Suppose -c - 115 + 118 = 0. Suppose -2*t + 3*j + c = 0, 3*j + 15 = 4*t + 6. Suppose t*q + 14 - 65 = 0. Is 8 a factor of q?
False
Suppose -2*t = m - 9, -2*m - 3*t + 13 = -3. Suppose 0 = -4*q - 2*h + 4048, -2*q = -2*h + m*h - 2024. Does 66 divide q?
False
Suppose 24*i = 3*i + 84. Suppose -3*d + 4*x = -100 - 793, 1194 = i*d - 2*x. Is d a multiple of 13?
True
Let d be (4/15 + 6/(-10))*-258. Let v = -86 + d. Suppose v = 5*o - 255 - 240. Is 33 a factor of o?
True
Let v(s) be the third derivative of 1/6*s**3 + 1/120*s**6 - 16*s**2 - 1/5*s**5 + 1/8*s**4 + 0 + 0*s. Is v(12) a multiple of 3?
False
Let d(y) = 15*y**2 + 123*y + 184. Is 58 a factor of d(-36)?
True
Suppose 34*y + 137983 = 3*n + 30*y, 42 = -6*y. Is 13 a factor of n?
False
Suppose -1098855 = -11*j + 9*j - 43*j. Is j a multiple of 15?
False
Let u be ((-3)/(0 + -1))/((-33)/352). Let f(g) = 7*g**3 - 2*g**2 - g - 4. Let w be f(3). Let q = w + u. Is 33 a factor of q?
True
Does 60 divide 46932 + -2 + (-21)/42*20?
True
Let j = -550 - -100. Let f = j + 773. Is f a multiple of 17?
True
Let r = 103 - 101. Is (45/30)/((-3)/(r - 56)) a multiple of 9?
True
Suppose -19*l + 132834 = 20*l. Is l a multiple of 26?
True
Let n(r) = 21*r**2 - 29*r - 90. Is 14 a factor of n(-8)?
False
Let i be (-290)/(-30) + (-1)/(-3). Let v(x) = -x**3 + 14*x**2 - 18*x - 13. Is v(i) a multiple of 20?
False
Suppose 0 = -4*f + 5*d + 20 - 5, f - 5*d = 0. Suppose -i + 2 = 0, -f*i - 716 = -3*v - 258. Suppose 21*x - 24*x = -v. Is x a multiple of 5?
False
Let l = 3953 + -719. Is l a multiple of 154?
True
Let o be ((-8)/(-14))/(3 - (-20)/(-7)). Suppose -p + o*p = -3, -4*m = -p - 1217. Does 38 divide m?
True
Let c(j) = -j**2 + 21*j - 86. Let x be c(9). Let h = 70 + 16. Let a = x + h. Is a a multiple of 27?
True
Let y(j) = 66*j**2 + 890*j + 20. Does 6 divide y(-25)?
True
Let d(g) = -30*g + 32. Let j be d(1). Is 14 a factor of 4/j - 39/6*-6?
False
Let i(v) be the second derivative of -13/2*v**2 + v**3 + 0 - 17*v. Is i(6) a multiple of 2?
False
Let l = -12 - -103. Let z = -63 + l. Let c = -10 + z. Is 18 a factor of c?
True
Is ((-108)/(-20))/9*5660 a multiple of 10?
False
Let j be ((-42)/(-6) + 2)*2/6. Suppose -j*s - s + 1708 = 0. Suppose -9*x + s + 149 = 0. Is x a multiple of 18?
False
Suppose -4*b = 2*i + 34, 0 = 3*i - 5*b + b + 41. Does 26 divide i + 18 - 830/(-2)?
False
Suppose 360*s - 376*s = -26752. Does 50 divide s?
False
Is 5 + -9 + -6 + 7339 a multiple of 10?
False
Does 8 divide (-6914)/(-3 - ((-56)/3)/8)?
False
Let m(x) = 194*x**2 + 4*x. Let d be (9/(-6) + 2)*(-3 + 3). Let r be -4 + 4 + ((-1)/1 - d). Is 19 a factor of m(r)?
True
Let w be 335/(-20) + (-3)/(-4). Let q(n) = -n - 30. Let s be q(w). Let g(v) = -5*v - 32. Is 9 a factor of g(s)?
False
Let c(z) = 4*z + 41. Let t be c(-9). Suppose 0 = -t*h + 29 - 4, -n = 2*h - 87. Is 15 a factor of n?
False
Let d(n) = 3*n**2 - 31*n - 5. Let k(f) = f**2 + 1. Let g(s) = -d(s) + 5*k(s). Does 7 divide g(-19)?
False
Suppose 0 = -4*h + 12, 5*h + 44 - 1 = n. Suppose -39*d + 38*d + n = 0. Is 5 a factor of d?
False
Let h = -15 + 14. Let d be h/(3 - (-2 - -4)). Let b = 13 - d. Does 12 divide b?
False
Let n(c) = 0 - c + 4*c - 1 - 4*c. Let r(f) = 84*f + 12. Let z(d) = 8*n(d) + r(d). Is 13 a factor of z(2)?
True
Let c = 1339 + -935. Suppose 4*k = f + c, -k - 2*k + f = -304. Suppose -4*h + 80 = -k. Is h a multiple of 17?
False
Suppose 4*t - 3*y + 6*y - 36821 = 0, 3*t = y + 27632. Is t a multiple of 34?
False
Let v = 694 - 427. Let j = 441 - v. Let g = j - -81. Is g a multiple of 35?
False
Let p(n) = -n - 19. Let v be p(-23). Let l(u) = 4*u**2 - u - 17. Let t(w) = -1. Let a(f) = v*t(f) + l(f). Is a(7) a multiple of 28?
True
Suppose -413 = -34*r + 1253. Suppose -13 - r = -2*i + 5*j, -20 = -i - 3*j. Is i even?
True
Let h = -58571 - -86823. Is 28 a factor of h?
True
Let y = 31 + -28. Suppose 0*t = y*t + 15, 0 = -i - 3*t - 15. Suppose i = -q + 104 + 36. Does 20 divide q?
True
Let q(x) = -2*x**2 + 17*x + 6. Let v be q(9). Let t be ((-11)/(-3))/((-1)/v). Suppose -6*s - t = -371. Is 30 a factor of s?
True
Let h(n) = 4*n**2 + 310*n + 2260. Is h(-122) a multiple of 216?
True
Let c(g) = -15*g**3 - 19*g**2 - 325*g + 34. Is c(-12) a multiple of 149?
True
Let s(i) = -i**2 - 5*i + 6. Let z be s(-6). Let v(u) = -u**3 - 7*u**2 - 14*u - 13. Let w be v(-5). Suppose o - w*o + 42 = z. Is o a multiple of 2?
False
Let g = 1909 + 724. Suppose -2*q = 10, 2*a + 4*q = q + g. Does 4 divide (-6)/33 + a/22?
True
Let n(w) = w**2 + 1023*w + 3530. Is 2 a factor of n(0)?
True
Let k = -176 - -178. Suppose l + 1 = -4, -s - k*l + 495 = 0. Does 37 divide s?
False
Suppose 4*v - 40139 = n, 3*v + 5*n = n + 30090. Is 110 a factor of v?
False
Let r be (-18)/(-45) + 32/(-5). Let g be (3 + r)/((-9)/(-3840)*-2). Suppose -g = 6*x - 16*x. Is 17 a factor of x?
False
Suppose -6703 + 25703 = 5*u. Is u a multiple of 10?
True
Let j(s) = 2*s + 1. Let l(z) = -3*z + 26. Let a(g) = -3*j(g) - l(g). Let v be a(-8). Is (8 - (-30)/v)*(-19)/(-2) a multiple of 19?
True
Let n = -7619 + 11058. Let m = n + -1849. Is 31 a factor of m?
False
Suppose 5*m = 5*k + 40, -7 = 4*k + 9. Suppose -m*r = -3 - 453. Is 16 a factor of r - -6*(-5)/15?
True
Is (-25)/((-2450)/3209346) + 9/(-21) a multiple of 51?
False
Let f(d) = 2*d**3 - 16*d**2 - 2. Let u = -14 + 22. Let v be f(u). Is 8 a factor of v/5*(-159 + 4)?
False
Suppose -3*x = 5*q - 18, 4*x + 2*q - 29 = -3*q. Let g(b) = 7*b + x*b + 3*b - 2 - 5*b. Is 18 a factor of g(8)?
True
Suppose 10*y - 372 = 18. Suppose -35*q + y*q - 32 = 0. Is 3 a factor of q?
False
Let g = -231 - -220. Let n(s) = s**3 + 10*s**2 - 20*s + 6. Is 15 a factor of n(g)?
True
Suppose 6 = 417*m - 414*m. Let k(y) = 3 + 1 - 4 - 4 + 15*y**2 - 2*y. Is 16 a factor of k(m)?
False
Suppose 0 = -4*x + 2*x + 2384. Suppose 3*y - 3 = 0, -4*y = -3*w + y + x. Is 19 a factor of w?
True
Suppose -4764 + 489 = 9*b - 34*b. Does 26 divide b?
False
Let f(w) be the second derivative of w**4/12 + 4*w**3/3 - 19*w**2/2 - 14*w + 1. Is 2 a factor of f(-11)?
True
Let u be 2/4 + -26*(-1)/(-4). Let j(w) = w**3 - 22*w**2 + 6*w - 4. Let f(s) = s**2 + s. Let l(a) = u*f(a) - j(a). Is 57 a factor of l(14)?
True
Let q be (102/(-85))/(3/(-10)). Suppose -3*n - 5*t + 56 = -0*t, 3*n + q*t - 58 = 0. Is 3 a factor of n?
False
Suppose 3841 = 2