tiple of 16?
True
Suppose 21*y - 525 = 16*y. Is 42 a factor of y?
False
Suppose -s + 6 = -0*s. Let x(a) = a**2 - 2*a + 4. Let u be x(s). Suppose -23 = -3*r - t - t, -u = -4*r - 4*t. Is 9 a factor of r?
True
Let f(s) = s + 2. Let w be f(3). Let y = 8 - w. Is y even?
False
Let n = 23 - 16. Is n a multiple of 7?
True
Let g(c) = -3*c**3 - 2*c**2 - 1. Let k be 0/(-2) - 16/8. Is g(k) a multiple of 5?
True
Let l(a) = -3*a + 2. Is 11 a factor of l(-11)?
False
Let s(x) = 9*x**3 - 2*x**2 - x + 6. Is s(2) a multiple of 17?
True
Suppose 6*m - 434 + 50 = 0. Is 14 a factor of m?
False
Let b = 97 + -67. Suppose m + b = 3*m. Does 15 divide m?
True
Suppose 0*c = c. Suppose 2*f - 2*m = 18, c = -3*f + 2*f + 4*m + 9. Does 9 divide f?
True
Is (0 + 3)/(3/52) a multiple of 13?
True
Let i = 1 + -5. Is 14 a factor of ((-12)/i)/(6/178)?
False
Suppose -77 = -2*y + 19. Let a = 136 - y. Is 24 a factor of a?
False
Let d = -5 - -10. Suppose -g = -2*b - 3*g + 110, -d*b + 5*g + 245 = 0. Is 14 a factor of b?
False
Let q be (-2)/(2/(-4)*2). Is 7 a factor of (-1)/(0 + q)*-34?
False
Let z(k) = -k + 10. Suppose -2*x = 3*x - 35. Is z(x) a multiple of 3?
True
Let z(d) = 2*d**2 - 6*d - 6. Let w be 4/22 - 64/(-11). Is 15 a factor of z(w)?
True
Let g = -13 - -18. Suppose g*h - 225 = -4*d, 2*h = d + h - 63. Let l = d + -30. Is 15 a factor of l?
True
Suppose n = -0*n - 1. Let w = n - -13. Is w a multiple of 12?
True
Let g(j) = j**2 - 12*j + 11. Does 10 divide g(12)?
False
Let x be (4/3)/(2/6). Suppose -312 = -5*c + 4*v, -4*c - x*v + 108 = -2*c. Is c a multiple of 20?
True
Let u = -3 + 6. Suppose -u*p + x = -x - 15, -5*p - 4*x = -25. Does 3 divide p?
False
Let x(f) = -5*f**3 - 4*f**2 + 12*f - 5. Let i(h) = -6*h**3 - 3*h**2 + 12*h - 4. Let z(p) = -6*i(p) + 7*x(p). Is 5 a factor of z(9)?
False
Let x be 38*(-2 - -1) - 3. Is 16 a factor of x/2*1*-2?
False
Let d be 3*12*8/36. Suppose 0*g + d = g. Is 3 a factor of g?
False
Let q(f) = f**2 - 3*f - 3. Let o(m) = m + 3. Let s be o(-7). Is 15 a factor of q(s)?
False
Let u(k) = k**3 - 3*k**2 - 1. Is u(5) a multiple of 9?
False
Let g(c) = -4*c - 5. Is 14 a factor of g(-12)?
False
Let d(a) = -a**2 + 3*a + 5. Let l be d(5). Suppose 2*c + 2*c = 76. Let h = l + c. Does 14 divide h?
True
Let g(q) = -11*q - 22. Is g(-8) a multiple of 12?
False
Suppose 73*p - 78*p + 1640 = 0. Does 41 divide p?
True
Let u(q) = q**3 - 4*q**2 - q - 5. Let z be u(5). Let n = 37 - z. Is n a multiple of 22?
True
Let q be (0 + 6)/((-2)/3). Let x be 860/18 - 2/q. Is 12 a factor of (18/(-8))/((-4)/x)?
False
Suppose x = 4*p + 50, 4*x = -0*x - 3*p + 124. Suppose -5*n = 3*g - x, -g = -2*g - 2*n + 11. Is g a multiple of 13?
True
Let x be 3*(5/(-3))/5. Let p(v) = 2*v + 12. Let f(w) = w + 1. Let q(t) = x*p(t) + 5*f(t). Is 8 a factor of q(5)?
True
Suppose 5*p + 5*c = -5, 2*p - 2*c - 11 = -1. Let d = 6 - p. Is 4 a factor of d?
True
Suppose 5*z = 2*a + 7, -6*a + 14 = -a - 2*z. Is 16 a factor of (4/1)/(1/a)?
True
Suppose 0 = -5*a + 4*z + 175, 0 = 2*a - 3*z + z - 68. Let k = a + -27. Is 4 a factor of k?
True
Let v be 2 + (-1 - 0/1). Let p be 4 + v/((-1)/2). Is 13 a factor of 0/p - (-29 + -2)?
False
Let a = 864 + -405. Is 27 a factor of a?
True
Let n be 4 - (3 - 4 - -3). Let z = -1 - n. Is 12 a factor of (21/1)/1 - z?
True
Let x = 13 + -8. Suppose 0 = x*n - 3*n - 78. Does 19 divide n?
False
Let w be -1*2/3*6. Let n be -4*5*(-2)/w. Is -1 + -4*n/2 a multiple of 11?
False
Is 23 a factor of ((-2)/(-6))/(2*(-1)/(-690))?
True
Let b be 94/6 + 2/6. Let m = 28 - b. Is 6 a factor of m?
True
Let w = -4 - -6. Suppose 2*g + 0 = -w. Let b = 7 - g. Is 6 a factor of b?
False
Let l(y) = 23*y - 1. Let h(a) = 45*a - 2. Let q(c) = -4*h(c) + 9*l(c). Let u be q(1). Suppose 62 = 2*j - u. Is j a multiple of 16?
False
Let h(d) = -d**3 - 6*d**2 + 4*d + 1. Let o be h(-7). Let l(v) = -2*v + o*v**3 + 2*v - v**2. Is l(1) a multiple of 9?
False
Suppose 7*p - 11*p + 400 = 0. Does 25 divide p?
True
Let p(l) = -27*l - 6. Let i be p(-4). Suppose -4*y + y + i = 0. Let k = 73 - y. Is 15 a factor of k?
False
Suppose -4*s = s - n - 4, 4 = s - n. Let m be (-51)/3*(-2 + s). Let a = 57 - m. Is a a multiple of 8?
False
Let r(d) = d**2 + 4*d - 5. Let q be r(-6). Suppose 2*g = -25 + 33. Suppose -q = -g*z + 49. Is 6 a factor of z?
False
Let s(k) be the first derivative of -k**2 + 6*k + 1. Is 11 a factor of s(-5)?
False
Let v(j) = -2*j - 10. Let h be v(-8). Is -14*(-4)/(16/h) a multiple of 13?
False
Suppose 4*f + 27 = 7*f. Suppose -3*s - 3*c - 15 = 0, -3*s - 2*c = -c + f. Is (s + 12)/((-1)/(-4)) a multiple of 14?
False
Suppose -65 = -m - 5*c, 0 = -0*c + 3*c + 12. Let h = m - 48. Let v = -10 + h. Is 11 a factor of v?
False
Suppose 2*u + o = 6, -3*u - 4*o + 10 + 4 = 0. Suppose 60 = u*q - 0*q. Is 17 a factor of q?
False
Let u(s) = 2*s + 11. Is 21 a factor of u(5)?
True
Let n = 87 - 37. Let d = -30 + n. Is d a multiple of 8?
False
Let x(d) = -2*d**3 - 3*d**2 + d. Does 33 divide x(-4)?
False
Let s be -4*9/(-6) + -2. Suppose 72 = s*d - d. Does 24 divide d?
True
Let w be ((-12)/(-10))/(15/(-50)). Suppose 6*i - 3*i = -3. Is 5 a factor of ((-10)/w)/(i/(-2))?
True
Let n be 1/2 - (-71)/(-2). Let w be (-14)/(-10) + (-21)/n. Suppose 5*m + 35 = 2*y, 0 = -3*y + w*m + m + 48. Does 14 divide y?
False
Let k be (-2)/4 - 11/(-2). Suppose 0*m - 3*m = -g - 76, 2*m = -k*g + 45. Is m a multiple of 17?
False
Let w = -14 + 29. Does 5 divide w?
True
Suppose -16 = 3*d - 4*n, -d - 14 = 3*d + 2*n. Let m be d/8 + (-1)/(-2). Let s(w) = w**3 + w**2 + w + 13. Is 13 a factor of s(m)?
True
Let g(p) = -p - 2. Let q be g(-7). Suppose -v - 128 = -q*v. Does 7 divide v?
False
Let f(s) = 2*s**3 - 3*s**2 + 6*s - 3. Is 3 a factor of f(2)?
False
Let h = 84 - 145. Let g = 103 + h. Does 21 divide g?
True
Suppose -1132 = -21*x + 3509. Is 7 a factor of x?
False
Suppose -2*a + 20 = 3*m, -8 = -3*a - m + 29. Does 13 divide a?
True
Let x(o) = -o**3 - 8*o**2 + 18*o + 21. Is x(-10) even?
False
Let x = -80 - -121. Does 8 divide x - (3 + (-3)/3)?
False
Let d(t) be the third derivative of t**4/4 - t**3/2 - t**2. Does 6 divide d(3)?
False
Does 21 divide 387/(-6)*(-4)/6?
False
Is -3 + 4/((-16)/(-372)) a multiple of 9?
True
Suppose -3*p = -4*p - 2, -5*b + p = -122. Is b a multiple of 20?
False
Let t(w) = w**2 + w + 1. Let s be t(-1). Let o(k) = 3*k**3 - k. Is o(s) even?
True
Let s = -148 + 274. Is 18 a factor of s?
True
Let m = 7 + -8. Does 15 divide m + 31*(1 + 0)?
True
Does 12 divide (-1 - 2 - -13)/(4/24)?
True
Let n be (-6)/(-2)*30/9. Is 6 a factor of (-4 - -7) + (n - 1)?
True
Let z(l) = 3*l**3 - 4*l + 3. Let n be z(2). Let x be n/((-6 - -3)/(-3)). Let g = 41 - x. Is 8 a factor of g?
False
Does 23 divide ((621/(-4))/(-3))/(15/40)?
True
Suppose -4*j = -4*q + 156, j + 146 = 4*q - j. Is 6 a factor of q?
False
Let d(g) = 4*g + 2. Let t be d(-4). Is (-444)/t - (-2)/7 a multiple of 15?
False
Does 15 divide ((-222)/12 + -5)/((-1)/2)?
False
Suppose -q = -3*s - 2*q - 104, -5*s = 3*q + 168. Let u = s - -13. Let c = u - -42. Does 11 divide c?
False
Let n(z) = -27*z**3 - z. Let l be n(1). Let i = l + 51. Is 15 a factor of i?
False
Let r(b) = -b. Let c be r(2). Is ((-152)/12)/(c/3) a multiple of 9?
False
Suppose -2*n - 56 = -2*u, -5*u + 7*n = 3*n - 140. Is 14 a factor of u?
True
Let z(h) = 2*h + h**2 - 2*h - 3*h - 15 + 5*h. Does 12 divide z(7)?
True
Suppose -21 - 19 = 5*s. Is (13/2)/(s/(-48)) a multiple of 14?
False
Let q(t) = 7*t - 4. Let r be q(7). Let n = -15 + r. Does 15 divide n?
True
Suppose -u + 14 = r + 2*r, -u = -5*r + 2. Suppose 5*c = u + 362. Suppose -f - 12 = 2*f, c = 5*b + 4*f. Does 18 divide b?
True
Suppose 12 = 4*b - 4. Suppose p + 2*r - b*r = 45, 3*p - 123 = 2*r. Suppose -p = -3*o + 3*w, 0 = -5*o - 3*w + 27 + 6. Does 9 divide o?
True
Let x be -3 + -1 - (2 + -1). Is (-122)/x + (-2)/5 a multiple of 6?
True
Suppose 5*f + 180 - 760 = 0. Is 58 a factor of f?
True
Suppose -5*y + 4 = -2*k, -7*k + y - 10 = -2*k. Let f(z) = -6 - 2*z + 8*z**2 + 4 - 4*z**2. Is 10 a factor of f(k)?
False
Let r be (18/15)/(3/10). Suppose 0 = -r*s + 45 + 3. Is 12 a factor of s?
True
Suppose -1 - 13 = -2*l. Let t = -6 + l. Does 15 divide 17 + t/(1 + 0)?
False
Let h = 2 - 0. Let k(v) be the third derivative of v**6/40 - v**5/20 - v**4/24 + v**3/3 - v**2. Does 6 divide k(h)?
True
Let l be -18*3/((-27)/24). Does 5 divide (6