be u(-4). Is 12 a factor of (68/s)/(2/(-10))?
False
Let x(p) = -p**3 + 9*p**2 - 7*p + 4. Does 10 divide x(7)?
False
Let d(q) = -3*q**2 + 5*q + 19. Let b(f) = 2*f**2 - 3*f - 13. Let t(g) = 7*b(g) + 5*d(g). Let k(z) = -2*z - 8. Let v be k(-6). Is 3 a factor of t(v)?
False
Is 13 a factor of 6/4*(-50)/(-3)?
False
Suppose o = 4*o - 1974. Suppose o = 5*g - 42. Suppose j - g = -4*a, -56 = -2*a + j - 5*j. Is a a multiple of 18?
True
Suppose -5*x + 0*x = -25. Let n(s) = s**3 - 5*s**2 + 8*s - 10. Is n(x) a multiple of 5?
True
Suppose 0 = -2*x - 2*x - 528. Let o = x + 229. Suppose 13 = 5*r - o. Is r a multiple of 15?
False
Let y = -6 - -12. Suppose -q + y*q + 25 = 0. Let r(w) = -w**3 - 4*w**2 + 3*w + 2. Does 6 divide r(q)?
True
Let x = 4 + -1. Suppose x*j = -j + 168. Is j a multiple of 18?
False
Let v(z) = z**2 - 3*z + 1. Let b be v(6). Let u = 80 + b. Does 33 divide u?
True
Suppose 0 = -0*k + 5*k - 1285. Let w = k + -148. Does 32 divide w?
False
Let i be 2/(-6) + 8/(-12). Let g be (1 + -3 - -30)/i. Is (g/(-6))/(4/6) a multiple of 4?
False
Let o(z) = -2*z - 17. Let d(h) = h + 1. Let q(a) = 3*d(a) + o(a). Let x be q(6). Does 13 divide 5/(-20) + (-242)/x?
False
Let q = 43 + 146. Is q a multiple of 22?
False
Let d(c) = -2*c + 1. Let r = 10 - 12. Does 3 divide d(r)?
False
Let b(h) be the third derivative of -h**4/24 + 2*h**3/3 + 4*h**2. Is 5 a factor of b(-6)?
True
Does 22 divide 62 - 1 - (-3 - 2)?
True
Let n(a) = 66*a**2 - 1. Suppose f = u + 1 + 1, -3*u - 14 = 5*f. Let s be n(f). Suppose 0 = -i - 2*k + 20, 4*i + k = -4*k + s. Does 8 divide i?
False
Let o(g) = -3*g + 84. Does 12 divide o(-16)?
True
Suppose -5 = a + f, 3*f + 17 = -a - 3*a. Does 16 divide a/(-4) - (-214)/4?
False
Let b(h) be the second derivative of -h**5/20 + 2*h**4/3 - h**3/3 - 9*h**2/2 - 8*h. Is 18 a factor of b(7)?
False
Let i be 22/(-4) + (-4)/8. Let o(c) = c**2 + c - 1. Let v(k) = -5*k**2 + k + 1. Let h(u) = -6*o(u) - v(u). Is h(i) a multiple of 11?
True
Let q(x) = 14*x + 1. Let d be q(-3). Let c = 20 + d. Let n = c + 32. Is 3 a factor of n?
False
Suppose -4*a + 9*a - 440 = 0. Does 11 divide (a/12)/((-2)/(-12))?
True
Suppose -9*k = -26*k + 3740. Is 33 a factor of k?
False
Let k(q) = -5*q. Let g be k(-1). Suppose g*r - 2*x = -x + 35, 5*r = 3*x + 25. Is r a multiple of 7?
False
Let r be (-9)/(-6)*(-1 - 1). Let i be 9/r*64/(-6). Suppose i = 5*y - 23. Is y a multiple of 4?
False
Suppose 0 = 3*k - 12 - 0. Suppose 5*p - k*p = 5. Is 2 a factor of p?
False
Let q(x) = -x**3 + 5*x**2 - 2*x + 2. Suppose 4*n = 11 - 3. Is q(n) a multiple of 5?
True
Does 39 divide 72/(-18) - -10*12?
False
Let g = -170 - -85. Let i = g + 135. Does 30 divide i?
False
Let s(x) = x**2 - 4*x - 3. Let n be s(7). Let i(c) = c + 2. Let h be i(0). Suppose h*z + 0*z = n. Does 6 divide z?
False
Suppose 5*r + 70 = n, -n + 3*r = -0*n - 60. Is 2/(-2) + 4 + n a multiple of 11?
False
Suppose 7*o + 5 = 2*o. Let b be 108 - o*2 - 2. Is (-4)/(-14) + b/14 a multiple of 4?
True
Suppose u - 128 = -3*z, 4*z - 2*u + 6*u - 176 = 0. Does 5 divide z?
False
Let c be 0 + (-3)/(-3) - -1. Suppose -c*v = -0*v - 4. Is 8 a factor of 12/v*8/3?
True
Let f be 10*(0 + 1/2). Suppose -f*a + 65 = 2*y, -3*a - 117 = -2*y - 2*y. Is 10 a factor of y?
True
Let h be 5/(-15) - 4/6. Is (-1 + 2)/(h/(-22)) a multiple of 6?
False
Let b(s) = 2*s**2 + 18*s - 8. Is b(4) a multiple of 12?
True
Let u be 4/10*(1 - -4). Suppose u + 4 = g. Suppose -b + 24 = g. Is b a multiple of 9?
True
Let q(y) = -2*y**3 - 7*y**2 + 2*y + 3. Is q(-5) a multiple of 18?
False
Suppose -4*x + 415 = 3*p + 124, -5*x = 2*p - 201. Does 31 divide p?
True
Let m(j) = 185*j + 1. Let c be m(1). Is (2/4)/(3/c) a multiple of 9?
False
Let k(z) = 45*z**2 + 2*z + 1. Is k(-1) a multiple of 8?
False
Suppose -244 = -4*q + 4*u, -q + 5*u = -4*q + 151. Does 19 divide q?
True
Let f(i) = -9*i. Let r be f(-1). Suppose z = 3*l - 4 + r, 4*z = 3*l + 11. Is 0 - 2 - (l - 19) a multiple of 12?
False
Suppose -h + 2*h - 2 = 0, 0 = -5*j - 2*h + 424. Does 12 divide j?
True
Let j(f) = 15*f + 10. Is 13 a factor of j(3)?
False
Let l be 6/4 - 2/4. Suppose v = 5*p - l, -5*v + 4*p = 2*p - 110. Does 12 divide v?
True
Let s = 59 - 23. Suppose -s = -0*g - 2*g. Does 4 divide (-1)/(g/(-15) + 1)?
False
Suppose -3*u + 52 = 3*m - 5*m, 0 = -4*u + m + 76. Is u a multiple of 10?
True
Suppose 4*s + 0*l = 2*l - 10, -s + 2*l + 2 = 0. Let r = 12 + s. Does 8 divide r?
True
Suppose -6*l - 8*l + 896 = 0. Is l a multiple of 19?
False
Suppose -9*o + 975 = -735. Is o a multiple of 38?
True
Suppose -2*w + 120 = s - 7*w, s = 2*w + 111. Suppose 8*t - s = 3*t - v, 2*v = 0. Is 17 a factor of t?
False
Is 13 a factor of ((-12)/10)/((-4)/130)?
True
Let r(i) = 24*i - 18. Is r(9) a multiple of 44?
False
Suppose 3*f - 3*r - 9 = 0, -6*f - r + 12 = -2*f. Suppose q + 4*q = 0. Suppose q = i + f, -2*z + 17 = i - 2*i. Is z a multiple of 3?
False
Suppose 13*r - 220 = 11*r. Let v(z) = z + 9. Let p be v(-4). Suppose -5*u - r = -5*f, -p*f + 4*f - 4*u + 42 = 0. Does 13 divide f?
True
Suppose -2*w - 3 = 1, -4*t + 4*w = 20. Let m(s) = s**2 + 7*s + 5. Let z be m(t). Suppose -b = -i - 3*b + 23, z*i = 4*b + 73. Is i a multiple of 7?
False
Let i(l) = 12*l**2 + l - 1. Let z be (-2)/(-4) + (-2)/(-4). Let c be i(z). Suppose 4*v - c = 8, 2*o - 31 = v. Is o a multiple of 18?
True
Let n be (2 + -11)*(-1)/3. Suppose n*k - 18 = 3*g - 0*g, 0 = -g - 3. Suppose 0*x + k*x - 18 = 0. Does 3 divide x?
True
Let h(l) = -l**2 - 13*l - 10. Let o be h(-8). Is 12 a factor of 61 + 1 + o/(-15)?
True
Suppose -4*y + 100 = 4*p, -y - 3*y - 2*p = -110. Does 7 divide y?
False
Let o(y) = 2*y + 2. Let f be o(-2). Let t be (-507)/(-9) - f/(-6). Suppose t = 3*h + h. Does 14 divide h?
True
Let b = -15 - -23. Does 8 divide b?
True
Suppose 3*n = -0*n + 6. Suppose r + 12 = -n*r. Does 5 divide 24/((-10)/r - 1)?
False
Let i(o) = 7*o - 15. Does 7 divide i(7)?
False
Let f be 2/((-6)/9) + 4. Let b = f - -3. Suppose -h + 15 = b*s - 2, 0 = 3*h - 2*s - 107. Is 14 a factor of h?
False
Let q(j) = 2*j**2 + 11*j + 8. Let m be q(-7). Let c = -18 + m. Is c a multiple of 3?
False
Suppose -2*z + 0*z = 2*l - 16, 3*z + 5*l = 30. Suppose 10 = -0*x + 5*x. Suppose 3*k - z = x*k. Is 2 a factor of k?
False
Suppose -3*b - 3*c = -15, -b - 2 = 5*c + 9. Let w be 3/9*(3 + b). Is (345/12)/5*w a multiple of 10?
False
Let c(u) = -13*u + 15. Is c(-5) a multiple of 20?
True
Is 132/(-15)*(-45)/18 a multiple of 13?
False
Suppose -964 = -4*z - 4*j, -j + 444 + 285 = 3*z. Does 40 divide z?
False
Suppose -3*m + 71 = -2*x - 27, x = m - 31. Is m a multiple of 8?
False
Suppose -4*l = q - 880, 0*l + 440 = 2*l + q. Suppose 2*k - l = -3*k. Does 22 divide k?
True
Suppose 2*j - 16 = -2*j. Let n be 3 - -70*12/8. Suppose n = j*o + 5*s, 3*s = 4*o - s - 108. Is o a multiple of 15?
False
Suppose 2*r - 208 = -5*m, 4*m - 77 - 92 = r. Is 21 a factor of m?
True
Let x(p) be the second derivative of 25*p**3/6 + p**2/2 + p. Let r be x(1). Suppose -15 - r = -3*k + y, 0 = -5*k + 3*y + 67. Is 5 a factor of k?
False
Suppose 14 = s - 45. Suppose -3*x + 118 + s = 0. Suppose 3*o - 146 = -x. Is 11 a factor of o?
False
Suppose 0 = 12*i - 2752 - 752. Is 13 a factor of i?
False
Suppose 5*a - 6*m - 310 = -m, -3*m = -a + 56. Is a a multiple of 13?
True
Let h be ((-12)/7)/(14/(-49)). Let n(t) = -t + 7. Let g be n(5). Suppose h*m = g*m + 56. Does 8 divide m?
False
Let g = -10 - -6. Let y(r) = 5*r + 1. Let c be y(-7). Is 18 a factor of 2*c/g - -1?
True
Suppose 0 = 4*o + 9 + 3. Is -33*(o - 0)/9 a multiple of 5?
False
Let f = 9 + 122. Is f a multiple of 33?
False
Let l(z) = -z**2 - 3*z + 3. Let u be l(-3). Suppose 5*t = 2*b + 201, -5*t - 2*b = u*b - 180. Does 11 divide t?
False
Suppose 3*d - 97 = -2*y, -27 = -3*d + 2*d + 2*y. Suppose -3*b + 109 = 2*v - 7*v, -b + d = -3*v. Is 12 a factor of b?
False
Let x(w) = w**3 - 6*w**2 - 6*w - 13. Let o be x(7). Let q = o - -17. Is 11 a factor of q?
True
Suppose -3*x - v + 11 = -12, -2*v + 10 = 0. Is 2 a factor of x?
True
Let s = 102 + -39. Does 21 divide s?
True
Is ((-24)/10)/(14/(-630)) a multiple of 11?
False
Let v = 72 + 40. Is v a multiple of 19?
False
Let b = -44 + 161. Does 8 divide b?
False
Suppose 0*c = 4*c - 16. Suppose 106 = -c*z + 6*z - 5*l, 0 = -2*z - 3*l + 106. Is z a multiple of 9?
False
Suppose -307 = -4*k + c, -3*k + 116 = -5*c - 110. Is