 316, 5*j + 5*a - 56 - 354 = 0. Is 33 a factor of j?
False
Suppose 4*d - 3099 - 4692 = 5*c, -3*c = 4*d - 7767. Does 30 divide d?
False
Let g(i) be the second derivative of 79*i**4/12 - i**2/2 + 59*i. Suppose 3*t - 4*t = -1. Is g(t) a multiple of 26?
True
Let f(u) = 18*u**3 + 5*u**2 - 4*u + 5. Let i be f(2). Let l = i - 6. Does 52 divide l?
False
Let b = 5 - 3. Let n be 2*-1 + b + 0. Suppose 5*g + 0*g - 110 = n. Is g a multiple of 10?
False
Let v be (56 + 2/2)/1. Let q = v + -40. Does 4 divide q?
False
Let w = -15 - -11. Let f = -1 - w. Suppose 4*r = 3*s - 119, f*r + r = 5*s - 209. Does 11 divide s?
False
Let m(x) = -x**2 + 25. Let k be m(0). Let y = -33 + k. Let r(h) = h**2 + 3*h - 10. Does 10 divide r(y)?
True
Let m be (-30)/(-25)*(0 + (-30)/(-9)). Suppose -117 = -v + m*p, 2*v - 3*v = -p - 126. Is 10 a factor of v?
False
Suppose 4*d = 3*q + 588, 17*q + 470 = 3*d + 22*q. Is d a multiple of 21?
False
Suppose -119*y = -124*y + 2030. Does 14 divide y?
True
Let f(y) = -13*y + 19. Let d(m) = 7*m - 8. Let i(k) = -5*d(k) - 2*f(k). Let a be (1 - 9) + (0 - -2). Is i(a) a multiple of 14?
True
Suppose -2 = 2*g + 4. Does 9 divide (-360)/8*3/g?
True
Is -6 + 3386 - 28/(2 + -9) a multiple of 12?
True
Suppose -c - 5*y + 7 = -4*y, -c = -y + 1. Suppose -c*b = -b - 10. Suppose 333 = 4*i - p - 0*p, -b*i + p = -416. Does 27 divide i?
False
Let x(k) = -8*k**2 + 6*k - 12. Let j(s) = 7*s**2 - 6*s + 11. Let a(q) = -7*j(q) - 6*x(q). Suppose -9*v = 3*v - 36. Does 2 divide a(v)?
True
Let l = -47 - -45. Let r = l + 26. Is r a multiple of 4?
True
Let i = -39 - 90. Let o = 192 + i. Is o a multiple of 9?
True
Is 7 a factor of 102/((12/3)/(13 + 1))?
True
Let r = 2580 + -995. Is r a multiple of 16?
False
Let b = 445 + -121. Suppose -351 = -3*f + 378. Suppose 3*y = 3*j + f, -j - b = -4*y - 0*j. Is y a multiple of 27?
True
Suppose 6*u = -u + 6321. Let q = -471 + u. Does 23 divide q?
False
Does 116 divide (3467 - -1) + (-11 - -23)?
True
Let a be 4/(-18) - 6*60/(-162). Is ((-104)/(-4))/(a + 0/2) a multiple of 13?
True
Let n(p) = -p + 15. Let q be n(11). Let j(a) = 8*a - 6. Let r(y) = -9*y + 5. Let m(k) = q*r(k) + 5*j(k). Is m(9) a multiple of 13?
True
Let t = 138 - -569. Is t a multiple of 4?
False
Suppose -2*r = -r. Suppose g = -r*g + q + 9, 2*g + 5*q = -17. Is g + (-18)/(-2) + 3 a multiple of 16?
True
Let d be 3/(2/(-4) + (-1)/(-1)). Does 14 divide (294/9)/(2/d)?
True
Let t(s) = s**3 + 4*s**2 - 6*s - 6. Let d be (4/10)/((-2)/20). Is 13 a factor of t(d)?
False
Suppose -2*n = 3*n - 4*d - 626, 0 = d + 4. Is 23 a factor of n?
False
Let u(s) = -s**3 - 2*s**2 + 2*s - 1. Let q be u(-3). Let t(y) = 5*y**3 + 4*y**2 - 2*y - 1. Does 11 divide t(q)?
False
Let p be 5*3/(-17 + 2)*-8. Is 5 a factor of (p - -4)/3 + 1?
True
Suppose -117*m = -116*m - 6. Suppose -m*k = -11*k + 145. Does 18 divide k?
False
Let j = -2257 + 2313. Is j a multiple of 7?
True
Suppose 2*p + 35 = 5*l + 5*p, -3*p = -4*l + 1. Suppose 0 = -2*w - w + 75. Suppose -w = -l*j - 13. Does 2 divide j?
False
Suppose 0 = -2*h + 3 + 1. Let k be (7/(-21))/(h/(-12)). Suppose -k*b = -b - 13. Is b a multiple of 6?
False
Suppose 3*w - 27 = -5*z, 0*w + 2*w - 4*z = 40. Let y be 6/w + 704/7. Suppose -y = -4*q - 5. Does 12 divide q?
True
Suppose r + 3*z = 154, 8*r - 7*r + 2*z - 153 = 0. Does 8 divide r?
False
Suppose 14*g = 5*g + 4320. Is g a multiple of 30?
True
Let z be 1 + 0 - (-6 - -5). Let g(t) = -6 + 3*t**2 + 0*t + 4*t + z. Is g(-6) a multiple of 16?
True
Suppose 5*g - 4*v - 13 = 0, -2*g + 3*v - 24 = -5*g. Suppose k + 34 = 3*r, 85 = g*r + 3*k + k. Suppose r = h - 3. Does 5 divide h?
False
Let s(h) = -12*h - 2*h**2 + 4*h**2 - h**2 + h - 14. Does 22 divide s(-6)?
True
Let p be (-2 - -1)*(-3 - 2). Suppose p*w = 77 + 13. Let n = 30 - w. Is 6 a factor of n?
True
Suppose 0 = 59*s - 50*s - 8082. Is 49 a factor of s?
False
Suppose -6*w - 3 = -7*w. Let b be 0/(-1*(3 + -1)). Is 20 a factor of (-3 - -18)*(w - b)?
False
Let x be 10*(-1 + (-2)/((-20)/62)). Is 13 a factor of (x*1 - -2) + (-8 - -6)?
True
Is 12 a factor of (-136)/68 + (1577 + 1)*1?
False
Suppose -10*y - 4370 = -20*y. Is y a multiple of 21?
False
Suppose 5*n - 2776 = y, 4*n - 1277 - 959 = -3*y. Is 14 a factor of n?
False
Let h(a) be the second derivative of a**5/20 + 13*a**4/12 - 19*a**3/6 + 16*a**2 - 4*a. Is 24 a factor of h(-14)?
False
Suppose -4*r = -4*m - 296, -3*r - 3*m + 228 = -0*r. Suppose -3*x = 2*s - 254, -r = -s + 2*x + 52. Does 6 divide s?
False
Suppose 43 = 5*d - 4*z, 5*d = 3*z + 1 + 45. Let a(v) = v**3 - 12*v**2 + 14*v + 12. Does 9 divide a(d)?
True
Suppose 4*q - 5 = 19. Suppose 318 = -3*n + q*n + 4*t, -n + 93 = -3*t. Is 17 a factor of n?
True
Let b = -12 + 0. Let q = b - -13. Suppose 0 = -h + 34 - q. Does 11 divide h?
True
Does 101 divide ((-5)/(-15))/((-6)/(-25452))?
True
Let l(v) = 24*v + 10. Does 49 divide l(4)?
False
Let w = 243 + -253. Let h(t) = -11*t**2 - 14*t + 27. Let b(d) = 5*d**2 + 7*d - 13. Let u(f) = 9*b(f) + 4*h(f). Is u(w) a multiple of 5?
False
Suppose -3*d + 154 + 182 = 2*n, 504 = 3*n - 2*d. Does 4 divide n?
True
Let p(g) = 9*g - 7. Let j(f) = -8*f + 6. Let z(a) = 4*j(a) + 6*p(a). Is z(4) a multiple of 7?
True
Let l(c) = 3*c**2 - 4*c - 1. Let z be l(6). Let r = 123 - z. Is r a multiple of 9?
False
Let f be 3*(56/12 + -5). Is f - -1 - (-195 + (-5 - -1)) a multiple of 44?
False
Let u(s) = 69*s + 539. Is u(29) a multiple of 78?
False
Let n(o) be the first derivative of 7*o**2/2 + 2*o + 1. Is 24 a factor of n(10)?
True
Let x = -24 - -18. Let w(l) = -3*l**3 - 6*l**2 + 32*l - 29. Let a(y) = y**3 + 2*y**2 - 11*y + 10. Let s(v) = x*w(v) - 17*a(v). Is s(3) a multiple of 7?
False
Let t be 3 + (-3 - (-16)/4). Suppose -t*x + 2*m = -30, -4*m = 2*x + 1 + 9. Suppose -171 = -x*s + 249. Is s a multiple of 28?
True
Suppose -2*k = 2*j - 10, -1 = 2*j - 3. Let q(p) = -p**3 + 5*p**2 - 4*p - 1. Let w be q(k). Let a = w - -11. Does 4 divide a?
False
Suppose -3*x - 30 = -0*x. Let h = -2 - x. Suppose 2*k + m + 2 = -3*m, -2*m + h = 2*k. Does 2 divide k?
False
Suppose 21*o = -10 + 577. Is o a multiple of 27?
True
Let p = 40 - 35. Suppose -205 = p*w - 825. Is 31 a factor of w?
True
Suppose 0 = -3*r + 31 + 8. Let j be r/(65/30)*1. Is (36/(-16))/(j/(-320)) a multiple of 23?
False
Suppose 15120 = 812*r - 797*r. Is 8 a factor of r?
True
Suppose 8*s - 11556 = -4*s. Is s a multiple of 32?
False
Suppose -2*s + 7 + 3 = 0. Suppose s*h = 2*o, 0 + 10 = 5*h. Suppose o*r + 19 = d + 3*r, 2*r - 20 = -2*d. Is d a multiple of 13?
True
Let a be 1 - (-2)/6*-15. Let k be (3/9)/((-1)/(-6)). Is 9 a factor of (-58)/(1*(k + a))?
False
Suppose 5*y + 30 = -2*u, -46 = 4*u + 5*y + 24. Let g be (u/(-8))/(1/2). Suppose -27 = -4*o + 3*f, 0*o + f = -o + g. Is o a multiple of 3?
True
Let t = 667 - -684. Does 7 divide t?
True
Suppose 0 = 5*j + 53 - 13. Let m(u) = -u - 73. Let k be m(0). Let o = j - k. Is o a multiple of 17?
False
Suppose a + 33 = 3*v + 2, -2*a + 18 = 2*v. Does 10 divide v?
True
Suppose -1070 + 5144 = 21*k. Does 3 divide k?
False
Let o(c) = -c**2 - 2*c + 5. Let g be o(-3). Let y(s) = -s**g - 4*s + 2*s + 2*s**2 + 11. Is y(0) a multiple of 11?
True
Let p be ((-9)/(-15))/((-2)/10). Let x = p - -85. Is x a multiple of 17?
False
Let x = -22 + 23. Let w be ((-6)/12)/(x/(-204)). Is w/9 + 4/6 a multiple of 4?
True
Let o = -7 - 5. Let f = o + -9. Let q = f + 62. Does 30 divide q?
False
Suppose 0*d + 5*d - 5675 = -q, -3*q + 1149 = d. Suppose -d = -9*l + 2*l. Is l a multiple of 18?
True
Let b = -15 - -27. Does 4 divide b?
True
Let i(p) = -p**3 + 16*p**2 - 7*p - 32. Let s be i(15). Suppose -13*t + 367 + s = 0. Is t a multiple of 7?
True
Let g(u) = -u**2 - u + 35. Let s be g(0). Let o = s + 28. Suppose 0 = -h - 2*h + o. Does 11 divide h?
False
Suppose -2*v + 6 = -2. Let x = -349 + 511. Suppose v*m - x + 34 = 0. Does 11 divide m?
False
Suppose -3*r + 5*c = -11, 3*r - 4*r + 6 = -4*c. Suppose 0*d - 92 = -a - r*d, d - 505 = -5*a. Let q = a + -70. Is q a multiple of 8?
True
Let m be (0 - 1)*(5 + -7). Does 7 divide ((-287)/(-14))/(1/m)?
False
Suppose -d - 5 + 3 = 0. Let x = d + 29. Let k = x - 22. Is 3 a factor of k?
False
Suppose 2*u + 3*j = u + 6960, 4*u + 5*j = 27847. Suppose 1143 = 5*f + u. Is 7 a factor of f/(-42) + 4/14?
True
Suppose 111 = -5*v - 4*t, -2*v - 24 = 2*t + 22. Let q = -16 - v. Suppose 0*s - 36 = -q*