multiple of 14?
True
Let i(v) = -6*v**3 - 7*v**2 + 2*v + 2. Suppose 0 = 4*j - 5*j - 3. Is i(j) a multiple of 19?
True
Let k = -29 - -34. Suppose 2*f = k + 3. Is 4 a factor of f?
True
Suppose -121 - 39 = -4*d. Suppose -d = -k + 12. Does 26 divide k?
True
Let j(t) = -49*t - 532. Does 35 divide j(-48)?
True
Let p = -37 + 86. Suppose j + t - p = -3*j, 0 = -5*j - 5*t + 80. Does 8 divide j?
False
Suppose -2*h - 26 = -5*c, -4*h - 11 - 17 = -4*c. Suppose 0 = c*f + d - 426, 0 = 4*f - 3*d + d - 420. Does 9 divide f?
False
Let k be 4/(-38) - (-4936)/(-38). Let l = -4 - k. Is l a multiple of 10?
False
Is 17 a factor of 44*1/4*17?
True
Let k be (-15)/50*-5*2/1. Suppose -k*p + 33 = -2*p. Is 5 a factor of p?
False
Is 35 a factor of -10 - 8*(-8 + -84)?
False
Let r be (-27)/3 + (-2)/2. Let c = r - -15. Does 6 divide 1 + c - (-5 + 2)?
False
Suppose -3*d + 26 - 8 = 0. Let m(x) be the third derivative of x**5/30 - 3*x**4/8 + 5*x**3/3 - 18*x**2 + 1. Is 28 a factor of m(d)?
True
Let w(t) = 8*t**3 + 1. Let n be w(1). Let i be (-772)/(-12) + (-3)/n. Suppose 0 = 5*o - 10, o = 2*s + s - i. Is s a multiple of 11?
True
Let t(q) be the second derivative of 3*q**5/20 - q**4/24 + q**3/6 + q**2 - 3*q. Let n(x) be the first derivative of t(x). Is n(1) a multiple of 2?
False
Let r = -11 - -71. Suppose -3*k + 0*k + r = 0. Suppose -2*n + k = 2*u, 5*u - 5*n + 33 = 103. Does 3 divide u?
True
Suppose 6*k + 66 - 960 = 0. Does 4 divide k?
False
Let c(x) = 22*x**2 + 3*x + 2. Let g(o) = o**3 - 5*o**2 + 2*o + 7. Let t be g(4). Does 7 divide c(t)?
True
Is (-40)/24 + 38930/30 a multiple of 12?
True
Let v(z) = -z + 15. Let a be v(-6). Let m = 31 - a. Is 5 a factor of m?
True
Let j = 1282 + 146. Is j a multiple of 68?
True
Let b(n) = -18*n**3 + n**2 - n - 2. Let w be b(2). Is ((-8)/8)/(1/w) a multiple of 24?
True
Let a be 6 - 6/2 - 3. Suppose -3*p = -a*p - 1272. Suppose -p = -b - 7*b. Does 8 divide b?
False
Let n = 468 + -208. Is n a multiple of 26?
True
Let q = 307 + -249. Is q a multiple of 9?
False
Suppose -6 = 2*t - 42. Suppose 3*q - 4*h - t = 0, 3*q - 2*h - 5 = 7. Is (q/(-1))/((-20)/290) a multiple of 12?
False
Suppose -m = m - 10. Suppose -a + 373 = m*z, 4*z = 4*a + 163 + 145. Does 24 divide z?
False
Suppose s = 3*z - 12, 3*z - 4*s = -1 + 4. Let n = -2 + z. Suppose -w + 36 = n*w. Is 3 a factor of w?
True
Suppose -4*q + 25 = -2*q - 5*a, -3*q + 33 = -3*a. Suppose -3*f + q = 4. Suppose -f*z + 18 + 8 = 0. Is 3 a factor of z?
False
Suppose -d - u + 3092 = 0, u = -4*d + 2*u + 12393. Does 74 divide d?
False
Let f = -699 - -1264. Suppose -4*c - 5*n = -f, -141 = -2*c + c - n. Suppose 3*z = 4*s - c, 3*s - 5*z - 116 = -0*z. Does 9 divide s?
False
Suppose b - 7 + 1 = 0. Let i(f) = -f**3 + 5*f**2 + 7*f + 5. Let t be i(b). Suppose 2*k - 3*y - 19 = 0, -3*y - t = -2*k + k. Is k a multiple of 3?
False
Let t be (-27 - 2/1) + -3. Let p = 46 + t. Let h = 42 - p. Is h a multiple of 6?
False
Let i = 7 + -4. Suppose 5*f - 402 = 5*d + 888, i*f + 3*d = 792. Suppose -3*o = -0*o - f. Is 25 a factor of o?
False
Let v(c) = -c**2 + 5*c - 3. Let a be v(5). Let j = -7 - -16. Let l = j + a. Is l a multiple of 3?
True
Suppose 6*g - 198 = 4*g - 3*f, 0 = -g - 3*f + 93. Let o = g + -21. Is 7 a factor of o?
True
Let q = 44 - 23. Let a(t) = -t + 7. Let j be a(7). Suppose -m + q - 6 = j. Does 3 divide m?
True
Is 64 + -15 + -2 + 1 + -3 a multiple of 20?
False
Suppose -6*h + 1072 = 238. Does 21 divide h?
False
Let u be 390 + (4 - -3 - 5). Suppose -5*n - 8*l + u = -5*l, 5*n - l = 396. Is n a multiple of 22?
False
Suppose -691 = -3*n - 5*d, -13*n = -12*n + 4*d - 242. Is n a multiple of 68?
False
Let l = 75 + -30. Suppose 0 = -9*n + 126 + l. Is 19 a factor of n?
True
Let p = 73 - 46. Let u be 8/(-2) - 1*2. Let m = u + p. Does 7 divide m?
True
Suppose -3*v - 15 = -4*o, -2*v = -4*o + 11 + 3. Suppose -2*z + 6 = -0*q + 2*q, -o*z = 5*q - 25. Does 2 divide q?
True
Let x(a) = a**3 - 9*a**2 + 2*a + 3. Let o = -14 - -23. Does 9 divide x(o)?
False
Let b(q) = -2*q**2 + 11*q - 7. Let y be b(5). Is 4 a factor of y/((-10)/85) + -1?
True
Let h(y) = -15*y + 35. Let p be h(-15). Suppose 0 = 4*w - 0*w - 4*c - p, -2*w + 125 = -c. Does 12 divide w?
True
Suppose -6*c + 306 = 11*c. Is 8 a factor of (-1)/(-4 + 10) + 1155/c?
True
Let l(p) = -12*p**3 - 2*p + 1. Let m(r) = -r - 2. Let k be m(-4). Suppose k*y + 6 = -y. Is l(y) a multiple of 26?
False
Does 9 divide (-3)/5*(-92 + 17)?
True
Let h(z) = 13*z**3 - 8*z**2 - 32*z + 28. Let f(k) = -3*k**3 + 2*k**2 + 8*k - 7. Let l(j) = 9*f(j) + 2*h(j). Is l(-4) a multiple of 18?
False
Let l be -6*((-9)/(-6) - 4). Suppose -400 = -l*c + 11*c. Does 10 divide c?
True
Let v(n) = n**3 + 9*n**2 - 11*n + 7. Let g = 7 - 5. Suppose -4*l - g*m = m + 31, -4*m = -3*l - 42. Is v(l) a multiple of 8?
False
Let q(f) = 2*f - 4. Let v be q(5). Let m = 7 - v. Is 9 a factor of m/1*3*6?
True
Let x(i) = -i**3 + 2*i**2 - 2. Let h be x(-3). Suppose 0 = -4*w + h + 29. Suppose -3*o + 6*o - w = 0. Is o a multiple of 2?
True
Let k be (-12)/9 - 80/(-60). Suppose 4*p + a = 61, a - 3 = -2*a. Suppose -4*m + k*m - p = -3*b, -3*b + 15 = 5*m. Is 3 a factor of b?
False
Suppose y = -2*s + 152, -3*y - 71 = -s - y. Suppose s = -10*r + 5*r. Let o = -8 - r. Is o even?
False
Is 9 a factor of (-21573)/(-102)*(-4)/(-6)?
False
Let l be -1*(-6 + -4 + -1). Let c = -6 + l. Suppose 5*b - 22 = -2*j + 3*b, 0 = c*b - 20. Is 4 a factor of j?
False
Let h = 577 + -127. Is 50 a factor of h?
True
Suppose p - 20 = -5*r, -2*p - 3*r + 14 = 2. Suppose p = 6*m - 236 - 454. Is m a multiple of 13?
False
Suppose -7 = 3*z - 37. Suppose -z + 2 = -2*i. Let y = i + 16. Is 5 a factor of y?
True
Let i(j) = -9*j + 2*j + 6*j. Let b be i(-11). Let r = b - -2. Is 11 a factor of r?
False
Suppose -5*t - 3*r = -6694, 5*t - 3*r = 1354 + 5352. Is 20 a factor of t?
True
Let o(w) be the second derivative of w**3/2 - 37*w**2/2 - 37*w. Is o(25) a multiple of 23?
False
Let j = 11 + -53. Is ((-144)/(-28))/(-6)*j a multiple of 12?
True
Let z(f) = -2*f**3 - 3*f**2 - 6*f - 1. Does 17 divide z(-5)?
True
Let z be 6/(-3)*45/(-6). Let u be ((-4)/5)/((-3)/z). Suppose -u*x + 190 = 22. Does 14 divide x?
True
Suppose 3*t + 6 = 0, -4*t - 3091 = -5*y + 5292. Is 19 a factor of y?
False
Suppose -5*r + 18 = q - 0, 4*r = 16. Let a(f) = 5*f**2 + 4*f + 2. Let j be a(q). Let c = j - -1. Is c a multiple of 5?
True
Suppose 0 = -4*b - a + 35, -2*a + 19 = 2*b - a. Suppose -c + b*c = 0. Suppose -3*g + 367 = -s + 3*s, c = -5*g + 3*s + 580. Does 31 divide g?
False
Let s(g) = g**2 - 7*g + 16. Let p be s(6). Is (14/p + -1)*30 a multiple of 12?
True
Let b = 6298 + -3409. Is b a multiple of 33?
False
Let j = 1057 + -911. Does 73 divide j?
True
Let c = 1107 - -506. Does 86 divide c?
False
Suppose 5*r - 4*r = -2*i - 37, r + 21 = -i. Is 12 a factor of 27/((-12)/30*10/i)?
True
Suppose -16*b + 124 = -404. Let h = b - -12. Is 42 a factor of h?
False
Let t = 464 - 269. Suppose 8*z - 6*z = 2, 3*z + t = d. Is d a multiple of 44?
False
Suppose h = -5*z + 5493, z = -2*z - 2*h + 3300. Is 16 a factor of z?
False
Suppose -93 = 5*q - 363. Let u = q - 7. Suppose 7 = 4*r + 5*y, r - u = -3*r + 3*y. Does 2 divide r?
True
Let j = -103 + 144. Does 41 divide j?
True
Let n be (0 + (-2)/8)*-16. Suppose 5*r - 9 - 3 = -n*p, 2*r - 8 = 0. Let a = p + 28. Is 8 a factor of a?
False
Let i(c) = c**3 - 34*c**2 - 38*c + 265. Does 20 divide i(35)?
True
Suppose -i + 821 = -4*q, 4*i - 1580 = q + 1719. Does 55 divide i?
True
Let y = 2 + -24. Let z = -19 - y. Suppose -z*v + 52 = -4*a, 0 = 2*v - 2*a + a - 43. Is v a multiple of 6?
True
Let v be 3/3*5*1. Let w = -1249 - -1251. Suppose u + w*i = 74, i - 6*i + 345 = v*u. Is u a multiple of 8?
True
Is 12 a factor of (-3 - 0) + 2 - -806?
False
Let d(k) be the third derivative of k**5/60 + k**4/6 + 9*k**2. Is 15 a factor of d(5)?
True
Let x be 12 - 1/1*1. Is 5 a factor of x + (-3)/(-6)*4?
False
Let f = 460 - 305. Suppose -f = -0*j - 5*j. Is j a multiple of 11?
False
Suppose 2*t = 2*n + 4, -4*t + 8*n + 4 = 3*n. Is 6 a factor of (-9)/(4 - (4 - t/(-28)))?
True
Let d = -42 + 47. Suppose 290 = 5*h + 5*a - 0*a, -128 = -2*h - d*a. Does 9 divide h?
True
Let d(n) = 27*n - 10*n - 16*n. Let z be d(4). Suppose -z*f - p + 139 = -352, 4*p + 619 = 5*f. Is 32 a factor of f?
False
Suppose 8*y - 13*y + 205 = 0. Let x be 1*(1 + 8/(-4)). L