20*r + 19. Is x(1) a multiple of 85?
True
Let o = 7897 - 2266. Does 22 divide o?
False
Let g = -9329 - -11354. Does 28 divide g?
False
Suppose -126*z + 675753 + 1856205 = -1384878. Is z a multiple of 18?
True
Suppose -z - 3 - 5 = n, -3*n - 6 = -3*z. Let g be 2/n + (197/5 - -4). Suppose -5*d - j = -304, -4*d - j + 201 + g = 0. Is d a multiple of 21?
False
Let a(g) = 51*g**2 - 24*g - 3. Let n be a(4). Is 14 a factor of -4 + n/21 + 3/(-21)?
False
Suppose -35074*q + 35108*q = 1195066. Does 13 divide q?
False
Let t(y) = -5*y**3 - y**2 + 39*y + 32. Let g be t(-8). Suppose 2*n + 4*f - g = 0, 5*f = -4*n + 2*f + 4452. Does 62 divide n?
True
Suppose 5*y + 106*h - 14550 = 101*h, -11670 = -4*y + h. Is y a multiple of 48?
False
Suppose 54039 = 2*n - 7*o, n + 3*o - 29190 + 2151 = 0. Does 255 divide n?
True
Suppose 0*g = 3*g + 2*o - 242, 10 = -2*o. Let u = 90 + g. Is 61 a factor of u?
False
Let g = 48844 + -25292. Is 16 a factor of g?
True
Suppose 0 = 2*a + 5*m - 265, -a + 3*m = -83 - 33. Suppose -11*d + 10 + 23 = 0. Suppose g = 2*w + 40, 4*g + 2*w - a = d*w. Is g a multiple of 6?
True
Let s(a) = 32*a**3 - 31*a**3 - a - 3*a + a + 3*a**2 - 6. Let t be s(-3). Suppose 62 - 14 = t*d. Is 5 a factor of d?
False
Suppose 3*g = 2*v + 944, 1569 = 5*g - 0*g + v. Let b = g - -96. Is b a multiple of 9?
False
Suppose 0 = -233*o + 238*o + 15, 5*t + 2*o - 19884 = 0. Is 43 a factor of t?
False
Suppose 235*f - 115264 = 748126. Is f a multiple of 12?
False
Is 45 a factor of (-12 - (-3501134)/98) + 1/7?
False
Suppose -14*h = -4*k - 19*h + 12602, -k = h - 3151. Is 25 a factor of k?
False
Let i(s) = -22495*s - 4965. Is 24 a factor of i(-3)?
True
Let y(c) = 62*c - 5656. Let z be y(88). Suppose 282 = -5*k + 2*p - 3*p, 4*k + 3*p + 219 = 0. Let i = k - z. Is i a multiple of 11?
True
Suppose 25 - 1 = -8*m. Does 41 divide (m/(-21) - 0) + 4302/21?
True
Does 27 divide -2 + (-1)/(0 + 13/(-280111))?
False
Let c = -175 + 185. Does 76 divide (4 - 1 - 79)/((-5)/c)?
True
Let u be (-4)/(-10) + (-1876)/(-10). Suppose 9*o = 5*q + 14*o + 345, -2 = -o. Let i = u + q. Is 19 a factor of i?
False
Is 13 a factor of (15 - (24 - 7))*(7462/4)/(-1)?
True
Let f(u) = u**3 + 10*u**2 + u - 23. Let j be f(-12). Let d = -319 - j. Is 4 a factor of d?
True
Suppose -2*k = 5*a - 76, -a - 11 = -2*a + k. Suppose 8*h = 9*h - 5. Suppose 6 + a = 5*j, -160 = -5*b - h*j. Does 17 divide b?
False
Suppose -39*i + 27*i + 16*i = 10752. Is i a multiple of 48?
True
Suppose 11 + 7 = 9*m. Suppose 4*b - c - 724 = 0, 0 = -b + m*b - 3*c - 192. Is b a multiple of 12?
True
Suppose -u - 25485 = 4*u - 5*i, -4*i + 8 = 0. Does 14 divide (u/10)/(15/6 - 3)?
False
Let q be 4 - (-39 + (-3 - 1)). Suppose 3*x - 1080 = -3*a, -2*x + 4*a - q + 767 = 0. Does 12 divide x?
True
Let u(v) = 3*v - 50. Let z(a) = -a**2 + a + 1. Let x(m) = u(m) - z(m). Does 12 divide x(-11)?
True
Suppose 0 = -o - r - 0*r + 122, 0 = -4*o + 2*r + 458. Suppose 0*g = -3*g + o. Does 2 divide (-26)/g*90/(-4)?
False
Let r(a) = 2*a. Let t be r(-5). Let h = t + 14. Suppose 3*i = -h*k + 328, -102 = 4*i + 5*k - 539. Does 36 divide i?
True
Let x(s) = -4*s**3 + 21*s**2 - 20*s + 48. Let f(g) = 104*g**3 - 101*g**3 - 1 - 22*g**2 + 21*g - 47. Let j(d) = -3*f(d) - 2*x(d). Does 8 divide j(23)?
True
Suppose -3*l - 5*d = -244, -2*l + 98 = 3*d - 66. Let o = l - 84. Suppose 2*c + 57 = z + 148, 164 = 3*c + o*z. Is c a multiple of 6?
True
Let a(s) = -13917*s - 310. Is a(-1) a multiple of 3?
False
Let v = -5569 - -6691. Does 4 divide v?
False
Let h = 237 - 20. Let b = 97 + h. Does 25 divide b?
False
Let a(k) = k**2 - 13*k - 5. Let l = 113 + -120. Let f be a(l). Suppose 3*c - f = 339. Is 49 a factor of c?
False
Is 8 a factor of 93*(3 + -6 + 38)?
False
Suppose -18*b + 277531 = 9727. Is b a multiple of 13?
False
Let t(g) = -5*g - 20. Let u be t(-6). Is ((-28)/(-10)*-1)/(u/(-2100)) a multiple of 49?
True
Is 8*55748/40 + (-8)/(-40)*-3 a multiple of 15?
False
Let f(h) = -h**2 + 14*h - 13. Let k be f(13). Suppose k = 3*i - 64 - 131. Does 13 divide i?
True
Is (-240)/(-420) + 166792/7 a multiple of 28?
True
Suppose -4*w - 67 = n, -4*n - 456 = -4*w - 108. Let k = -120 - n. Let z = 66 + k. Is 7 a factor of z?
False
Let w be (-7)/((-35)/(-15)) + 408. Suppose q - w = -265. Is q a multiple of 5?
True
Let x(f) = -36*f - 484. Suppose 45*q + 463 = -257. Is x(q) a multiple of 4?
True
Suppose -16*z + 17*z + 102 = 0. Let j = z + 120. Is j a multiple of 9?
True
Let x(a) = 132*a + 82*a + 55*a + 38 - 45*a. Is x(2) a multiple of 13?
False
Let s(w) = 3*w**2 - 3*w - 2. Let b be s(-2). Suppose 3*m = 4*u + b, -2*m - 3 = -u - 12. Suppose m*h + o + 0*o - 432 = 0, -2*o = 3*h - 324. Does 12 divide h?
True
Let k(m) = 21*m**2 + 95*m - 4. Is 30 a factor of k(-7)?
True
Let b = 230 - 226. Does 24 divide b/(-6)*3*493/(-34)?
False
Suppose 92*o - 75*o = 89063. Is o a multiple of 13?
True
Let b = 75 + -67. Suppose -y + 14 = x, b*y - 3*y - 91 = 2*x. Suppose -5*h + y = -168. Is 13 a factor of h?
False
Is 9 a factor of (-9756)/((-204)/17)*9?
True
Suppose -1668953 = -61*x - 21*x + 18115. Does 23 divide x?
False
Let i be -3 + 4/2 + 45. Suppose i = -4*n - 20. Is (-17 - n)/(2/(-232)) a multiple of 21?
False
Suppose -122893 = -51*j + 4*k + 2426177, 3*k = -j + 49991. Does 134 divide j?
True
Suppose -5*c + 2*y = 44 + 10, 3*y - 6 = 0. Let j be (c/(-45) + (-1018)/(-36))*16. Suppose -5*p + 2*v + 545 - 3 = 0, -4*p - 4*v + j = 0. Is p a multiple of 11?
True
Let j(c) = c**3 - 3*c**2 - 3*c + 8. Let l be j(4). Let i = 17 - l. Is 3 a factor of (-87)/(-6) + i/10?
True
Let f = 11957 + -6887. Does 39 divide f?
True
Suppose 0 = -2*s + 5*v + 21082, -2*s + 3291 + 17791 = 3*v. Does 27 divide s?
False
Is 20 a factor of (161/483)/((-2)/(-39570))?
False
Suppose t - 12 = -z - 4, 4*t + 5*z - 28 = 0. Suppose 0 = 15*w - t*w - 9. Suppose 2*c - 315 = -3*i, 0*c = w*c + 2*i - 460. Is c a multiple of 30?
True
Does 16 divide ((-456)/5)/(60/(-8550))?
False
Suppose -71*a + 160*a - 131950 = 63*a. Does 19 divide a?
False
Suppose 7*p - 29280 = 27707. Does 10 divide p?
False
Suppose 0 = q - 2*b - 1340, 149*q - b + 5378 = 153*q. Does 4 divide q?
True
Let v(a) = 2*a**2 - 24*a. Suppose 0*i - 60 = -5*i. Let y be v(i). Suppose y = -5*u - 2*d + 225, -2*u + 7*u = -3*d + 230. Is u a multiple of 5?
False
Let w(b) = b**2 + 18*b + 4. Let l = 18 + -36. Let m be w(l). Suppose 0*v + 80 = m*v. Does 10 divide v?
True
Let t(r) = 41*r + 186. Let b(m) = -40*m - 188. Let w(p) = 5*b(p) + 4*t(p). Is w(-9) a multiple of 9?
False
Suppose 193843 + 111344 = 104*r - 58501. Does 42 divide r?
False
Let c be -2 + (-36)/(-6) + 0 + -8. Does 4 divide (340/(-153) - c/18) + 203?
False
Let p = -15211 + 16046. Does 48 divide p?
False
Let c(j) be the third derivative of j**5/15 - 3*j**4/4 - 7*j**3/6 - 31*j**2. Let f be c(9). Let l = 380 - f. Does 31 divide l?
False
Suppose m - 3 = -x, 3 = 5*x - 3*x + 5*m. Suppose 4*f - x*o - 208 = -o, 4*f - 208 = -2*o. Is 13 a factor of f?
True
Suppose 4*n - k + 2*k - 31 = 0, 0 = 3*n - 5*k - 6. Suppose 9 + n = 8*w. Suppose -l + w = i - 32, l - 4*i = 24. Is 9 a factor of l?
False
Let a = -50318 - -95028. Is 361 a factor of a?
False
Suppose 32*m = 13*m - 7*m + 18590. Is 110 a factor of m?
False
Does 107 divide (-3)/7 - ((-907742)/154 - -9)?
True
Let v be 66/10 - (-15)/(-25). Let t be 15/(-2)*20/(-15). Is 9 a factor of (t - 1 - 3)*v?
True
Suppose 8*g - 36847 = -3810 - 3357. Is g a multiple of 10?
True
Let t(o) = -2724*o - 1122. Does 195 divide t(-8)?
True
Let j be 0*(-1 - (-6)/4). Suppose 7*u - 23 - 341 = j. Is u even?
True
Let k be -1*5/(-10) - 2/4. Let p be (-4 - -5)/(1 + k). Suppose -3*m - 4*y + 35 = 3, y = -p. Is m a multiple of 12?
True
Let w(s) = 271*s**2 - 144*s - 16. Is 17 a factor of w(10)?
False
Let q(i) = i**2 + 5*i + 9. Let f be q(-4). Let l be (2 - -2 - f) + -1. Let n(o) = -10*o**3 - 2*o + 1. Is n(l) a multiple of 17?
True
Let y be (590/20)/((-4)/16*1). Let w = y - -370. Is w a multiple of 10?
False
Let n be (-24 - -1) + (-1)/(-1). Let p = n + 15. Let l = 35 - p. Is l a multiple of 14?
True
Let i = -144 + 181. Is 3/(-1) + i + -10 a multiple of 11?
False
Let z(u) = 4*u**2 - 54*u - 1122. Is 6 a factor of z(45)?
True
Suppose 0 = 2*h - 3*b - 10 + 7, h = -4*b + 29. Suppose -54 = 3*q - h*q. Is (2 + 162/(-4))*(7 - q) a multiple of 4?
False
Let t(k) = -3*k**3 - 33*k**2 + 49*k - 10