+ o + 69 = 0. Is 12 a factor of m?
False
Let b = 11307 + -8910. Does 51 divide b?
True
Let r(j) = -j**3 - 52*j**2 + 12*j + 42. Is r(-54) a multiple of 67?
True
Suppose 3*g + 2*g - 24542 = 3*c, g - 4*c = 4922. Is g a multiple of 22?
True
Let u(d) = 13*d - 80. Let y be u(11). Let l = 7 - 12. Let c = y + l. Is c a multiple of 7?
False
Suppose -3*x - 7 = -2*n + 2, -4*n + 3*x + 15 = 0. Suppose 0 = -5*h + 10, 2*h - n*h = 3*p - 353. Let u = p - 6. Is u a multiple of 20?
False
Let f be (16 - 20)/((-4)/9). Is 39 a factor of 869/22 + f/6 + -2?
True
Let f(h) = 177*h - 25. Let a(g) = -352*g + 50. Let u(k) = -3*a(k) - 7*f(k). Is u(-3) a multiple of 18?
False
Suppose -2656 = -4*n + 2*t - 732, -1924 = -4*n - 4*t. Is 28 a factor of 2/2*(n - (-16)/(-4))?
False
Let x be ((7 - 3) + -1)/1. Let v(f) = 3*f + 9. Let a be v(-3). Suppose -x*o + 6*o = -2*k + 323, a = -4*k + 5*o + 635. Is 40 a factor of k?
True
Let f be (-8)/6*(1 - 100). Let s = -1130 - -1134. Suppose -5*d = n + 10 - 43, -3*n - s*d = -f. Does 8 divide n?
True
Let u(j) = j**3 - 18*j**2 + 3*j + 22. Suppose -z - z - n = -15, 0 = 2*z + 5*n - 19. Suppose -3*l = 2*r - 60, -69 = -z*l + 3*l + r. Is u(l) a multiple of 19?
True
Suppose -5*g + 3 - 1 = z, g - 2 = -z. Suppose -4 = -z*f + 2*c, 2*f = 3*f - 3*c - 2. Let w(t) = 11*t**3 - 3*t**2 + 5*t - 2. Is 21 a factor of w(f)?
True
Suppose -15*s + 28*s - 441504 = 4*s. Is 168 a factor of s?
True
Let x = 234 + 177. Let m = -279 + x. Is m a multiple of 12?
True
Let z(c) = -7*c - 1. Let r be z(2). Let x(w) = 12*w**2 + 13*w - 6. Let b be x(2). Let h = r + b. Is h a multiple of 15?
False
Suppose -w = -d - 147, -4*w - 5*d = -670 + 109. Is w a multiple of 6?
True
Suppose 332 = 12*a - 11*a. Let l = a - -67. Is l a multiple of 19?
True
Let z be -1 - 10 - (-4)/2. Let j = z + 9. Suppose 5*g + j*s + 2*s = 454, 5*s - 190 = -2*g. Is 30 a factor of g?
True
Let q be 18/8 - 4/16. Let l be (15855/(-84))/((-1)/4). Suppose -q*f + 4*h + 308 = 0, 5*f - 51 = h + l. Is 18 a factor of f?
True
Suppose 477*o - 160512 = 445*o. Does 99 divide o?
False
Let k = 62735 - 30791. Does 12 divide k?
True
Let v be (1316/35)/(12/30). Let h = 57 + v. Does 16 divide h?
False
Is 83 a factor of (79/(-2))/((-142)/23572)?
True
Let u = -3389 - -5242. Suppose 0 = -4*o + 5*g + u, 3*g + 1799 = 3*o + 410. Is o a multiple of 11?
True
Suppose 7*b = 2*b - 30. Let a = 7 + b. Does 6 divide -4 + a + 29 - -4?
True
Let u(k) = k**3 - 16*k**2 + 13*k - 2. Let m be u(15). Let o = 44 + m. Suppose 0 = -13*f + o*f + 26. Is f a multiple of 5?
False
Let b = 7061 - -61220. Is 77 a factor of b?
False
Suppose -3*m = -4*p + 3 + 13, 0 = -5*m. Suppose -3*t - i + 6 = -p, 3*t + 2*i - 8 = 0. Suppose -t = 5*r - 99. Is r a multiple of 19?
True
Suppose 1598 = 735*l - 733*l. Is 141 a factor of l?
False
Let a(j) = 31*j + 22. Let k(g) = -15*g - 11. Let m(f) = -6*a(f) - 11*k(f). Does 8 divide m(-15)?
True
Let v be (12/(-16))/((-6)/(-96)). Does 28 divide (v + 5)/(2/(-24))?
True
Let p(z) = 4349*z + 1353. Does 150 divide p(3)?
True
Let o be 5/(-20)*(-69 + -7). Suppose 9*z - 33180 = -o*z. Is z a multiple of 36?
False
Suppose 5*k + 3*h - 328 = 0, 0 = k + 2*h - 6*h - 61. Suppose -294 = -k*i + 62*i. Is 14 a factor of i?
True
Let r(n) = -1280*n - 12314. Is r(-42) a multiple of 53?
True
Let o = 1928 - 520. Suppose -14*m + 6*m + o = 0. Is m a multiple of 16?
True
Suppose 258055 = 18*o - 10577. Is 13 a factor of o?
True
Suppose -959*l = -1003*l + 268268. Is 79 a factor of l?
False
Suppose 2*b = -5*y + 1, 0 = 3*b + 4*y - 8*y + 33. Let u(s) = -s**3 - 2*s**2 + 27*s + 74. Is u(b) a multiple of 10?
True
Let c(p) = -p - 11. Let u be c(-13). Let f(o) = -23*o. Let r(q) = 21*q - 1. Let y(j) = 5*f(j) + 6*r(j). Is 7 a factor of y(u)?
False
Let d(w) = -113*w**3 - w**2 + w - 1. Let v(x) = x**2 + 2*x - 2. Let a be v(1). Let u be d(a). Does 38 divide u/5*(-120)/36?
True
Let q = -16 - -18. Suppose 5*h = 25, 17*c - q*h = 12*c + 7020. Is c a multiple of 19?
True
Suppose -7*n + 148 = -104. Suppose -33*z - 132 = -n*z. Is z a multiple of 10?
False
Suppose 5*c - 74641 = -4*a, -3*c + 9*c - 5*a - 89530 = 0. Is c a multiple of 25?
True
Let t = 77781 - 52966. Is 12 a factor of t?
False
Suppose h + 1511 = 4*x, 2*x - 758 = h - 3*h. Suppose 2*n - x = 238. Is n a multiple of 30?
False
Let s = -57101 + 81643. Is 58 a factor of s?
False
Let z(y) = -2*y**3 + 29*y**2 - 8*y - 51. Is z(14) a multiple of 33?
True
Let h(f) = 21*f - 21. Let a(w) = -3*w + 3. Let u(i) = 30*a(i) + 4*h(i). Let t be u(8). Let g = t - -65. Is g even?
False
Let t = 74 + -38. Suppose t = 3*r + 174. Let f = r - -63. Does 13 divide f?
False
Suppose 0 = -2*r - 0*r + 52. Suppose -3*c = 4*h + 6, 20 = -4*h + 3*c + 2. Let d = r - h. Is d a multiple of 11?
False
Suppose 3*q - k - 20 = 0, -4*k - 15 = -q + 10. Suppose -5*u = q, 3*y + 221 = 8*y - u. Let r = y + -22. Does 11 divide r?
True
Let r(d) = 151*d**2 - 139*d + 111. Does 103 divide r(8)?
False
Let m = -1279 + 4184. Suppose -m = -26*v + 5519. Is v a multiple of 36?
True
Let g(n) = -n**3 + 8*n**2 - 7*n + 5. Let d be g(7). Let r(o) be the third derivative of -o**6/120 + 7*o**5/60 - o**4/4 + 1886*o**2. Is 20 a factor of r(d)?
True
Let a be (-52)/(-10) + -3 - (-2)/(-10). Let t be a*(13*21/1 - 3). Suppose 4*o = -2*o + t. Is o a multiple of 41?
False
Let i(u) = -12 + 0*u**2 - u + u**2 + 0 - 27. Does 11 divide i(-16)?
False
Suppose 2*t = -2*c + 4068, 0*c - 2034 = -c + 4*t. Suppose 0 = -q + 4*q - 2*r + 3051, 0 = 2*q - 4*r + c. Does 28 divide q/(-9) - (-2)/(-2)*1?
True
Let w(b) = -27*b**2 + 12*b + 9. Let x(i) = -i - 1. Let s(q) = -w(q) - 9*x(q). Let n = -70 + 68. Is 30 a factor of s(n)?
False
Suppose 4*n + 54 = -6. Does 4 divide (1 - n/(-6))/(8/(-272))?
False
Suppose 52 - 77 = -5*v. Suppose -v*x + 1094 = -826. Does 48 divide x?
True
Suppose -5*k = 5*h - 90880, -54516 = 84*k - 87*k - 5*h. Does 17 divide k?
False
Suppose 0 = -4*s + 18 - 10. Suppose x + s*x = 0. Suppose 9*i = -x*i + 441. Does 7 divide i?
True
Let k(l) = -l**3 + 20*l**2 + 28*l + 42. Let i be k(21). Let n(q) = -9*q**2 - 5*q + 3. Let m be n(3). Let s = i + m. Does 13 divide s?
False
Suppose 3*i + 9 = 0, -2*i - 2*i = 5*m - 1753. Suppose m + 172 = z. Is z a multiple of 25?
True
Let w(y) = 2*y**3 + 2*y**2 + 8*y + 6. Let n be w(-4). Let k = -66 - n. Is k a multiple of 7?
True
Let y(u) = -3*u**3 - 6*u**2 + 2*u - 6. Let n = 150 - 86. Suppose 59*k = n*k + 25. Is 19 a factor of y(k)?
True
Let r be (-10)/15*5097*1/2. Is 10 a factor of (-5)/35*r + 6/21?
False
Let i(o) be the second derivative of o**5/20 + o**4/3 + 13*o**2/2 + 52*o. Is i(7) a multiple of 24?
True
Let h be (210/84)/(2/4). Suppose 2*f + h*u = -14 + 47, 0 = -5*f - 2*u + 135. Is 29 a factor of f?
True
Let m(r) be the third derivative of -r**6/120 - 17*r**5/60 - 5*r**4/6 - 19*r**3/6 + 21*r**2. Is 3 a factor of m(-16)?
True
Let c be 2/(-3) - 37730/(-30). Suppose -327 = -8*h + c. Is h a multiple of 22?
True
Suppose 4*t + 8*d - 7307 = 11*d, 0 = -3*t - 5*d + 5502. Is 25 a factor of t?
False
Does 78 divide -1*((-429226)/279 + (-8)/(-18))?
False
Suppose 74*l + 430 = 79*l. Suppose -14 = -10*v + l. Does 5 divide v?
True
Let i be 4066/3*75/50. Suppose 1 = 6*h - i. Is h a multiple of 44?
False
Suppose 31*d + d = 9579 + 32469. Is d a multiple of 4?
False
Let o = 67 + -65. Let l(d) = 23*d**3 + 3*d**2 + 21*d - 46. Is 31 a factor of l(o)?
False
Suppose -2*d - 272 + 7 = -3*v, -175 = -2*v + d. Let y = -636 - -772. Let s = y - v. Is s a multiple of 14?
False
Let q(l) be the first derivative of l**3/3 + l**2 - 7*l + 29. Let a be q(-4). Is (-56)/(-4) - (a - (2 - -1)) a multiple of 6?
False
Suppose -363*z - 431716 = -320*z - 1735906. Does 18 divide z?
True
Let c(y) = -y**3 + 68*y**2 - 139*y**2 + 3 + 70*y**2 - 4*y. Let v be c(0). Does 19 divide v/(-2) - -3 - 333/(-6)?
True
Let x = 106 + 107. Let o = x + -109. Is o a multiple of 13?
True
Suppose s - 1 = 2*g - 14, 2*g - 5*s = 33. Suppose -2*k - 48 = -c + 217, -g*c + k + 1032 = 0. Let d = 455 - c. Does 11 divide d?
True
Let y be 9124/20 + -2 - 6/30. Let b = -685 + y. Let w = b - -331. Is 7 a factor of w?
False
Suppose -3*z - 12 = 25*g - 28*g, 2*g = -5*z + 22. Suppose -7 = -l + n, -2*l + 16 = -l - 4*n. Does 44 divide (l - 3435/(-20)) + z/8?
True
Suppose 34 = 2*v + 2*w - 2, 0 = -4*w - 16. Let m be 3/(-2)*(20 - v). Is 16 a factor of (-8 + m)/(3/(-