se 0*v - 4*v = -20. Suppose -v*a + 4*q = 247, -2*a + 0*q - 104 = q. Let g = 83 + a. Is g a multiple of 16?
True
Let z(g) be the second derivative of g**4/12 + g**3/6 + 13*g**2/2 - 3*g. Let a(v) = -v + 14. Let f be a(10). Does 12 divide z(f)?
False
Let y = 444 + 951. Suppose 4*o = -2*z + 1116, -6*z + y = 5*o - z. Does 36 divide o?
False
Let q(o) = 6*o + 17. Let v be q(20). Let x = 206 - v. Does 7 divide x?
False
Does 14 divide (5 + 195/(-25))*-265?
True
Let i = 1885 - 1301. Is i a multiple of 8?
True
Suppose c - 14 - 11 = 0. Let n = c - -13. Does 19 divide n?
True
Let k = -33 - -42. Suppose -k*w = -4*w - 20. Suppose -w*f + 34 = -58. Does 7 divide f?
False
Let i(v) = v**3 + 5*v**2 - 5*v + 777. Is i(0) a multiple of 11?
False
Suppose 4 = 4*y + 4*x, -2*y - x + 9 = 3*y. Suppose 5*q - 532 = -y*q. Is 19 a factor of q?
True
Does 34 divide ((-5252)/(-26))/(1/2) + 4?
True
Let s be (-10)/4*(36/(-30))/1. Suppose -4*d + 20 = 0, x - s*x + 235 = d. Is 20 a factor of x?
False
Let k = 299 - 174. Let w = k - 50. Is 15 a factor of w?
True
Let x(s) = -10 - 1 - 7*s + 0 + 8 - s**2. Let k be x(-6). Suppose v = j - 3 - 25, k*j = -3*v + 78. Is j a multiple of 9?
True
Let v(h) = -h**3 + 7*h**2 - 6*h - 2. Let w be v(6). Let z be (-30)/20*12/w. Suppose -j - 5*c + 6 = 0, -4*c = -3*j - z*c + 18. Is j even?
True
Suppose 9*o - 2*o = 1680. Is 60 a factor of o?
True
Let u(z) be the second derivative of -z**5/20 - 7*z**4/12 - z**3/6 + 5*z**2/2 + 4*z. Is u(-7) a multiple of 6?
True
Let t = -1 + 1. Let q = 17 - 13. Suppose 2*b - d = 63, t*d - 123 = -q*b + d. Is b a multiple of 15?
True
Let a = 84 - 112. Is 3684/14 - (-4)/a a multiple of 16?
False
Suppose 37*t - 3636 = 31*t. Does 5 divide t?
False
Suppose 3*y - 2 = -4*l + 5*y, 11 = 2*l - 3*y. Let b = 7 + l. Is 5 a factor of b?
True
Suppose 0 = 5*l - 2*u - u + 320, 3*l - 5*u + 192 = 0. Let f = l + 96. Is 6 a factor of f?
False
Let v = -28 - -21. Let c(q) = 4*q**2 + 18*q + 2. Is 12 a factor of c(v)?
True
Suppose -7*z + 12*z - 3*o - 645 = 0, 4*z = o + 516. Is z a multiple of 3?
True
Suppose 4*x - 238 = 5*c + 4274, 4*x = c + 4496. Is x a multiple of 28?
False
Let u(o) = o + 3. Let i be u(-10). Let n(p) = p - 1. Let l(h) = h**2 - h - 9. Let a(b) = l(b) + n(b). Is 13 a factor of a(i)?
True
Let f be (1 + 5)/(-2) - -5. Suppose -3*o + 40 = f*o. Is o even?
True
Suppose n + 4*n - 135 = 0. Suppose n = -5*x - 13. Is 9 a factor of (85/20)/((-2)/x)?
False
Let v(b) = -b**2 - 5*b + 1. Let d be v(-4). Suppose -d*f + f = -120. Is f a multiple of 10?
True
Let a(h) = -24*h - 84. Does 12 divide a(-8)?
True
Let l(x) be the third derivative of -3/20*x**6 - 1/60*x**5 - 1/24*x**4 + 0*x**3 - x**2 + 0 + 0*x. Is 9 a factor of l(-1)?
True
Let l(g) = g**3 - 3*g**2 - 2*g + 2. Let x be l(4). Suppose x*a = 14*a - 80. Let h = a + 27. Is h a multiple of 10?
False
Let k(h) = -16*h**3 - 3*h**2 + h + 3. Let n be k(2). Let s = n + 243. Does 12 divide s?
True
Let q = -63 - -60. Let c(n) = -3*n**3 - 3*n**2 + 4*n + 5. Is c(q) a multiple of 20?
False
Let z(w) = -2*w**2 + 143*w + 43. Does 37 divide z(62)?
True
Suppose 4*m - 3*g - 35 = 0, -4*m + 4*g + 19 = -21. Suppose 7*b - 382 = m*b. Is b a multiple of 46?
False
Let a(g) = -g**3 - 7*g**2 - 5*g - 8. Let d be a(-7). Let h = d + -27. Suppose 2*s - 5*s + 96 = h. Is 16 a factor of s?
True
Suppose -7*y + 6636 = -5*y - 4*r, -5*y = -2*r - 16614. Is y a multiple of 45?
False
Let a = -3 - -9. Let y(l) = -l**3 + 6*l**2. Let c be y(a). Suppose 5*n - 5*s = -c*n + 200, -2*s = 5*n - 193. Is n a multiple of 13?
True
Suppose -l - 4*i + 587 = -157, 0 = 2*l - 3*i - 1532. Is 40 a factor of l?
True
Suppose 0 = 10*q - 5*q - 15. Suppose q*w - 3 - 27 = 0. Suppose -w = 2*o - 30. Is o a multiple of 9?
False
Suppose 3*x + 8 = w, -5*x = 5*w - 3*x - 108. Suppose 0 = -5*l - 2*r + w, l + 2*r + 4 = 2*l. Suppose -344 = -8*k + l*k. Does 13 divide k?
False
Suppose -v - 9 = -2*v. Let f be 312/v - 2/(-6). Let j = f - 17. Is 18 a factor of j?
True
Suppose 6*g + 476 = 2*g. Let t be (-142)/(2 - 4)*18/(-18). Let r = t - g. Is 12 a factor of r?
True
Suppose 20*a - 21*a + 424 = 0. Does 8 divide a?
True
Is (-1)/8 + (4485/40 - -2) a multiple of 2?
True
Let l = -169 - -247. Is 13 a factor of l?
True
Suppose 5*g - 45 = -8*l + 3*l, -5*l + 35 = 3*g. Suppose j + v - l*v = 93, 0 = -3*j + 2*v + 244. Is j a multiple of 13?
True
Let y(h) = -h - 6. Let k be y(-9). Suppose f + 20 = -2*o, k*f + 3*o + 9 + 42 = 0. Is (f/10 - -1)*-85 a multiple of 17?
True
Is 5 a factor of 121 + (-8 - 2) + 0 + 4?
True
Suppose 3*r + 6 = -114. Let k = 14 - r. Is 10 a factor of k?
False
Let q(t) = -12*t + 31. Let f be q(-8). Let r = f - 96. Is r a multiple of 31?
True
Let c(a) = 4*a**2 - 2 + a + 2*a - 2*a - 3*a**2 - 7*a**3. Is c(-2) a multiple of 14?
True
Let w = 361 - -29. Does 13 divide w?
True
Let j(f) = f**3 + 11*f**2 + 8*f + 4. Let u be j(-10). Let m = 26 - u. Suppose -4*q = -2*o + 74, m*q = -2*q - 12. Is o a multiple of 5?
False
Suppose -1074*t = -1084*t + 19050. Is t a multiple of 21?
False
Let q be (4/6)/((-1)/(-66)). Suppose -4*y = o - q, o + 5*y - 48 = -0*o. Is 14 a factor of o?
True
Suppose d = 5*o + 46, -4*d + 5*d - 4*o = 46. Let n be d/14 + 2/(-7). Is 44 + -4*n/6 a multiple of 23?
False
Let p = 147 + -142. Suppose k - 96 = p. Is k a multiple of 28?
False
Let b = -1174 - -1648. Is 116 a factor of b?
False
Let s be (-49 + 2)/(1/(-2)). Let z = 25 + s. Does 9 divide z?
False
Suppose -144018 = 14*n - 56*n. Is 127 a factor of n?
True
Let i(t) be the third derivative of -37*t**4/24 - 4*t**2. Is i(-1) a multiple of 12?
False
Let b = 1 + -3. Let m(z) = 99 - 20*z - 104 - 19*z. Does 15 divide m(b)?
False
Let l = -192 + 477. Let c = l - 151. Is 24 a factor of c?
False
Suppose 3*t = 3*r - 10269, 2*t = -5*r - 6330 + 23438. Is r a multiple of 58?
True
Suppose 4*p - 3*q = 58 + 51, -5*p + 134 = -3*q. Suppose -2*v + p = -3. Is v a multiple of 14?
True
Suppose 24*v - 18*v = -12. Does 6 divide (-29)/(-3) + v + 8/6?
False
Let o(f) = f**3 - 8*f**2 - 3*f + 2. Let s be o(8). Let v = -21 - s. Suppose -6 = -u + v. Is u a multiple of 7?
True
Is (-101 - -5)/(9/(-12)) a multiple of 16?
True
Let o = -1038 - -1092. Is 2 a factor of o?
True
Is 17 a factor of (180/27)/((-4)/(-30))?
False
Let r(c) = 31*c**3 + c. Let m be r(-1). Let s = m - -35. Does 3 divide s?
True
Suppose 16698 = 13*v + 6688. Is v a multiple of 7?
True
Suppose -4*x + b + 14 = -0*b, -3 = -3*x - 3*b. Let z(h) be the second derivative of 10*h**3/3 + 2*h**2 - h. Does 18 divide z(x)?
False
Let b = 110 - 105. Suppose 1181 = b*o + 326. Does 57 divide o?
True
Let g = 4 - 3. Suppose -l + 5 = 3*z, 0 = 3*l - l - 5*z + g. Suppose -4*r - l*h + 10 = 0, 0 = -h - 3. Is r a multiple of 4?
True
Let q(f) be the first derivative of f**3/3 + 10*f**2 - 28*f + 15. Let o be q(-21). Is 11 a factor of (-8)/14 - 564/o?
False
Suppose 0 = 9*p - 15*p - 150. Let x = p - -50. Does 25 divide x?
True
Let y(v) = 402*v**2 + 5*v + 7. Is 107 a factor of y(-2)?
True
Let s = 15 - 14. Let m = 11 - s. Is 10 a factor of m?
True
Let i = -1 + 3. Let b = -85 + 181. Suppose 4*p - 131 = -3*a, -b = -4*p + i*a + 2*a. Does 24 divide p?
False
Suppose -i + 8*i = -112. Let p(r) = -7*r + 32. Does 16 divide p(i)?
True
Let i(y) = y**3 + 20*y**2 + 59*y - 38. Is 7 a factor of i(-16)?
True
Let q be -2 - (151 + 1 + -1). Let j be (62/5 + -4)*30. Let c = j + q. Does 33 divide c?
True
Let g = 1180 + -1148. Is 5 a factor of g?
False
Suppose 16*c - 7007 = 9*c. Is 14 a factor of c?
False
Let y be (60/(-25))/(6/(-80)). Suppose 2*z = -2*h + 4, 0 = -z + 5*z - 4*h - y. Is ((-6)/z)/((-6)/180) a multiple of 12?
True
Let h = 555 + -387. Is 12 a factor of h?
True
Let i(d) = d**3 + 7*d**2 + 9*d + 13. Let l be i(-6). Let b be (41 + 1)/(-6 - l). Let p = b + 70. Is p a multiple of 6?
False
Let c(w) = -w**3 + 7*w**2 - 4*w. Let l be ((-65)/10)/((-3)/6). Suppose 7*q - l - 29 = 0. Is c(q) a multiple of 11?
False
Let z(n) = 4*n**2 - 26*n - 280. Is z(-11) a multiple of 14?
True
Let z = 220 - 44. Is 29 a factor of z?
False
Let r(i) = 8 + 4*i - i + 0*i + 6. Is 30 a factor of r(6)?
False
Let s(k) = 2*k**2. Let b be s(-2). Suppose -z - 5*w = -0*w + b, 4*z + 95 = w. Is (z + 1)/(2/(-1)) a multiple of 11?
True
Suppose 24*u - 29*u + 1560 = 0. Does 12 divide u?
True
Suppose 3*j - 1211 + 431 = 0. Suppose 5*t = t - j. Let k = 137 + t. Does 24 