 17*z**2 + 19*z**2 + 41*z**2 + 17*z**2. Does 107 divide y(-5)?
True
Suppose 3*v = v + 4*d - 12, v + 4*d - 18 = 0. Suppose 5*g = -5*t + 2450, g = -v*t - 52 + 1032. Does 10 divide t?
True
Let d be 3*2/6 - (-5 - -1). Suppose 2*r + 122 = d*p, -2*r - 4 = -p + 22. Is p even?
True
Let a be (4/(-6))/((-4)/30). Suppose -a*t = -1015 - 25. Suppose -8*d = -6*d - t. Is 9 a factor of d?
False
Let y = 1723 - -465. Is y a multiple of 101?
False
Does 88 divide (-88)/3*(-480 - -405)?
True
Let l be (-3)/(-9)*-3 - 1*-4. Suppose -5*v + 3*v + l*o + 850 = 0, 3*o - 1260 = -3*v. Suppose -2*p + v = 5*j - 382, 4*j = 5*p + 630. Does 40 divide j?
True
Let l(s) = s**2 - 5 + 3 + 7 - 7 + s. Let q be l(1). Suppose q = 2*v + b - 12, 2*b - 11 = -v + 1. Does 4 divide v?
True
Suppose 28*r - 17*r - 9108 = 0. Suppose a - 496 = -3*b, 2*b + 3*a = -3*b + r. Does 33 divide b?
True
Does 12 divide -7 + 908 - 2/(-8)*(-11 + -1)?
False
Suppose 129*x = 706387 + 399788. Does 26 divide x?
False
Let j be 13482/(-153) - (-4)/34. Let n = j + 129. Does 29 divide n?
False
Suppose w = 3, 5*c + 3*w - 3482 - 40227 = 0. Is 115 a factor of c?
True
Let z = -123 + 2756. Let j(g) = -2630*g - 20 + z*g + 4. Does 7 divide j(11)?
False
Let c = -10675 - -11579. Is c a multiple of 4?
True
Suppose 0 = -2*y - 4*j - 200, 0*y + 2*y + 205 = -5*j. Let v = 12 + -50. Let c = v - y. Does 13 divide c?
True
Does 10 divide (-20)/6*(2 + 5/(-25)) - -10266?
True
Let f = -7404 - -8163. Is f a multiple of 2?
False
Let t(l) = 34*l - 12. Let m = 158 - 154. Is 26 a factor of t(m)?
False
Suppose -37*b = -15*b - 5984. Let g = 378 - b. Is 5 a factor of g?
False
Let c be (-18)/(5/((-60)/18)). Does 83 divide (c - -4)*(-498)/(-8)?
True
Let c(d) = -d**3 + 100*d**2 + 3*d + 1990. Does 24 divide c(100)?
False
Suppose 0 = 3*q - 2*y - 287, 6*y + 113 = q + y. Let n be (-10)/((10*(-17)/(-306))/(5/2)). Let a = n + q. Is 6 a factor of a?
True
Let q be -7 + 5 + (-2 + 11)/1. Let b(h) = -h**3 + 5*h**2 + 4*h - 12. Let l be b(q). Let d = l + 142. Is d a multiple of 5?
True
Let m(q) = -q**3 - 25*q**2 - 3*q - 83. Let x be m(-25). Does 13 divide ((-96)/40)/(0 + x/4420)?
True
Let n be 16*((-450)/12)/5. Let c = 123 + n. Suppose 9 = -c*p, 5*p - 41 - 24 = -5*k. Is k a multiple of 3?
False
Suppose 5*t = -4*k - 4041, -3*k - 2*t = -0*k + 3029. Let w = k - -1894. Suppose 10*q - w = 25. Does 37 divide q?
False
Let p = 1466 - 558. Does 4 divide p?
True
Let m(q) = 10*q**2 + 6. Let x be m(4). Suppose -4*h + 5*z = -3*h - 105, -z + x = 2*h. Does 5 divide h?
True
Suppose -2*x - 2*f = -35226, -35*f + 52860 = 3*x - 39*f. Suppose -x = -23*q + 7*q. Does 21 divide q?
False
Let s(k) = -k**3 + 61*k**2 + 157*k - 275. Does 22 divide s(35)?
True
Suppose 10*o = -o + 44. Let w(k) = 32*k - 2. Does 14 divide w(o)?
True
Suppose -2*x - j + 16 = 0, -2*x + 0*j = -3*j. Let b(k) = -8 + 9 + x*k + 10*k. Is 11 a factor of b(2)?
True
Suppose 22 = 4*u - 3*n, -5*u - 8*n + 4*n + 43 = 0. Suppose 4*w = u*w - 459. Is 8 a factor of w?
False
Is 214 a factor of (-2)/11 + 3771286/979?
True
Suppose -34503 = -6*w + 10197. Does 78 divide w?
False
Let k = -431 - -447. Suppose -k*d - 2*d = -28944. Does 67 divide d?
True
Suppose z - 3*q + 23 = 0, 2*z + 3*q - 2*q = -39. Suppose p + 75 = 4*p. Does 27 divide 64 + (-5)/(p/z)?
False
Let d(f) = -2*f**3 + 47*f**2 + 25*f - 23. Let p be d(24). Let v(l) = 13*l**2 + 3 + 16*l**2 + 0 - 3*l. Is v(p) a multiple of 29?
True
Let o(x) = x**3 + 7*x**2 + 6*x - 12. Let b be o(-6). Let c = b + 30. Suppose 67 + c = 5*i. Does 4 divide i?
False
Let a = -7 + 19. Suppose -21*y - a = -24*y. Suppose 4*v = -d - 5 + 82, -y*d + 110 = 5*v. Is v a multiple of 18?
True
Is 55 a factor of -2*(328/(-492))/((-4)/(-90585))?
True
Let x = -42156 + 42848. Is 11 a factor of x?
False
Let v(y) = 6*y**3 - 5*y**2 + 41*y - 14. Is v(8) a multiple of 7?
True
Suppose 56280 + 6920 = 16*s. Suppose 4*t - 2*j - s = 0, -j = 5*t - 1618 - 3323. Is t a multiple of 26?
True
Suppose 0 = 2*f - k - 3952, -9*k + 6*k = 12. Is f a multiple of 7?
True
Let i(w) = -w**3 + 4*w**2 + 13*w - 13. Let b be i(6). Let g = b - -61. Is g a multiple of 6?
True
Let q = -293 - -12. Let v = 481 + q. Is 9 a factor of v?
False
Is (-3)/12*(-16)/3*(2004 - -165) a multiple of 6?
True
Let y(i) = 2*i**2 - 6*i**3 + 3*i + 66 - 3*i**2 + 7*i**3. Is y(0) a multiple of 22?
True
Suppose -16*q = -q - 30. Suppose -2*p = h + 2*p - 84, h - 74 = -q*p. Is h a multiple of 10?
False
Does 7 divide (-8)/(-84) + 1288/588*5249/2?
False
Let b(j) = -2103*j + 3563. Does 64 divide b(-10)?
False
Let f be (-3 - 0 - 2) + 6. Is 18 a factor of (284 - (-4 - -7))*f?
False
Let u(x) = 28*x**2 + 6*x + 127. Is 222 a factor of u(12)?
False
Let a be -88*(-5 - 92/(-16)). Does 26 divide (a/(-44))/(9/2712)?
False
Let d be (-1)/3*3*-25. Suppose 2*y - d = -g + 5, -4*g = -4*y + 60. Is (-203 + -1)*y/(-30) a multiple of 17?
True
Suppose 0 = 2*x - 3 - 3. Suppose 2*j - l = 205, -x*j + 4*j + 3*l = 106. Is j a multiple of 32?
False
Let k(m) = -720*m**3 + 2*m**2 + m. Let x be k(-1). Suppose -4*u + 2229 = x. Is u a multiple of 13?
True
Does 42 divide 1768 + (-7 - -4) - (-4 + 5)?
True
Let s(p) = -61*p + 36. Does 7 divide s(-4)?
True
Suppose -97 + 12 = -5*k. Suppose 3*g + 3*r + r + k = 0, -r - 5 = g. Does 36 divide (1 - (g + -50))*(3 + 1)?
True
Let j = -38 + 35. Let n be (-9)/(12/(-4)) + j. Suppose m - 9 - 16 = n. Is m a multiple of 25?
True
Let q(d) be the first derivative of 3*d**2 + 72*d + 72. Is q(4) a multiple of 12?
True
Let x = -9584 + 17588. Does 87 divide x?
True
Let u be (1 - -848)*(-5)/(-15). Let s be (26/13)/(2/u). Suppose 0 = 7*p + 31 - s. Is 12 a factor of p?
True
Suppose -4*l + 23549 = -10667. Does 14 divide l?
True
Suppose -6*h + 39124 = 4*w - 7*h, 0 = -3*w - 15*h + 29280. Does 25 divide w?
False
Let o = -550 + 484. Is 51/(((-2)/(-29))/((-88)/o)) a multiple of 85?
False
Let w = 8185 - -2957. Does 55 divide w?
False
Suppose -g + 7308 = 6186. Is 22 a factor of g?
True
Is 9 a factor of (-140774)/(-14) + ((-99)/(-21) - 5)?
False
Let k(p) = -26*p + 4. Let z be k(-1). Let x = z - 67. Is 37 a factor of (x/(-3))/((-7)/(-42))?
True
Let x(y) = y**2. Let b be x(2). Suppose 2*p - 5*z + 150 = 0, b*p + 328 = -2*z - 2*z. Let c = 121 + p. Is c a multiple of 3?
False
Suppose -2*b - 132 = 2*h, b = -2*h + 4*b - 112. Let s be 4/((-32)/h)*(36 + 0). Suppose -5*t = -1001 - s. Is 16 a factor of t?
True
Suppose -49 = -8*c + 119. Suppose -5*m - 5*k + 70 = 0, -3*m + 61 = 5*k + c. Suppose 3*j + m = 0, -4*y - 14 = 3*j - 47. Is y a multiple of 3?
True
Let b(y) = -2*y**3 + 11*y**2 + 2*y - 13. Let l be b(5). Let s be (3 + -1)/(4/(-6)). Is (l/4)/(s/(-6)) even?
False
Let r(x) = -10*x - 111. Let c(k) = -12*k - 136. Let w(q) = -4*c(q) + 5*r(q). Suppose -5*j = 23 + 12. Is 3 a factor of w(j)?
True
Let f = 57 + 45. Let y = 208 - f. Suppose 110*x - y*x = 512. Is 8 a factor of x?
True
Suppose 3*p - 3186 = -3*o, -3*o = 18*p - 23*p + 5302. Is p a multiple of 8?
False
Suppose -2*x + 7*x = -235. Let i = -18 - x. Suppose 0 = -4*k + 97 - i. Is k a multiple of 7?
False
Suppose -6*f - 45 + 9 = 0. Let n be f/(-2) + 4 + -4 + 0. Suppose 0*d + n*d + b = 89, -2*d + 4*b + 50 = 0. Does 3 divide d?
False
Is (69/(-2))/((-139)/2224)*33 a multiple of 6?
True
Let t = 25 + -58. Let l be (-2)/(-6) - t*3/27. Suppose 5*p + 73 = 3*c + 680, l*p = -5*c + 456. Is 22 a factor of p?
False
Suppose 3*h - 43872 = 5*j - 14621, 48765 = 5*h + 5*j. Does 46 divide h?
True
Let f = -21836 - -35551. Is 22 a factor of f?
False
Let u = -14 + 8. Is 14 a factor of 105993/135 + u/45?
False
Suppose -3*u = 4*l - 3, 0 = l + 4*l - 2*u + 2. Suppose p - 4*p + 15 = l. Suppose -d + 6*r - 2*r = -19, 5*d - p*r = 110. Is 4 a factor of d?
False
Is 3/75 - (-157192)/200 a multiple of 5?
False
Suppose 9*b - 10*b - 3*z = -50, -115 = -2*b - 3*z. Suppose 3*h - 324 = -3*c, -5*c + 231 = 2*h - 0*h. Let m = h - b. Does 17 divide m?
False
Suppose 40*a - 182826 - 395981 = 169033. Is 24 a factor of a?
True
Suppose 111*q - 93*q = 174618. Is 48 a factor of q?
False
Let z(c) = -3*c + 22. Let q be z(3). Let v(i) = 10*i + 5. Is 5 a factor of v(q)?
True
Suppose b = -b + 1159 - 109. Does 5 divide b?
True
Let p = 97200 + -60194. Is p a multiple of 66?
False
Suppose -287*y - 741959 + 533436 = -2412109. Is 22 a factor of y?
True
Let l(z) = -5*z**2 - 3*z + 28. Let w(r) = -5*r**2 - 5*r + 27. Let v(g)