de z?
True
Suppose -p = p + 4. Does 12 divide 98/(-16)*p + (-2)/8?
True
Let i = -3 - -2. Let b be ((-8)/10)/(i/(-5)). Is 80 - b/(-2) - 3 a multiple of 15?
True
Let w(g) = 10*g**2 + g. Let v be (2 + 0)*(-6)/12. Let u be w(v). Let d = 23 - u. Is 14 a factor of d?
True
Let o(a) = -5*a + 53. Let x be o(4). Let j = x - -63. Is 11 a factor of j?
False
Let y(t) = 1. Let v(o) = 2*o**2 + 12*o + 22. Let w be (-30)/5 - (-1 - -1). Let s(n) = w*y(n) + v(n). Is 11 a factor of s(-8)?
False
Let j be ((-4)/5)/(8/(-20)). Suppose -j*r + 4 = -0*r. Suppose -r*t + 258 = t. Is t a multiple of 19?
False
Let m(n) = 181*n - 246. Is m(4) a multiple of 5?
False
Suppose 2*b + 8*o = 13*o + 1613, 0 = -2*b - 3*o + 1605. Does 67 divide b?
True
Let w(n) = 45*n**2 - n - 5. Does 50 divide w(-4)?
False
Let z(d) = 4*d**3 - 38*d**2 + 12*d + 10. Is 21 a factor of z(10)?
False
Let l be 4/18 - (-76)/(-18). Let u = l + -8. Let x = 25 + u. Is 13 a factor of x?
True
Let r be 12/(-54) - (-8106)/27. Suppose 4*n + z = 5*z + r, 2*z + 74 = n. Does 19 divide n?
True
Suppose -10*c + 7*c + 2*u + 609 = 0, 220 = c + 5*u. Is 4 a factor of c?
False
Does 25 divide 2*349 - (7 - 6 - 3)?
True
Suppose -15 = 4*z - 27. Let x be 31/7 + z/(-7). Suppose -4*t + 677 = -x*o + 265, -4*o - 208 = -2*t. Is t a multiple of 17?
True
Suppose 0 = 4*y - 3*r, -7 - 3 = -2*y - r. Let g(b) = -y + 0 + 2*b + 6*b**2 + 5. Does 11 divide g(-2)?
True
Let i be 2*3*(-16)/(-24). Suppose -i*q + 2*q + 8 = 0. Suppose 3*u - 2 = -4*d + 44, -8 = -q*u. Does 6 divide d?
False
Let a = 12 - -82. Suppose 4*j - 2*n = a + 90, 68 = j + 5*n. Is 12 a factor of j?
True
Let p(q) = q**2 - 13*q + 7. Let i be p(13). Suppose i*z - 210 = 210. Is z a multiple of 20?
True
Let l(h) = 2*h**2 - 2*h - 1. Let i be l(3). Suppose 0 = -i*m + m + 990. Is 11 a factor of m?
True
Suppose x = -3*d + 17, 4*d = x + d + 13. Suppose -x*r = r - 714. Suppose 0 = -5*l - 2*b + r, -3*l + 141 = 3*b - 0*b. Does 22 divide l?
False
Let l(a) = 2*a + 2. Let f be l(-5). Suppose -71 = -2*n - 7*j + 2*j, 0 = n + 5*j - 43. Let g = f + n. Is g a multiple of 5?
True
Suppose 56*f - 1848 = 52*f. Is f a multiple of 8?
False
Suppose f - 3 + 0 = 3*n, -3 = -f - 3*n. Suppose 442 - 2 = 4*h - 4*j, -h + f*j = -106. Is h a multiple of 16?
True
Let k be 68/17 - (1 + 3). Suppose k = -10*t + 8*t + 144. Does 24 divide t?
True
Let o(s) = s**3 - 4*s + 4. Let r be o(2). Suppose 166 = r*d + 2*t, 0*d + 2*t = -d + 46. Does 20 divide d?
True
Suppose 17*a + 12 = 19*a. Let o be (-165)/12 - a/(-8). Is 7 a factor of 2192/52 - (-2)/o?
True
Let i be ((-25)/5 - 1) + 0. Suppose -5*n = -2*h + 24, 0 = -3*h + 4*n - 2*n + 25. Let s = h - i. Is s a multiple of 13?
True
Let w be -3*((-9)/9 + (-2)/6). Suppose -j + w*j = -u + 125, 5 = u. Does 40 divide j?
True
Suppose -2*b + 605 = -183. Is 10 a factor of b?
False
Suppose 2*o = -4*l - 18, 3*o - 3*l + 4*l = -22. Let m(z) = 9*z - 6*z - 11*z - 2. Does 18 divide m(o)?
True
Let x(u) = u**3 - 29*u**2 - 15*u + 15. Does 15 divide x(30)?
True
Suppose -x + 41 = -2. Let p = x - -1. Suppose 3*f - 2*w = p, 4*f - w = -5*w + 32. Does 4 divide f?
True
Suppose 2*x - 30 = 8*x. Let t(l) = -2*l - 17. Let j be t(x). Let f = 0 - j. Is f a multiple of 7?
True
Suppose -2*v - 2*v - 2*b = -34, 8 = -2*v + 4*b. Suppose -4*h - 2 = 2*i, -2*h - h - v = 0. Does 12 divide 1/(i/(-2 - -152))?
False
Let h be (-3)/(-2) - (-9)/(-18). Let c be (1 - h) + (-1 - -6). Suppose -77 = -c*o + 43. Is o a multiple of 12?
True
Let v = 3 + -1. Suppose x = 4*c - 113, 5*c + v*x - 6*x = 144. Is 28 a factor of c?
True
Let t be ((-2)/(-3))/(2/(-3)). Let u be t/((4 + -3)/(-36)). Suppose -u = -3*h - 0*h. Is h a multiple of 2?
True
Suppose -4*h + 71 = -165. Let m = h - 24. Is m a multiple of 13?
False
Does 116 divide (-18)/(-17 - 1) - -5*251?
False
Let k(p) = -6*p + 22. Let f be k(7). Is 12 a factor of f/(((-48)/28)/6)?
False
Let b = 2994 - 1242. Is b a multiple of 40?
False
Suppose 0 = r - 26. Suppose 2*u + 4*o = 148, -5*u - r = 2*o - 404. Is 9*(u/12 - 0) a multiple of 16?
False
Let f(d) be the third derivative of -d**5/20 + 11*d**4/24 - d**3 + 2*d**2. Let a be f(9). Let y = -71 - a. Does 16 divide y?
False
Suppose -m + 4*y + 35 = 0, 4*m - 3*y = -4*y + 89. Let q = -9 + m. Is q a multiple of 7?
True
Suppose 5*g - 13 = 2. Suppose -4 + 319 = g*a. Is 35 a factor of a?
True
Suppose -17*b + 4390 + 2648 = 0. Is 17 a factor of b?
False
Let d = -9 - -8. Let n be 48/28 - (-2)/7. Is 9 a factor of (-15)/d - (-6)/n?
True
Let a(f) = 11*f**2 - 9*f + 36. Is a(-9) a multiple of 12?
True
Let z = -97 - -619. Does 21 divide z?
False
Let l(d) = -d + 1. Let y(m) = -109*m**2 + 3*m - 1. Let g(r) = l(r) - y(r). Is 14 a factor of g(1)?
False
Suppose i - 3 = -r - 0*r, 3*i - 5*r = 17. Let l(s) = -2*s**3 + 4*s**2 + 3*s - 4. Let a be l(i). Is 7 a factor of a/2*(-10)/40?
True
Let l be 18/8 - (-4)/(-16). Suppose -l*r = -3*s - 29, 2*r - r - s = 15. Is 380/r - (-6)/(-8) a multiple of 6?
False
Is 12 a factor of 1196/20 + 8/(-10)?
False
Let g be ((-18)/12)/(2/(-8)). Suppose 2*x - g = x. Is 22 a factor of (66/4)/(x/8)?
True
Let b(n) = 21*n + 284. Does 4 divide b(-13)?
False
Let u(i) = -368*i - 372. Is u(-6) a multiple of 21?
False
Let c = -2 - -4. Let y be (-4)/(-14) - c/7. Suppose -7*j + 136 + 95 = y. Is j a multiple of 11?
True
Let v be 9 - (-2 + -1) - 0. Suppose r = 2*u + 2*r + 3, u + v = -4*r. Suppose -3*z + 74 = -2*m, 2*z + 2*m - 65 - 1 = u. Does 14 divide z?
True
Suppose 0 = z + 1, 3*a - 327 = 7*z - 10*z. Is a a multiple of 22?
True
Does 37 divide ((-9)/6)/3 - 1283/(-2)?
False
Let t be (-39)/13*(-2)/(-6). Let s be (3/t - -4)*2. Suppose -d + 2 = 0, s*y - 14 = 4*d + 4. Is y a multiple of 13?
True
Suppose 4*w = -6 + 38. Suppose -w*r + 2547 = r. Does 19 divide r?
False
Is 5 a factor of (-4165)/(-14) + -7 + 11/2?
False
Let v(j) = -j**3 + 2*j + 437. Let k be v(0). Suppose -k = -7*r - 59. Does 9 divide r?
True
Suppose -n - 9 = -16. Suppose n = 3*r - 35. Is 9 a factor of r?
False
Suppose -p - 19 = -5*l, 7*l + 11 = 4*l - 5*p. Suppose 0 = l*g - 34 - 92. Is 14 a factor of g?
True
Let u(v) = -2*v - 2. Let t be (-6)/7*140/(-30). Suppose t*x = 7*x + 18. Is 5 a factor of u(x)?
True
Suppose -9181 = -18*i + 1043. Does 21 divide i?
False
Let t(l) = -49*l + 39. Let z be t(-9). Suppose -6*u + z = -u. Does 12 divide u?
True
Let l(q) = q**3 - 9*q**2 - 11*q - 5. Let o be l(9). Let w = -76 - o. Is 5 a factor of w?
False
Let c = -32 - -44. Does 26 divide (-1638)/(-36)*c/7?
True
Let j = 24 - 12. Let l(b) = 3*b**2 + 5 - 2*b**2 - 13*b + 3*b - 2. Is l(j) a multiple of 8?
False
Let s = -64 + -103. Let y = -48 - s. Let a = y + -79. Is a a multiple of 8?
True
Let x be 15 + (-1)/(4/8). Let s = 16 - x. Suppose 0 = 4*u + d - 91, -4*u - s*d = -d - 94. Does 11 divide u?
True
Suppose -n + 11189 + 430 = 4*i, -3*i - 5*n + 8727 = 0. Is 22 a factor of i?
True
Suppose -761 = -3*v - 4*g, 8*g - 1015 = -4*v + 3*g. Is 59 a factor of v?
False
Suppose 567 = 5*k - 558. Is k a multiple of 12?
False
Let h(b) = b**2 + 4*b + 4. Let d = -9 - -34. Suppose -7*k = -12*k - d. Does 2 divide h(k)?
False
Suppose 1620 + 36000 = 30*y. Is y a multiple of 69?
False
Let j = -59 - -156. Suppose o + 59 = -4*i, -3*o + 5 = -5*i + j. Let t = 66 + o. Does 9 divide t?
True
Let p be (-5 + 15/5)*6/(-4). Suppose 0 = 3*k - p*c - 468, 4*c + 171 - 15 = k. Does 24 divide k?
False
Let w be -3*(-16)/(-36)*-3. Let x(o) = -o**2 + 5*o - 2. Let u be x(w). Suppose -u*t + 3*t = 14. Does 14 divide t?
True
Let q = 1 + 94. Suppose -q = -8*b - 7. Does 4 divide b?
False
Suppose -6349 - 7441 = -14*n. Is 87 a factor of n?
False
Is -4 + (-100)/(-10) - -579 a multiple of 65?
True
Suppose -282 = -0*t + 2*t. Let q = 42 + t. Is ((-7)/3 + 2)*q a multiple of 20?
False
Let i = 121 + -121. Let m(o) = -2*o**2 - 3*o + 114. Is 19 a factor of m(i)?
True
Suppose -5*t + 630 = -2870. Is t a multiple of 35?
True
Is 5 a factor of 18/(5/(41 - -4))?
False
Let r = 2353 - 120. Is r a multiple of 16?
False
Let b be (11/(231/(-18)))/((-1)/49). Let x = 186 - b. Is x a multiple of 10?
False
Let s(k) = 13*k + 518. Does 21 divide s(-14)?
True
Let d = -982 + 1655. Is d a multiple of 39?
False
Suppose 0*f - 3*f - 36 = 0. Let c(g) = 3*g**2 + 30*g + 9. Is c(f) a multiple of 12?
False
Suppose 0 = 19*p - 18*p - 121. Does 8 divide p?
False
Suppose 2*q - 3*n = 2503 - 19, 0 = -4*q + 4*n + 4976