Let h be i(t). Is 19 a factor of (h - 3)*(-3)/(-9)?
True
Let y be 25/(5/(-1)) + 7. Suppose 2*d - 3*o = o + 10, -y*o = 0. Is 7 a factor of ((3 - 0) + 4)*d?
True
Let l(f) = -17*f + 130. Let p be l(-34). Let z = p - 339. Does 56 divide z?
False
Is 81 a factor of (14/(252/(-27)))/((6/(-69200))/1)?
False
Suppose 4*a - j - 11969 = 0, -4*j - 2996 = -2*a + a. Suppose -a = -5*f - 12*f. Does 4 divide f?
True
Suppose -23 = 5*v + 2. Let h(i) be the first derivative of -i**3/3 - 4*i**2 + i + 1003. Is 4 a factor of h(v)?
True
Does 45 divide (72/9 - 94 - -5)*-15?
True
Is 34 a factor of 2/(-16) - (-186016)/512*(-20)/(-2)?
False
Let g = -74 - -79. Suppose -5*p = k - 505, -325 = -0*p - 3*p - g*k. Suppose -7*b + 285 = -p. Is b a multiple of 11?
True
Let l(i) = -50*i - 9 + 375*i + 4. Is l(1) a multiple of 32?
True
Suppose -4*m = -726 + 106. Let s(f) = f**3 + 2*f + 110. Let a be s(0). Let y = m - a. Is 15 a factor of y?
True
Let y(d) = d**3 - 10*d**2 + 2*d - 15. Let k be y(10). Let f be (32/(-20))/((-85)/25 - -3). Let q = f + k. Does 2 divide q?
False
Let y(s) = -2*s**2 + 6*s + 5. Suppose 2*p = -4*g + 18, 3*p - 5 = -2*p - 2*g. Let i be y(p). Is (-410)/(-6) - 2/i a multiple of 15?
False
Suppose -12*o = -10*o - g - 3903, 3*g = -9. Suppose -o = 182*y - 188*y. Is 25 a factor of y?
True
Suppose -28*m = -9*m - 125*m + 63282. Is 2 a factor of m?
False
Suppose d + 3*r - 28 = 0, 3*r + 10 = 2*d - d. Suppose 224 = d*a - 18*a. Is 4 a factor of a?
True
Suppose -9*a + 42827 + 43141 = 0. Is a a multiple of 78?
False
Suppose 5*k - 2*l = k - 516, 0 = 3*l + 12. Let n = k + 129. Does 5 divide 4/n - (-3 - 44)?
True
Suppose 5*f + 22807 - 74177 = -4*t, 2*f + 3*t = 20541. Is 16 a factor of f?
False
Let p(i) = 603*i + 400. Does 51 divide p(7)?
False
Suppose 2*u = -56 + 38. Is 7 a factor of 43/u + 5 - 752/(-18)?
True
Let x(c) = 79*c - 255. Is 125 a factor of x(74)?
False
Let h(l) = 4*l**3 - 11*l**2 + 19*l + 16. Let x be h(5). Is 48 a factor of (12/(-4))/((-9)/x)?
False
Let w(x) = 10*x**3 - 25*x**2 + 10*x + 103. Is w(7) a multiple of 82?
True
Suppose -3*u = -4*c - 1618, 1622 = 3*u - 2*c - 3*c. Let l = u + -309. Is 15 a factor of l?
True
Let y(j) = -j**3 + 13*j**2 - 5*j - 46. Let f = -586 - -592. Does 4 divide y(f)?
True
Suppose 2*n + r = -76, -r - 3*r = -3*n - 125. Let h = n - -40. Is 12 a factor of -3 - (1 + h + -17)?
True
Let q(y) = 5*y**2 - 76*y + 1340. Does 39 divide q(16)?
True
Suppose 19*y - 16*y - 12 = 0. Let k be (y/10 - 69/(-15))*-1. Is 8 a factor of 32/(-4 - k) - 0?
True
Does 17 divide (-30064)/(-52)*(-1560)/(-240)?
False
Let w = 8153 - 8042. Does 2 divide w?
False
Let h be 48*-15*(-11)/9. Suppose 25*j - h = 17*j. Is j a multiple of 5?
True
Suppose q + 2 - 3 = 0. Let f(l) = 5 + 6*l - 2 - 3 + 21*l. Is 13 a factor of f(q)?
False
Suppose 40120 + 6275 = 26*h - 141585. Is 54 a factor of h?
False
Let s(t) be the second derivative of 41*t**4/12 + t**3/2 + 2*t**2 + 332*t. Does 42 divide s(4)?
True
Let q(u) = 19*u**2 + 48*u + 197. Is 72 a factor of q(-25)?
True
Let d = -24873 + 36801. Does 7 divide d?
True
Let y = -25 + -14. Let t = -18 - y. Let u = -15 + t. Is u a multiple of 3?
True
Let d = 698 + -335. Let a = 716 - d. Is a a multiple of 65?
False
Let d(k) = k + 553. Is d(27) a multiple of 2?
True
Let f(p) = p**2 - 19. Let m(l) be the second derivative of l**3 + 15*l**2 + 18*l. Let z be m(-6). Does 8 divide f(z)?
False
Suppose -2*y = 4*j - 3*y - 4419, -4*j - y + 4413 = 0. Is 16 a factor of j?
True
Let z(t) = 30*t + 39. Let f be z(9). Suppose -5*j + f = -5*i + 84, 2*j = -5*i + 111. Is 16 a factor of j?
True
Is 3 a factor of (-6)/174 + 925129/841?
False
Suppose -118522 = -106*p - 10*p + 58030. Is 32 a factor of p?
False
Suppose -32*i + 301620 + 105970 = -99162. Is i a multiple of 74?
True
Suppose 0 = -166*r + 341*r - 3602989 - 1361236. Is 23 a factor of r?
False
Let r(p) = -p**3 - 5*p**2 - 3*p + 20. Let t be r(-4). Suppose 0*y = -t*y + 1856. Is y a multiple of 4?
True
Suppose -109*u - 3288 = -113*u. Suppose 5*n = -3*b + 2053, 0 = -8*n + 6*n - b + u. Is n a multiple of 7?
True
Let w(s) = s**2 + 1. Let a(i) = -i**2 + 2*i + 17. Let n(l) = a(l) + 2*w(l). Is n(0) a multiple of 7?
False
Is 70 a factor of (-12530)/(-4) - 660/264?
False
Let w = 546 - 852. Let d = w + 160. Let o = -98 - d. Does 8 divide o?
True
Let r(w) = 551*w**2 - 34*w - 31. Does 77 divide r(-7)?
False
Let p be (21/(-14))/(1/(48/(-9))). Is 4*12/p*24 a multiple of 8?
True
Suppose 283144 - 29500 = 14*f + 17702. Is f a multiple of 19?
True
Let h(z) = 228*z**2 - 40*z - 11. Does 17 divide h(3)?
True
Suppose 0 = -59*c - 56*c - 23*c + 824964. Is 122 a factor of c?
True
Is 169/(-39)*(-63)/14*4174/3 a multiple of 35?
False
Let l(t) = 8*t**2 - t + 3. Let k be l(3). Let j = k - 65. Let u(b) = -b**2 + 5*b + 26. Does 3 divide u(j)?
True
Let p(u) = u**3 + 19*u**2 + 23*u - 4. Let x be p(-17). Let q = x - -67. Does 25 divide q?
True
Suppose 288*b = -289*b + 586*b - 84402. Is b a multiple of 18?
True
Let u(v) = -v**3 - 22*v**2 - 52*v - 52. Let m be u(-20). Suppose 192*b - 1612 = m*b. Is 13 a factor of b?
True
Does 45 divide 29562/9 - (-11)/33?
True
Suppose -12*n + 9*n + 4*d = -23138, -5*n - 3*d + 38515 = 0. Is 46 a factor of n?
False
Let u be (3/(-6))/(2/20). Let b be u*(-2)/(4 - 2). Suppose b*p = 75 + 325. Is 10 a factor of p?
True
Suppose p + 30 = 59. Let d = -27 + p. Suppose 4*h = 3 - 7, 186 = 4*s - d*h. Does 9 divide s?
False
Let i = 3 - 7. Does 2 divide (101/(-5))/(i/20)?
False
Suppose 29*r + 8 = 31*r, -5*b + 3*r = -1298. Suppose 4*x - u + 541 = 0, 5*u + 559 = 2*x - 6*x. Let n = b + x. Is n a multiple of 18?
True
Let h = 87 + -84. Let o be 2/(h/12*2). Is 3/4 + 101/o a multiple of 13?
True
Let z be 5/15 - 68/6. Suppose n = 5, -5*s + n - 95 + 10 = 0. Is (-596)/z + s/88 a multiple of 10?
False
Let s be (-3)/(-3) - 1144*(-2)/2. Suppose 192*j = 197*j - s. Does 19 divide j?
False
Let q = -394 - -389. Is (-1210)/(-40) - q/(-20) a multiple of 3?
True
Let m = -51495 + 75183. Is 135 a factor of m?
False
Suppose -3019 = -7*k + 64713. Is k a multiple of 41?
True
Is ((-32)/14)/((-15004188)/(-441301) + -34) a multiple of 80?
False
Suppose -85*o - 329267 = 159118 - 1823990. Is 135 a factor of o?
False
Let k(b) = 133*b - 23. Let s = -150 + 152. Does 27 divide k(s)?
True
Suppose -3*s = -5*i - 24360, 0*i + 7*i = -2*s + 16240. Is s a multiple of 40?
True
Let i = 211 + -209. Suppose 3*s - i*s = -2*c + 131, 15 = -5*s. Is 12 a factor of c?
False
Let x be 36/27 - (-1 + (-1)/(-3)). Let y be x/(-3) + (-2)/(-6)*986. Suppose 2*v = 4*g + y, v - 146 = g - 5*g. Does 33 divide v?
False
Let m(k) = k**3 + 9*k**2 + 11*k + 6. Let o be m(-7). Let h be 6/4 - o/(-6). Let b(p) = p + 10. Is 15 a factor of b(h)?
False
Let u = 1490 - 1428. Suppose 4*l - 57 - 328 = -3*i, -3*i = 2*l - 377. Suppose -d - 2*w + u + i = 0, 5*w = -3*d + 553. Is d a multiple of 19?
False
Suppose -2*h - 13 + 17 = 0. Is 3*(h - 31)*(-294)/63 a multiple of 14?
True
Suppose -3*o = 5*r - 15, -5*o + 3*r - 9 = -2*o. Suppose o = 8*h + 9*h - 1105. Is h a multiple of 41?
False
Let b(u) be the third derivative of -u**4/4 + 16*u**3/3 - 5*u**2. Let c(o) = 7*o - 33. Let p(z) = 6*b(z) + 5*c(z). Is 5 a factor of p(12)?
True
Let q(a) be the second derivative of -11*a**3/3 + 6*a**2 + 4*a - 3. Let j(p) = -p**2 - 2*p - 1. Let i be j(-3). Is 25 a factor of q(i)?
True
Is 16 a factor of ((-7644)/245)/(-1*(-1)/(-240))?
True
Suppose 5*c = 3*c + 102. Suppose -c*i = -56*i + 5500. Does 25 divide i?
True
Suppose 35 = 5*g + 4*d - 9*d, 0 = 4*g + d - 18. Suppose -2 = i - g. Suppose 0 = 4*u + i*f - 368, 9 = -2*u + 3*f + 211. Is 19 a factor of u?
True
Let t be (-8)/(-14) + 6120/168. Suppose -28*r = -t*r + 18. Does 2 divide r?
True
Is (14 - 125/10)*70 a multiple of 2?
False
Let r = 13428 - 10290. Does 6 divide r?
True
Let w(y) = y**3 - 8*y**2 - 8*y - 7. Let h be w(9). Suppose -2*v = -u - 0*v + 907, -2717 = -3*u + h*v. Is 31 a factor of u?
False
Let a(h) = h**2 + 2*h + 5. Let p be a(-2). Let x(o) = o**2 - 3*o + 4. Let r be x(p). Suppose -r = -2*u - j + 3*j, u - 4*j - 4 = 0. Does 3 divide u?
False
Let d(a) be the third derivative of -a**5/60 - a**4/3 + 11*a**3/6 - 22*a**2. Let m be d(-9). Is (-41)/(m/4*-2) a multiple of 7?
False
Let n = -67 + 67. Suppose -3*v + v + 476 = n. Does 14 divide v?
True
Suppose 4*l + 9*u = 7*u + 10, 5*l - u - 23