 + 101 - 5 = 0. Is i a multiple of 13?
False
Suppose -2*z - 3 - 31 = 2*u, -3*u = -3*z + 45. Let v = 14 + u. Is (v + 5)/((-1)/(-24)) a multiple of 24?
True
Let d(l) = l**3 + 17*l**2 + 36*l - 7. Let g be d(-15). Let i = 109 + g. Is i a multiple of 2?
True
Suppose 5*k - 2*a - 108 = 3*k, 4*a + 266 = 5*k. Does 42 divide k?
False
Suppose 3*s + 6*q - 3747 = 9*q, 2*q = -s + 1246. Is 39 a factor of s?
True
Suppose -3*z - 5*z + 432 = 0. Let j = z - -72. Does 14 divide j?
True
Suppose 0 = -2*i - m + 1302, -2*i + 1326 = -2*m + 24. Is 13 a factor of i?
False
Let l = -19 - -5. Let h = 41 + l. Does 27 divide h?
True
Let p be (9/((-45)/(-10)))/(-2). Is 19 + (2 - (p + 1)) a multiple of 19?
False
Let f be (-2 + 1)*3 - 16/(-8). Let a(m) = -171*m**3 - 4*m**2 - m + 1. Is a(f) a multiple of 15?
False
Suppose -14 = -4*j - 3*j. Is -3*(-3 - j) - 0 a multiple of 15?
True
Let g(h) = 79*h + 9. Is 21 a factor of g(4)?
False
Suppose -15 = 6*l - 39. Let s(w) = w**3 + 7*w + 4. Does 16 divide s(l)?
True
Let k(l) be the second derivative of -l**5/20 - l**4/3 + l**3/2 + 8*l**2 + l. Is k(-5) a multiple of 4?
False
Suppose 13*r = 16*r - 9. Suppose 8*z = 3*z + 3*m + 523, 3*m + r = 0. Does 21 divide z?
False
Does 17 divide 1*(-26)/2*-10?
False
Suppose -4*l + 5*u - 268 = 0, -3*u = -4*l - u - 256. Let t = -48 - l. Does 2 divide t?
True
Let p(m) = m**2 - 10*m - 99. Is 9 a factor of p(-9)?
True
Suppose 5*z + p - 4196 = 0, -p + 633 = z - 203. Does 42 divide z?
True
Let a(g) = 6*g**3 - 5*g**2 - 7*g - 4. Let f be a(-2). Let w be 550/4 - (-2)/4. Let v = w + f. Does 27 divide v?
False
Let s be (-1*3)/(-9 + 10). Let u = -71 - s. Is u/51*9/(-2) a multiple of 3?
True
Let w(g) = -2*g**3 - g**2 + 3*g - 2. Let v be w(2). Is 16 a factor of (-668)/v - (0 + (-6)/(-8))?
False
Suppose -115 + 3075 = 4*s. Suppose 8*d - 1876 = s. Does 15 divide d?
False
Suppose 1 = -j + 3. Let c be ((-58)/(-3))/j*-21. Does 21 divide c/(-5) - 6/10?
False
Suppose 2*x - 13 = -2*l + 7, 5*x - 43 = -4*l. Is (4*2)/(l*(-4)/(-896)) a multiple of 50?
False
Let l(h) be the first derivative of -h**4/4 - 5*h**3/3 - h**2 - 4*h - 4. Does 4 divide l(-5)?
False
Let z = -280 + 194. Let k(q) = 2*q**2 - 11*q - 3. Let x be k(-6). Let n = x + z. Is 7 a factor of n?
True
Let o(l) = 4*l**2 - 4 + 6*l + 5*l**2 - l**3 - 11*l. Let q be o(5). Let v = q - 33. Is 19 a factor of v?
True
Let x = 519 - 80. Is 16 a factor of x?
False
Suppose 6*a + 272 = 2*a. Does 3 divide (1/(-2))/(2/a)?
False
Let z(r) = -7 - 11*r - r - 2. Let b(d) = 4*d - 57. Let g be b(13). Does 17 divide z(g)?
True
Let s be 6/(-8) + (-19)/(-4). Suppose 2*a + t - 35 = -s, -110 = -5*a + 4*t. Is a even?
True
Suppose 3*x + 3*c - 2010 = -0*x, 2*x + 5*c - 1325 = 0. Suppose -9*i + x = -4*i. Does 15 divide i?
True
Suppose 213 = -3*n + 7*a - 2*a, 0 = n + 4*a + 54. Let p = 100 + n. Let r = p + 39. Is 21 a factor of r?
False
Let b = -33 + 47. Suppose -15*f = -b*f - 72. Does 23 divide f?
False
Let f(i) = 15*i - 159. Is 24 a factor of f(17)?
True
Let z be (-28)/(-21)*6/4. Suppose 4*a - 24 = z*a + 5*f, 5*a + 3*f - 60 = 0. Does 16 divide 578/a + (-10)/60?
True
Suppose 4*z + 2*s - 30 = 0, -5*s - 3 = -8*s. Let b(g) = g**2 - 5*g + 3 + 6 + 1. Is b(z) a multiple of 13?
False
Let p(l) = l**2 + 2*l - 4. Let v be p(-4). Suppose 6*w - 20 = v*w. Is 6*(25/w)/1 a multiple of 15?
True
Let k be (-90)/6*(-4)/3. Suppose 4*r = 2*r + s + 85, -k = -r - 4*s. Is r a multiple of 20?
True
Suppose 0 = 4*m - 5*p - 81, 3*m - 3*p = -2*p + 58. Let o = m - -13. Does 8 divide o?
True
Suppose 2*o - 42 + 190 = 2*b, 4 = 4*o. Let c = b - 47. Is c a multiple of 7?
True
Suppose -4 = -3*k + k. Suppose 0 = k*w - 6 - 0. Does 16 divide (-131)/(-2) + w/2?
False
Does 24 divide (-5)/((-50)/485) + 2/(-4)?
True
Let d be 3*2/(-3) - 3. Let l(r) be the third derivative of -r**6/120 - r**5/30 + 5*r**4/24 - 5*r**3/6 + 8*r**2 - 6. Is 9 a factor of l(d)?
True
Let r(z) = -2*z**3 + 126*z**2 - 66*z + 140. Is r(62) a multiple of 69?
False
Suppose -195 = -13*p - 2*p. Suppose 0*n = p*n - 234. Is n a multiple of 7?
False
Suppose 18*u - 23*u - 2*a = -417, 360 = 4*u - 5*a. Does 5 divide u?
True
Suppose 15 - 7 = -2*u. Let y be (-3)/u + (-81)/12. Let q(d) = d**2 + 6*d + 3. Is q(y) even?
False
Let z(l) = 2*l**3 - 2*l**2 - 2*l + 14. Is z(5) a multiple of 15?
False
Suppose 0*d + 2 = -d, 2*d - 48 = 2*t. Suppose 2*k + 28 = -0*k. Let j = k - t. Is 3 a factor of j?
True
Let d(t) = t**2 - 5*t - 4. Let k be d(6). Let l(w) = -2*w - 13 + k + 1 - 2. Is l(-14) a multiple of 16?
True
Let v be 168/8*(-2)/(-6). Is 19 a factor of (v/2)/((13/(-14))/(-13))?
False
Let h(w) = -23*w + 11. Let s(r) = 11*r - 5. Let a(g) = -2*h(g) - 5*s(g). Let t = -348 + 345. Is a(t) a multiple of 10?
True
Suppose 0 = 3*c - c - 5*m - 177, 3*m + 187 = 2*c. Suppose 5*a - 20 = -0*a, -5*a = -2*t - 138. Let d = c + t. Is d a multiple of 18?
False
Suppose 3*r - 5*n = 37, -2*n = 2*r + 3*r - 41. Let i(a) = -a**2 + 9*a + 16. Does 4 divide i(r)?
True
Let o(h) be the first derivative of h**4 - 1/2*h**2 + h + 1/3*h**3 + 1. Is o(2) a multiple of 12?
False
Let h = -12 - -15. Suppose -3*d + 6 + h = 0. Suppose 0 = -d*r + b + 27 + 12, -b = -3. Is r a multiple of 7?
True
Let h = -273 - -382. Suppose 5*o = -4*j - h + 398, -5*o - j = -301. Is 10 a factor of o?
False
Suppose -q = 4*z - 7133 + 2060, -2539 = -2*z - 3*q. Is 15 a factor of z?
False
Let y(x) = -118*x + 80. Let p be y(-6). Suppose -5*r = 25, 5*t + 3*r = 837 + p. Is t a multiple of 68?
False
Suppose -2*g = -2*m - 0*g + 50, 4*g = 16. Suppose w = m + 29. Does 17 divide w?
False
Let k = 15 + -15. Suppose 30 = -d - t + 77, 5*t - 10 = k. Is 9 a factor of d?
True
Suppose -2*s + 5 = -3*s, -s = 3*n - 10. Suppose -162 = -a - n*a. Is 11 a factor of a?
False
Suppose 3*d - 5*i = 2888, -4*d - 4*i - i + 3874 = 0. Is 24 a factor of d?
False
Let u(z) = 25*z**2 + 5*z + 5. Let j = 31 + -34. Let v be u(j). Suppose 4*f = -s + v, -3*f + s = -92 - 71. Does 18 divide f?
True
Let u = -40 + 30. Is (-1)/((-5)/u) + 13 a multiple of 8?
False
Suppose l = -5*b - 203, -2*b - 2*l - 46 = -b. Let h be ((-36)/(-15))/((-3)/b). Suppose 0 = 2*v - v - h. Is 25 a factor of v?
False
Suppose 3*s - 700 = -5*f, 5*s + 4*f = s + 944. Does 80 divide s?
True
Is (406/35)/(62/30 + -2) a multiple of 22?
False
Let f be (-5)/4*(-18 + -2). Suppose 5*x + 0*x - f = 0. Suppose -x*i = -451 + 161. Is 14 a factor of i?
False
Let o = -27 - -19. Let f = o - -10. Does 24 divide 71 - 1/(f/(-2))?
True
Suppose -4*l = -0*l + 20. Let w be (-3 - -4)/((-1)/l). Suppose -2*i - 69 = -w*g - i, -5*g - 5*i + 45 = 0. Does 9 divide g?
False
Suppose 70*n = 68*n - 3*f + 371, 0 = -3*n + f + 562. Is 17 a factor of n?
True
Suppose -2*h + 3*v + v + 24 = 0, -v - 15 = -2*h. Let q(s) = 4*s - 21. Let w be q(h). Suppose -2 + 86 = w*f. Is f a multiple of 8?
False
Let q(j) = -10*j - 35. Let b be q(-11). Suppose b + 125 = 2*i. Is i a multiple of 20?
True
Suppose m - 2*m = -1200. Does 24 divide m?
True
Let y = 974 - 292. Is 13 a factor of y?
False
Let w(c) = -5*c**3 - c**2 - c. Let x be w(-1). Suppose t + 165 = p, -x*p + 3*t = 2*t - 805. Suppose 0 = -11*v + 15*v - p. Is v a multiple of 10?
True
Let r = 810 + -343. Suppose 0 = -l - 3*i + 114, i = -3*l - 125 + r. Is 25 a factor of l?
False
Suppose 9 = 5*p - 11. Suppose -p*u + 28 = -4. Is 2 a factor of u?
True
Let x = -33 + 35. Suppose -3*z + 53 = x*s, -3*z + 28 = s - 0*s. Is 6 a factor of s?
False
Is (31232/(-12))/(-4)*(11 - 8) a multiple of 32?
True
Let d = 407 - 340. Is 4 a factor of d?
False
Let r be 8/(-3)*(-63)/12. Suppose -3*h + r = -22. Is 2/4 - (-318)/h a multiple of 6?
False
Let m(j) = -14*j + 24. Let o = -49 + 43. Is 27 a factor of m(o)?
True
Let t(g) = -4*g**3 + 1. Let k be t(-1). Let s(h) be the second derivative of h**4/6 - 3*h**2 + 9*h. Is s(k) a multiple of 14?
False
Let j(m) = 3*m**2 - 2*m + 1. Let k be 2/9 - 300/135. Is j(k) a multiple of 17?
True
Suppose q + q = -12. Let y = -4 - q. Let r(c) = 4*c**3 - 2*c**2 + c. Is r(y) a multiple of 13?
True
Let v be 12/42 - 99/(-21). Suppose -v*l = -y + 140, 0*y + 5*y - 660 = 5*l. Is 36 a factor of y?
False
Let p(l) = -9*l**3 + 2*l**2 + 4*l - 1. Suppose -4*s + 2*y = 3*y - 15, 5*y = -2*s + 3. Suppose 0 = -z + a - 6, 2*z + 2*a = 8 - s. Is 8 a factor of p(z)?
False
Let f be (3 - 9)*(3 + -2). Let p(z) = 2*z**2 + z - 2. Is p(f) a multiple of 5?
False
