*s + 224. Is k a multiple of 13?
False
Let v = 61 - 32. Let o = -15 + v. Does 5 divide o?
False
Let l(s) = -10*s - 6. Let u(n) = 15*n + 9. Let i(g) = -8*l(g) - 5*u(g). Let p be i(2). Suppose -11*c = -p*c + 18. Is c a multiple of 2?
False
Let m be 988/14 + 12/28 + 1. Let a = 58 + m. Is a a multiple of 40?
False
Suppose 42 = 3*h - 6. Suppose v = -h + 1. Let q = v + 27. Is 4 a factor of q?
True
Suppose -3*s + 18 = -0*u + u, 4*s - 32 = -4*u. Let f(p) = 5*p**2 + 11. Let o be f(s). Suppose o + 26 = 2*n. Is 23 a factor of n?
False
Suppose 1 = -7*d + 15. Is 1/((-4)/(d*-8)) a multiple of 4?
True
Let r(c) = 97*c - 167. Is 13 a factor of r(18)?
False
Suppose 4*d - d = 3*b + 3741, 4*d - b = 4991. Is d a multiple of 24?
True
Let u(p) = -24*p**3 + 4*p**2 + 5*p + 15. Is u(-3) a multiple of 36?
True
Let n(m) = 132*m**3 + 1. Let s be n(1). Suppose 0 = -4*f + 219 + s. Let u = -58 + f. Does 15 divide u?
True
Let j = -236 + 461. Is 10 a factor of (84/(-35))/(219/j + -1)?
True
Does 22 divide (-18)/12*-132 - -2?
False
Suppose -102 = -3*n + n. Let q = n + 134. Is 43 a factor of q?
False
Suppose -5*d + 765 = -735. Is 25 a factor of d?
True
Suppose 3*m = -3*g + 12, 7*g - 44 = 3*g + 3*m. Suppose 0 = -3*d + g*d - 90. Suppose -2*s = -20 - d. Is 19 a factor of s?
True
Let v = -245 + 101. Let k = 241 + v. Is 7 a factor of k?
False
Let x be ((-42)/(-28))/(6/8). Let g be x/(-7) + (-3534)/(-21). Suppose 0 = -w - w + g. Does 12 divide w?
True
Let o = 4373 - 2901. Let k be 13/(-39) + o/6. Suppose -k = -2*f - 47. Is f a multiple of 33?
True
Suppose 172 = -8*j + 52. Let t = 12 - j. Is t a multiple of 9?
True
Suppose 0 = 56*z - 54*z - 414. Is z a multiple of 16?
False
Suppose 812 = 4*h - 2*i + 6*i, -h - 3*i + 193 = 0. Let c be (-1 + -212)/((-12)/(-8)). Let s = c + h. Does 15 divide s?
False
Let i(b) = 4*b**2 + 2*b + 3. Let h be i(-1). Suppose -h*r = -364 + 64. Does 14 divide r?
False
Let v(c) = -c**3 - 14*c**2 - 18*c - 9. Is v(-13) a multiple of 4?
True
Let g(w) = -w**2 + 2*w. Let f be g(2). Let n(i) = -2*i**2 + i + 7. Is 2 a factor of n(f)?
False
Suppose -4*i + 71 = 5*v, 3*v + 3*i + i = 49. Suppose 7*d = v*d - 420. Is d a multiple of 21?
True
Let u(w) = 214*w + 282. Does 33 divide u(3)?
True
Let u(i) = 5*i**3 + 9*i**2 + 5*i + 14. Let g(z) = -3*z**3 - 5*z**2 - 3*z - 7. Let w(k) = 7*g(k) + 4*u(k). Does 13 divide w(-4)?
True
Let t(v) = -919*v**3 + v + 2. Is t(-1) a multiple of 7?
False
Let z be (-12)/30*(1 - -19). Let k be -59 - (z/(-2) + -8). Let q = k - -145. Does 18 divide q?
True
Let i(z) = -z**3 + 13*z**2 + 35*z + 35. Is 10 a factor of i(15)?
True
Let d = -8 - -71. Is (-5)/(10/(-8)) + (d - -9) a multiple of 30?
False
Suppose 0 = -3*o + 4*o + 2*f, -o + f - 3 = 0. Let y be 18/8 - o/(-8). Suppose 0 = -0*s + y*s - 70. Does 9 divide s?
False
Let k(q) be the third derivative of -55*q**4/8 + 5*q**3/6 + 5*q**2. Is k(-1) a multiple of 34?
True
Let a = -98 + 245. Is 7 a factor of a?
True
Let h = 20 - -183. Let c be 0 + 1 - 448/4. Let n = h + c. Does 14 divide n?
False
Suppose -29 = -3*m + 4*v + 23, 0 = -m - 5*v - 8. Suppose 4*t - 44 = -m. Is 8 a factor of ((-8)/(-6))/(t/132)?
False
Suppose -2*p = -4*d + 12, p + d - 8 = -p. Suppose k = -p*k. Let a = 93 - k. Does 23 divide a?
False
Suppose -5*p = -2*u + 465, 0 = 4*u + u + 3*p - 1147. Does 12 divide u?
False
Let t(y) = -16*y - 61. Is t(-4) even?
False
Let k(r) = -r**2 + r + 111. Suppose 4*t + 6*j - 8 = 2*j, 0 = -5*t + 4*j - 8. Is k(t) a multiple of 37?
True
Let t = -11 - -18. Suppose -t*p + 2*p = -10. Does 9 divide -2 + 38 + (2 - p)?
True
Let l(o) = 75 + 887*o - 884*o + 2. Is 25 a factor of l(32)?
False
Let b(l) = l**3 + 9*l**2 - 12*l + 12. Suppose 23 = -3*h - 4. Let s be b(h). Suppose 8*o - s = 3*o. Is 12 a factor of o?
True
Let l(m) = -7*m. Suppose 4*y - 39 = 5*u, 4*u + 30 = -5*y + 7. Let k be l(u). Suppose -k = -4*b + 15. Does 10 divide b?
False
Let o be 4 - (-7)/(7/(-4)). Suppose o = -0*h - h. Suppose h = -2*u - 0*u + 144. Is u a multiple of 23?
False
Let z(w) = 12*w**2 - 13*w - 62. Is 16 a factor of z(9)?
False
Is 25 a factor of (9186/(-24) - -3)*-4 - -6?
True
Let x(r) = r**2 - 10*r + 11. Let t be x(9). Suppose 5*a - 21 = t*g, 2 = -g + a - 1. Does 11 divide (g - 1)/((-2)/(-74))?
False
Suppose -3*r - 3692 = -5*i, -4*i - 742 = -5*i - 3*r. Does 28 divide i?
False
Suppose 2*o - 2*z = z + 50, 3*o = -2*z + 49. Suppose -22*p + 12 = -o*p. Suppose -k + p*k = 3*x - 75, -k = -5. Is 6 a factor of x?
True
Let l(h) = -h**3 + 4*h**2 - 6. Let i be l(3). Let g be -1 + i - 9*1. Let c(o) = o**2 + 3*o. Is 14 a factor of c(g)?
True
Suppose j = 11*w - 14*w + 1012, 5*j - 1353 = -4*w. Is w a multiple of 34?
False
Let b(i) = i**3 + 9*i**2 - i + 10. Let y be b(-9). Is 19 a factor of y*(-3 - -2 - -2)?
True
Let d be (6/4)/(4/8). Suppose -2*v + 3*z = -7, 0 = 3*v - d*z + 1 - 10. Let c(k) = -k + 4. Is c(v) even?
True
Let r(c) = 3*c**2 + 64*c - 45. Is 22 a factor of r(-28)?
False
Does 11 divide (-2442)/8*(-120)/90?
True
Is 51 a factor of 30/(-4)*(50 + -92)?
False
Suppose 3 = z - 5*t, 4*z + 4*t + 0*t - 36 = 0. Let f = 41 - z. Is f a multiple of 15?
False
Is 969392/264 + 2/33 a multiple of 34?
True
Is 24 a factor of 284 - ((3 + -3)/5 + 5)?
False
Let r be ((-3)/(-2))/(-3)*0. Suppose -4*m + 0*a + 4 = 2*a, r = 5*m + 2*a - 7. Is (2*-7)/(m/(-6)) a multiple of 7?
True
Let x(q) = 2*q**3 + 2*q**2 + q + 5. Let z be x(4). Suppose -3*y = -176 - z. Is 9 a factor of y?
False
Suppose 2*v - 8 = -2*m, -5*m + 7 = 2*v - 7. Suppose -d = -6*j + 3*j - 41, 5*d + v*j = 222. Does 22 divide d?
True
Suppose 0*w + 2*w - 8 = 0, -3*w + 151 = l. Suppose 6*h - 667 + l = 0. Is h a multiple of 22?
True
Let r be 16/12*9/12. Is -1*r*66*(-5)/2 a multiple of 26?
False
Let g be -6*(2 + (-4)/3). Let y(l) = -6593 + 6594 - 8*l - 8*l. Is 13 a factor of y(g)?
True
Let b be (3/3)/1*169. Suppose -37 = z - b. Is 33 a factor of z?
True
Suppose m + 21 = c + 4*m, -3*c - m + 71 = 0. Let a = 151 - c. Is a a multiple of 15?
False
Let i(x) = -x**3 - x**2 + 5. Let h be i(0). Let m(w) = 2*w**3 - 8*w**2 + 7*w - 4. Let k be m(h). Does 25 divide (1*k - -2) + -2?
False
Suppose -u + 2 = -0*u. Let b be 3 - (8 - u) - -3. Suppose b = -4*s + 6 + 18. Does 6 divide s?
True
Is 36 a factor of (-2 - 2 - -9) + (586 - 0)?
False
Suppose n + 3*o + 10 = 0, -3*n - 3*o = -1 + 7. Let k(q) = 14*q**2 + q + 3. Does 26 divide k(n)?
False
Let d(n) = 26*n**2 - 12*n. Is 9 a factor of d(-6)?
True
Let j = 462 + 53. Suppose 4*h = 12, j = 5*u - 3*h - 2*h. Does 26 divide u?
False
Let r be -4 - -11 - (-1 + -2). Let y(h) = 12*h + 14. Let v be y(r). Does 19 divide (4/2)/4*v?
False
Suppose 794 - 1214 = -10*s. Is s a multiple of 3?
True
Suppose -2*x + 3*o + 12 = -32, o + 48 = 2*x. Does 5 divide x?
True
Let d(s) = s**3 + s**2 - 4*s. Let o(v) = 3*v**3 + 4*v**2 - 11*v. Let k(c) = 8*d(c) - 3*o(c). Let m be k(-5). Suppose -16*w - 136 = -m*w. Is w a multiple of 8?
False
Suppose -3*b = -b - 4. Suppose -b*a + 491 - 95 = 0. Is 22 a factor of a?
True
Suppose 0*m + 5*b + 15 = -5*m, -7 = m + 3*b. Let s be m/3 + 32/6. Suppose -d - 3*d - 216 = -4*p, p - 54 = -s*d. Does 18 divide p?
True
Let g = -828 - -1354. Does 51 divide g?
False
Suppose 0 = -7*s + 2329 - 159. Is s a multiple of 31?
True
Suppose 0 = -3*n + 6*n - 9. Suppose -n*f + 17 = -73. Is f a multiple of 15?
True
Does 14 divide 711 + 2 + -5*(-4)/20?
True
Is 26 a factor of -2*(-1570)/6*(-30)/(-25)?
False
Suppose 0*u - 5*u = 30. Let d be ((-8)/(-10))/(u/(-165)). Suppose 2*q - 3*m - d - 6 = 0, 5*m + 4 = -2*q. Does 4 divide q?
True
Let k = -289 - -538. Is 17 a factor of k?
False
Let n(w) = w**2 - 9*w - 6. Let f(l) = l - 1. Let o(x) = -3*f(x) - n(x). Let k be o(6). Suppose -4*i - 2*g - 106 = -k*i, i - 2*g = 26. Is 7 a factor of i?
False
Suppose 288*i + 1008 = 294*i. Does 5 divide i?
False
Let d = -61 - -72. Suppose -66 = -d*g + 8*g. Is 11 a factor of g?
True
Suppose 0 = -66*j + 20918 + 54124. Is j a multiple of 10?
False
Let g(c) = -c**2 - 17*c - 54. Let b be g(-13). Does 6 divide ((-2)/b)/(10/370)?
False
Let u(p) = 2*p**3 + 21*p**2 + 5*p - 12. Let m(i) = i**3 + 10*i**2 + 2*i - 6. Let o(x) = 7*m(x) - 3*u(x). Let f be o(-6). Let w = 3 + f. Does 13 divide w?
True
Let d = -15 - -18. Suppose -4*n + d*n = -506. Suppose -4*f = 4*k - n + 162, 0 = 3*f + k - 248. Is 22 a factor of f?
False
Let b = -26 + 25. Is 31 a factor of (-