- 2*t + 5*i = 141. Is 3 a factor of 8/t + 290/26?
False
Let k = 408 + -772. Let q = 640 + k. Suppose -3*d + q = 2*j - 60, 2*d = -5*j + 224. Is d a multiple of 14?
True
Let c = 23635 + -12594. Is c a multiple of 133?
False
Suppose 0 = -a + 655*d - 653*d + 310, 0 = a + 2*d - 338. Does 2 divide a?
True
Let z(v) = 87*v**2 - 124*v + 86. Does 122 divide z(16)?
True
Suppose 2*y - 2*g = 932, 0*g = -3*g - 6. Is 16 a factor of y?
True
Let u = 31 + 120. Suppose 2*r = c + 283, 3*c + 558 = 5*r - u. Does 14 divide r?
True
Let p(k) = 367*k**2 - 6*k + 32. Let t be p(4). Suppose -48*a = -42*a - t. Is 35 a factor of a?
True
Let l be (8 + -1 + 0)/((-13)/(-39)). Suppose 5*k + 371 - l = 0. Does 12 divide -8 + 11 - (-1 - k)/(-1)?
True
Let b(x) = -x**3 - 22*x**2 - 40*x - 56. Let g be b(-26). Suppose 8*r = g + 440. Does 20 divide r?
False
Let t(k) = 965*k**2 + 85*k + 174. Is 6 a factor of t(-2)?
True
Suppose l - 1 = 3*d - 6*d, d - 5 = -5*l. Suppose -7*m - 30 + 135 = d. Is 4 a factor of m?
False
Let r = 731 - -10431. Is 56 a factor of r?
False
Let l(k) = 329*k + 21. Let z be l(5). Suppose 2*r + 4144 = 5*o, -2*r = o + o - z. Is 83 a factor of o?
True
Let r(p) be the second derivative of -p**5/20 - p**4/4 - 5*p**3 + 2*p - 2. Is r(-6) a multiple of 18?
True
Suppose -4*j - t = 3, 2*j + 12 = 6*j - 4*t. Suppose j = 4*n + 3*u + 18 + 1, 3*u = 4*n + 13. Is 44 a factor of (-5 + 8 + n)/(2/(-88))?
True
Suppose 0*i - 5*i - 3*n = -22541, -4*n = -4*i + 18052. Is 4 a factor of i?
False
Let i(f) = -10*f**2 + 81*f + 9. Let h be i(8). Suppose -h*b - 2*b = -11248. Is 8 a factor of b?
True
Let c = 107 - 68. Let w(t) = -14*t**3 - t**2 - 6*t + 8. Let h be w(1). Let q = c - h. Is 13 a factor of q?
True
Let a(m) = m**2 + 5*m - 4. Let o be a(-6). Let z(y) = 3*y**2 - 3*y - 3*y**3 - 6*y**2 + y**3 + o*y. Is 11 a factor of z(-3)?
False
Let z(k) be the first derivative of 20 + k + 0*k**2 + 11*k**4 - 2/3*k**3. Does 23 divide z(1)?
False
Suppose 3 = -g + 2*g. Let b = 70 - -1455. Suppose 5*h = 4*z - b, g*h = 4*z + 4*h - 1543. Is 56 a factor of z?
False
Let b = -26571 - -52624. Is 64 a factor of b?
False
Let t = -78 + 78. Suppose t = 3*z - 12*z + 45. Suppose 5*h - 79 = 4*y - 399, -z*y = -3*h - 387. Is 10 a factor of y?
False
Let g(v) = -2*v**2 + 8*v - 10. Let i be g(3). Let k be 3 - (i - (-2 - -5 - 6)). Suppose 4*c + 344 = k*a, -3*a + 51 = 3*c - 195. Is a a multiple of 21?
True
Suppose 8*y - 4*y - 11944 = 0. Is 24 a factor of 3/(24/y) + 69/92?
False
Suppose 2*o = -5*k + 14704, 2*o = 2*k + 746 - 6622. Does 21 divide k?
True
Let w(a) = a - 29. Suppose 0*o = -b - 2*o + 27, 3*b = -2*o + 85. Let d be w(b). Is 77/(-2)*((-10)/5 - d) a multiple of 7?
True
Let a(v) = 209*v**3 - 14*v**2 + 39*v + 12. Does 45 divide a(4)?
True
Let c = 25 + -23. Suppose c*h = -143 - 61. Let l = 212 + h. Does 11 divide l?
True
Let t = 1907 - 825. Is t a multiple of 11?
False
Let s = 293 + -288. Suppose -5*w - 2*q = -398, -s*w - 148 = -7*w + 2*q. Is 60 a factor of w?
False
Let m(f) = 17*f**2 + 35*f + 16. Is m(12) a multiple of 43?
False
Let a = -596 - -1169. Suppose 0 = 15*g + a - 4008. Does 7 divide g?
False
Let z be 97*(-11)/2*(-11 + 13). Let t = -550 - z. Does 47 divide t?
True
Suppose -3*r = r - 3*q + 9, r - 3*q = -9. Suppose -g = 4*l - 43, r*l = -2*l. Is 5 a factor of g?
False
Let c(j) = 685*j**2 - 15*j - 18. Is c(-1) a multiple of 4?
False
Let b be -4*(-2)/(-2)*(-6 + -1846). Does 14 divide b/88 + 4/(-22)?
True
Let g be 3 - (10 + (-15)/5). Let z be ((-6)/4)/(3/30). Is (-10 - z)*(0 - g) a multiple of 10?
True
Let d(i) = 287*i - 5. Let o be d(-2). Let g = -262 - o. Suppose -4*z + k = -g, -3*z = 4*k - 174 - 78. Is z a multiple of 20?
True
Suppose 2*i + 5*b - 244 = 3*b, 5*b = 4*i - 470. Suppose -6*v + 120 = -i. Is v a multiple of 5?
True
Let c(r) = r**3 - 8*r**2 + 4*r + 4. Let v(z) be the first derivative of 2*z**3/3 + 3*z**2 + 8. Let s be v(-4). Does 12 divide c(s)?
True
Let j(u) = -u**3 - 15*u**2 + 13*u - 12. Let d be j(-9). Does 8 divide d/20*((-100)/(-3))/(-5)?
False
Suppose -3*q + 4*q - 57 = 0. Let m = 26 - q. Let t = 76 + m. Is 9 a factor of t?
True
Let m be ((-45)/(-12))/(0 + (-2)/(-8)). Suppose m = -p + 17. Suppose -3*f - 2*f = -4*a - 282, 4*f - p*a = 228. Is 55 a factor of f?
False
Suppose 0 = -p - 3*p + 860. Let s = -23 + p. Is 16 a factor of s?
True
Let z be (-2)/3 - (-6 + (-245)/21). Let b(m) = -m**3 + 15*m**2 + 33*m + 22. Is b(z) a multiple of 4?
False
Suppose -8166 = -6*l + 4032. Suppose -l = -40*c + 1007. Does 35 divide c?
False
Suppose -3*o + 4*i = -4075, -3*i + 3284 - 1943 = o. Is o a multiple of 11?
True
Let s = 496 + -588. Let h = s + 322. Does 23 divide h?
True
Let a(n) = n**3 - 8*n - 10. Let y be a(5). Suppose -4*k + 3*b + 255 = 0, 3*b + y = k - 0*k. Let z = 101 + k. Is 23 a factor of z?
True
Suppose 3*d - 1611 = -2*q + 553, -6 = -3*d. Is q a multiple of 33?
False
Let a = 17460 - 6579. Is a a multiple of 13?
True
Suppose -j - 126*j = -j - 601020. Is 10 a factor of j?
True
Suppose -26079 = 46*w - 821879. Does 20 divide w?
True
Suppose -3*s + 4987 = -2*m - 504, -2*m = 4*s - 7298. Does 63 divide s?
True
Suppose -5*z + v = -10*z - 147, z + 42 = 4*v. Is 4662/30 + 12/z a multiple of 18?
False
Let c(p) = -56*p**3 + p**2 + 5*p + 3. Let l be c(-1). Suppose 2*r + 3 - l = 0. Is r a multiple of 18?
False
Let q be ((-6692)/(-16) - 1/4)/2. Let c = q - 181. Is 2 a factor of c?
True
Let f(j) = 15*j + 110. Let q be f(-7). Suppose 2*p = -q*s + 458, -p = -5*s - 129 + 575. Is s a multiple of 8?
False
Let q be (3 - 1049)*3/(-6). Let d = 110 - q. Is (-16)/(-40) + 1/((-5)/d) a multiple of 26?
False
Suppose -50566 - 26342 = -13*z. Suppose 24*l - z = -5*l. Is l a multiple of 17?
True
Let r = -355 + 400. Is r/2*30/25*1 a multiple of 9?
True
Let p(a) = -12*a - 8. Suppose 8*i = 4*i - 24. Let u be 4/(16/i)*8. Is 17 a factor of p(u)?
True
Suppose 4779 = 44*m - 43*m. Does 8 divide m?
False
Let m be (-20)/35 + 39776/28. Let h = m - 965. Suppose 4*p - 207 = 3*s + 246, -s = -4*p + h. Does 45 divide p?
False
Let p = -75 + 10. Let i(g) = -90*g - 835. Let y be i(-9). Let w = y - p. Is w a multiple of 10?
True
Let j(h) = -139*h**2 + 4*h + 2. Let c be j(-4). Let a = -1237 - c. Does 91 divide a?
True
Suppose -2*h + h - 5*s = -1209, 2*s - 1200 = -h. Suppose -8*c = -6*c - 4, -2*y = -5*c - h. Is 14 a factor of y?
True
Let u(k) = 3*k - 22. Let z be u(7). Is 1775/100*(19 - z) a multiple of 14?
False
Let p be (2/(-10) + -4)/((-2)/50). Suppose 0 = -5*b + 5*o + p, o - 17 = 2*b - 54. Let s = 42 - b. Does 5 divide s?
False
Suppose -2*n + 4*f = 67 + 39, -f + 5 = 0. Suppose -182*q = -165*q + 1309. Let d = n - q. Is 17 a factor of d?
True
Suppose n + 56 = -a + 1405, 4057 = 3*a + 5*n. Does 64 divide a?
True
Let f be (-176)/(-6)*9/(-6). Let l = 325 - 165. Let c = l + f. Does 29 divide c?
True
Let k = -390 + 398. Let j = 69 - k. Is j a multiple of 2?
False
Let s(o) = -6*o**2 + 334*o - 86. Is s(40) a multiple of 113?
False
Suppose 0 = a + p - 16842, 5*a + 26*p - 84290 = 31*p. Does 186 divide a?
False
Suppose 14*x - 13292 = 20392. Does 6 divide x?
True
Is 5 a factor of (-26)/117 - (-7 + 150477/(-27))?
True
Is (16297/(-172))/((-2)/104) a multiple of 91?
False
Suppose 250*m - 585312 = 224*m. Does 24 divide m?
True
Let u be 1/(0 - -1)*(1 - -1). Does 41 divide (560/50)/(u/110)?
False
Suppose 3*l - 21 = 3*n, 0 = -l - 0*l + 2*n + 7. Suppose l*h + 2*h + 198 = 0. Is 15 a factor of (-4)/(((-7)/h)/(-7))?
False
Let f(k) = -2*k + 27. Let h be f(11). Suppose -j - h = -5*t, 0 = -5*j + t - 1. Suppose -2*c - 8 + 36 = j. Is c a multiple of 7?
True
Suppose -3*s - 4*w = -5*w - 235, 2*w = 4*s - 314. Suppose 2*x - 86 = -s. Suppose -5*r = x*p - 317, -211 - 182 = -5*p - 3*r. Is p a multiple of 39?
True
Suppose w + 26 - 29 = 0. Let n(l) = 5*l**2 - 24*l**2 - l**3 + 12*l**2 - w*l - 13 - 8*l. Is n(-6) a multiple of 17?
True
Let x(u) be the first derivative of -19*u**2 - 121*u + 96. Does 7 divide x(-8)?
False
Suppose -v - 27 = -51. Let g(w) = -w**2 + 33*w - 144. Does 3 divide g(v)?
True
Let w = 21296 + -14990. Is 49 a factor of w/10 + 52/130?
False
Suppose -17 = -t - 0*t + 4*z, -z - 17 = 4*t. Is (7*t)/(30/(-290)) a multiple of 29?
True
Let r(c) = 58*c - 60. Let s(t) = -29*t + 31. Let f(i) = -6*r(i) - 13*s(i). Is f(3) a multiple of 7?
False
Suppose 15 = 3*z - 30. Suppose 3*q + g = -z, q + 0 +