iple of 16?
True
Does 68 divide (18/(-5))/(17/(-2890))?
True
Let g = 61 + -56. Suppose -g*j + c + 5 = -c, 3 = -4*j + 3*c. Does 2 divide j?
False
Let j(p) = -p**3 - 2*p**2 - p + 13. Let d be j(0). Let a be (-4)/(-22) + d/(-11). Does 32 divide 96/3*(a + 3)?
True
Let q(i) = -i**3 + 5*i**2 - 6*i + 7. Let g be q(5). Let k be (-1)/9 - (-12340)/90. Let b = k + g. Is 19 a factor of b?
True
Suppose 34 = 3*i + 10. Suppose -i*f = -f. Suppose f = 7*d - 2*d - 50. Is d a multiple of 9?
False
Suppose 3*k = 3*f - 6*f + 159, 4*k + 220 = 4*f. Suppose -4*d - f = -6. Is 4 a factor of (18/d)/((-1)/10)?
False
Let b = 128 + -128. Suppose 30*t - 34*t + 380 = b. Does 5 divide t?
True
Suppose -5 = 3*i - 17. Suppose 4*y = 2*c + 146, -2*y + 54 + 34 = -i*c. Is y a multiple of 13?
False
Let k be 2 + 2 + -1 + -15. Let q = -10 - k. Suppose -4*w = -q*w - 72. Is 10 a factor of w?
False
Let j(y) = 122*y - 22. Let f be j(11). Suppose o + f = 13*o. Is o a multiple of 10?
True
Let x(q) = -q**3 + 11*q**2 + 3*q - 3. Let y(b) = -2*b**3 + 12*b**2 + 4*b - 3. Let v(h) = 3*x(h) - 2*y(h). Does 45 divide v(-7)?
False
Suppose -t + 25 = 5*k, 5*k + 2*t = -3*t + 25. Suppose -4*x = 3*r - 179, 0 = 3*x - 0*x - k*r - 127. Is x a multiple of 22?
True
Suppose 0 = -105*m + 136*m - 44423. Is m a multiple of 23?
False
Let n = 2 + 11. Let x(l) = 6*l - 1. Does 7 divide x(n)?
True
Let v(z) be the first derivative of z**5/60 + z**4/8 + 11*z**3/3 + 2. Let a(o) be the third derivative of v(o). Is a(1) even?
False
Let j(f) = f**3 + 13*f**2 - 17*f - 38. Let h be j(-14). Suppose 10 = l - 5*d, h*l + 0*d - 82 = -d. Is 4 a factor of l?
True
Let s(k) = -k**3 - 9*k**2 - 10*k - 12. Let w be s(-8). Suppose -m + w*m - 62 = -5*l, 0 = 2*m - 2*l - 20. Is 4 a factor of m?
False
Let f(w) = 4 + 20*w + 0 - 1. Suppose 16*u - 67 = -19. Is f(u) a multiple of 21?
True
Suppose 4*g - 524 = -0*g - 4*h, 4*g = -3*h + 529. Suppose 11 - 89 = -3*w + 3*n, -g = -5*w + 3*n. Is 3 a factor of w?
False
Suppose -100 - 547 = -2*y + 3*i, 4*y - 3*i - 1297 = 0. Let r be 4/(-7) - y/(-91). Does 6 divide 2/r - (-420)/18?
True
Let g(a) = -6*a**3 + 2*a**2 - 3*a + 2. Let r be g(1). Let z = 51 + r. Is z a multiple of 7?
False
Let j(t) = t**3 + 2*t**2 - 3*t - 2. Let a(p) = p**2 + 12*p - 3. Let o be a(-12). Let l be j(o). Does 21 divide (l - (-428)/(-12))*-3?
False
Let g(m) = -2*m + 2. Let d be g(1). Suppose d = -2*z - 3*z + 740. Suppose 0 = l + l - z. Is 20 a factor of l?
False
Let x(l) = 13*l**2 - 2*l. Let i be x(2). Let n = i - 42. Is n a multiple of 2?
True
Suppose -3*u + 5*m = -675, 8*u - 1115 = 3*u + 5*m. Suppose -107*i + u = -105*i. Is 11 a factor of i?
True
Let k(j) = 98*j**3 + 8*j**2 - 26*j. Is k(3) a multiple of 94?
False
Let o(t) = -t**3 - 12*t**2 + 9. Let v be o(-12). Let h(j) = j**3 - 8*j**2 - 7*j + 4. Is h(v) a multiple of 11?
True
Suppose -4*o = 8*d - 9*d - 281, -2*d = -o + 72. Does 9 divide 15 - 15 - ((-4)/2 - o)?
True
Suppose 0 = 7*f - 19 - 2. Suppose -4*z - 234 = -3*d - z, 266 = f*d + 5*z. Is d a multiple of 15?
False
Let o = -920 - -1284. Is 13 a factor of o?
True
Does 47 divide 104645/85 - 4*4/136?
False
Let l = 4627 - 2527. Does 75 divide l?
True
Let d(z) = -6*z + 5. Let t(p) = -p**2 + 3*p + 5. Suppose 3*f + 4*q = -0*f + 35, -5*f - q + 30 = 0. Let r be t(f). Is 17 a factor of d(r)?
False
Let m(r) = 48*r**2 + 3*r + 45. Is m(5) a multiple of 60?
True
Let x(n) = 154*n - 1. Does 9 divide x(1)?
True
Is ((-92)/5)/(-3 + (-2016)/(-675)) a multiple of 10?
True
Let a = -901 - -1000. Does 19 divide a?
False
Let a(w) = 5*w - 5. Let y = 7 - 4. Let m be a(y). Suppose 18 = g + m. Is g even?
True
Suppose -4*s + 0*s + 968 = 0. Suppose -12*p - 1710 = 42. Let t = s + p. Does 24 divide t?
True
Suppose -3*d - 28 = -40, 0 = -3*x - 2*d + 134. Is x a multiple of 21?
True
Let i(h) = h**3 - h**2 - h + 1. Let w be i(2). Let n(m) = m**2 + 13*m + 2. Let q be n(-13). Suppose -z + 15 = z + w*x, 3*z + q*x = 30. Is 3 a factor of z?
True
Suppose 0 = -0*k + 3*k. Suppose -z + 52 + 103 = k. Is z a multiple of 28?
False
Let k(x) = x**3 + 19*x**2 - 95*x + 45. Is 30 a factor of k(-22)?
False
Suppose -2*o + o + q = -65, -5*o = -2*q - 310. Let g be ((-82)/(-4))/((-91)/14 + 6). Let h = o + g. Is h a multiple of 19?
True
Suppose -h - 2*y = 2*h - 156, -h - 3*y = -52. Suppose -3*c + 5 = -h. Suppose -4*i = -0*g + g - c, 57 = 5*g + i. Is 11 a factor of g?
True
Suppose 3*b + 717 = 5*q - 1062, 5*q + 5*b = 1795. Is 14 a factor of q?
False
Let y be 2/5*(412 - -3). Let j be y/4 - (-3)/(-6). Let u = j - 5. Is 9 a factor of u?
True
Let y(f) = -f + 10. Let g be y(13). Is (-1676)/(-12) + g/(-9) a multiple of 14?
True
Let s(l) = 31*l + 0 - l + 16 - 64. Is s(7) a multiple of 18?
True
Let f(l) be the first derivative of 11*l**2 - 2*l - 6. Is f(3) a multiple of 16?
True
Let d(n) = -n**3 + n**2 - 8*n. Let o be d(-6). Suppose 5*k = o - 125. Is k a multiple of 7?
True
Suppose -13*k = -66*k + 4452. Is k a multiple of 2?
True
Let t(y) = -117*y - 41. Does 53 divide t(-10)?
False
Is 21 a factor of (-492)/(-8) + -2*12/(-16)?
True
Let i(q) be the third derivative of q**6/60 - q**5/4 + 7*q**4/24 + 4*q**3/3 + 25*q**2. Is 16 a factor of i(8)?
True
Suppose 0 = 3*d - 381 - 690. Is 16 a factor of d?
False
Let o be -1 - (-2 + 3)*-6. Suppose 4*m = o + 3. Suppose t + 18 = m*t. Does 9 divide t?
True
Let y(d) = 2*d**2 - 62*d + 174. Is y(32) a multiple of 23?
False
Suppose s - 4*v = -5*v - 2, -3*v - 5 = 2*s. Is (s*(-80)/6)/((-8)/(-84)) a multiple of 14?
True
Let y(k) = -k**3 + 10*k**2 + 4*k + 2. Does 34 divide y(6)?
True
Suppose -3*n - 5*y - 27 = 0, 5*y + 15 = -3*n + 4*y. Does 7 divide n/(-1)*60/3?
False
Let t be (-4)/(-32) - 99/24. Does 47 divide ((-44)/6)/((-218)/54 - t)?
False
Suppose -5*v = -2*v - 117. Let j be (v/2)/((-3)/12). Let g = -50 - j. Does 14 divide g?
True
Let i(w) = 3*w + 14. Let f be i(-17). Suppose 2*q - 4*b = -6, 2*b + 3*b - 21 = -2*q. Let p = q - f. Does 10 divide p?
True
Let j(u) = 42*u**2 - u + 15. Is 36 a factor of j(-7)?
False
Let d(w) = w**3 - 11*w**2 + 2*w - 16. Let y be (-8)/(-12)*-3 + 13. Let l be d(y). Is 9 a factor of 232/l - 2/(-6)?
False
Let z = 220 - -158. Let l be (-3)/12 + (-2)/(-24)*51. Suppose 0 = -i + 2*t + 84, 0 = -2*i + 7*i + l*t - z. Does 27 divide i?
False
Let q(l) = 4*l**2 + l + 8. Let m be q(4). Let z = -30 + m. Is z a multiple of 15?
False
Suppose -13*s + 285 = -8*s. Suppose 7 + s = j. Does 33 divide j?
False
Suppose 7 + 3 = 5*g. Suppose 18 = l + 4*f, -g*f - 159 = -5*l + f. Does 5 divide l?
True
Let y = -4 + 12. Let d(q) = -y*q + 13*q - 7 + 0*q. Is d(5) a multiple of 9?
True
Suppose -149*o - 25970 = -163*o. Is 19 a factor of o?
False
Suppose 49 = 3*f + 5*c + 1, 2*f - 48 = 2*c. Is (-9 + f)*(-26)/(-8) a multiple of 22?
False
Suppose 5*a + 3*g = -125, 94 = -3*a - 0*a + 2*g. Let d = a + 38. Let b = 13 + d. Is 10 a factor of b?
False
Let h(w) = -w**2 - w**3 - 6*w + 11*w**2 - 20 + 6 + 14*w. Let j be h(11). Is 13 a factor of (1 - j)*8/16?
False
Suppose 5*n + 128 = 3*c, 0*n = 4*c - n - 165. Let o = c - -50. Is o a multiple of 13?
True
Is ((-333)/(-27) + 0)/(2/60) a multiple of 10?
True
Let x(z) = -z**3 + 5*z + 2. Let o be x(-4). Suppose 389 = 31*l - 510. Let w = l + o. Is 15 a factor of w?
True
Let j = -112 - -186. Let d = j + 31. Is d a multiple of 15?
True
Let a(u) = 260*u**2 - 247*u**2 + 0*u + 0*u. Is a(1) a multiple of 5?
False
Let s(k) = 170*k + 94. Is 9 a factor of s(4)?
True
Let d = -12 + 1. Let q be (2 + d)/3 + 6. Suppose -114 = -4*c - 3*w + w, -102 = -q*c + 4*w. Does 13 divide c?
False
Let m be 8 - (-5 + 0/1). Suppose 17 = -3*z + 4*p, 2*z - 3 + 16 = p. Let h = z + m. Does 5 divide h?
False
Let a(o) = -5*o + 15. Does 7 divide a(-32)?
True
Suppose -2*d = -127 - 129. Suppose 5*s + 398 = l, 2*l - 15 = -3*l. Let k = s + d. Is k a multiple of 7?
True
Let k(i) = -i**3 - 8*i**2 - i - 1. Let q be k(-8). Suppose 9*w = q*w + 70. Let o = -12 + w. Does 7 divide o?
False
Is (-2 + (-44)/(-77))/((-1)/1253) a multiple of 15?
False
Let o = -4 - 5. Let d(k) = 4*k**2 + 2*k - 4. Let r(c) = 3*c**2 + 2*c - 5. Let j(q) = -2*d(q) + 3*r(q). Is 24 a factor of j(o)?
False
Let x(j) = -j**3 - 11*j**2 + 13*j + 12. Let g be x(-12). Let v(f) = f**2 + f + 153. Let d be v(g). Does 9 divide d/7 + 4/28?
False
Let j(p) = -p**3 + 17*p**2 - 16*p - 21. Is 19 a factor of j(15)?
False
Let o(s) be the third de