*x + 11. Let u be t(-27). Suppose 4*q - 5*m - 43 = 54, -5*q = 2*m - u. Let b = q + 200. Is b a multiple of 30?
False
Let l = -717 + 1417. Let c(f) = 31*f**3 + 1. Let y be c(-1). Is (l/y)/(1/(-3) - 0) a multiple of 7?
True
Let u(n) = -4*n - 1. Let o be u(0). Let q be ((2 - o)/9)/((-5)/(-855)). Let y = 85 - q. Is y a multiple of 7?
True
Does 36 divide 2 + 20553 + 26 + -36?
False
Is 261 a factor of (((-54)/(-24))/3 - (-36)/(-48)) + 15660?
True
Let x(s) = 450*s - 1298. Is 22 a factor of x(14)?
False
Suppose -27*s + 10*s + 34 = 0. Is 22 a factor of (-8)/(-24)*3822/s?
False
Let r be (-2)/(5*(189/195 - 1)). Suppose 10*z - 312 = -v + r*z, 5*z + 1590 = 5*v. Is v a multiple of 16?
False
Let u = 7848 - 7658. Does 10 divide u?
True
Suppose -b = -41 + 54. Let j = 124 - b. Is j a multiple of 5?
False
Let h be 9 + (3 - 7 - -2). Let j(r) be the third derivative of 19*r**4/24 - 29*r**3/6 - 5*r**2. Does 13 divide j(h)?
True
Let b = -21 + 25. Suppose -b*d + 2*c + 3*c = -28, 4 = d - 2*c. Is d even?
True
Suppose 0 = -18*c + 161 + 1. Is 19 a factor of ((-3051)/c - 3)*1/(-1)?
True
Is 3/((-931)/6136 + (462/(-39) - -12)) a multiple of 24?
True
Suppose 11*h + 191 = 7*t + 14*h, -2*h = -2*t + 66. Does 4 divide t?
False
Suppose 0 = -5*b + 23*w - 18*w + 51115, -40886 = -4*b + 2*w. Is 146 a factor of b?
True
Let z be 5*((-1302)/(-30) - 5). Suppose -z*s = -188*s - 460. Does 15 divide s?
False
Let x(d) = 29*d - 645. Does 45 divide x(32)?
False
Suppose 87*v + 4405175 = 525*v - 2398717. Is v a multiple of 18?
True
Suppose -4*j + 116 = 3*c + 386, -3*c = -6. Let n = j - -77. Suppose 0 = -n*r + 165 + 139. Is r a multiple of 12?
False
Let g be ((-8)/(-12))/(6/468). Does 7 divide (-13 - 1)/((-13)/g)?
True
Suppose z + 69533 = -16*l + 20*l, 2*l - 34754 = -2*z. Is 251 a factor of l?
False
Let k = 6008 - 5944. Suppose 10 = 6*d - 4*d. Suppose -2*t - 410 + k = -5*z, -4*t = -d*z + 342. Is z a multiple of 7?
True
Let s = -3 + 0. Let z be -1 + (6/(-2))/s. Suppose 4*a - 3*u - 15 = 82, z = -2*a - 3*u + 53. Is a a multiple of 3?
False
Is ((-60)/14 + (5 - 1))*(-130399 - -3) a multiple of 20?
False
Let f(q) = -8*q - 36. Suppose 10*h - 12 = -92. Let c be f(h). Suppose -27*a + c*a - 144 = 0. Does 55 divide a?
False
Suppose g = -3*g + g. Suppose 0 = -g*k - 4*k + 168. Does 14 divide ((k - -2) + 4)*1?
False
Let t be 155 + -6 + 4 + -1. Let x = 178 - t. Does 12 divide x?
False
Suppose 2*f = 8*f + 30. Let s be 7 - f/((-15)/(-6)). Suppose s*j = 2*j + 273. Does 9 divide j?
False
Let p be ((-1)/(-2))/(11/66176). Let y = p + -2116. Is y a multiple of 18?
False
Suppose 5978 = 52*s - 45*s. Let g = -371 + s. Does 69 divide g?
True
Let j(h) = 4*h - 3. Let a(z) = -z**3 - 5*z**2 - 7*z. Let m be a(-2). Does 5 divide j(m)?
True
Let j = -14 + 18. Suppose -i = -2*l + 154 - 404, i = -j*l + 256. Is i a multiple of 38?
False
Suppose -z = x - 17875, 2*z - 51713 = -5*x - 15951. Does 253 divide z?
False
Let c(a) = -4*a**3 + a**2 + 9*a + 3. Let y be c(-3). Let o = y + 184. Is o a multiple of 12?
False
Suppose 0 = 136*r - 124*r - 5472. Let d(u) = u**2 + 4*u - 6. Let w be d(-6). Suppose 14*q = w*q + r. Does 7 divide q?
False
Suppose -21 = 3*r + 108. Let d = r + 55. Is d a multiple of 6?
True
Let h = 601 - 2793. Let w be h/6*1*(0 + -3). Suppose -10*j = 276 - w. Is j a multiple of 18?
False
Let z(w) = w**2 - 5*w + 3. Let n be z(5). Suppose 0 = j - 6 + n. Suppose 0 = 2*c + j*c + 3*q - 231, 54 = c - 2*q. Is 8 a factor of c?
True
Suppose y - 8*y = 3241. Let j = y + 694. Is ((-2)/1)/((-7)/j) a multiple of 11?
True
Suppose -5*u + 48 = -13*u, -2*l + 34054 = -u. Is l a multiple of 14?
True
Let v(u) = 48*u**2 - 3*u + 25. Let c be v(4). Suppose -5*i + c = -524. Suppose -i = 3*a - 753. Does 41 divide a?
True
Suppose -16*i - 19 = 29. Is 10 a factor of -5 + 79 - i - -2?
False
Suppose -21*j - 20 = -25*j. Suppose j*s - 25 = 95. Does 10 divide s - (-3 - (-3 + 1))?
False
Suppose 0*v + v + 21 = 4*n, 0 = 2*n - 4*v - 14. Suppose 7*s = -n*s. Suppose s*t + 192 = 2*t. Is t a multiple of 16?
True
Suppose -16*k = -20*k. Suppose k = 14*d - 10*d + 4*q - 1252, -d - 5*q = -321. Is d a multiple of 41?
False
Suppose -15 = -5*o - 2*y, -14 - 1 = -5*o + y. Suppose -o*n = n + i - 908, 0 = -n - 5*i + 227. Does 31 divide n?
False
Let q(i) = -3*i**2 - 6*i + 2. Let x be q(-2). Suppose x*j + 4*h - 112 = 0, h - 4*h = -j + 36. Let s = j + -28. Does 4 divide s?
True
Does 7 divide (351/52)/3*(-501)/(-9)*4?
False
Let y(r) = r**3 + 6*r**2 - r + 6. Suppose 0 = 5*p - 23 + 53. Let g be y(p). Does 24 divide 140 - (g/4 - -1)?
False
Suppose -5*d + 16 + 74 = 0. Let a = d - 18. Suppose -q + 2*l - 124 = -5*q, a = 5*q - l - 169. Is 11 a factor of q?
True
Let g(i) = -i**3 + 12*i**2 - 5*i - 41. Let h be g(11). Suppose -2*y + 2*s + 30 = 0, 3*y - s + 30 = 5*y. Is 19 a factor of (-244)/(-3) - (2 - h/y)?
False
Suppose 3*p - 144*x - 63076 = -142*x, 0 = 2*p - 3*x - 42064. Does 19 divide p?
False
Let b(v) = -v - 1. Let c(k) = 30*k + 41. Let g(t) = 3*b(t) + c(t). Suppose 68*s + 224 - 632 = 0. Does 20 divide g(s)?
True
Let i be 4/20 + (-2692)/10. Let r = 1374 + i. Is r a multiple of 13?
True
Let o = -52 + 113. Suppose -a = h - 2*a - o, 5*h = a + 297. Is h a multiple of 18?
False
Suppose -4*h = -11*h + 14. Let r be 3 - -2*1/h. Suppose r*o - 60 = 2*o. Does 30 divide o?
True
Let b = 265 + -258. Let n(k) be the third derivative of k**6/120 - k**5/15 - k**4/6 + 8*k**3/3 - 2*k**2. Does 9 divide n(b)?
True
Suppose -3*i + 8*i = -2*a + 5, -5*a = -3*i + 34. Suppose -18 = -i*k - 27. Is 6 a factor of (-10)/k*84/35?
False
Let c = -205 + 654. Let x = 1099 - c. Is x a multiple of 10?
True
Let v(j) = j**3 + j**2 - 5*j + 11. Let z = -160 - -165. Is 7 a factor of v(z)?
False
Suppose 2*l - 5*h + 735 = 0, -2*l - 4*h - 546 = 144. Let w = l - -544. Does 29 divide w?
False
Let r be (-1547)/17*(-7 - (-2 - 0)). Let p = 763 - r. Does 14 divide p?
True
Suppose -2 = 2*w + 3*y - 17, 20 = 4*y. Suppose w = -o + 3*o - 48. Suppose -z + n = -o, -74 + 6 = -3*z + n. Is z a multiple of 11?
True
Suppose 3*v - 6*v = y - 3751, -y + 3769 = -3*v. Is 20 a factor of y?
True
Suppose 54*j - 440574 = -237*j. Does 4 divide j?
False
Let k(a) = -3*a**3 - 3*a**2 - a + 1. Suppose -1 = -2*b + 9. Suppose -3*x + 4*m - 6 = 0, 5*x - b*m + 1 + 9 = 0. Does 13 divide k(x)?
False
Let n(d) = -77*d - 66. Let h(f) = 78*f + 65. Let m(g) = 2*h(g) + 3*n(g). Is m(-9) a multiple of 18?
False
Let s = 18957 + -17587. Is 2 a factor of s?
True
Let x = 31 - 11. Let s(b) = -6 + x + 2*b**2 + 1 + 13*b + b. Does 15 divide s(-10)?
True
Let l(n) = n**2 + 16*n - 57. Let p be l(-19). Suppose p = -11*q + 10231 + 2496. Does 28 divide q?
False
Suppose -3*h - 2*j - 1100 = 0, -h - 374 = -j - 2*j. Let t be h/(-6)*21/14. Suppose 0 = -4*y + t + 4. Does 12 divide y?
True
Suppose 2*t = 9 - 3. Let i(j) = 4 + 5*j**3 - j - 4 + 2 - t. Does 27 divide i(3)?
False
Let y be (1 - 0) + -21 + (-2)/1. Does 7 divide -2 + 74/3*(-33)/y?
True
Suppose 5*y = -0 + 10. Suppose 2199 = 11*d - 6*d + y*n, 2*d + 4*n - 886 = 0. Is 11 a factor of d?
False
Let t be (108/(-16))/(((-12)/32)/(-1)). Suppose 2*c = -3*c - 180. Is t/4*32/c*3 a multiple of 12?
True
Suppose -j + 208 = -4*d, 4*d - 4*j = -0*d - 220. Is 24 a factor of (3 - (-48)/(-9))*d?
False
Let b(k) = -136*k + 6. Let m(p) = p**2 - 9*p - 23. Let l be m(11). Is b(l) a multiple of 26?
False
Let t = 16251 + -15558. Does 44 divide t?
False
Let h(w) = -98*w - 122. Let b be 24/32 - (-69)/24*-2. Is h(b) a multiple of 16?
True
Let n = 895 + -891. Suppose n*p = -p + 815. Is p a multiple of 18?
False
Let i = 14810 - 6210. Is 60 a factor of i?
False
Suppose 17*j - 17421 - 3523 = 0. Does 28 divide j?
True
Let m(n) be the second derivative of 91*n**4/12 - 141*n + 2. Suppose -2*p = -5*p - 3. Is 20 a factor of m(p)?
False
Suppose -2*t - 4*w = -12, -t - w - 9 = -4*w. Suppose t = -a + 1, -261 - 77 = -2*v + 2*a. Is v a multiple of 17?
True
Let b = 41 + -34. Suppose b*d - 113 = 237. Suppose -18 = 48*l - d*l. Is l even?
False
Suppose 2*j + w - 532 = 0, 2*j + 5*w = 4*j - 520. Suppose 4*o - 1209 = 2*v - 141, -o + j = -v. Is o a multiple of 48?
False
Suppose -5*s + 3*s = s - 216. Does 3 divide s?
True
Does 15 divide (1 + -31)*(-386 + 332)?
True
Suppose 13481 + 18419 = 20*k. Is 35 a factor of k?
False
Suppose 21 - 57 = -6*j. Let y(q) = -q**3 + 7*q**2 - q + 49. Is y(j) a mu