se
Does 22 divide 106/(8/6*177/12626)?
False
Let o(r) be the third derivative of 11*r**5/60 + r**4/6 + 5*r**3/6 - r**2. Let i be (-237)/81 - ((-4)/(-22) - 640/5940). Is o(i) a multiple of 19?
False
Let j(y) = -y**2 - 6*y - 8. Let m be (-296)/36 - -5 - 4/(-18). Let v be j(m). Is 13 a factor of (25 - 26)/(v/(-169))?
True
Let s(w) = 63*w**2 - 8*w + 4. Let d be s(-4). Suppose -2*f + d = -2*q, 4*q + 8 = -8. Is f a multiple of 58?
False
Let i = 246 + -138. Let q = 58 - i. Let z = -41 - q. Does 4 divide z?
False
Suppose 0 = -79*o + 76*o + 1089. Suppose 4*f - 2*m - 1446 = 0, -3*f + 1444 - o = -5*m. Is f a multiple of 26?
False
Let z(b) = b**2 + 13*b - 10. Let i be z(5). Let p = -47 + i. Suppose 0 = -30*v + p*v - 216. Does 10 divide v?
False
Suppose -13*g - 8*g + 42628 = -37004. Does 12 divide g?
True
Suppose -1 = 5*q - 11. Let t be (-19)/(-2) + (-7)/2. Is 7 a factor of ((-2680)/t)/(-4) + q/6?
True
Let z be (6/(-2))/((-3)/225). Suppose 19*o + 13*o = -0*o. Suppose o*g = -3*g + z. Is g a multiple of 8?
False
Let j(r) = -2*r + 97. Let w(n) = -n + 65. Suppose -10*i = -7*i - 15. Let k(x) = i*j(x) - 8*w(x). Is 2 a factor of k(-23)?
False
Let m(r) = -540*r + 3994. Does 14 divide m(-66)?
True
Is (8/40 + 7 - 0)*390 a multiple of 54?
True
Let t(b) = 67*b - 13 + 35*b - 7*b + 9 - 13. Is t(3) a multiple of 9?
False
Let n = -151 - -71. Let i = n - -122. Suppose 2*b - 4*b + i = 0. Is 4 a factor of b?
False
Let w(i) = 2*i**3 - 16*i**2 - 46*i + 411. Is 2 a factor of w(13)?
False
Suppose -2*k - 5 = -3*r, 2 = -5*k + 5*r - 3. Let z(v) = -129*v - 14. Let a be z(-1). Suppose 3*o - k*l + 107 = 4*o, -o = 4*l - a. Is o a multiple of 15?
False
Let w be 1*(6 + -5)*(1 - 1012). Let x be ((-24)/(-2))/(1 + 1017/w). Is 1 + x/(-11) - 4/(-22) a multiple of 37?
True
Suppose 0 = 2*a + 3*c + 27 - 33, -4*a + 5*c = -34. Does 20 divide (1274/21 + 6)/(2/a)?
True
Let x = 31305 - 8877. Is x a multiple of 36?
True
Suppose 1024*b - 336*b = 22777616. Does 7 divide b?
False
Suppose 9*m - 4*s = 83395, -15*m + 2*s = -12*m - 27803. Does 32 divide m?
False
Suppose -10 - 104 = 3*o + 3*s, -3*o + 4*s - 142 = 0. Let l be (-4)/6*o/4. Does 27 divide l/((-21)/(-12)) + 114?
False
Suppose -5*y - 2*o + 2477 = 0, 3*o = 2*y - 636 - 351. Suppose 5*d - p + 6*p = -825, 3*d = -4*p - y. Let z = d - -285. Is z a multiple of 20?
True
Is 43 a factor of (-9 - 1) + 5270 + 145?
False
Suppose -239 = -10*p + 11. Is p/(-2)*((-108)/30 - 6) a multiple of 12?
True
Let r = 142 - 137. Suppose -f + 3*j = -9, f + 3*j + 4 = -r. Suppose -2*t - c + 470 = t, -c + 2 = f. Is t a multiple of 26?
True
Let q be (-480)/(-20)*(-12)/32. Let l(v) = -v**2 + 3*v + 3. Let u be l(4). Is (-114)/u - (q + 5) a multiple of 16?
False
Let o = 900 - -199. Is 16 a factor of o?
False
Suppose -11*z - 20312 = -171958. Is z a multiple of 226?
True
Let j(d) = d**2 + 12*d + 1551. Does 14 divide j(-65)?
False
Suppose 4*u - 5*s = 2*u + 90, 0 = 4*u - 5*s - 200. Let t = 54 - u. Does 35 divide 2 - 2 - (-174 + t)?
True
Let q be 1*1*(0 + -1). Is 27 a factor of (423/(-188))/(q*2/240)?
True
Suppose -5*s + 30 = 4*h, -4*s + 0 = -3*h + 7. Suppose 0 = 5*t - 2*k, -2 = -h*t + k + 3. Is 109 + (10/t - 4) a multiple of 17?
False
Let n(o) = 7*o + 13. Let y(z) = -z + 12 + 10*z - z. Let f(v) = 7*n(v) - 6*y(v). Is f(9) a multiple of 7?
True
Let y(m) be the second derivative of m**7/2520 - m**6/240 - 13*m**5/120 - m**4/4 + 21*m. Let h(n) be the third derivative of y(n). Does 20 divide h(-9)?
False
Suppose 12*z - 13*z = -4505. Let o = z + -2852. Does 49 divide o?
False
Suppose m = -9*m - 70. Is 2280/4 + (-1 - m) a multiple of 38?
False
Let u(n) be the third derivative of -n**6/120 + 2*n**5/15 + 3*n**4/4 + 6*n**3 + 8*n**2 + 9*n. Is u(10) a multiple of 10?
False
Suppose -32 - 13 = -9*m. Suppose -t + 15*q = 20*q - 80, 0 = 5*t - m*q - 460. Does 8 divide t?
False
Let g(l) = 16*l**2 + 177*l + 64. Is 48 a factor of g(-37)?
False
Let u(n) = -7*n + 230. Let t be u(30). Suppose t*v + 4*v = 6504. Is v a multiple of 5?
False
Let x(y) be the third derivative of y**6/120 - 3*y**5/20 - y**4/2 + 9*y**3/2 + 13*y**2. Let w be x(10). Let o(c) = c**2 - 4*c + 13. Is 10 a factor of o(w)?
False
Let b(r) = 3*r**2 + 54*r + 39. Let g be b(-17). Let u(p) = 9*p + 130. Is 22 a factor of u(g)?
True
Let z(q) = -128*q - 122. Is z(-10) a multiple of 34?
False
Suppose -2*p + 3217 = -n + 2*n, 0 = -p - 5*n + 1631. Suppose 43*w - 32*w = p. Is w a multiple of 12?
False
Suppose -6*a = -23*a + 64243. Is a a multiple of 110?
False
Let j be (84/(-147))/((-1)/7). Let n be 0 + j + 0 + -21. Let z = n - -51. Is 17 a factor of z?
True
Let h = -1183 + 1954. Let a = h - 679. Is 10 a factor of a?
False
Suppose 5*q - 66 = 409. Let c = q - 40. Suppose -245 = m - 4*m + z, m = -5*z + c. Is 16 a factor of m?
True
Suppose -36*h + 39672 = -18*h. Does 130 divide h?
False
Suppose -60*b + 4380 = 60*b - 110*b. Does 6 divide b?
True
Let r(k) = -k + 1. Let w(y) = -2*y - 44. Let l(p) = 5*r(p) + w(p). Suppose 51*s + 156 = 39*s. Is 13 a factor of l(s)?
True
Let p(r) = 5*r**3 + 9*r**2 + 2*r - 10. Let g(m) = 6*m**3 + 8*m**2 + 3*m - 9. Let i(l) = 4*g(l) - 5*p(l). Does 24 divide i(-14)?
False
Let r(l) = -15 + 11*l**2 - l + 3*l**2 - l**2 - 9*l**2. Is 35 a factor of r(8)?
False
Does 9 divide (-5*126/27)/((-4)/144*3)?
False
Let n = 312 - 310. Suppose -n*x + 255 = 5*t, -5*x - 366 = -8*x - 2*t. Is 20 a factor of x?
True
Suppose -156*k + 303*k + 31328 = 158*k. Does 38 divide k?
False
Let y(h) = 2*h**2 - 55*h + 452. Does 10 divide y(-52)?
True
Does 12 divide (-219*4)/((-2478)/(-140) - 18)?
False
Let m be (-805)/15 - (-3)/18*-2. Let g = 54 + m. Suppose g = -d + 2*l + 28 - 2, 3*d = -2*l + 46. Is d a multiple of 3?
True
Let j be (2 + 3/(-3))*2. Suppose 0 = 27*r - 17*r - 20. Suppose -6 - r = -j*l. Is 2 a factor of l?
True
Suppose 186*o + 403*o - 2829430 = 332322. Is o a multiple of 11?
True
Suppose -90*u - 40*u + 61100 = 0. Is 10 a factor of u?
True
Let i(f) = -f**3 + 10*f**2 - 3*f + 180. Is i(-12) a multiple of 44?
False
Let a = -1250 + 2078. Is a a multiple of 36?
True
Let k(p) = p**3 - 3*p + 3. Let z be k(2). Suppose 0 = 73*x + 7 - 1978. Suppose -48 - x = -z*m. Is m a multiple of 3?
True
Let x = 171699 - 114308. Is 262 a factor of x?
False
Suppose -3*t + 19616 = -4*q, -5*q = 3*t - 11537 - 8061. Does 86 divide t?
True
Let p(u) = -250*u + 4851. Is p(-7) a multiple of 28?
False
Suppose 4*a - 7520 = -d, -747*a + 744*a - 5*d + 5623 = 0. Does 33 divide a?
True
Suppose 5*k - 403 = 3*w - 5559, -2*w = 2*k - 3464. Is 5 a factor of w?
False
Let u = -77 - -79. Suppose w + 22 = -4*q, -14 = 2*w + u*q - 0. Does 14 divide ((-721)/(-28) - w/8)*7?
True
Suppose 0 = -3*f + 2*m + 507, 228 = 2*f + 2*m - 120. Let q = 7 + f. Does 89 divide q?
True
Let x(c) = 1745*c**2 + 276*c - 1324. Is 19 a factor of x(5)?
True
Suppose -20*g = -13*g + 644. Let d = 129 + g. Suppose -3*s + 0 - d = -5*c, -2*s = -4*c + 30. Is c a multiple of 5?
False
Let o(d) = -73*d - 4. Does 46 divide o(-17)?
False
Suppose -4*w + 4*c = -108, -4*w + 3*c + 129 = w. Suppose -19 = j - w. Suppose 3*y + 240 = j*y. Is 20 a factor of y?
True
Let b = -646 + 8808. Does 36 divide b?
False
Let o = -23 - -26. Suppose -4*h - o + 15 = 0. Suppose 2*z = 3*w + 48, h*z + w = -0*z + 94. Does 6 divide z?
True
Let z = -394 + 2253. Is 18 a factor of z?
False
Let a(n) = 2983*n - 13051. Is 7 a factor of a(10)?
True
Let j(y) be the first derivative of 2*y**3/3 - 21*y**2/2 + 5*y + 1. Let w be j(15). Suppose 60*t - 55*t = w. Does 7 divide t?
True
Suppose y + 257 = 897. Suppose 0 = -5*n + 2*a + y, -256 = -0*n - 2*n + 2*a. Is 64 a factor of n?
True
Does 17 divide 16/(-24) - 240388/(-114)?
True
Is ((-52)/182 - (-2)/(-7)) + (-964026)/(-343) a multiple of 8?
False
Suppose 4*l = 470 + 1106. Suppose -l = -2*q + 566. Is 9 a factor of q?
False
Let o(h) = -148*h. Suppose -173*j + 45 = -178*j. Is o(j) a multiple of 74?
True
Let s(f) = f**3 + 73*f**2 - 280*f - 88. Does 42 divide s(-76)?
True
Suppose 0 = -3*n + 3, 5*q - 6*q = -2*n - 1. Let p be 93/q + (1 + -3 - 0). Suppose 0 = 31*z - p*z - 266. Is z a multiple of 27?
False
Suppose -23 = -2*l - 2*l + 3*m, -3*m - 28 = -5*l. Suppose -l*c = -c - 1368. Does 47 divide c?
False
Let n = 12474 - 9988. Is 19 a factor of n?
False
Let b = -98 - -38. Let j = -55 - b. Suppose 2*t + j*p = 3*t - 82, 5*t - 5*p - 490 = 0. Is 