1/4. Suppose -z = -3*b + p. Is 5 a factor of b?
True
Suppose 0*y - 6 = d + 2*y, -5*y = 5*d + 20. Is (1 + -21)/(d/6) a multiple of 11?
False
Let n(a) = -a**2 - 9*a - 4. Let f = -17 - -9. Is 2 a factor of n(f)?
True
Let b = 26 - 23. Let p(i) = 2*i**2 - 5*i + 5. Is p(b) a multiple of 8?
True
Does 25 divide 94/(-4)*-6*1?
False
Let q(a) = a**3 - a**2 - 3*a - 2. Let d be q(3). Suppose -c - 2 = -d. Is c a multiple of 4?
False
Let o(m) = -5*m + 2. Let v be o(5). Let c = 33 + v. Let y = c + -6. Does 4 divide y?
True
Let f(s) = -4*s**3 + s**2 + 7*s + 12. Let u(b) = b**3 + b**2 - 1. Let c(x) = -f(x) - 5*u(x). Let l be c(-5). Suppose 0 = -o + 2*o - l. Is 3 a factor of o?
True
Suppose x = 5*o - 19, x - 2 = -x + 2*o. Suppose x*q - 40 = q. Is 5 a factor of q?
False
Let p(u) = u + 5. Let f be p(0). Let j(t) be the first derivative of -t**3/3 + 9*t**2/2 + 2. Does 12 divide j(f)?
False
Suppose 6*d + 76 = 3*w + 2*d, d - 95 = -4*w. Is w a multiple of 3?
True
Let l = 5 + 3. Suppose l*h - 12*h - 36 = 0. Let p(t) = -t**3 - 8*t**2 + 7*t + 2. Is 10 a factor of p(h)?
True
Let n(a) = -a**2 - 12*a - 18. Is 5 a factor of n(-3)?
False
Suppose 0*u = 3*u. Let p = u - -3. Suppose 0 = -p*s + 8*s - 60. Is s a multiple of 6?
True
Let y(n) = n**2 - n - 4. Let m be y(3). Let v(g) = -g**3 + 4*g**2 - 2*g + 1. Let c be v(m). Let o(p) = 3*p - 3. Is 12 a factor of o(c)?
True
Let a(x) = -3*x**3 - 2*x**2 + 2*x. Let r be a(2). Let m = 2 - r. Is 21 a factor of m?
False
Let p(h) = -h**2 + 9*h + 6. Let v be p(6). Suppose 2*t = 2*q - 28, 3*t = 7*t + 5*q + 83. Let i = t + v. Is i a multiple of 7?
True
Let l(a) = 8*a + 2. Let k be l(-3). Let i = -7 - k. Is 15 a factor of i?
True
Suppose 3*o - 13 - 5 = 5*n, -2*o - 4 = 2*n. Does 26 divide (-1 - (n + 2)) + 29?
False
Let m(d) = -d**3 + 6*d**2 - 4*d - 1. Let q be m(4). Does 10 divide q - ((-4)/2 + 2)?
False
Is 23 a factor of 1*-87*(-4 + 0 + 3)?
False
Suppose 3*p = -3*m + 6*p - 15, -3*p = -9. Is m/(1*1/(-6)) a multiple of 12?
True
Let w(b) = -b**3 + 3*b**2 + 2*b - 3. Let v be w(2). Suppose 3*q = -5*i + 123, 189 = v*q + i + 2*i. Is q a multiple of 8?
False
Is 10*40/((-10)/(-2)) a multiple of 20?
True
Suppose -9 - 9 = -2*c. Let n = -4 + c. Suppose -n*u + 10 = -4*u. Does 5 divide u?
True
Let b = -41 - -57. Let z(p) = 4*p**2 + 4*p + 5. Let w be z(4). Is 9 a factor of w/4 + (-4)/b?
False
Let b be (-6)/4*280/(-21). Suppose -b + 8 = -4*j. Suppose j + 6 = w. Does 3 divide w?
True
Let v = 55 - 34. Is 21 a factor of v?
True
Let u(a) = a - 4. Let k be u(5). Let z be ((-15)/3)/((-1)/k). Let o(r) = 3*r - 6. Is o(z) a multiple of 6?
False
Let l = 13 - 6. Suppose b - 21 - l = 0. Is b a multiple of 10?
False
Is (-12)/(-15)*(-135)/(-6) a multiple of 6?
True
Suppose -5*m - 254 = -4*q - 3*m, 71 = q + m. Suppose -2*j = -4*j + q. Does 10 divide j?
False
Let n = -31 + 108. Suppose 0 = -3*v + 3*g + g + n, -73 = -3*v + 2*g. Does 10 divide v?
False
Let j(d) be the third derivative of d**5/30 + d**4/6 + d**3/2 - 2*d**2. Let z be j(-2). Suppose z*c - 68 = -2*n, c - 111 = -4*c - n. Is 8 a factor of c?
False
Let q(n) = n**2 - 9*n - 4. Suppose -9*b + 45 = -4*b. Let j be q(b). Let s = j + 6. Is s a multiple of 2?
True
Let l(c) = c**2 + 4*c + 3. Let u be l(-7). Is (u/9)/(2/3) a multiple of 4?
True
Let x(m) = m**3 + 12*m**2 - 5*m - 6. Let r be x(-12). Let t = r - 29. Suppose 4*v - 3*v = t. Does 24 divide v?
False
Let d(x) = -x**2 + 52. Let p be d(0). Suppose 4*t - p = 116. Is t a multiple of 7?
True
Suppose -4*x - 6 = -x. Let j be 6/(-12) - (-105)/x. Let n = 93 + j. Is 20 a factor of n?
True
Let m(x) = -x**3 + 4*x**2. Let l be m(4). Suppose 5*w + 3*a - 77 = 0, w = -l*a - 2*a + 14. Is 8 a factor of w?
True
Let l(i) = i**2 - 2*i. Let p be l(2). Suppose 2*h = 2*g + 114, p = -5*h + g + 2*g + 291. Suppose -h + 207 = 5*b - 4*q, 0 = -q - 3. Is 9 a factor of b?
True
Let b(y) be the second derivative of -y**3/6 + 11*y**2/2 - 6*y. Does 3 divide b(6)?
False
Let y(r) = r**2 - 7*r - 6. Let c be y(8). Suppose 9 = 3*g - s - 0, c*s = g - 3. Suppose -54 = g*k - 6*k. Is k a multiple of 18?
True
Does 28 divide 5*16 - 4 - 2?
False
Suppose 0 = 3*b + q - 4, 3*b - 2*q + 5 = -3. Suppose -4*h - 32 = 3*s - 5*s, 5*s + 3*h - 106 = b. Is 10 a factor of s?
True
Let b be (-3)/12 - (-14)/(-8). Let j be (b - 7)*(1 - 0). Let x = j + 20. Is x a multiple of 10?
False
Let t = -235 + 343. Suppose 0 = q + 3*q - t. Does 11 divide q?
False
Let o be (-20)/(-8)*(-8)/(-5). Let m(n) = 14*n. Is m(o) a multiple of 15?
False
Let m be (-85)/(-10)*(-6)/(-1). Suppose 0*g + m = g. Suppose f - x = 45, g - 12 = f + 2*x. Does 12 divide f?
False
Let o(x) = x**2. Let i(y) = -13*y**2 + 1. Let p(v) = -i(v) + 2*o(v). Let g be p(1). Is 12 a factor of g/(-2)*(-90)/21?
False
Is (39 - -5)/(8/12) a multiple of 33?
True
Suppose -5*f + 286 + 64 = 0. Is 10 a factor of f?
True
Is 5 a factor of 3/(-2) + (-38)/(-4)?
False
Let r(h) = -h**3 - 9*h**2 + 13*h + 12. Let n be r(-10). Let m be (-60)/n*(-12)/(-10). Suppose 24 = 5*c + m. Is c a multiple of 3?
False
Suppose 6 = 4*p - p. Let r = -1 + p. Is (-120)/(-3) - (r - 1) a multiple of 20?
True
Let c = 3 + 0. Suppose 0 = -o - q - 1, -3*o + c*q - 2*q - 23 = 0. Is 13 a factor of 13/((-3)/o*2)?
True
Let c be (-21)/(-14)*(-8)/(-6). Suppose -c*g + 2 = 4*d, 5*g + d - 4 = 10. Suppose -m = -g - 9. Does 7 divide m?
False
Let r be 135/18*4/(-6). Let u(j) = j**2 + 2*j + 6. Is u(r) a multiple of 7?
True
Suppose 0 = 3*l + r - 12, l - 4*r + 3 = -2*l. Let b(i) = -4*i**2 - 5 + 3*i**2 + 1 + 6*i. Is 2 a factor of b(l)?
False
Does 28 divide (-28)/3*(-19 + 7)?
True
Let y = -7 - -17. Let r = y + -7. Suppose -2*h + 23 = m, -r*h + 75 = 5*m - 47. Is 10 a factor of m?
False
Suppose -j - 5*r + 15 = 0, -j - 3*r = -2 - 11. Let y = -4 + j. Is y a multiple of 6?
True
Is 10 a factor of 2/(0 + -1) + 27?
False
Suppose 0 = -4*k - 137 + 377. Does 15 divide k?
True
Suppose -12 = -5*r + 23. Let k = 13 - r. Is k a multiple of 6?
True
Let q = -174 - -238. Is 16 a factor of q?
True
Is 15 a factor of 452/12 + 2/(-3)?
False
Let k be -1 - 0 - (-8 - -4). Is 4 a factor of k + 3 + (-1)/1?
False
Is (-24)/(-180) - (-643)/15 a multiple of 18?
False
Suppose 2*q = -4*f + 3 + 15, 3 = 4*q - 3*f. Suppose t = q*d + 17, -4*t = -t + 5*d - 37. Is t a multiple of 4?
False
Let c be (-38 + 0 + 0)*14. Suppose 2*n = -2*b + n - 43, 47 = -2*b - 5*n. Is c/b - 2/(-3) a multiple of 16?
False
Let m(n) = 9*n**2 + n - 4. Let c be m(-4). Suppose r + c = 4*h + 6, -122 = -4*h - 3*r. Suppose h = -f + 2*f. Is f a multiple of 23?
False
Let c(m) = m**2 - 4*m + 4. Does 13 divide c(-5)?
False
Let i = -15 + 21. Is i a multiple of 4?
False
Let j(v) = 10*v + 6. Let y be j(6). Let i(t) = -t**2 + t. Let g be i(1). Suppose -4*p + 2 + y = g. Is p a multiple of 17?
True
Suppose -10 = 5*h, 0 = 5*y + 5*h - h - 82. Let s be 1 + -5 + (1 - -1). Is 17 a factor of y + -2*(-1)/s?
True
Let k(z) = 123*z**2 + 2*z. Does 25 divide k(1)?
True
Let q(k) = -k**3 - 5*k**2 - 6*k - 6. Is 7 a factor of q(-5)?
False
Suppose 5*p + 38 = 138. Let q = 11 - 3. Suppose j + 0*j + 5*u - p = 0, -u - q = -j. Is j a multiple of 5?
True
Suppose 5*w + 3 = -f, -3*f = -5*w - 13 + 2. Suppose 46 = 2*j + 5*b, -f*j + b + 52 = j. Suppose 3*s - 21 = j. Is s a multiple of 13?
True
Suppose -343 = -3*s + 2*u, 5*u - 446 = -4*s + 2*u. Is 5 a factor of s?
False
Does 17 divide 2 + 1 - (-2 + 5 + -204)?
True
Let p = -29 + 61. Is p a multiple of 8?
True
Suppose 25 = 4*w + t, 0 = 4*w - 0*t + 3*t - 35. Let o = w + -5. Let q = o + 3. Is q a multiple of 3?
True
Let a(x) = x**2 - 3*x - 5. Let v be (10/(-6))/(3/(-9)). Let m be a(v). Suppose j = -5*f + 33, 3*f + m*j - 18 = -7. Is f a multiple of 5?
False
Is 11 a factor of 36/21*(4 + 3)?
False
Suppose 10 - 4 = 5*u + 3*z, -4*u = 5*z + 3. Does 11 divide ((36 + 3)/u)/1?
False
Suppose 0 = x + 5, -6*h + 2*h = -3*x - 23. Suppose 0*a - h*d + 49 = a, 4*a - 187 = -5*d. Is a a multiple of 17?
False
Let x(b) = -3*b - 3. Let s be x(-2). Suppose -5 - s = -2*v. Suppose -r + v*c + 96 = 2*r, 69 = 2*r - c. Is 12 a factor of r?
True
Let g(r) = 18*r**3 + 3*r**2 + 2*r. Is 16 a factor of g(2)?
True
Suppose -b + 2*n = -131, 2*b = 5*n - 0*n + 264. Suppose 4*c - b = -5*i, 5*c + i = -i + 146. Is 6 a factor of 512/c - 4/14?
True
Let c(x) = x**3 - 11*x**2 + 2*x - 13. Let f be c(11). Suppose -f + 29 = 2*q. Suppose -q - 6 = -2*