
Suppose -97 = -c + 243. Let l = c + -187. Is 9 a factor of l?
True
Let n = 639 + -390. Is 4 a factor of n?
False
Let g = 324 + 201. Suppose -6*t + g = -t. Is t a multiple of 22?
False
Let s = 1 - -7. Suppose -3*b + 27 = -3*x, -3*x + s*x - 7 = b. Suppose 6*f + b = 175. Does 5 divide f?
False
Let f = -320 + 463. Does 11 divide f?
True
Suppose -106*b + 89*b = -2040. Is b a multiple of 5?
True
Let s be 15 - (-2 + (-6)/(-2)). Suppose 0 = -s*z + 4*z + 1970. Is z a multiple of 37?
False
Suppose 60*m = 81463 + 6917. Is m a multiple of 81?
False
Let o be (-3)/(-12) + (1325/(-20) - -3). Let s = o - -84. Is 3 a factor of s?
True
Suppose -212 - 83 = -5*b. Suppose -b*c + 58*c + 195 = 0. Does 31 divide c?
False
Suppose 2*z - 18 = 4*z. Let v be (-1 + z*1)*1. Is (-122)/(-18) + v/(-45) a multiple of 6?
False
Let u(l) = -l**3 + 27*l**2 - 79*l + 61. Is u(20) a multiple of 74?
False
Let l(j) = j**3 + 21*j**2 - 6*j + 83. Is 67 a factor of l(-20)?
True
Suppose -3*o - 854 = -8432. Does 6 divide o?
True
Suppose -46*a + 792 = -35*a. Is 4 a factor of a?
True
Let w(m) = -43*m + 12. Let b be w(-5). Let q = b + -161. Is q a multiple of 33?
True
Let s(j) = j**3 - j**2 - 19*j + 39. Is s(9) a multiple of 12?
True
Let z be (6/(-2))/((-12)/8). Suppose -3*j = 3*s - 15, 3*j = j - z. Is 3 a factor of s?
True
Let c(x) = -13*x - 22. Is c(-13) a multiple of 12?
False
Let a = -94 + 56. Let s be ((-318)/(-12) + 2)/((-2)/(-4)). Let k = a + s. Is k a multiple of 19?
True
Let y(q) = -2*q. Let o be y(-2). Let g(j) = -16*j - 28. Let c be g(-2). Suppose -c*i - o*f = -272, -i - f = -5*i + 292. Is i a multiple of 36?
True
Is 8 a factor of 96/(-624) - (-6138)/13?
True
Suppose 0 = 3*o, -4*s + s - 5*o = -6024. Suppose 3*m - s = m. Is 13 a factor of m/14 - (-2)/7?
False
Let a(i) = -i**3 + 10*i**2 - 8*i + 8. Let k be a(8). Suppose -b = -2*w + 3*w - k, 0 = -3*w + b + 236. Does 11 divide w?
True
Suppose 30 = -j + 5*g, 0 = -3*j + 5*g - 44 + 4. Is 68 - (1 - (j - -4)) a multiple of 11?
True
Let g = -2897 + 4217. Does 22 divide g?
True
Let b(i) = -3*i**3 - 2*i**2 - 2*i - 1. Let y be b(-1). Suppose -y = 2*r, -r = c - 0*r - 18. Suppose 0 = 5*u - c - 6. Is u a multiple of 5?
True
Suppose 4*t - 59 = 21. Let u = -14 + t. Let m(q) = -q**3 + 7*q**2 + 2. Is 19 a factor of m(u)?
True
Suppose 11*g = 2*g + 5643. Does 11 divide g?
True
Let o = -87 + 111. Let d = 15 - 24. Let b = o + d. Does 15 divide b?
True
Does 13 divide 12/((-168)/(-43834)) + (-5 - -1)?
False
Let z(w) = -w - 2. Let n be z(-4). Let o be (9/(-6))/(n/16). Is 8 a factor of 2/8 + (-237)/o?
False
Let t be -1*(-7 + (-38 - 0/(-4))). Suppose 0*k + 105 = k. Let n = k - t. Is n a multiple of 10?
True
Suppose -8*f + 16*f - 904 = 0. Suppose 4*b = 783 + f. Is b a multiple of 32?
True
Let z(o) be the first derivative of o**4/4 + 5*o**2 - 19*o + 15. Does 12 divide z(5)?
True
Let z(v) be the first derivative of 20*v**3/3 + 3*v + 8. Let o be z(3). Let s = o - 125. Is s a multiple of 13?
False
Let u(f) = f**3 + 2*f**2 - 2*f + 4. Let d = 6 - 9. Let j be u(d). Is ((-1)/2)/(j/(-58)) a multiple of 13?
False
Let p(u) = 6*u**3 + u**2 - 1. Let w be p(-1). Let j = w - -210. Does 12 divide j?
True
Let k(m) = 40*m - 52. Let p(i) = -27*i + 35. Let t(u) = 5*k(u) + 7*p(u). Let q(a) = -38*a - 184. Let x be q(-5). Is 17 a factor of t(x)?
True
Let q be 2961/42*(-4)/3. Let a = q + 162. Is 13 a factor of a?
False
Suppose 3*d + 24 = -d. Let u be 7/(21/d) + 6. Let y(l) = 2*l**2 + l - 4. Is 15 a factor of y(u)?
False
Let t(j) = j**3 + 2*j**2 - 5*j - 4. Let x = 2 + -6. Let n be t(x). Is 2/8 + (-812)/n a multiple of 11?
False
Let p = -164 - -989. Is p a multiple of 55?
True
Suppose 904 = -16*k + 20*k. Is 63 a factor of k?
False
Let d = -581 + 591. Is d a multiple of 2?
True
Let t(o) = -10*o + 4*o + 9*o + 2*o + 5. Let y be t(4). Suppose y*f - 90 = 24*f. Does 16 divide f?
False
Suppose -5*r - y = -21, -3*r + 12 = r + 2*y. Suppose r*t = -0*t + 30. Let w = -2 + t. Does 3 divide w?
False
Let v(t) = 1 - 3*t - 3*t**2 + 0 + 5*t**2. Let s be v(2). Let g = s + 6. Does 3 divide g?
True
Let i(y) = -y**2 + 6*y - 4. Let v be i(5). Let l be (-20 - (-2 - v)) + 3. Is 24 a factor of (-144)/(-28)*l/(-3)?
True
Suppose 2*i = 3*n - 910, 4*n - 4*i - 902 = n. Does 17 divide n?
True
Let c(z) = 10*z - 5. Let v(a) = 10*a - 5. Let d(n) = 3*c(n) - 4*v(n). Is 17 a factor of d(-8)?
True
Suppose -4*c - 3*a - 1 = -26, 5*c - 14 = 2*a. Suppose 0 = -c*n - 0*n + 284. Does 13 divide n?
False
Suppose -4*c - 4*t = -16012, -4*t = 2*c + 459 - 8461. Does 101 divide c?
False
Suppose 60*d + 23215 = 64615. Is 23 a factor of d?
True
Let c(i) = 2*i**2 - 5*i + 8. Let a = 46 + -40. Does 12 divide c(a)?
False
Let l = -28 - -159. Let c = l + 43. Is 6 a factor of c?
True
Suppose -4*t - 3*w + 13 = 4, 0 = -2*t - 3*w - 3. Suppose t*i = 4*i + 158. Is i a multiple of 30?
False
Suppose -5*x + 10*x = 35. Suppose 2*v + x = 1. Does 6 divide 9/v + 7 - -2?
True
Suppose -3*z = -3*c, 0 = -6*z + 3*z + 9. Suppose -m = -c - 33. Does 12 divide m?
True
Suppose 0 = 5*m - 278 + 108. Suppose -46 = -5*w + m. Does 5 divide w?
False
Suppose -5*v - 233 = 277. Let b be (22/(-33))/(4/v). Does 26 divide 6/(19/b + -1)?
False
Does 3 divide (-671)/(-8) + 5/40?
True
Let n = 67 - 113. Let z be 4/(-14) + n/(-14). Suppose -1 = -z*u + 2*u + 5*x, x - 83 = -5*u. Does 16 divide u?
True
Suppose 0 = 4*a - 10*v + 13*v - 1944, 4*a - v - 1960 = 0. Is 42 a factor of a?
False
Suppose -48 = 10*o - 18*o. Suppose 5*i = 2*m + 310, 320 = o*i - i - 4*m. Is 15 a factor of i?
True
Let c(q) be the first derivative of 8*q**3/3 - q**2/2 + 2*q + 2. Let n be c(2). Let p = -6 + n. Is 11 a factor of p?
False
Let o(w) = -w**2 - 9*w + 8. Let u be o(-8). Suppose 4 = -4*x + u. Suppose -3*i + i = 4*t - 198, -5*i - 116 = -x*t. Is t a multiple of 9?
False
Let l = -99 + 77. Let o = -7 - l. Does 15 divide o?
True
Is (-16)/(-168) - (-28)/(-147)*-19078 a multiple of 17?
False
Let j(o) = o**3 + 7*o**2 - 6*o + 11. Let q be j(-8). Let d = -2 - q. Suppose 2*g = 2*a - g - 61, -d*a - 2*g + 59 = 0. Is a a multiple of 15?
False
Suppose 0 = 4*v - 33 + 17. Suppose -v*k + 348 = -136. Does 11 divide k?
True
Let j(v) = -v**3 - 6. Is j(-6) a multiple of 14?
True
Suppose 9024 + 3576 = 28*u. Is u a multiple of 17?
False
Suppose 0 = 4*y + 10 - 10. Suppose y = -k + 144 - 13. Does 38 divide k?
False
Let h(w) be the second derivative of -w**5/20 + 7*w**4/12 + w**3/2 - 13*w**2/2 + 11*w. Is 8 a factor of h(7)?
True
Let u(i) = 151*i - 13. Is 98 a factor of u(5)?
False
Let i(r) = -2*r**3 - 11*r**2 + 41*r - 10. Let j(y) = y**3 - y**2 + y + 1. Let q(h) = i(h) + j(h). Does 18 divide q(-15)?
True
Suppose -4*t - 3*r + 16 = -3*t, 5*t - 2*r + 5 = 0. Does 4 divide (-6*t)/(25/(-75))?
False
Let x be (20/2)/(-3 - -5) - 3. Suppose x*g - 48 = 48. Is g a multiple of 48?
True
Let k(g) = 2*g**2 - g - 1. Let r(b) = b**3 - 4*b**2 + b - 6. Let m be r(4). Does 9 divide k(m)?
True
Suppose -j - 74 = -5*n + 2*j, 0 = 4*n - 3*j - 61. Let q = 59 + n. Does 18 divide q?
True
Suppose -18 = -5*b - 0*m + m, -6 = 2*m. Suppose -2*z + 110 = -f, 2*z - 4*f - 113 + b = 0. Is 3 a factor of (-92)/(-22) + (-10)/z?
False
Suppose -17 = 7*x + 32. Let u(b) = b**2 + 5*b + 6. Is 7 a factor of u(x)?
False
Suppose 771 - 5811 = -70*i. Does 4 divide i?
True
Let y = 6827 - 4235. Is y a multiple of 8?
True
Let j(h) = 2*h - 4*h**3 - 5 + 0*h + 4*h**2 + 3*h**3. Let y be j(4). Let p(l) = l**2. Is p(y) a multiple of 9?
True
Suppose 961 = 825*r - 824*r. Does 34 divide r?
False
Suppose -387 = -3*h - 3*x, -2*h + 5*x - 2 + 239 = 0. Does 21 divide h?
True
Let a(f) = 4*f - f**3 + 17 + 0*f**3 - 8. Is 19 a factor of a(-5)?
True
Let u be 16/6*(-171)/(-4). Suppose -28 = -j - u. Let q = j - -120. Is 17 a factor of q?
True
Let q be (6 - 35)*(-4 + 7). Suppose p - 620 = -4*p. Let h = q + p. Does 14 divide h?
False
Let k = 239 + -11. Suppose -4*b - b = -5*q + 580, 2*q - k = b. Is q a multiple of 16?
True
Is 19/(114/72) + 4491 a multiple of 15?
False
Let i(l) = l**3 - 8*l**2 + 8*l + 12. Is i(11) a multiple of 32?
False
Suppose 5*a - 2*a - 906 = -3*m, -4*a + 908 = 3*m. Is m a multiple of 12?
True
Let i = -49 + 192. Does 12 divide i?
False
Suppose 4*m + 7*n - 227 = 2*n, 0 = -4*m - 3*n + 237. Is 16 a factor of m?
False
Suppose -5*d + 1013 = -4*x + 143, 3*x = -15. Is 5 a factor of d?
True
Let t be 4*(0