?
False
Suppose 3*g + 2*w = 300, 0 = -2*g - w + 4*w + 187. Suppose 84*u - g*u = -5236. Does 17 divide u?
True
Suppose 41*l = 46*l - 4*m - 187871, -112730 = -3*l - 5*m. Does 167 divide l?
True
Let m = -126 - -126. Suppose m = 2*l - 32 - 44. Suppose 34*t - l*t = -60. Is t even?
False
Let r(y) be the second derivative of 2*y**3/3 - y**2 + 25*y. Let a be r(4). Let c = 44 - a. Is c a multiple of 10?
True
Let n(o) = 13*o**2 - 4*o + 15. Let k be n(-5). Let u be (2/(-4))/((-21)/210). Suppose -k = -11*q + u*q. Is q a multiple of 10?
True
Let z(b) = -12 - 53 - 31 - 97 + 4*b + 61. Does 4 divide z(39)?
True
Suppose -2*d + 7395 = b, 2*d - 4729 - 2656 = -3*b. Is d a multiple of 50?
True
Suppose -3*f - 35 = 2350*b - 2354*b, 0 = -5*f - 25. Let k be -1*1 - -2 - -1. Suppose 5*y - b*j - 35 = -0, 2*j - 30 = -k*y. Is y even?
False
Is 69 a factor of (-4)/(-52)*2 - 1448979/(-91)?
False
Let w(m) = -5*m**3 + 16*m**2 - 12. Let f(j) = 4*j**3 - 15*j**2 + j + 11. Let p(r) = -4*f(r) - 3*w(r). Does 19 divide p(10)?
True
Let h(n) = 11219*n - 1125. Is h(3) a multiple of 18?
False
Let c be 865/(-10) + 80/(-32). Let n = c + 1305. Is n a multiple of 13?
False
Suppose -13*c + 92741 - 35488 = -119885. Does 9 divide c?
True
Does 7 divide (1449/18 - 13)*588/15?
True
Let b(c) = c**3 + 4*c**2 - 2*c - 43. Let v be b(7). Suppose -2333 = -3*m + x, v + 3405 = 5*m - 2*x. Does 19 divide m?
True
Let n(j) = -j**2 + 19*j + 637. Is n(-14) a multiple of 5?
True
Let m be (19/(-2))/((6/4)/(-3)). Suppose 17*s - m*s = -8. Is 9 a factor of (s/((-32)/36))/((-1)/8)?
True
Let w be (235/20)/((-1)/(-4)). Suppose -5*g = -10*g. Suppose 5*z + w = r, -r - 2*r + 3*z + 105 = g. Is r a multiple of 8?
True
Let k be (-18)/(-10) + (-13)/(-65). Suppose 5*f + 2*p - 38 = 28, -f - k*p + 18 = 0. Let s = 20 - f. Does 7 divide s?
False
Let n = 245 - 328. Let x = n + 143. Is x a multiple of 4?
True
Let z(h) = 210*h**2 - 175*h + 691. Is 12 a factor of z(4)?
False
Suppose 315 + 475 = 5*p + 3*s, -4*p + s + 649 = 0. Suppose 0 = -2*x - p - 65. Let n = -61 - x. Is 13 a factor of n?
True
Suppose 6*v - 125*v + 929016 = -11*v. Does 34 divide v?
True
Suppose -p = -3*o + 4, -6*o + 2*o = 4*p + 16. Let x be 42 - o - (9 - 7) - -3. Let u = x - 4. Does 5 divide u?
False
Let w(x) = -x**3 - 3*x**2 - 7*x + 39. Let g(r) = r**3 - 24*r**2 - 53*r + 18. Let m be g(26). Is w(m) a multiple of 11?
False
Suppose 1063 = -3*c - 386. Let m = -343 - c. Does 28 divide m?
True
Does 35 divide (-13 - 8929/(-13)) + 6/39?
False
Suppose 3930*f - 3953*f - 713 = 0. Suppose 5*p + 57 = -2*w, -w + 100 = -5*w + 4*p. Let l = w - f. Is 3 a factor of l?
False
Let s(l) = -l**3 - 6*l**2 - 5*l + 3. Let q be s(-5). Suppose -6*k = -q*k - 12. Suppose -k*g = 9 - 89. Does 20 divide g?
True
Let j = 251 - 246. Suppose -k - s = -41, -130 = -j*k + 2*k + 4*s. Is k a multiple of 2?
True
Let c be 1/(-3) - (-4)/(36/5853). Suppose -13*j + 8*j = -c. Is 28 a factor of j?
False
Let r be 2/(-4)*(5 + -5). Suppose r = -4*a - 3*y + 2391, 4*a + 16*y - 2394 = 14*y. Is a a multiple of 5?
True
Let x(f) = -562*f + 1147*f - 569*f - 203. Is 13 a factor of x(14)?
False
Let j(c) = 2*c - 2. Let g be j(4). Suppose 4*w + g*d - 4 = 3*d, 3*d = 0. Is 17 a factor of (w - -1) + (-11)/((-33)/468)?
False
Let k = 387 - 399. Let d(t) = 5*t**2 + 29*t + 56. Is d(k) a multiple of 17?
False
Let a = -6318 - -17034. Does 19 divide a?
True
Let h = 357 - 211. Suppose -141*d = -h*d + 655. Does 31 divide d?
False
Is 85 a factor of 86640/76*(-7)/((-7)/34)?
True
Suppose -v + 4*p + 315 = 5*p, 2*v - 625 = 3*p. Let i = v + 1414. Is 24 a factor of i?
True
Suppose -2*a + 5 = -3*a - j, -4*j - 20 = -3*a. Suppose -4*r + 212 = -4*q, 4*r + 5*q = -a*r + 194. Suppose -b + r - 17 = 0. Is b a multiple of 17?
True
Let n(x) = 18*x**2 - 9 + 20*x**2 - 40*x**2. Let t be n(-5). Let a = t + 115. Is 7 a factor of a?
True
Let y be ((-29)/(-87))/((-3532)/3534 - -1). Let z = 1189 - y. Does 60 divide z?
True
Let h(j) = 17 + 8 - 22 + 4 + 6 + 277*j. Does 29 divide h(1)?
True
Suppose -50*x - 54*x = -107*x + 19305. Does 45 divide x?
True
Suppose 4*z - c - 156 = 1321, 4*z - 1468 = 4*c. Is z a multiple of 2?
True
Let l be (-135 + 170)*(-4)/(-14). Suppose 2*r - 36 = -2*x - 0*r, -54 = -5*x + 4*r. Is 2 a factor of -2 + x - (6 - l)?
True
Is (36 - -14298)*((-42)/18 - -5) a multiple of 20?
False
Suppose 30*o - 2320954 = -77*o + 13*o. Does 241 divide o?
False
Suppose -5*u + 168 = -182. Let x be 20/u - 2154/(-7). Suppose n = 12*n - x. Is n a multiple of 28?
True
Let i(m) = -2*m - 1. Let h be i(-5). Suppose h*p - 292 = 257. Is p a multiple of 20?
False
Suppose -31991 = -2*m - 10545 + 20884. Is 107 a factor of m?
False
Let z(y) = 161*y**2 - 14*y - 4. Let v be -4 + (-2 - (-28)/7). Does 12 divide z(v)?
False
Let j(i) = -4*i**3 + 21*i**2 + 12*i + 10. Let k(o) = o**3 - o**2 - o + 2. Let b(f) = -j(f) - 5*k(f). Is 26 a factor of b(-18)?
True
Suppose -l - 11 = -3*i, -15*i + 4 = l - 13*i. Is (l - -6)/(-28) - 6198/(-21) a multiple of 59?
True
Let n(c) = 5*c**2 - 8*c - 13. Let m = -1562 + 1107. Let g be ((-2)/10)/(13/m). Is 44 a factor of n(g)?
True
Let z = 5734 + 16148. Is z a multiple of 167?
False
Let v be (-2)/(-4)*(5 - 11). Let p(f) = -3*f + 3. Let j be p(-2). Is -2 + ((j*-8)/v - 1) a multiple of 11?
False
Suppose 213*j - 254*j + 187452 = 0. Is 18 a factor of j?
True
Let f(k) = k**2 - 13*k + 42. Let j be f(12). Let x be (-2)/((-33)/j + (-6)/(-10)). Suppose -4*d = -2*b + b - 478, 0 = -x*b - 8. Does 19 divide d?
False
Suppose -6*k + 279 = g - k, -786 = -3*g + 2*k. Let p = 414 - g. Is 2 a factor of ((-4)/(-5))/(3/p)?
True
Let j(f) = 25*f**3 - 5*f**2. Let p be (1/(0 + -1))/(13/(-39)). Is j(p) a multiple of 42?
True
Let r(k) = 3*k**3 - 19*k**2 - 259*k - 10. Is r(22) a multiple of 12?
True
Let j be (-27)/(-18)*(622/6 + -3). Suppose 2*y - 2*o - 23 = 91, -3*y = o - j. Is y a multiple of 13?
True
Let a be (-60 - -3)*(-1 + 2). Let l be (-112)/(-5) - a/95. Let t = 7 + l. Is t a multiple of 10?
True
Let n = -46 + 47. Let q be 2 + 25 + (-4 + n - -4). Is (160/q - 6) + 1122/7 a multiple of 40?
True
Let w = -42 + 47. Suppose -8*x + 11 = -w. Let m(q) = 14*q**2 - 2*q + 1. Is 31 a factor of m(x)?
False
Suppose 3*w = 39*l - 34*l - 170941, 0 = l + w - 34193. Is l a multiple of 89?
False
Suppose 15*h - 14266 = 12*h + 2*r, -2*r = 5*h - 23782. Does 37 divide h?
False
Suppose 4*k - 6*k - 5876 = -2*r, -k + 8798 = 3*r. Suppose 694 = -28*f + r. Is 11 a factor of f?
False
Suppose 18*d = 13*d + 20. Suppose 2*b = 4*k + d, 2*b = -k - 2*k - 24. Is 28 a factor of (268/b)/((-22)/33)?
False
Suppose -3*r + 3*q = -13212, 63*q - 13242 = -3*r + 61*q. Is 79 a factor of r?
False
Is 41 a factor of 3 + 7456 + 15/(-5) + 4?
False
Let h(b) = -17*b - 5 - 22 - 22 + 8 - b**2. Is h(-8) a multiple of 2?
False
Let u(a) = 13 - 2 - 18*a + 7 + 5*a**3 + 5*a**2 + 5. Let z(n) = n**3 - n**2 - n + 1. Let x(h) = -u(h) + 4*z(h). Does 37 divide x(-11)?
False
Suppose -6*j - 1 = 41. Does 36 divide 3 + (677 - j) + -3?
True
Let h be (-2)/6 - (-13418)/6. Is ((-36)/(-72))/(2/h) a multiple of 13?
True
Suppose 29*k - 32*k - 5*z + 21115 = 0, 0 = -3*z + 15. Is k a multiple of 190?
True
Suppose -3*y + 9 = 4*b, 3*b - 5*y = 2 + 12. Suppose b*r = 69 + 120. Is 12 a factor of r?
False
Let a(v) be the third derivative of 4*v**6/9 + v**5/40 - v**4/8 - v**3/3 + 3*v**2. Let u(l) be the first derivative of a(l). Is 40 a factor of u(1)?
True
Let o = 27985 + -25762. Is 26 a factor of o?
False
Let o be (-1 + 2)/(-1 - (-20)/24). Does 17 divide 0 - (2 - 144 - o)?
True
Let t(u) = -8*u - 60. Let m(d) = -17*d - 120. Let f(g) = -4*m(g) + 7*t(g). Does 12 divide f(24)?
True
Suppose -28 = -h - 2. Suppose x + h = 52. Suppose t = -5*g + 34, -g + x + 24 = 2*t. Is t a multiple of 8?
True
Let i(t) = t**3 + 4*t**2 - 18. Let f be i(-8). Let l = 151 - f. Is 17 a factor of l?
True
Let g(y) = 3*y**3 - 2*y**2 + y + 4. Let z(x) = -5*x + 1. Let u be z(-2). Suppose -o = u - 13. Does 11 divide g(o)?
True
Let g = 51 - 48. Suppose 3*j - 444 = -g*j. Is 3 a factor of j?
False
Let z(w) = -w**3 + 11*w**2 - 5*w + 33. Let v be z(14). Let n = -265 - v. Is 24 a factor of n?
True
Is -181 + 164 - (0 + -5669) a multiple of 21?
False
Suppose 43*z - 44*z - 127 = 3*k, 254 = -2*z - 2*k. Let s = z + 139. Is 3 a factor of s?
True
Let i = -205 - -221. Suppose i*k = 5*k + 3421. Is 17 a factor of k