25 divide n?
False
Let p be 12/(-7)*((-2)/4 - 3). Suppose 0*i + i + c + p = 0, -5*i - 3*c - 30 = 0. Is 5 a factor of 3*((-134)/i + 1)?
True
Let j(u) = -8*u - 4. Suppose -105 = -5*t + 175. Suppose -6*h - h - t = 0. Is 12 a factor of j(h)?
True
Let v(j) = -2*j**2 - 16*j - 10. Let s be v(-7). Suppose m + s*k = 797, 1300 - 4467 = -4*m + 5*k. Suppose 10*x - m = -3*x. Does 20 divide x?
False
Suppose 4*j - 2*j - 32 = -5*p, -j + 10 = p. Suppose -14*i + j*i + 72 = 0. Suppose -q + i = -4. Is 4 a factor of q?
False
Suppose 31*u - 32*u + 922 = 0. Let y = u + -426. Does 45 divide y?
False
Let b(u) = 23*u**2 + 10*u + 5 - 22*u**2 + 19. Let x be b(-7). Suppose -36 = -4*q + x*q. Is q a multiple of 18?
True
Let p = 20 - 14. Suppose 4*n = p*n + 8. Does 24 divide (n/(-10))/((-2)/(-360))?
True
Suppose 5*q - 180545 = -55*c + 50*c, 0 = -11*c + q + 397211. Is 10 a factor of c?
True
Let c be -2*(-2)/((-20)/105). Let a be (-10)/6*(4 + (c - 4)). Let v = a + 4. Is 39 a factor of v?
True
Let h(s) = 120*s**2 + 25*s + 72. Is 4 a factor of h(-4)?
True
Suppose 2*b = -3*b + 155. Let k(o) = -b*o**2 + 5 + 26*o**2 - 6 + o**3 + 2*o + 9. Does 15 divide k(6)?
False
Does 4 divide (-132)/8*((-6600)/(-9))/(-10)?
False
Suppose 32*g = 2*d + 37*g - 9963, -5*d = 2*g - 24939. Is d a multiple of 13?
False
Let l = 61886 + 776. Does 97 divide l?
True
Let z = 24 + 4. Let a = -24 + z. Suppose 2*m + 5*h = 164, a*m - 280 = -h + 3*h. Does 12 divide m?
True
Is (-4)/(-3)*(2/(-11) + 26915/110) a multiple of 163?
True
Does 13 divide (12110/(-42))/((-40)/96)?
False
Suppose 21*c = 18*c + 5*r + 14498, 3*c - 2*r - 14504 = 0. Is c a multiple of 31?
True
Let k be (-2696)/(-72) + 8/(-18). Suppose 25740 = k*h + 2*h. Is h a multiple of 6?
True
Let y = 1316 - 940. Is (6 + 1)/7 + y a multiple of 17?
False
Suppose 108*s - 8986 = 105*s + 5*b, 4*b - 8968 = -3*s. Does 17 divide s?
True
Suppose -1023 = -3*u + q - 6*q, q = 2*u - 669. Suppose -15 + 3 = -4*c. Suppose c*w + 2*l = u, 2*w = -4*l + 2*l + 226. Does 22 divide w?
True
Let k(d) = -d**3 - 6*d**2 + 11*d + 8. Let j be k(-8). Suppose -43 = -5*r - j. Let c(w) = 25*w**2 - 2*w - 1. Is c(r) a multiple of 3?
False
Suppose 5*u = -5*t + 44925, 4*t + 77*u - 74*u = 35940. Is t a multiple of 116?
False
Let s be 102069/18 + 2/(-4). Does 42 divide (s/(-75))/(18/(-120))?
True
Let r = 136 - 133. Is 24 a factor of (-14)/(-56) - r/(-12)*2399?
True
Suppose 2*u = 4*u - 2*x + 448, -x + 449 = -2*u. Let g = 693 + u. Is g a multiple of 8?
False
Let z(i) = 821*i - 282. Does 142 divide z(3)?
False
Suppose 5*c + 2*d = 3*c + 12056, -4*c + 2*d + 24076 = 0. Does 22 divide c?
False
Suppose -3*f + 32800 = -r, 2*f - 21864 = -59*r + 61*r. Does 15 divide f?
False
Let f(c) = 2*c**3 + 12*c**2 - 4*c + 12. Let g be f(-9). Suppose 0 = a + 5*s + 236, 0*s - 450 = 2*a - s. Let i = a - g. Is 30 a factor of i?
False
Let p(j) = 23*j**2 - 19*j - 47. Let a be p(-3). Suppose 0 = 5*n + s - 414, -3*n + 41 = 3*s - a. Is n a multiple of 2?
True
Let w = -19446 - -61494. Does 64 divide w?
True
Let y(c) = 4*c**3 + 7*c**2 - 7*c + 81. Is 21 a factor of y(6)?
True
Is 12 a factor of 5067 + (-13)/((-182)/126)?
True
Let m(l) = 41*l**2 - 139*l + 3815. Does 91 divide m(23)?
False
Suppose 1129 = -43*j + 97. Is 6 - (120/j - (-246)/(-2)) a multiple of 21?
False
Let b(f) = f**3 - 20*f**2 - 9*f - 260. Does 11 divide b(41)?
True
Suppose a + 24 = 7*a. Let b be (-1 + a)/((-6)/20). Is 7 a factor of b*((-196)/(-8))/(-7)?
True
Suppose -4*w + 5547 = n - 2*w, w = 3. Let m be (-4)/18 + n*1/27. Let k = m - 97. Does 12 divide k?
True
Let o(u) = 30*u**2 + u + 1. Suppose -5*j = -c - 22, -4*j - j - 20 = 5*c. Let q = c + 6. Is o(q) a multiple of 9?
False
Let c = -3466 - -5285. Is c a multiple of 17?
True
Suppose 0 = -v - 12*r - r + 27861, -r + 55922 = 2*v. Does 286 divide v?
False
Let v be ((-33)/6 + 4)*-2. Suppose 423 = v*d + 3*x - 432, -4*d = 3*x - 1135. Is 28 a factor of d?
True
Suppose 0 = -2*q - 12 + 24. Let m(v) be the third derivative of 3*v**4/8 + 4*v**3/3 - 3*v**2. Is m(q) a multiple of 11?
False
Let m(t) = 88*t - 1. Let f be m(0). Let g(u) be the first derivative of -249*u**2/2 + 4*u + 1. Does 23 divide g(f)?
True
Suppose 20 = -334*d + 330*d, 4*n - 4*d - 46988 = 0. Does 55 divide n?
False
Let o be (3 - 0)/(3/10). Does 12 divide 2*(2 - (-305)/o)?
False
Let s(z) = -289*z + 681. Is s(-29) a multiple of 46?
True
Let d be (-3)/4 - (-6)/8. Let a be ((-15)/(-5) + -4)/(d - 1). Is 14 a factor of a/((-5)/(0 + -145))?
False
Suppose -13*j + 14760 + 27945 = 0. Does 73 divide j?
True
Let o(q) = -q**3 - q - 6. Let b be o(0). Let i(y) = -44*y - 310. Let n be i(-7). Does 10 divide (-48)/b*(-30)/n?
True
Let i(k) = 26*k**2 - 36*k + 387. Does 34 divide i(27)?
False
Suppose -3*k = 4*l - 2008, -5*l + 3*l + 2012 = 3*k. Does 7 divide k?
True
Let h(n) = n**3 - 3*n**2 - 10*n. Let k(g) = -2*g + 9. Let a be k(2). Let m(q) = q**3 - q**2 + q + 1. Let y(i) = a*m(i) + h(i). Is 40 a factor of y(3)?
True
Let j(m) = m**2 + 11*m + 2. Suppose -4*l + 11 = -2*a - 91, l + 255 = -5*a. Let p = a - -54. Is 5 a factor of j(p)?
False
Suppose g + 6*g = 0. Suppose -q + 12 = -v - 2, -q + 3*v = -22. Suppose g = j + q*j - 187. Is j a multiple of 17?
True
Suppose 12 = -20*q + 23*q. Suppose 2*s - q*s = 22. Let f = s + 87. Is 19 a factor of f?
True
Let r be -2 + 111/3 + (-16)/(-4). Suppose 0 = -3*h - r + 45. Suppose -4*v + 116 = c + v, h*c = -4*v + 202. Is 19 a factor of c?
False
Suppose 839520 = -975*r + 1011*r. Is r a multiple of 88?
True
Let s(p) = 4*p**2 + 116*p + 40. Let d(i) = -i**2 - 29*i - 10. Let j(m) = -9*d(m) - 2*s(m). Does 16 divide j(9)?
True
Let x = -526 + 537. Suppose -x*o + 1943 = -1104. Is 5 a factor of o?
False
Suppose 3*b = 2*o + 4452, -723 - 6695 = -5*b + 3*o. Is b a multiple of 14?
False
Let l = 13004 - 4911. Is 76 a factor of l?
False
Suppose -119*v = -407*v + 13961088. Is v a multiple of 101?
False
Let v(q) = -q**2 + 9*q - 16. Let c(k) = 3*k**2 - k + 1. Let y be c(1). Let z be v(y). Suppose z*b = 193 - 25. Is b a multiple of 7?
True
Let f = 5 - 0. Suppose 4*c = f*c + 30. Is 5 a factor of c/(-195) + 258/13?
True
Does 183 divide ((-305)/(-4))/(44/2640)?
True
Suppose 97*t = 99*t - 452. Suppose -2*d - c + t + 385 = 0, -d = 4*c - 323. Is d a multiple of 17?
False
Let m(l) be the second derivative of l**5/20 + 5*l**4/6 - 13*l**3/6 - 3*l**2 - 18*l + 1. Let w be m(-9). Suppose -w + 969 = 3*i. Is i a multiple of 36?
False
Let i be 5/(-20)*-10 + (-2)/(-4). Let x be 0*(12/(-9) + 1). Suppose x = -2*a - t + 29, -i*a = -2*a - 3*t - 4. Is a even?
False
Suppose 107*b = 110*b - 3270. Suppose 5*x - 3*p - b = 0, -p - 615 - 485 = -5*x. Is 13 a factor of x?
True
Suppose 0 = -c + 6 - 4. Let p be -4 + 0 + c - 11. Is 7 a factor of (4 + p)*7*-1?
True
Let k = 426 + 278. Does 32 divide k?
True
Is 16 a factor of ((-1392)/(-60))/(6/360)?
True
Let j = 760 - 753. Let f(y) = 2*y**3 + y**2 - 12*y + 12. Is 13 a factor of f(j)?
True
Let l(h) be the first derivative of -h**4/4 - 4*h**3/3 + 3*h**2/2 - 14*h - 19. Is l(-6) a multiple of 37?
False
Let l(m) = -3108*m + 12. Does 198 divide l(-4)?
False
Let y(p) = 2*p**2 - 52*p + 13. Let v be y(26). Suppose -8706 = -v*b - 2258. Is 62 a factor of b?
True
Let b(v) = v**3 + 13*v**2 + 12*v + 3. Let w be b(-12). Suppose -x + 131 = 4*x + 4*z, 3 = -w*z. Is x a multiple of 9?
True
Let o(k) = 15*k**3 - 2*k**2 + 13*k - 16. Does 61 divide o(3)?
False
Let a = -1550 - -1803. Does 18 divide a?
False
Let j = -7013 - -15525. Does 28 divide j?
True
Let n be (411/4)/((-6)/(-24)). Let w = 417 - n. Does 3 divide w?
True
Suppose 27*w = -12*w + 32916. Let r = w - -198. Is r a multiple of 54?
False
Suppose 23*i + 8*i = 93. Does 47 divide 1976/38 + 1*i?
False
Let h(i) = 6*i**2 + 2*i - 11. Let r(u) = 7*u**2 + 2*u - 11. Let p be 5/(10/(-4)) - 2. Let l(d) = p*r(d) + 5*h(d). Is l(-5) a multiple of 12?
False
Suppose r + 7 = 2*r. Let d be ((-52)/(-91))/((-2)/r). Let f = 17 - d. Does 19 divide f?
True
Suppose -108*t - 16517 = -822156 + 135067. Is t a multiple of 43?
False
Suppose -2119222 = -111*p + 2687966. Is p a multiple of 22?
False
Does 41 divide 2*(-12)/4 + (-205605)/(-15)?
False
Let q(f) = 3 + 17*f**2 + 6 + 9 - 15*f + 9*f. Is q(6) a multiple of 18?
True
Is 51 a factor of 9 + ((-104750)/(-5) + -4 - -6)?
True
Let q be 2/(-6) - (-38360)/105. Suppose 1045 = 3*h - 5*k, h - 9*k + 4*