00. Is 13 a factor of t?
True
Let n = 186 - 187. Is n/(8 - (-7346)/(-918)) a multiple of 13?
False
Let p(b) = 3*b**2 + 85*b + 32. Let c be p(-28). Let v(f) = -f + 5. Let y be v(5). Suppose 4*r - c*n - 304 = y, -r - 3*n + 84 = -0*n. Does 26 divide r?
True
Suppose -59145 + 15318 - 62193 = -6*l. Is l a multiple of 93?
True
Let x(y) = 18*y**2 - 336*y - 40. Does 8 divide x(22)?
True
Let j(q) = q**3 + 2*q**2 - q - 1. Let k(w) = 6*w**3 + 23*w**2 - 31*w - 63. Let a(i) = 5*j(i) - k(i). Is 7 a factor of a(-15)?
False
Suppose 8*t = 5*t - 378. Suppose -5*p - 588 = -7*p - p. Let r = p + t. Is 14 a factor of r?
True
Suppose 3*u - 3933 = -97*q + 95*q, 5*q - 9836 = -4*u. Is 6 a factor of q?
True
Suppose -5*s = -4*j - 10, 2*s - 50 = -5*j - 13. Is (s - 4 - -71)*1 a multiple of 5?
False
Let v(f) = -f**3 + 32*f**2 - 34*f + 106. Let o be v(31). Suppose 487 = -o*j + 1540. Is 27 a factor of j?
True
Suppose 2*y - 2 = y. Suppose -7*i = y*p - 3*i - 214, -3*i = 5*p - 570. Suppose -5*f - p = -b, 304 = -0*b + 2*b + 4*f. Is b a multiple of 40?
False
Suppose 0 = -12*r + 7*r + 25. Suppose r*v - 818 = -5*w - 318, -v = -3*w + 316. Does 53 divide w?
False
Suppose -196*d + 200*d - 168 = 0. Is 11 a factor of (-4)/14 + (11772/d - -6)?
True
Suppose 11*w - 21667 = 45576. Does 83 divide w?
False
Suppose -p + 5 = -5*y, 2*y - 7 = -5. Suppose 2*t + p = 0, -2*t = -9*k + 12*k - 2018. Does 16 divide k?
False
Suppose 19*z = 7892 + 36435. Is 18 a factor of z?
False
Let u(x) = 74*x**3 - 6*x**2 + 12*x - 24. Let k be u(4). Suppose 23*q - 12507 + k = 0. Is q a multiple of 31?
True
Suppose -4*a + 5*a + 4*u - 13 = 0, 0 = 5*a + 2*u - 11. Is 22 a factor of (-31 - -36)/(a/22)?
True
Let c be 1119 + 3/(3/1). Suppose 26*k - 16*k = c. Is 16 a factor of k?
True
Let v = 397 + 1605. Is v a multiple of 14?
True
Suppose 173*t + 177*t = 340*t + 25570. Does 119 divide t?
False
Suppose 3*a - 7779 = -4*i + 7409, -3*i + 11391 = a. Is i a multiple of 16?
False
Let z be (1 - -2)*(1 + 8)/3. Is 12 a factor of (444/(-60) + z)/((-1)/(-120))?
True
Let q(k) = 23*k**3 - 3*k**2 + 3*k - 1. Let z be q(1). Suppose 3*g + 14 = 4*o - 3*o, -o = -5*g - z. Is 38 a factor of o*(-38)/(-12)*30?
True
Let y(h) = -2*h**3 + 55*h**2 - 2*h + 74. Is y(26) a multiple of 18?
False
Let l(z) = -z**2 - 10*z - 10. Let o be (-2)/7 + ((-122)/7)/2. Let g be l(o). Does 25 divide -3 - (-1 + -5) - (-22 + g)?
False
Suppose -8*s - 34 = -10. Let j be 3*(s - (-1)/((-9)/57)). Let v = 1 - j. Does 10 divide v?
False
Let l be 2202/14 + (-124)/434. Let q = l + 420. Is 19 a factor of q?
False
Is 98*320*((-45)/28)/(-15) a multiple of 140?
True
Suppose 0 = b - 5. Suppose -b*d + 3*h + 3464 = 355, 4*d - 2483 = h. Is 10 a factor of d?
True
Let c(a) = -a**3 + 3*a**2 + 4*a + 1. Suppose 37 = 3*x + 43. Let l be c(x). Let r(u) = 8*u - 34. Is 35 a factor of r(l)?
True
Let q(l) = l**2 - 18*l - 11. Let g be q(10). Let s = g - -95. Suppose -19 = 4*u + 3*m - 176, s*m + 164 = 4*u. Is u a multiple of 4?
True
Let v(g) = -71*g**2 + 9*g - 12. Let t be v(2). Suppose -12*b - 2050 = -7126. Let h = b + t. Does 29 divide h?
True
Let f = -2694 + 4288. Suppose 7483 = 13*c + f. Does 23 divide c?
False
Let z(t) = -t**3 + 7*t**2 + 7*t - 8. Let o be z(6). Suppose -l - 5*w = -o, -79 = -l + 5*w - 7*w. Is 27 a factor of l?
False
Suppose 0 = 4*t - 2*s + 468 - 1238, 2*s = -5*t + 985. Let l = 376 - t. Does 35 divide l?
False
Let o be 1 - 0 - -1*(-70)/14. Is -10*(o - (2 + -4 + 0)) a multiple of 20?
True
Let c be 35*10/(-125)*-5. Let a(t) = -t**3 + 13*t**2 + 18*t - 32. Let y be a(c). Does 30 divide 2124/y - (-2)/(-4)?
False
Suppose 0*o + 77616 = o + 7*o. Is 126 a factor of o?
True
Let i(r) = -r**3 + 6*r**2 + 14*r - 49. Let u be i(7). Suppose -8*t - 5*o = -3*t - 65, -4*t - o + 37 = u. Is 2 a factor of t?
True
Suppose 248*i = 1021846 + 3608066. Does 21 divide i?
True
Let f = 43716 - 25799. Is f a multiple of 81?
False
Suppose 0 = 5*g - r - 1080, -5*r = 3*g + 111 - 759. Suppose 4*y + 632 = 5*j, -4*j = -y - 715 + g. Let w = j - 109. Is 3 a factor of w?
True
Suppose 0 = s - 5*b + 463, -s - 5*b - 1902 = 3*s. Let r = -173 - s. Does 12 divide r?
True
Suppose 2805*v - 107892 = 2796*v. Is 222 a factor of v?
True
Let x = -4093 - -4929. Is x a multiple of 44?
True
Let t(b) = -9*b**3 - b**2 + 5*b + 6. Let z be t(-1). Let l be 4*(2 - 6/4). Suppose -z*o + l*o = -525. Is o a multiple of 15?
True
Let s be (-3)/(-12)*494*-4. Let f = -330 - s. Is 41 a factor of f?
True
Suppose 4*b - 176 = 84. Suppose b = 2*o - r, -9*o + r + 164 = -4*o. Does 25 divide o?
False
Let f = 48 - 23. Let l = 58 - f. Let m = l - -57. Does 18 divide m?
True
Let o(f) = 4*f**3 - 7*f**2 - 5*f - 1. Let c(t) = -6*t**3 + 13*t**2 + 11*t + 3. Let m(n) = -4*c(n) - 7*o(n). Does 15 divide m(-5)?
True
Suppose 0 = -l - 4*m + 144 + 32, 0 = 3*m - 15. Let g = 307 + l. Is 40 a factor of g?
False
Let w be (-30)/34 + 6/(-51). Let m(i) = -84*i - 6. Let p be m(w). Let v = p - -81. Does 20 divide v?
False
Suppose -5*v = 5*g - 1265, -2*g + 59*v + 502 = 57*v. Let w = -610 + 1258. Suppose g + w = 6*f. Does 30 divide f?
True
Suppose b = 2*h - 0*b - 3, -5 = -b. Suppose 4*g = -3*p - 7 - 1, -4*p - h*g = 8. Suppose 33*i - 28*i - 145 = p. Does 2 divide i?
False
Let i(c) = c - 5. Let u be i(5). Suppose 4*a + 2*k + 34 = -u*k, 2*k - 8 = 2*a. Is 17/119 + (-671)/a a multiple of 24?
True
Let v = 4373 + -3155. Does 87 divide v?
True
Let j(b) = 39*b - 330. Let p(x) = -20*x + 164. Let s(f) = -2*j(f) - 5*p(f). Is 10 a factor of s(15)?
True
Let u(t) = 24*t + 326. Is 5 a factor of u(74)?
False
Let t(q) = -q. Let h be (-2)/(-1) - (1 - (-4 - -2)). Let c be t(h). Is (c - (-70)/15)*9 a multiple of 51?
True
Let b be ((666/12)/3)/((-2)/(-4)). Let z = b - 61. Let d = z + 192. Is d a multiple of 28?
True
Let t = 7074 + -3184. Does 10 divide t?
True
Suppose -245 = -5*x + 95. Suppose 0 = -x*l + 64*l + 1004. Is 60 a factor of l?
False
Let u = -7 + 13. Is (u + 21)/((-12)/(-32)) a multiple of 18?
True
Let i = 2866 - 1622. Suppose f = -3*f + i. Suppose -f = -4*a + r, 5*r = -a - 0*a + 83. Is 13 a factor of a?
True
Let c(z) = z + z + 2*z - 7*z + 59*z**2 + 19 - 2*z. Is 41 a factor of c(4)?
True
Let d = 102 + -97. Suppose -d*w + 2*m - 43 = -6*w, -4*m + 233 = 5*w. Suppose -6*a + w = -737. Does 33 divide a?
False
Suppose 0 = 118*c - 121*c - 5*g + 1527, -2529 = -5*c - 3*g. Is c a multiple of 9?
True
Let x(a) = -6*a**2 - 209*a + 1. Is x(-25) a multiple of 4?
True
Let n = 5482 - 652. Does 60 divide n?
False
Suppose -y - 86 = -84. Let c be (13/(-2))/((-7)/(-56)*y). Suppose 0 = -c*r + 17*r + 1953. Does 31 divide r?
True
Let h be 15/(-1*5/30). Is 12 a factor of (-8)/(96/h)*1008/10?
True
Suppose 4*n - 23 = 61. Suppose -4*r - 9 = -n. Suppose -2*t - 4*d = -62, -t + 3*d - 57 = -r*t. Is t a multiple of 21?
True
Suppose 0 = 44*z - 86861 + 20861. Is z a multiple of 15?
True
Suppose -740201 = -15*w - 167126. Does 61 divide w?
False
Suppose -2*s - 206 = x + 3*x, 2*s = 5*x - 242. Let q = s + 111. Suppose -p - 3*a + 96 = -q*a, -2*p + 152 = -2*a. Does 9 divide p?
True
Is (-765414)/(-72) + -17 - 27/(-12) a multiple of 49?
False
Let d be (0 + 9/(-6))*(-8)/3. Suppose -d*b - 16 = 0, 0*b = 4*t + b - 708. Suppose 3*m - 2*o = 139 + 378, m + 5*o - t = 0. Does 23 divide m?
False
Suppose -157*t = -245*t + 2830960. Does 255 divide t?
False
Suppose -18*x + 1162 = -16*x + 4*j, 5*x - 2857 = 2*j. Suppose x = h - 288. Is 41 a factor of h?
True
Let v(j) = j**3 - 59*j**2 - 43*j + 335. Is v(63) a multiple of 25?
False
Let z = 505 - 503. Let u be (1 + -1)/(0 - 1). Suppose -2*v - 3*j + 148 = u, z*j + 160 = 2*v - j. Does 11 divide v?
True
Let v(p) = -p**2 + 12*p + 3. Let l be v(0). Suppose 2*z + l = -5, 0 = 4*g + 4*z - 496. Is 10 a factor of g?
False
Let i be (-3)/6 - 1/(-2). Suppose 4*f = 3*m + 5, 5*f - 3*m - 7 = -i*m. Suppose f*b = 2*s + 16, 0*b + 2*b + s = 25. Is 3 a factor of b?
False
Let f(l) = 169*l**2 + l - 4. Let v be f(-3). Let r = v - 937. Does 14 divide r?
False
Suppose 144*y - 10*y - 24*y - 1081080 = 0. Does 9 divide y?
True
Let y = 6072 - 5327. Is y even?
False
Suppose d = 3*n - d - 14, 0 = 2*n - d - 8. Suppose 0 = -4*p - 3*c + 25 - 6, -17 = -n*p + c. Suppose 388 = -3*b + p*b. Is 18 a factor of b?
False
Let n(h) = 0 - h + 5*h - 1. Let l be n(7). Suppose 0 = -24*a + l*a - 180. Is a a multiple of 8?
False
Suppose 10*q + 10 - 30 = 0.