se 53*b + 18*b - 9*b = 2062678. Is 6 a factor of b?
False
Suppose 7*r - 2*r = q + 43, 0 = 5*r + 3*q - 31. Suppose -r*c + 0*c = -80. Suppose 0*v = -c*v + 2400. Is 12 a factor of v?
True
Let h = -385 - -386. Suppose -3*b = 10*j - 5*j - 26, 0 = -j - 2*b + h. Is j a multiple of 5?
False
Let u = -193 + 445. Is 4 a factor of u?
True
Let b(y) = -27 - 33 + 51*y + 15 - 78*y. Is 2 a factor of b(-4)?
False
Suppose 2*f = 5*f + 9, 0 = o - 5*f - 19. Let z be 15/(1 - 4) + o. Is 18 a factor of z/(4/(-532)*(1 - 0))?
False
Let v = -86 - -84. Let c be -5*2*v*2/5. Suppose 3 = -c*a + 59. Is a a multiple of 2?
False
Let p be ((-12)/(-10))/(6/20). Suppose -p*g = -330 - 202. Let q = -69 + g. Is q a multiple of 16?
True
Suppose 12806 = 12*m - 18298. Suppose 17*z = 23*z - m. Is z a multiple of 11?
False
Let y(w) = -3*w + 138 - 2*w + 0*w - 121. Is y(-5) even?
True
Let i = -1166 + 3196. Suppose -1218 = -3*u + 2*w, 11*u = 6*u + 5*w + i. Is 14 a factor of u?
True
Let d = 204 + -138. Let m be ((-16 - -20)/2)/((-4)/(-10)). Suppose 0 = y + m*c - 18, 3*y + 3*c = -0*y + d. Does 23 divide y?
True
Suppose 0 = -325*q + 1823371 - 92746. Is 71 a factor of q?
True
Let n = -2527 - -2813. Does 3 divide n?
False
Let m(x) = -3*x - 66. Let w(s) = 2*s + 33. Let v(d) = 2*m(d) + 5*w(d). Let c be v(-8). Let z(f) = 75*f**2 - 4*f + 5. Is 18 a factor of z(c)?
False
Let s(d) = d**3 + 3*d**2 - 1. Let g be s(1). Is g + -7 + 2 - -1*314 a multiple of 12?
True
Let w = 36 + -40. Let k be 9 + 0 - (0 - (w - -1)). Suppose 2*d - s = 1, k = -d - s + 14. Is d even?
False
Let x = -95 - -100. Suppose -x*s + 5474 + 2791 = 3*u, 10 = 2*u. Is s a multiple of 33?
True
Suppose -g = 2 - 4. Let n(a) = 6 - 3*a**2 + 96*a**3 - 95*a**3 - g*a + 3*a**2. Does 9 divide n(3)?
True
Let j be (-13)/(-13)*4*(-6)/(-8). Suppose j*x + 17*m - 176 = 13*m, 3*x - 178 = -5*m. Does 11 divide x?
False
Let l(s) = -71*s - 10*s + 119*s + 165. Does 9 divide l(14)?
False
Let v = 130 - 73. Let m be (-70)/6 + (-19)/v. Is 4 a factor of 4*(9/12 + -2)*m?
True
Suppose 0 = 4*y - 8, -5*w = -4*y + 12 + 1. Is 28 a factor of (1 - w)*(24*-14)/(-4)?
True
Let k = 5506 - 4436. Is 10 a factor of k?
True
Let y = -453 - -481. Suppose 0 = -16*j + y*j - 3828. Does 19 divide j?
False
Suppose 0 = -5*l, -8*l - 3240 = -4*c - 9*l. Suppose 7*j - c = 2200. Does 19 divide j?
False
Suppose 5*w - 20 = -n, 6*n - 20 = -5*w + 3*n. Suppose 12 = -2*o + 5*i, i - 4 = 4*o - w*i. Suppose -o*p + 205 = 3*s, 297 = 5*p + 3*s + 37. Is 11 a factor of p?
True
Let m be (3964/(-16))/((-4)/(-16)). Let d = 1391 + m. Is d a multiple of 80?
True
Let u = -15708 + 23733. Is u a multiple of 107?
True
Let f = -113 - -206. Suppose -98 + f = -g. Suppose q = j + 113 + 22, -q - g*j = -147. Is 30 a factor of q?
False
Let z = -145 - -161. Suppose z*n = -n + 595. Is 10 a factor of n?
False
Suppose -32*y + 5*j + 3517 = -28*y, -2*y + 5*j = -1771. Is y even?
False
Suppose -5*t + 31 = -3*l, -3*t = -3*l - 9 - 6. Let p = t + 4. Let g(y) = 18*y - 30. Does 36 divide g(p)?
False
Let g = 17226 + -9909. Is g a multiple of 15?
False
Suppose -4*k - 1949 + 21770 = 3*m, 2*k = -m + 9913. Is 57 a factor of k?
True
Suppose 998 = -5*w + 6458. Suppose 9*x = -2*y + 7*x + w, 0 = x - 2. Is y a multiple of 34?
True
Suppose -52 = -2*z + 3*p, 4*z + p - 104 = -4*p. Suppose 0 = c + 2, 35 = 3*t - 2*c - 26. Let g = z + t. Is g a multiple of 9?
True
Suppose -3*i - 2*s + 3*s - 1 = 0, -2*i = -2*s + 2. Suppose i = 25*o - 4*o - 1932. Is 3 a factor of o?
False
Let s(k) = 8*k**2 + k + 49. Let h(x) = -74 + 24*x**2 - 61*x**2 - 2*x + 25*x**2. Let u(w) = 5*h(w) + 8*s(w). Is u(4) a multiple of 12?
False
Suppose 4*x = x + h + 4, -4*x - 3 = -3*h. Let n(b) = -b**3 - 8*b**2 - 4*b + 6. Let t be n(-6). Let m = x - t. Is 38 a factor of m?
False
Suppose -4*i - 2*v + 10 = 0, -i + 4*v - v + 20 = 0. Suppose 3*c = 5*d + 465, 2*c = 2*d + i + 309. Is 13 a factor of c?
False
Let z be 3/(((-3)/9)/(7/(-21))). Suppose 0 = -2*i - 5*l + 109, -2*l + z + 7 = 0. Is i a multiple of 26?
False
Suppose -36 = w - 5*f, -8*w - 132 = -3*w - f. Let k be 4/(5 + -13)*(w + 0). Does 32 divide 414/k + (-48)/26 + 2?
True
Is ((-179)/716)/(1/(-7708)) a multiple of 21?
False
Let f(h) = h**3 + 53*h**2 - 125*h - 412. Is f(-53) a multiple of 15?
False
Let f be 3/(-2)*20/(-30). Is 23 a factor of (1 + 3)/(f/23)?
True
Let p(l) be the third derivative of l**5/30 + l**4/4 - 7*l**3/6 + l**2. Suppose -723*v = -710*v + 91. Is 7 a factor of p(v)?
True
Let z(b) = b**3 + b**2 + b + 3. Suppose -4*j = -2*s + 3*s + 23, -s = -1. Let x be z(j). Let a = -76 - x. Does 24 divide a?
False
Is (-19 + -1251)*3/(-5) a multiple of 7?
False
Let p be (-33)/(-1)*-6*(-1)/6. Suppose 4*z - p*z + 2262 = 0. Is z a multiple of 9?
False
Let f be -3 - (9/(-3))/(15/860). Let p = f - -41. Suppose 114 = 6*s - p. Does 9 divide s?
True
Suppose -2*g + 240 + 60 = -g. Is 60 a factor of g?
True
Suppose 5*i + 10 = -4*z + 7*z, 0 = i + 5*z + 30. Let a = i + 173. Is a a multiple of 21?
True
Suppose 17*l = 12*l + 45. Suppose -3*x = -l - 0. Suppose 0 = -5*f - 7 - x, -4*f + 1272 = 5*b. Is b a multiple of 32?
True
Let h = -128 - -685. Let b = -137 + h. Is b a multiple of 15?
True
Does 103 divide (4943 - -1)/((-33)/(-88))?
True
Suppose 2*m - 10 = -0*m. Let t(c) = 9*c**2 - 5*c + 27. Is t(m) a multiple of 8?
False
Let z = 732 + -462. Suppose -11*q - z = -3768. Is q a multiple of 18?
False
Suppose 4*s + 46 = 2*f, -3*s - 59 = 2*s - 3*f. Let u be 886/s - 10/25. Let g = -49 - u. Is g a multiple of 5?
True
Suppose 236*q - 237*q + 1182 = -4*w, 4*q - 4782 = -2*w. Does 41 divide q?
False
Suppose 0 = 7*k - 21 - 42. Suppose 7*r = 3*f + k*r - 2962, 0 = -5*f + 2*r + 4910. Is f a multiple of 69?
False
Suppose -b + 4*r + 538 = 0, -2*r - 480 = -5*b + 2138. Does 18 divide b?
True
Let c = 322 + 122. Suppose n = c - 46. Does 15 divide n?
False
Is 6 a factor of (16588 - 2) + 43/(430/(-20))?
True
Let m(r) = 6*r**3 + 10*r**2 - 20*r - 3. Let f be m(2). Suppose -5*q + 15 = -0. Is 7 a factor of (-7 - -4) + f/(-2 + q)?
True
Let l = 73 - 61. Let v(o) = -13 - 3*o - o - o + l. Is v(-5) a multiple of 24?
True
Let x be 15/3 + -166 + 28/(-4). Is (-7280)/x*42/4 a multiple of 35?
True
Let f = -67 - -73. Is 10/((f/8)/3) a multiple of 6?
False
Let x be ((-3)/(-2))/(-3)*34. Let c(k) = k**2 - 8*k - 105. Is c(x) a multiple of 32?
True
Let u(j) = j - 14. Let s(i) = -2*i**2 - 19*i + 24. Let o be s(-10). Let g be u(o). Suppose a - 154 - 41 = g. Does 15 divide a?
True
Let x(j) = -2*j + 3. Suppose -2*z + 4*z = -4*o - 16, 0 = -2*z + o + 4. Let m be x(z). Suppose 3*p = -0*c - c + 278, 0 = p + m*c - 98. Is 23 a factor of p?
True
Let b(n) = 91*n**2 - 1266*n - 11325. Is b(-9) a multiple of 24?
True
Let n = 169 + -163. Does 44 divide ((-704)/24)/((-1)/n)?
True
Let t(i) = -93*i - 1334. Is 22 a factor of t(-30)?
False
Let j(t) = -30*t**2 - 29*t + 8. Let r(h) = 14*h**2 + 14*h + 4*h**2 - 5 + 1 - 3*h**2. Let g(o) = 3*j(o) + 7*r(o). Does 20 divide g(4)?
True
Let p(i) = -5*i + 46. Let b be p(14). Is b/(-84) - 2530/(-14) a multiple of 13?
False
Let j(z) = 11*z**2 - 751*z - 882. Is j(102) a multiple of 16?
True
Let q(r) = 16*r**2 + 42*r - 2412. Is q(39) a multiple of 154?
True
Let y(h) = 1049*h**3 - 2*h**2 + 30*h - 47. Is y(2) a multiple of 29?
False
Suppose 2 = 3*f - 2*f. Let z(u) be the second derivative of 7*u**4/2 + u**3/6 - u**2/2 + u - 41. Is z(f) a multiple of 13?
True
Suppose 0 = 4*f + 5*f - 81. Let a be 6/f + 20/15. Is 8 a factor of (a/4)/(6/864)?
True
Suppose 0 = 243*p - 187*p - 2065504. Does 137 divide p?
False
Let l(h) = -h**3 - 33*h**2 + 10*h - 15. Let x be l(-33). Let b = x + 459. Is 54 a factor of b?
False
Let i be 15*4/(12 - 0). Suppose i*s - 45 = -30. Suppose 5*c - 147 = 3*x, s*x = 5*c - 2*x - 145. Does 10 divide c?
True
Is 9 a factor of (6/15 - (-71259)/15) + 9?
False
Let x = 13 - 12. Suppose 0 = 4*b - x - 59. Suppose -h = b - 69. Does 18 divide h?
True
Let x(r) = 26*r**2 + 5*r - 16. Is 70 a factor of x(4)?
True
Let g be 180/14*784/21. Suppose g = 26*l + 6*l. Is 15 a factor of l?
True
Is 10 a factor of (336/(-140))/(5/(-575))?
False
Let m be (-10)/15*-6 + 701. Let t be m/65 - (-6)/39. Suppose -t*k = -9*k - 126. Does 21 divide k?
True
Let z be -2 - -14*(-213)/(-6). Suppose -8*r - z = -19*r. Is 20 a factor of r?
False
Suppose 0*b = -2*r - 3*b + 18915, 4*b = r - 9430. Suppose 12*i - 