 5*p = -3*c + 19, 5*c + 3*p - 36 = -p. Suppose -7*j + 3*j = -c. Suppose x + j*x + 21 = t, 4*x + 22 = t. Does 9 divide t?
True
Suppose -2*x + 14 = -4*x. Let a = 7 - x. Is 14 a factor of a?
True
Does 22 divide 44/(-4*(-5)/60)?
True
Suppose 2*n = 6*n - 960. Does 14 divide n?
False
Let h(v) = -v**2 + 5*v - 1. Let p be h(5). Is (0 + -3)/(p/6) a multiple of 6?
True
Let m(t) be the third derivative of t**4/3 + 2*t**3/3 - 3*t**2. Is 12 a factor of m(4)?
True
Let v(t) = 2*t**2 + 18*t + 13. Is 11 a factor of v(-14)?
False
Suppose -3*r = n + 17 - 6, r - 4*n = 18. Let s be 226/(-8) + r/(-8). Is 8 a factor of (80/s)/(4/(-14))?
False
Let k(y) = y**2 + y. Let f be k(0). Suppose -5*r - 20 = -f*r. Does 7 divide r/14 + 500/35?
True
Let u(d) = -11*d**3 + 2*d**2 - 2*d + 3. Let c(g) = 21*g**3 - 4*g**2 + 4*g - 6. Let s(q) = 6*c(q) + 11*u(q). Is s(2) a multiple of 11?
True
Suppose 10*w = 6*w + 448. Is w a multiple of 14?
True
Let b(x) = -x**3 - 4*x**2 - x - 3. Let q be b(-4). Let m be q*-155*(2 + -1). Is 2*-1*m/10 a multiple of 14?
False
Suppose -2*m = -g - m + 58, 4*g + 5*m = 250. Is 3 a factor of g?
True
Is 4/(-3)*(-150)/4 a multiple of 10?
True
Let w(b) = b. Let f(r) = 3*r - 5. Let o(j) = -f(j) + 4*w(j). Let z be o(-5). Suppose 5*p - 7 - 13 = z. Is 4 a factor of p?
True
Suppose -4*f + 20 = 3*o, -5*f = 2*o - 0*o - 25. Let i(v) = 1 - f*v - 2*v + 4*v. Is i(-6) a multiple of 11?
False
Let j(i) = 7*i + 2. Let o be j(2). Suppose -2*g - g + b = 0, 0 = -g - 5*b - o. Is 9 a factor of (g/(-3))/(2/54)?
True
Suppose -a - 2*a = -96. Is a a multiple of 10?
False
Suppose -3 + 7 = l - a, 0 = 5*a. Suppose 0 = 4*y + 5*m - 107, 4*y + 3*m - l = 105. Let g = 28 + y. Does 21 divide g?
False
Let g be (-116)/(-10) - (-8)/20. Let l = g - -42. Is 18 a factor of l?
True
Let s be (2/6)/((-5)/(-60)). Suppose 2*n - 4 = n - 2*u, -n - s*u = -6. Does 7 divide 4/n + (-3 - -8)?
True
Let o(w) = 2*w**3 + 2*w**2 - 3*w. Does 6 divide o(2)?
True
Let l = -2 - -2. Let v = l + 0. Is 18 a factor of (-17 - (v - -2))*-1?
False
Let y(g) = 31*g + 1. Let l be y(4). Suppose 2*d + a = l, -4*d + 4*a + 100 = -2*d. Does 12 divide d?
True
Is 11 a factor of (15/2)/(-5)*-42?
False
Let b = 158 + -64. Suppose 29 - b = 5*g + i, 4*g + 52 = -3*i. Let j = 21 + g. Is j a multiple of 6?
False
Let z(m) = -27*m + 1. Does 15 divide z(-1)?
False
Let o be 23*(-3 - -2 - -16). Is -2*(o/(-6))/5 a multiple of 6?
False
Let s(t) = -t**3 - 7*t**2 + 6*t - 5. Let f be s(-8). Suppose f = k + 2. Is k a multiple of 2?
False
Let l = -3 - -8. Let x(g) = g**3 - 5*g**2 - 2. Let m be x(l). Is -2*1/m*3 a multiple of 3?
True
Let b(t) = t**3 + t**3 + 2*t + t**3 - 3. Does 25 divide b(2)?
True
Let z = 25 - 16. Does 4 divide z?
False
Suppose o = 29 - 7. Suppose g - 34 = -5*k, -3*k + o = g - k. Does 5 divide g?
False
Suppose -4*h - 5 = -21. Suppose -5*f = 3*u - 101, 5*f - 84 = f - h*u. Is f a multiple of 19?
True
Suppose -232 = -15*m + 13*m. Is 29 a factor of m?
True
Suppose -h - 10 = 4*h - w, -3*h - 6 = 4*w. Is (h*3)/((-4)/6) a multiple of 3?
True
Let y(m) = -m + 10. Suppose q + 5*i + 36 = 5*q, -4*q + 4*i = -32. Let h(u) = -u + 10. Let o(n) = q*y(n) - 3*h(n). Is 10 a factor of o(0)?
True
Let t be 3*29*(-8)/(-6). Suppose 5*m - t = m. Is 11 a factor of m?
False
Let d(m) = 7 + 3*m + 3 - 2*m - 5. Does 5 divide d(0)?
True
Let c = -488 - -834. Does 9 divide c/8 + (-9)/(-12)?
False
Suppose -5 = x + 22. Let m = x - -42. Let z = m - 9. Is z a multiple of 5?
False
Let j = 13 - 18. Let d be 6*2/(6/j). Does 3 divide (1 - 2)/(2/d)?
False
Let a(x) be the second derivative of x**5/20 + x**4/2 - x**3/2 - x**2 + 6*x. Is a(-4) a multiple of 15?
False
Suppose 2*w + 5*u - 20 = 2*u, -u = w - 11. Is w a multiple of 8?
False
Suppose 26 = w - 2. Let b = 24 + -13. Let z = w - b. Does 8 divide z?
False
Let z(n) = n**3 + 9*n**2 + 3*n + 3. Is z(-8) a multiple of 11?
False
Suppose -4*d + 10 = 26. Does 12 divide (-143)/d + 4/16?
True
Suppose o + 26 = 96. Let h = o - 22. Does 24 divide h?
True
Let t be (1 - (-168)/15) + (-2)/10. Let g = 4 + -2. Suppose c - g*u = t, -4*c + 0*u + 5*u + 36 = 0. Is c a multiple of 3?
False
Let v(n) = n**3 - 17*n**2 + 18*n + 28. Is 11 a factor of v(16)?
False
Let a be ((-52)/65)/((-4)/430). Suppose 6*p - 119 = 3*p - 4*m, 2*p = -m + a. Is p a multiple of 15?
True
Let w(j) = -2*j**3. Let i be w(1). Is (-7)/14 - 7/i a multiple of 3?
True
Let t = 168 - 48. Suppose -3*m = -0*m - t. Is m a multiple of 15?
False
Suppose -6 = 2*p, -2*p = 3*f + p + 3. Let s = 2 + f. Is 2/5*80/s a multiple of 4?
True
Suppose 5*z + 0*m = -4*m + 360, 5*z - 360 = 5*m. Is z a multiple of 12?
True
Suppose -56 - 31 = 3*r. Let f = -7 - r. Is 11 a factor of f?
True
Let u be (-1)/(-1)*(-2 - -8). Let g(f) = f**2 - 6. Is g(u) a multiple of 15?
True
Suppose -9*c = -5*c - 56. Suppose -c*z + 9*z = -315. Is z a multiple of 18?
False
Let k = -4 - -7. Is (-3)/k + 18*1 a multiple of 17?
True
Let f = 68 - 38. Is f a multiple of 6?
True
Suppose -r + 123 = 41. Suppose -r = -7*p + 177. Is p a multiple of 22?
False
Suppose 5*t = 7*t - 120. Is t a multiple of 10?
True
Let g = 78 + -42. Does 5 divide g?
False
Let f be (1*(-3 + 2))/(-1). Suppose l - 5*b - 14 - 3 = 0, l = -3*b + f. Does 7 divide l?
True
Suppose -3*v = 3*q - q - 17, -q - 2 = 0. Suppose -v*l + 8*l - 8 = 0. Is l a multiple of 8?
True
Suppose 5*s + 3 = 913. Does 14 divide s?
True
Let u = -8 - -5. Let p = -7 - u. Is p/2 + 24 + 4 a multiple of 14?
False
Is 108/(-30)*(1000/3)/(-4) a multiple of 27?
False
Let h(j) = -j**2 + 9*j + 3. Let g(b) = 4*b**2 - 37*b - 13. Let p(a) = 2*g(a) + 9*h(a). Let o be p(7). Does 5 divide (1/1)/(o/10)?
True
Let p = -60 - -34. Let t be -2 - (p + 1 - 1). Suppose -t = -f - c + 2*c, -9 = -3*c. Is 10 a factor of f?
False
Let p = -34 - -99. Let r = -44 + p. Is r a multiple of 7?
True
Does 8 divide (-11)/(308/(-48))*14?
True
Let s = -2 + 4. Suppose s*f = -2*f + 96. Is 13 a factor of f?
False
Suppose -2*t - 94 = -2*f, 0 = f + 3*f + 3*t - 181. Does 23 divide f?
True
Let m be 66/14 - 4/(-14). Suppose 3*y + 0*y - 3*z - 6 = 0, m*z = 3*y - 4. Is y a multiple of 2?
False
Let a(k) = -k**3 + 10*k**2 - 7*k + 1. Is a(7) a multiple of 21?
False
Suppose -31 + 207 = 4*q + 3*u, 5*q + 3*u - 220 = 0. Does 11 divide q?
True
Let u = 9 - 10. Is u + 1 + -4 + 10 even?
True
Suppose 5*v = v + 124. Suppose -4*l - 26 = f - 4*f, -3*f + 5*l = -v. Suppose 0 = f*y - 18 - 12. Does 15 divide y?
True
Let c(d) = d**3 + 4*d**2 - 5*d + 4. Let k be c(-5). Does 9 divide (-13 - -5)*(-27)/k?
True
Let m(w) = w**3 - 12*w**2 - 2*w + 15. Let r be m(13). Suppose 3*h - 188 = -h. Suppose -z + 0*v - 2*v = -h, r = 4*z + 2*v. Is z a multiple of 12?
False
Suppose 99 - 11 = 4*k. Is k a multiple of 11?
True
Suppose 245 = 9*m - 2*m. Does 28 divide m?
False
Let c be -4*(-1 + (-1)/(-2)). Suppose 3*o + 2 = c*o. Is (-1)/(o/32) + 2 a multiple of 14?
False
Suppose 6 + 34 = 4*s. Is s a multiple of 10?
True
Suppose -2*o - 5*r + 27 = 0, -r + 17 = 2*o - 22. Suppose 3*t - o = 63. Suppose -g = -t + 2. Is g a multiple of 12?
False
Does 32 divide 56*((-3)/12 - -1)?
False
Suppose n - 3*n + 64 = 0. Does 16 divide n?
True
Suppose 110 + 100 = 3*s. Is 9 a factor of s?
False
Suppose -h + 6*k - 2*k = -136, -4*h = -5*k - 522. Is 32 a factor of h?
True
Let s = -72 + 128. Is 14 a factor of s?
True
Suppose -w + 6*w + 40 = 0. Let x be (-196)/16 + (-2)/w. Is (4 - -3)/((-2)/x) a multiple of 16?
False
Let o = 80 - 10. Does 35 divide o?
True
Suppose -4*j + 5*t - 31 - 15 = 0, 0 = -5*j + 4*t - 62. Is 15 a factor of 9*1*j/(-6)?
False
Let o = 47 - 30. Is 10 a factor of o?
False
Let d = 1 + 2. Suppose -t + 9 = a, -d*t + t = -3*a - 8. Suppose -15 = 4*s - t*s, 11 = 4*v - 5*s. Is 6 a factor of v?
False
Let k = 1 - -3. Let b = k - -1. Suppose b*d - d = -m + 6, 4*d + 50 = 3*m. Is 7 a factor of m?
True
Suppose 4*t - 2*t - 3*b = -61, 4*b - 20 = 0. Let p = t + 38. Does 15 divide p?
True
Is -26*(-1)/1 + (-5)/(-5) a multiple of 5?
False
Suppose 0 = -3*s + 5*s - l - 10, 0 = 4*s - 3*l - 24. Is s a multiple of 3?
True
Let v = 258 + -66. Is 32 a factor of v?
True
Is 9 a factor of (10/(-3))/((-32)/432)?
True
Is 8 a factor of -1*3/6*-48?
True
Suppose 3*m + 4*h = -50, -m + 3*m = h - 37. Let x be 21*3/m*4. Is (-4)/(-14) + (-248)/x a multiple of 16?
False
Let y be (-2)/(-1)*1/2. Let b be (-11 + 2)/(y + 0). Let w = 17 - b. Is w 