et r be g(6). Let d = r - -10. Suppose -6*v + d*v - 2*y + 78 = 0, 0 = v - 2*y - 17. Is 5 a factor of v?
False
Let b be (-2)/(-2) + (-12)/3. Let x(r) = -2*r. Is x(b) a multiple of 6?
True
Let b(k) = -2*k**2 - 4*k - 9. Let d(w) = 4*w**2 + 8*w + 17. Let t(p) = 11*b(p) + 6*d(p). Is t(-3) a multiple of 7?
False
Let k = 14 - 9. Suppose 5*h - 6 + 31 = 0, 119 = 4*l + k*h. Does 10 divide l?
False
Let u = 6 + 17. Is 9 a factor of u?
False
Let n(i) = i**2 + 4*i - 1. Does 19 divide n(7)?
True
Suppose 0 = -6*v + 3*v + 42. Is v a multiple of 3?
False
Suppose 9*d + 50 = 5*q + 4*d, -5*q + 4*d = -51. Suppose k = q + 44. Is k a multiple of 32?
False
Let d = -5 + 4. Let s be ((-1 - -2) + d)*-1. Let b = s + 13. Is 9 a factor of b?
False
Let g = 16 - -5. Is 9 a factor of g?
False
Is 11 a factor of (-178)/(-8) - (-1)/(-4)?
True
Let p = 1 + 43. Is 14 a factor of p?
False
Let g be (-8)/2*(12 - 13). Suppose 3*h - 33 = -3*r, 24 + 32 = 4*h + r. Suppose 0 = -p - g*p + h. Is p a multiple of 3?
True
Let y = 156 - 109. Is y a multiple of 21?
False
Let k(v) = v**2 - 4*v + 5. Does 11 divide k(8)?
False
Let a = -236 + 331. Does 15 divide a?
False
Let o(g) = g**3 - g + 65. Is o(0) a multiple of 34?
False
Let g be (-22)/(-5) + 2/(-5). Suppose 0 = -2*r - g*m + 36, -2*m - 43 = -r + m. Is 12 a factor of r?
False
Suppose -4*m + 0*m - 464 = -4*s, 2*m = -5*s + 573. Is s a multiple of 7?
False
Let p(t) = t**3 - t**2 + 2*t - 2. Is p(3) a multiple of 5?
False
Does 4 divide (1/(-3))/((-11)/2211)?
False
Let x = -26 + 70. Is x a multiple of 9?
False
Let f(o) = o**3 + 5*o**2 + o + 4. Let i be f(-5). Let s = 3 + i. Does 2 divide s?
True
Let z(b) = -b - 7. Let n be z(-9). Let p(a) = a**n - 3*a - 2 + a + a**2. Does 10 divide p(-2)?
True
Suppose -83 = -6*k + 127. Is k a multiple of 4?
False
Suppose -2*t + 115 = 3*t. Does 7 divide t?
False
Suppose -3*m + 9 = 5*o, -4*o - 5 = -3*m + 4. Suppose o = -d + y + 9, d + 15 = 5*d + 3*y. Does 2 divide d?
True
Let b(o) = 20*o**2 - 2*o - 1. Is 13 a factor of b(2)?
False
Let i(j) = j**3 + j**2 + 3. Let r be i(0). Let c be 6/9 + (-17)/r. Does 4 divide -1 - -2 - 2 - c?
True
Suppose -r - 4*d + 5*d + 46 = 0, 0 = r - 4*d - 43. Is 18 a factor of r?
False
Is 11 a factor of (13 + -11)/(282/(-286) + 1)?
True
Let y = 9 - -43. Does 7 divide y?
False
Let l(z) = -2*z - 2. Let s be l(-2). Suppose -3*h = s*b - 152, 48 = h - 0*b + 2*b. Suppose -2*x + h = 2*x. Is 10 a factor of x?
False
Let i = 40 + 23. Let n = i - 33. Is 16 a factor of n?
False
Let z = 28 + -7. Is z a multiple of 21?
True
Suppose -3*d + 2*t + 1 - 53 = 0, -d = 3*t + 10. Let n be ((-8)/d)/((-1)/4). Let a = n - -44. Is a a multiple of 21?
True
Suppose 2*y - 2*g - 22 = 0, 4*y = g + g + 36. Is y a multiple of 7?
True
Let y be (-1*4)/(3/((-105)/(-10))). Let b(f) = 12*f - 2. Let o be b(5). Let p = y + o. Does 22 divide p?
True
Let w(j) = 2*j - 8. Is w(6) a multiple of 3?
False
Let k = 275 + -63. Is 37 a factor of k?
False
Let r(a) = -a**3 - 4*a**2 + 9*a + 1. Let o = -3 - 2. Let p be (-4)/(-6)*(o + -4). Does 5 divide r(p)?
False
Does 11 divide (-52)/(-2) - (-1 - -4)?
False
Is (6/15)/(6/795) a multiple of 18?
False
Suppose -4*a - 306 = -5*l, -2*l - 5*a = 3*l - 315. Suppose 2*u = l + 8. Suppose 13 = -x + u. Is 11 a factor of x?
True
Suppose 4*k + 4 = 2*k. Let q = k - -6. Let x = q - -8. Is x a multiple of 6?
True
Let f = -35 + 77. Is 14 a factor of f?
True
Suppose -7*p = p - 1624. Is p a multiple of 13?
False
Is 11/((4 + -3)/(-2 - -3)) a multiple of 7?
False
Is 13 a factor of -6*((-364)/24)/7?
True
Let a(w) be the third derivative of -w**5/60 - 7*w**4/24 + 5*w**3/6 + 2*w**2. Let x be a(-7). Suppose 63 + 67 = x*u. Is 10 a factor of u?
False
Let g(m) be the second derivative of m**4/6 + 2*m**3/3 + 2*m**2 + 4*m. Is 10 a factor of g(-3)?
True
Is 45/4 + 30/40 a multiple of 4?
True
Let t(b) = 5*b**2 + 4*b. Let v = -23 - -19. Is t(v) a multiple of 16?
True
Suppose -4*g + 17 = 3*b, 3*b - 10 - 5 = -3*g. Let d(c) = 1 + 1 + 5*c - 2*c**g + c**2. Is d(4) a multiple of 3?
True
Let d(v) = 10*v**3 - 3*v + 1. Is d(2) a multiple of 25?
True
Is 4 a factor of (-1 + -47)*(-9)/18?
True
Suppose 2*n = -2*n. Suppose n*o = -o + 18. Is o a multiple of 6?
True
Let y = -193 + 285. Is y a multiple of 23?
True
Suppose 2*a - 99 = -39. Is a a multiple of 10?
True
Suppose -4*i + 26 = -2*x, -x + 0 = 5. Suppose 27 = 2*t - 5*l, 11 = i*t + 5*l - 88. Is 8 a factor of t?
False
Let g(c) = 2*c + 2. Let m be g(-6). Let d = m + 53. Let i = d - 20. Is i a multiple of 16?
False
Let v(k) = 15*k - 2. Let p = -16 + 17. Does 3 divide v(p)?
False
Suppose 5*h - 216 = 4*r, 6*r - r - h = -270. Does 9 divide (6/18)/((-2)/r)?
True
Let h(r) = r**2 + 3*r - 4. Let p be h(-3). Let k(z) = 4*z**2 - z. Let x be k(p). Suppose -x = -t - 3*t. Does 17 divide t?
True
Let y(q) = -q**2 + 8*q + 4. Let t be y(8). Let b = t + -4. Suppose -j = -d + 2 - 21, -3*d - 12 = b. Is 5 a factor of j?
True
Is 6 a factor of ((1296/(-30))/9)/((-1)/25)?
True
Let c(m) = 185*m - 34. Does 24 divide c(2)?
True
Suppose -s = 3*u, -5*u + 4 - 9 = 0. Suppose q - s*c = 23, 3*c + 49 = -q + 3*q. Does 13 divide q?
True
Let a = 12 - 12. Suppose -3*h + a*j + 169 = 2*j, h - j - 48 = 0. Is h a multiple of 18?
False
Suppose 0 = -5*m + 2*x + 11, -2*m + 5*x - 4 = -0. Suppose -2*z = -3*d + 63, -4*d + 3*z = -m*d - 28. Is d a multiple of 19?
True
Let v = 5 + -3. Let y be v - (192/(-3) - -2). Suppose 0 = 5*b + 5*o - 160, -2*b = -o - 2*o - y. Does 12 divide b?
False
Let z = -2 - -4. Let q be 15/6 + (-1)/z. Suppose -q*y + 6 = -0. Is y a multiple of 3?
True
Suppose 7*b - 2*b = 0, 0 = -z + 3*b + 14. Let w = z - 9. Is w a multiple of 3?
False
Let y(a) = -2*a**3 + 1. Let w be y(-1). Suppose -w*l + 37 = 5*k - 30, 0 = -2*l + 8. Does 4 divide k?
False
Let u(a) = -a**3 - 13*a**2 + 8*a - 44. Does 22 divide u(-15)?
True
Let m(f) = f**3 - 2*f**2 + f. Let o be m(2). Suppose w + 4*g = -0*w - 8, 0 = 5*w + o*g - 14. Suppose w = -p + 12. Is 8 a factor of p?
True
Let n be -2 - 7/(7/80). Let q = -54 - n. Is 6 a factor of q?
False
Let w = -4 - -2. Let l(b) = -3*b - 3. Let p be l(w). Suppose -64 = -p*d + d. Does 12 divide d?
False
Let s(w) = w**3 + 7*w**2 + 7*w + 4. Is s(-5) a multiple of 12?
False
Let y(z) = 6*z**2 + 4*z - 66. Does 32 divide y(7)?
True
Suppose 3*o = 2*w + 162, 3*o + 28 = -2*w + 178. Does 13 divide o?
True
Let s = 5 + -2. Let i be (-1 - -7)/((-3)/(-2)). Suppose -16 = -2*v + 4*p, i*p = -s*v - p + 13. Is v a multiple of 3?
True
Suppose 5*h = 10 + 5. Let w = 7 - h. Suppose -4*i = -w*m + 16, -5*m + m = -5*i - 12. Does 4 divide m?
True
Let l(d) = d - 4. Let h be l(8). Suppose -h*n + 18 = -7*n. Let y = n - -16. Does 5 divide y?
True
Suppose 2*h + 1 = 2*s + 17, 4*s = 5*h - 27. Let p = s - -2. Is p/(1 + (-4 - -2)) a multiple of 11?
True
Suppose 0 = r + 4 + 2. Let g be r/(2/1) - -5. Suppose 18 = g*m - 0*m. Is m a multiple of 3?
True
Suppose -j + 3*m = 3*j - 40, 85 = 5*j + 5*m. Suppose -3*q + 2*q + j = 0. Is q a multiple of 8?
False
Suppose -2*n = -a - 517, 4*a = n + 5*a - 251. Does 46 divide n?
False
Let m(f) = -f - 6. Let o be m(-5). Let l(u) = -14*u**3 - u**2 - u. Is 14 a factor of l(o)?
True
Let j = 885 + -563. Does 56 divide j?
False
Suppose -4*i - 20 = 0, -h + 0*i + 7 = -i. Suppose 11 = q - h. Is q a multiple of 7?
False
Let w(c) = 2*c**2 - c + 1. Let k be w(1). Let f be k - (4 - 2 - -1). Is 10 a factor of 22 - ((-1)/f + -3)?
False
Let f(r) = 7*r - 15. Does 24 divide f(11)?
False
Let s(h) = -h**2 - 9*h - 3. Let f be s(-8). Suppose -2*z - z + 209 = f*d, -74 = -2*d + 2*z. Is d a multiple of 10?
True
Let v = -2 - -2. Suppose 8 = -0*i + 3*i + j, v = 5*j - 10. Suppose -i*g = -13 - 19. Does 8 divide g?
True
Let d(h) = h**3 - 7*h**2 + 4. Let t be d(7). Suppose 0 = -2*v + v + t. Suppose -5*k + 2*k + 38 = v*r, 4*k - 4*r = 4. Is k a multiple of 3?
True
Suppose 2*h = 3*g - 14, -4*h - 13 = -4*g + 3. Suppose p + b + g = 56, 2*b + 271 = 5*p. Suppose p = 4*u + 9. Does 9 divide u?
False
Let p(r) = -r**3 - 4*r**2 + 6*r - 4. Let v be p(-5). Let n = v - -102. Is 24 a factor of n?
False
Suppose -v - 11 + 251 = 0. Does 30 divide v?
True
Let f be (-172)/(-22) - (-8)/44. Suppose -175 = 3*a - f*a. Is 14 a factor of a?
False
Suppose -r = 2 - 10. Does 8 divide r?
True
Let g(b) = b**3 - 12*b**2 - 9*b - 12. Let s be g(13). Let k = s + -16. Does 12 divide k?
Tr