
Let w(j) = -2*j**2 - 16*j - 27. Let z be w(-5). Suppose -z*v + 1643 = -4489. Is v a multiple of 73?
True
Suppose -7*z + 130 = -241. Let k = 125 + z. Let q = k - 90. Is q a multiple of 8?
True
Let z(r) = -15*r + 17. Let o be z(-4). Suppose 5*y - 23 = o. Suppose y + 8 = s. Does 14 divide s?
True
Let f be (12/(-3) - -910) + 6. Suppose -10*k = -2*k - f. Does 19 divide k?
True
Suppose -n - 380 = -3*l, 3*n = -2*l - 150 - 1034. Does 7 divide -1 + n/(-4) + 6?
False
Is 38 a factor of 9 + -8 + (-18)/14 - (-70380)/7?
False
Let v be (-30 - -41)/(-2 - 154/(-78)). Is (792/7)/(-1)*2002/v a multiple of 21?
False
Let s(x) = 17*x**2 + 9 + 17 + 1 - x**3 - 1979*x + 1978*x. Is s(14) a multiple of 11?
False
Suppose d + 1 + 4 = 0, -2*d = 4*j - 27654. Does 33 divide j?
False
Let x = -45 - -51. Let p = 83 - x. Is p a multiple of 11?
True
Suppose -5*d - 10 = 0, 2*d + 424 = 179*y - 174*y. Does 4 divide y?
True
Let y be (-5 + 2)*(-7 - -1). Let w(a) be the third derivative of 5*a**4/24 - 3*a**3/2 - 23*a**2 - 1. Does 27 divide w(y)?
True
Let y(g) = -2*g**2 - 23*g + 16. Let t be y(-12). Suppose -6*h = t*h - 2580. Is h a multiple of 13?
False
Suppose 5*w + 47 = 207. Suppose 0*d - 4*d - w = 0. Does 23 divide (-192)/(-36)*(-138)/d?
True
Does 12 divide (((-5088)/(-15))/(-4))/(10*(-19)/11400)?
True
Let q = 0 + 4. Suppose -13 + q = r. Let a(p) = p**3 + 8*p**2 - 8*p + 18. Does 9 divide a(r)?
True
Let w = 323 - 515. Let j = 9 + 408. Let t = w + j. Is t a multiple of 15?
True
Let k(v) = 2*v**2 - 5*v - 3. Let n(z) = -5*z - 10. Let m(j) = -j**2 + j - 1. Let f(y) = 4*m(y) - n(y). Let s(o) = -6*f(o) - 11*k(o). Does 7 divide s(-6)?
True
Let j = 32 - 27. Suppose 1 = 5*z + 6, -j*z + 19 = l. Is 12 a factor of l?
True
Suppose -2*u - 2*s = 2*s - 110, 2*u = 2*s + 80. Suppose 149 = 2*z - u. Is 5 a factor of z?
False
Let s(m) be the second derivative of m**5/20 + 7*m**4/12 + m**3/6 - 18*m**2 + m + 44. Does 26 divide s(8)?
False
Suppose -44*f = -5*f + 702. Let k(m) = -156*m + 10. Let p be k(8). Does 9 divide f/24 - p/8?
False
Let d(x) = -2*x**3 + 51*x**2 - 15*x - 30. Let w be d(25). Suppose 6*r - 1042 = -w. Does 8 divide r?
False
Suppose 0 = a + 118 - 1318. Suppose 0*j = -5*j + a. Suppose 0 = -0*y - 10*y + j. Is y a multiple of 8?
True
Let l be -4 - (-1)/((-5)/175). Let u = l + 39. Suppose u*b - 2*g = -b + 134, -b + 142 = 2*g. Is b a multiple of 5?
False
Let u(w) = -97*w + 79. Let d be u(7). Does 9 divide (d/28)/(236/(-56) + 4)?
False
Suppose 22*s + 420 = -8*s. Does 62 divide (3 - (1 - 239))*s/(-7)?
False
Suppose -3*q = -4*h + 127644, -10*q + 63844 = 2*h - 6*q. Is h a multiple of 394?
True
Suppose -2*g - 18 = -5*g. Let m be ((-4)/2 + 7)*(-9 - -11). Suppose 0 = -m*t + g*t + 364. Is t a multiple of 29?
False
Suppose -7*z = -12*z + 1210. Let s = z - 204. Is 6 a factor of s?
False
Let n(s) = 4*s**3 - 2*s**2 + 4*s - 2. Let h be n(1). Suppose 0 = 3*b - 28 + h. Suppose -g + 3*y = -4, 16 = b*g - 4*g + 4*y. Is g a multiple of 4?
True
Let c = -2240 - -11920. Is c a multiple of 22?
True
Suppose -5*o + g = -4*o - 5, -3*g - 8 = 4*o. Suppose -2*a = r + o, -2*a - 4*r + 3 - 1 = 0. Does 11 divide (2/(-1) - a)*(-363)/11?
True
Let n(k) = -k**3 + 17*k**2 - 30*k - 2. Let m be n(15). Let x be (-8)/(-1) - (m + 4). Suppose x*b - 63 = -3*b. Is 3 a factor of b?
False
Let z = 982 - 334. Does 24 divide z?
True
Let a be 1 + (2 - -2) - 3. Suppose n = -a + 3, 3*f - 346 = -4*n. Suppose u - 4*q - 80 = f, -5*q - 5 = 0. Is u a multiple of 11?
False
Let s(p) = -5 - 271*p + 522*p - 276*p. Does 5 divide s(-2)?
True
Is 12 a factor of 1255*(22 - (37 + -16))?
False
Suppose 0 = -0*y - 4*y. Suppose y*c + 316 = c. Let w = c + -220. Is w a multiple of 24?
True
Let q(o) = -2*o + 3*o - 10 + 27. Let d be q(-12). Suppose 241 = d*z - 3*l, -2*z - 2*l + 97 = -3*l. Is 18 a factor of z?
False
Is 9 a factor of 123210/75 + -4 - (-8)/(-10)?
True
Is 199 a factor of (0 - (-21492)/(-90))/(1/(-95))?
True
Suppose 92*q - 95*q = 3*c - 173043, -5*c + 403767 = 7*q. Is 29 a factor of q?
True
Let o(p) = 107*p**2 - p - 2. Let h be o(-2). Suppose -4*v - 152 + h = z, 5*v - 15 = 0. Does 8 divide z?
True
Let a(v) = 5*v + 32. Let b be a(-5). Let m = -12 + b. Does 12 divide (1 + 59)*(-8)/m?
True
Let w = 4974 - 2640. Is w a multiple of 6?
True
Let q(h) = -58*h - 142. Let s(c) = -112*c - 285. Let a(n) = -13*q(n) + 6*s(n). Is a(5) a multiple of 14?
True
Suppose 0*a + s = 4*a - 18, 5*s + 14 = a. Suppose a*j + 3*q - 98 = 0, 0 = -0*j + 3*j - 3*q - 63. Is 2 a factor of j?
False
Suppose g - 4*p - 1023 = -2*p, -4*g + 4068 = 4*p. Is 29 a factor of g?
False
Let c = 3988 + -3214. Does 18 divide c?
True
Let t(r) = -r - 11. Suppose -27 = 2*h - 5. Let q be t(h). Suppose q = 2*s + 2*s - 704. Is 44 a factor of s?
True
Is 10712/10 - (-21)/(-105) a multiple of 2?
False
Let r = 10660 + -6337. Does 27 divide r?
False
Suppose -2*a + 1845 = 565. Suppose -5*d + a = 3*d. Is 20 a factor of d?
True
Let j be 8 + (-1 + -6 - -13). Is 8 a factor of (-246)/((5 - 1)/((-28)/j))?
False
Let x = -11 - -13. Is 23 a factor of 10/(280/483)*8/x?
True
Let u(h) = 7*h**3 - 13*h**2 - 4*h + 25. Let g(r) = 13*r**3 - 27*r**2 - 9*r + 50. Let n(w) = 3*g(w) - 5*u(w). Is 18 a factor of n(7)?
False
Suppose 2*z = 2*q - 430, 3*z - 867 = 7*z + 3*q. Is (6 - -1) + (-3 - z) a multiple of 18?
False
Does 6 divide 24780/38 + (-52)/494 + (-5)/(-1)?
False
Let i(x) = 8*x**2 + 129*x - 307. Does 14 divide i(-49)?
False
Suppose 3 = y, -3*y + 513 = 4*w - 0*y. Let j be 2 - (4*28 + -3). Let h = j + w. Does 8 divide h?
False
Let y = 3013 + -392. Let x = 4012 - y. Is x a multiple of 12?
False
Let o = -203 - -198. Is 7 a factor of (-2 - 2020/5)/(o - -3)?
True
Let k = -872 - -874. Suppose -82*o = -83*o + 3*n + 82, -k*o + 4*n + 160 = 0. Does 19 divide o?
True
Let u(h) be the second derivative of 7*h**4/12 - h**3/2 - 39*h**2/2 + 108*h. Is 33 a factor of u(-6)?
True
Let w = -268 - -527. Suppose 0 = c - 4*r + r - 255, 2*r = c - w. Is c a multiple of 35?
False
Let y = -291 + 295. Suppose 8*j - 3*j + 25 = 0, y*j = 4*x - 204. Is x a multiple of 23?
True
Suppose 0 = -7*v + 11 + 17. Let i be ((-1)/(-1 - 0))/(v/12). Suppose 3*u - 792 = -i*u. Does 33 divide u?
True
Is 3/(153/1706262) + 6/(-459)*9 a multiple of 41?
True
Suppose 47*q - 27091 - 13115 = 9849. Is 15 a factor of q?
True
Suppose 3*o - 2265 = -8*h, -4*h + 695 - 4418 = -5*o. Does 31 divide o?
False
Let h(j) be the third derivative of 2*j**4/3 - 43*j**3/6 + 2*j**2 + 26*j. Is 3 a factor of h(6)?
False
Let l = 39058 + -12305. Is 24 a factor of l?
False
Let c be ((10/(-6))/1)/((-316)/948). Let g = 21 + 112. Suppose 3*b - g = -4*r - r, 2*b = c*r - 128. Is 4 a factor of r?
False
Let c = -29 + 32. Suppose -3*m = i - 68, 4*m = -c*i + i + 88. Does 12 divide m?
True
Let k(q) = -3*q - 2 - 3*q - q**2 - 3*q. Let v(f) = f**2 - 15. Let t be v(3). Does 14 divide k(t)?
False
Suppose 5*k = -5*d - 315, -5*d + 130 = -4*k - 158. Let m = -35 - k. Does 6 divide 450/20*(m/10 + -2)?
False
Suppose -235*k - 42480 = -4*x - 232*k, -2*x + 21240 = k. Does 156 divide x?
False
Let x(f) = 5*f**2 + 5*f + 8. Let a(n) = -n**3 + 8*n**2 + 2*n - 19. Let j be a(8). Let q be x(j). Let d = q - 33. Is 5 a factor of d?
True
Suppose 3441 = 5*i + 4*b + 698, -5*i - 5*b + 2745 = 0. Is 2 a factor of i?
False
Suppose -3*g = -0*g - 15, 4*r - 3987 = g. Let m = -954 + r. Does 11 divide m?
True
Let x = 53 - 40. Suppose 8 = 3*b - x. Suppose 0 = -b*c + 730 - 135. Is c a multiple of 17?
True
Suppose -708 = 5*f + 252. Let a = 501 + f. Does 20 divide a?
False
Let x be 10*((-4)/(-8) - 0). Suppose -181*u = -172*u - 45. Suppose u = x*w, -93 = -4*q - w - 4*w. Is q a multiple of 11?
True
Let i be 5/5 + (3 + -2 - 1). Suppose -46 = -u + i. Suppose -10*r = -9*r - u. Is r a multiple of 28?
False
Suppose -3098*q = -3118*q + 200. Suppose 2*h + 2*d - 108 = d, -h + d = -57. Suppose q*a = 11*a - h. Is a a multiple of 10?
False
Let o = -119 + 302. Suppose -3*h + h + 132 = -4*n, 0 = 3*h - 3*n - o. Does 14 divide h?
True
Let f = 9201 + -3550. Does 105 divide f?
False
Suppose 0 = -5*r + 2*k - 17 - 233, 3*k + 15 = 0. Let m = r + 165. Is 21 a factor of m?
False
Let g(t) = -t**3 - 7*t**2 - t - 13*t**2 + 45 - 4*t**2. Let y be g(-24). Suppose -y - 35 = -2*k. Is 13 a factor of k?
True
Suppose 12 = -7*s + 26. Suppose s*n = -0*n - 22. Let w = 31 - n. Is 7 a factor of w?
True