tiple of 13?
True
Let i(z) be the second derivative of 11*z**3/6 + 4*z**2 + 3*z. Let l(x) = -6*x - 4. Let q(n) = 3*i(n) + 5*l(n). Is q(4) a multiple of 10?
False
Let x = 62 + -72. Let z = 50 - x. Does 12 divide z?
True
Suppose 3*a = 4*k - 20, -k + 15 = 3*a + 2*k. Suppose a = 2*x + u - 69, -5*u + 57 = 2*x - 0*x. Does 12 divide x?
True
Suppose 4*l = 143 + 37. Let y(k) = k**3 + 11*k**2 + 9*k - 9. Let h be y(-10). Does 19 divide (342/l)/(h/5)?
True
Let h(x) = 3*x - x + 7*x - 2. Does 26 divide h(6)?
True
Let d = -22 + 24. Suppose -14 = -5*a + 2*k, 5*k = -7 - 3. Suppose -a*s = d*s - 60. Is s even?
False
Let s(h) = 40*h**3 - 3*h + 9. Is 17 a factor of s(2)?
True
Let g be 8/(-52) - 969/39. Let x = g + 25. Let q(w) = -w + 7. Is 4 a factor of q(x)?
False
Suppose 0*u + 5*d = 2*u - 187, 3*u + d = 306. Is u a multiple of 6?
False
Let y(i) = -61*i + 6. Let h be y(-3). Suppose 2*v - 473 + h = 3*s, -2*v - 5*s = -252. Does 21 divide v?
False
Let z(a) = -246*a - 38. Is z(-1) a multiple of 6?
False
Let m = -10 + 179. Suppose 239 + m = 4*d. Is 34 a factor of d?
True
Is 3 a factor of 64 - (-6 + 4 + 5 + -3)?
False
Let k be -4 + 0 - (3/(-3) + 1). Is 3 a factor of 13 - (k + -4 + 4)?
False
Let j = 87 - -81. Does 7 divide j?
True
Let i be (32/80)/((-1)/15). Let f(u) = u + 12. Let a be f(i). Suppose -a = 5*w - 166. Does 7 divide w?
False
Let v be 2/(-5) + 16/(-10). Let z be (12/(-8))/(3/6). Is (17 - z - v) + -1 a multiple of 12?
False
Suppose 3*j - 4*a = 155, 267 = 5*j - 3*a + 5*a. Let x be (4 - 2 - j)*-5. Suppose 0 = k + 4*k - x. Is 17 a factor of k?
True
Let z be ((-3)/(-18) - 1459/6)*-7. Is 8 a factor of (-5 - -2)/(z/(-564) + 3)?
False
Let f(u) = 71*u + 2. Let h(v) = -v + 6. Let m be h(5). Let j be f(m). Is 8 a factor of j/5 - 2/(-5)?
False
Let b = -71 - -212. Is 20 a factor of b?
False
Let g(b) = -9*b**3 - 8*b**2 - 2*b - 5. Is g(-4) a multiple of 25?
False
Let o be (-196)/(-3) - (15/(-9) - -1). Suppose -f = -3*f + o. Does 33 divide f?
True
Let c(l) = 114*l + 24. Is 20 a factor of c(4)?
True
Let h(u) = u**3 + 12*u**2 + 11*u + 27. Let d = -36 - -25. Is h(d) a multiple of 27?
True
Let h = 663 + -263. Does 10 divide h?
True
Suppose 2*g = -5*o + 2780, 471 = 4*g - 3*o - 5089. Is g a multiple of 44?
False
Suppose -4*f = f. Let d = -61 - -65. Suppose f = 3*p - d*p + 45. Is 15 a factor of p?
True
Let p be (-10)/(-15)*(-17 + -1). Let q = p + 20. Does 3 divide q?
False
Is (-4*68/8)/(1/(-22)) a multiple of 17?
True
Let r = -67 - -56. Is 4 - ((2 - -2) + r) even?
False
Let v(r) be the second derivative of r**5/20 + 7*r**4/12 + 3*r**3/2 + 17*r**2/2 - 4*r - 1. Is 4 a factor of v(-5)?
False
Let v = 42 - 121. Let d = v - -102. Is d a multiple of 9?
False
Is 1842/15*50/20 a multiple of 44?
False
Suppose -3*d + 4897 = -6*p + 11*p, -2*d + 3256 = -p. Is d a multiple of 54?
False
Let t = -714 + 1479. Is t a multiple of 85?
True
Let s = 5768 + -4053. Does 35 divide s?
True
Let l(o) = -69*o - 90. Does 50 divide l(-10)?
True
Let g be 1/(-5) + 4/(-5). Suppose v - 13 = -0*v. Does 15 divide (2 + -5)*v/g?
False
Let p = -277 + 658. Does 7 divide p?
False
Suppose f = -6 - 32. Let g = -1 + f. Is 4 a factor of (-1)/(120/g + 3)?
False
Is 33 a factor of (2 + -1)*(-196215)/(-103)?
False
Suppose 5*u - 5*q = 2*u - 8, -1 = -3*u - 4*q. Let i be -135 + (-3 - (u + 0)). Let y = -97 - i. Is 6 a factor of y?
False
Suppose -5*f + 77 = t, t + 0*f - 85 = -f. Suppose -5*r + t = o, o + 2*o + r - 233 = 0. Does 34 divide o?
False
Does 24 divide (1 - (9 + -5)) + 915?
True
Suppose -6*r + 3*r + 603 = k, -4*r + 1196 = 2*k. Does 42 divide k?
True
Let i be ((-10)/(-4))/(15/12). Suppose i = -2*x + 10. Suppose x*d - 10 = 74. Is d a multiple of 11?
False
Let w(d) = 75*d + 75. Does 50 divide w(29)?
True
Let g(s) = -s**2 + 7*s + 2. Let c be g(6). Let r(m) = -m**3 + 9*m**2 - 9*m - 11. Let f be r(c). Let v = -4 - f. Is 3 a factor of v?
True
Let v be ((0 - -4) + -1)/1. Suppose -3*x + 0*x = -9, v*t = -5*x + 258. Does 27 divide t?
True
Suppose 40*s - 50*s - 460 = 0. Let x = s + 69. Does 8 divide x?
False
Let t be (-3)/2*168/9. Let c be t/(-8)*(-4)/(-7). Suppose 0*g - 82 = -c*g. Is 13 a factor of g?
False
Suppose 2*k + 2 = -0*k + 3*y, -5*y + 20 = 0. Suppose 72 = 3*u + k*n, 0 = -0*u - 2*u + n + 48. Let x = 94 - u. Is 15 a factor of x?
False
Let p(a) = a**2 - 4*a + 2. Suppose -10 = 5*v + 15, 2*v - 14 = -4*l. Is p(l) even?
True
Let n = 1927 + -450. Does 52 divide n?
False
Is 24/(-16)*(4 + 3304/(-12)) a multiple of 37?
True
Suppose -3 = 3*z + 4*w, -3*z + 15 = -z - 3*w. Let l(j) = 5*j**2 + 8*j - 3. Is l(z) a multiple of 12?
False
Let c(i) = -4*i + 17. Let w be c(3). Suppose -w*b + 336 = -b. Does 42 divide b?
True
Let j(g) = -13*g**3 - 2*g**2 + g - 4. Let x be j(2). Let k = -54 - x. Is 12 a factor of k?
True
Let l = -10 - 1. Let c = 0 - l. Does 11 divide c?
True
Let i(c) = 431*c**2 + 2*c. Is 13 a factor of i(-1)?
True
Let r = -2748 - -4417. Does 55 divide r?
False
Suppose 494*y = 490*y + 4352. Is y a multiple of 17?
True
Suppose 0 = 2*t - i - 29, i - 4*i + 18 = t. Suppose -x = -t - 18. Is x a multiple of 23?
False
Suppose -4*r - 66 = -182. Suppose -161 - r = 5*g. Let w = g + 81. Does 10 divide w?
False
Let l = -90 + 90. Suppose -4*h + 294 = -l*h - 2*d, -5*d + 214 = 3*h. Is 48 a factor of h?
False
Let q(k) = k**2 + 12*k + 4. Let m be q(-12). Let s be (-86)/(-3) - m/(-12). Suppose -3*p + s = 3*c - 13, 3*c - 57 = 2*p. Is 3 a factor of c?
False
Let m(d) = d**2 + 9*d + 10. Let h(a) = 3*a + 7. Let b be h(-5). Let l be m(b). Suppose -l*x + 0*y + 140 = -2*y, x = 5*y + 66. Is 13 a factor of x?
False
Suppose -23 = -3*u - 11. Suppose -h + u = 0, 5*h - 64 = -2*i + 64. Is i a multiple of 3?
True
Suppose -12 = -g - 4*m, -m = 3*g - 7*g - 3. Suppose g = 2*p - 6*p + 264. Is p a multiple of 10?
False
Let s be (-19)/(-38)*168/1. Let b = 174 - s. Does 18 divide b?
True
Let j(h) = -h**2 + 9*h + 2. Let y be j(9). Suppose -2*c = -y - 16. Let z = c + -4. Does 2 divide z?
False
Let v be (14/(-8))/(4/48). Let t = v - -34. Does 12 divide t?
False
Suppose -3*h + 0*h = -165. Suppose 5*m = w - h, 2*w - m - 275 = -3*w. Is 11 a factor of w?
True
Suppose -2*v = o - 9, -5*v = -o - 4*o - 30. Let a = -4 - o. Is 4 a factor of 4/(a/(-3) - 0)?
True
Let d be 18 + (-1)/(-1) + 3*1. Suppose d = 3*v - 2*v + k, -2*v - k + 39 = 0. Is v a multiple of 4?
False
Let j be ((-166)/(-4))/(1/(-2)). Let d = j + 47. Is 15 a factor of (-1)/6 + (-1626)/d?
True
Let r be 6/(-2) + 24/2. Let v(y) = 4*y**2 + y**2 - 6*y**2 + 13*y - r. Is v(8) a multiple of 7?
False
Suppose 5*g - 32 = -17. Suppose -g*r + 200 = 2*r. Suppose -p - p + r = 0. Is 4 a factor of p?
True
Let v be (0 + 4)/((-10)/(-85)). Suppose 3*g - 3*m - 24 = 0, -4*g - 3*m + v = -6*m. Is g even?
True
Suppose -10*c = 7*c - 7344. Does 12 divide c?
True
Is 53 a factor of 320/2*(-88)/(-55)?
False
Suppose -2*i = 4, -5*i + 4590 = 3*f + f. Does 23 divide f?
True
Let x(f) = -f**2 + 48*f - 125. Does 27 divide x(23)?
False
Suppose -2*a = -4*h - 1062, 8*h + 513 = a + 12*h. Does 29 divide a?
False
Let r(p) be the third derivative of -5*p**4/24 - 5*p**3/6 - 24*p**2 - p. Is 3 a factor of r(-5)?
False
Let q = 402 - -60. Suppose -22*j - q = -25*j. Is 22 a factor of j?
True
Let m(h) = -h**2 + 3*h + 7. Let s be m(4). Suppose 0 = s*d - 5*d + 4. Suppose -5*w + d*g = -57, w - 1 - 5 = -5*g. Does 11 divide w?
True
Suppose 2*n - 5*o - 4 = 0, 2*o = -3*n + 1 + 5. Let i(f) = 5*f - n - 5*f + f**2 - 36*f**3 + 34*f**3. Does 18 divide i(-2)?
True
Let s(k) = k**3 - 3*k**2 + 2*k - 1. Let v be s(3). Suppose 0 = -r + 4*z + 126 - 31, r = -v*z + 104. Is 33 a factor of r?
True
Let n = 658 - 454. Let v = n - 74. Is 13 a factor of v?
True
Suppose 0 = 2*n + 2*w - 80, -2*n = -0*w + 5*w - 92. Does 12 divide n?
True
Let p(k) = k**3 + 5*k**2 + 4*k + 3. Let d be p(-4). Let g be (4 - d) + -1 - 3. Is (27/(-9))/(g/4) even?
True
Let h(w) = 3*w**2 - 14*w + 5. Does 64 divide h(-16)?
False
Let h = -33 + 24. Is 16/(-12) - 138/h a multiple of 2?
True
Let a(n) = n + 362. Is 30 a factor of a(28)?
True
Let u(z) = -z**2 + 24*z + 27. Let q be u(25). Suppose -r - 2*r = 0. Suppose r = q*b - 17 - 23. Is b a multiple of 14?
False
Suppose -4*k = -0*k - 2*s + 4, 4*k + s = 8. Let j = 0 + -5. Is k + j*(-2)/5 even?
False
Let y = 491 + -281. Is y a multiple of 15?
True
Suppose -1085 = -5*m + y + 4*y, 3*m - 6