ctor of k?
True
Let i(j) = 2*j**3 - 21*j**2 - 11*j + 3. Let x be i(11). Does 10 divide 8 - (x + 2 + 0) - -91?
False
Suppose 0 = -59*k + 145*k - 540682. Does 46 divide k?
False
Suppose -53*y + 80455 = -57186. Is 81 a factor of y?
False
Let j(b) = 7*b**2 + 16*b - 3. Let w be j(-13). Suppose 0 = -320*o + 323*o - w. Is 27 a factor of o?
True
Let g(p) = -6*p + 7. Let y be g(0). Suppose 28 = -y*u - 77. Let z(j) = -j**3 - 15*j**2 - 12*j + 36. Is z(u) a multiple of 18?
True
Suppose -2*t + 22 = -8. Suppose -4*p + t = 7. Let x(y) = 7*y - 2. Does 6 divide x(p)?
True
Suppose -116935 = 58*v - 123*v. Is 53 a factor of v?
False
Let d be 1 + 4/(-3) + 2921/69. Let k = d - 11. Let t = k - 21. Is t a multiple of 2?
True
Suppose 3*f - 46035 = -3*x, 3*x + 41*f - 44*f - 46059 = 0. Is 172 a factor of x?
False
Suppose 0 = 4*i - i + 129. Suppose 12*d - 4661 = -47*d. Let b = i + d. Is 35 a factor of b?
False
Suppose 11*k - 3*k = -928. Let f = k - -118. Suppose c - w = 134, 5*w = f*c - 0*w - 280. Is 12 a factor of c?
False
Suppose 13457*f = 13472*f - 329565. Does 127 divide f?
True
Let i(z) = -2*z**2 + 7*z - 5. Let u(x) = -3*x**2 + 8*x - 5. Let g(w) = 4*i(w) - 3*u(w). Let s be g(-5). Suppose 10*c - 151 - 229 = s. Is 8 a factor of c?
False
Suppose q = 2*a + 7560, -5*q - a - 11001 = -48845. Is 34 a factor of q?
False
Let f(b) = -2*b**2 + 16*b - 24. Let s be f(11). Does 12 divide s/1*988/(-130)?
True
Suppose -v + 2*j = -2 + 4, j + 2 = 2*v. Let w be 88/5 + v/5. Suppose -3*y + 4*k + 270 = 0, w = y - 4*k - 64. Is y a multiple of 47?
True
Let v be 4*(-6)/24*-5. Suppose 2*x = 5*y + 352, 0*x - 865 = -v*x + 5*y. Is x a multiple of 31?
False
Let m be 57/9 + (-1)/3. Let w be (-2)/m - 65/(-15). Let v(j) = -j**2 + 9*j - 9. Is 11 a factor of v(w)?
True
Suppose 176349 = 80*g + 27949. Is 5 a factor of g?
True
Let g = 22 + -16. Let y(c) be the first derivative of -4*c**2 + 56*c - 33. Is y(g) a multiple of 8?
True
Let s = 11 + -10. Is 12 a factor of 3 + 258/(-8)*(-3 - s)?
True
Suppose 2*g - 77853 = 3*q, -21*g + 20*g + 38940 = 3*q. Is 57 a factor of g?
True
Suppose -175321 - 405889 = -33*k - 157*k. Is 36 a factor of k?
False
Let u(i) = -i**3 + 23*i**2 + 9*i + 90. Is 19 a factor of u(16)?
False
Let s = -203 - -199. Let x(m) = 54*m**2 - 10*m - 49. Is x(s) a multiple of 95?
True
Let l = 1126 + 2771. Does 46 divide l?
False
Let o(g) = -127*g + 101. Is 4 a factor of o(-3)?
False
Let z(w) = 129*w + 567. Is z(9) a multiple of 27?
True
Suppose s + 5 = 0, 5*s + 217 = 2*z + 10*s. Let q = 203 + z. Is q a multiple of 9?
True
Suppose -3*u = -7*u + q + 7247, -3*u + 5*q + 5465 = 0. Does 160 divide u?
False
Suppose 4*q + 6*q - 330 = 0. Let y = q - 24. Suppose 0 = y*w - 6*w - 420. Is 14 a factor of w?
True
Let d be 3/6 + 25055/(-10). Let p = -1473 - d. Suppose 5*b + p = 9*b. Is 40 a factor of b?
False
Suppose 0 = -2*o + 9*o - 6111. Suppose 679 = 16*l - o. Does 4 divide l?
False
Let v be 1755/25*1 + 3/(-15). Suppose -122*w = -127*w - v. Let u = w - -74. Is u a multiple of 15?
True
Let n = -942 + 1552. Let z = 0 + 5. Is 6 a factor of (-3)/(214/n + (-2)/z)?
False
Let z be 4/(-26) + 3643244/806. Suppose -261*d + z = -257*d. Is 10 a factor of d?
True
Let l be -1 - 2368/(-20) - 30/75. Let h be (-2*10/(-4))/1. Suppose 0 = -h*m - 4*y + 34 + l, m = -2*y + 35. Is m a multiple of 9?
True
Suppose -2*v + 0*v + 3*z + 67 = 0, v = 4*z + 41. Suppose o - v*m + 28*m = 235, 3*m - 465 = -2*o. Is o a multiple of 9?
True
Suppose 5*q + d - 16 = 0, 7*q - 3*q + 4*d = 16. Suppose 2*w = 3*r - 30, 0*r - 52 = 4*w - 2*r. Does 4 divide (-219)/(-6) + 2*q/w?
True
Let m(g) = -3*g**2 + g - 7. Let i be m(-5). Let l be (11/121 + 30/33)*402/(-3). Let q = i - l. Is q a multiple of 3?
False
Let n = -9 - -17. Suppose -4*f + 1092 = 4*o, 523*o - 1371 = 518*o - 3*f. Suppose o = n*s - 2*s. Does 38 divide s?
False
Suppose 0 = -4*z - 67 + 83. Let u(r) = 130*r - 14. Let f be u(z). Suppose v - f = -v. Is 11 a factor of v?
True
Let s(g) = 2*g**3 - 25*g**2 - 5*g + 626. Is 13 a factor of s(20)?
True
Suppose 10 = 3*h + 2*h - 5*w, -2*h - w = -1. Let f(i) = 231*i**2 - 2*i + 1. Let u be f(h). Let r = u + -135. Is r a multiple of 5?
True
Let d = 3934 + -2534. Suppose 14*x - 6*x - d = 0. Does 40 divide x?
False
Let s(f) = f**2 + f + 4. Let d be s(0). Let g = d - 10. Is 1/2*g/(-9)*129 a multiple of 32?
False
Let c(d) = -283*d - 1265. Is c(-6) a multiple of 20?
False
Suppose -20 = 4*c + 2*b, c - 9*b = -14*b + 13. Let z(d) = -6*d - 4. Does 12 divide z(c)?
False
Let b(w) = w**3 + w**2 - 95. Let l be b(0). Suppose 3*y + 36 = -q, 0 = -3*y - 22*q + 27*q - 54. Let v = y - l. Does 35 divide v?
False
Suppose 23*b - 11852 = 19*b. Suppose b - 708 = 11*h. Suppose 4*x - 2*v = 202, 4*x + 5*v - 4*v - h = 0. Is x a multiple of 7?
False
Let q be 8396/30 - (-6)/45. Suppose 25*s - 27*s = -q. Is s a multiple of 14?
True
Suppose 9913*q - 9882*q = 333546 + 1140566. Does 32 divide q?
True
Is 24 a factor of (240/(-300))/(1 - 7563/7560)?
True
Let g = -137 - -143. Does 4 divide g + (16 - (-3 - -5))?
True
Suppose -370 = 8*q + 166. Let s = 58 + q. Is (3/s - 1)*-3 a multiple of 4?
True
Let r be -5*9/((-81)/1629). Let j = r + -635. Is 27 a factor of j?
True
Let a = -115 + 155. Suppose -135 = a*s - 815. Is 17 a factor of s?
True
Let u(g) be the second derivative of g**4/12 - 2*g**3 + 49*g**2/2 + 3*g. Let j be u(13). Let a = j - -99. Is a a multiple of 7?
True
Suppose -50*n + 54*n - 6180 = -p, 4*n + 12 = 0. Is p a multiple of 16?
True
Suppose 17*z - 286 = 15*z + 4*g, -4*z + 3*g = -582. Suppose 747 = 2*h + z. Is 50 a factor of h?
True
Let y be (-1)/(33/44*(-4)/(-9)). Does 58 divide (9/5)/(y/(-655))?
False
Let y = -3931 + 13697. Does 185 divide y?
False
Suppose 14*i = 107 - 23. Suppose 370 - 2722 = -i*z. Is z a multiple of 8?
True
Suppose -49*l + 702 - 101 + 771 = 0. Is l even?
True
Is 13 a factor of 5*(-10)/(-150)*-4791*-5?
False
Let v(r) = -34 - 25*r + 629*r**2 - 1250*r**2 + r**3 + 635*r**2. Does 21 divide v(-15)?
False
Let j(w) = 8*w - 2 - w**3 - 5*w**2 + 2*w**3 - 2. Let q be j(5). Let m = q - 22. Is 14 a factor of m?
True
Suppose 12 = 4*t, 4*b - 251 = -5*t - 64. Suppose 8343 = b*i - 16*i. Is i a multiple of 79?
False
Let p = 396 - 155. Does 49 divide (p/(-5))/(((-9)/15)/3)?
False
Let x = 415 - 229. Suppose -2*q - x - 134 = 0. Is 10 a factor of q/24*(-3)/2?
True
Let a be 92743/9 - 16/(-72). Let k(p) = -p**2 - 5*p - 4. Let v be k(-3). Is 13 a factor of a/72 - v/16?
True
Let k(c) = -19*c + 41. Suppose 3*p = 3*r + 30, 4*r - 5*r - p - 12 = 0. Does 50 divide k(r)?
True
Suppose -4*u + 664 = i, -i + 2576 = 3*i - 4*u. Suppose 0 = -4*b - i - 152. Is (-82)/(-26) - (b/52 + 4) a multiple of 3?
True
Let t(g) = g**3 + 156*g**2 - 541*g + 662. Is 164 a factor of t(-159)?
False
Suppose -25*q - l + 19767 = -24*q, 0 = -q - 2*l + 19764. Is 26 a factor of q?
False
Let c = 10463 + -5047. Does 6 divide c?
False
Let t be (0 + (-430)/(-25))*-15 + 3. Let m = -110 - t. Is 14 a factor of m?
False
Suppose 0 = -4*l - 5*y - 2597, -3*l + 14*y - 1941 = 11*y. Let f = -444 - l. Is f a multiple of 12?
True
Let t(c) = 21*c**2 - 11*c - 37. Let g be t(-3). Suppose -369 = -s - 3*o, 2*s - 571 = 3*o + g. Is s a multiple of 9?
False
Let v(o) = -6 + 1 + 0 + 4. Let f(n) = 22*n - 7. Let z(r) = -f(r) + 2*v(r). Does 10 divide z(-1)?
False
Suppose -2*o = -3*q + 24, -3*o = -4*q + 64 - 26. Let y be 15*(6/4 - (-15)/o). Suppose -144 = -y*l + 96. Is l a multiple of 2?
True
Suppose 0 = 3*m - 0*m + 36. Let q be (-9)/3 - (m + -4). Suppose z - 4*r + 2*r = q, 3*z + r = 18. Does 2 divide z?
False
Let x = 26 - 48. Let d be 33/x*(-16)/6. Suppose -4*h + 133 + 657 = 5*v, -2*v = d*h - 316. Is v a multiple of 12?
False
Let a be 18/4*18/27. Suppose 0 = a*f - 21 - 9. Let z(r) = r**3 - 8*r**2 - 9*r + 2. Is z(f) a multiple of 28?
True
Let j(u) = 28*u - 30. Let g be j(0). Suppose 0 = -2*l + 6*l - 180. Let b = l + g. Is b a multiple of 9?
False
Suppose b = 2*r - 3*r - 8, -r - 11 = -2*b. Does 23 divide (-5 + 13 + r)/(1/(-1545))?
False
Let v(i) = 2*i**3 - 2*i**2 + i + 1. Let q be v(5). Suppose q = 6*g - 100. Does 5 divide g?
False
Let g(c) = -6*c**3 + 2*c - 2. Let v be g(1). Let y be v - -12 - -2*3/(-3). Suppose -120 + 776 = y*i. Is 16 a factor of i?
False
Suppose 3*x = -2975 - 7195. Suppose -2*u = 2*b - 126, 8*b + 2*u + 63 = 9*b. Is x/(-21) + (-27)/b a multiple 