pose 2*c - f*c = -354. Is 18 a factor of c?
False
Suppose 0 = b + 4*d - 0*d + 15, 105 = -5*b - 5*d. Let q(t) = -t**2 - 30*t - 20. Does 4 divide q(b)?
False
Suppose 30*z + 26*z = 52*z + 20448. Does 27 divide z?
False
Let j(x) be the third derivative of -x**6/720 + 11*x**5/120 + 5*x**4/24 - 9*x**2. Let k(o) be the second derivative of j(o). Is k(-9) a multiple of 4?
True
Let o = -5742 - -6742. Is o a multiple of 8?
True
Let u be (-3 - 1618)/(2 - 12/4). Suppose -16*p = -u - 4619. Does 10 divide p?
True
Let y be (-1)/(5 + -6) - -52. Suppose 96 = -47*r + y*r. Does 7 divide r?
False
Is 138 a factor of 143/11 - -19458 - 13?
True
Let f = 91 - 53. Let v = 47 - f. Is 10 a factor of 2*5 + (3 - v/3)?
True
Let j(h) = 292*h**2 + 105*h + 557. Does 141 divide j(-5)?
True
Suppose -108 = 90*p - 92*p. Does 51 divide (-2*23/(-3))/(1/p)?
False
Let m(g) be the third derivative of 2*g**5/15 - g**4/4 - 7*g**3/6 + g**2 - 131*g. Suppose h - 3*h - 6 = 5*w, -w - 6 = 2*h. Is 10 a factor of m(h)?
False
Let y(q) be the second derivative of q**4/12 - 11*q**3/6 - 27*q**2/2 - 20*q. Does 12 divide y(28)?
False
Suppose -11 - 54 = 5*p. Let o(v) = -v**2 - 11*v + 28. Let a be o(p). Suppose 0 = -a*n + 9*n - 1414. Does 14 divide n?
False
Let r = 6893 - 2742. Does 12 divide r?
False
Let g be 1 - (-1 + 4) - (-1974)/(-2). Let q = -741 - g. Is q a multiple of 8?
True
Let s(b) = 3*b**2 - 5*b. Let a be s(2). Suppose -4*t - 58 = -5*z - 191, -a*z + 94 = 3*t. Let y = t + 0. Does 8 divide y?
True
Suppose 3*d + 0*d - 3*b - 978 = 0, d - 3*b - 330 = 0. Suppose 4*y = -5*y + d. Is 12 a factor of y?
True
Is ((2559/(-9))/((-2)/(-10)))/(2/(-6)) a multiple of 6?
False
Suppose 3*b = 3*h - 54, -4*h + 5*h - 15 = 4*b. Suppose 779 = h*g + 171. Does 4 divide g?
True
Suppose -2*g + 5*m - 10 = -160, 5*g - 3*m = 375. Let s be ((-68)/10)/(15/g). Let a = s - -44. Does 2 divide a?
True
Let u(k) be the second derivative of -7/3*k**3 + 6*k + 0 - 1/6*k**4 + 4*k**2. Is 8 a factor of u(-7)?
True
Let l(p) = 13*p - 49*p**2 - 179*p**3 + 7 + 64*p**2 - 8. Is 18 a factor of l(-1)?
True
Let m be (3*4/(-30))/(5/(-325)). Suppose 22*w = m*w - 264. Does 33 divide w?
True
Suppose 11*o - 127 - 93 = 0. Suppose o = -10*t + 12*t. Let y(j) = -j**3 + 9*j**2 + 13*j - 5. Is y(t) a multiple of 12?
False
Let c(t) = -t**3 - 2*t**2 + 3*t + 7. Suppose 3*i + 11 = 14. Let s(m) = -6*m**2 - 2*m + 3. Let u be s(i). Is 15 a factor of c(u)?
False
Suppose -54*z = -58*z + 16. Suppose -5*g + 142 = 3*p, -4*p - z*g = -3*p - 52. Is p a multiple of 3?
False
Let b be (-14)/((-112)/6)*40/2. Let a(m) = 33*m - 27. Is 36 a factor of a(b)?
True
Let c(s) = -15*s + 444. Does 2 divide c(12)?
True
Suppose -300*g - 306360 = -324*g. Does 185 divide g?
True
Let t be (4/(-6)*-5)/((-4)/(-150)). Suppose -f + 477 = 144. Let c = f - t. Is c a multiple of 16?
True
Suppose -5*s = -8 + 3, 11 = 5*f - 4*s. Suppose 0 = f*r + 4*y - 120, 100 = 4*r - y - 41. Is 6 a factor of r?
True
Let w be (-1)/(1/(-100)) - 81/27. Let t(o) = -36*o - 23. Let p be t(-8). Let n = p - w. Is 7 a factor of n?
True
Let y(w) = -865*w - 1219. Is y(-23) a multiple of 23?
True
Suppose -6*r + 36 = -6. Let d be r/((-28)/(-6))*2. Suppose -k + 308 = d*k. Does 46 divide k?
False
Let m be (56/10)/4 + (-6)/(-10). Suppose 2*h = -m*h - d + 10, -d = h - 1. Let c(o) = o**3 - o**2 + 4*o - 1. Does 3 divide c(h)?
False
Let f(n) = 5725*n**2 - 131*n - 317. Does 53 divide f(-3)?
False
Suppose 2*a - 2*q = -2, q - 6*q + 13 = -3*a. Suppose 5*g = a*w + 911, -3*g - 4*w = -471 - 82. Is g a multiple of 32?
False
Is (-145 - 1)/(9*2/(-1584)) a multiple of 11?
True
Let s(u) = 23*u**3 + 9*u**2 - 2*u - 42. Is 8 a factor of s(5)?
True
Suppose -5616 = 15*n + 1779. Let k = 519 + n. Is k a multiple of 2?
True
Suppose 37*h + 38*h = 88*h - 385788. Is h a multiple of 90?
False
Let o = 35 + -33. Let r be 2/2 + (o - -14). Let z = r - 0. Is 5 a factor of z?
False
Let c(g) = -12292*g + 16. Is 40 a factor of c(-2)?
True
Suppose -48*o + 107*o = 52*o + 23303. Does 266 divide o?
False
Let a = 37484 + -21343. Is 27 a factor of a?
False
Let m be 440/165*(-2)/((-4)/3). Is 4 a factor of (m/(-2))/(6/(-147))?
False
Let g = 199 - 78. Let f = g + -118. Suppose -f*v = -319 + 79. Is v a multiple of 18?
False
Is 76 a factor of (2/3)/(48/103968)?
True
Let t(o) = 113*o**2 - 2*o - 1. Let j be t(-1). Let m = -25 + 29. Suppose -6*s + j = -m*s. Is 10 a factor of s?
False
Let q = 64 + -28. Suppose -q*p = -11606 - 37498. Does 38 divide p?
False
Suppose 140894 = 20*m - 41506. Is m a multiple of 25?
False
Let q = -2 - -7. Suppose 0 = -2*h + q*h - 21. Let t(l) = -l**3 + 7*l**2 + 4*l + 12. Is 8 a factor of t(h)?
True
Let n(u) = 7*u - 346 - u**2 + 9*u + 345. Let d be n(16). Let w(k) = -72*k. Is w(d) a multiple of 36?
True
Suppose -2*t - 26 = 3*m, -2*m - 3*t + 0*t = 24. Let c be (-20)/(-8) - 9/m. Suppose -c*o + 7*o + 3*s - 342 = 0, -3*o + 326 = -5*s. Is o a multiple of 16?
True
Let i = -99 - -99. Suppose 3*x + 5*p - 792 = i, -3*x + 0*p = -p - 792. Is x a multiple of 22?
True
Let y(s) = 3*s**3 + 4*s**2 + 12*s - 17. Does 2 divide y(5)?
True
Suppose 232 = 2*j - 44. Let g = j - 278. Is 21 a factor of 4/(3 + -1) - g?
False
Suppose 0 = l + 398 - 1110. Suppose 20*o = 2028 + l. Is 4 a factor of o?
False
Suppose 3*z - 8 = -z. Suppose 95 = l + r, z*l + 461 = 7*l - 2*r. Does 3 divide l?
True
Let q(f) = -10*f**3 - 8*f**2 - 35*f - 70. Is q(-8) a multiple of 33?
True
Let l(s) = -1891*s - 152. Is l(-1) a multiple of 37?
True
Let l(q) = 703*q + 14 - 704*q - 1. Let p be l(9). Suppose p*h = h - 3*w + 132, -2*w = 6. Does 34 divide h?
False
Suppose 0 = 2*f - 0*f + 3*k + 5, 0 = f + 2*k + 4. Suppose 5*o - 7 - 13 = 0. Suppose o*n - n - 98 = 4*b, 63 = f*n - 5*b. Is 4 a factor of n?
False
Let s = -20 - -26. Suppose 4*u + 2*u = s. Is 12 a factor of -3*u + (57 - 6)/1?
True
Suppose 4 = -2*n + 14. Suppose -n*k - 172 = -y, 18*y + k - 964 = 13*y. Is 16 a factor of y?
True
Let w be -10 + 17 - 2/2*3. Suppose -w*k = 2*d + 2*d - 12, 9 = 5*d - k. Suppose 3*q + 15 = 0, 293 = d*p + p - q. Is 24 a factor of p?
True
Does 23 divide 4395 + ((-7)/14*0)/1?
False
Suppose 1750 - 13654 = -16*x. Does 12 divide x?
True
Suppose 0 = -3*i + 3*o + 1512, 2*o = 5*i + 7*o - 2510. Suppose 4*s = 0, 0 = -2*r - 4*s + i - 53. Is r a multiple of 25?
True
Suppose 0 = -0*z + 3*z - 39. Let n(m) = 20 + z - 2*m + 4 + 0. Is 37 a factor of n(0)?
True
Is 9 a factor of -1 + 103 + (-10 - 18/(-6))?
False
Let f(z) = 2*z**2 + 6*z + 7. Let c be f(6). Suppose -2*u + c = -173. Suppose 0 = -21*j + 17*j + u. Is j a multiple of 18?
True
Suppose 2*m = -3*k + 836 + 6826, 4*k + m = 10216. Is 21 a factor of k?
False
Let o(q) = q**2 + 7*q + 12. Let r be o(-5). Suppose -r*t = 6, -12*g - 4*t = -13*g + 50. Is g a multiple of 6?
False
Suppose -4*k - 9 + 29 = 0. Suppose 2*a + a - 12 = 0, -2515 = -5*h - k*a. Does 9 divide h?
False
Suppose -13*j - 1431 = 64. Is 68 a factor of (j/10)/(545/(-136) + 4)?
True
Suppose -1778 = -3*q - 3*z + 262, 15 = 3*z. Is 15 a factor of q?
True
Let d(s) = -s**3 + 14*s**2 - 12*s - 13. Let t(a) = -5*a - 22. Let y be t(-7). Let i be d(y). Suppose -11*r + 0*r + 946 = i. Does 15 divide r?
False
Let t(o) = 9*o**2 - 29*o + 20. Let q be t(16). Suppose -s - 4*s = -q. Does 31 divide s?
True
Let b be -1 - 18/(0 - 3). Suppose -b*h - 459 = -4*a, 4*a + 0*h - 465 = -h. Suppose 2*o + 34 = a. Is o a multiple of 20?
False
Let l(c) = c**3 - 2*c**2 + 107. Suppose 3*g - 1 - 8 = -4*z, -z = -5*g + 15. Does 33 divide l(z)?
False
Suppose -3*n = -5*s - 84, -4*n - 31*s = -34*s - 101. Let l = n - -167. Is 38 a factor of l?
True
Let i(t) = 15*t - 4. Let r be i(2). Suppose 2 = -4*x + r. Suppose 0 = x*m - m - 480. Is 12 a factor of m?
True
Let y be (-6)/15 + (-88)/(-20) + -1. Let d be y/(-1 + 4) + -29. Let z = d - -60. Is z a multiple of 4?
True
Let z(u) = -u**3 - 13*u**2 + 18*u + 9. Let i be z(-13). Let s = i + 144. Let h = s - -207. Does 42 divide h?
True
Suppose 65*j = 15*j + 36000. Is j even?
True
Let i be -635 - (2 + (-1)/(1/1)). Let u = i + 1410. Does 24 divide u?
False
Does 19 divide (16 - 88480/(-30)) + 4/(-3)?
True
Suppose 3*j + 5*r = -0*j + 12, 0 = -5*j + 4*r + 20. Suppose 488 = 4*p - 3*p - j*o, 2440 = 5*p - o. Is 39 a factor of p?
False
Let l(y) be the second derivative of 7*y**6/180 - y**5/30 + 3*y**4/8 - 5*y**3/2 + 18*y. Let r(i) be the second derivat