True
Is ((-6)/9 - (-245)/3) + 3 a multiple of 14?
True
Suppose 21 = -4*x + 5. Does 7 divide (-2)/(x/(-7))*(-16)/2?
True
Let k(l) = -84*l - 24. Is 36 a factor of k(-5)?
True
Let a = -5708 + 10858. Does 50 divide a?
True
Let w = -223 + 236. Is 3 a factor of w?
False
Suppose -a + 152 - 21 = 0. Let q = a + -93. Does 5 divide q?
False
Let v(d) be the second derivative of 7/12*d**4 - 5*d + 1/2*d**2 + 3/2*d**3 + 0 - 1/20*d**5. Is 9 a factor of v(8)?
True
Let z(w) = -w**2 + 5*w - 4. Let k be z(3). Suppose 7*a = k*a + 5. Does 20 divide (-1)/a + 162/2?
True
Suppose 0 = 6*u - 8 - 10. Is 12 a factor of 216/2 - 2/(u + -1)?
False
Let h be (-15)/10*-2*6*5. Suppose -5*z - h = -165. Is z a multiple of 15?
True
Is 34030/45 - -4*(-3)/54 a multiple of 17?
False
Suppose -i + 327 = -4*z + 94, -4*z - 5*i = 227. Let g = z + 72. Does 7 divide g?
True
Suppose 0 = 4*o - d - 6171, -36*d - 1542 = -o - 35*d. Is 13 a factor of o?
False
Is 7/(14/(-1))*-1082 a multiple of 7?
False
Suppose -4*r - 5*g + 9734 = 0, -310*r + g = -314*r + 9742. Does 47 divide r?
False
Let y(u) be the second derivative of u**4/12 - u**3/3 + 5*u**2/2 - u. Is y(12) a multiple of 20?
False
Does 83 divide (-728)/(-39)*(-249)/(-4)?
True
Suppose -2*d + 454 = 2*b, 2*b - 464 + 5 = 3*d. Is 12 a factor of b?
True
Let s(t) = t**2 + 7*t + 4. Let j be s(-7). Let d = 22 - j. Suppose -4*h = -h - d. Is h a multiple of 3?
True
Let y(w) = 2*w**2 - 46*w + 78. Is y(41) a multiple of 21?
True
Is (9478/35)/((-10)/(-25)) a multiple of 35?
False
Is 10 a factor of -125*((-36)/5)/4?
False
Let t = 95 - 17. Let j = t - 42. Is j a multiple of 18?
True
Let i(r) = 3*r - 19. Let c be i(8). Suppose 85 = c*j - 35. Does 8 divide j?
True
Does 8 divide (-51)/(-136) - 506/(-16)?
True
Suppose -4*a = -0*a - 12. Let y be 8/12 - (-13)/a. Let l = y + -1. Is l even?
True
Let t = 8 - 6. Let p be t*((-3615)/6)/(-5). Suppose 0 = -5*b + 4*k - 0*k + p, 0 = 2*b - 5*k - 93. Is b a multiple of 22?
False
Let v = 5 - 3. Let q be (-8 - -5) + v*1. Is -27*(q + (-1)/3) a multiple of 12?
True
Let m(p) = -p**3 - 12*p**2 - 12*p + 2. Let g be m(-11). Suppose g = -2*y - f, 14 = 4*f + 2. Let n = 0 - y. Does 8 divide n?
True
Let d be -1420*(21/(-66) + 2/(-11)). Suppose -w + d = 4*w. Is 17 a factor of w?
False
Suppose 0 = -3*h - 3*r - 0*r + 135, -186 = -4*h + 2*r. Let d = h + -38. Is d a multiple of 8?
True
Let u be (-69)/(-15) + (-4)/(-10). Let q be 3/2*(249/9 - -3). Suppose f = -f - 5*w + q, -u*f + 2*w + 86 = 0. Is f a multiple of 9?
True
Suppose 0 = b + 2 - 7. Suppose -4*t + b*c + 297 = 0, -5*c = -3*t - c + 223. Does 42 divide t?
False
Let x(i) = 6*i**2 + 2*i + 4. Let z be x(-5). Suppose -3*l + z = -99. Suppose -24 = -7*t + l. Is t a multiple of 11?
False
Is 12 a factor of (5 + -1121)/(-6) + -1?
False
Let w = 27 + 23. Suppose 5*o + 4*z - w = 2*z, -4*z - 8 = o. Is 4 a factor of (2/(-6))/((-1)/o)?
True
Let w(y) = 31*y + 3. Let g be w(1). Suppose -2*v = -g + 4. Is v a multiple of 15?
True
Let c = 20 - -15. Suppose -2*g - 3*z - 13 = c, -2*z + 8 = 0. Is (36/g)/((-6)/20) a multiple of 3?
False
Let q(a) be the third derivative of -a**6/120 + a**5/4 + a**4/24 + 4*a**3/3 + 5*a**2. Does 6 divide q(15)?
False
Let i = -339 + 955. Is 11 a factor of i?
True
Suppose -2*l = -20 + 22. Let b(g) = 10*g + 2 - 23*g - 24*g. Is b(l) a multiple of 13?
True
Suppose -5*x + 816 = -3*d - 1419, 0 = -5*x - d + 2215. Let z = -302 + x. Does 33 divide z?
False
Let t = -512 - -874. Suppose 373 + t = 7*l. Does 15 divide l?
True
Let t be -115 + 8/(0 - 2). Let n be (0 - 2 - 35)*2. Let w = n - t. Is 18 a factor of w?
False
Let o be (0 - 2/(-6))*3. Is o + 74 - (-9)/(-9)*3 a multiple of 18?
True
Let y be -1*3 - (-1 + -16 - 7). Let h = 24 - y. Does 3 divide h?
True
Let j(n) = n**3 - 5*n**2 - 5*n + 8. Let a = -73 - -81. Is 32 a factor of j(a)?
True
Let j be (-1)/(((-12)/(-10))/(-6)). Suppose 732 = j*x - 3*i - 0*i, -4 = i. Let a = -72 + x. Is a a multiple of 24?
True
Suppose f - 3 = -3*c, 3*c = 5*f + 4*c + 27. Let u be f/8 + 39/52. Suppose 3*l - 96 = -0*m - 3*m, 5*m - 10 = u. Is 10 a factor of l?
True
Suppose -26*t + 23*t + 15453 = 0. Is 17 a factor of t?
True
Suppose 15*s = -23*s + 86640. Does 8 divide s?
True
Let h = -1375 + 1597. Does 9 divide h?
False
Suppose 3*s = -3*l + 4137, 21*l - 16*l = -s + 1399. Is s a multiple of 15?
False
Let k be (5/4 - 2)*(-32)/(-1). Suppose 0 = -2*h - 227 + 67. Let l = k - h. Is 21 a factor of l?
False
Suppose -x + 2*t + t + 8 = 0, 0 = -x - 2*t + 3. Suppose 17 = 3*f + 5*j - 56, x*f - 4*j - 97 = 0. Does 7 divide f?
True
Let z(w) = w**3 - 19*w**2 + 40*w - 23. Let g be z(17). Let y = g - 56. Does 3 divide y?
False
Let n = 24 + 121. Suppose 13*z + 165 = -914. Let b = n + z. Is b a multiple of 31?
True
Let d = 60 + 1. Let k = 113 - d. Is 26 a factor of k?
True
Suppose -7*w + 3*w = -2372. Suppose 0 = -6*v + w + 367. Is 15 a factor of v?
False
Suppose 0 = -2*l + z + 616, -20*l + 15*l = 5*z - 1570. Does 62 divide l?
True
Let s be (15 - 13)/(2/6). Suppose -4*q - s - 2 = 0. Is 32 a factor of (-1)/(q/226 - 0)?
False
Suppose 0 = -79*c + 81*c - 4. Suppose -u = -7 + c, 5*q = -2*u + 350. Is 31 a factor of q?
False
Let s(w) = -1 + 5*w + 12 + 3 - 1. Is s(0) a multiple of 7?
False
Let r(a) = -a**3 - 10*a**2 - 7*a. Suppose 8*j + 100 = -2*j. Is r(j) a multiple of 10?
True
Let q(k) = -k**3 - 5*k**2 + 15*k + 22. Is 12 a factor of q(-7)?
False
Suppose -3*v - 4*c + 578 = 0, -3*c = -2*v - 2*c + 400. Let k = -76 + v. Is k a multiple of 20?
False
Suppose -p = 2*p - 3*q - 210, -3*q - 141 = -2*p. Does 6 divide p?
False
Let q = -25 - -20. Let k = 17 + q. Is 7 a factor of k/(-18)*(-41 + -1)?
True
Suppose 5 = o - 3. Let n be o/(-2)*(-54)/(-24). Let y(v) = -v + 11. Is 10 a factor of y(n)?
True
Let a(q) be the second derivative of -9*q + 2/3*q**3 + 10*q**2 + 0. Is 25 a factor of a(11)?
False
Suppose 0 = -y, 12 = -0*r - r + 3*y. Does 7 divide (21/r)/((-2)/88)?
True
Suppose 3*i - 11864 = 4*l, -82*i = -86*i + 4*l + 15816. Is i a multiple of 15?
False
Suppose 0 = -4*h + 2*b + 200, -h - 4*b = -5*h + 192. Is 13 a factor of h?
True
Let m(a) = -42*a - 33. Let l be m(-14). Suppose 0*z = 5*d - 5*z - l, -4*d + 454 = z. Is d a multiple of 14?
False
Suppose -27*f + 77*f = 36900. Does 6 divide f?
True
Is (54/12)/(9/186) even?
False
Let k(h) = h + 12. Let d be k(-6). Suppose 0*t + t + d = -y, 4*y + 20 = -2*t. Is 1/t - (-210)/20 a multiple of 4?
False
Let t(a) = -a**3 - 10*a**2 + 3. Suppose -3*b = 3*y + 18, -1 + 5 = b. Is t(y) a multiple of 3?
True
Let z = -16 + 18. Suppose -z*i - 4 = -16. Is i even?
True
Let l be (2/2 + 0)*(-110)/(-1). Let t = -47 + l. Is t a multiple of 21?
True
Suppose -10 = 5*j - 7*j. Suppose -j*v + 4*p + 144 = 0, 5*v - 5*p - 156 = -4*p. Is 16 a factor of v?
True
Let t(v) = -3*v - 7. Let m(w) = w**2 + w - 3. Let i be m(-4). Let p = i + -16. Is t(p) a multiple of 14?
True
Let h(r) = -7*r**2 + 24*r + 16. Suppose 0*w = w - 5. Let o(n) = -10*n**2 + 36*n + 24. Let x(i) = w*o(i) - 7*h(i). Is x(12) a multiple of 8?
True
Suppose 2*t = 64*i - 60*i + 1710, i = -4*t + 3375. Does 13 divide t?
True
Let r be (2/(-3))/(5/90). Let c = r - -16. Suppose -4*l + 7*y - c*y = -59, 0 = 5*l - y - 82. Is 7 a factor of l?
False
Is 55 a factor of 1/(12/3207) - 6/24?
False
Let i = -3 + 7. Suppose -276 = -4*l + i*d, 3*d - d = 5*l - 330. Does 32 divide l?
True
Suppose -3 = -5*k - 4*y, -2*k - 13 = 5*y - 4. Suppose 0 = -5*b - m + 7, -2*m - 1 + 2 = -k*b. Let c(r) = 37*r. Does 11 divide c(b)?
False
Suppose 0 = l + 5, -39 = -3*d - l + 28. Is 8 a factor of d?
True
Suppose 2*w + 2*w = 104. Does 18 divide 3752/52 - 4/w?
True
Let n(r) = 3*r**2 - r + 7. Let b(o) = o + 1. Let d(w) = -5*b(w) + n(w). Let t = 10 - 6. Is d(t) a multiple of 11?
False
Let h(d) = 30*d**2 - d - 7. Let m be h(-2). Let o = 342 - m. Is 19 a factor of o?
False
Does 9 divide (-2791)/(-4) - ((-54)/24 - -3)?
False
Let x(g) = 25*g**2 + 2*g - 1. Let y be x(1). Let j be (-2)/13 + 628/y. Suppose 2*p + 0*p = j. Is p a multiple of 4?
True
Let r(t) = 6*t + 21. Suppose 3*a - 8 = 16. Is 12 a factor of r(a)?
False
Suppose k - 1009 = 2*i, 3*i + 2*k = -2*k - 1541. Is 2*(-4)/32 - i/12 a multiple of 21?
True
Let z(b) = 2*b**2 + 3*b + 3. Let k be z(-2). Suppose 6 = -3*n + g + 54, -60 = -3*n + k*g. Is 5 a factor of n?
True
Suppose -6*z = -9*z + 6. Suppose 2*t - 2*q - 166 = 0, -z*t 