 11?
False
Let t = 18 - 13. Let x(r) = -3*r**2 + 5*r - 12. Let d(i) = 4*i**2 - 6*i + 13. Let g(c) = t*x(c) + 4*d(c). Does 12 divide g(4)?
True
Let q(x) = -x**2 - x + 44. Let i = -11 - -11. Is q(i) a multiple of 11?
True
Let k(c) = 2*c**2 - 11*c - 16. Let n be k(7). Is ((2 - 3) + 2)/(n/165) a multiple of 12?
False
Suppose -36*w = -33*w - 12. Suppose 2*s = -2*d + 104, -w*d = -s - 7*d + 44. Is 7 a factor of s?
True
Let v(a) = a**2 - 5*a + 19. Let k be v(14). Suppose -14*m - k = -19*m. Is m a multiple of 7?
False
Suppose 4 = 13*b - 15*b. Does 31 divide b*(-10)/(-5) + 146?
False
Let j = -42 - -95. Let p = j + -8. Is 9 a factor of p?
True
Let z(g) be the first derivative of -3*g**4/2 + g**3 + 3*g**2/2 + g - 9. Let f be z(3). Let b = f + 184. Is 21 a factor of b?
False
Suppose 0 = 6*c - c - 35. Suppose c*a - 12 = 4*a. Is a a multiple of 2?
True
Suppose 2*j + 3*k = 3*j - 18, -3*k - 15 = 0. Suppose l = -j*d + 152, -5*d + 2*l + 2*l + 276 = 0. Is d a multiple of 13?
True
Let d(u) = u**2 + 5. Let m be d(0). Suppose l - m*k = -l + 8, 2*k - 20 = -5*l. Suppose -5*z + c + 4*c + 180 = 0, 2*z - 74 = l*c. Is z a multiple of 18?
False
Let z = -10 + 14. Suppose z*g + 52 + 28 = 0. Is 15 a factor of 283/5 + (-8)/g?
False
Let o = 596 + 1561. Does 10 divide o?
False
Let d = 64 + 156. Let t = d + -117. Does 16 divide t?
False
Let y(f) = 7*f**2 - 4*f + 4. Let u(p) be the second derivative of p**4/12 - p**3/6 - p**2/2 + 4*p. Let a(w) = -5*u(w) + y(w). Is 16 a factor of a(5)?
True
Let d = -18 - -22. Suppose s + d*s - 75 = 0. Is 1*14 + (17 - s) a multiple of 16?
True
Let x = -34 + 104. Is x a multiple of 14?
True
Let a = -2953 + 4756. Is 55 a factor of a?
False
Let n = -643 + 769. Does 9 divide n?
True
Let g(l) = 4*l**2 - 9*l + 3. Let n = -38 - -31. Is g(n) a multiple of 53?
False
Let z(w) = -3*w + 3. Let a be z(-6). Suppose -5*u + 4*r + 1 = -35, -2*u + 4*r = -24. Suppose -5*l = -u*l - a. Is 7 a factor of l?
True
Let q be 0 + 7/((-14)/44). Let d = q + 32. Suppose 0 = d*y - 14*y + 268. Does 15 divide y?
False
Is 12 a factor of (1 + 4 + -6)*-456?
True
Suppose 3*t + f = 15, 5*t - 2*f = 2*f + 8. Suppose 0 = -t*i + 2*d + d + 15, 4*i = -d - 5. Suppose -5*m = -i*m - 140. Is m a multiple of 13?
False
Suppose -3*o - l = -3 - 8, -4*o - 12 = -4*l. Let f be (18/(-15))/((-3)/100). Suppose 4 = o*y - f. Is 22 a factor of y?
True
Suppose -10836 = 545*d - 559*d. Does 43 divide d?
True
Let x be (-6)/(-4) - -42*8/32. Let l = 24 + x. Does 12 divide l?
True
Let m(t) = -2*t - 8. Let q be m(-6). Suppose -29 = -5*a - q*k + 89, -3*a + 66 = 4*k. Let s = a + -18. Is 8 a factor of s?
True
Does 3 divide 14/(-4) + (-2412)/(-8)?
False
Let a = 4 + 875. Does 65 divide a?
False
Suppose 2*i - 2*r = -4, 4*i + r + 4 = -9. Let o(h) be the second derivative of -h**4/12 - h**3 - 2*h + 18. Is 9 a factor of o(i)?
True
Suppose -4*y + 81 = -7. Let w be (-3 - -2)/(3/(-3)). Let b = y - w. Is 7 a factor of b?
True
Let n = -47 + 47. Let s(v) = v**2 + 2*v + 89. Does 12 divide s(n)?
False
Let r(i) = -4*i - 1. Let j(a) = 5*a + 1. Let m(l) = 6*j(l) + 7*r(l). Let y be m(2). Suppose -2*h = -0*h - 5*q - 141, -y*q = 2*h - 117. Does 16 divide h?
False
Let q(w) = -4*w**3 - 3*w**2 - 11*w + 1. Let o(a) = a**3 - a**2 + a + 1. Let t(j) = 3*o(j) + q(j). Let k(d) = 6*d. Let b be k(-1). Does 13 divide t(b)?
True
Let w be (42/(-8))/(6/(-16)). Let c = -12 + w. Suppose -18 = -i - c*r, -4*i - r = -3*r - 62. Is i a multiple of 16?
True
Let d(z) = 2*z + 9. Let s be d(0). Suppose 2*l + 3 = s. Suppose -l*t - 2*t = -260. Is 13 a factor of t?
True
Suppose 32 = 7*b + 4. Is b*((-990)/4)/(-9) a multiple of 22?
True
Suppose 21*g = 12*g + 423. Does 5 divide g?
False
Let c(u) = -u**3 + 19*u**2 + 26*u - 64. Is c(20) a multiple of 8?
True
Suppose -13*k + 272 = -105. Is k a multiple of 3?
False
Suppose 189 - 6429 = -10*b. Is b a multiple of 4?
True
Suppose -28*y + 33*y = 1255. Is y a multiple of 17?
False
Suppose 0 = 2*p + 5*y + 47, 0*p = p + y + 19. Let b = p - -8. Is (-1 + 4/b)*-2 a multiple of 2?
False
Suppose -55875 - 64701 = -64*j. Does 34 divide j?
False
Suppose -4*g = 3*x - 5 + 14, 0 = 3*x + 9. Let c be (-5)/20*g - -1. Is 19 a factor of 12/(-12) - (-40 + c)?
True
Let q(v) = 2*v**2 + 22*v - 27. Is 43 a factor of q(7)?
False
Let j(i) = i**3 + 13*i**2 - 16*i - 12. Let s = -18 - -21. Suppose -5*h + s*n = 4*n + 65, 0 = -h - 4*n + 6. Does 8 divide j(h)?
True
Suppose 696 = -4*c + 1528. Does 13 divide c?
True
Let x(b) be the third derivative of 17*b**4/24 - b**3/2 - 5*b**2. Is 16 a factor of x(3)?
True
Let g = 1982 + -345. Does 13 divide g?
False
Let i = -338 + 383. Is i a multiple of 7?
False
Suppose 4*q + 112 = 4*b, -5*q + 2 + 8 = b. Suppose -u = 4*p - b, 3*u = 3*p - p + 33. Does 3 divide u?
False
Suppose z = -3, -11 = -4*o + z + 104. Suppose -x - 4*n = -40, -x - x + o = -5*n. Does 2 divide x?
True
Let h(o) = -5*o**3 - 4*o**2 + 9*o + 147. Does 6 divide h(-7)?
False
Let s(u) = u**3 + 4*u**2 - 3*u - 4. Let t be s(-5). Let c = -10 - t. Suppose 4*x + 3*v = 107, c*x - 51 - 53 = -4*v. Is x a multiple of 12?
False
Let g be ((-45)/(-6))/(2/20). Suppose -4*w + g + 449 = 0. Does 37 divide w?
False
Suppose -z = -5*o + 75, 2*o - 3*o - 2*z = -15. Let g = -3 + o. Is g a multiple of 7?
False
Suppose 7*j - 5*j = 336. Let a be 10/4 + (-2)/4. Suppose 0 = -a*q - q + j. Is q a multiple of 14?
True
Let p be (-81)/6*2/(-3). Suppose -l + 1 = -p. Suppose 0 = -4*h + 162 - l. Is h a multiple of 19?
True
Let h = -8 - -10. Suppose h*s = 2 - 0. Is 2*(-3 - (-24)/s) a multiple of 14?
True
Suppose -r + 4*r - 2030 = -5*p, -4*r - 2*p + 2688 = 0. Is 5 a factor of r?
True
Let c(f) = -f**2 - 9*f + 2. Let b = -3 + -6. Let s be c(b). Suppose 3*i = i - 4, 0 = s*w + 3*i - 88. Is w a multiple of 10?
False
Let w(n) = n - 8. Let u be w(13). Suppose k - u = -q - 3*q, -3*k - 9 = 0. Is (-8)/(q/(-16)*2) a multiple of 10?
False
Let z be (3 - 0) + 0 - -26. Let j = z - 79. Does 3 divide 3/(-2)*j/15?
False
Let r(k) = -3*k**2 + 5*k + 6. Suppose 31 = -8*t - 25. Let j(x) = -5*x**2 + 9*x + 11. Let m(w) = t*r(w) + 4*j(w). Is m(-5) a multiple of 11?
True
Let c = 3087 + 486. Is c a multiple of 48?
False
Let v = 135 + -133. Suppose -5*h + 104 = 4*l - 345, -2*h = v*l - 226. Does 29 divide l?
True
Let s = -10 - -14. Suppose s*l - 158 = 202. Is l a multiple of 11?
False
Suppose 282*s = 326*s - 21692. Is 13 a factor of s?
False
Is 87 a factor of (125/15 - 11)*-2088?
True
Let g(i) = 8 + 4 - 3 + 13*i + 22. Is 16 a factor of g(5)?
True
Is 23180/342 + 2/9 a multiple of 4?
True
Let f = -3 - -116. Let v = 114 + -102. Suppose -v + f = b. Is 26 a factor of b?
False
Let t be (-8)/4 + 12*1. Let y be (-50)/20*(-32)/t. Suppose 9*q = y*q + 113. Is 41 a factor of q?
False
Let q be (13/(-4) - 3)*-4. Suppose -5 = 5*i - q. Suppose -i*f + 98 = 22. Is 12 a factor of f?
False
Let w(i) = 36*i**3 - i**2 - 2*i - 1. Let g be w(-1). Is (185/(-20) + 5)*g a multiple of 9?
True
Let b = 19 - 27. Does 14 divide b/(-40) + (-489)/(-5)?
True
Let y = 2471 + -1708. Does 24 divide y?
False
Suppose -541 = -5*p + 3*r + 2417, 2954 = 5*p - 4*r. Is p a multiple of 66?
True
Suppose -5*k + 56 = -3*k - 4*x, -4*k + 3*x + 132 = 0. Let v = 22 + -40. Let s = v + k. Is s a multiple of 9?
True
Let a(t) = t**3 + 12*t**2 + 5*t - 6. Let j be a(-6). Suppose 0 = -w - w - u + 260, -4*u - 368 = -3*w. Let v = j - w. Is v a multiple of 20?
False
Let f(g) = -180*g**3 + 4*g**2 + 2*g - 17. Is f(-3) a multiple of 22?
False
Suppose -17*h - 3108 = -24*h. Does 6 divide h?
True
Suppose -5*y + 3289 = 174. Is 43 a factor of y?
False
Let h = -285 + 2493. Does 16 divide h?
True
Suppose -3*j - 5*a + 51 = 0, 3*j + 4*a = 3*a + 51. Let g = j + -9. Does 8 divide g?
True
Let z(f) = f**2 - 8*f + 10. Let o be z(7). Let c(s) = 5*s**2 + 7 + 2*s**3 + 8 - 3*s + 8 - 21. Is c(o) a multiple of 23?
True
Let z(r) = -r**2 + 11*r - 10. Suppose 3*p - 6*p + 30 = 0. Let n be z(p). Suppose n = 3*g - 66 - 33. Is g a multiple of 28?
False
Let v(n) = n**2 - 2*n + 3. Let f be v(3). Let t(o) = 4*o + 60. Let u be t(-14). Suppose 2*x - f*x + 60 = u*z, 5*x = 4*z + 30. Is 4 a factor of x?
False
Does 26 divide 7274*(-1)/(-8) + (-150)/(-200)?
True
Suppose 7*i - 3170 + 377 = 0. Suppose -5*j + i - 24 = 0. Does 15 divide j?
True
Let x = -114 - -51. Let w = x + 80. Is 17 a factor of w?
True
Let l(u) = u**2 - 6*u - 4. L