Does 3 divide a?
True
Suppose -18 + 3 = a. Let p = a + 47. Is 7 a factor of p?
False
Suppose 55 = 2*m + 3*m. Suppose 4*y - 199 = -4*l - m, -y - 2*l = -43. Does 17 divide y?
True
Let z be 9 - 2/(-1 - -3). Suppose j - 3*j = -4. Suppose k = j*k - z. Is 3 a factor of k?
False
Let f(q) be the first derivative of 4*q**3/3 + 2. Does 18 divide f(3)?
True
Let l(p) = p**2 - 4*p + 2. Suppose 0*o - 20 = -4*o. Suppose o*i - 33 + 3 = 0. Is 4 a factor of l(i)?
False
Suppose -4*j - 6 = 54. Is 16 a factor of (-726)/j + 2/(-5)?
True
Let a(w) = 3*w - 1. Is a(3) a multiple of 6?
False
Let o be (0 - -10)*1/2. Suppose g + 0*b - 33 = 3*b, -4*b - 121 = -o*g. Is g a multiple of 7?
True
Let t be ((-2)/6)/((-5)/(-75)). Does 16 divide t/(10/(-78)) + 3?
False
Let j = 4 - 2. Suppose -3*w = -4 - 8. Suppose -j*v + 52 = w*c, 2*v - 3*c - 60 = -2*v. Does 6 divide v?
True
Let f be (29/4)/(6/168). Suppose 648 = 5*a + f. Suppose -4*l - 17 = -a. Is l a multiple of 9?
True
Suppose 0 = 4*k - 91 - 245. Let l = k + -56. Does 10 divide l?
False
Let x(a) = -a**3 + 7*a**2 - 4*a - 8. Let b be x(6). Suppose -2*r - 31 = b*j - 167, -3*j - 301 = -5*r. Does 25 divide r?
False
Suppose -3*q + 15 = 2*q. Suppose -q*d + 23 = y - 21, d - 220 = -5*y. Let g = y + -5. Does 18 divide g?
False
Let o be ((-3)/2)/3*-12. Suppose o*b = b + 135. Does 11 divide b?
False
Let n = 1 - -3. Suppose 27 + 37 = n*h. Suppose 3*f - 12 = -2*d, -5*f - 3 = d - h. Is f a multiple of 2?
True
Let s be (27/12 - 2)*0. Let m = 10 + s. Is m a multiple of 5?
True
Suppose 0 = -2*y - 2*y - 4*w + 452, 4*w = 5*y - 538. Is 22 a factor of y?
True
Let q = -3 - -61. Is q a multiple of 14?
False
Suppose 58 = 2*v - 2*p + 4*p, -v = 3*p - 19. Suppose -3*b = -v - 113. Is 13 a factor of b?
False
Suppose -z = -3, 2 + 11 = -5*x + z. Let f(n) = -n**2 - 8*n - 6. Let k be f(-7). Is (-27)/x + k/(-2) a multiple of 9?
False
Let n(q) = -q**2 + 11*q + 6. Let v = -8 - -17. Does 12 divide n(v)?
True
Suppose t + 8 = 2*t. Let b = 0 + t. Suppose 12 = 2*n + 3*j, 2*n - 6 = -2*j + b. Is n a multiple of 5?
False
Let f(w) = 3*w**3 - 21*w**2 + 9*w - 4. Is f(8) a multiple of 10?
True
Let r be ((-240)/(-18))/(2/6). Let m = r + -14. Is m a multiple of 7?
False
Suppose 20 = -5*l, -3*h + 14 = -h - l. Suppose -i - 86 = -3*o - 6*i, 4*i = h*o - 94. Is 22 a factor of o?
True
Let d = -22 - -63. Let t = d + -23. Is 6 a factor of t?
True
Suppose 2*v - 21 = -3. Is 9 a factor of v?
True
Let w = 6 + 3. Let g(j) be the first derivative of 3*j**2/2 - 5*j - 2. Is g(w) a multiple of 8?
False
Suppose -5*l + 78 + 122 = 0. Is l a multiple of 10?
True
Let l(n) = 4*n**2 - 9*n**2 + 6*n**2 + 5*n + 2. Is 2 a factor of l(-6)?
True
Does 24 divide 456/7 + 2/(-14)?
False
Let b(k) = k**3 - 16*k**2 - 11*k + 11. Let c be b(17). Suppose q - 2*a - 48 = 0, -3*q - 4*a + c = -71. Is 14 a factor of q?
True
Suppose 2*l + 3*m + 240 = 7*l, 30 = l + 3*m. Is 24 a factor of l?
False
Let l = 15 + -12. Suppose l*v + 0*v - 120 = 0. Is v a multiple of 19?
False
Let c(j) = 3*j**2 - 4*j**2 + 3*j + 4*j + 0*j**2. Is c(6) a multiple of 6?
True
Let c(i) = -i**3 - 6*i**2 - 8*i - 12. Suppose 2*t = -0*t - 10. Is 3 a factor of c(t)?
True
Suppose -l - 1 + 2 = 0. Suppose 0 = 5*x - x - 8. Let p = x + l. Does 2 divide p?
False
Let k(c) = 2*c - 6. Let i be k(4). Suppose 4 = 3*h - i. Is h a multiple of 2?
True
Let n(o) = o + 14. Let p be n(-12). Suppose p*j = t + 25 - 6, 0 = 5*t - 25. Is 11 a factor of j?
False
Suppose 3*x - 34 = 20. Is x a multiple of 9?
True
Let c(y) = -y**3 + 12*y**2 - 8*y + 5. Does 6 divide c(11)?
False
Let o = 5 - 5. Suppose o*w = w - 2. Is 2 a factor of w?
True
Suppose 3*c + 48 = -0*c. Let q = -6 - c. Does 6 divide q?
False
Suppose -2*i + k + 163 = 0, -4*k + 53 = 5*i - 387. Is (i/9)/((-8)/(-36)) a multiple of 21?
True
Suppose -g = 3*g - 16. Suppose -70 = -3*z - 3*i - 7, -g*z + 79 = 5*i. Is z a multiple of 13?
True
Suppose -3*o + 346 = -2*o. Suppose -b - o = -5*k, -5*b + 0 = 5. Is k a multiple of 23?
True
Let l(y) = -y**3 - 4*y**2 - 5*y - 5. Let r be l(-4). Suppose -2*o + r = -o. Does 4 divide o?
False
Let x(i) = i + 115. Is 31 a factor of x(0)?
False
Suppose 6*o = 12*o - 156. Is 13 a factor of o?
True
Let w(j) = -2*j - 3. Let b be (1 - 3/1) + -3. Is w(b) even?
False
Let a be ((-2)/3)/(4/24). Let z(t) = -t**3 - 3*t**2 + 2*t + 6. Is z(a) a multiple of 14?
True
Let v = 34 - -2. Does 18 divide v?
True
Let v(r) = r**3 - 5*r**2 - 5*r. Let k be v(6). Suppose -d - d = -k. Suppose -d*t = -p + 17, 3*p - 2*t - 3*t = 51. Is 8 a factor of p?
False
Let d = 198 + -79. Is d a multiple of 27?
False
Let c(v) = -2 + 9*v + 0*v**2 - 4 - v**2. Let r be c(8). Suppose 2*g + 1 - 9 = -2*m, 0 = -m - 3*g + r. Is 2 a factor of m?
False
Suppose 3*l = -3 - 0. Is 10 a factor of (-4)/((-44)/40 - l)?
True
Suppose -s = -4*g - 1 - 0, -4*s + 15 = -5*g. Let q = g + 3. Suppose -c - 2*c - 4*b + 71 = 0, -q*b = -4*c + 132. Is c a multiple of 22?
False
Let v be (3 - 1 - 7) + -2. Let i(k) = k**2 + 4*k. Let m be i(v). Let g = 32 - m. Does 5 divide g?
False
Let w(r) = -r + 117. Let k be w(0). Let u be (-2)/(-3)*k/(-6). Let q = 23 + u. Is 10 a factor of q?
True
Suppose q - 21 = -3*o + 11, 4*q + 2*o - 98 = 0. Is q a multiple of 3?
False
Let o be (-6)/(0 - (-6)/(-4)). Suppose -2*a - o = 3*d - 8, 3*a - 5*d - 25 = 0. Is a a multiple of 5?
True
Let b = -1 + -3. Does 3 divide ((-1)/(-1))/(b/(-36))?
True
Let o(j) be the first derivative of -j**2/2 - 2*j - 4. Is o(-4) even?
True
Let b(a) = -a - 3. Let m be b(-3). Suppose m = 4*z - 5*z + 33. Is z a multiple of 11?
True
Let n be (-1 + 2)/(1/(-1)). Let b = n + 40. Suppose 5*j = 2*j + b. Is 8 a factor of j?
False
Let f(a) = -a - 2. Does 7 divide f(-9)?
True
Suppose 4*y + 4 = 0, 22 = 2*r - 5*r + 2*y. Let d = 11 - r. Is d a multiple of 9?
False
Suppose -7*a + 25 = -2*a. Is a a multiple of 2?
False
Let t = -7 - -26. Does 9 divide t?
False
Let h = -2 + 6. Suppose h*r = -3*a + 5 - 1, 12 = -a - 4*r. Does 3 divide a?
False
Let m(k) = -k + 7. Let x be m(5). Suppose -2*q = x*q - 132. Is 11 a factor of q?
True
Let f = -1 - -4. Suppose -10 = -f*j - l + 4, -l + 5 = 0. Does 10 divide (9/6)/j*46?
False
Suppose 6 = v + 4. Suppose -4*f + 71 = 3*j - 353, -3*f + 3 = 0. Suppose -2*y + j = 5*z, z = 5*z + v*y - 112. Does 14 divide z?
True
Suppose -z = 4*z - 2*u + 36, 2*z - 3*u = -21. Is ((-12)/10)/(z/200) a multiple of 12?
False
Let w be (-1295)/(-25) + (-3)/(-15). Suppose 0*x + w = 2*x. Does 11 divide x?
False
Suppose 6*d = -4*i + d - 245, -i = -2*d + 71. Let j = -23 - i. Is 11 a factor of j?
False
Suppose -5*b + 85 = -15. Suppose -8 = z - b. Is z a multiple of 4?
True
Does 7 divide 52*(0/(-4) - -1)?
False
Suppose 5*h + 19 = 3*s, 5*h - 4 = -s + 9. Does 5 divide s?
False
Let w(q) = -3*q - 2. Let b = -1 + -12. Is 8 a factor of w(b)?
False
Let p be -4*(27/(-4) - -1). Suppose p = 2*b + 3. Suppose 3*h - 38 = b. Is 16 a factor of h?
True
Let a(g) = 0*g**2 + g**2 - 5*g + 1 - 3*g. Let x be a(7). Does 12 divide (-94)/x + (-4)/(-12)?
False
Let m(t) = -t**2 - 4*t + 3. Let a be m(-5). Is (3 + -1)/(a/(-35)) a multiple of 14?
False
Suppose -4*i - 27 = 17. Let l = 0 - i. Does 8 divide l?
False
Suppose 2*v - 2*m = 40, 4*m + m - 90 = -5*v. Does 3 divide v?
False
Let v be (-374)/(-18) - (-2)/9. Suppose -5*j + v = -n, 0 = -5*j + 3*n - 2 + 15. Suppose 0 = -5*r - 2*q + 48, j*r - q - q = 32. Is 7 a factor of r?
False
Let q = -1 - -1. Let v = q + 8. Is v a multiple of 3?
False
Let q = 0 - 0. Suppose q = -0*w + 5*w + 20. Let z(f) = 2*f**2 + 5*f - 4. Is 5 a factor of z(w)?
False
Suppose 9 = -2*f - 2*a + 23, -2*f + 4*a = -2. Let n(h) = -h**3 + 5*h**2 + 2*h - 6. Let p be n(f). Suppose -3*i - 16 = -p*i. Is 8 a factor of i?
True
Suppose 7*z = -5*a + 3*z + 57, -4*z - 6 = -2*a. Is 6 a factor of a?
False
Suppose -f = -2*f - 1. Let a be -1*2*(f + 3). Does 21 divide (a/(-8))/((-2)/(-164))?
False
Let t = -200 + 224. Is 6 a factor of t?
True
Let v = -7 - -11. Suppose 21 = -v*t + 9. Let r = t - -24. Is r a multiple of 10?
False
Let b = -7 + 12. Suppose b*x - 5 = 4*x. Suppose 0 = -l - 5*f + x, -4*f = 5*l - 25. Does 5 divide l?
True
Suppose -f + 2 + 16 = 4*y, 0 = -f - 2*y + 10. Let u = 4 - f. Suppose 0*g + 24 = u*g. Does 5 divide g?
False
Let p = -6 - -4. Let w = p + 8. Is 6 a factor of w?
True
Suppose 5*n - 532 = 8. Suppose -3*b + 0*b + n = 0. Is b a multiple of 18?
T