m. Let n = 45 + z. Does 10 divide n?
True
Suppose k = -7*k + 1920. Suppose -7*u + u = -k. Is u a multiple of 17?
False
Let q(g) = -8*g - 2*g - 3 + 93*g**2 - 6 - 91*g**2. Let o(d) = 3*d - 4. Let t be o(4). Is 13 a factor of q(t)?
True
Let z(g) = -g**2 + 3*g - 2. Let c be z(5). Let p = 24 + c. Is p a multiple of 7?
False
Let w = -20 - -31. Suppose -247 + w = -2*b. Let r = -58 + b. Is 14 a factor of r?
False
Let j(w) = -w**2 - 7*w - 6. Suppose -3*h + 32 = 5*u, 4*h - 20 = -u + 34. Suppose -16 = -l + 4*c, -4*c = 3*l + 18 + h. Is j(l) a multiple of 4?
False
Let k be 111*(4 + -3) - 2. Let n = 458 - k. Is n a multiple of 47?
False
Does 10 divide 46/(-161) + 42046/14?
False
Let b(z) = -z + 5. Let q be b(12). Does 32 divide 70 - q*((-23)/7 + 3)?
False
Let j be -141*(-2 + (-28)/(-12)). Let d = j + 59. Is 6 a factor of d?
True
Let o be (-11)/(0/4 - 1). Let r = 29 - o. Is 18 a factor of r?
True
Suppose -5*p + 348 = 68. Suppose -3*l + 48 = 3*s, 4*l - 3*s - p = s. Suppose -5*j + l*j = 360. Is j a multiple of 7?
False
Let z be (2 + -4)/(-2*1/3). Suppose 40 = -z*n + 229. Does 9 divide n?
True
Suppose 43*q - 48*q = 20. Does 8 divide (-46)/q + (-2)/4?
False
Suppose 2*y - y = -549. Let b be 2/5 + y/(-15). Let w = b - 25. Is w a multiple of 8?
False
Suppose 3*d + 2*d - 60 = 0. Let p be 3/d - (-429)/12. Is 13 a factor of p + 5/(5/3)?
True
Suppose 2*q - 3 = -5. Let c(g) = -47*g**2 + g. Let z(o) = -48*o**2 + o. Let j(i) = -7*c(i) + 6*z(i). Does 14 divide j(q)?
True
Suppose 0 = -2*f - f + 3. Let l be (-9 - -10)*(f + -10). Let d(h) = h**2 + h - 12. Is d(l) a multiple of 20?
True
Let w = -2262 - -3414. Does 72 divide w?
True
Let z = -10 - -9. Does 23 divide 22*1 - (0 + z)?
True
Is (10/(-45)*-3)/((-8)/(-1116)) a multiple of 27?
False
Let d = -89 + 41. Let m be 1/1 - (d - 8). Suppose 5*j + 0*j = -h + m, -3*j + 27 = 3*h. Is j a multiple of 4?
True
Let k = 729 - 464. Suppose k = 5*a - 170. Suppose 5*f - 3*y - 289 = 0, -4*f + a = -4*y - 141. Is 12 a factor of f?
False
Suppose -692 = -4*k - 0*k. Suppose k + 2 = -5*w. Let f = 4 - w. Is 13 a factor of f?
True
Let q = 197 + -110. Let h be (-4)/(-14) + 47/7. Let d = q + h. Does 32 divide d?
False
Let l be -3 + (2898 - 3)/5. Suppose -144 = -2*j + j + y, 4*j - l = -y. Is j a multiple of 16?
True
Let i = -26 + 22. Let b(s) = -s**2 + 2*s - 7. Let k be b(6). Does 10 divide k*(-1)/((-4)/i)?
False
Let x(z) = -z**2 + 8*z - 9. Suppose 9*t = 4*t + 4*h + 26, 3*h = -5*t + 33. Let p be x(t). Is 6 a factor of (3/p)/(3/54)?
True
Is 30 a factor of (-2381)/(-10) - 2/20?
False
Suppose 3*g = g. Suppose -5*b + 126 + 74 = g. Does 7 divide b?
False
Suppose 0 = -4*j + 4*o - 120, -55 = 2*j - 4*o + 5. Let h = j - -40. Is h a multiple of 10?
True
Suppose -n + 64 = -4. Let r = 106 + n. Is 10 a factor of r?
False
Suppose -15*m + 5594 - 1394 = 0. Is m a multiple of 11?
False
Let b(w) = -3*w**2 - w + 884. Is b(0) a multiple of 52?
True
Suppose 8*i - 74 - 22 = 0. Is 3 a factor of i?
True
Suppose 0 = 3*h - 4*z + z + 114, 0 = 5*h - 2*z + 196. Let t be h/(-12)*3/(-2). Does 9 divide (-6)/15 - 217/t?
False
Let k(w) = w**3 + 4*w + 124. Is 32 a factor of k(0)?
False
Let b(u) = 9*u - 73. Does 13 divide b(25)?
False
Let a = 48 - -26. Let o = 12 - 50. Let i = a + o. Does 18 divide i?
True
Is (-4 - 59/4)/(3/(-12)) a multiple of 3?
True
Let u = -3 + -22. Is 9 a factor of u*(1 + -1 - 2)?
False
Suppose 2*w - 4 = -2*c + 5*w, 4*w + 8 = 4*c. Is (c - 2) + 3 + 123 a multiple of 23?
False
Let x = 717 - 589. Is x a multiple of 4?
True
Let u(g) = g**2 + 9*g + 7. Let a be u(-9). Suppose -a*c + 3*c + 296 = 0. Suppose 3*y + v = -4*v + c, v = y - 38. Is y a multiple of 11?
True
Suppose 6 = t + 5*x, 5*x + 14 = -1. Is 6 a factor of 128/7 + 0 + (-6)/t?
True
Let p = -285 - -478. Suppose 3*n - p = -13. Is n a multiple of 20?
True
Suppose -2*m - 70 - 30 = 0. Let d be 30/4*(-1480)/m. Let n = -147 + d. Is n a multiple of 14?
False
Let k = -2760 - -7121. Does 29 divide k?
False
Let r(h) = 4*h**2 + 3*h - 4. Let v be 0/(-1) + 24/(-4). Let s be r(v). Suppose -3*n + s = -b, 3*n - 4*b + 2*b = 118. Does 14 divide n?
True
Let y(c) = c - 4. Let h be y(7). Let m be (-4)/(-1) - (h - 1). Let i = m - -26. Is 8 a factor of i?
False
Let x = 14 + -11. Suppose 4*j = -x*j + 42. Is j a multiple of 3?
True
Let l be 2*8/((-16)/55). Let i = l - -100. Is 25 a factor of i?
False
Let s(m) = m**3 + 2*m**2 - 3*m - 3. Let k be s(-2). Suppose 2*q - k = -o, 5*o + 2*q - 4 = 3*q. Is (15/5)/(o/5) a multiple of 5?
True
Is 16 a factor of (-5400)/12*-4 + 3?
False
Let x(a) = a**3 - 21*a**2 + 21*a - 19. Let b be x(20). Let f = 32 - b. Does 6 divide f?
False
Suppose 2*f - 5*s - 28 = -0*f, 0 = -s - 4. Let j(x) = x**2 + f*x**3 - 17*x**3 + x**2 - x**2. Is j(-1) a multiple of 14?
True
Suppose -16*s - 34*s = -62300. Is s a multiple of 5?
False
Let w = 197 + -135. Suppose -1 = -3*a + w. Is 7 a factor of a?
True
Let x = 184 - 114. Let c = x - 12. Is c a multiple of 9?
False
Let r(u) = 90*u**2 + 13*u - 26. Is 15 a factor of r(2)?
True
Does 10 divide ((-4)/10)/(2 + (-6310)/3150)?
False
Let x be (-5)/(45/(-12)) - (-4)/6. Is 6 a factor of 5 + 77 + (-2)/(x/(-2))?
True
Let n(t) = t**2 + 16*t + 49. Let i be n(-11). Is 4 a factor of i/9*(-1290)/20?
False
Suppose 2*z - 2*b = 235 + 433, -z - 4*b + 344 = 0. Let v = 492 - z. Does 13 divide v?
True
Let h be (-1)/(-3) - 80/(-12). Suppose 12*q + 180 = h*q. Let g = -21 - q. Does 4 divide g?
False
Suppose -2*s = -6 + 4. Is ((-1)/3*-33)/s a multiple of 11?
True
Suppose 6*t - 157 = -49. Suppose 0 = 6*s - 186 - t. Is 5 a factor of s?
False
Suppose f + 21 = 8*f. Let l = f - -111. Is l a multiple of 6?
True
Suppose -4*c - 3*n = -8*c + 475, -593 = -5*c + 3*n. Suppose -2*v = -0*v - c. Is 13 a factor of v?
False
Does 13 divide (-2 - 33)/(-7) - 491*-6?
True
Suppose 32 + 34 = -3*s. Is 11 a factor of (-4)/s - 720/(-33)?
True
Let g = 469 + -259. Is 14 a factor of g?
True
Suppose 0 = -s + 27 - 2. Suppose -20*b = -s*b + 545. Is 22 a factor of b?
False
Let v(k) = -7*k - k - 6*k + 2. Let r be v(-8). Suppose 0*w = -2*m - 3*w + 49, 5*m = w + r. Is 13 a factor of m?
False
Suppose -12*k = -13*k + 55. Is ((-2002)/k)/(2/(-10)) a multiple of 14?
True
Let x(c) = -c + 4. Let l(r) = -r**2 - 5*r - 2. Let u be l(-4). Let n be x(u). Does 25 divide -5 + 4 + n*13?
True
Let g = 18 + -31. Let w = g + 17. Suppose 0 = -3*n - 3, h - 13 = -0*h + w*n. Is h a multiple of 2?
False
Let c(z) be the first derivative of z**3/3 - 5*z**2/2 - 4*z - 9. Let o be c(-6). Suppose -3*t + 4*t - 23 = 2*n, -n + o = 3*t. Does 6 divide t?
False
Suppose -32 = -3*j - 2. Suppose 0*i - 5*i = -3*o + 32, 0 = o - 2*i - j. Does 5 divide o?
False
Let k be (-16)/6 + (-2)/6 + 283. Suppose 2*p - 172 = h, 4 = -3*p - 3*h + k. Is p a multiple of 12?
False
Let a be 4/22 - 702/(-11). Suppose 5*p = -a - 6. Does 21 divide (-7)/(p/8) - -116?
False
Let d = -2290 + 2575. Does 15 divide d?
True
Is 10 a factor of 24/(-30) + (-1729)/(-5)?
False
Suppose 0*r + 72 = 3*s - 2*r, 0 = 3*s + 3*r - 57. Suppose s*m - 24*m = -84. Is m a multiple of 5?
False
Let o be 34 - 2/((-8)/(-12)). Let p = -32 + o. Is -6*10*(-2 - p) a multiple of 20?
True
Let a be (-14 + 4 - -3) + 5. Let l = 32 - 66. Is 17 a factor of 17/l - 35/a?
True
Suppose 0 = 3*s - 28 + 7. Let l = s - 5. Is -3*21/(-18)*l a multiple of 2?
False
Suppose 3*k - 2*y - 615 = 0, -6*y = 2*k - 2*y - 394. Let w = k + -13. Is 38 a factor of w?
True
Let r = -6 + 13. Suppose 0 = -4*b + 3*p - r, p = b + 4 - 1. Is 11 a factor of (0 + b)*(-14)/(-2)?
False
Let r(s) = -s**2 - 12*s - 14. Let q = 15 - 25. Does 2 divide r(q)?
True
Suppose 0*x = 17*x - 8500. Is x a multiple of 25?
True
Let w(c) = 3*c**2 + 54*c + 443. Is w(-29) a multiple of 81?
False
Is 359/4 - (17/(-4) - -4) a multiple of 18?
True
Let g be (2/8)/(25/(-40))*35. Is 28/5 - 1/(35/g) even?
True
Let l(k) = 120*k - 3. Let f be l(2). Suppose -f + 26 = -n - 4*d, -2*n = 4*d - 414. Is 26 a factor of n?
False
Suppose 0 = -2*n - 2*n - 3*s + 5, 0 = -n + 3*s - 10. Is -10*(348/(-60) - n/(-5)) a multiple of 15?
True
Let y = 6 + -10. Let i(h) = -h**3 - 9*h**2 + 13*h - 14. Let n be i(-10). Is 0 + -3 - n - y a multiple of 12?
False
Let s(r) = 1446*r - 12. Is s(2) a multiple of 80?
True
Let y = 29 + -122. Let l = y - -282. Suppose -2*w + 52 = k, -6*w - l = -3*k - w. Does 12 divide k?
False
Suppose -5*u + z 