 i(p) = 70*p - 267. Is 71 a factor of i(17)?
True
Is (1029/5)/(-6*12/(-2160)) a multiple of 98?
True
Let d = 4512 + 141. Is 22 a factor of d?
False
Suppose 2*a = -2*c + 16, -c + 9 = 6. Suppose 2*l - 175 = 3*r, -a*l - 5*r + 450 = -0*l. Is l a multiple of 7?
False
Suppose 10*w = -37378 + 96428. Does 4 divide w?
False
Let n = -17 - -21. Suppose o = -3*u + n - 13, -2*o = 5*u + 14. Suppose 93 = -0*v + o*v. Does 5 divide v?
False
Suppose 25 = 11*y - 6*y. Suppose -y*i = -6*i - 6. Let z(w) = 3*w**2 + 2*w - 11. Is 17 a factor of z(i)?
True
Let n be (-9665)/(-40) - 3/24*-3. Suppose -m + n = 2*a, 7*m - 9*m - 242 = -2*a. Is a a multiple of 18?
False
Let y(t) = 11*t - 11. Let f be y(3). Let z be 10/(-1)*33/f. Does 8 divide (-21)/(-2)*1/(z/(-80))?
True
Let h(v) = 102*v**2 - 61*v + 123. Is h(2) a multiple of 7?
False
Let b(v) = 10*v**2 + 29*v + 10. Let k(a) = -8*a**2 - 28*a - 11. Let j(t) = 5*b(t) + 6*k(t). Does 19 divide j(17)?
True
Let h = 36312 - 25210. Does 182 divide h?
True
Let i = -15 - -23. Suppose -i*f + 99 = f. Suppose 6*g - f*g + 105 = 0. Does 9 divide g?
False
Suppose -5033 = -5*x - 2*p, 5*x - 5*p = -191 + 5231. Does 10 divide x?
False
Does 81 divide (-12576)/544 + 23 + (-1390774)/(-34)?
True
Let v = -313 + 237. Is 26 a factor of (v/3)/((-108)/2106)?
True
Suppose -5*c + 2*n - 3*n + 235 = 0, -5*n + 71 = 2*c. Let m = c - 48. Suppose m = 16*j - 13*j - 228. Is 10 a factor of j?
False
Suppose 2*p = 2*d - 11440, 812 = d + p - 4916. Is 42 a factor of d?
False
Suppose -105*h + 104*h + 832 = 0. Suppose 7*v - 505 - h = 0. Does 10 divide v?
False
Let r = 33402 - 10664. Does 192 divide r?
False
Is 19*632 + (-19 - -18 - 1) a multiple of 25?
False
Suppose u - 4*t + 148 = 0, 0*u - u + 2*t - 158 = 0. Let d = 409 + u. Is 5 a factor of d?
False
Let d = 122243 + -47435. Is 46 a factor of d?
False
Suppose n - 5*d - 4810 = 0, -33*d - 5 = -38*d. Does 15 divide n?
True
Suppose p - 15 = -r, 0 = -4*r + 3*p - 0*p + 95. Let q be (-38)/(-6) - r/15. Suppose 0 = -5*z + 2*i + 32, -q*i + i = -2*z. Is 4 a factor of z?
True
Suppose -59*o - 5*z = -56*o - 317, 2*o = z + 194. Is 3 a factor of o?
True
Suppose -15 = -3*z - 4*n, z + 9*n = 14*n + 5. Suppose 5*y - 216 = -4*q, -1 + z = y. Is q a multiple of 5?
False
Suppose -76 = -2*g - 5*b, -4*g + 0*b = 2*b - 184. Let p = -44 + g. Suppose -l = -5*c - 5, 5*c = p*l + l - 25. Is l a multiple of 2?
False
Let o be (-4)/((-3 + 4 - 1) + -2). Suppose -j - 7 + o = 0, z - 5*j = -60. Does 14 divide 562/8 - (-4 + z/(-20))?
True
Suppose 86*m = 27*m + 236. Let n = -166 + 281. Suppose -a + n = m*a. Does 5 divide a?
False
Suppose 5*g - 123505 = 3*o, -3257*g = -3262*g - 2*o + 123530. Is g a multiple of 128?
True
Let i(u) = -77*u**3 - u**2 - u - 1. Let f be -1 + -35 - 0*(-5)/25. Let q = 35 + f. Is i(q) a multiple of 24?
False
Let j = -20159 + 35609. Is 53 a factor of j?
False
Let h = 27 - 20. Suppose -2*n - 4*o = -26, 3*n + 5*o = h*n - 78. Suppose -2*i + 29 = -4*c - n, 0 = 4*i + 4*c - 44. Does 6 divide i?
False
Suppose 49 = -6*z - 59. Let r = 150 + z. Does 11 divide r?
True
Is 8 a factor of (-8 - 252/45)/(1 + 546/(-540))?
True
Suppose -3*i - 285 = -3*t - 0*i, 0 = 4*t + 5*i - 380. Let j = t - 53. Suppose j = 4*x - b, 0*x - 3*b = -4*x + 38. Is 6 a factor of x?
False
Suppose -o + 21 = 4*c, o + 4*o - 37 = -3*c. Suppose 0 = 2*p + 5*x - 892, -c*p - 5*x + 2*x = -1812. Is 28 a factor of p?
False
Suppose -6*t + 15 = 15. Suppose 2*y - 2 = t, 2*r = 2*y + 126 + 210. Is r a multiple of 7?
False
Let o = 3813 - 3320. Is o a multiple of 54?
False
Is 12 a factor of 1177066/154 + 10/(-35)?
False
Let u be 47 - 4*(-18)/(-12). Suppose u = -9*f + 797. Does 14 divide f?
True
Is 143 a factor of ((-1440)/(-540))/(1 - 5018/5022)?
False
Suppose 4*t + 3*l = 4 + 5, 0 = -2*t + 2*l - 6. Is 56 a factor of 4 + t + 2*391 + -2?
True
Let a(b) = b**3 - 8*b**2 + 10*b - 2. Let r(l) = -l**3 + 8*l**2 - l + 15. Let j = -40 + 48. Let t be r(j). Is a(t) even?
False
Suppose 21*k - 265072 + 62947 = 0. Does 175 divide k?
True
Let k = 7 + 3. Let a be 3042/k - (-7)/(-35). Let g = a - 164. Does 37 divide g?
False
Let y(x) = 118*x - 5985. Is 5 a factor of y(140)?
True
Suppose 5*x + 2*k = -0*k - 1265, 4*k = x + 275. Does 6 divide x*(7/70 - 3/6)?
True
Let s be 12/(-21) - 0 - 11/(-7). Let r = 5 - -3. Is (r/(-2) - -3)*(s - 116) a multiple of 21?
False
Is ((-551070)/(-405))/((-10)/(-12)) + 4/(-5) a multiple of 34?
True
Suppose -45*b = 38*b - 389934. Is b a multiple of 174?
True
Let l(w) = 5*w + 1263*w**2 - 7 - 1250*w**2 + 4*w + w**3. Is 8 a factor of l(-11)?
True
Suppose n - 10*n + 1445132 = 17*n. Is n a multiple of 70?
False
Let d(j) = -12*j + 2*j + 162 - 63. Does 42 divide d(-7)?
False
Let x(a) = 1419*a - 341. Does 11 divide x(4)?
True
Suppose 3*s = 174*h - 173*h + 19627, -h = 3*s - 19613. Is 20 a factor of s?
True
Suppose 7*g - 12127 = 16117 + 13616. Is 10 a factor of g?
True
Suppose -2*c + t + 97 = 0, -5*c + 111 = -2*t - 129. Suppose -5*k = -4*v + 157, 5*v = -c*k + 51*k + 200. Is 8 a factor of v?
False
Suppose -13*g = y - 9*g - 2628, 10590 = 4*y + 3*g. Is 39 a factor of y?
True
Let r(j) = 48*j**2 - 521*j - 2092. Is 5 a factor of r(-4)?
True
Let i be (-4 + 6)*(-97)/(-2). Suppose 4*a - i = 4*p - 7*p, -2*a + 76 = -4*p. Does 4 divide a?
True
Let r = -52 + 55. Suppose -r*h + 177 = -15. Suppose -2*q + 44 + h = 0. Is q a multiple of 27?
True
Suppose 0 = 5*n - 15 + 1390. Is 6 + -7 - (3 + n) a multiple of 44?
False
Let u = -7230 - -8007. Is 137 a factor of u?
False
Is 61/(1403/561798)*(-4)/(-6) a multiple of 23?
True
Let k(a) be the first derivative of 19*a**3/3 - 3*a**2/2 + 31. Let g be k(-4). Is g/8 + 1/2 + 2 a multiple of 21?
True
Let l be (16/20)/(1/(-1110)*-1). Let p = l + -544. Is 43 a factor of p?
True
Does 8 divide (353589/63 + 1/3)/(791/5537)?
False
Let i(x) = -x**3 + 10*x**2 - x + 6. Let b be i(10). Let d be b/14 - ((-384)/21 - -4). Suppose 144 = d*k - 10*k. Is 2 a factor of k?
True
Let y = -419 + -177. Let i = y - -679. Does 28 divide i?
False
Suppose 6*k - 371 + 353 = 0. Suppose -2*m = 4*u - 476, 11*u - k*m = 9*u + 238. Is u even?
False
Let j = -8872 - -12710. Is j a multiple of 8?
False
Suppose -9855*r = -9837*r - 170568. Is r a multiple of 103?
True
Suppose -9*x - x = -7*x - 6189. Is x a multiple of 13?
False
Let d(f) = -f**2 + 97*f + 725. Is 52 a factor of d(48)?
False
Let r = 30611 + -26781. Does 5 divide r?
True
Let l = -16 - 0. Let w = 40 + l. Suppose -2*h - w = -2*z, 4 = -5*h - 11. Is z a multiple of 3?
True
Let c = 28039 + -19699. Does 79 divide c?
False
Is 2023 - ((-4 - 2) + (3 - -1)) a multiple of 23?
False
Let f = -246 - -174. Let k = -255 - f. Is (-2)/(-3)*k/(-2) a multiple of 38?
False
Let a = 5098 - 2525. Does 31 divide a?
True
Let u(z) = 30*z**3 + 574*z**2 + 3*z + 6. Is 205 a factor of u(-15)?
False
Let q be -39*(2 - (-35)/(-15)). Let z = q + -14. Does 29 divide (-1)/(-2)*(z + 167)?
False
Let r(l) be the third derivative of 809*l**5/60 + l**4/8 - 5*l**3/6 + 26*l**2 + 1. Is 23 a factor of r(1)?
False
Let i = -65 - -126. Let w = -42 + i. Suppose -390 = 14*a - w*a. Does 13 divide a?
True
Let a(j) = 12*j**2 - 33 + 2*j + 8*j + j**3 + 17. Let v be a(-11). Does 49 divide (114 + 3)*(-5)/v?
False
Let z = 15362 - 11302. Is z a multiple of 29?
True
Let j = -259 + 263. Suppose -j*m = 5*q - 2480, m - 5*q = 190 + 455. Does 5 divide m?
True
Let c(t) = t**3 + 38*t**2 + 2*t + 85. Let m be c(-38). Suppose -r = r - 90. Let w = m + r. Does 12 divide w?
False
Suppose 0 = 173*b - 23*b - 178200. Is b a multiple of 11?
True
Suppose -75562 - 64925 - 218053 = -91*x. Does 20 divide x?
True
Let c(o) = o**3 - 16*o**2 - o + 16. Let y be c(16). Suppose -4*l + 12 = y, -k = -4*k + 2*l + 3. Suppose k*n - 54 = 18. Does 4 divide n?
True
Let y(t) = t**2 - 12*t + 20. Let u be y(20). Let a = u - 10. Is a a multiple of 17?
True
Let q = 2 - -1. Let j = 559 - 557. Suppose -5*s + 0*u + 195 = u, 0 = -j*s + q*u + 61. Is s a multiple of 11?
False
Let d be (-3 + 5)*(-2 + 7/2). Suppose d*r = 2*t - 0*t - 989, 1478 = 3*t + r. Is 6 a factor of t?
False
Let h = 422 + -420. Suppose -6*o = h*u - 8*o - 470, -5*o - 20 = 0. Does 3 divide u?
True
Suppose -3*n - 30 = -3*v, -11*n = -4*v - 8*n + 35. Suppose 4*y - 2*l - 2132 = 0, 0 = 3*y - 8*y - v*l + 2635. Is 79 a factor of y?
False
Let b = 57 + 107. Suppose b*s = 166*s - 832. Is 13 a factor o