q - 124 = 0, 0*q - 4*q - 64 = -2*t. Is t a multiple of 15?
False
Does 5 divide (12/8)/((-6)/(-38))*2?
False
Let g(v) = -v**2 + 12*v + 7. Let j be g(10). Suppose 0 + j = 3*i. Does 3 divide i?
True
Let u(j) = 2*j**2 - 3*j - 3. Let w be u(3). Let b be (8/(-6))/(w/(-72)). Suppose b + 1 = s. Does 9 divide s?
False
Suppose 0*w = -2*w + 2. Does 3 divide -1 - w - (-5 - 3)?
True
Suppose 0 = g - 7 + 3. Let n be 0 - (g/(-2) - 2). Suppose 0*m + 2*q + 8 = 3*m, -5*m + 14 = -n*q. Does 2 divide m?
True
Is (-22 + 2)*28/(-35) even?
True
Let u(o) = o**3 + 4*o**2 - 2*o - 4. Let j be u(-4). Suppose -j*c - 2*r + 150 = r, 2 = r. Suppose -6 - c = -3*d. Is 7 a factor of d?
True
Suppose 4*u + 60 = 7*u. Does 5 divide u?
True
Let g = 203 - 138. Let i = g + -42. Suppose 2*t - 25 - i = 0. Does 12 divide t?
True
Suppose -8*m + 15 = -3*m. Suppose -12 = -h - m*h. Let s = h - -15. Does 9 divide s?
True
Let z(t) = -3*t - 4. Let d be z(-2). Suppose 5*p - 6*m + 2*m - 274 = 0, d*p - 96 = 5*m. Is 18 a factor of p?
False
Suppose 0*k + k - 4 = 0. Suppose u - k*u = -78. Does 11 divide u?
False
Suppose 0 = -8*f + 11*f - 45. Does 8 divide f?
False
Suppose x = -2*x - 27. Let g = x - -45. Let n = g + -4. Is n a multiple of 16?
True
Let w(y) be the third derivative of -19*y**4/12 - y**3/6 + 2*y**2. Let r be w(-1). Suppose 0 = -2*i + 51 + r. Is i a multiple of 22?
True
Let r(s) = s**2 + 8*s + 5. Let q be r(-8). Suppose 43 = q*o - 0*o - k, -o + 5 = k. Is o a multiple of 8?
True
Suppose 0 = 5*u + 5*g + 30, u - 3*g = 5 - 3. Let h(p) = -2*p - p + 2*p**2 + 3*p**2 + p**3. Is h(u) a multiple of 16?
False
Let s = 225 + 33. Is 8 a factor of s?
False
Suppose -4*o = 5*b + 8, 0 = -b + 2 + 2. Let v(j) = j**2 + 7*j - 1. Let d be v(o). Let y = d + 22. Does 7 divide y?
True
Suppose -x + 2*x + 5*i - 80 = 0, 4*i + 216 = 2*x. Does 50 divide x?
True
Suppose -3*p = -7*p + 36. Does 6 divide p?
False
Let t be 5*(16/10)/2. Suppose -t*i - 18 = -5*i. Is 9 a factor of i?
True
Let b be ((-24)/9)/1*3. Let x(w) = -w**2 - 9*w. Let m be x(b). Does 8 divide (-2)/(m/22)*-2?
False
Let a(w) = w**2 - 6*w + 3. Let b be a(6). Let p(m) = -2*m + 18. Let x be p(9). Suppose b*g - 3*v + 2*v = 92, x = 2*g - 2*v - 68. Is 13 a factor of g?
False
Suppose -2*t + 7 = -t. Suppose 29 - t = 2*q. Does 8 divide q?
False
Let b(m) = -62*m + 3. Let z(j) = -1302*j + 62. Let a(i) = -124*b(i) + 6*z(i). Let k be a(-1). Suppose -2*o - 2*o + k = 0. Is o a multiple of 8?
False
Let j = -17 - -86. Does 17 divide j?
False
Let f be 14*3 - (8 + -7). Suppose 3*h = -17 + f. Is 2 a factor of h?
True
Let x = 7 + -2. Suppose -2 = -x*m - 3*g, 4*m + 12 = 3*g - 2*g. Is 11 a factor of 11/(1/((-2)/m))?
True
Let w be (4 + -3)/((-1)/(-37)). Let c(k) = -44 + 17*k - 7*k + w. Is c(5) a multiple of 20?
False
Does 46 divide -6*(-138)/(-36)*-16?
True
Suppose -5*b + 30 = -2*v, -4*v + 2*b - 54 = v. Let f be 165/(-6)*(-8)/v. Does 2 divide 3*(f/(-6) + -2)?
False
Let m(j) = -8*j**2 - 3*j + 4. Let o be m(3). Is o/(-4) + (-3)/(-4) a multiple of 9?
False
Let b(o) = 3*o - 2. Let k be b(9). Let q = k + -8. Does 4 divide q?
False
Is 13 a factor of (-2)/2 - -3*(4 - -31)?
True
Suppose -131 = -5*x - i, -5*i + 31 = -0*x + x. Suppose -2*s = -s - x. Is s a multiple of 10?
False
Let d = -56 + 108. Does 9 divide d?
False
Suppose -2*p + 8 = 3*y, -5*y + 3 = -p - 19. Let h(r) = 2*r - 6. Let u be h(y). Suppose 2*j + z = -j + 148, -3*z = u*j - 101. Is 21 a factor of j?
False
Let d be (-5)/2*(-2)/1. Let a = d - -3. Does 14 divide (10/4 - -1)*a?
True
Let f(x) = 2*x**2 - 3*x + 1. Let t be f(2). Suppose t*c - 6*l = -l + 22, 5*l = 2*c - 8. Does 13 divide c?
False
Suppose 5*v + 55 = -4*b, -4*b + 3*b - 5*v - 25 = 0. Does 6 divide -45*(3 - (-34)/b)?
True
Let f(c) = c**2. Let b be f(0). Suppose -t + b = -6. Suppose 0 = 2*a + t - 46. Is 10 a factor of a?
True
Is 135/7 - 10/35 a multiple of 3?
False
Let p = -34 - -23. Let c(q) = -q**3 - 12*q**2 - 16*q - 13. Is c(p) a multiple of 21?
True
Suppose 5*q + 40 - 229 = -4*p, 4*p - 5*q - 219 = 0. Suppose -p = x - 261. Does 11 divide 15/20 + x/8?
False
Let h = -137 + 489. Is h a multiple of 22?
True
Let k = -17 - -59. Is 14 a factor of k?
True
Let t be 0 + (-6)/2 - 3. Is 24 - -1 - (9 + t) a multiple of 12?
False
Let d = 1 - 0. Let l(r) = 9*r - 6. Let p be l(-1). Is 17 a factor of 12 + p + 61/d?
False
Suppose v - 2*u = 2*u + 55, 50 = 2*v + 4*u. Let s be (-6)/4*(v + -1). Let d = s + 73. Is 11 a factor of d?
True
Suppose -5*u - 5*i + 0*i + 40 = 0, 4*u - 5*i = -4. Suppose -4*w + 5*a = -3 - 20, -a - 11 = -u*w. Is 82/w - 6/(-2) a multiple of 17?
False
Suppose -228 = -3*x - x. Is x a multiple of 8?
False
Let m be 1/(-2*2/(-36)). Let z(r) = 35*r + 2. Let q be z(1). Let i = q - m. Is i a multiple of 14?
True
Let y = 30 - 10. Is 10 a factor of y?
True
Suppose -66 = -5*z + 4*z. Does 19 divide z?
False
Suppose 5*w + 14 = 4*q, -5*q - 1 = -6. Let o(v) = -8*v + 2. Is 7 a factor of o(w)?
False
Suppose 0*c - 2*c = -212. Is (c/3)/((-6)/(-9)) a multiple of 25?
False
Let l(k) = -1. Let v(z) = z**2 + 10*z + 10. Let t(n) = -3*l(n) - v(n). Let x be t(-9). Suppose p = x*j + 1 - 37, 3*j + p = 44. Is j a multiple of 6?
False
Let m = 26 + -7. Suppose p - m = -6. Does 6 divide p?
False
Let k be -2*((-63)/(-6))/(-7). Suppose -4*z - 2*m = -3*m - 297, k*z + 2*m = 220. Is z a multiple of 14?
False
Suppose -195 = 3*q - 3*m, -4*q - q - 320 = -4*m. Let t = q - -88. Does 14 divide t?
True
Suppose -3*m - 25 = 2*m, -2 = 2*v + 4*m. Does 4 divide 16/(-6)*v/(-6)?
True
Suppose 0 = -4*j - 0*j + 156. Is j a multiple of 3?
True
Let n = -3 + -3. Let u(k) = -k**2 - 8*k + 3. Does 9 divide u(n)?
False
Suppose 3*i - 2*i = 4. Let t(c) = c**3 - 4*c**2 - 4*c + 4. Let h be t(i). Is 14 a factor of (2*-5)/(8/h)?
False
Suppose -4*c + 4*n - 142 + 10 = 0, -3*c = -4*n + 102. Let x = c + 44. Is x a multiple of 7?
True
Let d(g) = g**2 - 6*g - 11. Let z be d(8). Suppose -5*t - 5*l + 7 = -4*t, -z*l = -3*t + 21. Does 7 divide t?
True
Let x = 0 - -2. Let k = 52 - 36. Suppose x*f - k = -0*f. Is f a multiple of 8?
True
Suppose -4*h - 18 - 446 = 0. Let i be h/(-16) - (-1)/(-4). Let q(d) = d**3 - 7*d**2 + 2*d - 5. Does 4 divide q(i)?
False
Suppose 2*r - a = -4 + 11, 0 = -4*r - 2*a + 18. Suppose 0 = -2*f + 14 - r. Suppose f*s = -1 + 46. Is 5 a factor of s?
False
Let d be -1 + 2 + 4*6. Let v be 10/d + 112/(-5). Let f = 64 + v. Is f a multiple of 18?
False
Let y(p) = -8*p**2 - p + 3. Let w(l) = 8*l**2 + l - 4. Let b(z) = -3*w(z) - 4*y(z). Let h = 2 + -1. Is 9 a factor of b(h)?
True
Let d = 23 - 5. Let x = 0 + -54. Is (-4)/d + (-1794)/x a multiple of 15?
False
Suppose -5*g - 190 = 395. Let b = g - -188. Is 17 a factor of b?
False
Let t(q) = 4*q**2 + 12*q + 14. Does 18 divide t(-7)?
True
Let u be -1 - 0 - (-3)/1. Suppose -u*y + 6 = y. Suppose -3*i - y*i + 125 = 0. Is 10 a factor of i?
False
Let n be -1 - (-5 + -1)/2. Suppose n*r = r. Suppose -2*y = -4*b - r*y + 28, 0 = -3*b + y + 20. Is b a multiple of 6?
True
Suppose -4*c = c + n + 49, 0 = -5*c + 4*n - 54. Does 11 divide 895/25 - 2/c?
False
Let l be (0*(-2)/4)/4. Suppose 3*q - q - 44 = l. Does 15 divide q?
False
Let g = 211 - 126. Does 5 divide g?
True
Let x(k) = -k**3 + 7*k**2 - 3*k. Is x(6) a multiple of 18?
True
Suppose b = -5*m + 18, 2*m = b - 2*b + 9. Suppose b*t - 273 = -3*w, 4*w - 2*t - 268 = w. Suppose -2*z - w = -7*z. Does 9 divide z?
True
Let n(k) = -2*k**3 - 29*k**2 - 19*k + 14. Is 16 a factor of n(-14)?
False
Is 8/28 + (-3)/(63/(-2031)) a multiple of 39?
False
Let j = 3 - -21. Is 3 a factor of j?
True
Suppose -3*g + 141 = 3*q, -99 = -2*g + 3*q - 0*q. Is 16 a factor of g?
True
Let o be 0 - 5/((-5)/(-3)). Let x be 8 + (-1)/3*o. Let d(v) = v**2 - 7*v + 1. Is d(x) a multiple of 19?
True
Let o(c) = 13*c**2 - 3*c. Does 30 divide o(3)?
False
Let z = 0 + 2. Suppose -2*h = -2*d, z*h + 3*h + d = -12. Does 4 divide (4*3)/(h/(-2))?
True
Let a = -62 + 113. Suppose 3*v = -0*v + a. Does 9 divide v?
False
Let v(q) = q**3 - 2*q**2 + 2*q - 4. Let c be v(3). Let g = c + -4. Does 5 divide g?
False
Suppose b + 37 - 124 = 0. Does 14 divide b?
False
Let s(v) = -9*v**2 + 5*v + 7. Let m(y) = -4*y**2 + 2*y + 3. Let r(w) = -5*m(w) + 2*s(w). Is 13 a factor of r(-5)?
False
Suppose -5*f = -5*t + 275, -t + 3*f + 0 + 63 = 0. Is t a multiple of 2?
False
Let a(z) be the third derivative of z**6/120 - z**5/12 