 -b + 3 = -4*b - h. Suppose 4*x + 4*m - 276 = b, 2*m = 2*x + 25 - 175. Suppose 4*k - x = 64. Is k a multiple of 14?
False
Let b(g) = 2*g**3 - 15*g**2 + 7*g + 42. Does 18 divide b(8)?
True
Suppose -396*d + 394*d + 482 = 0. Does 10 divide d?
False
Let t = 30 + 134. Let g = 276 - t. Does 20 divide g?
False
Let n(m) = m**3 + 5*m**2 + 5*m + 8. Is 2 a factor of n(-4)?
True
Suppose 0 = 6*c - 2*c - 3*m - 100, -2*c = 2*m - 36. Suppose c*j + 432 = 25*j. Is 16 a factor of j?
True
Let h = 1579 - 1016. Does 44 divide h?
False
Suppose 0 = -8*d + 12*d + 4. Let s = d + 4. Is ((-1)/(-1))/(s/123) a multiple of 6?
False
Let q(b) = 89*b**3 - 3*b**2 - 2*b + 6. Let z(j) = 89*j**3 - 4*j**2 - 2*j + 7. Let k(i) = 5*q(i) - 4*z(i). Is k(1) a multiple of 18?
True
Let b be ((-198)/7)/((-3)/21). Suppose 0 = 2*m - 6 - b. Suppose -323 - m = -5*x. Does 15 divide x?
False
Does 35 divide (-35)/((-20)/4) - (-2 + -1111)?
True
Suppose 0 = 3*s + n - 2433, 2*n = -3*s - 2*s + 4054. Is s a multiple of 55?
False
Let c(j) = -7*j + 26. Let z(u) = -u**3 - 5*u**2 + 10*u + 13. Let n be z(-6). Is c(n) a multiple of 11?
False
Let k = 6 + -3. Let l be -1*6*(-5 + 3)/2. Suppose k*a - l*a = -135. Is a a multiple of 9?
True
Let w = -243 - -261. Is 2 a factor of w?
True
Is (-56)/84*(0 - (-2 + 362)) a multiple of 30?
True
Let y = 672 + 2278. Is 118 a factor of y?
True
Let g = -11 - -13. Let c(z) = 2*z**3 - 3*z**2 + 2. Let o be c(g). Suppose -3 = j - o. Is j a multiple of 3?
True
Let w(g) = -90*g - 214. Is 26 a factor of w(-7)?
True
Suppose 0 = 4*h + 2*p - p + 6, -h - 5*p - 11 = 0. Let g be (-147)/(-3) - h*1. Suppose 2*o - 7*o + g = 0. Does 4 divide o?
False
Let c = 695 + 58. Is 11 a factor of c?
False
Suppose -2*n - 2 - 44 = -2*s, -2*n - 25 = -s. Suppose 18*y = s*y - 48. Is y a multiple of 4?
True
Let l = 2741 - -43. Is l a multiple of 16?
True
Suppose 0 = -3*u - 2*v + 10, 5*u + v - 14 = 2*u. Suppose -u*p - 2 = -5*p. Is 14 a factor of 4*(-41)/p - -2?
True
Let y = -839 - -1424. Does 65 divide y?
True
Let l(i) = -6*i**3 - 3*i**2 - 4*i - 2. Suppose -h - 6 = 2*h. Is l(h) a multiple of 17?
False
Suppose -4*g + 5309 - 2165 = 0. Suppose -g = 8*b - 2322. Does 12 divide b?
True
Is (-36)/(-14) - 2 - 72/(-21) a multiple of 3?
False
Let s = 79 - -238. Is s a multiple of 12?
False
Let s = 1314 - 554. Is s a multiple of 40?
True
Let v(l) = 6*l**3 - 31*l**2 + 9*l - 20. Is 2 a factor of v(6)?
True
Let v = -123 - -482. Is 6 a factor of v?
False
Let f(y) = 2*y**3 - 20*y**2 + 29*y + 17. Does 29 divide f(9)?
True
Is 4 a factor of 248*(2 + 12/(-8))?
True
Suppose 2*t + 2 = a, 4*a = 2*t - 7*t - 31. Let x be ((-32)/(-20))/a*-90. Suppose -5*u = -3*r + 28, 4*r - 7*r = -3*u - x. Is r a multiple of 4?
True
Let y(l) = 12*l**2 + 64*l + 12. Is y(-11) a multiple of 27?
False
Does 13 divide (-52)/(-10)*(-255)/(-51)?
True
Let r be 67/(-3) - 10/(-30). Let i = -17 - r. Suppose 235 = i*f - 190. Is 11 a factor of f?
False
Let k be (-4)/(-6) - (11/3 + 0). Is 8 a factor of ((2 - 1)*-18)/(k/8)?
True
Suppose 5*n - x + 23 + 120 = 0, -4*n - 106 = 2*x. Does 5 divide -1 + n/12*-9?
True
Let z(a) = a**2 - 2*a - 5. Let g be (5 - 57)*(-2)/4. Let t = 18 - g. Is 14 a factor of z(t)?
False
Suppose -14*p + 20*p - 6720 = 0. Is 16 a factor of p?
True
Let t be ((-42)/(-9) + 0)/(3/(-45)). Is 5 a factor of ((-18)/(-12))/((-3)/t)?
True
Let t = 0 + 4. Suppose -462 = -t*x + 82. Does 35 divide x?
False
Suppose 3*p - 215 = 214. Does 21 divide p?
False
Let h = 2259 - 75. Let x = 1315 - h. Does 12 divide x/(-13) + (-2)/(-13)?
False
Suppose -6*n + 25*n - 13490 = 0. Does 15 divide n?
False
Let r = 58 - -16. Does 9 divide r?
False
Suppose 10*v + 2*f = 5*v - 105, 2*v + 5*f + 42 = 0. Suppose -p - 5*z + 17 = -33, -2*p + 95 = 5*z. Let l = v + p. Is 8 a factor of l?
True
Let o = 699 + -391. Let k = o + -172. Does 8 divide k?
True
Let i(u) = -5*u - 4 + 80*u**2 + 4*u + 1 + 8*u. Let m be i(4). Is (-4)/22 + m/99 a multiple of 3?
False
Suppose 0*c = -3*c + 84. Suppose 3*z + c = l - z, -26 = -l + 5*z. Is 6 a factor of l?
True
Let q(h) = h - 2. Let y(g) = 2*g - 5. Let i(w) = 5*q(w) - 2*y(w). Let t be i(4). Is 14 a factor of t/14 - 672/(-49)?
True
Suppose 4*u = 2*f + 38, 1 + 25 = 3*u - 4*f. Is (-3 + 22/4)*88/u a multiple of 11?
True
Let y(g) = g**2 + 10*g - 6. Let s(l) = -l**3 + 4*l**2 + 3*l - 1. Let m be s(5). Let f be y(m). Suppose -8*a + 48 = -f*a. Is 16 a factor of a?
True
Let i be (-2)/(2/(-37)) - 4. Suppose 123 = 4*n - i. Does 8 divide n?
False
Let y(a) = 3*a**3 + 129*a**2 - 3*a - 25. Does 9 divide y(-43)?
False
Let w = 8 + -4. Suppose -7*f + 144 = -w*f. Is f a multiple of 16?
True
Suppose -1152 = 39*p - 47*p. Is 12 a factor of p?
True
Let n(c) = c**3 - 3*c. Let o be 1 + (-22)/(-6) + (-8)/(-24). Does 21 divide n(o)?
False
Let j be 16585/75 - (39/(-45) - -1). Let f = j + -102. Does 33 divide f?
False
Let s = 230 + 833. Is s a multiple of 34?
False
Let c(f) = -f**3 - 18*f**2 - 31*f + 15. Let o be c(-16). Is 5 a factor of (2*o/(-2) + -2)*-11?
False
Let l(f) = -14*f + 122. Is 2 a factor of l(8)?
True
Suppose -k - 2*h + 547 - 37 = 0, -3*h = 15. Does 4 divide k?
True
Let t be 18 - (-2 - -18)/(-4). Does 4 divide (t + 0)/2 - (3 + -5)?
False
Let m = -67 - -247. Does 18 divide m?
True
Let v(s) = -13*s + 1. Suppose 4*r = 2*z + 13 - 35, -4*z = -r - 16. Suppose -2*j - 5 = z*a, 0*j + 7 = -3*j - 4*a. Is 7 a factor of v(j)?
True
Suppose -5*j + 877 = 4*y, 81 + 356 = 2*y + 3*j. Is y a multiple of 9?
False
Let l(q) = 9*q + 7. Let k = 18 - 24. Let z be ((-4)/k)/(16/72). Is l(z) a multiple of 17?
True
Let y(r) = r**3 + 9*r**2 + 9*r - 4. Let n be y(-8). Is 15 a factor of 181/3 - n/(-9)?
False
Let b be ((-3 + 3)/3)/(-2). Suppose b = -5*a - 20 - 15. Let z = 16 + a. Does 2 divide z?
False
Suppose 1124 = 5*g + w, -g - 5*w = -2*g + 230. Let i = 52 - 62. Does 29 divide (g/(-6))/(5/i)?
False
Let m be 30*((-64)/(-12) - 4). Let k = m - 22. Suppose 3*i - k = 21. Does 6 divide i?
False
Suppose 2*x - 306 = x. Suppose -4*t + 237 = -5*g, 4*t = -g - 51 + x. Does 9 divide t?
True
Is 42894/75 + 6/75 a multiple of 22?
True
Let l = -13 - -13. Suppose -x + l*x = -5. Suppose -3*q - x*y = -65, q = -3*y + 9 + 6. Does 15 divide q?
True
Let a(h) = 8*h - 113. Let r be a(22). Suppose 128 = 4*o - 4*m, -3*m = -3*o + o + 69. Let s = r - o. Is 8 a factor of s?
False
Let f(m) = 18*m**2 - 2*m - 2. Let a(j) = -j**2 + j. Let z(u) = 5*a(u) + f(u). Is z(1) a multiple of 13?
False
Let v = -451 + 497. Is v a multiple of 26?
False
Let y(c) = c**2 - 2*c + 3. Let l be y(2). Let f be (4/(-8))/(l/(-618)). Let q = -55 + f. Does 8 divide q?
True
Let t = 509 + -350. Suppose 1372 = 64*x - 3428. Let o = t - x. Does 21 divide o?
True
Let r = -1067 + 1985. Is 9 a factor of r?
True
Let z(o) = 100*o + 32. Is 29 a factor of z(2)?
True
Let v = 47 - -673. Is 80 a factor of v?
True
Let x = -625 - -666. Is x a multiple of 3?
False
Let j(d) = -2*d**3 - 9*d**2 - 16*d + 10. Is j(-7) a multiple of 23?
False
Let p = 9 - 8. Suppose -x - p = 5*l + 2, -x - 3 = 3*l. Suppose l*a - 2*a + 5*f = -60, -a + 24 = -f. Is a a multiple of 15?
False
Suppose -10*n + 196 = -6*n. Let c = n - -11. Suppose 3*q = 3, -c = -0*d - 5*d + 5*q. Is 13 a factor of d?
True
Let r be 0/(8*(-3)/6). Suppose 0 = -2*y - 2*d + 16, -5*y = -r*d - 4*d - 22. Does 2 divide y?
True
Suppose 0*g = -4*g - 0*g. Suppose -2*h = -5*r + 154, -2*h = -g*r - 3*r + 90. Is r a multiple of 8?
True
Let z(w) = w**2 + w + 12. Let k be z(0). Let o = -57 - -58. Let g = k + o. Is g a multiple of 11?
False
Let a(i) = -i**3 - 9*i**2 + 21*i + 30. Suppose 0 = 4*x - 20, -c - 3*x + 6 = 3. Is 30 a factor of a(c)?
True
Let z(o) = -3*o - 19. Let u(s) = -13*s**3 + s**2 - 2*s + 1. Let p be u(1). Let d be z(p). Is 14 a factor of (d/6 + -3)*87?
False
Let a = -853 - -1217. Is a a multiple of 38?
False
Let p be 1 - (2 + -3) - -1. Suppose -2*i + 194 = p*i - 2*h, h + 2 = 0. Let f = i - 26. Does 6 divide f?
True
Let o = 3 + -8. Does 16 divide (o - 2)/(7/(-28))?
False
Suppose i - 5*i = -u - 48, -2*i + 4*u = -38. Let f(q) = q**3 - 11*q**2 + 6*q - 13. Is f(i) a multiple of 19?
False
Let v(f) = 3*f**3 + f**2 - 7*f - 1. Let l(d) = -4*d**3 + 7*d + 1. Let j(w) = -4*l(w) - 5*v(w). Does 18 divide j(5)?
True
Let p = 43 - 11. Does 15 divide 5 + -2 + p + (6 - 3)?
False
Suppose -3*m = -5*q + 840, m = q + 3*q - 672. Is 24 a factor of (22/(-3))/(