Is i(42) a multiple of 9?
False
Let c(v) = 20*v - 101. Let g be c(5). Let h(k) = -253*k + 12. Is h(g) a multiple of 15?
False
Does 10 divide ((-20)/(-4) + -9)/(((-144)/(-124040))/(-9))?
True
Let p = 7839 + -6297. Is 96 a factor of p?
False
Let i be 4 + (-24)/4 - -7. Suppose -27*f + 3960 = -i*f. Does 15 divide f?
True
Let k(q) = 32*q**2 + 255*q - 10. Let r be k(-8). Let d(w) = w**3 - 2*w**2 - 4*w. Let j be d(3). Is 2 a factor of (4/j - -2)/(r/(-18))?
True
Let r(q) = q**2 - 3*q + 1. Let s be r(-5). Let y(k) = s - 25 - 20 - 29*k. Is 6 a factor of y(-2)?
True
Suppose 3*v - 6*v - 17 = -2*x, x - 19 = 5*v. Suppose 0 = 3*m + 3*n - x*n - 839, 0 = 4*m - n - 1118. Does 35 divide m?
False
Suppose -2*r = 14*m - 11*m - 5460, -2*r + 1820 = m. Is m a multiple of 10?
True
Suppose 1588*c = 1594*c - 28848. Is 19 a factor of c?
False
Let w(u) = 18*u**2 - 36*u - 59. Let j be w(18). Suppose 4*t + 297 = j. Is 15 a factor of t?
False
Suppose -91*z + 439704 = -1805448. Is z a multiple of 8?
True
Suppose 2*c = -2*k + 5948, -29*k = -31*k - 5*c + 5960. Does 22 divide k?
True
Suppose 6*o - 34048 = -2*w, w + 17032 = 11*o - 8*o. Is o a multiple of 11?
True
Let s = 355 - 361. Does 23 divide (-4202)/s - 6/18?
False
Let j = 218 - 794. Let q be -20*(0 - j/(-20)). Suppose -14*x = -8*x - q. Is 16 a factor of x?
True
Suppose 17*j + 310*j - 731082 = 3830568. Is j a multiple of 211?
False
Let u(z) = -13*z**2 + 5*z - 198. Let t(w) = -3*w**2 - 1. Let m(r) = 4*t(r) - u(r). Is 108 a factor of m(-26)?
False
Suppose 256*k - 871922 = 59*k. Does 15 divide k?
False
Suppose 7*x - 8*x + 951 = 3*f, -2*x + 5*f = -1891. Does 4 divide x?
True
Suppose -5*c = -4*p, 0*p + 2*p - 30 = -5*c. Suppose -58*f = -c*f - 4968. Is 15 a factor of f?
False
Let l(j) = -j**2 - 21*j - 19. Let z(t) = -t**2 + 3*t - 12. Let o be z(4). Let g be l(o). Let p = 59 + g. Is 15 a factor of p?
True
Let a = -7 - -10. Let i be (a - 2/1) + 3. Suppose 0 = -g - 3*g - 3*k + 72, 0 = -5*g - i*k + 90. Does 4 divide g?
False
Let z(k) = -48*k + 27*k - 58*k + 2 - 14*k. Is z(-1) a multiple of 13?
False
Let j(t) = -11*t**3 - 8*t**2 + 13*t - 3. Let m be j(3). Does 13 divide (128/96)/((-2)/m)?
False
Let m(y) be the second derivative of y**4/6 - 5*y**3/2 + 3*y**2/2 - 10*y. Is 37 a factor of m(12)?
True
Let p = -6992 + 8684. Is p a multiple of 3?
True
Suppose -4*u + 10 = u. Suppose -2*x - d = -826, 0*x + u*x = d + 830. Does 24 divide (-32)/80 - x/(-10)?
False
Suppose -47260*k + 47264*k - 135180 = 0. Is k a multiple of 15?
True
Let c(j) = -28*j**3 - j. Let q be (-27)/(-36)*(-16)/(-6). Suppose 3*t = -4*s - 13, q*s - 5*t - 12 = -s. Is c(s) a multiple of 9?
False
Let h(u) = u**2 - 18*u + 59. Let b be h(10). Is (-140)/b*396/10 a multiple of 10?
False
Suppose 36 = -4*y - 204. Let l = 63 + y. Suppose 0 = l*k - 117 - 63. Is k a multiple of 20?
True
Let q = 529 + -533. Let t(g) = -202*g + 128. Does 13 divide t(q)?
True
Let i = -38 - 95. Let m = i + 137. Is -6*(-47)/(3 - -3 - m) a multiple of 24?
False
Let m(y) = 6*y**2 + 6*y - 146. Is m(9) a multiple of 2?
True
Let b(h) = -h**3 + 13*h**2 - h - 25. Let m be b(9). Suppose 8*i - m = 3*i + 5*r, 106 = 2*i - 4*r. Is 21 a factor of i?
True
Suppose 87*a - 80314 - 444470 = 0. Is 29 a factor of a?
True
Suppose 35 + 156 = -5*f + i, 0 = -3*f - 3*i - 129. Let h be (1586/f)/(4/6). Let r = h - -91. Is r a multiple of 6?
True
Let j(u) be the third derivative of u**5/60 - 5*u**4/24 - u**3/3 + 14*u**2. Let b be j(-7). Let t = 270 - b. Is t a multiple of 27?
False
Suppose 10290 - 152764 - 47298 = -19*a. Is 44 a factor of a?
True
Let r(k) = -k**2 - 12*k - 30. Let x be r(-4). Suppose -41 = -d - j, x*j - 126 = -3*d - 0*d. Is 17 a factor of d?
False
Let x(r) = -74*r**3 + 4*r**2 + 4*r + 1. Let t(s) = s**3 - 23*s**2 - 22*s - 49. Let v be t(24). Is x(v) a multiple of 12?
False
Let u = 19156 + 22396. Does 56 divide u?
True
Let u(w) = w**3 + 23*w**2 + 22*w + 5. Let b(f) = -22*f**2 + 3*f - 3. Let o be b(1). Let s be u(o). Is 30 a factor of 1 + s/((-10)/(-288))?
False
Let h = 3000 - 368. Does 7 divide h?
True
Let c(v) = -193*v - 1729. Is c(-52) a multiple of 117?
True
Suppose -8*o + 39 = -11*o. Let f = o - 2. Let m = f + 34. Does 2 divide m?
False
Suppose -656 = -12*n + 48880. Is 10 a factor of n?
False
Does 297 divide ((-24129)/(-1532))/(1/1452)?
True
Let p = 1428 + -1424. Suppose 59 = m - 5*c, c = 3*m - 0*m - 191. Suppose 0 = -p*l + m - 12. Is l a multiple of 12?
False
Let o(q) = 4*q - 38. Let h be (-264)/(-27) + (-12)/(-54). Let a be o(h). Is ((-4)/4)/(a/(-130)) a multiple of 6?
False
Let s(g) = g**3 - 6*g**2 - 18*g. Let j be s(9). Is 2 a factor of j/2 - 3/(-2)?
True
Let n(u) = 20*u - u**2 - 194 - 2*u**2 - 3*u**2 + 4*u**2 + 3*u**2. Is 10 a factor of n(-30)?
False
Suppose 21736 = 2*h + s, -3*h + 32604 = -0*h - 4*s. Suppose 8*o = 46*o - h. Is 11 a factor of o?
True
Suppose 4*l - 3*l + 5*n + 20 = 0, -n = -5*l + 30. Suppose l*s = 5*i + 135, -2*s + 138 = 2*s + 2*i. Suppose -s = 5*z - 142. Does 6 divide z?
False
Suppose 11*a - 7*a - 287 = 5*v, 0 = 2*v + 3*a + 101. Let k be (-10)/4*44/v. Suppose -4*m = -4*o + k*o - 668, 0 = m - 4*o - 167. Is 17 a factor of m?
False
Suppose -39*m = -41*m - 4*p + 202, 4*p - 311 = -3*m. Is m a multiple of 8?
False
Suppose -979*z - 157680 = -1006*z. Does 146 divide z?
True
Let t be 7 - 4 - (0 - -1). Suppose -c = 4*g - 672, -3*g = 2*g + t*c - 843. Let q = 266 - g. Is 11 a factor of q?
True
Suppose 0 = 77*n - 149*n + 1563192. Is 9 a factor of n?
False
Does 20 divide ((-95004)/25)/(-2) - (3874/(-325) + 12)?
True
Let y = 3257 - 1157. Is 100 a factor of y?
True
Let j(w) = -409*w**2 - 34*w + 19. Let s(z) = -409*z**2 - 36*z + 17. Let x(i) = -5*j(i) + 4*s(i). Is x(1) a multiple of 100?
False
Let p be ((-22)/(-3))/(9/108). Suppose 0 = -40*i + 37*i + 1254. Suppose i = 5*l + p. Is l a multiple of 22?
True
Let q(j) be the second derivative of 7*j**6/45 - j**5/60 - j**4/8 + 8*j**3/3 - 5*j. Let z(g) be the second derivative of q(g). Does 5 divide z(-1)?
True
Let b = 641 - -9923. Is b a multiple of 18?
False
Let s(t) = -3*t**2 - 11*t + 9. Let l(c) = -13*c**2 - 45*c + 37. Let a(i) = -2*l(i) + 9*s(i). Let b be a(7). Let k = 213 + b. Is 6 a factor of k?
True
Suppose 686 + 2314 = 2*k. Suppose 12*u - 22*u = -k. Is u a multiple of 15?
True
Does 8 divide 0 + -6 + 12 + (-12676)/(-2)?
True
Suppose 360*u - 356*u = 41140. Is 11 a factor of u?
True
Let k(i) = -4*i**2 - 122*i - 13. Is k(-18) a multiple of 4?
False
Let a(i) = -3*i**2 + 14*i - 145. Let x be a(-19). Let p = -675 - x. Is 7 a factor of p?
True
Let x = -35874 + 94802. Does 51 divide x?
False
Suppose -7*g + 2804 = 578. Suppose 77*j - 76*j = g. Suppose -4*b = 3*a - j, 8*b = -5*a + 3*b + 525. Is 34 a factor of a?
True
Suppose -6*u + 17 - 5 = 0. Let d be u/(-2) + 11 + -14. Let t(r) = -r**3 - 3*r**2 - 3*r - 10. Does 11 divide t(d)?
False
Suppose -f + 148 = 2*f - c, 5*f + 2*c = 243. Suppose f + 63 = 4*u. Is 12 a factor of u?
False
Let h(y) = 42*y - 160. Suppose -15*s + 320 = 17*s. Is 10 a factor of h(s)?
True
Suppose s - f = 4083, 2707*f - 27 = 2704*f. Is s a multiple of 11?
True
Let o(s) be the first derivative of 9*s + s**2 + 1/3*s**3 + 6. Is 3 a factor of o(0)?
True
Let a = 2266 + -2014. Is 18 a factor of a?
True
Suppose 6*w = 11*w - 60. Suppose 11*u = w - 67. Does 28 divide 9/(-15) - (1 - (-148)/u)?
True
Suppose 1154*d - 2123 = 1153*d + 4633. Is 25 a factor of d?
False
Suppose -2*j = -5*j + 1275. Let a = -23 + j. Does 9 divide a?
False
Let d(j) = -834*j - 1347. Is 21 a factor of d(-13)?
False
Suppose -5*t + 12 = s - 6, s - 3*t = -6. Let m = -1 - -2. Is 16 a factor of 3 - (94*m)/((-2)/s)?
True
Let k(i) = 4*i**2 - 75*i - 1146. Does 49 divide k(-37)?
True
Let h(x) = -7*x - 7. Let o be h(-7). Let k = -43 + o. Is (6 + -5)*(0 - k) - -74 a multiple of 25?
True
Suppose 4*f - 2 = -14, 0 = -a - 2*f - 1376. Let o = a - -2234. Is 72 a factor of o?
True
Let l(j) = -2*j**3 - j**2 + 1. Let f be l(1). Let q(d) = -2*d**3 + 30*d**2 - 33*d + 76. Let k be q(14). Is (-506)/(-6) - f/k*2 a multiple of 5?
True
Suppose -2*x + 16890 = -4*n, -389*x + n = -388*x - 8440. Is 20 a factor of x?
False
Let k = 14782 + -5794. Is k a multiple of 3?
True
Suppose -3*w + 964 = -5*d, 0 = 2*w + 4. Is ((-2)/(16/(-120)))/((-3)/d) a multiple of 52?
False
Is 8 a factor of (172*-310)/(-10) + 17?
False
Suppose 0*q = 