0/((-16)/(-4)). Suppose -3*n - 44 = 2*t, r = n + 2*t + 11 + 5. Let a = n + 22. Is 5 a factor of a?
False
Is 78 a factor of (7 + -9)*(-19352)/16?
False
Let g = 64 - -323. Is g a multiple of 47?
False
Does 20 divide (54/12)/((-3)/(-60) + 0)?
False
Is 25 a factor of (-4 - 20/25)/(3/(-70))?
False
Is (340/595)/((-2)/(-1498)) a multiple of 40?
False
Does 21 divide 1046 + 6 + 1/(6 - 5)?
False
Let m = -232 - -502. Is m a multiple of 15?
True
Let t(h) = 14*h**2 + 12*h + 6. Let q(i) = -5*i**2 - 4*i - 2. Let v(m) = 8*q(m) + 3*t(m). Let s = 16 + -20. Does 13 divide v(s)?
False
Suppose 0 = 2*f + 4*c - 490, -50 = -5*f - 2*c + 1183. Is f a multiple of 13?
True
Let z = -81 - 9. Let c = 128 + z. Suppose 5*l = -a - a + c, -19 = -2*l + 3*a. Is l even?
True
Let w = -21 + 23. Let f be 6*(1/w - 0). Suppose f*g - 92 = -2. Does 13 divide g?
False
Let k(n) be the third derivative of 0*n + 7/3*n**3 - 1/60*n**5 - 19/24*n**4 + 0 + 11*n**2. Is k(-14) a multiple of 19?
False
Let h(a) = -a**3 + 19*a**2 - 34*a + 27. Is h(11) a multiple of 27?
True
Let w(v) = -30*v + 448. Is w(5) a multiple of 11?
False
Let p(r) = -3*r + 9. Let l be p(12). Let n = l - -52. Is 13 a factor of n?
False
Let l = 3253 - -5. Is 15 a factor of l?
False
Suppose 4*h = -0*h - q + 73, 5*q = 2*h - 31. Suppose -3*i + w = -17, -h = -4*i + 2*w + 2. Suppose 33 = 5*o - i. Does 8 divide o?
True
Let k be (-1 - 1)*1/2*-214. Let z = k - 142. Is z a multiple of 36?
True
Is 9 a factor of 202 + -1 + (-20)/(-25)*5?
False
Suppose -2*s - 5*g = -1317, -3*g - 1965 = -72*s + 69*s. Does 41 divide s?
True
Suppose z = -2*o + 318 - 138, 0 = -4*z + 4*o + 720. Is z a multiple of 15?
True
Let u(z) be the third derivative of -z**6/120 + z**5/5 - 7*z**4/24 + 5*z**3/6 + 12*z**2. Does 7 divide u(11)?
True
Suppose 0 = -2*n + 1 + 5. Let a = n - -1. Suppose -i + 5*k - 18 = -85, k - a = 0. Is 24 a factor of i?
False
Let i(j) = 23*j - 9. Let w be i(-11). Let k = w - -441. Is 44 a factor of k?
False
Suppose -s + 5*d = -0*s + 15, 3*s + 34 = 4*d. Let i be (-2)/s - (-22)/(-10). Let l = 16 + i. Is l a multiple of 14?
True
Let h(m) be the second derivative of 10*m + 0*m**3 + 1/12*m**4 + 15*m**2 + 0. Does 10 divide h(0)?
True
Let a = 30 - 6. Suppose 2*p = 6*p - a. Does 19 divide (-8)/(-6) + 352/p?
False
Suppose -5*r + 5 - 10 = 0. Let x be (r + (-4)/8)*-2. Suppose -x*t = -11 - 37. Is t a multiple of 3?
False
Suppose n + 0*w - 2*w - 65 = 0, -2*n = 3*w - 109. Suppose -678 = n*v - 62*v. Is v a multiple of 47?
False
Let k = -209 + 341. Suppose -3*y = -6*y + k. Does 4 divide y?
True
Let m = 149 - 138. Suppose 49 = p - 4*l, -m*l + 7*l - 244 = -4*p. Is p a multiple of 13?
True
Suppose 1071 = -82*z + 89*z. Is z a multiple of 9?
True
Let g be 3 + 0*(-3)/(-9). Suppose -g*j = -j - 8. Let x = 32 - j. Does 7 divide x?
True
Does 26 divide (3 - -2) + -9 + 0 - -215?
False
Let p(q) = 20*q**3 + 4*q**2 - 6*q - 1. Is 20 a factor of p(2)?
False
Suppose h = -t + 209, -4*h + 510 = 2*t + 90. Is 7 a factor of t?
False
Let y(p) = p - 4. Let d be y(4). Suppose -2*b + b - q - 44 = d, 118 = -2*b + 4*q. Let a = 69 + b. Is a a multiple of 4?
True
Is (-66)/5*((-15)/(-5) + -13) a multiple of 57?
False
Suppose 0 = -0*c + 6*c + 1116. Let j = 3 - c. Does 22 divide j?
False
Suppose 14*c = 19*c - 415. Suppose 4*n = 85 + c. Is n a multiple of 6?
True
Does 57 divide (-16)/(-6)*(-5775)/(-44)?
False
Suppose 15*h - 4*h = 16896. Is h a multiple of 98?
False
Let b = 51 - -17. Does 17 divide b?
True
Let q be ((-21)/2)/(-7)*2. Suppose 9*a - 210 = q*a. Is 5 a factor of a?
True
Is 6/(-27)*-3 - (-3296)/6 a multiple of 23?
False
Suppose 0 = -3*k + 3*z - 5*z + 294, -3*k - 5*z + 294 = 0. Is k a multiple of 14?
True
Let k(n) = 27*n**3 - 4*n**2 + 4. Let b be k(2). Let i = b + -121. Suppose -q + 253 = 3*w, 0 = w - 2*w + q + i. Is w a multiple of 28?
True
Let g be ((-7)/(-3))/((-5)/(-15)). Let i(c) = c**2 + 2*c + 9. Let o be i(g). Is 17 a factor of ((-4)/(-6))/(1/o)?
False
Is 63 a factor of 12/21 + (-741)/133 + 2668?
False
Suppose 0 = 3*c + 4*j - 8382, 219*c - 221*c = 5*j - 5595. Is c a multiple of 14?
False
Let p be (-18)/4*4344/(-36). Suppose -15 = -5*t, -4*j + 0*j - 5*t + p = 0. Does 11 divide j?
True
Suppose -48 = 4*i - 2*z, -5*i = -3*i - 2*z + 28. Let f be (-398)/i + (-4)/(-20). Suppose 115 = g + f. Is 12 a factor of g?
False
Let s(t) = 14*t + 28. Let v be s(13). Suppose 2*x - 417 = -4*d - x, -2*d - 2*x = -v. Is 17 a factor of d?
True
Suppose 3*f = -3*i + 7 - 91, -5*f - 112 = 4*i. Let d(a) = 8*a**3 + 2*a**2 + 1. Let j be d(-2). Let p = i - j. Does 15 divide p?
False
Let t(k) be the first derivative of k**4/2 - k**3 - 3*k**2/2 + 7*k + 17. Let w = -4 - -7. Is 6 a factor of t(w)?
False
Suppose 9*r - 125 = -16*r. Let o(y) be the third derivative of y**4/12 + 5*y**3/6 - y**2. Is 6 a factor of o(r)?
False
Let c(u) = -2*u - 6. Let i be c(-4). Suppose -5*o - i*a - 134 = 0, -5*o - 65 = -2*a + 61. Let p = 45 + o. Is p a multiple of 9?
False
Let n be 8/(-24) - (-122)/(-3). Let p = -24 - n. Is 15 a factor of p?
False
Suppose 5*x - 37 - 17 = -o, 0 = -4*o + 4*x + 144. Is o a multiple of 39?
True
Suppose 2408 = 4*l + 4*r, 2*l - 882 = -3*r + 318. Is 32 a factor of l?
False
Suppose 7*a - 2*a + 20 = 0, 2*a - 5 = -k. Let s be 2 - (-3 - -6)*-1. Suppose -26 - k = -z + s*c, 2*c - 222 = -5*z. Does 11 divide z?
True
Let b = -36 - -1648. Is 31 a factor of b?
True
Suppose 2*w = -0*w + 92. Let j be (-3*16/15)/(6/(-15)). Let f = w - j. Does 9 divide f?
False
Let t = 2254 + 425. Is t a multiple of 47?
True
Let k be 386/10 - (-6)/15. Suppose -18 = -8*w + 30. Suppose k = w*c - 5*c. Does 8 divide c?
False
Suppose -4*a + 446 = 2*v, 3*a - 2*v - 354 = 3*v. Is 23 a factor of a?
False
Let d = 45 + -85. Does 5 divide ((-39)/(-12) - 4)*d?
True
Suppose 2*l - 5431 = -5*s, -13*s - 13625 = -5*l - 16*s. Is l a multiple of 22?
True
Let y(w) = -5*w - 1. Let v be y(-8). Suppose 72 = 43*j - v*j. Is j a multiple of 3?
True
Let s(r) = -1. Let m(c) = 7*c - 2. Let o(d) = -m(d) - 3*s(d). Is o(-3) a multiple of 26?
True
Let q be (-1)/6 + (-62)/(-12). Suppose 54 = c - m, -3*c + q*m - 138 = -6*c. Is 20 a factor of c?
False
Let d = -882 - -1023. Is d a multiple of 7?
False
Suppose 4*b - 77 + 21 = 0. Let c(t) = 5*t + 12. Does 32 divide c(b)?
False
Let i = 2518 - 1834. Is 18 a factor of i?
True
Let w(o) = 17*o**2 - 153*o + 19. Is 8 a factor of w(14)?
False
Let x(y) = y**3 - 2*y**2 - 8*y + 146. Does 9 divide x(0)?
False
Let j be 9/6*188/6. Let c = -30 + j. Is c a multiple of 10?
False
Suppose -3*w = -5*c + 2*c + 1074, 4*c - 1448 = -4*w. Does 30 divide c?
True
Let d be 4/30 + (-3 - 452/15). Let a = d - -52. Is a a multiple of 6?
False
Suppose -9*t + 1 + 26 = 0. Does 25 divide 1230/9 + (14/6 - t)?
False
Suppose -2*b - 37 = -3*z - 6*b, -2 = -2*b. Suppose z*k - 489 = 8*k. Is 42 a factor of k?
False
Suppose g = -5*k - 105, 3*g + 2*g - 3*k + 497 = 0. Is 10 a factor of 39*(g/(-15))/5?
False
Let u(p) = p**2 + 3*p + 2. Let b be u(-4). Suppose -3*y + 143 = 4*x, -b*x + 235 = 5*y - x. Let i = y + -19. Is 12 a factor of i?
False
Let h = -9 - -34. Does 6 divide 2 + (h - (-2 + 0))?
False
Let j be -5*20/(-75)*-18. Does 7 divide ((-40)/j)/(1/18)?
False
Let v be 8/(-6) - 400/15. Let q = v - -47. Let h = q + 7. Does 6 divide h?
False
Let g be 7/((-98)/4) + 1455/21. Let y = -10 + g. Is y a multiple of 21?
False
Let h be 28/8 + 12/8. Suppose 0 = -5*x + 4*b + 119, -3*b - 2*b = h*x - 155. Is 2 a factor of x?
False
Suppose 10*w - 16625 = -15*w. Is 53 a factor of w?
False
Let z(q) = 3*q**2 - q + 1. Suppose 2*s - 2*r = 22, 0 = 5*s + r - 38 + 1. Suppose y + s = -y + 2*i, y - 26 = -5*i. Does 2 divide z(y)?
False
Let k be 5/(-20) + 546/8. Suppose -2*u = -k - 134. Is u a multiple of 15?
False
Suppose -m + 3*v + 361 = 0, 2*m - 6*m + 1412 = -4*v. Is m a multiple of 10?
False
Does 23 divide (-1)/(-5) - (-25578)/35?
False
Let s be (1 - 2)*7*3/(-1). Is 12 a factor of (-129)/s*-2*7?
False
Let k(j) = 8*j**2 - 2*j + 2. Let o be k(2). Let q = o + -21. Suppose 5*x - q = 16. Is 4 a factor of x?
False
Suppose -395 + 37 = -w. Let t = -211 + w. Is t a multiple of 26?
False
Suppose 5*y - 22 - 23 = 0. Suppose 2*t - t = 2*v + y, -4 = 2*v. Suppose -2*a = -2*z + 42, -2*z = -t*z - a + 43. Is 16 a factor of z?
True
Let x = 71 - 27. Let q be 4/(32/x)*14. Suppose -3*a + q = 5*n, -n + 97 = -0*a + 4*a. Is