 Let i(h) = -3*h**2 + 10*h + 11. Let z(d) = -4*d**2 + 9*d + 12. Let o(f) = -5*i(f) + 4*z(f). Is o(x) a multiple of 19?
True
Let h = 111 + -69. Does 14 divide h?
True
Suppose 840 = 10*q - 5*q. Is q a multiple of 12?
True
Suppose -4*b + 3*g + 383 = 0, 4*g + 6 = 18. Suppose -b - 146 = -4*a. Does 18 divide a?
False
Suppose 5*m - 3*m + 12 = 0. Is 8 a factor of (-32)/(-6)*m/(-4)?
True
Suppose -o - 3*o = -140. Let n = 59 - o. Is n a multiple of 11?
False
Suppose 6 + 2 = -4*s. Let c(p) = p**2 - 2*p - 3. Let z be c(s). Suppose -z*k + 1 = -9. Does 2 divide k?
True
Suppose 85*y + 1370 = 90*y. Is y a multiple of 19?
False
Suppose 0 = 2*n - 4*a + 4, -3*n + 3 = 5*a - 2. Suppose n*b - 5*b + 110 = 0. Is b a multiple of 11?
True
Suppose -4*d - l = -37, -2*d - 2*l + 34 = 2*d. Is d a multiple of 5?
True
Is 19 a factor of -7*1*(-432)/42?
False
Let y = -1 - 1. Let p(o) = o**2 + o + 2. Is p(y) a multiple of 4?
True
Suppose 0*h + 8 = 2*h - 2*c, 0 = -h - 2*c + 19. Let r be -1 + 3/(h/24). Suppose -r*n + 60 = -2*n. Is n a multiple of 12?
True
Is (-82)/(-4) + (-45)/30 a multiple of 4?
False
Is 9 a factor of 0 - -42 - (10 + -11)?
False
Suppose -30 = 2*c + 3*c + k, 2*c - 1 = -3*k. Let p be (-1 + 0)/(c/(-35)). Let j(a) = -6*a - 6. Is 7 a factor of j(p)?
False
Let o = -17 - -21. Let h(n) = 3*n + n**2 - 3*n - 1 - 3*n. Is 3 a factor of h(o)?
True
Let t(q) = -q**3 + 8*q**2 - 8*q + 1. Let r be t(7). Let c(x) = -5*x - 6. Is 12 a factor of c(r)?
True
Suppose -6*l + 3*l - 87 = -x, 0 = 4*x + l - 413. Is x a multiple of 34?
True
Suppose 3*p + 10 = 8*p. Suppose -5*r + p*k - k = -177, -27 = -r - 4*k. Is 14 a factor of r?
False
Suppose -3*j - 10 = -5*j. Suppose 15 = -5*n - 0*n, 5*w + j*n = 5. Suppose -5*y + 30 = -5*z, 2*y + z + w*z = 26. Does 4 divide y?
True
Let f(r) be the second derivative of r**4/6 - r**2 - 4*r. Is f(5) a multiple of 16?
True
Let f = 20 + -6. Let o = 56 - f. Does 17 divide o - -2*3/6?
False
Let w = 271 - 183. Let u = w + -25. Is 21 a factor of u?
True
Let d(g) = g**2 + 1. Let j be d(-1). Suppose 2*s = 3*u + 5 + 54, 38 = j*s + 4*u. Let k = 43 - s. Is 6 a factor of k?
True
Let c = 7 - 11. Let w(l) = -l**2 - 7*l - 4*l + l + 2*l - 5. Is 5 a factor of w(c)?
False
Let j(a) = 5*a**2. Let i be j(1). Suppose -4*h - i = -3*h. Let g(p) = -p**2 - 9*p + 2. Does 22 divide g(h)?
True
Suppose -4*g - 12 = -5*y - 62, 0 = 2*g - 5*y - 20. Is 4 a factor of g?
False
Let f(w) be the second derivative of -3*w**5/4 - w**4/12 - w**3/6 - w**2/2 - 3*w. Does 14 divide f(-1)?
True
Suppose 0 = -6*z + 4*z + 40. Is z a multiple of 8?
False
Let t(i) = 4*i + 2. Suppose 3*m + h + h = 15, 4*m - 20 = -2*h. Is t(m) a multiple of 7?
False
Is ((-2)/3)/(2017/(-336) - -6) a multiple of 14?
True
Let m = 91 - 65. Suppose -2*q - m = -126. Is 17 a factor of q?
False
Suppose -3*j - 2*j = -25. Let l(u) = -3*u + 5*u - u + 1. Is 3 a factor of l(j)?
True
Let q be -16*9/24*-2. Suppose -30 - q = -6*m. Is m a multiple of 7?
True
Let d(v) = -3*v**2 + 4*v - 2. Let u = -5 - -7. Let r be d(u). Let w = r + 9. Is w a multiple of 3?
True
Suppose 72 + 128 = 4*l. Is l a multiple of 10?
True
Suppose -11*m + 2308 - 196 = 0. Is m a multiple of 48?
True
Suppose -o = r - 6, 2*o = -2*o. Suppose -2*s + r = -0*s. Is 2 a factor of s?
False
Suppose -3*j + 5*j + 100 = 0. Let l = -14 - j. Is l a multiple of 9?
True
Suppose -339 = -3*d + 5*r, 2*r - 78 - 35 = -d. Is 37 a factor of d?
False
Suppose 11 + 64 = 5*v. Let y = 7 + v. Is 11 a factor of y?
True
Let f(t) = -2*t**3 + t**2 + t + 1. Let l be f(-2). Suppose -3*y + 3*p + 2*p = 43, 0 = -3*p + 6. Let j = l + y. Is j a multiple of 4?
True
Let c(g) = 2*g + 13. Does 3 divide c(-3)?
False
Let l = -6 + 10. Is l a multiple of 4?
True
Let f(x) = x**3 + 4*x**2 - 2*x + 4. Let d = 2 + 1. Is 14 a factor of f(d)?
False
Let a = 21 - 47. Let c be (-1 - -2)/(2/a). Let t = -9 - c. Does 2 divide t?
True
Let o be (-2)/6 - 14/(-6). Suppose -3*n - 5 = 2*z, -2*n - 3*n - 15 = 0. Suppose z*r = -o*r + 16. Is 4 a factor of r?
True
Let n(v) = -v**3 - 3*v**2 - 1. Suppose i = -3 - 1. Is n(i) a multiple of 5?
True
Let y(c) = 1. Let h(b) = 2*b + 2. Let z(x) = -h(x) - 4*y(x). Let v be z(-8). Is 4/v + 712/20 a multiple of 12?
True
Let c = -570 + 800. Is 25 a factor of c?
False
Let t(y) = 2*y + 3. Let o(r) = -r**3 - 12*r**2 - r - 8. Let b be o(-12). Is 11 a factor of t(b)?
True
Let x(l) = 2*l**3 + l**2 - 1. Let k be x(1). Let t(j) = -k*j - 9 + 0 - j - 2. Is t(-9) a multiple of 16?
True
Let p(w) = 295*w**2 + 9*w + 9. Does 25 divide p(-1)?
False
Is 20/(-6)*36/(-150)*65 a multiple of 6?
False
Let y(g) = 3*g**3 - 5*g**2 + 7*g - 9. Does 13 divide y(3)?
False
Let w(x) = x**2 + 2*x + 12. Let m be w(-8). Suppose -4*o - 10 = -9*o, f + 2*o - m = 0. Does 17 divide f?
False
Suppose 11 - 3 = -4*s, 3*v = -s + 55. Does 5 divide v?
False
Is 31 a factor of -12*30/(-4) - 18/(-6)?
True
Let p = -4 + -6. Let u be 4/p + (-6)/10. Is 2/(-1) - (-5 + u) a multiple of 4?
True
Suppose 134 - 356 = -3*z. Suppose 3*l = z - 14. Is l a multiple of 5?
True
Suppose -3*b = -8*n + 5*n + 135, 3*n - 132 = 2*b. Suppose -6 = -3*p + p. Suppose n = -y + p*y. Is 10 a factor of y?
False
Let z = -7 + 21. Let j(t) = 4*t**2 - 8*t - 8. Let y be j(-6). Suppose -5*m + y = z. Is m a multiple of 27?
False
Let n = -3 + 5. Suppose 2*b = -0*b - n. Is 12 a factor of -48*b/(-2 - -4)?
True
Suppose -3*l - 4*p = -2 - 2, 5*p - 5 = -2*l. Let c(x) = x. Let m be c(l). Suppose q + m*q - 12 = 0. Does 12 divide q?
True
Let p = 2 + 2. Suppose 0 = -p*f + 2*f + 24. Is f a multiple of 6?
True
Let z be ((-6)/4)/(2/(-4)). Suppose 0 = 2*t + 2*b - 0*b - 206, z*t + 5*b - 307 = 0. Is t a multiple of 24?
False
Let f be (1 + -3)/(9/(-18)). Suppose 5*a = -3 - 12, 0 = 5*c - f*a - 107. Is c a multiple of 19?
True
Let p = 11 + -8. Let m be 2/(-1*p/6). Let b = 0 - m. Does 4 divide b?
True
Suppose 0 = -4*t + 5*t. Suppose 11*l = 6*l + 225. Suppose t*k + y = 3*k - l, -2*k + 25 = y. Does 14 divide k?
True
Suppose -4*w + 3*w + 2 = -5*m, 2*w - 3*m - 4 = 0. Suppose 2*g = 4*q - w + 4, -5*g - 4*q + 47 = 0. Let s = g + -4. Does 3 divide s?
True
Let s(w) = 7*w**3 + 11*w**2 + 8*w + 13. Let f(c) = 3*c**3 + 5*c**2 + 4*c + 6. Let b(t) = 9*f(t) - 4*s(t). Let o be b(5). Let d = -29 - o. Is d a multiple of 25?
False
Let q = 16 + -11. Does 5 divide q?
True
Let c(g) = g**3 - g**2 - 2*g + 20. Let u(k) = k. Let f(q) = c(q) + u(q). Does 10 divide f(0)?
True
Does 17 divide (134/(-5))/(26/(-65))?
False
Let t = -10 + 14. Suppose -5*r - 5*p - 5 = -40, 2*r - 16 = -t*p. Is 3 a factor of r?
True
Let k be 3/(-9) + (-70)/6. Let m = -3 - k. Is m a multiple of 9?
True
Is (144/(-45))/((-1)/30) a multiple of 12?
True
Suppose -8*v + 3*v = 10. Let f be v + (-52 - (-2)/(-2)). Let z = f + 84. Is z a multiple of 12?
False
Suppose 5 = -2*q + 1. Let v = q + 4. Suppose 20 = -v*t + 3*t. Does 10 divide t?
True
Let z(k) = -k**2 + 2*k + 3. Let s be z(3). Suppose -t + 0*t = -h + 23, s = 2*h - 4*t - 38. Is 9 a factor of h?
True
Suppose 0*g = 5*g. Suppose 2*z = -5*v + 8, 7 = -g*z + 3*z + 5*v. Let m(x) = 19*x**2 - x. Does 6 divide m(z)?
False
Let v(f) = -f**2 - 5*f + 6. Let p be v(-5). Suppose 28 = p*c - 4*c. Is 14 a factor of c?
True
Let p(l) = 4*l**3 - 3*l**2 - 3. Let f(t) = -5*t**3 + 3*t**2 + 4. Let b(x) = -3*f(x) - 4*p(x). Let y be b(3). Suppose y = 3*d - 21 - 9. Is 10 a factor of d?
True
Let c be (-1)/1*(-10)/2. Suppose c*m - 17 = 18. Is 4 a factor of m?
False
Suppose 5*r - 200 + 14 = -2*m, 0 = -r - 3*m + 45. Is 18 a factor of r?
True
Is ((-14)/6)/(10/(-1980)) a multiple of 66?
True
Suppose -2*x = 4*t - 4, t + 19 = -2*x + 4*x. Suppose -2*u + 2 + x = 0. Suppose 4*w - 91 = u*j, -2*w = j - 8 - 27. Is 8 a factor of w?
False
Let j be (-108)/14 + 6/(-21). Is ((-42)/j)/(9/48) a multiple of 14?
True
Suppose -3*l - d + 616 = 0, 3*l - 817 = -l + 3*d. Is l a multiple of 45?
False
Suppose -d + 2*d - 67 = 0. Is 29 a factor of d?
False
Suppose -54 = -2*h - 16. Suppose -4*t + 5*i = -17 - 53, -t + 2*i + h = 0. Does 5 divide t?
True
Let j(k) = -8*k + 1. Is j(-13) a multiple of 21?
True
Let v = 0 - -42. Is v a multiple of 9?
False
Let l(y) = 2*y**2 - 14*y + 16. Is 4 a factor of l(8)?
True
Suppose -2*i = i - 2*y - 23, 4*i = y + 24. Is 11 a factor of (19/1)/(i/5)?
False
Suppose -a + 9 = 2*a - 3*d, 3*a - d - 7 = 0. Let c(t) = 8*t**2 - 3*t + 1. Does 8 divide c(a)?
False