 + 2*q - 1. Let p be l(3). Let d = 67 - p. Does 5 divide d?
False
Suppose g = -w + 13, 2*g + 28 = 4*w + 6. Let s = w - 5. Does 2 divide s?
False
Suppose -2*d = 1 + 15. Let m(c) = -11*c**3 - 9*c**2 - c - 5. Let j(p) = -4*p**3 - 3*p**2 - 2. Let s(o) = d*j(o) + 3*m(o). Is s(-3) a multiple of 9?
False
Let s = -11 + 19. Suppose 0 = -4*q - 5*w + 13, 5*q - 2*w + 0*w = s. Suppose 2*p = -q + 86. Is 15 a factor of p?
False
Let a be 1 - 0 - (-1 + 0). Is (11 - 0) + 6/a a multiple of 5?
False
Let z(r) = 65*r**2. Let b be z(-1). Suppose h + 40 = -h. Let o = h + b. Is 15 a factor of o?
True
Suppose 4*s = 3*s - q + 4, -4*s + 19 = q. Let a(p) = 45*p - 7. Let j be a(s). Let x = -151 + j. Is x a multiple of 17?
False
Let o(q) = q**2 - 6*q - 8. Let z(j) = -2*j**3 - j**2 + 2*j + 2. Suppose -5*i - 10 = -3*g, 4*i - 2*g + 6*g = -8. Let r be z(i). Is 14 a factor of o(r)?
False
Let v(w) = 8*w**2 - 4*w - 4. Let z be v(5). Suppose -224 = 2*b - 7*b + 3*r, -4*r - z = -4*b. Does 23 divide b?
True
Let f(o) = o**3 - o**2 - o + 5. Let l be f(0). Let n be 12/5 - 2/l. Suppose -n*u = u - 57. Does 19 divide u?
True
Is (-4 - -1)*148/(-12) a multiple of 11?
False
Let k = 54 - 30. Does 8 divide k?
True
Suppose 7 = 2*k - k. Suppose k*f = -s + 3*f, -4*f = -4. Is 1060/25 + s/10 a multiple of 15?
False
Let d be ((0 - -1)*0)/(-2). Suppose 0*w - 5*w + 15 = d. Let h(c) = c**3 - c**2 - 2*c - 2. Is h(w) a multiple of 5?
True
Let f(w) = 13*w - 7. Let p be f(7). Suppose -4*m - p = -m. Is ((-16)/m)/((-4)/(-14)) even?
True
Let h = -5 - -5. Suppose h = -0*f + 4*f - 68. Let x = f + -5. Is 11 a factor of x?
False
Suppose -m + 23 = -52. Suppose -5*k + k + 2*f + 30 = 0, k + 5*f = 2. Suppose -m = 2*a - k*a. Is 7 a factor of a?
False
Suppose -4*f + 14 = -22. Suppose 4*w = 47 + f. Is 14 a factor of w?
True
Suppose -3 = 3*t, 5*m - 4*t + 3 - 27 = 0. Suppose 2*j = m*j - 10. Let k(l) = l**3 - 3*l**2 - 7*l + 5. Is 10 a factor of k(j)?
True
Suppose 138 = 3*i + 3*k, 2*i - 68 = 3*k + k. Suppose -3*a + 33 = -i. Does 17 divide a?
False
Suppose 3*n + 8*u = 5*u + 27, -4*n + 37 = 5*u. Does 4 divide n?
True
Let f = 68 + -63. Is f a multiple of 3?
False
Let r(o) = 3*o - 6. Suppose -3*u - 5*v = 12, 5*u + 27 = u - 3*v. Let p be 32/6*u/(-6). Is 16 a factor of r(p)?
False
Let f(y) = -y**3 - 2*y**2 + 12*y + 3. Is 6 a factor of f(-5)?
True
Let s = 328 - 152. Does 16 divide s?
True
Let k be (33/3)/(0 - 1). Let m(b) = -b**3 - 12*b**2 - 12*b - 4. Is m(k) a multiple of 3?
False
Let u(z) = 4*z**3 - 4*z**2 + 3*z - 1. Is u(2) a multiple of 3?
True
Let c = 6 - 4. Suppose c*r + 33 = 5*r. Is r a multiple of 11?
True
Let w(i) = -i**3 - 3*i**2 + 8*i - 2. Does 8 divide w(-5)?
True
Does 19 divide 173/9 - (-4)/(-18)?
True
Let m be (-579)/15 - 2/5. Let h = -17 - m. Let x = h + -10. Is 10 a factor of x?
False
Suppose -g + 7 = -2*g. Let w be (-120)/(-42) + (-1)/g. Suppose 0 = -w*d + 59 + 7. Is 7 a factor of d?
False
Suppose -2*x = 2 - 10. Suppose -3*s + 5 = -x. Suppose -72 = -j - s*j. Is 11 a factor of j?
False
Suppose -6 - 2 = -4*c. Suppose -c*z + 0*z = 34. Does 9 divide (-3)/(-6) + z/(-2)?
True
Let m = -50 - -89. Does 6 divide m?
False
Let z(l) = 9*l**2 - l. Does 17 divide z(2)?
True
Let r = 0 + 3. Suppose 3*x - r*j - 60 = 0, -2*j = -4*x - 0*j + 76. Does 9 divide x?
True
Let f = 191 + -59. Is f a multiple of 19?
False
Let b(p) = -3*p - 4. Let f be b(7). Let c = -6 - f. Does 13 divide c?
False
Let f be ((-1 + 0)*14)/2. Let p = f - -31. Does 14 divide p?
False
Let t = 11 + -3. Let a = -4 + t. Is 4 a factor of a?
True
Let u = 186 - 99. Is u a multiple of 9?
False
Suppose -3*w - 6 = 0, -5*w = -2*f - 0*w + 146. Let u = -33 + f. Is 11 a factor of u?
False
Let b = -18 - -20. Is 2 a factor of b?
True
Is 13 a factor of ((-74)/4)/(6/(-108))?
False
Let z(y) = -y + y**3 + 0 - 8*y**2 - 5 + 2*y. Let m = 10 + -2. Is 2 a factor of z(m)?
False
Let f = 11 + -7. Is (-71)/(-3) + f/12 a multiple of 12?
True
Let i(f) = 5*f + 3. Is i(4) a multiple of 23?
True
Let u be 4*(-5)/(-12)*3. Suppose 0 = -0*t - u*t + 2*q + 84, -5*q = 2*t - 22. Is t a multiple of 8?
True
Suppose 0 = -2*m + 3*a - 6 + 15, -8 = m - 4*a. Is (-3 + 0)/((-9)/m) a multiple of 3?
False
Suppose 7*s - 2*s - 245 = 0. Is s a multiple of 43?
False
Let u(g) = -g**2 - 6*g - 3. Let m be u(-5). Is 24 a factor of (1/(-3))/(m/(-450))?
False
Let w = 90 - 60. Let y = w + -18. Is 4 a factor of y?
True
Let x(w) = -2*w - 1. Let k be x(-2). Suppose 0 = -4*d + k*l + 11, -6*d + 2*l = -d - 5. Let q = 21 - d. Is 13 a factor of q?
False
Suppose 0*i = -5*i - 315. Does 10 divide 0 + (-4)/(12/i)?
False
Let j(h) be the first derivative of h**4/4 - 4*h**3/3 - 5*h**2/2 - 2. Let d be j(5). Suppose -2*y + d*y + o = -5, -5*y = -5*o. Is 5 a factor of y?
True
Let m = 3 - -34. Does 11 divide m?
False
Suppose 2*d = -2*i + 48, 5*i + d + 56 - 164 = 0. Is i a multiple of 7?
True
Suppose -3*y - y = 0. Is 21 a factor of 7/(y + 2/6)?
True
Let n(m) = 30*m + 25. Does 23 divide n(3)?
True
Suppose 2*o - 5*l - 199 = 0, -5*o + 489 = -l - 3*l. Is o a multiple of 32?
False
Let x(d) = -2*d - 6. Let c be 2/(1*(-2)/(-4)). Suppose c*j = -j - 2*k - 57, 4*j + 5*k + 49 = 0. Does 16 divide x(j)?
True
Let l = 1 - 0. Let t = 3 - l. Is 8 a factor of -3*(t - 8) - 2?
True
Let u(w) = -w**3 + 3*w**2 + 4 + w + 0 + 0*w. Let i be u(4). Let m = 0 - i. Is 8 a factor of m?
True
Suppose 5*v - 523 = 47. Is 4 a factor of ((-6)/(-9))/(4/v)?
False
Let a = 8 + 23. Let g = 56 - a. Is 6 a factor of g?
False
Suppose -i + 4*i = 0. Suppose 3*d + d - 56 = i. Suppose h = -0*h + d. Is 14 a factor of h?
True
Suppose 0 = -g - 4*w + 24, -g + 5 = 4*g - 3*w. Is 20 a factor of ((-8)/2)/(g/(-40))?
True
Suppose 5*r - 2*q - 280 = 0, r - 56 = -0*r - 5*q. Is r a multiple of 7?
True
Suppose 65*u - 1600 = 57*u. Does 25 divide u?
True
Suppose 12*x = 7*x - 35. Let w(d) = d**2 + 3*d - 1. Is w(x) a multiple of 8?
False
Let b(c) = -c**3 + 6*c**2 - 6*c - 43. Let w(g) = -g**3 + 5*g**2 - 5*g - 42. Let r(x) = 5*b(x) - 6*w(x). Suppose 5*p - p = 0. Is 16 a factor of r(p)?
False
Let n be 2 + (-3)/1 + -2. Let r be n/2 + 1/(-2). Is 6 a factor of ((-6)/(-5))/(r/(-20))?
True
Let g = 2 - -1. Suppose -4*s + g*s + 7 = 0. Is s a multiple of 2?
False
Suppose 1119 = 10*g + 39. Is 36 a factor of g?
True
Suppose -2*b = -z + 8, 6*b + 62 = 4*z + 4*b. Is 4 a factor of z?
False
Suppose b + 0 = -1, 59 = 3*i + 4*b. Suppose -6*v + 3*v = -i. Suppose -4*h = -v*h + 75. Does 25 divide h?
True
Suppose p - 87 = 2*r - 5*r, 2*p = -2*r + 158. Does 15 divide p?
True
Suppose 3*s + 372 = k, k = -2*s - 2*s + 344. Is 24 a factor of k?
True
Suppose -3*m - 2 + 7 = -5*y, y = 5*m - 1. Let f be 4*9 - (m + 1). Let i = -19 + f. Does 8 divide i?
True
Let u(i) = i**3 - 6*i**2 + 4*i + 4. Let c be u(5). Is 20 a factor of 62 - (1 - c)/1?
True
Let c(r) = -38*r + 5. Is c(-5) a multiple of 20?
False
Let v(d) = d**3 + 5*d**2 - 5*d + 8. Let o be v(-6). Suppose o*x + 110 = 7*x. Does 13 divide x?
False
Does 7 divide (-57)/(-9) + (-8)/(-12)?
True
Suppose 6*z = 11*z - 390. Does 12 divide z?
False
Let z(f) = -40*f + 1. Let b be z(-1). Suppose 0 = 4*o - 27 - b. Is 17 a factor of o?
True
Let o(y) = y**3 + y**2 - y + 4. Let f be o(0). Suppose 3*g + 5*z - z = 36, 12 = f*z. Is 6 a factor of g?
False
Let y(v) = v**2 + 18*v - 52. Is 3 a factor of y(-22)?
True
Let z(f) = 6*f + 9. Let q be z(7). Let g = q - -4. Is 14 a factor of g?
False
Suppose 0*c + 21 = 4*c + a, c - 4*a - 18 = 0. Suppose 0 = -2*u + 4*v + 20, -u - c*v + 2*v + 34 = 0. Is 9 a factor of u?
True
Let b be (3/(-6))/((-3)/12). Suppose b*c = -2*c. Suppose c = 3*y - 4*y + 2*u - 5, -y - 10 = -3*u. Is 2 a factor of y?
False
Let g = 19 - 4. Suppose -g - 60 = -3*c. Is 7 a factor of c?
False
Let f(u) = -2*u - 6. Let j be f(-6). Suppose -2*y + j = y. Suppose 139 = 2*h + y*h - 5*w, -5*w = 4*h - 149. Is 18 a factor of h?
True
Let w be 2/(((-16)/20)/((-2)/5)). Suppose 0 = -2*n + 2, -n - 14 = 3*g + 3*n. Is 3 a factor of w/(-2) - 69/g?
False
Let f(b) = b + 18. Is 10 a factor of f(12)?
True
Let k be ((-6)/5)/(3/(-270)). Let h be k/2 - (-2)/(-1). Suppose 4*j = 4 + h. Is j a multiple of 11?
False
Let k = 270 + -160. Is k a multiple of 28?
False
Suppose -3*k - 1 = -7. Does 5 divide -2 + ((-2)/k - -13)?
True
Let j = -38 + 27. Let v(i) = -i**2 - 12*i + 7. Does 9 divide v(j)?
True
Does 15 divide -3*(-2)/(-6)*-77?
False
L