, -a - 3*u = a - 12. Let g(q) = 15*q + 10. Is g(a) a multiple of 31?
False
Let c be (-1 - -2 - 0)/(2/(-106)). Let b = c + 75. Does 5 divide b?
False
Suppose 25 = -5*o, 2*o + 1435 = 8*l - 3*l. Let s = l + -156. Suppose 5*j = -3*m + 127, 7*j + m = 2*j + s. Does 6 divide j?
False
Suppose -7*s = -10*s. Suppose -4*i - 2 - 26 = s. Is 7 a factor of i*(0 + 0 + -1)?
True
Let a(j) = -28*j - 15. Let p be a(-3). Suppose d = p + 32. Does 10 divide d?
False
Let c(f) = 2*f**2 - 3*f + 24. Suppose -6*x = -50 + 8. Is 38 a factor of c(x)?
False
Let a(l) = -l**3 + 3*l**2 + l. Let h be a(3). Suppose 0 = -5*p + h*y + 1414, 4*p = -y - 2*y + 1142. Is ((-6)/(-12))/(2/p) a multiple of 26?
False
Let k = -734 - -766. Is 9 a factor of k?
False
Let k(g) = g + 1. Let q(i) = 34*i + 10. Let b(p) = -20*k(p) + 2*q(p). Is 12 a factor of b(1)?
True
Let d(u) = 127*u - 211. Does 5 divide d(13)?
True
Let l = 14 - 16. Let c be (-486)/(-10) - l/5. Let n = c - 7. Does 11 divide n?
False
Let n be 4*(-2)/(-8)*2. Let m be n - 1 - 1/1. Suppose 14 + m = w. Does 8 divide w?
False
Let b = 1693 + -1325. Is 46 a factor of b?
True
Let k(l) = 47*l + 1. Let x(w) = -1. Let i(s) = 71*s - 3. Let c(p) = -i(p) + 4*x(p). Let t(m) = 5*c(m) + 7*k(m). Is t(-1) a multiple of 28?
True
Suppose 56499 = 117*h - 19551. Is h a multiple of 14?
False
Let y(r) = -r**2 + 11*r - 1. Let p be y(11). Does 19 divide p/8 + (-3647)/(-56)?
False
Does 6 divide 3 + -8 - (1 - 601)?
False
Suppose 104*m - 66 = 98*m. Does 6 divide m?
False
Let g = -6 - 59. Let j = 54 - g. Does 15 divide j?
False
Let v(p) = 20*p + 37. Is v(5) a multiple of 43?
False
Suppose 21*p = 24*p - 975. Does 12 divide p?
False
Let o(r) = 458*r + 19. Is 16 a factor of o(1)?
False
Let v(w) = 10*w**3 - 2*w**2 + 2*w - 1. Let y be v(1). Suppose 0 = -8*l + y*l - 47. Is 10 a factor of l?
False
Let g = 64 - 32. Let w = g + -21. Suppose -4*u + 41 = f, 0 = u + 5*f - w - 4. Does 10 divide u?
True
Let z(h) = -h**2 + 19*h - 1. Let y(b) = -b**2 + 20*b. Let w be (-8)/(-4) + 1 - 8. Let g(l) = w*y(l) + 6*z(l). Is g(8) a multiple of 20?
False
Let k = -15 + 18. Let u(i) = 3 - 1 - 6 + 6*i - k*i**2 + i**3. Does 21 divide u(5)?
False
Let d be (-12)/9*(-91 - 5). Suppose 46 = 5*q + x - 561, 0 = -q + 2*x + d. Is 11 a factor of q?
False
Let q(a) = -1652*a - 157. Is 21 a factor of q(-1)?
False
Suppose -y + 3*x = -629, -4*y - 5*x + 1287 + 1144 = 0. Does 8 divide y?
False
Suppose 0 = 4*s + 2*l + 60, -s + 2*l = -l + 15. Suppose 4*f - 24 = 8. Does 2 divide (f/10)/((-6)/s)?
True
Is (4 + (-112)/42)/((-2)/(-180)) a multiple of 30?
True
Let w(f) be the second derivative of -5*f**3/3 + f**2/2 - 8*f. Does 14 divide w(-8)?
False
Suppose 2*i - 776 = 2*b, 5*b - 2*b = -3*i + 1194. Suppose i = 4*w + 101. Let g = w + -36. Is g a multiple of 10?
False
Let m(j) = j**2 + 3*j - 2. Suppose 20 = 19*k - 23*k. Let z be (k/(-3))/((-2)/(-6)). Does 19 divide m(z)?
True
Let n(m) = 3*m**3 + m**2 - 3*m + 2. Let y(z) be the second derivative of -z**5/20 - 7*z**4/12 - 5*z**3/6 + 4*z**2 - 3*z. Let d be y(-6). Is 12 a factor of n(d)?
True
Let p(q) be the first derivative of q**4/4 + 3*q**3 - q**2/2 + 9*q + 2. Is p(-9) a multiple of 7?
False
Suppose -5*g + 2354 = -0*g + 4*u, 3*u - 1413 = -3*g. Is g a multiple of 33?
False
Does 22 divide 8/((-13)/((-39)/2))*81?
False
Suppose 0 = -2*x, 3*x = -3*t + 4*t - 87. Is t a multiple of 10?
False
Let y(t) be the first derivative of -23*t**2/2 + t - 4. Let n be (-4)/(-6)*(-3)/2. Does 21 divide y(n)?
False
Let o(h) = 10 - 2*h**3 + 13 - 2*h**2 + 14*h**2 + h**3. Is 7 a factor of o(12)?
False
Let q(i) = 119*i + 1. Suppose 2*h = -0*h + 2*j - 8, -2*h - j + 7 = 0. Does 15 divide q(h)?
True
Let u be (34/3)/((-8)/(-12)). Suppose 5*o - 2*x - u = 0, -2*o = -3*x - 2 + 4. Suppose o*n = -6 + 71. Is n a multiple of 7?
False
Suppose 6 = 3*r, 0 = -4*d + 2*r + 45 + 195. Let o = d + 13. Suppose -3*i - o = h - 5*h, i = 2*h - 36. Is 3 a factor of h?
False
Let v be ((-60)/(-10))/(1*2). Suppose 5*z + 3*n - 13 = 19, 4 = z + v*n. Suppose -z - 183 = -5*a. Is 8 a factor of a?
False
Let z = -219 + 376. Is 9 a factor of z?
False
Suppose 15*b - 6589 - 341 = 0. Is 11 a factor of b?
True
Let a be (-14)/(-77) - 1140/(-22). Suppose -i + 6*c - c + 13 = 0, 3*c + a = 4*i. Is 10 a factor of i?
False
Let z(m) = 2*m**2 + 5*m + 2. Let c be z(-2). Suppose s + c*s = 0. Suppose -5*n = -s*n - 15. Is 2 a factor of n?
False
Let v = 619 + 487. Does 14 divide v?
True
Let g = 96 - 44. Let t = 129 - g. Let l = -53 + t. Is 10 a factor of l?
False
Suppose -t - 2*w = 23, -5*t + 32 = -3*w + 82. Let h = t - -19. Suppose j = h*j - 55. Does 7 divide j?
False
Let v = 4 + -1. Let a be (-2)/8 + 30/(-8). Does 7 divide (v - a)/(2 - 1)?
True
Let z be (0 - 0)/(27/(-9)). Is 15 + 3*(z - -1) a multiple of 9?
True
Is -4109*((-62)/(-28) - (-35)/(-14)) a multiple of 9?
False
Let v(u) = 7*u**2 - 9*u - 1. Let y(z) = 3*z**2 - 4*z - 1. Let l(s) = 4*v(s) - 9*y(s). Does 11 divide l(4)?
False
Let a(p) = 9*p**3. Let c be a(2). Suppose -3*k + c = 18. Is k a multiple of 8?
False
Suppose -82*z + 76*z + 504 = 0. Is z a multiple of 28?
True
Suppose -21 = 93*u - 94*u. Let m = 3 + u. Does 24 divide m?
True
Let a(l) = -l**2 + 4*l + 12. Suppose 0 = s - 4, 2 = 2*k - 4*s + 8. Let i be a(k). Suppose -2*n - 165 = -i*n. Does 11 divide n?
True
Suppose -6 = 4*h + 2*u + 10, 3*h = 3*u - 12. Is 4 a factor of (-1)/h - 111/(-4)?
True
Suppose -s = -2*g - 9, 5*s = 5*g - 0 + 20. Let h(r) = -r - 3. Let t be h(g). Is t/(2/21 + 0) a multiple of 21?
True
Let q(u) = -u**3 - 4*u**2 + 3*u - 8. Let o be q(-5). Suppose 5*v + 146 = o*w, -2*v + 5*v = -3*w + 240. Does 14 divide w?
False
Suppose 17*r - 13*r - 16 = 0. Is r + -5 + (-3 - -178) a multiple of 29?
True
Let t = 15 + 599. Is 52 a factor of t?
False
Let d(b) = b**3 - 7*b**2 - 2*b + 11. Let u(x) = -1. Let n = -1 + -3. Let o(h) = n*u(h) - d(h). Does 15 divide o(5)?
False
Suppose -2*q + 6 = 4*c, -2*q + 6 = -4*q. Let s = 56 - 57. Is 13 a factor of (c + s - 0) + 32?
False
Suppose 0 = -3*l + 5 - 29. Let i be (4 + (-1 - (-1)/2))*-4. Let n = l - i. Is n a multiple of 4?
False
Suppose -2*t + 42 = -9*t. Does 19 divide -1 - -156 - -2*(-5 - t)?
False
Let o(t) = 2*t**3 + 17*t**2 + 35*t + 12. Let w(u) = u**3 + 8*u**2 + 18*u + 6. Let r(z) = 6*o(z) - 11*w(z). Is 3 a factor of r(-13)?
False
Suppose -3*g - 7 + 1 = -3*a, 3*g - 5*a + 16 = 0. Suppose 5*f - 10 = -2*x + 2*f, 11 = x + g*f. Let j = 67 + x. Does 17 divide j?
False
Let k be ((-114)/(-24) - 1) + (-1)/(-4). Suppose 0 = h + k*l - 29 - 83, 76 = h - 5*l. Is h a multiple of 16?
True
Does 13 divide ((-74)/(-148))/(2/1604)?
False
Let y(c) = -24*c + 47. Is 7 a factor of y(-3)?
True
Does 35 divide 3*(-152)/(-1) - 4/1?
False
Let i = -316 + 346. Is 10 a factor of i?
True
Let w(a) = 12*a + 5 + a**2 + 0 + 11 - 20*a. Is 9 a factor of w(7)?
True
Suppose 0 = -3*d - 25*d + 20328. Is 33 a factor of d?
True
Suppose 6*s = -3*s + 63. Suppose 4*t - 713 = v, -4*t - 2*v + s*v + 733 = 0. Does 35 divide t?
False
Suppose -6*w + w = 30. Let f be (-5)/3 - w/(-18). Is 4 a factor of 6/2 - 14/f?
False
Let j(i) = -i**2 + 7*i + 4. Let r be j(7). Suppose -r*n - 133 = 163. Let s = n - -142. Is s a multiple of 21?
False
Does 21 divide (-1884)/(-8)*(-18)/(-27)?
False
Let m be 1*(-4 - (4 - 6)). Let o be 115/46 - (-3)/m. Is 13 a factor of o + -4 - -78 - -3?
True
Suppose -5*k + 19 + 51 = 0. Suppose 2 = 4*v - k. Suppose 5 = v*l - 103. Is 27 a factor of l?
True
Suppose -4*j + 3*j = 4*u - 416, -3*j = -u - 1183. Is 9 a factor of j?
True
Let c be 52/12 + 10/15. Suppose -680 + 210 = -c*i. Does 31 divide i?
False
Let b(g) = -16*g**3 + 4*g**2 + 3*g - 3. Let s be b(-2). Suppose -4*n - n = -s. Is n a multiple of 9?
True
Suppose y - 6 - 17 = 0. Does 6 divide y/(-69) + (-73)/(-3)?
True
Let c be 58/6 - (-3)/9. Suppose -7*l + 2*l + c = 2*i, i - 5 = -l. Suppose l = -2*o + 3*o - 33. Is o a multiple of 11?
True
Suppose -9*b = -5*b + 4. Is 16 a factor of 3674/55 + b/(-5)?
False
Suppose -z + 1 = -i, 3*z + 5*i - 10 = -39. Let q(t) = 21*t + 6. Let p(w) = -14*w - 4. Let x(c) = -7*p(c) - 5*q(c). Is 7 a factor of x(z)?
False
Let i(q) = -4*q - 1 - 3 - 3*q**2 + 0*q + 4*q**2. Is i(-4) a multiple of 4?
True
Let i = 5 + 0. Let n(y) = 5*y + 1. Is 13 a factor of n(i)?
True
Suppose -3*w - 4*p + 2048 = 0, 2*p = w + 3*w - 2694. Does 13 divide w?
True
Let d be (-4)/(-1