 = 16*t - 7*t. Is t a multiple of 46?
True
Suppose -4*n + 1536 + 10640 = 0. Does 147 divide n?
False
Let h be -2 + (-5 + 2)/3. Let x be (h - (-5 + 2))/(-1). Suppose x*a - a = -60. Is a a multiple of 12?
True
Let x be 2/2 - (-17 - (-21)/3). Suppose 2*f + x - 35 = 0. Is 12 a factor of f?
True
Does 25 divide (-21 + -4)/((5 - 1)/(-116))?
True
Suppose -4*v + 669 = -595. Suppose -v = -4*q + 504. Is q a multiple of 41?
True
Suppose 3*y = 2240 - 791. Does 3 divide y?
True
Suppose -2*g + 6*g - 109 = -i, 4*i - 5*g = 520. Let w be (-4)/(-18) + (1 - 5070/(-27)). Let d = w - i. Does 8 divide d?
True
Let f(w) = -85*w + 388. Does 62 divide f(-19)?
False
Suppose 2 = -a + 5. Let f(k) = -3 - 5*k + 5*k**2 + 2 - k + 4. Is 6 a factor of f(a)?
True
Suppose 0 = 2*y - 274 + 682. Does 15 divide 2/17 - 22416/y?
False
Let u = 6 - 6. Let t be (-1)/(-2)*(0 + u). Suppose -k + 4*r = -18, t*r = 4*r + 12. Is 4 a factor of k?
False
Suppose 10*z = 22 + 48. Suppose -z*p = -351 - 825. Is p a multiple of 14?
True
Suppose 0 = -z + 6*z - 185. Does 11 divide z?
False
Suppose -4*y + 3*q + 325 = -2*q, 3*y = -5*q + 270. Let u = y - -11. Is 24 a factor of u?
True
Let u = -298 - -461. Is 4 a factor of u?
False
Suppose -3*d + h + 13 = 0, 3*h = -4*d - h + 28. Let s be (8 - d) + -1*1. Suppose 4*l - i = 20, -4*l = s*i - 11 + 3. Is 2 a factor of l?
True
Let f(s) = s**3 + s**2 - 5. Let j be f(0). Let n be 1/j*-5 + 2. Suppose -k + n = -2. Is k a multiple of 5?
True
Let f be (-963)/15 + (-2)/(-40)*4. Is 17 a factor of (f/5)/((-1)/5)?
False
Let z(y) = -3*y**2 + 39*y - 66. Does 3 divide z(10)?
True
Suppose -35 = 247*a - 248*a. Suppose -209 + 1 = -4*f. Suppose b - a = f. Is b a multiple of 29?
True
Let l = 6 - -6. Suppose 0 = 11*s - l*s + 6. Is 6 a factor of s?
True
Let h(n) = -n**3 + 25*n**2 - 45*n + 26. Let q be h(23). Suppose 4*y = -4*t + 104, 4*t - y - 30 = q. Is t a multiple of 6?
False
Let p = -580 - -1009. Suppose 0 = -4*s + s + p. Let u = s - 83. Is u a multiple of 19?
False
Let y(t) = t**3 + 14*t**2 + 10*t + 9. Let m be y(-13). Let q = m - 7. Is q a multiple of 8?
False
Let b be (-9276)/(-30) + 3/(-15). Let x = b - 184. Is x a multiple of 25?
True
Let z = -197 - -468. Is z a multiple of 18?
False
Let j = 535 - 517. Is 6 a factor of j?
True
Let m = 746 + -361. Is m a multiple of 35?
True
Suppose 5*y + 0 = 25. Suppose -9*t = -y*t. Suppose t = 5*q - z - 120, -2*q = z + 4*z - 75. Is q a multiple of 21?
False
Suppose 214 = 16*w - 3098. Does 9 divide w?
True
Suppose -g + 12 = -s - 5*g, -4 = -4*s - 3*g. Suppose -s*l + 0*l = -140. Let t = 50 - l. Is t a multiple of 12?
False
Let j(o) = o**3 + 14*o**2 + 5*o - 42. Does 10 divide j(-11)?
False
Suppose 8*p - 95 = 13*p. Let s = p + 11. Does 33 divide s/32 + (-786)/(-8)?
False
Let f(a) = -a**3 - 7*a**2 + 8*a + 3. Let x be f(-8). Suppose z - 4*z + 17 = 2*y, -4*z + 23 = x*y. Does 3 divide z?
False
Let o(d) = -d**3 - 6*d**2 + 5*d + 18. Let n = -47 + 39. Is o(n) a multiple of 20?
False
Let q be (8/(-2))/16 - 2/(-8). Suppose 32*i - 29*i - 156 = q. Is i a multiple of 13?
True
Suppose 2*r + 3*z + 20 = -27, -3*z = -2*r - 77. Let o = 35 + r. Is o a multiple of 4?
True
Let c = 2792 - 1926. Is c a multiple of 41?
False
Let f = -366 + 450. Is f a multiple of 21?
True
Let o = 26 - 20. Let j be -15*((-26)/o + 4). Is 19 a factor of j/2*(0 - -28)?
False
Let i(b) = b**2 + 6*b + 8. Let a be i(-6). Let c(r) = -r**3 + 9*r**2 - 5*r + 16. Is c(a) a multiple of 5?
True
Suppose z - 3 = 16. Suppose -89 = -2*d + z. Is 9 a factor of d?
True
Suppose -4*j + 2*l = 7*l - 1209, -l = 5*j - 1485. Let n = -205 + j. Is 13 a factor of n?
True
Let v(a) = a**3 - 14*a**2 + 15*a - 7. Let i be v(13). Does 20 divide 36/8*(i + -3)?
False
Let k be (-4)/10 + ((-3612)/15)/(-7). Is -31 + k + (-342)/(-1) a multiple of 15?
True
Suppose 5*r = r - 24. Is -48*(-2)/(-8)*r a multiple of 24?
True
Suppose 0 = 2*q - 5 + 21. Let x = q - -11. Suppose -19 = -x*u + 2*u. Does 12 divide u?
False
Suppose 4*f - 2*x - x - 814 = 0, 2*x + 1021 = 5*f. Does 41 divide f?
True
Let i(f) = -f**2 - 7*f - 12. Let m be i(-4). Suppose m = a, 0 = -2*u + 3*u - 3*a - 114. Is 19 a factor of u?
True
Suppose 3*f - 6750 = -3*b, -3*b - 2*b - 4*f = -11247. Is 18 a factor of b?
False
Suppose 9*l = 5*l - 1188. Is 3 a factor of ((-1)/3)/(1191/l + 4)?
True
Let k(d) = 6*d + 18. Let r be k(-18). Let x = r + 171. Is x a multiple of 33?
False
Is 2709 + (8 - 118)/(-10) a multiple of 16?
True
Suppose 1470 = 5*y + 10*y. Is y a multiple of 6?
False
Let m(k) = 5*k**2 - 5*k - 5. Suppose u - 3*t = 1, -3*u - 3*t + 2*t = 7. Does 6 divide m(u)?
False
Let z(x) = x + 0*x - 16 + 5*x. Is z(11) a multiple of 30?
False
Suppose 3*t = t. Suppose 3*p - 8 = 4*v, p = -t*v + v + 1. Let b = p - -19. Is b a multiple of 7?
False
Let d(v) = v**3 + 11*v**2 - 3*v + 6. Suppose 72 - 32 = -8*c. Is 19 a factor of d(c)?
True
Suppose 0*c = 4*c - j - 868, 3*j - 666 = -3*c. Is c a multiple of 8?
False
Let r = 92 - 148. Let d = -31 - r. Does 3 divide d?
False
Let j(v) = 3*v**3 - 19*v**2 + 4*v + 2. Let t(x) = 7*x**3 - 39*x**2 + 9*x + 3. Let b(p) = -9*j(p) + 4*t(p). Let o be b(-15). Let z = o - -26. Does 10 divide z?
True
Let p(z) = -2*z**2 - 48*z - 28. Suppose 2*r + 7*h - 3*h + 18 = 0, -3*r = 2*h + 39. Is p(r) a multiple of 11?
True
Let b(u) = -11*u - 24. Let v = -3 - 7. Is b(v) a multiple of 22?
False
Let b(s) = -s**2 + 16*s - 15. Let y be b(15). Suppose y = 5*v - 287 - 133. Is 12 a factor of v?
True
Suppose -5*h + 3*q = -9119 - 1041, h - 5*q = 2010. Is h a multiple of 37?
True
Let h = -1422 + 1898. Does 34 divide h?
True
Suppose -4*u - 136 = 5*n, -79 = 3*u - 2*n - 0*n. Let f = -19 - u. Is (-191)/(-3) - f/15 a multiple of 28?
False
Suppose 4*f - 8*f = -24. Let r = f - 6. Suppose s + 4*s + 22 = n, r = -n - 2*s + 1. Does 3 divide n?
False
Let g = 200 + -137. Does 12 divide g?
False
Suppose -3*s + 3*h = h - 2007, -4*s - 2*h + 2662 = 0. Is s a multiple of 23?
True
Suppose o - 10 = -3*q, -4*q + 30 = -o - o. Suppose -3*m = 15, 8*k + q*m - 5 = 3*k. Let a(p) = -p**3 + 7*p**2 - 5*p + 3. Is a(k) a multiple of 3?
True
Let o = 1100 + -638. Suppose 0*p - o = -7*p. Is 22 a factor of p?
True
Is 55 a factor of 1270 + -1 + (-8)/32*16?
True
Suppose 5*w + 20 = 0, 4*w + 0*w = -2*o - 710. Let f = o - -537. Is 38 a factor of f?
True
Let s(l) = -2*l + 57. Let f be s(26). Suppose -2*a = -f*o - 68 - 21, 0 = -3*a + 3*o + 111. Does 7 divide a?
False
Suppose t - 5*b - 470 = 0, 8*t - b = 5*t + 1396. Does 5 divide t?
True
Let z(d) be the second derivative of d**4/3 + d**3/2 - d**2 + 4*d. Let y be z(1). Suppose 0 = -4*g + r + 108, 146 = 5*g - y*r + 11. Does 27 divide g?
True
Suppose -2*d - 3*y = -0*d - 49, y = -d + 27. Let n = d + -27. Is -2*((-95)/2)/n a multiple of 16?
False
Let n(r) = r + 8. Let u be n(-7). Is (6/(-10) + u)/(1/95) a multiple of 19?
True
Let f(a) = -a**2 + 36*a - 63. Is f(14) a multiple of 49?
True
Suppose 0 = 3*d - 2*d + j - 7, 3*d = -j + 17. Suppose -924 = 2*h - d*h. Suppose -10*f + 6*f = -h. Does 25 divide f?
False
Suppose 4*c = 7*c - 9. Let x(a) = 2*a**3 - 2*a**2 + 2*a - 2. Does 10 divide x(c)?
True
Suppose 5*m = 5 + 5. Suppose 4*p = -16, -4*v = 7*p - m*p - 232. Does 7 divide v?
True
Let s(u) = 15*u - 20. Let f be (-10)/3*24/(-20). Is s(f) even?
True
Let h(w) = 3*w**2 - 30*w + 17. Let u be h(10). Let y(k) = -3*k + 3. Let o be y(2). Let n = o + u. Is n a multiple of 9?
False
Let x(w) = w**3 + 18*w**2 + 15*w - 34. Let l be x(-17). Suppose l = 2*k - 557 + 129. Is 11 a factor of k?
False
Let g be -7 - -8 - (2 - 5). Suppose 0 = g*w + 5*b - 173, -3*w + 135 = -0*w + 2*b. Is w a multiple of 15?
False
Let b = -11 + 13. Suppose -b*r - 133 = -7. Let w = -29 - r. Is w a multiple of 17?
True
Suppose -4*o + g - 4*g = 13, -o - 1 = 3*g. Is 9 a factor of (24/5)/(o/(-60))?
True
Suppose -5 + 1 = 4*i, 4*k - 3*i = 291. Is k a multiple of 8?
True
Let r(u) = -3 - 2*u - u + 5 + 2. Let g be r(-8). Suppose -5*z = -f + 14, 10 + g = 4*f - 2*z. Is 9 a factor of f?
True
Let i(m) be the third derivative of m**5/60 + 11*m**3/6 + 14*m**2 - 9. Let w be 1/(-1*2/(-10)). Is 15 a factor of i(w)?
False
Let q be (-5)/((-10)/6) + -7. Let o be (13 + 1)/((-2)/q). Suppose -188 + o = -5*d. Does 32 divide d?
True
Suppose 1987 = 2*n - 5*s, -n + 9*s + 1001 = 4*s. Does 34 divide n?
True
Let x(n) = -n**3 - 8*n**2 + 3*n + 26. Let t be -7