 13 divide d(1)?
False
Let w(u) = -201*u - 296. Let x be w(-17). Let q = x - 1771. Is q a multiple of 50?
True
Suppose -5100 = -3*u - j + 51989, 4*u + 5*j = 76115. Is u a multiple of 22?
True
Let s(d) = -d - 33. Let t be s(-6). Does 31 divide -2 - (-511)/3 - 18/t?
False
Let d(q) = 2*q**2 - 27*q - 18. Let a be d(14). Let m be (a/(-5))/(11/165). Suppose m = 4*g - 3*h - 36, -5*g + 65 = -5*h. Does 9 divide g?
True
Is 1003821/195 + 26 + (-2)/(-10) a multiple of 3?
False
Suppose 2*f - 44229 = -5*s, 4*s - 5*f - 38844 + 3441 = 0. Does 29 divide s?
False
Let b = 18 + 115. Let l = b + -12. Is l a multiple of 4?
False
Suppose -10*x + 1470 = p - 9*x, 0 = 4*x + 16. Suppose 4*o + p = -42*n + 45*n, -n - 4*o = -470. Does 18 divide n?
True
Let x be (-2)/(-3) + (-51)/9 - -13135. Suppose -3755 = 15*o - x. Is 73 a factor of o?
False
Let d(x) = -2*x**2 - 2*x + 70. Let m be d(0). Let w = 85 - m. Suppose -w*t + 660 = -11*t. Does 15 divide t?
True
Suppose 11*i + 3698 = 26886. Is 17 a factor of i?
True
Let l = -30 - -28. Let n be 6/l + (-12)/(-42)*7. Let f = 22 + n. Does 7 divide f?
True
Let g be 9*(-3)/27*-6. Let c be (-1 + 0)*-157 - (4 - g). Let w = -30 + c. Is w a multiple of 43?
True
Is 4 a factor of (-257832)/(-12) + ((-1)/3)/(1/18)?
True
Suppose -2*r + 4*r = 4*f - 1968, -5*f + 2447 = 4*r. Let a = 563 - f. Is 18 a factor of a?
True
Suppose -10 = 2*a + 2*j, 3*a - 5*j - 15 = 10. Suppose -4*r + 5*z = 26, 16 = -a*r - 3*r + 2*z. Is -1 - -4 - r*(14 - -3) a multiple of 17?
False
Suppose 0*x - 6334 = -x + 2*o, 2*o - 19010 = -3*x. Is 6 a factor of x?
True
Let i(s) = -2*s**3 - 18*s**2 - 35*s - 7. Does 40 divide i(-13)?
True
Suppose 0 = h + 3*k - 27, 0*h + 69 = 3*h + 3*k. Suppose x = -25 + 32. Is 2640/h + 2/x a multiple of 18?
True
Let h(p) = -p**3 + 4*p**2 + 5*p. Let m be h(5). Let y = 3732 + -3718. Suppose m = -0*k - y*k + 1414. Is k a multiple of 8?
False
Suppose -s - 1 = -3. Let v(i) = -1325*i**2 + 4*i + 4*i**3 - i + 2 + 1324*i**2. Does 17 divide v(s)?
False
Let l be 129/(-21) + 3/21. Let o be (4/6)/((-7)/(945/l)). Suppose o*f = 25*f - 2740. Does 13 divide f?
False
Let g = 244 - 239. Suppose -16 = 4*d - 4, 4*d + 1667 = g*j. Is 13 a factor of j?
False
Let k(v) = v**2 - 12*v + 22. Let j be k(11). Suppose 4593 = j*b + 589. Is 28 a factor of b?
True
Let i = -212 + 230. Suppose z - t = i, 2*z - 2*t - 3*t = 36. Does 9 divide z?
True
Let d = 3038 - 2946. Does 23 divide d?
True
Suppose -195*q + 8365450 = -1283930. Is q a multiple of 139?
True
Suppose 3*i = -5*x + 779 + 249, -x + 1 = 0. Suppose -7*f = -i + 12. Does 6 divide f?
False
Let y = -2090 - -3571. Suppose -25*q + 619 = -y. Is 21 a factor of q?
True
Suppose -20*o = 65*o - 331925. Is o a multiple of 19?
False
Let d(f) = 233*f**2 + 229*f**2 + 3*f + 4*f - 456*f**2 + 43. Is d(-5) a multiple of 20?
False
Let i = 47343 - 16728. Is 29 a factor of i?
False
Let c = 4428 - 1215. Suppose 13*q - c - 2611 = 0. Is q a multiple of 14?
True
Let g = 746 + -1365. Let l = -419 - g. Is 25 a factor of l?
True
Let t = -516 + 308. Does 6 divide (t + 4)/(0 - (-10)/(-15))?
True
Let i(v) be the first derivative of 278*v**3/3 - v**2 - v + 146. Is i(1) a multiple of 83?
False
Let x(v) = 3*v**3 - 29*v**2 - 46*v + 35. Let k(h) = -8*h**3 + 58*h**2 + 93*h - 70. Let y(l) = 2*k(l) + 5*x(l). Does 21 divide y(-28)?
True
Suppose 4*b - i = 2*i + 42, -8 = -4*i. Let c(k) = -b*k + 197 + 192 - 377 + k**2. Is 2 a factor of c(14)?
True
Suppose -20 = -5*j, -6*f + 2*f = 5*j + 44. Is -2 + ((-2781)/(-36))/((-6)/f) a multiple of 17?
True
Suppose -1233*d + 148874 = -1211*d. Is d a multiple of 59?
False
Let b(t) = -4*t + 39. Let u be b(8). Does 9 divide (-19)/u + 42/(-147) - -111?
True
Suppose 327*r + z + 2802 = 330*r, 0 = 3*z - 9. Does 5 divide r?
True
Suppose a - 4*u - 10842 = 0, -4*a + 10840 = -3*a - 5*u. Is 11 a factor of a?
False
Let x = 7621 + 912. Does 23 divide x?
True
Let g(a) = -3*a - 31*a**2 + 24 + 30*a**2 + a. Let n be g(-8). Let b = -2 - n. Is 22 a factor of b?
True
Let a be 2*(-4)/(-20)*(-10)/4. Is 33 - -120 - (3 - (-1 - a)) a multiple of 25?
True
Suppose -3*p + 30 = 2*p. Suppose k - p*k = -0*k. Suppose k*t - 16 = -t. Is 8 a factor of t?
True
Suppose -7*g + 9*g = 6*g - 88028. Is g a multiple of 157?
False
Let u(m) = -m**3 + 12*m**2 + 165*m + 6. Is u(18) a multiple of 22?
False
Let c(g) = 3*g**2 + 6*g - 7. Let f be c(1). Suppose -4*j - 131 + 36 = -s, 0 = 4*s + f*j - 344. Does 3 divide s?
True
Suppose o - 9*k = -14*k - 143, -4*k = 2*o + 310. Let l = 258 + -517. Let g = o - l. Is g a multiple of 16?
True
Suppose 66 = 4*t + 126. Let w = 11 - t. Suppose -m + w = -2. Does 13 divide m?
False
Let s(k) = -16*k + 5. Let p be s(3). Let v = p + 43. Suppose -5*c + 3*c + 200 = v. Is 4 a factor of c?
True
Does 36 divide 3568 - (-12 - 12)/(-6)?
True
Let a = 43 - -409. Suppose 170 = 2*v - 5*n, -5*v - 3*n = -2*n - a. Is 9 a factor of v?
True
Suppose -q + 11*f = 9*f - 65006, q - 65060 = 8*f. Is 14 a factor of q?
True
Let j be 10/(-1) - 441/63. Is 15 a factor of 86/(-731) + (-16730)/j?
False
Suppose 18*y = -0*y + 594. Suppose 2563 = y*o - 4169. Does 16 divide o?
False
Let g(x) be the third derivative of 7*x**5/60 + 11*x**4/12 + 85*x**3/6 - 71*x**2 + 2. Is g(-10) a multiple of 26?
False
Let k(j) = -j**3 - 5*j**2 - 12*j - 28. Let d be k(-4). Suppose 0 = -q - d*b + 562, 0 = -2*q - 4*b + 9*b + 1085. Does 55 divide q?
True
Does 9 divide (-137007)/65*10/(-2) - -9?
True
Suppose -d + 2*v + 2094 = 0, 5*d + 8*v = 7*v + 10437. Is d a multiple of 87?
True
Let o(b) be the first derivative of b**4/4 - 10*b**3/3 - 7*b**2/2 - 29*b + 8. Does 35 divide o(12)?
True
Is 29 a factor of 4/(-20) - ((-51906)/30 + -2)?
False
Let y = 629 + -316. Is 3 a factor of y?
False
Let s(k) = -22*k + 43. Suppose z - 3 + 1 = 0, 0 = i - z + 16. Is 48 a factor of s(i)?
False
Suppose 3*k + 5*b = 18089, 3*b = 126*k - 123*k - 18105. Is 12 a factor of k?
False
Let j(s) = 16*s + 19. Let o(l) = -8*l - 9. Let d(z) = -2*j(z) - 5*o(z). Let t be (-4)/1 + (17 - 8). Is 9 a factor of d(t)?
False
Suppose 0 = -f + 5 - 3. Suppose -51 = -f*l + 9. Is 3 a factor of l?
True
Suppose 5 = -a + 10. Suppose 2269 = 5*r + 3*t, 5*r - 1512 = -a*t + 753. Does 33 divide r?
False
Let o(j) be the second derivative of -j**4/12 - 11*j**3/2 + 5*j**2 - 3*j - 8. Is o(-20) a multiple of 5?
True
Suppose 12*n - 131560 + 2990 = -11*n. Is n a multiple of 80?
False
Let l = 71098 + -32631. Is l a multiple of 13?
True
Suppose 0 = 7*l + 5*l - 84. Let d be (-200)/(-14) + (-2)/l. Suppose -6*p + 110 = d. Does 4 divide p?
True
Let n(b) = 2129*b + 218. Does 39 divide n(5)?
False
Let b(y) be the second derivative of 17*y**5/120 + 3*y**4/8 + 7*y**3/6 + 9*y. Let o(n) be the second derivative of b(n). Does 15 divide o(7)?
False
Let u = 2592 - -900. Is 150 a factor of u?
False
Suppose 6*c = -25*c + 11129. Let a = 389 - c. Is 3 a factor of a?
True
Let n(m) = -499*m - 6870. Does 121 divide n(-70)?
False
Let i = 43 - -12016. Is 4 a factor of i?
False
Suppose -19*r = -21*r - 4*m + 18720, -5*r + m + 46756 = 0. Suppose r = 20*o - 22548. Is 55 a factor of o?
True
Let p = -29694 - -31187. Is p a multiple of 5?
False
Let b = -95 + 72. Let h = b - -28. Suppose 4*g + f = 462, -h*g - 2*f + 4*f + 584 = 0. Is 26 a factor of g?
False
Does 32 divide (-12308)/(-24) - (-105)/(-126)?
True
Let u be 4 + (-5 - (-3)/1). Let v = -38 + 53. Suppose 0 = -2*c - 2*l - u*l + 28, 0 = -3*l + v. Is c a multiple of 4?
True
Let b = -18743 + 27757. Does 36 divide b?
False
Let x be (4/(-3))/(2/(-48)). Suppose -q = -48 - x. Let t = 152 - q. Is t a multiple of 18?
True
Suppose -3*d + 6*n - 3*n = -6, -2*d - n + 4 = 0. Let j be (-125)/(0 - d/16). Suppose 2*p + 6*p - j = 0. Is p a multiple of 15?
False
Let x = 34 + -44. Let h(u) = -u - 5. Let s be h(x). Suppose -76 = -s*c + 209. Does 19 divide c?
True
Let x be 16*(1/(-4) - 18/8). Suppose 30 = v - 44. Let o = x + v. Does 17 divide o?
True
Let i(k) = k + 1. Let a(p) = -p + 60. Let t(q) = a(q) - 4*i(q). Does 2 divide t(-3)?
False
Let z(i) = -i**3 + i - 1. Let h be z(-2). Suppose 3*a + 18 - 1340 = -5*r, h*r - 3*a = 1328. Does 53 divide r?
True
Suppose 0 = -5*x + 3*v + 40442, 2*x - 16970 = 3*v - 795. Is x even?
False
Is 3373 + 12 - 0 - -24 a multiple of 14?
False
Suppose -3*d + 3 + 6 = 0. Let f be -12*3/12 - (0 - 36). Let n = f - d. Does 7 divide n?
False
Suppose 6