q + l*x, 2*q - 151 = -5*x. Does 21 divide q?
True
Let y = -22 + 20. Let d(g) = g**3 + 5*g**2 + 2. Let t be d(-5). Is 15 a factor of t*((-81)/y)/3?
False
Let p = -89 - -252. Suppose -5*o + p + 92 = 0. Is o a multiple of 17?
True
Suppose -2*j - 3*j = -45. Let w be 3/j + 8/3. Suppose -2*z = w*z - 25. Is 4 a factor of z?
False
Let s(p) = -30*p**3 + 3*p**2 + 2*p - 6. Is 25 a factor of s(-3)?
True
Suppose -3*t - 2*h + 96 = -t, 42 = t - h. Let a = -8 + t. Is 17 a factor of a?
False
Let y = 7698 - 4279. Is 13 a factor of y?
True
Let f = 45 - -307. Suppose -5*d + d = -f. Does 24 divide d?
False
Suppose 2*l + 10 = 586. Is 24 a factor of l?
True
Suppose 25 = -5*a, 2*a + 19 = -y - 14. Let o = 41 + y. Is o a multiple of 6?
True
Let d(u) = -u**2 + 23*u - 4. Suppose 4*n + 0*a + a = 63, 3*a + 15 = 0. Is 14 a factor of d(n)?
True
Let h be (-3 - -36)/(-3) - 1. Let c(y) = -5*y - 11. Is c(h) a multiple of 16?
False
Let m(r) = 4*r + 31. Let q be m(-7). Suppose x + 4*k - 5 = 0, q*k = k - 8. Is x a multiple of 7?
True
Let o = -84 - -14. Let y = o + 132. Is y a multiple of 31?
True
Let d(n) = 7*n**2 - 14*n - 360. Is d(-12) a multiple of 34?
True
Let k be 3 - (1 + 8 + 0/(-1)). Does 2 divide 29 + ((-3)/(-1) + k - -5)?
False
Let f = 3 + -3. Is 10 a factor of (-22)/(-10)*(f + 5)?
False
Does 49 divide 2356 - (6 + -17) - 6/3?
False
Let l be (5 + -2 + -4)*-121. Suppose 0 = -s + 2*s - l. Is 11 a factor of s?
True
Let k be (-3 - -2)*14/2. Let p = -4 - k. Suppose -3*o + s = -136, o + p*s - 177 = -3*o. Is 15 a factor of o?
True
Let h(n) = -12*n - 25. Let d be h(9). Let j = 283 + d. Does 23 divide j?
False
Let u(v) be the second derivative of 7*v**4/4 - v**2/2 - 11*v + 3. Let x = -2 + 3. Does 20 divide u(x)?
True
Is 14 a factor of (7866/(-27) - -2)/((-2)/3)?
True
Let y(n) = 30*n**2 - 18*n - 14. Does 16 divide y(6)?
False
Let o = 498 - -933. Is 14 a factor of o?
False
Let m = 3957 - 2683. Is m a multiple of 14?
True
Suppose 2*d - 4*k = -25 + 5, -3*k = -9. Let p(a) = -a**3 - 3*a**2 + 2*a - 4. Let n be p(d). Suppose 0*t - n*t - l + 37 = 0, 4*l + 5 = t. Is t a multiple of 5?
False
Let r be (-2)/(-10) - 7495/(-25). Suppose 2*u - 8*u = -r. Is 18 a factor of u?
False
Let g(t) = 2*t**2 - 8*t + 18. Let s be g(4). Let k = 29 - s. Is 4 a factor of k?
False
Let j be (-3 - 0)/3 - -566. Suppose -2*f = 5*b + j, -f + 2*b = -89 + 385. Is 6 a factor of f/(-14) + (-2)/(-7)?
False
Let d = -58 - -228. Is d a multiple of 34?
True
Let b(w) = 3*w + 50. Let f be b(11). Let q = -11 + 56. Let o = f - q. Is o a multiple of 27?
False
Let z(a) = 6*a**3 - a**2 + 4*a + 5. Is z(4) a multiple of 63?
False
Is 5 a factor of (3545/(-20) - -6)/(1/(-4))?
True
Suppose -4*v + 86 = -3*f - 235, v - 2*f = 79. Suppose 3*r = -5*l + v, 45 = 2*l - 2*r - r. Does 9 divide l?
True
Let p = -30 - -53. Let h = -62 + p. Let r = -17 - h. Is r a multiple of 15?
False
Suppose 4*z + 2*z = 816. Let m = -71 + z. Does 13 divide m?
True
Let u(a) = 739*a + 10. Let c be u(10). Let j be c/14 - (-24)/(-42). Is 11 a factor of (1/4)/(12/j)?
True
Let m = 7 - 4. Suppose 30 + 0 = m*r. Does 12 divide ((-52)/(-8) - 1)*r?
False
Let k = 110 - 40. Is k a multiple of 13?
False
Suppose 3*x = 19 + 5. Does 42 divide (3/(-6))/(x/(-1808))?
False
Let y = 507 + -199. Suppose -5*t = h - 356, 0*t = 4*t - 5*h - y. Is 16 a factor of t?
False
Let t = -1128 + 2316. Is 108 a factor of t?
True
Suppose 300 = 8*x - 7*x. Suppose -44*v = -39*v - x. Is v a multiple of 19?
False
Let x(o) = 15*o**3 + 2*o**2 + 2*o + 11. Is x(3) a multiple of 55?
True
Suppose 32 = 2*v - 32. Does 21 divide (v - 8)*(-4)/(12/(-7))?
False
Is 9 a factor of 192 + -1 + 6 + 4?
False
Let m(k) = k + 4. Let a be m(0). Suppose -4*u = 5*f - 22, -a*u + 0*f = -4*f - 4. Suppose -u*q + 50 = 2*q. Is q a multiple of 5?
True
Let p be (0/(-1) - 0) + 8. Suppose 16 = -4*i + p*i. Suppose -m + 5*j = -41, i*m - 2*j = 2*j + 116. Is m a multiple of 13?
True
Let g = 4 + -11. Let n = g - 15. Let i = 5 - n. Does 22 divide i?
False
Let x = -873 - -1368. Is 15 a factor of x?
True
Let l(t) = 20*t**2 + 2*t + 4. Suppose -2 = v - 4*u - 1, u - 2 = 0. Let b = v + -9. Does 16 divide l(b)?
True
Suppose -189 = -2*x + 193. Suppose 3*o - x = -2*o - t, t = 3*o - 121. Let i = o + 9. Does 10 divide i?
False
Suppose -3*o - 23 = 4. Let f(q) = -q**2 - 8*q + 11. Let n be f(o). Is (60/(6/n))/1 a multiple of 6?
False
Let k(z) = -z**3 - 3*z**2 + 6*z + 6. Let i be k(-5). Suppose -29*x = -i*x - 102. Is 34 a factor of x?
True
Let a be 4/8*2 + -1. Suppose 5*c + 4*n - 2*n = 74, 3*c - 4*n = 60. Suppose a = 3*h - 154 + c. Is h a multiple of 6?
False
Let n(b) = -349*b - 85. Does 19 divide n(-4)?
True
Let y(g) = 8*g**2 + 2*g + 1. Let o be y(-1). Suppose 3*u - o*u + 4 = 0. Suppose -4*d = 2*f - 18, -2*f - 10 = -5*d - u. Does 3 divide f?
True
Let a = -1551 + 2801. Is a a multiple of 50?
True
Let t(o) = -2*o - 13. Let r be t(-9). Suppose -5*k + r*u + 1100 = 0, k + 4*u = 273 - 73. Is 17 a factor of k?
False
Let b = 21 - 13. Suppose b - 120 = -d. Does 14 divide d?
True
Let d = 157 - 61. Let r = 164 - d. Suppose -3*h - n + r = 0, -3*n - 3 = 9. Is h a multiple of 24?
True
Suppose -4 = 3*k - 2*k. Let y be 5103/12 + (-3)/k. Suppose -3*w - 3*w + y = 0. Is 13 a factor of w?
False
Let d(y) be the first derivative of y**4/4 + 2*y**3 - 4*y**2 + 8*y + 13. Does 5 divide d(-7)?
True
Let h be (6 - (5 + -1)) + 9. Let s(l) = l - 4 + 6 - h*l + 9 + l**2. Does 2 divide s(9)?
True
Let t(k) = 3*k**3 - 5*k**2 + 4*k. Let n = -9 - -11. Suppose 4*a - 23 = -r, 0 = r + n*r - 5*a + 16. Does 8 divide t(r)?
True
Let c(h) be the first derivative of -h**2/2 + 14*h + 3. Let p be c(10). Is 14 a factor of p*((-210)/8)/(-5)?
False
Let y be (-1 - 7) + (-2 + 2)/(-2). Is (-237)/y - (-39)/104 a multiple of 5?
True
Is (1216/(-190))/(2/(-330)) a multiple of 44?
True
Suppose 5*s = 407 + 753. Does 5 divide s?
False
Suppose -3*f + 71 = -3*d - d, 0 = -3*d + f - 52. Let p(a) = -12*a + 8. Let v(w) = 37*w - 23. Let x(n) = d*p(n) - 6*v(n). Does 17 divide x(-2)?
False
Suppose -19 + 91 = 3*z. Let u = z - 10. Does 14 divide u?
True
Let l(f) = f**2 - 4*f + 6. Let r(w) = 5*w**2. Let h be r(-1). Let j = h - 9. Is l(j) a multiple of 16?
False
Suppose 4*n - 3222 = -2*i, n - 4026 = -4*n - 2*i. Is 67 a factor of n?
True
Let o = 250 - 23. Is 4 a factor of o?
False
Let f(c) = -10*c - 22. Suppose -2*s - s - 55 = 4*b, -4*s - 5*b = 72. Is 18 a factor of f(s)?
True
Let y = -11 - -8. Let z be (-1)/y*0 - -2. Suppose c = z*c - 54. Does 15 divide c?
False
Let n be 264/42 + -2 + 4/(-14). Suppose -17 = 5*r + n*x - 108, r = -3*x + 27. Is 11 a factor of r?
False
Suppose c = 3*t + 2*t - 228, 5*c = 10. Let o = t + -33. Suppose -4 + o = g. Is g a multiple of 9?
True
Suppose -2*s + 3*y = 228 - 909, -3*s + 5*y = -1021. Let h = s + -180. Is h a multiple of 18?
True
Is ((-8)/5)/((-7)/2730) a multiple of 20?
False
Let r be (-30)/(-18)*(-12)/(-10). Suppose -5*d + 4*z + 1486 = 0, -3*d - r*z + 6*z + 898 = 0. Does 26 divide d?
False
Let d(g) = 8*g**2 + 2*g + 3. Let p be (-6)/(-4)*24/18. Suppose -14 = -p*h - 2*l, 2*h = -3*l - l + 22. Is 27 a factor of d(h)?
True
Let t(f) = -f**2 + f + 3. Let h be t(0). Suppose 7*q = h*q. Suppose 3*z + 0*z - 216 = q. Does 24 divide z?
True
Let x(f) be the second derivative of -f**5/20 + 3*f**4/4 + 7*f**3/3 - 16*f. Does 8 divide x(10)?
True
Let c be ((-1)/(-2))/((-1)/32). Let g = 29 + c. Suppose m = g + 26. Is 16 a factor of m?
False
Suppose -144*h + 8766 = -126*h. Is 40 a factor of h?
False
Suppose r = -4*i - 33, -2*i = 3*i. Let w = r - -90. Does 19 divide w?
True
Suppose -8*q = -455 - 41. Let z = q - 34. Is 7 a factor of z?
True
Let b = 92 + 224. Is b a multiple of 28?
False
Let a = -147 + 387. Let y = -147 + a. Suppose 129 + y = 6*k. Is k a multiple of 8?
False
Let h(k) = k**2. Suppose 9*b = 16 + 11. Let y(p) = -p**3 - 18*p**2 + 16*p + 16. Let w(n) = b*h(n) + y(n). Is w(-16) a multiple of 5?
False
Suppose -5*f = 4*p - 1812, 3*p + 648 + 450 = 3*f. Does 7 divide f?
True
Suppose x - 5*j - 1909 = 0, 4*x - 23*j = -22*j + 7636. Is 83 a factor of x?
True
Let w(f) = 3*f**2 + 4 - 2*f**3 - 9*f**2 + 0 + f + f**3. Let t be w(-6). Is 5 a factor of (64/(-20))/(t/15)?
False
Suppose -3*c = -5 - 94. Is c a multiple of 5?
False
Let f(s) = 3*s**2 + 7*s - 17. Let t(n) = n**2 + 4*n - 6. Let z(q) = 3*f(q) - 8*t(q). Let w(p) = -p*