5) - 3. Let z(r) = r**3 + 7*r**2 - 13*r - 9. Does 4 divide z(o)?
False
Suppose -4*z = -26 - 26. Let s be -15 + z - (-1 + -1). Suppose 7*y = 4*y + 5*k + 86, y + 4*k - 23 = s. Is 21 a factor of y?
False
Let s be 3078/12*(1 - -29). Is 21 a factor of (-3)/4 + s/20 + 0?
False
Let t(j) be the first derivative of -j**3/3 + 10*j**2 + 6*j - 73. Suppose -2*k = 2*g - 3*g + 25, 4*g = k + 72. Is 13 a factor of t(g)?
False
Suppose 147466 = 7*j + 23*j - 53024. Does 66 divide j?
False
Suppose 0 = 5*y + g - 4570, -2*g - 1908 = -4*y + 1748. Is y a multiple of 34?
False
Suppose -38*p + 2574 = -29*p. Suppose -25*j = -p - 4839. Is j a multiple of 41?
True
Let d = -535 - -1279. Let m = d - 625. Is 7 a factor of m?
True
Let b = 1442 + -489. Let z = b - 847. Is z a multiple of 5?
False
Let p(y) be the third derivative of -y**6/120 - y**5/12 - y**4/8 - 7*y**3/6 - y**2. Let u be p(-5). Suppose -u*b - 180 = -11*b. Does 30 divide b?
True
Suppose -3*l - 135 = 3*s, 0 = -2*s + 2*l - 0*l - 74. Let z = s - -64. Let q = z - -93. Is q a multiple of 29?
True
Suppose -10*m + 3*h = -12*m + 916, 4*m = -2*h + 1832. Let b = 808 - m. Is 10 a factor of b?
True
Suppose 0 = -2*s - 5*y - 527, 3*y + 477 = -5*s - 869. Suppose -5*z = -2*c - 273, 193*z = 3*c + 188*z + 397. Let k = c - s. Does 27 divide k?
False
Let y(l) = -12*l + 806. Is y(-8) a multiple of 24?
False
Let g(y) = 46*y + 1384. Does 12 divide g(10)?
False
Suppose 0 = 4*c + 5*y + 4 - 2, 4*y + 8 = 0. Suppose b - 76 + 2 = c*j, -4*j + 172 = 3*b. Is 15 a factor of b?
False
Suppose 0 = 4*g - 3 - 29. Suppose -2*x - 5*w = g, -5*x - 2*w - 20 = w. Is 18 a factor of (-1)/(-2)*-145*-2 + x?
False
Suppose -5*o - 6*i + 505 = -i, 3*i + 197 = 2*o. Suppose -2*y + 370 = 3*b, -b - o = -2*b + 4*y. Is 6 a factor of b?
True
Let a be ((-3)/(-4))/((-21)/(-252)). Is 600/a*36/8 a multiple of 86?
False
Suppose 18*p = -8*p + 52. Is 3 a factor of 10/p - -55 - 6?
True
Let s(y) be the third derivative of 4*y**4 + 83*y**3/3 - y**2 + 5*y. Does 19 divide s(5)?
True
Suppose -4*d = 15*d - 57. Suppose r - 528 = -4*n, d*n - 5*r - 467 = -48. Does 22 divide n?
False
Let x = -74 + 76. Let p(s) = 2*s + 9 + 3*s**2 + 6 + 0*s**x - 3. Is p(-6) a multiple of 14?
False
Let f(b) = -b**3 + b**2. Let a(z) = z**3 + 4*z**2 + 9*z. Let k(h) = a(h) - 2*f(h). Let n be k(-4). Is 15/(-45) - (-2)/6 - n a multiple of 14?
True
Suppose 2*h - 2*r - 3766 = 0, -119*h = -115*h + 5*r - 7514. Does 57 divide h?
True
Does 13 divide 135054/3 + -9 + (2 - 1)*-3?
True
Suppose -7*k + 417 + 423 = 0. Suppose 3*a + k = -2*a. Is (7 - 4)/(2*(-2)/a) a multiple of 18?
True
Let a(g) = 9*g**3 - 18*g**2 - 36*g - 39. Is 39 a factor of a(13)?
True
Let l = 243 + -240. Suppose -3*q - 122 = -5*q - l*f, -2*q = f - 114. Is 4 a factor of q?
False
Suppose -31*l + 78976 = -43571 + 10172. Is 30 a factor of l?
False
Let l be 1/(-1 + (-4)/(-6)). Let z(n) = 21*n**2 - 29*n**2 + 13*n**2 + 11*n**3 - 15*n**3 - 9 - n. Is 34 a factor of z(l)?
False
Let m(l) = 32*l**2 + 2*l + 2. Let i(o) be the third derivative of -o**6/120 - o**5/20 - o**4/6 - 5*o**3/6 + 3*o**2 + 5. Let w be i(-2). Does 8 divide m(w)?
True
Let m = -279 - -284. Let t(l) = 28*l - 10. Is t(m) a multiple of 13?
True
Let a(i) = 4*i**2 - 32*i + 466. Is a(13) a multiple of 13?
False
Let k(q) = 45*q**2 - 5*q - 35. Let c be k(-4). Suppose -5*x + 12*p - 7*p = -c, -2*x + 5*p + 273 = 0. Is x a multiple of 12?
True
Suppose -20 + 960 = 4*y. Suppose -233 = -5*x - 3*k, 0*k + 5*k - y = -5*x. Is x a multiple of 17?
False
Suppose 0 = 3*v - 3*i + 57, -4*v = -29*i + 26*i + 76. Let y be (-5 + 6)*(0 + 35). Let u = y + v. Does 8 divide u?
True
Suppose 490 = -b + 15*b. Let t = -30 + b. Suppose t*w - 366 = -71. Is 42 a factor of w?
False
Let i = -986 - -15293. Does 27 divide i?
False
Let h = 178 - 205. Let r = h + 186. Is 73 a factor of r?
False
Let f(n) = 2*n**3 + 6*n**2 - 11*n + 12. Let g be f(-10). Is 7 a factor of 6/(-33) - g/11?
False
Suppose 2*z - 29 = -5*p, -3*z + 2*z = -2*p + 8. Let n(h) = h**2 - 3*h - 7. Let t be n(p). Suppose -j + 28 = 3*j + 4*g, 0 = t*j - 3*g - 15. Is 4 a factor of j?
False
Suppose 2*g - 20 = 2*d - 0*d, 3*g + d = 30. Suppose 0 = 2*w + g, y = -2*y + 5*w + 415. Is y a multiple of 13?
True
Suppose -3*t + 35 - 55 = -5*i, -5*t = 0. Suppose -3*f = -4*s + 146, i*s - 46 = 2*f + 102. Does 3 divide s?
False
Does 3 divide (1/7 - 1)/(12/(11 - 130295))?
True
Suppose 3*m - l = 1697, -70*l - 15 = -67*l. Does 16 divide m?
False
Let v(d) = -d**2 - 14*d - 30. Let i be v(-3). Suppose 3*m - 12*o - 513 = -8*o, i*m = o + 522. Does 9 divide m?
False
Let p(o) = -o**2 + o + 49. Let q be p(10). Let y = 146 + q. Does 21 divide y?
True
Let h = 92 + 98. Let q = 930 + h. Is q a multiple of 40?
True
Suppose 7*p - 14*p + 343 = 0. Is 15 a factor of p?
False
Is 6/8 - (105157/(-52) - 33) a multiple of 9?
False
Let f(l) = -111*l + 60. Let q(b) = -113*b + 58. Let s(r) = -7*f(r) + 6*q(r). Is s(4) a multiple of 47?
False
Suppose 21*j = 16*j - 380. Let n = 87 + j. Is (-4)/22 + 1531/n a multiple of 29?
False
Let c = 734 + -434. Suppose 3*q - c = -2*x, -188 = -3*q + x + 112. Does 5 divide 1/(405/q + -4)?
True
Suppose -390 = -10*r - 60. Let t = 143 + r. Is 16 a factor of t?
True
Let u(b) = -5*b**3 - 5*b**2 - 16. Let h = -415 + 411. Is u(h) a multiple of 16?
True
Let v(b) = 4*b**2 - 19*b + 6. Let f(a) = -9*a**2 + 39*a - 11. Let t(l) = -6*f(l) - 13*v(l). Does 4 divide t(-8)?
True
Suppose 0 = 5*r - 4*r + 4*u - 146, 0 = -3*r - 4*u + 414. Let w = 34 + r. Does 7 divide w?
True
Is 2 a factor of 61846/153*3*3/2?
False
Let o(z) = -11*z - 8. Let n be o(-7). Let x = -45 + n. Suppose 96 + x = 8*y. Does 3 divide y?
True
Is ((-46960)/(-32))/(2/8) a multiple of 10?
True
Let w be 1 - 97 - (0 - 2). Let y = -16 - 188. Let j = w - y. Does 55 divide j?
True
Suppose -5*k + 10601 = -m, -2*m - 1289 = -k + 833. Does 53 divide k?
True
Is 35 a factor of ((-18)/(-3) - -1) + (45 - -1195)?
False
Let r be 211 - (1 + -4)*-1. Suppose r - 2782 = -6*i. Is 33 a factor of i?
True
Is 9 a factor of (-11)/(-1) + 33169 + -249?
True
Does 4 divide (-3)/((-24)/136) + 1617?
False
Suppose 11755 - 71675 = -296*w + 66472. Does 3 divide w?
False
Let i = -4012 + 5101. Is i a multiple of 9?
True
Let g be (-4 - (-15)/3)*(0 - 1). Is 5 a factor of 184/12 - ((-4)/6 - g)?
True
Suppose -2 = 4*h - 5*h. Suppose 2*u + 284 = h*n, -n - 2*n + u + 430 = 0. Suppose -14*c + n = 2*c. Does 3 divide c?
True
Suppose 5*y = 7*y - v - 2155, -4*v - 4 = 0. Is y a multiple of 21?
False
Suppose 0 = 14*o - 47959 - 22475. Is o a multiple of 39?
True
Let f = 33 - 106. Let r = f + 76. Suppose -4*q + 4*d + 192 = 0, -5*d + 130 = r*q - d. Is 23 a factor of q?
True
Is 12/(-16)*-12 + (14803 - 0) a multiple of 133?
False
Let y(t) = 3*t**2 + 39*t + 2. Let q be y(-13). Suppose q*v - 6*a - 388 = -2*a, 5*v - 959 = -a. Does 8 divide v?
True
Suppose m + 3*j - 12514 = -4*m, 4*m - 10020 = 2*j. Does 122 divide m?
False
Let r(y) = -5*y + 7. Let g(p) = -10*p + 14. Let b(a) = -3*g(a) + 5*r(a). Let h be b(2). Suppose 3*d + 165 = -0*j + h*j, 0 = d - 2. Is j a multiple of 10?
False
Suppose -3*f + 6*f - 2*p + 4 = 0, 3*f = 4*p - 14. Suppose g = 4*t - 7 - 40, 4*t - 46 = f*g. Is 12 a factor of t?
True
Suppose -3*g - 5 = 2*r + 1, g = r + 3. Suppose -5*d - 20 = 0, 2*l + 4*d = -g*l + 676. Is (-1 - l/(-4))/(24/64) a multiple of 16?
False
Suppose 0*m - 2*m + 10 = -2*y, 2*m - y - 5 = 0. Let b be m*((-20)/(-8) + -2) - -5. Suppose 3*p - 2*c - 133 = 0, 0*c - 5*c = -b*p + 215. Is 4 a factor of p?
False
Let b be (-4)/(-30) - 34/255 - 18. Is (6/9 + (-78)/b)*23 a multiple of 5?
True
Does 15 divide 13/(26/1433)*30?
True
Let l(x) = 6*x**2 + 9*x + 21. Let u = -45 + 55. Suppose -8*v + u*v = -10. Is l(v) a multiple of 14?
True
Let o be (43 - -17066)*(-2)/(-6). Suppose 4*l - 9*l = 4*p - o, -3*p = 9. Is 24 a factor of l?
False
Does 78 divide 30568 - (-7)/(-49)*154?
False
Suppose 32*x + 30*x - 8916 - 11544 = 0. Is x a multiple of 179?
False
Let r be ((0/4)/1*1)/(-1). Suppose -2*d - 6 = r, 3*x = 6*x + d + 6. Is 29 a factor of -3*(201/(-9) + 2 - x)?
True
Let b(q) = -2*q**3 + 5*q**2 + 8*q - 4. Let k(r) = r - 7. Let f be k(3). Let n be b(f). Suppose 3*y - 10 - 2 = 0, 4*l - y - n = 0. Is 22 a factor of l?
True
Let q(d) = -d**2 - 19*d - 50. Let r be q(-20). Let b = r + 616. Does 17 divide b?
False
Let g = 7611 + -6496. Is g a multip