s 2 a factor of p?
True
Let o = 71 - 38. Is 24 a factor of o?
False
Let r be 3/(-6)*(-2 + -10). Suppose -2*g = -r*g + 16. Suppose -12 = -0*c - g*c. Is 2 a factor of c?
False
Suppose 5*a - 3*a = 14. Let p(t) = t**3 - 7*t**2 + 6*t - 10. Let r be p(a). Suppose r = g + g. Does 13 divide g?
False
Let f(x) = 3*x**2 - x. Let m be f(-1). Suppose -m*z - 2*g = -58, -5*g = 3*z - 5*z + 11. Is z a multiple of 5?
False
Let c = 86 - 59. Is 9 a factor of c?
True
Let i(n) = -1. Let z(f) = f - 30. Let j(w) = 3*i(w) - z(w). Is j(0) a multiple of 9?
True
Let i(d) = -d**3 + 6*d**2 - 4*d - 7. Let z be i(5). Is 21 a factor of (-128)/z + 6/(-6)?
True
Let k = -48 - -51. Suppose 3*r = 23 - 8. Suppose -r*m + 57 = 2*p, -k*m + 14 = 4*p - 9. Is 9 a factor of m?
False
Let z = -135 - -293. Suppose z = d - 5*g, -4*g = 5*d - 9*g - 810. Suppose 4*x - d - 9 = 0. Is x a multiple of 12?
False
Let b(u) = 3*u + 3. Let y be (3/(-2))/(6/(-12)). Is 3 a factor of b(y)?
True
Let h be 14/(10/(-15)*-3). Let f(c) be the first derivative of c**3/3 - 3*c**2/2 - 7*c + 1. Does 7 divide f(h)?
True
Suppose 8*u - 5*u = 78. Does 13 divide u?
True
Suppose -u - 300 = -6*u. Let b = u + -32. Does 14 divide b?
True
Let i be 1/((-2)/(-30)) + 4. Let w(j) = -4*j. Let c be w(1). Let f = i + c. Is f a multiple of 13?
False
Let g be 6/(-24) - (-3)/(-4). Let k(u) = u**2 + 17*u + 4. Let l(b) = -b - 1. Let d(t) = g*k(t) - 3*l(t). Does 12 divide d(-6)?
False
Let t = -6 + 5. Let k = t - -3. Suppose -2*p = k*p - 72. Does 18 divide p?
True
Let g(t) = 2*t**2 - 3*t - 6. Is 18 a factor of g(7)?
False
Does 25 divide 14/35 - 796/(-10)?
False
Suppose 0 = 4*f, z - 5*f + 2 = 17. Is z a multiple of 6?
False
Let p = -2 + 3. Let u(f) = 7*f - 3 - p + 3*f**2 + 2. Is 17 a factor of u(-5)?
False
Suppose y - 10 = -5*b + 3, 3*b + 6 = 4*y. Let h(w) = w**2 - 2*w + 3. Let a be h(2). Suppose 0 = 5*d - 5, -a = 3*i + y*d - 51. Is i a multiple of 11?
False
Let h = -3 + -1. Let k = -3 - h. Does 15 divide -3 - (-34 + k) - 3?
False
Let c = 43 - 8. Is c a multiple of 7?
True
Let r = 8 - -32. Is r a multiple of 10?
True
Let o(p) = 3*p - 2. Let s be o(9). Let y(x) = -x**2 - 4*x - 2. Let f be y(-3). Suppose c - s = -f. Does 13 divide c?
False
Suppose 4*z - 265 = -5*t, z + 271 = 5*z + 3*t. Is 10 a factor of z?
True
Let g(q) = -2*q - 2. Let s(i) = -22*i - 22. Let y(v) = -68*g(v) + 6*s(v). Does 18 divide y(8)?
True
Let j be 6*1 - 6/6. Suppose 4 = j*a - 36. Suppose -2*u + 14 = 2*n - 5*u, a = 2*u. Is 7 a factor of n?
False
Suppose -10*y + 9*y = -30. Is y a multiple of 10?
True
Let p = -12 - -59. Does 7 divide p?
False
Let v(j) be the third derivative of j**5/60 - 5*j**4/24 - j**3/6 + 9*j**2. Suppose -3*a = 5*c - 4*a - 31, 0 = -3*c + 3*a + 9. Is v(c) a multiple of 10?
False
Suppose -2*i + 126 = 4*r, -r - 3*i + i = -36. Does 20 divide r?
False
Suppose 4*h + 2*g + 138 = -0*g, 3*h + 114 = 2*g. Let c be 8/6*h/(-1). Suppose 0*j = 2*j, -4*j + c = 3*n. Does 8 divide n?
True
Suppose -4*j + 5*l + 144 = -11, -166 = -5*j - 3*l. Is 10 a factor of j?
False
Suppose -2*t + 4*x - 9 = -39, -4*x + 15 = t. Is t even?
False
Suppose -222 = -2*z - 4*z. Is z a multiple of 17?
False
Suppose -297 - 199 = -8*t. Is 20 a factor of t?
False
Let m = 21 + -18. Suppose 0 = -f + 2*g + g + 84, -m*f - 5*g = -224. Does 26 divide f?
True
Let g(s) = -6*s - 2. Let j be g(-4). Suppose j = 5*h + 3*r, -r - 10 = -h - 3*r. Is 2 a factor of h?
True
Let d(x) = 3 - 7*x - x**2 - x - 5. Suppose -5*s - 33 = 4*j, 2*j + 0*j + 11 = 3*s. Does 3 divide d(j)?
False
Suppose 0 = -6*w + 41 + 511. Is 17 a factor of w?
False
Let o be (9/3)/3*5. Suppose -o*u + 25 = 0, 5*k - 3*u = -6*u + 90. Is k a multiple of 5?
True
Let t = -5 - -8. Suppose 2*r = -t*r. Suppose -70 = -4*j + 5*x, 3*j + 5*x - 35 = -r*x. Is j a multiple of 15?
True
Let f(x) = 5*x - 1. Let o be f(-2). Let p = o - -11. Suppose p = 2*c - 95 + 15. Is 14 a factor of c?
False
Suppose 0*k - 5*l - 402 = -2*k, 0 = -5*k - 2*l + 1063. Suppose -2*i - 2*i + k = j, -74 = -i + 4*j. Does 13 divide 1/(-2) - i/(-4)?
True
Let u(g) = 14*g**2 - 32*g - 12. Let q(h) = 5*h**2 - 11*h - 4. Let l(c) = -11*q(c) + 4*u(c). Let x be l(8). Suppose 85 = x*f + f. Is 17 a factor of f?
True
Is 6 a factor of -5*(22/(-5) - 4)?
True
Suppose 47 = 4*x + 3*o, 7*o + 10 = 9*o. Is x even?
True
Let l be 6/27 + 25/9. Is 298/4 - l/6 a multiple of 20?
False
Let q be -3*1/4*8. Let c = 8 + q. Suppose -5*j + c*j + z = -81, 3*j + 5*z = 99. Is j a multiple of 14?
True
Suppose -70 = -5*n + 115. Is n a multiple of 23?
False
Let a(m) = 5*m**3 + 10*m**2 - 12*m + 2. Let k(l) = l**3 - l + 1. Let b(f) = a(f) - 6*k(f). Is b(9) a multiple of 11?
False
Let d(v) = -v + 4. Let y(g) = g - 5. Let i be y(10). Let w be d(i). Is 3 a factor of (-18)/(-4)*(-2)/w?
True
Suppose -2*y + 2*t = y - 12, -3*t + 33 = 4*y. Suppose -3*m = -r - y, 5*r - m - 6 = 2*m. Is (r/6)/((-4)/(-24)) a multiple of 2?
False
Let q = -20 - -76. Suppose -5*d = -6 + 1, 0 = -p - 2*d + 16. Let y = q - p. Is y a multiple of 15?
False
Is 27 a factor of (225/(-20))/(2/(-24))?
True
Let u be 2*2/4*-5. Let n be (-5)/u - (-76)/2. Let l = 3 + n. Is 14 a factor of l?
True
Let a be -7*(-1)/2*2. Suppose -2*z + a*z = 130. Is 26 a factor of z?
True
Let w(j) = -7*j - 23. Is 3 a factor of w(-5)?
True
Let j(y) = 5*y + 2. Let i be j(6). Suppose 2*t = 60 + i. Is 18 a factor of t?
False
Let w(k) = k**2 - 9*k + 7. Does 15 divide w(10)?
False
Let l = -1 + 1. Let o(h) = h**2 - h + 30. Is o(l) a multiple of 12?
False
Let d = -23 - -81. Let v = -19 + d. Does 10 divide v?
False
Let s(m) = m**3 - 3*m**2 - m - 5. Suppose 5*x - 1 = 19, -5*b - 3*x = -37. Is s(b) a multiple of 20?
True
Let h = 8 - 3. Let i = 8 - h. Suppose -i*j + 65 = 2*j. Does 12 divide j?
False
Suppose 0*k - 8 = -k. Let v(c) = c - 6. Let q be v(8). Suppose -k = -q*y - 0*y. Does 4 divide y?
True
Let k(q) = -5*q**2 + 3 - 5*q - 5 + 1 + q**3. Let z be k(6). Suppose -z*o = -0*o - 50. Does 4 divide o?
False
Suppose 2*c = 6, 0 = 4*a + c - 111 - 56. Is 6 a factor of a?
False
Is 3598/56 + 2/(-8) a multiple of 8?
True
Suppose -3*l = -3*u + 8*u - 40, -2*l = 4*u - 32. Let d be 8/5 + u/20. Suppose -6 = -2*q + d. Is q a multiple of 3?
False
Let g be (-4)/2 + (-60)/(-12). Suppose -33 = -g*x - 6. Is x a multiple of 9?
True
Suppose 2*c - c - 210 = 0. Suppose -4*u = u - c. Suppose k = -k + u. Does 10 divide k?
False
Let k(s) = 36*s - 7. Let m be (-21)/6 + 3/(-2). Let g be k(m). Let z = -127 - g. Is 22 a factor of z?
False
Let i(g) = -g**3 + 6*g**2 + 8*g + 8. Let r be i(7). Suppose -3*y + 3*z = r, -2*y + 0*z + 15 = 3*z. Suppose y = 5*b, 0 = 4*c - b - 0*b - 80. Does 10 divide c?
True
Let a(i) be the first derivative of -i**2 - 1. Let x(w) = 2*w + 5. Let r be x(-6). Is a(r) a multiple of 6?
False
Let a = 1 - 0. Let c = a - -3. Suppose 0 = 4*p - 28 - c. Is p a multiple of 4?
True
Is 6 a factor of (-1)/((-644)/(-658) - (-1 - -2))?
False
Does 6 divide (132/22)/((-6)/(-88))?
False
Let u(g) = g**2 - 2*g - 4. Let w be u(4). Suppose 3*m + 2*m + 27 = w*a, -3*a = -2*m - 15. Suppose -3*p + a*f - 2*f = -33, 2*p = 3*f + 15. Does 12 divide p?
True
Is (190/20)/(1/10) a multiple of 11?
False
Suppose 2*t + 2*t = 0. Suppose -4*m + 7*m - 15 = t. Suppose -k - 125 = -m*n, -k + 3*k - 114 = -4*n. Is n a multiple of 17?
False
Let q = 102 - 44. Does 11 divide q?
False
Suppose -3*r + 7*r = 0. Suppose 3*j + u - 54 - 39 = 0, 2*j - 2*u - 54 = r. Does 22 divide j?
False
Let g(v) = 15*v + 3. Suppose 0*b + b - 4 = 0. Is 14 a factor of g(b)?
False
Suppose 5*g + 635 = -85. Is 10 a factor of 2/9 + (-2848)/g?
True
Let m(n) = n + 3. Is 12 a factor of m(9)?
True
Suppose 3*d + 3*d = 360. Is d a multiple of 15?
True
Let l = 85 - 51. Suppose 2*f + 0*f = 36. Let m = l - f. Is m a multiple of 8?
True
Suppose -4*z - 2*v - 30 = -176, v = 2*z - 67. Suppose 0 = 2*a - g - 3*g - 16, 5*a + 2*g = 4. Suppose -a*w + 9 = -z. Is w a multiple of 11?
True
Suppose 6*j - 4 = 20. Suppose 2*u = -7*n + 2*n + 144, 5*n + j*u = 138. Is n a multiple of 10?
True
Let a(c) = -2*c**3 + 4*c**2 + 4*c - 6. Let v be a(4). Let l = v - -93. Does 13 divide l?
True
Let o = 3 - 0. Is 16 a factor of (-32)/((o + -2)*-1)?
True
Suppose -1 = b - 2, -b - 74 = -5*w. Is 8 a factor of w?
False
Is (-36)/54*-11*3 a multiple of 17?
False
Let a(q) = 3*q**2 - 6*q + 4. Does 12 divide a(5)?
False
Suppose -t + 78 = 4*i, -