 a multiple of 10?
True
Let f = -1733 - -2901. Does 10 divide f?
False
Suppose -42691 + 1896 = -4*d + 5*p, 0 = 3*d + 4*p - 30604. Is 102 a factor of d?
True
Suppose 3*x + 2*c + 37 - 153 = 0, c + 32 = x. Suppose 2*i - 462 = 41*y - x*y, -4*y - 1138 = -5*i. Is i a multiple of 17?
False
Let f(q) = 3*q + 132. Let y be f(-43). Let p = -165 - -381. Suppose y*s = 135 + p. Is s a multiple of 16?
False
Suppose t + 4 = 3*t. Suppose 2*f = 2*b + 6*f - 468, -4*f = -t*b + 436. Suppose 3*a = b - 1. Is a a multiple of 15?
True
Suppose -4*g + 5*r + 10393 = 0, -2*r + 4199 = 2*g - 975. Is 32 a factor of g?
True
Suppose 4*u - 3*t - 10623 = 22420, 0 = -3*u + t + 24781. Is u a multiple of 101?
False
Suppose 71*a - 77700 = 31072. Is a a multiple of 154?
False
Let x be -4*((-9)/(-10))/(66/(-55)). Suppose 0 = 4*d - x*u - 55, 3*d - 2*u = 4*d. Is 10 a factor of (-125)/(-5)*(22/d - -1)?
True
Suppose 2*j + 92 = 88. Let t(k) = -55*k - 4. Let f(c) = -330*c - 25. Let q(b) = -4*f(b) + 25*t(b). Is q(j) a multiple of 22?
True
Let m(u) = 7 + 13*u + 15*u - 6*u + 4. Does 22 divide m(10)?
False
Let k = 32 + 30. Let f = 142 - k. Is 16 a factor of f?
True
Let g(u) = 6*u**2 + 20*u + 255. Is 146 a factor of g(-11)?
False
Suppose 4*r - 22*c = -19*c + 45, -10 = -2*c. Does 44 divide -2 + r/6 - (-6333)/6?
True
Suppose -63*r - 1354655 = -3913778. Is 30 a factor of r?
False
Suppose -53*r - 102997 + 902184 = 0. Is 48 a factor of r?
False
Let o(u) = u**3 + 7*u**2 - 6*u + 4. Let y be o(-6). Does 4 divide (216/(-144))/((-77)/y + 1)?
False
Does 15 divide (330/(-20) + -1)*-516?
True
Suppose 375 = 2*m + 557. Let k = m + 133. Is 21 a factor of k?
True
Suppose 5*n - 314 - 6465 = -3*h, 5*h - 11320 = -4*n. Does 18 divide h?
True
Suppose -15 = 4*z - 7*z. Suppose -z*m = -23 + 18. Suppose c = 91 - m. Is c a multiple of 9?
True
Let v(q) = q**3 - 9*q**2 - 3*q - 1. Let k be 4 + 2 + -2 + 5. Let h be v(k). Does 34 divide 3816/28 + 8/h?
True
Let c(d) = 19*d - 26. Suppose 4*w - 7*w = 48. Let g be w/12*45/(-10). Does 22 divide c(g)?
True
Let h = -18357 - -35148. Is h a multiple of 87?
True
Let i = 18 + -12. Suppose i*d - 13 = -5*w + 5*d, 1 = -4*w + 3*d. Suppose 2 = w*c - 26. Does 2 divide c?
True
Let k(c) = 24*c + 8. Let i be k(9). Let h(q) = -15*q - 19. Let m be h(-1). Does 13 divide (-70)/m*i/35?
False
Let g be 25/((0 + -1)/(-1)). Suppose 5*s = -u + g, 2*s - u - 7 = -2*u. Let z(j) = 14*j - 18. Is z(s) a multiple of 12?
False
Let q = -2546 + 5959. Is q a multiple of 12?
False
Suppose 0 = 5*x + 4*z - 34300, 5*x - 41687 + 7387 = z. Is 49 a factor of (x/21)/(-5)*-6?
True
Let i = -206 + 351. Let l be 6322/i + 4/10. Does 5 divide 10/75*5*(l + -2)?
False
Let x(m) = -31*m + 295. Suppose -h - 48 = -5*q + 2*q, -46 = 2*h + 4*q. Is x(h) a multiple of 13?
False
Suppose -u + 399 = w + 2*u, -2*u = -3*w + 1175. Let s = w + 152. Is s a multiple of 22?
False
Suppose -4*g - 5*x = 7, -x - 5 = 2*g + 6. Let u be g/(-6)*2*-6. Let a(c) = c**3 + 17*c**2 + 9*c - 17. Does 15 divide a(u)?
False
Is 5 a factor of (-13552)/(-98) + (-20)/(-28)?
False
Let v(h) = -10663*h - 1375. Does 16 divide v(-2)?
False
Let r(k) = -3 - 22*k - 2*k**2 + k**3 + 24*k + k**2. Let g be r(-3). Let c = g - -100. Does 11 divide c?
True
Suppose 5*q - 79 = -g, 3*g - 4*q = -g + 244. Let l be (g/(-40))/((-2)/(-5)). Is 25 a factor of 7/(455/1635) - l/(-26)?
True
Suppose 27*a = -8*a + 166950. Does 18 divide a?
True
Let c = 153 - 367. Let z = 381 + c. Is z a multiple of 7?
False
Let m(o) = -32*o**3 + 12*o**2 + 22*o + 15. Is 99 a factor of m(-6)?
True
Let i = -37 - -25. Let g be 24/i*(-5)/2. Let l(v) = -v**2 + 15*v + 2. Does 3 divide l(g)?
False
Suppose 8674 = a + 2*d - 5436, 2*d - 70558 = -5*a. Is a a multiple of 63?
True
Suppose 110*k = -370657 + 1378587. Is k a multiple of 49?
True
Suppose -2*y + 2*s = 142, 9*s - 25 = 4*s. Let p be 112*6/(-8)*-1. Is 5 a factor of y/(-4)*7*8/p?
False
Let w = -5303 + 27525. Is 41 a factor of w?
True
Let g(n) = n + n - 5*n + 66*n**2 + n. Is g(1) a multiple of 8?
True
Let f(r) = 23*r**3 + 4*r**2 + r - 2. Let z be f(2). Suppose k - z = -k. Suppose k = 4*i - 0*i. Is 25 a factor of i?
True
Let q(h) = -h**3 - 3*h**2 + 1. Let r be q(-3). Let c be 8/(10/(-6 + r)). Let o(s) = s**3 + 5*s**2 + 4*s + 4. Is 4 a factor of o(c)?
True
Is 85 a factor of (-6)/(-8)*2672488/546?
False
Suppose -4*i = 3*q - 692, 0 = -939*q + 940*q + 5*i - 227. Does 5 divide q?
False
Is (2714/175 - 146/1825)*266 a multiple of 38?
True
Is (-1*60/(-25))/((-2)/(-3990)) a multiple of 28?
True
Let k(s) = -s**3 + 5*s**2 + 6*s - 1. Let g = 1 - -5. Let v be k(g). Is 21 a factor of 82 - ((-4)/(-6) + v)*6?
True
Let x = -22 - -47. Suppose -r + 55 = x. Does 10 divide r?
True
Suppose d - 4315 = y, 12062*d - 12059*d - 4*y - 12951 = 0. Is 33 a factor of d?
False
Let g(w) = 44*w + 185. Let b be g(19). Suppose -26*p - b + 4349 = 0. Is 9 a factor of p?
False
Let d(i) = -5*i + 17. Suppose 2*w + 39 = 107. Let b be w/(-6) - (-1)/(3/(-1)). Is d(b) a multiple of 13?
False
Let y = 129 + -420. Let a = 579 + -78. Let q = a + y. Is 35 a factor of q?
True
Let w(c) = 18*c**2 - 17*c - 6. Let l be ((-1)/(-3))/((-8)/(-9) - 1). Is 78 a factor of w(l)?
False
Let q be (4*(-1)/2)/(56/(-84)). Suppose 2*a - 12 = 4*a + 3*j, 0 = 4*a - 2*j - 8. Suppose -d = 0, q*k - 63 = -a*k + d. Is k a multiple of 7?
True
Let m(x) = 22*x - 199. Let y be m(10). Let i(u) = 15*u - 59. Is 4 a factor of i(y)?
True
Is 23 a factor of 1099130/90 + 7*(-32)/(-504)?
True
Suppose -83*t - 28*t - 1394016 + 6033816 = 0. Does 88 divide t?
True
Suppose 110*a - 112*a + 1524 = 0. Does 127 divide a?
True
Let g = 115 - 108. Is 8 a factor of 55/2*(40/(-8) + g)?
False
Let k be (-480)/9*(-78)/65. Let j be (-17)/1 - 3/1. Let p = k - j. Is p a multiple of 7?
True
Suppose -5*z = -2*t - 2*t + 469, -5*t - z = -550. Let o = t + 127. Is o a multiple of 34?
True
Suppose -29 = -2*r + 3*q, 25 = -q + 6*q. Is (r/4)/((-8)/(-656)) a multiple of 36?
False
Suppose -s + 2*w + 91 = 0, -3*s - 3*w + 266 = -52. Let j = s - 99. Suppose 0 = 2*c + m + 38 - 302, -254 = -j*c + 4*m. Is c a multiple of 17?
False
Let r(q) = -43*q + 58. Let m = 116 + -123. Let y be r(m). Let c = 641 - y. Is c a multiple of 47?
True
Does 10 divide (-266639)/(-184) + (-11)/88?
False
Let v be 21*((-44)/12 + 2). Let f = 233 + -228. Is 12 a factor of 107/f - (-14)/v?
False
Let m(t) = -6*t**2 + 3*t - 4. Let n(a) = -7*a**2 + 4*a - 5. Let u(o) = -6*m(o) + 5*n(o). Let r be u(-2). Is 4 a factor of 1 - 1*(-35 - r)?
False
Let t(x) = 31*x**3 - 5*x + 61 + 13*x**2 - 42 - 30*x**3 + 63. Does 13 divide t(-12)?
True
Let b be (-1 - (-6)/4) + (-17226)/(-44). Let l = 1120 - b. Suppose w - 9*w = -l. Is 34 a factor of w?
False
Suppose 4*u - 6175 = 5*f, 0 = -4*u - f - f + 6182. Suppose 0 = -7*z + 2*z + 2*q + 2574, -3*z + q = -u. Is 43 a factor of z?
True
Suppose 0 = 2*b + 4*d - 8, 4*b + 4 = -5*d + 17. Suppose -14*y = -b*y - 2520. Is 11 a factor of ((-7)/(y/24))/(2/(-115))?
False
Let x = 15192 - 912. Is 14 a factor of x?
True
Suppose -2 = -4*r + 2. Let v(t) be the first derivative of 154*t**3/3 + t + 8950. Is 31 a factor of v(r)?
True
Let b = -33 + 150. Let x = b - -61. Is x a multiple of 29?
False
Let u(l) = 3*l**2 + 182*l + 123. Let d be u(-60). Let v be (-3)/4 - 23/(-4). Suppose r + 64 = 2*a, r = -v*a - d*r + 134. Does 15 divide a?
True
Let n = 143850 + -94183. Is 60 a factor of n?
False
Suppose 12*y - 7315 = y. Suppose 0 = -4*k + 3*u + 883, -3*k = -3*u - 2*u - y. Does 11 divide k?
True
Is 210 a factor of ((-33)/2475*25)/(2/(-38580))?
False
Let b(g) = -8*g - 8. Let a be b(11). Let v = a + 404. Does 43 divide v?
False
Suppose -27*p - 11 = -65. Suppose p*o - 2008 = -2*j, -5*j + 5*o + 0*o = -5010. Does 26 divide j?
False
Let a = -751 - 618. Is 37 a factor of a/111*(0 + -3)?
True
Let l = -1 - -5. Suppose 0 = -5*y - l*h - 11, -2*y + y + 5*h - 8 = 0. Let r = y + 38. Does 11 divide r?
False
Let c(l) be the third derivative of 149*l**5/6 + l**4/6 - 79*l**2. Is c(1) a multiple of 83?
True
Suppose -1 = r + 3*t, 0*r + 2 = -r - 2*t. Let j be (-1)/2 + 1/r*-10. Suppose j*n - 169 = 245. Is 16 a factor of n?
False
Suppose -n + 172 = n. Suppose -d - 2*w + 102 = 0, -d - 3*w + 5*w + n = 0. Suppose 2*h - 3*k - 148 = 0, -4*h + d + 210 = -4*k. Is 20 a factor of h?
True
Let p(z) = -7311*z + 444. Is 70 a factor of p(-6)?
True
Let f(z) = 13*z + 1