ultiple of 22?
False
Suppose 99 = 5*v - 3*a, 0*v + a - 33 = -2*v. Does 9 divide v?
True
Suppose 46 = -5*m + 346. Is m a multiple of 14?
False
Suppose -d - 2*t = -28, 0 = 3*d + t - 3*t - 116. Is 12 a factor of d?
True
Suppose -12 = 3*d, 18 = y - 4*d + 2. Suppose 4*t - 20 - 32 = y. Does 13 divide t?
True
Let j = 3 + -1. Suppose 5*g - 6 = j*q + 23, g - 9 = 2*q. Let w = 18 - g. Does 12 divide w?
False
Suppose 3*c + 0*c + 4*o + 8 = 0, 2 = -o. Suppose 2*i = -c*i + 96. Suppose 2*j - i = -0*j. Does 12 divide j?
True
Let i(g) = -8*g + 4. Is i(-6) a multiple of 13?
True
Let i be 3/(((-45)/12)/(-5)). Suppose 0 = i*a - 4, -3*x - a = 2*a - 69. Is 7 a factor of x?
False
Suppose 280 = -68*l + 75*l. Is 20 a factor of l?
True
Let p(q) = -1 + 2*q - q - 2*q. Let l be p(-1). Suppose -21 = -5*u - 2*b, l = -4*u - 0*b - 4*b + 24. Is 3 a factor of u?
True
Suppose 0 = -a + 4*p + 18, 2*a + 0*a - 5*p = 27. Let c = a - 4. Suppose c*m - 32 = 40. Is m a multiple of 12?
True
Is 19 a factor of ((-2)/((-2)/(-1)))/(18/(-1026))?
True
Let t(x) = x**2 + x. Let s be t(1). Let u(k) = 6*k**2 - 7*k + k - s - k**3 + 9. Is 2 a factor of u(5)?
True
Let u = -8 - 3. Let o = u + 29. Is 11 a factor of o?
False
Suppose 2*g - 5*i - 10 = 0, 2*i = -3*g + 9 + 6. Let u(m) = 4*m - 259*m**3 + 258*m**3 - 11*m + 8*m**2 - 1. Is 15 a factor of u(g)?
False
Let x = -90 - -144. Is x a multiple of 10?
False
Let x = 537 - 362. Does 35 divide x?
True
Let r = 2 - -3. Let u(o) = 2*o**2 + 4 + 4*o**2 - o**3 - 2*o + 0. Is u(r) a multiple of 19?
True
Let k(v) = -22*v + 6. Let g be k(5). Let b = -68 - g. Does 12 divide b?
True
Does 8 divide (-3 - -4)*(1 - -7)?
True
Let x(b) = -2*b**3 - 4*b**2 - 3*b - 2. Suppose -13 = 5*p + 2. Does 8 divide x(p)?
False
Let n = -23 + 35. Let l = 34 + -10. Let o = l - n. Does 12 divide o?
True
Let u = 0 + 3. Suppose -u*o + o = -54. Does 14 divide o?
False
Let c = -249 + 366. Is c a multiple of 26?
False
Let v(a) = a**2 - 3*a**3 + a + 0*a**3 + 2*a**3 + 0*a**2. Let j be v(0). Does 16 divide j/2 + (1 - -31)?
True
Let j = 45 + -25. Let m = j - 2. Does 18 divide m?
True
Let j = 49 - 17. Suppose -v - j = -0*i - i, -4*v = i - 22. Is 15 a factor of i?
True
Let m = -34 - -59. Let a be 2/(-6) - (-400)/30. Let w = m + a. Does 16 divide w?
False
Suppose -5*i + 2*o - 12 + 39 = 0, -5*o = i. Suppose 139 = i*r + 14. Is 22 a factor of r?
False
Suppose 3*j - 2*g = -7*g + 363, -12 = 4*g. Is 14 a factor of j?
True
Let b be 6*(-6)/(-9)*-7. Let y = -1 - b. Does 13 divide y?
False
Let g(n) = 26*n**2 - 1. Is 7 a factor of g(1)?
False
Suppose 0 = -5*v - 3*l + 102, 6*v + 3*l = 2*v + 81. Suppose -4*o + v = 5*d + 7, -d + 2*o = 0. Suppose -130 = -3*h - d*h. Is h a multiple of 9?
False
Let y = 2 - 13. Let c(o) = -27*o**2 + 2*o - 1. Let i be c(1). Let n = y - i. Is n a multiple of 11?
False
Let c(k) = 31*k - 5. Does 11 divide c(2)?
False
Suppose -9*l + 5*l + 304 = -4*u, 5*l = -u + 380. Does 19 divide l?
True
Suppose -2*z = -0*z. Suppose z = m + 5*d - 8, 0 = -5*m + d + 118. Does 10 divide m?
False
Let o = 7 - 3. Is o/12 - (-358)/6 a multiple of 12?
True
Let z = 284 - 197. Is z a multiple of 11?
False
Let b(i) = 6*i**2 + 6*i + 5. Is 9 a factor of b(-3)?
False
Let l be 5/1 + 0/(-1). Suppose l*i - 19 + 4 = -2*o, 5*i = -5*o + 30. Is 4*i + 3 + -2 a multiple of 5?
True
Let v(l) = l**3 - 4*l**2 + 2*l. Let p be 2/4*(0 - -6). Let z be -1 - (-3)/(p/5). Is 4 a factor of v(z)?
True
Let u(j) = j**3 - j**2 + j + 66. Is 22 a factor of u(0)?
True
Let d(l) = -2*l - 2 + 0*l - 2*l. Does 3 divide d(-3)?
False
Suppose 3*l + 2*j - 8 = 156, 2*l = -j + 108. Let p = l + -32. Is p a multiple of 8?
False
Is (129/(-6))/(4/(-16)) a multiple of 32?
False
Let a = 65 - 50. Is 10 a factor of a?
False
Let k(z) be the first derivative of -z**2 + 15*z - 3. Is k(-8) a multiple of 7?
False
Let b = 71 - 37. Is 8 a factor of b?
False
Let n(a) = -3*a + 7. Let y be n(9). Let z = y - -6. Let t = z + 41. Is 9 a factor of t?
True
Let a = 129 - 63. Suppose 2*o + 3*b = -b + 64, -a = -2*o - 5*b. Does 11 divide o?
False
Suppose -5*o = 9 - 4. Let g be o - (-19 + 0 + 2). Let j = -5 + g. Does 6 divide j?
False
Let j = 3 - 7. Does 7 divide (j/12)/((-2)/48)?
False
Let v(d) = -9*d. Let c = 0 - 1. Let n be 3/c*(-16)/(-12). Is v(n) a multiple of 18?
True
Let p be -2 + 7 - (-2 - -4). Suppose p*v - 2 = 25. Does 9 divide v?
True
Let p(q) = -q**2 + 4*q + 5. Does 2 divide p(4)?
False
Let g(a) = -a**3 + 3*a**2 - a - 4. Let n be g(4). Let j = 145 + -101. Let t = j + n. Does 13 divide t?
False
Is 38 a factor of 4*-1 + (-80)/(-1)?
True
Let v(b) = -5*b. Is v(-4) a multiple of 5?
True
Let o(l) = -l**3 + 3*l**2 + 2*l - 1. Let c be o(3). Suppose -4*v + 3 + c = 0. Suppose -12 - 48 = -v*k. Is 10 a factor of k?
True
Is 14 a factor of (12/14)/((-11)/(-539))?
True
Suppose -5*j + 140 = -3*j. Is 11 a factor of 3100/j + (-4)/14?
True
Let s(m) = 33*m + 13. Does 28 divide s(4)?
False
Suppose -t + 116 = 2*u - 3*t, 4*t = -u + 68. Is 16 a factor of u?
False
Let y = 82 - -43. Suppose 0*x + 5*x - y = 0. Suppose 4*d = x - 5. Is d a multiple of 2?
False
Let f(g) = -2*g**2 - 1. Let s(z) = 1. Let t(u) = -f(u) + 2*s(u). Does 14 divide t(-5)?
False
Suppose -u + 4*u = 810. Suppose -3*q = 2*q - u. Is 20 a factor of q?
False
Let h = -72 - -167. Is 16 a factor of h?
False
Let p(t) = -2*t**2 + 5*t + t**3 + 7*t**2 + 3*t**2 - 3 + 0*t**2. Is p(-6) a multiple of 10?
False
Let n(x) be the third derivative of x**6/120 + x**5/15 + x**4/6 + x**2. Let a be n(-3). Let l(d) = -2*d + 4. Is l(a) a multiple of 5?
True
Let y(m) = -m**3 + 3*m**2 - 1. Suppose 0 = 4*l - 4 - 4. Let j be y(l). Is 4 a factor of (12/10)/(j/20)?
True
Let i = -4 - -17. Does 13 divide i?
True
Suppose -2*r = -r + 4*g - 26, -2*r + 72 = 3*g. Does 14 divide r?
True
Let w = -4 + 7. Suppose -16 = -2*y - w*y + a, 4 = 5*y - 4*a. Is 3 a factor of y?
False
Suppose 2*v + 4*t - 98 + 16 = 0, 0 = -2*v + 4*t + 90. Is v a multiple of 13?
False
Let z be -4*-2*3/12. Suppose z*x + 80 = 4*x. Is x a multiple of 16?
False
Let d be (1 + -1)*(-5)/10. Suppose -5*k + 61 - 16 = d. Is k a multiple of 3?
True
Let k(o) = -o**3 - 5*o**2 + 5*o - 2. Let t be 3/2*2/3. Let r(l) = -6*l**2 - l + 1. Let p be r(t). Is 4 a factor of k(p)?
True
Let k(z) = -z**3 - 6*z**2 + 6*z - 4. Let b be k(-7). Suppose 7*y - 385 = 2*y. Suppose -b*f = -y + 8. Is 15 a factor of f?
False
Suppose 4*u - 3*q - 2*q = 96, -12 = -3*q. Suppose 25 + u = 3*k. Does 14 divide k?
False
Let u(t) be the third derivative of -t**6/60 - t**5/60 - t**4/12 + t**2. Is 16 a factor of u(-2)?
True
Suppose -2*z - 114 = -3*z - 4*w, -475 = -5*z - w. Does 47 divide z?
True
Suppose 0 = w + 6. Is 4 a factor of 4/(-6)*180/w?
True
Suppose 0 = -2*q - 2*o + 82 + 20, 0 = -q - 3*o + 41. Is 9 a factor of q?
False
Let p be 15/6*(1 - -19). Let l be 2/(-8) + p/8. Let b(s) = -s**2 + 6*s + 8. Is 8 a factor of b(l)?
True
Suppose -41 + 206 = 5*i. Does 9 divide i?
False
Let f be ((-2)/4)/((-5)/30). Suppose -f*u + 11 = 5*h, 0 = -3*u + 4*u + 3. Is h a multiple of 4?
True
Suppose -s = -4 - 19. Is s a multiple of 11?
False
Does 2 divide (-32)/(-4) - (3 - 2)/(-1)?
False
Let p = -7 - -10. Suppose -p*w + 6*w = -f + 69, -33 = -w + 3*f. Does 13 divide w?
False
Let l = 6 + -4. Suppose 2*c + a = 37, 4*c - 52 = l*c + 2*a. Is 7 a factor of c?
True
Let i be (-8)/(-52) - 102/(-13). Suppose i*x - 3*x = 0. Suppose x = 2*w - 6 - 6. Does 3 divide w?
True
Suppose -2*b = -10, -3*b + 0*b = 3*i - 27. Is 4 a factor of i?
True
Suppose -5*f = 5*m + 2 - 22, -2*m = -f + 19. Let w = 6 - 5. Suppose -f = -s + w. Is s a multiple of 5?
True
Let u(a) = 10*a + 5. Let x be u(-11). Let p = x + 153. Is 25 a factor of p?
False
Let g = 17 - 9. Let a = g + 7. Does 4 divide a?
False
Let o(w) = w**3 + 3*w**2 + 3*w + 9. Let n(v) = -v**3 - 3*v**2 - 2*v - 8. Let a(f) = -5*n(f) - 4*o(f). Is 9 a factor of a(-3)?
False
Let v(a) = -a**2 - 6*a - 1. Let d be v(-5). Let q(x) = 5*x + 1 - d*x**3 + 2*x**2 + 3*x**3 + 3*x**2 + 0*x**2. Does 13 divide q(5)?
True
Let m = 73 - -365. Suppose -168 = 5*q - m. Does 27 divide q?
True
Let n(k) = 19*k - 12. Let x be n(5). Suppose -159 = -3*w - 3*j, -x = 4*w + 5*j - 295. Does 11 divide w?
False
Let c be (4/3)/(1/9). Let f = 20 - c. Is f a multiple of 4?
True
Suppose -3*g + 2*n + 62 = 0, -11*g + 7*g + 3*n + 84 = 0. Is g a multiple of 9?
True
Suppose -k = -4*a - 12, 3