05 = -6*r. Is 19 a factor of r?
False
Suppose 5*q = -5*j + 140, 3*q - 28 = -2*j + 8*q. Is 3 a factor of j?
True
Let d(l) = -3*l - 1. Let g(v) = 3*v + 2. Let x be g(3). Suppose -2*a + 2*u + 1 = -3*u, 3*u = -4*a - x. Does 5 divide d(a)?
True
Let k = 550 + -388. Let t = -10 + 14. Suppose k = 5*d - t*p, 9 = 3*d + p - 95. Is d a multiple of 13?
False
Let o(k) = -3*k - 3. Let y = -5 - 1. Let l be o(y). Suppose -4*v = -v + 4*a - 22, 0 = -3*a - l. Is 14 a factor of v?
True
Suppose 0 = -8*r + 4*r + 392. Suppose -2*f - r = -3*f - 2*q, -5*q + 299 = 3*f. Suppose 3*v - v = f. Is v a multiple of 19?
False
Let u(b) = 16 - 13*b**2 - 16. Let k be u(1). Let h = k + 22. Does 3 divide h?
True
Suppose 4*w - 5*n = -15, 3 = -3*w - 3*n + 12. Suppose 2*z - 74 + 10 = w. Suppose 3*i - 22 = z. Is i a multiple of 18?
True
Let v be (-2 + 1)*(-40)/4. Is (-2)/v + 136/5 a multiple of 7?
False
Let j = 25 - 36. Let c = -1 - j. Is 8 a factor of c?
False
Suppose r = 7 - 3. Suppose r*n - 3*g = 2*n + 119, 0 = g + 5. Suppose -2*x + n = -5*z, -4*x - 2*z = -2*x - 80. Is x a multiple of 12?
True
Suppose -5*n - p = -115, -2*p + 27 = n - p. Suppose -6*g + n = -230. Does 10 divide g?
False
Suppose 0 = -4*o - 0*o + 136. Suppose -4*x + 74 = -o. Is x a multiple of 27?
True
Suppose 281 = k - 2*o - 11, 3*k + 5*o - 920 = 0. Is 12 a factor of k?
True
Let c(v) = 2*v + 8. Let w be c(7). Is 33 a factor of (w + 2)*((-2)/(-3) + 1)?
False
Is 10 a factor of ((-207)/(-12))/((-111)/(-1184))?
False
Let t = 94 + 757. Is t a multiple of 23?
True
Suppose -657 - 693 = -3*r. Is 50 a factor of r?
True
Let o(p) = 13*p. Let t(s) = 26*s. Let d(m) = 10*o(m) - 6*t(m). Is 26 a factor of d(-2)?
True
Let t = 69 + -34. Is t + (0 - -2) - -3 a multiple of 17?
False
Suppose s = 4*p - 13, 3*s + s - 28 = -4*p. Let g = -28 - -74. Suppose -4*z - g + 242 = i, p*z - 196 = 2*i. Does 15 divide z?
False
Let u(d) = -2*d + 40. Let c be u(0). Let a be (6/5)/(16/c). Suppose 2*j - 5*l - 74 = -j, 3*j - 84 = a*l. Does 21 divide j?
False
Let d(g) = -g**2 + 4*g + 2. Let i be d(4). Let r = 40 - 36. Suppose -r*b - i*b = -216. Does 12 divide b?
True
Suppose 3*w - a - 241 = 832, -w = 5*a - 363. Is 19 a factor of w?
False
Let z = -205 + 310. Is z a multiple of 5?
True
Let i(c) = c**3 - 6*c**2 + 4*c + 9. Let u be i(5). Is 14 a factor of (1 - u) + -2 + 306/3?
False
Suppose 3*h + 0*y + 2*y = 18, -3*y = -9. Suppose -7*w = -4*m - 3*w + 28, -h*m + 18 = -2*w. Suppose 0 = -m*q + 15 + 3. Is q a multiple of 3?
True
Let f be 221 + -5 - (-3 - -4). Suppose -v - 2*v = m - 125, 5*v - f = -3*m. Is v a multiple of 10?
True
Suppose -5*k - 5 = -5*p, -6*p = -p - 10. Let d be k/1 + -3 + -18. Is (d + 1)/(2/(-6)) a multiple of 19?
True
Let y = -75 + 401. Does 74 divide y?
False
Let b(s) = s**3 + 17*s**2 - 33*s + 3. Is b(-18) a multiple of 39?
True
Let s = 1470 - 287. Is 68 a factor of s?
False
Let g(c) = -c**2 - 10*c - 3. Let y be g(-8). Let p = y - -24. Is (-2)/(2 - 75/p) a multiple of 22?
False
Suppose -5*q - 3234 = -19*q. Is q a multiple of 21?
True
Suppose 0*w = -x + 3*w + 39, -5*w = -5*x + 195. Suppose -o - x = -4*o. Let d = o - -2. Is 5 a factor of d?
True
Is -1 - -362 - (-4 + 9 + -7) a multiple of 59?
False
Let u(a) = 14*a**2 + 10 + 6*a - a**3 + 2*a**3 + 0*a**2 - a**2. Is u(-5) a multiple of 12?
True
Let u(t) = -4*t - 6. Let x be u(-2). Suppose -x*w = v - 8 - 161, 3*w = -3. Does 36 divide v?
False
Let w(d) = 7*d**2 - 16*d + 14. Let q(u) = 6*u**2 - 16*u + 15. Let a(k) = 6*q(k) - 5*w(k). Let h be a(15). Suppose 0 = h*v - 216 + 56. Does 16 divide v?
True
Let l(n) be the third derivative of -25*n**4/12 + 11*n**3/6 - 3*n**2. Is 33 a factor of l(-4)?
False
Let b(s) = 25*s - 216. Does 29 divide b(22)?
False
Is 1/(-1)*1 - (-338 + -10) a multiple of 23?
False
Let p be (10/(-3))/((-8)/12). Let u(m) = 0 + 0 + 22*m + 3 - 16*m. Is u(p) a multiple of 11?
True
Suppose 4*z = -0*z + 672. Let w(x) = 42*x**2 + 4*x + 4. Let l be w(-2). Suppose -z = -4*q + l. Is 14 a factor of q?
False
Suppose -19 = -3*r + 2*c, 21 + 2 = 4*r - 5*c. Suppose -4*f - r + 55 = 0. Is 3 a factor of f?
True
Let b(q) = -38*q + 9. Let l be b(-9). Suppose 3*x + 5*k = 372, -3*x + 2*k + l = -0*x. Is x a multiple of 20?
False
Let a(m) = -71*m**3 + m**2 + 2*m + 1. Let d be a(-1). Suppose -2*j = -2*g - j + 270, -5*g + 3*j + 673 = 0. Let t = g - d. Is 22 a factor of t?
True
Let u = 236 - 98. Suppose 3*c + u = -5*i + 13, 44 = -c - 4*i. Let n = c + 85. Is 13 a factor of n?
False
Let p(f) = f**3 + 3*f**2 - 6*f - 3. Let s be p(-5). Let i = s - -49. Does 13 divide i?
True
Suppose -3*g - l = -4*l - 9, -g = 3*l + 9. Suppose g = 2*k + 2*k - 72. Is k a multiple of 9?
True
Let a = 503 - 341. Suppose 7*b - 4*b - a = 0. Does 27 divide b?
True
Let o = -2 + 7. Suppose -5*c + 725 = o*z, 4*z - 3*c - 604 = c. Suppose 5*u - 3*r - 237 = 0, 0 = -5*u - 5*r + 97 + z. Does 24 divide u?
True
Let k(m) be the first derivative of m**4/4 + 3*m**3 + 3*m**2/2 - 8*m - 16. Let u be (-1)/(-4) + 58/(-8). Is k(u) a multiple of 16?
False
Let z(v) = 6*v**3 - 33*v**2 + 19*v - 9. Does 69 divide z(9)?
True
Let x(b) be the third derivative of -b**6/120 - b**5/15 + 2*b**4/3 - 5*b**3/3 + 12*b**2. Is x(-7) a multiple of 5?
True
Suppose -3*p = -z - p + 45, -2*z + 55 = 3*p. Suppose 4*n - z = 3*n. Let k = n - 19. Does 8 divide k?
True
Is 74 a factor of 4/(-20)*-2855*2?
False
Let n(f) be the first derivative of f**4/4 - 10*f**3/3 + f**2/2 - 8*f - 1. Let m be n(10). Suppose -48 = -m*z + 24. Is 12 a factor of z?
True
Let x(i) = -2*i + 7. Let n be x(4). Let q be 40*3/(-2)*n. Suppose 0 = d + 4, -4*d - q = -p - 9*d. Is p a multiple of 20?
True
Let k(b) = -b**3 - 18*b**2 - 20*b - 14. Suppose 0 = -5*t + 5*m - 100, -2*m = m - 9. Is k(t) a multiple of 11?
False
Let u(w) = 4*w**3 - 5*w**2 + 5*w - 412. Let o(t) = -2*t**3 + 2*t**2 - 2*t + 206. Let f(l) = 7*o(l) + 3*u(l). Does 11 divide f(0)?
False
Let w = 540 - 154. Does 28 divide w?
False
Let u be 6/(-4)*(-56)/3. Let k = u - 23. Suppose 2*t = k + 39. Does 22 divide t?
True
Suppose -5*t = f - 375, -t = -2 - 1. Suppose 3*y + 2*i - f = -y, 464 = 5*y - i. Is y a multiple of 10?
False
Suppose -5*n + 259 = -41. Is 5 a factor of n?
True
Let t be -4 + 8 + (-8)/2. Let i = -5 + 7. Suppose t = -7*z + i*z + 140. Is 7 a factor of z?
True
Suppose -5*j + 45 = -0. Suppose -j*s - 75 = -4*s. Let a = s + 18. Does 3 divide a?
True
Suppose -634 = -5*q - l, q + 3 = 3*l + 117. Does 23 divide q?
False
Is (67 + (9 - 17))/1 a multiple of 24?
False
Let f(r) = -r**3 + 4*r**2 - 4*r - 1. Let h be f(3). Let s(m) = 7*m**2 - 2*m - 1. Let q be s(h). Is q/5 - 2/(-10) a multiple of 8?
True
Suppose -4*v = 0, 0 = 3*i + 5*v - 95 - 4. Let q = 92 - i. Is q a multiple of 11?
False
Suppose -168 = -3*v + 4*g, 4*g + 0*g - 168 = -3*v. Is v a multiple of 4?
True
Suppose 4*z + 282 = 7*k - 4*k, -3*k + 282 = z. Is k even?
True
Is 16 a factor of (-178)/((20/(-35))/(30/21))?
False
Let y = 1256 - 890. Let m = y + -226. Does 35 divide m?
True
Let j = 73 - 43. Suppose 66 + j = -6*g. Let c = 30 - g. Is 23 a factor of c?
True
Suppose 0 = 4*k - 8. Suppose -k*y = -153 - 75. Let m = y + -55. Is 9 a factor of m?
False
Let f = -19 - -19. Suppose -2*z = -f*z - 80. Suppose -3*b + z = b. Is b a multiple of 5?
True
Suppose 3*d - 5*n + 4 = 0, 0*d + 11 = -4*d + n. Let i be 2/d - 17/(-3). Let s = i + 4. Does 6 divide s?
False
Suppose -m - 1815 + 6544 = 2*b, 3*b - 7092 = -2*m. Is 26 a factor of b?
True
Suppose 3*q = -2*d + 125, 132 + 36 = 3*d - 2*q. Let l = -50 + d. Is 2 a factor of l?
True
Let c be (2*(-15)/(-6))/1. Suppose s + 2 = 0, -6*r - c*s + 254 = -2*r. Is r a multiple of 11?
True
Is 35/(4/12 - 0) a multiple of 3?
True
Let a(x) = x**2 - 32*x + 119. Does 28 divide a(29)?
False
Suppose 2*f = p - 8 + 32, 0 = -5*f - 3*p + 49. Let o = f + 38. Does 18 divide o?
False
Let t(f) = 23*f + 56. Does 14 divide t(7)?
False
Is 8 a factor of (216/(-9))/((-3)/22)?
True
Is 49 a factor of (1670/8 + 2)*(-96)/(-36)?
False
Let r = -85 + 163. Suppose z + 8 = r. Is 44 a factor of z?
False
Let j be ((-2)/(-4))/((-2)/16). Let b(z) = -42*z + 45*z + 5*z**3 - 6 + 6*z**2 + 1 - 4*z**3. Does 12 divide b(j)?
False
Suppose 53 = 2*q + 3*d + 2*d, 2*q - 60 = 2*d. Let t = q + -59. Does 15 divide ((-70)/t)/(2/18)?
False
Let v = 2 + 1. Suppose -3*y + 0*y - 4 = 5*t, t = 2*y - 6. Is (v - 1)*(7 + y) a multiple of 8?
False
