1. Let s be p(-1). Let w(i) = -i + 12. Let v be w(s). Suppose -2*a - 192 = -v*a. Is a a multiple of 10?
False
Suppose 0 = -4*u, 6*t + 11*u - 10950 = t + 12460. Is 57 a factor of t?
False
Suppose -2*n - 3*c + 58 - 7 = 0, 3*c + 3 = 0. Does 6 divide (-6828)/(-20) - n/(-45) - 4?
False
Let o = 8790 + -5293. Is o a multiple of 13?
True
Suppose -3*q = -4*t - q + 2180, 4*t = 5*q + 2174. Is 48 a factor of t?
False
Suppose -2*t + 2*n + 590 = 0, -8*t + 7*t + 2*n = -300. Let f = 104 + t. Is 10 a factor of f?
False
Let y(r) = -121*r - 557. Is 74 a factor of y(-15)?
True
Let s(f) = 2*f**3 + 3*f**2 + 6*f + 31. Let i be s(-3). Let x(m) = -5*m - 25. Is x(i) a multiple of 20?
False
Suppose 5*o + i - 106748 = 2*i, 2*o + i - 42709 = 0. Is o a multiple of 33?
True
Suppose 343370 = 64*g - 40246. Does 3 divide g?
True
Let c(z) = -14*z**2 - 43*z - 180. Let w be c(-5). Let i = w - -1799. Does 14 divide i?
True
Let h = -383 + 552. Let c = h - 112. Is c a multiple of 5?
False
Suppose -2*s = -318 + 86. Suppose 0 = -2*a + 3*a - 3. Suppose a*l - 196 = s. Is l a multiple of 38?
False
Let y be (-9)/(-18) + (-1178)/4. Let u = 107 - y. Suppose -5*j - u = -3*l + 80, l - 160 = 2*j. Is l a multiple of 9?
True
Let z = -1672 - -1087. Let f = z - -700. Does 39 divide f?
False
Is 75 a factor of (33100/(-993))/((-2)/297)?
True
Suppose c - t = 3*c - 29, 4*t = -c + 18. Let q(x) = -3*x + 44. Let k be q(c). Suppose -4*u + 418 = 3*a, -k*a + 0*u + 273 = -3*u. Does 25 divide a?
False
Suppose -12 = -2*d, 813*a = 814*a - d - 9965. Does 13 divide a?
True
Is (34224/96)/((-2)/(-24)) a multiple of 34?
False
Let y(r) = -15*r + 158. Let t be y(17). Let g = 161 + t. Is 8 a factor of g?
True
Suppose 0*p + 5*p + 376 = -2*s, -4*s = 12. Let y = p - -128. Does 14 divide 0 + y + -2 + 2?
False
Suppose 0 = -90*i + 88*i + 26. Does 9 divide 135/20*(i - 1)?
True
Suppose -114 = -9*o - 10*o. Suppose 219 = o*x - 2631. Does 50 divide x?
False
Suppose z + 3*j = 7*j - 7, -7 = 4*z + 5*j. Let f be 6 - (z - 0) - 2. Let c = f - 0. Is 3 a factor of c?
False
Let w(p) = 9*p**3 + 12*p**2 + 43*p - 183. Is 37 a factor of w(16)?
True
Let u(r) = 13*r**2 - 36*r + 165. Is 15 a factor of u(15)?
True
Let g(d) = 170*d**2 + 2*d - 1. Let z be g(1). Suppose 0 = -2*k - 2*v - 204, -5*v = 4*k - 9*v + 384. Let q = k + z. Is q a multiple of 22?
False
Let r(u) = u**2 - 26*u + 108. Let n be r(21). Suppose 1219 = n*x - 815. Is 49 a factor of x?
False
Suppose 17*c = -c + 3222. Let l = c - -266. Is l a multiple of 17?
False
Suppose -5*r + 9 = 54. Let t be (0/(-1))/(r/(-9)). Suppose 3*v - w - 499 = t, -w = 3*v - 242 - 249. Does 19 divide v?
False
Is 912*(-9)/54*(-30)/4 a multiple of 76?
True
Let v(z) = -15*z - 14. Let c be v(1). Let x be 2/(-9) - 461/(-9). Let p = x + c. Is 7 a factor of p?
False
Suppose -22*q - 173 - 157 = 0. Let m(f) = -f**2 - 22*f + 199. Is m(q) a multiple of 36?
False
Suppose -3*o + 35 = 4*o. Suppose 2*c = 6*c - 3*a - 151, o*a + 153 = 4*c. Let x = c - 25. Does 12 divide x?
True
Suppose -7*h - 3516 = -11*h. Let d(y) = 17*y - 868 + 17*y + h. Does 15 divide d(3)?
False
Does 143 divide (-95438)/21*3*(-3 - (-10)/4)?
False
Let r(d) = 4*d**2 + 10*d + 21. Suppose -6*k = 37 - 7. Does 3 divide r(k)?
False
Let z(m) = 322*m + 791. Is 22 a factor of z(6)?
False
Let f(x) = 254*x + x**2 + 0*x**2 - 246*x + 0*x**2 - 10. Does 35 divide f(9)?
False
Let m(n) = 20*n - 1. Let v be m(-1). Let l be (-4)/(-14) + (-834)/v. Let k = l - 12. Is 6 a factor of k?
False
Let h = 12409 - 7982. Does 37 divide h?
False
Suppose -13*b - b + 224 = 0. Suppose -2*k - b = -74. Does 9 divide k?
False
Suppose 8*q = 11*q - 9. Is 223 + 1 + (-15 - -9)/q a multiple of 37?
True
Does 72 divide (-8)/40 - (130411/(-5) - 3)?
False
Suppose -271*t + 244*t = -208467. Does 4 divide t?
False
Let j(f) be the second derivative of -5*f**4/4 + 7*f**3/6 + 2*f**2 + 17*f. Let d be j(-7). Is 10 a factor of (-1)/3 - (d/18 - -3)?
True
Let x = -53 - -55. Suppose -4*a + 752 = 3*c, -4*a + 670 = x*c - 78. Let j = a - 82. Is j a multiple of 27?
False
Let l = 1067 - 215. Does 12 divide l?
True
Let n(o) be the second derivative of o**6/60 - o**5/20 - o**4/6 + o**3/6 + 2*o**2 + 5*o. Let m(x) be the first derivative of n(x). Does 16 divide m(3)?
True
Is 106 a factor of (-8*3)/(-6) - (-9386 + -14)?
False
Suppose 0 = -2*b - 3*k + 3 + 1, 4*b - 5*k = 30. Suppose -b*c + 3*c = -3*c. Suppose 25 + c = m. Is m a multiple of 5?
True
Let g be (-29 - (-54)/6)/((-1)/(-2)). Is ((-672)/g)/(2/40) a multiple of 12?
True
Suppose -38*g = -37*g + 1. Let p be (-3)/g*-1 + 3. Suppose p = -2*q - 0*q + 28. Does 5 divide q?
False
Does 23 divide ((-14616)/630)/(1/(-115))?
True
Let z = 17 - 19. Let w = z - -6. Suppose w*m - 57 = m. Is m a multiple of 5?
False
Suppose 2*w = -3*o + 12000, -4*w + 23990 = 10*o - 9*o. Suppose w = 15*g + 777. Is 29 a factor of g?
True
Let z be 18/12*(-10)/(-3). Suppose -k - 72 = r - 467, -z*k = -r + 377. Does 7 divide r?
True
Let p(n) = -4*n + 48. Let g be p(-11). Let f = g + 18. Does 5 divide f?
True
Is 64 a factor of (-1280)/320*(-608 + 0)?
True
Let j(w) = -w**3 - 24*w**2 - 28*w + 11. Let q = -112 - -209. Let v = -120 + q. Is 12 a factor of j(v)?
False
Suppose 113 - 1239 = -2*o. Let t = o + -25. Is 14 a factor of t?
False
Let n = 20 + -25. Is 59 a factor of (-2)/1 - (-693 - (-14 - n))?
False
Suppose 91*n = 1021475 - 104013. Is n a multiple of 65?
False
Let o(d) = -d**2 + 18. Let q be o(4). Suppose q*t = -s + 140, 3 = -2*t - 1. Does 12 divide s?
True
Is 30 a factor of (-22)/(440/450)*-60?
True
Let q(k) = 67*k**2 + 141*k + 4. Is 5 a factor of q(6)?
False
Let v(d) = 8*d**2 - 7*d - 4. Let n(g) = 8*g**2 - 6*g - 4. Let k(l) = 5*n(l) - 4*v(l). Let x be (-2)/10 - (-99)/(-55). Does 4 divide k(x)?
True
Suppose -21*y + 56 = 7*y. Suppose 14*p - 9*p - 3*k = 2670, 3*p - y*k - 1601 = 0. Does 18 divide p?
False
Let z be 7/(-3)*21*(-2)/2. Suppose 134 = b - 5*u - z, 0 = 2*u - 6. Let r = 332 - b. Is r a multiple of 22?
False
Let l(b) be the third derivative of 7*b**5/60 + 3*b**4/4 + b**3 - 84*b**2. Does 69 divide l(8)?
False
Suppose -220 = -3*k - k - 2*v, -5*k + 5*v = -260. Let x = k - 49. Suppose 138 = o + h, 3*o = x*h + 85 + 369. Is 22 a factor of o?
False
Suppose 196*i - 698012 = 168*i. Does 102 divide i?
False
Suppose 0 = 58*p - 57*p + 2*w - 7073, 5*w = 0. Does 6 divide p?
False
Suppose 19*s - 4588 - 3962 = 0. Is (s/21)/((-20)/7 + 3) a multiple of 5?
True
Let x be 132*((-14)/4 - (-10 - -6)). Suppose 0 = 4*m - t - 203 + x, 3*t = -2*m + 51. Is m a multiple of 9?
False
Let u(v) = -296*v**2 - 11*v - 25. Let d be u(-2). Let x = d + 1955. Is 24 a factor of x?
True
Let x = -17433 - -42137. Is 16 a factor of x?
True
Suppose 0 = -121*n - 3872 + 41671 + 217148. Is n a multiple of 301?
True
Let j = -82 + -36. Let g = j + 148. Does 15 divide g?
True
Let o be 328/11*-109 - (-4)/22. Is 24 a factor of 2*-1*o/13?
False
Let b(o) = -o**3 - 12*o**2 - 9*o + 26. Let n be b(-11). Let f(q) = 25*q + 124. Does 32 divide f(n)?
True
Suppose 0 = -4*p - 71 + 91. Suppose 0 = 4*o - p*w - 1245, 2*w - 1548 = -3*o - 2*o. Does 36 divide o?
False
Let q = 10581 + -6770. Does 12 divide q?
False
Suppose 21 = 3*h + 3*s, 2*s = 4*h - s - 14. Suppose 4*o - 96 = -3*v + 14, v - 5*o - h = 0. Suppose v*d + 28 = 32*d. Is d a multiple of 7?
True
Let t = -273 + 256. Let u = t + 47. Is 10 a factor of u?
True
Let v(c) = -c**3 - 2*c**2 - c + 4. Suppose -2*r - 2*t = 8, 3*r - 1 = 3*t - 7. Let b be v(r). Is 16 a factor of 18/((-13)/b + 1 + 0)?
True
Suppose 4*w + 264 = 4*h, 3*h - 5*w = 7*h - 300. Let t = h - 71. Is 2 - 440/(-6 - t) a multiple of 12?
False
Suppose 0 = 5*n + 54 - 64. Let v(j) = 321*j + 7. Does 8 divide v(n)?
False
Let u = -3042 - -7838. Is 44 a factor of u?
True
Let h = 13776 - 5092. Is 52 a factor of h?
True
Let d = -32478 - -33100. Is d a multiple of 64?
False
Let p = 133 + -127. Suppose -5*x + 139 = 3*f, -p*f + 4*x + 281 = -f. Is f a multiple of 17?
False
Let b(i) = 35*i - 14. Let y be b(-12). Does 12 divide (-6)/18*1 + y/(-6)?
True
Let w be (-6)/(-18)*-93*(0 - -7). Let p = 407 + w. Does 10 divide p?
True
Is 1305/(-348)*12828/(-9) a multiple of 53?
False
Suppose -12*l + 15 = -9*l. Suppose l = -4*g + 57. Suppose -11*z - 306 = -g*z. Does 51 divide z?
True
Let o be -5*(-4)/20 - 1. Suppose o*q = 3*q - 12. Suppose -4*d + 412 = -2*r, -d - r = q*d - 501. 