alse
Is 13 a factor of -5 + 84195/21 + 10/(-35)?
True
Let q(a) = -3*a**2 + 153. Let f be q(0). Suppose 2058 = 160*s - f*s. Is 14 a factor of s?
True
Let m be 4/(3/6*4). Let a be (-2)/(-11) + (832/11)/m. Is 703/a - 3/(-2) a multiple of 10?
True
Is 65 a factor of 9 - (1 + 13 + -1890)?
True
Let u = -140 + 140. Suppose -z = -u*z - 105. Does 15 divide z?
True
Suppose 0 = 38*t + 38 - 114. Does 85 divide ((-16)/(-48))/(t*(-3)/(-14058))?
False
Let a = 84 + -80. Let f be ((-24)/10)/(-2)*470/a. Let j = -84 + f. Is j a multiple of 19?
True
Is 21 a factor of ((8 - 4) + 256)*(-756)/(-30)?
True
Suppose 5*j + 135660 = -15*n + 20*n, 0 = -2*n - 3*j + 54274. Does 37 divide n?
False
Let m be (12/30)/(1/10). Suppose -301 - 619 = -m*g. Does 10 divide g?
True
Let o be (-6)/8 - ((-2145)/60 + 9). Suppose 106 = h + 2*a + 2*a, -3*h = -3*a - 393. Let n = h - o. Is n a multiple of 23?
False
Let y = -70 + 70. Suppose 5*n - 6*n + 19 = y. Suppose -15*v + n*v = 240. Is 10 a factor of v?
True
Let z = 182 - 385. Let t(i) = -i**3 + 15*i**2 - 4*i + 3. Let m be t(6). Let x = z + m. Is x a multiple of 25?
True
Let j = 499 + -494. Suppose j*z = 4*k + 1581, -z + k + 313 = -3*k. Does 26 divide z?
False
Let k(a) = -12*a**3 + 2*a**2 + 2. Suppose 12 = 4*x - x. Suppose 3*t + 2 = 2*t - 3*z, x*t + 8 = z. Is 21 a factor of k(t)?
False
Let l = -54 - 592. Let v be l/(-10) + (-4)/(-10). Suppose -3*j + 1 - 71 = -4*i, 3*i + 4*j = v. Is 5 a factor of i?
False
Let g be 6/(-42) + 13/(-7). Does 12 divide 6*((-6)/9)/(g/6)?
True
Suppose 0 = -4*q + 39*q + 140. Is 80 a factor of 1035 + 0 - (-1 + q)?
True
Let x(r) = r**3 + 16*r**2 - 5*r - 21. Suppose -11*y - 144 = -2*y. Does 7 divide x(y)?
False
Is (-215 + -3 + (-50)/(-10))/4*-212 a multiple of 71?
True
Let x(w) = w**3 + 8*w**2 + 20*w - 6. Let h be x(-6). Let f = -51 - h. Suppose p - 6*p + 5*i + 635 = 0, -f*p + 2*i + 383 = 0. Does 12 divide p?
False
Suppose 5*p + 14026 = -70*a + 71*a, 5*a - 5*p - 70130 = 0. Does 76 divide a?
False
Suppose 18 = k - 2*y - 47, -k + 67 = -4*y. Suppose k = -c + 136. Is 2 a factor of c?
False
Let y be ((-2)/(-11) - 2430/55) + 0. Let p = y + 37. Let n = p + 37. Is 10 a factor of n?
True
Let c = -30 + 32. Suppose -5*o - 5*l = 293 - 1163, -l + 343 = c*o. Does 10 divide o?
False
Let g(y) = -y**2 + 4*y + 2. Let t be g(1). Suppose -2*q = -12*u + 8*u + 554, -t*u + 655 = 5*q. Is u a multiple of 8?
True
Let d(f) be the third derivative of 11*f**5/6 - f**4/3 + 23*f**3/3 + 226*f**2. Is d(4) a multiple of 22?
False
Suppose 2*o + 5*t = 21, -4*o - 4 = 4*t - 28. Suppose 1 = -0*b - o*b + u, -2 = -b - 2*u. Suppose -2*z + b*j = -j - 111, 3*z = -j + 179. Is z a multiple of 11?
False
Let i(j) = 17*j**2 + 12*j + 121. Does 30 divide i(13)?
True
Let p = -192 - -232. Does 2 divide 904/p + 2*3/15?
False
Suppose -1470*w - 27830 = -1492*w. Is 8 a factor of w?
False
Let j(y) = -35*y + 2. Let o be j(-3). Let d = 2367 + -2448. Let r = o + d. Is 6 a factor of r?
False
Let y be 3333/3 + -1 - (6 - 10). Suppose -5*f - 5*d + 1860 = 0, f - 4*d + y = 4*f. Is f a multiple of 25?
False
Let j(q) = -4*q**3 + 141*q**2 - 111*q + 42. Is j(20) a multiple of 41?
True
Let c = 5 - 429. Let j = -119 - c. Is 61 a factor of j?
True
Suppose 5*n = -9*n + 7560. Suppose 46 = t - 5. Suppose 46*v + n = t*v. Does 10 divide v?
False
Let h be (1 + 3)*(-346)/(-8). Suppose -4*u + 227 = 3*k - h, -3*u = -12. Is 16 a factor of k?
True
Let n(b) = -b**2 - 2*b - 6. Let w be n(0). Does 8 divide 416/6*(-9)/w?
True
Let j(s) = -s**3 + 41*s**2 - 60*s - 160. Is 10 a factor of j(35)?
True
Let r(s) = 138*s**2 + s + 4. Let u be r(-3). Let c = 926 + -838. Is u/c + (-1)/8 even?
True
Let s be (-5)/((-40)/(-28))*4. Let g(a) = a**2 + 19*a - 29. Let v be g(s). Let d = -87 - v. Is d a multiple of 3?
True
Let o(k) = -11*k**2 - 871*k + 285. Is 13 a factor of o(-79)?
False
Suppose 0 = 2*u - 4*t - 10796, -4*u + 5*t = 45 - 21640. Is u a multiple of 120?
True
Let m = 238 + -233. Is 28 a factor of (-6)/(m - 1388/280)*-1?
True
Suppose p + 38 = 5*q, 0*p - 3*p = 2*q - 5. Suppose q*a - 4947 = -10*a. Does 11 divide a?
False
Let u(s) = 360*s + 100. Does 99 divide u(11)?
False
Is ((-568)/(-3))/(82/(-369))*-12 a multiple of 16?
True
Let p(m) = m**3 + 28*m**2 - 26*m + 91. Let a be p(-29). Suppose -a*n = -8*n + 84. Is 21 a factor of n?
True
Suppose -3*v - 7 = -10. Let g(d) be the first derivative of 71*d**2/2 + d - 5. Is g(v) a multiple of 9?
True
Suppose -36*c + 48*c - 89724 = 0. Suppose -7*i - 470 = -c. Is 11 a factor of i?
True
Let w be 3/6*(1/1 - -3). Suppose 0 = w*r + 4, -i - 15*r + 14*r = -350. Is i a multiple of 39?
False
Suppose -3*u = c + 9, 2*c - 3*u = -2*u - 25. Let s be 40/(-12)*1*c. Suppose s*t + 108 = 42*t. Is t a multiple of 7?
False
Is 23 a factor of (-7)/((-315)/(-20)) + 2855728/306?
False
Suppose -560*x + 1470432 = -507*x. Is 12 a factor of x?
True
Let q = 21670 - 18566. Is q a multiple of 4?
True
Let g(f) = -8*f + 73. Let d be g(6). Suppose -37*y + 156 = -d*y. Is y even?
False
Let l = 32848 - -4228. Is l a multiple of 16?
False
Suppose -22756 = 36*p - 49773 - 19783. Is 13 a factor of p?
True
Suppose 0*v = -18*v + 450. Suppose v*s = 564 + 836. Does 3 divide s?
False
Let c(h) = -h**3 + 7*h**2 + 2*h - 20. Let n be c(6). Let l = n - 29. Let o(z) = -113*z**3 - 2*z**2 - 4*z - 2. Does 27 divide o(l)?
False
Let x = -1611 + 979. Is 12/(-15) - x/20*8 a multiple of 14?
True
Suppose 191*i - 50*i - 117948 = 177729. Is 37 a factor of i?
False
Suppose -5268 = 7*r - 38035. Suppose 5*f = 2*s + 1193 - r, 3*f + 5214 = 3*s. Is s a multiple of 12?
False
Suppose -q = -49 - 35. Suppose -y - 3*y - 5*o - 91 = 0, -140 = 5*y + o. Let l = q + y. Does 5 divide l?
True
Is 3 a factor of (3/45)/((-40)/(-48)) + (-99720)/(-375)?
False
Suppose 0 = -17*x + 30191 + 13577 - 9870. Is 7 a factor of x?
False
Suppose -4*b - 12 = 0, -2*k + 4*b = 3*b + 143. Let l(m) = 56*m - 259. Let r be l(7). Let h = k + r. Is h a multiple of 12?
True
Let d(v) = -3*v**3 + 12*v**2 + 26*v + 9. Suppose 12*u + 66 = 198. Let a(n) = -8*n**3 + 36*n**2 + 77*n + 26. Let x(f) = u*d(f) - 4*a(f). Is 6 a factor of x(-10)?
False
Suppose -72542 = -2*t + 2*m, 29715 = 2*t - 4*m - 42819. Does 20 divide t?
False
Let h(b) = 3*b**2 - b - 7. Let r be h(-13). Suppose -z = i - 132, 4*z + 7*i - r = 6*i. Is z a multiple of 5?
False
Let r(j) = j**3 - 6*j**2 - 3*j - 2. Let h be r(6). Let b = -10 - h. Suppose b = 5*p - 210. Is p a multiple of 22?
True
Suppose 37*p - 39*p = 4144. Is 1/(-9) + p/(-18) a multiple of 6?
False
Suppose -5*n = a - 3*n - 15, 4*a - 30 = -2*n. Let h = -348 - -351. Suppose -2*j = -2*p - 226, -h*j - a*p + 7*p = -336. Is j a multiple of 14?
False
Let g(l) = 76*l**2 + 6*l - 11. Suppose 0 = -5*y - 4*q + 6, 4*y - 6*q + 4*q = 10. Does 35 divide g(y)?
False
Let p(v) = -15*v + 1087. Is p(33) a multiple of 7?
False
Let t(r) = r**2 + 7*r + 5*r + 2*r - 2. Let x be (-20)/(-6)*((-799)/85 - -4). Is t(x) a multiple of 13?
False
Suppose 0 = 4*s - z - 53847, 3*s - 22280 - 18103 = 3*z. Is s a multiple of 106?
True
Suppose 5*v + 2*x = -x + 69, 0 = 3*x - 9. Let w be (3/(v/11))/((-4)/32). Does 13 divide w/(3 + (1 - (-17)/(-4)))?
False
Let x(j) = j**3 + 8*j**2 - j - 6. Let f be x(-8). Is (-12)/(-6) + f + 199 a multiple of 13?
False
Suppose 104*t + 44*t + 9420 = 184060. Is t a multiple of 232?
False
Let c = 100358 - 52437. Does 277 divide c?
True
Let a(v) = v - 10. Let p be a(13). Let h(n) = n**3 - n + 8. Let q be h(7). Suppose p*w - q = -5*w. Is 15 a factor of w?
False
Suppose 12*j - 23*j = -11. Is j*9/(-21) - (-6456)/21 a multiple of 8?
False
Let z be 4/(-10) + 2 + (-14)/(-10). Let u be (2 - 2)*(-3 - (z - 5)). Suppose -4*h + 304 = 4*q, 2*h + 0*h + 3*q - 148 = u. Does 18 divide h?
False
Is 31 a factor of (2 + (-11)/(-2))*36/81*603?
False
Suppose -11 = 4*n + 9. Let x be (n - 12/(-3))*-3. Suppose -x*y - 5*i + 121 = 0, 5*i - 9*i = 4*y - 172. Is 8 a factor of y?
False
Let l(s) = 8*s + 138. Let b be l(-8). Suppose -3*w = -5*r - b - 117, -5*r = -10. Is w a multiple of 2?
False
Suppose -5*x + 3074 = 3*m, 3*m - 14 = -20. Is (-20)/(-5) + 0 + x a multiple of 31?
True
Let q(k) = -101*k - 3462. Is 2 a factor of q(-38)?
True
Suppose -a + 3*n - 3 = 0, 5*n - 5 = 7*a - 3*a. Suppose a = 2*x - 8*x - 18. Does 15 divide (-2)/(1 + x) - -233*1?
False
Let r(b) = 16*b + 64. Let f be r(-21). Let j = 578 - f. Is 3