1230)/k a multiple of 32?
False
Does 16 divide 5 - (1798/(-20) + (-1)/10)?
False
Suppose 0 = -4*s + 3*b + 1296, -3*s + 1407 = -2*b + 435. Let w = -136 + s. Is 2 a factor of (-2)/5 + w/20?
False
Suppose -3 - 3 = -i - 2*h, 2*i = 2*h + 24. Is 23 a factor of (-3)/(-1) - (-79 - i)?
True
Let j = -70 + 71. Let z = j - -43. Is z a multiple of 6?
False
Suppose -77*f = -76*f - 112. Is (9/(-12))/((-7)/f) a multiple of 12?
True
Let l(w) be the second derivative of w**7/840 + w**6/72 - w**5/60 - w**4/24 - 2*w**3/3 + 6*w. Let i(q) be the second derivative of l(q). Is i(-5) even?
False
Does 3 divide 344/3 + 70/(-105)?
True
Let g be -1*(-1)/(3/(-48)). Let a be ((-3)/(-2))/(12/g). Is (-202)/(-10) - a/(-10) a multiple of 10?
True
Let o = -277 - -305. Does 5 divide o?
False
Let b(s) = -3*s**3 + 3*s**2 + 3*s - 2. Let h be 6*-1*6/18. Is 8 a factor of b(h)?
False
Suppose -4 = 7*f - 32. Suppose 4*l - f = 0, u + 4*u - 2*l - 663 = 0. Is 46 a factor of u?
False
Let d(p) = -p**2 + 6*p - 3. Let c be d(5). Let z be c/(-8) - (-2865)/(-60). Does 8 divide (0 + -10)/(12/z)?
True
Let k be 12/(-4) - -1*7. Suppose 0 = -k*b + 5*q + 22, -2*b - q = -6*q - 16. Suppose 3*i = 6*i + 12, -b*i - 52 = -2*r. Does 20 divide r?
True
Let y = -19 + 184. Suppose y = 4*k + 49. Is 29 a factor of k?
True
Suppose 9*m = -4*u + 10*m + 1564, -4*u + 3*m + 1556 = 0. Is u a multiple of 7?
True
Suppose -13*w + 135 = -8*w. Let t = w + -16. Is 8 a factor of t?
False
Let l be 1 + 2 - 5/(-30)*-6. Does 11 divide (765/(-18) - (-3)/l)/(-1)?
False
Let p = 11 - 12. Let b = 9 + p. Suppose -5*h + 82 = -b. Does 6 divide h?
True
Let j be (1 + 9)/((-6)/((-15)/5)). Suppose -4*c - 2*f - 1322 = -9*c, -3*c = -j*f - 797. Is 33 a factor of c?
True
Let x(r) = -4*r**2 - 2*r + 2. Let z be x(-2). Let i = 145 + z. Does 15 divide i?
True
Suppose -3*k = -19*k + 46704. Is k a multiple of 14?
False
Let t(k) = -7*k**3 - 3*k**2 + 7*k - 12. Suppose -16 = -4*m, -2*b + 0 + 10 = 3*m. Let a(i) = -i**3 + i**2 - 1. Let v(g) = b*t(g) + 6*a(g). Does 18 divide v(-9)?
False
Suppose 0 = 3*f, -3*k - 3*f - 15 = -7*f. Is (-2)/k - 3704/(-40) a multiple of 51?
False
Let w be 18/4*4/6. Suppose -w*g = -g. Let m(a) = a**2 + a + 42. Does 29 divide m(g)?
False
Let k = 12 + 134. Let h = k + 15. Is 23 a factor of h?
True
Let i = 22 + -18. Suppose 19 = i*l - 21. Is l a multiple of 4?
False
Let b = -401 - -999. Is 23 a factor of b?
True
Let m = 7 + 8. Let k = -26 + 47. Let r = k - m. Is r a multiple of 3?
True
Is ((-5538)/(-30) + -5)*5 a multiple of 19?
False
Let d(y) = -y**2 - 28*y + 37. Is d(-27) a multiple of 32?
True
Suppose -4*b = -i + 49, 5*i + 2*b - 245 = -0*i. Does 7 divide i?
True
Let v be 20/(-8)*2*66/(-5). Let q = v + -26. Does 5 divide q?
True
Let x be -4 - (4/(-18) - (-237)/(-27)). Suppose q = 3, 255 = 2*a + 3*a - x*q. Is a a multiple of 9?
True
Let u(a) = -27*a + 348. Does 25 divide u(-21)?
False
Let f = 18 + -17. Is 6 a factor of (f - 0) + 39 + 5 + -3?
True
Let h = -116 + 120. Suppose n + 3*d = 137, 1 - 5 = -h*d. Is 30 a factor of n?
False
Does 12 divide -1 - (-145)/4 - 1/4?
False
Let o be 33/(-4)*(-5 + 1). Suppose 19*x - o = 18*x. Is 11 a factor of x?
True
Suppose 0 = 3*l - 320 - 730. Let a = -906 - -915. Suppose a*h = 4*h + l. Is h a multiple of 15?
False
Does 13 divide (-16)/(-160) - 6629/(-10)?
True
Let n = 13 + -19. Suppose -17*z = -11*z + 18. Is 21 a factor of 40 - z*(-4)/n?
True
Suppose -a + w + w = 4, -5*w = a - 31. Suppose 0 = -5*x + a*x - 24. Does 11 divide x?
False
Let a = 303 + -32. Suppose -3*f + 803 = -s + 6*s, s = -f + a. Is 46 a factor of f?
True
Let z = -30 + 17. Let w = z + 46. Suppose -12*r = -9*r - w. Is 4 a factor of r?
False
Let v(m) = 2*m**3 + m**2. Suppose -5*g = -14 - 6. Is v(g) a multiple of 12?
True
Let z(p) = -p**2 + 11*p + 3. Let j be 4/(5*6/15). Suppose -j = -g + 8. Is 6 a factor of z(g)?
False
Let i(d) = 6*d**2 + 13*d - 43. Does 7 divide i(5)?
False
Let z(p) = -2*p**2 - 20*p + 28. Let b be z(-16). Let g = 215 + b. Is 22 a factor of g?
False
Let l(b) = b**3 - 7*b**2 - 5*b - 10. Suppose -4*y + 3*g = -127, -3*y + 111 = -0*y + 3*g. Suppose -z = -4*h + 31, 0*h - 2*z + y = 4*h. Is 14 a factor of l(h)?
True
Suppose -4*p - 10 = p. Let k(z) = -z**3 - 4*z**2 + 5*z + 3. Let g(a) = -2*a**2 + 3*a + 2. Let o(d) = -7*g(d) + 4*k(d). Is 8 a factor of o(p)?
True
Let b = -8 - -6. Let k(v) = 2 - 2 - 1 - 4*v - 3*v**3 + 2*v + v**2. Is k(b) a multiple of 9?
False
Suppose 8*w - 1269 - 611 = 0. Suppose 5*i + 0*i - w = 0. Is 13 a factor of i?
False
Is -13 + -14115*(-2)/6 a multiple of 34?
True
Let s = -1 + 218. Is s a multiple of 18?
False
Does 42 divide 8*(5 + -9 - -88)?
True
Let g = -8 + 14. Suppose 4*f - g = 3*f - b, 2*f + 3 = 3*b. Suppose 0*o = -3*o - l + 30, -f = -l. Does 9 divide o?
True
Suppose -4*j = -6*j + 18. Suppose -3*d + 64 - j = 2*g, 4*d = -3*g + 85. Is g a multiple of 35?
True
Suppose -3*i + q + 374 = 0, 4*q = -3*i + 2*q + 359. Suppose -2*w - 3*n + i = 0, 4*w - 4*n - 238 = -2*n. Is 5 a factor of w?
True
Let b be (3*(-120)/9)/(-1). Suppose 1 = -3*q - a + 4, 5*q = -2*a + 6. Suppose q*g + b = g. Is 11 a factor of g?
False
Let u(z) = 83*z - 73. Is 52 a factor of u(22)?
False
Let s be ((-20)/(-15))/(3/36). Let p be (s/(-2))/(1/44). Is 12 a factor of p/(16/(-4)) - 4?
True
Suppose -1740 = 11*y - 16*y. Suppose -5*m + y = 4*r, 2*m + 2*m - 4*r - 264 = 0. Is m a multiple of 12?
False
Let r(h) be the first derivative of h**4/4 + 10*h**3/3 - 4*h**2 + 20*h + 2. Does 21 divide r(-10)?
False
Let o be 9*1/(-1)*-1. Let r(q) = -3*q. Let i(t) = -11*t - 10. Let d(a) = -i(a) + 3*r(a). Does 18 divide d(o)?
False
Let q be (-10 - -8) + (-4)/(-1). Suppose q*n + 88 = 6*n. Does 22 divide n?
True
Is 50*(-5 + -1)*52/(-65) a multiple of 12?
True
Suppose 5*j + 186 - 651 = 0. Let f = -15 - j. Let k = f - -159. Does 13 divide k?
False
Let c be 10*1*16/40. Let l = c + 0. Is 31 a factor of ((-4)/8)/(l/(-496))?
True
Suppose -753 = -5*z + l + 161, -5*z = 4*l - 919. Let p = z - 118. Is 26 a factor of p?
False
Let u be (1 - -1) + -2 - -2. Does 14 divide u/8 + 323/4?
False
Let s(b) = b**2 - 14*b + 1. Let i be s(13). Let z(h) = h**2 + 10*h - 14. Is 5 a factor of z(i)?
True
Let t = -26 + 54. Does 7 divide (-126)/t*1/(-3)*8?
False
Let r = 5 + -19. Let f = -320 + 215. Is (-7710)/f + 6/r a multiple of 17?
False
Let i = 51 - -273. Does 12 divide i?
True
Let k(j) be the third derivative of 2*j**2 + 1/12*j**4 + 0*j + 0 + 1/30*j**5 + 0*j**3. Is 24 a factor of k(3)?
True
Let b be -24 + (5 - 3)/(-2). Let a = -22 - b. Suppose 6*d = 2*m + 3*d - 53, -4*m + 97 = -a*d. Does 11 divide m?
True
Let m(t) = -64*t**2 + 4*t - 7. Let u(s) = -32*s**2 + 2*s - 3. Let b(y) = 2*m(y) - 5*u(y). Let z(v) = -3*v + 58. Let r be z(19). Does 31 divide b(r)?
True
Suppose -3*t + 4 - 31 = -p, 5*p - t = 149. Let i = p - -18. Is i a multiple of 15?
False
Let h = 196 - 283. Let f = -27 - 4. Let x = f - h. Does 14 divide x?
True
Suppose -4*z + 159 = 5*n, 0*z - 2*n = -z + 43. Suppose 2*y + 314 = 214. Let m = z - y. Does 36 divide m?
False
Suppose 320*u + 3024 = 323*u. Does 20 divide u?
False
Let q = -1 + 5. Suppose 0 = -5*v + 11*v - 18. Suppose c + 5*a - 90 = 0, v*c - q*c + a = -66. Is 10 a factor of c?
True
Let w(z) = 3*z**2 - 24*z - 88. Is w(-15) a multiple of 42?
False
Suppose 8*f - 2141 = 3*f - l, -3*f - 3*l + 1287 = 0. Suppose 3*r + 842 = 4*v, 6*r = -2*v + 4*r + f. Is 34 a factor of v?
False
Suppose -14*i + 20148 = 9*i. Is 7 a factor of i?
False
Does 31 divide (35/140)/(2/10376)?
False
Let i(h) = -h**3 + 3*h**2 - 2*h**2 + 0*h**2. Let j be i(-1). Suppose -6*s = -j*s, -4*t + 4*s + 28 = 0. Does 7 divide t?
True
Suppose 3*s = 7*s - 36. Let i = s - 6. Is 5*(6 - i)/3 even?
False
Let p = 19 + -23. Let h be p/16 - (-75)/12. Suppose 3*x = 12, 2*i - h*x = -x. Is 3 a factor of i?
False
Let j be 3/6*(2 + -2). Suppose -p - 9 = -j*p. Is (16/(-6) + 2)*p a multiple of 3?
True
Let a be 2/8 - (-117)/12. Let x(b) = -b**2 + 12*b + 10. Let d be x(a). Suppose d = 4*h + h. Does 3 divide h?
True
Let m = 29 - 19. Suppose -m = -3*j + j. Is 16 a factor of j + 43 + (1 - 1)?
True
Let j be 30/8*(15 + -19). Does 7 divide j/2*(-126)/35?
False
Let p be (-21768)/(-56) + (-8)/(-28). Let o = p + -267. Is 4 a factor of o?
False
Let j = 88 - 34. Suppose 3*u = -5*n + 49, 0 = -2*u - 2*u - n + j. Is u even?
False
Does 31 divide 0/(-2) - (-3