 7*g = -4*d + 70. Is 15 a factor of d?
False
Is 0 - -274 - 4/4 a multiple of 39?
True
Let h(m) = m**2 - 9*m - 35. Is h(16) a multiple of 5?
False
Suppose -5*r + 5*d + 40 = 0, 3*r - d = -r + 32. Let p = 19 + r. Is p a multiple of 26?
False
Suppose -5*l + 50 = -0*l. Does 4 divide l?
False
Suppose 0*a - 5*a = -310. Is a a multiple of 31?
True
Let g(l) be the second derivative of l**5/20 + 7*l**4/12 + l**3 - 3*l**2 + l. Does 7 divide g(-5)?
True
Let n = 83 - -1. Does 37 divide n?
False
Suppose -4*t - t + 36 = b, 0 = 4*t + 16. Does 8 divide b?
True
Is -1 + (-4 - -5) + 14 a multiple of 7?
True
Let c = -284 - -480. Is c a multiple of 49?
True
Let i = 0 - -3. Suppose -h + i = -0*h. Suppose h*b - 2*o = 71 - 2, 4*b + 4*o - 92 = 0. Is b a multiple of 11?
False
Let v = -204 - -636. Suppose -4*b + 24 = -0*b. Is (4/b)/(8/v) a multiple of 18?
True
Let k(l) = l**3 - 5*l**2 - 7*l + 9. Let h be k(6). Suppose 4*u - 39 - 175 = -2*q, -u - h*q = -66. Is 17 a factor of u?
True
Suppose 2*u = 3*u + 2*z - 92, 5*z = 3*u - 331. Is 6 a factor of u?
True
Let p = 4 - 5. Let x(r) = -40*r**3 + r**2. Let q(b) = -120*b**3 + 3*b**2. Let i(j) = 6*q(j) - 17*x(j). Is 18 a factor of i(p)?
False
Is 26/((-1)/3 + 25/30) a multiple of 8?
False
Does 18 divide 1593/39 - (-4)/26?
False
Suppose -4*q - 56 = u - 2*u, 3*u + q = 194. Is u a multiple of 10?
False
Suppose -g = -4*s + 26, 0 = -4*s + 3*g + 4 + 26. Let d = s + -3. Suppose -6 = -d*w - 0*w - 2*i, -w - i + 2 = 0. Is w even?
True
Let t(s) = -s**2 - 5*s. Let a be t(-4). Suppose -a*c + 5*r = -141, -3*c + 2*r = -r - 105. Does 17 divide c?
True
Let x be 8*5/30*3. Let y be (0/((-2)/2))/1. Suppose y = 4*q - 8, x*q = u - 3*u + 36. Is u a multiple of 7?
True
Suppose 0 = -5*l + 8 + 2. Suppose -l*o + 0 + 2 = 0. Does 6 divide o*9/1*1?
False
Let r(i) = -i**2 - 5*i - 2. Let d be r(-5). Suppose 2*u = 2*q + 18, -2*u = 5*q + 2*u. Is 7 a factor of (26/q)/1*d?
False
Suppose -4*d + 7*y + 348 = 3*y, -2*d + 4*y = -180. Is 14 a factor of d?
True
Suppose 4*x + 227 = 11. Is 1/((-111)/x - 2) a multiple of 4?
False
Suppose 16 = 4*w, -h + 115 = -w + 3*w. Is h a multiple of 31?
False
Let c be 2 + 3 - (-2 - 0). Let i(f) = 3*f**2 - 2 + 9*f + 0*f**2 - 4*f**2. Is i(c) a multiple of 12?
True
Suppose g = 2*g - 42. Suppose g = -5*o - a, -2*o = o - 3*a + 18. Does 4 divide (-4 + 1)*o/6?
True
Let l(p) = p**2 - 3*p + 8. Does 26 divide l(-7)?
True
Let w(f) = -f + 28. Does 6 divide w(16)?
True
Let d(n) = 4*n + 1. Does 8 divide d(9)?
False
Let k(s) = -s**2 + 6*s + 6. Let d be k(10). Let x be ((-15)/(-10))/((-1)/d). Let w = 80 - x. Is 13 a factor of w?
False
Does 40 divide 4/6*(-9)/(-6)*211?
False
Let i be (8/(-16))/(1/(-26)). Is 12 a factor of (-2)/i + 1765/65?
False
Let y(x) = x**2 - 2*x - 7. Let r be y(5). Let z = -1 + r. Is z even?
False
Let k(c) = -6*c. Does 4 divide k(-2)?
True
Suppose 7*j + 24 = 3*j. Is j/3 - 13/(-1) a multiple of 11?
True
Suppose -848 = -4*v - 3*r - 197, -v + 4*r + 139 = 0. Is v a multiple of 53?
True
Let t = -101 - -181. Is 16 a factor of t?
True
Let v(k) = -k**3 - 5*k**2 - 9*k - 4. Let t be v(-6). Is 3 a factor of t/10 + 10/25?
True
Suppose -5*u - 6 = -4*i - 0*u, 0 = -2*i - 2*u - 6. Let s(p) = 35*p**2 + p. Does 17 divide s(i)?
True
Suppose 5*z - 15 = -l, -2*l = 3*z - 4*l - 9. Suppose 4*c = 4, 3*x + z*c = -c + 46. Does 7 divide x?
True
Let j(u) be the first derivative of u**5/60 - 3*u**4/8 - 2*u**3/3 + 3. Let v(h) be the third derivative of j(h). Is v(6) a multiple of 3?
True
Let b = -2 - 0. Let w be b + 8 - 1/1. Suppose 0*q + w*q = 105. Is 7 a factor of q?
True
Let f(k) = 8. Let p(i) = -i - 16. Let w(x) = 5*f(x) + 3*p(x). Let d be w(-8). Let j = d - 9. Is j a multiple of 6?
False
Suppose -4 = -3*l + 8. Suppose 5*n = 3*n - l. Is 7 a factor of (0 + 14)/(n/(-2))?
True
Let q(g) = g**3 + 4*g**2 - 6*g - 5. Let m be q(-5). Suppose m = 4*b, -10 = o - 2*o - 2*b. Does 10 divide o?
True
Let b = -169 - -267. Does 14 divide b?
True
Let g(s) = -s**2 - 5*s + 3. Let l be 18*5/((-15)/2). Let n = l + 7. Does 3 divide g(n)?
True
Does 13 divide 108 + 1 + (3 + -1)/1?
False
Suppose f + 22 + 25 = 0. Let c be f/(-1*(1 + -2)). Let q = c + 66. Is 16 a factor of q?
False
Suppose 102 = 5*m + c, 56 = 5*m - 4*c - 61. Is 21 a factor of m?
True
Let j(g) = -3*g - 1. Let y be j(-2). Suppose 546 - 136 = 5*t + y*i, -2*i = -3*t + 266. Suppose 4*s - 3*s = 2, 3*m - 5*s = t. Does 9 divide m?
False
Let s(a) = a**3 + 7*a**2 - 11*a - 2. Let m = -15 + 7. Is s(m) a multiple of 12?
False
Suppose 5*x + 233 = 613. Does 4 divide x?
True
Suppose 4*d - 117 + 43 = 2*t, -d - 5*t - 9 = 0. Suppose -2*j + d = -0*j. Is 3 a factor of j?
False
Let n(y) = 8*y - 1. Let z be n(-1). Let g = z + 27. Is g a multiple of 9?
True
Let o(j) = -2 - 5*j**3 + 4*j**3 + j - 4 - 3*j**2. Let q be o(-6). Is (q/(-10))/((-3)/10) a multiple of 16?
True
Let b(c) = -c**3 - 2*c**2 - 3*c - 2. Let d be b(-2). Suppose 0 = y - 3*y + d. Suppose 2*v + l = -2*l + 2, 20 = 4*v + y*l. Is v a multiple of 6?
False
Suppose g - 16 = 4. Suppose -p = g - 7. Let w = p + 41. Does 10 divide w?
False
Suppose 6*g - 2*t = 2*g + 18, 2*t - 38 = -4*g. Suppose 37 = -2*d + g. Is 5 a factor of 3 - (2 + (d - 1))?
False
Let t = 9 - -17. Does 12 divide t?
False
Suppose 37 = 2*a - 13. Suppose 2*j + 3*j = a. Suppose 0*q + j*q = 35. Is 7 a factor of q?
True
Let n(x) = -x + 4. Let j be n(-8). Let h(l) = -l**2 + 53. Let r be h(0). Suppose j = 5*m - r. Is 9 a factor of m?
False
Let q be 2/7 + 24/14. Suppose -3*t + q = -2*t. Suppose 0 = -4*u + l + l + 48, -2*u + t*l = -24. Does 6 divide u?
True
Let n = 56 + -38. Does 13 divide n?
False
Let x = -7 + 22. Does 12 divide x?
False
Let t be 5*(-1)/(10/12). Let s(b) = b + 13. Is s(t) a multiple of 5?
False
Let h(r) = -r. Let u be h(6). Suppose 20 = -4*i + 2*i. Let m = u - i. Does 2 divide m?
True
Suppose 5*v - 2*x = 392, -5*v + 2*x + 3*x + 380 = 0. Is v a multiple of 20?
True
Let t be (-12)/2*(-26)/4. Suppose -7*o + 27 = -4*o. Suppose -2*g + t - o = 0. Does 8 divide g?
False
Suppose -2*m + 16 = -2*v - 6, m + 4*v = 21. Suppose -l - 3*u = -1 + 5, 4*u - m = -5*l. Does 4 divide l?
False
Let f be (-3)/(-9)*(6 - 0). Suppose -98 = -4*y - 0*d + 3*d, 50 = f*y - d. Does 13 divide y?
True
Let z(l) = 2*l + 16. Let j be z(-5). Suppose 33 - 219 = -j*b. Is 12 a factor of b?
False
Suppose 2*q - 142 = -2*j, 2*j - 2 + 0 = 0. Is 18 a factor of q?
False
Suppose -2*j = -8*j + 660. Is 22 a factor of j?
True
Let m = 39 + -6. Is 16 a factor of m?
False
Let k be ((-5)/2)/(-5)*-6. Let x = 3 - k. Does 6 divide x?
True
Let l(n) = -2*n. Let b be l(-3). Let u(v) = v**2 - 3*v - 5. Is u(b) a multiple of 5?
False
Let m(u) = u**3 + 5*u + 3. Let r be m(4). Suppose -3*z + 0 = -r. Is z a multiple of 15?
False
Let z(c) = 3*c + 4. Let p = -5 - -7. Suppose 0 = p*h - 2, -3*h = -5*s + 19 - 2. Is 10 a factor of z(s)?
False
Suppose -2*q = 5*p - 34, 0 = -2*q - 2*q + 3*p + 94. Is 6 a factor of q?
False
Suppose 7*p - 75 = 2*p. Suppose 5*j = -g + p, -3*g + 27 = -3*j - 0*j. Is 10 a factor of g?
True
Let y(b) = 0*b + 31*b**2 - 31*b**2 - 1 - 4*b**3 - b. Let o = 0 - 2. Is 11 a factor of y(o)?
True
Suppose 0 = -4*c - 1 + 13. Suppose -2*b = 5*g - 14, 4*g + 2*b - c*b - 19 = 0. Suppose -2*l = k + g*k - 37, -2*k = -2*l + 30. Is 12 a factor of l?
False
Suppose 11*i - 618 = 8*i. Is 24 a factor of i?
False
Suppose -4*v + r - 6 = 5, 4*r - 11 = 5*v. Let j be ((-5)/v)/(1/9). Is 7 a factor of (-1 - -2 - j)/(-1)?
True
Does 10 divide 55*(3*6/(-15) + 2)?
False
Let j(l) = -l + 1. Let s be j(-4). Suppose -s*k - 49 + 169 = 0. Does 16 divide k?
False
Suppose -3*l - 85 = -8*l. Suppose -2*u = o - 14, -l = 5*o + 5*u - 62. Suppose o*i + 88 = 5*c, 3*i = -i - 8. Does 8 divide c?
True
Suppose 0 = 5*i + 2*r - 269, 0 = -5*r - 3 - 12. Is 11 a factor of i?
True
Let l(s) = -3*s - 6. Let w = 6 - 13. Does 5 divide l(w)?
True
Does 34 divide 3/(412/136 + (-3)/1)?
True
Suppose -3633 + 623 = -10*o. Is 19 a factor of o?
False
Suppose 4*m - 22 = 2*o - 5*o, 2*m + 3*o - 14 = 0. Suppose -2*j + 22 = -m. Does 13 divide j?
True
Let l = 107 - 73. Is l a multiple of 3?
False
Let d(p) = p**3 - 7*p**2 - 13*p + 45. Does 28 divide d(9)?
False
Let i = -78 - -129. Is 30 a factor of i?
False
Suppose -4*n = -4*q - 3*n + 42, -n - 52 = -5*q. Is q a multiple of 10?
True
Suppose 4*o - 34 = 3*k + 77, 2*o - 49 = -5*k. Let u = 45 - o. 