 d?
False
Suppose 4*s + 5*j - 247 = 0, j + 0 = -5. Is 17 a factor of s?
True
Let l = 763 - 399. Is l a multiple of 28?
True
Let u(p) = -p - 2. Suppose -f + 24 = -5*f. Let t be u(f). Suppose s - t*s + 129 = -3*w, 4*s = -2*w + 154. Does 15 divide s?
False
Suppose -5*l + 0*o + 1136 = 2*o, 0 = -4*l + o + 914. Is 38 a factor of l?
True
Let m(l) = 0*l + 1 + l - 2*l. Let p be m(-2). Is p - 1 - 23/(-1) a multiple of 12?
False
Suppose 2*a + 90 = 4*a + n, -2*n - 128 = -3*a. Is a a multiple of 11?
True
Let k(z) = 10*z + 2. Let q be k(3). Let o = -5 + 10. Suppose 5*l - 3*l = 4*i - 60, 4*i + o*l - q = 0. Is i a multiple of 7?
False
Let c(n) be the second derivative of -n**3/3 - 2*n**2 - n. Let w(d) = d + 2. Let y be w(-7). Does 3 divide c(y)?
True
Let h = -5 - -7. Suppose p - a - 19 = -7, -h*a = p - 18. Does 14 divide p?
True
Suppose 3*d - d = 6. Let w be ((183/d)/1)/(-1). Let r = 93 + w. Is 16 a factor of r?
True
Suppose 4*l - 27 = l. Suppose -3*k = l, 3*k + 49 = 3*o - o. Is o a multiple of 10?
True
Suppose b - 95 = -5*k, b - 100 = -4*k + 5*b. Suppose n - 6*n = -k. Suppose i = 5*u - 95, n*u + 4*i - 133 = -33. Is u a multiple of 10?
True
Let z = -259 + 406. Does 13 divide (-1)/((-3)/z) - 2?
False
Is 30 a factor of 8*1/(-2) - -99?
False
Is (-3)/(-12) + (-78)/(-8) a multiple of 5?
True
Suppose -3*x - 58 = -5*x. Suppose 5*a + 102 = 22. Let p = a + x. Is p a multiple of 10?
False
Suppose 0 = 4*x + 3*d + 5 + 8, -4*x - 4*d = 16. Does 9 divide 6*(x + (-22)/(-4))?
True
Let f(t) = t - 6. Let q be f(6). Does 14 divide (3 - q)*112/12?
True
Let c(a) = 8*a**3 - 2*a. Let x be c(2). Is 0 - (0 + x/(-3)) a multiple of 6?
False
Let n(v) = v**3 - v**2 - 5*v - 11. Is 30 a factor of n(5)?
False
Suppose 0 = 6*x - 3*x. Suppose 3*m = 3 + 21. Does 4 divide (-3 - m)/(x - 1)?
False
Let b = 33 + -25. Is b a multiple of 8?
True
Let x(w) = -w**2 - 6*w + 7. Let s be x(-6). Let o(d) = d**3 - 6*d**2 - d + 8. Let u be o(s). Suppose 5*g - u - 40 = 0. Is g a multiple of 7?
False
Let s = 8 + -5. Suppose -2*g - g + m = -8, -s*m = -4*g + 14. Let y = 0 + g. Is 2 a factor of y?
True
Suppose 130 = m - 6*m. Let q = 64 + m. Is q a multiple of 15?
False
Let z = 6 - 7. Is (-102)/(-3)*1 - z a multiple of 12?
False
Suppose -2*g = -5*f - 56, 2*f + 4 + 0 = 0. Is 6 a factor of g?
False
Suppose 5*n - 3*t + 2 - 22 = 0, -3*n - 2*t + 12 = 0. Is n even?
True
Suppose -2*w + 13 + 21 = 4*x, 12 = w + x. Suppose -2*t - f + 101 = 0, 5*f + 2 - w = 0. Is t a multiple of 14?
False
Let r be 4/18 - (-14)/(-63). Suppose 3*y - 3*m = -18, -5*y + m + 2*m - 40 = r. Let b(l) = l**2 + 12*l + 16. Is b(y) even?
False
Let a(t) = 6*t. Let o(k) = 1. Let g(n) = -n - 5. Let p(c) = -g(c) - 4*o(c). Let y be p(3). Is 12 a factor of a(y)?
True
Let c be (78/(-15))/((-4)/10). Suppose 4*f = 0, 0 = r - 2*f + 4*f - c. Does 13 divide r?
True
Suppose 0*u - 12 = -4*u. Suppose -4*a = -8*s + u*s + 194, 4*s = -2*a + 176. Is s a multiple of 14?
True
Suppose -m = -6*m - 50. Does 12 divide m/55 - 708/(-22)?
False
Suppose 5*l - 585 = -5*k, 3*l = k + 4*k - 609. Is 6 a factor of k/9 - 1/3?
False
Suppose 210 = -0*m + 3*m - 3*d, -6 = -3*d. Suppose -116 = 4*x - 4*p, 3*x - 4*p + 92 = 2. Let b = x + m. Is 12 a factor of b?
False
Let n(b) = b**2 - 6*b + 3. Let y be n(7). Let o = y - -18. Is 14 a factor of o?
True
Let n = 9 - 5. Suppose -n*a - 2*h = -26, h + 2 = -a + 10. Suppose a*b = 2*j - 1, 3*j = -4*b + 15 + 21. Is j a multiple of 3?
False
Let c be 9/(-6) - (-21)/14. Suppose -8*s + 7*s + 56 = c. Is 11 a factor of s?
False
Suppose 0 = 91*v - 94*v + 633. Does 41 divide v?
False
Let i = -25 - -36. Is i a multiple of 5?
False
Let a(y) = 4*y - 1. Let z be a(1). Does 15 divide z*(4 - 3) - -12?
True
Let q(x) = x**2 - x + 2. Let m be q(-10). Let j = m - 80. Is 16 a factor of j?
True
Let k be -2*(-7 + -2) + 0. Suppose k = 3*q - 39. Suppose 0 = -2*i + 3*i - q. Does 11 divide i?
False
Let f(j) = -j**3 + j**2 + 2. Let m be (2/(-3))/(6/(-18)). Let s be f(m). Let b(o) = -6*o**3 - 2*o**2 - 4*o - 3. Is b(s) a multiple of 17?
False
Let w = -11 + 20. Does 4 divide w?
False
Let s(p) = -20*p. Let i = 1 - 2. Let k be s(i). Suppose 0 = -4*q + k. Does 5 divide q?
True
Let d(k) = -23*k**3 + 2*k**2 + 2*k - 1. Let r(f) = -22*f**3 + 3*f**2 + 2*f - 1. Let a(g) = -4*d(g) + 3*r(g). Let p = -1 + 2. Is a(p) a multiple of 13?
True
Let f = -63 - -28. Let r = f + 53. Is 9 a factor of r?
True
Suppose -3*a = -2*a. Suppose a*v = -5*v + 70. Does 14 divide v?
True
Suppose 8*z = 4*z + 16. Suppose -4*x = -0*x - 4*l - 112, -5*l - 117 = -z*x. Is 9 a factor of x?
False
Suppose -3*t = 6*t - 243. Does 23 divide t?
False
Let n(x) be the first derivative of 5*x**2/2 - 8*x + 3. Let v be n(8). Let t = v + -5. Is 9 a factor of t?
True
Let g = 13 - 8. Suppose g*m - 84 = 26. Is m a multiple of 22?
True
Suppose x - 6*x + 215 = 0. Let y = -23 + x. Let w = 34 - y. Is 14 a factor of w?
True
Suppose 178 + 29 = n + 2*p, -2 = -p. Is 7 a factor of n?
True
Let u be (-4 + -2)/((-6)/3). Let n(v) = 2 + 7*v + u*v**2 - 7*v. Is 7 a factor of n(2)?
True
Let w = 15 + -9. Let q(u) = -u**2 + 8*u - 5. Is q(w) a multiple of 5?
False
Let z(b) = 37*b + 42. Does 15 divide z(3)?
False
Let h(u) = -u**2 - 8*u - 5. Let g be h(-7). Does 3 divide (-30)/g*6/(-10)?
True
Suppose d - 108 = -3. Is d a multiple of 23?
False
Let x(w) = w**2 - 3*w - 2. Let n be x(4). Suppose -2 = -n*h - 0. Is (1 - h) + (1 - -4) a multiple of 4?
False
Does 16 divide 4/(-2)*6/12 + 257?
True
Let x(h) = -3*h + 4. Let s be 29/(-3) - (-3)/(-9). Let l be (-54)/10 + (-4)/s. Does 7 divide x(l)?
False
Suppose 0 = -5*r - 5*o + 60, 2*o = 4*r - 7*r + 36. Does 3 divide 45/r*(-16)/(-6)?
False
Let i be (-3)/6*(0 + 0). Suppose -q = -2*z + 178 + 58, 0 = -2*z + 5*q + 220. Suppose i*d = 4*d - z. Is 18 a factor of d?
False
Let h(y) = -y**2 - 4*y + 1. Let v be h(-6). Let g(n) = -n**3 - 12*n**2 - 13*n - 6. Is 8 a factor of g(v)?
True
Suppose -c - 260 = -4*y, -6*c = 3*y - 3*c - 210. Is 14 a factor of y?
False
Suppose 5*x - 43 = 117. Does 15 divide x?
False
Suppose -3*k + 9 = 5*p - 9, p = 0. Is 2 a factor of k?
True
Does 10 divide (-3)/(-1) - (-19 - -2)?
True
Let h = 216 + -102. Is h a multiple of 38?
True
Let r be (-1)/(-4) - (-94)/8. Suppose 3*s + s - r = 0. Suppose -s*m = 4*i + i - 191, -m + 157 = 4*i. Is i a multiple of 20?
True
Suppose 1713 = -5*c + 4*t, -5*c - 2*t - 1386 = -c. Is c/(-20) - (-1)/(-4) a multiple of 6?
False
Let b = -10 - -10. Suppose b = l + 2*l - 9. Is l a multiple of 3?
True
Let p = -5 + 5. Suppose -3*r = -p*r - 42. Does 6 divide r?
False
Suppose -34 = -4*c - 2*a, 3*a = a - 6. Does 5 divide c?
True
Let g(y) = 27*y - 2. Does 5 divide g(1)?
True
Let o = 131 + -77. Is o a multiple of 10?
False
Let s(i) = 69*i**3 + 3*i - 3. Does 7 divide s(1)?
False
Let i = 38 - 20. Is i a multiple of 6?
True
Let q(x) = 9*x**3 - 3. Let k(w) = -3*w**3 + 1. Let n(c) = -7*k(c) - 2*q(c). Let d be n(1). Suppose l = -d*l + 21. Does 7 divide l?
True
Let m(d) = -d**3 - 12*d - 9. Let v(f) = -f**3 - f**2 - 11*f - 8. Let k(w) = 6*m(w) - 7*v(w). Let l be k(-6). Let n = -5 + l. Is n a multiple of 2?
False
Suppose j + 2*y + 9 = 0, 3*y + 10 = 2*j - 0. Is j/5 - (-288)/15 a multiple of 14?
False
Let o = 30 - 10. Does 4 divide o?
True
Let n(o) = 16*o**2 + 2*o - 4. Is 23 a factor of n(-3)?
False
Let n be 1/((-30)/(-9) + -3). Suppose -s - 137 = -n*d, 227 = 5*d - 2*s + s. Does 14 divide d?
False
Let o = 67 - -13. Suppose 5*d = -25 + o. Does 5 divide d?
False
Suppose -4*g - 4*i = -124, i + 2*i + 81 = 3*g. Is 4 a factor of g?
False
Suppose 5*j - 319 - 521 = 0. Is 8 a factor of j?
True
Let m = 2 + 26. Is 7 a factor of m?
True
Suppose -5*s - 5*h + 75 = 0, 0 = 3*s - 5*h - 14 - 31. Let t be 30/(-4)*12/s. Let w = t + 18. Is w a multiple of 12?
True
Suppose 0 = -4*v - 2 + 26. Is 20 a factor of (76/(-6))/(v/(-27))?
False
Let k be 75/27 - 2/(-9). Suppose 2*o + 2*n - 8 = 0, -2*o - n = -k*o + 2. Suppose -o*s + 4*c + 69 = 2*c, -5*s = 5*c - 115. Does 13 divide s?
False
Suppose 3*l - 2*n + 3*n - 3 = 0, 0 = -3*l - 2*n + 6. Let m(o) = o + 3. Let q be m(l). Suppose -4 = -q*z + 11. Is z a multiple of 2?
False
Let h(k) = -k**3 + 4*k**2 + 7*k + 2. Let l(z) = -z**3 - 8*z**2 + 7*z - 13. Let v be l(-9). Is h(v) a multiple of 11?
False
Let m = -9 - -11. Suppose 3*s + 3*j = 30, s - 4 = -m*j + 4. Does 6 divide s?
True
Suppose 2*b +