 9*a - 14. Let t be f(-6). Suppose -2*c - 5*g - 89 = 0, t*g + 196 = -2*c - 2*c. Let d = c + 59. Is 6 a factor of d?
False
Let q(o) = -55*o + 61. Let v be q(23). Does 8 divide (-20)/50 + v/(-10)?
True
Let d be 43/((-1)/(-2) + -1)*3. Let t = -190 - d. Is t even?
True
Suppose 0 = -88*v - 80*v + 180*v - 3012. Is v a multiple of 9?
False
Let s = 725 - 485. Let i = -67 + s. Does 11 divide i?
False
Suppose 0 = -2*f + 24218 + 2174. Is 73 a factor of f?
False
Let b(t) = -13*t - 116. Let s(r) = -11*r - 116. Let h(y) = -3*b(y) + 2*s(y). Is h(10) a multiple of 10?
False
Let w be (-3 - -4 - -2) + -1. Let o = 4 - w. Is 13 a factor of (-2168)/(-56) - o/(-7)?
True
Let o = 392 - 84. Is o a multiple of 11?
True
Let d(r) = -8*r**3 + 3*r**2 - 3*r + 4. Suppose 12 = -8*x - 12. Is d(x) a multiple of 13?
False
Suppose -o + 2*b + 3610 = 0, -1952*o + 5*b + 14431 = -1948*o. Is o a multiple of 12?
False
Suppose 4*d + 10877 = 3*b, 0 = -3*b + d + d + 10879. Suppose -11*n - b = -24*n. Is n a multiple of 18?
False
Does 2 divide (338/(-845))/((-2)/6010)?
True
Suppose 7*h = 162 - 687. Let d = h - -80. Suppose -n - 196 = -d*n. Does 7 divide n?
True
Let g = -114 + 108. Is 12 a factor of 476/6 + 3 - 4/g?
False
Suppose z + 3*z + g - 30 = 0, -z + 9 = g. Let f(a) = z*a - 2 + 12 + a**2 - 2. Is 19 a factor of f(-11)?
False
Let l(n) = 7*n**2 + 7*n - 2. Let j(x) = -x**3 + 6*x**2 - 7*x. Let g be j(2). Does 20 divide l(g)?
True
Suppose 1268*u - 1270*u = -3396. Suppose 2*f - u = m, -3*m + 2561 = 3*f - m. Is f a multiple of 76?
False
Let f(p) = 2*p**3 + 11*p**2 - 6*p + 5. Let c be f(-6). Suppose 5*w + 70 = -c*b, 0*b - 3*w - 30 = 2*b. Is 4/b + (-157)/(-3) a multiple of 11?
False
Let p be 1*((-1 - (-12)/4) + -2). Suppose 4*w - 27 + 7 = p, -2*j = -w - 715. Is j a multiple of 24?
True
Let q(p) = 3*p**3 - 2*p**2 - 2*p. Let h be q(2). Suppose 13*j - 86 = h*j. Suppose 0 = -4*c - j + 306. Is c a multiple of 20?
False
Let f = 390 + -388. Suppose -2*r - 6*x + 3*x = -899, -2*r + 894 = -f*x. Does 8 divide r?
True
Let j = -1010 + 10. Let w = -414 - j. Is w a multiple of 37?
False
Suppose -5*i + 6*y + 28471 = 5*y, -5*y = 2*i - 11356. Does 123 divide i?
False
Let n(l) = 2*l**2 - 12*l + 23. Let h be n(3). Suppose 5*z + 3*t = 807 + 861, h*z - 4*t = 1661. Suppose 5*x - 47 = z. Is x a multiple of 19?
True
Suppose -27*u + 0*u = 54*u - 1646325. Does 29 divide u?
False
Suppose -4*d + 31776 = 4*c, -2*c - 57*d = -54*d - 15896. Is c a multiple of 31?
True
Let m be (-6)/9*13*42/4. Let l = -39 - m. Is l a multiple of 26?
True
Let g = -40901 - -66257. Is 27 a factor of g?
False
Suppose -3*t - x = 17, -5*t = -0*t - 4*x. Let j be (-62)/t + (-6)/(-12). Suppose -3*f = -2*u + j - 302, -363 = -4*f - u. Does 12 divide f?
False
Does 20 divide -1 + (12442/5)/((-16)/(-40)*1)?
True
Suppose 0 = 2*u - 7 + 1. Suppose u*y - 6*y = -2*i + 105, 4*y - 220 = -4*i. Does 27 divide i?
True
Is 92 a factor of 5342190/735 - 5/(70/4)?
True
Suppose u + 4 - 6 = 0. Suppose 672 = 4*z + 3*k, -z = -3*z - u*k + 336. Does 4 divide z?
True
Let h = -3264 - -4817. Is 4 a factor of h?
False
Let c = -12956 + 22514. Does 141 divide c?
False
Is 23 a factor of (-15)/75 + (-49451)/(-5)?
True
Suppose 4228 = 12*i - 26*i. Let k = i - -602. Is k a multiple of 6?
True
Let q(o) = -o**3 + 23*o**2 - 37*o - 48. Suppose 24*t - 30*t + 126 = 0. Is 5 a factor of q(t)?
False
Let m(z) = -227*z + z**2 + 50 - 229*z + 459*z. Is m(-17) a multiple of 9?
True
Suppose 0 = 3*b - 46 - 47. Let s = b + -25. Suppose -s*w = -4*x - 4*w + 80, x = 3*w + 15. Is 7 a factor of x?
True
Let v be (-2 - (1 + -3)) + -9 + 11. Suppose v*x = 101 + 2141. Does 59 divide x?
True
Let i = -138 - -142. Suppose 9*r - 1375 = i*r. Does 11 divide r?
True
Let w(k) = 168*k**2 + 21*k - 26. Is 10 a factor of w(1)?
False
Suppose -4*d - 16 = -4*a, 2*a + 5*d = -0 + 8. Let h = 73 + a. Does 11 divide h?
True
Suppose -141588 + 424080 = 24*o + 4*o. Does 23 divide o?
False
Let w = 799 + -794. Is 27 a factor of 2/w - (-10)/(-50)*-548?
False
Let d(q) be the first derivative of -27*q**2/2 + 206*q + 182. Does 16 divide d(-6)?
True
Let u = 95 + -34. Let i = 69 - u. Suppose -15 = -i*r + 73. Is 2 a factor of r?
False
Let s = -2108 + 4281. Does 7 divide s?
False
Suppose -807*a + 819*a = 13104. Does 42 divide a?
True
Let a = -13748 - -23072. Does 40 divide a?
False
Let s be 3/4*4*1 - 7. Is 8 a factor of ((-51)/6 - -8) + (-1610)/s?
False
Let y = 105 + -80. Suppose y = 7*q - 52. Is q a multiple of 11?
True
Let r = -188 - -968. Does 12 divide r?
True
Suppose 1084*s + 24486 = 1095*s. Is s a multiple of 14?
True
Suppose -86*p = z - 90*p - 440, -2*z = 5*p - 906. Is 7 a factor of z?
True
Let y be (7 + -7 + 240)/((-5)/(-15)). Let q = y - 486. Is q a multiple of 20?
False
Let a(t) = 10*t**2 - 6*t + 8. Let w(i) = -3*i + 48. Let c be w(32). Let k = c - -52. Is a(k) a multiple of 18?
True
Let y be (-1 + -1)/(6/12*4). Let x be 3*y/3 - 2. Is 12 a factor of (3/x)/(1317/330 - 4)?
False
Let h = -19991 - -25076. Is 65 a factor of h?
False
Let v be (3 - 5)/(3/(-87)). Let g = v - 55. Suppose -g*q = 3*d - 543, 5*q = -4*d + 1201 - 294. Does 11 divide q?
False
Let l(a) = -132*a + 154. Suppose 48*q - 15 = 51*q. Does 22 divide l(q)?
True
Let b(m) = -m**2 + 6*m. Let a be b(5). Suppose 3*y - 10 = 4*l, -2*y + l - 5 = -a*y. Suppose 2*g - 131 = y*f - 7*f, -3*f - 144 = -3*g. Is 17 a factor of g?
False
Let w = 44 - 45. Let n be 250 - (-4 - (-1 + w)). Let m = n - 156. Is m a multiple of 15?
False
Let y(k) = 1225*k - 30. Let x be y(6). Let q be x/15*(1 + (-2)/8). Suppose 0 = 2*g + 4, -5*s - q = -7*s - g. Is 46 a factor of s?
True
Suppose 0 = 68*g - 51*g - 9316. Let z = g - -52. Does 20 divide z?
True
Is (-36)/54 - 14284/(-6) a multiple of 14?
True
Let p be -1*(2 - 1)*32121/(-387). Let k be 22/(-99) + 3226/18. Let g = k - p. Is 12 a factor of g?
True
Suppose -4*y = 8*y - 1164. Let k = 51 + y. Is k a multiple of 34?
False
Suppose 9*r - 2*r = 140. Let i be r/4 - (-4 - -2). Suppose -i*a = -3*a - 264. Is 22 a factor of a?
True
Let j be (-10 - -2)*-6*8. Let d be j + 2/((-8)/(-4)) - 3. Let r = d + -270. Does 16 divide r?
True
Let r = -70 - -36. Let l = 38 + r. Suppose -3*p + 150 = -l*v + 634, 3*v + 3*p - 384 = 0. Is v a multiple of 31?
True
Let v be (-482)/((-11)/(66/12)). Let b = v + -190. Does 4 divide b?
False
Let p(n) = 8*n**3 - 4*n**2 - 3*n + 9. Let g(i) = 15*i**3 - 7*i**2 - 5*i + 17. Let j(q) = 3*g(q) - 5*p(q). Suppose -38 + 140 = 34*a. Is j(a) a multiple of 33?
True
Let c be 4 - (-2 - (2 - 5)). Suppose -2*x + c*y + 5 = -15, -4*y = x + 1. Suppose -x*g = 4*f - 3*g - 368, 0 = -2*g. Is 23 a factor of f?
True
Let y(s) = 380*s + 4182. Is y(10) a multiple of 21?
False
Suppose 2*c - 10*c = -192. Let q be (c/(-36))/((-1)/6). Suppose q*y - 410 = 214. Is 20 a factor of y?
False
Suppose 32*q = 83204 + 168957 - 37505. Is 90 a factor of q?
False
Let f(j) = 2 + 8*j**2 + 4*j**3 - 5 - 5*j**3 - 9*j**2 - j. Let m be f(-2). Suppose 5*g - 3*w - 519 = 0, m*w = -4*g + 47 + 352. Does 21 divide g?
False
Let r be (80 + 58)*3/(-2). Let g = r + 306. Is 26 a factor of g?
False
Suppose 16 + 10 = 13*z. Let o be (z*-31)/((-21)/9 + 2). Suppose -5*i + 2*i = -o. Is i a multiple of 10?
False
Suppose 4*a - 2644 = -3*r - r, 6*a = 4*r + 3916. Let b = -636 + a. Is 10 a factor of b?
True
Let v = -17401 - -20938. Does 56 divide v?
False
Suppose 0 + 8 = 2*o. Let c be (3/(-6)*o)/(-1). Suppose c*w = 3*w - 63. Does 15 divide w?
False
Let q(i) = -8286*i - 216. Is q(-1) a multiple of 100?
False
Suppose g - 13291 = -3*h, 10209 + 3096 = g + h. Is g a multiple of 17?
False
Suppose 140*b = 151*b + 110. Does 6 divide ((-2)/(-10) - b/(-50)) + 90?
True
Let t(q) = -q**2 - 22*q - 18. Let o(v) = -v - 3. Let f(b) = 6*o(b) + t(b). Suppose 3*y + 60 = k, 2*y - 3*y = -2*k + 15. Does 9 divide f(y)?
False
Let w = -46160 + 76809. Is w a multiple of 155?
False
Let a(u) = 4*u**2 + 3*u + 16. Let p(j) = -7*j**2 - 7*j - 32. Let c(v) = 11*a(v) + 6*p(v). Let y be (9/6)/((-7)/14). Is c(y) a multiple of 6?
False
Let g = 163 - 163. Suppose -6*s + 440 + 280 = g. Is s a multiple of 8?
True
Let y(h) be the second derivative of -h**5/10 - 5*h**4/12 + h**3/6 + 4*h**2 - h. Let i = 1840 - 1844. Is 16 a factor of y(i)?
False
Suppose 8*i - 116 = -68. Let y(w) be the second derivative of w**4/6 - 11*w**3/6 + 13*w**2/2 - 2*w. Is 3 a factor of y(i