False
Suppose -129 = 5*o - 609. Suppose o = -5*y + 7*y + 3*w, -3*y = -5*w - 106. Is 16 a factor of y?
False
Let r be (-4)/(-10) - 6436/(-10). Suppose 4*f = -5*n + 152 + 508, -n = 4*f - r. Is 20 a factor of f?
True
Suppose 0 = 33*d - 1836 + 54. Is 2 a factor of d?
True
Let k be (1 + -32)/(8/8). Let g = k + 31. Suppose -t + 13 = -3*c - 6, g = -c + 5. Is 24 a factor of t?
False
Suppose 1124 = 3*k - k. Let r = -386 + k. Is r a multiple of 44?
True
Suppose -4*f - 2 = x, 0 = -x - f - f - 8. Let r(a) = -a - 4. Is 3 a factor of r(x)?
False
Let s = 3392 - 2048. Does 64 divide s?
True
Let h be (-2)/4 - 34/4. Let c(d) = -d**3 - 8*d**2 + 10*d + 5. Let i be c(h). Is 54*((-32)/6)/i a multiple of 24?
True
Let y(d) = -3*d**2 - 2*d - 2. Let f be y(-2). Let z(v) = -v**3 - 10*v**2 - 15*v - 5. Does 29 divide z(f)?
True
Let a(r) = r**2 + r - 2. Let i be a(-2). Suppose 5*s - 27 + 2 = i. Does 17 divide ((-3)/(-5))/(s/325)?
False
Let k(i) = 4*i**3 - 15*i**2 - 3*i + 19. Let n(t) = -5*t**3 + 14*t**2 + 4*t - 18. Let s(h) = 4*k(h) + 3*n(h). Does 22 divide s(18)?
True
Let w be 0 - (-3)/(3/4). Suppose 3*j = -4*q + 669, -w*q + j = 5*j - 672. Is 11 a factor of (8/3)/(10/q)?
True
Suppose 1020 = 3*u + 14*u. Is 30 a factor of u?
True
Let f be (-2)/13 + (-772)/52. Is (-116)/(-3) - (-10)/f a multiple of 19?
True
Let x(g) = -5*g - 10. Let n be x(-4). Let o be ((-20)/25)/((-4)/n). Suppose 3*u - 135 = -4*v, -u = 5*v + o*u - 168. Is v a multiple of 11?
True
Suppose -2*y - 3*w + 15 = -0*y, -5*y - 5*w = -30. Suppose 3*u - 264 = -3*p, -2*p + 424 = 3*p - y*u. Is p a multiple of 14?
False
Let n = 35 - -49. Suppose -3*z - n = -5*z. Let u = z + -24. Is 9 a factor of u?
True
Suppose -3*v + 1877 = -2*a, -4*a + 1028 + 1488 = 4*v. Is v a multiple of 19?
True
Let c = 2067 - 1595. Is 11 a factor of c?
False
Let p(t) = -73*t + 344. Does 26 divide p(4)?
True
Suppose 5*x = -4*x + 81. Is 1/(4 + (-35)/x) a multiple of 3?
True
Let t be -6*(-2)/30*5. Suppose -5*p + 205 = u + 3*u, -t*u + 75 = -3*p. Is 9 a factor of u?
True
Let w be (-32)/(-8)*(0 + 1). Suppose w*k - 10 = 2*k. Suppose 4*s + 57 = -4*t + 165, -3*t + 121 = -k*s. Does 16 divide t?
True
Suppose -8*p + 1230 = 7*p. Does 2 divide p?
True
Let s be (-4)/((-3)/3*1). Is 11 a factor of (20/s)/(-5)*-66?
True
Does 10 divide 2 + (-1595)/(-7) - (-2)/14?
True
Suppose -4*o + 51 = -o. Suppose 5*z = o - 2. Does 2 divide z?
False
Let f = -60 - -205. Let s be -4 - (-3)/(9/39). Suppose 0 = 4*c + s - f. Is c a multiple of 17?
True
Let k(a) = -a**3 - 4*a**2 + 3*a - 3. Suppose 0*w - 3*w + 21 = 0. Suppose 13 = -4*u - w. Is 3 a factor of k(u)?
False
Let k = 136 + -230. Let c = k + 146. Does 13 divide c?
True
Let q = -89 + 91. Suppose q*w = -3*w + 200. Is w a multiple of 10?
True
Suppose -210138 + 72726 = -33*s. Is 162 a factor of s?
False
Let a be (4/(-1))/8*-6. Suppose a*u + 306 = 9*u. Does 17 divide u?
True
Let v be 42/(-35)*1370/3. Let x = -301 - v. Does 15 divide 1/(-6) - x/(-6)?
False
Suppose -18569 + 1454 = -15*s. Does 20 divide s?
False
Suppose -20 + 126 = -2*l - 4*o, -4*o = -4*l - 236. Does 29 divide 1132/6 + (-19)/l?
False
Let l(c) = 19*c**2 - 1. Let j be (-21)/(-12) - (-1)/4. Suppose -1 - 1 = -j*k. Is l(k) a multiple of 14?
False
Suppose -2*n - 4*p - 198 = 0, -5*n + 2*p - 314 = 181. Is 27 a factor of (2/3)/(22/n) + 57?
True
Let u(v) = -3*v + v - 122*v**3 + v**2 + 119*v**3 - 7. Is 18 a factor of u(-3)?
False
Let p = -9 + 11. Suppose p*y = y + 75. Suppose -3*o + y = -4*i, i - 125 = -5*o - 0*i. Does 13 divide o?
False
Let a be 1/(-2) + -12*(-12)/32. Is 9 a factor of a/(-10) - (-724)/10?
True
Suppose 8 = -4*p, -3*p - 2*p = -3*f + 22. Is f a multiple of 2?
True
Let o = -12 - -15. Let h(i) = 6*i - 16 - i**o + 73*i**2 - 2 - 56*i**2. Is 12 a factor of h(17)?
True
Let y = 221 + -173. Does 3 divide y?
True
Suppose 0 = -19*o + 34*o - 8625. Is 23 a factor of o?
True
Let s(f) = -8*f**2 - 6*f - 29. Let i(t) = 3*t**2 + 2*t + 10. Let j(a) = 11*i(a) + 4*s(a). Let v be j(4). Let d = v - -63. Is 11 a factor of d?
False
Let d = -28 + 10. Does 19 divide (7*(-9)/(-12))/(d/(-912))?
True
Let j be 3 - (93 - 20/(-5)). Let d = -40 - j. Does 14 divide d?
False
Let l(z) = -z**2 - 6*z - 14. Let o be l(-4). Let n be o*((-4)/8)/1. Suppose -p - 5*b + 30 = 0, 50 = n*p - 6*b + b. Does 5 divide p?
True
Suppose 0 = 9*j + 3349 - 9532. Does 68 divide j?
False
Let r be 306/(-81) + 2/(-9). Let y be (-4)/(-22) - r/(-22). Suppose -136 = -y*l - 4*l. Is 17 a factor of l?
True
Let r = 1 + 16. Does 16 divide -1 - -13 - (r + -21)?
True
Let b = 714 - 441. Is b a multiple of 39?
True
Let q = -230 - -782. Is q a multiple of 70?
False
Let i be ((-8)/6)/((-2)/3). Suppose 2*f + i*f - 304 = 0. Suppose -f = -0*u - 2*u. Is 19 a factor of u?
True
Let b = 536 - 361. Is b a multiple of 7?
True
Suppose 6*m + 80 = m. Let y be 116/14 + m/56. Let v(c) = 4*c + 10. Is v(y) a multiple of 14?
True
Let z(c) = -2*c + 5. Let t be z(4). Let p be 0 + t/((-6)/8). Suppose -2*l + 3*a + 18 = 0, l + 3*a + 24 = p*l. Does 2 divide l?
True
Does 45 divide (-2 + (-346)/(-3))*(-486)/(-36)?
True
Let g = 182 + 46. Suppose g = 4*i - 2*i. Is i a multiple of 11?
False
Let f(r) = -68*r - 27. Is 35 a factor of f(-4)?
True
Let n = 936 + -222. Is 17 a factor of n?
True
Suppose 2*i + 7217 = 31*b - 28*b, i = 2. Is b a multiple of 29?
True
Suppose -q + 44 = 42. Suppose -t = -2*c + 5*c - 215, 3*c = -q*t + 415. Does 20 divide t?
True
Let i(a) = 2*a - 6. Let k be i(6). Is 84*((-1)/(4/(-16)))/k a multiple of 8?
True
Let m be (-8)/(-4) - 1 - -1. Let g(b) be the third derivative of b**6/40 + b**5/20 - b**4/6 + b**3/2 - 3*b**2. Is 4 a factor of g(m)?
False
Does 45 divide (-2)/(-8) + (-2518)/(-8)?
True
Let u = 83 + -118. Let l = u - -60. Does 5 divide l?
True
Suppose 4*f = 532 - 72. Is 23 a factor of f?
True
Suppose 0 = 2*y - 97 - 219. Let b = y + -74. Is b a multiple of 14?
True
Suppose -5*a + 4*w - 30 = 0, -4*w + 23 = 3*a + 9. Does 32 divide (-64)/a - (0 + 0)?
True
Let k = 781 + -621. Is 20 a factor of k?
True
Suppose -714 = -28*c + 22*c. Is c a multiple of 10?
False
Let q = -7 - -14. Let x(i) = i**3 - 7*i**2 + 3*i + 8. Is 3 a factor of x(q)?
False
Suppose 142 = 4*u + 26. Let w = u - -4. Does 7 divide w?
False
Suppose 5*w = -2*t + 667, -t - 2*w = t - 682. Suppose t - 94 = 2*x. Does 9 divide x?
True
Let s(a) = -1 - a**2 + 0 + 5*a**2 + 0. Let t be 1*-2*(-6)/(-4). Is 19 a factor of s(t)?
False
Suppose 3*j - 5*o = 7*j + 3, 4*o = -12. Suppose -2*d + 3*d + 2*w + 3 = 0, 3*d = -j*w. Suppose -2*q + 0*q = -2*n + 86, 0 = d*n - q - 133. Is n a multiple of 16?
False
Let f be 110/15*6 + 0. Suppose 0 = -41*a + f*a - 60. Is a a multiple of 4?
True
Suppose -96 = 3*x - 0*f - 3*f, 0 = -4*x - 3*f - 114. Let k be ((-27)/(-6))/(3/x). Let l = 63 + k. Does 4 divide l?
False
Let m = 27 - -25. Suppose -26 + 10 = -4*k, 2*f = -2*k + m. Does 4 divide f?
False
Suppose n + 2*r + 12 = 6*n, -r = -n + 3. Suppose n*w = 3*j + 2*j - 215, -2*w - 43 = -j. Let c = 83 - j. Is c a multiple of 16?
False
Suppose -o + 270 = r, o - 2*o - 5*r + 258 = 0. Suppose -o + 52 = -n. Is 13 a factor of n?
True
Suppose -61 = -5*u + 9. Let d be ((-6)/1)/2*-1. Let g = u - d. Is g a multiple of 8?
False
Let z = 149 - 44. Let i be (-4)/14 - (-6225)/z. Is 20 a factor of 3 + 1 + -3 + i?
True
Suppose 659 = 2*u + o, 5*u - 1643 = -5*o + 7*o. Is u a multiple of 47?
True
Let y(l) = 10*l**2 + 3*l - 7. Let z = -41 - -45. Is 33 a factor of y(z)?
True
Suppose 14*q - 860 = 9*q + t, -5*t = 0. Is 4 a factor of q?
True
Let u(l) = -5*l**2 - 5*l + 15. Let n(w) = -4*w**2 - 4*w + 16. Let j(s) = 4*n(s) - 3*u(s). Suppose 0 = 3*g - 2*z + 2, 0 = -4*g - g - 3*z + 3. Does 7 divide j(g)?
False
Let d be (5 + -9)/(-4) + (-1 - 0). Suppose -2*n + 724 = 3*u + u, d = 3*n + 4*u - 1088. Is n a multiple of 52?
True
Let t = -220 + 379. Let r = -113 + t. Suppose -r = 3*p - 4*p. Is p a multiple of 12?
False
Let w be (-657)/27 + (-4)/6 + 0. Let x(d) = d**3 + 24*d**2 - 31*d - 18. Does 31 divide x(w)?
False
Let l(h) = 0*h - 5*h + 40*h**2 + 0*h + 4*h. Suppose -5*i - 4 = -4*j, 2*j - 4*i = -2 + 4. Is 13 a factor of l(j)?
True
Suppose 75*v = 83*v - 17680. Is 65 a factor of v?
True
Suppose -2 = -2*u - 3*h, u + h + 0*h = 0. Is u/(-16) - 575/(-8) a multiple of 18?
True
Let u = -820 + 1276. Is u a multiple of 38?
True
Suppose -4*u + 264 = -0*u - 4*z, 2*u - 125 =