or of q?
False
Let p be 552861/63 + 2 + 3/7. Suppose 14*x - 3*x = p. Is 38 a factor of x?
True
Let k = -51 + 59. Let l be (2/k)/(9/3924). Let x = l - 9. Does 16 divide x?
False
Let h = 80 + -144. Let q = h - -68. Suppose -4*r = -q*d + 428, 3*d - 2*r = -0*r + 321. Is 39 a factor of d?
False
Let z(l) = 572*l**2 - 56*l + 374. Is 40 a factor of z(6)?
False
Suppose r - 2962 = 2*y, y - 17570 = -4*r - 5722. Does 12 divide r?
False
Let t = 127 - 124. Let b be 516/6 + (-6)/t. Does 6 divide ((-78)/21)/((-24)/b)?
False
Suppose -3168 = -b - r, r + 1311 + 11361 = 4*b. Is 176 a factor of b?
True
Suppose 7*p + 5275 - 33338 = 0. Does 23 divide p?
False
Let d(u) = -191*u - 3405. Is 24 a factor of d(-51)?
True
Suppose -5*u - 25 = -10*u, a + u + 5 = 0. Let s(v) = 3*v**2 + 14*v + 20. Let g be s(a). Suppose 9*i - 5*i = g. Is i a multiple of 13?
False
Suppose k = -5*v + 4*k - 19, 0 = 4*v + k + 5. Is 30 + 2 + v + 2*-1 a multiple of 14?
True
Let x(q) be the first derivative of -6 + 18*q - 5/2*q**2. Does 22 divide x(-14)?
True
Let o(c) be the first derivative of 2*c**2 + 39*c + 5. Let a be o(10). Suppose -y - s = -a, 2*s - 390 = -5*y - 2*s. Does 14 divide y?
False
Let i be ((-7)/(21/(-18)))/((-12)/(-8)). Let p(w) = -12*w**2 + 12*w + 40. Let h(f) = 10*f**2 - 11*f - 41. Let j(t) = i*h(t) + 3*p(t). Is j(9) a multiple of 13?
True
Suppose -2*h - 1 + 7 = -4*w, -2*h + 2*w = -8. Suppose 2*a - 16 = h*c, -5*c - 7 = -a + 6. Is (46/(-3))/(c/9) a multiple of 23?
True
Let r = 1540 - 890. Suppose -5*s + 3*f = -r - 300, -5*s - f + 970 = 0. Does 26 divide s?
False
Let h be (-20)/(-6)*(216/(-20))/(-6). Let b = 15 - h. Suppose -b*g + 96 = -g. Is g a multiple of 12?
True
Let g = -64 + 38. Does 5 divide -2*((-99726)/572 + 4/g)?
False
Let m be -5*27/(-90) + (-142)/(-4). Suppose -35*f + m*f = 38. Suppose -l + 0*s = -5*s - f, -2*s = 2. Does 3 divide l?
False
Let v = -82 - -89. Suppose -186 = -v*w + 234. Is 20 a factor of w?
True
Let z(f) = -8*f - 23. Let t(m) = 9*m + 24. Let i(j) = 4*t(j) + 3*z(j). Let n be i(7). Let k = 123 - n. Is k a multiple of 4?
True
Suppose 0 = -c, 18 = -2*g + 9*c - 6*c. Is 21 a factor of g + (2 - -388) - -3?
False
Let p(l) be the third derivative of l**6/120 + 7*l**5/30 - 25*l**4/24 - 7*l**3/2 - 32*l**2. Is 13 a factor of p(-11)?
False
Let v be (-1 - -1)/(8/(-8)). Suppose 5*r = -v*r + 35. Suppose -i = 5*y - 64, -5*i - 2*y - r = -304. Does 4 divide i?
False
Let p(x) = 2*x**2 - 13*x + 13. Suppose 16*q + 9 = 17*q. Suppose -2 = -v + q. Is p(v) a multiple of 16?
True
Suppose 4*g + 16 = 28. Suppose 2*n + 2*h - 47 = n, 222 = 5*n - g*h. Suppose 3*a + 239 = 5*v, -4*v - n = -5*v + 2*a. Is v a multiple of 13?
False
Let c(z) = z + 8. Let d be c(-6). Suppose 0 = -4*m - 0*m + d*q + 220, 158 = 3*m + 2*q. Does 2 divide m?
True
Let y(g) = -6*g + 35. Let o(s) = -7*s + 35. Let l(a) = -4*o(a) + 5*y(a). Does 4 divide l(-8)?
False
Let v(t) be the second derivative of t**5/20 + t**4/12 + 7*t**3/6 - 5*t**2/2 + 297*t + 1. Let a be 1*(12/3 - 1). Is v(a) a multiple of 11?
False
Suppose 2*j - 8 = 16. Let z = j - 6. Let i = 7 + z. Is i a multiple of 3?
False
Let r be (-48)/28 + 2/(-7). Let d be r/4 - (-70)/(-20). Let u = d + 52. Is 24 a factor of u?
True
Let v(s) = 22*s**3 + 3*s**2 - 4*s + 7. Let t be v(3). Suppose 424 + t = 5*h. Is h a multiple of 13?
True
Let y = -756 - -1183. Suppose y = -4*n + 71. Let p = -53 - n. Is p a multiple of 3?
True
Let z(f) = f**2 - 9*f - 42. Let a be z(18). Let g = 156 - a. Is g a multiple of 2?
True
Is (-18)/504*21*-2536 a multiple of 2?
True
Let j(g) = 484*g + 3407. Is 5 a factor of j(18)?
False
Let a(n) = 4*n**3 - 3*n**2 - 3*n + 14148. Is a(0) a multiple of 6?
True
Suppose 0 = -5*m - 3*x + 7 - 49, -16 = 2*m + x. Let r be (2*(-90)/4)/(-1). Is m/r + (-1761)/(-45) even?
False
Let l(x) = -x**3 - 8*x**2 - 9*x - 11. Let a be 57/(-9) + 12/(-18). Let o be l(a). Suppose 0 = -o*t - 4*h + 139, 0*t + 4*t - 172 = -2*h. Is t a multiple of 10?
False
Does 10 divide (-19)/(-114) - 353320/(-48)?
False
Suppose -53*n + 956 + 121 = -52*n. Is 3 a factor of n?
True
Suppose 2*z + 60 = 12*z. Suppose z*c + 291 = -1521. Does 61 divide 0 - c - ((-5 - -2) + 0)?
True
Let h(s) = -s**2 - 13*s - 19. Suppose 1 = o - a, -7*a = 4*o - 3*a - 20. Suppose -32 = 2*p + o*g, -3*g + 2*g - 4 = 0. Is h(p) a multiple of 3?
False
Let b(y) = -y**3 - 9*y**2 - 15*y - 3. Let j be b(-7). Let s be 10 + -2 + 1 - j. Suppose 26 + 10 = 2*o + 4*r, -s*r + 38 = 2*o. Is o a multiple of 7?
True
Let b(r) = 17*r**2 + 321*r - 119. Is b(-38) a multiple of 90?
False
Let r(k) = -31*k**3 + 9*k**2 - 34*k - 508. Does 12 divide r(-8)?
True
Let u = 28 - -56. Suppose 0 = f + u - 136. Is 13 a factor of f?
True
Let p(y) = -7 - 13*y + 5 + 12*y. Let n be p(-6). Suppose 0 = n*m + 8 - 88. Does 5 divide m?
True
Suppose 0 = 401*q - 335*q - 48906. Does 39 divide q?
True
Suppose -5*b + 4*z + 7754 = 0, 0 = -b - 4*z + 13 + 1533. Is b a multiple of 62?
True
Suppose 17*n = 19*n - 4. Suppose -3*f - f + 8 = n*k, 0 = -4*f + 4. Is 16 a factor of (20/(-6))/(k/(-39))?
False
Suppose 45 - 5 = -5*g. Let z be g/3*624/(-64). Suppose 27*h - z*h - 125 = 0. Does 18 divide h?
False
Let f(y) = -y**3 - 6*y**2 - 8*y - 9. Let z be f(-5). Suppose -z*p - 47 = -5*q - 5*p, 2*q + 2*p - 26 = 0. Suppose -q*a + 12*a - 198 = 0. Is 9 a factor of a?
True
Let c(x) = 38*x + 806. Is 8 a factor of c(-9)?
True
Let h be (-10)/20*3 + 98/4. Suppose -h*l + 3062 + 11152 = 0. Is 31 a factor of l?
False
Let k be (-5)/(-5) + (4 - 0) + -4. Is 2 + (10/(-8))/k*-32 a multiple of 8?
False
Suppose -6 = 2*t, 5*w + 6*t - 22738 = 2*t. Does 130 divide w?
True
Suppose -15 = -4*j - 3. Suppose 5*o + 197 = j*l, 0*l + 62 = l + 2*o. Suppose -4*k - u + 142 = -2*k, -l = -k + 3*u. Does 10 divide k?
True
Let a(c) = 3*c**2 - 236*c - 130. Is a(82) a multiple of 5?
True
Suppose 625 = 8*d - 10743. Does 3 divide d?
False
Suppose -23*a - 44 = -688. Suppose -23*o - 2600 = -a*o. Is 40 a factor of o?
True
Let x(f) = -2*f**3 - 45*f**2 + 52*f + 16. Let t be x(-24). Let c = t - 404. Is c a multiple of 4?
True
Is 5 a factor of (-347207)/386*((-16)/7 - 0)?
False
Let q = -13 - -84. Let b = q - -166. Suppose -232*n = -b*n + 850. Is 10 a factor of n?
True
Suppose 67*j - 70*j = -120. Let d = 941 - j. Is d a multiple of 49?
False
Let i = -183 + 137. Let v = 287 - i. Is 34 a factor of v?
False
Suppose -4*m + 16 = 0, 5*u - 4*m = 3*u + 4. Suppose u*z - 6*z - 3*c - 513 = 0, -123 = -z - c. Does 63 divide z?
True
Let a be ((-1)/3)/((-14)/(-11298)). Let n = a - -771. Is 15 a factor of n?
False
Suppose 0 = -3*m + 5*m - 8. Suppose 5*p - 1657 = -2*z - 0*z, -4*z = -m. Is 13 a factor of p?
False
Let m(g) be the third derivative of -g**5/60 + g**4/24 + 4*g**3/3 - 23*g**2. Let x be m(3). Suppose c = -x*w + 134, -5*c + 0*c + 134 = 2*w. Does 17 divide w?
False
Let h(g) be the third derivative of 63*g**6/20 + g**5/15 - g**4/6 - g**3/6 + 113*g**2. Is h(1) a multiple of 5?
False
Does 82 divide (-4*((-7 - 2920) + -4) + 7)*2?
False
Suppose -7025 = -9*r + 2074. Let l = r + -481. Is 19 a factor of l?
False
Let m(v) = 30*v - 2. Let z be m(3). Let i = 149 + z. Is i a multiple of 17?
False
Let u(p) = -205*p + 12. Is 30 a factor of u(-20)?
False
Suppose 0 = 32*y + 20454 - 39396 - 251714. Does 10 divide y?
False
Is (-138)/(-360) + 1/(-4) - 11150391/(-2205) a multiple of 20?
False
Let m = 73 - 74. Let t be 3/15 + (117/15 - m). Suppose 3*f + 330 = t*f. Is 21 a factor of f?
False
Suppose 0 = 4*q - 19*q + 360. Let h = -15 + q. Is 7 a factor of -8*((-1035)/20)/h?
False
Suppose -x = h - 13977, 7*x - 5*x - 27978 = 2*h. Does 16 divide x?
False
Let m be 620/15*(-6)/(-4). Let z = -62 + m. Suppose 7*v - 1969 + 114 = z. Is v a multiple of 53?
True
Let n = -3629 - -4619. Is n a multiple of 22?
True
Let a be 15/(-10)*(160/6)/2. Let h be ((-16)/a)/((-6)/(-15)). Suppose -h*k - 106 = -4*k. Is 7 a factor of k?
False
Suppose 63*q - 62*q - 2*t = 2680, 2 = -2*t. Is 4 a factor of q?
False
Let b = -9206 - -13742. Is 109 a factor of b?
False
Let z = -147 - -75. Let f = z + 74. Suppose 0 = 3*k - 15, -f*g - 3*g + 30 = -4*k. Is 9 a factor of g?
False
Let z = -5759 - -4003. Let f = 3461 + z. Does 2 divide (4/10)/(f/425 + -4)?
True
Let h(w) = -3887*w**3 + w**2 - 8*w - 11. Is h(-1) a multiple of 129?
False
Suppose 3*m + 2*j = 9737, -3241 = 9*m - 10*m - 3*j. Is (m/34)/(-2 - (-17)/8)