-128*r - 1049. Does 2 divide v(-29)?
False
Suppose 3*o - 3*m = 21264, 4*m + 316 = -o + 7409. Does 108 divide o?
False
Suppose 0 = -10*u + 16*u + 12. Is 2 a factor of u/(-1)*(-7)/((-70)/215)?
False
Suppose -c + 3*d + 14680 = 0, -2*d + 10 = -7*d. Suppose 7*r = 36*r - c. Is r a multiple of 46?
True
Let c = -63021 - -110539. Is 88 a factor of c?
False
Suppose 4804*f - 3274370 = 4694*f. Does 8 divide f?
False
Let m = -10314 - -16411. Is 91 a factor of m?
True
Let i be (21 + -23)*(-6)/4. Let h(d) = 6*d**2 + 8*d - 10. Does 68 divide h(i)?
True
Suppose -166*r + 159*r + 28 = 0. Let b(k) = 13*k**3 + 3*k**2 + 4*k + 3. Is 7 a factor of b(r)?
False
Let a(m) = 146*m**3 - 4*m**2 + 2*m - 2. Let q(t) = -293*t**3 + 9*t**2 - 4*t + 3. Let s(p) = 5*a(p) + 2*q(p). Does 13 divide s(2)?
True
Let i be ((-90)/24)/15*0/(-2). Let u = i - -32. Is 4 a factor of u?
True
Let i(p) be the third derivative of -p**6/30 + p**5/60 + p**3/2 - 33*p**2 + 2*p. Is i(-3) a multiple of 6?
True
Let g be ((-70)/10)/(-2 + 1). Let x(h) = 3*h**3 - 6*h**2 - 17*h - 18. Is x(g) a multiple of 61?
False
Let i be (-4)/10 + 24/60. Suppose 0 = -r - 2*a + 293, i = -3*r - 3*a + 553 + 320. Suppose r = 2*j + 119. Is 19 a factor of j?
False
Suppose 3*v + 27 = -4*t, 5*t + 35 = v + 6. Let s = t - -9. Is 3 a factor of s?
True
Let t = -8347 + 11874. Does 17 divide t?
False
Is (1227/4)/(23/276) a multiple of 20?
False
Suppose -15 = -h + 34. Let m = h - -131. Is 30 a factor of m?
True
Let y(a) = a**3 + 15*a**2 - 15*a - 46. Is 14 a factor of y(-12)?
False
Suppose -18*w + 5*w = -1365. Suppose 99*n + 1476 = w*n. Does 37 divide n?
False
Suppose 40*d = 3*a + 38*d - 2224, 3*d = a - 732. Does 12 divide a?
True
Let q(h) = h**2 - 6. Let d = -6 + 9. Let c be q(d). Let k(v) = 32*v - 4. Is k(c) a multiple of 5?
False
Suppose -4*l = -g - l + 2511, -3*l - 12543 = -5*g. Is 12 a factor of g?
True
Let f(p) = 1135*p**3 + 2*p**2 - 4*p + 4. Let m be f(1). Suppose -4*u = 2*a - 2162, m = 4*u + 4*a - 1027. Is u a multiple of 10?
True
Let n = -354 + 141. Let c(d) = -52*d**2 - 2*d - 1. Let r be c(-1). Let y = r - n. Does 28 divide y?
False
Suppose 2*s + 3930 - 3924 = 0, s + 15333 = 2*l. Does 50 divide l?
False
Suppose 13*r = 12*r + 2. Suppose -4*h = 9*u - 4*u - 374, r*u = -5*h + 153. Is u a multiple of 3?
False
Let t(c) = 29*c**2 + 27*c - 36. Suppose 0 = 17*l + 76 + 26. Is 82 a factor of t(l)?
False
Let d(u) = 738*u + 2145. Is 8 a factor of d(16)?
False
Is (280/(-15))/(60/(-2970)) a multiple of 22?
True
Let x = 2063 - 616. Suppose 2*s = 4*h - 4888, -4669 = -5*h + s + x. Does 68 divide h?
True
Let o be 8/(-52) + 37/(-13) + 7. Suppose -2*j - 2*r = j - 28, o*j + 1 = 5*r. Is 8 a factor of j*50/90*(-1 - -13)?
True
Suppose -4*m + 6402 = 2*i, -4*i = 4*m - 13519 + 739. Does 29 divide i?
False
Suppose -2*l - 3*m = -6*m - 856, 876 = 2*l + 2*m. Let a = l - 42. Does 14 divide a?
True
Suppose -350 = -25*q - 125. Suppose -2*y + 1380 = 4*o, q*y + 3*o = 7*y + 1377. Is y a multiple of 41?
False
Let r be (-14*2/(-16))/(6/21624). Let q = r - 4459. Does 44 divide q?
True
Suppose 5 = -3*i + 14. Suppose -7*r + i*r + 656 = 0. Let o = -80 + r. Does 28 divide o?
True
Let n = -1744 - -2822. Suppose -n = -5*z + 272. Does 6 divide z?
True
Let u = 158 - 556. Let x = u - -468. Is x a multiple of 37?
False
Does 33 divide (27/15)/(186/5905500)?
False
Suppose 12 = 7*g - 4*g. Suppose 0 = -2*x - y + 320, 2*y - 478 = x - g*x. Is x a multiple of 5?
False
Let f(b) = 1777 + 1777 - 8*b**2 - 3550 + b - 4*b - b**3. Suppose -8*i = -3*i - 5*r + 40, -2*i = 4*r + 22. Is 17 a factor of f(i)?
False
Is 122 a factor of (-20)/70 - 360/20*(-34918)/28?
False
Let o be 39/(-12) - 2 - 3/(-12). Let f be o + -6*(-3)/6. Is 16 a factor of (42/(-20)*f)/((-7)/(-35))?
False
Let u = -20222 + 32396. Is u a multiple of 9?
False
Suppose 3*v + 2*p - p = -20, -5*v = p + 36. Let c be 1/v - 429/(-104). Suppose -c*x - 4*k = -2*x - 80, 4*x - 160 = 4*k. Is 4 a factor of x?
True
Let k(a) = 8138*a + 836. Is k(2) a multiple of 92?
True
Is 118 a factor of (-2 + (-67782)/(-9))*(-6)/(-8)?
False
Let q be (-2)/(8/2)*-22. Let u(c) = -6*c + 17 + 22 + 3*c + 5*c. Is 11 a factor of u(q)?
False
Let g(v) = 8*v + 88 - 74*v + 38*v. Let w(f) = -19*f + 59. Let q(i) = 5*g(i) - 7*w(i). Is 3 a factor of q(0)?
True
Suppose -2*s = -5*b - 26, 2*s + b - 26 = -b. Let v(p) = -p**2 + 4*p. Let o be v(s). Let n = -57 - o. Is 15 a factor of n?
True
Let z(k) = -7*k - 7. Let a(d) = 3*d + 3. Let x(r) = 9*a(r) + 4*z(r). Let q be x(3). Is 29*q*(-5)/10 a multiple of 13?
False
Let b(i) = -i**2 + 4*i + 8. Suppose -2*z - 3*d = -1, 2*d + 2 - 6 = -2*z. Let p be b(z). Suppose 192 = p*u - 84. Is 23 a factor of u?
True
Suppose 0 = 5*m - 4*a - 1625, -2*a + 267 + 44 = m. Suppose -5*d + 8*d = m. Let v = d + 73. Does 45 divide v?
True
Let m be -3*(-1)/(-12)*-4. Let w(c) = -98*c + m + 10 - 3 - 3*c. Is 18 a factor of w(-1)?
False
Let d = 774 - 411. Let w = -217 + d. Does 13 divide w?
False
Let k = -96 + 116. Is 15/k + (0 - (-324)/16) even?
False
Let u be (1668/(-15))/((-16)/(-40)). Let s = 462 + u. Is s a multiple of 8?
True
Let v = -93 + 174. Let a be (-1 - 1)*(1 + 210/12). Let l = a + v. Is l a multiple of 6?
False
Let t = 6985 + -3061. Is 12 a factor of t?
True
Suppose s - 3 = -0, 5*n = -4*s + 22. Suppose -v = 2*v, 44 = n*r + 5*v. Let j = 24 + r. Is j a multiple of 23?
True
Is ((-12)/(-5))/((-108)/(-407880)) a multiple of 11?
True
Suppose -3*p + 988 = 4*a, 5*a + 0*p - 1235 = 5*p. Let y = a + -209. Is 35 a factor of y?
False
Let n = -5 + 13. Let c be (4/(-6))/(n/(-276)). Let t = -13 + c. Does 5 divide t?
True
Let n be (-10)/(-25) + (-11956)/(-10). Suppose 13*g = -13*g + n. Is g a multiple of 8?
False
Let g(u) = -u**2 - u + 8. Let z be g(-4). Let o be (z*(-3)/10)/(15/100). Does 6 divide ((-3)/((-30)/8))/(o/300)?
True
Let s = 10 - -70. Let i be 17 + (13 - 23) - 4. Suppose i*l = -2*l + s. Is l a multiple of 11?
False
Let j(o) = 51*o + 9. Let f be j(9). Suppose -h + 4*h - f = 0. Suppose -2*b - b = -h. Is b a multiple of 13?
True
Let p be 46/10 - 30/50. Suppose 4*z - 433 = -a, -p*a + 1768 = -15*z + 13*z. Is a a multiple of 21?
True
Let i be (-14)/21*81/(-3). Suppose 0 = 4*v + 4*j - 24, 8 + i = 5*v + j. Suppose -c + 193 = -v*a, 3*c - 7*c + 706 = 2*a. Is 14 a factor of c?
False
Let v(i) = i**2 - 3*i - 21. Let l be v(7). Suppose -s = -2*x - 15, 3*x + l = 2*s - 18. Does 11 divide (1/(-1))/(s + (-1730)/345)?
False
Let s be 1/(-5) - (-21)/5. Suppose -372 = -5*w + 4*t, -3*w = s*t - 173 - 31. Let v = 182 - w. Does 5 divide v?
True
Let x(s) = 4*s + 14. Let u be x(-6). Let z be (192/u)/((-12)/(-80)). Let r = z - -216. Is r a multiple of 16?
False
Let z be 14*((-286)/(-33) - (-2)/6). Suppose -14*t + z = 4*t. Does 2 divide t?
False
Let p(y) = -24*y - 200. Let j be p(-8). Does 17 divide (-3344)/(-4) + (-8)/(j/(-3))?
True
Let s = 869 - -1101. Suppose a = 4*b + 3*a - s, 2*b - 2*a - 1000 = 0. Does 55 divide b?
True
Does 24 divide ((-6)/33 + (-13664)/(-132))*11592/230?
True
Let d be 29 - (-1 - (-2)/4*0). Suppose 0 = -d*k + 29*k + 2. Suppose -2*g - k*g + 34 = 2*n, -40 = -4*g - 4*n. Does 7 divide g?
True
Suppose 19*y - 23*y + 5*j + 8928 = 0, 2*y + 3*j - 4464 = 0. Is y a multiple of 35?
False
Let x be 0 - (-1 + 2 - 4). Let p(g) be the second derivative of 7*g**3/2 - 7*g**2/2 + 40*g - 2. Is 21 a factor of p(x)?
False
Let z(w) = w**2. Let n(d) = -2*d**2 + 17*d - 54. Let x(k) = n(k) + 6*z(k). Is x(8) a multiple of 13?
True
Suppose -2*d - i - 1 - 1 = 0, i + 2 = 5*d. Suppose 3*x + x = -2*b + 182, 5*x - 2*b - 205 = d. Let w = 143 - x. Is w a multiple of 12?
False
Let w(a) = 95*a**2 + 80*a + 98. Let t(x) = -33*x**2 - 27*x - 33. Let y(u) = 11*t(u) + 4*w(u). Does 11 divide y(-9)?
True
Is 27 a factor of 2/154*28 + (-386092)/(-22)?
True
Suppose 3*l = 12, -10231 = -b - 6*l - 1096. Does 134 divide b?
False
Let q be (-4 - (-35)/10)*-44. Let p = q + -18. Suppose -p*j + 9 = -j. Is j a multiple of 2?
False
Let l = -19 + -60. Let w = 78 + l. Is 12 a factor of ((-2)/w)/2 + 131?
True
Suppose 115 = p + 613. Let m = p + 526. Is m a multiple of 7?
True
Let j = -105 - -242. Let p = j - -139. Is 5 a factor of p?
False
Suppose 230*z - 53063 = 137377. Is 207 a factor of z?
True
Let p = 1389 - 1975. Let f = p - -979. Does 18 divide f?
False
Let f = -28 - -72. Suppose f*k - 26*k = 2772. Is 18 a factor of 