 second derivative of a**4/12 - a**3 + 2*a**2 + 10*a. Let y be t(5). Let w(f) = -21*f - 1. Is 10 a factor of w(y)?
True
Let a be (22/(-3))/((-20)/6 + 3). Let o(y) = -y**3 + 22*y**2 + y + 38. Is 13 a factor of o(a)?
False
Let o(p) = -3*p - 7. Let k(y) = -7*y - 14. Let a(h) = 4*k(h) - 9*o(h). Let t be a(-2). Suppose -t*c = 6*c - 1050. Is c a multiple of 14?
True
Is 83 a factor of ((-4)/(-10))/((-690)/(-44575725))?
False
Let s(m) = 14*m**2 + 327*m - 372. Is 64 a factor of s(-52)?
True
Let p = 38859 + -15546. Is p a multiple of 96?
False
Let q(w) = -w + 26. Let a be q(-13). Suppose -4*x - 33 = a. Let o = x - -54. Is o a multiple of 17?
False
Let h(a) = -35*a**3 + 5*a**2 + 6*a + 64. Does 8 divide h(-4)?
True
Suppose 60*h + 80 = 63*h + 4*x, 3*h - 55 = x. Is h a multiple of 5?
True
Suppose 0 = -5*t - 2*s - 48, 26 = -2*t + 2*s + 4. Let b be ((-12)/t)/((-4)/10) - -143. Suppose 0 = 2*k - 0*k - b. Is 6 a factor of k?
False
Suppose -2*o + 77 + 109 = 2*y, 357 = 4*y - o. Is 6 a factor of (-916)/(-9) + 20/y?
True
Let a(q) = -3*q**2 + 2*q + 3. Suppose -3*l + 2*u - 4 + 1 = 0, u = 2*l + 2. Let v be a(l). Is (-2)/v + (-1196)/(-13) a multiple of 36?
False
Suppose -49*h + 50 = -39*h. Suppose g = h*y - 245, -y + 49 = 8*g - 9*g. Does 2 divide y?
False
Let g = -49 - -52. Suppose g*u - 3*h - 64 = -u, u - 5*h = 16. Is (-41*8/(-2))/(u/8) a multiple of 19?
False
Suppose -4*n - 212*h + 217*h + 345 = 0, -260 = -3*n + 5*h. Suppose -5*f + f = -724. Let b = f + n. Does 38 divide b?
True
Does 9 divide (-1 - -101)*((-116)/8 + 19)?
True
Let a = -931 + 377. Let h = a + 962. Is 51 a factor of h?
True
Suppose -5*u + d = -6*u + 553, u = -5*d + 549. Suppose 15*h = 721 + u. Does 22 divide h?
False
Let j = -43 + 47. Suppose -2*l + 4*w = -278, j*l - 727 = -l + 2*w. Let z = 6 + l. Does 17 divide z?
True
Suppose -4*h - s = -22378, 389 - 395 = -3*s. Does 77 divide h?
False
Let b(j) = j**2 - 442*j + 989. Does 13 divide b(0)?
False
Suppose 71*p - 3709160 = -189*p. Is 67 a factor of p?
False
Suppose 13949 + 4741 = 6*q. Let m = q - 2149. Is m a multiple of 18?
False
Let o(h) = -h - 4. Let b be o(-4). Let j(a) = -3*a**2 + a + 0*a**3 - a**3 + 3 + b*a. Is j(-4) even?
False
Let v(r) = 4*r**2 - 60*r + 544. Is 4 a factor of v(-19)?
True
Let o = 285 - 289. Is (-2305)/(-45) + o/18 a multiple of 2?
False
Is 23 a factor of (8/6)/((-11)/(-79728)) - 4?
True
Let p(d) = 8*d - 37. Let z be p(4). Is -4*(-1)/z + (-13960)/(-200) a multiple of 12?
False
Is (19 - 980/(-2)) + 22 a multiple of 5?
False
Let q(o) = -o**3 - 16*o**2 - 15*o + 7. Let l be q(-15). Suppose 0*x = -x + l. Let j(b) = 13*b + 8. Is j(x) a multiple of 18?
False
Let z(d) = -12 - 3*d**3 - 867*d**2 + 432*d**2 + 439*d**2 + 0*d**3 + 7*d. Does 8 divide z(-5)?
False
Does 16 divide (-61 + -3)/((-16)/2592)?
True
Suppose v + 30 - 38 = 0. Let t = -709 - -1093. Suppose -t = -0*n - v*n. Is 6 a factor of n?
True
Suppose 13*t + 5*r = r + 79442, -3*t + 18324 = -2*r. Is t a multiple of 13?
True
Let b be (-2 - (-3)/6)*-2. Suppose b*v = c + 5*v - 26, -v - 2 = 0. Does 3 divide c?
True
Let z(v) = 6*v + 1235. Let g be (0/(-2))/(11/(22/(-4))). Let d be z(g). Suppose -d = -9*w + 358. Does 21 divide w?
False
Suppose 0 = -261*c + 259*c - 32. Suppose 3*y - 2 + 5 = 0. Does 9 divide (1*36/c)/(y/4)?
True
Let b(o) = -124*o - 7. Let t be b(-5). Let m = 358 - t. Let p = -138 - m. Does 25 divide p?
False
Suppose 98*n + 81003 = 151580 + 1190193. Does 31 divide n?
True
Suppose -5*z = 4*y - 34444, -115*z + 118*z - 17222 = -2*y. Does 10 divide y?
False
Let p(x) = 11*x**2 - 33*x - 510. Does 17 divide p(-14)?
True
Let z be 6/(-8)*2 + 5/10. Let g be ((-608)/38)/(z*1/5). Suppose 17*s = 19*s - g. Is 14 a factor of s?
False
Let x(l) = 22 + 79*l**2 + 34*l - 76*l**2 + 19*l. Is x(-23) a multiple of 39?
True
Let x be (((-396)/(-30))/2)/((-5)/(-50)). Suppose -64*c = -x*c + 268. Is c a multiple of 13?
False
Suppose 0 = -3*q - 0*n + n + 131, -q + 2*n = -42. Let p = 508 + -354. Suppose p = 6*c - q. Is 29 a factor of c?
False
Let b be (12 - -5) + (-3 + 4)*-4. Is (-2)/(-13) + (8813/b)/7 a multiple of 19?
False
Let y be -4 + (46950/(-24) - 1/(-4)). Let f = 2960 + y. Is f a multiple of 57?
False
Let g = 289 - 285. Suppose u - 5*t = 82, 1 + g = -t. Does 19 divide u?
True
Suppose -49 = -13*q + 6*q. Let l(i) = 2*i**2 - 13*i - 7. Let m be l(q). Suppose -4*c - o + 838 = 0, 2*c - 426 = -m*c - 4*o. Is c a multiple of 36?
False
Suppose 5*w - 4*w = 3*o + 8738, -4*o = 2*w - 17516. Suppose w = 17*k + 896. Does 14 divide k?
True
Let u(m) be the third derivative of 1/60*m**5 - 5/12*m**4 - 25/6*m**3 + 0 + 0*m + 25*m**2. Is u(14) a multiple of 5?
False
Let r = -328 - -13327. Is r a multiple of 67?
False
Let r(m) be the second derivative of -m**4/6 - 8*m**3/3 + 115*m**2 - 69*m. Is 10 a factor of r(0)?
True
Suppose s = a + 979, -3908 = -4*s - 0*s + 2*a. Is s a multiple of 15?
True
Suppose 5*p = -3*k + k + 742, -438 = -3*p - 3*k. Let r = p - 120. Is r a multiple of 15?
True
Let i(l) be the first derivative of -l**3/3 - 5*l**2/2 + 9*l + 2. Let v be i(-6). Suppose -2*r - 2*h = -68, -19 = -r + v*h + h. Does 13 divide r?
False
Let j = -441 + 871. Suppose -h = 21 + 257. Let v = j + h. Is v a multiple of 41?
False
Suppose -14*i + 55 = -3*i. Let z(l) = 4*l**3 + 4*l**2 - 8*l - 12. Is z(i) a multiple of 31?
False
Let b(s) = -s**2 - 12*s + 10. Let z be b(-12). Let h be (-31)/(-1)*(9 - z). Is 1/(-5) + h/(-5) a multiple of 3?
True
Suppose 44 = -7*b + 65. Suppose 4*t + b*p - 764 = 13, 3*t = -3*p + 585. Does 32 divide t?
True
Let p = 25 + -28. Is (-85 - -38)*p*(1 + 1) a multiple of 17?
False
Let f = 988 + -310. Let n = f + -266. Is 10 a factor of n?
False
Does 4 divide (3 - -1185 - 10)/(1/4)?
True
Suppose -42*x = -33*x + 11016. Is 103 a factor of (-288)/1*x/288?
False
Suppose -d - 11*d - 72 = 0. Let c be (-16)/d*81/54. Is 9 a factor of 1*c*(-30)/(-18)*6?
False
Let f be ((-1284)/(-5))/((-12)/80). Let g = -1124 - f. Is 28 a factor of g?
True
Suppose 0*j = j + 4, 0 = -3*s - 4*j + 11. Let u(x) = -x**2 - x - 9. Let w be u(s). Let i = w + 151. Is i a multiple of 11?
False
Let j(h) = -h**2 + 6*h + 1. Let f be j(0). Let u be 60/(-12)*(-1 - (1 - f)). Suppose -68 = -2*a - m, a + 2*m - 33 = -u. Is a a multiple of 6?
True
Does 44 divide ((-1344)/40 - 5)*-415?
False
Let a = -1619 - -2382. Suppose 0 = -q - 4*v - 469, 3*q + v = -a - 655. Is 22 a factor of (q/22)/(1/(-6))?
False
Is 220/33*4524/10 a multiple of 13?
True
Let d(x) be the second derivative of x**4/12 - x**3 + 21*x**2/2 - x. Let t be d(9). Let w = t + -36. Is 4 a factor of w?
True
Suppose -8*c + 18 = 2. Suppose -c*n - 2*f = -8, 3*f = -2*n - f + 6. Suppose 2*w - 2*y - 48 = 90, y = n*w - 349. Is w a multiple of 10?
True
Suppose 196*b + 174 = 202*b. Suppose -31*g + 476 = -b*g. Is g a multiple of 18?
False
Suppose -c + 4087 = 4*l, -3*l + 3*c - 6*c + 3081 = 0. Does 204 divide l?
True
Let y = 274 - -8397. Does 23 divide y?
True
Suppose v = 2*j - 478, 0 = 3*v - 4*j + 1890 - 452. Let y = v - -838. Does 48 divide y?
False
Suppose 27*r - 28*r = -z - 2589, 2*r = -3*z + 5203. Is r a multiple of 4?
False
Let o = -79 - -81. Suppose -o*k = -3*p + 64 - 5, -2*k = -5*p + 93. Suppose 16*s - p*s = -207. Is 16 a factor of s?
False
Let c = -5179 - -7831. Is c a multiple of 12?
True
Let t be (-45)/(-15) + 698*1. Suppose -279 - t = -5*y. Is y a multiple of 14?
True
Suppose -3*a + 1 = -b, 4*a - 4 = 4*b - a. Let c(f) = 107*f**2 - 4*f - 6. Does 25 divide c(b)?
False
Let f(z) = -z**3 + 8*z**2 + 18*z - 31. Let p = 99 + -94. Is 16 a factor of f(p)?
False
Suppose 4*y + 5*y - 7968 = -3648. Is 18 a factor of y?
False
Suppose 5 = -2*i - 3*f, -7*i = -5*i + 4*f + 10. Let d be (i/(-15))/((-1)/(-3))*-5. Suppose -15 = -d*n + 60. Is n a multiple of 15?
True
Suppose 0*s + 34390 = 3*r + 5*s, 0 = r - 3*s - 11496. Does 45 divide r?
True
Let o = -251 + 273. Suppose -5*x - o = -582. Does 14 divide x?
True
Suppose -6*k + 14 - 2 = 0. Suppose 5*s - 1415 = k*c, -c = 3*c. Does 21 divide s?
False
Suppose 3230 + 402 = -2*m. Let h = m - -2824. Is h a multiple of 72?
True
Let d = -4567 - -6035. Is d a multiple of 21?
False
Is 57/(-14)*-4*((-60)/(-4) + 664) a multiple of 54?
False
Suppose 0 = 3*o - 3*a - 38871, -3*o + 2*a + 27956 = -10908. Is o a multiple of 7?
True
Let y(j) be the second derivative of j**4/2 - 3*j**3/2 + 15*j**2/2 - 6