8 a factor of m?
False
Let m = 6462 + -2377. Is 95 a factor of m?
True
Let s = 13639 - -19175. Is 11 a factor of s?
False
Let f(c) = c**3 - 2*c**2 - 12*c - 12. Let x be f(5). Let i(s) = 2*s**3 + s**2 + 2*s - 7. Is 62 a factor of i(x)?
True
Let p be ((-31320)/(-28))/2 + 10/(-35). Let l = 697 - p. Is l a multiple of 31?
False
Let n = 40 + -32. Let h = n - 1. Suppose 2*k + 315 = h*k. Is 21 a factor of k?
True
Let y = 55 - 42. Suppose 2*o = y*o - 5269. Is 20 a factor of o?
False
Suppose s - 4*x = 3242, 0 = -2*s - 2*x - 2*x + 6532. Suppose -s = 14*f + 3532. Is f/(-3) - (-13)/39 a multiple of 18?
True
Let d(u) = 8*u**2 + 6*u + 1. Suppose -10 = 5*l - 5*q, -l - 3*q - 1 - 5 = 0. Let n be d(l). Let g = -25 + n. Is g a multiple of 2?
True
Let m(r) = 61*r**2 + 3*r + 1. Suppose 0 = -20*p - 20 + 80. Is 15 a factor of m(p)?
False
Suppose 6*u - 9*u = 0, i = 4*u + 163. Let g = 282 - i. Is g a multiple of 9?
False
Suppose 332928 = 3171*c - 3154*c. Is c a multiple of 14?
False
Let v be 6/(-1) + (7 - (-49)/(-7)). Let a(o) = -7*o**3 + 8*o**2 + 17*o + 37. Is 81 a factor of a(v)?
False
Let q = 44 + -42. Suppose 5*x - 10 = -4*r + q*x, r - 8 = 2*x. Suppose -2*n - r*n = -570. Is 10 a factor of n?
False
Let p = 28917 + 4011. Suppose -77*k = -45*k - p. Does 21 divide k?
True
Suppose 143*y = -24*y + 720605. Does 26 divide y?
False
Let k(q) = -16*q - 49. Let p be ((-168)/48)/(1/2). Is 33 a factor of k(p)?
False
Suppose 18*m - 11*m + 22*m - 162255 = 0. Does 8 divide m?
False
Suppose u - 2*u + 3783 = 2*c, -2*c + 3765 = -5*u. Suppose -100*f - c = -103*f. Is 63 a factor of f?
True
Let h be (4 - (37 - -4))*-1. Let l = h - 9. Suppose -5*v + 108 - l = 0. Is v a multiple of 3?
False
Suppose -3*f + 1029 = 10*w - 13*w, 3*w = 5*f - 1725. Is 29 a factor of f?
True
Does 11 divide -11*(-35)/((-112)/(-22) + -5)?
True
Let s(g) = 2*g + 8. Let p be s(2). Let w be ((-6)/(-4))/(p/(-208)). Does 2 divide (w/3)/((-22)/33)?
False
Suppose 88*y - 1374220 + 358876 = 0. Does 26 divide y?
False
Is 151 a factor of (-39458 - 1)*430/(-1505)?
False
Suppose 11*s + 45 = -5*t + 13*s, -4*t + s - 36 = 0. Does 2 divide (-1 - (t + 11))*(0 + -33)?
False
Let z(q) = 41*q + 50. Let c(h) = -14*h - 16. Let a(f) = 8*c(f) + 3*z(f). Let l = 12 + -2. Is 11 a factor of a(l)?
True
Let r(c) = c**3 + 18*c**2 - 2*c - 21. Let a be r(-18). Suppose -a = 13*i - 18*i. Is 12 a factor of (6 - i)*(18 - -1)?
False
Let a = 117 + -125. Is 50 a factor of (-310)/(-6) + (-95)/(-15) + a?
True
Let p(g) = g + 16. Let k be p(-10). Let t be 14/k + (-2)/(-3). Suppose -t*u = 5 - 104. Does 7 divide u?
False
Let o(a) be the third derivative of -1/12*a**4 + 5/6*a**3 + 7/60*a**5 - 17*a**2 + 0 + 0*a - 1/120*a**6. Does 28 divide o(6)?
False
Let k(t) = 2*t**3 - 2*t**2 + 5. Let d(b) = -3*b**3 + 4*b**2 - b - 10. Let s(r) = -3*d(r) - 5*k(r). Let o be s(-3). Is 3 a factor of o - 50/(-8) - 2/8?
False
Let o(f) = 41*f**2 - 71*f + 786. Is 58 a factor of o(8)?
True
Let i = 21 - 27. Let l = i - 154. Let o = -82 - l. Does 14 divide o?
False
Suppose 6979*m - 38394 = 6970*m. Does 18 divide m?
True
Suppose -29*c - 11111 + 174212 = -63679. Is 23 a factor of c?
True
Suppose 0*r + 5*r + 35 = -3*u, 3*r = 5*u + 13. Let y be ((-170)/(-51))/(-1 - u/3). Suppose y*i + w - 468 = 260, 2*i - 293 = -w. Is i a multiple of 30?
False
Let m(r) = 543*r**2 - 54*r - 219. Does 209 divide m(-5)?
False
Suppose 218776 = 50*p - 557874. Is p a multiple of 153?
False
Suppose 154*h + 145 = 159*h. Let j = -29 + h. Suppose -l + 5*l + 4*a - 776 = j, -5*l - a = -974. Does 15 divide l?
True
Suppose -7*h + 3*h - 2*r + 6404 = 0, 3*r = 12. Is 6 a factor of h?
False
Let x(g) = -2*g + 86. Suppose 2*z = 3*z - 31. Is x(z) a multiple of 2?
True
Let h(n) be the first derivative of -17*n**2/2 + 32*n - 60. Is h(-13) a multiple of 43?
False
Let u(g) = 169*g - 3741. Is u(50) a multiple of 53?
False
Let r = 112093 + -78130. Does 165 divide r?
False
Is 64 a factor of 4 - (-186)/(-42) - (-98572)/28?
True
Does 38 divide -10 + 10147 + -9 + (-162)/(-9)?
True
Let t(y) be the second derivative of 161*y**3/6 - 3*y**2 - 6*y. Does 13 divide t(1)?
False
Let f(n) = n**3 - 12*n**2 + 14*n - 16. Let g be f(11). Suppose -16*s = g*s - 6798. Does 17 divide s?
False
Suppose 62*a = 23*a + 702. Suppose 3*x = a + 462. Does 5 divide x?
True
Let x(h) = 5*h**2 - h - 2. Let y be x(3). Suppose 37 - y = r. Does 8 divide 1/1*243 + r?
True
Let t = -15 + -31. Let z = 48 + t. Is z*(4 - (-42)/4) a multiple of 18?
False
Suppose -7*d + 11 - 32 = 0. Does 19 divide (d - -515) + 11 + -10?
True
Let m = 2504 + -1048. Is m a multiple of 13?
True
Let z = -487 + 1016. Suppose -24*b = -2329 + z. Is b a multiple of 25?
True
Let w(r) = r**3 - 9*r**2 + 7*r + 8. Let j be w(8). Does 23 divide (j - (-203)/(-2))*(-192)/24?
False
Let k(c) = c**2 - 7*c + 177. Let q be k(13). Suppose 0 = g + 4*t - 486, -5*g - t - q = -2723. Does 13 divide g?
True
Let y = -249 - -168. Let d = y - -84. Suppose d*b - 3*f - 318 = 0, -4*f = -b + 80 + 29. Is b a multiple of 15?
True
Let c = -733 - -4072. Suppose -c = -12*k + 5109. Is 22 a factor of k?
True
Let s = 16 - 10. Let m be (-2 + 1)*3*(-38)/57. Does 16 divide (m + 0)/(s/48)?
True
Does 9 divide (((-507465)/84)/27)/(1/(-8))?
False
Let w = -196 + 203. Does 33 divide ((-6512)/(-24) - w) + 1/(-3)?
True
Suppose 2*w + 26 = -58. Is 15*(w/315 - (-29)/15) a multiple of 3?
True
Let t(s) = 4*s**2 + 21*s - 32. Let y be t(-11). Suppose 809 = 4*c + 3*g, c - 6*g + 3*g = y. Is 16 a factor of c?
False
Suppose 3*u + 5 = -2*l + l, -l + 4*u = -23. Suppose -4*v - 225 = -l*v. Does 50 divide v/2*(-60)/(-45)?
True
Let i(o) = -o**3 - 89*o**2 + 388*o + 1076. Is i(-96) a multiple of 13?
True
Let u be -5 + (174 - (5 - 1)). Let f = -149 + u. Is f even?
True
Let g = 3440 + -1394. Is g a multiple of 7?
False
Suppose -11428*u + 11410*u = -841608. Is u a multiple of 14?
False
Suppose 7 = 3*s - 41. Suppose 5*h + 22 = s*h. Suppose 0 = q + u - 19, -q = -h*q - 4*u + 7. Does 4 divide q?
False
Let q(x) = -68*x**3 - 38*x**2 + 16*x - 22. Does 9 divide q(-7)?
False
Let f = 383 - 677. Let c be ((-504)/f)/((-1)/(-7)*1). Does 20 divide (-193)/(-3) + c/18?
False
Let h = 55 - 35. Suppose -2*q = -i + 5, -3*i - 24 + 4 = q. Let v = h + i. Does 5 divide v?
True
Let t(h) = 6*h**3 + 10*h**2 + 26*h + 115. Is 140 a factor of t(15)?
False
Suppose -34 - 2 = -12*a. Is 13/(-2)*68/(-17) - a a multiple of 23?
True
Let j be (-5 - 17/(-3))/(3/18). Suppose 14*d + 2991 = j*u + 15*d, -3*d - 1499 = -2*u. Is 22 a factor of u?
True
Let k = 5418 - 2636. Does 13 divide k?
True
Let d(l) = l**3 - 6*l**2 + 7*l - 2. Let s be d(5). Suppose -4*o + s = 0, 6 = 2*k - 0*k + 3*o. Suppose h - 48 + 14 = k. Is 13 a factor of h?
False
Is 13 + 12/48*58700 a multiple of 27?
True
Let p(s) = 13*s**2 - 6*s + 10. Let r = 100 - 98. Let n be p(r). Suppose -53*x = -n*x - 216. Is 11 a factor of x?
False
Let h(w) = w**3 - 9*w**2 + 9*w + 28. Suppose 3 = i + 3*n, 0*i + 4*n = -4*i + 28. Does 2 divide h(i)?
False
Suppose -5*i - c + 84 = -23, 2*i - 32 = 5*c. Let m = i + -148. Let p = 179 + m. Is 10 a factor of p?
False
Let d(t) = -t**3 - 4*t**2 + 10*t - 4. Let y be d(-6). Let r be (-2)/y + 1752/(-32). Let s = r - -85. Is 8 a factor of s?
False
Let f(i) = -i**2 + 15*i + 10. Let h = -135 - -140. Does 2 divide f(h)?
True
Let s(v) = 603*v**3 - 8*v**2 + 55*v + 6. Is s(3) a multiple of 90?
True
Suppose 0 = 209*w - 211*w + 1061 - 173. Does 12 divide w?
True
Suppose 4*x = -28 + 44. Let h(d) = 5*d**3 - 2*d**2 + 6*d - 17. Does 44 divide h(x)?
False
Let j(u) be the third derivative of u**5/60 + 23*u**4/24 + 9*u**3/2 - 12*u**2. Let p be j(-12). Is (16/6)/((-10)/p) a multiple of 4?
True
Suppose -2*w + 900 + 832 = 0. Let i = 1645 - w. Is i a multiple of 35?
False
Let m = 243 + -162. Let s = 101 - m. Is 12 a factor of s?
False
Let m(z) = -12*z - 14. Let j(p) = p**3 - 21*p**2 + 54*p + 7. Let s be j(18). Suppose -7 = -6*b + s*b. Is 10 a factor of m(b)?
True
Suppose 2*q - 833 = -k, 1257 = -51*q + 54*q + 4*k. Is q a multiple of 5?
True
Let n(x) = -41*x**3 + 11*x**2 + 193*x + 25. Does 13 divide n(-9)?
True
Let a = 74 - 16. Let k = 68 - 154. Let r = a - k. Is r a multiple of 19?
False
Does 63 divide 4/(-28) + (-124688)/(-28)?
False
Let i = 4721 - -5197. Is i a multiple of 18?
True
Let b = 449 - -291. Suppose 4*z - 504 = -2*a, -9*a + 2*z = -6*a - b.