1039. Does 40 divide f?
False
Let w(k) = k**3 - 19*k**2 - k + 6. Let p be w(19). Let a(i) = -i**3 - 11*i**2 + 10*i + 30. Is a(p) a multiple of 18?
False
Let l = -1007 - -421. Is 6 a factor of l/(-8) + 20/(-16)?
True
Suppose 6*v - 4*v - 107 = 5*b, -b = -5*v + 302. Let a = v - 61. Suppose -3*t = 5*o - 125, -4*t - t + 25 = a. Does 5 divide o?
False
Let u(a) = 3*a**2 + 6*a + 4. Let v be u(-2). Suppose -v*z + z = -2*n - 8, 3*z - 5*n - 11 = 0. Is 50*(z + 4/(-5)) a multiple of 15?
True
Let s = 705 - 702. Suppose 0 = -3*y + 4*p + p + 1807, -s*p = -12. Is 87 a factor of y?
True
Suppose 0 = -62*r + 59*r + 4692. Does 68 divide r?
True
Let w = 39800 + -17463. Is 5 a factor of w?
False
Is 19 a factor of (49 + -1)*4560/72?
True
Suppose w + 0*d - 7 = -4*d, -5*w - 5*d + 65 = 0. Suppose 0 = i + t - 5*t - 305, 0 = -5*t - w. Is 32 a factor of i?
False
Let y = -1764 + 2908. Suppose -222*j - y = -226*j. Is j a multiple of 7?
False
Does 5 divide (-4522)/(-6) - (-820)/615?
True
Let v = 13080 - -20599. Is v a multiple of 24?
False
Let l = -298 - -68. Let i = l + 237. Is 2 a factor of i?
False
Suppose -24927 = -4*l - z, 61*z - 66*z = -5*l + 31165. Does 30 divide l?
False
Let y = -27 + 25. Let o be 315/(-30) - 3/y. Is -12*(6/o - 0) a multiple of 8?
True
Let i(d) = -155*d**3 + 2*d**2 + d - 1. Let v be i(-2). Suppose -v = -5*s + 455. Suppose 5*o = -3*h + 241, 4*h + 2*o - s = -0*h. Is 29 a factor of h?
True
Let s(r) be the first derivative of -5*r**4/4 - r**3/3 - 7*r**2/2 - 12*r + 3300. Suppose -3*d = -d + 6. Is 10 a factor of s(d)?
False
Let y = -6483 + 6623. Is 13 a factor of y?
False
Suppose 5*w = m + 3, 51*w = -2*m + 54*w + 8. Is 32 a factor of (23 - m - 8) + 120?
True
Let p(h) = -h**2 + 15*h + 14. Let r = -41 - -53. Let t be p(r). Suppose -2*j + 26 = -t. Does 19 divide j?
True
Let w(k) be the first derivative of -2*k**3/3 - 19*k**2/2 + 3*k - 1. Suppose 0 = 10*x + 4 + 46. Is w(x) a multiple of 6?
True
Let v = 551 + -546. Suppose -2*n + 3*t = t - 80, v*t = -2*n + 59. Is n a multiple of 37?
True
Let k = -9768 + 29050. Does 143 divide k?
False
Suppose 3*j - v = 3*v + 509, -2*j + 2*v = -338. Let r = -2334 - -2263. Let z = r + j. Does 12 divide z?
True
Let t(j) = -7364*j + 1926. Does 265 divide t(-2)?
False
Suppose -197 + 202 = 5*z. Does 18 divide (-4)/1 - z/2*-1390?
False
Let d(u) = u**3 - 7*u**2 - 7*u + 10. Let q(g) = 3*g**2 - 38*g - 4. Let n be q(13). Does 5 divide d(n)?
False
Let n = 1972 - 1479. Is n a multiple of 33?
False
Let n be (1 + 3 - (6 + 0)) + 11. Is 7 a factor of ((-4)/(-6))/(n/540)*22?
False
Suppose -6*y + 3*y = -4*y. Suppose -3*i + o = -11 - y, 2*o - 18 = -2*i. Suppose -i*v + 72 = -43. Is v a multiple of 23?
True
Let d = -768 + 774. Suppose 44*l - 9900 = -d*l. Is l a multiple of 5?
False
Let w(v) = 0*v + v**3 + 9 - 6*v**2 - 2 + 5*v + v. Let m be w(5). Suppose -m = r - 23. Is 10 a factor of r?
False
Let l(m) = 489*m**2 + 7*m + 4. Is 26 a factor of l(-4)?
True
Let g(i) be the third derivative of -i**6/120 - i**5/8 + i**4/24 + 17*i**2. Let s(v) be the second derivative of g(v). Does 21 divide s(-13)?
True
Let a(q) = -q**3 + 99*q**2 + 48*q - 1210. Is a(99) even?
True
Let k = -2190 + 2304. Suppose -5*v + 2*z - 69 = 0, 67 = -4*v - z + 4. Does 38 divide 20/v*k/(-4)?
True
Suppose -f + 17*y + 3211 = 12*y, 3*f - 9671 = -4*y. Does 3 divide f?
False
Suppose -91*h + 14599 = -645091 + 56542. Is h a multiple of 8?
False
Let u = -296 + 171. Let h = -122 - u. Is 13 a factor of (-13)/3*-3*15/h?
True
Suppose -q = 3*k + 9, 5*q = 2*k + 29 - 6. Suppose -3*g - 5*h - 1 = 14, -49 = 4*g - q*h. Does 10 divide ((-392)/70)/(1/g)?
False
Let n(r) be the first derivative of -4*r**2 - 8*r + 9. Let q = -4 + 1. Does 4 divide n(q)?
True
Is 6*42*(-1176)/(-24) a multiple of 36?
True
Let q be (-2 - 7/(-2))*14. Let y = -87 - -86. Let j = q - y. Is j a multiple of 7?
False
Let i = 117 - 116. Let t be (-2)/(-3) + i/(6/8). Suppose q - t = 1, -3*b + 3*q = -159. Is 14 a factor of b?
True
Let m = 24 - 19. Suppose -526 = 4*h - 0*p - m*p, -3*h + 2*p = 391. Does 20 divide (h/(-4))/(-3)*-8?
False
Let z = 244 - 244. Suppose -488 = -3*j + 5*m, 2*j + 4*m - 764 = -3*j. Suppose -3*x = 3*r + 2*x - 278, 2*r - 4*x - j = z. Is r a multiple of 18?
False
Let o(i) = i**2 - 37*i - 324. Is o(-9) a multiple of 2?
True
Let o(m) = m**3 - 22*m**2 - m + 50. Is o(22) a multiple of 2?
True
Let a = 10864 + 407. Is a a multiple of 39?
True
Let u(s) = -47*s - 6. Let x(c) = 14 - 6 - 8 + 13 + 94*c. Let f(h) = -5*u(h) - 2*x(h). Is f(2) a multiple of 14?
True
Let a = 1673 - 2395. Does 77 divide (-16)/(-24) + a/(-6)?
False
Is (-190121)/(-13) + 1172/3809 a multiple of 28?
False
Let g(z) = 234*z**2 + 150*z + 546. Is 89 a factor of g(-12)?
False
Suppose 1454*y = 1424*y + 156450. Is y a multiple of 248?
False
Let q = -11 - -226. Suppose 5*a - 272 = -2*p, 19*p = -4*a + 20*p + q. Is a a multiple of 9?
True
Let r = 5560 + -5552. Let i(f) = -f**2 + 2*f**2 - 8 - 7. Is i(r) a multiple of 4?
False
Suppose 3*r = -3*r. Suppose r = -8*t - 0*t + 40. Suppose 3*h - t*m - 46 = 0, -2*h + 3*m - 1 + 30 = 0. Is h even?
False
Suppose b + 44911 = 4*x - 55227, 4*x + b - 100150 = 0. Is x a multiple of 22?
True
Suppose 4 = 4*k + 16. Let i(d) be the third derivative of d**5/12 + d**4/8 - d**3/3 - 14*d**2. Is 12 a factor of i(k)?
False
Let o be 0*1*3/6 - -5. Suppose -o*g - g - 2*g = 0. Suppose 2*q + 3*m + 0*m - 114 = g, 2*m = 5*q - 304. Is 6 a factor of q?
True
Let d(i) = 2*i**2 + 55*i - 169. Suppose -b - 7 = 38. Is 38 a factor of d(b)?
True
Let k be (-152)/(-1292) + (-8836)/(-34) + 0. Let c = 343 - k. Does 5 divide c?
False
Does 66 divide 2773 + 2 - (-5)/(2*7/(-14))?
False
Let a be (-17)/(1 - 64/68). Let b = a - -432. Does 8 divide (b - 5)*(1 + 4/(-6))?
False
Suppose 2*a = -2*c - 3*a + 16, 0 = 4*a - 8. Suppose 3*b = 2*b + c. Is 2 a factor of b?
False
Is (-30597)/(-744)*(-1 - -9) a multiple of 33?
False
Suppose -3*p - p + 20 = 0, -1051 = 3*v + 4*p. Let f = v - -576. Is f a multiple of 16?
False
Let v be 5/(-10)*(2 - 2). Suppose 2*a + v*a = 192. Is 3 a factor of a?
True
Suppose 403861 = 66*z + 207*z - 433157. Does 189 divide z?
False
Suppose 3*z - 3*o - 8192 - 4198 = 0, -2*z - 4*o + 8224 = 0. Is 112 a factor of z?
False
Suppose 0 = -5*o - 13 + 143. Let i = -28 + o. Is (-48)/18*6*i*2 a multiple of 8?
True
Let x be 2*(0 + (-3)/(-6)). Let w be ((3 - 2)*x)/(1/(-1)). Does 26 divide 104*(21/12 + w)?
True
Let i = 311 - 308. Is 5/(-4) + 67983/124 + i a multiple of 15?
False
Suppose 0 = -h - 3*h - 12, 4*h = -g + 30. Suppose -3*n = -g + 18. Suppose 244 = n*x + 20. Does 9 divide x?
False
Let x = 33902 - 23024. Does 82 divide x?
False
Is 15525*(2 - (-216)/(-75))/(3/(-15)) a multiple of 138?
True
Let q = 44888 + 20265. Does 27 divide q?
False
Suppose 0 = 6*a - 4342 + 1654. Let q = -419 + a. Is 13 a factor of q?
False
Suppose -37 - 3 = -8*y. Suppose 105 = o + y*u, -2*u + 172 = 5*o - 353. Is 15 a factor of o?
True
Let p(h) = h**2 - 33*h + 174. Let l be p(32). Let c = 259 + -21. Let z = c - l. Is z a multiple of 32?
True
Let c(j) = 17 - 2*j - 203*j**2 - 199*j**2 + 19 + 404*j**2. Is 30 a factor of c(12)?
True
Let a = 62 + -28. Let o(z) = -29*z + 114. Let x be o(4). Let g = x + a. Does 8 divide g?
True
Suppose 4*k = 10*k + 24, w + 4*k = 1172. Is w a multiple of 2?
True
Let k(h) = 2*h**2 - 37*h**3 + 3 - 47*h**3 + 2*h - 2 - 49*h**3. Let g be k(-1). Suppose -3*r = g - 323. Is 7 a factor of r?
True
Is (2 - (-34822)/26) + (-488)/1586 a multiple of 149?
True
Let x(a) be the second derivative of -a**4/6 + 3*a**3 + 2*a**2 - 15*a. Let q be x(9). Suppose -b + q*h = -29, 5*h = 4*b - 6 - 143. Is b a multiple of 12?
False
Suppose 77080 = 73*f - 11615. Does 135 divide f?
True
Let m(b) = -b - 4. Let f be m(-4). Suppose 3*o + 5*k = 33, 3*k - 2*k = f. Suppose -14*c + 27 = -o*c. Is c a multiple of 6?
False
Suppose 77486 = 2*t + r, 4*t - 155020 = -18*r + 22*r. Does 157 divide t?
False
Let h(u) = -u**3 - 15*u**2 - 7*u + 83. Let w be 322/(-21) - (-3)/9. Does 40 divide h(w)?
False
Suppose 40*o - p = 38*o + 30687, 5*o = -5*p + 76740. Does 52 divide o?
False
Suppose 0 = -9*n + 1578 - 1623. Suppose m + 90 = 5*x, 2*m = 3*x - m - 42. Let u = n + x. Is u a multiple of 2?
True
Does 281 divide -1436*140/56*((-37)/5 - -2)?
False
Suppose -u - y + 17 = 0, -3*u + y = -6*u + 53. Suppose -2*d - 15232 = -u*d. Is