et j = w + -64. Is 26 a factor of j?
False
Let g(v) = 411*v**2 - 3*v + 2. Suppose -7*h + 0 = -7. Is 53 a factor of g(h)?
False
Let i be 10 + (9 - (7 + 8)). Let j = -7 + 22. Suppose -j = -r - i*r. Does 3 divide r?
True
Let u = 4401 + -4138. Does 13 divide u?
False
Suppose 3*t - 5 + 0 = -5*m, 2*m - 2*t = 18. Let l be (-2 + 2)/((-2)/(-6 + m)). Does 23 divide 43 - (l/(1 + -3) + -3)?
True
Suppose -t = i + 3, 2*i = -0*t + 3*t - 1. Is 6 a factor of 3 - (2 - i) - -49?
True
Let m(h) = -h**3 - 42*h**2 + 44*h + 43. Let s be m(-43). Is (s + 3/3)*378 a multiple of 20?
False
Suppose 15*r - 12*r - 7392 = -2*u, -5*r + 12298 = -4*u. Does 5 divide r?
False
Let r = -40494 + 85286. Is r a multiple of 17?
False
Suppose -2*k + 13 = f, -2*k - f - 3*f = -16. Let g = 15 + -16. Does 35 divide (-26071)/(-124) + k/8 + g?
True
Let x(y) = -1649*y - 880. Does 202 divide x(-16)?
False
Let d(p) = p**2 + 7*p + 6. Let o be d(-6). Let h(s) = 83 - s**2 - 9 + 43 + 19 - 5. Is h(o) a multiple of 32?
False
Let d(w) = 187*w**2 - 100*w - 665. Is 126 a factor of d(-7)?
True
Let o = -19020 - -50940. Suppose -o = -90*b + 74*b. Does 21 divide b?
True
Let n(k) = 70*k**3 - 6*k**2 + 9*k - 4. Let l be n(2). Let s = l - 36. Is 22 a factor of s?
False
Suppose 0 = -3*o - 22 + 7. Let a be 177 + 3 + o + -1. Let q = -9 + a. Is q a multiple of 15?
True
Suppose 30*a + 314800 = 75*a - 29*a. Is 111 a factor of a?
False
Suppose 20889 = 32*z - 5991. Is z a multiple of 10?
True
Let l be ((-1)/(-1))/(7 + (-75)/10). Let u = -1 - -1. Is 1/l*(-40 - (u + -4)) a multiple of 3?
True
Let m = 358 - -394. Is 3 a factor of m?
False
Is 1609 - (14 + 9 + -8) a multiple of 3?
False
Suppose 13*g + 121 - 654 = 0. Suppose -11*t = -g - 3. Does 6 divide (-150)/(t*(-2)/4)?
False
Let b be 4/26 + 0 - 11623/767. Let o(c) = 3*c + 96. Does 6 divide o(b)?
False
Let o = -9 + 12. Let j be 5*(-1 - 14)/o. Let w = 63 + j. Is 12 a factor of w?
False
Let i(m) = -2*m**2 + 28*m - 58. Let l be i(10). Suppose 0 = -9*x + l*x - 3432. Is 22 a factor of x?
True
Suppose 7 = -4*g + 23. Suppose g*c = -u + 29, -7*c + 26 = u - 6*c. Suppose u*r - 20*r = 100. Does 10 divide r?
True
Let w be ((-10)/(-25))/(1/(-5)). Let i be (2 - (6 + -4))/w. Suppose -4*d + 3*y + 423 = i, 0 = -3*d - 3*y + 136 + 176. Is d a multiple of 15?
True
Is (-27870)/(-14) - 1 - 86/(-301) a multiple of 13?
False
Suppose -4*z + 2*l = -300, 200 = 4*z + 2*l - 76. Is z a multiple of 9?
True
Let p(y) = -y**3 - 6*y**2 - 6*y + 5. Let s be p(-5). Suppose 10 = -5*z - 2*m, -4*z = m + s - 2. Is ((-60)/1)/(-5) + z a multiple of 10?
True
Let o(w) = 5*w - 1. Suppose 2*d - 4*h - 12 = 0, 2*d = -3*h - 6 + 4. Suppose -d*z = -3*v + 30, 2*v + 2*z = -0*z + 10. Does 13 divide o(v)?
True
Let t(p) = -p**3 + p**2 + p + 57. Let v be t(0). Suppose -2*s = -5*i + 13, 3*s - 2*s - 5*i + 9 = 0. Is 19 a factor of v/(s/(40/(-15)))?
True
Suppose 25 = 5*i, -2*i + i + 53 = 3*u. Suppose -37*w = -41*w + u. Suppose -w*o - 2*b + 60 = -174, 2*o = -3*b + 119. Does 29 divide o?
True
Let n(b) = 16*b + 217. Let t(k) = -2*k + 38. Let w be t(19). Is 31 a factor of n(w)?
True
Is 89 a factor of 102 + -121 - -13*111?
True
Suppose -2*w - 445 = -2*z - 127, -3*z = -2*w - 323. Suppose 0 = -3*p - 4*d - 1014, 502 + 122 = -2*p + 6*d. Let r = w - p. Is 29 a factor of r?
False
Suppose 9*j + 1560 = 19*j. Is 52 a factor of j?
True
Let f(x) = -47*x + 18. Let w(c) = -c - 2. Let b(y) = f(y) - 3*w(y). Is 38 a factor of b(-12)?
False
Suppose 4*i - 21 = -17. Let b = i + 4. Suppose -2*t - 3*t + 745 = b*u, 5*t = -4*u + 597. Is u a multiple of 17?
False
Is 55 a factor of (-20040)/(-36)*((-222)/(-12) + -2)?
True
Suppose 2803 = 2*a - l, 5611 = 4*a - 21*l + 18*l. Let o = a - 968. Is 24 a factor of o?
False
Let b = -142 + 39. Let v = b + 100. Let t(a) = 12*a**2 - 3. Is 12 a factor of t(v)?
False
Let r(v) = -438*v + 5414. Does 75 divide r(-34)?
False
Is (131341/(-35))/(2/(-10)) a multiple of 50?
False
Let l(r) = 47*r - 230. Let c be l(6). Let t = 7 + -4. Suppose 0*g - t*q = -5*g + c, -2*g + 12 = q. Is g a multiple of 8?
True
Is 89 a factor of -11 - (-129488)/120 - 2/30?
True
Let c be (78/(-24))/(1/8). Is (4/(-6))/((c/(-324))/(-13)) a multiple of 8?
False
Let y be 13 - -2 - (2 - 5). Let a(u) = -u**3 + 21*u**2 - 12*u - 61. Is 11 a factor of a(y)?
False
Suppose 0 = h - 2*k - 133, 27*k - 29*k - 423 = -3*h. Does 5 divide h?
True
Let g(k) = -2*k**3 + 14*k**2 - 8*k + 5. Let i be g(6). Let l(z) = -i*z + 1 + 48*z - 24*z. Does 7 divide l(-8)?
False
Suppose 12780 + 16613 = 17*q. Is q a multiple of 13?
True
Suppose -5*a - 11*c + 12*c + 20026 = 0, -5*a + 20029 = -4*c. Is a a multiple of 14?
False
Suppose 2*y - 260 = -242. Suppose j - 2*v = 1829, 3*j + 5*v = y*v + 5491. Is j a multiple of 13?
True
Suppose r = -3*d + 9, -11 = 4*r + 2*d + 3. Let a = 159 - r. Does 11 divide a?
True
Suppose 3*p + 15 = 6*p + r, -r = 2*p - 11. Suppose p*a - 37 = -3*x, 5*x - 2*a - 3*a - 120 = 0. Is x a multiple of 19?
True
Let s be 1/3 + (-2944)/(-6). Suppose -7*z - 2*z + 21 = 3. Suppose s = 6*a - 3*a - z*l, 5*l + 5 = 0. Is a a multiple of 52?
False
Is 24 a factor of (552/(-72) - 9)/(1/(-51))?
False
Let w(s) = -19*s + 31. Suppose 5*q - 75 = -100. Is w(q) a multiple of 2?
True
Suppose -8*a = 8*a. Suppose -6 = -3*b, 2*w + w - 2*b - 323 = a. Does 8 divide w?
False
Is (2/(-8)*30)/(1/324*-1) a multiple of 15?
True
Is 85 a factor of ((-245)/(-98) - -30)*1/(1/114)?
False
Suppose 33 = -5*c - 2. Suppose 4*m = 5*x + 6*m - 213, 0 = 4*x - 4*m - 148. Let n = x + c. Does 5 divide n?
False
Suppose 653471 = 121*j - 748919. Is j a multiple of 19?
True
Let q = -10 + 102. Let n = -193 - -196. Suppose 0 = -n*w - 2*h + 158, -2*w + 2*h - 6*h = -q. Is w a multiple of 10?
False
Let p = 50 - 42. Let n be (6/p)/((-18)/(-72)). Let c(l) = 25*l + 12. Is 10 a factor of c(n)?
False
Suppose -4*p + 44667 = 5*d + 10777, -3*d - 3*p + 20334 = 0. Is 5 a factor of d?
False
Suppose -7*m - 18362 = -n - 9*m, 0 = 2*n + 6*m - 36734. Is 148 a factor of n?
True
Suppose -7 = -x - 5*j, -x = 4*x - j - 9. Is 7 a factor of x*3/12*28*25?
True
Suppose 2*s = 3*s - 12. Suppose s*y + 1012 = 2812. Is y a multiple of 10?
True
Suppose f = -10 + 4. Let r(b) = -b**3 + 16*b**2 + 18*b - 14. Let u be r(17). Is 6 a factor of 46*((-21)/f - u)?
False
Let g = 7045 - 3645. Does 40 divide g?
True
Let g(b) = -132*b - 1053. Does 5 divide g(-12)?
False
Let i(t) = -174*t + 138. Is 15 a factor of i(-3)?
True
Suppose 0 = -4*w - 3 - 5. Does 11 divide (2/w)/(-8 + 7) + 279?
False
Suppose -4*k - 16456 = -3*w, -255*w + k + 5484 = -254*w. Is w a multiple of 274?
True
Is 8/(-1) - (-70376)/(-19)*-2 a multiple of 25?
True
Let v(c) = -29*c + 75. Let u be v(-4). Suppose 197*q = u*q + 1260. Does 7 divide q?
True
Let h = -100 + 141. Let o = 222 + h. Is 29 a factor of o?
False
Suppose -4*y + 14 + 6 = 0. Suppose -j + y*b = -17, -4*j - b + 38 = -6*b. Suppose -2*p - 45 = -j*p. Is p a multiple of 3?
True
Suppose -58021 = -60*a + 533999. Is 143 a factor of a?
True
Let p(z) = 54*z - 39. Let k be p(3). Let g = k + 13. Does 17 divide g?
True
Suppose 35*f = 24*f + 33. Suppose f*a + 10*a = 2912. Does 16 divide a?
True
Let m be 6 - (16 - 12 - (0 + 44)). Suppose -8*x + 18900 = m*x. Is 25 a factor of x?
True
Suppose 29*f + 25242 = 34*f + 4*b, -b = -2*f + 10089. Does 29 divide f?
True
Let p = 12783 + -5853. Is p a multiple of 63?
True
Let h = 437 + 25841. Does 14 divide h?
True
Let h(a) = -a**2 - 5*a - 1. Let k be h(-3). Suppose i = f - 3*i + 22, k*f + 38 = 2*i. Is 2 + f + (110 - 2) a multiple of 26?
True
Let m(b) = -b**3 + 21*b**2 + 22*b - 19. Let x(i) = -i**3 + 21*i**2 + 22*i - 20. Let k(s) = 5*m(s) - 6*x(s). Let w = 277 + -255. Is 4 a factor of k(w)?
False
Let w = -72 + 366. Does 7 divide (w/(-35))/(86/90 - 1)?
True
Suppose 0 = -h + 3*c + 57, h - c + 4*c = 69. Suppose -77 = -4*d + h. Is 4 a factor of d?
False
Let m(q) = -q**3 + 4*q**2 + 3*q - 10. Let d be m(4). Suppose -5*g + 1402 = d*r, -2*r = -3*g - r + 839. Is 70 a factor of g?
True
Suppose 198 + 50 = 2*b. Suppose 34*z + b = 36*z. Suppose -z = -r + 151. Does 17 divide r?
False
Let r be (7 - 1 - 3) + 0. Suppose 114 = v + 4*q, -v - 6*q = -r*q - 109. Suppose -v = 4*m - 622. Does 15 divide m?
False
Suppose -u - 2*o + 5 = -8, -4*u + 5*o = 13. Let q(c) = -c**3 - c**2 + c - 2. Let y be q(u). Is (-3)/(-21) - 2550/y a multiple of 15?
False
Let f