76 = -4*i. Is 41 a factor of i?
False
Let k be ((-19)/(-4))/(110/440). Suppose k*h - 11220 = 2*h. Is h a multiple of 22?
True
Is 16 a factor of (15/6)/((-112)/(-243040))?
False
Suppose -2*z + 11 - 7 = 0. Suppose -p - 2*p - 168 = -i, p = z. Does 29 divide i?
True
Let j = -11308 - -12656. Is 16 a factor of j?
False
Suppose 0 = -166*m + 267*m - 1010505. Is m a multiple of 6?
False
Does 9 divide (1/(-4)*2)/((-244)/1177056)?
True
Suppose -6*u = -7*u + 8. Suppose 1255 = u*l - 313. Does 14 divide l?
True
Let r = 15 - 18. Let g be (-3)/9 + 14/r. Let m(v) = -2*v**3 - 5*v**2 + 3*v - 1. Is 42 a factor of m(g)?
False
Let d(m) = -16*m**3 - 2*m**2 + m - 2. Let u be d(-2). Suppose 4*c + u = 3*c. Let h = -50 - c. Is 11 a factor of h?
True
Let c(y) = -4*y. Let i be c(1). Let r be (-65)/26*i/5. Suppose 3*o - 14 = r*o + 5*j, o - 3*j - 10 = 0. Does 2 divide o?
True
Let y = -269 + 574. Let o = -223 + y. Does 35 divide o?
False
Suppose w - 2*r - 40 = -4*w, 5 = -r. Let t be 495/20 - w/8. Is 6 a factor of t/7*(14 + -7)?
True
Let s = 3990 - 389. Does 13 divide s?
True
Let a(u) = u - 10. Let i be a(15). Suppose 0 = -4*o - 0*o + i*g + 1423, g = -5*o + 1757. Suppose -4*l + o = 4*h, 0 = 3*l - 4*h + h - 240. Does 12 divide l?
True
Let c = 152 - 156. Does 16 divide c/10 - 17/((-680)/10896)?
True
Let m = -36 - -36. Let a be m + 2 + 0/(-3). Suppose 0 = 3*r + 5*z - 150, -a*r + 102 = 6*z - 2*z. Is r a multiple of 45?
True
Let t(j) = j**2 - 2*j + 15. Let r be t(11). Suppose -2*w - 4*w - r = 0. Let c = -10 - w. Does 9 divide c?
True
Does 55 divide 10/(-15) + (-5 - (6 + 18420/(-9)))?
True
Let q(k) = 2*k**3 + 17*k**2 - 5*k + 14. Let l be q(-8). Suppose -b + 0*b + l = 0. Is 59 a factor of b?
True
Suppose 12*w = -18 + 78. Let m(a) = 32*a**2 + 14*a - 46. Is 40 a factor of m(w)?
False
Let i = 4527 + -2543. Suppose -5*j = t - i, 4*j + 4*t = 770 + 814. Does 45 divide j?
False
Suppose 2448 + 205 = 7*o. Is o even?
False
Let u be 2/21*3 + (-1272)/42. Let q = u - 43. Let o = 157 + q. Does 12 divide o?
True
Suppose 95*g + 20 = 99*g. Let u(y) = -y**3 + 5*y**2 + y + 9. Is u(g) a multiple of 3?
False
Suppose -4*n = 0, 10*g - 9*n + 5*n = 8*g + 6608. Is g a multiple of 7?
True
Suppose 38*n = 5*x + 36*n - 16, 1 = -x - n. Does 4 divide (-1)/(-2) + 4326/28 + x?
False
Let z = -313 - -544. Let q = 152 - z. Let x = -27 - q. Is 8 a factor of x?
False
Let q be 58 - (-2 + 2)/(-2). Let h = q - 61. Is (3 + -4 + (h - -2))*-13 a multiple of 6?
False
Does 25 divide (252/(-24) + 8)*-690?
True
Suppose -108 = -11*a + 5*a. Suppose -a*d - 140 = -13*d. Let y = d - -45. Is 7 a factor of y?
False
Let l(j) = -26*j**3 - j**2 + 1. Let h be l(-1). Suppose -h = -6*x + 58. Is 9 a factor of (-567)/(-54)*(86/x + -1)?
True
Let a = -15 - -21. Suppose -2 = a*f - 14. Does 23 divide f/7 + 11250/70?
True
Suppose -2*d + 6012 + 2398 = 4*w, -5*w - 2*d + 10510 = 0. Let k = 3012 - w. Is 12 a factor of k?
True
Let o = 31795 + -18807. Is o a multiple of 68?
True
Suppose 5*h + 4*j + 22 = 4*h, -3*h = 5*j + 87. Is 40 a factor of (1 - 3) + (h - -196)?
True
Suppose -255*a + 267*a = -60. Let c(o) = 7*o**2 + 4*o + 41. Is c(a) a multiple of 7?
True
Suppose 2*d = -4*n - 2*d + 1196, 2*n + 5*d - 592 = 0. Suppose -1044 = -48*w + 8076. Let m = n - w. Is 22 a factor of m?
False
Let c = -849 - -1337. Suppose 2352 + c = 10*g. Is g a multiple of 17?
False
Suppose -2017 = -4*m + 4119. Let g be (-5)/(135/6) + m/18. Suppose 2*q - 97 = -g. Is 6 a factor of q?
True
Let p = -929 - -2432. Is p a multiple of 2?
False
Let p(h) = -352*h**3 + 174*h**2 + 518*h + 6. Is 136 a factor of p(-3)?
False
Suppose -6*x + 5346 = -17*x. Let m = 519 + x. Does 3 divide m?
True
Suppose -19724 = -4*z + 4*l, -25*z + 5*l + 14799 = -22*z. Is 32 a factor of z?
True
Suppose 111*z - 140998 = 10*z + 67*z. Is 33 a factor of z?
False
Let t(w) = 5*w**2 - w - 13. Let z(h) = h**2 - 1. Let l(v) = -2*t(v) + 14*z(v). Is l(3) a multiple of 18?
True
Let o = -59540 + 84437. Is 46 a factor of o?
False
Let u = -1 + 3. Let g(q) = -11*q**u + q**3 + 77 - 56 + 14*q - 5*q. Is g(11) a multiple of 24?
True
Let n(f) = -5 + f**3 + 394*f - 2*f**3 - 403*f + 7*f**2. Let o be n(5). Suppose o = -3*x - 3*x + 1056. Is x a multiple of 9?
False
Suppose 4*w + 10100 = 4*m, 12609 = 5*m - 21*w + 24*w. Is m a multiple of 32?
False
Let u(s) = -s**3 + 18*s**2 + 15*s - 39. Let j be u(18). Let n = j + -136. Is n even?
False
Let b(n) be the third derivative of 1/60*n**5 - 1/6*n**4 + 0*n + 0 + 1/60*n**6 + 1/3*n**3 + 20*n**2. Does 7 divide b(3)?
False
Let t = -464 - 411. Let d = t + 1250. Is 61 a factor of d?
False
Does 19 divide (-4 - (-5 - -5)) + 3879 + (0 - -1)?
True
Suppose -4*r = -2*l + 1 - 11, -l - 5 = -5*r. Suppose 4032 = 10*g + 2*g. Suppose -3*t + 147 + g = r. Does 9 divide t?
False
Let a = 108 + -79. Let h = a - 34. Is 4 a factor of (-173)/h + (-2)/(-5)?
False
Let i = 9743 + -9363. Does 3 divide i?
False
Suppose 135140 - 33765 + 137305 = 26*i. Is i a multiple of 18?
True
Let o(w) = 2*w**3 + 6*w**2 + 25*w - 176. Is 201 a factor of o(15)?
False
Let w(s) be the second derivative of 176*s**3/3 + 25*s**2 + 3*s + 1. Is 13 a factor of w(2)?
True
Let m = 394 - 385. Suppose 9*g = -m*g + 1944. Is g a multiple of 7?
False
Suppose 0 = -48*u - 152717 + 1465421. Is 53 a factor of u?
True
Let z be (93 - (2 - 1))/((-38)/(-551)). Suppose 2*s + 14*h = 13*h + 896, -3*s + h = -z. Is 18 a factor of s?
False
Let n(x) = 101*x + 1617. Is 68 a factor of n(-7)?
False
Suppose -38*t + 33*t = 35. Let m(f) = 21*f**2 + 7*f + 71. Is 46 a factor of m(t)?
False
Let i(c) = -4311*c - 105. Is 6 a factor of i(-1)?
True
Let a(f) be the first derivative of f**2/2 + 12*f + 711. Let y = -10 - -3. Is a(y) a multiple of 5?
True
Suppose -11843 = -5*d - 5*l + 2227, -4*d + 5*l + 11256 = 0. Is d a multiple of 21?
True
Suppose 7*x = 34488 + 2787. Is 30 a factor of x?
False
Let j(q) = q**2 - 4*q - 6. Let l be j(7). Suppose -2*n - n = 4*s + l, -3*s = -2*n + 7. Is 32 a factor of (381/4 - n) + 27/(-108)?
True
Let c = -6 - -6. Suppose c = -3*p, 30 = 3*g - 0*p + 2*p. Let h = g + 1. Is h even?
False
Suppose 2*l - 6*z = -3*z, -z = 3*l - 11. Suppose l*q - 12 - 554 = -4*k, -3*q - 274 = -2*k. Does 4 divide k?
True
Suppose 58*u + 3528 = 50*u. Let p = u - -1050. Is p a multiple of 35?
False
Suppose 38*f + 35*f = 1583954. Is 17 a factor of f?
False
Let g(o) = 459*o + 3620. Is 9 a factor of g(21)?
False
Let n(f) be the second derivative of -f**5/20 + 9*f**4/4 + f**3/2 - 13*f**2 - f - 2. Is 11 a factor of n(27)?
True
Suppose 0 = -11*p + 16*p. Suppose m = 4*b + 9, 3*m - 17 + 3 = -b. Is 9 a factor of (13 - p)*(b - -4)?
False
Let p = -476 - -338. Let q = -63 - p. Is q a multiple of 75?
True
Let r be ((-2667951)/18)/(-11) - (-4)/(-8). Suppose -14*n = 3926 - r. Is n a multiple of 22?
True
Suppose -15*x = -16*x - 15*z + 11805, -3*x + 2*z = -35744. Does 30 divide x?
True
Suppose -2*b + 5*d - 4*d = -16, 5*b - 25 = -5*d. Suppose 581 + 308 = b*t. Does 20 divide t?
False
Let s(x) = -38*x - 23. Let w be s(-1). Suppose -w*h + 496 = 47*h. Does 4 divide h?
True
Let a(f) = f**3 + f - 1. Let q(m) = -6*m**3 - 28*m**2 + 51*m + 5. Let v(g) = 5*a(g) + q(g). Does 30 divide v(-30)?
True
Suppose -10*a = 38*a + 3*a - 120258. Is a a multiple of 18?
True
Let m = 4586 - -130. Is 10 a factor of m?
False
Suppose 6*z + 12 = 10*z. Suppose -2*y + z*y - 3*o = 72, 2*y - 3*o = 132. Is 15 a factor of y?
True
Suppose 21 = -11*i + 8*i. Let o be i*(-2)/((-70)/(-45)). Suppose 14*d - o*d = 250. Does 25 divide d?
True
Suppose 10205 - 33240 = -57*w + 9398. Does 193 divide w?
False
Let m(f) = -3*f - 18. Let u be m(-11). Suppose u*p + 27 = 18*p. Does 27 divide (p/(-27))/((-1)/552)?
False
Suppose 4*a + 0 + 32 = 0. Let z(m) = m**2 - 10*m - 79. Does 5 divide z(a)?
True
Suppose 5*x - 1586 = 4*a, x - 4*a - 620 = -x. Is 2 a factor of x?
True
Is (-158)/1185 + (-4067)/(-15) even?
False
Is (-3 - 160/(-50)) + 4229/5 a multiple of 9?
True
Suppose 0 = 37*k - 53*k + 80. Suppose k*v - 3992 = -1022. Is 27 a factor of v?
True
Let f = 43 + -43. Suppose f = 20*i - 8*i - 3264. Does 14 divide i?
False
Let o be (20/5 - 3)*6709. Suppose -5*u - 2294 = -o. Is 70 a factor of u?
False
Let x(f) = f**3 + 3*f**2 - 7*f - 8. Let v = -98 + 66. Let a = -35 - v. Does 13 divide x(a)?
True
Let m = -534 - -351. Let u = m + 259. Suppose -9*s + 158 = -u. Is s a mult