ose 0 = -13*b - 104 + 1820. Suppose 2*z - 13*z + b = 0. Suppose -15*x = -z*x - 216. Does 13 divide x?
False
Let z be 24 + (0 - 8)/(-2). Let r be -1 + 11 - (z + -24). Suppose m - r*m + 265 = 5*q, m - 69 = -5*q. Does 23 divide m?
False
Let k(s) = -2*s**2 - 129*s**3 + 2 + 125*s**3 + 7*s**2 - 8*s. Let b be k(3). Let m = 122 + b. Is 37 a factor of m?
True
Suppose 7031908 = 55*l + 444*l. Is 69 a factor of l?
False
Suppose 5*g - 6 = 8*g. Let p(f) = -f**3 - 1. Let s be p(g). Suppose 5*r - 52 = -2*i, -2*i - r - 103 = -s*i. Does 7 divide i?
True
Let x(p) = -2*p**2 - 4*p + 4. Let h = 34 - 38. Let t be x(h). Does 17 divide 9/t + 391/4?
False
Let n = 2202 - -114. Is n a multiple of 56?
False
Suppose -2*i + 1211 = -5*s, 5*s + 902 = -5*i - 323. Is s/(15/(-20)*1) a multiple of 18?
True
Suppose 0 = 5*f - 18*f - 52. Is 2 a factor of ((-42)/f)/((-366)/96 + 4)?
True
Does 18 divide (1760/528)/((-2)/(-582))?
False
Let t(r) = -2*r**3 - 13*r**2 - 14*r - 32. Let u be t(-6). Suppose -u*a + 57 = -15*a. Is a a multiple of 5?
False
Let o = -32867 - -38439. Is 4 a factor of o?
True
Let m = -1511 - -2537. Suppose 3*o + m = 6*o. Does 9 divide o?
True
Let q(o) = 57*o + 92. Does 58 divide q(68)?
False
Suppose 0 = -9*h + 7*h + 702. Suppose -z = 2*t - 171, -h = -5*t - 4*z + 75. Suppose c + t = 2*j + 6*c, -3*c - 54 = -j. Does 16 divide j?
True
Suppose w = 4*y - w - 540, 0 = 5*y - 5*w - 675. Let s be 6/27 + 20/y*12. Suppose -93 = -r - g, -s*r + 32 + 153 = g. Does 13 divide r?
False
Let r be (-6365)/152 - 1/8. Let f = 30 - r. Does 2 divide f?
True
Suppose l + 5*d - 8 - 3 = 0, 5*l - 4*d - 26 = 0. Suppose -6*a - l = -9*a. Suppose -a*x + x = -87. Does 12 divide x?
False
Does 96 divide (504/6)/(23/736)?
True
Let w = -1810 + 3251. Does 7 divide w?
False
Let q = 6379 + -5190. Does 7 divide q?
False
Let v(k) = 10 + 5*k + 26 - 9. Let o be v(-11). Let l = 71 + o. Is 6 a factor of l?
False
Suppose 0 = 130*n - 138*n + 5352. Suppose 22*x - 17*x - 2*z - n = 0, 3*x = 4*z + 407. Is 9 a factor of x?
False
Let c(t) = t**3 - 4*t**2 + 12. Let l be c(8). Let u = -208 + l. Does 23 divide u?
False
Suppose -2*g + 14*g = -25*g + 128908. Is g a multiple of 52?
True
Does 210 divide 24 + -8 - 33 - -6747?
False
Let a be 13 + -13 + (0 - 1). Let i be a/((-6)/2)*9. Suppose -i*s + 4*s = 8. Is 6 a factor of s?
False
Suppose -771 = -13*z + 334. Suppose -z*x - 6348 = -91*x. Does 62 divide x?
False
Let z(w) = 74*w - 44. Let m be z(6). Let p(g) = -267*g**2 + 3*g + 2. Let v be p(-1). Let i = v + m. Is 22 a factor of i?
True
Let x = -37 + 87. Is ((-40)/x)/((-6)/1365) a multiple of 2?
True
Suppose -5*r - 3*c = 228, 0*r - 2*c = -2*r - 88. Let p = 64 - r. Is 3 a factor of p?
False
Suppose -3*b + i = -5 + 2, -5*i = 5*b - 25. Suppose -b*u = 5*u - 693. Does 11 divide u?
True
Suppose 5*c + 13025 = 5*n, -4*n + 2*c + 6970 = -3452. Does 4 divide n?
False
Let z = 46 - 22. Suppose -z = -2*c - 6*c. Suppose c*d - 4*d = -67. Does 8 divide d?
False
Let m(g) = g**3 + 16*g**2 + g + 16. Let d be m(-16). Let b be (-1674)/(-8) - 66/(-88). Suppose -10*a + b + 40 = d. Is 7 a factor of a?
False
Let y be -1*(-2 + 20)*(6 - 5). Let c be 0/(-2) + y/(-9). Suppose -3*r + 3*i = c*r - 91, 0 = -2*i - 4. Is r a multiple of 17?
True
Let r be 5 + 2200/(-5) + 5. Let w = 646 + r. Does 24 divide w?
True
Let t be ((-27)/4)/((-123)/24 + 5). Suppose 2*i + 5 = -x, 2*x + x - 2*i - 17 = 0. Suppose -2*g + 4*d = -0*g - t, 0 = x*d - 15. Does 4 divide g?
False
Suppose -4*b - 8738 - 11020 = -3*v, -5*b = -v + 6564. Is 6 a factor of v?
True
Let x = -487 - -901. Let v = x + -292. Does 25 divide v?
False
Suppose 130*q - 1320 - 4386 = 129*q. Does 9 divide q?
True
Let w be -3 - -51 - (-6 - 0). Is 42/w - 4/(-18) - -560 a multiple of 33?
True
Suppose 33*f = 47713 + 409601. Is 87 a factor of f?
False
Let a be ((3 - 0) + -13)*4/(-10). Let i(y) = 3*y**3 + 5*y**2 - 6*y + 1. Let t be i(a). Let c = -53 + t. Does 29 divide c?
False
Let q = 138 - 430. Let v = q + 488. Does 49 divide v?
True
Suppose -2861 = -17*u + 437. Suppose b + 4*n = -12, 0*n = 3*n + 12. Let w = u - b. Is w a multiple of 36?
False
Suppose -5*k + 6 = -2*k. Suppose -k*c - 2*c = -16. Suppose -70 = -c*x + 30. Does 5 divide x?
True
Let x be (-70)/(-4)*(-5 - 174/(-30)). Let i = 36 + x. Is i a multiple of 25?
True
Suppose 6*j = 107 - 5. Is 71 a factor of (18/8)/(((-51)/(-936))/j)?
False
Let q(y) = 18 - 17 - 13*y - 7 - 10. Let f be -2 - (2*4 + 2). Is q(f) a multiple of 14?
True
Let s(q) = 2*q**2. Let z be s(0). Suppose z = 2*k - 16 + 8. Suppose -5*l + 2*b = -118, -3*b + 84 = k*l - 2*b. Does 3 divide l?
False
Let s(j) = 11*j**2 - 8*j + 33. Does 44 divide s(7)?
False
Let t be (6/(-8))/((-4)/(-32)). Let x(j) be the second derivative of -3*j**3 - j**2/2 + 233*j. Does 9 divide x(t)?
False
Let n be 1153 - (442/(-78) - (-4)/6). Let o = n + -666. Is 41 a factor of o?
True
Let w = 109 - -196. Let y = -134 + w. Suppose 11*h = 181 + y. Is h a multiple of 5?
False
Let u(r) = r**3 - 3*r**2 - r - 9. Let z be u(4). Suppose -4*m - 25 + 5 = 0, 0 = z*n - m - 8. Is 21/n*5/3 a multiple of 6?
False
Suppose -146 + 94 = 4*b. Let h(r) = -r**3 - 13*r**2 - 21*r - 21. Does 50 divide h(b)?
False
Let z(p) = -7*p - 4. Let n(u) = -7*u - 4. Let f(w) = -3*n(w) + 4*z(w). Let g(c) = c + 1. Let x(r) = -f(r) - g(r). Is x(6) a multiple of 8?
False
Suppose 3*n = -8*n - 55. Let h be n - (5 + -12) - -4. Is 8 a factor of (81/(-6))/9*(-92)/h?
False
Let s(x) = x**3 + 38*x**2 - 40*x - 31. Let r be s(-39). Is 3 a factor of 122 - (-4 + 0/r)?
True
Suppose -3*v = -5*v + 418. Does 3 divide 6 + 35/(-6) - v/(-6)?
False
Let p(m) = 58*m + 10. Suppose 13*g + 5*r = 8*g, 0 = -2*r - 8. Is p(g) a multiple of 22?
True
Let s = 1888 + -1559. Is 47 a factor of s?
True
Let s(y) = -21*y + 6. Suppose 11 = -5*x - 29. Let a be s(x). Suppose 0 = -5*m + 3*t + a, 4*m = m + 2*t + 104. Is 12 a factor of m?
True
Suppose 0 = 5*x - 385 - 170. Let k = x - -32. Let v = k + -102. Is 10 a factor of v?
False
Let p be ((-12)/3 - -5) + 2. Suppose -57 - 60 = -p*s. Is s a multiple of 3?
True
Suppose 4041 = 5*p - 639. Is p a multiple of 104?
True
Let u be 3/6 - (-203)/58. Let r(b) = 5*b**3 - 6*b**2 + 17*b - 49. Does 6 divide r(u)?
False
Let h = -217 + 203. Let j(n) = -29*n + 163. Does 24 divide j(h)?
False
Let u be 5/(-30) + 3/(18/(-257)). Let n be -5 + 27/5 + u/(-5). Suppose n + 71 = f. Does 8 divide f?
True
Let m be -18*(-84)/144*(-8)/6. Is ((-296)/20)/((m/(-455))/(-1)) a multiple of 6?
False
Let o = -167 - -118. Let k = 157 + o. Is 11 a factor of k?
False
Suppose 164*b = 166*b + 602. Let q = 347 + b. Does 5 divide q?
False
Let g = 20659 + -9769. Is g a multiple of 99?
True
Is 2 a factor of 1/(-4) + (-265610)/(-40) + 29?
False
Is (-7)/2 + 211950/100 a multiple of 22?
False
Let z = 971 - 952. Suppose 0 = 2*n - 3*n + 975. Suppose -z*o = -4*o - n. Is o a multiple of 5?
True
Does 8 divide (234873540/143)/54 - (2 - 24/13)?
True
Let p(z) = 10*z**2 + 3*z + 10. Let a be 1*((-30)/(-6) + 0). Is 11 a factor of p(a)?
True
Suppose i = 4*a + 977, 1156 = -2*i + 3*a + 3135. Let j = i - 745. Is 42 a factor of j?
True
Suppose 994*j - 79548 = 973*j. Does 15 divide j?
False
Let i = -262 - -262. Suppose 7*l - 4*l = 12. Suppose -2*a + 150 = l*g, a - 76 = -i*a - g. Is a a multiple of 11?
True
Let d = -62 - -65. Suppose -2*b + 155 = -3*f, -b - 165 = d*f - 4. Let y = f + 98. Is y a multiple of 10?
False
Let y = -72 + 45. Let f = y - -211. Is f a multiple of 23?
True
Suppose -d = -5*z + 44, -2*z = 3*z + d - 36. Let q = z - -142. Is 6 a factor of q?
True
Let z be (3 - -51)*(44/(-12) - -3). Let a be 6/(-14) + (z/21)/(-4). Suppose -8*d + 164 - 4 = a. Does 5 divide d?
True
Let k be (4 + 540/(-8))/((-1)/(-2)). Does 9 divide 48/8 - (k - 2)?
True
Suppose -97*b = -283627 - 176444. Is b a multiple of 93?
True
Let m = 2983 + -1943. Is 8 a factor of m?
True
Let v be -4 + (-330)/21 + 2/(-7). Does 32 divide (1024/v)/((-18)/45)?
True
Let w(l) = 945*l**2 + 16*l - 4. Is 15 a factor of w(4)?
True
Let j = -655 - -623. Suppose -4*o - 23 - 1 = 0. Does 2 divide (-152)/j + o/8?
True
Suppose 3*a - 7*a - 4*f = 12, -3*a - 2*f = 6. Suppose 2*v - 301 = 5*c - 1373, -5*c - 4*v + 1096 = a. Is c a multiple of 18?
True
Does 28 divide 5388 + (-16 - (12 + -17))?
False
Let u = -26 + 29. Suppose 3*y + 5*g = 0, u*y - 6*g = -g. Suppose y*k - 3*k + 26 = -2*i, 4*k 