 f(47)?
False
Let c(x) = 361*x**2 + 146*x - 297. Is 8 a factor of c(2)?
False
Let x(d) = 2341*d**2 - d - 1. Let g be x(1). Suppose -7*k + 286 = -g. Is 24 a factor of k?
False
Suppose 15*a = -10000 - 1670. Let f = a - -1216. Is 17 a factor of f?
False
Let n(u) = 53*u - 59. Let x be n(-13). Let j = x + 842. Does 5 divide j?
False
Does 8 divide (-24)/27 + (-287871)/(-27)?
False
Let c(y) = 617*y - 865. Does 61 divide c(7)?
False
Is 16 a factor of -8 + 11 + 31496 - 2/((-2)/5)?
True
Suppose -4*x = -233 + 125. Let r = x + 28. Is 17 a factor of r?
False
Let z = 134 + -74. Let p(k) = -16*k + 678. Let r be p(44). Let m = z + r. Is m a multiple of 17?
True
Let q(w) be the first derivative of 53*w**4/4 - 7*w**3/3 + 5*w**2 - 4*w - 48. Is 34 a factor of q(3)?
True
Suppose -4*y - 5*l + 32 = 0, -4*l - 7 = y + l. Suppose 379 = -y*g + 1289. Is 35 a factor of g?
True
Let a = 291 - -311. Suppose 20*z - 401 = 18*z + l, 2*l + a = 3*z. Is 44 a factor of z?
False
Suppose 4*d + 44410 = 5*s - 18365, -2*d + 12569 = s. Is 104 a factor of s?
False
Suppose -6*o + 8*o + 27 = w, -4*o = -4*w + 112. Suppose s = 41 + w. Is 10 a factor of s?
True
Is (-85900)/(-14) - -2 - (2 - 352/154) a multiple of 11?
True
Let g be (-1)/6 + 880/96 - 2. Let i(d) = 15*d**2 - 11*d - 1. Does 46 divide i(g)?
False
Suppose -43*y - 623 = -44*y - 5*t, 0 = 3*y - 2*t - 1835. Does 5 divide y?
False
Suppose -3*u + 3678 = -3*t, -4*u = -2*u + 4*t - 2452. Suppose 8*f - 1814 = u. Is f a multiple of 10?
True
Let v(z) = -2*z**3 - z + 1. Let j be v(-2). Suppose -9*m = j*m - 29540. Is m a multiple of 85?
False
Let k(u) = 21*u + 201. Suppose -8*p - 2*r = -11*p - 19, -4*r = -4*p - 20. Does 6 divide k(p)?
True
Suppose -12*a + 31*a - 19822 - 38090 = 0. Is a a multiple of 12?
True
Suppose r = 5 - 3. Does 14 divide r + (-6)/4 + (-531)/(-2)?
True
Let m(a) = 14*a**2 - 44*a - 813. Is m(-18) a multiple of 62?
False
Suppose -1325419 = -149*d + 262772. Is 179 a factor of d?
False
Let g = 215 + -206. Suppose 819 = 3*l + g. Is l a multiple of 15?
True
Let v = -202 - -199. Does 19 divide 12502/188*v*(-4)/7?
True
Let t = 31 + -29. Suppose 0 = -2*k - 10, -t*j = -2*k + k - 827. Let m = -235 + j. Does 44 divide m?
True
Let k(p) = -p**2 + 18*p + 45. Let w be k(18). Suppose 2*g + 3*d = -g + w, 0 = g + 5*d - 15. Does 2 divide g?
False
Let t = 19 - 17. Let y be t/4*(16 - 10). Suppose 0 = y*w - 3*u - 129, -w + 0*w = 5*u - 37. Does 21 divide w?
True
Let d(a) = -115*a - 1. Let u be d(-4). Suppose -4*l - u = -5*l. Suppose 4*f = 7*f - l. Is f a multiple of 13?
False
Let t be ((-28)/(-63)*-3)/(8/(-18)). Suppose t*i - 2*m = -392, -731 = 4*i - 4*m - 203. Let n = 180 + i. Is n a multiple of 19?
False
Suppose -3*s + 12106 + 11113 = u, 25 = 5*u. Is 106 a factor of s?
True
Let f = 7076 + -1711. Suppose -16*k = -f - 6411. Does 42 divide k?
False
Let a(v) = 50*v**3 - 10*v**2 + 60*v - 349. Is 11 a factor of a(5)?
True
Suppose 5*y - 46 = -6. Suppose y = -2*w, 2*u + 0*w = 3*w + 862. Is u a multiple of 7?
False
Suppose 67*i - 339560 - 82360 = 7*i. Does 6 divide i?
True
Suppose 0 = -2*g - 3*g + 5*b + 1880, 4*g - 2*b - 1498 = 0. Let l = g + -265. Is 18 a factor of l?
True
Suppose -2*m - 55 = 5*o, -2*o + 6*o = -m - 35. Let d(q) be the first derivative of -3*q**2/2 + q - 1. Is 21 a factor of d(m)?
False
Let h be 670/(-5)*(1/(-2) + 0). Let m = -96 + h. Let s = 104 + m. Does 25 divide s?
True
Suppose 4*k = 4*w - 13784, -13790 = 42*w - 46*w + 5*k. Is 10 a factor of w?
True
Let q = -2078 + 35598. Is q a multiple of 8?
True
Suppose t = -4*b + 119265, 4*t - 82179 - 7286 = -3*b. Is b a multiple of 89?
True
Is (-21)/(-28) + (-2274291)/(-108) a multiple of 18?
False
Let h = -3406 + 3616. Does 7 divide h?
True
Suppose -2*z + 19623 = z + 3*n, 4*n = -5*z + 32704. Is 15 a factor of z?
True
Let j = 174 - 173. Let l(p) = -1 + 48*p - 5 + 5. Does 17 divide l(j)?
False
Let u(v) = 338*v - 8062. Does 150 divide u(60)?
False
Let r = -208 + 312. Let c = 31 + r. Is c a multiple of 15?
True
Let p(s) = -s**3 - 23*s**2 - 20*s + 9. Let n be p(-22). Suppose j + 3*j = 400. Let o = n + j. Is o a multiple of 13?
True
Let v(m) = 2*m**2 + 51*m + 356. Does 3 divide v(-44)?
False
Let d(s) = -20*s**3 - 4*s**2 + 2*s + 1. Is 69 a factor of d(-5)?
False
Suppose 3*i + 3 - 3 = 0. Suppose i = 52*h + 25460 - 73924. Is h a multiple of 18?
False
Suppose 5 = -3*s + 2, -4*s = -5*y - 2836. Let i = -338 - y. Does 23 divide i?
True
Is 5*(16/40 + 5830/25) a multiple of 3?
False
Suppose 237*c - 389538 = 36*c. Is c a multiple of 21?
False
Let y = 235 - 267. Is 48 a factor of (-4 + y/(-5))/((-6)/(-2160))?
True
Let s(q) = -q**3 - 10*q**2 - 8*q + 25. Let t be s(-9). Let v(a) = -a**3 + 18*a**2 + 10*a - 7. Is 19 a factor of v(t)?
True
Suppose 2*z = -45*z + 376. Let j = -13 + 24. Does 16 divide ((-66)/z)/(j/(-44))?
False
Suppose -245 - 277 = -p. Suppose 3*h + 4*o - p = o, -2*o - 10 = 0. Is 38 a factor of h?
False
Let j(t) = 0*t - 3*t + 7 - 14 - 4. Is j(-10) a multiple of 2?
False
Let y(g) = g**2 - 212*g + 8181. Is y(0) a multiple of 101?
True
Let q(v) = -5*v + 115*v**2 - 2*v**3 - 115*v**2 - 4. Let f(j) = j**2 - 12*j + 23. Let d be f(9). Is q(d) a multiple of 29?
False
Let t be 124 - (-1 - -4 - 4). Suppose 11*m + t = 16*m. Let q = m + -20. Is 4 a factor of q?
False
Let q = 3020 - -10032. Is 13 a factor of q?
True
Suppose -412*u - 343140 = -454*u. Is u a multiple of 43?
True
Let d(r) = -r**2. Let b(k) = -334*k**2 - 3*k - 1. Let g(q) = -b(q) - 4*d(q). Does 42 divide g(-1)?
True
Suppose 13*x - 936 = 9*x. Let g = x - 91. Is 13 a factor of g?
True
Suppose -13 = -8*x + 83. Suppose 0 = x*v - 15*v + 6, 3*v = 4*o - 278. Is 4 a factor of o?
False
Let z be -25*3/((-15)/(-35)). Let j = 355 + z. Is j a multiple of 15?
True
Let w(v) = 16*v**2 + 9*v**2 - 28*v**2 - 2*v**3. Let t be w(3). Let m = -58 - t. Does 6 divide m?
False
Let i(v) = 16*v - 5. Let p(s) = 50*s - 15. Let w(y) = -17*i(y) + 6*p(y). Is 7 a factor of w(2)?
False
Let m(f) = f**3 + 21*f**2 + 57*f + 2. Let n be (-36)/48 + 53/(-4). Does 18 divide m(n)?
True
Let t(p) = 4*p - 5. Let r be t(2). Suppose 12 = -r*d + 102. Suppose 2*q - 2*j = 272, -3*j - d + 162 = q. Is 10 a factor of q?
False
Let u be -3*72/(-135)*-5. Is 6/u - (-52280)/32 a multiple of 39?
False
Let q(p) = -23*p + 48. Let r be q(2). Suppose -c - 4*c = 3*n - 278, 5*n = -r*c + 457. Is n a multiple of 7?
True
Let g = 227 - 225. Is (10 - g)*((-8 - -54) + 8) a multiple of 27?
True
Does 191 divide 4*5/40*51188?
True
Let d(w) = -w**3 + 15*w**2 + 4*w - 2. Let s be d(15). Let m = s - -45. Suppose -2*n - 4*j = -0*j - 200, -n + j = -m. Is 34 a factor of n?
True
Let b be 5/2 + 819/(-26). Let j = -25 - b. Suppose h = 2 + j. Does 2 divide h?
True
Let v(u) = -408*u**2 + 3*u + 2. Let i be v(2). Let c = 2282 + i. Does 16 divide c?
False
Let u be 1 - (-1 - 1 - (-11 - -11)). Is 42 a factor of (-3)/(9/2)*u*-137?
False
Let u(b) = 2*b - 7. Let j be u(-1). Let p(t) = -48*t + 86. Is p(j) a multiple of 20?
False
Let v(i) = 16*i - 24. Let c = -205 - -229. Is 11 a factor of v(c)?
False
Does 178 divide (-121209)/(-22) + 2*(-28)/16?
False
Let u(f) be the third derivative of -f**6/120 + f**5/6 + 15*f**4/4 - f**3 - 5*f**2 + 23. Is u(-6) a multiple of 6?
True
Let g(x) = -4*x + 70. Let v be g(-42). Suppose -17*t + 799 - v = 0. Does 8 divide t?
False
Let z = 3258 + 932. Suppose 52*n + z = 62*n. Is n a multiple of 18?
False
Is 354 a factor of (-72)/(-360) - (-3 + 146444/(-5))?
False
Let f = -24 - -15. Let i be 3/f + 344/6. Does 7 divide -2 + (-6)/(-4) + i/2?
True
Let s be (((-3)/3*3)/(-1))/1. Let v(l) = l**2 + 6*l - 7. Let p be v(s). Suppose 5*g - 1265 - p = 0. Does 28 divide g?
False
Let s be (-3 - 754)*6*(-5)/(-15). Does 14 divide s/(-9) + (-8)/36?
True
Suppose -5*p + 14 = -96. Suppose 2 - p = -4*f. Suppose f*j - 287 = -3*q, 0*j + 3*j + 6 = 0. Does 33 divide q?
True
Suppose 4*q + 164 = 188. Suppose -5*n + 24 + q = 0. Is 6 a factor of n?
True
Let n(a) = -5*a**3 + 2*a**2 + 30*a + 8. Let o(x) = -4*x**3 + 2*x**2 + 29*x + 10. Let s(g) = 3*n(g) - 4*o(g). Is 5 a factor of s(7)?
False
Suppose -18*z = -26*z + 4264. Is z a multiple of 4?
False
Let b(q) = -67*q - 6. Suppose -2*c = 3*t - 4*t - 10, 3*t + 2*c = -14. Is 18 a factor of b(t)?
True
Suppose 3*k = 1236 - 270. Let z = k - 209. Is 21 a factor of z?
False
Let d be 40/3*(-32148)/(-285). Suppose 