- 13625 = -2*z. Is 50 a factor of z?
True
Let d be ((-4)/(-12)*0)/(-2). Suppose 2*k + u - 935 = d, k - 460 = -0*u + u. Is k a multiple of 16?
False
Suppose 5*q + 4*q = -9*q + 1099260. Is q a multiple of 10?
True
Is ((132/55)/(2/75))/((-1)/(-6)) a multiple of 90?
True
Let j(v) = -6*v + 55. Let c be j(9). Let w be (-38 - -72) + 0 + c + -4. Let r = w - 12. Is r even?
False
Let q be 896/24 - 6/(-9). Suppose 0 = 43*z - q*z - 1795. Does 8 divide z?
False
Suppose 64*q - 25450 = 60*q - 5*s, 0 = -5*q + 2*s + 31862. Is 4 a factor of q?
False
Suppose 0 = -3*q - 2*c - 307, -c + 474 = -3*q + 173. Let b = -97 - q. Is (-40)/(1/((-4)/8*b)) a multiple of 31?
False
Let m(x) = 34*x**2 + 121*x + 181. Does 13 divide m(-16)?
False
Suppose -3*t = -0*p + 4*p - 160, 5*t - 2*p - 310 = 0. Suppose 192 = 2*b + t. Is 2 a factor of b?
True
Let f(c) = 21*c**2 - 6*c - 16. Let p be ((-10)/30)/(1/6). Is f(p) a multiple of 12?
False
Suppose -3*d + 21*d - 5526 = 0. Is d + (-8)/(-56)*7 a multiple of 7?
True
Let t(m) be the third derivative of -m**6/60 + m**5/60 + 3*m**4/4 + 5*m**3/6 - 2*m**2 - 9. Does 15 divide t(-5)?
False
Suppose h - 12 = o, 15 = 3*h + 3*o - 15. Let b(g) = 88*g + 72. Does 55 divide b(h)?
False
Let r(m) = 2*m**2 - 32*m - 119. Does 23 divide r(-23)?
False
Suppose -6*y + 2*y = 21*y - 750. Let b be (-10)/3*36/(-2). Let k = b - y. Is k a multiple of 10?
True
Let q(h) = -h + 13. Suppose 3*i + 46 = 5*x, -2*i + 31 = 3*x - 8. Let u be q(x). Is 15 a factor of (-54)/18 + u/((-4)/(-126))?
True
Is 10 a factor of (2/2)/((-26)/(-46514)) + 1?
True
Let m(a) = -a**2 - 23*a + 145. Is m(4) a multiple of 35?
False
Is 17 + 251 + (12 - 5) a multiple of 275?
True
Suppose 0*x + 3*x - 6 = c, 5*c = 15. Is (18 - 15)/(x/17) a multiple of 17?
True
Let p = -94 - -13. Let o = p - -83. Suppose 3*u - 160 = -o*u. Does 32 divide u?
True
Suppose -2*k + 10 = -2*a - 8, 3*k - a - 17 = 0. Suppose -908 = -j + k*d, -3*j - d - d + 2724 = 0. Does 26 divide j?
False
Let f be (-1181)/(-2) - 6/(-4). Let d = f - 367. Suppose -z + 6*z + 5*b = d, 2*b + 190 = 5*z. Is z a multiple of 20?
True
Let o = 485 + -479. Is 7 a factor of (-11)/(-33) - (-160)/o?
False
Suppose 849 = 6*a + 663. Suppose -2*l + 0 = -2. Does 26 divide a*(1 + (-3 - l))/(-3)?
False
Let x = -13869 - -14518. Is 16 a factor of x?
False
Is 14892/(-16)*48/(-36) even?
False
Suppose 7*c = 588 + 168. Let w = -60 + c. Suppose -14*z = -12*z - w. Is 3 a factor of z?
True
Suppose 2*j + 38 = -x - 32, 3*j = -3*x - 225. Let s = -75 - x. Suppose -r = -4*r + 4*d + s, -2*d + 2 = 0. Is 2 a factor of r?
False
Is (1 - 180/(-24))*1846 - (-10)/(-2) a multiple of 11?
True
Let c(p) = -42*p**3 - 3*p**2 - 30*p - 48. Is 28 a factor of c(-2)?
True
Let l(p) = 2*p + 24. Let y be l(-11). Let m be (1 - y) + 2 + 5. Let u = m - -4. Is u a multiple of 5?
True
Suppose 4*d - t - 2*t = 666, 0 = 4*d - 5*t - 670. Let r be (-2)/(-7) - 1/((-35)/d). Suppose -501 = -r*a + 94. Is 17 a factor of a?
True
Suppose -3*q + 1217 = 5*x, -4 + 5 = -q. Let j = x + -55. Is j a multiple of 37?
False
Let h(w) = -14*w**2 + 41 + 28 + 10*w - 7*w**3 + 8*w**3 - 8*w**2. Is 72 a factor of h(22)?
False
Let s be ((-30)/10)/((-6)/(-8)). Let m be s/22 - 96/(-44). Suppose -3*i - m*i = -2*c + 68, i = -3*c + 85. Is 28 a factor of c?
False
Is 106 a factor of ((-16)/(-28))/((-7)/((-550564)/8))?
True
Let m = 73 + -66. Does 73 divide (-1)/(7/m)*-365?
True
Suppose d + 2 + 4 = -3*y, 10 = 4*d - 5*y. Suppose d = -6*x + 317 + 109. Does 5 divide x?
False
Suppose -18*l + 3*l = -90. Let v = -29 + 20. Is 1160/l - (-12)/v a multiple of 12?
True
Let f(v) = -5*v**3 - 108*v**2 - 95*v + 31. Does 13 divide f(-21)?
False
Let q(i) = 16*i**2 - 2*i - 35. Let f be q(15). Suppose -815 = 32*u - f. Is u a multiple of 17?
True
Suppose -2*p + 572 + 808 = 2*b, 3*b - 5*p = 2054. Suppose 20*v = 3*r + 21*v - 2044, 3*v + b = r. Is 18 a factor of r?
False
Let f(r) = 379*r**2 + 34*r - 113. Is 78 a factor of f(3)?
False
Let s be (22 - 6 - -2)*(-4)/(-18). Suppose 5 - 1 = p. Suppose 0 = p*n - 4, -s*g + n = -3*n - 64. Does 5 divide g?
False
Suppose 0 = j - 293 - 1919. Is j a multiple of 14?
True
Suppose 3*s - 8 = -y, -2*s + 18 = 4*y - 4*s. Let w(p) = 79*p - 92. Is w(y) a multiple of 13?
False
Let w = 3607 + -3282. Is 10 a factor of w?
False
Let z = -7 + 40. Let f = -32 + z. Is f*8 - (11 - 12) a multiple of 4?
False
Suppose -4 = -f + 3*f. Does 18 divide 438 + (1/(-1) - f)*-1?
False
Let h = 6995 - 4727. Is 7 a factor of h?
True
Let y(q) = -15*q**2 - 10 + 4*q - 3*q**3 + 4*q**3 + 2*q**2. Let s = 124 - 111. Is 14 a factor of y(s)?
True
Let v(i) = i**2 + 19*i + 64. Let c be v(-15). Suppose -c*r - 2916 = -22*r. Does 21 divide r?
False
Suppose 2*y - 33 = -5*f, -26 = -3*y - y - 2*f. Suppose 0 = -4*k - 4*i + 628, 224 = y*k - 5*i - 440. Is k a multiple of 23?
True
Let q(w) = 4*w**2 - 234*w + 4. Is q(65) a multiple of 22?
True
Let l(x) = 44*x**2 - 236*x + 3390. Does 65 divide l(14)?
True
Let a = -71 + 78. Suppose -l - 427 = -c, 3*c = a*c + 5*l - 1744. Let h = -188 + c. Is h a multiple of 27?
True
Suppose -r + 4*w + 700 = 0, -1793 - 272 = -3*r + 5*w. Let g = r + -451. Is g a multiple of 7?
False
Suppose 38*z - 1068651 - 183411 = 0. Is z a multiple of 9?
True
Let v be (54/216)/(2/24). Suppose 5*t = 2*i + 724, -v*i = -3*t - 0*i + 438. Is 24 a factor of t?
True
Suppose 0 = -3*g - 5*g + 112. Let o be 244/5 + (-4)/(-20). Suppose q - o - g = 0. Does 14 divide q?
False
Let d be -2 + 267 + 14 + -11. Suppose -21*n = -d + 16. Is n a multiple of 4?
True
Suppose 0*j + 38 = -5*j + 2*z, -5*z - 29 = 3*j. Is 3 a factor of (-1 + 6)/(j/(-24))?
True
Suppose 294*w = 299*w + 1915. Let z = w + 568. Is z a multiple of 6?
False
Let n be (0/(-1))/((-4)/(16/4)). Does 4 divide (-21)/9*-21 + (2 - n)?
False
Let x(t) = -t**2 + 3 - 6 + 8*t - 10. Let r be x(4). Suppose 175 = 2*q + r*q. Is q a multiple of 10?
False
Let z be 64/(-480) + (-298)/15. Let n(h) = -105*h - 249. Does 26 divide n(z)?
False
Let n be (10/(-7))/((-74)/14 + 5). Suppose h - 750 = 4*v - 2*v, -n*v - 2254 = -3*h. Does 17 divide h?
False
Let t = 15270 - 14560. Does 70 divide t?
False
Let v(d) = -6409*d - 3123. Is 35 a factor of v(-2)?
True
Let p = 3812 - 3340. Does 3 divide p?
False
Let y be (-4 - -9) + -4 - -14. Let k be 1*10/y*3. Is 2 a factor of 4/4 + (k - 1)?
True
Let f be 38/9 + (-16)/72. Suppose -z = -f*z + 843. Does 24 divide z?
False
Suppose -126*a = -99*a - 105840. Does 56 divide a?
True
Let u(o) = o**3 + 2*o**2 + 8*o + 15. Let w be u(-2). Let m = w - -84. Is m a multiple of 2?
False
Let l = 25 - 23. Suppose l*h = -81 + 137. Is 328/h + (-12)/(-42) a multiple of 6?
True
Suppose 7*l - 2*l - 15 = 0. Let f = -422 - -422. Suppose f = l*d - 7*d + 468. Is 16 a factor of d?
False
Suppose -20*k + 16*k = -32016. Does 12 divide k?
True
Suppose -2*x = -6, 0 = -0*j - 5*j - 3*x + 1714. Is 62/j + (-900)/(-11) even?
True
Let m(h) = -2*h**3 - 6*h**2 - 6*h + 3. Let u be m(-3). Let c(s) = 8*s - 84. Does 28 divide c(u)?
True
Suppose 6*b - 2276 = -656. Suppose 4*q = 4*n - 676, b = 3*n + 3*q - 225. Is 9 a factor of n?
False
Suppose 0 = -2*i - 1051*p + 1046*p + 9, 7 = 3*i + p. Suppose -y - 4*u + 208 = 0, 0 = -5*y + 3*u + 920 + 166. Suppose i*b + y = 8*b. Is b even?
True
Suppose -2*c = -8, c = -17*o + 16*o + 9. Let i(w) = -w**2 - 4*w + 2. Let r be i(-3). Suppose -4*u = o*t + 35 - 320, r*t = -2*u + 145. Does 10 divide u?
True
Let m be 11 - (1 - -3) - 2. Suppose -13*l + m*l + 16 = 0. Suppose 4*v = 0, -l*b + 4*v + 149 = -11. Does 17 divide b?
False
Let y = -176 + 176. Suppose -24*i + 40*i - 2800 = y. Does 5 divide i?
True
Let a = 5391 - -1664. Is 25 a factor of a?
False
Does 83 divide 6995 + (-50)/(-10)*3?
False
Let l(j) = 86*j**2 + 8*j + 134. Does 116 divide l(-7)?
True
Let n(w) = 6*w + 5073. Does 72 divide n(-139)?
False
Let t(m) = m**2 + 10*m + 162. Let h be 2 - 5 - 6/(-18)*9. Does 54 divide t(h)?
True
Suppose 24*v - 23113 - 155687 = 0. Does 149 divide v?
True
Let b = -24543 - -48011. Does 15 divide b?
False
Let p be 34/11 - 90/990. Suppose 4*a = p*g + 507, g - 35 = -3*a + 342. Is 7 a factor of a?
True
Suppose -l - 4*l = -2255. Let v = -15761 + 15804. Suppose -v = 6*z - l. Is z a multiple of 17?
True
Suppose -6*c = -0*c - 18. Let v(q) be the first derivative of 3*q**4/2 + 4*q**3/3 - 1. Is 41 a factor of v(c)?
False
Let w(j) = -j**3 - 9*j**2 - 9*j -