 a multiple of 9?
True
Let w(m) = 10*m - 40. Let s be w(4). Suppose s = 3*r - 242 - 139. Is 22 a factor of r?
False
Let u(f) = -f**2 + 15*f + 4. Let b be u(7). Let i = -43 + b. Let z = -9 + i. Is 5 a factor of z?
False
Let j(w) = 6*w + 1. Let x be j(2). Let c = x + 1. Let y = 20 + c. Does 17 divide y?
True
Let s = 21 + -3. Let u be -1*3*(-12)/s. Suppose -5*h + u*h = 4*l - 89, -5*h + 159 = 4*l. Is 35 a factor of h?
True
Suppose 2*w + 5*w = -140. Let s = 18 + w. Does 14 divide (-1855)/(-30) + s/(-12)?
False
Suppose 4*x + 5*k = 1329, x = -6*k + 4*k + 330. Is x a multiple of 14?
True
Let n(q) = 74*q**2 - 12*q - 51. Is n(-3) a multiple of 10?
False
Let f(z) = -z + 2. Suppose -16 = 5*a + 3*m, -3*a - 4*m + 3*m - 8 = 0. Let k be f(a). Suppose -w = k*w - 320. Does 16 divide w?
True
Let j(w) = w + 13. Let a be j(-11). Let m be 3*((-32)/12 + 2). Is (-75)/m - 3/a a multiple of 12?
True
Let v(p) = -6*p + 16. Is 10 a factor of v(1)?
True
Suppose 2*u - 3035 = -5*r + 1685, -3*u + 2*r + 7042 = 0. Does 5 divide u?
True
Let r(b) = -5*b + 12. Let w be r(-9). Let m = -36 + w. Suppose 3*s + m = 6*s. Does 4 divide s?
False
Let d be 1/(2*4/(-136)). Let f(a) = a**3 + 16*a**2 - 18*a - 23. Let s be f(d). Is 16 a factor of 416/10 + s/10?
False
Suppose -8*a + 22*a - 17388 = 0. Is a a multiple of 46?
True
Let z = 17 - 10. Let j(a) = 3*a + 9. Let t(q) = -2*q - 10. Let d(f) = -3*j(f) - 4*t(f). Is 4 a factor of d(z)?
False
Does 13 divide (3 + 3)*(201 - -25)?
False
Suppose h - 1551 = -2*h. Is 11 a factor of h?
True
Let b(l) = l - 2. Let y be b(5). Let x(k) = k**2 + k + 6. Let o be x(7). Suppose 3*v = -4*a - 2*v + 146, y*v + o = 2*a. Is a a multiple of 17?
True
Let b be 2/((-12)/27)*8/3. Is 25 a factor of ((-21)/(-12))/(-7) + (-1503)/b?
True
Suppose -2*k = -8, -4*j + 140 = 2*k - k. Suppose 3*w - u = 102, -u + j = w - 0*u. Let v = w - 16. Is 6 a factor of v?
True
Let z = -5 - 1. Let y = z + 27. Let p = y + -15. Does 2 divide p?
True
Let f(v) = 5*v**3 + 7*v**2 - v + 11. Let j(d) = 11*d**3 + 14*d**2 - 2*d + 22. Let r(k) = -13*f(k) + 6*j(k). Is r(10) a multiple of 13?
True
Let m be 9 + -9 + (-1 - -1). Suppose p + 0*p + 3 = m. Does 10 divide (-408)/16*2/p?
False
Let t(f) = f**2 - 21*f - 6. Is t(-25) a multiple of 26?
True
Let q = 574 - 61. Does 42 divide q?
False
Let h = -441 - -782. Does 30 divide h?
False
Let u(o) = 6*o**2 + 6*o + 31. Is u(-5) a multiple of 13?
False
Let q(x) = -53*x - 4. Let t be q(-3). Suppose d - 325 = -4*a, 2*a = 3*d - 2*d + t. Suppose -23 + a = h. Is h a multiple of 15?
False
Let f = -3 + -2. Let u = 1 - f. Suppose u*a = a + 15. Is 2 a factor of a?
False
Let o(n) = -194*n + 6. Does 20 divide o(-3)?
False
Does 15 divide (-4 + 15/10)*(-909 + 3)?
True
Suppose 10 = 2*t + 4*q, 4*t + 4*q = 2 + 2. Is 18 a factor of 1/t + 0 + (-532)/(-3)?
False
Suppose 11 = -2*g - 13. Is 8 a factor of (g/8)/((-9)/240)?
True
Suppose -168 = 4*h + 3*s, -h - s = -2*s + 42. Let g = 184 + h. Is g a multiple of 11?
False
Let g be (1 + 80)*(-1 + 2). Suppose 3*n - g = 3*u, 5*u - 7 = -3*n + 50. Is n a multiple of 2?
True
Let t(y) be the second derivative of -y**4/12 + 3*y**3/2 - 6*y**2 - 8*y. Let m be t(9). Is 12 a factor of (-279)/m + 3/4?
True
Suppose -92 = 5*a - x, x - 54 = a + 2*a. Let i = -19 - a. Suppose 136 = 3*z - 2*h + 41, i = h + 1. Is z a multiple of 8?
False
Let k(y) = -28*y - 7. Let a be k(-4). Let g = -65 + a. Is 3 a factor of g?
False
Let r be (-1)/4 + (59/(-4) - -5). Is 8 a factor of (-246)/r - ((-24)/(-15) - 1)?
True
Suppose -9*l + 939 = -501. Is l a multiple of 5?
True
Let p(b) = 44*b + 25. Let n(z) = -4*z - 19. Let y be n(-6). Is p(y) a multiple of 12?
False
Let q(c) = c**3 + 11*c**2 + 14*c - 3. Let f be q(-10). Let l = f - -59. Does 8 divide l?
True
Let h(o) = 2*o**2 - 19*o - 130. Is 15 a factor of h(22)?
True
Suppose p = -c + 29, -5*c = -p - 4*p + 115. Suppose 0 = d - 3*d. Suppose -u = -d*u - p. Is 13 a factor of u?
True
Let m(u) = u**3 + 3*u**2 + u + 3. Let o be m(-3). Let w(s) be the second derivative of s**3/6 + 5*s**2 - 2*s. Does 5 divide w(o)?
True
Suppose -3*j = 3*p - 3, 0*j = -p - 5*j + 5. Is 14 a factor of 392*(-1 + p + 2)?
True
Let u be (2 - 4 - -10)/2. Let v(c) = 2 + u*c + 2*c**2 + 3 - 5*c. Does 15 divide v(-5)?
True
Let f(z) = z**3 - 10*z**2 + 4*z - 20. Is f(10) even?
True
Suppose 4*f - 2*y = 7*f - 4284, -15 = 5*y. Is 13 a factor of f?
True
Let n = 530 + -156. Does 22 divide n?
True
Let j(a) = -9*a - 39. Let y be j(-12). Let w = -48 - -151. Let z = w - y. Does 12 divide z?
False
Suppose 2*t = -3*t + 20. Let j = 11 + t. Let s = j + -11. Is s a multiple of 4?
True
Let a(b) be the third derivative of b**6/120 + 2*b**5/15 - b**4/12 + 2*b**3/3 + 33*b**2. Does 14 divide a(4)?
False
Let b(n) = 4*n**2 + 1. Let o be b(1). Suppose -u - o*j = -3, u + 4 = j + 7. Suppose y - 66 = -g - 2*g, 0 = -2*g - u*y + 51. Does 9 divide g?
False
Let s be 12/(-8) - (-15)/2. Let m be (-4)/s + 266/(-6). Is 3/(-6) + m/(-6) a multiple of 7?
True
Suppose -12*c + 6*c = -246. Let w(t) = -8*t**3 + t**2 - 2. Let x be w(-2). Let g = x - c. Is g a multiple of 15?
False
Let b be (-2 + (-9)/(-6))*18. Let x be (6/b)/(6/9). Does 14 divide 4/(8/82) - x?
True
Let a = 246 + -175. Is a a multiple of 48?
False
Let v(t) = -100 + 42 + 34 - 35*t + 34. Is 23 a factor of v(-3)?
True
Let q(b) = -3*b - 1. Let d be q(-4). Let h = -5 + -2. Let o = h + d. Is 3 a factor of o?
False
Suppose -5*t + 7 = -18. Suppose 4*b - 8*b - 2*v = -322, 5*b - 407 = -4*v. Suppose t*i = 71 + b. Is i a multiple of 25?
False
Let n(v) = 2*v**2 - 8*v + 1. Let l(h) = h**2 - h - 1. Let z(o) = 3*l(o) - n(o). Is z(-8) a multiple of 4?
True
Suppose 3837*y - 5481 = 3828*y. Is 6 a factor of y?
False
Suppose -16 = 4*d, -5*h + d + 6 + 93 = 0. Is h a multiple of 9?
False
Let a = 142 - 139. Suppose 2*k - 323 = -4*j + j, -a*k + 5*j + 456 = 0. Is k a multiple of 18?
False
Let f(g) = g**3 - 41*g**2 - 325*g + 54. Does 3 divide f(48)?
True
Let k = 1572 - 1326. Does 2 divide k?
True
Let p(w) = -12*w - 9. Let y be p(-7). Let n = y - 29. Does 23 divide n?
True
Let c(o) = 4*o**2 + 20*o + 68. Does 28 divide c(-9)?
False
Let p(d) = 157*d**2 + d + 21. Is 59 a factor of p(-2)?
False
Suppose -3*d = -4*q - 838 - 278, 0 = 4*q + 2*d + 1096. Let o be 4/(-14) + q/(-84). Suppose -t + 13 = o. Is t a multiple of 5?
True
Let f = 75 + -59. Suppose a = f + 19. Is 7 a factor of a?
True
Let b = 400 - 336. Is b a multiple of 16?
True
Suppose 26 = -3*b + 632. Is b a multiple of 7?
False
Let m(b) = 25*b - 11. Let i be m(5). Let z = 162 - i. Is 16 a factor of z?
True
Let n be (-8)/(-4 + 0) - 6. Is 7 a factor of (7/(28/176))/(n/(-10))?
False
Suppose 22*t = 29*t - 1260. Is t a multiple of 5?
True
Suppose 7*g + 1703 - 4776 = 0. Let m = -200 + g. Is m a multiple of 34?
False
Let c(o) = 2*o**2 + 10*o - 22. Let y(p) = -p**2 - 11*p + 22. Let u(f) = -2*c(f) - 3*y(f). Is u(10) a multiple of 2?
True
Is (4 - 4) + 5 - -229 a multiple of 26?
True
Let h(t) = -t**2 + 25*t. Let a(i) = 1. Let l(c) = 6*a(c) + h(c). Is 16 a factor of l(14)?
True
Let t = 17 + -27. Suppose -6*g = -5*g - 34. Let i = g + t. Is 7 a factor of i?
False
Suppose 0 = 9*b + 4*b - 25012. Is b a multiple of 13?
True
Suppose 6*m = -51 + 9. Let x = m + 11. Suppose x*r - 2*v - 204 = 0, 4*v + 114 = r + r. Is r a multiple of 15?
False
Suppose -n + 206 = 2*s, -n = -s - 4 + 101. Suppose k + 7 = -3*q, -2*k + 0*q - 14 = q. Let m = k + s. Is m a multiple of 26?
False
Let r = 22 + -15. Suppose -2*h - 160 = -r*h. Let o = h - 5. Is o a multiple of 7?
False
Suppose 0 = -3*r + r - 3*x - 14, 2*r + 2*x + 10 = 0. Does 30 divide (-96)/3*r - 2?
True
Suppose 15*y = 12*y + 165. Is y a multiple of 11?
True
Let n be -2 - (-2 - 0) - -7. Let y(l) = l - 2. Let s be y(n). Suppose -25 + s = 4*f, 4*b + f - 167 = 0. Is 18 a factor of b?
False
Suppose 4*b - m - 25 - 122 = 0, -2*b + 66 = 2*m. Suppose -2*t + 8*t - b = 0. Is 4 a factor of t?
False
Let t be (-2)/(-5) - (-38)/5. Suppose -2*n = -3*k - t, 4*n = -4*k + n - 5. Is 11 a factor of ((-53)/k)/(1/2)?
False
Let n(z) = -z - 2. Let i be n(-8). Let t be -1*(-51 + i/2). Let c = -33 + t. Is 15 a factor of c?
True
Let a = 20 + -12. Suppose -c + a = c. Suppose -l + 0*l + c*d + 4 = 0, 60 = 2*l + 5*d. Does 10 divide l?
True
Suppose -z = 0, 3*z = -3*y + 7*y - 20. Suppose 2*a + 690 = 4*q, 4*q + y*a - 1046 = -377. Is 