e 0 = -2*y + x - 1. Is y a multiple of 19?
True
Suppose -4*n = -20 - 4. Suppose -3*z + n = -3. Is z a multiple of 3?
True
Suppose -4*i + 5817 = 3*d, 5*d + 5796 = 4*i + d. Suppose 0 = -24*s + 13*s + i. Does 11 divide s?
True
Is -11 + 5 + (-596)/(-2) a multiple of 43?
False
Does 16 divide (47 + -45)*(0 - -115)?
False
Suppose 3*n = 2*n + 31. Suppose 3*c - n = -3*b - c, -5*c = 4*b - 40. Suppose b*y - 271 = -4*x, -4*y = -0*x + 4*x - 216. Is y a multiple of 11?
True
Let z(g) be the third derivative of -g**4/24 + 29*g**3/6 - 13*g**2. Let l(c) = -c**2 + 7*c + 6. Let u be l(6). Does 17 divide z(u)?
True
Suppose 0 = -11*z + 7*z - 1344. Let y = z + 599. Does 21 divide y?
False
Let d = 1615 - 566. Let n = d + -581. Suppose -5*o + 3*w + n = -w, 3*o = w + 285. Does 24 divide o?
True
Let t = -4 - -2. Let z be (-1)/(t/72 + 0). Does 12 divide (1/3 - -1)*z?
True
Let l be (-10)/35 + (-172)/(-14). Let o be 3 - (-8)/l*21. Suppose 45 = o*b - 12*b. Is 6 a factor of b?
False
Let u(l) = -125*l**3 - l**2 + 1. Let a(w) = w**2 - 11*w - 1. Let h be a(11). Let o be u(h). Let c = 217 - o. Does 23 divide c?
True
Let v(d) = 14*d**2 - 550*d + 31. Is v(43) a multiple of 34?
False
Is 7 a factor of 35 - 30 - 4/((-8)/942)?
True
Let w(o) = -o**2 + 5*o - 1. Let g be w(3). Suppose 57 = -g*l + 157. Is 4 a factor of l?
True
Suppose 10 = -2*s + s. Let m = s - -9. Does 14 divide (-1)/(m/62*2)?
False
Suppose 0 = -3*x + 122 - 116. Let z(h) = 30*h**2 + 3*h - 7. Is z(x) a multiple of 20?
False
Does 23 divide -1*(7/(56/(-1408)) - -3)?
False
Let u = -1381 - -2415. Is 17 a factor of u?
False
Let k be 36/(-8) - 3/(-2). Is (6/4 + 0)/(k/(-52)) a multiple of 5?
False
Is (80/50)/((-3)/(-360)) a multiple of 7?
False
Let a(f) = -2*f**2 - 17*f - 6. Let s(b) = b**2 + 9*b + 3. Let k(g) = -6*a(g) - 11*s(g). Let v be (-34)/9 - ((-50)/18 - -3). Does 5 divide k(v)?
False
Let u be (0 + -10)*(-3)/5. Let r(s) = 6*s**2 + 2*s. Let k be r(u). Suppose 7*q = 3*q + k. Is q a multiple of 19?
True
Let b be 8*(2 - 23/4). Suppose -32*i + 7*i = -900. Let m = b + i. Does 3 divide m?
True
Let f = 12 + -9. Suppose -2*s + 3*d = -33, s - 4*s = -f*d - 48. Does 5 divide s?
True
Let b be (1*-28)/((-3)/6). Suppose 42 = 7*z - b. Is z a multiple of 3?
False
Let z(j) = 24*j. Let m be z(-1). Let o be (m/9)/((-4)/(-6)). Let x(p) = p**3 + 5*p**2 + 3*p + 4. Does 8 divide x(o)?
True
Let i = -29 + 30. Suppose 2*x = x - i, -20 = -d + 3*x. Is d a multiple of 10?
False
Let q(o) = -o**3 - 34*o**2 - 54*o - 248. Is 14 a factor of q(-33)?
False
Suppose -4*t - f - 10 = -2*t, -t = f + 3. Is 28 a factor of ((-1)/2)/(t/784)?
True
Let h(u) = 2*u**3 - 10*u**2 + 4*u - 1. Let t(l) = -l**3 + 5*l**2 - 2*l. Let c(m) = 4*h(m) + 9*t(m). Let d be c(6). Does 2 divide 13/d - 29/(-4)?
False
Is 41 a factor of 4/22 - (74662/77)/(-2)?
False
Suppose -76*z + 79*z + 268 = 4*i, 2*i = 4*z + 124. Does 35 divide i?
True
Let i(l) be the first derivative of -17*l**2/2 + 6*l - 34. Does 16 divide i(-10)?
True
Let c(v) = -v**3 + 2*v**2 - v. Let b = 15 - 14. Let s be c(b). Suppose s = 4*m - 119 - 1. Is m a multiple of 10?
True
Let p be (-1)/2 + (-33)/22. Let v(l) = 6*l + 10. Let k be v(-5). Does 21 divide (p + -1)*k - -3?
True
Suppose h + 2*j + 81 = -0*h, -5*j - 339 = 4*h. Let g = -48 - h. Is g a multiple of 8?
False
Let r = -518 - -654. Is r a multiple of 13?
False
Suppose -4*x + 140 + 40 = 0. Let q = 7 + x. Is q a multiple of 26?
True
Suppose 2*k = 4*j - 24, 0 = -2*j + 4*j + k - 4. Let v = j - 2. Suppose v*i - 6*i = -288. Is 24 a factor of i?
True
Suppose -2*x + 21 = -31. Suppose -2*t + x + 42 = 0. Let h = t - -41. Is 15 a factor of h?
True
Suppose -32 = j - 30. Is 14 a factor of (j + 125/10)*4?
True
Let v = 724 + 1376. Is 21 a factor of v?
True
Let x(g) = -13*g**2 + 3*g - 73. Let h(c) = 4*c**2 - c + 24. Let d(n) = 7*h(n) + 2*x(n). Does 17 divide d(7)?
False
Is 530 + (4 + 2/(-1) - 4) a multiple of 11?
True
Suppose 5*v - 482 - 1071 = -3*c, -4*c = 3*v - 2078. Does 33 divide c?
False
Suppose 12 = -4*x + 4*k, -5*k = 4*x - 0 - 24. Let p be (-135)/(-60) + x/(-4). Suppose -4 = -c + i, -8 = -p*c - i + 6*i. Does 4 divide c?
True
Let n = 170 - 88. Suppose -4*p + 0*y = 3*y - 68, 5*p + 3*y - n = 0. Is p a multiple of 3?
False
Let m be (-48)/18*21/2*-7. Suppose 10*l - 3*l = m. Does 7 divide l?
True
Let u = -177 + 265. Suppose 0 = 6*k - 10*k - u. Let f = k - -38. Is f a multiple of 8?
True
Let z = 10 - 6. Suppose z*r = 5*p - 162, 72 = 3*p - 3*r - 27. Does 5 divide p?
True
Let l be ((-2)/(-4))/(3/18). Suppose 0*y = -l*y + 6. Suppose -18 = -4*w - y. Is 2 a factor of w?
True
Let b(p) = 12*p - 5. Let x be b(-4). Let m = -26 - x. Is m a multiple of 12?
False
Suppose 7*u - 2*u = -4*h + 1716, h + 336 = u. Is u a multiple of 10?
True
Let u = 186 + 144. Is 26 a factor of u?
False
Let i be (-15)/90*2*-3. Is i - 3 - 837/(-9) a multiple of 30?
False
Let w(f) = f**3 + f**2 - 10*f + 253. Is 150 a factor of w(0)?
False
Suppose -24 = -2*o + 3*k, -2*o + 2*k + 31 = o. Suppose -3*i - 25 = -8*i, -v + o = i. Suppose v*u = 38 + 2. Is 4 a factor of u?
False
Let h(j) be the second derivative of -j**4/12 - 3*j**3 + 2*j**2 + j. Let x(k) = -k**2 - k + 4. Let p be x(-5). Is 12 a factor of h(p)?
True
Let g = -35 + 35. Let c(a) = -2*a + 50. Is c(g) a multiple of 10?
True
Let s(f) = 2*f**2 + 11*f + 3. Let u = -16 + -3. Let z = u + 11. Is s(z) a multiple of 13?
False
Suppose 4*a = -2*a - 72. Is 13 a factor of 300/8 - 6/a?
False
Let t(m) = 3*m**3 + 4*m**2 - 2*m - 5. Let a be t(-3). Is 17 a factor of a/(-1) + 0 + -2?
False
Let q be 90/27*(-6)/(-5). Suppose -2 - q = -n. Suppose n*z = 5*z + 11. Is z a multiple of 2?
False
Suppose -35*t = 16*t - 77877. Is 17 a factor of t?
False
Let r(d) = d**3 - 5*d**2 + 7*d - 6. Let a be r(4). Let g(z) = 5*z**2 - 8*z + 2. Is 17 a factor of g(a)?
False
Let v = -461 + 582. Is 11 a factor of v?
True
Suppose 0 = 2*c - 27 - 333. Does 12 divide c?
True
Suppose -l = -u - 5*l + 96, -2*u + 3*l + 148 = 0. Is u a multiple of 20?
True
Let u be (-3)/12 + 791/28. Let o = 68 - u. Is 8 a factor of o?
True
Let t(k) = -k**2 + 6*k + 10. Let g be t(9). Is 39 a factor of (-130)/25*(g + 2)?
True
Let c(g) = g**3 + 9*g**2 + 7*g - 6. Let f be c(-8). Suppose -f*y - 3*w + 68 = 2*y, y + 3*w = 17. Does 8 divide y?
False
Suppose 16 = b + 5*d + 4, b + 6 = 4*d. Suppose 5*t = -3*y + 1 - 0, 5*y + b*t = 27. Is 2 a factor of y?
False
Let x be 91/(-21) + (-2)/(-6). Let v = x + 13. Does 9 divide v?
True
Let l be 47/9 - 38/171. Suppose -j - 3*t - 174 = -4*j, -4*j - l*t = -268. Is j a multiple of 4?
False
Let d = -26 - -7. Let c = d + 38. Suppose -f + 1 = -c. Does 4 divide f?
True
Let p = -10 + -25. Let y = 65 + p. Suppose -y = -5*k + 40. Does 2 divide k?
True
Let b(f) be the third derivative of f**5/60 - 11*f**4/24 - 17*f**3/6 - 17*f**2. Does 12 divide b(14)?
False
Let v(i) = -i**2 - 5*i - 4. Let h be v(-4). Suppose h = -q - 0*q + 147. Does 17 divide q?
False
Let b(j) = j**2 - 4*j - 3. Let s be b(5). Suppose 46 + s = 4*n. Is n a multiple of 6?
True
Suppose 22*u - 18*u = -332. Let b = 145 - u. Does 38 divide b?
True
Suppose -h - 236 = h - 5*j, 92 = -h - 4*j. Let n be 164 - (10 - 21/3). Let t = h + n. Is 19 a factor of t?
False
Let i = -4 - -18. Let r be (-4)/(-7) + 188/i. Let z = r + 9. Does 9 divide z?
False
Suppose -5*i + 10*h = 13*h - 4068, -5*h = -i + 836. Does 34 divide i?
True
Suppose -3*u + 7 - 13 = 0. Let l = 4 - u. Suppose -b + l = 1. Is b even?
False
Let p(s) = s**2 + s - 7. Let k(a) = a - 8. Let z(l) = -3*k(l) + 4*p(l). Does 13 divide z(-5)?
True
Is -1 + 13/11 + (-3243)/(-11) a multiple of 16?
False
Let v(m) be the first derivative of m**5/60 - 5*m**4/24 + 5*m**3/6 + m**2/2 - 2. Let w(d) be the second derivative of v(d). Is w(7) a multiple of 19?
True
Suppose -14 = -r + 3*n, -4*r - 2*n - 5 = -75. Let m = r + -8. Let v(q) = 4*q - 2. Is 34 a factor of v(m)?
True
Let z = -1463 - -1946. Does 6 divide z?
False
Suppose n - 4 + 11 = 2*s, 2*n = s + 4. Suppose 0 = s*t - 10 - 62. Is 6 a factor of t?
True
Suppose -c - 5 = 3*m + 7, -5*m - 2*c = 19. Is (-7 - m - -3)*(2 + 1) a multiple of 3?
True
Let f(i) be the second derivative of -129*i**5/20 + i**4/6 - i**2/2 + 9*i. Is f(-1) a multiple of 26?
True
Let d = 391 + -213. Is d a multiple of 3?
False
Let x be -18 + 19 - (39 - 0). Let w(i) = -5*i - 4. Let y be w(4). Is 5 a factor o