13 a factor of i?
True
Suppose -17*j - 7*j = -3*j - 88032. Is j a multiple of 10?
False
Let c = -797 + 892. Is c a multiple of 11?
False
Suppose -2*t + 912 = -10*t. Let p = 195 + t. Let s = p - 20. Is s a multiple of 25?
False
Let h = 103 + -103. Suppose -11*v + 925 + 967 = h. Is v a multiple of 6?
False
Let y(o) = -117*o**2 - 8*o + 14. Let m(c) = -79*c**2 - 5*c + 9. Let z(j) = -8*m(j) + 5*y(j). Suppose 3*s + 2 = -1. Is 9 a factor of z(s)?
True
Suppose 2*c + k - 23 - 17 = 0, -74 = -3*c + 2*k. Suppose 0 = 3*g + 2*a - a + c, -3*g - 5*a = 2. Let p = g + 19. Does 3 divide p?
False
Let f = -142 - -145. Suppose -4*w + 3*b + 800 = 0, 0 = 5*w + f*b - 254 - 746. Does 8 divide w?
True
Does 32 divide (2235167/10)/11 - ((-1130)/100 + 11)?
True
Let j(a) = -2218*a - 12128. Is 26 a factor of j(-17)?
False
Let z be 1/((-9)/(-35) + (-2)/5). Let l(f) = -164 + 169 - f - f. Is l(z) a multiple of 6?
False
Let q(u) = 50*u + 1055. Does 4 divide q(-19)?
False
Suppose -4*n = 7*y - 5*y + 2, 0 = n - 2*y + 3. Let h(u) = -210*u**3 + u**2 + 4*u + 2. Does 19 divide h(n)?
True
Let g be (1/5*-8)/((-2)/5). Suppose -9*u + 1025 = -g*u. Does 11 divide u?
False
Let a = 586 + 15144. Is a a multiple of 53?
False
Suppose 4*d - 3*x - 17 = -0, -4*d + 15 = -5*x. Suppose -d = 2*j + 5*t, -5*j - 4*t + 0*t - 4 = 0. Is 38 a factor of ((-20)/8 + 3)*304 + j?
True
Let c be -1 + -2 - (24 - 31). Suppose -5*k - 989 = -5*i + 2236, -2615 = -c*i - 3*k. Does 65 divide i?
True
Let a = -137 + 142. Suppose 7*j - a*j + 101 = c, -10 = -2*j. Is c a multiple of 30?
False
Let x = -183 - -5499. Does 38 divide x?
False
Let i be (168/44 - 4) + (-2)/(-11). Suppose i*z + 1330 = 10*z. Is 14 a factor of z?
False
Let q = -721 + 811. Suppose -t = -2*s + 80, 2*t = 6*t + 3*s + 276. Let u = q + t. Is u a multiple of 6?
True
Let o(p) = -6*p + 29. Let s be o(4). Suppose 3650 = s*g + 1010. Is 44 a factor of g?
True
Suppose -349 = -4*c + 407. Let p = c - 93. Is 6 a factor of p?
True
Suppose -80 = -6*i + 2*i. Suppose 5*c - 4*c - 18 = h, 5*c = i. Let v = h - -203. Is 27 a factor of v?
True
Let o(b) = -3*b**2 + 218*b + 148. Does 25 divide o(43)?
True
Suppose 3*c - c - 122 = 0. Suppose -w = c - 159. Let z = w + -81. Is z a multiple of 17?
True
Suppose -2*z = -5*l - 5, 17*l - 13*l = -2*z + 14. Is (11 - z)*202 - -4 a multiple of 76?
True
Let v = 262 - 83. Suppose -12*m + 114 = 4*j + 650, m - 233 = 2*j. Let d = j + v. Is d a multiple of 11?
False
Let j(u) = -56*u - 13. Let c be j(-4). Suppose 2*g - 131 = c. Is g a multiple of 27?
False
Is (-189390)/(-80) + -2 - (-21)/(-56) a multiple of 14?
False
Let l(v) = 33*v**3 + 3*v**2 - v - 2. Let b be l(-2). Let j = b + 120. Let n = 204 + j. Is 18 a factor of n?
True
Let z = 567 + -482. Does 13 divide z?
False
Is 24/40 + 251970/50 a multiple of 70?
True
Suppose -3*y - 90 = -2*j + 228, 0 = -y + 3*j - 99. Is (-850)/(-15)*(y/(-10))/1 a multiple of 16?
False
Let f = -127 + 129. Suppose f*k + 3*k = -5*r + 2260, k - 899 = -2*r. Does 17 divide r?
False
Suppose 3*m - 58 = 5*b, b - 3*m - 2*m + 16 = 0. Is 250 - b - -2 - 0/1 a multiple of 44?
False
Let d = 101424 + -70365. Is d a multiple of 41?
False
Let n(f) = -f**3 + 2*f**2 + 11*f - 5. Suppose 3*d + 1 = 5*i + 33, 5*d - i = 24. Let z be n(d). Suppose -z*k = -2*k - 280. Is k a multiple of 14?
True
Let r = -5625 - -9811. Is 10 a factor of r?
False
Let x(w) = -4*w + 9. Let s be x(6). Let c(b) = b**2 + 11*b - 21. Is c(s) a multiple of 13?
True
Let d = 780 + 63. Let i = -577 + d. Is 38 a factor of i?
True
Suppose -9*x = 39*x - 178595 - 25213. Does 11 divide x?
True
Suppose -12*r = -364 - 776. Does 14 divide r?
False
Let t(q) = 5*q + 252. Let p be t(0). Suppose -6*a - p = -960. Is a a multiple of 12?
False
Let r be (-98042)/(-56) - 3/4. Suppose 54*w = 89*w - r. Is w a multiple of 3?
False
Let i(w) = -3*w**2 + 18*w + 2. Let h be i(6). Suppose 10354 = 5*c - d, -24*d + 25*d - 4143 = -h*c. Is c a multiple of 19?
True
Let i(m) be the first derivative of -m**4/8 + 13*m**3 + 9*m**2 + 9. Let p(t) be the second derivative of i(t). Does 31 divide p(-23)?
False
Let b = 11986 + -10414. Does 6 divide b?
True
Suppose -2*q + 19 = -0*r + r, 3*q - 31 = -4*r. Suppose 0*z - q = a - 3*z, 4*a + 4 = -4*z. Is 2/a*351/(-6) a multiple of 13?
True
Let d(k) = -17*k + 94. Let s be d(6). Is 22 a factor of 130 + 24/s + 5?
True
Let m = 10596 - 1116. Suppose 16*s - m = -8*s. Is s a multiple of 100?
False
Let p(b) = -70*b + 139. Let r be p(-17). Suppose -4*o - 2*z + z = -1347, 4*o - r = 5*z. Is o a multiple of 16?
True
Let t(m) = -m**2 + 14*m - 48. Let l be t(6). Suppose 4*i + 4*b - 1000 = l, i = 38*b - 43*b + 238. Is i a multiple of 23?
True
Let k be (-24)/2*(-3)/16*-4. Is 456/2 + 27/k a multiple of 19?
False
Let n = -41 + 41. Suppose 4*t - 27 - 197 = n. Let p = -36 + t. Is p a multiple of 14?
False
Let q(w) = 3*w**2 + 2*w + 1. Let a be q(-1). Suppose -4*d + d = -6. Suppose d*m + a*m = 552. Does 17 divide m?
False
Let c(d) = -2*d**3 + 2*d**2 - 3*d - 1. Let z be c(2). Let a be (-3 - -1)/(5/z). Let w(q) = -q**3 + 8*q**2 - 3*q + 2. Is 14 a factor of w(a)?
True
Let n(x) = 75*x**2 - 113*x - 625. Is n(-20) a multiple of 333?
True
Suppose 2*f = -8*q + 12*q - 13150, -f = -3*q + 9860. Is q a multiple of 16?
False
Let t(a) = a**3 - 3*a**2 - 50*a + 15908. Does 82 divide t(0)?
True
Let l(y) = -2*y**3 + 13*y**2 + 515*y - 10. Is 5 a factor of l(-15)?
True
Let c = -18081 + 26284. Is 23 a factor of c?
False
Suppose -4*t + 5*o + 397 = 0, -3*t + 298 = -6*o + 2*o. Suppose 19 = d - t. Is d a multiple of 13?
True
Let y be ((-233)/2)/(108/(-104) + 1). Suppose 0 = -18*g - 437 + y. Is g a multiple of 18?
True
Suppose 9*j - 1848 = -2*j. Suppose -8*w + j = -2*w. Let i = 37 - w. Does 2 divide i?
False
Suppose 2786 = 5*s - 3*v, 3*s = s + v + 1115. Let t = 1032 - s. Does 11 divide t?
True
Suppose -4*r + 132 = 84. Suppose r*g + 438 = 1458. Does 6 divide g?
False
Let c be (-4)/(-29 + 5) - 2163/18. Let y = 270 + c. Is 25 a factor of y?
True
Suppose 4*g - 5*g = 177. Let q = g + 259. Does 10 divide q?
False
Is 19321996/1340 - 16/(-10) a multiple of 24?
False
Let x(t) = 96*t**3 - 2*t**2 - 4*t - 2. Let a be x(2). Let y = a - 658. Is y a multiple of 9?
False
Suppose 95*y - 7691207 + 2230092 = -246*y. Is y a multiple of 15?
False
Let o(d) = 24*d + 18. Let c be o(-1). Is 11 a factor of c/(-3)*(-3 + 2) + 626?
False
Let k(r) = -7*r**2 + 18*r + 35. Let s(a) = a**2 - a - 1. Let v(t) = -k(t) - 5*s(t). Does 5 divide v(10)?
True
Let l be (-1168)/(-36) + (5 - 98/18). Let r(n) = 11*n - 232. Is 5 a factor of r(l)?
True
Let p = -377 - -698. Let w = 465 - p. Is w a multiple of 18?
True
Let q(g) = 49*g**2 + 131*g - 1379. Is q(13) a multiple of 5?
True
Let f = -96 - -67. Let t = f - -94. Suppose 5*k + 5*n = 225, -2*k + 0*k + 3*n = -t. Is k a multiple of 6?
False
Is (-6)/9 - 143568/(-54) a multiple of 13?
False
Let o be (-238)/(-21)*-2*3/4. Let j(u) = u**3 + 18*u**2 + 14*u - 3. Does 4 divide j(o)?
True
Suppose 21*k - 70*k + 1192941 = 20*k. Is 12 a factor of k?
False
Let i(k) = -2*k - 35. Let h be i(-19). Suppose 2*q - 680 = -h*q. Let x = q + -96. Is 10 a factor of x?
True
Let r(d) = 400*d**3 - 10*d**2 + 58*d + 32. Is r(4) a multiple of 189?
True
Suppose 0 = 350*q - 124*q - 4616276. Is 160 a factor of q?
False
Let l(c) = -c**3 - 47*c**2 + 206*c + 625. Does 10 divide l(-55)?
False
Let m(q) = 98*q + 175. Is m(8) a multiple of 7?
True
Suppose -4*l = -0*l - 2*y - 6, 12 = -l + 5*y. Suppose 16 = 4*a, l*a - 1 = k + 2*a. Is 12 a factor of k + -4 + 1 - -1*24?
True
Let o(r) = 1423*r**2 + 58*r + 44. Is 20 a factor of o(-4)?
True
Let u = -318 + 503. Suppose -u - 647 = -13*d. Is d a multiple of 6?
False
Suppose -6*v = -3*v - 9. Is 9 a factor of 30 + v/((-1)/(-1))?
False
Let a(o) = o**2 - 9*o - 42. Let f be a(-4). Let r(w) = 33*w + 52. Is r(f) a multiple of 17?
False
Suppose 4*c - 70267 = x, -2*c = -2*x + 5*x - 35151. Is c a multiple of 183?
True
Suppose 4*q + 48 = -93*v + 98*v, 33 = -q - 4*v. Suppose -19 = -0*d - d. Let t = d - q. Is t a multiple of 12?
True
Let i(g) = -2*g**2 - 3*g + 40. Let y be i(-5). Suppose 3*r = 5*q + 553 + 165, -3*r - y*q + 728 = 0. Does 63 divide r?
False
Let m = -22176 - -32769. Is 99 a factor of m?
True
Let x = 8961 + -622. Does 45 divide x?
False
Suppose 0 = 3*j - o - 2026, -o + 1000 = 4*j - 1706. Is 35 a factor of j?
Fal