ctor of j(-9)?
True
Suppose 3*c = -4*q + 34126, 5*q - c - 22180 = 20506. Is 194 a factor of q?
True
Is 14 a factor of 26/(-24) + 1 - (-392343)/612?
False
Let s(y) = y**2 + 34*y + 66. Let t be s(-32). Suppose -t*l + 480 = -3*z, -6*l - 948 = -10*l + 3*z. Is l a multiple of 9?
True
Let u = -1366 - -1355. Let f(b) be the third derivative of -b**4/6 + 2*b**3/3 - b**2. Is 24 a factor of f(u)?
True
Let q(w) = w**3 - 21*w**2 - 214*w - 112. Is 191 a factor of q(34)?
True
Let c(u) = -22*u - 37. Let b(x) = -x - 6. Let k be b(4). Is c(k) a multiple of 19?
False
Suppose -2*f = -4*z - 22618, z = 3*f - 26521 - 7411. Is f a multiple of 125?
False
Let r be (-413)/(-2) + ((-20)/8)/(-5). Let t(v) = 68*v + 3. Let u be t(-2). Let h = r + u. Is 10 a factor of h?
False
Let j(v) = -2*v**3 - 98*v**2 + 202*v - 103. Let i be j(-51). Suppose 2*l = 5*w + 4314, -1722 = -0*w + 2*w - 2*l. Is 6 a factor of (i/3)/(16/w)?
True
Suppose -r = 32*r - 29898. Is 6 a factor of r?
True
Let j(k) = 2*k + 27*k**3 + 10 - 5*k**2 - 13*k**3 + 9*k**3 - 4. Is j(3) a multiple of 42?
True
Let u = -2 + 17. Let q(s) = 17*s - 64. Let y be q(u). Suppose 6*o - 175 - y = 0. Is o a multiple of 6?
False
Let j(f) = 23*f + 37. Let u(r) = -23*r - 36. Let s(n) = -4*j(n) - 3*u(n). Suppose o + 3 + 5 = 0. Is 36 a factor of s(o)?
True
Suppose y = 0, 6*y + 7*y + 3547 = o + 10*y. Does 13 divide o?
False
Let w(f) = -10*f**2 - 5*f - 17. Suppose 3*m + 4*a + 25 = 2, -14 = 4*m - 3*a. Let t be w(m). Let p = -138 - t. Is 22 a factor of p?
False
Let p = 8293 - 3767. Does 5 divide p?
False
Suppose 22*b - 29512 - 15038 = 0. Does 45 divide b?
True
Suppose 0*p + 8*p = 24. Does 8 divide p/((-3)/6 + 15/26)?
False
Suppose 42*j - 43*j + 5*i + 40 = 0, i + 17 = 2*j. Suppose 0 = 2*w + 4 - 22. Suppose -84 = j*b - w*b. Is 9 a factor of b?
False
Let z = 43322 - 24522. Is z a multiple of 16?
True
Let t(l) = 52*l**2 + 2. Let u = -25 - -48. Let r = u - 22. Is t(r) a multiple of 18?
True
Suppose 2*r = 16*r - 868. Let y(v) = -v**2 - 3*v - 6. Let f be y(-6). Let g = r + f. Does 19 divide g?
True
Let x(w) be the third derivative of 0*w + 1/3*w**3 + 1/10*w**5 + 0 - 5/24*w**4 - 12*w**2. Is 8 a factor of x(3)?
False
Let r = 79342 - 26182. Is r a multiple of 10?
True
Let y be 1 - (-1)/(2 - 3)*103. Let s = -75 - y. Is 25 a factor of 341/3 - (-9)/s?
False
Let w(o) = -2*o**2 - 28*o - 46. Suppose m + 17*z = 21*z + 6, -62 = 5*m + 3*z. Is 14 a factor of w(m)?
False
Let d(n) = 12*n + 12 - 5*n**2 + 4*n**2 - 24 + 15. Let m be d(9). Suppose -m*y + 33*y - 135 = 0. Is y a multiple of 34?
False
Let y = 46 + -44. Suppose -3*m = -9, -h + y*h - 5*m - 186 = 0. Suppose 5*s + 93 - 405 = -3*o, 2*o - h = -s. Does 19 divide o?
False
Suppose 0 = 6*k + 200 - 3170. Does 33 divide k?
True
Let u be ((-15)/(-6) - 3)*262. Let q = u - -152. Suppose -36 = -5*h - 3*w, h + 2*h + 2*w = q. Is 2 a factor of h?
False
Suppose -4*v - 14 = f, 2*v - 1 = -9. Suppose -5*h - d - f = -1, 3*h = -d - 1. Suppose 2*z = -h*z + 44. Is z a multiple of 9?
False
Suppose 3*a - 16 = -a, -2*y + 4*a = 30. Is 15 a factor of (-8295)/y*(2 + 2 - 3)?
True
Let q(i) = i**3 - 2*i**2 + 7*i - 2. Let x be q(5). Suppose 0 = -43*r - 14*r + 2907. Let d = x + r. Is 24 a factor of d?
False
Let j be 58/4*(-12 - -14). Let l = j - -29. Let y = l + 26. Does 28 divide y?
True
Let s(g) = -g + 18. Let i be s(16). Let r be (4/i)/((-56)/(-252)). Let l(x) = x**3 - 8*x**2 - 4*x - 5. Is l(r) a multiple of 10?
True
Suppose -3*w = w. Suppose -4*j = -w*j + 16. Is (-6)/j - (-1)/2 a multiple of 2?
True
Let i = -42 + 71. Suppose -24*l + i*l = 15. Suppose -4*m + 2*m + 5*u + 140 = 0, -m = l*u - 59. Is m a multiple of 10?
False
Suppose -2*v = -4*i - 2500, -4*v + 3*i + 3053 = -1922. Does 31 divide v?
True
Let r(w) = -w**2 - w + 2. Let k be r(-1). Suppose 4 = -k*f + 10. Suppose -5*y - f*c + 287 = 0, y + 5*c + 90 = 3*y. Does 5 divide y?
True
Suppose -6*b + 1133 - 77 = 0. Let a be ((-98)/(-56))/(2/b). Suppose 0 = -3*h - 5*j + a, 2*j + 2*j = -5*h + 248. Is h a multiple of 6?
True
Let j(h) = 23*h + 19. Let z(d) = 23*d + 18. Let c(a) = 3*j(a) - 2*z(a). Let s(r) = 17*r**2 + 11*r + 1. Let f be s(-1). Is 26 a factor of c(f)?
True
Suppose 0 = 68*j - 70*j + 2646. Suppose w - 32 = -3*m, -4*m + 0*m + 16 = -4*w. Suppose -m*r + 1179 + j = 0. Is r a multiple of 15?
False
Let l = 13468 - 8121. Is 6 a factor of l?
False
Let j = 4302 + -1442. Is 32 a factor of j?
False
Suppose -3*o + 121 = -2*r - 48, -5*o - 3*r = -307. Suppose -w - 25 = -4*j + o, -3*w - 12 = 0. Does 10 divide j?
True
Suppose 0 = 46*d - 51*d + 80. Let y(h) = 1 + 12 + 13 + d - 2*h. Is y(-14) a multiple of 10?
True
Let q(i) be the third derivative of 30*i**2 + 0*i + 7/12*i**4 - 4/3*i**3 - 1/12*i**5 - 1/120*i**6 + 0. Is q(-8) a multiple of 51?
False
Suppose -r - 4*s + 9 = 0, -r = 4*r - 2*s + 21. Let k be (-2 - -9)/(r/(-39)). Suppose f + 2*f = -z + k, -455 = -5*z - 2*f. Is z a multiple of 13?
True
Let b(m) = -11*m - 115. Let o be b(-10). Is (-85515)/(-90) + o/(-6) a multiple of 34?
False
Let o(p) = -p**2 + 16. Let b be o(-3). Suppose b*z + 182 = 3024. Does 14 divide z?
True
Suppose 4*p = 4*f + 16708, -117*p + 3*f + 16716 = -113*p. Does 15 divide p?
True
Suppose -4*k - 116 - 525 = -5*r, 4*k = 4*r - 640. Let t = 369 - k. Is t a multiple of 4?
True
Suppose -128 = -2*d - 6*d. Suppose 4*z = -d, -m - m - 5*z - 112 = 0. Let n = m + 173. Is n a multiple of 11?
False
Suppose -86 = -d + 5*a, -4*d + 256 + 43 = -5*a. Suppose -r + 4*g + d = 0, -97 = -5*r + 4*g + 274. Let f = 125 + r. Is 13 a factor of f?
False
Let x(t) = -500*t**3 - 12*t**2 + 20*t + 106. Is 14 a factor of x(-5)?
False
Let o = 3613 - 2478. Suppose 4*c = 5*l - o, 5*c = -2*l + c + 482. Is l a multiple of 16?
False
Suppose 22*g - 34*g = -35052. Suppose 0 = 5*b - g - 3044. Does 17 divide b?
False
Suppose -4*a + 30640 = 4*k, -6*k + a = -4*k - 15332. Is k a multiple of 16?
True
Let f = 418 - 194. Let w = 376 - f. Is 4 a factor of w?
True
Let h = -1284 - -10434. Is 28 a factor of h?
False
Let v(o) = -6*o + 49. Let w(c) = -4*c + 49. Let i(s) = 6*v(s) - 5*w(s). Is 12 a factor of i(-19)?
False
Let q(n) be the first derivative of 6*n - 4/3*n**3 - n**2 + 11 + 3/2*n**4. Does 9 divide q(3)?
True
Let m(p) = 49*p + 117. Let x be m(-9). Let a = -132 - x. Is a a multiple of 48?
True
Suppose -3*y + 5*j = -904 - 156, -2*j - 1072 = -3*y. Let m = 11 + 5. Suppose -11*p = -m*p + y. Is p a multiple of 12?
True
Let k = 2527 + 4945. Does 23 divide k?
False
Let n(w) = 92*w**2 - 27*w + 6. Is 17 a factor of n(4)?
False
Let b(x) = -3*x**3 + 20*x**2 + 7*x + 10. Let t(i) = i**3 - i**2 + i + 1. Let c(h) = -b(h) - 4*t(h). Is 27 a factor of c(-16)?
True
Let d(b) = 65*b - 1. Let t be d(1). Suppose -t = 3*q - 2*f + 104, 219 = -4*q + f. Let p = q - -84. Is 6 a factor of p?
True
Let j = 149 + -143. Suppose j*u - 3*u - 1323 = 0. Is 9 a factor of u?
True
Suppose 69*w - 66*w - 2*y = 7589, 3*y + 7587 = 3*w. Is w even?
False
Let s be (-1 + 3)*8/((-48)/(-6)). Let q(m) = 8*m**3 - 5*m**2 - 5*m - 2. Let z(g) = -g**3 + g**2 + g. Let f(h) = q(h) + 5*z(h). Is f(s) a multiple of 22?
True
Let i(x) = -x**3 + 17*x**2 - 18*x - 10. Let m = 117 - 108. Is 17 a factor of i(m)?
True
Suppose -4403*t + 4477*t = 50616. Does 38 divide t?
True
Let k = 503 - 349. Suppose 16*q - k = -58. Suppose 54 = q*m - 18. Is m a multiple of 9?
False
Let g(f) = 30*f**2 + 5*f - 86. Does 53 divide g(-14)?
True
Let k = 4580 + -2717. Is 69 a factor of k?
True
Suppose 5*o = 4*d - 36913, -5*o - 18459 = -8*d + 6*d. Does 38 divide d?
False
Let z(f) = 455*f - 420. Does 35 divide z(11)?
True
Let q be 21/(-7)*(-1263)/(-9). Let k = -136 - q. Is 19 a factor of k?
True
Let y(t) = t**3 - 12*t**2 - 14*t + 17. Let b be y(13). Suppose 3*w + 2*w = -2*h + 24, -4 = b*h - 3*w. Let r(v) = 11*v**3 - v**2 - 1. Is 15 a factor of r(h)?
False
Let l(s) = 104*s**2 + 473*s + 24. Does 9 divide l(-16)?
True
Let l be (-2)/(-4) - (-94)/(-4). Suppose -70 = 164*d - 199*d. Does 26 divide (3 - l)*(d + -1)?
True
Suppose 4*g = 3*l - 10, 0 = -l + 5*g - 4. Suppose 0 = 5*n - 8*n + l. Suppose n*h + 216 = 5*o - 2*h, -3*h + 28 = o. Does 9 divide o?
False
Suppose 381 - 53 = -4*n. Let r = 22 - 70. Let z = r - n. Is 30 a factor of z?
False
Let y(h) = 7*h**2 + 16*h + 114. Does 33 divide y(17)?
True
Suppose -50266 = -h + 3*p - 13301, -4*h - p = -147860. Is h a multiple o