0. Does 10 divide u?
True
Suppose 12 = -78*q + 81*q. Is 213/12*(q + -6 - -38) a multiple of 23?
False
Let w be (12/2 + -4)*-2. Is (14/w)/((-2)/16*4) a multiple of 7?
True
Suppose 0 = 2*f - 7*f. Suppose i - 2*k - 47 - 54 = f, -4*i = 3*k - 404. Suppose 4*g + 125 = 4*a - 287, -a + 3*g + i = 0. Is 16 a factor of a?
False
Let i(n) = 23*n**3 - 2*n**2 + 4*n + 6. Let t(r) = -23*r**3 + 4*r**2 - 5*r - 7. Let l(d) = -3*i(d) - 2*t(d). Is l(-2) a multiple of 22?
True
Let o(k) = 16*k**2 - 3*k + 4. Let n be o(3). Let y = 351 - n. Let a = -111 + y. Is a a multiple of 16?
False
Let z be 2653 + (-2)/(-1) + -2 + 3. Let c be 2*(2 + 0) - z. Is 14 a factor of (-8)/36 + (c/(-27))/1?
True
Let x(o) = o**3 + 8*o**2 - 3*o + 3. Let a be 2/9 + (-122)/(-18). Suppose -a*q + 3*q = 24. Is 11 a factor of x(q)?
False
Let w = 134 - -37. Does 2 divide -5 - w/(-36) - (-890)/8?
False
Let h(u) = -200*u**3 + 2*u**2 + 15*u + 8. Does 9 divide h(-4)?
True
Let v = -219 + 2849. Does 12 divide v?
False
Suppose -97*z + 385968 + 783464 = 0. Is 8 a factor of z?
True
Suppose 5*i + 2*y = -160, -3*i + y - 56 = 40. Let p be ((-27)/(-36))/((-6)/i). Suppose 0 = 2*l - p*l + 50. Does 10 divide l?
False
Let o(j) = j**2 + 16*j - 7. Suppose 0 = 39*t - 44*t - 125. Is o(t) a multiple of 14?
False
Let o be (-687)/(-15) - 5/(-25). Suppose 0 = -2*h - 5*n + 11, 0 = 3*h - 8*n + 3*n + o. Let a(u) = -3*u**2 - 41*u + 4. Does 41 divide a(h)?
False
Is ((-1042704)/364)/((-3)/14) a multiple of 8?
True
Let n(s) = -s**2 + 8*s + 19. Let j be n(9). Let m(k) = k**3 - 10*k**2 + 2*k + 5. Is m(j) a multiple of 5?
True
Let l = 4502 - -740. Is 3 a factor of l?
False
Let f = 12509 + -37. Is f a multiple of 4?
True
Let o = 15111 + -9059. Does 68 divide o?
True
Let o(p) = 34*p + 111. Let t(u) = 17*u + 55. Let q(a) = -3*o(a) + 5*t(a). Let g = 34 - 41. Does 9 divide q(g)?
False
Let g(h) = -3*h**3 - h**2 - 8*h + 8. Let a be g(-7). Suppose -4*n - s = -a, n - 109 = -2*s + 145. Let l = -53 + n. Is 11 a factor of l?
True
Let f = -1348 - -6161. Is f a multiple of 15?
False
Let y(h) = -2 - 4*h - 7 + 13*h - 3. Let j be y(3). Suppose 0 = -4*r - 3*c + j, -2*c + 24 = 5*r - 0*r. Is r a multiple of 2?
True
Let o = -2539 + 4672. Is 27 a factor of o?
True
Let z be (9/21 - 1)*-7. Suppose 2*r + 20 + 39 = x, -z*x - 3*r = -192. Is x a multiple of 4?
False
Let z be -3*65/5 + 4. Suppose 29*y - 81 = 28*y. Let l = y + z. Is 4 a factor of l?
False
Let a(o) = 1061*o + 2179. Is 109 a factor of a(8)?
False
Suppose -11*i = -9*i + 2. Let r be 0 + (-10)/(-1 + i - 0). Suppose 3*t - 708 = -2*t - 3*x, 3*x + 732 = r*t. Is t a multiple of 16?
True
Let f(k) = k - 1. Let o be f(11). Let s be (2 - 21/9) + 1/3. Suppose s = o*b + 99 - 969. Is b a multiple of 13?
False
Let l = -35 + 37. Let j(p) = 8*p**2 - 5*p - 6. Does 4 divide j(l)?
True
Let k(j) = j**2 - j - 12. Let b be k(5). Suppose 0 = -b*z + 9*z + 27. Let w = 23 - z. Does 15 divide w?
False
Suppose 2*g - 7 = d, -4*d + g = 5*g - 32. Suppose -3*v + 27 = -5*k, -d*k + 0*k = 4*v - 7. Suppose -3*n = 15, -v*n - 34 + 459 = 5*c. Is c a multiple of 19?
False
Let b = 35 + -27. Is 13 a factor of (-2)/(-1)*1844/b?
False
Let t(o) = 3*o + 106. Let x be t(-17). Is 4 a factor of -20*(x/(-15))/(6/9)?
False
Let g(s) = 122*s**3 + 3*s**2 - 31*s + 102. Is g(6) a multiple of 42?
True
Let g(w) = w**2 + 16. Let t be g(0). Let v(x) = -98*x + 10. Let a(s) = -149*s + 9. Let p(c) = -2*a(c) + 3*v(c). Does 19 divide p(t)?
True
Let x = -18 + 23. Suppose 2*q = x*d - q - 10, 3*d - 5*q = -10. Suppose 0 = 4*h - 3*z + 4 - 185, -d*h + 4*z + 225 = 0. Does 8 divide h?
False
Suppose 845*l - 850*l = -27345. Is l a multiple of 139?
False
Suppose -157*t + 154*t = -26208. Is 84 a factor of t?
True
Does 14 divide (-4)/4*-9 + 9218?
False
Let s(r) = 63*r + 1140. Is 5 a factor of s(0)?
True
Let c be 1/(-2) + 55/10. Suppose -c*y + 27 = 3*r, -3*y + 11 = 2*y - r. Suppose 5*j = -3*u + 2*u + 144, -3*j - y*u + 96 = 0. Is j a multiple of 7?
True
Suppose 4*g - 9*g + 10212 = 2*q, 8160 = 4*g + 4*q. Is 28 a factor of g?
True
Let v = -32617 + 38383. Does 7 divide v?
False
Suppose -31*h + 26*h - 21770 = -k, -108824 = -5*k - h. Is 12 a factor of k?
False
Suppose -p + 11*p - 25973 - 84027 = 0. Does 11 divide p?
True
Let b = 29166 - 3533. Does 59 divide b?
False
Suppose 0 = c - 2431 - 575. Is c a multiple of 18?
True
Let m be 1/4 + 98/(-8). Let s = m + 14. Suppose 2*k + s*k - 430 = 2*n, 4*n + 4 = 0. Is 27 a factor of k?
False
Let i(g) = -g**2 + 3*g - 49. Let u be i(0). Suppose -87 = -474*w + 477*w. Let j = w - u. Is j a multiple of 20?
True
Suppose -4*k + 4*g - 5*g + 13 = 0, -3*g = -4*k - 7. Does 14 divide (5 - 6)/(1*k/(-2246))?
False
Let u(f) be the first derivative of -7 - 4*f**3 + 25*f - 7*f**2 - 1/4*f**4. Is u(-11) a multiple of 19?
False
Suppose 23*l - 43505 - 209748 = 0. Is 90 a factor of l?
False
Let s(d) = -2*d**2 + 27*d + 1. Let z be s(14). Let w(g) = -4*g**2 + 6*g**2 + 19 + 10*g + 0*g**2 - g**2. Is w(z) a multiple of 8?
False
Suppose 3*y + 3*m = -1035, 2*y + 349 + 351 = -4*m. Let u(t) = -161*t + 2. Let p be u(4). Let c = y - p. Does 12 divide c?
False
Let w be -3 - 2 - (-40 + -3). Let o = w - -127. Let c = 305 - o. Is 14 a factor of c?
True
Suppose -15*u - i + 9278 = -13*u, 23204 = 5*u - 2*i. Does 29 divide u?
True
Let t(c) = 18674*c + 137. Is 265 a factor of t(1)?
False
Let c = 167 - 165. Suppose -2*x - c*x + 1104 = 0. Does 28 divide x?
False
Suppose -590*i - 120 = -596*i. Let p(x) = x + 12. Let t be p(10). Suppose t*v - 23*v = -i. Is 4 a factor of v?
True
Suppose 1053 = -4*n + i, -3*n - i = 527 + 261. Let p = -423 - n. Is (-1)/((-158)/p + -1) a multiple of 9?
False
Let z = 12228 - 9480. Is z a multiple of 20?
False
Suppose 3*f - 2380 = -u, -5*u + f - 776 = -12772. Is u a multiple of 5?
False
Suppose 45*y - 1274 = 31*y. Suppose 5*k = -3*r - 18 + 261, -2*k + y = -5*r. Is 4 a factor of k?
True
Suppose 22570 = 4*l + 2*n, -124*n + 128*n - 28223 = -5*l. Is l a multiple of 8?
False
Suppose -5*x - g - 20 = -0*g, -2*g = -3*x - 25. Let v be 4 + -2 + (-3 - -4). Does 22 divide ((-3)/(-6)*x)/(v/(-30))?
False
Let k = -520 - -1108. Suppose -34*q + 15042 - 3618 = 0. Suppose -k = -3*v - 4*a, -5*a + q = 3*v - 255. Is 48 a factor of v?
True
Let c = 1199 - -2501. Is c a multiple of 50?
True
Suppose 0 = 7*i - 4*i - 1410. Suppose 7*n - i = 1175. Is 47 a factor of n?
True
Suppose -20*s + 864 = -4*s. Suppose h - s = 3*u + 42, u = 1. Is h a multiple of 3?
True
Suppose 21*o - 120 = 9*o. Suppose -6*f = -11*f + o, -5*d + 5*f = -785. Does 35 divide d?
False
Suppose 2*y + 298 = w, -2*w + 3*y - 68 + 667 = 0. Let k = 769 + w. Does 29 divide k?
True
Let a(s) = 25*s - 83. Let u be a(5). Suppose -9*m + 35445 = u*m. Is 41 a factor of m?
False
Let v be (32/10 - -2)*-860. Let h be 2/(-3)*225/(-150). Is 29 a factor of v/(-26) + (0 - h)*-2?
True
Let i(p) = p**3 + 1. Let w = 7 + -6. Let t be i(w). Suppose t*h = 15 + 43. Does 7 divide h?
False
Suppose 322*l + 152*l = 4954248. Is l a multiple of 13?
True
Suppose 70048 = 76*t - 73*t - n, 4*n - 46680 = -2*t. Is 33 a factor of t?
False
Suppose -13*a - 2*a = -1440. Let h = a + 33. Is h a multiple of 43?
True
Let p(i) = -1. Let g(t) = -4*t**2 + 9*t - 3. Let r(c) = -g(c) - 6*p(c). Is 10 a factor of r(5)?
False
Let h(j) be the second derivative of j**4/4 - 5*j**3/6 + 5*j**2/2 + 9*j. Let r be h(2). Let x = r - -17. Does 3 divide x?
True
Let u(f) be the third derivative of 5*f**4/6 + 45*f**3/2 - 51*f**2 + 1. Does 7 divide u(-5)?
True
Let h(j) be the first derivative of j**4/4 + j**3/3 + 3*j**2/2 + 9*j + 3. Let z be h(0). Suppose 16*d - 427 = z*d. Is 7 a factor of d?
False
Let d(v) = 14*v + 144. Suppose 4 = -x - 4*l, -3*x + l = 9 - 10. Is 18 a factor of d(x)?
True
Let a(p) = -2*p**2 - 6*p + 6. Let z be a(-4). Is 11/4 + z + 178/8 a multiple of 8?
False
Let j be -7 + (68/(-4))/(-1). Suppose x - 9 = -j, h + 3*x - 173 = 0. Is h a multiple of 16?
True
Suppose 3*p - 149 = 5*h, 2*p + 73 = 3*p + 3*h. Suppose -4*g - p + 2290 = 0. Is 7 a factor of g/8 - 9/(-36)?
True
Suppose 4*i - 2*i + 122 = 0. Let p = i - -132. Let f = -52 + p. Is f a multiple of 10?
False
Suppose -4*f + 10 = -14. Suppose 2*c + c = f. Suppose c*m + 0*t - 36 = -4*t, 3*t = -4*m + 92. Is 26 a factor of m?
True
Suppose -2*f = 4*n - 177574, -3*n - 1844*f = -1840*f - 133178. Is 49 a factor of n?
True
Suppose 14