 -4*p, 5*p - 3*d + 2*d = x. Is p a multiple of 4?
True
Let v(o) = -o**2 - 2*o + 1. Let f be v(-3). Let c be 0 + (-3 - 37)/f. Suppose 0*k + k - j = c, 2*k = j + 38. Does 9 divide k?
True
Let r(c) = -3*c + 17. Let d be r(7). Is 10 a factor of -4*d/(-8)*-5?
True
Let p(b) = 2*b - 5. Let l be p(4). Suppose 0 = 6*d - d. Suppose 11 = v + l*r, d*v + v - r - 7 = 0. Is v a multiple of 8?
True
Let b = -17 + 72. Is 19 a factor of b?
False
Let n be ((-12)/10)/(8/(-60)). Let j be 2 + (0 - (-1)/1). Suppose j + n = 3*t. Does 2 divide t?
True
Let b(i) = -3*i**2 - 3*i**3 + 2*i - 7*i - 3 + 2*i. Does 15 divide b(-2)?
True
Suppose 4*s = 38 - 338. Let x = s - -116. Is x a multiple of 19?
False
Suppose k - 1 = 2*k. Let w(s) = 33*s - 7. Let l(q) = -16*q + 4. Let j(i) = -5*l(i) - 3*w(i). Is 12 a factor of j(k)?
False
Does 23 divide (-49 + 48)/(-1 - (-90)/92)?
True
Is 2 a factor of (-7)/(-21) - 17/(-3)?
True
Suppose 52*w - 61*w = -342. Is 38 a factor of w?
True
Let w(n) = -208*n + 2. Does 10 divide w(-1)?
True
Suppose 0 = -4*x - 5*s + 20, 0 = -x + s + 14 - 0. Suppose -n - x = 5*t - 87, 4*n - 68 = -5*t. Is t a multiple of 8?
True
Let a be (-6)/27 - 101/(-9). Does 25 divide (-1 + a)/((-13)/(-65))?
True
Suppose -2*t + 440 = 5*b - 7*t, 4*b + 4*t - 368 = 0. Does 35 divide b?
False
Let o(v) = v**3 - 5*v**2 + 5*v + 1. Let a be o(4). Let b = -1 - a. Does 12 divide (-1 - (-2)/b)*-9?
True
Let q(w) = w**2 + 4. Let a be (0 - (-3)/(-6))*0. Let d be q(a). Suppose x + 5*k + 12 = 0, 0*k - d*k = 16. Is 3 a factor of x?
False
Suppose -3*w + 9 + 0 = 0. Suppose 3*j + t - 20 = 2, 0 = -w*j - 4*t + 25. Suppose 132 = j*a - 3*a. Is 19 a factor of a?
False
Suppose 4*i + 5*m = 367, -i + 3*m = 4*i - 468. Is 17 a factor of i?
False
Suppose -3*q + 7*q - 16 = 0. Let r = 20 - q. Is r a multiple of 16?
True
Does 27 divide 4/(160/(-15)) + 1035/8?
False
Suppose -b = 2*b - 24. Is 4 a factor of b?
True
Let n = 10 + -5. Let s(r) = 2*r**3 - 6*r**2 - 5*r + 7. Let a be s(n). Suppose 5*x - a - 13 = 0. Is 8 a factor of x?
False
Let q(a) = -4*a - 2. Is 6 a factor of q(-2)?
True
Let x(w) = w**3 + 2*w**2 - 3*w - 1. Let u(g) = -g**2 + 9*g - 10. Let f be u(8). Let l be x(f). Does 8 divide 2*2*l + 0?
False
Let z(b) = b**2 + 1. Suppose -r - 1 - 1 = 0. Let u be z(r). Suppose 5*h + 46 = 3*a, 5*a - 86 = 2*a - u*h. Is a a multiple of 17?
False
Let p = 371 + -132. Suppose 0 = 5*g - 46 - p. Is g a multiple of 18?
False
Suppose 4*v + h - 433 = v, -2*v - 2*h = -290. Does 16 divide v?
True
Let l(y) = 3*y - 9. Let m(z) = -z**2 - 8*z - 6. Let r be m(-6). Does 5 divide l(r)?
False
Suppose 3*u + 2*x - 40 = -u, 2*x + 5 = u. Let c = 15 - u. Does 4 divide c?
False
Let d = 8 - 6. Suppose v - x + 4*x - 29 = 0, 4*v - 86 = -d*x. Is v a multiple of 11?
False
Let h(o) = -o - 7. Let z be h(-8). Let b = z - -59. Does 14 divide b?
False
Suppose -4*n + 164 = -b, -b + 2*b = -5*n + 196. Let p = -23 + n. Does 7 divide p?
False
Let n(o) = -75*o. Is 15 a factor of n(-2)?
True
Let h(m) = m - 5. Suppose 3*g = -g + 28. Let l be h(g). Suppose 4 = -b, -l*n + 4*n + 3*b + 4 = 0. Is n a multiple of 4?
True
Let u = 6 - 6. Is 9 a factor of (1 - -24)/(u + 1)?
False
Let t = 45 + -36. Is t a multiple of 2?
False
Suppose 3*x + 2 = -7. Suppose 21 = -2*y - 3*d, 4*y + 4*d + 36 = -0*d. Is 15 a factor of -20*(x/y + -2)?
True
Let i = -3 - -6. Suppose 0*o - 2*o - 22 = -5*b, o - i = -b. Suppose 2*r = m + 9, -r - r - b*m = -34. Is 3 a factor of r?
False
Let z = 23 + 6. Let i = 8 + z. Suppose i = 4*h - 3*h. Is h a multiple of 13?
False
Let g = 8 - -1. Let u be (-3)/g + 92/6. Suppose u + 130 = 5*r. Does 15 divide r?
False
Suppose -5*n - 3*y = -n - 44, y = 0. Is 11 a factor of n?
True
Suppose m - 5*m = -8. Is 8 a factor of (20 - 2) + m*-1?
True
Suppose 5*n = 5*f - 110, -5*n - 88 = -5*f + f. Is 22 a factor of f?
True
Is 8 a factor of 246/10 + 4/10?
False
Suppose 5*q + 2*x = q + 232, 3*q = 2*x + 167. Is q a multiple of 14?
False
Suppose -5*f = -18 - 22. Suppose -z = -6 - f. Is z a multiple of 5?
False
Let p(w) = -w**2 + 8*w - 2. Let v = -2 + 8. Let d be p(v). Let g = d - -11. Is 9 a factor of g?
False
Suppose 2*t + 3*t - 335 = 0. Let c be 1/(-3) - 390/(-9). Let u = t - c. Does 12 divide u?
True
Let f = -9 + 1. Is (-12)/f*232/6 a multiple of 21?
False
Let k be ((-6)/(-5))/(2/20). Is 7/(27/k + -2) a multiple of 14?
True
Let b(h) = -7*h**3 - h**2 - h - 1. Is b(-1) even?
True
Let p = -56 + 82. Does 13 divide p?
True
Suppose 5*q - 44 = -f, 5*q - 32 = 2*q - 2*f. Suppose 0 = q*t - 752 + 272. Is 17 a factor of t?
False
Let k(a) be the first derivative of -5*a**2/2 - 9*a - 4. Is k(-7) a multiple of 9?
False
Suppose 0 = -4*x + 5*v + 108, -3*x = -4*x + 5*v + 42. Suppose 3*y + x = 4*g, 4 = g + 2*g + 4*y. Suppose g*p + 5 = 5*p. Is 5 a factor of p?
True
Suppose 3*f - 8 = 4*f. Let o = f - -3. Is ((-6)/o)/(3/80) a multiple of 16?
True
Let l(p) = -2*p - 8. Let a be l(-7). Suppose -a*o + 12 = -2*o. Is 2 a factor of o?
False
Suppose 0 = -3*r - o + 249, 4*o - 9 = 3. Is 10 a factor of r?
False
Suppose -3*z = p - 92, -2*p - 4*z + 186 = -0*p. Is 22 a factor of p?
False
Suppose 88 = 4*m - 272. Is 17 a factor of m?
False
Suppose 3*j + 5*u + 14 + 2 = 0, 0 = -5*j + 2*u + 25. Suppose 0 = -j*d + 25 + 23. Suppose n = d + 10. Is n a multiple of 13?
True
Let u = -56 - -131. Does 10 divide u?
False
Let l(n) = 13*n**2 + 2*n + 8. Is l(-4) a multiple of 16?
True
Let m = 6 + -2. Let y(v) be the first derivative of 7*v**2/2 - 5*v - 2. Is y(m) a multiple of 11?
False
Let k(x) be the first derivative of x**3/3 - x**2 - 5*x + 5. Is k(7) a multiple of 15?
True
Let s = 534 - 184. Is s a multiple of 14?
True
Let j = 439 - -235. Let k be (-6)/(-10) - j/(-10). Is (-4)/(-20) - k/(-10) a multiple of 3?
False
Suppose 8 = -3*b - 5*y + 23, 2*b - 15 = -5*y. Let k be b - 14*(-3)/(-6). Let g(r) = -3*r - 8. Is 5 a factor of g(k)?
False
Let h(r) = 2*r**2 - 5*r + 5. Let f be h(4). Let i = f - 12. Let x = 14 - i. Is x a multiple of 9?
True
Suppose 6*m = 2*m - 4. Is 13 a factor of (11 - m*2) + 0?
True
Let h = 7 - -1. Suppose -h = -5*n + 3*n. Suppose w + 5 = s - n*w, s = -5*w + 5. Does 5 divide s?
True
Let k = 108 - 55. Does 20 divide k?
False
Suppose 4*n - 180 = 2*n. Is 18 a factor of n?
True
Suppose -x + 19 = -2*x. Let t = 30 + x. Is t a multiple of 10?
False
Let i(h) = -4*h + 9. Let t be ((-54)/(-63))/((-1)/7). Is i(t) a multiple of 14?
False
Let m = 4 - 2. Let a = -3 + m. Does 17 divide -2 - a - (-1 + -19)?
False
Is ((-102)/85)/(4/(-290)) a multiple of 14?
False
Let g(h) = -3*h - 11. Is g(-12) a multiple of 11?
False
Suppose -12*a + 540 = 156. Does 5 divide a?
False
Let j = -7 + 2. Let d = j - -9. Suppose d*f = 207 - 15. Is 24 a factor of f?
True
Suppose -3*x + 2*x - 3*z + 126 = 0, -x = 4*z - 124. Does 14 divide x?
False
Let f(j) = -j - 6. Let i be f(0). Let s be i/(-9)*(-2 + 5). Does 11 divide (-195)/(-18) + s/12?
True
Let h be (-4)/(-3)*6/4. Suppose -h*j + 109 = 17. Is 23 a factor of j?
True
Let m(n) = -4*n + 1 + 0*n + 2*n + 0*n**2 + n**2. Does 6 divide m(-3)?
False
Suppose 0 = 3*t - t - 40. Let o = 31 - t. Let d = -7 + o. Does 4 divide d?
True
Let c(y) = 0*y**3 - 2*y**3 + y + 3*y**3 - 5*y**2 + 7 + 0*y. Does 3 divide c(5)?
True
Let z be 16/(3 - 140/44). Let f = z - -146. Is f a multiple of 17?
False
Let r be (-9)/(2/((-48)/9)). Let f be ((-15)/12)/((-2)/r). Let d = f + -7. Does 3 divide d?
False
Let d(l) = -12*l. Let u be d(-2). Let q = 9 - u. Is 5 a factor of 2/(-2 + (-36)/q)?
True
Suppose -46 = -6*l + 4*l. Is l a multiple of 8?
False
Is 61 a factor of 109*8*-7*(-3)/42?
False
Let f(z) = -3*z**3 - 2*z**2 + 1. Let w be f(-1). Suppose -2 = -w*r + 6. Let i(m) = 3*m + 3. Is i(r) a multiple of 15?
True
Suppose r + 145 = 5*z - 4*r, -5*r = 2*z - 37. Let b be (-57)/(-21) - (-4)/14. Suppose -b*j = -z + 2. Is 4 a factor of j?
True
Suppose -15 = 3*d - 3. Let f = 21 - d. Suppose -47 = -4*v + f. Does 9 divide v?
True
Is 24 a factor of 1 + 0/1 + 71?
True
Let y = -6 + 2. Let i = y + 7. Suppose -89 = -5*b + 2*z + 29, z + 70 = i*b. Is 9 a factor of b?
False
Suppose 3*m - 3*s - 27 = 18, 4*m + 3*s = 60. Is m a multiple of 8?
False
Suppose -3 = -x + 4. Is 2 a factor of (-4)/14 + 44/x?
True
Let c = -4 + 1. Let w(b) = -b**3 + b**2. Let r be w(c). Does 11 divide -1 + r + 6/(-3)?
True
Let m = 11 + -5. Suppose -4*w = 0, 3*u + m*w - 4*w - 12 = 0. Su