 - 29 = -n. Is o a multiple of 6?
True
Let f = 18 + -14. Suppose z + 4*q - 15 = 0, -3*z - f*q = -127 + 42. Is 7 a factor of z?
True
Let m(z) = 23*z**2 + 80*z + 2. Is m(5) a multiple of 48?
False
Suppose 470 = 4*d - 1754. Is 20 a factor of (-3)/((-18)/d) + (-22)/33?
False
Let o = 9 - -2176. Does 23 divide o?
True
Let y be 5 - (-168)/(-16) - 2/4. Is 8 a factor of 0 + y/(-3) - -120?
False
Let f = 72 - -321. Is 33 a factor of f?
False
Let h = 58 + 89. Is 49 a factor of h?
True
Suppose 7*q - 5914 = 2367. Is 74 a factor of q?
False
Let f be 9/2 + (-2)/4. Let r(p) = p**3 - p. Let m be r(1). Suppose y - 50 = -f*t, m = 4*y - t + 105 - 390. Does 14 divide y?
True
Let r = 12 - -13. Suppose -105 = -30*h + r*h. Does 21 divide h?
True
Does 22 divide (2 + (-70)/5)*-196?
False
Let g = -82 - -99. Suppose -g*a + 400 = -12*a. Is 10 a factor of a?
True
Let b be (-2)/1*(636/(-8) + -3). Let m = b - 116. Does 49 divide m?
True
Let c(v) = 11*v**2 - 4*v + 3. Let d be c(-5). Suppose -5*h = -d - 92. Does 28 divide h?
False
Suppose 0*r - 20 = -3*r + 4*w, 2*r = -5*w - 25. Suppose r = -3*n - 3*g + 96, -3*n + 2*g + 47 = -2*n. Is n a multiple of 37?
True
Suppose 4*s + 3*s - 28 = 0. Suppose s*w = 243 - 27. Is 18 a factor of w?
True
Suppose 5904 + 2399 = 23*l. Is 14 a factor of l?
False
Let z be 8/((-2)/6 - -1). Let h = 356 + -358. Let t = z - h. Is t a multiple of 9?
False
Is 12 a factor of (4/((-16)/(-5)))/((-3)/(-144))?
True
Suppose 4 = -4*s - 4*n, -3*s - 7*n + 8*n = -9. Let a be (2/(-3))/(2/(-6)). Suppose -a*h - s*h = -156. Is 13 a factor of h?
True
Let o be (-3 - -4 - 0)*4. Is o*(2 + 9/12) a multiple of 11?
True
Suppose -z - 12 = 2*h - 378, 0 = h - 5. Suppose n + n = z. Let w = n + -120. Is 25 a factor of w?
False
Let c = 5729 + -3213. Is 34 a factor of c?
True
Let y = 72 - 47. Let u = y - 31. Is (159/u)/((-2)/4) a multiple of 38?
False
Is 12 a factor of 1620/(-20)*((-30)/9 - 2)?
True
Let n be (7/(-14))/((-1)/10). Suppose 5*q - 4*u = -12, -2*q - n*u - 6 = -3*q. Is 0 + (-2 - q) - -8 a multiple of 3?
False
Let y(w) = 14*w + 14. Let j be y(5). Is (j/49)/(1/7) a multiple of 3?
True
Let v(g) = -2*g**2 - 10*g + 497. Does 10 divide v(0)?
False
Suppose 57*v = 53*v - 28. Let m(b) = -b**3 - 4*b**2 - 3*b - 5. Let i(g) = -g**3 - 3*g**2 - 2*g - 6. Let o(y) = 5*i(y) - 6*m(y). Is o(v) a multiple of 15?
False
Suppose -69*b = -151680 - 22200. Does 24 divide b?
True
Let h be (-1 + 3/(-3))*6/4. Does 26 divide h/((-3)/538)*(-27)/(-54)?
False
Let x(y) = y**3 + 13*y**2 - 5*y - 20. Is 5 a factor of x(-13)?
True
Let y(x) = 47*x**2 + 8*x + 7. Let r(l) = l**2 + l + 1. Let s = 10 - 9. Let u(b) = s*y(b) - 6*r(b). Does 13 divide u(-1)?
False
Let u(f) = f**2 + 3*f - 2. Suppose 5*l + 4*h + 0*h - 20 = 0, l - h + 5 = 0. Let p = 6 - l. Does 23 divide u(p)?
False
Let v be ((0/(-1))/(-1))/(-24 - -26). Suppose 3*n + 14 = 29, v = -2*j + 5*n + 503. Is j a multiple of 12?
True
Let m(q) = 20*q**2 - 10*q + 86. Does 32 divide m(7)?
False
Let x(d) = 6*d - 5. Let z be x(3). Suppose -z*c = -10*c - 375. Does 15 divide c?
False
Suppose 3*t + 429 = 5*u, -u + 2*u - t = 87. Let j = 188 - u. Is 15 a factor of j?
False
Let a be (10/(-6) + 2)*15. Suppose 0 = -0*d + a*d - 320. Is 5 a factor of d?
False
Let c(p) = 7*p + 2. Suppose -3*h = d + 10 - 32, 3*h - 12 = -3*d. Let n be c(h). Suppose 3*i - 2*l = -4*l + n, -54 = -2*i - 4*l. Does 5 divide i?
False
Let b(g) = -g**3 + 16*g**2 + 15*g + 71. Does 20 divide b(15)?
False
Let l be 2273/(-4) - (-3)/12. Let q be 2/((-4)/l*4). Suppose -q = -3*f + 1. Is 12 a factor of f?
True
Let q(w) = 65*w - 10. Is q(5) a multiple of 12?
False
Suppose 0 = -27*k + 5*k + 1584. Is 24 a factor of k?
True
Let b = -90 - -389. Is 18 a factor of b?
False
Let m be (-18)/21*(23*-5 + 3). Let z = 3 + -3. Suppose z*p - m = -4*p. Is p a multiple of 6?
True
Let r = -353 - -379. Is 26 a factor of r?
True
Let v = -204 + 290. Is 9 a factor of v?
False
Suppose 2*v - 5*m + 7 = 0, -4 = -2*v - 3*m - 19. Is (-16 - -8) + 6 - 23*v a multiple of 34?
True
Let t(a) = a**2 + a - 6. Let y be t(2). Is -5 - (-279 - (y + 2)) a multiple of 23?
True
Let t = -51 + 23. Let j = 6 - t. Let c = 61 - j. Does 9 divide c?
True
Suppose -9*b + 438 = 168. Suppose -2*q + 3*q + 5*v - b = 0, -4*v = -5*q + 150. Is 10 a factor of q?
True
Let z(r) = -11*r + 50. Is 10 a factor of z(0)?
True
Let n = 78 + 34. Let g = -54 + n. Is 38 a factor of g?
False
Suppose -8*j + 183 = -537. Is 18 a factor of j?
True
Let d(b) = 2*b - 2. Let o be d(3). Let l be 54/(-6)*(0 - 1). Suppose -3*i + q = -22, 3*i - l*q = -o*q + 38. Does 6 divide i?
True
Let g = 2 - 8. Let z = 4 + g. Is 6 a factor of (16*(-2)/1)/z?
False
Let j = 2501 + -779. Does 14 divide j?
True
Let p = 32 - 29. Is (-3)/p*(-26 - -3) a multiple of 23?
True
Suppose -f = -11 + 14. Let a = 2 - f. Is 5 a factor of a?
True
Suppose 0 = -0*h - 3*h + 3*f + 69, f = 3*h - 63. Suppose -5*a = -2*v - h, -v + 4*v = -2*a + 27. Does 6 divide a?
True
Let h(u) = 3*u**2 + 15*u - 14. Let l(p) = p**3 - 6*p**2 - 8*p. Let r be l(7). Is 7 a factor of h(r)?
True
Suppose -3*q - 354 = -6*q. Let a = 232 + q. Suppose r - z - 73 = 0, 6*r = r + 2*z + a. Is 18 a factor of r?
False
Suppose 0 = 5*u - 2*u + 30. Is (-40)/16*88/u a multiple of 11?
True
Let u(w) = w**3 + 19*w**2 + 10*w - 41. Is u(-18) a multiple of 2?
False
Suppose -409 = -5*d + 196. Does 15 divide d?
False
Let k = 5 + 67. Is 3 a factor of k?
True
Suppose -6*y + 25 = -y. Suppose -q = -3*t + 796, 4*t - y*q = 3*t + 284. Suppose 0 = 3*z + z - t. Is 11 a factor of z?
True
Suppose 0 = -r + c + 5, 0 = -r - 2*r - 5*c - 1. Suppose -3 = -r*z + 3*o, 4*z - 25 = -3*o - 7. Is 3 a factor of z?
True
Let h = 40 - 35. Suppose 0 = -x - h*d + 90, -3*d + 49 + 161 = 3*x. Is 13 a factor of x?
True
Let c be -2*(-4 - 28/(-8)). Does 55 divide 3/(c - 225/228)?
False
Suppose 2*i + 3*m - 614 = 7*m, -i = -4*m - 305. Is 28 a factor of i?
False
Let l(t) = -t**3 + 9*t**2 - 9*t + 19. Let k be l(8). Let d = 4 - k. Does 24 divide -36*4*d/14?
True
Suppose u + 1 = 7. Let x = 8 - u. Is (12/(-24))/(x/(-108)) a multiple of 27?
True
Let w(m) = m - 22. Let d be w(20). Let r(b) = -5*b**3 - b**2 + 2*b. Is 16 a factor of r(d)?
True
Suppose -4*i - 10 = -2*i, u - 4*i - 540 = 0. Is 8 a factor of u?
True
Suppose 0 = 5*j - 383 + 58. Is (8 - 5 - 8) + j a multiple of 12?
True
Let z(l) = -9*l**3 + 2*l**2 + 4*l. Let a be z(-2). Let r = a + -15. Is r a multiple of 12?
False
Let m(f) = 3*f**2 + 22*f - 397. Does 95 divide m(-27)?
False
Let n = -73 - 28. Let w = n - -143. Does 21 divide w?
True
Suppose 3*o + 1 = 4*o. Does 18 divide o/(-1)*34*-2?
False
Let v be (79*-7)/(-14 + 13). Suppose 5*k + v = 1698. Suppose 5*l - k - 11 = 0. Is 15 a factor of l?
False
Suppose 0 = -22*f + 1147 + 3935. Is 6 a factor of f?
False
Let n(l) = -208*l**3 - 3*l**2 + 2. Let c be n(-1). Let m = c + -22. Does 21 divide m?
False
Let a(j) = -11*j**3 + 3*j + 7. Let w be a(-3). Suppose -5*i = -3*b - b + w, 2*i = -b + 90. Is b a multiple of 16?
True
Suppose -6 + 5 = -2*g + 3*v, -2 = -2*g + 2*v. Suppose -5*l = 2*r - 107, 2*r - 3*r = g*l - 51. Does 10 divide r + -2*4/8?
True
Let s = 25 - 22. Is s - -9 - 2 - 1 a multiple of 5?
False
Let l = -391 + 1191. Does 50 divide l?
True
Let n be 17/(-4) - 1/(-4). Let x be (3/4)/(n/80). Is 18/(-4)*20/x a multiple of 3?
True
Let u be (-1)/(((-4)/(-20))/1). Let t = 13 - u. Is 6 a factor of t?
True
Suppose -10402 = -25*c - 1902. Is c a multiple of 2?
True
Let k(a) = -6*a**3 + 13*a**2 + 8*a + 9. Let v be k(-10). Suppose 2*q - 4*m - 2902 = -3*m, -5*q - 4*m + v = 0. Is 2*(q/6)/7 a multiple of 23?
True
Let m(t) = 3*t - 9 - 2*t + 12. Let d be m(3). Suppose 0 = -2*k - 0*w - 2*w + 8, 0 = 2*k - 5*w + d. Is k a multiple of 2?
True
Let c(f) = -3*f + 5. Let j be c(4). Let o be ((-1)/((-2)/69))/(9/6). Let d = j + o. Does 16 divide d?
True
Let x = 460 - 216. Does 14 divide x?
False
Let f = -98 + -481. Let a = 814 + f. Does 14 divide a?
False
Suppose -3*y = -7*y + 16. Suppose 3*o - 2*m = 98 + 27, -4*o + y*m + 160 = 0. Suppose 3*u = -0*v + 2*v + 70, -2*u + o = -3*v. Is 12 a factor of u?
True
Let a be 42/(-5) + 4/10. Let q be 12/3*12/a. Does 10 divide (-732)/(-36) + 2/q?
True
Let l(j) = -j**3 + 14*j**2 + 3*j - 2. Let m be l(14). Suppose -4*t + 76 = 2*u, -2*u + m = -4*t - t. Is 10 a factor of u?
True
Let t be ((-2)/3)/(16/(-48)). Is 2 a factor 