5*d, 2156 = 5*s - 4*d. Is 6 a factor of 24/108 + s/18?
True
Let i(g) = g**3 - 27*g**2 - 56*g + 12. Let q be i(29). Let k(s) = -18*s - 8. Let l be k(-6). Let u = l - q. Is 10 a factor of u?
True
Suppose -141 = -c - z + 5*z, 2*c - 5*z - 273 = 0. Suppose 2*y - 427 = -5*d, -4*y + 26 = -d + c. Is d a multiple of 18?
False
Is (-52)/13*(0 + -132) a multiple of 33?
True
Let w(c) be the first derivative of 11*c**6/360 + c**4/24 + c**3/3 + 4. Let r(s) be the third derivative of w(s). Does 19 divide r(2)?
False
Is 15/(1 + 4) - -455 a multiple of 37?
False
Let z be ((-10)/(-1))/((-6)/(-15)). Is 15 a factor of (21 - z) + (0 - -213)?
False
Let p(v) = 78*v**3 - 4*v**2 + 7*v + 9. Is p(2) a multiple of 2?
False
Let r(x) = 204*x - 352. Is 16 a factor of r(12)?
True
Let n(d) = 4*d - 7. Let q(i) = -9*i + 1. Let b be q(-2). Let w = 32 - b. Does 7 divide n(w)?
False
Let b(u) = u**3 + 6*u**2 - 7*u. Let w(s) = -3*s + 5. Let j be w(4). Let v be b(j). Suppose v = -4*c + 2*c + 84. Is 6 a factor of c?
True
Let f(u) = -u**2 - u + 5. Let a(q) = -q**2 - 2*q + 9. Let j(y) = 4*a(y) - 7*f(y). Let l be j(1). Is (4/l)/((-2)/(-36)) a multiple of 24?
True
Let n(m) = 4*m**2 - 3*m**2 - 2*m**2 + 1. Let g(j) = -2*j**3 - j**2 + 3*j. Let a(h) = -g(h) + n(h). Does 7 divide a(2)?
False
Let s = 55 - 32. Let x = 53 + -44. Let d = s - x. Is 4 a factor of d?
False
Let o(f) = -19*f - 85. Does 41 divide o(-25)?
False
Let w = -55 - -115. Let c be (27/2)/(1/(-2)). Let h = c + w. Is 11 a factor of h?
True
Suppose 3*d - 2*d = 16. Suppose -6*t = -2*t + v - 4, -4*t + 2*v + d = 0. Suppose -94 = -4*h - o, -t*o = -4*h - o + 98. Is h a multiple of 19?
False
Suppose 519 = -5*r + 7*r - 3*c, 5*c + 1043 = 4*r. Let o = r + -151. Is 14 a factor of o?
False
Let d = -413 + 539. Does 3 divide d?
True
Suppose -6*i + 3*i = -282. Suppose 5*r + i = -4*j, -r - 32 - 2 = -3*j. Is (-1 - -20)*(-21 - r) a multiple of 9?
False
Let p(s) = s**2 - 4*s - 2. Let v be p(5). Let m be v - (-333)/(-6)*-2. Suppose -2*r - 2*a + 0*a = -m, 5*a - 20 = 0. Does 20 divide r?
False
Let b(t) = -t**3 + 11*t**2 - 6*t - 6. Let x be b(10). Suppose -7 = -i + x. Is i a multiple of 17?
False
Is 5 a factor of 345 - (2/(-6))/((-6)/(-90))?
True
Suppose -4*i = -6*i + v + 347, 5*i - 860 = 5*v. Is i a multiple of 6?
False
Suppose 2*k = j, 4*k - 3*j + 1 + 3 = 0. Suppose 4*h - 54 = -k. Is h a multiple of 6?
False
Let x = 157 + 164. Is 16 a factor of x?
False
Let a be (-3)/(-1) + -7 + 10. Let g(f) = f**2 - 8*f + 3. Let c be g(11). Does 7 divide (c/3)/(3/a)?
False
Let z(m) = 3*m**3 - m**2 - m + 2. Let x(d) = 7*d**3 - 2*d**2 - d + 4. Let c(y) = -2*x(y) + 5*z(y). Does 3 divide c(3)?
False
Suppose -2*b + 150 = d - 125, 3*b - 445 = 5*d. Does 35 divide b?
True
Let f be (-7)/(21/2)*-21. Let b(y) = 0*y + 7*y**2 + 5 - 3*y + 19*y - y**3 + 6*y**2. Is 11 a factor of b(f)?
True
Suppose 0 = -126*z + 110*z + 13824. Is z a multiple of 31?
False
Let z be (-1)/(-1) + -1 + 5. Let w = z + -5. Suppose a - 20 = -2*t - w*t, 3*a - 3*t - 60 = 0. Does 7 divide a?
False
Suppose 0 = -6*a + 76 + 782. Is 13 a factor of a?
True
Suppose 6*q - 28 = -q. Suppose 0 = -q*b + 4*g + 188, -10*g - 49 = -b - 8*g. Does 5 divide b?
True
Let c = -206 + 1459. Is c a multiple of 7?
True
Suppose -5*s - 5*z = 0, 4*s = -2*z - 0 + 6. Suppose s*v - 5*y + 49 = 5*v, 0 = 3*v - 3*y - 63. Does 11 divide v?
True
Is (-2262)/(-15)*20/8 a multiple of 13?
True
Suppose 11*t - 8*t = 36. Does 12 divide t?
True
Let r = 330 - 140. Does 44 divide r?
False
Suppose -2*w - 24 + 380 = 5*k, 0 = -2*w + 6. Suppose k = g + 4*g. Is 14 a factor of g?
True
Let b = 49 + -22. Let r = 21 - b. Let l(u) = -4*u - 10. Is l(r) a multiple of 5?
False
Let c(f) = f + 1. Let w be c(4). Suppose -188 = -4*n - 2*s, w*n - 3*s = -0*s + 213. Is 5 a factor of n?
True
Suppose -s + 5*c - c = 20, -4*s = 2*c - 10. Suppose s = 4*j + 2*i - 0*i - 580, -4*j + 2*i = -580. Let r = j + -33. Is r a multiple of 14?
True
Suppose 3*v - 11 = -4*q, -3*v + 3*q - 6 = -3. Does 16 divide (-16)/(v + 4/(-2))?
True
Suppose 1405*a = 1403*a + 4044. Does 33 divide a?
False
Let s be (-36)/(-27)*(-111)/(-2). Let u = -7 + s. Is 9 a factor of u?
False
Suppose -4*a + a = -12. Suppose -3*m + 4*m + 43 = 2*t, 3*m - 15 = 0. Is a/((t/52)/3) a multiple of 10?
False
Let k(m) = -13*m + 71. Let n be k(24). Let q = n + 360. Does 17 divide q?
True
Suppose 2*k = 4*k - 4. Suppose 76 = 4*f + 5*j, -j - 52 = -0*f - k*f. Does 6 divide f?
True
Suppose 5*z = 24 + 101. Is 21 a factor of (-10)/z - 1266/(-15)?
True
Suppose -2*a - 5*s = 10, s + 2*s = -6. Suppose 10*t - 5*t - 85 = a. Does 8 divide t?
False
Let b(g) = 3*g + 7. Let m be b(-3). Does 26 divide (-27 + 3)/(m/6)?
False
Suppose -2087 + 29 = -14*z. Is 49 a factor of z?
True
Suppose 16*d - 5347 - 2765 = 0. Does 61 divide d?
False
Let b(t) = 5*t**2 + 2. Suppose -3*f + 0 = -18. Suppose -n - f = -4*n. Is 7 a factor of b(n)?
False
Let z = -243 + 316. Is z a multiple of 6?
False
Let m(x) = -x**2 - 2*x**2 - 3 + 0*x**2 + 3*x + 7*x**2. Is 15 a factor of m(4)?
False
Is (3640/(-700))/((-2)/10 + 0) a multiple of 21?
False
Let b = 1 - 2. Suppose 0 = 124*m - 120*m - 16. Does 5 divide 12/(m + b) + 15?
False
Suppose -665 = -5*a - 2*m, -3*a - 3*m = a - 532. Is 15 a factor of a?
False
Let g be -11*(-25 - -2) - 1. Suppose -w + 4*w = g. Does 28 divide w?
True
Suppose 2*x = -7*x + 27. Suppose 4*a = 5*a - 2. Suppose x*r + i - 2*i = 24, a*r - 21 = -i. Is r a multiple of 3?
True
Let b(u) = 126*u**2 + 10*u - 21. Is 12 a factor of b(2)?
False
Suppose 105*b = 71*b + 3570. Is 5 a factor of b?
True
Let d(t) = -5*t**2 - 10. Let a be d(7). Let n = a + 495. Is 48 a factor of n?
True
Let b be 18/(-30)*10/(-2). Let d(j) = -j**2 - 6*j**2 + 3*j**2 + b*j - 5*j**3 + 2*j**2 + 2. Does 8 divide d(-2)?
False
Suppose 11951 = 17*m - 1530. Is m a multiple of 61?
True
Suppose 0*t + 33 = 2*t + 5*h, 5*t + 4*h - 40 = 0. Suppose -3*x + 4*l + 625 = 0, -2*x - t*l = 104 - 514. Is 23 a factor of x?
True
Let u(y) = -4 - 1 - 17*y + 3 + 1. Is 14 a factor of u(-5)?
True
Let t(y) = -2*y + 14. Let i be 16 + (-2)/(-2) + -3. Let w be t(i). Let k = 16 + w. Is k even?
True
Let o(n) be the first derivative of 5*n**3 + 3*n**2/2 - n - 1. Is 14 a factor of o(2)?
False
Let b(z) = -2*z**3 - 19*z**2 - 3*z + 121. Is 27 a factor of b(-13)?
False
Does 10 divide 16/(-24)*(-89265)/22?
False
Let x(b) = -3*b - 46. Let f(n) = n. Let o(w) = -4*f(w) - x(w). Does 37 divide o(9)?
True
Let s(r) = -r**3 - 5*r**2 + 6*r + 7. Let z be s(-6). Let k(m) be the first derivative of 5*m**2/2 - 7*m - 59. Is 28 a factor of k(z)?
True
Let b(r) be the third derivative of r**4/24 + 5*r**2. Let y be b(3). Is 24 + ((-12)/y)/(-2) a multiple of 11?
False
Let l = 1 - -1. Let u be (10 + -1)*-3 + l. Does 11 divide (120/u)/((-3)/15)?
False
Suppose 0 = 5*j - 2*j + 45. Let d = 15 + j. Suppose d = 2*n - 6*n + 20. Does 5 divide n?
True
Let y(f) = 2*f**2 + 13*f + 3. Let g be -16 - 0*4/(-12). Let a = 7 + g. Is y(a) a multiple of 24?
True
Let x(r) = 136*r**2 + 6*r + 5. Is x(-1) a multiple of 3?
True
Suppose 21*n - 5001 - 9447 = 0. Is n a multiple of 43?
True
Let s(t) = -140*t - 29. Let j be s(-16). Suppose 6*b - j = -753. Is 28 a factor of b?
False
Let y = -112 + 274. Is y a multiple of 12?
False
Let z = -183 + 486. Does 13 divide z?
False
Let v = 789 - 715. Is v a multiple of 6?
False
Suppose 5*a = -z - 212, -2*z + 3*a - 359 = -0*z. Let s = z + 358. Is s a multiple of 9?
True
Does 7 divide ((-9)/(-2))/(28/2184)?
False
Suppose 2*x + 2*x = 0. Suppose 0 = -93*n + 83*n. Suppose x = -4*b - o + 17, 4*b + 4*o + 1 - 33 = n. Is 3 a factor of b?
True
Suppose -3*g - 2697 = -4*d, -d + 5*g + 143 = -544. Does 8 divide d?
True
Suppose 0 = 13*s + 1772 - 5594. Is 14 a factor of s?
True
Let i = -5 + 15. Suppose -i = -2*d + 3*m - 5, 2*d = -3*m + 11. Suppose g + 4*b = -4*g + 22, 22 = d*g + b. Is g a multiple of 6?
True
Let w(q) = 16*q**2 + 2*q. Let r be w(-1). Is r/105 - 2964/(-45) a multiple of 19?
False
Suppose 0 = 10*u - 37*u + 6075. Is u a multiple of 9?
True
Suppose -5*v + c + 29 = -4*v, 2*v = 4*c + 52. Does 8 divide (4 - 5) + v - -1?
True
Let t = 1277 - -73. Is 59 a factor of t?
False
Suppose 0 = -3*q - 8*u + 3*u + 11, -4*q + 4*u = -36. Suppose -10 + 3 = 4*l - 3*d, l - 5*d = -6. Let x = l + q. Is x a multiple of 3?
True
Suppose -12*z = -1590 - 1362. Is z a multiple of 26