*2 - 14*f - 10. Let u be q(15). Suppose 3*j = -2*s + s, -u*s = j. Suppose 81 = -j*t + t. Is 44 a factor of t?
False
Suppose -11*q = -3*q. Suppose q = 8*p - 8 - 128. Is 5 a factor of p?
False
Let c = -61867 + 94661. Is c a multiple of 9?
False
Let y(x) = x**2 - x - 30. Let f be y(-11). Let c = -23 + f. Does 7 divide c?
False
Let m = -68 - -42. Let w be ((-7)/(-3) - (-2)/(-6)) + 2. Does 8 divide (m/w)/(2/(-12))?
False
Let m(x) be the first derivative of -x**4/4 + 11*x**3/3 - 5*x**2/2 - 11*x + 4. Suppose 4*u - 24 = -k, -u + 4*u = 4*k - 1. Is m(u) a multiple of 27?
False
Let c = 11025 - -15919. Is 64 a factor of c?
True
Suppose 0 = -4*f + 4*n - 300, -22*f + 4*n = -24*f - 156. Let o = f - -113. Is o a multiple of 2?
False
Let k(i) be the second derivative of i**4/6 + i**3/3 - 2*i**2 + 4*i - 9. Is k(4) a multiple of 9?
True
Let s(x) = 882*x**3 - 10*x**2 + 9*x. Is 8 a factor of s(1)?
False
Suppose -75*o - 3236 = -76*o + 5*z, 4*o - 12806 = -3*z. Is o a multiple of 34?
False
Let n(d) = 5*d**3 - 36*d**2 + 12*d - 137. Does 10 divide n(9)?
True
Let k be ((-6)/(-7))/((-1)/7). Suppose -4*f + 0*f + 24 = 0. Does 9 divide (-76)/f*9/k?
False
Let c be (3/6)/((-4)/(-64)*-2). Does 2 divide (-4)/c - (330/(-5))/2?
True
Suppose 0 = -3*f - 3*m - 21, 18 = -2*f - f - 4*m. Let w = 143 - f. Let t = w + -89. Does 64 divide t?
True
Suppose 0*z - 81 = -9*z. Let u = 416 + -415. Is 7 a factor of 440/28*((-2)/u + z)?
False
Suppose 0 = -12*v + 19467 - 5511. Suppose -3*r + 1264 + v = 0. Is 16 a factor of r?
False
Let u be (-4)/(-30) - (1120/150)/(-4). Suppose -p - 639 = -u*h, 1 - 4 = -p. Is 9 a factor of h?
False
Suppose 21441 - 97587 = -42*v. Does 10 divide v?
False
Let d(w) = w**3 + 25*w**2 + 25*w + 31. Let h be d(-24). Suppose -7*j - h*j + 70 = 0. Is 5 a factor of j?
True
Suppose 45*c + 119 + 2581 = 0. Does 60 divide (-1799)/(-6) + 7 + 410/c?
True
Let f be 3/(-1) + (-6 - -11 - 3). Is 54 - (f + -2) - -4 a multiple of 2?
False
Suppose -5*f + 52354 = -4*s, 18*f + 3*s + 10473 = 19*f. Does 69 divide f?
False
Let w(h) = 323*h + 263. Is 122 a factor of w(43)?
True
Suppose 5684 = 54*l - 47*l. Suppose -v + l = r, 3258 = 4*v - 5*r + 4*r. Is 13 a factor of v?
False
Let m(n) = n**3 + 5*n**2 + n + 1. Let k be m(-5). Let i(p) be the second derivative of -67*p**3/6 + 3*p**2 - 125*p. Is i(k) a multiple of 44?
False
Suppose 0 = 21*f + 35 - 98. Let a(y) = 4*y**2 + y - 4. Let b be a(-3). Suppose -5*g - 28 - b = -j, f*j - 2*g - 197 = 0. Is 19 a factor of j?
False
Suppose -7*h - 9*h = -1728. Let i = -99 + h. Is 3 a factor of (2 + (3 - i - -2))*-12?
True
Let q = 369 + 20077. Is q a multiple of 5?
False
Is 18/(-324) + (-12746180)/(-360) a multiple of 42?
True
Let h(v) = 4*v - 101. Let i be h(26). Suppose 0 = -x + 5*g + 125, g + 192 = i*x - 197. Is x a multiple of 10?
True
Suppose 5163 = 4*c - 3*l - 8445, -2*c = -l - 6806. Is c a multiple of 21?
False
Let v(m) = m**3 + 3*m**2 + 2*m - 17. Suppose -2*x - 5*q + 16 = 0, 8*q - 22 = -4*x + 3*q. Is 4 a factor of v(x)?
False
Suppose 2*l - 474 = 2*i, -2*l - 273 = -i - 745. Let d = 125 + l. Does 15 divide d?
True
Suppose -25*o = -18*o - 1071. Let t be 2709/(-51) + 18/o. Let g = 220 + t. Is 13 a factor of g?
False
Suppose -41*v + 36*v = -2040. Suppose -v = -13*c + 21*c. Let s = c - -71. Is s a multiple of 7?
False
Let s = 213 - 48. Let p = 229 - s. Is 4 a factor of p?
True
Let x be 8/(-4)*7/((-28)/6). Let c(r) = 8*r**3 + r**2 + 8*r - 7. Is 11 a factor of c(x)?
True
Suppose 9 = -2*w + 5*w. Suppose -3*i - 6*z - 3 = -3*z, z = -w*i - 1. Let t(o) = -o**3 - 2*o**2 + 2*o + 87. Is 8 a factor of t(i)?
False
Suppose -a + 27 = t + 3*t, -3*a - 15 = -4*t. Suppose t*o - 10 = -28. Is 13 a factor of (-1 - o) + (-74)/(1 + -3)?
True
Suppose -3026034 + 124019 = -132*y - 357187. Does 10 divide y?
False
Let w = 13820 + 1011. Is 101 a factor of w?
False
Suppose -4*h - b = b - 1054, 3*h - 794 = 2*b. Suppose 4*u + u + 2*o = h, u - 45 = -3*o. Is 6 a factor of u?
True
Is (-2)/(-52)*-2 - 2797722/(-234) a multiple of 61?
True
Let h = -208 + 211. Suppose -2*c + 204 = 5*u + c, -9 = -h*c. Is u a multiple of 3?
True
Let o(k) = -1665*k + 5420. Does 136 divide o(-26)?
False
Does 32 divide ((-74)/6 + (160 - 149))/(1/(-7536))?
True
Suppose 2*i = -4*i + 30. Suppose i + 35 = -5*n. Is 9 a factor of (0 - n/2) + 41?
True
Suppose 3*f + 3*y = f - 50, y + 50 = -2*f. Let q(c) = -11*c - 73. Does 29 divide q(f)?
False
Let c(y) = 844*y + 3571. Does 9 divide c(8)?
True
Suppose 5*c - 11195 = -g, -70*c + 15 = -73*c. Is g a multiple of 12?
True
Let t be (-1836)/(-8) + (-30)/20. Suppose -f + 5*c - 10*c = -t, 2*c - 930 = -4*f. Is f a multiple of 24?
False
Suppose 21*g - 1958 = 689 + 146. Is 10 a factor of g?
False
Let l(o) = 496*o + 140. Is 21 a factor of l(2)?
False
Let x be 1 - -33 - (-5 - (-6 - -1)). Suppose x*b = 27*b + 2730. Is b a multiple of 13?
True
Let y = 499 + -483. Suppose 5*x = -20, -2*x - 132 = -5*l + y. Does 28 divide l?
True
Suppose 80*r + 519 = 77*r. Let k = r - -446. Does 21 divide k?
True
Suppose -10*l = -11395 - 98915. Is 161 a factor of l?
False
Suppose 4*t + 7892 = 2*i, 3169 + 8699 = 3*i + 4*t. Is 15 a factor of i?
False
Let s = 4055 - -790. Is s a multiple of 95?
True
Suppose 774 = 7*v - 192. Suppose -10 = -2*k, -3*k + v + 14 = w. Is 10 a factor of w?
False
Let a(y) = -3*y**2 + 114*y + 235. Does 2 divide a(33)?
True
Does 8 divide (-190771)/(-11) - ((-4)/(-16))/(22/(-16))?
False
Let r be (0 + (-64)/6)*-15. Let v be 3/(45/r)*3. Does 8 divide 1/((-1)/(-6)*-2) + v?
False
Let i = -1716 + 2995. Is 58 a factor of i?
False
Suppose 13*v = 9*v + 1160. Suppose 6*h + v = 4*h. Let f = h - -185. Does 3 divide f?
False
Let p be 134/5*100/40. Suppose -p + 361 = 2*m. Is m a multiple of 21?
True
Let k(h) = 231*h - 3. Let w be k(-2). Let l = -247 - w. Suppose -2*f + 0*a + l = 2*a, f - 117 = -3*a. Is f a multiple of 15?
True
Let k(h) = 67 + h + 2*h**3 - 5*h - 41 + 2*h + 36*h**2. Does 6 divide k(-18)?
False
Suppose 1873 = 3*z + 1330. Suppose -188*k + z*k + 1750 = 0. Is 11 a factor of k?
False
Let s(r) be the first derivative of -4 + 8/3*r**3 + 13*r - 5/2*r**2. Is s(4) a multiple of 13?
False
Let r be (6/2 - 5)/(-2). Suppose -3*p + 2*h + 12 = -p, 0 = -p - h + 16. Suppose -f + r = -p. Is 12 a factor of f?
True
Suppose 4*m + 592 = -o + 1847, 5*m - 1573 = 3*o. Suppose -24*t + 406 = -m. Is t a multiple of 4?
False
Suppose -4*k + k = -60. Let z = -35 + k. Does 22 divide (-471)/z + (-6)/15?
False
Let r = -10175 - -11267. Is 51 a factor of r?
False
Suppose -l = -3*l + 26. Suppose -4 = -15*m + l*m. Suppose -19 + 51 = m*n. Does 6 divide n?
False
Let n be -4 + (-3)/(3/(-38)). Suppose -a - n = -158. Does 4 divide a?
True
Let x(p) = 17*p**2 + 32*p + 412. Is x(34) a multiple of 32?
True
Suppose 2003 + 5209 = 4*o. Is 16 a factor of o?
False
Let j = -251 + -24. Is (-20575)/j - (1 - (-26)/(-22)) a multiple of 26?
False
Suppose -3*v = -24*p + 20*p - 76997, 6*p = 5*v - 128325. Is v a multiple of 9?
True
Let p = -39 - -47. Suppose p*d + 8 = 4*d. Is 3/d*-50 + -1 a multiple of 13?
False
Does 7 divide -4 + 1858 + (16/(-56) - 18/(-14))?
True
Let y(d) = 33*d - 80*d - 10 + 27*d. Is 45 a factor of y(-5)?
True
Let p be (13 + -11)/((-2)/(-3)). Is 14 a factor of (5/10)/(p*(-2)/(-192))?
False
Suppose -10*s + 14*s + 27 = p, -s = -5*p + 40. Suppose p*x - 3820 + 1083 = 0. Is 20 a factor of x?
False
Let b(m) = 156*m. Let t be b(-1). Let d = t - -400. Is 49 a factor of d?
False
Suppose 6 = 2*j, -2*j = -8*o + 4*o + 58. Suppose -k = 2*c + 3*c - 28, 3*k = 5*c - o. Is 40 a factor of (1 - (-99)/6)/(k/24)?
False
Let t(p) be the second derivative of -2*p**3 + 3*p**2/2 - 6*p. Let q be t(-1). Suppose -q = 3*l, -4*l + 225 = 2*o - l. Does 15 divide o?
True
Let f be (28 - -1)*(-1*28)/(-4). Let y = -76 + f. Let u = y - 75. Is u a multiple of 4?
True
Let r be 1*20 + 5/(-10)*0. Suppose 4*c - 2 = -2*a + r, -a = -c + 1. Is 10 a factor of -20*(30/(-4) + 8/c)?
True
Let x(p) = -16*p - 24. Let m(o) = -2*o**2 + 18*o + 18. Let t be m(10). Let i be x(t). Suppose -11*q + i*q = -30. Is q a multiple of 5?
True
Let a = 2292 - -3357. Is a a multiple of 11?
False
Let n = 1827 - 799. Suppose p = 4*c - n, -2*c - 3*c + 4*p + 1296 = 0. Let z = c + -25. Does 10 divide z?
False
Suppose -1155 = 268*v + 2597. Let h(z) = z**2 + 7*z - 5 + 4*z - 6. Does 6 divide h(v)?
False
Suppose 