t b(f) = 658*f**2 - 1079*f - 7560. Is b(-7) a multiple of 21?
True
Let w = -2798 + 4577. Suppose 4029 = 4*u - w. Is 44 a factor of u?
True
Let y be (24/10)/(58/4205). Let o = y - -56. Is o a multiple of 10?
True
Let k be (40/(-1 + -1))/(4 + -6). Suppose k*i - 1436 = 4654. Is i a multiple of 25?
False
Suppose -5*o - 245 = 5*s - 20, 5*o + 81 = -2*s. Is (-10)/(-5)*4/(-3)*s a multiple of 16?
True
Suppose 35*f + 6 = 33*f, 0 = 4*s + 4*f - 4236. Does 9 divide s?
True
Suppose -16*z - 7 = -15*z. Let k(r) = -2*r**3 + 3*r**2 + 50*r - 3. Does 20 divide k(z)?
True
Let f(u) = 407*u - 3767. Is f(28) even?
False
Let i = -702 + 702. Suppose 4*k + 2*f - 922 = i, -k + 4*k - 2*f = 688. Does 23 divide k?
True
Suppose 298 = 4*h + 18. Let a = h + -63. Let d(n) = -2*n + 23. Does 2 divide d(a)?
False
Suppose 94*x - 22174 = 54060. Does 6 divide x?
False
Let w(x) = -7*x**3 - x**2 - 9*x - 3. Let j = -7 + 4. Let n be w(j). Suppose -3*y + 3*p = -222 + 18, p + n = 3*y. Is y a multiple of 4?
True
Suppose 10 = 5*v, -5*g + 59315 = -v + 4752. Is g a multiple of 32?
False
Suppose -1517 = -5*a - 2*c, 5*c = -a - 3*a + 1200. Suppose 6*z + 59 = a. Does 19 divide z?
False
Is 34 a factor of 43/(258/(-60)) + 65800?
True
Let p(b) = 2*b - 1. Let w be p(1). Suppose -h - 273 = -5*k, 5*k + 0*h + 4*h - 258 = 0. Is 26 a factor of 3/2*k - 3/w?
True
Let i(k) = -202*k. Let w be (-4)/(-6) - 0 - 10/6. Is 6 a factor of i(w)?
False
Let c = -356 + 362. Suppose 2*r - 60 = -4*y, 2*y + 2*r - c = 26. Does 4 divide y?
False
Let i = 544 + -543. Is i/(2/190) - -1 a multiple of 9?
False
Let c be ((-361)/4)/(1/(10 - 14)). Let w = 751 - c. Does 30 divide w?
True
Let g(d) be the third derivative of d**6/120 + 11*d**5/60 + d**4/3 + 4*d**3/3 + 44*d**2. Is g(-10) a multiple of 15?
False
Suppose 9*g = -9 + 36. Does 3 divide (g - 3 - (-3 + -23)) + 1?
True
Let u be (-456)/15 - (-4)/10. Is 9 a factor of (u/(-35))/(2/294)?
True
Let f(y) = -3*y**2 - 2*y - 15. Let b(n) = -2*n**2 - n - 17. Let d(s) = 2*b(s) - 3*f(s). Is 14 a factor of d(-6)?
False
Suppose -124*c + 11540 = -119*c. Does 4 divide c?
True
Let c = 737 - 1108. Let l(n) = -241*n + 485. Let s be l(3). Let t = s - c. Is 24 a factor of t?
False
Let p = 5469 - -15475. Does 44 divide p?
True
Let c be -56*(-1 - -6)*2/(-35). Suppose 0 = c*k - 1123 - 1293. Is 6 a factor of k?
False
Let o = 43 - 59. Let b be (4/(-8))/((-2)/o). Let z = b + 14. Is 5 a factor of z?
True
Let t be (-223 - 0)*39/(-5)*5. Suppose -40*f + t + 5503 = 0. Is 6 a factor of f?
False
Let n(o) = 3*o + 2 + 59 - 32 + 4*o. Is n(5) a multiple of 7?
False
Let b(r) = 46*r**2 + 66*r - 67*r - 2 + 3. Let k be b(1). Let p = 54 - k. Is 2 a factor of p?
True
Let h be ((-24)/(-10))/(5/275). Suppose -d - 19 = h. Let m = d + 304. Is m a multiple of 37?
False
Suppose j - 3*r = 348, 0 = -4*j - r + 5*r + 1432. Suppose j = 2*l - 5*p, -3*p + 398 = 2*l - p. Does 12 divide l/8 - (-2)/(-8)?
True
Suppose -4 = 3*m + 4*y - 1, -18 = -5*m + y. Let w(u) = -8*u**2 - 53*u + 23. Let c be w(-7). Suppose -m + 31 = c*d. Is d a multiple of 4?
False
Does 115 divide -2*(-1 - 20/5)*(-9200)/(-8)?
True
Is 21 + 43856 + 42 - -7*(-2 - -1) a multiple of 33?
False
Let g(m) = 245*m**2 + 765*m - 3041. Does 3 divide g(4)?
True
Let p = 40 - 32. Suppose 3*s + 2 = p. Is (-4 + 96)*2/s a multiple of 23?
True
Suppose -5640 = -258*b + 243*b. Suppose 3*n = f + 3*f + b, -3*n - 2*f + 352 = 0. Is n a multiple of 10?
True
Suppose 0 = -5*q + l + 40149, 14*q - 15*q + 8032 = 2*l. Does 73 divide q?
True
Let l(q) = -q**2 - 12*q - 9. Let s(k) = k**2 + 13*k + 8. Let i(u) = -5*l(u) - 4*s(u). Let n be i(-5). Does 10 divide ((-20)/(-8) + n)*120*1?
True
Suppose -195*z + 187*z = -40. Suppose -5*x + z*j + 491 + 274 = 0, -2*j = 5*x - 758. Is 38 a factor of x?
True
Suppose -3*f = -51*k + 53*k - 4383, -4*k = -12. Is 2 a factor of f?
False
Suppose -4*q - 20674 = -37666. Is 19 a factor of q?
False
Suppose 0 = o + 2*f - 166, -31*o + 26*o = -3*f - 804. Is o a multiple of 6?
True
Suppose 2*z = -5*g + 338, 5*z - 2*z + 3 = 0. Suppose -g = -10*o - 18. Suppose 2*p + 11 - 53 = -o*r, 4*r = p - 21. Is 3 a factor of p?
True
Let l(c) = 18*c + 45. Let v be l(6). Suppose 2*p = 4*d - p - v, -4*d - 5*p = -161. Does 29 divide (d/(-9) + 3)*-3*58?
True
Let o(s) = 10*s**2 - 5*s + 3. Let q be o(3). Let k = 158 - q. Is k a multiple of 8?
True
Suppose 2*o + f + 75 = -68, -3*o - f = 214. Let g(t) = 18*t + 1. Let b be g(-1). Let v = b - o. Does 17 divide v?
False
Let d(j) = -j**3 - 15*j**2 + 9*j + 40. Let o be -4 - -4 - 4 - (0 - -3). Let c be -6*364/117*(-6)/o. Is d(c) a multiple of 38?
True
Suppose 0 = 78*f + 477342 - 756561 - 979077. Is f a multiple of 271?
False
Let k be ((-100)/30)/(2/3) + -41. Let g(l) = -l**3 - 44*l**2 + 88*l + 2. Is g(k) a multiple of 6?
True
Suppose -57*p + 31995 + 33851 = -228559. Is 111 a factor of p?
False
Let h = -1599 - -3895. Is 6 a factor of 2/7 - h/(-196)?
True
Suppose 0 = -4*k - o - 0*o + 4, -4*k - 2*o + 4 = 0. Suppose k = -4*t + 13. Suppose -5*f + 208 = 2*b, f = -b + t*f + 122. Is 11 a factor of b?
False
Let z(v) = -19 + 89 + 11*v + 40. Is z(5) a multiple of 5?
True
Suppose -43*p + 21*p + 15*p + 57190 = 0. Is 43 a factor of p?
True
Let m = 3849 + -2084. Suppose 4*c - 2350 = -0*a + 2*a, -3*c + 4*a = -m. Is c a multiple of 22?
False
Suppose 5*k = 2*k - 36. Suppose 707 = -x + 2*g + 61, -2*x - 2*g = 1280. Does 38 divide (x/(-8))/(k/(-16))?
False
Suppose 0 = -c - 5*y - 9, 6*c = 2*c + 4*y - 12. Is 6 a factor of (c + -5)*(0 + 72/(-4))?
True
Let k(a) = 16*a + 6 - 6*a - 7*a. Let j be k(5). Is (-42)/(-12)*120/j a multiple of 4?
True
Let u(x) = x**3 + x**2 + 5*x + 4. Let f be u(-3). Suppose -134*l + 34 = -133*l. Let d = f + l. Is d a multiple of 3?
False
Let c(s) = 92*s**2 + 2*s - 4. Let j(z) = -184*z**2 - 5*z + 9. Let u(n) = 7*c(n) + 3*j(n). Let x be 4/(-6) - 3/9. Is u(x) a multiple of 23?
True
Let m(l) be the second derivative of -l**4/12 - l**3/6 + 27*l**2 - l + 29. Does 27 divide m(0)?
True
Let l = 6273 + -1271. Is l a multiple of 41?
True
Does 128 divide 624/(-273) - (-31230)/35?
False
Let y(d) = -d**3 - d**2 + d + 1. Let g(a) = 7*a**3 + 20*a**2 + 6*a - 4. Let o(l) = -g(l) - 6*y(l). Let k be o(-13). Is 16 a factor of (-110)/((3 - (-51)/k)*5)?
False
Suppose 127507 = 5*t + 3*w + 2290, 0 = 3*w + 18. Is 121 a factor of t?
True
Let w = -36 - -43. Suppose -5*q - v + 4518 = 0, v = -8*q + w*q + 906. Is 21 a factor of q?
True
Suppose -a + 6710 = 2*g - 34057, -g - 5*a + 20397 = 0. Does 10 divide g?
False
Suppose 2*m = -y + 6*y - 17, 3 = 2*y + 3*m. Let w(l) = 19*l**3 + 6 - 4*l - 37*l**y + 6*l**2 + 19*l**3. Is 17 a factor of w(-5)?
True
Suppose -11*y + 11849 - 3555 = 0. Is 63 a factor of y?
False
Let k = -352 - -274. Suppose -3*v = -11 + 8. Is 49 a factor of (39/k)/(v/(-408))?
False
Let t(l) = 103*l + 102*l + 16 - 211*l. Let c be (9 - 1)/((-1)/1). Does 9 divide t(c)?
False
Let h(z) = z + 4. Let u be h(-2). Suppose -k + 2 + 2 = -m, u*k - 38 = -4*m. Suppose -54 = -12*g + k*g. Is 7 a factor of g?
False
Suppose 0 = -5*x + 10*x + 1045. Let n = x - -417. Is 13 a factor of n?
True
Suppose 232*s - 170*s - 95232 = 0. Does 5 divide s?
False
Let a(r) = -241*r - 3119. Does 13 divide a(-62)?
False
Suppose -30 = -5*v, -5*v + 24836 = -3*p + 91553. Is 19 a factor of p?
True
Let v = -13045 - -25393. Is v a multiple of 63?
True
Let o be (-3 + 335)*(-1)/(-2). Suppose 480 = 59*h - 127*h + 63*h. Let n = o + h. Does 35 divide n?
True
Suppose 0 = 6*o - 56 + 98. Is (3241/(-49) - -5)*o a multiple of 78?
False
Let u(y) = 10*y**2 + 120*y - 1110. Is 10 a factor of u(25)?
True
Let g(u) = -u + 1484. Is g(-62) a multiple of 4?
False
Let b(l) = -8*l + 36. Let y be b(4). Suppose y*q = -9*q + 6357. Does 9 divide q?
False
Suppose -4*r = 3*a - 64045, -4*a = -r - 7*a + 16018. Does 19 divide r?
False
Is (-25)/100 + (-2 - (-109371)/12) a multiple of 31?
False
Suppose -2*n + 0*n - 117 = d, -3*d + 3*n = 378. Let u = d - -313. Is u a multiple of 14?
False
Let s(a) = -132*a - 3. Let x be s(-2). Let g = -54 + x. Is 23 a factor of g?
True
Let a = -536 - -543. Suppose 4*g + 3*b = -9, 0 = -5*g + 4*g + b + 3. Suppose g = -s + 106 - a. Is 10 a factor of s?
False
Let i be 271 - (-2 + 4/(-4)). Let x = i - 148. Suppose -2*y = y - x. Is 20 a factor of y?
False
Is 10 a factor of 70/175*(-527970)/(-12)?
False
Is 9 a factor of (0/(-3 - 3)