factor of (-141)/(1*(-3)/k)?
False
Suppose 20*m + 20 = 24*m. Suppose -14 = -m*y + 16. Is y a multiple of 5?
False
Suppose 4690 = 6*i + 1900. Is (8/(-10))/(-1*6/i) a multiple of 15?
False
Let q be ((-9)/3 - 10)*1. Let z = q - -18. Suppose -4*a + 396 = u + 3*u, z*a + 4*u = 491. Does 25 divide a?
False
Suppose -6*w = -2*w - 236. Suppose -2*n = -w + 11. Is n a multiple of 6?
True
Suppose 3*v = 358 + 722. Let g = 558 - v. Is 10 a factor of g?
False
Let c = 12 + -14. Does 21 divide ((-1542)/(-10) - 2) + c/10?
False
Let i be (-10)/6*10*-3. Let v be (0 + 156)*i/15. Suppose -3*b + 3*o = -210, -142 = 5*b + 2*o - v. Is b a multiple of 38?
False
Suppose 5*z + 2*k - 14 = 0, -5*k - 18 = -5*z + 17. Suppose z*g + 4*p - 744 = 0, g + 3*g - 745 = -3*p. Is g a multiple of 11?
True
Suppose 0 = 3*n - z - 79, -2*z + 3*z = -n + 33. Is 8 a factor of (-235)/(-4) - (-7)/n?
False
Let y = -285 + 512. Let z = y - 85. Let k = z + -100. Is k a multiple of 6?
True
Let u = 6 + -6. Let m(d) = -19*d + u*d + 2 - 1 - 2. Is 14 a factor of m(-2)?
False
Suppose 55 = 6*t - 5*t. Let w = t + -95. Let d = w - -58. Is 6 a factor of d?
True
Let a = 11 + -38. Let f = 15 + a. Is (f/(-2))/(8/20) a multiple of 5?
True
Let w(s) = -s**3 + 12*s**2 + 12*s + 19. Let u = 8 + 2. Let d be (-52)/(-10)*u/4. Is 3 a factor of w(d)?
True
Does 38 divide (-3 + 1)/((-18)/12987)?
False
Let r = 12 - 2. Let i be (4/10)/(r/50). Does 2 divide i/(3/(45/2))?
False
Let w = 83 - 73. Let v(z) = z**3 - 8*z**2 - 20*z + 7. Does 4 divide v(w)?
False
Let q(l) = 8*l - l**3 - 4 + 5*l**2 - 2*l - 1 - 2*l**2. Let w be q(4). Suppose w*g - 2*g - 25 = 0. Is g a multiple of 7?
False
Let b(o) = -o**3 - 20*o**2 - 38*o + 34. Let n be b(-18). Is 7 a factor of (n/15)/(-3 - (-101)/33)?
True
Let i be ((-5)/5)/(2/(-6)). Suppose 2*g - d - 160 = 3*d, 208 = i*g + 2*d. Is 18 a factor of g?
True
Suppose -24*o + 23*o = -3*x - 236, 5*o + 3*x = 1216. Does 7 divide o?
False
Let x = 299 - 1. Is 57 a factor of x?
False
Suppose 77 = 3*o - 163. Suppose 0*k + 2*k = -o. Let s = k + 66. Is s a multiple of 13?
True
Suppose 2*l = 7*l - 10. Suppose -l*h - h = -6. Suppose 3*o = h*o + 48. Is 16 a factor of o?
True
Let o = -115 - -181. Is o a multiple of 12?
False
Let w(l) = -21*l**3 - l**2 - l. Suppose -5*i - 24 = -8*i. Let m be (15/60)/((-2)/i). Is w(m) a multiple of 9?
False
Suppose 5*r - 5 = -10. Let k be (r - -13)*(-2)/(-4). Is 13 a factor of ((-4)/k)/(5/(-270))?
False
Let f(b) = -b**3 - 2*b**2 - 8*b + 1318. Is f(0) a multiple of 4?
False
Let f be 1*1/2*0. Let v = f - 0. Suppose v = d + 4*d - 20. Is 4 a factor of d?
True
Let t = -1 - -6. Does 3 divide t/((-105)/6) - (-247)/7?
False
Let l = 1 - 1. Let v(n) = n**2 - n + 2. Let z be v(2). Suppose -16 = -z*y - l. Does 4 divide y?
True
Let m(v) = 0*v - 2*v**2 + 7*v**2 + 4*v - 3*v**2 - 3*v + 8*v**3 + 1. Let w(k) = 2*k**2 + k + 1. Let j be w(-1). Does 15 divide m(j)?
True
Let d(x) = x**2 + 7*x + 8. Let u be d(-8). Suppose 2*g + u = -2*b, -2*b - 19 = 5*g + 12. Does 11 divide 1/b*-3 + 44?
False
Let o(t) = -t**3 + 9*t**2 - t. Let a be o(7). Let d = a + -51. Does 9 divide (-2)/16 + 1645/d?
False
Let b(x) = 14*x. Let j(l) = 74*l + 3 + 11*l - 4 - 14*l. Let h(w) = 11*b(w) - 2*j(w). Is 6 a factor of h(1)?
False
Is 2*-1 + (181 - -17) a multiple of 12?
False
Let p(j) = -52*j - 60*j - 22 + 130*j. Does 35 divide p(9)?
True
Suppose 3 = -3*f + 3*u, -3*f - 6 = -0*u - 4*u. Let w = -40 - -40. Suppose w = 3*m - f*m - 30. Does 9 divide m?
False
Let f = 646 - -1013. Is 79 a factor of f?
True
Does 14 divide 60540/46 - (-48)/(-552)?
True
Let z(q) be the third derivative of q**5/60 - 5*q**4/12 - 41*q**3/6 + 5*q**2. Is z(19) a multiple of 24?
False
Suppose -4*a + 69 = -3*r, 2*r = -4*a + 19 + 35. Does 15 divide a?
True
Let k be 2*9 - (-6 + 7). Let x = 25 - k. Does 18 divide (-3)/4 - (-606)/x?
False
Let l = -47 - -58. Let a = 101 - l. Is 15 a factor of a?
True
Suppose 122*w - 2774 = 120*w. Is w a multiple of 86?
False
Suppose 3*t + 5 = 5*q, -1 = 4*t - q - 17. Suppose 2*j + 1 + 15 = 2*d, 0 = -3*d + t*j + 34. Suppose 4*s - d*s - 6 = 0. Is 5 a factor of s?
False
Let o(n) = 977*n + 1. Let d be o(1). Suppose -15*x - d = -21*x. Is x a multiple of 15?
False
Suppose 0 = -y - 5*d - 128, 0 = 4*y - y - 4*d + 308. Let m = -52 - y. Is 7 a factor of 161/5 + m/70?
False
Let m be (-7)/(-3 + -4) - (1 - -10). Is 15 a factor of m/((6/(-93))/1)?
False
Let g = 28 - 25. Is (g/(-6) - (-2070)/12)/2 a multiple of 6?
False
Let i be ((-44)/77)/(4*(-3)/210). Let r(v) = 4*v - 3 - 10*v**2 + v**3 - v + 15. Does 22 divide r(i)?
False
Let y be (-48 - -47)/((6/(-4))/3). Let g(x) = 3*x - 6. Let t be g(4). Suppose 4*c - t*c + y = 0, -74 = -3*v + 4*c. Is v a multiple of 26?
True
Suppose 2*y + 1884 = 4*d, 4*y - 5*y = d - 468. Suppose -100*h + 105*h - d = 0. Is h a multiple of 47?
True
Let a = 521 + -318. Is a a multiple of 63?
False
Let c = -69 - -65. Is ((-102)/c + -2)/((-4)/(-16)) a multiple of 9?
False
Let n = 1202 + -701. Is 24 a factor of n?
False
Let a(w) = -6 + 2 - 2 - 3*w. Let g be a(-3). Suppose -f - 18 = -g*f. Does 3 divide f?
True
Let u = 17 - 28. Let y = 14 + u. Suppose 0 = 4*d - 2*t - 52, 29 = 3*d - y*t - 13. Is 3 a factor of d?
True
Let z = -36 - 2. Suppose 0 = -5*d + 4 - 54. Is (z/d)/((-3)/(-15)) a multiple of 19?
True
Let z(k) = 6 - 13 - 12*k + 7 + 4 - 2. Let t = -12 - -7. Is 14 a factor of z(t)?
False
Is 52 a factor of ((-15)/(-15))/(1117/372 - 3)?
False
Let b(a) be the first derivative of 2*a**3/3 + a**2/2 - 3*a - 3. Let x be ((-33)/6 + 3)*2. Is 21 a factor of b(x)?
True
Let k(m) = 32*m**2 - 6*m + 12. Is 34 a factor of k(5)?
True
Let y = 3 + 1. Suppose -6 = -2*g + y. Suppose z = g*v + 20, -5*z + z - 2*v = -124. Is z a multiple of 15?
True
Does 8 divide (-6)/12*15*328/(-5)?
False
Let g = -6 + 9. Let f(n) be the second derivative of n**4/12 + n**3/3 + 3*n**2 - 7*n - 1. Does 7 divide f(g)?
True
Let n(w) = 41*w**2 + w + 0*w + 25*w**2 - 19*w**2. Let b = -64 - -65. Is n(b) a multiple of 7?
False
Let a(c) = 3*c - 12. Let b be a(6). Suppose 5*s = b*s - 108. Does 27 divide s?
True
Suppose u - 22 = 5*v - 0*u, 3*u + 6 = -3*v. Let m be v/18 - 96/54. Is ((-15)/5)/(m/74) a multiple of 20?
False
Let x(v) = 14*v**2 + 3*v - 17. Let l(f) = -5*f**2 - f + 6. Let m(b) = 11*l(b) + 4*x(b). Is 20 a factor of m(6)?
True
Suppose 1065 = 2*q - 3*v, 3*q - 1100 - 495 = 2*v. Is q a multiple of 9?
True
Let q(g) = g**3 - 17*g**2 + 10*g - 16. Let b = 119 + -102. Is 8 a factor of q(b)?
False
Let i(g) = g**3 + 6*g**2 + 4*g. Let t be i(-4). Suppose 4*u + t + 8 = 0. Let q(x) = -7*x + 12. Does 18 divide q(u)?
True
Let w(s) be the second derivative of 0 + 32/3*s**3 - 10*s + 0*s**2. Is w(1) a multiple of 12?
False
Is 8 a factor of ((-60)/18)/(-9 - (-7286)/810)?
False
Is 3 a factor of (-6 - (-4 + -1))*(-30 + -1)?
False
Suppose -4 - 3 = q. Let x(z) be the third derivative of z**5/60 + z**4/8 + z**3/6 + 24*z**2. Does 29 divide x(q)?
True
Let h(b) = 78*b**2 + 2*b + 1. Let x be h(3). Let c = x - 367. Suppose -3*u + 58 = -2*u - 2*j, 3*j - c = -5*u. Is 22 a factor of u?
True
Let j(y) = -22*y + 1. Let v be j(1). Let a be (336/49)/((-2)/v). Suppose -o = o - a. Is 6 a factor of o?
True
Let d be 2/6*(1550 + 70/10). Suppose 0 = 4*a - 2*q - 34, 2*a - 4*q - 3 = 5. Is 10 a factor of 4/a + d/15?
False
Is ((-5)/(-2))/((-8)/(-2464)) a multiple of 22?
True
Let b be (2/(-3))/(10/(-1755)). Suppose 3*t - b = -2*u, 0*t - 5*t = 2*u - 111. Is 21 a factor of u?
True
Let a(m) = 6*m**2 - 2*m - 2. Let h be a(3). Suppose 3*v + 10 = h. Let p = 28 - v. Does 4 divide p?
True
Let l(r) be the second derivative of -r**4/12 - r**3 + 20*r. Does 5 divide l(-5)?
True
Suppose -3*o + 1277 = -2*m, 0 = 3*o - m + 6*m - 1270. Is 10 a factor of o?
False
Let c = 188 + -177. Is 2 a factor of c?
False
Suppose 631 = 2*m - 3*t, -4*m + 516 = -t - 761. Is m a multiple of 8?
True
Let b = -660 - -1192. Is b a multiple of 14?
True
Let h = -893 - -944. Is h a multiple of 16?
False
Suppose 3*f - 15 = 0, -3*p - f = -7*p + 3. Let u = 20 + p. Let v = u + -12. Is v a multiple of 10?
True
Let r = -127 - -183. Let u = r - 39. Is u a multiple of 17?
True
Let q = -45 - -47. Suppose 0*h - u + 154 = 3*h, -q*h + 84 = -4*u. Is 17 a factor of h?
False
Let h(w) = w**2 - 8*w - 2. Let v be h(8). Let o(m) = 24*m**2 + 4*m + 2. Let b be o(v). Suppose -2*p = -5*p + b. Doe