Is o a multiple of 21?
True
Suppose 5*c = u - 6*u, -4*c + u = 0. Suppose 5*f + 2*k - 6*k - 10 = c, -4*k + 32 = 2*f. Is f even?
True
Let m(j) = -7*j + 1. Is m(-3) a multiple of 11?
True
Is 5/(-30) - (-1706)/12 a multiple of 19?
False
Suppose 2*t = 4*t - 202. Suppose 3*x - t - 58 = 0. Does 25 divide x?
False
Let a(k) = 9*k + 6. Let l(t) = -28*t - 18. Let u(v) = -16*a(v) - 5*l(v). Is u(-4) a multiple of 6?
False
Let u be 6/(-21) + 4/14. Suppose u = 2*c + c - 114. Is c a multiple of 15?
False
Let o = -4 + 7. Suppose -3 = -o*g - 0. Is 13 a factor of -1*-27*(0 + g)?
False
Let m(j) = -j - 1. Let p(f) = f**3 - 2*f - 1. Let x(i) = -m(i) - p(i). Suppose 4*r + 21 = -3*q - 0*q, 0 = -4*q - 12. Does 10 divide x(r)?
True
Suppose y - 4*y = -9. Let n be y + -3 + 0 + 2. Suppose o - 5*a - 38 = 0, -2*o - n*a = -32 + 4. Is 9 a factor of o?
True
Suppose 2*r + 0*r = 4, -r = -2*k + 362. Suppose 0 = 2*o + 3*n - k + 15, 3*o + 5*n - 253 = 0. Suppose 3*m = 4*l - 78, -4*l + 3*m = -m - o. Is 7 a factor of l?
True
Let d = 44 + -18. Does 13 divide d?
True
Let n(d) = -d**3 - d**2 + 3*d + 2. Let b be n(-2). Suppose -4*z + 8 + 20 = b. Is 7 a factor of z?
True
Let h = 38 - -40. Suppose 3*b = -3*y + h, -2*y + 134 = 2*y - 2*b. Does 15 divide y?
False
Let m(t) = -t**3 + 4*t**2 - 6*t - 3. Let c(w) = 5*w**3 - 17*w**2 + 25*w + 13. Let q(s) = -2*c(s) - 9*m(s). Let i be q(-3). Is (-4)/6*39/i a multiple of 9?
False
Suppose 28 = 3*u - u. Let t(y) = 2*y**2 + 3*y - u + 2*y**2 + 13. Is 24 a factor of t(-3)?
False
Let w(j) be the first derivative of 3 + 1/2*j**4 + 1/3*j**3 + j + j**2. Does 19 divide w(2)?
False
Let z = 20 - -4. Does 6 divide z?
True
Let i(a) = a**3 + 13*a**2 + a + 17. Is 34 a factor of i(-8)?
False
Suppose 3*x = -4*w + 8*w + 8, 16 = x + 2*w. Is x a multiple of 4?
True
Suppose -2*o = -n + 2*o + 17, -5*n = 3*o - 85. Suppose 5*v + 8 = 5*i - 57, 2*i - n = 5*v. Does 16 divide i?
True
Let j(g) = -6*g**2 + 10*g + 5. Suppose 3*n - a - 11 = 10, 24 = 3*n - 2*a. Let z(t) = -7*t**2 + 10*t + 5. Let y(r) = n*j(r) - 5*z(r). Is y(8) a multiple of 7?
True
Let l = 75 + 18. Does 17 divide l?
False
Is 20 a factor of (2 + (-66)/4)*-2?
False
Suppose 0*r - r + 27 = 0. Is 12 a factor of r?
False
Let v(u) = -7 - 4*u + 4*u - u. Let x be v(-4). Does 9 divide (-35)/x + (-6)/9?
False
Let y(q) be the first derivative of q**4/4 - q**3/3 - q**2/2 - 5*q - 4. Let k be y(0). Let c = 1 - k. Is c even?
True
Suppose 0*c - 3*c + 168 = 0. Suppose q = -4*s + 43, -3*s - 2*s + c = 2*q. Does 3 divide s?
False
Suppose -4*t + 488 = 5*j, 3*j + 3*t - 91 = 2*j. Is 20 a factor of j?
True
Is (-180)/(-25) - 4/(-5) a multiple of 8?
True
Let k(o) be the third derivative of -o**5/60 + o**4/4 - 2*o**3/3 + o**2. Let v be k(4). Suppose -3*q - 107 = -4*j - v*q, 4*j + 4*q = 116. Does 11 divide j?
False
Is 115 - (-4 + -21)/(-5) a multiple of 11?
True
Let k be -75*2*(-2)/4. Suppose 6*l = l + k. Does 11 divide l?
False
Suppose 5*z - 19 = 1. Let f = z + 20. Is f a multiple of 14?
False
Let z = 7 + 5. Let r be 1/2*(-4 + 42). Let m = r + z. Is 10 a factor of m?
False
Suppose -10*g + 6*g = -104. Does 13 divide g?
True
Suppose -s - 13*s + 84 = 0. Is 3 a factor of s?
True
Let y = -7 - -9. Suppose -q = 5*o - y*q - 50, -34 = -o + 5*q. Does 6 divide o?
False
Suppose 3*u + 1 = -5, -2*u - 274 = -5*f. Suppose -t + f = -0*t. Does 22 divide t?
False
Let p(y) = y**3 + 3*y**2 + 3*y + 3. Let c be p(-3). Let d(h) = h**2 + 5*h - 8. Let t be d(c). Is 1 + 10/2 + t a multiple of 2?
True
Suppose -3*y + 11 = -97. Does 6 divide y?
True
Let l = 223 + -111. Does 14 divide l?
True
Suppose 8*f - 200 = 4*f. Does 8 divide f?
False
Let u(r) = -r**3 - 7*r**2 - 5*r. Let d be u(-4). Let f = -7 - d. Is f a multiple of 9?
False
Suppose 3*q + 4*t = 1075, 3*t - 4*t - 702 = -2*q. Is q a multiple of 12?
False
Suppose -4*w - 2*s = -270, 4*w + 0*s = -3*s + 265. Is 8 a factor of w?
False
Suppose 2*n - 6 = -0. Suppose 59 = u - n. Is 30 a factor of u?
False
Let i = 137 - 72. Is i a multiple of 34?
False
Let y be (-2)/(-3)*(-2 + -1). Let a(u) = -u**3 + u**2 - u + 1. Let h be a(0). Let p = h - y. Is p even?
False
Let y = -107 + 252. Suppose 4*r - 51 = y. Does 21 divide r?
False
Suppose -22 = -5*x + 3*i, -4*i - 12 = 2*x - 0*x. Let s(c) = 3*c + 2. Is 4 a factor of s(x)?
True
Is 6 a factor of (-19)/57 - 68/(-6)?
False
Suppose 4*c = -0*c. Suppose -2*p + 4*q + 1 + 1 = 0, 5*p - 2*q - 21 = c. Is p a multiple of 5?
True
Let m = 3 - -1. Let y = m + 1. Is 4 a factor of y?
False
Suppose 4*d = 5*x + 154 + 221, 3*x = 5*d - 472. Is d a multiple of 19?
True
Suppose 0 = -2*q + 58 + 18. Does 11 divide q*(0/(-2) - -1)?
False
Suppose 4*m = -5*b - 3, 13 = -4*m + 3*b + 2*b. Does 7 divide (-9)/6*(m - 12)?
True
Let j be (2/(-4))/(2/(-4)). Let i = 1 + j. Let k = i + 8. Is k a multiple of 10?
True
Does 8 divide 34 - (-4)/(-2 + 0)?
True
Let y = -6 - -10. Is 15*1 - (7 - y) a multiple of 12?
True
Let r(n) = n**2 - 3*n + 3. Does 5 divide r(5)?
False
Let s(h) = 19*h - 1. Suppose -2*d - 2*d + 4 = 0. Is s(d) a multiple of 9?
True
Suppose -12 - 103 = -5*o. Does 11 divide o?
False
Is 19 a factor of 20/2*45/18?
False
Let c(q) = 14*q**2 + 31*q - 34. Let y(a) = 5*a**2 + 10*a - 11. Let j(d) = -6*c(d) + 17*y(d). Is j(15) a multiple of 2?
True
Let b(g) = 25*g + 5. Is b(4) a multiple of 7?
True
Let s(p) = 0*p**2 - 2*p - 2*p**2 + 6*p**2 - 1. Let a = 9 + -6. Is 11 a factor of s(a)?
False
Let y be (2 + 4)*1/3. Let v be y/(-10) - 20/25. Is (0 - (-14 - v))*4 a multiple of 21?
False
Suppose 10*n - 54 = 8*n. Is n a multiple of 27?
True
Let s(r) = -2*r**2 + 3 - 1 + 4*r**2 + 5*r. Suppose 3*x + 5*k = -9, k - 5*k = 0. Does 4 divide s(x)?
False
Let g = -6 + 10. Suppose g*c - 631 = -155. Suppose -b = 3*k - c, -4*b = 11 + 5. Is k a multiple of 20?
False
Suppose w = -2 - 6. Let r = w + 11. Suppose 0 = -0*x + 3*x + 5*o - 45, r*o = -3*x + 39. Is 10 a factor of x?
True
Suppose -5*p + 90 = 2*a, 5*p - 4*a = a + 125. Suppose 0 = -h - 3*h. Suppose -p = -h*x - 2*x. Does 4 divide x?
False
Does 27 divide (9/(-12))/(2/(-72))?
True
Let u(l) = -4*l - 6. Let d be u(-4). Suppose d = p + p. Suppose -p*o + 168 = -o. Does 18 divide o?
False
Let j be (7 + -6)/((-2)/(-4)). Let o = 32 - 4. Suppose -j*m = -k + 3, 3*k + 3*m = o + 17. Is 5 a factor of k?
False
Let n be -1 + (1 - 1) + -1. Does 13 divide 37 - (n + 2 + 3)?
False
Is 10 a factor of 32/(-12)*-4 - (-2)/(-3)?
True
Suppose -3*j + j = 0, 0 = -3*y + 5*j + 312. Is 17 a factor of y?
False
Suppose 1 = z - 6. Is z a multiple of 7?
True
Let p = 297 + -155. Does 19 divide p?
False
Suppose -90 = -v - v + 2*a, v = 3*a + 47. Is 11 a factor of v?
True
Suppose 13 = 3*s + 1. Suppose 0 = -s*x + 2*v + 16, -3*v - 10 = -2*x + 3*x. Is 2 a factor of x?
True
Let r be (-2)/(-8)*2*0. Let o = r + 6. Suppose 0 = o*x - 2*x - 108. Does 11 divide x?
False
Let w = 118 - 88. Is 3 a factor of w?
True
Let s = 108 + -49. Is 13 a factor of s?
False
Let d = -29 - -63. Suppose -8*w + 4*w - 2*f + d = 0, -2*w - 3*f + 7 = 0. Does 11 divide w?
True
Suppose -4*u + 192 = 4*k, -3*k + k + 5*u = -75. Does 9 divide k?
True
Suppose n = -r + 2*r - 104, 20 = 5*n. Is r a multiple of 12?
True
Suppose 5*k + c = -0*c + 68, 4*c = -2*k + 20. Is 7 a factor of k?
True
Suppose 5*x + 133 = 4*b, -x - 2*x = 2*b - 61. Does 6 divide b?
False
Suppose 3*h + h = -3*y + 44, 5*h + 5*y = 55. Does 7 divide h?
False
Let t be (459/12)/(3/8). Suppose 5*r - t - 78 = 0. Is 14 a factor of r?
False
Suppose 3*q + 8 = 2*t + 2*q, -2*q - 8 = -2*t. Is 7 a factor of (1 - -13)*12/t?
True
Does 9 divide (-20)/15*(-81)/6?
True
Let c(z) = z + 8. Is c(5) a multiple of 7?
False
Suppose -4*v = -4*z + 80, 4*v - 4 = -0. Is 4 a factor of z?
False
Let b(o) = 2*o**2 + 3*o + 2. Let g be b(-2). Suppose 2*s - 28 = -0*t - 3*t, 0 = 2*t + g. Does 7 divide s?
False
Let f(a) = -a**3 + 10*a**2 - 7*a - 12. Let s be f(9). Is 10 a factor of 2/(s/99) + -3?
True
Let l(t) = -t**3 - 7*t**2 + 6*t - 5. Let o be l(-7). Let y = o - -75. Does 10 divide y?
False
Let r = 65 - 30. Is 3 a factor of r?
False
Suppose -d = -3*h + 8*h - 11, -5*h - 1 = 4*d. Suppose h*y = -2*m + 7, -4*m + 0*m - 4*y + 8 = 0. Does 9 divide (-3)/((-9)/(-60)*m)?
False
Suppose -3*v + 38 = 5*n, 2*n - 3*v - 22 = n. Does 3 divide n?
False
Let c(k) = -2 - 2*k**3 + 5*k**2 + k**3 + 4*k - 3*k. Is 18 a factor of c(4)?
True
Let b(r) = -r**3 + 4*r**3 + 4*r