ltiple of 4?
True
Suppose -6*j - 18468 = -3*q - j, -4*q + 24624 = 4*j. Is 54 a factor of q?
True
Does 70 divide (-43505118)/(-2220) + (31/10 - 3)?
False
Suppose -k - 2 = -2*k. Let a(i) = 13 + 12 - 23 + 113*i**k + 3*i. Is a(-1) a multiple of 16?
True
Suppose -4*k = f + 4028 - 14407, -31107 = -3*f - 2*k. Does 54 divide f?
False
Suppose 3*x - 62*k = -66*k + 4243, -2*k - 1431 = -x. Is 9 a factor of x?
False
Let i = -12550 - -28196. Is 15 a factor of i?
False
Suppose -2018*x = -2006*x - 3060. Is x a multiple of 17?
True
Suppose -5*y + 3459 + 3969 = 3*u, -3*y + 5*u = -4484. Is 3 a factor of y?
True
Let c(n) = -n**2 + 5*n + 5. Suppose 9*w - 24 = 5*w. Let i be c(w). Is (10/(-15)*3)/(i/38) a multiple of 16?
False
Let r(f) = -f**3 - 74*f**2 - 1647*f - 12. Is 19 a factor of r(-43)?
True
Is 226/(-11 + (-9730)/(-882)) a multiple of 36?
False
Let l = -349 + 516. Let w = l + -52. Is 2 a factor of w?
False
Let m(u) = -7*u**2 + 20*u + 33. Let s(g) = 2*g**2 - 1. Let o(n) = -m(n) - 4*s(n). Is o(-10) even?
False
Let t(l) = -6*l**2 - 22*l - 31. Let n be t(-8). Let v = 276 + n. Does 3 divide v?
False
Let k = -8227 + 15995. Is k a multiple of 28?
False
Let h(j) be the second derivative of 7*j**4/3 - 2*j**3 - j**2/2 + 8*j + 1. Is h(-2) a multiple of 45?
True
Let h = 73 - 77. Is 9 a factor of (212 - 56)*(-1 + (-7)/h)?
True
Let t(c) = -c**2 + 11*c + 62. Let g be t(15). Suppose -1709 = -g*b - 521. Is 18 a factor of b?
True
Let z = -50 + 50. Suppose -c + 332 + 430 = z. Does 73 divide c?
False
Let d = 3471 - 3051. Is 5 a factor of d?
True
Suppose -u + 154 = 2*z, -z + 2*u = -52 - 30. Does 8 divide z/(-663) - (-2 - (-3436)/(-17))?
False
Let y = 11257 + -3. Is 18 a factor of y?
False
Let o(y) be the first derivative of y**4/4 + 8*y**3/3 + 8*y**2 + 29*y + 166. Is 2 a factor of o(-4)?
False
Let q(d) = d**3 - 9*d**2 - 23*d + 5. Suppose 3*j = -3*x + 45, 2*x - 9 = -1. Let z be q(j). Is 12 a factor of z/(168/(-4865)) - 3/4?
False
Suppose 0 = -4*v + 509 + 43. Let l = -42 + v. Suppose 4*k = -5*g + 548, 5*g = -k + 41 + l. Does 15 divide k?
False
Does 22 divide (-6 - 1985)/((1 + -4)/12)?
True
Suppose -5*m = -501 + 441. Suppose 2*d = -0*d + 6. Is ((-8)/d)/(m/(-90)) a multiple of 9?
False
Let x(b) = b**2 + 16*b + 19. Let j be x(-15). Does 5 divide j + (3 - (-380 - -7))?
True
Let d be (40/32 + 1/(-4))*-8. Let k(b) = b**2 + 7*b - 6. Let a be k(d). Suppose -2*q + v + 77 = 0, 4*v = -4*q + a*v + 174. Does 29 divide q?
False
Let f(w) = 3*w**3 - 13*w**2 + 7*w - 2. Suppose -2*l = 5*v + 3*l + 25, -5*l - 7 = 2*v. Let b(c) = -6*c - 30. Let q be b(v). Does 55 divide f(q)?
True
Let t(l) = 42*l - 92. Let k be -2*4/6 + 1105/255. Is 3 a factor of t(k)?
False
Suppose 0 = 2*z - 17 - 11. Let q be 82/10 + z/(-70). Suppose 0 = -q*m + 74 + 158. Does 21 divide m?
False
Let x(n) = n**3 + 11*n**2 - 14*n - 22. Let j be x(-11). Suppose 6*v = -j + 1356. Is v a multiple of 4?
True
Let y be 1/(3 - 113/38). Suppose 2*f = -3*s + 573, 4*f = y*s - 35*s - 573. Does 14 divide s?
False
Let v(n) = 35*n - 10*n - 6 - 40. Let j(p) = p**3 - 2*p**2 - 12*p + 25. Let f be j(4). Does 34 divide v(f)?
False
Does 136 divide ((-1438)/(-5) + (-8)/(-20))/(105/1785)?
True
Suppose 0 = 4*r - 5*s - 7, 0*s + 17 = -r - 5*s. Let c be 3 - r - (0 - -1). Suppose 5*k + 3*h - 136 = h, 2*h - 108 = -c*k. Is 15 a factor of k?
False
Suppose -f + 4*g + 25 = 4*f, 0 = 4*f - 3*g - 21. Suppose 0 = 4*u + 5*w + 18, -4 = 2*u - 4*w + f*w. Does 15 divide (1/(-2))/(u/252)?
False
Let t(v) = -7*v**2 - 3 - 3*v**3 - 5*v**3 + 3 + 6*v + 7. Let d be 8/(-3*8/12). Is t(d) a multiple of 57?
False
Suppose 0 = -i - 10 + 15. Suppose i = -n + 6. Let v(j) = 82*j**2 - 1. Does 26 divide v(n)?
False
Let d(c) = -11*c - 179 - 2*c**2 - 169 + 346. Let b be d(-5). Is -4 - b/(((-42)/(-388))/(-7)) a multiple of 39?
False
Is (-120 - -116)/(1/(-3) + 185/564) a multiple of 8?
True
Suppose -2 = -6*p - 26. Let d be 111/21 - (-5)/(70/p). Suppose 15 = d*j, 2*j = 3*s + j - 117. Is s a multiple of 7?
False
Suppose 5*z = 20, -179 = u - 6*u - z. Is 9224/28 + 20/u a multiple of 22?
True
Let f(r) be the third derivative of -r**7/84 + r**6/120 + r**5/60 + r**4/12 - 2*r**3/3 + 8*r**2. Let w(t) be the first derivative of f(t). Does 15 divide w(-2)?
True
Let h = -2945 - -3654. Is 19 a factor of h?
False
Let h be (9/(54/(-4)))/((-2)/6). Suppose -o = -h*o - o. Suppose 12 = 4*b + 2*m + 2*m, -4*b + 3*m + 47 = o. Does 2 divide b?
True
Let l = -16222 - -16770. Is 3 a factor of l?
False
Let q be (-4)/(-10) + 30/(-75). Does 10 divide 10 - 16 - (232 + q)/(-2)?
True
Let i be (-10 - -14) + 68/2 - -2. Suppose -248*h = -249*h + i. Is h a multiple of 5?
True
Suppose 58 = 3*n + t, -3*t - 30 = -2*n + 27. Suppose -n*l = -26*l + 3215. Is 9 a factor of l?
False
Let b(z) = -z**3 - 13*z**2 + 32*z - 40. Let o be b(-15). Is 9 a factor of -2*(4354/o)/(2/5)?
False
Suppose 0 = -11*r + 3*r + 25344. Suppose 7*m = 15*m - r. Does 28 divide m?
False
Let q(p) = 5*p**2 + 69*p + 978. Is 75 a factor of q(-42)?
True
Suppose -3117 = -43*p + 40*p. Suppose -p = -5*y + r, -5*r - 345 - 66 = -2*y. Does 42 divide y?
False
Suppose 385*g - 255322 = 347*g. Is g a multiple of 13?
False
Let f be ((-126)/8 + (-8)/32)*-3. Let o = f + -8. Does 4 divide o?
True
Let s(t) = 5*t**3 - 46*t**2 - 15*t - 8. Is 8 a factor of s(13)?
True
Is 38895/21 - (-19)/2793*-21 a multiple of 4?
True
Let k(w) = 3739*w + 44. Is 11 a factor of k(3)?
False
Let d = -407 - -477. Let m = 1087 + d. Is 79 a factor of m?
False
Let z = -135 - -216. Suppose 77*j - z*j + 336 = 0. Does 14 divide j?
True
Let t(p) = -12*p**3 - 3*p**2 + 4*p + 3. Let a(c) = 2*c**3 + 12*c**2 + 13*c + 12. Let d be a(-5). Is t(d) a multiple of 24?
True
Suppose -3 = -k + 1. Let q be (-78)/(-9)*99/3. Suppose k*i - 2*i - q = 0. Is 36 a factor of i?
False
Let f = 11 + -24. Let m = 595 - 639. Let x = f - m. Is x a multiple of 5?
False
Suppose 27*z - 22*z - 6185 = -4*w, 1251 = z - 2*w. Is 4 a factor of z?
False
Let b(p) be the third derivative of 9*p**2 + 0*p - 5/3*p**3 - 19/12*p**4 + 0. Is 26 a factor of b(-3)?
True
Let h(r) be the second derivative of 5*r**4/6 - 7*r**3/6 - r**2/2 - 18*r. Let f be h(2). Suppose -4*d + 5*d - f = 0. Is 16 a factor of d?
False
Let n(l) = -9*l**3 - 6*l**2 - 18*l - 29. Let q(w) = -5*w**3 - 3*w**2 - 9*w - 15. Let h(o) = -6*n(o) + 11*q(o). Let s be h(5). Does 2 divide (-25)/20 + 1 + 53/s?
False
Suppose -5*o = 2*g - 18694, g - 5902 - 9055 = -4*o. Is o a multiple of 22?
True
Suppose 5*h = -3*b + 89, 84 = 5*b - b - 2*h. Suppose -5*x + 28 = y, -x + 5*x = -y + b. Suppose 2*r = 10, 6*m = 4*m - x*r + 129. Is 13 a factor of m?
True
Let n(f) = -8*f + 21. Let y(w) = w. Let c(a) = -n(a) - 4*y(a). Does 13 divide c(9)?
False
Does 9 divide 2/12 + (-1829005)/(-282)?
False
Let w be (-842)/(-10) - ((-93)/(-15) + -6). Does 3 divide (-16)/(-14)*w/(-192)*-8?
False
Let n(x) = -4*x**2 + 4*x**2 + 30 + x**2 + 9. Let j be 3 + (2 - (0 - -5)). Is n(j) a multiple of 5?
False
Let x(z) = -14*z - 196. Let a be x(-8). Is 89 a factor of -85*a/35*3?
False
Let g(j) = 53*j - 30*j**3 - 29*j**3 - 17*j**2 - 31*j**3 + 12 + 92*j**3. Does 13 divide g(7)?
False
Is 10 a factor of -4 - (-203 - (-6 + -4))?
False
Let q = 13347 - 7613. Does 122 divide q?
True
Let c(k) = -3*k**2 - 19*k - 10. Let z be c(-5). Let i be (15 - z) + 1 + 2. Suppose -i*d + 120 = -4*d. Is 5 a factor of d?
True
Let u = -30 - -33. Suppose u*l + 72 = -n + 357, 2*l - 4*n = 204. Is 14 a factor of l?
False
Suppose -12*k + 7952 = -5*k. Suppose 5*a - k = -256. Is a a multiple of 16?
True
Let c(m) = -58*m - 8 + 32*m - 29 + 125*m. Is c(3) a multiple of 7?
False
Let p(a) = 5*a - 7. Let g be p(5). Suppose -2*f + 0*f - 2 = -5*d, d + g = 5*f. Suppose y - 110 = f*m, -5*y - 2*m + 538 = -100. Is y a multiple of 14?
True
Does 50 divide (-449 + -1)*602/(-903)?
True
Let w = -4165 + 6590. Does 41 divide w?
False
Suppose 2*g = 2*d - 2, 3*g + 4*d = 8*g + 4. Suppose g = 34*p - 27*p - 3661. Is p a multiple of 56?
False
Suppose 7*y + 9 - 9 = 0. Does 3 divide ((-2 - y)*-1)/(10/70)?
False
Let d(a) = -a**3 - 3*a**2 + 5*a - 8. Let q be (-3)/(-12) + (-63)/12. Let o be d(q). Suppose -o*l + 1980 = -2*l. Is l a multiple of 11?
True
Is 26 a factor of (-4487469)/(-9604)*4/(-18)*-6?
False
Let q(r) = 145*r - 151*r + 262 - 22. Is 13 a factor of q(-25)?
True
Let b(f) = -5*f - 6. Let l be b(-5). Suppo