5*j + w = -3*j. Suppose -5*k - 4*t = -243, t + 207 = k + j*k. Is k a multiple of 19?
False
Let o(j) = -j**3 + 6*j**2 + 18*j - 10. Let y be o(8). Is 6 a factor of -16*1/y*(-90)/4?
True
Let h = -96 + 303. Let k = h + -22. Suppose -2*f = 3*f - k. Is 10 a factor of f?
False
Let d = 5 + 0. Suppose -d*w = -90 - 25. Let i = 42 + w. Is 15 a factor of i?
False
Suppose 4*s + 6 = s. Is (-2 - s - 171)*6/(-18) a multiple of 25?
False
Suppose 0*p = -2*p + 10. Suppose -2*s - s + 4*w + 16 = 0, 5*s - p*w - 30 = 0. Does 2 divide s?
True
Suppose 30*t = 23*t + 3696. Does 52 divide t?
False
Let l = -29 + 18. Let d(t) = t + 15. Let i be d(l). Suppose -4*o = -2*f + 32, 0*f - i*f + 80 = -4*o. Is f a multiple of 12?
True
Let t(g) = 14*g - 7. Suppose -k = 4*n + 12, -5 - 3 = 2*n. Is t(k) a multiple of 6?
False
Suppose 0 = -4*x - 0*x + 112. Is x a multiple of 5?
False
Is 15 a factor of (-22)/((-125)/115 - -1) + 4?
False
Is 64360/56 - 14/49 a multiple of 22?
False
Let y be ((-126)/(-30) - 2)*(-10)/(-2). Suppose 179 - y = 3*t. Is t a multiple of 8?
True
Let q(p) = -276*p - 1. Let c be q(-1). Let h = c - 413. Does 9 divide (-12 + 10)*h/4?
False
Suppose 716 + 502 = 3*n. Does 11 divide n?
False
Let h(i) = 2*i - 1. Let p(z) = z**3 - 9*z**2 + 15*z - 4. Let m be p(7). Suppose -44 = -s - m*s. Is h(s) a multiple of 8?
False
Let a(l) = l + 18. Let z be a(-8). Suppose -z*u = -14*u + 504. Is 18 a factor of u?
True
Is 21/(-49) + (-3391)/(-7) a multiple of 24?
False
Suppose 149*j - 40917 = 126*j. Is 80 a factor of j?
False
Let j(d) be the third derivative of 11*d**6/30 + d**5/30 - d**3/6 + 4*d**2. Suppose 4*w = -5*z - 0*w + 1, 5 = 3*z - 2*w. Is 15 a factor of j(z)?
True
Does 21 divide (86/215)/((-1)/(-3885))?
True
Let j = -22 - -25. Suppose -2*t + 19 = -j*z, 23 = -4*t + 3*t - 5*z. Does 2 divide 88/10 + t/10?
False
Let m(p) = -p**3 - 3*p**2 + 8*p - 1. Let c(r) = r**3 + 3*r**2 - 7*r + 1. Let f(y) = 3*c(y) + 4*m(y). Does 4 divide f(-6)?
False
Suppose -2*b = l + 148, -2*l - 1 - 3 = 0. Let k = 105 + b. Is k a multiple of 9?
False
Let z be (-4)/(-14) + (-12)/(-7). Suppose 0 = b - 2*v - 123, -2*b + 385 = b - z*v. Is 23 a factor of b?
False
Let n = -16 - -15. Let b(u) = -25*u - 1. Does 10 divide b(n)?
False
Let i(l) = 2*l**3 + l**2 + 16*l - 16. Let u be i(7). Suppose 146 = 5*t + 4*b - u, -4*b - 8 = 0. Is t a multiple of 15?
False
Suppose 4*k + 3*u - 133 = 0, -4*k + 2*u = -3*k - 47. Does 19 divide k?
False
Let t(r) be the first derivative of r**4/4 - r**2 - 3. Suppose -2 = 2*l - 10. Does 14 divide t(l)?
True
Suppose -24*p + 26*p = 10. Suppose -5*r + 156 = -w, 3*w = p*r - 0*r - 158. Is r a multiple of 13?
False
Let o = -428 + 432. Suppose 4*p - 5 = x, 4*p + 5*x + 2 = p. Suppose -l + p = 0, 5*q - 3*q = o*l + 8. Is 6 a factor of q?
True
Let x = 341 + -41. Does 30 divide x?
True
Suppose -h = -3*q + 4, 2*h + 2*h = 20. Let m = 28 - q. Is m a multiple of 14?
False
Suppose 0 = 5*q + 4*c - 319, 4*q = -2*c - c + 256. Suppose -64*o = -q*o + 198. Is o a multiple of 6?
True
Suppose -g + 4*c = 3*g - 1256, -3*g + 963 = 4*c. Let b = 600 - g. Does 37 divide b?
False
Suppose 6 = 2*b - 0*b. Let y be b*-2*3/6. Let q = y + 22. Is 6 a factor of q?
False
Let h = 6 - 2. Suppose 3*o - 2*p = 2*o + 10, h*p = -4*o - 8. Is (o + -12)*(-7)/14 a multiple of 2?
False
Suppose 4*x + 4*v = 2600, 38*x + 654 = 39*x - v. Is x a multiple of 23?
False
Suppose 0 = 12*x - 1106 - 334. Is x a multiple of 40?
True
Suppose 5*v = -b + 759, -3*v = -7*b + 5*b - 445. Is v a multiple of 16?
False
Suppose 0 = 38*k - 53*k - 405. Let l(q) = q**2 - 8*q + 6. Let h be l(5). Does 19 divide 3*6/h - k?
False
Let q(m) = -168*m - 2. Does 47 divide q(-5)?
False
Let f(i) = -i + 184 - 184. Let b be f(-5). Suppose b*q - 88 = 2. Is q a multiple of 5?
False
Let o be 0 - (1 + 2/(-1)). Let b(q) = q**2 + 1. Let l(t) = 7*t**2 + 1. Let z(u) = -2*b(u) + l(u). Is 4 a factor of z(o)?
True
Let r be 152/(-6) - (-9)/27. Suppose 3*n - 3*f = 0, -4*f - 14 = -0*n + 3*n. Is 23 a factor of (3 + -4)*r + n?
True
Let k(z) be the second derivative of z**4/6 + z**3/2 - 2*z**2 - 13*z. Is 11 a factor of k(4)?
False
Suppose -783 - 393 = -3*p. Does 14 divide p?
True
Does 13 divide (13/(-3))/(3675/1845 + -2)?
True
Let v(g) = -g**3 + 4*g**2 + 7*g + 2. Let x be v(7). Let j be -1 - x - 0/1. Suppose -5*m = -m - k - j, -3*k + 15 = 0. Is m a multiple of 11?
False
Suppose -4*a + 18 = 46. Let o be 34/8 - a/(-28). Let p(r) = 4*r**2 + 2*r + 2. Is p(o) a multiple of 10?
False
Let y(a) = -85*a - 181. Does 29 divide y(-11)?
True
Let y = -439 + 1114. Is 8 a factor of y?
False
Let d = 55 + -39. Let x = -11 + d. Suppose -4*p = x*l - 138, -11 - 25 = -l + 2*p. Is 9 a factor of l?
False
Does 14 divide (566/(-8))/((5/(-60))/1)?
False
Let y = -21 - -22. Suppose 0 = -5*f - 3*l + y + 2, 4*l = -3*f + 4. Suppose f*g = -g + 15. Is g a multiple of 5?
True
Let l be 3*(-3)/9*-3. Suppose 4*r = -g + 72, l*r - 54 = 3*g - 0*g. Is 12 a factor of r?
False
Let p be 50/8*(-1 - -5). Suppose -3*y - 2*y = -p. Suppose -235 = -5*k + 5*v, -k - y*v + 0*v = -59. Is k a multiple of 10?
False
Let w(k) = k - 4. Let u be w(-2). Let g = 7 + u. Is 39 + 0 + 1/g a multiple of 10?
True
Suppose 3*b = -b + 20. Suppose 359 = 4*u - s, -b*u + 0*u + 457 = -4*s. Is 18 a factor of u?
False
Let r(y) = 4*y + 5. Let f(a) = 2*a + 2. Suppose 0 = -5*h - 0*h - 10. Let d(s) = h*r(s) + 5*f(s). Is d(3) even?
True
Let r = -134 + 168. Is 4 a factor of r?
False
Suppose 2513 = 6*k - 847. Is k a multiple of 20?
True
Let k(i) = i**3 + 6*i**2 - i - 3. Let f be k(-6). Suppose 0 = -f*m + 5 + 4. Suppose 4*s = -m*y + 5*s + 128, -184 = -4*y - 2*s. Is 22 a factor of y?
True
Suppose -2*y + 9*y = -252. Let z = 216 + y. Does 12 divide z?
True
Let a = 128 + -128. Suppose 0*t - 2*w = -4*t + 464, -w + 2 = a. Does 36 divide t?
False
Let g = 17 + -9. Suppose -g*a + 411 = -317. Does 13 divide a?
True
Let p be -4*4/(-16) - -4. Let x = 5 - p. Is 6 a factor of 6/(-18)*(-45 + x)?
False
Let x be 29 + 1/((-4)/(-4)). Let h be 4/(-6) + (-580)/x. Let w = h - -28. Is 5 a factor of w?
False
Is (-2448)/(-16)*(-2)/(-6) a multiple of 13?
False
Suppose 0 = 7*s - 3*s + 140. Does 21 divide 1*-2 - (-9 + s)?
True
Let g = -1129 - -1993. Is 72 a factor of g?
True
Suppose 5*z - 204 - 636 = 0. Let i = -82 + z. Is i a multiple of 15?
False
Suppose -7*m = -8*m + 4. Suppose 4*c - 144 = -m*i - i, 0 = -2*i. Does 30 divide c?
False
Let u(p) = -p**3 - 13*p**2 - 9*p - 17. Let n be u(-14). Let l = n - 214. Is 22 a factor of l?
False
Let g(j) = j**3 - 8*j**2 + 3*j + 25. Is 32 a factor of g(9)?
False
Let s = 103 + -27. Suppose -3*k + 99 = -i, -2*k + s = -5*i + i. Suppose 2*t - k = t + 3*u, 5*t - 112 = -u. Is t a multiple of 5?
False
Suppose -5*p + 434 = -86. Does 8 divide p?
True
Let p = 36 - 63. Let x = p - -35. Suppose q - 6 - x = 0. Is 5 a factor of q?
False
Let y(i) = i**3 - 6*i**2 + 8*i - 13. Let v be y(4). Let f(c) = c**3 + 13*c**2 - 3*c - 18. Does 3 divide f(v)?
True
Suppose -6*f + 645 = 9*f. Suppose 2*s - f = -17. Is 9 a factor of s?
False
Let i(n) be the first derivative of 4*n**3/3 - 5*n**2 + 20*n - 32. Is i(4) a multiple of 11?
True
Suppose 16 = -m - 2*r, 6*r - r - 4 = 3*m. Let f(l) be the first derivative of -l**2/2 + 53. Is f(m) a multiple of 8?
True
Suppose 21*o - 3*o - 2124 = 0. Is o a multiple of 12?
False
Let z be (-50)/(-15) + 1/(-3). Suppose -z*k - 4 = -1. Let b(w) = -15*w**3 + w**2. Is b(k) a multiple of 10?
False
Let c be (1 - 1)/4 - (1 + -13). Does 16 divide (-5193)/(-54) + (-2)/c?
True
Let q be 27/15 - (-7)/35. Suppose q*n - 264 = -5*s, -s - 3*s + 3*n = -225. Is s a multiple of 6?
True
Let z(g) = g**3 + 7*g**2 - 3*g - 15. Let f be (-4 - 0) + -2 + -1. Let h be z(f). Is 8 a factor of 3/h*58 + -1?
False
Suppose -j = -2*n - 98, 4*j - 132 = 5*n + 107. Does 28 divide (-34)/n + 164/6?
True
Let n(q) = q**3 - 13*q**2 + 29*q + 8. Let d be n(10). Let o(t) = -19*t - 2. Let i(a) = -20*a - 2. Let z(x) = 6*i(x) - 5*o(x). Does 16 divide z(d)?
True
Let c = 958 - 668. Is c a multiple of 8?
False
Let a(i) = 2*i**2 - 7. Let l be a(-6). Let y be (2 - 3)*(l + 2). Does 21 divide (-6)/(-2) - y - 0?
False
Let y(m) = -m**2 - 40*m - 98. Is 7 a factor of y(-33)?
True
Let d be 2/(-10) + (-286)/(-55). Suppose 0*a + d*a - 20 = 0. Suppose 0 = a*w - 0*w - 76. Is 10 a factor of w?
False
Suppose 6*i = 4*i - 116. Let p = 