21*t = 317631 - 1041601 - 674911. Is 94 a factor of t?
False
Let m(s) = -s + 11. Suppose 11 + 1 = -4*r. Let u be m(r). Suppose 0 = j - 2*j + u. Does 11 divide j?
False
Suppose -5*i = 32 + 13. Let w = i + 11. Suppose 0 = 2*n - 3*o - 9, -4*n - o = -w*o - 43. Is 4 a factor of n?
True
Let n = 3488 - -1568. Does 64 divide n?
True
Does 167 divide ((-3634)/(-7))/((-6)/(-42))?
False
Let c = 4 - -309. Suppose k - c = -6*s + 3*s, 410 = 4*s + 5*k. Is s a multiple of 7?
True
Let v(q) = q**3 + 23*q**2 + 26*q + 88. Let a be v(-22). Is -3 - (a + -230 + 4 - -3) a multiple of 65?
False
Let f be 7145/15 + (3 - (-14)/(-6)). Is (f/3)/((-2)/(-4)) a multiple of 37?
False
Let y(k) = 6*k + 6*k**3 - 12*k**3 - 6 + 7*k**3 + 8*k**2. Let d be y(-5). Suppose -3*n = -15 - d. Is n a multiple of 12?
False
Let x = 8025 + -5024. Is x a multiple of 47?
False
Let f be (8 + -2)*(-1 + 4 + 8). Let x = 19 - f. Let h = 1 - x. Is 8 a factor of h?
True
Let v(w) = -w - 244. Let z be v(0). Let u be 8/(-40)*5*7*16. Let d = u - z. Is 11 a factor of d?
True
Suppose 0 = -h + 379 - 49. Suppose -2*g - 10 = -i, 1 = 4*g - 3. Suppose -h = x - i*x. Does 3 divide x?
True
Let h = 11157 - 5659. Is 26 a factor of h?
False
Let y = 472 - -1387. Does 8 divide y?
False
Let a be 266/(-28) - -8 - 14/(-4). Suppose a*o = 3*l - 2*l - 560, -l + 552 = -4*o. Is 71 a factor of l?
True
Suppose 0 = -0*a + 5*a + 15, -3*r + 2*a = -90. Let x be r + 2/2 + 18/(-6). Suppose 121 = 5*y + x. Does 15 divide y?
False
Let o = -78 + 78. Suppose -s = 2*f + 9, f + 8 = -o*f + 3*s. Is 43 a factor of (840 - (f + 10))*(-4)/(-10)?
False
Let q(n) = 4*n + 11. Let s be q(-3). Is (-42)/s*(-1 + (1 - -1)) a multiple of 3?
True
Suppose -19*h = -24*h, 0 = -z - 5*h + 5272. Is z a multiple of 8?
True
Let h be ((-52)/(-20) + -2)*5. Suppose -h*y - 180 = -a, -4*y - 201 = -4*a + 39. Let k = 67 + y. Is k a multiple of 7?
True
Suppose 19*f - 4*j = 14*f + 56526, 2*f = 5*j + 22607. Does 14 divide f?
False
Suppose 674524 = 376*x - 136*x - 2805476. Does 39 divide x?
False
Let r(v) = -v**2 - 23*v + 114. Let q be r(-10). Let n(g) = 3*g**2 - 5*g - 1. Let k be n(4). Is (q/12 - -2)*k/3 a multiple of 22?
False
Suppose -57*l = -64*l - 9842. Let w = l + 2537. Is 13 a factor of w?
True
Let p(r) = 71*r**3 + 42*r**2 - 146*r + 3. Does 10 divide p(3)?
True
Let z be (3 + -2 + 0)*17. Let c(r) = 195*r + 103. Let k(t) = 91*t + 51. Let j(i) = -6*c(i) + 13*k(i). Is j(z) a multiple of 12?
False
Let t(a) = -a**3 - 17*a**2 + 8*a + 9. Suppose 0 = c + 3*w + 18, -5*w - 72 = 4*c - 2*w. Does 7 divide t(c)?
True
Let k(x) = 489*x**2 - 82*x + 4. Does 15 divide k(-4)?
False
Suppose -o + 5 = 3*r, 2*o - 1 = 11*r - 8*r. Let g(y) = -131*y + 4. Let i(v) = -393*v + 11. Let h(f) = 17*g(f) - 6*i(f). Is 19 a factor of h(r)?
True
Suppose 0 = 4*k + 4*l - 74280, -42408 - 50436 = -5*k - 4*l. Does 102 divide k?
True
Let f(b) = 6*b**2 + 2*b - 3. Let x be f(1). Let j(v) = -v + 9. Let i be j(x). Suppose 0 = n - 5*n - i*o + 584, n - 140 = -4*o. Does 26 divide n?
False
Suppose -23*l = 11*l - 11696. Let i = 536 - l. Is i a multiple of 6?
True
Let l(z) = 2*z**3 - 17*z**2 - 142*z - 41. Is 18 a factor of l(19)?
True
Let h(z) = -9*z - 21. Let d be h(30). Let q = 76 - d. Is 16 a factor of q?
False
Let h(m) = -17*m - 284. Does 27 divide h(-42)?
False
Let h be -5 + ((-4336)/10)/((-6)/15). Let d = h + -793. Is d a multiple of 11?
True
Let v(p) = -p**3 + 6*p**2 + 6*p + 9. Let t(i) = i**3 - i**2 - i + 1. Let w(u) = -3*t(u) - v(u). Let d(o) = 3*o + 20. Let a be d(-8). Does 20 divide w(a)?
True
Let x be (-360)/(-48)*156/10. Is x + -5 + (-3)/(-5 - -4) a multiple of 8?
False
Let f be (((-6)/(-2))/3)/(3 - 4). Let v(j) = -140*j**3 + j**2 + 3*j + 2. Is v(f) a multiple of 20?
True
Suppose 4*o + p + p + 132 = 0, -3*o + 2*p = 99. Let n = o - -93. Is n a multiple of 4?
True
Suppose 0 = 5*d + 3*l + 2*l - 765, -3*d - 2*l + 456 = 0. Suppose 3*f + 4*o = 4, 0 = 2*f - 3*f + 5*o + 14. Suppose f*h - d = h. Is h a multiple of 7?
False
Let n(c) = 2*c**2 - 3*c - 174. Is n(-10) a multiple of 4?
True
Suppose 13418*u - 41530 = 13408*u. Is u a multiple of 11?
False
Suppose -2*m + 65 = 2*y - 7, -2*m = 0. Does 46 divide (24/(-4) + y)/(6/76)?
False
Suppose 15*y - 53*y + 7642 + 41758 = 0. Is y a multiple of 16?
False
Suppose z + 3*z + 8 = 3*v, -2*v - 2*z + 10 = 0. Suppose 2*b = 5*k + 2, 2*k + v = -b + 5. Is (32/3 + -3)*(4 - b) a multiple of 3?
False
Does 27 divide ((-1422)/(-12))/(42/1064)?
False
Let y(i) = 4*i**3 - 6*i**2 + 2*i + 8. Let w(f) = f**3 + f + 1. Let x(u) = -2*w(u) + y(u). Let j = -853 - -857. Does 23 divide x(j)?
False
Suppose -54*t + 2025782 = 67*t. Is t a multiple of 14?
False
Let w = 18195 + -10707. Is w a multiple of 36?
True
Does 4 divide (0 + 3)*(-1852982)/(-1182)?
False
Let x(k) = -10*k**3 + 13*k**2 + 3*k - 1. Let n be x(-4). Suppose 103 = -4*c + n. Does 18 divide c?
False
Let j = -19222 + 33339. Does 19 divide j?
True
Let x(k) = k**3 - 24*k**2 - 83*k - 51. Let u(v) = 2*v**3 - 48*v**2 - 167*v - 101. Let w(o) = 2*u(o) - 5*x(o). Is 9 a factor of w(27)?
False
Suppose -65*x + 193829 = -8*x - 155011. Does 6 divide x?
True
Suppose 3*k - 6287 = 5*w, -144*w + 140*w = -3*k + 6289. Is 12 a factor of k?
False
Suppose 24 = -4*v, -7*p + 12*v = 13*v - 110776. Is 124 a factor of p?
False
Let g be (-18 - -13)*(0 + 0 + -2). Suppose 2 - 48 = -2*i - 2*z, 5*z - g = 0. Is 6/i + (-5670)/(-49) a multiple of 29?
True
Let z(c) = 5*c**3 - 10*c**2 + 7*c - 4. Let p be z(6). Suppose b + p = 2*b + 4*f, -2*f - 746 = -b. Suppose 5*d - 120 = b. Is 19 a factor of d?
False
Let r(p) = 47*p + 376. Let b be r(-8). Let o(a) = -1. Let l(u) = -u**2 + 2*u + 9. Let w(y) = l(y) - 3*o(y). Is w(b) a multiple of 5?
False
Let v(k) = -k**3 - 28*k**2 + 4*k + 125. Let r be v(-28). Suppose 9*j = r*j - 1048. Is 9 a factor of j?
False
Suppose -5*y + 481 - 16 = m, 0 = -4*m + 5*y + 1785. Suppose h - m = -0*p + 3*p, 2*h = p + 905. Suppose -6*w + h = -117. Is 22 a factor of w?
False
Let s = 34 + -19. Suppose -6*j + s = -7*j. Is 32 a factor of (20 - 0)*(-96)/j?
True
Let p be (((-4)/3)/(-4))/(1/30). Let w be ((-1)/(-2))/((-5)/p)*-30. Is 15 a factor of (1 + 5)/(64/w + -2)?
True
Let o(l) = 4*l**2 + 11*l + 58. Let b(a) = 16*a - 279. Let z be b(17). Is o(z) a multiple of 59?
True
Let n be 10/(-3) - -4 - 51/9. Let c = -3 - n. Suppose c*x - 311 = 51. Does 13 divide x?
False
Suppose -3*x - 20833 + 65220 = 4*g, -4*x = 5*g - 59184. Does 7 divide x?
False
Let f = 11662 + 2003. Does 120 divide f?
False
Suppose -74 = -s - m, -5*s + 5*m + 211 = -109. Let b = s - 59. Suppose 117 = -a + b*a. Is 2 a factor of a?
False
Let m = 207 + -175. Let q = 164 - m. Is 12 a factor of q?
True
Let k(j) = 5*j + 85. Let p be (-10)/(-1 + (2 - -1)) - -12. Is 3 a factor of k(p)?
True
Let d = 93 - 97. Let u be -1 + (-1 - -4) - (d - -1). Suppose 282 = u*l - 393. Is 7 a factor of l?
False
Suppose 3*b + 11 = -2*t, t + b + 5 = -t. Is (-4352)/(-12) + (t - 16/(-12)) a multiple of 41?
False
Suppose 3*t - y + 0 - 2 = 0, 2*y = -3*t - 4. Let f(i) = -i**2 + 2*i + 153. Let v be f(t). Suppose 4*m + 5*c - 59 = 3*m, 2*m + 3*c - v = 0. Does 12 divide m?
True
Let p = 13513 + -6135. Suppose -14*a + p = 17*a. Does 34 divide a?
True
Let x be (-18)/(90/32 + (-42)/14). Suppose r - 55 + 6 = -5*b, -4*r + x = -5*b. Does 4 divide r?
False
Let a(s) = -14*s**2 - 14*s - 23. Let i be a(7). Let q = i - -1287. Is q a multiple of 40?
True
Let f be ((-1 + 0)/((-1)/(-5)))/1. Does 14 divide 54 + -2 - f/1?
False
Let k = -128 + -38. Let h = k + 253. Suppose 4*q + h = 1127. Is q a multiple of 23?
False
Let w(f) be the first derivative of -16*f**2 - 100*f - 60. Is 6 a factor of w(-8)?
True
Let u = 28 + -35. Let y(h) = 3*h**2 - 34*h - 31. Let q(k) = -2*k**2 + 17*k + 16. Let w(s) = u*q(s) - 4*y(s). Is 18 a factor of w(-10)?
False
Let k be -2 + (3 - 2) + 4. Suppose 3*s = 2*t + k*t - 629, 2*s + 504 = 4*t. Suppose -216 - t = -7*z. Is z a multiple of 7?
True
Let j(l) = -2*l**3 - 2*l**2 - 9*l - 40. Let g(v) = -v**3 - v**2 - 4*v - 20. Let w(b) = 11*g(b) - 6*j(b). Let u be w(-17). Is 14 a factor of u/(-49) + 12/21?
True
Suppose g = 10*g - 27. Suppose -3*n = -0*q - q + g, -2*n + 12 = 4*q. Suppose c - 2*i + 45 = 171, 388 = q*c + 4*i. Does 11 divide c?
False
Suppose 0 = -23*w + 44*w - 41244. Is 98 a factor of w?
False
Let j(q) = -2*q**3 - 14*q**2 - q + 12. Is 3 a fa