se 0 = -65*k + d*k - 300. Is k a multiple of 30?
True
Let f(r) = 302*r**2 - 9*r + 48. Let b be f(5). Is (0 - -4)/12 - b/(-21) a multiple of 20?
True
Let t = 2814 - 1263. Is t a multiple of 11?
True
Let p = 6270 - 5918. Is p a multiple of 44?
True
Let z(l) = l**3 - 3*l + 2. Let o be z(-2). Suppose o = -25*j + 22*j + 48. Is j a multiple of 4?
True
Let w(y) = 17*y**2 + 141*y - 160*y + 3 + 1. Let u be w(5). Suppose t - 120 = 5*g, -2*t - t + 2*g = -u. Is 13 a factor of t?
False
Let m(b) = -56*b**2 + 1944*b + 7. Is 15 a factor of m(20)?
False
Let w(o) = -7*o**2 + 31*o - 9. Let x(c) = -6*c**2 + 31*c - 10. Let p(d) = -5*w(d) + 6*x(d). Let s = -822 - -838. Is 18 a factor of p(s)?
False
Let v(q) = 2*q + 107 + 78 - 88 + 77. Does 22 divide v(-21)?
True
Does 183 divide 21768 - (((-8)/8)/(1/(-9)))/(-1)?
True
Suppose 2*q - o + 5 - 21 = 0, -2*q + 24 = -3*o. Suppose -s - z = -q*s + 3791, -5*s + 2*z + 3792 = 0. Is s a multiple of 71?
False
Let l(y) = y**3 + 27*y**2 - 35*y - 191. Let b be l(-28). Suppose -4*s - b*o + 2050 = -1253, -5*o + 837 = s. Is 46 a factor of s?
False
Let y = -129 - -131. Is 5 a factor of 60/12 + (2 - y*-42)?
False
Suppose o = -b + 6*b - 1634, -3*b - 2*o + 970 = 0. Suppose 3*r = -4*a + 422 + b, r + 5*a - 253 = 0. Does 12 divide r?
False
Let r(t) = t**2 + 13*t + 15. Let l be r(-12). Suppose -l*b + 336 = b. Is 7 a factor of b?
True
Suppose 5*z - 142 = -47. Suppose -z*o = -20*o + 18. Suppose -39*j + 36*j + o = 0. Is j a multiple of 6?
True
Suppose -h = -5 + 10. Let c(a) = 2*a + 14. Let d be c(h). Suppose d*k = 2*w + 6, -k = -3*k - 3*w + 7. Is k a multiple of 2?
True
Let f(w) be the second derivative of 2*w**4/3 - 5*w**3/6 + 3*w**2 - 35*w. Is f(4) a multiple of 31?
False
Let t = 435 + 1862. Is t a multiple of 8?
False
Suppose -801 = g + 5*u, -21*u + 19*u = -5*g - 4113. Let x = -713 - g. Does 12 divide x?
True
Suppose -46 - 58 = 8*k. Let n(c) = -c**3 - 7*c**2 + 22*c + 70. Is n(k) a multiple of 14?
True
Suppose -5*k = -2*k + 4*n - 15430, 0 = -4*n - 20. Is 25 a factor of k?
True
Suppose 42497 + 101350 = 36*t - 26649. Is t a multiple of 5?
False
Let d(h) = -2*h**2 + 3*h + 52. Let p be d(7). Is 18 a factor of 2588/5 - (90/p)/(-6)?
False
Suppose 21*d = 23*d - 42. Suppose -17*v + 8 = -d*v. Let m(u) = 5*u**2 - u - 2. Does 5 divide m(v)?
True
Let u(v) = -2*v**3 - 82*v**2 + 86*v + 88. Let f be u(-42). Suppose 2*h + 5*w - 3*w = 126, -f*h - 2*w = -252. Does 5 divide h?
False
Suppose -384 - 876 = -5*h. Let d = 92 - 272. Let g = d + h. Is g a multiple of 12?
True
Let g = 2215 + 3710. Is 16 a factor of g?
False
Suppose -4*y + 145 - 169 = 0. Let w(z) = 3*z**2 + 5*z + 18. Is w(y) a multiple of 32?
True
Let a(o) = o**3 - 5*o**2 - 5*o + 10. Let f(k) = 2*k**3 - 7*k**2 - 3*k + 3. Let y be f(4). Suppose y*i - 7 = 6*i. Is a(i) a multiple of 16?
False
Suppose -5*v + 20 = 0, 302*k - 301*k - 7257 = -4*v. Does 79 divide k?
False
Suppose 3*h = -3*b - 366, -2*b - b - 386 = -h. Let t = -1644 + 1315. Let i = b - t. Does 34 divide i?
False
Let u = 40 - 36. Suppose -g + u = -0*g, -5*b = g - 164. Is (-9)/(28/b + -1) a multiple of 22?
False
Let n be 2/((-7)/(42/(-4))). Suppose -p = -3*z - z - 20, 5*p + n*z = 8. Suppose -k - 2*c + 0*c = -107, 529 = 5*k + p*c. Is 21 a factor of k?
True
Suppose 0 = -5*k - j - 17, -3*k - 13*j - 18 = -15*j. Is 51 a factor of (0 - (-68)/(-3))*18/k?
True
Let v(z) = 8*z - 6. Let k be v(5). Let n = -24 + k. Suppose p = -n*p + 847. Is 8 a factor of p?
False
Let g = -535 + 926. Suppose -3*c + 21 = 3*m, -4*c + c + 2*m = -11. Suppose -c*o + 149 = -g. Is 18 a factor of o?
True
Let p(a) = -40*a**2 - 161*a + 6. Let g(v) = -14*v**2 - 54*v + 2. Let k(f) = 8*g(f) - 3*p(f). Does 6 divide k(-8)?
True
Suppose -5*n + 15*i = 11*i - 25, 5*n - 25 = -4*i. Does 27 divide (n/(-20) + (-19)/(-4))*84?
True
Let b(l) = 5*l - 15. Let q be b(2). Let a be 2/10*(-50)/q. Suppose a*z + 73 = 3*u - 3*z, 0 = -5*u - 4*z + 171. Is 2 a factor of u?
False
Suppose 1134 - 1596 = 6*w. Let t(q) = q**2 + 7*q + 3. Let z be t(-5). Let b = z - w. Is 10 a factor of b?
True
Let q(j) = 157*j**2 + 41*j + 239. Does 9 divide q(-7)?
False
Let k(h) = 26*h + 5. Let l(a) = 130*a + 24. Let y(d) = 11*k(d) - 2*l(d). Let o(q) = 8*q**2 - 74*q + 20. Let v be o(9). Does 5 divide y(v)?
False
Let m = 1493 - 778. Let k = -591 + m. Is 31 a factor of k?
True
Let m = 47 + -45. Suppose -5*u - 65 = -45, 5*y + m*u = 272. Is y even?
True
Suppose 4*h - 90060 = -53*h. Does 4 divide h?
True
Suppose 29*v + 311 - 2196 = 0. Is 8 a factor of 20 + (-216)/(-52) + (-10)/v?
True
Let q = 93 + 31. Let g = q - 38. Does 4 divide g?
False
Let y(n) = n**3 - 18*n**2 + 3*n - 127. Is 10 a factor of y(22)?
False
Let j(c) = 3*c**3 + 34*c**2 + 15*c + 99. Does 5 divide j(-10)?
False
Suppose l + 3*v - 11303 = 0, 5*l - 89*v - 56455 = -92*v. Is l a multiple of 83?
True
Let o(u) = 534*u - 877. Is 10 a factor of o(18)?
False
Let s = -5219 + 7789. Is s a multiple of 47?
False
Suppose -u + x + 8 = u, -5*u + 5 = 5*x. Suppose 2*g + u = -13. Let w = g + 23. Is 10 a factor of w?
False
Let l be (-367757)/(-52) - 3/(-4). Suppose 21*m = l + 3028. Is 13 a factor of m?
True
Is 51 a factor of (-312)/(-216) + -1 + (-72514)/(-18)?
True
Suppose 0 = -v - v + 6. Suppose 0 = -v*n + n - 18. Let h = n + 94. Is h a multiple of 17?
True
Let z(q) be the second derivative of -q**5/20 + 5*q**4/3 - 29*q**3/6 + 7*q**2 + 2*q - 18. Is 16 a factor of z(15)?
True
Let u(m) = -m**3 - 15*m**2 - 16*m + 42. Let l(f) = 3*f**3 + 31*f**2 + 32*f - 86. Let r(n) = -2*l(n) - 5*u(n). Is r(8) a multiple of 41?
True
Let c(y) = y**2 + 5*y + 14. Suppose b = -2*k + 151, 3*k + b + 21 = 250. Suppose -k = 7*m - 13*m. Is 31 a factor of c(m)?
True
Suppose 23*u = -41424 + 163462. Suppose 26*g - u + 236 = 0. Is g a multiple of 39?
True
Suppose 2 - 12 = -5*c. Let x be (-135)/(-18)*c/(-3). Is 13 a factor of ((-52)/(-5))/(29/x + 6)?
True
Let i = 149 - 3. Suppose -y + 4*p + i = 0, 6*p = 2*y + 3*p - 267. Is 7 a factor of y?
True
Let k = 1 - 1. Suppose 4*r = 3*z - 10, -2*r - 148 = -z - 146. Suppose -d + 2*w + z = -k*d, 4*w = d. Is d a multiple of 12?
True
Suppose -9*d + 14*d = -w + 24229, 4*w = 5*d + 96966. Is w a multiple of 72?
False
Let s(y) = -34*y**3 + 9*y**2 + 14*y. Is s(-5) a multiple of 13?
False
Suppose 2*n + 55 = 5*m, 130 = -3*n - 3*m + m. Let s = -128 - n. Is s/55*(-85)/2 a multiple of 13?
False
Suppose 3*z = 3*j + 2*j - 118728, 16*j = 4*z + 379924. Does 218 divide j?
False
Suppose 9418 = 2*f - 4*b, -14162 = -3*f + 162*b - 163*b. Does 39 divide f?
True
Let g(m) = 3081*m - 136. Does 95 divide g(1)?
True
Suppose -14*l = -17 - 11. Suppose y - 4*b = 30, b = -3*y + l*b + 101. Does 14 divide y?
False
Let b(a) = a**2 + 5*a - 6. Let z be b(-6). Suppose z = -0*j - j - 19. Is 29 a factor of (-19 - j) + (100 - (-1 + 2))?
False
Let n(c) = 189*c - 929. Does 191 divide n(13)?
True
Let a(g) = 879*g**2 - 43*g - 40. Does 156 divide a(-4)?
True
Let h(k) = 157*k**2 + 4*k - 1. Let r be h(2). Suppose -4*f = 3*z - 1477, 3*z - 860 - r = 5*f. Is 63 a factor of z?
False
Let f(b) = -21 + 33 - b - 5*b**2 - 4*b**2 + 4*b**2. Let q(j) = 14*j**2 + 2*j - 36. Let p(t) = -11*f(t) - 4*q(t). Is 6 a factor of p(0)?
True
Suppose -6*h + h + 4*u + 17 = 0, 5*u = 10. Suppose -h*g + 74 = -576. Is g a multiple of 65?
True
Let y = -3480 - -4683. Is y a multiple of 40?
False
Suppose 40865817 + 3063729 = 558*a + 1521546. Is a a multiple of 16?
True
Suppose 6*h + 5*b = 2*h + 1296, -5*h + 1603 = 2*b. Suppose 4*z - 266 = -5*k + h, 5 = k. Does 6 divide z?
False
Let l = -43 - -45. Suppose -4*y = y - 4*t + 7, -l*t = 4. Is 9 - y/(-3)*0 a multiple of 6?
False
Suppose -27 = -37*m + 84. Suppose -3*u - 1151 = -d, m*u = 4*d - 2972 - 1623. Is 12 a factor of d?
False
Let d be (-1 - (-7 + 0))*(-20)/(-30). Suppose 401 + 296 = 3*c + 2*j, -d*c + 911 = -j. Does 74 divide c?
False
Let f = 18932 + -6588. Does 10 divide f?
False
Let o(v) be the first derivative of -v**4/4 - 28*v**3/3 - 3*v**2/2 + 20*v - 32. Let d be o(-28). Is 6 a factor of (24/48)/(2/d)?
False
Let w(i) = -i. Let m(y) = -y**2 - 13*y - 11. Let g(u) = m(u) - 2*w(u). Let q be g(-7). Suppose q*r + 64 = 200. Does 5 divide r?
False
Let j = -106 + 89. Let d(y) = -y**2 - 19*y + 48. Is 3 a factor of d(j)?
False
Let y be (-36)/(-60) + 1167/5. Let j = -77 + y. Is 7 a factor of j?
False
Let o be -5 - -1 - -1*4. 