- 3 - 1 + 0. Let p(y) = 3*t(y) - 16*x(y). Does 6 divide p(-6)?
False
Suppose 0 = 14*b + 93 + 47. Is 19 a factor of (-8)/b*10/(-12)*-219?
False
Let r(u) = 4*u**3 + 9*u - 12. Is 7 a factor of r(3)?
False
Let s(v) = 21*v + 35. Is s(68) a multiple of 37?
False
Suppose -2 + 4 = -2*j. Does 52 divide (8 - -237) + (3 - j)?
False
Let b = 145 - 120. Suppose -5*d = -b, d - 4*d + 108 = 3*p. Is 31 a factor of p?
True
Suppose 3*d + 1455 = 5*o + 7*d, -3*o - 4*d + 881 = 0. Does 41 divide o?
True
Let p be 2/(-35)*-5 + (-52)/(-14). Suppose -3*r + 225 = 4*c, -p*c - r = -318 + 99. Does 27 divide c?
True
Let u = 251 - 140. Suppose u + 93 = 4*m. Is 18 a factor of m?
False
Let v = 895 + -23. Does 14 divide v?
False
Let f = 200 + -196. Let y(c) be the first derivative of c**3 + 2*c**2 - c - 1. Does 21 divide y(f)?
True
Suppose 2*r - 10*v - 2967 = -5*v, 4*v + 2970 = 2*r. Does 46 divide r?
False
Suppose 3*m - 6*m = 2*i - 13, -m = -1. Suppose -4*w - 2*f + 278 = 0, i*w - 4*f - 157 = 223. Is 24 a factor of w?
True
Let y be (-44)/(-242) - 4/22. Let b(p) = p**2 + 88. Is 26 a factor of b(y)?
False
Let t(g) = -g**2 - 43*g + 25. Is t(-19) a multiple of 37?
True
Suppose 11*y - 8*y = 123. Suppose -6*t - y = -7*t. Is t a multiple of 5?
False
Is ((-2)/3)/((-4)/(-6))*-209 a multiple of 11?
True
Suppose 5*a = 7*a - 10. Suppose 5*t + a*r - 4 - 11 = 0, 0 = -3*t - 5*r + 3. Suppose 505 = t*x - 23. Is x a multiple of 12?
False
Let j(b) = b**3 - 2*b**2 + 6. Let m = 51 + -46. Is j(m) a multiple of 38?
False
Suppose -33*i = -81*i + 21024. Does 5 divide i?
False
Suppose -16*o + 4800 = -13344. Is o a multiple of 18?
True
Let x(j) = -j**3 + 3*j**2. Let k be x(3). Suppose k = -2*l - 3*v + 100, 0 + 8 = 4*v. Suppose -2*o = -197 + l. Does 36 divide o?
False
Is (35/(-7) + 527)/2 a multiple of 31?
False
Let b = 397 - 182. Is 3 a factor of b?
False
Let x = 363 - 297. Does 10 divide x?
False
Let y = -16 - -21. Suppose 120 = 8*n - y*n. Suppose -c = -3, -5 - n = -5*w + 5*c. Is 3 a factor of w?
True
Suppose 0 = -4*p - 4*s + 296, -3*s - 81 = -4*p + 201. Suppose -82 = -2*x + 2*t, 19 = 2*x + t - p. Suppose -k + x = 3*b - 0*k, -3*b - 4*k = -32. Does 4 divide b?
True
Suppose -7 = -2*p + 33. Suppose 4*c = v - p, 2*v - c - 8 = -3. Suppose v = -w - 6 + 24. Does 6 divide w?
True
Suppose 5*t = 3*k + 1020, 3*k - 779 = -4*t - 2*k. Does 20 divide (-4)/((-20)/t) - 2/10?
True
Let i = 5 + -10. Let y = 86 - i. Let n = y - 55. Does 10 divide n?
False
Let l(o) be the third derivative of o**6/120 + o**5/10 - o**4/8 - 5*o**3/3 - o**2. Is 8 a factor of l(-5)?
False
Let j = -8 + 25. Let p = -31 + j. Is (1/2)/(p/(-1568)) a multiple of 17?
False
Suppose 0 = -3*f + s + 82, 3*f - 27 - 51 = -3*s. Is f a multiple of 3?
True
Let v(z) = -z + 1. Let i be v(8). Let j = i + 15. Suppose -32 = -j*x + 6*x. Does 14 divide x?
False
Suppose 5*q = 3*o + 85, -7*q + 5*o = -2*q - 75. Suppose 2*r = 0, 2*r + 2*r - q = -5*h. Suppose 0 = -h*j + 14 + 70. Does 7 divide j?
True
Suppose -14 = -7*t - 7. Let d(b) = 62*b**2 - 5*b + 6. Is d(t) a multiple of 7?
True
Let h be (28/(-7))/(-2*1). Suppose 753 = 4*n + u, -h*n + 5*u = n - 559. Does 9 divide n?
False
Let v be 12/(-14)*((-20)/3 - -2). Is ((-5)/1*v)/(-1) a multiple of 4?
True
Let g be (-31)/(-4) - (-18)/(-24). Let f = -7 - g. Let v = -10 - f. Does 3 divide v?
False
Let g = -13 - -14. Let b be 14*g*(-3)/2. Is 7 a factor of (-2 - 1)/(3/b)?
True
Let u(j) = 6*j + 8. Let b be u(-7). Let c = -30 - b. Suppose 0 = h - c*h + 60. Is 4 a factor of h?
True
Suppose 3*x - 5*a - 1492 = 0, 4*x + 91 = 2*a + 2071. Is x a multiple of 13?
True
Suppose -567 = g - 1624. Is 13 a factor of g?
False
Suppose -2*j - j = -6, 0 = s - 3*j + 6. Suppose -3*n - 2*n = -340. Suppose s = -4*y + 2*y + n. Does 12 divide y?
False
Let q = 460 - -1000. Is 10 a factor of q?
True
Let y(v) = v**2 - 4*v + 3. Let m be y(2). Let f be m*(-3 + (-5 - -3)). Suppose -f*r - 2*u = 3*u - 45, 2*r - 19 = -u. Is r a multiple of 8?
False
Let w(m) = 8*m + 69. Let p(x) = 3*x - 6. Let c be p(0). Is w(c) a multiple of 5?
False
Suppose u = 47 - 7. Suppose 0 = -x + 4, 5*s + 2*x = -0*s + 28. Suppose -3*c - 5*l = -0*c - 62, 0 = s*c - 4*l - u. Does 14 divide c?
True
Suppose -m = -2 - 0. Suppose -22 = k - m*k. Suppose 157 - k = 5*a. Is 7 a factor of a?
False
Suppose 0*o = o. Let h be (-8 - -9)*(2 - o). Suppose -v = -6*v - 4*z + 352, -3*v = -h*z - 220. Is v a multiple of 24?
True
Let o be (-2)/(-3*4/246). Suppose 1 = 4*g - 7. Suppose -3*k - 21 = -g*z - z, -k = 3*z - o. Does 5 divide z?
False
Let r be ((1 + -2)*-11)/1. Suppose -r*t = -6*t. Suppose -28 = -2*p + p + 5*y, t = -4*p + 5*y + 157. Is p a multiple of 14?
False
Let s = 389 - 213. Is 16 a factor of s?
True
Let z(d) = -d**3 + 17*d**2 + 18*d + 10. Let y = 43 - 25. Is 2 a factor of z(y)?
True
Suppose -3*f = 3*q - 357, 0 = 2*f - f + 2. Suppose 5*c + 4*s - 529 = 0, c - 5*s - q = -21. Does 7 divide c?
True
Suppose -d = 2*d, 4*t + 2*d - 300 = 0. Let g = 92 - t. Is 17 a factor of g?
True
Suppose j + v - 376 = 0, -5*v = -0*j - 4*j + 1459. Is j a multiple of 19?
False
Suppose 10*m + 35316 = 46*m. Does 19 divide m?
False
Let g = -335 - -331. Let f(i) = -5*i**2 - i + 1. Let z(a) = 4*a**2 + 2*a - 1. Let c(o) = 2*f(o) + 3*z(o). Is 5 a factor of c(g)?
True
Let d(i) = 7*i**2 - 6*i + 20. Let j(f) = 11*f**2 - 9*f + 30. Let y(t) = 8*d(t) - 5*j(t). Does 7 divide y(6)?
True
Let o be 23 - 0/(-5 - -3). Suppose 2*p + 3528 = o*p. Does 21 divide p?
True
Suppose -7*n - 30 = -6*n. Let z be (0 - 2)/(3/n). Suppose -i + h + z = 0, -2*h = -5*i + 129 - 14. Does 8 divide i?
False
Let a(m) = -m + 1 - 3*m - 7 + 5*m. Let f be a(8). Is (f/(-5))/(5/(-300)) a multiple of 12?
True
Let p be (32/6)/(10/15). Suppose p + 12 = 5*y. Suppose 22 = -y*s + 6*s. Is 7 a factor of s?
False
Let r = -54 + 69. Is 5 a factor of (-70)/(-4)*r/(-70)*-8?
True
Suppose -4*u + 2 = -2. Suppose 5 - u = n. Suppose -51 = v - n*v. Does 6 divide v?
False
Let u(a) = -a**2 - 4 + 1 + a**3 + 3*a - 5*a**2 + 4*a. Let h be u(5). Let q(m) = -m**2 + 10*m - 7. Is 9 a factor of q(h)?
False
Suppose 4*y - 69 = -3*a, 2*y + 3*a - 31 = -2*a. Let z = y + 3. Does 5 divide z?
False
Suppose -7*t - 24206 = -26*t. Is 62 a factor of t?
False
Suppose -l + h = -3, -4*h + 0 + 20 = 4*l. Suppose -l*m = -2*d + 54, 3*m + 3*d + 18 = -36. Does 10 divide (m/(-12))/(4/32)?
True
Let y(k) = -k - 1. Let a(u) = u**2 - 9*u + 6. Let x = -22 - -23. Let t(w) = x*a(w) - 5*y(w). Is 5 a factor of t(6)?
False
Let a(u) = 88*u + 14. Let v be a(3). Suppose -2*o = -2*g + v, -g + 269 = g + o. Is 34 a factor of g?
True
Let k(b) = b**3 + 44*b**2 + 55*b + 252. Does 35 divide k(-42)?
True
Let s(i) = i**2 - 5*i + 11. Let g be s(13). Let f = 206 - g. Is 22 a factor of f?
False
Let a(q) = -q**3 + q**2 + 2*q - 3. Let i = -44 + 39. Is 18 a factor of a(i)?
False
Suppose -6*z + 3*h + 3945 = 0, 2*h - 2645 = -4*z + h. Does 15 divide z?
True
Let d = -291 - -883. Is d a multiple of 4?
True
Let q(g) = -g. Let y(c) = 17*c + 5. Let p(t) = 4*q(t) - y(t). Is p(-5) a multiple of 18?
False
Let f = 16 - -51. Let i = -37 + f. Does 7 divide i?
False
Suppose 587 = a + 79. Does 12 divide a?
False
Let b(v) = -7*v + 18. Let h be b(-6). Suppose 3*c = -2*c + h. Is c a multiple of 6?
True
Let u be (-5)/((-15)/4)*-3 - -7. Let f = -4 - -6. Does 13 divide ((-26)/u)/(f/(-9))?
True
Let o(h) = h**3 - 15*h**2 + 8*h - 8. Let f be o(6). Let v = 398 + f. Suppose -2*i + 4*i - v = 0. Is i a multiple of 23?
False
Let j be (0/(-1))/(1/(-1)). Suppose j = 3*s - 2*s - 20. Is s a multiple of 8?
False
Suppose 0 = -p + 37 - 15. Suppose 2*y + p = -68. Let j = -26 - y. Is 7 a factor of j?
False
Suppose 2*u - 111 - 43 = 0. Does 2 divide u?
False
Let n be (6/2 - 2)*37. Suppose -4*d = t - n, -t + 2*t - 5 = 0. Let f = -3 + d. Does 5 divide f?
True
Suppose 5*z + 4*u = 2152, 4*z + 2*u - 1765 + 41 = 0. Does 12 divide z?
True
Let v be 48/4 + (3 - -1). Let k(o) = o**3 - 16*o**2 + 2*o + 3. Is k(v) a multiple of 11?
False
Suppose 0 = 84*b - 79*b - 1980. Is b a multiple of 44?
True
Suppose 5*d - 19238 = 4*k, -811 = -d + 3*k + 3041. Does 90 divide d?
False
Let f(s) = s**2 + 12*s + 11. Let w be f(-11). Suppose w = 6*o - o - 1390. Suppose 0 = -d - 3*n + 52, 0 = 5*d + n - 4*n - o. Does 11 divide d?
True
Let c(o) = 14*o**2 - 18*o + 39. Is 19 a factor of c(4)?
False
Let f(c) = c**2 - 13*c - 15. Let z 