g - 5*p - 190. Is 10912/g - (-14)/105 a multiple of 8?
False
Let t(y) = y - 5. Let n(l) = -l**2 - 13*l + 37. Let c be n(-15). Let m be t(c). Let x = m - -64. Is x a multiple of 7?
False
Let b(p) = p**3 - 7*p**2 + 37*p - 174. Let t be b(7). Let k be 2*(30/4 - 2). Let m = t + k. Does 32 divide m?
True
Suppose 0 = -7*p - p + 16. Let j be (p/3)/(4 - (-924)/(-234)). Suppose -j = 2*c - 41. Is c a multiple of 2?
True
Let d = -75895 - -114871. Is 84 a factor of d?
True
Let o(x) = 12*x**2 + 43*x. Suppose -2*j = -3*g - 26, -2*j - 3 = -4*g - 37. Is 12 a factor of o(g)?
False
Let p(h) = -16*h - 26. Let b be (-4)/(-90)*3 - (-7208)/(-510). Is 11 a factor of p(b)?
True
Let q = 13118 - 2101. Does 309 divide q?
False
Let x(y) = -2*y**3 + 13*y**2 - 6*y + 5. Let r be x(6). Suppose -m = -6*m + h + 1500, -4*m - r*h + 1171 = 0. Is 23 a factor of m?
True
Let h(v) = 17*v + 90. Let u(q) = 6*q + 30. Let b(t) = 4*h(t) - 11*u(t). Let m be b(-13). Is 4 a factor of m/26 + (-774)/(-39)?
True
Let q be 3/(-2) - (-21)/6. Suppose -5*m = i - 3273, -q*m + i + 23 = -1289. Does 41 divide m?
False
Let t(x) = 38*x**3 - 5*x + 4. Let p be t(1). Suppose 24*z = p*z - 5161. Is z a multiple of 8?
False
Let h(g) = 7*g**3 + 2*g**2 - 7*g + 6. Let b be h(1). Let w(d) = 10*d - 40. Is 8 a factor of w(b)?
True
Let h be 5*7/(-21)*(3 + -6). Let d be 5 + (3 - 1) + -4. Suppose d*g - 150 = -h*m - g, -g - 120 = -4*m. Does 15 divide m?
True
Suppose 4*i - 4976 = -2*r, -5*r + 9970 = -r + 2*i. Is (r/6 - 1) + (-5)/(-15) a multiple of 53?
False
Let l be 167895/(-260) - (-2 + 5/4). Let n = l - -1245. Does 30 divide n?
True
Suppose 21*b - 7293 = 4*b. Is b a multiple of 8?
False
Let h(l) = 58*l**2 + 49*l + 39. Is 15 a factor of h(-6)?
False
Does 52 divide 72/1188 - (-2)/66*221362?
True
Let f(z) = -z**2 + 4*z + 8. Let b be (175/(-105))/((-8)/6 - -1). Let t be f(b). Suppose -3*v - t*n = v - 205, 2*v - 95 = n. Is 5 a factor of v?
False
Suppose 92*o = 66*o + 501930. Is 21 a factor of o?
False
Suppose -2*x = 48 - 44. Is (-17 + 0)*-4 - x a multiple of 5?
True
Suppose -9*o + 18 = -15*o. Let m be (-2 + 3 - (-6)/o)*1. Does 52 divide (26*(-3)/15)/(m/40)?
True
Let q = 42 - 36. Suppose -5 - 7 = -q*y. Suppose 5*h - y*i = 650, 5*i - 260 = -2*h + 3*i. Does 12 divide h?
False
Let j be 1020 - (5 + -5 + 0). Suppose -4*r + 4056 = 7*x - 3*x, -x = -5*r - j. Is 14 a factor of x?
False
Suppose m = 6*m - 355. Suppose m = -5*v + 6*v. Let j = v - 62. Is 2 a factor of j?
False
Suppose -5*s - z + 86 = -4*s, 5*s - 454 = z. Let l = s - 42. Is l a multiple of 6?
True
Suppose -133*i + 2*x - 85542 = -137*i, 4*x + 42756 = 2*i. Does 24 divide i?
True
Suppose 3*d = -2*x + 13527, -d + 4569 = 5*x + 60. Does 43 divide d?
False
Let m(b) = -b**3 + 27*b**2 + 82*b + 1. Let k be m(30). Does 26 divide k/(-1) - 165/33?
True
Let q(f) = -4*f**3 - 7*f - 21. Is 6 a factor of q(-3)?
True
Let a(v) = -2500*v + 624. Is a(-2) a multiple of 49?
False
Let l = 40 - 37. Suppose -l*y + 32 = 4*n, -n = y - 4*n + 11. Suppose -2*o = -5*c - 162, -2*o = c - y*c - 166. Does 13 divide o?
False
Let p(d) = -d**3 - 5*d**2 + 55*d + 130. Is p(-12) a multiple of 18?
False
Let u = 10 + -5. Suppose -5*z = 5*f - 35, -5*z - 11 - 4 = -u*f. Suppose -1 = m, 11 = g + z*m - 21. Does 17 divide g?
True
Let w be (-5)/50 - (-582)/20. Suppose -26*f = -w*f + 1290. Does 18 divide f?
False
Let o = 345 + -97. Let f be (-42)/(-35) + (4/(-25))/((-8)/(-60)). Suppose 20*h - 24*h + o = f. Does 31 divide h?
True
Let c = -321 + 324. Suppose 0 = c*s - 266 + 35. Is s a multiple of 2?
False
Suppose -4*l - 236 = w, 2*l + 4*w = 4*l + 136. Is 2 a factor of (-2 + 3)/(-2 - 122/l)?
True
Let d = 262 - 716. Let s = -4530 + 4321. Let i = s - d. Is i a multiple of 16?
False
Let l = -22750 + 22886. Does 17 divide l?
True
Let v = -189 + 191. Suppose -3*m = -o - 1772, v*o + 2376 = 4*m + 4*o. Is 37 a factor of m?
True
Let o be 1 + (-3 + 3 - 0) - 14. Let r(j) = -3*j - 27. Let g be r(o). Suppose h - 2*f = g, -5*h + 84 = -f - 3*f. Does 5 divide h?
True
Suppose 4*j - 21290 = w + 10970, 5*j - w = 40324. Does 192 divide j?
True
Let p(x) = x**3 + 3*x**2 - 12*x - 12. Let u be p(-5). Is (-266278)/(-203) - u/21*3 a multiple of 82?
True
Let b(y) = -y**2 - 26*y - 22. Let u be b(-20). Let l = 100 - u. Suppose -3*o - 5*n = -l*n - 441, 5*n - 139 = -o. Is 12 a factor of o?
False
Let y be 136*(1032/864 + 4/(-9)). Suppose -98*m + y*m = 1680. Is m a multiple of 15?
True
Is 0 + (-3)/12 + 1616/(-320)*-45 a multiple of 2?
False
Let d = -3159 - -3913. Is d a multiple of 23?
False
Suppose -3*j = 4*v + 11, -37*j = -32*j + 5*v + 10. Suppose 2*s = -j*t + 9, -5*t - 4 = s + 9. Is 3 a factor of s?
True
Let x be (-20)/(-15)*(2 + 1). Suppose -5*g - 4*o - 15 = 0, 0*g + x*o + 1 = -3*g. Is 18 a factor of (-860)/(-15) - (-3 - g/3)?
False
Is 110 a factor of 70/(-11 + 1) - -1767?
True
Let t(n) = -n**3 + 22*n**2 - n + 29. Let o be t(22). Let g = o + -3. Suppose -3*m + g*z = -311, 3*z + z = 5*m - 513. Does 17 divide m?
False
Let s be 1/((-2)/(-12)) + -3. Let u(y) = 14*y**2 + s - 25*y**2 - 2*y - 2*y + 73*y**2. Does 26 divide u(1)?
False
Suppose 0 = 4*l - 33521 - 15319. Does 37 divide l?
True
Let m(w) = 167*w - 3595. Is m(60) a multiple of 89?
False
Let y = -29159 + 31609. Does 25 divide y?
True
Let u = -265 + 273. Suppose -u*h + 113 = -63. Does 13 divide h?
False
Suppose k = -m + 8925, -4*m = -32*k + 30*k - 35670. Is 8 a factor of m?
True
Let r(n) = n**2 + 56*n - 1023. Is r(30) a multiple of 11?
False
Suppose -207 = -7*o - 186. Suppose -o*c = -b + 92 + 10, -3*c - 390 = -4*b. Does 8 divide b?
True
Suppose -191*m + 475498 = 47467. Does 5 divide m?
False
Let d = 2433 - 2437. Let z(g) be the third derivative of g**5/10 - 5*g**4/24 - g**3/2 - g**2. Is z(d) a multiple of 22?
False
Let s(a) = -a**2 + 3*a - 1. Let h be s(4). Is (-63)/12 - h - (-1082)/8 a multiple of 16?
False
Suppose -n - 4*n + 165 = 0. Let j = -29 + n. Suppose -4*a + 44 + 128 = -j*x, x = -a + 41. Is 11 a factor of a?
False
Does 44 divide (2 + (-3420)/5)/((-26)/104)?
True
Let p be (-6)/(-15) + 710/(-25). Let y = 32 + p. Does 12 divide 9/(y - 1) - -129?
True
Let v(q) = -q**3 + 6*q**2 - 7*q + 7. Let m be v(5). Let r be 21*1/(m - -6). Suppose r*t + 502 = 2287. Does 45 divide t?
False
Suppose -151*q + 147*q - 58305 = -5*r, 0 = -q + 5. Is 19 a factor of r?
False
Let z(p) = -4*p + 3. Let q(l) = 7*l - 7. Let s(j) = -6*q(j) - 10*z(j). Let b be s(4). Suppose -177 = -b*d + 111. Does 16 divide d?
False
Suppose 46 + 2 = 6*z. Let y(o) = -z*o + 9 + 51 - 30. Does 20 divide y(-14)?
False
Suppose 5*d + 2*g = 7*d - 12362, -4*g + 16 = 0. Does 11 divide d?
False
Let o(m) = m**2 - 9*m - 26. Let s be o(12). Let a be (-7)/(-1) - (s + -6). Suppose -a*w + 192 = -3*n, 2*n + 330 = 5*w + 7*n. Does 13 divide w?
True
Suppose -2106*l = c - 2110*l - 8608, -5*c + 5*l = -43115. Does 12 divide c?
True
Let y(f) be the first derivative of f**3 + f**2/2 + f - 38. Let x be -2 + (-3 - 6/(-3)). Does 7 divide y(x)?
False
Let m(z) = 143*z**2 + 132*z - 805. Is 79 a factor of m(6)?
True
Let x(w) = w + 1. Let u(b) = 6*b + 18. Let v(d) = -u(d) + 5*x(d). Let y be v(-11). Is 7 a factor of (6/(-10))/(2/(y*85))?
False
Let f(n) be the third derivative of n**6/120 - 7*n**5/60 - 17*n**4/24 + 23*n**3/6 - 17*n**2. Let c be f(8). Let d = 239 - c. Is 12 a factor of d?
True
Let l be -3*141/(-6)*42. Suppose 5*b + 936 = l. Does 27 divide b?
True
Suppose -292 = -f - f. Suppose f*h + 527 = 147*h. Is h a multiple of 31?
True
Suppose 86 = -3*u + 422. Suppose -p - u = -15*p. Let s = 23 + p. Does 3 divide s?
False
Suppose -408 = -5*v + 42. Let r = 1301 + -1195. Let c = r - v. Is 4 a factor of c?
True
Let d = 8605 + -2183. Is d a multiple of 19?
True
Suppose 3*t - 2*m - 8678 = 0, 0 = -46*t + 49*t + 3*m - 8658. Does 85 divide t?
True
Suppose -54*p + 1236943 = -993257. Is 236 a factor of p?
True
Let x = -2511 - -1712. Let l = 2141 + x. Does 11 divide l?
True
Suppose -2*i + 2*m + 11769 = 2675, 0 = m - 3. Is i a multiple of 50?
True
Suppose y + 5*p = 27, 0*y - 3*y + 1 = -p. Suppose -s = y*u - u + 6, -19 = 3*s + 2*u. Is (s - -1)/(1/(-9)) - 0 a multiple of 6?
True
Let m(v) = 2*v**2 + 3*v - 3. Let z be m(1). Let u(k) = 125*k**2 + 6*k - 3. Is 55 a factor of u(z)?
False
Suppose 2 = -2*c, -5*z + 2*c + 109 = -58. Let m = -29 + z. Suppose -236 = -m*o + 132. Does 22 divide o?
Fals