de c?
False
Suppose 12*c = 7*c + 75. Does 4 divide c?
False
Suppose 6*q - 3*q - 9 = 0. Suppose r - 2*r + 2*h = -8, -q*r + 3*h = -27. Is 4/r + (-564)/(-15) a multiple of 10?
False
Suppose 0 = -0*x - 3*x + 468. Is 39 a factor of x?
True
Let c(h) = -10 + 2 - 2 + 5*h. Let w be c(10). Suppose 0 = 3*r - w + 1. Is r a multiple of 13?
True
Let j = 117 - 79. Suppose -4*g = 4*n - 48, 2*n - g - 1 = j. Is n a multiple of 7?
False
Suppose -4*q + 114 = 2*d, 5*q + 128 + 61 = 4*d. Let j = d + -9. Is j a multiple of 21?
True
Let u be (4 - 8)*(-5)/4. Suppose x + u*s = -x - 27, -39 = 4*x - 5*s. Let f(q) = -4*q + 3. Is 24 a factor of f(x)?
False
Let q(o) = o**2 + 9*o + 10. Suppose -4*i - 20 = 4*j, -2*i = -2*j - 2*j - 38. Let m be q(j). Is m/(((-4)/(-30))/2) a multiple of 15?
True
Suppose 24 = -4*m + 5*m. Let o = m - 15. Let g = 40 - o. Is 17 a factor of g?
False
Suppose -5*p + 3*p + 2 = 0. Let u be (p - (-3 + 3)) + 1. Suppose 2*z - 14 = -u*a, 3*a = z + 19 + 22. Is 9 a factor of a?
False
Let p = 115 - 79. Is 6 a factor of p?
True
Let j(w) be the third derivative of w**4/4 + 5*w**3/6 - 7*w**2. Is j(4) a multiple of 20?
False
Suppose 5*x + 2*v - 38 = -0*x, x - 2*v = 10. Does 5 divide x?
False
Suppose 5*g - 4*v = -927, 0 = 2*g - 2*v - v + 368. Let x = 287 + g. Is 23 a factor of x?
False
Suppose -5*x + 3*j + 1685 = 239, -3*x + 866 = -j. Does 24 divide x?
True
Suppose -3*v + 0*v + 3 = 0. Suppose -v = -c + 3. Is 4 a factor of c?
True
Let g be (-26)/(-6) + 1/(-3). Suppose -3*t - g*y = -t - 64, -4*y = 4*t - 116. Is 13 a factor of t?
True
Suppose -3*w = -0*w - 9. Suppose -2*t + 4*i + 5 = -9, -2*t = -w*i - 10. Let q = 19 + t. Is q a multiple of 11?
False
Let y(j) = 7 + 3*j + 2*j**2 - 6*j**3 + 4*j - 3*j - 3. Let m be y(-3). Is 11 a factor of 2/8 - m/(-16)?
True
Let i(y) = -10*y**3 - y**2 + 4*y + 1. Does 15 divide i(-2)?
False
Suppose 2*k + 5*a + 23 = 0, k + 4*a = -2*k - 24. Let b(f) = f - 8 + 3 - 3*f. Is b(k) a multiple of 2?
False
Suppose 249 = -26*f + 29*f. Is f a multiple of 24?
False
Let m = -23 + 36. Does 6 divide m?
False
Let d(x) = -x - 7. Let s be d(-7). Suppose -2*n + 4*b = -84, 3*n + s*n - 5*b = 123. Is n a multiple of 12?
True
Let q = 477 - 281. Is q a multiple of 14?
True
Let u = -205 - -315. Does 10 divide u?
True
Let m = -150 - -226. Is m a multiple of 20?
False
Let w(u) = -u**3 - 9*u**2 + 6. Let a be w(-9). Does 7 divide -27*2*(-3)/a?
False
Suppose -7 = -3*u - 1. Suppose 0*s = s - u. Let v(i) = 10*i**2 - i + 1. Does 13 divide v(s)?
True
Let n = -21 + -3. Let a be 0 - (-1)/((-2)/6). Let v = a - n. Is 21 a factor of v?
True
Let u(o) = -o**2 + 9. Let l(b) = 5. Let t(g) = 11*l(g) - 6*u(g). Is 3 a factor of t(-1)?
False
Let b be (-2)/4 - 36/8. Let f be (-21)/7 - 1*-2. Is (b/(10/16))/f a multiple of 3?
False
Suppose 0 = 4*g - 3*x - 137, -50 = -g - 4*x + 8. Let p(l) = -l**3 + 7*l**2 - 4*l - 8. Let a be p(6). Suppose -2*b = -a*b + g. Is 7 a factor of b?
False
Let x(d) = -d**3 + 2*d**2 + 3*d**2 - d**2 + 41 - 3*d**2. Is x(0) a multiple of 18?
False
Let h(b) = 4*b**2 + 1. Suppose 0*r = 5*r - 5. Let f be h(r). Does 17 divide ((-4)/f)/(8/(-460))?
False
Let b = 0 - -2. Let w be -1 + b + 2*-1. Let a = w + 20. Does 8 divide a?
False
Let g(r) = 12*r**2 - 3*r + 3. Let a be g(2). Let f(w) = w - 2. Let x be f(4). Suppose -x*z - z + a = 0. Does 7 divide z?
False
Let u(p) = 4*p**3 - p**2 - p + 1. Let s be u(1). Suppose s*i - 21 - 42 = 0. Is i a multiple of 8?
False
Suppose -4*l - 5*q = -478, -2*q = -3*l - q + 368. Is l a multiple of 11?
False
Suppose 2*r + 35 = 7*r. Suppose 0 = -4*n + r + 73. Is n a multiple of 10?
True
Is 10 a factor of (-12 + 1)*(-10 - -9)?
False
Suppose s = 6*s - 10, 5*s - 22 = 4*g. Let h = 12 + 29. Let m = h - g. Is 17 a factor of m?
False
Let a be 3*1/6*26. Let o = 41 + a. Suppose -3*h + 2 + 10 = 0, 5*h - o = -2*s. Is 17 a factor of s?
True
Suppose 4*b + 23 = 3*m + 437, 214 = 2*b + 2*m. Is 7 a factor of b?
True
Let j(w) = 82*w - 2. Let r be j(1). Suppose 3*a - 46 - r = 0. Is 12 a factor of a?
False
Let a(q) = -q - 7. Let w be a(-6). Let p be (2/(-3))/(3/54). Is 5 a factor of w/(1 + p/10)?
True
Let m(z) = z - 7. Let x be m(7). Suppose x = -o + 5*c + 50, 0 = -o - o - 5*c + 85. Is o a multiple of 12?
False
Let a(p) = 16*p**2. Let i be (-6)/3 + 2*-2. Let q = 7 + i. Is 8 a factor of a(q)?
True
Let b(x) = 2*x**2 - 4. Let j be b(-2). Is 14 a factor of 2 + (1*176)/j?
False
Let z(d) = -d**3 - 7*d**2 - 3*d - 4. Let i be z(-7). Let s = i + -7. Is s a multiple of 5?
True
Let k = 31 + -26. Suppose -c - k*f = -35, c - 6*f = -f + 65. Does 10 divide c?
True
Is (-2)/8 + 6*(-749)/(-56) a multiple of 16?
True
Let s = 7 + 3. Let t = s + 4. Does 14 divide t?
True
Suppose l - 10 = -4*l. Suppose -l*t = 4 - 18. Is (-3)/(-3)*0 + t a multiple of 6?
False
Suppose l + 2 = -6*g + 4*g, -g - 3*l + 4 = 0. Let b(k) = -3*k**3 - 4*k**2 - 3*k - 2. Is 6 a factor of b(g)?
True
Let f be 1*-2*803/(-22). Suppose 6*v - f = 179. Is v a multiple of 9?
False
Let v be 0 + (-2 + 32)*5. Suppose -44 - 65 = 3*j + 5*f, 0 = -4*j - 2*f - v. Is 10 a factor of (j/6)/(2/(-6))?
False
Suppose -17 + 32 = 5*b. Suppose -48 = -6*t + b*t. Is t a multiple of 6?
False
Suppose 4 = 2*y, -6 = -4*s + 2*y + 3*y. Let d be (s/(-6))/(4/(-18)). Suppose 0 = -g, -3*w - 4*g = -d - 9. Does 4 divide w?
True
Let m(k) = 29*k**3 + 2*k**2 - 2*k + 1. Does 15 divide m(1)?
True
Let u(m) be the first derivative of 2*m + 7/3*m**3 - 1/4*m**4 + 1 - 5/2*m**2. Is u(6) a multiple of 5?
False
Let u(r) = 3*r**3 + r**2 - 2*r + 1. Let s be u(1). Suppose 6*c - 65 = c + 3*n, 3*c = -s*n + 15. Is c a multiple of 5?
True
Suppose -j + 2*j = -m + 61, m + 5 = 0. Is j a multiple of 22?
True
Let n be (20/2)/(0 - -2). Suppose -2*b + w = -w - 8, -20 = -n*b - w. Suppose -k + 25 = b*u, -2*k - 2*k + 2*u = -46. Is 10 a factor of k?
False
Let g(d) = -7*d + 35. Does 14 divide g(-21)?
True
Suppose 4 - 8 = -2*h. Suppose u - 138 = -h*u. Suppose -q = -3*q + u. Does 8 divide q?
False
Suppose -2*h + h = -3. Suppose -32 = -2*x - 5*o, h*o - 8 = -o. Is x a multiple of 11?
True
Let h = -3 + 5. Suppose -12 = -h*f - f. Suppose 4*b = -5*q + 134, 2*b + 172 = f*q + 44. Is 15 a factor of q?
True
Let t = -11 - -17. Suppose -t*x = -2*x - 228. Is 17 a factor of x?
False
Let p(k) = k**3 + 16*k**2 + 15*k + 10. Is p(-15) a multiple of 5?
True
Let f(m) = 4*m**2 - 5*m + 7. Is 9 a factor of f(3)?
False
Let v(c) = -c + 52. Is v(8) a multiple of 3?
False
Let j(z) = -80*z. Let x be j(-1). Suppose 3*p - x = -g, 4*g - 68 = -2*p - p. Does 12 divide p?
False
Let a be (-6)/9*-3*6. Let s(m) = 4*m + 10. Let d(j) = j - 1. Let u(w) = a*d(w) + s(w). Does 16 divide u(2)?
False
Suppose 0*k = 4*p - 3*k - 72, 5*p = 4*k + 91. Is 9 a factor of p?
False
Let f(i) = -i**3 - 7*i**2 - 1. Let j be f(-8). Suppose -5*q = -202 - j. Is q a multiple of 14?
False
Let w be -1 - (-1)/3*-3. Let p be 1/(3*(-3)/(-135)). Let z = p + w. Is 4 a factor of z?
False
Suppose 0 = -2*b - 4*v + 8, 2*b - 2*v - v + 13 = 0. Let d = b - -4. Suppose d*a = 5*l - 115, 6*l + 5*a - 150 = l. Does 13 divide l?
False
Is (-24 - -4)*(-76)/(-30)*-3 a multiple of 38?
True
Let d(u) be the first derivative of -u**3/3 + 5*u**2 - 6*u - 17. Let v be -1*(-5 - 1 - -1). Is d(v) a multiple of 7?
False
Is 7 a factor of 14 - ((5 - 2) + -2)?
False
Let o = -3 + 6. Suppose 0*a = a + 3*m - 10, 12 = -o*m. Is a a multiple of 12?
False
Suppose 0 = 3*l + 8 - 80. Is 6 a factor of l?
True
Let h(w) = -w**3 - 8*w**2 - 7. Let n be h(-8). Let j(m) = -7*m + 4. Is 14 a factor of j(n)?
False
Let m = -10 + 14. Suppose 16 = 2*o - m. Does 10 divide o?
True
Let a be (38/4)/((-2)/(-36)). Suppose a = 3*t + 42. Is 7 a factor of t/3 - 4/12?
True
Let g be (3/2)/((-2)/(-4)). Let k be g/(-6)*(1 - 1). Suppose k = 6*r - 7*r + 17. Is r a multiple of 17?
True
Let k be (-44)/(-16) + -3 + 963/12. Suppose -3*b - 82 = -3*a + 26, -5*b - 5*a - 210 = 0. Let o = k + b. Does 15 divide o?
False
Suppose -6*o = -2*o. Suppose -4*y + 3*m + 98 - 19 = o, -20 = -y + m. Is y a multiple of 7?
False
Let y be (-20)/3*(-6)/(-5). Let j(i) = -5*i + 6. Let m be j(4). Let l = y - m. Is l a multiple of 6?
True
Let z(n) be the third derivative of n**5/60 + 7*n**4/24 + n**3/3 + n**2. Let y(g) be the first derivative of z(g). Is y(5) a multiple of 17?
True
Does 8 divide (-432)/(-20)*(-4 + 19)/3?
False
Let t be (-90)/8*48/(-1