t u be 48/(-1 - s) + -1. Is 82/2 - (-13 + u) a multiple of 13?
True
Let i(f) = 6*f + 12. Let w be i(0). Suppose -w*k + 270 = -11*k. Does 30 divide k?
True
Does 2 divide ((-10)/(-4) + -3)*-14?
False
Is (-13 + 2 - -93) + (-5 - 1) a multiple of 38?
True
Let r = -183 + 308. Let k = r - 49. Is 19 a factor of k?
True
Let y be ((-3)/((-9)/12))/2. Let n be y/8 + (-19)/(-4). Suppose -29 = -n*p + 86. Is p a multiple of 7?
False
Let c(i) be the third derivative of -5/6*i**3 + 0*i - 1/6*i**4 + 0 + 2*i**2. Is 7 a factor of c(-3)?
True
Suppose 2*a + 2*l + 131 = 549, 1053 = 5*a - 3*l. Does 2 divide a?
True
Let t be 6/2 + (6 - 15). Let y = t - -3. Does 3 divide y/(4/(-5 - -1))?
True
Let i be 188*-2*(-2)/4. Suppose -2*o - 4*w + 48 = 160, i = -4*o + w. Is 19 a factor of (o/(-4))/((-4)/(-10))?
False
Suppose 0 = -10*b + 50. Suppose w = -b*w + 372. Is w a multiple of 16?
False
Let n be 2 + (-4 - 1)*660/50. Let z = n - -120. Does 13 divide z?
False
Let i = 22 - 15. Suppose 5*d = i*d + 4. Is (-15)/d*154/21 a multiple of 12?
False
Let r be 2/4 + 5/(-10). Suppose -h + 2 + r = 2*u, -4*h + u + 17 = 0. Is (h/(-3))/((-2)/6) a multiple of 4?
True
Let l be ((-50)/(-15) + -3)*3. Is 10 a factor of 14 + -13 - l*-49?
True
Let w(n) = n + 26. Suppose -m + 21 = -d, 4*d = 3*m - 0*m - 81. Let f be (-444)/54 + (-4)/d. Is 8 a factor of w(f)?
False
Let x(q) = -3*q**3 - 60*q**2 - 52*q + 2. Let d(p) = p**3 + 20*p**2 + 17*p - 1. Let g(f) = 8*d(f) + 3*x(f). Is g(-19) even?
False
Let r(v) = 2*v**2 + 3 + 0*v + 0 + 3 - 3*v. Is r(4) a multiple of 4?
False
Suppose -4*b = -9*b + 750. Suppose -5*w + 0*n - 3*n + 690 = 0, w + 3*n - b = 0. Is w a multiple of 45?
True
Suppose 2*p + 2065 = 7*p. Suppose -p = -5*c + 382. Is 31 a factor of c?
False
Let n(y) = 32*y - 36. Is n(16) a multiple of 68?
True
Suppose 2*i = -2*i. Suppose f = -i + 4. Suppose 0*x - 8 = -x + 4*m, f*x - 5*m - 54 = 0. Is x a multiple of 16?
True
Let t(n) = n + 10. Let x be t(-5). Suppose -3*w - x*d - 31 = -6*w, -2*w - 5*d - 21 = 0. Suppose -4*y = j - 49, -1 = -w*j + 3*y + 42. Does 23 divide j?
False
Let p(u) = -u**2 + 17*u - 21. Let w be p(11). Suppose 0 = -4*h - 3*x + 210 - w, -125 = -3*h - x. Is h a multiple of 6?
True
Let s be 1/((-3)/9) - 15. Let d be s + 2 + (2 - 0). Let g = -9 - d. Is g a multiple of 4?
False
Let v = 363 - -15. Does 27 divide v?
True
Suppose 51*s = -52*s + 87550. Is s a multiple of 17?
True
Is 10 a factor of (7 + 0 - 5)*1726/4?
False
Let u = -31 + -37. Let d = -95 - u. Let r = d + 50. Is 8 a factor of r?
False
Suppose l - 2030 = 77*k - 81*k, -l = -2. Is k a multiple of 14?
False
Suppose 1099 - 4123 = -16*b. Is b a multiple of 7?
True
Let p be (0/(-3))/((-1)/(-1)). Suppose -d - 5*w - 33 = p, -d = -2*d + 2*w + 2. Is d/24 - (-145)/3 a multiple of 15?
False
Let i = 27 + 103. Is i a multiple of 13?
True
Let a(s) = s**3 + 13*s**2 - 5*s - 11. Let g be a(-13). Let t = 9 + 24. Let b = g - t. Does 7 divide b?
True
Let b(x) = -99*x - 217. Is 12 a factor of b(-10)?
False
Is (-21)/7 + (0 - -71) a multiple of 4?
True
Suppose 0 = 3*p - 0*p + 12, 4*p + 31 = o. Let y = -12 + o. Does 2 divide y?
False
Let t(f) = 22*f**2 - 7*f - 7. Is t(5) a multiple of 6?
False
Let u(k) = k**3 - 25*k**2 + 47*k + 87. Does 10 divide u(23)?
True
Suppose 3*h = d - 160, -d - 465 = -4*d + 4*h. Suppose 3*w = d - 1. Is w a multiple of 25?
True
Let p(w) = -57*w + 7. Let h be p(-1). Let f = h + -20. Is 11 a factor of f?
True
Let s(z) = 1 + z**3 - 9 + 2*z**2 + 15*z - 13*z + 2. Let o be s(-5). Let p = 29 - o. Is 25 a factor of p?
False
Suppose o - 285 = 2*p - 91, 393 = 2*o - 5*p. Is 18 a factor of o?
False
Suppose -269 = -5*m + 231. Let y = -56 + m. Does 11 divide y?
True
Let w be 8/6 - 44/(-3). Let d = w - 22. Is 22 a factor of (-307)/d - (-1)/(-6)?
False
Let c be (5 - 7) + 10/2. Suppose 0 = 5*t - d - 137, -c*t = -4*d + d - 75. Does 28 divide t?
True
Let g(s) = -403*s + 263. Is 7 a factor of g(-2)?
False
Let v(c) = 19*c**2 - 14*c + 183. Is v(9) a multiple of 57?
True
Let h = -141 + 170. Let r = h - 15. Is r even?
True
Does 85 divide ((-30)/(-14) + 16/(-112))*1100?
False
Let p(o) = -7*o**3 - 14*o**2 + 3*o + 1. Let d = -86 + 83. Is p(d) a multiple of 2?
False
Let c(v) = -4*v - 8. Let a be c(-4). Let b(l) = -l + 13. Let j be b(a). Suppose 0 = j*x - x - 72. Is 10 a factor of x?
False
Suppose 32*j - 21*j - 5280 = 0. Is 40 a factor of j?
True
Let g = 44 - -40. Suppose -j = -7*j + g. Does 3 divide j?
False
Suppose 4*v = 4, 2703 = b - 0*v + 2*v. Does 23 divide b?
False
Suppose 0 = -4*m - 5*q + 15, -3*q - 35 = -m - 10. Let h be m/(-70) - 576/(-14). Let x = h - 25. Is 13 a factor of x?
False
Suppose -3*h + 5*u = -6*h - 5, h + 3*u + 7 = 0. Suppose q = w + 133, -h*q + 3*w + 707 = 34. Is 14 a factor of q?
False
Let z(t) = 2*t**3 - 2*t + 1. Let g be z(2). Suppose 2*h - 7*u = -3*u - 8, -h + 5*u = g. Suppose 2*n = -v - 0 + 31, 5*v = -h*n + 187. Is v a multiple of 13?
True
Let m(r) = -4*r - 53 + 53 - 8*r. Suppose -j + 2*x = -6, -5*j - 2*x = -j + 16. Is m(j) a multiple of 12?
True
Let u be (-68)/(-6) + (4 - 60/18). Does 8 divide (-78)/(-9) - -1 - 8/u?
False
Let s = -23 + 20. Let g(r) be the second derivative of -r**5/10 - r**4/4 + r**3/6 + 3*r**2/2 - 5*r. Does 27 divide g(s)?
True
Let i(d) = d**3 + 11*d**2 - 2*d - 1. Let x be i(-11). Suppose v + 2*g - 4 = 3, -37 = 4*v - 5*g. Is 6 a factor of (x - 2) + (v - -2)?
True
Let g(f) = -f**3 - 2*f**2 - 7. Suppose 0 = -7*d + 12*d - 30. Let t = 2 - d. Is g(t) a multiple of 5?
True
Let f(u) = -u**2 - 24*u - 79. Let r be f(-20). Let m(a) = 2 - 2 + 34*a**2. Is m(r) a multiple of 10?
False
Let a(j) = -28*j - 115. Is a(-9) a multiple of 13?
False
Let s(n) = -36*n**3 - 8*n**2 - n - 3. Is 15 a factor of s(-3)?
True
Suppose 17*y + 2949 = 3*k + 22*y, 5*k + 5*y = 4915. Does 29 divide k?
False
Suppose -3*l - 3*u = 222, 5*l + 108 + 238 = 3*u. Let o = l - -133. Is 10 a factor of o?
False
Suppose 3*u = -3*k + 5046, k = -80*u + 83*u + 1678. Is k a multiple of 41?
True
Let b be (-1)/(1/(-53)) - 20/20. Let m = -43 + b. Is m a multiple of 6?
False
Let w(f) = -30*f + 48. Is w(-2) a multiple of 54?
True
Let n = 35 - 45. Let a(b) = b**3 + 13*b**2 + 18*b - 6. Does 34 divide a(n)?
False
Let h = -164 - -196. Is h a multiple of 32?
True
Suppose 35*q - 31*q + 80 = 0. Let z = 52 + q. Does 27 divide z?
False
Suppose 1263*r = 1265*r - 186. Is 13 a factor of r?
False
Let n(y) be the second derivative of 11*y**3/6 + y**2/2 + 5*y. Let f be n(5). Does 8 divide (-1)/(-1 + 54/f)?
False
Let w = 12 + 3. Let a = w + -2. Is 13 a factor of a?
True
Let d(x) = x**2 + 49. Let z be d(0). Suppose 5*f - z - 26 = 0. Does 5 divide f?
True
Suppose -301 = -5*d + 3*h, 3*h + 65 = d - 0*h. Suppose 2*w = d + 241. Is 15 a factor of w?
True
Let i(o) = -11*o**3 + o**2 + 2*o - 2. Let q be i(1). Is 10 a factor of q/80 + (-498)/(-16)?
False
Suppose 5*v + 0*o + o = 459, -3*v = 3*o - 273. Let c = -66 + v. Is 6 a factor of c?
False
Suppose 14 - 2 = 3*t. Suppose -14 = t*m - 194. Is 4 a factor of m?
False
Let m(s) = -13 - 2*s - 5 + 4 - 2*s. Let c(k) = -7*k**2 - k - 1. Let x be c(-1). Is 7 a factor of m(x)?
True
Suppose 16 = 7*w - 12. Suppose -s - w*u + 99 = 0, 3*s - 5*u = -s + 396. Does 40 divide s?
False
Let w(s) = -2 - 5*s**2 + s + s**2 + 2*s**2 + 3*s**2. Let k be w(2). Suppose -5*m + k*m = -53. Is m a multiple of 12?
False
Let i = -46 + 90. Let z = i - -10. Does 14 divide z?
False
Suppose 2*b - 26 = 2*w - 2*b, 5*b = 25. Let a be 13 + (-1 - (-3 - w)). Suppose 0 = -a*z + 11*z + 78. Is z a multiple of 13?
True
Let f(m) = 29*m**2 - 2*m. Is f(5) a multiple of 55?
True
Let t(d) = d**3 - 6*d**2 + 150*d - 55. Does 68 divide t(16)?
False
Let r be (-10413)/63 + 4/14. Let y = r - -299. Suppose 4*m = 2*u + 474 - y, -3*m - 4*u + 277 = 0. Is m a multiple of 18?
False
Suppose 8 = 6*z - 376. Is z a multiple of 4?
True
Let m(o) = o**3 + 7*o**2 + 3*o + 9. Let n be m(-7). Let g = n + 3. Let a = 24 + g. Is 4 a factor of a?
False
Suppose 0 = -3*y - 390 + 729. Is 12 a factor of y?
False
Let i = 1 + -25. Is 11 a factor of ((-6)/(i/(-308)))/(-1)?
True
Suppose 35 = 16*l - 15*l. Is 2*(-7)/l - (-1344)/10 a multiple of 12?
False
Let n = -265 - -463. Does 11 divide n?
True
Is 1*(-1)/3*-249 a multiple of 13?
False
Let b = -123 + 571. Is b a multiple of 7?
True
Suppose -8104 = 11*z + 3490. Is 16 a factor of z/(-11) - (-6)