alse
Let k = -94 - -98. Suppose -3*z = -2*d - 3*d - 39, -4*z + 36 = -k*d. Let b(f) = f**3 + 16*f**2 + 11*f - 2. Is 32 a factor of b(d)?
False
Let g(p) = 2*p**3 + 17*p**2 - 7*p + 8. Suppose 0 = -8*r - 9 + 57. Is g(r) a multiple of 10?
True
Suppose -u - 2*c = -40738, 4*u = -75*c + 77*c + 162962. Does 12 divide u?
True
Let w = 14 - 36. Let s be ((-34)/(-3 - -4))/(-2). Let x = s - w. Does 7 divide x?
False
Let b(z) be the second derivative of z**5/20 + 13*z**4/12 - z**3 + 5*z**2 - 9*z - 1. Is b(-11) a multiple of 12?
False
Let a = -49 + 51. Suppose -3*k = 3*s, -4*k - 3*s = -a*k + 3. Suppose k*o = 4*d - 2*o - 31, -3*d + 4*o + 24 = 0. Does 4 divide d?
True
Let c(q) = q**3 - 7*q**2 - 18*q - 5. Let l be c(9). Does 4 divide l*((-23)/(-5) - 5) - -262?
True
Let c = 11986 + -7895. Is c a multiple of 11?
False
Let v(y) = y**2 + 20*y - 51. Suppose 352 = 12*t - 23*t. Does 16 divide v(t)?
False
Suppose 4*l + 16 = 0, l + 6724 = -4*f + 8*f. Is 37 a factor of (21/(-4))/((-63)/f)?
False
Suppose 4*s = -j + 20606, -2*j + 4*s + 9642 = -31606. Is j a multiple of 67?
False
Let d = 99736 + -68486. Is 125 a factor of d?
True
Let c(d) = -1224*d - 34. Let w be c(-6). Suppose 23*h - w + 2526 = 0. Does 13 divide h?
True
Let k(s) = s**2 + 17*s + 20. Let m be k(-16). Suppose 4*q - i + 6*i - 135 = 0, m*q - 185 = 5*i. Is q a multiple of 14?
False
Suppose 5*j = 139 - 24. Let z = 18 + -14. Suppose 119 = z*x + j. Is 5 a factor of x?
False
Let w(z) = 125*z + 48. Let u be w(3). Let y = u - 393. Does 15 divide y?
True
Let r = 751 + -334. Does 5 divide r?
False
Let z(l) = 10 + 23*l + 37 - 28*l. Is 2 a factor of z(-23)?
True
Let o(g) = 59*g**2 + g + 2. Let d(u) = u**3 - 9*u**2 + 6*u - 49. Let x be d(9). Is o(x) a multiple of 13?
True
Let r(j) = 2*j**2 + 32*j + 17. Let u(x) = -30*x + 19. Let m be u(-4). Let q = 120 - m. Is 17 a factor of r(q)?
False
Does 80 divide (-4644234)/(-1230) - 2/(-10)?
False
Let v = 641 - 672. Does 31 divide (-46 + 0)/(36 - 34)*v?
True
Suppose -38919 = -3*b + 5*j + 9944, -4*j + 20 = 0. Is 14 a factor of b?
True
Let v(m) = -m**3 + m**2 + 6*m. Let c be v(3). Suppose 11*b - 88 = -c*b. Is 4 a factor of b?
True
Suppose 13*b - 5*l = 12*b + 42, -86 = -3*b + 5*l. Suppose -1107 = -b*c - 5*c. Is c a multiple of 2?
False
Suppose 0 = 5*k - 6*x + 13 - 49, 0 = 2*k - 5*x - 17. Let m(t) be the first derivative of 8*t**2 - 84*t - 1. Is 2 a factor of m(k)?
True
Let p = -2242 - -4280. Is p a multiple of 37?
False
Let q be 125/50 + (-30)/(-4). Suppose -7*h + 612 = q*h. Is 9 a factor of h?
True
Let v be (-2)/6*72/((-20)/5). Suppose 15*u - 13*u = -v. Is 23 a factor of (-71)/u - (-14)/(-21)?
True
Suppose -100 = 4*x - 5*s, 0 = 5*x + 2*s + 2*s + 166. Let t = 114 + x. Does 2 divide t?
True
Suppose 62*y = 120*y - 645018. Is 120 a factor of y?
False
Let k(a) = 118*a**2 + 10*a - 5. Let h be k(3). Suppose -h = -q - 1030. Is q a multiple of 5?
False
Let g(x) = -11 - 7*x + 20*x**2 + 16*x**2 + 21*x**2 - 21*x**2. Is g(-2) a multiple of 7?
True
Let p(j) = 37*j**3 + 54*j**2 - 57*j - 142. Let i(y) = 10*y**3 + 14*y**2 - 14*y - 36. Let b(n) = -11*i(n) + 3*p(n). Let a be (-20)/2 + 2/2. Does 14 divide b(a)?
True
Let k(c) be the first derivative of -c**4/2 - 3*c**3 + 7*c**2/2 + 4*c + 7. Let m be k(-5). Let w(j) = j**2 + 9*j + 30. Does 3 divide w(m)?
True
Let d(y) = -y**2 + 6*y. Let s be d(5). Suppose 22 = s*k + 37. Let f(n) = -n**3 - 2*n**2 - 3*n + 4. Does 22 divide f(k)?
True
Does 29 divide (-22382)/(-10) + (-73)/365 - 5?
True
Let l(y) = y**3 - 24*y**2 - 26*y + 36. Let t be l(25). Suppose -4*m = -t*m + 14. Suppose 0 = 2*b + m*d - 130, 3*b - 4*b - 3*d + 65 = 0. Does 13 divide b?
True
Let t = -26 - -34. Suppose -h - g + t = 0, g = 3*h + h - 17. Suppose k - 353 = -h*y, -y = 3*k - 89 + 24. Is y a multiple of 9?
False
Let h = -4964 + 5652. Does 12 divide h?
False
Let u be 1155/6*(-8 - 120/(-10)). Let y = 1359 - u. Does 5 divide y?
False
Let k(l) = -612*l - 5078. Does 10 divide k(-34)?
True
Let d(a) = a**2 - 16*a - 52. Let s be d(19). Suppose -4226 = s*y - 11361. Is y a multiple of 49?
False
Suppose 4*q + 0 = 20. Suppose 0 = 5*f - q*n + 35, 2*f = -2*n - n - 39. Is 24 a factor of (f/6 - -4)/((-2)/(-188))?
False
Let z = -29 - -36. Let o(d) = -22*d - 30 + z*d - 6*d. Does 15 divide o(-5)?
True
Let f(r) = 9*r - 26. Let n be (0 - (-3 - -2))*20/4. Let k be f(n). Suppose 959 = k*x + 66. Does 3 divide x?
False
Let n(g) = 3*g - 42. Let f(u) = 1. Let i(j) = -6*f(j) + n(j). Let c be i(17). Suppose 5*k = z - 53, -z - c + 52 = -k. Does 12 divide z?
True
Suppose -401*k - 351*k + 3342640 = 0. Is k a multiple of 52?
False
Let d = 42 - 27. Does 4 divide (-26)/(-104) - d/(-4)?
True
Let f(k) = 13*k**2 - 2*k - 19. Let o be f(5). Suppose 3*y - o = -95. Is 5 a factor of y?
False
Let k(q) be the first derivative of -2*q**3 + 7*q**2/2 - 4*q + 36. Let j(n) = 7*n**2 - 6*n + 5. Let d(p) = -4*j(p) - 5*k(p). Does 20 divide d(8)?
True
Suppose -5*u = 15, 2*h - 3*h + 4*u = -34. Let k(d) = d**2 - 14*d - 19. Does 7 divide k(h)?
False
Suppose 0 = 2*c - 1340 + 140. Let a = 192 + c. Is a a multiple of 72?
True
Let v be (-137445)/(-455) - 1/13. Let o = 371 - v. Is o a multiple of 69?
True
Suppose 0 = -x + 7*x - x. Suppose k = 2*k + 5*j + 11, x = -4*k + 5*j + 31. Suppose -k*g = -7*g + 879. Is 17 a factor of g?
False
Let d(c) = -7*c**3 - 2*c**2 - 53*c - 108. Is 41 a factor of d(-8)?
True
Suppose 5*d + 17*v - 13*v - 23480 = 0, 5*d + v = 23465. Is 102 a factor of d?
True
Let i(z) = 28*z**2 + 12*z - 10. Suppose 5*d - 14 = 2*d - 5*s, -4*d = -s - 11. Let j be i(d). Suppose -6*g + j = -130. Is g a multiple of 14?
False
Let y be 4 + 4 + -5 + (3 - -18336). Does 10 divide ((-2)/3)/((-4)/y*3)?
False
Let q(c) = 5*c - 4. Let h be q(1). Is (-231)/42*-2*(10 + h) a multiple of 29?
False
Suppose -3045561 - 5766149 - 47252290 = -768*d. Does 251 divide d?
False
Let n = -119 - -129. Does 26 divide (-36)/n*(-3250)/75?
True
Let f(q) = 11*q**2 - 5*q - 10. Let l = 166 + -161. Is 30 a factor of f(l)?
True
Let b(q) = 31*q + 1262. Does 20 divide b(49)?
False
Let h be (-40)/(-40) - 6/(-2). Suppose -4*s = 2*v - 30, s = h*v + 3*s - 42. Is v even?
False
Let g be (-475)/(-5) + 2 + (0 - -1). Suppose 91*n - g*n = -1379. Is n a multiple of 3?
False
Let r(m) = -3*m + 17*m**2 - 26*m**2 + 56*m**2 + 1. Is 3 a factor of r(1)?
True
Suppose 13*a = 9*a + 20. Suppose 0*c + 665 = 5*c - 4*m, -a*m = 25. Suppose -c - 127 = -4*l. Is l a multiple of 32?
True
Suppose -5*q - 82*n + 27270 = -77*n, -5*q = 2*n - 27288. Is 91 a factor of q?
True
Let a = 17 - 21. Is a*(-3 + 53/(-4)) a multiple of 13?
True
Let w(v) = 1040*v - 105 - 2122*v + 1049*v. Is 28 a factor of w(-21)?
True
Let b(a) be the third derivative of 115*a**4/24 - 46*a**3/3 - 29*a**2. Is 38 a factor of b(16)?
True
Let x(y) = 28*y + 4. Let w be x(5). Let m = w + -113. Is 3 a factor of m?
False
Suppose -22*r - 26 + 136 = 0. Suppose -3*b + 4 = 19, 4*b = r*h - 860. Is h a multiple of 12?
True
Let m = 4 - 2. Suppose 3*a = 4*b + 2*a - 864, 0 = m*b - 5*a - 450. Does 10 divide 1/(-5*(-1)/b)?
False
Is (6863/(-2))/((-318)/636) a multiple of 8?
False
Suppose 2*n - 64 = -3*d, 3*n + n = -d + 38. Let k(y) = 16*y - 24 - 8 - 10*y - 10. Is k(d) a multiple of 11?
True
Suppose -2*u = 8, 4*q = 64*u - 59*u + 5356. Is q a multiple of 23?
True
Suppose 357 = -0*x - 21*x. Let s = x + 106. Is 3 a factor of s?
False
Let g(q) be the first derivative of q**4/2 - 13*q**3/3 + 13*q**2/2 - 8*q - 13. Let c be g(8). Suppose -w + 7*w - c = 0. Does 16 divide w?
True
Let g be 1*12*(-58)/87. Let l(q) = -q**3 - 2*q**2 - 6*q + 9. Let z(h) = -h**2 + h + 1. Let v(c) = l(c) + 6*z(c). Does 8 divide v(g)?
False
Let m be 11/(22/6) + -1. Is 160/100*15/(m/2) a multiple of 6?
True
Let o(l) = -81*l - 4. Let g be o(-16). Suppose 4*c + 2*p - 1726 = 0, 0 = -3*c + 13*p - 17*p + g. Does 27 divide c?
True
Let k = 469 + -442. Is (8/(-10) - k/(-15))*73 a multiple of 2?
False
Suppose 0 = -k - k + 26. Let n = -139 + 150. Suppose -n*y + k*y = 12. Is y a multiple of 5?
False
Suppose 46*o - 1285873 + 456389 - 392828 = 0. Does 6 divide o?
False
Let k(c) = 27*c**2 + 25*c + 108. Is k(-6) a multiple of 13?
False
Suppose -367*x + 20414 = v - 371*x, -2*x = -3*v + 61222. Does 38 divide v?
True
Let r = 28 - 19. Suppose r*h - 13 = 5. Suppose 4*l - 296 = h*p, 4*p = -4*l - p + 268. Does 7 divide l?
False
Let 