v) a multiple of 5?
True
Suppose -2*y + 44559 = -3*d, -3*y - d + 75372 - 8561 = 0. Is y a multiple of 96?
True
Let c(w) = -10*w - 5. Let t be c(-4). Suppose -g - 2*i = -3*i - t, -3*g - 4*i = -70. Is 6 a factor of g?
True
Let u(a) = 2*a**2. Let o be u(2). Let x = -353 + 527. Let c = x + o. Is c a multiple of 26?
True
Let z = -14 - -18. Let r(s) = -14*s - 38. Let a be r(-11). Suppose -z*d + a = -4. Does 3 divide d?
True
Suppose 7*x - 4 = -46. Let f be ((-1 - 1) + 0 - 1)*x. Suppose -f = -2*n + 64. Does 9 divide n?
False
Let f(w) = 122*w + 35. Let n be f(11). Suppose 10*m - n = m. Is 3 a factor of m?
True
Let h(i) = 8*i**3 - i**2 + 3*i - 3. Let b be h(2). Suppose -s - 5*d + 82 = 0, 4*s - 3*d = -4 + 217. Let r = b - s. Is r a multiple of 4?
False
Suppose 10*g - 174 - 26 = 0. Let u(v) = 2 + g*v - v**2 + 3 + 2 - 3. Does 26 divide u(10)?
True
Let v(t) = 3705*t**2 + 65*t - 126. Is 64 a factor of v(2)?
False
Let k = -20788 - -56719. Does 8 divide k?
False
Let x(j) = j**2 + 2*j + 72. Let c be x(14). Suppose 0 = 3*p - 304 - c. Is p a multiple of 50?
True
Let s(f) = 22*f**2 + 109*f - 128. Let z(u) = 5*u**2 + 27*u - 32. Let p(d) = 2*s(d) - 9*z(d). Does 29 divide p(-21)?
True
Let m = -25897 - -39351. Does 9 divide m?
False
Let c(v) = 46*v - 237. Let m(t) = -69*t + 356. Let p(q) = 8*c(q) + 5*m(q). Is p(12) a multiple of 10?
True
Suppose -3*l = 0, -l - 6038 - 6717 = -5*k. Let b = 4051 - k. Is 60 a factor of b?
True
Let q be 6 - 1 - (-7 - -8). Suppose -5*i + 1269 = -q*f - 450, -5*i + 5*f + 1720 = 0. Does 7 divide i?
True
Let z = -3422 - -3650. Is 11 a factor of z?
False
Is (-3 - -3) + ((-1885)/(-58))/(2/28) a multiple of 2?
False
Let k be (-114)/(-27) + 2/18*-2. Suppose 0 = -k*w - y + 51, 0*y - 4*y + 35 = 3*w. Suppose -s - w + 61 = 0. Is 23 a factor of s?
False
Suppose -132*a - 17680 = -145*a. Does 20 divide a?
True
Let v(a) be the second derivative of -a**5/10 - a**3/6 + a**2 - 46*a. Let i be v(1). Let y(c) = -167*c - 5. Does 14 divide y(i)?
False
Let o(j) = 7*j**2 - 88*j + 72. Is 2 a factor of o(14)?
True
Suppose 0 = -4*w - w - w. Suppose w = -5*n + 9*n - 1768. Let v = n + -235. Is 14 a factor of v?
False
Suppose -160678 = -63*i + 307852 - 39878. Does 42 divide i?
True
Let u be (-3736)/(-10)*(-140)/(-56). Let v = -466 + u. Is v a multiple of 62?
False
Let a be 5 - 303/18 - 1/6. Let o(y) = -y**3 - 13*y**2 - 11*y - 23. Let x be o(a). Does 10 divide 80/(-28)*x/2?
True
Suppose 4*a + 0*n - 3*n - 3510 = 0, n - 3486 = -4*a. Is a a multiple of 2?
False
Suppose -x = -5*d + 9049, d = -3*x + 280 + 1517. Suppose 0 = -15*n + d + 2166. Is n a multiple of 9?
False
Let a(k) = 102*k + 5. Let l be a(-5). Let v = 792 + l. Suppose -v - 217 = -8*t. Is t a multiple of 9?
True
Does 64 divide ((-693)/(-88)*56/(-6))/((-12)/5120)?
True
Is 12 a factor of 4*3*(-2534)/4*-1?
False
Let o = -49 + 38. Let k be ((-16)/2)/(9 + o). Suppose 84 + 60 = k*g. Does 7 divide g?
False
Let q(x) = -x**3 - 17*x**2 - 9*x - 25. Let r = -103 + 41. Let a = -79 - r. Is q(a) a multiple of 34?
False
Let b be 24/84 + 264/7. Suppose -b = -5*k + 117. Is 4 a factor of k?
False
Let v(d) = d**3 + d**2 + 41*d + 8. Is v(6) a multiple of 11?
True
Suppose -2*m + 699 = -3*l - 919, 5*l = -4*m - 2682. Let b = 1811 + l. Is 19 a factor of b?
True
Suppose -14239 = -p - 81*i + 82*i, 3*p + 2*i - 42722 = 0. Is p a multiple of 31?
False
Let r = -15 + 64. Let i = r - -251. Is i a multiple of 10?
True
Let s(g) = -g**2 + 0 - 6 + 16*g - 2 - g**2. Let m be s(-7). Is 12 a factor of m/(-9) - (-12)/(-54)?
True
Let r = 31 + 92. Suppose -2*n + 140 = -4*s + 590, s + 3*n = r. Suppose 4*o = 3*o - 5*x + 118, o = -x + s. Is 25 a factor of o?
False
Let u(g) = 54*g**2 - 26*g - 62. Does 9 divide u(-2)?
False
Suppose 0*s = -2*s - 3*d + 5, -4*s + 4 = 4*d. Let m(l) = -9*l - 2. Let v be m(s). Is 32 a factor of v/(-3)*(-29 + 5)?
True
Suppose 3*r = 8*r, 0 = 7*v - 5*v + r - 16500. Is 55 a factor of v?
True
Let c be (0 - 6)*12/(-16)*-18. Let a = c - -63. Let j = 143 + a. Is j a multiple of 22?
False
Suppose 0 = 526*y - 525*y + 7, -2*y = 3*k - 15358. Does 12 divide k?
True
Suppose 56*w + w - 194766 = 35*w. Is 4 a factor of w?
False
Suppose d = -0 + 5. Suppose d*a = 2*p - 223, -p - 9 + 108 = -5*a. Does 62 divide p?
True
Let h(x) = -4*x**2 - 6 + 5*x - x**3 - x**2 + 0*x + 48*x**3. Is h(2) a multiple of 18?
True
Let g(x) = 0*x - 9 + 6*x - 13. Let m be g(-8). Let y = 6 - m. Is 25 a factor of y?
False
Let u = -19 - -19. Suppose 4*p - 2*g - 309 + 859 = u, 0 = p + g + 136. Let n = 214 + p. Does 19 divide n?
False
Suppose 12558 - 422343 = -77*q - 8*q. Does 11 divide q?
False
Let x = -375 + 825. Let b = x + -313. Is b a multiple of 12?
False
Let b = 55 + -50. Suppose b*c - 2 = -0*c + 2*k, 0 = -2*c + 5*k - 16. Suppose 3*u + c*u - 860 = 2*z, 860 = 5*u + 3*z. Is u a multiple of 24?
False
Let p be ((-2)/(-5))/(2/((-360)/(-2))). Let b = p + -28. Suppose -77 - 35 = -b*y. Does 12 divide y?
False
Suppose 37 = 2*x - 5*j, -5*x - 193*j = -195*j - 82. Suppose 0 = 2*u - 3*b - 199, 2*u + 529 = 7*u + 3*b. Let a = x + u. Is 30 a factor of a?
True
Suppose -4*s = -s - s. Suppose s = -23*u + 29*u - 18. Suppose u*l + 9 = 501. Is 41 a factor of l?
True
Let y = 22970 + -17269. Is 6 a factor of y?
False
Suppose 3*j + 33 = 2*k, -3*k + 6*k - 48 = 3*j. Suppose -i + k = 12. Does 2 divide i?
False
Let q = 37 - 28. Let v be (-5 + 2)/(q/(-894)). Is 13 a factor of (1 + v/(-4))*(-60)/30?
False
Let b be ((-78)/(-52))/(0 - (-9)/51072). Suppose -13*i = 3*i - b. Does 14 divide i?
True
Suppose 5*a - q - 206 = 0, 0 = a + 5*q - 48 - 14. Let u be ((-26352)/a)/(-2) + 4/14. Suppose -u = -4*x + 246. Does 35 divide x?
True
Let n(d) = 2*d**3 + 56*d**2 + 85*d - 18. Let f(u) = 51*u - 179. Let c be f(3). Does 12 divide n(c)?
False
Suppose 0 = 4*k + 2*d - 4264, -22*k - 3*d + 3192 = -19*k. Let p = -626 + k. Does 17 divide p?
True
Let z = 3 + -1. Suppose 3*g - 178 = -4*t, -24 = 4*g - 16. Suppose -z = -2*u + t. Is u a multiple of 6?
True
Does 4 divide (-6813)/(-24) + 7/56?
True
Let v = 90 - 84. Suppose g = -5*x + 1617, 3*x + g = 2*g + 975. Suppose v*k = 10*k - x. Does 27 divide k?
True
Let l(m) = 35*m + 24. Let q = -75 - -85. Is l(q) a multiple of 25?
False
Does 11 divide ((-152295)/1420)/(6/(-416))?
True
Let n(j) = 3*j - 3. Let h be n(-3). Let u(g) be the second derivative of g**4/12 + 11*g**3/6 + g**2 - 315*g. Is 14 a factor of u(h)?
True
Let l be (16/(-12))/(16/3048). Is 5 a factor of -21 - l - -1*2?
True
Let h = 3766 - 1522. Is 66 a factor of h?
True
Suppose 8 = 2*n, d + 129*n - 130*n - 4103 = 0. Is 111 a factor of d?
True
Is (850/6)/(4/24) a multiple of 50?
True
Let x(b) = -b**2 + 12*b + 5. Let c = 50 + -38. Let i be x(c). Suppose -195 = -0*l - 5*l - i*d, 2*d + 112 = 3*l. Does 7 divide l?
False
Suppose -u + 14289 = -33*i + 36*i, 2*i - u - 9536 = 0. Does 3 divide i?
False
Let c = 30 + -29. Let g be (c/(-1))/(16/1040). Let a = 104 + g. Does 21 divide a?
False
Suppose 0 = 4*t - 4*m - 588 - 352, 5*m - 505 = -2*t. Suppose 4*d + 7*w - 4*w - 22 = 0, -4*d + 5*w + 6 = 0. Suppose t = 2*y + d*y. Is y a multiple of 20?
True
Let c = -9753 + 12003. Is c a multiple of 3?
True
Let g(m) = 3*m**2 + 30*m - 61. Let r be g(2). Let n = -1361 + 2369. Suppose -n = -3*h - r*h. Is 12 a factor of h?
True
Let t(a) = a**3 + 26*a**2 - 64*a - 85. Is t(-27) a multiple of 49?
False
Suppose -4*g - 6088 = -2056. Let y = g - 42. Is 14 a factor of (4/6)/((-4)/y)?
False
Let l = 20780 + -13340. Does 31 divide l?
True
Does 9 divide (12783/15)/(18/90)?
False
Let y = -23 - -26. Suppose -y*g = 4*z + z - 236, 5*g + 4*z = 376. Let l = -48 + g. Is 4 a factor of l?
True
Suppose -112*u + 1272875 = 247627. Is 35 a factor of u?
False
Suppose 7*y - 26*y = 67*y - 1383310. Is y a multiple of 17?
False
Suppose -2*g + 507 = -3*y, 13*y - 10*y - 5*g = -516. Let d = y + 220. Is d a multiple of 14?
False
Let k = 5830 + -3869. Is 15 a factor of k?
False
Suppose -l - 14 = -76. Suppose 5*n + 4*r - 117 = 0, 12*n - 7*n - 3*r - 131 = 0. Suppose 0 = 3*g - l - n. Does 17 divide g?
False
Suppose 0 = -4*a - 11*r + 7*r + 16, -18 = -5*a - 3*r. Suppose a*p - 447 = 375. Does 19 divide p?
False
Let t be (1 - 3 - -3) + (2 - -2). Suppose 211 = 3*r + t*c - 131, 5*r = -c + 548. Suppose u + h - 115 = 0, 3*h + 2*h + r = u. Does 28 divide u?
False
Suppose 3627 - 9710 = -79*w. Let y(x) = 1