 -1346*d + 1722*d. Is 159 a factor of d?
True
Let p(s) = 6*s - 13 - 2*s - 8. Let w be -1 + (-110)/(-10) + -1. Is 5 a factor of p(w)?
True
Let a(z) = -496*z**3 - 18*z**2 + 29*z + 5. Let c(s) = 165*s**3 + 6*s**2 - 10*s - 2. Let k(p) = -3*a(p) - 8*c(p). Is 13 a factor of k(1)?
False
Let h(c) = -551 + 23*c - 559 + 1118. Let w be 64/10 + (-2)/5. Is 41 a factor of h(w)?
False
Let l be 24/30 - (-22842)/(-15). Let n = l - -2560. Is 17 a factor of n?
False
Let f = 1393 + -722. Is f a multiple of 4?
False
Let g = 2 + 3. Suppose 0 = 5*v + 2*l - 43, 0 + 28 = 3*v - l. Let h = v - g. Does 3 divide h?
False
Let f = 13620 - 10370. Is f a multiple of 130?
True
Let o = 789 - 560. Let n = o - -185. Does 23 divide n?
True
Let z(j) = -8*j + 30. Let k be z(4). Does 25 divide 5/k - (-9279)/18?
False
Let b = 4 - 0. Let g be 0 + ((-1)/1)/((-18)/72). Does 9 divide (b - 15)*(-4*1)/g?
False
Suppose 2*c = 7*d - 2*d + 2, 20 = -5*d. Let y(x) = -x**2 - 4*x - 3. Let v be y(c). Let z = v + 77. Is z a multiple of 12?
False
Suppose 5*l + 41 = -3*u - 554, 3*l = 3*u + 555. Let o = u - -442. Is o a multiple of 36?
True
Let u = 18358 + -9614. Is 20 a factor of u?
False
Let i(x) = -x + 1. Let z(t) = -10*t**2 + 3*t - 33. Let a(w) = -5*i(w) - z(w). Does 19 divide a(7)?
True
Let i(y) = 4*y**2 + 72*y - 144. Let t be i(2). Suppose 0 = -4*o - 6 - 6. Let m = t + o. Is 13 a factor of m?
True
Let d = -2300 - -4042. Is 13 a factor of d?
True
Let k(i) = -14*i**2 + 28*i**2 + 15 - 13*i**2 - 9*i. Is 67 a factor of k(13)?
True
Let s(m) = -31*m**3 + 16*m**2 + 15*m - 3. Is s(-4) a multiple of 4?
False
Let q = 5358 - 3048. Is 15 a factor of q?
True
Let q(y) = -6*y + 4. Let v be q(0). Let u be v/6 + (53880/18)/10. Let g = u - 152. Is g a multiple of 17?
False
Let t(j) = -j**3 + 12*j**2 + 17*j + 14. Let l be t(9). Suppose -28*u + l = -23*u. Is u a multiple of 5?
False
Suppose 20*j + 171*j = 2829092. Does 28 divide j?
True
Suppose -5*g - 580 + 4785 = 0. Suppose -3*i = -4*z - 1936, -3*z - i - 507 = 932. Let n = g + z. Is n a multiple of 32?
False
Suppose 5*u + 3*u - 24 = 0. Let b be (u - -3)/(-24) - 626/(-8). Suppose 0 = 2*i + 2*m - b, -4*i - i + m = -171. Is 7 a factor of i?
True
Let k(h) = 7*h - 46. Let u be k(7). Suppose 4*q = u*b + 47, 5*q - 2*b = 49 + 8. Suppose q*m - 116 = 7*m. Is m a multiple of 29?
True
Let r be ((-12)/(-1))/((-21)/(-56)). Suppose 0*m = -4*m - r. Let c(g) = g**2 - 14. Is 8 a factor of c(m)?
False
Suppose 3*g - 1790 = -2*g - 5*u, -g - 2*u = -359. Let z = -127 + g. Is 17 a factor of z?
False
Suppose -39*g = -29*g - 140. Suppose 16*o - 122 = g*o. Is o a multiple of 17?
False
Does 35 divide (-35)/(-210) - 17/(-6) - -2933?
False
Suppose -4284 = 14*b - 29904. Suppose -51*a + 53*a - b = 0. Is 18 a factor of a?
False
Let b(i) = -3*i + 8*i**2 + 186 - 7*i + 0*i**2 - 201. Is b(-6) a multiple of 37?
True
Let g be 146/14 + (-9)/21. Is 5 a factor of ((-2905)/(-25) - 1) + 8/g?
False
Let z = 167 - 159. Suppose -3*v - 1425 = -z*v. Does 57 divide v?
True
Suppose 5*j - 194580 = -5*y, 445*y - 447*y + 6 = 0. Is j a multiple of 119?
True
Let k be 0/(-2 + (3 - 2)). Let n(d) be the first derivative of -d**4/4 + d**3/3 + d**2 + 52*d - 2736. Is 10 a factor of n(k)?
False
Let l be -53 - (3 + -7 + 4). Let s = l - 83. Let q = s + 190. Does 15 divide q?
False
Let c(b) be the third derivative of -b**6/30 + b**5/30 + 18*b**2. Let q be c(-1). Let f = q - -15. Is 3 a factor of f?
True
Let d(o) = 6*o**2 + 19*o - 33. Let p(x) = -x**3 - 2*x**2 + 5*x - 4. Let j be p(-3). Is d(j) a multiple of 8?
False
Suppose 4*j - 2*d = -0*j + 20, 2*j - 2 = 5*d. Let b(t) = -t**2 + t + 32. Let w be b(j). Suppose 4*u + 4*h = 292, w*h + 219 = -0*u + 3*u. Is 18 a factor of u?
False
Suppose -x - 26 = 5*j, 0 = j - 2*j + x - 10. Let s be (1 + j)/(19/57). Let o = -8 - s. Is o even?
False
Let f(r) = 8*r + 5. Let y be f(-1). Let v be 2/y - 316/(-6). Let x = -35 + v. Does 17 divide x?
True
Suppose 2*h - 21 = -y, -h + 91 = 5*y - 5*h. Suppose -2*t - 63 = -y. Does 11 divide 15/(-3 + (-69)/t)?
True
Let s(a) = 9*a**2 - a. Let k be s(-1). Suppose 0 = -k*c + 7*c + 33. Suppose -c*u + 8*u = -57. Is u a multiple of 19?
True
Is 26 a factor of 4 + -5 - (8 + -6805 + 10)?
True
Let s be (36/(-20))/((-18)/60). Suppose 0 = 4*g - s*g + 10. Suppose g*y - 53 = -18. Is y a multiple of 5?
False
Let j = -161 - -158. Is (23/j)/(4 - (-511)/(-126)) a multiple of 23?
True
Let m(j) be the second derivative of j**5/10 + j**4/12 - j**3 + 7*j**2/2 + 13*j + 2. Is 36 a factor of m(5)?
True
Let y(h) = 48*h - 25. Let m be y(-5). Let z = 409 + m. Is 18 a factor of z?
True
Suppose -647*f + 696*f - 149107 = 0. Is 17 a factor of f?
True
Suppose 68*n - 61*n = 11487. Let j = -741 + n. Is j a multiple of 15?
True
Let b be (-340)/6*(-6)/(-5). Let v = b - -72. Suppose 2*x - 124 = 2*p - 4*p, 4*p + 208 = v*x. Does 19 divide x?
True
Let f(a) = 1110*a - 1649. Is 124 a factor of f(14)?
False
Let z = -5335 - -14611. Does 115 divide z?
False
Suppose 26 - 42 = -4*a. Let w be 0*(a/(-6)*6 + 3). Suppose w*u - 10*u + 1520 = 0. Is u a multiple of 19?
True
Let v(x) be the second derivative of -30*x**3 + 17*x. Let u be v(1). Let h = u + 268. Does 5 divide h?
False
Let d(m) = 144*m + 2. Let s be d(2). Let q = 1315 - 1305. Suppose q*l - 295 = 5*l - 3*i, -2*i = 5*l - s. Is l a multiple of 9?
False
Let l(f) = 5*f - 16. Let p be l(10). Let g = 52 - p. Let s(k) = 5*k - 35. Is 5 a factor of s(g)?
True
Suppose -3*i = 3*l - 7761, -1578 - 3593 = -2*l - i. Is 54 a factor of l?
False
Let m(u) = u**3 + 13*u**2 + 9*u + 24. Let o be m(-13). Let w = o + 115. Suppose -w = -b - 10. Is b a multiple of 6?
True
Suppose y - 3*y - 6 = 0. Let m be (-3 - y) + 1 + 1. Suppose w + 339 = m*v, -5*w - 967 = -4*v - 286. Is 42 a factor of v?
False
Suppose -6*k - 10835 = -3*n + 18814, -4*k - 9877 = -n. Does 88 divide n?
False
Let m(v) = 4 - 2 + 5 + 4 - 3*v. Let j be m(10). Let d = j - -39. Is d a multiple of 18?
False
Let s(o) = o**2 - 13*o + 2. Let v = -38 - -32. Is 9 a factor of s(v)?
False
Let b(y) = 6*y**2 - 150*y + 1625. Is 14 a factor of b(-75)?
False
Suppose -5605169 = -573*r - 254495. Does 23 divide r?
True
Suppose -4*o + 4*c = -8, -2*c - 6 + 17 = 3*o. Suppose m = -o*m + 1176. Is 14 a factor of m?
True
Let m(g) = -g**3 + 4*g**2 + 6*g - 11. Let q be m(4). Let b = q - 13. Suppose b = 7*w - 448 - 322. Is 22 a factor of w?
True
Let y = -135 + 42. Let d = -73 - y. Is 8 a factor of d?
False
Suppose 3*s - 4*t + 24 = 0, 3*t + 2*t - 27 = 3*s. Is 17 a factor of s/12 + 633/9?
False
Is 15 a factor of (304/(-56))/((-7)/5341)?
False
Let y(p) = 3*p**2 + 16*p - 43. Let z be y(15). Suppose -z = 12*l - 4328. Is l a multiple of 24?
True
Let p be (-5)/7 + (-2)/7 - -4. Suppose x - 524 = -5*a + 502, -613 = -3*a + 2*x. Is 16 a factor of (a - p)*1/2?
False
Let w = -904 + 609. Let o = w - -628. Does 9 divide o?
True
Let y = -531 - -648. Does 9 divide y?
True
Let l = -65381 + 111150. Is 21 a factor of l?
False
Suppose -112 = -4*f - 5*d, -2*f = -0*f + d - 50. Suppose -4*y - 13 = 3*j + 34, -4*j - 56 = 2*y. Let l = f - j. Does 9 divide l?
True
Let a = -21190 + 38726. Is 64 a factor of a?
True
Suppose -5281 - 7199 = -t. Does 260 divide t?
True
Let m be 1/(-2)*-4*(-4 - 5). Is (-16 - m)/((-4)/(-158)) a multiple of 2?
False
Let m(n) = n - 88. Let c(p) = -p - 9. Let o(h) = -4*c(h) + m(h). Suppose 0 = -3*v + 17 + 31. Is 5 a factor of o(v)?
False
Let q = -17830 - -33862. Is 55 a factor of q?
False
Suppose -8*t + 15*t = 65*t - 261290. Is 16 a factor of t?
False
Let p(g) = -g**2 - 5*g - 7. Let a be p(0). Let s(n) = -7*n - 20 + 3 + 0*n + 0*n. Does 8 divide s(a)?
True
Let r(f) = 2*f**2 + 2*f + 2. Let t be r(-1). Let h(i) = 3*i**2 - 9*i + 10. Let q be h(13). Suppose -7*y = -t*y - q. Is 16 a factor of y?
True
Let r(v) = 20*v + 3. Let s be r(0). Suppose -1048 = -5*i - 5*h + 367, 591 = 2*i - s*h. Is 4 a factor of i?
True
Suppose -u = b - 3*u + 23, 2*b + 44 = 3*u. Let f = 247 - b. Does 14 divide f?
True
Suppose -4*k - 2 = -5*k. Suppose -k = -4*l + 6. Let i(j) = 15*j**2 - j - 4. Is i(l) a multiple of 27?
True
Let p = -605 + 829. Is p a multiple of 16?
True
Let r(n) = 3*n**2 - 4*n + 20. Let v be r(8). Suppose 4*w - 2*o - 148 = 0, 6*o = 5*w + o - v. Is w a multiple of 12?
False
Let n(s) = -s**3 - 1. Let y be n(0). Let o(d) = 58*d**2 + 7*d**2 + 22*d**2 - 1 - 3*d - 2*d - 