multiple of 13?
True
Suppose -12*l = 4*d - 524, -25*l = -26*l - 3*d + 41. Suppose -3*v - 96 = -0*v. Let q = v + l. Does 3 divide q?
True
Suppose 19*f - 39*f = -27900. Is f a multiple of 16?
False
Suppose 0 = -l + 6*l + 3*o - 424, 0 = -l - 4*o + 95. Suppose 219*q = 218*q - 39. Let b = q + l. Is b a multiple of 10?
False
Suppose 0 = 17*d - 32*d + 45. Suppose d*u = 10 + 5, -4*n + 3*u = -225. Does 30 divide n?
True
Is 37 a factor of 53696070/2250 + 4/50?
True
Let u(h) = -h**2 + 94*h + 494. Is 103 a factor of u(52)?
True
Let z(d) = d**2 + 14*d + 8. Let t be z(-7). Let v(q) = q**3 - q**2 - 5*q + 4. Let r be v(5). Let i = t + r. Does 19 divide i?
True
Let r = 25 - 7. Suppose -v - r = -2*v - h, 5*h = -5. Suppose 21*z - v*z = 176. Does 22 divide z?
True
Suppose 18*c - 200910 + 66426 = 138900. Is 84 a factor of c?
False
Does 115 divide (-10 - (-66776)/(-221))*-13?
False
Let j(y) = y**2 - 21*y - 20. Let h be j(-1). Is 24 a factor of h + 2 - 836/(-19)?
True
Let b = 13397 - 12687. Is b a multiple of 3?
False
Suppose 9*h = -4*h + 832. Suppose -11*p - h = -460. Does 36 divide p?
True
Suppose -6*j + 2945 = -4607 - 18704. Does 8 divide j?
True
Suppose 5*t + 3*y = 16, 3*y - 62 = -2*t - 61. Is 30 a factor of t - 12 - (-437 - 1)?
False
Let a(b) = 8*b - 107. Let v be a(13). Is 6 a factor of (-5)/(116/(-38) - v)?
False
Suppose -163*s = -159*s - 224. Does 23 divide -2*(-2168)/s*14?
False
Let s(q) = 39*q**2 - 4 + 13 + 10*q - 21*q**2 + 5 - 17*q**2. Let g(b) = -3*b - 4. Let i be g(3). Does 6 divide s(i)?
False
Let z(q) = -2*q**2 + 26*q - 32. Let a be z(9). Let n(m) = -3*m**2 + 136*m + 60. Does 16 divide n(a)?
False
Does 62 divide (-13510)/76*-182 - 28/(-266)?
False
Let y(r) = r**3 + 63*r**2 - 136*r - 66. Does 12 divide y(-65)?
True
Let u(i) be the first derivative of 2*i**3 - 23*i**2/2 - 8*i + 170. Is 4 a factor of u(7)?
False
Let n = -26 - -29. Suppose 7 = n*d - 29. Is 8 a factor of (-36)/15*(-40)/d*1?
True
Suppose -18713*s + 1800560 = -18642*s. Is 40 a factor of s?
True
Suppose -102*n + 1035870 = 27*n. Is n a multiple of 55?
True
Suppose -l = -2*i - 364, -5*i + 5*l = -8*i - 520. Is 7 a factor of 285 + (876/i - 2/15)?
True
Let h(p) = 2*p**2 + 25*p - 16. Let k be h(-13). Is 6 a factor of k + 2584/8 - -1?
False
Suppose 4*u - g - 3*g = 12, -3*u = 4*g - 2. Suppose 0 = -u*l - 3*r + 611, 0 = -6*l + 2*l + 5*r + 1211. Does 5 divide l?
False
Suppose -3*o = -21*o + 44514. Suppose 0 = 43*c - 3977 - o. Is 15 a factor of c?
True
Suppose -2*t = -2*q - 5*t + 12297, 5*q - 4*t = 30800. Suppose -44*s = -47*s + q. Is (-1)/5 - s/(-10) a multiple of 58?
False
Suppose 41 = -3*n - 5*j, 2*n + 11*j - 16*j - 6 = 0. Let d(s) = s**3 + 11*s**2 + 19*s - 11. Does 7 divide d(n)?
False
Suppose 3306 = 3*r - 2868. Let s be (2/(-1))/((-1)/1). Suppose s*d = 9*d - r. Is d a multiple of 21?
True
Let m(o) = 308*o - 965. Is m(5) a multiple of 4?
False
Let f(s) = s**3 + 38*s**2 + 308*s + 47. Does 4 divide f(-17)?
True
Let r(a) = 39*a**3 - 37*a**2 + 12*a + 154. Does 42 divide r(8)?
True
Let y(f) = 79*f**3 + 2*f**2 - 3*f + 8. Let a be y(2). Suppose a = -22*c + 7506. Does 13 divide c?
True
Let x(g) = g**3 + 7*g**2 - 8. Let n(l) = -4*l - 18. Let k be n(-5). Let d(p) = -2*p**3 - 14*p**2 - p + 17. Let v(t) = k*d(t) + 5*x(t). Is 13 a factor of v(-6)?
False
Let f(z) = 18*z + 11. Let l(d) = -10 + d + 17 - 8. Let k(p) = -f(p) + 4*l(p). Is 15 a factor of k(-8)?
False
Let t(s) = s**2 - 9*s + 18. Let u be t(3). Suppose u = 14*m - 2*m - 5652. Is 18 a factor of m?
False
Let r(s) = 2*s**2 - 32*s - 42. Let i(m) = m**2 - 16*m - 21. Let p(l) = -13*i(l) + 6*r(l). Is 7 a factor of p(13)?
False
Let n = 7 + -4. Suppose -14 = -4*k - d, -n*d + 10 = k + 1. Suppose 0 = 2*u + 3*v - 84, 0 = 4*u - k*u - v - 37. Does 13 divide u?
True
Let w = 2856 - 830. Is 6 a factor of w?
False
Suppose -7*l = -39 - 45. Suppose -l*z = -662 - 442. Does 9 divide z?
False
Suppose -4*j = -4*n + 36, 2*n - 23 = -8*j + 11*j. Suppose 306 = 5*i - n*i. Does 17 divide i?
True
Suppose 28241 = 34*w - 43907. Is 3 a factor of w?
False
Let y be (-314)/9 - (-20)/(-180). Suppose 0 = -3*t - 0*t - 126. Let m = y - t. Is m a multiple of 2?
False
Let h(d) = -13*d + 1. Let v be h(-36). Let p = v - 40. Does 9 divide p?
False
Let c = -1771 + 3079. Suppose 4*r = 4*a - 9*a + c, a - 4*r = 276. Is 66 a factor of a?
True
Let d = 342 - 331. Is 6*219*(66/12)/d a multiple of 81?
False
Suppose 0 = -7*r + 231 + 252. Suppose -r*d = -67*d - 1396. Is d a multiple of 30?
False
Let p(i) = 4989*i - 4094. Does 348 divide p(8)?
False
Suppose -3*x - x + 84 = 0. Suppose 5*y = -4*b + 52, -3*b + 44 + 26 = -4*y. Let i = x - b. Is i even?
False
Let c = -12915 - -13643. Does 28 divide c?
True
Let x be 3/(-2)*(50/15 - 2). Let g(m) = -5*m - 11. Let t be g(x). Is ((-6)/7)/((t + 7)/(-126)) a multiple of 9?
True
Let h(w) = -w**2 - 131*w - 1527. Is h(-100) a multiple of 164?
False
Let y(s) = -s**3 + 5*s**2 + 5*s + 4. Let j be y(6). Let p(m) = -9*m**3 - 3*m**2 - 4*m - 8. Let i be p(j). Suppose -i - 75 = -3*x. Is x a multiple of 15?
True
Let x = -125 - -101. Does 8 divide x/(-96) - (-159)/4?
True
Let i be 13/(993/165 + -6). Suppose k = 6*k, 5*h + 2*k = i. Is h a multiple of 6?
False
Suppose -2897 - 2767 = -8*d. Suppose d = 20*o - 1592. Does 21 divide o?
False
Let b(c) = 224*c - 489. Is 13 a factor of b(7)?
True
Suppose 5*f - y = 28804, 4*y + 0*y + 17262 = 3*f. Is 40 a factor of f?
False
Is (-9)/(-27)*(-1 - (-5457 + -1)) a multiple of 4?
False
Suppose 2*g - 15209 = -5*p, 0 = 5*p - 2*g + 4561 - 19782. Suppose -37*v = -p - 4357. Is v a multiple of 40?
True
Suppose 0 = -i + 2*r + 4 + 11, 20 = 5*i + r. Suppose 360 = 6*c - c - 3*a, 4*c = -i*a + 288. Does 13 divide c?
False
Suppose -36472 = -15*q + 15683. Is 20 a factor of q?
False
Is (2/(4/(-18)))/((-182)/878514) a multiple of 27?
True
Suppose 3*t - 24 = 0, -47*p - 79883 = -50*p - t. Does 33 divide p?
False
Let h = -496 - -499. Suppose 470 = -h*v + 878. Does 8 divide v?
True
Let s(q) = 2*q**2 - 102*q - 1430. Is s(66) a multiple of 10?
True
Let f(y) = -y**3 + 9*y**2 - 6*y + 7. Let t be f(8). Suppose -1684*v + 1686*v = -24. Let h = t + v. Is 11 a factor of h?
True
Let z(h) = 14*h**3 + 3*h - 2. Suppose 102 = -32*u + 29*u. Let j = 35 + u. Is z(j) a multiple of 9?
False
Let m(f) = 39*f**2 + 41*f - 42. Is 4 a factor of m(8)?
False
Let g(y) = 39*y**2 - 354*y - 100. Is g(17) a multiple of 4?
False
Suppose -25 = -9*m + 14*m, -m = -6*l + 100757. Is 68 a factor of l?
False
Suppose 3*a - 2*a - 4*b = -79, 4*a - 4*b + 352 = 0. Suppose c = -4*w - 158, -3*w = -2*c - 190 - 115. Let s = a - c. Is s a multiple of 21?
True
Let n(i) = 112*i - 1. Let g be n(1). Let a = g - 37. Does 4 divide a?
False
Let x = 796 + 549. Does 39 divide x?
False
Let c = -25 + 21. Let s be (9/c)/((22/(-8))/(-11)). Is 6 a factor of 3*(-106)/s*(-18)/(-12)?
False
Let p(o) = -o**2 - 12*o - 24. Let b be p(-10). Let c be 6 - (b - (2 - 7)). Suppose -c*h = -2*n + 45, -4 = -4*n + h + 59. Does 5 divide n?
True
Is 48 a factor of 7 - 290/40 - 139305/(-20)?
False
Let j(z) = 51*z + 1037. Does 58 divide j(-11)?
False
Let q = 15 + 8. Let l(k) = 28 + 11 - 18 + q + 3*k. Is l(8) a multiple of 26?
False
Suppose l + y - 48 = 0, -2*y = l - 0*l - 50. Suppose 0 = -u + 4*w + l, -3*w = 7*u - 2*u - 253. Suppose -u*x = -51*x + 29. Is x a multiple of 7?
False
Let w = 10734 - 1268. Is w a multiple of 18?
False
Suppose -11*b + 889 = -10*b - 3*v, v = -2*b + 1743. Suppose 7*w = b + 1996. Is 10 a factor of w?
True
Suppose -w = -3*n + 3*w + 89, 2*n - 2*w - 56 = 0. Let b = n + 207. Is b/2 - -4*(-12)/16 a multiple of 16?
True
Is 159 + 27410 + 9/1 a multiple of 298?
False
Let b be (908/(-6))/((-4)/6). Let d = -9718 + 10021. Suppose -3*s + d = s - y, -3*s + y = -b. Is s a multiple of 9?
False
Suppose 0*z + 225 = 3*z. Let m be 3 - 9 - -4 - 38. Let s = z + m. Is 16 a factor of s?
False
Let x(h) = -4036*h - 52. Does 17 divide x(-5)?
True
Suppose -18*y - l + 75 = -17*y, -y + 5*l = -33. Is y a multiple of 34?
True
Let j = -487 + 492. Suppose -19*l - 1408 = -23*l + 4*q, j*l - 1765 = 4*q. Does 36 divide l?
False
Let q(f) = -f**3 + 14*f**2 + 4*f + 6. Let t be q(15). Let x = -110 - t. Let h = 139 - x. Does 18 divide h?
True
Let u(r) be the first derivative of r**3/3 + 3*r**2/2 + 29*r + 2. Is u(-8) a multiple of 24?
False
Suppose 250 = 4*g - 5*p, -2*g = 