 Suppose 304 = y*d - 168. Is 15 a factor of d?
False
Suppose 38 - 11 = 9*z. Let b(m) = -m**3 + 2*m**2 - 3*m + 2. Let i be b(z). Let s = -11 - i. Is 5 a factor of s?
True
Let t be 1302/16 + (-45)/120. Let y be -2 - (-248 - (0 - 0)). Suppose 3*l - y = t. Does 25 divide l?
False
Let y(l) = 4*l**2 - 23*l + 40. Let u be y(18). Let m = u - 649. Suppose 4*k = m - 45. Does 8 divide k?
False
Suppose -462*y = -465*y + 6. Suppose -4*m - 5*b = -931, 5*b + 211 = y*m - 292. Is m a multiple of 34?
False
Suppose r - 4*n - 30186 = 0, -3044*r + 3048*r - 2*n = 120856. Does 54 divide r?
False
Suppose -2*j + 34 = -4*i, 2*j + 0*j - 49 = i. Suppose -3*z - 3*a + j = z, -3*a = -2*z - 9. Suppose g = -z*g - 8, -2*g = -4*h + 964. Is h a multiple of 48?
True
Let p(j) = j**3 + j**2 + j + 255. Let f(c) = 2*c**2 - 5*c + 2. Let i be f(2). Let a be p(i). Suppose 0 = 16*g - 21*g + a. Does 8 divide g?
False
Let o(d) = 27*d**2 + 52*d - 13. Let q be o(-13). Suppose 12*b - 8*b = 2*k + q, -4*k - 20 = 0. Is 86 a factor of b?
False
Let w be (-1)/(-5) - ((-64)/(-20) - 0). Is 26 + (0 - 1) - w a multiple of 7?
True
Suppose 2*h = -3*q + 7*q - 6, 3 = -h. Suppose q*c - 4*c + 12 = 0, 3*c - 114 = -3*b. Does 5 divide b?
True
Let g(h) = h + 31. Let m be g(-11). Suppose -22*f - 3*d + 1552 = -m*f, 0 = -2*f + 3*d + 1528. Does 65 divide f?
False
Let d(q) = 19*q**2 + 36*q + 2. Is 7 a factor of d(-5)?
False
Let s = -599 - -591. Let o(t) = 3*t - 37. Let l(n) = -2*n + 18. Let z(b) = 11*l(b) + 6*o(b). Does 7 divide z(s)?
False
Let p(r) = -r**3 + 113*r**2 - 155*r - 62. Is p(110) a multiple of 82?
True
Let o = 65 + -106. Let b = o + 37. Does 2 divide (-31)/b + 24/(-32)?
False
Suppose 0 = 2*s - 5*y - 20, 4*s - 2*s + 3*y = 4. Suppose 3*f = f + s*j, 3*f + j = 0. Suppose -235 = -4*t + 3*c, 4*c + 171 = -f*t + 3*t. Does 9 divide t?
False
Suppose -v + 2*f + 12731 = 0, -25453 = -41*v + 39*v + 5*f. Is v a multiple of 11?
True
Let b(o) = 5*o**3 - 14*o**2 + 31*o. Is b(3) a multiple of 6?
True
Let m = -16863 - -31488. Is 75 a factor of m?
True
Let l(w) = -15*w - 49. Let v be l(-5). Suppose 0 = -3*z - v + 104. Does 13 divide z?
True
Suppose -2*x + 133 - 143 = 0. Is 27 a factor of -3*((-36)/(-45) - (-49)/x)?
True
Suppose -5*h + h + 5999 = -3*m, -5*m = 3*h - 4463. Let l = h - 920. Is 23 a factor of l?
False
Let p(a) = -a**2 - 15*a + 12. Let w be -3 + 1 - (4 + -8 + 17). Let x be p(w). Is 158/x + (2 - 5)/18 a multiple of 2?
False
Is (4901/(-116))/(((-22)/24)/11) a multiple of 13?
True
Suppose 3*l - 4*y = -197, l = y - 3*y - 59. Let v = -62 - l. Suppose -217 = -p - 4*w, 0 = -3*w + v + 11. Is p a multiple of 25?
False
Let r(p) = -503*p**3 + 24*p**2 + 38*p + 127. Does 37 divide r(-5)?
False
Let n(k) = 1672*k - 942. Does 17 divide n(21)?
True
Let z(n) = -51*n**3 + n - 2. Let t be z(1). Let g be (-18)/(-63) + t/(-14). Suppose g*v = 104 + 112. Is 6 a factor of v?
True
Let o be 115*1 + (0/5)/4. Suppose 111*k + 2496 = o*k. Is k a multiple of 30?
False
Suppose 10715 = -13*f + 692. Let d = f + 849. Is d a multiple of 6?
True
Suppose -12*g + 9*g = -5*w + 9609, 1905 = w + 5*g. Is w a multiple of 10?
True
Let w be (2/(-6))/(-5 - (-59)/12). Suppose 0 = -2*u + 10, w*m - 5*u - 429 = 1226. Is m a multiple of 35?
True
Let s be 100/(-650) + (-132)/(-13). Is 3 a factor of (156104/(-65))/(-19) - (-6)/s?
False
Suppose 0 = 3*y + 5*w - 13063, -12*w - 34956 = -8*y - 8*w. Does 74 divide y?
True
Let p be 162/(-108)*(-1 + -11). Suppose 44*v - p*v = 21788. Is 77 a factor of v?
False
Let d(v) = 36*v - 122. Let x be d(31). Suppose x + 774 = 8*i. Does 17 divide i?
True
Let u(h) = -20*h**3 - 3*h**2 + 2*h - 4. Let k be u(-4). Suppose -2*d + 1226 = -7*d - y, -5*d + 5*y - k = 0. Let q = -175 - d. Is 10 a factor of q?
True
Let j be 59088/(-4)*(-18)/24. Suppose -41*t + j = -3353. Is 22 a factor of t?
True
Let w = 174 + 137. Suppose 0 = 3*a - t - w - 653, -3*t + 1588 = 5*a. Does 32 divide a?
True
Suppose 4*n + 4*m = 9448 + 4900, -5*m = -25. Let x = n - 2088. Suppose -4*w + 13*w - x = 0. Is 23 a factor of w?
False
Suppose 5*i = 3*i + g + 14652, 0 = 2*i - 3*g - 14644. Suppose -34*a = -84 - i. Is 3 a factor of a?
False
Let a be (312/7)/1 + (-64)/112. Suppose -5*n - a - 66 = -5*b, 5*b - 80 = -5*n. Does 5 divide b?
False
Let g = 27 + 97. Suppose 35 = u - q, 3*q - 23 = -0*u - u. Let j = g + u. Is 26 a factor of j?
True
Let x be 925/(-3) - (16/24 - 0). Let l = -199 - x. Is 39 a factor of l?
False
Let y(n) = -n**3 + 10*n**2 - 5*n - 10. Let w be y(10). Let u be (2 + 1 - -27)/((-9)/w). Suppose -50 = 6*t - u. Is t a multiple of 5?
True
Suppose -u - 4 = -3*z + z, 4*z + 2*u = 0. Let x be 6 - (z + 3 - 7). Suppose 6*j = x*j - 309. Is j a multiple of 23?
False
Let u(g) = g**2 + 6*g + 5. Let c be u(0). Suppose -1427 = -5*j + c*q - 352, -4 = -4*q. Is 36 a factor of j?
True
Is 33 a factor of (-2)/(-3)*-26895*(-87)/290?
True
Let i(b) = -b**2 + 5. Let l be i(8). Let c = l - -62. Suppose -v = 2*z - c*v - 34, -2*z = -5*v - 46. Does 12 divide z?
False
Let r(m) = 11*m**3 + 33*m**2 - 7*m - 26. Let x(n) = 4*n**3 + 11*n**2 - 2*n - 9. Let t(u) = 3*r(u) - 8*x(u). Is 16 a factor of t(-10)?
True
Is (-9)/1 + 3283 + -72 a multiple of 22?
False
Let u = -12005 + 14330. Is u a multiple of 24?
False
Let a = -443 - -3433. Suppose 7*h = -3*h + a. Is h a multiple of 21?
False
Does 31 divide (-3)/((-54)/17296) - 2/(-18)?
True
Let x be (-4)/96 - 282502/(-528). Suppose 0 = c - 3*c + 12. Suppose k + x = c*k. Is k a multiple of 23?
False
Suppose 4 = 4*y, -5*y - 6 = 4*a + 9. Let i be (a - -29)/(-1 - -3). Suppose -i*u - 60 = -15*u. Is 5 a factor of u?
True
Let m be -2*(-4)/8*-1. Let h be ((-8)/m)/((-5)/10). Does 8 divide (8 - h)/((-2)/(-1))?
False
Suppose -j + 4*f + 720 = 0, -2*j + 33*f = 29*f - 1448. Suppose z = -z + j. Does 52 divide z?
True
Suppose -158 = 2*r - 162, d - 4*r = 727. Does 21 divide d?
True
Is 8 a factor of (-132)/(-11) + -19 - (-1235 - 0)?
False
Let w be (-219)/(-6) + (-12)/8. Suppose 18*h - w = 13*h. Suppose -h*x + 11*x - 240 = 0. Is 20 a factor of x?
True
Suppose 0 = -25*x + 68 + 532. Is (-8)/(-6) + 1696/x a multiple of 8?
True
Suppose 4600 = 28*q + 484. Let f = q + 209. Is 25 a factor of f?
False
Let s(o) = 5*o**3 + 15 + 6*o + 2*o**2 + 0*o**3 - 6*o**3 + 0*o**3. Let g be s(7). Let n = g + 292. Is n a multiple of 30?
False
Let v = 398 + -398. Suppose -2*n + 4*l + 132 = v, 0 = -2*n - 0*l - 4*l + 92. Does 7 divide n?
True
Let o = -92 - -156. Suppose -4*k = -0*k - o. Suppose -21*j + k*j = -660. Is 12 a factor of j?
True
Let s(q) = -q**3 + 25*q**2 - 24*q - 1. Let z be s(24). Is (-2)/((-945)/955 + 1)*z a multiple of 53?
False
Let q(k) = 457*k**2 + 108*k - 377. Does 18 divide q(4)?
False
Let b(t) = -t**3 - 20*t**2 + 44*t + 14. Let v(i) = -6*i**2 - 32*i + 2. Let h be v(-6). Is b(h) a multiple of 2?
True
Let k = 18097 - 12597. Does 5 divide k?
True
Let b = -237 - -242. Suppose -185 = b*t - 1080. Is t a multiple of 16?
False
Let h = 7227 + -6427. Is h a multiple of 6?
False
Let m(u) = 19*u + 8. Let z be m(14). Let j = 473 - z. Is 10 a factor of j?
False
Let f = -13 + 27. Suppose 13*r - 53 = -f. Does 7 divide r/((-2)/((-54)/3))?
False
Suppose 74 + 198 = 4*p. Suppose 137*j - 27*j = -305*j + 65570. Let c = j - p. Is c a multiple of 5?
True
Suppose 5*z - 2*t = 8937, -z - 3*z - t = -7147. Suppose 0 = 9*u - 608 + z. Is ((-4)/(-1) + -5)*u a multiple of 19?
False
Let q(m) = 4*m - 17. Let u be q(5). Let z(h) = 3*h - 7. Let r be z(u). Suppose -i = 2*i - r*t - 72, -64 = -2*i - 4*t. Does 14 divide i?
False
Let b(o) = -2*o**2 + 51*o - 40. Let z be b(21). Suppose z = 7*k - 1405. Does 37 divide k?
True
Suppose -88*f = -15633 - 63567. Does 9 divide f?
True
Let f(a) = 10*a**2 - 47*a + 72. Is f(29) a multiple of 19?
False
Suppose -24*j + 128 = -25*j. Suppose 3*l + 3*w - 1049 = -2*l, 0 = -4*l + w + 829. Let c = l + j. Is c a multiple of 8?
True
Let k(r) = -3*r**2 - 23. Let o(v) = 4*v**2 + v + 23. Let d(q) = -3*k(q) - 2*o(q). Is 4 a factor of d(5)?
False
Suppose 9*w + 3*d = 5*w + 95176, -4*d = -6*w + 142730. Is 15 a factor of w?
False
Let w(h) be the first derivative of 133*h**2/2 + 211*h + 163. Is 12 a factor of w(5)?
True
Let r be 3/(-18)*7*(20 - 26). Suppose -r*m = -8*m - 3, 0 = -4*a - 4*m + 380. Is a a multiple of 14?
True
Let y(h) = -h**2 + 6*h + 1. Let w(m) = 2*m**2 - 12*m - 2. Let i(x) = 6*w(x) + 13*y(x). 