be b(h). Suppose 7*g = c*g + 15. Does 2 divide g?
False
Suppose 0 = -m + 981 + 659. Is 13 a factor of m?
False
Let m(n) = 3*n**2 - 4*n + 18. Does 4 divide m(9)?
False
Let t(w) = -8*w**3 + 3*w**2 + 27*w + 10. Is 33 a factor of t(-4)?
True
Let q(s) = s**2 - 7*s + 7. Let t be q(10). Suppose 0*p = 4*p - 3*u + 1, -3*p = 5*u + t. Does 14 divide 32/12*(-69)/p?
False
Let s(w) = 2*w**2 - 2*w + 1. Let r be (-3)/(-1) + -1 + 1. Does 13 divide s(r)?
True
Let t(v) = 20*v + 32. Does 16 divide t(9)?
False
Suppose -3*d + 4573 = 5*p, -6*p + 8*p - 7590 = -5*d. Is d a multiple of 40?
False
Suppose 0 = -4*u + 2*b + 3022 + 574, 5*u - 3*b - 4494 = 0. Suppose -6*x = -0*x - u. Is 15 a factor of x?
True
Let g = 2560 + -1396. Does 10 divide g?
False
Does 49 divide -2 - ((-4)/(-6) + 18100/(-15))?
False
Let p(s) = 4*s + 0 - 2 - 7 + s**2 - 3. Let a be p(-5). Let g(i) = i**2 + 3*i - 17. Is g(a) a multiple of 11?
True
Let w be (-18)/(-27) + (-116)/(-6). Let p be 86/(((-8)/w)/1). Let d = p + 307. Does 18 divide d?
False
Let w(x) = 2*x - 9 - 10*x - 11. Is w(-14) a multiple of 23?
True
Is 29 a factor of 655 - 17 - (3 + -3)/4?
True
Suppose -v + 12 = l - 13, 4*l = v - 20. Let w be 78/v - (-6)/8. Suppose 185 - 5 = w*x. Is 9 a factor of x?
True
Suppose -28*o + 30*o + 3*x = 962, -5*o = -x - 2405. Is 67 a factor of o?
False
Suppose -3*b + 394 = -11. Does 45 divide b?
True
Let v = 5 - 5. Suppose -2*h - 3*i + 25 = -h, v = -3*h + i + 125. Is 8 a factor of h?
True
Is 2 a factor of (-15)/105 - (-310)/14?
True
Suppose -390 = -z - 63. Is z a multiple of 16?
False
Suppose z + 17*z - 1872 = 0. Is 4 a factor of z?
True
Let a be (-2)/6 - 425/(-15). Suppose -2*i + 5*g - a = -3*i, -13 = 4*i - 5*g. Does 3 divide i?
True
Suppose -5 = -3*j + 16. Let s = 10 - j. Suppose -s*f - 5 = -38. Is f a multiple of 11?
True
Is 8 a factor of ((-15)/((-315)/112))/(1/9)?
True
Suppose 0 = 5*s - 56 + 86. Does 15 divide (s/(-4))/((-17)/(-1870))?
True
Let x(t) = t**3 + 9*t**2 + t + 13. Let i be x(-9). Let s be (-21)/(-14) - (-2)/i. Does 26 divide (-11)/(-22) - (-145)/s?
False
Suppose 12*t = 13*t + 3. Let f(x) = x**2 - 2*x - 3. Is f(t) even?
True
Let x(l) = 60*l - 6. Let i be (-3)/(1*1/(-1)). Let j be x(i). Suppose 0 = 4*h + 22 - j. Is 21 a factor of h?
False
Let d(x) = x**3 + 4*x**2 - 18*x - 33. Let j be d(-6). Suppose 0 = -5*y + 378 + 242. Suppose 0 = -3*s - 3*v + 63, j*s + 4*v + y = 7*s. Is 26 a factor of s?
True
Let h = 324 - 85. Does 28 divide h?
False
Does 6 divide 333 + 54/6 + 0?
True
Let j(u) = -u**2 + 13*u + 31. Let n be j(14). Suppose 5*d + 271 = 4*a, 2*a + 2*d - n - 105 = 0. Is 28 a factor of a?
False
Suppose 19*g - 6001 = 7337. Is g a multiple of 18?
True
Suppose -15*i = -1754 - 12106. Does 28 divide i?
True
Suppose 4*g = -2*x - 3*x + 639, 2*x - 6 = 0. Suppose 17*j + g = 20*j. Does 26 divide j?
True
Let c = 199 + 118. Is c a multiple of 9?
False
Suppose 0 = -2*c - 2*c + 16, 3*c + 171 = 3*j. Let k = j - 7. Is 9 a factor of k?
True
Let q(o) = -o**3 - 5*o**2 - 7*o - 4. Let m be q(-3). Let p(c) = -13*c**3 - c**2 - c. Is p(m) a multiple of 13?
True
Let f = -109 + 206. Suppose f = w - 39. Does 34 divide w?
True
Let o = 14 - 11. Suppose -o*a - 2*r + 211 = 0, 5*a - r - 337 = 3*r. Let x = -48 + a. Is 21 a factor of x?
True
Let k(p) = 2*p - 8. Let q be k(5). Is (-57)/38 + 93/q a multiple of 15?
True
Suppose n - 70 = -0*n - 5*b, -350 = -5*n + 4*b. Is n a multiple of 35?
True
Let b(a) = -a - 15. Let c be b(-17). Is (0 + 47)*(c - -1) a multiple of 47?
True
Let t(f) = -19 - 43*f**2 + 9*f + 29*f**2 - f**3 + 6. Does 13 divide t(-15)?
False
Suppose 56*u = -27*u + 159941. Is 29 a factor of u?
False
Suppose 1101 = 6*m - 579. Suppose -67*h = -69*h + m. Does 12 divide h?
False
Let x be 304/(-6) + (-2)/6. Let u be (34/x)/((-2)/132). Is (u/24 - 3)*-6 even?
False
Let r = 1607 - 1047. Suppose o - x = -2*o + r, 5*x = -25. Is o a multiple of 33?
False
Suppose 8 = 2*o - 2, -2*l - o + 957 = 0. Is 68 a factor of l?
True
Suppose 0*t - 3190 = -5*t. Suppose -122 = -5*j + t. Suppose 2*c + j = 5*i + 4*c, -3*i + 5*c + 85 = 0. Does 8 divide i?
False
Let w(n) = -3*n + 1. Let a = -14 + 14. Suppose 2*d + 3*d + 5 = a. Does 2 divide w(d)?
True
Let l = 12 - 8. Suppose 145 = -k + 2*k - l*x, -x = -5*k + 744. Is 6 a factor of k?
False
Suppose 12*u - 78 = 9*u. Suppose -4*y + 60 + u = k, 16 = -4*y. Does 32 divide k?
False
Let i(c) = c**3 - 8*c**2 - 12*c - 18. Is i(11) a multiple of 23?
False
Let o = -28 - -31. Suppose -o*i + 475 = 2*i. Is 12 a factor of 232/10 + 76/i?
True
Does 8 divide 2416/18 - (-14)/(-63)?
False
Suppose z + 10*p - 6*p - 2706 = 0, 2*z + 4*p - 5392 = 0. Does 17 divide z?
True
Suppose 5*t + 4*c = 31, -2*t - 5*c + 0*c = -26. Suppose 3*s - 218 = t*p - 8*p, -5*p + 294 = 4*s. Is 11 a factor of 4/(16/s) - -3?
True
Is (-4 + 5 + -187)*(-180)/15 a multiple of 24?
True
Let l(i) = -189*i**3 - 2*i**2 + 3*i - 2. Let h(a) = -a**3 - a + 1. Let b(c) = -2*h(c) - l(c). Let z be b(1). Is 18 a factor of ((-6)/(-18))/(2/z)?
False
Let i(c) = -c**3 - 8*c**2 - 8*c + 17. Let k be i(-7). Suppose 51 = 5*n - k. Is 15 a factor of n?
True
Suppose 0 = 7*h - 2*h - 460. Suppose -5*t + 38 = -h. Does 13 divide t?
True
Suppose 4*t - 31 = -13*c + 12*c, -4*c - 2*t = -82. Is 15 a factor of c?
False
Let f(k) = -606*k + 114. Does 39 divide f(-2)?
True
Let l(q) = q + 1. Let g be l(6). Let s(j) = j**3 - 8*j**2 + 7*j + 1. Let a be s(g). Is 43 + a + -3 + 4 a multiple of 27?
False
Let v be 1550/65 - (-6)/39. Suppose 2*g + 28 = -0*g. Let r = g + v. Does 10 divide r?
True
Suppose 10 = -n + 3*n. Suppose x - 2*x = -73. Suppose n*m - x = 77. Is m a multiple of 6?
True
Suppose -2*s + 6240 = -3*n, -5*s = -16*n + 18*n - 15600. Does 15 divide s?
True
Let w = 33 - 56. Let j = -23 - w. Suppose q - 3*q + 126 = j. Is q a multiple of 14?
False
Is 41 a factor of 1478 + (-40 - -39)/((-1)/(-2))?
True
Suppose 12*f - 1086 = 10*f. Is f/15 - 4/(3 + 17) a multiple of 12?
True
Let h = 76 + 14. Is 13 a factor of -4 + h + 2 + 3?
True
Suppose -3*s + 960 = -228. Is 66 a factor of s?
True
Suppose 3*k + 3 = w + 5, -4*k + 16 = 0. Let v be -1 + w + -3 + -3. Is (v/6)/(2/8) a multiple of 2?
True
Suppose 0 = 4*d + 7*d - 649. Suppose 4*k - 10 = a, 2*k - 5*k + 17 = 4*a. Suppose -53 = -a*y + d. Is 14 a factor of y?
True
Let z(h) be the first derivative of -h**4/4 - 14*h**3/3 - 8*h**2 + 25*h + 11. Is z(-13) a multiple of 16?
True
Let n = -394 - -387. Suppose 4*w + 13 = -k + 1, -3*w - 18 = 3*k. Is (-135)/(-7) - w/n a multiple of 10?
False
Let x(p) = 4*p**3 - 3*p**2 - 3*p - 2. Let c be x(-4). Let j = c - -179. Does 10 divide (j/10)/(3/(-6))?
False
Let l = -44 - -48. Does 13 divide (78/l)/((-1)/(-24)*6)?
True
Suppose -10 = -6*t + t. Suppose t*y + 26 = 96. Is 5 a factor of y?
True
Let w = 338 + 196. Is w a multiple of 52?
False
Let c(h) = 9*h - 8. Let i be c(10). Let q = 147 - i. Suppose -2*z + 97 = -q. Is z a multiple of 27?
True
Suppose u + 6 = 4*u. Suppose s + 0*i - 26 = -2*i, -2*s + 46 = -u*i. Is 2 a factor of (-6)/8 + 210/s?
True
Let w = -76 - -181. Is 5 a factor of w?
True
Let j = 80 + -31. Let d = j - -15. Is 16 a factor of d?
True
Let c be (-2)/(-4) + -3*(-1075)/30. Suppose -2*o = 48 - c. Does 3 divide o?
True
Let b(s) = s**2 - 19*s + 15. Is 8 a factor of b(-6)?
False
Suppose 0 = -19*z + 12*z + 1729. Suppose 5*r + 0*r - 580 = 5*m, -z = -2*r - m. Is r a multiple of 11?
True
Suppose -2 = -j - 6. Let d(n) = -3*n - 10. Let a be d(j). Suppose -5*k = -3*i - 100, a*k + 3*i - 7 = 33. Is k a multiple of 18?
False
Let s = 615 - 360. Does 15 divide s?
True
Let z be 24/4 - 3 - 573. Is 9 a factor of z/(-15) - 2*1?
True
Suppose -5*p - 10 + 49 = -2*g, 45 = 4*p + 3*g. Let s = p + 16. Is 10 a factor of s?
False
Let k be -4*3/24*(-16)/2. Let h(m) = -1 + 1 - 5*m - 4*m**2 + 2*m**3. Is h(k) a multiple of 16?
False
Suppose 0*t + t - 2*j = 101, -3*t - 3*j = -258. Suppose 0 = -2*y + 2*n + 3*n + t, 0 = -5*y + 4*n + 185. Does 4 divide y?
False
Suppose -12*g + 23*g = 15257. Is g a multiple of 105?
False
Let r = -1 + 6. Suppose -3*z - 5*v = -r*z + 109, -v = -3*z + 131. Does 27 divide z?
False
Suppose 4*c - 219 = 53. Is 17 a factor of c?
True
Suppose -91 = 3*m + 5*o, -3*o - 2*o = 10. Does 9 divide (-78)/(-8) - m/(-36)?
True
Let j = -51 + 153. Does 6 divide j?
True
Suppose -3*b + 19*b - 6704 = 0. Is b a multiple of 15?
False
Suppose -3*s =