. Is 9 a factor of g?
False
Suppose -9*t + t + 16 = 0. Suppose -t*j - 142 = -2*k - 0*j, 4*k + 4*j = 276. Is 10 a factor of k?
True
Let h(n) = 4*n**3 - 7*n**2 - 7*n + 4. Suppose 29*l - 33*l + 8 = 0. Let g(b) = -4*b + 12. Let x be g(l). Is 24 a factor of h(x)?
True
Let q be (8 + (4 - 9))*(-940)/(-6). Let m be ((-1)/2)/((-4)/8). Does 10 divide m/(-6) + q/12?
False
Suppose -8 = -4*c - 3*s, -2*s - 8 = -5*c + 2. Suppose 3*p - v + 46 = 0, -c*v - 7 = 3*p + 36. Let k = p - -32. Is k a multiple of 6?
False
Let q be (10/4 - 0)*640/200. Suppose 593 - 3553 = -q*s. Does 47 divide s?
False
Suppose -488 = -7*s + 247. Suppose -3*t + 18 = n - s, -3*t = -5*n + 597. Suppose -3*u - n = -6*u. Is 8 a factor of u?
True
Let q(p) = -2*p**3 - 9*p**2 + p + 8. Let y = -6 + 10. Suppose 2*j + 0*c + 3*c = 3, -y*c = -20. Is 41 a factor of q(j)?
False
Let o = -344 + 374. Suppose -10*k - 5040 = -o*k. Is 36 a factor of k?
True
Let q(s) = -18*s**3 - 24*s**2 - 14*s - 17. Is q(-5) a multiple of 13?
True
Suppose -11*j = -12661 + 2145. Let b = 6 + j. Does 13 divide b?
True
Is (-5)/(-2) - (-269975)/90 - 8/36 a multiple of 19?
True
Does 30 divide -4 + -2 + 40/6 + (-1642)/(-3)?
False
Suppose -2731 = -b - 4*a + 2146, -3*a + 19625 = 4*b. Does 54 divide b?
False
Let w(t) = t**3 - 6*t**2 + 2*t - 9. Let s be w(6). Let c(n) be the first derivative of 5*n**2/2 - 5*n + 33. Is c(s) a multiple of 2?
True
Suppose 1404 = 8*k - 14*k. Is (k/45)/((-1)/65) a multiple of 13?
True
Let y = -27 + 25. Let l be (-1)/y + 1/2. Is 20 a factor of -1 - 1/(l/(-81))?
True
Let v(r) = -9*r + 892. Is v(-72) a multiple of 11?
True
Let q = -300 + 7076. Is 35 a factor of q?
False
Let l = 4468 + -4290. Does 4 divide l?
False
Does 20 divide 15 + -12 + 0 - -2619?
False
Let u(i) be the first derivative of 106*i**3/3 - i**2/2 + i - 51. Let o = -13 + 12. Does 36 divide u(o)?
True
Let t(d) = 2*d + 11. Suppose 7*s - 9*s + 8 = 0. Let b be t(s). Let l = 22 + b. Is 13 a factor of l?
False
Suppose -10 = 4*g - 18. Let y be 4/4 - (g + 0). Is 3 a factor of (-46)/(-2) - (4 + y)*1?
False
Let s = 866 - -310. Suppose -1505*i = -1498*i - s. Is 14 a factor of i?
True
Let k(v) = -102*v + 43. Let a(w) = -w**3 - 11*w**2 - 10*w - 4. Let q be a(-10). Is 10 a factor of k(q)?
False
Let f be (-1815)/7 + -7 + 459/63. Let b = -37 - f. Is b a multiple of 41?
False
Suppose v - 10189 = 2*r, 10140 = v - 6*r + 11*r. Does 37 divide v?
True
Let l(d) be the third derivative of d**5/60 + d**4/8 - 8*d**3/3 - 49*d**2. Is 5 a factor of l(5)?
False
Let w be 1*74*25/25. Let j = 58 - w. Let i = 45 - j. Is i a multiple of 10?
False
Let b be (-2)/(-3)*11/((-44)/(-4506)). Suppose 5*s + 5*c - 950 = 0, 0 = -4*s - 0*s + 5*c + b. Does 7 divide s?
True
Let m(n) = 4*n**2 - 3*n + 3. Let z(u) = u**2 + 1. Let t(l) = 6*l**2 - 9*l - 22. Let q(k) = t(k) - 5*z(k). Let v be q(11). Is m(v) a multiple of 31?
False
Let i(k) = 4*k + 25. Let z be i(-5). Suppose -z*q - 18 = 3*s, 3*s + 0*s + 3*q + 18 = 0. Let x(a) = -a**3 - 2*a**2 + 3*a + 10. Is 40 a factor of x(s)?
False
Let q(a) be the third derivative of 0*a - 1/60*a**5 + 0 - 5/8*a**4 - 7/3*a**3 - 9*a**2. Does 20 divide q(-9)?
True
Let w(i) = 12*i**2 + 14*i - 22. Is 2 a factor of w(4)?
True
Suppose 0 = p + 6*p - 21. Let j be (-6)/p*(-3 - (-6)/4). Is 11 a factor of (-798)/(-70) + j/5?
False
Suppose -26*c + 4327 = -5579. Suppose 2*i - c = -5*a, 4*a - a - 3 = 0. Does 6 divide i?
False
Let p = -101 - -97. Suppose 2*s + 58 = -3*t, 9*t - 2*s = 4*t - 70. Is (-836)/t - p/(-16) a multiple of 17?
False
Suppose 236*j - 1540145 = 214670 + 1162381. Is j a multiple of 22?
False
Suppose 14*q = -12 - 72. Let y(a) = 5*a**2 + 21*a + 55. Is 13 a factor of y(q)?
False
Let b = 50107 + -23487. Is b a multiple of 20?
True
Suppose 90552 = 1094*g - 1086*g. Is 78 a factor of g?
False
Let q(u) = -59*u + 44. Let m be q(-6). Let c = m + -50. Is c a multiple of 29?
True
Suppose -92 = -54*t + 53*t. Suppose -4*u - t = -488. Is u a multiple of 57?
False
Suppose 9*a = 5*a + 20. Suppose -z - 2 = -a. Is 28 a factor of 37/1*z - -1?
True
Let b(k) = -k**2 - 33*k - 182. Let q be b(-26). Suppose 5*h + 91 = 2*n, -3*n = -0*h + 4*h - 125. Suppose l - n - 25 = q. Is 17 a factor of l?
True
Let g = -129 + 126. Let m(y) be the third derivative of -y**4/12 + 5*y**3/3 + 4*y**2. Does 16 divide m(g)?
True
Suppose 21*t = 19*t - y + 4109, -2037 = -t + 3*y. Is t a multiple of 18?
True
Suppose 0 = -3*g - f + 59, 7*g - 3*g - 67 = f. Suppose 14*x + 160 = 4*i + g*x, 2*x = -i + 45. Is 3 a factor of i?
False
Suppose -w - 4944 = -3*p - 18222, -p = -5*w + 66334. Does 4 divide w?
False
Suppose 24 = 2*l - 6. Let g = l + -12. Suppose 22 = -a + g*a. Does 3 divide a?
False
Let g be 40/220 + 108/11. Let x = 229 - g. Suppose 5*l - 550 = 7*p - 2*p, 0 = 2*l - p - x. Is 14 a factor of l?
False
Let o = 502 - 487. Suppose 104*u - 99*u = -o, -5*w = -2*u - 126. Is 2 a factor of w?
True
Is 48 a factor of 41 - (-91)/(-52)*-4?
True
Suppose w = -5*j - 5, -11 = 2*j + 4*w + 9. Suppose 2*z - 10 = j, 5*s = 2*s + z + 79. Does 4 divide s?
True
Suppose -304854 = -154*x + 8228. Is 19 a factor of x?
True
Does 5 divide (15/3 + 690/14)*14?
True
Let b(m) = -4*m + 5*m**2 + 28 - 28*m**2 - 3*m**2 - 22*m + m**3. Is b(27) a multiple of 11?
True
Suppose 2*g - 4 = 0, -2*g - 368 = -5*i - 13892. Let k be i/(-40) + (-4)/(-10). Suppose 5*n - 30 = -c, -n + k = 2*c + n. Is c a multiple of 7?
True
Let f(p) be the third derivative of p**5/20 - 5*p**4/12 + p**3/6 + 2*p**2 + 42*p. Let m = 1 + 3. Does 9 divide f(m)?
True
Suppose s + 8 = 16. Suppose 0 = s*l - 1966 + 526. Is 10 a factor of l?
True
Suppose 23 + 33 = 8*c. Let d(z) = 7*z**2 + 9*z - 29. Is 21 a factor of d(c)?
False
Let q be (4/(-3))/((-41)/(-123)). Let u(j) = -63*j - 12. Does 16 divide u(q)?
True
Suppose 26*z - 210 = 32*z. Let q(d) = -20*d + 174. Is 23 a factor of q(z)?
True
Let d be (-33)/(4 + -1) + 2/(-2). Let x = d - -10. Is 26 - -14 - x*1 a multiple of 14?
True
Suppose 2*o = -4*z + 4680, 48*o - 43*o = 3*z - 3510. Is 26 a factor of z?
True
Let z(x) = x - 11. Let i be z(5). Is 17 a factor of (606 - i)/4 - 3?
False
Suppose 35*w + 244*w - 244404 = 0. Is 12 a factor of w?
True
Let t = -47 + 50. Let w be t*(4 + 32/(-12)). Suppose -x + 3*a + 11 = 0, -4 = -w*a + 8. Is x a multiple of 5?
True
Let d be (2500/(-30) + -2)/(4/(-18)). Suppose -d - 251 = -2*c + 3*l, 3*l + 316 = c. Is 62 a factor of c?
False
Let a be 54/162 + 478/6. Suppose 4*w + 0*t = 2*t + 120, -t = 3*w - a. Is w a multiple of 4?
True
Suppose 0 = 2*g - 3*q - 22, 0 = 11*g - 9*g + 2*q - 2. Suppose 0 = -g*z + 3*r + 185, -3*z + 5*r = -30 - 81. Is 37 a factor of z?
True
Let v = 23290 + -4722. Is 8 a factor of v?
True
Let i(o) = o**3 + 11*o**2 - 11*o - 16. Let k be 10*((-320)/225 - (-2)/9). Let b be i(k). Let x = 38 + b. Is 6 a factor of x?
False
Let l = -13 - -13. Suppose u + l = 2. Suppose -3*m + 130 = -u*d, 5*m + 3*d = -d + 202. Is 6 a factor of m?
True
Suppose -3*m = 5*n - 35, 4*n + 11 = 5*m + 2. Is 13 a factor of (13/n)/(((-4)/(-240))/1)?
True
Suppose -4*a + 2*z - 2 = 0, -5*z - 16 = -2*a + 3. Is (611 + 3/a)*(-10 + 11) a multiple of 50?
False
Suppose -10*h + 13*h - 16954 = -2*a, -3*h - 12 = 0. Does 117 divide a?
False
Let f be 4/(-18) + (-103004)/(-198). Suppose z + 5*s - 169 = 0, -5*z - 2*s + f = -2*z. Is 3 a factor of z?
True
Let w be -2 - ((-12)/4 + 1). Suppose -3*p + 3*z - 2*z + 9 = w, -5*p + 11 = -3*z. Is (4 + p + -2)/1 a multiple of 3?
True
Let h = -634 + 640. Does 42 divide (-2530)/(-15) + h/(-9)?
True
Suppose -45 = -5*b, 0 = -2*o + b - 6*b + 12693. Is 60 a factor of o?
False
Let m(d) = d**3 + 6*d - 9. Let z be m(8). Let t = z - 388. Is 10 a factor of t?
False
Let s be 35303/(-129) + (-14)/6. Let w = 289 + s. Is w even?
False
Let n(w) = 6*w**2 - 18*w. Let o be n(3). Suppose -3*g - y + 180 - 58 = o, -2*g + y = -78. Does 5 divide g?
True
Let i(l) = -l**3 - 3*l**2 - 3*l + 6. Let y(q) = 7*q - 27. Let f be y(3). Is 23 a factor of i(f)?
False
Suppose -22*k + 26638 = -18*k + 7*c, 12 = 2*c. Is 20 a factor of k?
False
Let q(v) = -v**3 + 38*v**2 + 39*v - 208. Does 48 divide q(16)?
True
Let c(q) = -q**2 - 15. Let n be c(0). Let t(b) = -10*b + 220. Is 5 a factor of t(n)?
True
Let x = 8735 - 5988. Is x a multiple of 18?
False
Suppose -j = 3, 3*a + 2*j - 5*j = 270. Let k = a + -137. Does 9 divide (-1870)/k - (-6)/10?
False
Let y(w