9 divide q?
False
Let b be ((-165)/44)/(6/(-8)). Suppose 4*z - b*z = -31. Suppose 0 = -f - 5*a + z, 5*a + 30 - 6 = 4*f. Is 11 a factor of f?
True
Let s(f) = 2*f**3 - 8*f**2 + 9*f - 48. Let n be s(11). Suppose -5*p = 3*y + 2*y - n, 365 = y - 3*p. Does 21 divide y?
False
Let m = 8102 - 5262. Is 11 a factor of m?
False
Suppose 3*w - 5*v + 0*v = 377, 0 = v - 2. Let p = 57 - w. Let j = -60 - p. Is 12 a factor of j?
True
Let r(w) = w**3 - 22*w**2 + 32*w - 121. Is r(21) a multiple of 22?
True
Let g(p) = 11 - 17 - 4*p**2 + 9*p**2 + p**2. Is 4 a factor of g(5)?
True
Let v = 29 - -38. Suppose 2*z - 41 = v. Does 39 divide z?
False
Let w = -9705 + 15687. Is w even?
True
Let a(g) = g + 28. Let r = -11 + 13. Suppose -r*j - 31 = -3. Is a(j) a multiple of 3?
False
Suppose -4*g - 7 = 2*n - 1, g + 4*n = -19. Is (145 + g)/(4/6) a multiple of 12?
False
Suppose 5*k = b - 4*b + 16, -5*k = -b + 12. Is 55 a factor of (b - (-20)/(-5)) + -4 - -386?
True
Let v = 42057 - 17675. Is 39 a factor of v?
False
Suppose 2*u - 55192 = 5*k + 13478, -5*u - 2*k + 171704 = 0. Is u a multiple of 101?
True
Let j be -9 + 1 + (3 - 2). Let o = j + 6. Does 13 divide (o/(-1))/((-1)/(-33))?
False
Let t be (-6)/(-14) - (-21)/(-49). Suppose -12 = 2*k - 3*y, 3*k + y + 7 + t = 0. Does 5 divide (5/2)/(4*k/(-24))?
True
Let k(m) = 15*m + 4. Let l(q) = -q**3 - 5*q**2 + 6*q - 2. Let p be l(-6). Let c be k(p). Let o = c + 42. Does 3 divide o?
False
Suppose -4*g + 4 = -3*u, 5*g + 4*u - 12 = 6*u. Is 13 a factor of g/8 - 1263/(-6)?
False
Let p = -597 - -627. Does 7 divide (308/60 + (-4)/p)*7?
True
Let b(u) = 2*u**2 + 5*u - 2. Let d be b(-5). Let x be ((-45)/90)/(4/(462 - -2)). Let g = d - x. Is 8 a factor of g?
False
Let g = -420 + 1192. Let x = g - 403. Does 12 divide x?
False
Is 29 a factor of ((-16)/3)/((-1806)/(-1827) + -1)?
True
Suppose -6*v - t = -142892, 0 = -3*v + 2*t - 20514 + 91940. Is v a multiple of 147?
True
Suppose 5*u - 3*i + 99 = 0, 0 = -4*i + 26 - 34. Does 4 divide 4083/12 + (u/(-28))/(-3)?
True
Let f = -1243 - -2178. Let x = -895 + f. Is 20 a factor of x?
True
Let q(v) = v**2 - v + 20. Let t be q(0). Let l be t*((-70)/(-21))/(2/(-3)). Let x = -30 - l. Is 27 a factor of x?
False
Let h(j) = j**2 + 2*j + 5. Let p be h(-5). Suppose -5*k - p = 0, 0 = 2*g + 4*k - 25 - 31. Suppose 2*w + g = 140. Is 9 a factor of w?
False
Suppose -34*v - 65*v = -342342. Is v a multiple of 87?
False
Suppose -m + 6 = 0, -4*n + 80*m = 75*m - 147046. Is 118 a factor of n?
False
Suppose -j - 706 + 2610 = 2*i, -4*j = -i - 7616. Is 16 a factor of j?
True
Let u(p) = 4*p**3 - 195*p**2 + 152*p + 141. Is u(48) a multiple of 9?
False
Let q(n) = 1025*n + 14340. Does 283 divide q(15)?
True
Suppose 228*k = 202*k + 533130. Is k a multiple of 71?
False
Let p(g) = -g**3 - 3*g**2 - 4*g - 11. Suppose -4*a + 5*b - 1 - 25 = 0, -b + 10 = -2*a. Does 7 divide p(a)?
True
Suppose -13*z + 12*z = -2. Suppose 2*p = z*j - 231 - 303, 4*j - 1063 = 5*p. Does 18 divide j?
False
Suppose 2*f + 12 = 0, -21574 = -3*y + 3*f + 19064. Is y a multiple of 58?
False
Let y(t) be the second derivative of t**5/20 + 3*t**4/4 - 11*t**3/3 + 3*t**2 - 3*t - 1. Is 3 a factor of y(-11)?
True
Let i(z) = 6*z + 46. Let o be i(-10). Is (0/(-3) + 2)/(o/(-602)) even?
True
Let r(p) = 15*p**2 + 23*p - 380. Is r(10) a multiple of 135?
True
Suppose 0 = 6*d - 2*d - 8. Suppose d*g + 6 = 2*a - 24, -2*a = -5*g - 72. Is 240/7 + 4/g a multiple of 15?
False
Let w(c) = -2*c**2 + 177*c - 571. Is 70 a factor of w(67)?
True
Suppose 0 = 13*o - 59 - 58. Is 1433*(12/(-18))/((-6)/o) a multiple of 50?
False
Suppose 2*s + r = 3*r, 0 = -r + 4. Is 61 a factor of 3 - 2 - (-4144)/s?
True
Let u be (8/10)/((-16)/1640). Is 4 a factor of (-195)/(-26)*(-2)/3*u?
False
Let n be (8 + 19)*2/3. Let k be 3072/(-18)*n/(-8). Suppose -k = 6*q - 9*q. Does 32 divide q?
True
Let m = -184 - -191. Does 3 divide 56 + (4 - 28/m)?
False
Let o(p) be the first derivative of 113*p**3 + 17*p**2 + p + 135. Is 75 a factor of o(2)?
True
Let q be (40/70)/((-1)/(-7)). Suppose -q*w + 5*h + 53 = 13, -5*w = -5*h - 45. Suppose 98 = 2*a - 4*r, -5*a + 0*a + 245 = w*r. Does 6 divide a?
False
Let w = 4363 - 2905. Does 7 divide w?
False
Let p = -48 + 44. Let o(r) = -r**3 - 4*r**2 - 2*r - 3. Let n be o(p). Suppose -4*u + 21 = n. Is 4 a factor of u?
True
Let o be (1 - (0 - -4))*6. Suppose 2*b + 5280 = 5*b. Does 12 divide b/72 - (-8)/o?
True
Suppose 138 = -v + 3*q, 0*v + 4*q - 429 = 3*v. Let y be (5/(-3) - -2)/((-7)/v). Suppose -16*c + y*c + 2565 = 0. Does 19 divide c?
True
Suppose -3*x - 6 = -7*x + 2*w, 0 = 5*x - w - 12. Is x*15/6*62 a multiple of 35?
False
Let r be 3 + (-3 + 4)*157. Let i = -20 + 29. Suppose -i*m + 4*m = -r. Does 16 divide m?
True
Suppose -119*c + 124*c - 4625 = 0. Suppose -5*q + 4*i = 8*i - 2296, -2*q = -5*i - c. Is q a multiple of 10?
True
Does 13 divide (-1538565)/(-18) + (-18)/324*15?
True
Let z(a) = -4*a + 1 + 20*a - 11*a. Let o be z(15). Suppose -2*g + 36 = -o. Is 14 a factor of g?
True
Let h(q) = -q**3 + 2*q**2 + 6*q - 22. Let m be h(4). Is (3 - -21)*m/(-20) a multiple of 3?
True
Let z(a) be the second derivative of -2*a**5/3 - 2*a**3/3 + 16*a. Let d(r) be the second derivative of z(r). Does 20 divide d(-1)?
True
Suppose -81879 = -8*o + c, o + 30*c = 25*c + 10199. Is o a multiple of 56?
False
Is ((-4914)/15)/13*-5 a multiple of 21?
True
Let w = -39 + 39. Suppose r - 2*t = 3*r, 4*r - 4*t - 32 = w. Suppose 104 = r*l - 316. Does 21 divide l?
True
Let u = 92262 - 53552. Does 70 divide u?
True
Suppose 58 = w - 2*w. Suppose -3*v - 27*v = 1500. Let t = v - w. Is 8 a factor of t?
True
Let v(y) = 13 + 17 - 14*y + 25*y. Let f(k) = -10*k - 29. Let l(q) = -6*f(q) - 7*v(q). Is l(-11) a multiple of 60?
False
Let i(r) = 252*r**3 - 3*r**2 - 6*r + 11. Let d be i(3). Suppose 18*b - 610 = d. Does 9 divide b?
False
Let i = -110 - -107. Is 6 a factor of (2 - (i - 0)) + 4?
False
Let p = -10114 + 12738. Does 4 divide p?
True
Let v(a) be the first derivative of 10*a**3/3 + a**2 - 7*a - 10. Let x be v(-3). Let i = -74 + x. Is 2 a factor of i?
False
Suppose -4*v - 5*c = -74, 52 = 5*v - 3*c - 22. Does 38 divide (-1)/(-2) + -1 - (-4168)/v?
False
Suppose 3*n + s - 813 = 0, 0 = 2*n - 24*s + 21*s - 553. Is 2 a factor of n?
True
Let z(p) = 2*p**2 + 28*p - 25. Is 40 a factor of z(-18)?
False
Suppose 61 = -5*s + c, 3*s + c + 43 = 8. Is (-60)/(-2) - (18 + s) a multiple of 12?
True
Suppose 4*l - 43574 = 61354. Is (-2)/(3/(l/(-16))) a multiple of 79?
False
Suppose 67*c - 282225 + 27826 = 0. Is c a multiple of 9?
False
Let i = 37788 - 22348. Is i/(-120)*6/(-4) a multiple of 7?
False
Suppose 0*g = -2*f + g, 4 = 4*f - g. Is 8 a factor of (f + -1 + -4)*-13 - 1?
False
Is (-1 - 10077)*((-204)/(-357) - (-30)/(-28)) a multiple of 42?
False
Let l(m) = -m**3 - 8*m**2 - 10*m - 10. Let j = -294 - -168. Let y = j - -119. Does 3 divide l(y)?
False
Suppose -g - 4*s + 1928 = -1318, 3*g = -4*s + 9770. Suppose -18*w + g = -4*w. Does 12 divide w?
False
Does 103 divide 9/(-6)*((-824)/10)/(34/2720)?
True
Let v(j) = -114*j - 950. Does 35 divide v(-44)?
False
Let w = 21 + -9. Suppose 3*f - 27 = -w. Suppose y - 153 - 124 = -f*q, 59 = q - y. Is q a multiple of 14?
True
Let m be (-1)/(-1 - 60/(-59)). Let x = m - -179. Is x a multiple of 24?
True
Let y(p) = 228*p - 30. Let h be y(2). Is 4 a factor of ((-168)/(-16) + -11)/((-1)/h)?
False
Let l be (-34)/(-20) + 126/420. Suppose 0 = -l*t + 2, 3*b = -4*t + 1230 + 439. Does 30 divide b?
False
Let r(k) = k + 9. Let g be r(-5). Suppose 0 = g*m + 2*m - 8064. Does 12 divide m?
True
Suppose 4 = 135*c - 133*c. Suppose -k + 1458 = c*y, -k - 448 = -3*y + 1744. Is y a multiple of 5?
True
Suppose s + 97 = -4*o, -s + 4*s - 4*o = -227. Let v = 83 + s. Suppose 4*i - 343 = -5*w, -v*i + i = -5*w + 333. Does 12 divide w?
False
Let v = -1364 + 5431. Is 83 a factor of v?
True
Let i be (-8)/6 - 16/(-48). Let d(n) = -268*n - 8. Does 52 divide d(i)?
True
Let u = 3051 + -891. Does 6 divide u?
True
Let u be (0 - 1)/((-1)/(-8)). Let c(s) = 2*s - 11. Let w be c(u). Let h = w + 58. Is h a multiple of 3?
False
Let a(h) = -20*h - 29. Let n(y) = 14*y - 84. Let v be n(5). Is a(v) a multiple of 25?
False
Let m(h) = -3*h + 1405. Let b be m(0). Let q = 2661 - b. Does 15 divide (-6)/18 + q/(-18)*-3?
False
Does 13 divide 6455 + (-6)/15 + (792/30)/6?
False
Is 