 18*d**2 + 17*d - 7. Let l be n(-19). Let r = -30 + l. Is 57 - (7 + -3) - r a multiple of 13?
True
Let x(u) = -u**2 - 16*u + 375. Let s be x(-29). Suppose 2*h = 2 - 8. Is ((-32)/(-6))/(s/h) a multiple of 2?
True
Suppose 3*s - f = -5*f - 8, -10 = 3*s + 2*f. Let y(l) = -5*l**3 + 4*l**2 + 7*l + 13. Let j be y(s). Let o = -260 + j. Is 8 a factor of o?
False
Let d(i) = -3*i**3 - 5*i**2 + i + 3. Let u be d(-2). Let b(a) = 5*a + 5 + 0 - u - 4. Is 36 a factor of b(8)?
True
Suppose 5*q = 11*q + 84. Let u = q - -16. Suppose 0*v + u*v + 2*o = 90, 5*o + 15 = v. Is v a multiple of 20?
True
Does 17 divide -2026*(((-132)/(-88))/(3/(-7)) + 2)?
False
Let y = 1168 - 536. Does 12 divide 6/(-10) - y/(-20)?
False
Does 123 divide (-2 - -4948)/(146/292)?
False
Suppose -467 + 94 = -g. Let t = g + 100. Is t a multiple of 11?
True
Let b(l) = l**2 - 3*l - 11. Let z be b(6). Let i(d) = 3*d**2 + 15*d + 18. Let w be i(-12). Suppose w = -o + z*o. Is o a multiple of 9?
True
Let i = 269 + -445. Let u = 237 + i. Is u a multiple of 6?
False
Let y be (24 - 19)*(1 - 0)/(-1). Is 42 a factor of 50*y/(3*(-1)/6)?
False
Let y(r) = -r + 42. Let t(g) = -g**3 + 6*g**2 - 5*g - 8. Let o be t(4). Suppose -4*d = a + o*a - 88, -3*d + a = -47. Does 12 divide y(d)?
False
Is (11 - (10 - 12)) + 1534 a multiple of 23?
False
Let m = -18 + 19. Let s be m/(((-10)/15)/(-2)). Suppose 823 = 5*z - u, s*z - 322 = z - 2*u. Does 15 divide z?
False
Let g be 8/(-20) - (2 - (-1848)/(-20)). Does 2 divide 5*(-2 + g/25)?
True
Suppose 3*o - 915 = -2*n, o + 5 = 4. Does 88 divide n?
False
Let w(y) be the first derivative of 47*y**3/3 - 8*y - 19. Does 60 divide w(2)?
True
Suppose -1 + 13 = 4*l. Let h be (-1)/(-3) + (l - (-201)/(-9)). Let j = h - -52. Does 3 divide j?
True
Let c(t) be the second derivative of 7*t**4/8 - 17*t**3/2 + 17*t**2/2 - 25*t. Let a(d) be the first derivative of c(d). Does 27 divide a(14)?
True
Does 20 divide (-6)/9 + (66640/(-12))/(-5)?
False
Suppose 56007 - 7079 = 32*k. Does 26 divide k?
False
Suppose 237995 + 61265 = 36*p - 10*p. Is p a multiple of 12?
False
Suppose 8*u = -5*f + 3*u + 1225, 4*u - 482 = -2*f. Suppose -284*d = -287*d + f. Is 12 a factor of d?
False
Let h be (7623/(-24))/7 - (-18)/48. Suppose 178 = 3*v - 2*d, v + 42 = -5*d + 107. Let b = h + v. Is b a multiple of 15?
True
Let t(a) = a**2 + 13*a + 17. Let s be t(-12). Is 21 a factor of (262 + 2)/4 + s?
False
Let i = -38 + 84. Let y = -458 - -531. Let m = y - i. Does 22 divide m?
False
Let b = 19 + -15. Suppose 0 = 3*l - b*z - 13, l - z + 9 = 2*l. Suppose 5*w - l*w = -120. Does 20 divide w?
True
Let u be 590/7 - 40/140. Let n be (24/14)/(18/u). Suppose 5*r - n = -k, -5*k - r + 5 = -11. Is 2 a factor of k?
False
Let t(k) = 4925*k - 279. Does 18 divide t(1)?
False
Let j(f) = 40 - 226*f**2 + 59*f + 251*f**2 - 23*f**3 + 22*f**3. Is j(27) a multiple of 5?
True
Suppose -21*m - 57677 + 202661 = 0. Suppose 2952 = 16*b - m. Is 54 a factor of b?
False
Let a(m) = -m**3 + 23*m**2 + 23*m + 24. Suppose 3*i = -0*x - x + 9, -5*x = i - 115. Let t be a(x). Is 44/(-8)*(-10 + t) a multiple of 17?
False
Let k(r) = r**2 + 69*r - 33*r - 49*r - 18. Let o be k(-16). Suppose 3*i - o - 154 = 0. Does 40 divide i?
True
Suppose 19*h + 3*h - 13508 = 0. Suppose -8*m + 146 + h = 0. Does 2 divide m?
False
Suppose 3*j - 2*o - 701 = 0, 3*j - 4*o = -7*o + 696. Let b(t) = -2*t + 118. Let s be b(0). Let g = j - s. Is g a multiple of 20?
False
Let p = -94 - -98. Suppose 0 = -5*s + 10, -p*b = -3*s - 450 + 92. Is 10 a factor of b?
False
Let i(r) = -2*r**3 + 6*r**2 - 4*r - 11. Let w(n) = -2*n**3 - 9*n**2 - 4*n - 5. Let k be w(-4). Does 18 divide i(k)?
False
Let f = 51 - 51. Suppose -3*p + 494 = 2*r - f*p, 2*p = 5*r - 1273. Is r a multiple of 13?
False
Let z be (4/(-3))/((-18)/135). Is (11 - z)*(-2 + 259) a multiple of 29?
False
Let y(b) = 3*b + 1123. Does 35 divide y(40)?
False
Let y(d) = -d - 1. Let v(h) = -19*h + 18. Let n(o) = v(o) + y(o). Let i be 0 - 1 - 65/13. Is 36 a factor of n(i)?
False
Let o be ((-2)/1)/((-52)/(-24) - 2). Is 16 a factor of (-4876)/(-16) + (-3)/o?
False
Suppose -5*x + 4*x = 5*o + 1301, -514 = 2*o + 2*x. Let c = 646 + o. Does 16 divide c?
False
Let t = 50 - 51. Let v be t/(2/(-352)) + 1. Suppose 542 - v = 5*p. Is p a multiple of 23?
False
Suppose i + 2650 = -9*y + 14*y, 4*i = -2*y + 1060. Let b = y + -258. Is 34 a factor of b?
True
Let h = -114 + 114. Suppose h = -4*r + 5*l - 7*l + 2490, -3*l - 3096 = -5*r. Is r a multiple of 27?
True
Suppose 0 = 8*v + 16. Is ((-62)/4)/((-5)/(-160)*v) a multiple of 31?
True
Let x(h) = h**3 - 13*h**2 - 11*h - 51. Let q be x(12). Let v = q + 788. Is v a multiple of 15?
False
Suppose -28*o + 6*o + 396 = 0. Suppose -3*t - 3450 = -o*t. Is t a multiple of 8?
False
Let b(s) = -3*s**2 - 8*s**3 + 37*s**3 - 26*s - 15*s**3 - 4*s**2 + 54 - 13*s**3. Is 84 a factor of b(11)?
True
Let n = 68 + -17. Let z = 1367 - 1378. Let s = z + n. Does 4 divide s?
True
Let l be (-7 - 3395/(-49))*(-7)/(-2). Let g = l + -74. Is g a multiple of 12?
True
Let s(u) be the first derivative of u**4/4 + u**3 + 11*u**2/2 + 6*u + 28. Let z be s(-5). Let k = -43 - z. Is k a multiple of 7?
True
Let m = 304 - 302. Suppose -r + m*r - 82 = -3*o, -2*r - 5*o + 167 = 0. Is r a multiple of 47?
False
Let a(j) = 2*j**3 + 84*j**2 - 66*j - 31. Is a(-41) a multiple of 47?
False
Let t = -5030 - -8665. Is t a multiple of 162?
False
Let t = -20 + 24. Suppose 107 = t*u + 11. Suppose 0 = o + 2*n - u, -2*n = -3*o + 3*n + 17. Does 10 divide o?
False
Let f(p) = -44*p + 93. Let r be f(2). Suppose r*l = 3*h - 1003, 400 = h - l + 65. Is h a multiple of 28?
True
Suppose -4*z - 5*v = -5111 - 71506, v = 5. Is 5 a factor of z?
False
Let z(r) be the first derivative of 2*r**3/3 - 6*r**2 + 47*r - 144. Is 37 a factor of z(5)?
True
Suppose -348*n - 135 = -363*n. Suppose -5490 = -n*i + 9198. Does 96 divide i?
True
Let b(v) = 349*v + 5. Suppose 51*a - 1 = 50*a. Does 59 divide b(a)?
True
Suppose -5*r + 3*r - 3616 = -5*l, -4*l - 2*r = -2900. Suppose -1680 = -4*m + o, 2*m - 130 = -3*o + l. Is 10 a factor of m?
False
Suppose 34*g - 41*g + 26040 = 0. Is g a multiple of 24?
True
Suppose -152*r = -148*r - 12, -3*x - 2*r = -5055. Does 12 divide x?
False
Let i be 0 + ((-4)/(-2) - 60 - -1). Let d = i + 62. Let u = d - -36. Is 3 a factor of u?
False
Let b(i) = i**2 + 10*i + 15. Let x be b(-8). Let h be -6*(-5)/((-10)/x). Suppose h*o = 10*o - 336. Does 24 divide o?
True
Suppose 6*s = 37 - 25. Does 8 divide (-3)/(-12)*s + (-127)/(-2)?
True
Suppose -7*g + 2 = -6*g. Let h be 42/18 + g/(-6). Suppose 0 = 12*r - h*r - 400. Is r a multiple of 20?
True
Suppose -3*l = 5*o - 7152 + 5326, 4 = -2*o. Is 17 a factor of l?
True
Let u = -2299 - -6448. Suppose 4*y - 1319 - u = 0. Does 19 divide y?
False
Let f = 2896 - 2875. Suppose 0 = 5*g + 1 - 51. Suppose -264 = g*t - f*t. Is t a multiple of 3?
True
Let r = 262 + -281. Let c(y) = -y**3 - 20*y**2 - 43*y - 33. Does 33 divide c(r)?
False
Let j(p) = 44*p**2 + p - 593. Does 19 divide j(-24)?
False
Let k(z) = z**3 + 4*z**2 - 11*z + 8. Let h be k(-6). Suppose 4*n = 0, -h*m + 0*n = -n. Suppose m = 2*c - 5*u + 2, 5*u + 6 = 3*c + 2*u. Does 3 divide c?
False
Let j(p) = -13*p - 24. Let c = -1 + -6. Let y be j(c). Let g = y - 49. Is g a multiple of 6?
True
Let h = 62 - 50. Suppose -c = 1, 4*c - h = 3*a - 1. Let d = 135 + a. Is 17 a factor of d?
False
Is 34 a factor of 189/(-1)*(-20400)/900?
True
Suppose -4*m = -3*g + 81 + 12, 3 = -3*g. Suppose -2*y = y - 4*v - 115, -2*v = y - 55. Let p = m + y. Is 21 a factor of p?
True
Let l = -43 - -47. Does 20 divide 1*3600/(20/l)?
True
Is 3/(24/40)*(2300 - (-7 + 8)) a multiple of 13?
False
Suppose -32 = r - 4*r - 4*m, 40 = 4*r + 4*m. Let k(h) = 10*h**2 - 3. Let b be k(-8). Suppose b = r*q - q. Is q a multiple of 13?
True
Let l be ((-10368)/180)/((-6)/200). Suppose -26*m + l = -20*m. Is m a multiple of 32?
True
Let r(b) be the third derivative of b**5/60 + 7*b**4/24 - 155*b**3/6 + 165*b**2. Is 5 a factor of r(-27)?
True
Let o(q) = 2*q**3 - 17*q**2 + q - 21. Let t be o(9). Does 7 divide t/(-92) - (-1382)/8?
False
Let s = -3231 + 10986. Does 47 divide s?
True
Let y(s) = -2*s**3 - 171*s + 334*s + 14*s**2 + 0*s**3 - 3 - 169*s. Is 10 a factor of y(6)?
False
Let k(w) = 124*w**2 - 4*w + 1 - 251*w**2 + 123*w**2. Let s be k(-4). Let v = 118 + s.