ltiple of 10?
True
Let x(k) = k**2 - 16*k + 42. Let n be x(13). Suppose 0 = -3*f - 2*i - 74, 3*f + 21 = -n*i - 48. Let w = f - -133. Is 21 a factor of w?
True
Let w = 16646 + -8716. Suppose 0 = -27*u + 6299 + w. Is 53 a factor of u?
False
Suppose -2*b = -3*c + 8 + 5, -2*c + 14 = -4*b. Suppose -2*j = 5*g - 1109, -5*j + c*g = 833 - 3528. Does 11 divide j?
False
Let w(x) = -311*x - 7425. Does 15 divide w(-45)?
True
Let d(w) be the second derivative of -w**5/20 + 11*w**4/6 - 7*w**3/2 + 27*w**2/2 - 5*w - 2. Does 3 divide d(21)?
True
Suppose -j = 5*w + 3215, w - 4*j + 93 + 571 = 0. Does 22 divide ((-114)/(-133))/((-1)/w)?
False
Let q = -11 - -32. Let b = -23 + q. Does 33 divide 1 + 64 + 3 + b?
True
Let p = 6572 + -5542. Is p a multiple of 103?
True
Suppose -252395*l + 22536 = -252377*l. Is l a multiple of 4?
True
Suppose -3*k + 9521 = 4*g, 16*g - 17*g - 5*k = -2359. Is g a multiple of 31?
False
Suppose 3*a - 6*a + 12 = 0. Suppose -8*r + 60 = -a*r. Suppose r = -5*b + 95. Is b even?
True
Let w = 6 - 14. Is 4 a factor of ((-2128)/35)/(-1) - w/(-10)?
True
Does 47 divide -1 - 359954/(-112) - 2/(-16)?
False
Let c be (42/(-9))/((-2)/(-6)). Let l = c + 95. Suppose -l = 2*i - 3*i. Does 11 divide i?
False
Suppose 247*i + 3*x = 252*i - 18018, -4*x - 7224 = -2*i. Is i a multiple of 50?
True
Let n(r) = r**2 + 13*r + 4. Let q be n(-9). Let g = q - -36. Suppose 0 = y - g*o - 21, -69 = y - 5*y + o. Does 14 divide y?
False
Suppose 0 = -4*q - 16, -2*b - 2*q - 124 = -632. Suppose -14*v - b = -20*v. Does 7 divide v?
False
Let l(r) = -r - 20. Let p be l(-17). Let s(c) = -198*c - 4. Let b be s(p). Suppose -2*u = g - 171 - 125, 4*u = -3*g + b. Is u a multiple of 28?
False
Let h(u) = u**2 - 15*u - 44. Let y be h(26). Let i = y - 211. Is 4 a factor of i?
False
Let y(o) = -12*o + 49. Is y(-30) a multiple of 93?
False
Let z be (-3)/(-4) - 145/(-4). Let f be (24 - 25)/(2/8). Is 18 a factor of (6/f + 1)*-2*z?
False
Let s(x) = -x + 64. Let n be s(47). Suppose -n*w = -22*w + 2025. Is 50 a factor of w?
False
Suppose -d + 2*u + 4 = 0, -3*d - 2*u - 66 = -46. Let s(w) = -127*w + 51. Is 35 a factor of s(d)?
False
Let q(x) = -x + 13. Suppose 12*w - 128 - 4 = 0. Let i be q(w). Suppose 4*b = -i*a + 80, 0*b + b + a = 19. Is b a multiple of 7?
True
Let g = 32 - -22. Suppose a - g + 159 = 3*z, a + 3*z + 75 = 0. Does 39 divide (a/20)/((-1)/52)?
True
Suppose -95*x + 11349 + 17246 = 0. Is 2 a factor of x?
False
Suppose 82*v + 356 - 18437 = 1927. Let j = -161 - -7. Let g = v + j. Is 6 a factor of g?
True
Let m(w) = 2. Let f(k) = -3*k + 17. Let x(a) = 3*f(a) + 12*m(a). Is 6 a factor of x(-14)?
False
Let q = 9127 - -195. Is 79 a factor of q?
True
Suppose -58*v + 65*v = 119*v - 1435728. Is v a multiple of 13?
False
Let k = 151 + -142. Suppose k = 10*p - 961. Is p a multiple of 7?
False
Let q(t) = -89*t + 42. Let j be q(6). Let g = 772 + j. Does 5 divide g?
True
Suppose 53357 - 334138 = -47*n + 19079. Is n a multiple of 22?
True
Let y = 4 - 2. Let x(n) = -36*n - 344. Let l be x(-11). Suppose 5*z - 232 = -4*q, 48 + l = y*z + 4*q. Is 44 a factor of z?
True
Suppose 32 = 5*n + 17. Suppose 2*h + h + 4*f = -3, -3*f - n = 2*h. Suppose -4*m + 2*b = -48, h*b = b. Is m a multiple of 12?
True
Let j(r) be the first derivative of r**3/3 + 16*r**2 + 75*r - 265. Is 4 a factor of j(-33)?
True
Let s(y) = -y**3 - 5*y**2 + 18*y - 10. Let q be s(-8). Let r = 96 - q. Let h = r + -13. Does 8 divide h?
False
Suppose 5*u + 13696 = x, -u + 34 = 36. Does 6 divide x?
True
Let z(q) = -63 - 41 - 28 - 22*q. Is z(-40) a multiple of 22?
True
Let h be 8 + -6 + 4/(-2) + 9. Suppose 9 = h*l + 486. Let o = l + 95. Is o a multiple of 42?
True
Let d(a) = a**3 + a**2 - a + 1. Let w(v) = 5*v**3 - 7*v + 3. Let j(g) = -4*d(g) + w(g). Let t be j(5). Is 2 a factor of (12/t - 13/3) + 11?
True
Suppose 5*h - 3*h - 26 = 0. Suppose -h*i + 15*i = 0. Suppose i = -7*m + 12*m - 30. Is 6 a factor of m?
True
Suppose 2*w - 8*w = 10*w. Suppose 2*r + 340 - 1248 = w. Does 42 divide r?
False
Let n(j) = -j**2 - 2*j + 6. Let t be n(-10). Let d(p) = -p**2 + 6*p - 2. Let v be d(7). Let m = v - t. Does 5 divide m?
True
Let v = 24056 + -1784. Is (1/(2/(-3)))/((-144)/v) a multiple of 26?
False
Suppose -2*p - 2*p = -16. Suppose j + 5 = 3, 3*j = 2*l + p. Let r(w) = -2*w**3 - 4*w**2 + 5*w + 9. Does 23 divide r(l)?
False
Suppose 5*s = 28 - 3. Suppose 3*f + 2*f - 1 = -4*w, s*w - 35 = 5*f. Suppose -36 = -w*g - 5*o, -g + 2*g - o - 18 = 0. Is g a multiple of 14?
True
Let s(f) = f**2 - 13*f - 3305. Is s(-55) a multiple of 2?
False
Let z = 17677 - 14473. Is 356 a factor of z?
True
Let p = 53346 - 20386. Is 64 a factor of p?
True
Let f(b) = -b**2 - 11*b. Let x be f(-11). Suppose 5*r + 4*k - 113 - 82 = x, 5*k + 45 = 2*r. Does 35 divide r?
True
Let f(p) = -5*p + 38. Let u be f(-9). Suppose -27 = -5*c + u. Suppose c*l - 20*l - 440 = 0. Is 20 a factor of l?
True
Let b(k) = -2*k**2 - 27*k + 9. Let a be b(-14). Let s be a/(25/(-53)) + (-9)/15. Suppose -o - 4*x = s, 0*x = 2*o + x - 8. Is o a multiple of 6?
True
Is 18 a factor of (0 - (-18)/21)/(74/15540)?
True
Suppose 5*a + 54521 = 2*q, q + 11*a = 10236 + 16957. Is 104 a factor of q?
True
Suppose 0 = -72*l + 81*l - 2646. Let u = 407 - l. Does 82 divide u?
False
Suppose 2047 = 8*t - 2433. Is 35 a factor of t?
True
Suppose -526*p - 91080 = -546*p. Is 6 a factor of p?
True
Let w = 432 + -436. Does 78 divide (w/8 - 0)*-1378?
False
Is (21/14)/((-51177)/6398 - -8) a multiple of 26?
False
Let g = 2276 - -1558. Is 91 a factor of g?
False
Suppose 10 = 5*y, 58*c + y - 170 = 55*c. Is c a multiple of 22?
False
Suppose 28 - 6 = 11*x. Suppose x*r - 20 = 3*r. Does 13 divide r + 15 - -196*1?
False
Suppose -5*x + 365*v = 363*v - 13136, 0 = -4*v + 8. Is x a multiple of 6?
True
Let j = -646 - -1880. Suppose j + 1874 = 6*i. Is 14 a factor of i?
True
Suppose -30 = -2*q + 7*q. Let c be 57*-3*2/q. Suppose -3*w - c = -4*j, 0*j + 4*w = 4*j - 56. Is 7 a factor of j?
False
Let s(h) = 2482*h**2 - 45*h - 193. Is s(-4) a multiple of 87?
False
Suppose 40*z - 365*z + 4683502 = 386352. Does 28 divide z?
False
Let x be (-6)/((-4)/10*1). Is (98 + -2)*25/x a multiple of 10?
True
Suppose -2*f - 1450 = 5*a + 3*f, 5*a + 3*f + 1458 = 0. Let q = 36 - a. Let r = q - 52. Is r a multiple of 50?
False
Let u = 301 - 69. Let v = -123 + u. Is v a multiple of 34?
False
Let q(n) = 8*n - 80. Let k be q(16). Suppose 3*a = -4*u - u + 67, -5*u = 2*a - k. Is a a multiple of 19?
True
Suppose -5*w = -2*j + 6956, -4*w - 5572 = j + j. Let x be ((w/3)/(-4))/((-2)/6). Let n = -205 - x. Is 25 a factor of n?
False
Suppose -102*o = -111*o + 459. Let z = 759 - o. Is z a multiple of 12?
True
Let b(q) = 6*q**3 + 15*q**2 - q - 1. Let l be b(-4). Let h = l - -190. Does 9 divide h?
False
Let v(m) = 6*m**2 + 60*m - 1086. Is 30 a factor of v(14)?
True
Let r(h) = -7*h**2 - 119*h - 65. Is 29 a factor of r(-15)?
True
Let q = 487 - 287. Let g = q - 96. Is 13 a factor of g?
True
Let b(v) = 2823*v**2 - 422*v + 1670. Does 215 divide b(4)?
True
Let p(m) = 20*m**3. Let n be p(1). Suppose 51 + 73 = 2*q - 4*u, -n = -5*u. Suppose 0 = -5*v - 8*d + 6*d + q, -5*d + 1 = -2*v. Does 9 divide v?
False
Let j = -80 + 170. Suppose -j = 4*n - 7*n. Is n a multiple of 6?
True
Suppose -2*v + 5599 + 23339 = 4*w, -w - 3*v = -7227. Is 134 a factor of w?
True
Is 9 a factor of (-4 - -7 - 5)*(-19890)/20?
True
Suppose 0 = 4*d + 4*b - 47 - 9, 5*b - 15 = 0. Is (-8756)/(-242) + 2/d*-1 a multiple of 3?
True
Suppose -242 + 810 = 8*l. Suppose -s - 5*g = 3*s - 179, -s + l = -4*g. Is s a multiple of 17?
True
Let h(o) = -11*o + 3. Let w be h(1). Let s be (-36)/w*(1 - 3). Let m = 21 + s. Is 3 a factor of m?
True
Let r = -121 + 115. Let g be ((-7)/(r + 13))/((-2)/38). Let h(l) = 3*l - 1. Is 4 a factor of h(g)?
True
Suppose -4*s = -3*g + 5987, 4*g + s = 4928 + 3080. Suppose 7*c - g = 2*c + b, 0 = -2*c + 3*b + 803. Is 16 a factor of c?
True
Does 8 divide (193/3)/(105/2520)?
True
Let i be (1*-20)/(-5) - (2 - -71). Let r = i - -73. Let u(p) = 23*p - 12. Is 20 a factor of u(r)?
True
Let u = -810 + 891. Suppose 0 = -2*j - u + 151. Is 11 a factor of j?
False
Suppose -203*p + 198*p = 5*k - 141735, p - 28327 = 3*k. Is 104 a factor of p?
False
Let w(x) = -x**3 - 21*x**2 + 61*x - 8. Suppose -m + 8*m + 168 = 0. Is w(m) a multiple of 20?
False
Suppose 0*