y = g + -84. Is y a multiple of 21?
False
Suppose 72 = 2*a - j, 3*a + 0*a = -5*j + 121. Is 10 a factor of a?
False
Let s(u) = u + 3. Let p be s(-5). Does 17 divide p + 4 - (-1 - 14)?
True
Let r(c) = 2*c**2 + 32*c**2 + 5*c**2 - 1 - 2*c. Is 12 a factor of r(-1)?
False
Suppose 5*b - 20 = b - 2*g, -4*b = -3*g - 30. Let v(d) = 11*d + 3. Is v(b) a multiple of 15?
False
Suppose -2*w + 338 = -0*w. Is 29 a factor of w?
False
Let j(o) = 35*o - 50. Is j(10) a multiple of 30?
True
Suppose 0 = 7*i - 5*i. Suppose 3*a + a - 152 = i. Does 19 divide a?
True
Let m be 42/5*(4 - -6). Suppose 15 = 5*v, -m + 330 = 4*d - 2*v. Does 21 divide d?
True
Suppose f - 5*b - 2 = 10, 4*b - 19 = 3*f. Let o = f + 9. Is 14 a factor of -4*(2/o + -3)?
True
Let n(h) = 10*h + 2 - 5 + 6 + 3 - h**2. Does 17 divide n(5)?
False
Let b(m) = 2*m**2 - 11*m - 24. Is b(12) a multiple of 12?
True
Let z be -2 - (-2 + -1 + 2). Suppose 0 = -3*n - 3*x + 9, n + 15 = 2*n + 5*x. Is 2 - z*11 - n a multiple of 5?
False
Suppose -4 = n - 3*n. Suppose 3*s = -2*v + 28, n*s + 26 = 5*s + v. Does 2 divide s?
True
Let m be 8/(-12) + (-98)/6. Suppose -l - 4*o + 22 = 0, -4*o + 2 + 0 = -l. Let g = l - m. Is g a multiple of 13?
False
Suppose -b + 2 = -8. Let i(s) = -7*s + b + s**2 - 6*s**2 - s**3 - 3*s**2. Does 10 divide i(-7)?
True
Let z(a) = -44*a - 18. Let h(t) = t**2 + t + 52. Let o be h(0). Let r(q) = -5*q - 2. Let f(p) = o*r(p) - 6*z(p). Is f(4) a multiple of 19?
False
Let p = 14 + -54. Let d = 60 + p. Is d a multiple of 8?
False
Let j(x) = -4*x + 1. Let d be j(3). Let p = 6 - d. Is p a multiple of 5?
False
Let c = -1264 + 559. Is c/(-18) + 1/(-6) a multiple of 10?
False
Suppose 0 = -5*p + 4*p + 14. Let z = 10 - p. Is 3 a factor of 10/z*(0 - 4)?
False
Let z be (3 + -3)/(-1*3). Suppose -3*y = -2*g + 43, 0 = 4*g - z*g + 5*y - 75. Does 12 divide g?
False
Suppose -18*c + 88 = -14*c. Is 4 a factor of c?
False
Does 10 divide (-2)/3 - (-212)/3?
True
Let b be 7/(-21) + 20/6. Suppose 7 = b*w - 101. Does 17 divide w?
False
Let y(f) = -f**2 + 4*f. Let p be y(4). Suppose p = 4*l - 67 + 19. Is l a multiple of 8?
False
Let m be (-130 + 1)*2/(-3). Suppose -p + m = p. Is p a multiple of 22?
False
Let s(t) = t + 5. Let y be s(0). Suppose 0 = p - y - 5. Is p a multiple of 10?
True
Let w(o) = 5*o - 5. Is 7 a factor of w(6)?
False
Let k(i) = 7*i**2 - 15*i - 5. Is k(5) a multiple of 12?
False
Let p be 7/28 - (-2)/(-8). Suppose z + 47 = 4*j, 3*j + 6*z - 2*z - 21 = p. Is 9 a factor of j?
False
Suppose -2*j - 2*f - 4 = -0, -3*j - f = 0. Is 3 a factor of (j - (-5)/1)/1?
True
Let g be 1/3 - (-510)/9. Let c = g - -17. Is 20 a factor of c?
False
Let j(p) = -p**2 - 38*p + 52. Is 33 a factor of j(-25)?
False
Let h = -29 - -50. Let c(a) = -4*a - 5. Let r be c(-6). Suppose h = 5*x - r. Is 8 a factor of x?
True
Suppose 13 = 3*u + 1. Let v(z) = z**2 + 2*z - 5. Let s be v(5). Suppose u*n - s - 54 = 0. Is n a multiple of 21?
True
Let g(a) = -a**2 + 3*a - 2. Let m be g(2). Suppose 2*d = -m*d + 26. Suppose 4*t - d - 7 = 0. Is t a multiple of 4?
False
Is 11 a factor of (8/(-12))/((-4)/330)?
True
Suppose -4*m + 27 = 5*h, 4*m = -4*h + 20 + 4. Suppose -m*d = -4*r + 209, -3*r = 2*r + 3*d - 268. Suppose -157 + r = -4*v. Is v a multiple of 13?
True
Is 17 a factor of 1 - (-2 - (-200)/(-4))?
False
Suppose t + 16 = -35. Let o = 96 + t. Suppose w + o = 6*w. Does 9 divide w?
True
Let o(l) = 4*l - 6. Let x be o(3). Let c = 11 + x. Does 16 divide c?
False
Suppose 2*s + 2 = -n + 6*s, 0 = 3*n + 3*s - 9. Suppose -j - 2 = -n*j. Does 2 divide j?
True
Suppose 5*z + 45 = 5*g, -4*g - 5*z + 5 = g. Suppose -g*v + 2*v + 9 = 0. Suppose 2 = -2*o, -v*u + u + 4*o = -10. Is 3 a factor of u?
True
Let l(y) be the first derivative of y**3 - y**2 - 4*y - 1. Let f be l(3). Suppose -3 = -q + f. Is 10 a factor of q?
True
Suppose 17 = -v - 4*x - 8, -v - 13 = x. Does 14 divide (v - -6) + 0 + 26?
False
Let h(p) be the second derivative of p**4/12 + 4*p**3/3 + 3*p**2/2 - p. Is 3 a factor of h(-8)?
True
Suppose -2*x + k + 12 = 3, -4*x - k = -3. Let t(i) = -i**3 - 2*i**2 - 1. Let p be t(-2). Is (p + x)/((-5)/(-145)) a multiple of 18?
False
Let b = 149 - 39. Is 8 a factor of b?
False
Is 7 a factor of (-2)/(-5) + (-165)/(-25)?
True
Let z(m) = m**2 - 9*m + 10. Let o be z(8). Suppose 3*t - 8*t = 0. Does 11 divide 34 - (t + o - 1)?
True
Suppose -2*x + 98 + 26 = 0. Let z = x - 24. Does 19 divide z?
True
Let z(d) = 28*d**2 - 8*d + 7. Is 16 a factor of z(3)?
False
Suppose 3*p = 151 + 23. Is p a multiple of 35?
False
Suppose -3*n + 68 + 40 = 0. Is 12 a factor of n?
True
Let b be 1/(2/(-10)*-1). Suppose 4*a + 0*a - 88 = 0. Let d = a - b. Is d a multiple of 17?
True
Suppose 2*o - 4 - 6 = 0. Let h = -12 - -42. Let f = h - o. Is 14 a factor of f?
False
Let a(l) be the first derivative of -l**4/4 + 5*l**3/3 - l**2/2 + 5*l - 3. Is a(4) a multiple of 5?
False
Suppose 0 = -4*x + 5 - 25. Is (-7)/((x/4)/5) a multiple of 14?
True
Suppose -2*s - s = -15. Suppose -2*b = 2*a - 1 - 9, 3*a + b = s. Suppose a = 6*r - 2*r - 108. Is 10 a factor of r?
False
Let p be (-2)/((-6)/(-9)) - -338. Suppose -5*i + p = 5*m, -6*i = -4*m - 3*i + 289. Does 12 divide m?
False
Suppose 3*l + 2*l + 25 = 0. Does 16 divide (-79)/l - (-8)/40?
True
Is 10 a factor of 2 - ((5 - 3) + -50)?
True
Let g(r) = -3*r. Let n be g(-1). Suppose 0 = -n*s + 4*s - 56. Is 28 a factor of s?
True
Let x(c) = -c**2 - 9*c - 5. Let n be x(-8). Let g(f) = 2*f - 2*f - n*f - 8. Is 10 a factor of g(-6)?
True
Let b = 83 + -38. Does 15 divide b?
True
Let l(j) = 2*j**2 + 14*j + 3. Is 2 a factor of l(-8)?
False
Is 31 a factor of (4/6)/((-16)/(-2232))?
True
Does 13 divide 1332/19 + (-24)/228?
False
Let m = 84 + -56. Is m a multiple of 15?
False
Let o(p) = 2*p**2 - 4*p - 2. Let i be o(-6). Let l = i + -14. Suppose -3*n + l - 5 = 0. Is 9 a factor of n?
False
Is 35 + 8 + -1*1 a multiple of 14?
True
Suppose d + 5*i + 11 = 0, 4*d - 5*i + 0 = 6. Let z be 9/1 + (-2 - d). Suppose -4*n = 3*m - 32, 2*n - 6*n = m - z. Is m a multiple of 7?
False
Suppose -2*l + 3*f = -3*l + 27, 5*l = -3*f + 99. Is 9 a factor of l?
True
Let w = 4 + -2. Suppose 2*n = c - 2*n - 14, -w*c - 4*n + 28 = 0. Suppose 4*r = -2*q + c, -5*r + 0*q + 37 = -4*q. Is 2 a factor of r?
False
Let q(t) = 2*t**2 + 4*t - 1. Let v be q(-3). Suppose -v*h = -12 - 18. Does 6 divide h?
True
Let i(t) = 5 - 6*t + 4*t + 4*t. Let x(g) = g**3 - 8*g**2 + 2*g - 5. Let v be x(8). Does 9 divide i(v)?
True
Does 17 divide 25 - (-1 + 0/4)?
False
Let w(f) = f**3 - 18*f**2 + 12*f - 48. Is w(18) a multiple of 15?
False
Let v be ((-1)/(-1))/(3/(-6)). Let k be 2 + -4*(-3)/v. Is 10 a factor of k/6 + (-186)/(-9)?
True
Let g(i) = i - 3. Let v be g(6). Let z(k) = k**2 - 6*k + 10. Let p be z(4). Suppose -v*n + 60 = p*n. Is 12 a factor of n?
True
Let j = 92 + -46. Does 25 divide j?
False
Let p be 1 - 6/(-9)*6. Suppose 5*n + 5*h = 155, -5*n + 0*h = -p*h - 205. Is 10 a factor of n?
False
Suppose -4*j = -95 + 35. Suppose -5*u + 2*u + j = 0. Suppose y + u*r + 54 = 4*y, 5*y + r = 90. Is y a multiple of 8?
False
Let n(k) = -k**2 - 2*k + 8. Let h be n(-7). Let o be (-6)/h - (-79)/9. Let s = o + -6. Is 3 a factor of s?
True
Let x(b) = b**3 + 5*b**2 + 5*b + 4. Let q be x(-4). Suppose -62 = -4*z - 0*s - 2*s, 2*z - 4*s - 36 = q. Is 10 a factor of z?
False
Let c(l) = -l**3 + 4*l**2 - 3. Let z be c(3). Suppose p - z*p + 3*f = -176, -5*f = -4*p + 146. Is p a multiple of 12?
False
Suppose -5*z = -6*z + 24. Is z a multiple of 5?
False
Suppose 0 = 5*c + 2*u - 214, -2*c - 5*u + 55 + 18 = 0. Does 12 divide c?
False
Suppose 0 = 3*i - i. Suppose -3*x - 23 = -5*p, p - 5*x = -i*p + 9. Suppose -t + 13 = h, 3*h - 5*h - p*t + 32 = 0. Does 5 divide h?
True
Let h(r) = r - 1. Let j(t) = 2*t - 1. Let x(f) = -4*h(f) + 3*j(f). Is x(3) a multiple of 4?
False
Let a be 4*-3*3/(-9). Suppose 3*y + 9 = a*z, -1 = -y - 0. Does 3 divide z?
True
Let a = 3 - 3. Let u = 3 + a. Let n = 34 - u. Is 11 a factor of n?
False
Let y(z) be the first derivative of z**4/4 - 8*z**3/3 + 9*z**2/2 - 8*z - 2. Suppose -v + 9 = 2. Does 6 divide y(v)?
True
Let b(n) = -n**2 - 8*n - 6. Let f be b(-7). Let a(l) be the second derivative of 27*l**5/20 - l**3/3 + l**2/2 - 3*l. Does 10 divide a(f)?
False
Does 16 divide 14/70 - 349/(-5)?
False
Let x = -7 - 10. Let l = 32 + x. Does 4 divide l?
False
Suppose 5*m -