-49 + 5990. Does 29 divide i?
True
Let n = -6 - -10. Suppose -6*u + 3*u + 25 = 2*o, -80 = -4*o + n*u. Does 17 divide o?
True
Suppose d - 3*s = -43 + 574, -4*d - s = -2124. Does 17 divide d?
False
Let r = 7388 - 3388. Is 20 a factor of r?
True
Let g = -2728 - -4672. Is g a multiple of 72?
True
Let n(q) be the second derivative of q**6/360 - q**5/12 + 3*q**4/4 + 6*q. Let i(k) be the third derivative of n(k). Does 5 divide i(20)?
True
Let k(f) be the second derivative of f**3/3 - 3*f**2/2 + 8*f - 2. Let l(v) = -v**3 - 7*v**2 - 6*v + 8. Let m be l(-6). Is k(m) a multiple of 13?
True
Let y = 76 - 71. Suppose -5*t + 0*t + 110 = 5*w, y*w - 3*t - 94 = 0. Is 4 a factor of w?
True
Let r = 7 + -7. Let q be r - (-4)/(-4) - -176. Let u = q + -97. Is u a multiple of 24?
False
Let b be 720/(-33) + (-6)/33. Let w = b - -92. Is 10 a factor of w?
True
Let l(i) be the first derivative of 2*i**4 - 2*i**3/3 + i**2/2 + 5. Let h be l(1). Let z = 5 + h. Is z a multiple of 12?
True
Let m(u) = 1 + 15*u**2 - 1 - u. Let a be 1*3/2*(-44)/(-66). Does 14 divide m(a)?
True
Let n be (((-161)/14)/1)/(1/(-14)). Suppose -n = -4*d - 17. Is 18 a factor of d?
True
Suppose 18 = 2*k + 3*k - x, 0 = -5*x + 10. Suppose i + 2*t = 22, -t = k*i - 3*t - 58. Is 5 a factor of i?
False
Suppose -3*z - 5*f + 77 = -100, 3*f = 4*z - 207. Is z a multiple of 8?
False
Suppose -8*n - 72 = -12*n. Let w be (1 - 1) + n + 1. Suppose w + 26 = 5*y. Does 9 divide y?
True
Suppose -5*y = -2*f + 217, 6*y = 4*y + 4*f - 74. Let t = 203 - 270. Let k = y - t. Is k a multiple of 11?
True
Let h be (4/(-7))/((-6)/21). Suppose 0 = h*y - y. Let u(a) = -a**3 + a**2 - a + 9. Does 3 divide u(y)?
True
Suppose -c - 50 = -i + 3*c, 195 = 3*i + 3*c. Let z = i + -6. Does 8 divide z?
True
Let m(x) = 3*x + 5. Let r be m(0). Suppose -r*q + 28 = -7. Suppose 45 = h + q. Does 15 divide h?
False
Let n(j) = 6*j**2 + 12*j + 6. Let s(l) = -5*l**2 - 13*l - 5. Let q(p) = -3*n(p) - 4*s(p). Is 5 a factor of q(-9)?
True
Let u = 2288 - 1119. Suppose 13*o - 1041 = u. Does 10 divide o?
True
Suppose -4*k - 166 = 254. Let n be 20/(2 - (-204)/k). Suppose 0*p - n = -5*p. Does 35 divide p?
True
Is (5/3)/(5/1563) a multiple of 7?
False
Suppose -3*g + 1204 = 2*v - 1057, 3*g = -v + 2263. Is 14 a factor of g?
False
Suppose 2*s = 3*y - y + 2, 0 = -5*s - 2*y - 30. Let w = 4 + s. Does 10 divide -1 - (-9 - (2 + w))?
True
Let z(x) = -12*x + 8*x + 6*x + 16. Let n be z(-7). Suppose 0 = 5*s - n*k + 4*k - 332, 0 = -5*s + k + 344. Is 17 a factor of s?
True
Let p = 824 + -563. Is p a multiple of 15?
False
Let q(f) = -f**3 + 5*f**2 - 5. Is q(4) a multiple of 2?
False
Let w(y) = -2*y + 37. Let l(d) = 3*d. Let h be l(0). Is w(h) a multiple of 17?
False
Let p(q) = 20*q - 3. Let z = 9 + -9. Suppose z = -3*l + 14 - 5. Does 19 divide p(l)?
True
Let u(q) = -2*q**3 - 5*q**2 + 8*q + 16. Let w be u(-5). Suppose -w*z = -106*z + 385. Is z a multiple of 14?
False
Let u be (-16)/(-40) - (-214)/(-10). Let x = 15 + u. Does 14 divide 168/(-32)*16/x?
True
Let x = 19 + -44. Let l = x - -23. Is (2 - 33)/(1 + l) a multiple of 6?
False
Suppose -6*a + 162 = -192. Is a a multiple of 22?
False
Suppose 0 = -2*g - 600 + 2410. Suppose 0 = -9*c + 14*c - g. Suppose -5*j + 232 = 4*s, c = 3*s + 2*j - 0*j. Is 16 a factor of s?
False
Let t(a) = a**3 - 13*a**2 + 9*a - 5. Suppose 4*m - 67 = -5*i, 2*m + 0*m = 5*i - 49. Let c be t(i). Is 10 a factor of (7/(-14))/(2/c)?
False
Let y be (-6)/(-15) + 129/15. Let m(b) = b**2 - 8*b + 4. Let r be m(y). Suppose 2*t = r - 3. Is 4 a factor of t?
False
Let t = 40 + -32. Is t/(-2)*(11 - 30) a multiple of 19?
True
Let t(u) = 21*u + 162. Is 4 a factor of t(2)?
True
Suppose v - 2 = -1. Let i = v + -3. Is 14 a factor of 6/(-2) + (-90)/i?
True
Let w be 8/4*20/8. Suppose 2*t - 5*f - 27 = -3, 0 = -t + w*f + 12. Is 6 a factor of t?
True
Let d(s) = -s - 3. Let r be d(-3). Let x be (-179)/(-6) + 9/54. Let w = r + x. Is 30 a factor of w?
True
Let h = 238 - 80. Let s = 242 - h. Suppose b + 18 = s. Does 11 divide b?
True
Let r be (-36)/(-21)*28/6. Suppose -3*j + 73 = 2*g, r*j - 151 = -4*g + 3*j. Does 11 divide g?
True
Let a = -387 + 716. Does 23 divide a?
False
Let c = -19 - -36. Let r(z) = z**2 - 17*z - 3. Let f be r(c). Let h = 5 - f. Is h a multiple of 4?
True
Let l be (12/20)/(2/(-10)). Let q(n) = -n**2 - n + 4. Let b be q(l). Does 28 divide b/6 + 1771/21?
True
Suppose -5*t + 240 = 5*l - 235, -5*l + 15 = 0. Let z = 38 + t. Is z a multiple of 23?
False
Let p = -17 - -24. Suppose p*d + 477 = 1842. Is d a multiple of 21?
False
Suppose 246*s = 245*s + 62. Is s a multiple of 48?
False
Let a(c) be the third derivative of 2/15*c**5 + 0*c + 0*c**3 + 1/120*c**6 + 0 + 6*c**2 - 5/24*c**4. Is a(-8) a multiple of 7?
False
Suppose 3*i - 1287 = 3*q, -3*i = -q - 360 - 933. Suppose -3*t + i = 6*t. Does 8 divide t?
True
Suppose -3*c + 4*v - 44 = -c, 5*c = 4*v - 86. Suppose 2*f = f. Let p = f - c. Does 7 divide p?
True
Let u(t) = 21*t**2 - 9*t - 28. Let f be u(-3). Suppose -4*b + 12 = 0, y + 2*b = -2*b + f. Is y a multiple of 16?
True
Let z(a) = -34*a**3 - a**2. Let d(r) = 2*r - 22. Let q be d(9). Let n be (2/(-4))/((-2)/q). Is z(n) a multiple of 11?
True
Let i = -2 - -8. Let u be (-1)/(-3)*(i - 9). Is (-2)/(u/6*1) a multiple of 4?
True
Let j = -30 + 180. Is j a multiple of 10?
True
Let w(z) = z**2 + 4*z + 3. Let u be w(-2). Let i be 2 + u - 0/(-7). Suppose -i = -5*q + 34. Is 2 a factor of q?
False
Suppose -3*s + 2*y = -9 - 1473, 5*s = 3*y + 2470. Is s a multiple of 13?
True
Let v = 951 - 415. Let r be (v/(-20))/((-3)/(-15)). Does 13 divide r/(-10) + 4/(-10)?
True
Suppose -4*j = 2*g + 2*g + 92, 5 = g. Is 23 a factor of (322/j)/(2/56*-2)?
True
Let y(b) = 2*b**2 + 8*b - 5. Let x be y(5). Let i = 97 + -57. Suppose 0 = -2*v + d + x, 5*d - 2*d + i = v. Is v a multiple of 13?
False
Let s be 4 - -3*332/(-12). Let j = s + 179. Suppose u - 3*u = -j. Is 10 a factor of u?
True
Is (-22143)/(-9) - (-16)/(-72)*-3 a multiple of 14?
False
Let b be (-2)/7 - 30/(-105). Suppose b = -k + 103 - 25. Is k a multiple of 13?
True
Let s be (-1220)/(-10)*1/(-2). Let k = -29 - s. Does 9 divide k?
False
Is 6 a factor of (-63)/9 - (-24*57 - 4)?
False
Let h = 26 + 169. Let o = -91 + h. Does 29 divide o?
False
Is 26 a factor of 21/(-77) + 6581/11?
True
Let i(j) be the second derivative of j**7/840 - j**6/72 - 7*j**5/120 - j**4/12 - 6*j. Let w(r) be the third derivative of i(r). Is w(7) a multiple of 12?
False
Suppose 3*h + 35 = 10*h. Suppose -h*m - v + 5*v + 148 = 0, 3*m - 78 = -3*v. Is 4 a factor of m?
True
Let d = 709 - 650. Does 15 divide d?
False
Let h = 20 - 20. Let f(k) = -k**2 + 1. Let z be f(h). Let q = 65 - z. Is q a multiple of 13?
False
Suppose 96*a - 33*a = 48510. Does 11 divide a?
True
Let l = -47 + 597. Suppose 2*c + 5*z - 224 = 2*z, -5*c - 5*z = -l. Is 11 a factor of c?
False
Let i(z) = -10*z**2 - 2*z - 1. Let y be i(-1). Let t = -3 + 7. Does 11 divide (y/(-6))/(t/40)?
False
Suppose -5*v - 3*x + 56 = 0, 2*v + 4*x = 14 - 0. Let b(i) = i**3 - 13*i**2 + 7*i - 6. Is 17 a factor of b(v)?
True
Suppose 5*x + 3*p - 440 = 0, -p + 6*p = 2*x - 176. Suppose 0 = 4*o + 8 - x. Is (o/(-3))/(14/(-42)) a multiple of 10?
True
Suppose -7*l = -261 + 758. Let p = 201 - l. Is 34 a factor of p?
True
Let g = -45 - -117. Is g a multiple of 4?
True
Let p be 1/3 - (17472/18)/8. Let h = 164 + p. Is h a multiple of 3?
False
Let i(b) = -b**3 + 5*b**2 + 8*b + 13. Let y(v) = -3*v**3 + 9*v**2 + 17*v + 26. Let r(w) = 5*i(w) - 2*y(w). Is 13 a factor of r(-6)?
True
Let a = -25 - -30. Suppose -q - 18 = 5*j - 84, a*q = 5*j + 390. Does 12 divide q/6 - (-10)/(-15)?
True
Is 8 a factor of (-10)/6 + 1288/24?
False
Suppose 0 = -4*q - 4*d - 44, -4*d + 5 = -5*q - 14. Is q/(21/(-9)) - (-34 - -2) a multiple of 5?
True
Suppose -43*s + 3*o - 1496 = -44*s, 4*o = -4*s + 6016. Does 52 divide s?
True
Let b = 43 + 259. Is b a multiple of 20?
False
Suppose 2*i - 7*i + 40 = 0. Suppose -4*n = -i - 24. Suppose n*h - 35 = 3*h. Does 7 divide h?
True
Does 9 divide -2 + 57/30 - 48605/(-50)?
True
Let o = 570 + -562. Does 4 divide o?
True
Is 26 a factor of (5456/24)/((-4)/(-6))?
False
Let b(a) = 37*a**3 + a**2 + a - 2. Let k be b(1). Let x = k + -12. Is x a multiple of 8?
False
Let m = 118 - -356. Is 79 a factor of m?
True
Let l(a) = -a**3 - 7*a**2 + 4*a - 28. Is 29 a f