Is 32 a factor of 1 + u - (-90 - j)?
False
Let x be 601 + ((-26)/10 - (-16)/(-40)). Suppose 4*f - 2677 = -n - 285, -f = 2*n - x. Does 10 divide f?
False
Is 3 + 7892 + (-5 - -10 - 5) a multiple of 88?
False
Suppose -10037 = -k + l, -2*k + l = -4103 - 15976. Is k a multiple of 14?
False
Let f(v) = -469*v - 38. Let h be f(-12). Suppose -g - 3370 = -4*g - 5*x, -3*x = 5*g - h. Does 51 divide g?
False
Let a = 138 - -298. Suppose 0*j = -4*j + a. Suppose 2*o = -d + j, 0*d = -3*d - 9. Does 16 divide o?
False
Let v = 2183 - 1021. Suppose 9*g + v = 6355. Is 36 a factor of g?
False
Let z(l) = 9*l**2 - 2*l + 3. Let b be z(2). Suppose 7*s + b = 567. Suppose w = j + s, -j = -2*w + 3*j + 146. Is 36 a factor of w?
False
Is -2 + (-2)/(-6) + (-214304)/(-48) + 6 a multiple of 109?
True
Let m(c) = -893*c - 6995. Is m(-9) a multiple of 4?
False
Let p(l) = l**2 + 5*l + 7. Let v be p(-5). Suppose v*g - 6*g = -77. Let s = 98 + g. Is 16 a factor of s?
False
Suppose -4*j + 76724 = 4*m, 3*m - 3*j - 66220 = -8629. Is m a multiple of 12?
False
Let v(l) = 4*l**2 - 14*l + 65. Suppose 4*b - 3*n = 1 - 51, -2 = -n. Does 19 divide v(b)?
True
Let z(p) = -p**2 - 11*p - 24. Let v be z(-7). Let k(j) = -j. Let h(y) = -10*y - 47. Let o(r) = v*k(r) - h(r). Is 11 a factor of o(5)?
True
Let g = -85 - -88. Suppose 0 = -g*t - 205 + 790. Is 23 a factor of t?
False
Suppose -5*n - 2*z = -63 - 14, -n = -3*z - 12. Suppose -10*g = -n*g + 25. Suppose 0 = -g*s + 127 + 113. Is 8 a factor of s?
True
Suppose -4*j + 4*o + 6 = -o, -4*j = -3*o - 2. Is 568/5 + j*(-6)/(-10) a multiple of 33?
False
Let s = 11064 - 8474. Is s a multiple of 185?
True
Suppose 0 = 4*u + u + 5*w - 1945, 4*u - w - 1536 = 0. Is 9 a factor of (-3 - -3) + u - -2?
True
Let d(w) = w + 23. Let c be d(-20). Suppose -4*z - 238 = -3*y - c*z, 0 = y - 3*z - 74. Is y a multiple of 17?
False
Let d = 1473 + 1167. Suppose 6*g + d = 26*g. Is g a multiple of 6?
True
Let h(j) = j**3 + 13*j**2 - 16. Let v be h(-6). Let d = -176 + v. Does 9 divide d?
False
Let o(q) = -q**2. Let p(r) = r**2 + 36*r - 12. Let c(h) = 2*o(h) + p(h). Is c(17) a multiple of 19?
False
Let q(r) = -2*r**2 - 15*r - 32. Let p be q(-3). Let b(g) = 17*g**2 + 17*g - 12. Is 7 a factor of b(p)?
False
Let m(s) = 374*s**2 + 187*s - 765. Is 27 a factor of m(4)?
True
Let q = 23 + -4. Let a = 1452 - 1418. Let d = a - q. Is 3 a factor of d?
True
Let i(o) = -13*o - 10*o - 14*o**2 + 14 + 13*o**2. Does 62 divide i(-17)?
False
Suppose 10*i + 4648 = -4*i. Let x = i - -716. Is x a multiple of 43?
False
Let m be 15 - 18 - 0/1. Let g be (-2)/m + 1775/15. Suppose -t = -3*a - 150, 5*t + 2*a - 563 - g = 0. Is t a multiple of 46?
True
Let j(t) = -5*t**3 - t**2 + 20*t - 6. Suppose 0 = -5*h + 18 - 43. Does 19 divide j(h)?
True
Let d(f) = -f**2 + 9*f + 4. Suppose -3*q - 4 + 31 = 0. Let t be d(q). Suppose 18 = 2*u + 3*w, -w - 5 = u - t*u. Does 3 divide u?
True
Suppose 2*m + 3*q = 2125, -5*m + 2127 = -3*m + q. Suppose -5*u + 62*w = 65*w - 2638, -m = -2*u + w. Does 16 divide u?
False
Let f = -8 - -11. Let x(p) = -3*p**f - 10 + 2*p**3 + 5*p - 13*p + 9*p**2. Is x(7) a multiple of 13?
False
Suppose 20*s - 947 - 473 = 0. Let w = s + 157. Does 38 divide w?
True
Let n(y) be the third derivative of -y**6/120 + y**5/6 - y**4/3 - y**3/3 - 18*y**2. Let w be n(9). Let j(g) = 4*g**2 - 6*g + 8. Is j(w) a multiple of 24?
False
Suppose -5*v - 3*j - 48889 + 357768 = 0, -3*v - j = -185321. Is 277 a factor of v?
True
Let c be -244 - 1 - (-9 - -6). Is 2 a factor of (-39732)/c + 2/(-11)?
True
Let j be ((-22)/(-3))/((-40)/1680). Let p(w) = w**2 + 3*w + 3. Let b be p(-2). Does 3 divide (j/(-110))/(b/15)?
True
Suppose 4*k + v + 961 - 8397 = 0, 5*k + 5*v - 9280 = 0. Is 93 a factor of k?
True
Suppose 11*t - 12*t + y = -8237, 5*y = 4*t - 32948. Is t a multiple of 11?
False
Suppose 0 = 4*f - 54 - 22. Let k(y) = -2*y + 40. Let n be k(f). Suppose -3*u - n*c = -98, -2*c + 38 = u + 8. Is 7 a factor of u?
False
Let x = 82 - 81. Let s(a) = 37*a**3 - 2*a**2 + 2*a. Let l be s(x). Let t = 3 + l. Does 4 divide t?
True
Let q(n) = 5*n - 3. Let y be q(-6). Let g = 47 + y. Suppose g = 3*c - 40. Does 5 divide c?
False
Suppose a + 927 = 932, u + 2*a = 9397. Is 21 a factor of u?
True
Let i be 372/30 + (-2)/5. Let s be (2 + (-33)/i)/((-3)/8). Suppose 0*d = 5*q - s*d - 66, -3*q - 4*d = -24. Is q a multiple of 3?
True
Suppose -6*k + 16624 = -19*y + 24*y, k = -1. Is 2 a factor of y?
True
Suppose -8 - 62 = -14*m. Suppose 9*x - 10*x = -m*d + 332, -329 = -5*d + 2*x. Is d a multiple of 14?
False
Let l(h) = -h**2 + h. Let i(b) = 38*b**2 - 13*b + 6. Let d(z) = i(z) + 6*l(z). Is 19 a factor of d(1)?
False
Suppose 0 = 9*h - 4*h - 5*w - 11955, 2*w = -8. Is 31 a factor of h?
True
Suppose 2*s - 6124 = -3*x, -s + 3604 = 4*x - 4568. Is x a multiple of 14?
True
Let t = -2159 - -3327. Does 16 divide t?
True
Suppose -4*s + q = 17, q + 7 = -0*s - 4*s. Does 21 divide 161 + -10 + -1 + s?
True
Let q be 22/6 - 16/24. Suppose q*u = r + 46, -2*u = -0*r - 3*r - 40. Let k = u + 157. Is k a multiple of 18?
False
Suppose -j = 3*j + 2*y + 22, 4*y = j + 28. Let d = j - -38. Is 11 a factor of d/40 + (-393)/(-4)?
True
Suppose 9*x - 3*x - 10*x + 34032 = 0. Does 157 divide x?
False
Let m(x) = 277*x + 90. Let t be m(6). Is 2 - (-1*t)/4 a multiple of 38?
False
Is 60 a factor of ((-18)/(-15))/(11/2750)?
True
Suppose 39 = b - 14. Let y = 58 - b. Suppose y*i = 2*o - 138, -o - 4*i = -0*i - 56. Does 8 divide o?
True
Suppose -4*w - 3*h = -63960, 661*h - 16012 = -w + 663*h. Is 124 a factor of w?
True
Let s be -3 + 6 + -1 + 0. Suppose 0 = s*v - 3*v. Suppose v = -o + 4*o - 108. Does 4 divide o?
True
Suppose 0 = g + 92 - 89. Is (-388)/g - ((-24)/18)/2 a multiple of 5?
True
Let l = -33285 - -57266. Is l a multiple of 110?
False
Let m(h) = -20*h - 486. Is m(-33) a multiple of 29?
True
Let a(l) = 5*l**3 + 2*l**2 + 12*l - 31. Let b(d) = d**3 + 2*d**2 - d. Let w(f) = a(f) - 2*b(f). Does 20 divide w(6)?
False
Suppose 0 = -2*g + 5*k + 7519, -g = -4*k - 1272 - 2489. Is 41 a factor of g?
False
Let m = 69256 + -30101. Is 63 a factor of m?
False
Let g be 2/(5/((-95)/6))*-1071. Suppose 0*a - g = -17*a. Is a a multiple of 43?
False
Let l = 931 - -1189. Is 53 a factor of l?
True
Let h be -7 + 7 - (1 - 0/1). Let d be (189 + h)*1*(-20 - -22). Let r = d - 134. Does 36 divide r?
False
Suppose 3*v = 2*a - 2*v + 49, -22 = a - 2*v. Let r(d) = 2*d**2 + 30*d + 6. Let m be r(a). Let c = m + 138. Does 12 divide c?
True
Let s(c) = -84*c - 6. Let k be s(-1). Is (k/4)/((-42)/(-448)) a multiple of 13?
True
Let y = -210 + 261. Is (-39)/39 + 1/(1/y) a multiple of 10?
True
Suppose 4*n + 4*r - 12 = 0, -n - 7 = -6*n + 3*r. Let v be 27/(-45) - (n - (-2)/5). Does 6 divide (((-44)/(-3))/2)/((-1)/v)?
False
Let t be -2 + ((-134)/(-10) - 26/65). Suppose t*n - 2970 = -0*n. Is n a multiple of 30?
True
Let m(u) = 23*u**2 + 140*u - 175. Is 52 a factor of m(-23)?
False
Suppose -7*w - 19*w - 5*w + 177878 = 0. Is 19 a factor of w?
True
Let m be (-8 - (-23696)/(-80)) + (-8)/10. Let d = m - -363. Does 33 divide d?
False
Suppose 185025 + 322430 = 10*d + 55*d. Does 57 divide d?
False
Suppose -6516 = -2*u - 3*z, 77 - 69 = 2*z. Is 55 a factor of u?
False
Suppose 2*b - 144 = -10*b. Does 11 divide 51/b*22*(-4)/(-2)?
True
Let s be 1*(-18 + 5 + -4). Let u = s + -7. Let t = -16 - u. Is t even?
True
Suppose -4*k - 2*z + 64462 = 0, -z - 32823 = 5*k - 113396. Is k a multiple of 14?
True
Let d(q) = q**3 + 6*q**2 + 11*q + 2. Let f be d(-5). Let m be 147/f - (-2 + 7/4). Does 42 divide 11/((-165)/252)*m?
True
Let y = 78679 + -53569. Is y a multiple of 31?
True
Let u = 784 - 338. Let d = u + -278. Does 12 divide d?
True
Suppose 0 = 5*z + 2*z - 21. Suppose y = -y - 2*s + 6, -47 = -4*y + z*s. Suppose 18*x - 1380 = y*x. Does 46 divide x?
True
Suppose -70*u + 80*u + 3*y = 3438, 2*u - 4*y - 660 = 0. Does 38 divide u?
True
Let j be (-9)/(6/16*-4). Let z(i) = -i**3 + 7*i**2 + 16*i - 36. Does 32 divide z(j)?
True
Suppose 303264 = 9473*y - 9455*y. Is 48 a factor of y?
True
Let u be -2*6/((-108)/(-45)). Is (9 - -50) + u - (1 - -2) a multiple of 17?
True
Let f(c) be the third derivative of -967*c**4/24 + c**3 - 204*c**2. Does 19 divide f(-1)?
False
Let b(d) = 7*d**2 + 336. Suppose -215*a = -213*a. Is 21 a factor of b(a)?
True
Let k = -31 + 34. Suppose 35*q = j + 31*q