f 7?
False
Let y be 29/9 - (-30)/(-135). Let b be y/5 - 670/(-50). Suppose 0 = 13*n - b*n + 17. Does 2 divide n?
False
Suppose 0 = t + 9*y - 598, 672 + 507 = 2*t + y. Is 19 a factor of t?
True
Let o(h) = -h**2 - 4*h**3 + 2 + 3*h + 2*h**3 - h**2 + 8*h. Suppose -11*s + 15*s = -16. Is o(s) a multiple of 16?
False
Let c(a) = 11*a**2 + 7 - 8 - a - 1 + 1. Does 2 divide c(-1)?
False
Let z(g) = -3*g + 9. Let j be z(4). Let i be (j + -5 - 5) + 1. Let w = i + 41. Does 3 divide w?
False
Let x = 63 - 61. Suppose -x*o = 10, z - o + 6*o - 395 = 0. Suppose -4*f + 8*f = z. Does 24 divide f?
False
Let g be 1684/3*87/58. Suppose -5*v - 4630 = -1880. Let j = v + g. Is j a multiple of 44?
False
Let v(h) = 2*h**2 - 43*h - 23. Is 23 a factor of v(37)?
False
Let n = -7698 + 3998. Does 38 divide -2 + n/(-36) - 4/(-18)?
False
Suppose 6*a - 74574 = -26*a + 26*a. Is a a multiple of 121?
False
Does 36 divide 4/22 + 2526216/(-605)*-5 + -2?
False
Let l(v) = 3*v**3 + 4*v**2 + 10*v - 36. Let r be l(6). Suppose 23*x - 1300 = r. Is 8 a factor of x?
False
Does 72 divide (-3 - 9)*((-1408)/5 + (-126)/315)?
True
Suppose 3*y = -3, 4*w - 13*y + 10*y - 1455 = 0. Does 3 divide w?
True
Suppose 0 = 4*q - i - 14, 0 = -0*i + 2*i - 4. Suppose -2*f - 3*s + 1592 = 0, -8*s - 3194 = -q*f - 9*s. Is 9 a factor of f?
False
Let w(k) = -8*k**3 - 3*k**2 - 3*k - 1. Let x be w(-6). Suppose 7*l - 400 = x. Is 22 a factor of l?
False
Let a = -31 - -35. Suppose 0 = -a*c + 113 + 315. Let t = c - -16. Is t a multiple of 20?
False
Let h be 1/(-4)*-2*122. Suppose 3*s + 44 = z - 84, 0 = 5*s + 3*z + 218. Let u = s + h. Does 6 divide u?
True
Is 112 a factor of (-75)/(-12)*(-4480)/(-22 - -12)?
True
Suppose -3*m + 41 = 2*i, 2*i + 5*m - 38 - 9 = 0. Let h = 35 - i. Suppose -14*a - 120 = -h*a. Is 24 a factor of a?
True
Suppose -48268 = -3*g + 2*k, 30*g + 370075 = 53*g + 5*k. Is 10 a factor of g?
True
Let h = -212 + 213. Is h - 61*(-2 - (1 - -2)) a multiple of 9?
True
Let g(l) = 403*l**2 + l - 6. Is 6 a factor of g(3)?
True
Suppose -5*p + 9520 = -4*o, -2*o - 8087 = -3*p - 2373. Suppose -5*h = -10*j + 12*j - 1916, -p = -2*j - h. Is j a multiple of 60?
False
Suppose 9 = l + 6. Let z(n) = 19*n**2 + n**l - n + 3*n + 8 - 6*n + 0*n. Is z(-19) a multiple of 19?
False
Let y(m) = m**2 - 56*m + 167. Does 15 divide y(81)?
False
Let b(l) be the third derivative of 11*l**4/6 - 11*l**3/2 + 30*l**2. Is 5 a factor of b(4)?
False
Let a be (-2)/(-7) - 928008/504. Let q = a + 2697. Is 32 a factor of q?
False
Does 18 divide ((-24)/(-20))/(15/900)?
True
Suppose 1772 = 2*u - 4*j, 776*u + 3610 = 780*u + 3*j. Does 9 divide u?
False
Suppose -5*k = 3*a - 43, 0 = -3*k - 3*a + 16 + 11. Let t(j) = j**3 - 7*j**2 - 4*j + 18. Is 10 a factor of t(k)?
True
Let c = -114 - -117. Let g be (c + 357/14)*8/(-3). Is 3 a factor of (g/16)/((-2)/(-24)*-3)?
False
Suppose 227 - 821 = -3*a. Let y = 612 - a. Suppose 3*h = -5*u + y, 6*u - 414 = -3*h + 2*u. Does 23 divide h?
True
Suppose 7*u = 3*u - 6048. Let b be (-23)/((-138)/u)*(-4)/3. Suppose 4*y = -84 + b. Does 7 divide y?
True
Suppose -280 = 4*x + j, 0 = -x - 3*j + j - 70. Let k = -52 - x. Is k/27*((-124)/(-2) - -1) a multiple of 7?
True
Let j be ((-2)/(-6) - -1) + 3250/150. Suppose -j*q - 8*q + 2666 = 0. Is 6 a factor of q?
False
Let z(g) = 51*g + 3074. Let w be z(0). Suppose -42*j = -w + 554. Is j a multiple of 5?
True
Suppose 5*v = -m + 6819, -12*m + 2*v = -8*m - 27386. Does 58 divide m?
True
Suppose 3*y + 164 = -58. Suppose 20*t = 3*w + 22*t - 272, 366 = 4*w + 2*t. Let l = w + y. Does 10 divide l?
True
Suppose -1 - 9 = -5*h + 5*g, -4*h = 5*g - 17. Suppose 0 = 6*f - h*f - 162. Suppose -4*v = -5*v + f. Does 27 divide v?
True
Let u = 0 - -5. Suppose 546 = 3*b - 4*z, -b - u*z - 729 = -5*b. Suppose 78 = 3*h - b. Is 4 a factor of h?
True
Let s(v) = -v**2 - 2 + 2*v**3 + v + 5 - 3*v**3. Let f be s(0). Suppose 2*n + 4*g - 218 = 0, 4*n = f*g + 306 + 75. Is 31 a factor of n?
False
Suppose -4*w - 6 = -10. Let h be -3*(28/(-6) - -3)/w. Suppose -h*d = -5*p + 60, 44 = 3*p + 3*d - 10. Is p even?
False
Let g(w) = -5*w + 40. Let m be g(7). Suppose -132 = m*l - 27. Let z = 26 + l. Does 2 divide z?
False
Suppose -3589 - 4547 = -12*l. Suppose -5*i - y = -l, 3*i = y + y + 412. Suppose 31*x = 32*x - i. Is x a multiple of 34?
True
Let f(s) = 34*s**2 - 10*s + 131. Is f(15) a multiple of 13?
True
Let h = 9606 + -5724. Does 18 divide h?
False
Let v be 205/7 + 40/(-140). Suppose -v*w + 4049 = -20804. Does 31 divide w?
False
Suppose 0 = -5*u - 92*k + 96*k + 15714, -3*k + 12 = 0. Is u a multiple of 30?
False
Is 96 a factor of 36*(-19 - 7294/(-42))?
True
Is ((-1)/(-6))/((-3)/12) + 297530/30 a multiple of 47?
True
Suppose -5*u - 54 = 4*u. Let g be u/5*-2*(-10)/(-8). Suppose -f + 2*b = -36, -g*b = -4*f - f + 208. Is 11 a factor of f?
True
Let w(n) = n**2 - 12*n - 30. Let x be w(14). Let i be (x/4)/(((-13)/64)/13). Suppose 3*k - i - 69 = -2*t, 5*k - 165 = -5*t. Does 7 divide k?
True
Let g = -2898 + 13590. Does 99 divide g?
True
Let n(f) be the first derivative of f**3 - f**2 + 12*f + 9. Let t be n(-11). Suppose 0*p - 4*p + t = -3*b, -5*b - 284 = -3*p. Is p a multiple of 16?
False
Suppose 3*i + 14 + 49 = 0. Let u be 30/2*i/(-63). Suppose x - 58 = -3*a, 61 = -2*a + u*a + 4*x. Is 10 a factor of a?
False
Let s(r) = r**2 + 3*r + 4. Let a be s(-3). Suppose 3*f + 2 = -t, 3*f + 0*t + 3*t + 6 = 0. Suppose a*l + 2*l - 24 = f. Is l a multiple of 4?
True
Suppose 3*r - 4*s + 3*s - 29 = 0, -r - s + 15 = 0. Let a be (155 - 0) + -12 + r. Suppose a = 3*u - 569. Is u a multiple of 27?
False
Let o(s) = -68*s + 755. Is 52 a factor of o(-9)?
False
Suppose 4*y = 3*c + 2958, y = c - y + 988. Let a = 1684 + c. Is 16 a factor of a/12*(0 - -2)?
False
Let m = 211 - 206. Suppose -m*g + 3*g = -216. Is g a multiple of 6?
True
Let r = 5931 - 1599. Does 12 divide r?
True
Suppose b + 4 = -g, -10 = -5*b + 10. Let n = -5 - g. Suppose n*k = -4*w + 246, 2*w = 3*w - 5*k - 73. Is w a multiple of 21?
True
Let o(x) = -3*x + 7. Let v be o(-4). Suppose 25 = 3*k + v. Suppose k*g - 314 = -2*w, -w + 2*w - 3*g - 169 = 0. Does 8 divide w?
True
Does 257 divide 2*3/27 - (-20067106)/2169?
True
Let b(m) = -m**3 + 4*m**2 + 2*m - 6. Let r be b(4). Suppose r*v + 5 = 13. Suppose -v*d = -3*d - 41. Is d a multiple of 34?
False
Let w(y) = -y**2 + 8*y - 9. Let g be w(7). Let u(s) be the first derivative of -7*s**4/4 + s**3/3 + 3*s**2/2 + s + 1. Is u(g) a multiple of 13?
False
Let w(b) = -190*b + 71. Does 27 divide w(-37)?
True
Suppose -b - 3*v - 3 = 0, -3*b - 3 = -v - 4. Suppose b = -5*u - 40*u + 4005. Is u even?
False
Suppose 5*q - 28 - 7 = 0. Let p be (-8)/(-2) + q - -1. Suppose -8*x = -p*x + 60. Is x a multiple of 15?
True
Suppose 2*l - 6*l + d = -4, 20 = -2*l - 5*d. Is 15*(l + (-504)/(-40)) a multiple of 21?
True
Let b = -126 + 318. Suppose 0 = -i + 24 + b. Is 6 a factor of i?
True
Suppose -4*s - 13392 = -67*s + 15*s. Is s a multiple of 177?
False
Let q(g) = -29*g - 63. Suppose -m - 2*m = 12. Does 4 divide q(m)?
False
Let v be (-8)/(24/(-9))*(-50)/(-3). Suppose -v = -2*i + 24. Let h = 58 - i. Is h a multiple of 7?
True
Let m be (-3447)/6*(4/1)/(-1). Is m/45*6 + (-2)/5 a multiple of 5?
False
Suppose -2*i - 42 = 86. Let l = 67 + i. Let h(j) = 11*j**2 - 4*j + 6. Is h(l) a multiple of 14?
False
Let n be 1990/(-55) - 4/(-22). Let l = n + 41. Let f(w) = 6*w**2 - 7*w + 9. Is f(l) a multiple of 14?
False
Is 9 a factor of (1065/(-30))/((-1)/(-27))*10/(-3)?
True
Is -1*(2 + -7)/((-13)/(-6019)) a multiple of 6?
False
Let x = 4839 + -2513. Suppose -3*l = t - x, -3*l - t + 2329 = 3*t. Is 34 a factor of l?
False
Suppose -8*v + 21506 = -56926. Suppose 24*k = 2196 + v. Is k a multiple of 10?
True
Let x be 4*3/(-12)*-2. Suppose -18*b - s = -14*b - 615, -x*s + 465 = 3*b. Is 29 a factor of b?
False
Suppose -22*z - 54 = -19*z. Does 41 divide (-15)/(-5)*((-2670)/z + 2)?
True
Let p(t) = t**3 + 9*t**2 + t + 14. Let d be p(-9). Suppose -2*s + 18 = -2*z, 5*s + d*z + 4 - 9 = 0. Let c(l) = -l**2 + 8*l + 6. Is c(s) a multiple of 11?
False
Let o be 6 + -28 + (4 - 7). Is ((-75)/o)/(6/280) a multiple of 10?
True
Let z(m) = 7*m + 98. Let g be z(-14). Does 14 divide 3058/55 - (g - (-6)/(-15))?
True
Suppose -75596 - 21984 = -4*l. Does 41 divide l?
True
Suppose 22*q = 23*q. Suppose q = 99*y - 100*y + 135. Is 27 a factor of y?