0 - 10524. Is 55 a factor of l?
False
Suppose -75*u = -150*u + 1324950. Is u a multiple of 11?
True
Suppose -40 = -5*k + 5*g, -2*k - g + 6 + 1 = 0. Let q(b) = -3 - 9 + k - b. Is q(-15) a multiple of 8?
True
Let t = -684 - -5240. Is t a multiple of 17?
True
Suppose -91*n - 4*w - 96460 = -95*n, -25 = -5*w. Is 67 a factor of n?
True
Suppose -12*x = -7*x + 455. Let k = -94 - x. Is (-15)/k - (-436)/4 a multiple of 6?
True
Suppose 2*t = -2, -7*a + 32289 = t - 24102. Does 53 divide a?
True
Let s = 82 - 80. Suppose s*y - 2 = -4*f, 2 + 23 = 5*f - 2*y. Suppose -48 - 21 = -f*r. Does 23 divide r?
True
Suppose -2390*h + 2259558 = -2153*h. Does 227 divide h?
True
Let d = 37 - 16. Let c(a) = -37*a - 134. Let t be c(-5). Let n = t + d. Is 18 a factor of n?
True
Suppose 37*z - 4683 - 132691 = 33344. Does 47 divide z?
False
Let m(l) = -2*l**3 - 3*l**2 - 3*l + 7. Let w(v) = v**3 + v**2 + v - 1. Let q(g) = m(g) + 3*w(g). Let k be q(0). Suppose 64 = k*a - 2*a. Is 8 a factor of a?
True
Let v(r) = -r**2 - 24*r + 2944. Is v(40) a multiple of 2?
True
Suppose -6*x - 258568 = -10*x + 2*a, 258588 = 4*x + 3*a. Is x a multiple of 55?
False
Suppose 5*b - 1033 - 1412 = -5*h, -2*h + 2430 = 5*b. Is b a multiple of 44?
True
Let n be (2 - 3)/((-3)/87). Suppose 25 = -6*y - n. Is -4 + (-690)/(-9) + 6/y a multiple of 8?
True
Let c(d) = -371*d + 5. Let s be c(-9). Suppose 23*f = 31*f - s. Is f a multiple of 57?
False
Let q = 32538 - 30939. Is 3 a factor of q?
True
Is 25 a factor of ((-49472)/36 + -12)/((-4)/36*2)?
False
Suppose -2*k + 4*c = -10, 5*k + 44*c - 32 = 47*c. Suppose -k*q = 8*q - 16500. Does 20 divide q?
True
Let h(z) = 262*z + 1780. Is 18 a factor of h(65)?
True
Let h = -7 - -19. Let d = -15 + h. Let w(q) = -42*q - 19. Is w(d) a multiple of 9?
False
Let r(a) = 2*a**2 - 22*a - 9. Suppose -6*y - 4*y + 290 = 0. Let h = y + -17. Is r(h) a multiple of 5?
True
Suppose 3*u - 2262 = -d + 2011, -d + 5*u + 4233 = 0. Is 29 a factor of d?
False
Suppose -k + 0*i - i = -50, 168 = 4*k - 4*i. Let c = k + -47. Is 15 a factor of c/((-7)/((-3948)/1688) - 3)?
False
Let g(i) = -7821*i**3 + i**2 + 2*i + 1. Is 11 a factor of g(-1)?
True
Suppose 0 = -q + 5*o + 8108 + 14788, -2*o = -4*q + 91620. Is q a multiple of 26?
True
Suppose -7*k + 2*k + 3*b = -3575, -5*b = 25. Is k a multiple of 11?
False
Let g(d) = -28*d**3 + 16*d**2 + 113*d - 6. Is 376 a factor of g(-14)?
False
Suppose -3228 = -0*l - 3*l. Suppose 5*s = 3*p + 825 + 961, 3*s = 4*p + l. Is -3*(3 - s/12) a multiple of 20?
True
Let i(n) = n**3 - 2*n**2 - 40*n - 6. Let j be i(6). Does 4 divide j/((-20)/(-16) + -2)?
True
Let v be (8/10)/(84/10 - 8). Suppose 4*z - 584 = -5*t + 192, -5*z - 284 = -v*t. Is 38 a factor of t?
True
Let c(i) = 2*i. Let f be c(1). Suppose 3 + 1 = f*u. Does 4 divide -16*(0 + -4)/u?
True
Suppose -5*w + 46 = -y - 14, 0 = 4*w - y - 48. Suppose -2*b - 3580 = -w*b. Is b a multiple of 9?
False
Let c = 54 + -42. Let l be (6 - (c + -8)) + 0 + 270. Let a = l + -187. Does 17 divide a?
True
Suppose -20 = -5*q - 5*p, -4*q = -5*q + 5*p - 20. Suppose 5*n + 2*f - 7*f - 625 = q, -501 = -4*n + 3*f. Is 6 a factor of n?
True
Let b(w) = 6525*w - 1037. Is 230 a factor of b(2)?
False
Suppose 20 = -4*j, 4*j + 8 = 5*g + 33. Let b = g + 8. Does 17 divide (-2 + -65 + -1)*b?
True
Let y be 5 + -4 + -44 - 5/1. Does 6 divide y/80 + 856/10?
False
Suppose -348*d + 3155320 = -53*d. Is d a multiple of 56?
True
Suppose 4*n - y - 4 + 3 = 0, 5*n + 5 = -5*y. Suppose n = 5*u - 4*u - 194. Does 13 divide u?
False
Suppose 0 = 5*t - 25, 4*v - 5*t - 84828 = -18277. Is 15 a factor of v?
False
Suppose 5*b - 238 - 142 = 0. Suppose -b = -r - 70. Suppose r*j - 4*j - 46 = 0. Is 2 a factor of j?
False
Suppose -689*v + 687*v = -472. Is 21 a factor of v?
False
Let b = 31 + -23. Let z be -2*75/b*(19 + -23). Let a = 94 - z. Does 3 divide a?
False
Suppose 3017 = 4*d - 5*r, d + 4*r - 299 - 429 = 0. Does 17 divide d?
True
Let q be (-8 - -5)/(-3)*(6 - -5). Suppose -q*l + 1633 + 1491 = 0. Does 4 divide l?
True
Suppose -12560 = -507*x + 503*x. Does 18 divide x?
False
Let o be (7 - 3) + -3 - -50. Let y = o + -51. Is (4 - (-45)/1) + y a multiple of 7?
True
Let t be (-92)/5 - -3 - (-2)/5. Does 20 divide 10524/48 + (t/(-4))/(-3)?
False
Let d be (0*6/(-30))/(-1). Suppose d = 10*u - 51 - 29. Is u a multiple of 4?
True
Let p = -986 + 1452. Let u = p + -290. Does 22 divide u?
True
Suppose 333840 = 20*i + 5060. Suppose i + 41696 = 55*k. Is k a multiple of 12?
False
Let a(r) = 1295*r + 2698. Does 14 divide a(10)?
False
Let d be -7*(-5)/((-35)/(-2)). Let t be (1/(-4))/(d + 175/(-84)). Suppose 46 = t*g - 5*p - 2, -42 = -3*g + 3*p. Is g a multiple of 3?
False
Suppose -2*y - 4*n - 2*n = -65570, 2*y + 4*n - 65580 = 0. Is y a multiple of 68?
False
Let i(v) = v**3 - 9*v**2 - 13*v - 15. Let a(c) be the first derivative of c**3/3 + c**2/2 - c - 15. Let r be a(-4). Does 28 divide i(r)?
True
Does 164 divide 19/(266/261752) - (40/(-28) - -2)?
True
Let k = 132 - 121. Let d be (-2121)/(-231) - 2/k. Does 2 divide (-2720)/(-90) + (-2)/d?
True
Let h = -1974 + 7317. Does 57 divide h?
False
Let c(x) = 6*x + 3. Let d be c(0). Suppose 2*z + d*z + 25 = 0, -4*i = -4*z - 452. Is 10 a factor of i?
False
Let v = 2009 - -3069. Does 53 divide v?
False
Suppose -21*v - 19*v - 747422 = -2208062. Is 53 a factor of v?
False
Let y(m) = -14 - 2*m - 3*m**2 + 12 - 2*m - 17*m**3. Let b be y(-2). Let u = b - 52. Is 26 a factor of u?
True
Let h(j) = 190*j**2 - 36*j - 140. Is h(-6) a multiple of 76?
True
Let x(a) = -18*a + 129. Let w be x(7). Let z(s) = 20*s**3 + s**2 - 9*s + 7. Is 17 a factor of z(w)?
False
Let o be (-6 - 1)*(6 + -3 - 2). Let u(x) = -x**3 - 6*x**2 + 8*x + 1. Let r be u(o). Does 38 divide 2/r + ((-21070)/(-21))/10?
False
Let a = 34 + -32. Suppose 0*y - 8 = 2*y, a*y = -4*h + 208. Let p = -43 + h. Is 10 a factor of p?
False
Let b(d) = d**2 - 12*d + 17. Let k be b(10). Let u = -3 - k. Suppose 3*i - l = 88, u*l = 3*l - 15. Is i a multiple of 7?
False
Suppose 2890 - 3843 = -12*v + 6955. Does 23 divide v?
False
Let c(z) = 158*z - 10554. Is c(115) a multiple of 16?
True
Let r(v) be the first derivative of -v**4/4 + 10*v**3 - 25*v**2 - 58*v - 250. Is r(28) a multiple of 18?
False
Let b(t) = -31 + t**2 - 13*t - 10*t**2 + 8*t**2 - 5*t. Let i be b(-13). Suppose i + 126 = 4*h. Is 12 a factor of h?
False
Let h = -7282 + 10082. Is 140 a factor of h?
True
Suppose 5*r - 15 = 3*t + 4, -3*t = 3*r + 3. Is (-1001)/t + (-7)/(-21) a multiple of 15?
False
Suppose 0 = 15*c - 915 - 90615. Is c a multiple of 31?
False
Suppose 2*o - 2240 = 4*c, -c - 185 = o - 1329. Does 21 divide o?
False
Let k(l) = 254*l**3 + 4*l**2 + 8*l - 44. Is 14 a factor of k(3)?
True
Let t(w) = -13*w - 6. Let j be t(-7). Let g = 44 - j. Let b = g - -61. Is b a multiple of 5?
True
Suppose -4*u + 2*v = -74974, 0 = 3*u - 3*v + 33088 - 89317. Is u a multiple of 132?
True
Let f be (2034/(-21))/((2 - 5)/(-21)). Let y = -338 - f. Is 34 a factor of y?
True
Let z be (-184 - 1)*(-1 + 0)/1. Let t = z + -113. Is 13 a factor of t?
False
Suppose 643 = 2*m - 869. Suppose -5*z = 2*f - m - 1237, 1024 = f - 3*z. Is f a multiple of 33?
False
Let d(v) be the third derivative of v**4/8 + 19*v**3/3 - 89*v**2. Is 7 a factor of d(4)?
False
Let f(g) = g**2 - 56*g - 17*g**2 + 54 + 19*g**2. Is f(21) a multiple of 7?
False
Let o = -133 + 67. Let b = 38 - o. Is b a multiple of 13?
True
Let i(v) = v**2 - 10*v - 11. Let t be i(11). Suppose -4*d - d - a + 34 = t, -d + 5*a + 12 = 0. Is 22 a factor of ((-84)/9)/d*-33?
True
Suppose 5*v + 6 = -24. Let s(t) = -13*t**2 + 2*t + 3. Let m(u) = 5*u**2 + u - 1. Let c(n) = 3*m(n) + s(n). Does 6 divide c(v)?
True
Let p = -58 + 60. Let t be -2 - -4 - p/(2/(-83)). Suppose -5*u - t = -r, 3*r + 0*u + 2*u - 289 = 0. Is 50 a factor of r?
False
Suppose -3*r + 142 = -5*w - 13, -w = 2*r - 99. Suppose 7*d - r = 6*d. Is 18 a factor of 40/d + 2102/10?
False
Let y(o) = -o**3 - 16*o**2 - 22*o + 20. Let m be y(-13). Let d = 30 - m. Does 7 divide d?
True
Let c = 5802 + -3243. Is 9 a factor of c?
False
Let h = 283 - 123. Suppose -h = -11*x + 7*x. Is 8 a factor of ((-408)/20)/(((-6)/x)/1)?
True
Suppose -2 = 6*v + 4. Let q(x) = -85*x**3 - 7*x - 7. Is 17 a factor of q(v)?
True
Let k(w) = -1446*w**3 + 5*w**2 + 8*w + 21. Is k(-2) a multiple of 21?
False
Suppose 1793 = 20*x + 49