e f?
True
Let x(y) = 39*y - 126. Does 20 divide x(10)?
False
Let n(b) = -3*b**2 + 9*b + 12. Let i be n(10). Let w = -137 - i. Suppose 3*r = 5*p + 11, -2*r - w = -5*r - 5*p. Is r a multiple of 3?
True
Suppose -23*q + 27*q = 2*d - 1794, -4529 = -5*d - q. Is d a multiple of 106?
False
Suppose 0 = -5*i + f + 171 + 374, 3*i = f + 325. Is i a multiple of 5?
True
Suppose -35*k - 84 = -38*k. Let o = 70 - k. Does 11 divide o?
False
Let o(n) be the third derivative of 0 - 5/24*n**4 - 4*n**2 - 1/6*n**3 + 0*n. Does 7 divide o(-5)?
False
Let i = -98 - -50. Let g = 36 - i. Does 11 divide g?
False
Let f(z) = -z**3 - 9*z**2 + 10*z - 8. Let s be f(-10). Let v be ((-205)/2)/(4/s). Suppose -5*b + 5*y + v = 0, 37 - 231 = -4*b - 2*y. Does 23 divide b?
True
Let z = -18 - -2. Let h be (-12)/42 - z/7. Is 43 a factor of 1 + h + 1 - -67?
False
Let n be (3*5)/((-28)/(-112)). Suppose 0 = 9*t - 6*t - n. Does 7 divide t?
False
Suppose -h - 2*r = 2, -3*r - 1 = 5*h - 2*r. Suppose x + 15 - 17 = h. Suppose -x*q + 26 = -26. Does 26 divide q?
True
Suppose 4*j - 3*r - 209 = -8*r, r + 115 = 2*j. Suppose 0 = g - 0*g. Suppose j = 4*i - g*i. Does 3 divide i?
False
Let v(k) = 2*k**2 + 6*k - 33. Is v(-11) a multiple of 11?
True
Suppose 2*n = l + 7, 4*n - 10 = -n - 5*l. Suppose -n*y = -637 - 401. Is y a multiple of 12?
False
Suppose -2*i + 7 = -7. Let v = 37 - i. Is 7 a factor of v?
False
Suppose -2*j - 3658 = -4*y, 0 = 6*y - 5*y + j - 910. Is y a multiple of 19?
False
Let j(m) = -m**3 + 9*m**2 - 6*m - 16. Let s be j(8). Suppose s = -6*z + 1676 + 2638. Suppose z = 6*n + 125. Is 33 a factor of n?
True
Let z = 24 + -28. Is 20 a factor of z/(-14) + 776/28?
False
Let m = 10 - 16. Let p = 1 + m. Let o(r) = -4*r + 1. Does 13 divide o(p)?
False
Suppose -2535 = -18*o + 75. Is o a multiple of 2?
False
Suppose -180 = -3*o - 2*o. Is 12 a factor of 40/(-30)*o/(-1)?
True
Let f(d) = d**3 + 20*d**2 + d + 26. Let n be f(-20). Let x be n/9*(-222)/4. Let j = x - -77. Is 10 a factor of j?
True
Let x = 3167 - 1970. Does 57 divide x?
True
Suppose -2*b = 2*g, 6*b + g = 3*b. Suppose 4*w + 5*l - 389 = b, 5*w + l + 4*l - 485 = 0. Is 30 a factor of w?
False
Suppose 4*k - 180 - 276 = 0. Is k a multiple of 15?
False
Suppose 5 = -5*k, 4*n - 8*k - 2465 = -3*k. Is 41 a factor of n?
True
Suppose 573*p - 578*p + 6670 = 0. Is p a multiple of 24?
False
Let h be (-2)/6 - 1393/(-21). Let f be ((-16)/(-3))/((-8)/(-60)). Let g = h - f. Is g a multiple of 17?
False
Let i(o) = 1251*o - 434. Is 26 a factor of i(2)?
False
Let y = 663 + -512. Is 10 a factor of y?
False
Let r(u) = u**2 - 4*u + 2. Let g be r(4). Let k(m) = 38*m - 5. Does 18 divide k(g)?
False
Suppose 6*r + 25 + 47 = 0. Is (-1863)/r - (0 - (-4)/16) a multiple of 40?
False
Let v(n) = n**2 + 8*n + 12. Let j be v(-8). Let r(g) = g**2 - 5*g - 29. Is 10 a factor of r(j)?
False
Suppose -659 = 9*b - 38. Let t = 159 + b. Is 16 a factor of t?
False
Suppose 5*k = -2*l + 90, -42 = -5*k + 5*l + 13. Suppose -14*t - 172 = -k*t. Is t a multiple of 9?
False
Let a(t) = 21*t**2 - 766 + t + 766. Is a(1) a multiple of 18?
False
Is 7 a factor of (-5)/10 - 3030/(-12)?
True
Let a(v) = -10*v + 5 - v**2 + 6*v**2 + 0 + 1. Does 18 divide a(6)?
True
Let i(x) = -x**3 - 5*x**2 - 6*x + 1. Let c(n) = -n**2 + 5*n - 4. Let q be c(7). Let u = 13 + q. Is i(u) a multiple of 12?
False
Let m(v) = 3*v**3 + 11*v**2 + 3*v - 4. Let z(s) = 7*s**3 + 23*s**2 + 5*s - 8. Let x(t) = -9*m(t) + 4*z(t). Let r be x(8). Suppose 3*d = -d + r. Does 2 divide d?
False
Is (-3 + 2 + -14)*(-17 - -7) a multiple of 25?
True
Does 6 divide 7 - (-1 - 120) - -4?
True
Let b = -428 - -837. Is b a multiple of 13?
False
Suppose 1567 = 11*x - 523. Does 10 divide x?
True
Let v(o) be the second derivative of -1/2*o**4 + o - 1/20*o**5 - 1/2*o**2 + 0 + 5/6*o**3. Is 9 a factor of v(-7)?
False
Is (64/(-1) - -2)/((-37)/148) a multiple of 31?
True
Let m(k) = 0 - 2*k + 13 - 8*k**2 - 1 - 2*k**3. Is 12 a factor of m(-5)?
True
Let h be -4*4*(-6)/8. Suppose -h - 2 = 2*j. Let u = j - -19. Is 4 a factor of u?
True
Let q = -58 - -56. Let f = q + 84. Is 8 a factor of f?
False
Let j be (-3 + 5)/4*-30. Let h = 11 - j. Does 8 divide h?
False
Let n = -3210 - -4538. Is n a multiple of 8?
True
Let b(u) = -29*u - 33. Does 51 divide b(-9)?
False
Let n = -217 + 666. Is 9 a factor of n?
False
Let d be (-1)/(-7)*5602 + 22/(-77). Suppose 35*x - d = 30*x. Is x a multiple of 16?
True
Let y(h) = h**3 + h**2 - h + 4. Let f be y(2). Let x = 33 - f. Is 8 a factor of x?
False
Is 31 a factor of (20/16)/(2229/(-2232) - -1)?
True
Let i(w) be the first derivative of -w**4/4 + 7*w**3/3 + 5*w**2 + 8*w - 16. Is 8 a factor of i(8)?
True
Let f be -8*(-8 + 3)/(-1). Suppose -5*l - 77 - 96 = -2*k, 0 = -k + l + 85. Let y = f + k. Is 11 a factor of y?
True
Let p = 213 - -363. Suppose 2*n = 5*n - p. Is n a multiple of 32?
True
Let k be (3 - 3/2)*8*18. Suppose 124 = 3*h - 0*v + v, -4*v = 5*h - k. Is h a multiple of 12?
False
Let u = 1213 - 681. Is u a multiple of 28?
True
Let x(m) be the third derivative of -m**6/15 - m**5/20 + m**4/8 + 8*m**2. Let l be x(-3). Suppose -l = -5*f + 2*f. Is 15 a factor of f?
True
Let b(v) be the second derivative of -7*v**4/12 - 2*v**3/3 - 2*v**2 - 3*v. Let w be b(-4). Let t = 140 + w. Is 10 a factor of t?
True
Let y(f) be the second derivative of 13*f**4/12 - f**3/6 - f**2 + 38*f. Let p be (-2)/6*6/(-1). Does 24 divide y(p)?
True
Suppose 10*o - 14*o + 512 = 0. Is 16 a factor of o?
True
Let d(k) = 19*k**3 - 5*k**2 + 10*k - 4. Is d(5) a multiple of 41?
True
Let n = -1704 + 1966. Is n a multiple of 4?
False
Let b(d) = 5 + 16*d - 6 - 1 - 3. Let t be b(6). Suppose 5*k - 229 = t. Is 27 a factor of k?
False
Let x = 41 + -65. Is 6 a factor of (2/(-3))/(x/(-36)) + 31?
True
Let a(d) = d + 7. Let q be a(-5). Suppose -x - 4 = -q*x. Is 54/(6/x - 0) a multiple of 9?
True
Let c(z) be the third derivative of 11*z**4/24 + 14*z**3/3 + 3*z**2. Is c(12) a multiple of 40?
True
Let n(i) = 3*i**3 - 4*i**2 - i - 5. Let u(v) = -4*v**3 + 2*v + 3*v**2 + 6 - 3*v**2 + 4*v**2. Let w(c) = -5*n(c) - 4*u(c). Is 13 a factor of w(-4)?
True
Suppose -3*d + 23 = -82. Suppose -2*l + 13 = -d. Does 3 divide l?
True
Let g = 24 + -18. Suppose -4*h - r = -317, g*h = 2*h + 4*r + 292. Suppose 0 = 3*f - 75 - h. Is f a multiple of 22?
False
Suppose 0 = 4*s - z - 252, z - 189 = -4*s + 71. Is 7 a factor of s?
False
Let i(w) = 395*w**3 + 2*w**2 - w. Is i(1) a multiple of 9?
True
Suppose -3*m + 0*m = -9. Suppose 1 = 5*v - 19, 2*z - 26 = -4*v. Suppose z - 47 = -m*w. Does 7 divide w?
True
Suppose 5*b = 2*c + 11, 0 = -c - 3*b - 4 + 15. Suppose c*z = z + 150. Is z a multiple of 32?
False
Suppose -2*h + 2 = -2. Let o(z) = -h*z + 6*z - 7 - z - 4*z. Is 3 a factor of o(-10)?
True
Let u(r) = -r**2 + 8 + r**3 - 2*r**3 - r**3 + 15*r - 7*r**2. Is u(-7) a multiple of 35?
False
Let y(g) = 2 - 2*g + 16 + 10*g**2 - 2*g**2 - g**3. Let x be y(8). Does 12 divide (x + -62)/(3/(-2))?
False
Let g be 18 + -2 - (-3 - -1). Suppose a + 3*a - 3*m = g, 2*a + 2*m = 2. Suppose f + 50 = a*f. Is 13 a factor of f?
False
Let k(g) = -9*g - 8. Let a be -3*((7 - 5) + -1). Is 9 a factor of k(a)?
False
Suppose -4*d = -i - 4*i - 144, -5*d - 5*i = -135. Does 11 divide d?
False
Let c = 95 + -96. Is -130*(-5)/(-10)*(0 + c) a multiple of 11?
False
Let o = 87 - -14. Is 2 a factor of o?
False
Suppose 0 = -2*v + 5*z + 385, -2*z - 536 = -3*v + 58. Is v a multiple of 12?
False
Let f(c) = c**2 - 2*c - 4. Let g be f(4). Let i = 69 - 65. Suppose 5*l = i*l + g. Is l a multiple of 3?
False
Suppose 23 = 2*x + 15. Suppose 3*d - 319 = -2*f, -x*f - 3*d = -f - 480. Is f a multiple of 35?
False
Suppose 0 = 5*n - 4*z - 468, -450 = -5*n - 5*z - 0*z. Let u be 2/9 - 1084/18. Let s = u + n. Does 9 divide s?
False
Let u be ((-10)/6)/((-10)/(-240)). Let v = -72 + 6. Let i = u - v. Is i a multiple of 12?
False
Suppose 56*y = 68*y - 132. Does 3 divide y?
False
Suppose 3*b = -12, 7*y - 5*b - 25 = 6*y. Suppose 4*h - 990 = -5*j, 2*j - 143 = -y*h + 270. Does 12 divide j?
False
Let s(i) be the first derivative of 31*i**2/2 - 7*i - 16. Does 12 divide s(2)?
False
Suppose 5*u + 3*g - 34 = 0, 4*u - 29 = 2*g - 5*g. Let x(t) = 4*t**2 - 9*t + 10. Is x(u) a multiple of 27?
False
Suppose -2*f - 5*m = -20, -f = 3*m + 3 - 14. Suppose t = 5*w + f*t - 520, -2*w - 5*t + 225 = 0. Is 20 a f