ivide j?
False
Is 16 a factor of (-441 + -2)*(31 + -34)?
False
Let n(x) = x**2 - 5. Let f be 16/6 - 2/(-6). Let i be n(f). Suppose i*u = j + 169, -4*u + 2*j = -118 - 56. Does 15 divide u?
False
Let b be (-16)/72 + (-60)/(-27). Suppose -2 = -g + b, g = h - 27. Does 6 divide h?
False
Suppose 17*g - 329 - 793 = 0. Let f = 97 - g. Is 31 a factor of f?
True
Let q(w) = -12*w + 116. Is q(6) a multiple of 22?
True
Let w(q) = q**3 + q**2 + q. Let a(o) = -o**2 - o - 1. Let b(r) = 2*a(r) - 2*w(r). Does 3 divide b(-2)?
True
Let s be (-4)/(-16) + (-63)/(-4). Suppose 5*h - 10 = 0, 0*n = n + 5*h. Let y = s + n. Is y even?
True
Let s(c) = -2*c**3 - c**2 + c. Let d be s(1). Let t be d - 7/((-21)/(-48)). Let q = t + 32. Is q a multiple of 7?
True
Let t(w) = 16*w - 2. Let r be t(1). Let j = 20 - r. Does 6 divide j/2*(-28)/(-3)?
False
Suppose 3*p - 6*p + 12 = 0. Suppose p*u = -5 - 7, 0 = 2*x - 2*u - 78. Does 19 divide x?
False
Suppose -4*t - 4*u + 3620 = 0, 0 = 3*t - 5*u - 657 - 2082. Is t a multiple of 7?
False
Let s(b) = -479*b - 122. Is s(-3) a multiple of 41?
False
Suppose -23 = 5*f + 2*h, -f - 2*f - 13 = h. Let c(o) = -o**2 - 2*o + 3. Let i be c(f). Suppose i = 4*j + j - 40. Is 8 a factor of j?
True
Let p = -15 - -20. Suppose -n - 27 = 5*x - 0*n, -5*x - 15 = p*n. Let f(r) = r**3 + 6*r**2 - 4*r - 9. Does 7 divide f(x)?
False
Suppose 2*j - 2*o + 11 = 3*j, 4*o = 12. Let v = -8 - -12. Suppose 3*m + 0*m = 4*g + 83, -v*m - j*g + 90 = 0. Is 6 a factor of m?
False
Let p(z) = 4*z + 12. Let u be p(9). Let b = 62 - u. Is b even?
True
Let a(s) = s**2 + 5*s - 7. Let v be a(-7). Is 31 a factor of 541/v - (-40)/(-140)?
False
Let f = -9 - 2. Let a be (2 - 3)*(-6 - f). Let g(d) = -16*d - 8. Does 24 divide g(a)?
True
Suppose -3*u + 3*i + 3060 = 0, -2*u + 2022 = -0*u + 4*i. Is u a multiple of 111?
False
Let k(j) = -27*j + 2. Let q be k(-1). Let a = -22 + q. Let h = a + 11. Is 6 a factor of h?
True
Let w be (-98)/(-8) - 9/(-12). Let d = w + 25. Does 19 divide d?
True
Let w = -2639 - -4238. Is 43 a factor of w?
False
Let h be (3 - 108/20)/((-2)/5). Is (-14)/2*-19 + (4 - h) a multiple of 22?
False
Suppose -27*s + 514 = -26*s + 5*g, 0 = 2*s - 4*g - 1000. Is s a multiple of 63?
True
Suppose 0 = 5*o - o - 648. Let s be o/39 - 6/39. Suppose 0 = -s*k - 26 + 106. Is k a multiple of 15?
False
Suppose -5*q + 2205 = -3*v, -5*q + 2219 = v + 14. Does 21 divide q?
True
Is 4/5 + (-114172)/(-460) a multiple of 4?
False
Let n(c) = -3*c + 10. Suppose 0 = 4*l - 5*z - 16, z - 16 = l - 5*l. Let p be n(l). Is (-4)/(-8) + (-23)/p a multiple of 9?
False
Let y = -54 - -102. Let p be (y/18)/(1/9). Is 14 a factor of p/(-2)*14/(-6)?
True
Let c = 859 + -499. Suppose 18 = -6*a + c. Is a a multiple of 16?
False
Let o(h) be the third derivative of 2*h**5/15 + h**4/6 + 4*h**3/3 + 6*h**2. Let f(u) be the first derivative of o(u). Is 25 a factor of f(6)?
True
Suppose -2*t + 267 = -d, -53 = 2*t - 3*d - 310. Suppose -t = a - 3*a. Suppose -2*v = -0*v - a. Is 20 a factor of v?
False
Suppose 15*v - 1243 = 1187. Is v a multiple of 34?
False
Let r = 21 - -31. Let i = 100 - r. Does 6 divide i?
True
Let z(o) be the first derivative of -19*o**2 + 6*o + 10. Is 30 a factor of z(-3)?
True
Is 14 - 10 - (3 - -1) - -494 a multiple of 38?
True
Let x = -11 - -13. Suppose -4 = x*w, 0 = 2*d - 4*d + 2*w + 8. Suppose 3*f = 5*p + d, -15 - 13 = -5*f - 4*p. Is 4 a factor of f?
True
Let l be 1/(-4) + (-1282)/(-8). Suppose 15*u - 23*u + 48 = 0. Suppose u*c - l = c. Is c a multiple of 21?
False
Let j = 2665 - 1602. Does 12 divide j?
False
Let k = 765 - 119. Is 38 a factor of k?
True
Let l be -1 - -1*(-1)/(-1). Suppose h - 57 + 9 = 2*c, -3*h + 5*c + 146 = l. Suppose -h = -3*p - 4*w + 28, -4 = 4*w. Is 7 a factor of p?
True
Let l = -13 - -15. Suppose -l = 4*b - 6. Is 3 a factor of (6 + b)*6/7?
True
Let x(m) = -3*m**2 + 11*m + 6. Suppose -55 = -5*v - 40. Is 3 a factor of x(v)?
True
Does 4 divide -1*(10/(-5) + -57)?
False
Let u be 0/(2 + 1) - -39. Suppose 2*x - u = 47. Is 13 a factor of x?
False
Suppose 0 = -z + 5*z + 4*o + 328, 5*o = -4*z - 327. Let p = z - -108. Is p a multiple of 25?
True
Suppose -x - 21 = -24. Suppose 0 = -x*r + 218 + 52. Does 15 divide r?
True
Suppose -2*j - 2*m = 36, -2*j + 2*m - 12 = -2*m. Does 10 divide j/8*(-120)/3?
True
Suppose 654 = 5*u + 4*j, -u + 20 = -j - 109. Is 2 a factor of u?
True
Let q = -9 - -13. Suppose 0*m = q*m - 232. Suppose 3*f - f - m = 0. Is f a multiple of 11?
False
Let w = 6 + 4. Let h = -7 + w. Does 29 divide (-58)/(1 - 5/h)?
True
Suppose y - 8 = -y. Does 32 divide (5/((-50)/(-904)))/(y/10)?
False
Suppose -456*f = -462*f + 6192. Is f a multiple of 12?
True
Let z be 9/(-12) + 274/(-8). Let j = z - -81. Is j a multiple of 23?
True
Let n(k) = -3*k - 2. Let g be n(-2). Let x = 8 - g. Let a(t) = -t**3 + 6*t**2 - 3*t + 1. Is a(x) a multiple of 6?
False
Suppose 14*c - 7392 = -2*c. Is c a multiple of 11?
True
Suppose 0*v - 812 = -2*v. Is v a multiple of 29?
True
Let p be (-2)/((36/8)/(-9)). Suppose -i + 108 = -p*q, 2*i + 2*i - 537 = -5*q. Is i a multiple of 30?
False
Let d(t) = t**2 - 14*t + 14. Let r be d(11). Let w = 23 + r. Is 34 a factor of (-136)/w*(-6 - -2)?
True
Let r be ((-28)/6 - -4)/((-8)/84). Suppose -5*h = r*z - 3*z - 232, -3*h = -z - 146. Does 8 divide h?
True
Let d(f) = f**3 - 12*f**2 + f - 9. Suppose 2*v - 10 = -3*x, 5 = x + 4*v - 5. Suppose -57 = -5*u + 3*a, u + 4*a = -x*u + 40. Is d(u) a multiple of 3?
True
Suppose 0 = 19*c - 30*c + 7282. Is 63 a factor of c?
False
Suppose -4*h + 9*h = 20. Suppose -4 - 16 = -h*k. Suppose 40 = 2*x - 2*q + 3*q, k*x - q - 100 = 0. Is x a multiple of 10?
True
Suppose 40*t - 21848 = 41632. Is t a multiple of 17?
False
Suppose 6*c - c = q - 310, -4*q + 1240 = -5*c. Does 22 divide q?
False
Let w = -684 + 1415. Does 43 divide w?
True
Suppose -k + 1207 + 521 = 3*o, -o + 5*k + 592 = 0. Let u = o + -373. Is u a multiple of 10?
False
Suppose 134 + 546 = 2*k. Does 5 divide k?
True
Let s(i) = 14*i. Suppose 5*m - m - 8 = 0. Suppose -b + 9 = m*b. Does 21 divide s(b)?
True
Let d(p) = -p**3 + 2*p**2 + 2*p + 1. Let j be d(-2). Let g be 6/39 - 2/j. Suppose -h + 0*h = -5*s + 123, 5*h + 15 = g. Is s a multiple of 21?
False
Let z(p) be the first derivative of -19*p**2/2 - 36*p - 42. Is z(-6) a multiple of 9?
False
Suppose -16*x + 11*x + 3*n = -9105, -x = -4*n - 1838. Is x a multiple of 18?
True
Let z = 18 + -9. Let l be (3*(-6)/z)/1. Is 5 a factor of (l + 1)/((-5)/45)?
False
Let w(o) = -o**3 + 19*o**2 - 48*o + 15. Let r be w(16). Suppose -21*j = -20*j - r. Does 2 divide j?
False
Suppose 3*g + 2*g - 1755 = 0. Let l = -224 + g. Let z = -78 + l. Does 8 divide z?
False
Suppose d = -5*x + 74, 52 = d + x - 14. Let y(o) = o**3 + 2*o**2 - o - 3. Let r be y(2). Let k = d + r. Is k a multiple of 15?
True
Let q = -144 - -249. Does 21 divide q?
True
Let m(o) = -o + 5. Let n be m(-7). Suppose -n = -4*w + 324. Does 14 divide w?
True
Suppose -s = -1 - 137. Let y = 150 - s. Is y a multiple of 2?
True
Suppose 4*h + 18 = -178. Is 21 a factor of ((1 - 1) + (0 - h))*3?
True
Let b = 527 - 274. Suppose -b = -5*d + n, 3*n - 91 = d - 3*d. Is d a multiple of 25?
True
Let p(d) = d**3 - 5*d**2 + 5*d + 12. Suppose 5*a - 6 - 14 = 0. Does 16 divide p(a)?
True
Let o = 0 - 4. Let a be -37*o/(-8)*-2. Let g = 16 + a. Is 18 a factor of g?
False
Let b(z) = -z**2 + 11*z - 5. Let c(j) = -3*j**2 + 32*j - 14. Let i(n) = -11*b(n) + 4*c(n). Let k be i(7). Does 2 divide 1/(1/(-4)*k)?
True
Let i(t) = 5 + 1 - 94*t - 4. Is 50 a factor of i(-2)?
False
Let g be ((-4)/(-12) + (-20)/24)*8. Let r = g + 186. Is r a multiple of 12?
False
Let u(t) = 46*t - 362. Is u(23) a multiple of 6?
True
Suppose 40*i - 15 = 37*i. Suppose -2*g + i*h = -113, -7*g + 187 = -3*g + 3*h. Does 49 divide g?
True
Let v = -20 - -26. Let t(i) = 7*i**2 - 19*i - 8. Does 26 divide t(v)?
True
Let b(n) be the second derivative of n**5/20 - n**4/6 - 11*n**3/6 - 3*n**2/2 + 5*n. Is b(5) a multiple of 3?
False
Let s(g) = 11*g**3 - 2*g**2 - 7*g - 15. Does 57 divide s(6)?
False
Suppose 0 = 4*m - 1057 - 1759. Does 11 divide m?
True
Let u(q) = 134*q**2 + 4*q + 12. Does 10 divide u(3)?
True
Suppose u = 8 - 4. Suppose 5*x + 76 - 629 = w, -u*x - 2*w = -448. Suppose 7*v = 225 + x. Is v a multiple of 13?
False
Let j = 527 + -1017. Let p be (-5)/15 - j/3. Suppose -7*l +