8 = 0. Is 12/(-28) + j/14 a multiple of 7?
True
Suppose -26*w + 727313 = 88*w - 336991. Is 125 a factor of w?
False
Let q = 416 - 414. Is 23 a factor of (q/(-6))/(3/(-621))?
True
Suppose -4*c = 5*x - 24552, -2*x + 397*c + 9818 = 399*c. Does 100 divide x?
False
Let h(n) be the second derivative of 5*n**4/6 + 7*n**3/6 - 18*n**2 - 28*n. Is 4 a factor of h(4)?
True
Let a = 64 + -55. Suppose 0 = 2*p + a*p - 2310. Let w = 69 + p. Does 31 divide w?
True
Let w = 14872 - -12885. Is 23 a factor of w?
False
Let x(j) = -1583*j**3 + 2*j**2 - 2*j - 3. Suppose -8 = -4*d + 5*n + 3, -10 = -5*d + 5*n. Let s be x(d). Suppose 16*u = 7*u + s. Is u a multiple of 14?
False
Let k be (-1 - 323 - -1)/(6/(-12)). Suppose 5*a - 62 = -d, 40 = -0*a + 3*a + 2*d. Suppose k = -a*v + 2446. Is v a multiple of 15?
True
Suppose 0 = -7*k - 8 + 1. Let g = k - 70. Let x = g + 123. Is 10 a factor of x?
False
Suppose 67*x - 65*x - 3*i = 5083, -3*x = -5*i - 7627. Is x a multiple of 14?
True
Suppose -5*c = -4*t + 6*t - 103, -3*c - 5*t + 58 = 0. Suppose c*g - 621 = 18*g. Is g a multiple of 11?
False
Suppose -2*x + 2*j = -6532, -3*x + 13061 = x - 3*j. Is 13 a factor of x?
True
Is -3*(-6)/180*-2374*-5 a multiple of 14?
False
Let a(c) = -12*c**2 - 4*c - 15. Let l(o) = -1. Let q(g) = a(g) + l(g). Let k(s) be the first derivative of q(s). Does 20 divide k(-3)?
False
Let r = 4551 - 4023. Is 8 a factor of r?
True
Suppose 5*v - x - 9 = 0, 4*v + x - 11 = -2*x. Suppose 0 = -4*r - v*r + 1920. Suppose -2*b - r = -6*b. Is 14 a factor of b?
False
Let q(g) = -g**3 - 22*g**2 - 18*g + 51. Let s be q(-21). Suppose -6*h + 2*h + 68 = m, -4*m + 2*h + 182 = 0. Let c = m + s. Does 12 divide c?
True
Suppose 0 = 23*m + 7321 - 11291 - 14982. Does 4 divide m?
True
Let o(z) = 25*z**2 - 44*z + 1176. Does 36 divide o(20)?
True
Suppose 12759 + 3936 = 32*x - 11*x. Is x a multiple of 53?
True
Suppose 2*l - 5*s - 6 = 0, 2*l + 3*s + 16 = -3*l. Let a be -5*(-3)/(-6)*l. Suppose 4*f - 209 = -a*v + 393, 608 = 5*v + f. Is v a multiple of 22?
False
Let i(h) be the third derivative of -h**6/120 + h**5/5 + 5*h**4/12 - 17*h**3/3 - 4*h**2 + 2. Is 19 a factor of i(10)?
True
Suppose 0 = 3*j + 4*h - 3389, 0 = 2*j - h + 669 - 2921. Is 23 a factor of j?
True
Let t be (-136)/6*72/(-48). Let n = t - -8. Is 21 a factor of n?
True
Let x = 12 + -1. Suppose -a + 3 = -y, -4*y + 4 = -3*a + x. Does 3 divide -1 - (-1)/(-2)*y*-8?
False
Suppose h + 2*b = -57, -2*b - 318 = 5*h - 3*b. Let m = 65 + h. Suppose -m*n = -5*x + 373, 8*x - 312 = 4*x + 5*n. Does 6 divide x?
False
Let g(m) = 162*m - 8081. Is 35 a factor of g(86)?
False
Suppose 18*o - 41707 = 31949. Is 124 a factor of o?
True
Suppose 0 = -3*f - 3*l - 1728, 8*f = 12*f + l + 2310. Let q = -364 - f. Is 13 a factor of q?
False
Suppose 3*t - 218 + 218 = 0. Let l(z) = z**3 + 2*z**2 + 4*z + 185. Is 8 a factor of l(t)?
False
Let o be 2/10 + (7 - 812/35). Let p(m) = 2*m**2 - 13*m - 141. Is 31 a factor of p(o)?
False
Is (-6 + (-36306)/(-24))/(9/24) a multiple of 82?
True
Suppose 2*q + 10 = 38. Let g(p) = -27 - q*p + 9*p - 10*p - 7*p. Is g(-6) a multiple of 6?
False
Let j = -702 + 879. Suppose -16*h + 195 = -15*h + 5*w, h - w = j. Is h a multiple of 3?
True
Let t(g) = -g**3 + 76*g**2 - 387*g - 205. Is 221 a factor of t(54)?
False
Let s be (-4)/24 - 3/18*-11755. Suppose -8*u - 463 = -s. Is u a multiple of 17?
True
Let y = 637 + -1536. Let k = -624 - y. Let d = -173 + k. Does 11 divide d?
False
Let o(z) = 15*z + 32. Let t be o(8). Suppose -t + 392 = -4*c. Let p = -17 - c. Is p a multiple of 24?
False
Let n = 5312 + -2949. Does 30 divide n?
False
Let y(i) = 9*i**2 + 2*i + 603. Is 10 a factor of y(19)?
True
Let q be -740 + -3 + -7 + 1. Let l = 1317 + q. Does 14 divide l?
False
Let f(m) = -346*m**2 + 344*m**2 + 44 + 2*m + 211. Does 4 divide f(0)?
False
Let g be (1 - -4)*((-36)/5)/(-6). Does 6 divide (-2)/(218/(-36) + g)?
True
Let m(i) = -i**3 - 4*i**2 - 5*i. Let a be (56/(-12))/(114/27 - 4). Let c be 10/3*a/14. Is m(c) a multiple of 5?
True
Let g = -16 + 18. Let c be 89*(3 - g)/1. Suppose 5*w - 409 = -c. Is 8 a factor of w?
True
Let n(q) = -3*q**3 + 3*q - 1. Let p be n(-3). Let k = 116 - p. Suppose 4*t - 5*f = 116, -4*t = 3*f - 39 - k. Is 12 a factor of t?
True
Suppose 15*a + 310 = 10*a. Let b = a - -112. Let k = b + -4. Does 23 divide k?
True
Let q = 11654 + -4814. Is q a multiple of 45?
True
Let f(s) = 6*s**2 - 250*s + 148. Does 39 divide f(55)?
False
Let h be 400 - 2*(-7)/((-14)/(-3)). Let p = -214 + h. Suppose -11*v + 14*v = p. Does 4 divide v?
False
Suppose -4*s + 2*w = -2*s - 1728, -2*w + 3480 = 4*s. Suppose -3*m - s = -3*j + m, -5*m - 271 = -j. Does 36 divide j?
False
Suppose -84747 + 29892 = -5*p - 5*y, 4*y = -2*p + 21940. Is 52 a factor of p?
True
Suppose 22*r - 78 = 21*r. Suppose 5*w - 349 = -4*h, r = -4*w - 3*h + 357. Is w a multiple of 3?
True
Let n(p) = -9*p**2 - 7*p + 6. Let o be n(5). Let r be -1 - o/4*(1 - -1). Suppose 6 = -4*z + r. Is 15 a factor of z?
True
Is (468/(-24) - -9)/((-2)/8) a multiple of 7?
True
Let v(q) = 553*q + 2. Let x be v(6). Suppose 49*c = 53*c - x. Suppose -5*f + 2*t = -c, -2*t - 830 = -5*f + t. Is 16 a factor of f?
False
Suppose 57 = g + 44. Let v(m) = 21*m + 79. Does 16 divide v(g)?
True
Let z = -11385 + 17987. Is z a multiple of 9?
False
Let n = 127 + 212. Let t = n + 68. Does 24 divide t?
False
Let m be 81 - (-1)/(-2)*6. Is 260/m*(-1)/((-4)/126) a multiple of 21?
True
Let j(s) = -s**2 + 4*s + 4. Let u be j(4). Suppose -u - 11 = 5*i. Does 8 divide (-131)/i + 26/(-39)?
False
Let c(i) = -2*i + 14. Let m be c(6). Is 370 - 2 - 4/(-2 - m) a multiple of 7?
False
Let t(m) = 21*m + 144. Let f be t(-16). Let i = 2 - f. Is 3 a factor of i?
False
Let t = -652 + 687. Suppose 4*a + t*x - 39*x - 364 = 0, x = 5*a - 451. Is a a multiple of 15?
True
Let h be 1/((-27)/(-6)) + (-836006)/387. Let p = -1416 - h. Is p a multiple of 62?
True
Let u = -1584 - -1459. Let d(c) = -7*c - 3. Let x be d(6). Let g = x - u. Is 10 a factor of g?
True
Let j(f) = -320*f**2 + 7*f - 3. Let d(p) = 1280*p**2 - 29*p + 14. Let s(q) = -2*d(q) - 9*j(q). Is s(-1) a multiple of 36?
True
Suppose 3 = -p, 0*j + 2*p = 3*j + 6. Let z be 3/(-1) - 6*(j + 3). Suppose 4*f = 4*d + 940, z*f - 2*f = -2*d + 250. Does 40 divide f?
True
Let k = -9 + 16. Let i be (-2 + (15 - -4))/(-1). Let v = k - i. Does 14 divide v?
False
Suppose -48*d - 7 = -47*d. Does 10 divide 411 - -5 - (d - -9)?
False
Let d(i) = 12*i - 21*i - 12 + 13*i + i**2. Let y be d(-20). Suppose 0 = 2*r + 2*r - y. Does 11 divide r?
True
Is 31 a factor of ((-9765)/(-24 - -17))/((-12)/(-16))?
True
Suppose -3*j - 4*b + 25 = 0, -j - 6*b + 20 = -7*b. Suppose j*t - 2215 = 380. Does 21 divide t?
False
Suppose 2*g = 6, -4*n + 9*g = 8*g - 9. Suppose -n*a = 4*d - 824, a - 4*a + 3*d + 852 = 0. Does 56 divide a?
True
Let v(k) = k**2 + 12*k + 232. Is 26 a factor of v(-11)?
False
Let p be 5*(-4)/(4 + -8). Suppose -3*v - p*m = -357, -5*v - 2*m + 101 + 475 = 0. Is v a multiple of 19?
True
Suppose -11 + 49 = 3*m - 4*z, -2*m = 2*z - 2. Let o = m + -1. Suppose 0 = 4*k - o*x - 59, 2*x - 52 - 14 = -4*k. Is 4 a factor of k?
True
Suppose 60*i - 10403 - 302797 = 0. Is i a multiple of 6?
True
Does 9 divide 2/(-4) - 0 - (-23244778)/452?
True
Suppose -4*u - 4*f - 28 = 0, 3*f + 2*f = u - 5. Is (-2691)/u + 8/(-10)*-1 a multiple of 18?
False
Let g(w) = -520*w + 21. Let h be g(-2). Suppose -19*r + 16*r = 4*q - 1060, -5*q = 3*r - h. Is r a multiple of 32?
True
Let a(s) = s**3 + 22*s**2 + 42*s - 74. Is 7 a factor of a(-18)?
False
Suppose -35*q - 64*q + 2376 = 0. Is q a multiple of 4?
True
Let z be (-1)/(1/(-2)) + 5 + 6. Suppose z*j - 3007 = 360. Does 44 divide j?
False
Suppose -6*f + 71 = -5*d - 8*f, 3*d + 6*f = -57. Suppose -5*g - 9 = -4. Let y = g - d. Is y a multiple of 8?
False
Is 23 a factor of (1814 + -3)/(9 - 34*45/171)?
False
Let x be 986/(-8) - ((-110)/40)/11. Let k = 292 + x. Is k a multiple of 19?
False
Let j = -218 + 383. Let k = j + 376. Is k a multiple of 19?
False
Let k(f) be the second derivative of 24*f**3 + 159*f**2/2 - 9*f. Let j(i) = -9*i - 10. Let a(t) = 33*j(t) + 2*k(t). Is 27 a factor of a(-5)?
False
Suppose -79*j + 2441864 = 785945. Does 17 divide j?
True
Suppose 28*j - 38*j + 7220 = 0. Suppose 0 = -21*l + 517 + j. Does 36 divide l?
False
Suppose 39*l - 45*l - 5130 = 0. Le