 (-3626)/30. Suppose 3*u - s = u + 3*t, -5*u + 4*t = -z. Does 17 divide u?
False
Let u(d) = -39*d - 19. Let l be u(-9). Suppose l = -m + 5*m. Is m a multiple of 27?
False
Suppose 3*y - 559 = 4*j, 4*y + j - 720 = -0*j. Let b = y + -125. Suppose 5*f - b = 124. Does 17 divide f?
False
Suppose 0 = 2*q - w - 2*w + 1, q + 2*w = 10. Suppose -o - q = -77. Is 16 a factor of o?
False
Let x = -50 - -102. Is 10 a factor of x?
False
Suppose -9*s = -109 - 710. Is 23 a factor of s?
False
Let z = 5 - 7. Let q be 5 + z + -1 + 0. Suppose 2*i + i = -2*s + 19, 22 = 2*s + q*i. Is 14 a factor of s?
True
Let y = 296 - -991. Is y a multiple of 35?
False
Let l be 12/66 - ((-2649)/11 + 2). Let r = l + -127. Is r a multiple of 14?
True
Suppose -362 = 227*i - 229*i. Does 16 divide i?
False
Suppose -9*f + 4 = -7*f. Suppose 95 = 3*u + 4*x - 21, f*u - 3*x = 66. Does 10 divide u?
False
Let t be 28*((-3)/4 + 1). Let r be 1*(-12)/(t + -3). Does 3 divide r/21 + 192/21?
True
Let t(j) = -6*j + 5 - 5*j**2 + 7*j**2 - j**2. Is 12 a factor of t(11)?
True
Suppose 1 = -2*p - 2*l + 5, -3*l = 2*p. Suppose 0 = 5*g - 5*o - 190, g - p*g = -2*o - 184. Does 17 divide g?
False
Does 8 divide (-6)/(-15)*(1 + 1119)?
True
Let b = 66 - -20. Let j = 36 + b. Is 44 a factor of j?
False
Does 3 divide -2 + (-3)/(-6) + (-2737)/(-34)?
False
Suppose 0 = 5*j - 2*b + 15, 3*j + b - 10 = 6*j. Let s(a) = a**2 - 4*a - 12. Does 7 divide s(j)?
False
Let a be (-15)/(-9) + (-3)/(-9). Let g = 4 - a. Is g/3 + 238/21 a multiple of 4?
True
Suppose -19 = -5*a + 4*t - 7*t, -5*a = 2*t - 16. Let i = a - -1. Suppose -i*f - 4*o = -38, 3*f + 53 = 7*f + 3*o. Does 7 divide f?
True
Let m = -1582 - -1611. Does 3 divide m?
False
Let k be -4 - 0 - (-5 - 3). Suppose -5*q = 4*a - 177 + 55, k*q + 107 = 3*a. Does 7 divide a?
False
Suppose -p - 2*v - 1 = -7, -5*v = -25. Does 28 divide (1 + 8/p + 2)*73?
False
Let b = 25 + -46. Let x = b - -23. Suppose -2*y - x = 0, -3*j + 0*y + y = -46. Is j a multiple of 3?
True
Suppose 0 = -2*v - j - 4*j + 10178, -3*j + 10182 = 2*v. Is v a multiple of 59?
False
Is (-1 + -5)*226/(-3) a multiple of 27?
False
Let f(i) = i**3 - 9*i**2 + 12*i - 8. Let s be f(8). Is (-4)/(s/15)*-12 a multiple of 15?
True
Is 23 a factor of 4 - (-1122)/4*2?
False
Let f(t) = -53*t - 4. Let x be f(2). Let m = 386 - 198. Let z = x + m. Is 13 a factor of z?
True
Let r = 77 - -11. Suppose 0 = -5*m - r + 293. Does 12 divide m?
False
Let g(d) = -3*d + 15. Let v be g(3). Suppose -5*r + v*r = 24. Is r a multiple of 12?
True
Let w be (-3 + 6 + -3)/2. Suppose 0 = -w*i + i - 30. Does 30 divide i?
True
Let p(m) = 336*m + 30. Does 9 divide p(3)?
False
Let q be (-14)/(-8) + (-2)/(-8). Suppose 0 = 5*u - 5*m - 10, u - q*m - 8 = -2. Is (49 - 4) + 2 + u a multiple of 15?
True
Suppose -4*b - j = -4109, -1569 = -4*b + 3*j + 2552. Is 26 a factor of b?
False
Let b(y) = -y**3 + 11*y**2 + 2*y - 20. Let m be b(9). Let q = m - 103. Does 17 divide q?
False
Suppose 0 = -4*k - 3*d + 289, -8*k + 2*d = -9*k + 76. Does 7 divide k?
True
Suppose -4*d = -4*f - 648, d + 5*f = -0*f + 150. Suppose 0 = -3*u + d + 86. Is (-2)/(-3)*(u - 1) a multiple of 18?
True
Suppose 4*a - 7*g = -4*g + 69, -4*g - 27 = -a. Is 3 a factor of a?
True
Suppose -v + 5*u + 58 + 3272 = 0, 0 = 2*u. Does 16 divide v?
False
Let s be (28/(-6))/7*45*-1. Is (312/s)/(2/5 - 0) a multiple of 5?
False
Let j(m) = 136*m**2 + 1. Let a be j(1). Suppose a = 3*o - 145. Is (-2)/5 + o/10 even?
False
Suppose -2 = -4*i + 3*i. Suppose 2*p = p + i. Does 25 divide 10/(p*3/30)?
True
Let a be 1 + -1 + (4 + 6)/2. Suppose -a*r = c - 868, -c - 8 = 3*c. Is 29 a factor of r?
True
Let v be 0 + 40 + -3 + -3. Let r = v - -6. Is r a multiple of 20?
True
Let r(s) = -52*s - 13. Let l be r(-4). Suppose 0 = -4*z + m + 253, m = -6*z + 3*z + l. Is z a multiple of 8?
True
Suppose -3*z - 3*z = -18. Suppose 5*w + 9 = 3*t, -z*t + 9 = -2*w - 0. Is 10 a factor of (-12)/(t - 34/10)?
True
Suppose 393 = 11*q - 696. Does 11 divide q?
True
Let u be (-4)/(-4)*-1*0. Let m(x) = -x**3 + 2*x + 88. Does 13 divide m(u)?
False
Let h(x) be the first derivative of x**4/4 - x**2 - 2*x - 3. Let n be h(3). Suppose -n = -5*y + 346. Is 16 a factor of y?
False
Suppose 0 = 30*u - 13162 - 50318. Is 64 a factor of u?
False
Suppose -k - 198 = -3*p - 4*k, -4*k + 326 = 5*p. Let q = p + -36. Is q a multiple of 13?
True
Let g be (1 - -1)/(10/(-140)). Let s = g + 34. Is s a multiple of 2?
True
Suppose 3*r - 6*r = -q - 6, -q - 3*r + 18 = 0. Suppose 1152 = -0*p + q*p. Is p a multiple of 13?
False
Let s(i) = -16*i**3 + i**2 + i + 1. Let v(f) = -f - 7. Suppose x + x = u - 2, 4*u + 32 = -2*x. Let c be v(u). Does 14 divide s(c)?
False
Let n(m) = 133*m**3 + m**2 - 3*m + 2. Is n(1) a multiple of 31?
False
Let u(w) = w**3 - 11*w**2 + 18*w - 2. Let t be u(9). Is 15 a factor of 3280/50 - t/5?
False
Let m(d) = 9*d**2 - 3*d - 2. Suppose 0 = 2*n - 2*q - 4, -3*n + 2*q + 9 = -6*n. Is m(n) a multiple of 10?
True
Let u(x) = x**2 - 8*x + 11. Suppose -y = 3*p + 2*y - 18, 0 = 5*y + 10. Is 3 a factor of u(p)?
False
Suppose 0 + 6 = x + r, 0 = -2*x + 4*r. Suppose 280 = -x*b + 8*b. Is 10 a factor of b?
True
Suppose 0 = -5*x - 10, 3*n - 4 - 7 = -2*x. Let k be -1*(n + -3 + -4). Suppose 6*j = k*j + 36. Is j a multiple of 9?
True
Let c = -176 + 265. Is c a multiple of 6?
False
Let t = -47 - 58. Let q = -54 - t. Is 13 a factor of q?
False
Suppose 15225 = 14*z - 20517. Does 23 divide z?
True
Suppose -2*h + 18 = -h. Let j be (-58)/(-3)*(-27)/h. Let d = j - -39. Is d a multiple of 10?
True
Suppose 4 + 4 = 4*z, -2*u + 2*z + 296 = 0. Is u a multiple of 25?
True
Suppose 4*d + 3*o - 342 = 0, -3*o = -2*d + 5*d - 258. Let m be 2 - 8/6 - 78/(-18). Suppose m*v + 4*g = 216, 0 = 2*v - 0*g + 4*g - d. Does 10 divide v?
False
Let f(l) = -l**3 - 7*l**2 + 6*l - 13. Let j be f(-8). Suppose -189 = -j*m - 4*m. Is m a multiple of 9?
True
Suppose 22*i = 11*i + 33. Suppose -k + 40 = -0*k - 2*y, -5*k + i*y = -207. Does 3 divide k?
True
Suppose 2*u - 3*u + 4 = 0. Suppose -u*x - 3*c + 399 = 0, 189 = x + x + 5*c. Is 17 a factor of x?
True
Let l = 1 - -1. Let j be (12/36)/(l/(-24)). Does 6 divide 7 - (-1 + 1 + j)?
False
Suppose 8*p - 107 + 43 = 0. Does 15 divide (-1975)/(-20) - (-2)/p?
False
Let o = -6 + -214. Let i = 10 - 2. Is o/14*(i + -15) a multiple of 35?
False
Let n(u) = -u**3 + 14*u**2 - 12*u - 21. Let t be n(13). Let z(r) = -r**3 - 5*r**2 - 2*r - 2. Let h be z(-5). Is 15 a factor of 540/t*h/(-12)?
True
Let l = 1261 - 1116. Does 20 divide l?
False
Suppose -5*q - 10 = 4*m + 11, 5*m - 5*q + 60 = 0. Let v(k) = k**3 + 11*k**2 + 15*k + 4. Is 2 a factor of v(m)?
False
Let d = 65 + -62. Suppose -f - 238 = -d*f. Does 17 divide f?
True
Let w = -471 + 857. Does 21 divide w?
False
Let c(i) = -i**3 - 35*i**2 - 100*i - 44. Is c(-32) a multiple of 42?
True
Suppose -3*w + 36 = 6*w. Suppose -4*n = 4*y - 2*y - 26, 32 = w*n + 4*y. Does 5 divide n?
True
Let p(a) = -10*a - 1. Let k be p(-5). Suppose -20 - 1 = -7*i. Suppose -i*c - 261 = -5*l, l + 0*l = -c + k. Is l a multiple of 30?
False
Let j(p) = -1. Let i(f) = -f**2 - 17*f - 8. Let t(c) = i(c) - j(c). Is t(-13) a multiple of 6?
False
Let a = -20 + 61. Is a - (-1)/((-1)/2) a multiple of 39?
True
Let c = -22 - -19. Let h = c - -51. Suppose -2*t = -6*t + h. Is t a multiple of 3?
True
Let r = -527 - -1288. Does 25 divide r?
False
Let c be (-4)/(-2)*18/(-12). Does 2 divide c/((-20)/16*3 - -3)?
True
Suppose -y + 5*g + 493 = 0, 2*y + 14*g = 11*g + 973. Suppose 4*j - 4*w = y, 258 = 2*j - w + 16. Is j a multiple of 15?
True
Suppose 5*i = 4*o + 30, -3*i - 4*o + 24 = i. Suppose 0 = -11*t + i*t + 30. Is t a multiple of 6?
True
Suppose n + 34 = 5*r, 3*n + 3*r = -23 - 7. Let b(h) = -h - 17. Let w(m) = -3*m - 52. Let l(y) = n*b(y) + 4*w(y). Is l(0) a multiple of 10?
True
Suppose 35551 - 12871 = 42*r. Is r a multiple of 27?
True
Let r = 755 + -492. Suppose -5*f - 273 = -4*j, 2*j + 2*j + 5*f = r. Does 8 divide j?
False
Suppose 6*r - 1158 - 174 = 0. Is 42 a factor of r?
False
Let a(s) = -s**2 + 16*s - 7. Let h be a(8). Let w be ((-4)/2 - -8) + -3. Let k = h - w. Is 27 a factor of k?
True
Let a(d) = d**2 + 3*d + 9. Let k(l) be the third derivative of -l**5/20 + l**4/12 + l**3/3 - 4*l**2. Let m be k(2). Does 9 divide a(m)?
True
Let y(k) = 2*k - 13. Let m be y(7). Is 14 a factor of (m - (0 + -2)) +