 10 = 0. Does 11 divide ((-300)/z - 2)*(-28 + 25)?
False
Suppose -8 + 3 = -h. Suppose -2*c - 3*s + h = -4, -5*s - 73 = -4*c. Does 11 divide (((-440)/c)/5)/(3/(-18))?
True
Let a be (4 + -4)/((2 + 1)*(-2 - -1)). Suppose -4*o = -1354 - 1710. Suppose 9*k - o + 118 = a. Does 36 divide k?
True
Let x(b) = -2*b**3 + 19*b**2 - 5. Let p be x(10). Let t = -103 - p. Suppose -5*j + 239 = -t*n + 3*n, 5*j + 5*n - 255 = 0. Is j a multiple of 4?
False
Suppose 0 = -4*s + 6*c + 42966, -s - 2116 + 12860 = -2*c. Is s a multiple of 6?
True
Let z = 51 + -38. Suppose -5*d = 2*d - 14. Suppose -d*i - z = -3*i. Is 4 a factor of i?
False
Suppose -407 = -5*f - 427, 5*m = -2*f + 69152. Is 13 a factor of m?
True
Let o be (-6)/10 + 432/(-80). Let z(w) = -2*w**3 - 5*w**2 - 8*w + 10. Is z(o) a multiple of 10?
True
Let v be (1960/6)/((-2)/(-3)). Suppose -5*m - 2*b = -v + 85, 5*m = b + 420. Is m a multiple of 62?
False
Let u(d) = -5*d**2 + 10*d - 45. Let o(i) = 5*i**2 - 11*i + 47. Let y(c) = -3*o(c) - 4*u(c). Is y(-10) a multiple of 29?
True
Let y(u) = -1838*u - 11251. Is 8 a factor of y(-9)?
False
Suppose 3*k - 6*k = -2*h - 16, 0 = -2*h + 4*k - 20. Let d be (0/(-14))/(h + 3). Suppose 3*x - x - 4*g - 72 = d, 4*x - 2*g = 132. Is x a multiple of 32?
True
Let u = -5648 + 6032. Is 13 a factor of u?
False
Let m = 481 + -290. Let z = -384 + m. Let i = -89 - z. Does 13 divide i?
True
Suppose 0 = 956*c - 957*c + 26505. Does 119 divide c?
False
Suppose n - 3*w - 90 = 0, -5 = -2*w - 1. Let r = -168 + n. Let m = -42 - r. Does 9 divide m?
False
Let k = -1335 + 19221. Is k a multiple of 167?
False
Let t be 15/3 - (-4)/6*-3. Suppose 5*s - 2*i = 76, 3*i - t = 3. Suppose s = 2*v - 52. Is 8 a factor of v?
False
Let k(g) = -g**3 + 5*g**2 + 3*g + 2. Let i be k(4). Suppose 6*w - i + 6 = 0. Does 11 divide (-1)/w - 219/12*-1?
False
Let m be (-1 - 13/(-4))/(510/680). Is 19 a factor of (-1327)/1*-1 + (6 - m)?
True
Let r = -28 + 58. Suppose 0 = 7*q - 2*q - r. Is 26 - (-2 + -2*(-9)/q) a multiple of 4?
False
Let j(a) = -3*a**2 + 20*a + 4. Let s be j(7). Let o(c) = 14*c**2 + 6*c + 24. Does 12 divide o(s)?
True
Let b(w) = -w**3 - 6*w**2 + 8*w + 9. Let q be b(-7). Suppose 0*a + 388 = -q*a. Is 11 a factor of (-5)/(10/a) + 2?
True
Let t(v) = 2*v**3 - v**3 + 9*v**2 - 52 - 8*v + 46. Let o be t(-7). Suppose -132 - o = -2*x. Does 20 divide x?
True
Let o be 13/(26/228)*22/4. Let f = -447 + o. Does 9 divide f?
True
Is (-33*58/(-638))/(-1 + 20226/20225) a multiple of 303?
False
Let q = -495 - -498. Suppose 0 = -q*m + 5129 + 253. Does 78 divide m?
True
Let a = -20 + 24. Suppose 2*c - 4 = -a*j, j - 5*c - 11 = 1. Is j/(((-7)/18)/(-7)) a multiple of 9?
True
Is 189 a factor of (2/(-2) - 36 - -1)/(2/(-672))?
True
Does 23 divide (-2)/6*(-6608 - 33/(-3))?
False
Let a be 40/(4*(-5)/(-50)). Suppose -3*y + 100 = -5*y. Let l = a + y. Is l a multiple of 10?
True
Suppose 0 = 3*l - 149 - 232. Let q = 530 - l. Does 11 divide q?
False
Let m = 434 + -428. Does 8 divide (-6751)/(-6) + 2 - 1/m?
False
Let u be (1*(-5)/10)/((-2)/20). Suppose -5*g = -u*q - 230, 0*g = 4*g. Let r = q - -68. Is r a multiple of 22?
True
Suppose 3*u + 2*c = 14976 + 6816, 5*u - 4*c - 36276 = 0. Is 30 a factor of u?
True
Suppose 2*s + 2*s + 132 = 0. Let j = 36 + s. Suppose j*u = 4*u - 100. Is u a multiple of 20?
True
Suppose 3*u - p = 4538, 2*u = 2*p + 1371 + 1657. Does 126 divide u?
True
Let j be -16*18 + 8 + -4. Let q be j/18 - 6/27. Is -1 + (-248)/q - (-2)/(-4) even?
True
Suppose o + 60488 = 113353. Is o a multiple of 58?
False
Does 52 divide (11836/(-10) + -2)/(26310/6600 - 4)?
True
Suppose 14*o - 30265 - 55401 = 0. Is 4 a factor of o?
False
Let j(t) = -t**2 + 4 - 95*t + 84*t + 6*t**2. Let k(n) = -n**3 - 27*n**2 - 27*n - 22. Let q be k(-26). Is 5 a factor of j(q)?
True
Let l be (-3)/((-9)/15) + 2. Suppose 0 = 3*h - l*h + 76. Let j = 91 - h. Does 19 divide j?
False
Let q be 10 + 38780/50 - (-4)/10. Let z = q - 422. Is z a multiple of 28?
True
Suppose -43720 = -5*o + 5*z, -48*z + 39*z - 36 = 0. Does 23 divide o?
True
Suppose 10*m = 16074 + 3766. Suppose 2*p = -3*v + 2014, 3*v - 5*p = -p + m. Is 13 a factor of v?
False
Let m = 23133 - 12987. Is 19 a factor of m?
True
Is 73 a factor of (6652 + (11 - 20))*(0 + 1)?
True
Let i(n) = 9*n + 31. Let p be i(-3). Suppose q = -p*a + 1844, -4*q = 2*a + 61 - 969. Is a a multiple of 22?
True
Let p be 7/(14/96)*(-34)/(-68). Is (-3)/4*(-1376)/p a multiple of 7?
False
Let c be 12/16 + (-18)/(-8). Suppose u = -c*u + 20. Suppose -u*b = 4*s - 40, -b - 4*s + 26 = 2. Is b even?
True
Let y be (1/(-2))/((-2)/20). Suppose 5*b + 71 = -2*i + 4*b, y*i + 4*b = -176. Let m = 42 + i. Does 5 divide m?
False
Suppose -87*o + 155098 + 215174 = 0. Is o a multiple of 133?
True
Suppose -5*o = s - 1155, -2*s + 686 = 6*o - 3*o. Suppose o + 88 = 2*c. Is 8 a factor of c?
True
Suppose -7*r = 44 + 152. Let l(y) = -5*y - 90. Is 2 a factor of l(r)?
True
Let c = -121 + 330. Let m(j) = 79*j**2 + j. Let b be m(1). Suppose -2*r + x + b = 0, -2*x + c = 5*r - 0*x. Is r a multiple of 16?
False
Suppose -m + 2*m - 6 = 0. Let t(l) = -10*l - 18. Let r be t(m). Let n = 110 + r. Is n a multiple of 6?
False
Suppose 9*s = 26638 + 6626. Is s a multiple of 11?
True
Let t(g) = -11*g + 17. Let p be t(2). Let j(x) = -4*x**2 - 4*x + 10. Let s be j(p). Let n = s - -170. Is 31 a factor of n?
False
Suppose 1 - 16 = -z - 5*t, -6 = z - 2*t. Suppose u = -4*m - 14, 3*m + 3 = -z*m + 3*u. Does 7 divide (m/1*1)/(1/(-35))?
True
Let k = 8003 - -9771. Is k a multiple of 172?
False
Let p be ((-18)/7)/(2696/(-336) - -8). Suppose -3 = -5*y + 4*y. Suppose p = y*d - 33. Does 11 divide d?
False
Let y(v) = v**3 + 13*v**2 - v - 6. Let u be y(-13). Let m(s) = -2*s + 16. Let l be m(u). Suppose -4*c = -0*f - f - 120, 2*c = l*f + 60. Is 14 a factor of c?
False
Let a = -11 + 3. Let z be a/(-60) - 122/15. Is z/20 - (-117)/5 a multiple of 8?
False
Suppose 5*j - 32300 = -35*v + 30*v, 4*j = -2*v + 25830. Is 18 a factor of j?
False
Suppose -17*g + 12*g - 3*u = -65965, g - 2*u - 13206 = 0. Does 4 divide g?
True
Suppose 0 = -46*h + 30855 + 11925. Suppose 6*q - 9*q + h = 0. Is 10 a factor of q?
True
Let x(f) = 3 - 1 - 2555*f + 2412*f. Let a be x(2). Let d = 458 + a. Is d a multiple of 19?
False
Let c(u) = -66*u - 188. Let m(g) = g - 1. Let p(s) = c(s) - 3*m(s). Does 26 divide p(-10)?
False
Suppose -1 = n - j, 2*j - 4*j = 2*n - 18. Suppose -3*g - 3*c = -3750, -3*c + 1547 = -n*g + 6533. Is g a multiple of 46?
False
Is 79 a factor of 309872/(-2534)*56/(-1)?
False
Suppose -61*y = -96*y + 318500. Does 37 divide y?
False
Let y(d) = 7*d + 35. Suppose 4*a - 16 = -j, -6*j - 2*a = -2*j - 22. Suppose -2*x = -j - 20. Does 7 divide y(x)?
True
Let t = -4365 - -7490. Let z = 5520 - t. Suppose -8*u = 611 - z. Is u a multiple of 19?
False
Suppose 0 = -2*z + 4*z - 68. Suppose -o + 19 = -4*n + n, 4*n + z = -3*o. Let f = 31 + n. Does 3 divide f?
True
Suppose 9*v + 38*v - 457191 = -16*v. Is 22 a factor of v?
False
Suppose 3*v + 136 = -2*p, -v + 0*v = 4*p + 252. Let r = -61 - p. Does 33 divide (24/(-40))/(r/(-275))?
True
Is ((-93)/62)/((-5)/(-2))*-5 - -16767 a multiple of 15?
True
Is -525*(176/(-385) + (-2)/5) a multiple of 3?
True
Let l(j) be the second derivative of -13/2*j**2 + 4/3*j**3 - 7*j + 1/12*j**4 + 0. Is 10 a factor of l(-11)?
True
Let j(l) = 4*l**2 - 6*l + 8. Let i(o) = -o**3 - 21*o**2 + 3*o + 68. Let z be i(-21). Is 13 a factor of j(z)?
True
Suppose -2*p + 1974 = -2*x, 2*x + 4944 = 18*p - 13*p. Is p a multiple of 30?
True
Let r = -24 - -29. Let x = r + -1. Suppose -x*n + 513 = -0*o - 5*o, -o = 5*n - 663. Does 33 divide n?
True
Let u(g) = -20*g + 3460. Does 75 divide u(-97)?
True
Let k = -10637 - -27164. Is 47 a factor of k?
False
Let k(q) = 139*q - 4126. Is 6 a factor of k(52)?
True
Suppose -3*p + 4*w = -2, 10 = -5*p - w - 2. Let v be (-86)/(-18) + p/(-9). Suppose 0 = v*s - 3*t - 316, 0 = t + 3*t + 8. Does 11 divide s?
False
Suppose -20 = -5*n, -907*n = -5*m - 912*n + 8955. Is 5 a factor of m?
False
Let q be 1*-1*0 + -14. Suppose 4*k - 3*t - 91 = 27, 0 = -t - 6. Let y = q + k. Is y a multiple of 11?
True
Suppose 0 = -11*c - 66 - 1804. Let f = 371 - c. Is 25 a factor of f?
False
Let f be -7 + (14/2 - -22). Suppose 4*g = 3*z - 3916, 2*z - f - 2592 = g. Is 12 a factor of z?
True
Let i = -105 - -127. Let r(f) = 10*f + 