True
Let j(l) = 3*l**2 + 16*l + 46. Let o = 159 - 186. Is 94 a factor of j(o)?
False
Suppose -5*w - 631 = -3*x + 1876, -3*w = -2*x + 1673. Suppose 15*c - 2006 - x = 0. Suppose -c = -2*l + 14. Does 7 divide l?
False
Let v(s) = -3*s**3 + s**2 + 14*s + 10. Let p be v(-5). Is 23 a factor of 7 - (-12)/(48/p)?
True
Suppose -9*o - 3068384 = -55*o. Is o a multiple of 321?
False
Let o(s) = s**2 - 19*s - 37. Let d be o(24). Let p = d - 80. Suppose -4*h - p*q + 972 = 0, -h + 238 = 7*q - 5*q. Is h a multiple of 39?
False
Let m be 2*(0 - 2)/(-2). Suppose 4*w - m*w = -5*h + 153, 2*h + 4*w = 58. Let f = 33 + h. Is f a multiple of 16?
True
Let a = 31 + -19. Let t = -9743 - -9627. Let m = a - t. Does 8 divide m?
True
Let s be -5 + ((-13 + 3)/1 - -5). Is ((-5)/s)/(3/2124*1) a multiple of 11?
False
Let t(w) = w + 3*w + 11 + 0 + w. Suppose 0 = 98*c - 92*c - 36. Is 7 a factor of t(c)?
False
Does 38 divide 5167 + (6/27 - 14/(-18))?
True
Let n(i) = -i**3 + 16*i**2 + 16*i - 14. Let j be n(7). Let f = 98 + j. Is f a multiple of 66?
False
Let p(h) = 5*h**2 + h + 1. Suppose -3*t - 2 = -5*r - 4, -4*t + 1 = -5*r. Let i be p(r). Let w(j) = 10*j - 9. Is w(i) a multiple of 16?
False
Does 42 divide ((-5752)/12)/((-2)/(176 + 60/6))?
False
Suppose -5*z + 4*d = -0*z - 183, -2*d + 66 = 2*z. Suppose 0 = -4*t - w - 77, 65*w = -3*t + 70*w - 75. Let x = z + t. Is x a multiple of 3?
True
Suppose -21*f - 428 = -20*f. Let i = 1245 + f. Is i a multiple of 19?
True
Let x = -3740 + 4468. Does 14 divide x?
True
Does 47 divide (-430)/(-1)*(-20 + -28 + 54)?
False
Suppose -127*z + 423467 = -52021. Is 32 a factor of z?
True
Let t(i) = 4*i**2 + 3*i - 21*i**3 + 23*i**3 - 35 + 2*i**2. Let j be t(5). Suppose -5*l - 4*p = -792 - j, 0 = 4*l + 5*p - 943. Does 29 divide l?
True
Let v be 1 - 5 - 30*-1. Suppose g = 2*g - 3*b - v, -2*b + 181 = 5*g. Is g a multiple of 7?
True
Is 11 a factor of ((-459892)/(-26) - ((-4738)/299 - -16)) + 2?
False
Suppose -15 = -b - 4*b. Suppose -417 - 411 = -4*g - b*h, 0 = g + 4*h - 207. Does 23 divide g?
True
Is ((-56394)/(-36)*2)/1 a multiple of 17?
False
Suppose 2*z = 4*u - z - 3, -3*u - 3*z = -18. Suppose j - q = -u*q - 57, -3*q + 246 = -5*j. Is 14 a factor of 0 + 4 - (j - -3)?
False
Let j(h) = -h**2 - 9*h - 12. Let r be j(-6). Suppose -r*m + 10*m = 620. Does 18 divide m?
False
Suppose -5*r + l = -139397, r + 4*l - 7935 - 19978 = 0. Is 49 a factor of r?
True
Let h = -37697 + 40727. Is 30 a factor of h?
True
Let u(m) = -4*m + 211. Let p be u(22). Is 5 a factor of ((-41)/p)/(1/3) + 16?
True
Let m = -24591 - -42188. Is 256 a factor of m?
False
Suppose 154 + 168 = 23*s. Suppose 2*z = -6, 0 = 17*b - s*b - z - 519. Is 29 a factor of b?
False
Suppose 34*y - 2010 = 17269 + 747. Does 19 divide y?
True
Let m(f) = -1345*f - 17. Is 10 a factor of m(-1)?
False
Let h(r) = 94*r**2 + 15*r - 4. Let d be h(3). Suppose 3*p = -3*o + 528, 4*o = -p + d - 198. Is 14 a factor of o?
False
Let p(i) be the third derivative of -11*i**2 + 0 + 7/15*i**5 + 1/8*i**4 + 1/2*i**3 + 0*i. Is p(-1) a multiple of 7?
True
Suppose 7*f = -256 + 1131. Suppose f = z + 2*x, -4*z + 5*x + 376 = -189. Is z a multiple of 20?
False
Let x be ((20/(-25))/((-2)/10))/2. Suppose -l + 6*l + 3*s = 2001, -807 = -x*l + s. Does 49 divide l?
False
Let n(v) = -v**3 - v**2 + 6*v + 4. Let g be n(-3). Suppose g*c - 5*c = -26. Is (c - 0) + 3 + -5 a multiple of 12?
True
Suppose -2*l + 4*w + 23914 = 3348, 2*l - 3*w - 20572 = 0. Does 145 divide l?
True
Let m(x) = 3*x**2 - 38*x - 450. Does 27 divide m(-22)?
False
Suppose 2022*l = 2019*l + 13065. Is 14 a factor of l?
False
Let f(b) = b + 6. Let m be f(-4). Suppose -2*w + 1 = -3*d, 3*d + m*w + 4 = -1. Is 4 a factor of d - (5 - 3 - 24)?
False
Let z = 450 + -448. Let g(x) = x**2 - 6*x + 9. Let q be g(6). Is 1 + 447/q - z/3 a multiple of 10?
True
Let q(j) = -3523*j - 1965. Is 66 a factor of q(-5)?
False
Let a = 2085 - 90. Is 21 a factor of a?
True
Suppose -4*i + 10*i - 120 = 0. Suppose -i*q = -19*q + 5, q + 685 = 5*z. Is z a multiple of 34?
True
Let w(j) be the second derivative of 2*j**2 + 0 - 1/6*j**3 + 4*j. Does 4 divide w(-4)?
True
Let o be (8/(-6))/(14460/3618 + -4). Let l = o - 151. Is l a multiple of 14?
False
Let m(z) = -66*z**2 - 4*z + 8. Let t be m(2). Let q be t/(-77) - (-6)/(-14). Suppose -q*y - 3*j + 47 = -2*y, -5*j - 137 = -4*y. Is y a multiple of 19?
True
Let x = 30616 + -14092. Is 9 a factor of x?
True
Suppose 0 = -7*w + 20*w - 130. Let q(y) = 2*y**3 - 13*y**2 + 59*y - 10. Is q(w) a multiple of 16?
True
Let l = -3804 - -4887. Is 7 a factor of l?
False
Let m = 9776 + 447. Is 87 a factor of m?
False
Let w = 1297 - 812. Suppose -4*y + w = 3*g - 659, -1524 = -4*g - 4*y. Is g a multiple of 20?
True
Suppose 0*q = -7*q + 301. Let p = 397 - q. Does 43 divide p?
False
Suppose -423592 = -74*o - 34347 + 183959. Is o a multiple of 19?
False
Let f = -402 + 405. Is 16 a factor of (-215)/30*f*-6?
False
Let z be (-4)/(-6 - -2) - 0. Let o be (z - (-1 - 31))*(-10)/15. Let g = 54 - o. Does 29 divide g?
False
Suppose -6*a - 38150 = -16*a. Is (a/(-70))/(2/(-8)) a multiple of 24?
False
Let a(h) = -3145*h - 6603. Is 23 a factor of a(-10)?
False
Let j be (2 - 0) + -2 + 0 + -4. Does 8 divide 5/(-25)*(j - 211)?
False
Let u = -6792 - -10140. Is 93 a factor of u?
True
Let l(f) = 3*f**2 - 13*f - 12*f + 5 + 27 + 23*f. Let i be l(12). Suppose 0 = 2*u + 2*u - 4*c - i, 3*u - 2*c - 329 = 0. Is u a multiple of 19?
False
Let w(b) = 48*b**3 + 14*b**2 - 13*b - 3. Is 49 a factor of w(6)?
False
Let d(v) = -2*v**3 - 3*v - 4. Let h be d(-2). Suppose -8815 = -h*o + 2057. Does 43 divide o?
False
Suppose 13857 = l + 4*a, -594*l + 41483 = -591*l + a. Is 18 a factor of l?
False
Suppose -5*y - 4*c - 245 + 17365 = 0, -3*c = -2*y + 6848. Is y a multiple of 2?
True
Let a(p) = p**2 - 2*p - 2. Let g be a(3). Let f = 6 - g. Suppose -370 = -3*b + 5*y, -2*b + f*y = -4*b + 205. Does 23 divide b?
True
Let x be (-12)/(-90) + 107/(-15). Suppose 7*w - 5*w - 34 = 0. Let y = w + x. Is y a multiple of 10?
True
Suppose -14 = -3*d + 76. Let v = 31 - d. Let i(q) = 119*q**3 - q**2 + q. Is i(v) a multiple of 16?
False
Does 35 divide (65/(-52))/((-25)/630)*50?
True
Does 105 divide 1566 - (9 - 8 - (6 + 4))?
True
Let g(a) = -a - 1. Let z(q) = q + 14. Let j(i) = -5*g(i) - z(i). Suppose -5*x + 41 = -2*w - w, -2*x + 20 = -3*w. Is 4 a factor of j(x)?
False
Let j = 19 + -21. Let a be (j/(-3))/(1/885). Suppose -8*f = -a - 194. Is f a multiple of 7?
True
Suppose 391 = 3*x - 2*h - 1072, 0 = 3*x + 48*h - 1413. Is x a multiple of 284?
False
Let c(m) = 11*m**2 - m. Let t be c(1). Suppose -9*w + 7*w + 62 = 29*w. Suppose w*i = t*i - 352. Is 16 a factor of i?
False
Suppose -12*c + 7*c = -645. Suppose -1149 + c = 3*v. Let a = -200 - v. Does 28 divide a?
True
Let c = 46 - 7. Let g be c/(-15) + -1 + 22/(-55). Is ((-43)/(-3))/((-185)/(-45) + g) a multiple of 49?
False
Suppose -81*f = -78*f + 9. Let w(u) = -8*u - 16. Let x be w(f). Suppose 4*n - 8 = 0, x*b - 100 = 7*b - 5*n. Is 9 a factor of b?
True
Let b = 521 - 525. Is ((-17)/(68/120))/(b/76) a multiple of 15?
True
Suppose 61*i + 335425 = 943839. Is 50 a factor of i?
False
Let m = -111 + 112. Is 8 a factor of -1 - m/(-1) - 2 - -522?
True
Let t(i) = 9*i - 11. Let v be t(3). Let x be (-6)/4*v/24. Is 25 a factor of 3 + (x - (-4 - 94))?
True
Suppose o = -2*o - 18. Let n be o*(-6)/16*8 + 1. Suppose -5*k + 140 = -4*c, 0 = 4*c + n + 1. Is k even?
True
Suppose -4*b - 4*x = -3*x - 52, 2*x = 3*b - 39. Suppose -2*f + 1 = -5*o, o + 0*f = -4*f + b. Let v(u) = 30*u**3 - 2*u**2 + u - 1. Is v(o) a multiple of 28?
True
Let y(t) = -12*t - 35*t - 18*t + 24 - 12*t + 8*t. Does 52 divide y(-3)?
False
Is 9894 + 2/(-2)*(17 + -11) a multiple of 96?
True
Suppose 37*x - 39*x + 32 = 0. Let a(q) = q**3 - 17*q**2 + 18*q - 23. Let u be a(x). Is 16 a factor of 16/(-10)*u*(-60)/8?
False
Is 88669*(-26)/(-91) - -22 a multiple of 94?
False
Let y = -1032 - -914. Let h(t) = t**3 - 4*t**2 + 4*t + 3. Let c be h(8). Let w = c + y. Is w a multiple of 12?
False
Let d = -357 + 356. Let z be 176/6 + 1/(-3). Let w = d + z. Does 14 divide w?
True
Let v(a) = 7*a - 149. Let t be v(21). Is 79 a factor of 237*(t - (-3)/1)?
True
Suppose 3*p + 162 = -15*p. Let m = 112 - p. Is 42 a factor of m?
False
Let c(n) = -n**3 + 16*n**2 - 32*n + 24. Suppose 25 = 5*m, 2*t - 3