. Is s(4) a multiple of 9?
False
Suppose 0 = -4*w - 46 + 6. Let x be (-4 - 2)*w/15. Suppose -2*k = -x*k + 16. Is 3 a factor of k?
False
Let g = -116 - -222. Let i = g + -66. Is 8 a factor of i?
True
Suppose 9*p - 78 = 2190. Is p a multiple of 42?
True
Suppose 0 = -9*g + 5*g + 2*u + 586, 0 = 2*u + 2. Is g a multiple of 19?
False
Suppose 0*i - i = -5. Let n = -67 + 126. Suppose -i = u - n. Does 16 divide u?
False
Let d be -4 + (-4)/(-1 + 0). Suppose d = -6*v - 12 + 276. Does 11 divide v?
True
Let n(z) = 13*z**3 + 4*z**2 - 102*z + 13. Is n(7) a multiple of 15?
False
Suppose 2*l = 3*g + g - 22, -3*g = -l - 14. Suppose -b + 4*z - 29 = 0, z - g = 2*b + 20. Is b/6*(-1 - 11) a multiple of 9?
True
Suppose -k - 184 = -0*y - y, 0 = -4*y - k + 711. Suppose -121 - y = -5*v. Is (v/(-9))/((-8)/36) a multiple of 15?
True
Let g = 229 - 29. Is 50 a factor of g?
True
Let u be (-32)/112 - 1894/(-14). Is 10 a factor of u + 2 + -6 - 1?
True
Let v(q) = -3*q**3 + q**2 - q. Let g be v(1). Let s = g - -6. Suppose -1 + 91 = s*r. Is 15 a factor of r?
True
Does 62 divide 9 + -3 + (6 - -2717 - 1)?
True
Let v be -4 - (5 + (-312)/2). Suppose 8*t - 309 - v = 0. Is 25 a factor of t?
False
Let r be -3 - -20 - (-2)/2. Suppose 2*d = 7*d. Is 56*(r/21 + d) a multiple of 12?
True
Suppose -805 = -5*k + s, -5*s + 141 = -3*k + 646. Is 36 a factor of (-1 - (4 + -2)) + k?
False
Let z(c) = -c**3 + 10*c**2 - 8*c + 13. Let h be z(9). Suppose -w + 14 = -t, -42 - h = -5*w - t. Does 2 divide w?
False
Let n(v) = 20*v**2 + 24*v - 56. Is 62 a factor of n(2)?
False
Suppose 0 = h - 4 - 1. Suppose -4*r = 4*v + 4 - 308, -h*v = -2*r + 159. Does 6 divide r?
False
Suppose 8*y - 10 = 3*y. Suppose c = -0*c + y. Suppose 0 = 2*f + 3*f + 2*u - 143, -3*f - c*u = -89. Is 6 a factor of f?
False
Let y(f) be the first derivative of f**3/3 - 3*f**2 - 2*f + 2. Let g be y(7). Suppose g*h - 28 = -5*i + 2, 18 = 3*i + 5*h. Is 2 a factor of i?
True
Let r(k) = 221*k + 9. Let f be (-43)/(-15) + (-2)/(-15). Let g be r(f). Is (2/(-4))/((-8)/g) a multiple of 21?
True
Suppose -u + 861 = 3*w, -4*u + 3460 = -w - 3*w. Is u a multiple of 54?
True
Let p(c) = -5*c**3 - c**2 - 6*c - 1. Let w be p(3). Let t = w + 247. Does 28 divide t?
True
Let x = 12950 - 5619. Is 15 a factor of x?
False
Suppose -37 - 50 = -3*c. Suppose -12 = -2*q - 0*q. Is 4 a factor of 4/q*(c - 11)?
True
Let p = 12 + 79. Suppose 4*o = 161 + p. Does 21 divide o?
True
Let q(i) = -i**3 + 7*i**2 + 4*i + 2. Let w be q(6). Suppose -2*v = n - w, 3*n - 219 = 3*v + 2*v. Is 7 a factor of n?
False
Suppose -4*i - 131 = n, 2*n - 10 = -3*i - 102. Let x be (-2 - -4)/(-2)*21. Let t = x - i. Is t a multiple of 5?
False
Suppose 0 = -5*j - s - 235, -5*j - 2*s = 2*s + 220. Does 9 divide j/(-2)*7/(14/4)?
False
Is 7 a factor of -6 + 378 + 0 + 0/(-2)?
False
Suppose -40 = -83*t + 78*t. Suppose t*d = -0*d + 440. Is d a multiple of 6?
False
Let g be 3/((-14)/12 - (-2)/(-6)). Is g + 25 + 0 - (-10)/(-5) a multiple of 3?
True
Suppose -60 = -8*m + 2*m. Let i(k) = -k**2 + 11*k + 14. Is i(m) a multiple of 24?
True
Does 16 divide (-5)/(6171/(-1232) + 5)?
True
Suppose -2*w + 8*w = 6. Let l be ((-168)/(-35))/(w/(-10)). Does 12 divide (2 - l) + 1 + -3?
True
Suppose i - 20725 = -5*x, 20*i - 16*i - 12452 = -3*x. Is x a multiple of 28?
True
Let w(y) = -y**2 - 7*y. Let g be w(-7). Suppose g*s = 2*s - 200. Does 19 divide s?
False
Suppose 11*g = 8*g + 45. Let y = 55 - g. Is 10 a factor of y?
True
Suppose 5*p - 52 - 103 = 0. Let b = -16 + p. Is b a multiple of 9?
False
Suppose 4637 = 24*g - 1315. Is 4 a factor of g?
True
Suppose -16*m + 17883 = 2315. Is 7 a factor of m?
True
Let s = -248 - -58. Let w = -140 - s. Is w a multiple of 10?
True
Suppose 2*c + f = 5*c + 385, -4*c = -2*f + 514. Let t = c + 243. Let d = t + -79. Is 12 a factor of d?
True
Let u(y) = -y**2 + 6*y - 6. Let r be u(4). Suppose 4*n + r = 6. Suppose -4*d - q = -8 - n, -3*d + 1 = -5*q. Does 2 divide d?
True
Is 9 a factor of 4/(-10) - (-10)/((-500)/(-22570))?
False
Let f = 237 + -166. Does 10 divide f?
False
Let b(y) = 2*y**3 - 2*y**2 + 3*y - 3. Let k(c) = c - 3. Let u = -1 + 6. Let r be k(u). Does 3 divide b(r)?
False
Suppose 3*s = 2*u + 158, 5*s - 268 = u - 0*u. Suppose 4*g - 7*g = -s. Is g a multiple of 9?
True
Let z(b) = b**2 - 5*b + 6. Let p be z(3). Is 4 a factor of 1 + p - 444/(-12)?
False
Suppose -45*p + 16963 = -18722. Does 45 divide p?
False
Let s = -122 + 122. Suppose -3*n = -n - 10. Suppose -3*c = 2*k - 13, s = -k + n*k + 4*c - 28. Does 8 divide k?
True
Suppose 10 + 2 = 4*j. Suppose 2*q + 32 = 4*q. Suppose -61 + q = -j*t. Is t a multiple of 15?
True
Let x(h) = 14*h**2 - 14*h. Is 42 a factor of x(4)?
True
Let q(s) be the first derivative of 11*s**3/3 - s**2 - 3*s - 34. Does 12 divide q(-3)?
False
Suppose -2*f + 31 + 135 = 0. Suppose 5*b - 5*i = 5, 4*b - 3*i - 2 - 4 = 0. Suppose -455 = -b*p - f. Is 31 a factor of p?
True
Let a = -348 - -818. Does 10 divide a?
True
Suppose -14*k + 20 = -9*k. Suppose -5*b - k*d = -115, -5*b = -d + 48 - 163. Is b a multiple of 5?
False
Let w(h) = 11*h**2 + h. Let o be w(1). Let t(g) = -16*g - 50. Let z be t(-6). Suppose -13*p = -o*p - z. Does 24 divide p?
False
Let u = 640 - -129. Does 8 divide u?
False
Let n be (91/26)/(2/4). Suppose -b + 12 = n. Is 3 a factor of b?
False
Let p be (-100)/((-25)/5)*1. Suppose 0*j + 5*j = p. Suppose 3*c = -5*g + 72 + 13, -c - 51 = -j*g. Is 4 a factor of g?
False
Suppose 30*p = 39*p - 11466. Is p a multiple of 8?
False
Let m be (12/8)/(1/10). Does 5 divide -1*(m*-5)/3?
True
Let g = -745 + 1252. Does 47 divide g?
False
Suppose 0 = 333*m - 329*m - 5720. Is m a multiple of 10?
True
Suppose 13*q - 2500 - 308 = 0. Is q a multiple of 6?
True
Let d(i) be the second derivative of i**3/2 + 3*i**2/2 - 5*i. Let g be d(0). Suppose -g*a = 16 - 145. Is 14 a factor of a?
False
Let b = -21 + 28. Is 41 + -3 + -9 + b a multiple of 6?
True
Is (-5 + 20)/((-1)/(-233)) a multiple of 15?
True
Suppose 4*i = -19 + 43. Let y(d) = -10*d + 68. Does 8 divide y(i)?
True
Does 2 divide (-2)/(-8) + -44*108/(-192)?
False
Suppose 0 = -5*m + 5. Let g be 10*(m - (-2)/(-4)). Suppose 2*b - 195 = -3*f + 5*b, -4*f - g*b = -305. Does 20 divide f?
False
Let x(l) be the second derivative of 5*l**4/12 - 3*l**3/2 + 2*l**2 + 34*l. Is 29 a factor of x(-5)?
True
Suppose -130 = -h + 4*b, -4*b = -5*h - 2*b + 632. Is 21 a factor of h?
True
Suppose -2*z = z + 129. Let u = -22 - z. Let g = -3 + u. Does 18 divide g?
True
Let b(i) = i**3 + 15*i**2 - 37*i - 16. Does 35 divide b(-17)?
True
Suppose -44*b + 2938 + 6566 = 0. Is 4 a factor of b?
True
Is 18 a factor of (120/(-9))/5*-81?
True
Let t(d) = 4*d**3 - d**2 - 23. Is t(5) a multiple of 43?
False
Suppose -75*w = -85*w + 3150. Is w a multiple of 3?
True
Suppose -47*o + 45*o = -38. Is o a multiple of 15?
False
Let x(d) be the second derivative of 5*d**3/3 - 5*d**2 - 34*d. Does 12 divide x(12)?
False
Suppose 3 - 14 = -c. Suppose 3*j - 64 = c. Suppose -3*t = -j - 17. Is 11 a factor of t?
False
Suppose o - 3012 = -5*j + 6*j, 0 = -2*o - j + 6030. Does 28 divide o?
False
Let i(a) = 111*a + 41. Is i(12) a multiple of 17?
False
Does 28 divide (-1916)/(-6) - 28/(-42)?
False
Does 12 divide 5/((-75)/144)*(-1050)/9?
False
Is (-6)/(-5 - 1) + 417/3 a multiple of 14?
True
Let d be 1*1/(-2)*-6. Suppose 0 = p - 52 - d. Does 6 divide p?
False
Suppose 24*a - 21*a - 15 = 0. Suppose 5*t - 4*j = -12 + 87, -5*t + 75 = a*j. Is 4 a factor of t?
False
Suppose 70 = 3*p + 184. Let x = 58 + p. Does 5 divide x?
True
Is 85 a factor of (136/10)/((-23)/(-1150))?
True
Let c = -256 - -276. Is 2 a factor of c?
True
Let i = 73 - 26. Suppose 0 = 2*p + 5*x - i + 13, -3*p + 64 = x. Let z = p - 15. Is 2 a factor of z?
False
Does 2 divide 2/7 - ((-5536)/(-56))/(-4)?
False
Let i(x) = 21 - 12*x + 19*x - 30. Suppose 0 = 3*h - 1 - 17. Is 15 a factor of i(h)?
False
Suppose 40 = c - 58. Suppose 314 - c = 6*g. Is 9 a factor of g?
True
Let i = 3404 + -2873. Does 18 divide i?
False
Let h(f) be the second derivative of f**5/20 + 19*f**4/12 + 8*f**3/3 - 21*f**2/2 + f. Does 10 divide h(-18)?
False
Let m be (-360)/42 - 3/7. Let r(s) = -s**3 - 9*s**2 - s + 6. Is r(m) even?
False
Let w = -56 - -55. Let n(s) = -18*s**3 - s**2 + 3*s + 3. Does 17 divide n(w)?
True
Suppose -4*h - 111 + 155 = 0. Is 5 a factor of h?
False
Let b(v) =