l - 13. Let c be m(6). Does 30 divide c/4 - (-4)/(96/3750)?
False
Let p(t) = 5*t - 21. Let u be p(5). Suppose -u*g + 83 + 221 = 2*o, o + 4*g = 154. Does 15 divide o?
True
Suppose 4*j - r - 2227 = 0, -7*r + 8*r = -3*j + 1679. Is 6 a factor of j?
True
Suppose 11*h = 471 + 420. Is h a multiple of 27?
True
Let j(t) = -t**3 - t**2 + t - 1. Let b(o) = 3*o**3 + 3*o**2 - 5*o + 4. Let r(d) = b(d) + 4*j(d). Is r(-4) a multiple of 9?
False
Let k = -788 + 1679. Is 33 a factor of k?
True
Suppose -6*d + 10*d = -40. Is 5 a factor of (-48)/d - (-3 + 14/5)?
True
Suppose 403*f = 399*f + 1632. Does 24 divide f?
True
Suppose -3*o - 3*x = -3798, 29*o - 31*o + 2534 = 4*x. Is o a multiple of 11?
True
Let x(s) = 2*s**2 - s**2 + 12 - 10 - 2*s**2 - s. Let b be x(-2). Suppose b = 2*t - 0*t - 5*k - 124, t + 4*k - 36 = 0. Does 17 divide t?
False
Is 29 a factor of 211/(-4)*(-7 + -9)?
False
Suppose -43 = -3*d + 137. Suppose 163 - d = k. Is 15 a factor of k?
False
Let r(m) = 2*m**2 - 120*m - 112. Does 10 divide r(64)?
True
Suppose -16*b + 3485 + 15699 = 0. Does 14 divide b?
False
Suppose 118932 = 3*z + 103*z. Does 17 divide z?
True
Suppose 0 = -2*j - 0*j + q + 396, -5*j + 5*q = -980. Suppose s = 5*o - j, -4*o + 0*o + 131 = 5*s. Suppose 4*c - 145 = o. Does 23 divide c?
True
Let m be (-55)/(-22) + (-2)/(-4). Suppose 88 = 4*r - m*r. Is 21 a factor of r?
False
Let g(h) = -33*h + 4*h**2 + 46*h - 19 - 5*h**2 - 30*h. Let u be (39/9)/(2/(-6)). Does 7 divide g(u)?
False
Suppose 143*z - 154*z = -6545. Is z a multiple of 32?
False
Let z(a) = 9*a**2 - a + 80. Does 13 divide z(9)?
False
Suppose 3*z + 2*d - 150 = -23, 0 = -4*d + 20. Is 4 a factor of z?
False
Let w(s) = -2*s**3 - s**2 - 3*s + 304. Is w(0) a multiple of 16?
True
Let z = 8 + -77. Let a = -25 - z. Is 22 a factor of a?
True
Suppose 2*u - u - 4 = 0. Let r = u + 1. Does 12 divide (-5)/(r/(-11)) + 1?
True
Let p = 667 + -611. Is p a multiple of 2?
True
Let g = 62 - 43. Suppose 5*p + 60 = 5*q, 4*q = 5*p + 2*q + 45. Let j = p + g. Is j a multiple of 4?
True
Let v(t) = -2*t**2 - 13*t - 13. Suppose o + 30 = -2*o. Let x be v(o). Let u = x - -130. Is 14 a factor of u?
False
Suppose 1 = -4*i + 9. Suppose -i*c + 0 = 2. Let g = 9 - c. Is 5 a factor of g?
True
Is (-18445)/(-10) + -3 - (-3)/(-2) a multiple of 13?
False
Suppose 2*a + a = 9. Suppose -2*y - 2*y + 986 = 3*q, 5*y = a*q - 941. Suppose 5*g = 4*w + q, g - w = w + 68. Does 14 divide g?
False
Suppose -23*x + 25*x - 132 = 0. Is 22 a factor of x?
True
Let f be ((-6)/(-4))/(-3)*8. Let s(o) = -3*o - 4. Let t be s(f). Does 32 divide t/(-3)*(-1 - 35)?
True
Suppose 2*h + 3*s + 11 = 0, -h = -4*h + s + 11. Is (h/4)/((6/(-200))/(-3)) a multiple of 10?
True
Let h = 224 + -180. Does 4 divide h?
True
Let g be 1*29 - (0 - -1). Let o = 707 - 705. Suppose -232 = -o*y - g. Is 26 a factor of y?
False
Let l(j) = -j**2 + 11*j - 6. Let c be l(10). Suppose -5 = 5*r, -3*a + 2*r - c*r + 136 = 0. Is a a multiple of 30?
False
Let q(c) = c**3 + 8*c**2 + 3*c + 20. Let s be q(-8). Does 4 divide s*(-1*(-492)/8)/(-6)?
False
Suppose 4*z - 307 = -i, i = 2*i + 5. Suppose -72 = -2*s + z. Does 15 divide s?
True
Let g(m) = -2*m + 18. Let c be g(8). Does 11 divide (264/3)/(c - 1)?
True
Suppose 4*g = 3*g + 3. Let x(m) = m**2 - 2*m - 2. Let k be x(g). Is 5 a factor of 9 + k - 14/7?
False
Suppose 0 = 10*q + 7*q - 1836. Does 36 divide q?
True
Suppose 3*f = 4 + 2. Let u = 5 - f. Suppose 0 = 3*c - 3, 0*o - u*c = o - 23. Is o a multiple of 10?
True
Let q be (-3 + 3 + 0)/2. Let y be (6 + -6)/(2 + q). Is 9 a factor of (6 - 45)*(-1 + y)?
False
Let j be (-46 - 1)*(8 - 6). Let r = j + 171. Is r a multiple of 13?
False
Let q(j) = -37*j + 3. Let l be q(-2). Let r = 224 - l. Is 13 a factor of r?
False
Let x(y) be the third derivative of 1/8*y**4 + 0*y + 9*y**2 + 1/60*y**5 + 0 + 0*y**3. Does 5 divide x(-5)?
True
Suppose 0 = -3*y + 2 + 31. Let l = y - 11. Is -1 + l - (-12 + -37) a multiple of 6?
True
Let b be (3 - -2) + (-5 - -2). Suppose n - b*d - 10 = 0, 3*n - d = -n + 5. Let p = 10 - n. Is p a multiple of 4?
False
Suppose -3*o + 1 + 5 = 0. Suppose 0*h + 2 = 3*k - 2*h, k + o*h - 14 = 0. Is 4 a factor of k?
True
Let r(c) = -c**2 + 3*c + 3. Let g be r(5). Let s be 1 + g/2*-4. Suppose 4*a = 33 + s. Is a a multiple of 4?
True
Let b(q) = -q - 6. Let r be b(4). Let j be (-1)/(r/(-4) + -2). Does 4 divide ((-39)/6 + 2)*j?
False
Suppose 0 = -0*j - 3*j + 87. Let a = -25 + j. Is a a multiple of 3?
False
Suppose l - 4*l + 40 = 4*n, 0 = -5*l - 2*n + 48. Suppose f = -f - l. Does 14 divide (-94)/(f/6*3)?
False
Suppose 489*g = 515*g - 60632. Is g a multiple of 53?
True
Let h = -137 + 38. Let u = -59 - h. Is u a multiple of 4?
True
Let k = 53 + -38. Suppose n + 7 = k. Does 3 divide (4/n)/1*14?
False
Let t = 206 + -110. Let p = 6 + -4. Suppose -g - n = 2*n - 52, 2*g - p*n - t = 0. Is 21 a factor of g?
False
Let p = -17 + 4. Let f(d) = -d. Let g(c) = 4*c + 18. Let j(l) = -f(l) - g(l). Is 21 a factor of j(p)?
True
Suppose 2*r - 2847 + 471 = 0. Is r a multiple of 99?
True
Suppose -3*p = 2*p - 20. Let s(r) be the first derivative of 11*r**2/2 + 5*r - 55. Does 10 divide s(p)?
False
Let g(o) = 5*o**2 - 3. Let a(t) = -t**3 - 4*t + 2*t - 2*t**2 - 1 + 0. Let n be a(-2). Is 14 a factor of g(n)?
True
Let m(g) = g**3 - 9*g**2 + 8*g + 4. Let p be m(8). Suppose -p*c + 48 = -4. Is 2 a factor of c?
False
Let n(l) = -3*l. Let f be n(-1). Let t = -45 - -106. Suppose -5 = -f*o + t. Is 11 a factor of o?
True
Let z(l) = -l + 39. Suppose n + 29 = -4*o, 4*o = -7*n + 2*n - 49. Is 8 a factor of z(o)?
False
Suppose 2*f + 6 - 58 = 2*a, 3*f = -5*a - 98. Let s = a - -38. Is 16 a factor of s?
True
Let g = 92 + -89. Suppose g*j = 13 + 11. Does 4 divide j?
True
Suppose w - 139 = -839. Let x = -427 - w. Is x a multiple of 31?
False
Let z be 9/4*84/63. Suppose z*g - 63 = l + 8, 2*l - 122 = -5*g. Is 4 a factor of g?
True
Let d = -973 + 1050. Does 7 divide d?
True
Let v(x) = -3*x**3 + 3*x**2 - 6*x + 9. Let l(g) = 16*g**3 - 16*g**2 + 30*g - 45. Let u(s) = -2*l(s) - 11*v(s). Is 21 a factor of u(4)?
True
Let a be 8/(14/(-6) + 2). Let h = a + 48. Is 12 a factor of h?
True
Let u(g) be the third derivative of -g**6/120 + g**5/4 - 11*g**4/24 - 3*g**3 - 24*g**2. Does 12 divide u(14)?
True
Suppose -4*p + 5*z = p - 110, 10 = 5*z. Let l = p + -34. Let n = l + 20. Is n a multiple of 10?
True
Let j = -2 - -4. Let a(b) be the first derivative of 17*b**2/2 + 2*b - 7. Is a(j) a multiple of 12?
True
Let v = 15 - 14. Let t(b) = 3*b**3. Let p be t(v). Suppose -46 + 205 = p*l. Is 21 a factor of l?
False
Let m(o) = -7*o**3 + 11*o**2 + 9*o + 15. Let z(v) = 20*v**3 - 32*v**2 - 26*v - 44. Let a be 14/(-28)*2*-17. Let j(t) = a*m(t) + 6*z(t). Is j(6) a multiple of 5?
False
Suppose -4*j + 3*d + 32 = 0, d + 16 = 4*j + 2*d. Does 7 divide -1 + -3 + j + 6?
True
Suppose -3*b - 2*o = -5988, b - 3*o = 5*b - 7985. Is b a multiple of 19?
False
Let i = 823 - 824. Let x(s) be the first derivative of -11*s**4/4 + 3*s**2/2 + 2*s + 1. Is x(i) a multiple of 10?
True
Let i = 51 - 21. Suppose -4*k = -5*o - 96, -2*k - i = -o - 78. Suppose 4*a + k = 7*a. Is a a multiple of 5?
False
Suppose -n - 4 = -3*n. Let x be (-3)/n*4/(-6). Is 2 + (x - 0 - -2) a multiple of 3?
False
Let y = 9 - -4. Let b = 27 - y. Let u = 0 + b. Is 7 a factor of u?
True
Let w(f) = 2*f**2 - 50*f + 78. Is w(-21) a multiple of 12?
False
Suppose 2*j - 7*j + 1146 = 2*w, -4*j + 2*w + 906 = 0. Is 12 a factor of j?
True
Suppose -3*w - 717 = -5*v, 291 = 2*v - 0*v + 3*w. Is 8 a factor of v?
True
Suppose -3 = -2*p - 5, -p - 1 = 3*c. Suppose 5*v - 2*r - 79 = c, -33 - 52 = -5*v + 5*r. Does 5 divide v?
True
Suppose 4*y - h + 469 = 0, 3*y + h = -h - 349. Does 12 divide y/(-3) - 18/6?
True
Let j = 6 + -1. Let l(w) = -w + 2. Let n be l(j). Let y(h) = -h**3 - h**2 + 4. Is y(n) a multiple of 8?
False
Is (408/(-48))/(1/(-6)) a multiple of 3?
True
Let t(j) = -j**2 + 4*j - 1. Let p be t(3). Suppose -5*c + 4*u = p*u - 20, -2*c + 22 = 2*u. Does 13 divide 23 - 4/((-8)/c)?
True
Let u be 13 + 0 + 1 + -3. Let n(v) = v**2 + 4*v + 1. Let p be n(-7). Let d = p - u. Does 4 divide d?
False
Suppose 2*s + 4*k - 2*k - 22 = 0, 0 = -3*s + k + 29. Let z(f) = -7*f - 19*f**3 + f**2 + 15*f**2 - 5*f**2 + 18*f**3 - 4. Does 7 divide z(s)?
False
Let x be ((-27)/(-33) - 1) + 2/11. Suppose x = -3*s + u - 3