uppose -2*j - 20 = 14. Let a be 3/9*j - 2/6. Is 6 a factor of (a/(-9))/(10/435)?
False
Suppose 5*w = -4*m + 811 + 2415, -5*m - 30 = 0. Is w a multiple of 4?
False
Suppose -h - 4185 = 2*h. Let a be 6680/(-440) - 6/(-33). Does 9 divide (2/3)/(a/h)?
False
Suppose 108*f - 114*f - 42 = 0. Does 6 divide (-12474)/(-294) + (-4)/f?
False
Let n(f) = 4*f**3 + 1. Let t(h) = 130*h**3 + 14*h**2 + 26*h - 2. Let j(i) = -2*n(i) - t(i). Does 33 divide j(-2)?
False
Let m(s) = 2*s**3 + 47*s**2 + 92*s - 21. Does 28 divide m(-21)?
True
Let p be (-5)/((-10)/8) + -1. Let h be (2 - 0)/(8/(-12)*p). Is 10 a factor of 2/7 - (h + 524/(-28))?
True
Let x(v) = v**3 + 5*v**2 + 3*v - 1. Let k be x(-1). Suppose 5*r + k*y = 4*y + 460, 2*y = -r + 78. Does 11 divide r?
True
Let a be -3 + (3 - 3) - (-1 + -3601). Suppose 4*m + 20 = 0, 3*y - 3*m - m - a = 0. Does 83 divide y?
False
Suppose 3*v - 20 = 3*g + 1, -3*g = 12. Let p(h) = -4*h**2 + h**v + 3*h - 50 + 0*h**2 + 43. Is 9 a factor of p(5)?
False
Let h(c) = 5*c - 48. Let y(l) = -2*l**2 + 22*l + 22. Let o be y(11). Let g be h(o). Let b = g - -8. Does 7 divide b?
True
Let f(m) = m**2 - 3*m - 11. Let u be f(0). Does 56 divide -4 + 4 - 3080/u?
True
Suppose 4*b + 437 = 57. Let r = -87 - b. Let t = r - -34. Does 6 divide t?
True
Suppose -97*i - 11*i = -596291 + 12875. Is i a multiple of 11?
False
Let w(f) = f**3 + 5*f**2 + 30*f - 14. Is w(8) even?
True
Suppose -4*h - 16 = -4*j, 0 = 5*j - 7*h + 4*h - 22. Suppose -3*x - j*s - 83 = -522, 443 = 3*x + s. Is x a multiple of 33?
False
Let b(j) = 600*j**2 - j - 13. Let o be b(-3). Suppose 0 = -31*w + 26*w + o. Suppose -6*r = r - w. Is 9 a factor of r?
False
Let j be -67 + 4/(-10) + 7/5. Let t = 70 + j. Suppose 12 = t*z, -2*z + 551 = 4*i - 5*z. Is i a multiple of 8?
False
Suppose -5*u = 5*q - 45, -17*u = -20*u - q + 19. Suppose -u*a = -1183 - 4832. Is a a multiple of 8?
False
Let p be 1/((-6)/(-26))*6. Let u be p/4 + 1/2. Suppose 96 - 26 = u*a. Is a even?
True
Let z(g) = 4*g**2 - 4*g - 2. Let d be z(-1). Suppose 0 = -d*c + 11*c - n - 976, -1000 = -5*c - 5*n. Does 16 divide c?
False
Let y(t) = -2*t**3 + 4*t**2 - 4*t - 10. Let s(m) = -4*m**3 + 3*m**2 - 5*m - 12. Let c(z) = 3*s(z) - 4*y(z). Does 8 divide c(-3)?
False
Suppose 0 = 26*f - 19901 - 50403. Does 4 divide f?
True
Suppose 0 = 2*l - 114 + 14. Suppose 49*g = 48*g - 38. Let f = g + l. Does 6 divide f?
True
Suppose 81848 = 2*n + 2*n + 3*r, 5*n + 4*r - 102311 = 0. Is n a multiple of 85?
False
Suppose 4*a = z + 41339, 3*a = -z + 5601 + 25405. Is 15 a factor of a?
True
Let h = -9203 - -12100. Is h a multiple of 78?
False
Suppose 3*f = 8*f - 145. Suppose 0 = 6*d + 5 - f. Suppose d*t + m - 356 = -60, 154 = 2*t - m. Is 13 a factor of t?
False
Let c = 244 - 171. Let x(b) = 82 + b**2 - 25*b + 24*b + b**3 + c. Is x(0) a multiple of 31?
True
Let d be (502/4)/(10/(-20)). Let z = -143 - d. Is z a multiple of 9?
True
Let k be (4 + -5)*(10 + (-2 - -3)). Is 38 a factor of (-3676)/k + (-6)/33?
False
Let d = 2483 + -1790. Is 2 a factor of d?
False
Suppose 9*o = 4*o - 2560. Let t = 751 + o. Is 7 a factor of t?
False
Let w(o) = 3*o**2 - 3*o - 12. Is w(13) a multiple of 3?
True
Is ((5 - 358799/(-119)) + (-2)/17)/1 a multiple of 48?
False
Let w be 10/(-30) + (-2 - (-26)/6). Let y be (18 + -12)*(w/(-4) + 1). Is (-14)/y*(-480)/112 a multiple of 10?
True
Suppose -3*n + 22 = 4*z, -11 = -3*n + n + z. Suppose -3*c - 17 = -4*h, n*c = c + 25. Suppose h*x - 400 = -2*x. Is 7 a factor of x?
False
Suppose -57*v + 361 = 5*l - 54*v, 281 = 4*l + 5*v. Is 7 a factor of l?
False
Let k = -11816 + 12444. Does 4 divide k?
True
Let f be (-8 - -14) + 1*2. Suppose 22 = -15*a - f. Is ((-15)/10 - a)*52 a multiple of 4?
False
Suppose 4*s + 124 = 4*y, 4*s + 38 = -3*y - 58. Let f(c) = -24*c - 44. Is 16 a factor of f(s)?
False
Suppose -10*y + 5*y = -315. Let q be -64 + 13 + -2 + 1. Let z = q + y. Is z a multiple of 11?
True
Let y be (-21)/(-6) + (-39)/(-26). Suppose -y*x + 13*x = 144. Is x a multiple of 2?
True
Let n be (-59*3)/(-1) - (-16 - -12). Let t(i) = -i**3 + 7*i**2 - 5*i - 3. Let l be t(8). Let c = l + n. Is c a multiple of 6?
False
Suppose -755*v + 320397 = -744*v. Is v a multiple of 33?
False
Let t(j) be the second derivative of j**5/20 + 3*j**4/2 - 4*j**3/3 - 9*j**2 + j - 1. Does 31 divide t(8)?
False
Suppose 0 = 21*r - 14*r. Suppose r = 15*w - 2504 - 2041. Is 29 a factor of w?
False
Suppose 4*u - 46592 = -5*y, -4*y + 41826 = 4*u - 4770. Is 10 a factor of u?
False
Suppose -8*w + 8769 + 7439 = 0. Let d = -703 + w. Is d a multiple of 89?
False
Let d = -12071 + 17736. Is d a multiple of 17?
False
Suppose 61 = 9*m - 11. Suppose -9*i = m*i + 68. Is 9 a factor of (i/(-18) + (-10170)/(-162))*1?
True
Let q(i) = -344*i + 21. Let w be q(-11). Suppose 0 = 4*n + n - p - w, -2*n - 2*p = -1510. Is n/(-15)*(-3)/2 a multiple of 17?
False
Let q(p) = -28 - 2*p + p**3 + 3*p - 20*p**2 + 5*p - 3*p**2. Let m be q(23). Suppose -82 = 108*j - m*j. Is j a multiple of 27?
False
Let m(a) be the first derivative of a**6/360 - a**5/60 + 11*a**4/3 - 38*a**3/3 - 18. Let j(z) be the third derivative of m(z). Is j(0) a multiple of 11?
True
Is 10 a factor of (-16 - (-9 + 14))*(3790/(-6) - 0)?
False
Suppose 5*y - 55460 = 5*i + 22140, 0 = -y - i + 15530. Does 225 divide y?
True
Is 25 a factor of (-1965)/((2/25)/((-16)/60))?
True
Let q(k) = 69*k + 3185. Is q(-29) a multiple of 8?
True
Suppose 0 = -3*q - u + 53418, q = 5*u + 11230 + 6528. Does 19 divide q?
True
Suppose 0 = -4*g + 5*h + 1126, -5*h + 5 = -5. Let m = g - 200. Suppose 4*w - m = -2*y - 2*y, 5*y - 2*w - 119 = 0. Does 4 divide y?
False
Suppose -s = -5*y - 17, 51 + 8 = 2*s - 5*y. Suppose h = -5*h + s. Suppose 606 = 13*v - h*v. Is v a multiple of 22?
False
Let k = 97 - 124. Let x = k + 34. Suppose 0 = 4*f - x*f + 78. Is f a multiple of 13?
True
Suppose -16 = 2*g - 6*g. Let a = g + 1. Suppose 0 = -v - 4*v + h + 497, -2*h - 499 = -a*v. Is v a multiple of 36?
False
Let i(g) = -215*g**3 - 4*g**2 + 7*g - 2. Let s(f) = 214*f**3 + 3*f**2 - 6*f + 2. Let x(a) = -5*i(a) - 6*s(a). Is x(-1) a multiple of 26?
True
Let u(b) = b**3 + 7*b**2 - 9*b + 7. Suppose -4*d + 0*v + 32 = -4*v, 0 = -v - 4. Let t be u(d). Let i = t - -43. Is i a multiple of 19?
True
Is 77 a factor of (6108/(-9))/(-16*14/3192)?
False
Let y(v) = v**3 - 4*v**2 - 23*v - 55. Is 58 a factor of y(13)?
False
Suppose 45*u - 27008 = 55910 + 28232. Does 9 divide u?
False
Let r(j) be the second derivative of j**5/20 + 5*j**4/12 + 7*j**3/6 + 3*j**2 + 12*j. Let c be r(-6). Let o = c + 111. Does 13 divide o?
True
Let u(a) = -15*a**2 + 4*a**2 + 5*a**2 + 4*a**2 + 38 - 33*a. Let i be u(-18). Is 30 a factor of 20*6/(-9)*180/i?
True
Suppose 3*d = -5*a + 16575, 15*a - 19*a + 4*d = -13292. Is 7 a factor of a?
True
Suppose -3*v = 55 + 20. Let t be 10/v - (277/(-5) - -1). Let f = t - -14. Is 17 a factor of f?
True
Does 88 divide 6 + (4613/(-28))/(1/(-24))?
True
Let l(g) = g**3 - 16*g**2 + 27*g + 16. Let d be l(14). Suppose 0 = -z - 4*h + 928, 5*z - 4931 = -d*h - 291. Does 29 divide z?
True
Suppose -359*s = -112*s - 4816747. Is s a multiple of 171?
False
Let n = 4954 + 8528. Does 126 divide n?
True
Let v = -434 - -426. Does 2 divide 20 - (-8)/v*3?
False
Let y be 1/(7 - (-438)/(-63)). Let l(u) = 2*u**3 - 41*u**2 + 19*u - 8. Is l(y) a multiple of 13?
True
Suppose -2*f = -243 + 65. Suppose 4*g - 128 - f = -3*t, 3*g - 170 = 5*t. Is 55 a factor of g?
True
Let y = 117850 + -48135. Is 22 a factor of y?
False
Suppose 4*h = 4*v - 92, -2*v + 4*v = -2*h - 26. Let c = -17 - h. Does 11 divide (-4 - 0) + 77*c?
False
Let h be (24 - 17) + (-5 - 2). Does 46 divide -5 + 12*((-299)/(-4) - h)?
False
Let m(d) = -36*d - 72. Does 10 divide m(-7)?
True
Is 69 a factor of (3/(-36)*-3)/((-41)/(-1265588))?
False
Suppose -7*a - 17 + 38 = 0. Suppose 12 = 5*o - 9*o - 5*f, -a*f - 12 = 0. Is o a multiple of 2?
True
Let n(o) = -9*o**2 + 13. Let a be n(-3). Let b = a - -236. Does 8 divide b?
True
Suppose -r - 3*q + 141 = 0, -5*q - 195 - 158 = -3*r. Suppose -4*d + 286 = -r. Let k = 128 - d. Does 22 divide k?
False
Suppose -7479*r + 17952 = -7446*r. Is r a multiple of 23?
False
Suppose -d + 10 = -5*f, -8*f + 7*f - 3*d - 2 = 0. Is 176/(f/(-2 - -1)) a multiple of 5?
False
Let w(r) be the first derivative of -2*r**2 + 32*r + 8. Suppose 0 = 2*v - 7*v + 30. Is 3 a fact