vative of -r**4/4 + 12*r**3 - 25*r**2 + 105*r + 177. Does 10 divide f(34)?
False
Suppose 16 = -2*v + 4*p - 2, 0 = -3*v - 4*p + 13. Let m be (12/18*9)/((-2)/v). Suppose -5*n - 2*r + 91 = -5*r, r = m. Does 3 divide n?
False
Let h(y) = y + 11. Let f be h(-6). Let g(b) = 21*b**2 - 2*b. Let v be g(3). Suppose -v = -f*n + 117. Is 5 a factor of n?
True
Let n(y) = 4*y**2 + 17*y + 38. Does 5 divide n(8)?
True
Suppose -93*a + 147153 = -74001. Is 29 a factor of a?
True
Suppose 76*y - 64*y = 5976. Suppose y + 94 = 2*u. Is 18 a factor of u?
False
Let h = 27 + -23. Suppose 0 = -2*c + h*x - 42, 3*c + 55 = 2*x - 28. Let g = -19 - c. Is g a multiple of 4?
True
Suppose -2*j = -3*u + 3849, u - 1278 = 54*j - 55*j. Is 5 a factor of u?
False
Suppose 0*j = -18*j + 12348. Suppose -11*l - j + 2501 = 0. Does 11 divide l?
True
Let v(g) = g**2 + g - 41. Let z be 36/(-24)*4/(-3). Suppose -5*d + 88 - 23 = -3*x, 5*d + 35 = -z*x. Is 61 a factor of v(x)?
False
Suppose -164*c = -15*c - 62431. Does 12 divide c?
False
Is 4/((-16)/(-9172)) + 13 a multiple of 16?
False
Let y = -534 - -536. Suppose -860 = 3*a + 5*v - 4109, 2*v = -y*a + 2166. Is 68 a factor of a?
False
Let o(y) = -11*y - 39*y - 72 - 14*y. Let x be o(-8). Suppose -3*l + x = -2*g, -3*g + 67 = 2*l - 209. Does 12 divide l?
True
Suppose 14*a + 2160 = -6*a. Let f = -57 - a. Does 12 divide f?
False
Let n(g) = g + 12. Let m = -66 + 54. Let a be n(m). Suppose 188 = 5*w - 4*h, a*w - h - 182 = -5*w. Is 12 a factor of w?
True
Let v = 29505 - 7071. Is v a multiple of 42?
False
Let f(k) = k**3 - 8*k**2 + 5*k + 12. Suppose 0 = 3*s + 2*x - 31, 2*s - 7*s + x = -30. Let z be f(s). Does 25 divide (-369)/6*4/z*1?
False
Suppose 77*u + 72*u - 144*u = 26285. Is u a multiple of 28?
False
Suppose -4*m - 12 = v, 4*m + 12 = 3*v - 7*v. Let z be m/3*0/(-1). Suppose j - 5*r - 48 = 15, -4*r + 20 = z. Is j a multiple of 11?
True
Suppose 0 = 6*c + 5*c. Suppose f - 5*x - 3148 = -c*f, -6 = 3*x. Is f/27 - (-2)/(-9) a multiple of 29?
True
Suppose 23*b - 60 - 9 = 0. Suppose -2*q = q - b, 0 = 3*v + 3*q - 84. Is 27 a factor of v?
True
Let n(a) = a**2 - 12*a + 12. Let z be n(13). Suppose 3*l = -3*k + k + 34, 5*l - 3*k = z. Suppose 3*r - l = 154. Is r a multiple of 18?
True
Suppose -9*a - 7172 + 20834 = 0. Is 15 a factor of a?
False
Suppose -149*d + 12 = -155*d. Does 22 divide d + -6 + (120 - -6)?
False
Let w = -54 - -43. Let j = w - -15. Suppose -2*p - r = -176, p + j*r = 3*r + 88. Is p a multiple of 22?
True
Suppose -f - 33 = -12*f. Suppose -f*y - 5*y = -24. Is 2 a factor of y?
False
Let b(w) = -8*w**2 - 17*w**3 + 6*w + 18*w**3 - 19 + 8. Is b(8) a multiple of 2?
False
Suppose 5*n - 6 = -16. Let k be -1*(4/n + 4). Is 11 a factor of (k/(-6))/(14/924)?
True
Let m be 5*-1*(6 - 14 - -7). Suppose 3*b - 5*n - 965 = 0, -m*b + n = -2*n - 1635. Is 5 a factor of b?
True
Let s(l) be the first derivative of -l**2 + 20*l - 1. Let y be s(6). Let k(a) = a**2 - 6*a + 4. Does 5 divide k(y)?
True
Suppose 2546050 = 188*l + 619426. Does 8 divide l?
True
Let d be 4/(-34) - (-104)/17. Suppose d*l + l - 56 = 0. Suppose l*f = f + 1344. Is 48 a factor of f?
True
Suppose 3*o - 3*w = 81, 61*o - 60*o - 37 = 3*w. Let t be (4*16 - -2) + 2. Let f = o + t. Does 16 divide f?
False
Let y(b) be the second derivative of -b**5/20 + 7*b**4/6 + b**3/3 - 15*b**2 - 50*b. Is 4 a factor of y(13)?
False
Suppose -78*h = -81*h + 18. Let i(u) = 37*u + 121. Is 35 a factor of i(h)?
False
Let n = -3020 - -3993. Does 7 divide n?
True
Let w = -264 - -12. Let l = -193 - w. Does 9 divide l?
False
Let h(m) = -6*m**2 - 660*m + 351. Is 117 a factor of h(-65)?
True
Suppose -4259 = -3*m + 3091. Let b = m - 1700. Is 12 a factor of b?
False
Let g(m) = 10*m**2 + 29*m + 3. Suppose 0*q = q - 5, 4*q - 28 = k. Let w be g(k). Suppose -4*h + h = -w. Is 21 a factor of h?
False
Suppose 4*i - 36 = -5*i. Let r be (124/(-2) - i)/(1/(-13)). Suppose r = 7*d - 493. Is d a multiple of 51?
False
Suppose -1512 = -0*l - 14*l. Suppose 4*z + l = f, 6*f - 5*z = 3*f + 303. Is f a multiple of 32?
True
Suppose 56 + 31 = 3*g. Suppose -28*a + g*a = -52. Is 16/((-20)/5) - a a multiple of 24?
True
Does 5 divide 4/14 + -300688*(-18)/2016?
True
Let r(y) = -49*y + 16 - 38*y + 6*y. Is 7 a factor of r(-2)?
False
Suppose 0 = 3*q + 47*q - 460600. Is 14 a factor of q?
True
Let u(z) = 13*z**3 - 8*z**2 + 4*z + 56. Does 50 divide u(6)?
True
Suppose 20*d = -8936 + 38996. Is d a multiple of 2?
False
Let r = -91 - -60. Let s(t) = t + 110. Is 3 a factor of s(r)?
False
Suppose 8*b - 2*b - 2538 = 0. Let l be (1 + (-3)/9)*b. Suppose -4*t = s + 2*s - 554, 4*s = -2*t + l. Is 15 a factor of t?
False
Is 19 - (21 - (65115 - -23)) a multiple of 16?
True
Let a = 19878 + -1046. Is a a multiple of 44?
True
Suppose -3*n - 30 = 2*x, 0*n - x + 39 = -3*n. Let c(l) = 4*l - 11. Let h be c(n). Let i = -38 - h. Is i a multiple of 21?
True
Let n(p) = -3*p - 29. Let k = 23 - 39. Let u be n(k). Suppose 5*c - 33 = -4*l, u = 2*l + 4*c + c. Is l a multiple of 7?
True
Suppose 9*u + 3724 = 13*u. Suppose 4*w - u = -t, -w + 4*t + 205 = -49. Does 26 divide w?
True
Let p be (1 - 6)*1 + 10. Let s(t) = -2*t**3 + 9*t**2 + 4*t - 1. Let h be s(p). Is 7 a factor of 0 + 2/h - 1060/(-30)?
True
Let a(m) be the first derivative of -23*m**2/2 + 10*m - 16. Let l be a(4). Let v = 265 + l. Does 38 divide v?
False
Let s(v) be the first derivative of 0*v - 1/2*v**4 - 10 - 7/3*v**3 - 2*v**2. Is s(-4) a multiple of 4?
True
Let y(x) = -8*x - 270 + 544 - x**3 - 280 + 8*x**2. Does 2 divide y(4)?
True
Is 23 a factor of (-262)/((189 - 193) + (2 - (-90)/46))?
True
Let s = -13963 + 27732. Is s a multiple of 17?
False
Let s(h) = -h**3 - 9*h**2 + 13*h + 10. Let v be s(-10). Suppose -2425 = 3*r - 6*p + 8*p, -4*p = -2*r - 1622. Is r/(-7) - v/(-35) a multiple of 19?
False
Suppose -5*d = o - 30 - 4, -5*o + 14 = -d. Let v(u) = u**3 + 13*u**2 - 25*u - 157. Let h be v(-14). Is 17 a factor of (h/4)/(d/(-408))?
True
Let a be ((-399)/76)/(3/(-4)). Is (2/28 - (-3)/a)*1504 a multiple of 27?
False
Let q(r) = -11*r + 1024. Does 3 divide q(-25)?
True
Let a be (-4)/(-1) + 1 + (-5 - -5). Suppose y - 1409 = 3*d - 56, 4*y + a*d = 5463. Is y a multiple of 13?
False
Let c(u) = -262*u + 586. Is 20 a factor of c(-27)?
True
Suppose -8*a = -10477 - 1971. Let t = -966 + a. Is t a multiple of 30?
False
Suppose 3*z = 5*g - 1872, -1497 = 31*g - 35*g + 3*z. Suppose -3*x + g = 123. Is x a multiple of 6?
True
Let t(b) be the first derivative of b**4/4 - 11*b**3/3 + 9*b**2 + 8*b - 49. Does 11 divide t(10)?
True
Let n = 2011 + 617. Is 18 a factor of n?
True
Let j be (165 - -1)/((-10)/280*4). Let l = j + 1672. Does 30 divide l?
True
Let z = -3 - -7. Let b(y) = 0 + 11*y - 6 - 2 + 5 + 3*y**2. Is b(z) a multiple of 34?
False
Suppose -50*i = -4*b - 47*i + 33535, -4*i + 8360 = b. Is 10 a factor of b?
True
Suppose 2*x - 1526 = 4*v + v, 0 = x + 3*v - 752. Let k = x + -618. Is k a multiple of 44?
False
Let t(i) = -8*i**3 + 13*i**2 + 17*i - 1. Let j be t(-4). Suppose 114 + j = 5*m. Is m a multiple of 17?
True
Let x = -1533 + 8103. Suppose 3*p = 21*p - x. Does 73 divide p?
True
Let u(c) = -2*c**3 - 9*c**2 - 10*c - 3. Let g be u(-3). Suppose 2*m - 1065 = 3*w - 3*m, -m - 3 = g. Is (w/(-105))/(4/14) a multiple of 3?
True
Let w(s) = 21*s**3 - 74*s + 26. Is 9 a factor of w(7)?
False
Suppose b - 4*d - 14 = 0, -3 = 3*b + 9*d - 6*d. Suppose 25 = -b*v + 31. Is 6 a factor of -2 - ((8 - v) + -44)?
False
Let c = 4281 - 233. Is 46 a factor of c?
True
Suppose 3*r - 30 + 21 = 0. Suppose 1358 = 6*z - z + r*y, -1 = -y. Is z a multiple of 30?
False
Let c = -47 + 51. Suppose 7*b + 4*o = 5*b + 452, 0 = 4*o - c. Does 7 divide b?
True
Let x = -15421 - -20605. Does 32 divide x?
True
Let v = 11 - 7. Suppose -i + v*l - 22 = 0, -1 = i + 2*l + 15. Is 5 a factor of 8/i*-3*(49 + -4)?
True
Let j = -64 - -158. Suppose z - j = 32. Is 10 a factor of z?
False
Let x(y) = 2*y + 4*y - 4*y + 16. Suppose -5*h = 3*o + 31, 0 = -9*o + 11*o + 4. Is x(h) even?
True
Is 33 a factor of 265/(4 + 4/(280/(-275)))?
False
Suppose 5*w - 8 = 3*w. Let s(g) = -5 + 648*g**2 - 640*g**2 - 7*g + 15. Does 11 divide s(w)?
True
Let t be (-1 - -16)/(-1 + 2). Suppose 0 = -7*c + t*c - 216. Let i = 41 - c. Does 7 divide i?
True
Let i(c) = 8*c + 106. Let a be i(-13). Suppose -4*z + 4*o = -69 - 151, -z + 50 = -a*o. Does 30 