vide 2384/3 + (64/(-24))/4?
False
Let d = -1096 - -1971. Is d a multiple of 35?
True
Let o be ((-210)/(-4))/((-3)/(-6)). Suppose -g + 99 = 2*t, -5*t - o - 203 = -3*g. Is g a multiple of 17?
False
Let j = -1303 - -2459. Does 34 divide j?
True
Let m = 499 - 446. Is m a multiple of 53?
True
Let l = 46 + 32. Suppose 5*u + 60 = -0*p + 5*p, 0 = 4*p + 2*u - l. Is 17 a factor of p?
True
Let p be 0 - 5/(-3)*-3. Let r = p - -5. Suppose -l + 4*s + 29 = r, -5*l = 4*s - 38 - 203. Is 9 a factor of l?
True
Suppose 0 = -3*n + 114 - 63. Let z = 82 + n. Is z a multiple of 9?
True
Suppose -2*s + 9 - 5 = 0. Suppose -f = 3*x - 73, 2*f = 1 - 5. Suppose 5*u - s*u - x = -a, u = -a + 27. Is 15 a factor of a?
False
Let p(y) = -103*y + 101. Is p(-8) a multiple of 37?
True
Suppose -8*g + 15 = -3*g. Suppose 4*c + 164 = 2*j, -g*j + 205 = c - 20. Let d = j - 49. Does 9 divide d?
True
Suppose -2*u - 3*u - 2205 = -5*r, -2*r - 5*u + 875 = 0. Is r a multiple of 27?
False
Let v(s) = -6*s**2 + 16*s + 3. Let x be v(6). Let p = x + 189. Is p a multiple of 9?
True
Is 12/15 + (-236)/(-5) a multiple of 3?
True
Let d(l) = l**2 - 9*l. Let k = 3 + 12. Is d(k) a multiple of 16?
False
Suppose 3*v - 5*v = -4. Suppose 5*p + v = -3*a - 7, 0 = 3*p + 5*a + 15. Suppose p = -y + 46 + 24. Is y a multiple of 10?
True
Let t be 96/30 + 2/(-20)*2. Does 31 divide ((-2)/4)/(2/(-1788)*t)?
False
Let n = 56 + -98. Is 5 a factor of (-21)/6*240/n?
True
Let w be 2 + -179 - (-2 - (-2 + -1)). Let i = -233 - -124. Let t = i - w. Does 21 divide t?
False
Suppose -156037 + 46669 = -42*x. Does 93 divide x?
True
Suppose -3*j - 9 = -6*j. Suppose -j*i + 64 = -116. Is i a multiple of 15?
True
Suppose 5 = 2*t - 1. Let u(m) = -4*m**2 + m - 5. Let h(z) = 3*z**2 + 4. Let s(b) = t*h(b) + 2*u(b). Does 13 divide s(-6)?
True
Let h(z) = 4*z**2 + 3*z - 111. Is h(-12) a multiple of 16?
False
Suppose 2*a - 146 = -2*t - 16, 25 = 5*t. Does 10 divide a?
True
Let z be ((-2)/4)/((-4)/56). Suppose -z*x + 87 = -81. Does 7 divide x?
False
Suppose -92*n = -87*n - 1985. Does 59 divide n?
False
Let f(j) = j**3 + 26*j**2 + 62*j + 14. Does 45 divide f(-15)?
False
Suppose 0 = -2*z - 0 + 2. Is -92*(-1 - (z - 1)) a multiple of 23?
True
Let g be 1/(-2 + 36/16). Suppose 6*h = 3*h - g*o + 159, 86 = 2*h - 4*o. Let u = 111 - h. Is u a multiple of 16?
False
Is 48 a factor of -96*9/((-216)/174)?
False
Suppose 3*g - 4*o - 21 = 0, -7*o = g - 5*o + 3. Let s(q) = -q + 3. Let c be s(3). Suppose g*j - 143 + 23 = c. Is j a multiple of 20?
True
Let j(q) = q**2 + 7*q + 4. Let r be j(-8). Suppose 0 = 4*n - 8 - r. Suppose -80 = -4*d + n*b, 2*d = 3*d - 2*b - 20. Is d a multiple of 5?
True
Let t(p) = 29*p + 264. Does 59 divide t(49)?
False
Let o be 12/15*5/2. Let d be (o + -1)*-1 + 4. Suppose -144 = g - d*g. Is g a multiple of 20?
False
Let f be (-2)/2*(1 - 1). Let b = 18 + -6. Is 2 a factor of (f - -3)*b/9?
True
Let u(s) = 32*s**2 - 35*s - 9. Does 21 divide u(-5)?
True
Let j(q) be the second derivative of -q**3/6 - 3*q**2/2 - 3*q. Let n(g) = 3*g - 4. Let c be n(-2). Is 3 a factor of j(c)?
False
Suppose 0 = -2*a - 5*w + 5 - 1, a - 2 = -5*w. Suppose -a*q = -3*x - 21, 0 = 6*q - 11*q - x + 27. Is q a multiple of 3?
True
Suppose 4*k - 100 = 2*q + 52, -3*q - 3*k - 264 = 0. Let o = 108 + q. Does 8 divide o?
True
Is 14 a factor of 19/(152/4576) - -2?
True
Let o(u) = 53*u**3 + 2*u**2 + 23*u - 51. Is o(2) a multiple of 61?
True
Let i(u) = 6*u**3 - 3*u**2 + 2*u + 5. Does 21 divide i(4)?
False
Let k(f) be the second derivative of 0 + 6*f**2 - 8*f + 5/6*f**3 - 1/12*f**4. Is k(6) a multiple of 2?
True
Suppose 888 = 5*q + 4*x, 0 = -89*x + 87*x + 4. Does 16 divide q?
True
Let y be (-5)/(28/(-8) - -4). Let h = 18 + y. Is h a multiple of 4?
True
Let r(v) be the first derivative of 5*v**3/3 - 7*v**2/2 + 8*v - 11. Let b = 0 + 3. Is 8 a factor of r(b)?
True
Let r = 210 - 184. Does 6 divide r?
False
Suppose 267 = 192*n - 191*n. Is n a multiple of 3?
True
Suppose -17*q = -2*q - 3195. Does 8 divide q?
False
Suppose 4*c + 5*d - 1574 = 0, 3*c - 4*c + 402 = -3*d. Is c a multiple of 44?
True
Suppose 2*u - 3*b = b + 212, 0 = 4*u + 5*b - 437. Let d = u + -97. Does 4 divide d?
False
Suppose 12*q - 1544 = 4*q. Suppose q = 13*g + 63. Does 10 divide g?
True
Let k(u) = -2*u**3 - 25*u**2 + 12*u + 13. Let i be 118/(-9) + 9/81. Is 13 a factor of k(i)?
True
Let m be (-3 + (17 - 3))*1. Suppose 1 + m = -4*a. Is 6 a factor of 2/a - 213/(-9)?
False
Is 30 a factor of (7/(28/312))/(6/15)?
False
Suppose 18*d = 7*d + 2299. Suppose -d = -5*a - 44. Is a a multiple of 3?
True
Suppose -707 = -3*b + 2*b. Suppose 1820 = 5*t + c, 2*t + c - b = 21. Is t a multiple of 13?
True
Let u(g) = -3*g**3 + g + 1. Let q be u(-1). Suppose 10 + 2 = q*k. Suppose -k*m = -171 + 51. Is 10 a factor of m?
True
Let u(n) = n**2 + 3*n + 1. Let k be u(5). Suppose k = 3*b - 136. Suppose -4*q - x + b = 0, q + 2*x - 3 = 3. Does 11 divide q?
False
Suppose 81*i = 27*i + 25002. Is i a multiple of 10?
False
Suppose -22*u = -28*u + 1800. Is u a multiple of 25?
True
Suppose -2*z = 7*z - 18. Suppose z = 2*b - 6. Let n(a) = 3*a**2 - 4*a + 9. Is n(b) a multiple of 9?
False
Let l(c) = -137*c - 248. Is l(-5) a multiple of 30?
False
Let z = 66 - 372. Let c = 441 + z. Is c a multiple of 30?
False
Suppose -1 = -g, 3*d + 3 = g + 2. Suppose d = -y + 30 + 1. Is 31 a factor of y?
True
Suppose -7*u + 21802 - 5828 = 0. Does 14 divide u?
True
Let c be (-3)/(-4) - 117/(-36). Let y(n) = n**2 + 4*n - 11. Is y(c) a multiple of 21?
True
Let g(p) = -36*p + 28 + 29 - 57. Does 12 divide g(-3)?
True
Suppose -3*k - z = z + 6, 5*z + 15 = -5*k. Suppose -5*w + 2*y + 658 = 0, 2*w + 2*y = -k*w + 266. Is 22 a factor of w?
True
Suppose 0 = 7*g - 9*g - 6. Let z be g/8 + 12/32. Suppose z - 40 = -2*n. Is n a multiple of 10?
True
Is (-1 + -1)/((-16)/16592) + 5 a multiple of 11?
True
Suppose 9*i - 11*i + 12 = 0. Is 19 a factor of 363/i - (-2)/4?
False
Let d(q) = 76*q - 4. Let m(l) = 153*l - 9. Let r(i) = -5*d(i) + 2*m(i). Does 26 divide r(-1)?
False
Suppose 0 = -3*l + 30 - 12. Suppose -4*m + 5*u = -45, 2*u = m - l - 9. Suppose m*c + z - 111 = 5*z, -c = -3*z - 31. Is 19 a factor of c?
True
Suppose 4*x = -4, -2*j + 17 = -8*x + 3*x. Suppose -j*v + 10*v = 0. Suppose -a + 11 = -v. Is a a multiple of 4?
False
Let i = 77 - 233. Let c = i - -287. Does 20 divide c?
False
Let u = 44 - 40. Let t(h) = 6*h**2 - 1. Does 19 divide t(u)?
True
Let t(o) = o**2 - 9*o - 61. Is 13 a factor of t(-15)?
True
Let f = -403 - -479. Is f a multiple of 19?
True
Let h(l) = l**3 + 12*l**2 - 13*l + 4. Let i be h(-13). Suppose 0 = -0*m + i*m - 320. Is 28 a factor of m?
False
Let a(q) = q**3 + 4*q**2 + 1. Let r be a(-4). Suppose -5*l = -v + r, 14 = -2*v - l + 5. Let w(g) = -14*g - 4. Does 28 divide w(v)?
False
Let w = -4146 - -6290. Is 67 a factor of w?
True
Let i(p) = -p. Let g(b) = -b**2 + 9*b + 7. Let v(k) = -g(k) - 4*i(k). Is 5 a factor of v(-3)?
False
Let q = -5 + 5. Suppose -3*f + 5*f - 4 = q. Suppose -5*m + 4*p = -136, -f*m - m - 2*p + 64 = 0. Is m a multiple of 24?
True
Let l(v) = 4*v - 20. Let q be l(5). Is q/2 + 9 - 1 a multiple of 2?
True
Let k = 19 + -18. Does 11 divide k + 14/(-10) + (-82)/(-5)?
False
Let w = 1 + 4. Suppose 70 = r - 4*l, w*r + 3*l = 4*l + 293. Let h = r - 16. Does 13 divide h?
False
Let o = -122 + 125. Suppose g = -o*g + 804. Is g a multiple of 13?
False
Let s(v) = -v**3 - 40*v**2 - 208*v + 85. Is 10 a factor of s(-35)?
True
Let a(b) = -9*b**3 + 5*b**2 + 11*b - 2. Is a(-3) a multiple of 30?
False
Suppose -360 = 5*y - 6*y. Does 60 divide y?
True
Let d = -257 + 400. Does 8 divide d?
False
Suppose -240 = 3*j - 7*j. Does 15 divide j?
True
Let x = 6 + -3. Suppose 0 = a + x*a - 64. Does 4 divide a?
True
Suppose 3*q + 3*c = -3, 5*q - 9 = 5*c + 26. Suppose 4*b = -5*k + 56, q*b = -k - b + 24. Is k a multiple of 6?
False
Let m be ((-81)/12)/(6/(-64)). Suppose 2*q - 58 = -h - 3*h, 5*h - m = -3*q. Is 3 a factor of h?
True
Suppose 2 = 3*k - 1. Let v be k*(7 - (1 + 2)). Suppose -53 = -a - v. Is 14 a factor of a?
False
Let u(w) = 29*w**2 + 5*w + 6. Suppose 7*a + 13 + 8 = 0. Let x be u(a). Suppose -12*z = -5*z - x. Does 12 divide z?
True
Let m(h) = -2*h**2 - 7*h - 3. Let r be m(5). Is 278/16 - (-33)/r a multiple of 5?
False
Let q(h) = -3*h**2 + 62*h - 3. Is q(15) a multiple of 28?
True
Suppose -26602 =