Let t be ((-20)/16)/((-1)/4). Suppose -3*w + t*r = -93, 3*r = 2*w - 23 - 38. Does 8 divide w?
False
Let s = -15 + 19. Suppose 3*y = -s*w + 104, 0*y + y = 3*w + 39. Is y a multiple of 4?
True
Suppose 4*b = m + 262, 0 = -2*b - 5*m + 141 - 21. Is b a multiple of 13?
True
Suppose -31*p + 58*p - 48978 = 0. Does 11 divide p?
False
Suppose -76*j + 47*j = -24360. Is 5 a factor of j?
True
Let t(x) = x**3 + 7*x**2 + 8*x + 14. Let y be t(-6). Is 87 + y/2 + -3 a multiple of 17?
True
Suppose -5*n + 34 - 80 = -2*i, 5*i + n = 88. Suppose 7*l = 81 - i. Is 2 a factor of l?
False
Let k = -88 + 34. Let y be ((-1 - k) + 1)*2. Suppose -4*d + y = 16. Does 6 divide d?
False
Suppose -8*i = -3*i - 35. Suppose -3*m + 4*u - 8 = 0, -u - i + 20 = 2*m. Suppose -m*d + 134 = -146. Is d a multiple of 18?
False
Let x be 138*(9/2)/(-9). Let g be (-458)/(-6) - 46/x. Let h = -29 + g. Is 12 a factor of h?
True
Let t = -17 + 13. Does 22 divide 252/6 - (t + 2)?
True
Suppose 0 = 4*d - 700 - 1920. Does 49 divide d?
False
Let h(x) = -x**2 - 37*x + 50. Is h(-11) a multiple of 14?
True
Let l = -192 - -504. Is 12 a factor of l?
True
Suppose 625 = 2*a - 3*t, 4*a - 4*t = t + 1255. Is a a multiple of 32?
True
Does 16 divide 1*2*-2 - (-703 - -59)?
True
Let x(d) = -d - 3. Suppose 3*m = 4*j - 5, 4*j - 15 = -5*m - 2. Suppose -3*b = j*b + 45. Does 2 divide x(b)?
True
Let x = 100 + -95. Suppose -x*i + 17 = -3. Does 2 divide i?
True
Suppose -6*u - 5*d = -2*u - 75, 0 = 5*u + 5*d - 90. Suppose -10 = -5*r + u. Suppose 102 + 108 = r*h. Does 13 divide h?
False
Let w be 1/2*(12 - 2). Suppose 0 = -2*i, -r = r - w*i - 130. Is 13 a factor of r?
True
Let v(k) = k**2 + 31*k - 542. Does 28 divide v(-59)?
False
Let j = -233 - -143. Suppose -88 = -4*d + 680. Let g = d + j. Is 34 a factor of g?
True
Let r = 3567 - 2013. Is r a multiple of 114?
False
Let s be (-12)/18*(-21)/2. Suppose -3*n = -s*n. Suppose -o + 5*a = -95, n*a - 401 = -4*o - a. Does 13 divide o?
False
Let a = -74 - -164. Does 15 divide a?
True
Let j(y) be the first derivative of 2*y**3/3 + 2*y**2 - 3*y - 8. Let m be j(-3). Suppose -5*f - 160 = -m*s, -2*f + 3 + 5 = 0. Is s a multiple of 15?
True
Let a = 989 - 476. Does 65 divide a?
False
Let f(a) = -a**3 + 9*a**2 - 5. Let k(u) = 3*u**3 - 28*u**2 - u + 15. Let s(o) = 7*f(o) + 2*k(o). Is s(6) a multiple of 19?
True
Let s = 3 + 9. Let p(l) = -2*l**3 + 35*l**2 + 15*l + 54. Let o be p(18). Suppose -3*k + s = o, -32 = -a - 2*k + 61. Is a a multiple of 17?
True
Let y(o) = 8*o**2 - 2*o + 1. Let t be y(1). Does 18 divide 5*((-72)/t)/(10/(-14))?
True
Let b(m) = m**2 - 3*m - 2. Suppose 0*n + 18 = -2*n. Let r(k) = k**3 + 10*k**2 + 10*k + 2. Let x be r(n). Is b(x) a multiple of 25?
False
Let c(o) = -o**3 - o**2 - o + 4. Let l be c(0). Suppose d - 12 = -2*y + y, 42 = 5*d - l*y. Suppose 0 = -5*a + d + 65. Does 5 divide a?
True
Let b = -457 - -813. Does 5 divide b?
False
Let y(o) be the first derivative of 9*o**2 - 11. Let a be y(-3). Is 17 a factor of -2 + (-5 - -4) - a?
True
Suppose 2*o - 25 = 11. Let w = 67 + o. Does 20 divide w?
False
Let z be 1412/(-4) - 1/(-2)*6. Is 3*(4 + z/(-15)) a multiple of 30?
False
Suppose -3*z = -3*k, 0 = 2*z - 13 + 3. Suppose 4*l - 97 - 491 = 0. Suppose 4*w - 4*h = h + 231, 3*w - l = -k*h. Is w a multiple of 11?
False
Let s = -614 - -384. Let j = s - -337. Does 14 divide j?
False
Let h(q) = -q - 11. Let t be h(0). Let x(a) = 32*a**2 - 7*a**2 - 13*a**2 - 11*a**2 + 9 + 10*a. Does 10 divide x(t)?
True
Suppose -4 = -q, 2*w = 4*q - 246 + 700. Let f = -64 + w. Is 27 a factor of f?
False
Suppose -55*h + 261132 = -17993. Is h a multiple of 145?
True
Let f(n) = 35*n**3 - n**2 + 2*n + 1. Let t be f(2). Suppose 0 = -5*c - 5*m - 800, 3*c + 0*c + 2*m + 478 = 0. Let r = c + t. Does 27 divide r?
False
Let h = -1505 + 2394. Does 14 divide h?
False
Suppose -4*q - 3*h = -0*q - 30, -5*q - 5*h + 40 = 0. Suppose -5*x + 10 = y, -4*x + q = -x. Suppose -60 = -3*s - y*s. Is 10 a factor of s?
True
Let l(x) = -x**2 - 11*x - 6. Let p be l(-10). Let i be p/(-8)*-246 + -2. Suppose 4*n + i - 309 = 0. Is 14 a factor of n?
False
Suppose -5*m + 757 = 3*x - 131, 0 = m + 3*x - 168. Does 36 divide m?
True
Is 3402/8 + 55/(-44) a multiple of 8?
True
Let x(z) = -z**3 + 8*z**2 - 3*z + 5. Let n be x(5). Suppose -2*y = -d - n, d + 2*y = -y - 70. Let o = -42 - d. Does 8 divide o?
False
Suppose 13867 = 44*n - 88213. Does 16 divide n?
True
Suppose 0*k - 385 = -3*i - 4*k, -3*i = -3*k - 357. Is i a multiple of 27?
False
Let v = -40 + 141. Let h = v + 0. Is 18 a factor of h?
False
Is 7 a factor of ((-20)/(-25))/2*(-4 - -404)?
False
Suppose 2*k + 2*k - 56 = 0. Let c = 98 + k. Let y = c + -56. Is 28 a factor of y?
True
Suppose -3*t = -6*t. Let r(s) = -s + 2. Let j be r(t). Suppose u + j*w - 61 = 7*w, -2*w - 196 = -3*u. Is 20 a factor of u?
False
Suppose 0 = -5*v + 2*v + 594. Is v a multiple of 15?
False
Let m(d) = 3*d**3 - 5*d**2 + 2. Let c be m(-2). Let l = c + 105. Is 63 a factor of l?
True
Let l(z) = z + 3. Suppose -2*v + 8 + 8 = -2*t, -3*t + 4*v = 27. Let i be l(t). Does 12 divide i - (4 + -3) - -26?
False
Let q be -1 + 0 - (-2 - -2). Let s = q + 9. Let x = s - 0. Is x a multiple of 3?
False
Let z = 62 + 74. Suppose -4*j = -4*d - 352, 5*d = 3*j - 306 - 132. Let m = z + d. Does 19 divide m?
False
Let p(g) = 39*g - 29. Let w be (-1)/2 + (19/2 - 3). Does 37 divide p(w)?
False
Suppose 3*y = -3*p + 6696, 296*y - 301*y = p - 11176. Does 26 divide y?
True
Suppose -5 - 7 = 2*f. Let r(y) = y**2 - 8*y + 5. Let p be r(f). Suppose 25 = j - 2*q, -4*j - 2*q - q = -p. Is 14 a factor of j?
False
Suppose 5*m - 42*u - 3925 = -46*u, -3*m - 3*u = -2358. Is m a multiple of 28?
False
Suppose 5205 = 4*t + 2*j - 643, 5*j + 10 = 0. Does 77 divide t?
True
Let r(y) be the first derivative of 2*y**3 - y**2/2 - 5*y - 5. Is r(-3) a multiple of 18?
False
Let d = -37 + 61. Suppose -4*f + 2*f = -d. Is 460/f + 4/6 a multiple of 12?
False
Suppose 0*d = 3*d - 204. Suppose 4*y - 4 = d. Does 8 divide y?
False
Suppose 8 = 3*p - 1. Suppose 0 = -p*y + s + 244, -y + 2*s + 37 = -46. Is 27 a factor of y?
True
Let t(n) = n**3 - 8*n**2 + 17*n. Does 35 divide t(7)?
True
Does 48 divide ((-26)/4 + 7)*864?
True
Let m(n) = -2*n + 186. Let y be m(0). Suppose 5*h + a - y = 2*a, -2*h - 4*a + 70 = 0. Is h a multiple of 5?
False
Suppose -5*i = -5*p - 4790, -28*i + 33*i - 3*p - 4786 = 0. Is 17 a factor of i?
False
Suppose 6*s + 10 = 11*s. Let j be 4/(s/12*3). Suppose -j = -5*p + 2*z + 21, 5*p - 4*z = 33. Is p a multiple of 5?
True
Let x(n) = n**3 + 18*n**2 - 10*n - 140. Is x(-9) a multiple of 7?
True
Let u(q) = 9*q**2 + 2*q + 4. Let p(g) = -6*g + 1. Let i(v) = -5*v. Let o(m) = -5*i(m) + 4*p(m). Let b be o(-6). Does 9 divide u(b)?
True
Let k(b) = b**3 - 3*b**2 + 8*b - 3. Let o be k(5). Let l = -22 + o. Does 25 divide l?
False
Let x(m) = 2*m**3 - 2*m**2 - m - 1. Let v = 17 + -14. Does 8 divide x(v)?
True
Let l(x) = 5*x - 5. Let i(g) = 2*g + 19. Let y be i(-6). Is l(y) a multiple of 6?
True
Suppose -33832 + 3646 = -18*n. Does 58 divide n?
False
Let h(k) = -k**2 - 51*k - 47. Is 57 a factor of h(-35)?
True
Suppose 0 = -6*y + 9*y - 27. Is 21 a factor of 4*(-7)/(-3)*y?
True
Suppose -125*y - 1400 = -130*y. Is 7 a factor of y?
True
Is 1500*(-8 - (-245)/28) a multiple of 9?
True
Suppose 2*t + 2*n - 2508 = 0, -18*t + 4*n = -14*t - 5008. Is t a multiple of 5?
False
Let w be 8/(-24) - (-13)/3. Suppose 0 = -5*f + w + 71. Is f a multiple of 3?
True
Suppose -2 = t - 2*t, 0 = 5*o + 3*t - 206. Is -4 + -5 + o + -1 a multiple of 15?
True
Suppose 431 = 5*l - b - 2149, 5*b = 5*l - 2560. Does 30 divide l?
False
Suppose 3*x = 3, 2*x - 1 + 4 = -5*p. Let r(q) = -43*q - 1. Does 12 divide r(p)?
False
Let m be (-1 - -1) + 3 + 23. Let i = m - 5. Is 8 a factor of i?
False
Let s = -301 - -709. Is 17 a factor of s?
True
Let n = -123 + 168. Is n + 6/(-3 + 1) a multiple of 14?
True
Let g = -325 + 468. Is g a multiple of 15?
False
Suppose 39 + 56 = -5*y. Let n = y + 21. Suppose -450 = -8*q + n*q. Is 19 a factor of q?
False
Suppose 5*n - 20 = -0. Suppose 8 = -k + l, 4*k - n*l = -k - 38. Is 6 a factor of (-33)/k - (-6)/12?
True
Let j(g) = 4*g + 14. Suppose 10*d - 8*d - 26 = 0. Is j(d) a multiple of 11?
True
Let z = -91 + 128. Suppose -648 = 25*l - z*l. Does 6 divide l?
True
Let m(u) = -u**3 - 4*u**2 - 11*u - 18. Is 6 a