k - q = 0. Does 42 divide h?
False
Let u(y) = 427*y**2 + 2*y + 1. Is 145 a factor of u(1)?
False
Let o(f) = -94*f + 11. Let s be o(-2). Is 17 a factor of s + (-5 + 5 - 5)?
False
Let j(d) = -30*d + 1454. Let a be j(49). Suppose -5*f + 0*f = -3*u + 311, 5*f - 2*u + 314 = 0. Let p = a - f. Is p a multiple of 6?
True
Suppose -i - 3*i + m = -500, -4*i - m = -508. Suppose -30 = 8*b - i. Suppose 2211 = b*o + 87. Is 17 a factor of o?
False
Is -4*11/(-132)*87*1*14 a multiple of 13?
False
Suppose -353*y = -349*y - 61880. Suppose 0 = 22*g - y - 986. Is g a multiple of 44?
True
Let r be (-768)/(-60) - (-2)/10. Suppose r*q - 299 = 624. Does 13 divide q?
False
Does 11 divide (2475/(-9 - -18))/((-1)/(-20))?
True
Suppose 0 = 1462*v - 1486*v + 155376. Is 16 a factor of v?
False
Let l be (1/2)/(5/(-90)). Let f = 13 - l. Suppose -j + 2 = -0*j, -w + f = j. Is w a multiple of 6?
False
Let t(y) = 2*y**3 + 184*y**2 - 190*y - 67. Does 19 divide t(-92)?
False
Let v(b) = -7*b**3 + 46*b**2 - 3*b + 11. Is v(6) a multiple of 26?
False
Let m be 4/3*(-6)/(-4). Suppose m*c + 162 = -120. Let v = c + 243. Is 17 a factor of v?
True
Let a(c) = -82*c**2 - 16*c + 51. Let q be a(4). Let u = q + 2000. Is u a multiple of 45?
True
Let y(o) = 21*o**2 + 1430*o - 450. Is y(-96) a multiple of 275?
False
Let s(t) = 17*t - 4. Let o(d) = -d**3 + 50*d - 11. Let c(k) = 4*o(k) - 11*s(k). Let z(m) be the second derivative of c(m). Is 6 a factor of z(-3)?
True
Suppose 1878 = i - x, 7*x - 12*x = 4*i - 7521. Suppose -3*j + 2250 = 5*w, -529 + i = 3*w - 3*j. Is 50 a factor of w?
True
Is 58 a factor of -47*(-5210)/35 + (-4)/42*3?
False
Let m = -749 + 11003. Is 52 a factor of m?
False
Let j = -250 - -350. Suppose 6*k - j = -4*k. Suppose -15*q + 225 = -k*q. Is q a multiple of 9?
True
Let j(k) = -2*k**2 + 65*k + 42. Suppose 0 = 3*y - 3*t - 66, -5*y + 115 = 4*t - 13. Is j(y) a multiple of 25?
True
Let g = -9699 + 10383. Is 114 a factor of g?
True
Is ((-442)/51)/26 - (-367)/3 a multiple of 2?
True
Suppose 28 = 3*v + 22. Let n be 1*(-2 + 3 + v). Let t(g) = 26*g - 4. Does 26 divide t(n)?
False
Let i(z) = 4*z**2 - z + 214 - 269 - z - 3*z. Is 2 a factor of i(-5)?
True
Let u be 7 + ((-6)/(-2) - -313). Suppose 14*g - u = 97. Does 10 divide g?
True
Let t = 12692 - 2000. Is t a multiple of 99?
True
Let b(g) = 2*g**2 - 58*g + 206. Let s be b(25). Let l(n) = -6 + 6*n + 3 - 4 + 4*n**2 - 2*n**2. Is l(s) a multiple of 12?
False
Let z(w) = w**2 - 14*w - 29. Let k be z(17). Suppose 2*s + k = 3*n, n + 3*n - 36 = 4*s. Does 7 divide (-169)/(-2) - s/(-10)?
True
Suppose 4*t + 6 = -10. Does 4 divide 241 + (t/18 - (-22)/18)?
False
Suppose 5*g - 5*s = 350, -g + 2*s + 0*s + 67 = 0. Let y = -70 + g. Suppose -y*p + 15 = -63. Is 4 a factor of p?
False
Let o be 133/21 + -6 - (-1135)/15. Suppose l - 92 = o. Is 24 a factor of l?
True
Suppose -y = 1046 + 2185. Let v = -22 + 34. Is 25 a factor of (-7)/28 - (y/v + 3)?
False
Suppose 519*f - 47616 = 511*f. Does 38 divide f?
False
Suppose -j = 0, j + j = 5*a + 3005. Let x = a - -845. Is x a multiple of 13?
False
Let w(g) = -329*g - 16. Let j(z) = 220*z + 11. Let q(u) = -7*j(u) - 5*w(u). Let d(y) = -y**2 - 9*y - 7. Let l be d(-8). Is 27 a factor of q(l)?
True
Suppose -u - 4*p + 9218 = 0, -2*u + 2*p + 9602 = -8874. Does 15 divide u?
False
Let f(a) = -8*a - 9. Let b(x) = -5*x - 3 - 5 - 2*x + 6*x. Let h be b(5). Does 32 divide f(h)?
False
Let r(n) = 9*n + 12. Let s be r(4). Let v be (116/8 - 0)*s/2. Suppose -4*g + v = 2*g. Is g a multiple of 29?
True
Let j(f) = 22*f**2 - f. Let s be j(2). Let y = 21 - s. Let o = 120 + y. Is 9 a factor of o?
False
Let h = 430 - -925. Suppose -2*d + d = 3*u - h, -3*d = 4*u - 1815. Is 9 a factor of u?
True
Let c(y) = y**3 - 21*y**2 - 41*y - 112. Let u be c(23). Suppose 2*h = -2*n + 1718, n + 1730 = u*n - 2*h. Is n a multiple of 13?
False
Let w(u) = 372*u**2 + 20*u + 120. Is w(-6) a multiple of 186?
True
Let v(q) = -1109*q**3 + 2*q**2 + 117*q + 285. Does 76 divide v(-3)?
False
Suppose 0 = 30*d + 28852 - 385612. Is 11 a factor of d/21 + 6 + 4/(-14)?
True
Suppose -4*h + 10288 = 4*i, -89*h = -i - 88*h + 2576. Does 33 divide i?
True
Let j be (-1)/(-3)*(2 - -7). Suppose 28 = 5*x + 3. Suppose x - 38 = -j*r. Is r a multiple of 3?
False
Let z(m) = -2*m**2 + 21*m - 10. Let s be z(10). Suppose -967*c + 968*c - 144 = s. Is 5 a factor of c?
False
Let z be ((-150)/4 + 2)*2. Let b = z - 25. Is 25 a factor of (2 + (-13 - -2))*b/9?
False
Let t(u) = -3*u + 23. Let n be t(7). Suppose 0 = 3*d - n*c + 2, 0*d + c = d - 1. Is 15 a factor of (1 + (-2)/d)*50?
True
Suppose -4*u = -5*g - 435, g + 225 = -10*u + 12*u. Is 8 a factor of u?
False
Suppose 3064 = a + 5*p, 113*p = 115*p + 10. Does 2 divide a?
False
Let r(y) = -202*y + 727. Is 68 a factor of r(-19)?
False
Suppose 0 = 3*w - 0*w + 5*f + 5, -4*w = 2*f + 2. Let x(n) = n**2 + n + 75. Does 15 divide x(w)?
True
Suppose 5*w - 2*w - 5*w - 2*w = 0. Suppose 3*u = 7 + 5. Suppose -4*y - u = w, l - 49 = 4*y - 3*y. Is l a multiple of 16?
True
Let b(d) be the second derivative of d**5/20 - d**4/4 + 3*d**2/2 - 17*d. Let u be b(3). Suppose -2*o - 2*o - 4*n = -80, 0 = u*o + n - 58. Is o a multiple of 2?
False
Let y(n) = -n**3 + 7*n**2 + 4*n - 10. Let b = -163 + 168. Is 30 a factor of y(b)?
True
Let g = 46 - 44. Suppose 4*k - g = 6. Suppose -220 = -4*w - 4*j, -2*w + j = k*w - 220. Does 6 divide w?
False
Suppose 5*w - 3*s - 106 = s, 102 = 5*w - 3*s. Let y be (0 - 63/w) + (-2)/4. Is 4 a factor of 8 - (y + 0 + 3)?
False
Suppose -225*s + 220*s - 3*l = -97050, l = -2*s + 38821. Is s a multiple of 204?
False
Let h(q) = 11*q + 156. Let n(a) = 21*a - 214. Let o be n(10). Does 3 divide h(o)?
False
Let x(p) = 513*p + 2134. Is 10 a factor of x(12)?
True
Suppose 27*v = 122953 - 10498. Is v a multiple of 17?
True
Let r(x) = x**3 - x**2 - 120*x - 18. Let j be r(11). Suppose 55 = -2*y + y. Let f = y - j. Does 10 divide f?
False
Let g(f) = -796*f - 935. Does 39 divide g(-6)?
False
Suppose -807*p = -811*p + 4*o + 33176, -p - o = -8300. Does 25 divide p?
False
Suppose 9*t - 4719 = 5271. Is 15 a factor of t?
True
Suppose -13968 = -3*v + 5*w - 0*w, 0 = -3*v + 4*w + 13965. Does 20 divide v?
False
Let q(n) = 22 + 0*n**2 + 0*n**2 - 12*n - n**2. Let k = 3483 - 3493. Does 12 divide q(k)?
False
Let u = -19014 - -19193. Is u even?
False
Let b be (-42)/126*(-1 - -1)/1. Suppose -n + 199 + 149 = b. Does 29 divide n?
True
Suppose -5*d + 1991 = 3*g, 0 = -12*d + 17*d + 5*g - 1995. Let u = d + -10. Does 10 divide u?
False
Suppose 9*m = -15*m + 120. Suppose -m*d - 3949 = -16*d. Is d a multiple of 14?
False
Does 14 divide (22*366)/((-444)/(-1184))?
False
Does 22 divide -4 + 74948/12 - (10/15 - 1)?
False
Suppose 8*c - 11276 - 10372 = 0. Does 6 divide c?
True
Let f be (-36)/16*64/6. Let d(s) = -s**2 - 25*s + 34. Is d(f) a multiple of 2?
True
Let z = 12490 - -10430. Is z a multiple of 120?
True
Suppose 3*a = 2*y - 14277, -y + 176*a = 179*a - 7125. Is y a multiple of 174?
True
Suppose 6 = 3*g, r + 249 = 4*r + 3*g. Let u = -186 + r. Let z = u + 288. Is z a multiple of 33?
False
Suppose 8*v = 12 + 4. Suppose -v*w + 258 = 4*b, b = 5*b + w - 263. Is b a multiple of 7?
False
Suppose -37 = h - 5*k, -3*h = -k + 5*k + 206. Let v = h + 49. Let o = v + 44. Is 10 a factor of o?
False
Suppose -50*p + 52*p = 0. Suppose p*i - 5*i + 2065 = 0. Let y = i - 215. Is 11 a factor of y?
True
Suppose 9310 = 1065*d - 1051*d. Is 5 a factor of d?
True
Suppose 1904 = -20*z + 6*z. Let p be (7/4)/(1/132). Let j = z + p. Is 22 a factor of j?
False
Let f be (-1054)/(-155) - (-2)/10. Suppose f*u - 1166 - 164 = 0. Is u a multiple of 6?
False
Suppose 0 = -3*q - 101 + 41. Is (-870)/(-2) - (-4 + q/(-4)) a multiple of 14?
True
Suppose v = -v - 2*t - 46, -5*v = -2*t + 80. Let x = 108 + v. Suppose -x = -2*j + 3*m, m + m - 90 = -2*j. Is j a multiple of 17?
False
Let w be (-1206)/(-21) + 20/35. Suppose -w = d - 2. Let f = d + 114. Is f a multiple of 29?
True
Suppose 2*w - m - 71428 = 0, 10*m - 8*m - 107156 = -3*w. Is 32 a factor of w?
False
Let g(k) = 90*k**2 - 230*k + 182. Does 11 divide g(-12)?
False
Let h(n) = n**2 + 6*n - 21. Let q be h(3). Suppose m - 5*w - 182 = 0, m - q*m = -2*w - 956. Is 8 a factor of m?
True
Let d be -1*(-750 + (-2 - 2)). Let l be ((-4)/3)/(14/(-168)). Suppose l*h - 4578 + d = 0. Is h a multiple of 20?