pose -3*y - 3 = -4*y. Suppose -y*w = -2*w. Suppose j + 3*j - 24 = w. Is 3 a factor of j?
True
Suppose -4*q = -10 - 10. Is 5 a factor of q?
True
Suppose 0 = -7*w + 4*w - 4*h + 74, 2*w - 52 = -2*h. Is 15 a factor of w?
True
Let u(t) = -2*t**2 - 14*t + 7. Let q(w) = 3*w**2 + 27*w - 13. Let d(x) = 3*q(x) + 5*u(x). Let c be d(11). Is 9 a factor of 285/20 + 1/c?
False
Let u = -1 + 1. Let p(j) = u - 5 + 7*j + 2. Is p(2) a multiple of 7?
False
Let w = 114 - 62. Is w a multiple of 23?
False
Suppose 24*u = 16*u + 240. Is u even?
True
Suppose 311 = 4*i - 5*x, -4*x - 7 - 5 = 0. Is i a multiple of 18?
False
Let z = -5 + -2. Let j = z - -9. Suppose i + 19 = j*i. Is 19 a factor of i?
True
Let g(i) = i**3 - 6*i**2 - 6*i + 10. Let v(k) = k**3 - k**2 - 5*k + 4. Let x be v(3). Does 10 divide g(x)?
False
Let h(u) be the second derivative of 11*u**4/12 + u**3/3 - u**2/2 - 2*u. Suppose 9 = 3*p + 3. Is 16 a factor of h(p)?
False
Suppose c + 1 = 0, -6*d + 3*d + c + 49 = 0. Suppose -2*r + 6*r = d. Does 4 divide r?
True
Suppose 6 = -5*r + 16. Suppose 0*n - 2*n + 6 = r*f, -5*f = -2*n + 27. Is 3 a factor of n?
True
Suppose 0 = 4*a + 4*d - 276, -4*a - 82 = -d - 373. Is 24 a factor of a?
True
Let z(j) = j - 5. Let s be z(5). Let g = s + 48. Does 21 divide g?
False
Is 11 a factor of (880/28)/((-6)/(-21))?
True
Let u(k) = -5*k**2 + 4*k - 2. Let z be u(2). Let i = z - -42. Is 15 a factor of i?
False
Suppose 0 = s - 2*s - h + 8, 3*s - 2*h = 4. Suppose -2*w = s*m - 3*w - 64, 3*m - 39 = 3*w. Is m a multiple of 9?
False
Does 5 divide (-1 - 1)*((-70)/4 - 1)?
False
Let z be -39*(-4)/(-7 - -3). Does 19 divide 2 - z - (3 - 0)?
True
Suppose -2*x = -5*x. Suppose -2*u - 6 = x, 2*r = 3*u - 2*u + 69. Is 11 a factor of r?
True
Let w be (-10)/(-35) + 4/(-14). Let s = -20 + 44. Suppose w*h - s = -2*h. Is h a multiple of 9?
False
Suppose -y + 74 = q, 9*q - 4*q = -y + 366. Let s = -35 + q. Is s a multiple of 15?
False
Let i(f) = -2*f. Let o be i(2). Let a be (3 + -5)/(o/(-10)). Let m = a + 11. Is m a multiple of 6?
True
Let i be 1/(-2)*4 + -37. Does 13 divide (i/(-12))/(2/24)?
True
Let o be ((0/(-3))/(-3))/1. Suppose p - 22 = -4*s, -s - 4*s + 5 = o. Is p a multiple of 7?
False
Let d be (-3474)/(-27) - (-2)/(-3). Let v = 207 - d. Is 26 a factor of v?
False
Suppose -c - 2*g + 4 = c, 6 = 3*c - 4*g. Let q be 2/(-8) + (-105)/(-20). Suppose -q*l = -2*w + 69, c*l - 217 = -3*w - 66. Is w a multiple of 19?
False
Let w(n) = -4*n - 2. Suppose 0*b = -2*b + 2. Let p = b + -8. Does 13 divide w(p)?
True
Let x = 27 + -15. Is 8/x - (-79)/3 a multiple of 12?
False
Suppose -11 = 3*q - 2. Let d = q - -4. Let n = d - -16. Is n a multiple of 17?
True
Does 19 divide 148 - 6/(-4)*2?
False
Suppose -9*t + 183 + 1500 = 0. Does 17 divide t?
True
Suppose 23*p - 21*p - 78 = 0. Does 3 divide p?
True
Let q = 645 - 425. Does 24 divide q?
False
Is -1 + 128 + 16/(-8) a multiple of 25?
True
Suppose -3*r + 320 = r. Suppose 0 = -2*d - 4*q + r, 2*d = 5*d - q - 99. Is d a multiple of 17?
True
Suppose -142 - 20 = -6*o. Does 27 divide o?
True
Suppose -z + 3*z - 108 = 0. Let t(u) = z*u**2 - 7*u + 6*u + 1 - 2. Is 21 a factor of t(-1)?
False
Let k be 6/8 - (-54)/(-8). Is 14 a factor of (33/(-9) + -1)*k?
True
Let q be (-258)/(-54) - 2/(-9). Suppose q*t - 4*b + 82 = 0, -b = -4*t - 5*b - 44. Is (-4)/t - (-231)/49 even?
False
Suppose -q = -3*w + w + 69, 2*w = -3*q + 65. Is 20 a factor of w?
False
Let g be (4/14)/(2/14). Suppose 4*v + v = g*y + 25, -y - 4*v + 20 = 0. Suppose y*b = -3*b + 57. Does 7 divide b?
False
Let c(r) = 5*r**2 - r. Let z be c(2). Let q = z + 3. Let g = 0 + q. Is g a multiple of 13?
False
Suppose -2*n + 5*n = 6. Let l be n - (2 - (5 + -1)). Suppose -a + 11 = 4*x, 16 = l*a - 5*x - 28. Is a a multiple of 10?
False
Let y(t) be the third derivative of -t**5/60 + 5*t**4/24 - t**3/3 - 2*t**2. Let u be y(3). Suppose -39 + 7 = -u*z. Is z a multiple of 4?
True
Suppose 0*j + 285 = 5*j. Does 19 divide j?
True
Suppose 215 = 8*v - 385. Is v a multiple of 25?
True
Let h be -2*(-1)/1 + 1. Suppose -2*g - h*g + z - 378 = 0, -z = 3*g + 222. Is -2*1 - g/5 a multiple of 13?
True
Let a(v) = 2*v**2 - 10*v - 2. Let q be a(9). Suppose -5*x = -5*m + q + 25, 0 = -m + 3*x + 13. Is 11 a factor of m?
True
Let w(o) = -55*o**3 - o**2 - o + 1. Is 12 a factor of w(-1)?
False
Let s be (158/(-4))/(4/(-8)). Suppose -4*k + s = -3*r - 48, 0 = 5*k - 4*r - 159. Is 10 a factor of k?
False
Is 35 a factor of 1*(-127)/(-1)*1 - -2?
False
Does 5 divide 18/2 + (4 - 8)?
True
Let z(w) = w**2 - 8*w. Let m be z(11). Does 16 divide m - (3 - (3 + 0))?
False
Suppose 2*g = 6 - 2. Suppose -3*l = 0, -4*l - 34 = -g*c - l. Does 12 divide c?
False
Suppose 35 = 2*u - 7*u. Let l(g) = -g**3 - 7*g**2 + 9. Let k be l(u). Suppose 0 = -h + k - 2. Does 4 divide h?
False
Suppose -4*v + 3*u + 35 = 0, -3*v = 2*v + 2*u - 15. Let w be v/(-25) - 31/(-5). Does 4 divide (w/(-4))/((-18)/48)?
True
Suppose -16 = k - 5*k. Suppose -3*w + 0*p = -k*p - 7, p = 2. Suppose 80 = 5*r - 5*g, 103 = w*r - 4*g + 26. Is 13 a factor of r?
True
Let b = 21 + 1. Suppose 4*m - b = 3*l, 0 = 4*m + 2*l + 2*l - 36. Is m a multiple of 3?
False
Suppose -11 = -2*z - 3*y, 3*y - 5*y + 20 = -5*z. Suppose -4*g + 5*g - 16 = 0. Let d = g + z. Is d a multiple of 8?
False
Let g = -25 - -4. Let j be (-4 + 1)*(-13 - -2). Let a = j + g. Does 7 divide a?
False
Let h be -2 - (2 + -9 + -2). Suppose h*c + 32 = 3*c. Is 12 a factor of (c + 0)*(-21)/12?
False
Suppose 8 = s - 4*a, 9*s - 4*s + 3*a = 155. Is s a multiple of 4?
True
Suppose 4*x - 5*t = 32, x - 1 = t + 6. Suppose 0 = i - x - 1. Suppose 59 = z - j, i*z - 200 = 5*j + 32. Is z a multiple of 17?
False
Is 2*(1416/(-60))/((-4)/5) a multiple of 5?
False
Let v(n) = n**2 - 6*n + 3. Let w be v(6). Let q(r) = -8 + w*r + 5*r - r**2 + r. Is q(7) a multiple of 6?
True
Let n = 5 - 1. Suppose -n*c + 30 = -6. Does 5 divide c?
False
Let y = 61 - -114. Is 42 a factor of y?
False
Suppose 5*v - 4 + 84 = 0. Let g be (v/(-6) + -2)*3. Suppose 0 = -g*l + 22. Does 10 divide l?
False
Let x(i) = i. Let p(w) = -w + 16. Let t be p(8). Does 4 divide x(t)?
True
Suppose p + 8 = 2*d + 6*p, -2*p = 0. Let w be d/6 - 8/(-6). Suppose w*f + 3*f = 125. Is 11 a factor of f?
False
Suppose 0 = -4*b - 0*b + 128. Is 8 a factor of b?
True
Let g(w) = -w**3 + 8*w**2 - 6*w - 3. Let z be g(7). Let t(m) = 3*m**2 + 3*m + 1. Is 17 a factor of t(z)?
False
Let v be 40/12 - (-4)/6. Suppose 0 = z, 5*z - 2*z = v*x - 28. Is 3 a factor of x?
False
Let a = 36 - 22. Let u = -7 + a. Suppose -8 = -r + 4*i, r - i - u = 4*i. Is 12 a factor of r?
True
Let z(i) = -i**2 - 9*i + 6. Suppose 5*f - 20 = -0*f. Let s be f/(-6) + 48/(-9). Is z(s) a multiple of 12?
True
Suppose 11 - 71 = -4*d. Does 6 divide d?
False
Let b = -46 - -65. Is 6 a factor of b?
False
Let t = 102 + -56. Is 17 a factor of t?
False
Let n(q) = -q**2 + 72. Is n(0) a multiple of 12?
True
Let l(q) = -5*q - 5. Let r be l(-10). Let y = r - 25. Is 9 a factor of y?
False
Suppose 10*h - 797 - 1703 = 0. Is 25 a factor of h?
True
Is 4 a factor of 2/(-8) + 141/4?
False
Let v(f) = -f**2 + 6*f - 4. Let j(m) = m**2 + 7*m - 4. Let c be j(-8). Suppose 0*u + 3*g = u - 6, -10 = -2*u + c*g. Does 2 divide v(u)?
False
Let a = 0 + 0. Suppose -9 = -4*i + 3*y - a*y, -3*i + 5*y - 7 = 0. Does 5 divide i/(-27) - (-92)/9?
True
Let q = 9 + -7. Is q even?
True
Suppose -15 = -c - 4*c. Suppose -4*w + 5*w = -c. Does 5 divide (w - 25/(-2))*2?
False
Let i be 4*25*18/3. Is 13 a factor of 4/28 - i/(-14)?
False
Let b(r) = 2*r**2 + 39*r + 13. Is 8 a factor of b(-21)?
False
Let a = -11 + 15. Suppose a*c + 6 = 18. Suppose 0 = -2*m - 2*m - 4*x + 248, -c*x = -12. Does 21 divide m?
False
Let r = -5 + 8. Suppose -b = 2*b + r. Let u = 5 + b. Is 4 a factor of u?
True
Let n(a) = 2*a**2 - 5*a + 8. Let y = -1 - -7. Does 18 divide n(y)?
False
Let u be ((-1)/(-2))/(6/12). Is 15 a factor of u/(-3) - 906/(-18)?
False
Does 19 divide 84/8*-28*1/(-3)?
False
Let s(w) = -93*w - 12. Let m be s(7). Is 3 a factor of (2/6)/((-17)/m)?
False
Let c(r) = r**2 - 3*r - 24. Is 3 a factor of c(9)?
True
Let n be (-2)/2*(2 - 1). Let y be 4/(-10)*10/n. Does 12 divide 2/8 + 95/y?
True
Suppose 4*b - b - 18 = 0. Suppose 0*p = -p + b. Is 5 a factor of p?
False
Let y(a) = a**2 - 8*a + 7. Let p be y(7). Suppose p*c = c - 40. Is 20 a factor of c?
True
Let v 