pose -18*r + 4850 = 962. Is r a multiple of 18?
True
Suppose -6*b = -b - 70. Let i = b - 17. Does 4 divide ((-104)/12)/(2/i)?
False
Let z(w) = 18*w**2 + 20*w - 76. Does 17 divide z(5)?
False
Let p = 223 + 401. Is 104 a factor of p?
True
Let a(s) = -2*s**2 + 10*s + 2. Let z(t) = -t**2 - t - 1. Let x be 3/(3/(-1 + 2)). Let p(w) = x*a(w) - z(w). Is p(8) a multiple of 7?
False
Let u(v) = -v**3 + 6*v**2 - 3*v + 221. Does 82 divide u(0)?
False
Let h be ((-32)/20)/(2/(-30)*2). Suppose -432 = 6*o - h*o. Is 12 a factor of o?
True
Let a = 77 + -28. Let f = a + -11. Is 7 a factor of f?
False
Let f be (-34)/(-3) + 14/21. Suppose 0 = -13*q + f*q + 72. Does 9 divide q?
True
Is (-44)/748 + (-18378)/(-17) a multiple of 23?
True
Let c be 8/6 - 4/12. Let v be 2 + (-4)/c - -14. Suppose -v*l + 42 = -10*l. Is 7 a factor of l?
True
Let h(v) = v**2 + 9*v - 9. Let t be h(-15). Suppose 3*w - t = -3*b, 2 = -5*w + 2*b + 151. Is 15 a factor of 3 + (w - (-1 - -3))?
True
Suppose -4*i + 2*a + 2058 = 0, 18*a = -5*i + 21*a + 2572. Does 38 divide i?
False
Let b(n) = -37*n**2 - 2*n - 1. Let u be b(-1). Let h = u - -51. Let j = h - 9. Is 3 a factor of j?
True
Let x(h) = -157*h - 177. Is x(-6) a multiple of 17?
True
Is ((26 - -2) + 0)*(27 + -16) a multiple of 44?
True
Let j(d) be the first derivative of -d**3/3 - 3*d**2 - 3*d + 8. Let h be j(-2). Suppose 3*s = -2*o + 32 - h, 5*o + 2*s = 73. Does 15 divide o?
True
Let v(n) be the first derivative of -n**2/2 - 3*n + 6. Let q be v(-6). Suppose 3*c = -12, c - 13 = -q*p - c. Does 7 divide p?
True
Suppose p - 5092 = -4*c + 3906, 4*c - 9008 = 4*p. Does 25 divide c?
True
Let y(f) = -f - 30. Let b(p) = -1. Let v(h) = 6*b(h) - y(h). Does 6 divide v(0)?
True
Let v(a) = a + 23. Let z be v(-19). Suppose 3*i - 88 = -z*q, 5*q = 3*q + 3*i + 62. Is 3 a factor of q?
False
Suppose 2*h = -h + 5*c - 14, 0 = -5*h - 4*c + 26. Suppose 0 = -h*w - 0*x - 3*x + 220, -w + 128 = -3*x. Let j = w + -63. Is 14 a factor of j?
False
Let l = -1220 + 3020. Is l a multiple of 18?
True
Is (0 - -2) + (-7 - -76) a multiple of 8?
False
Let x(p) = -p**3 + 9*p**2 - 7*p + 2. Is x(6) a multiple of 3?
False
Suppose 0 = 5*j - 17 + 7. Let y(z) = 0*z - 2 + z**j - z - 3*z. Is y(6) a multiple of 7?
False
Suppose z = -l + 1090, 9*z - 1082 = -l + 4*z. Does 11 divide l?
False
Let i be (4 - 1) + 1 + -4. Suppose -k + 16 = 3*y - i*k, -13 = -2*y - 3*k. Suppose p + 71 = y*n + 21, 4*p = -3*n + 53. Does 4 divide n?
False
Let x be (-1 - (3 - 2)) + 20. Let r = -14 + x. Suppose 0 = r*b - 66 - 38. Does 16 divide b?
False
Suppose -9*p + 299 = -34. Does 8 divide p?
False
Let l(t) be the second derivative of -t**5/20 + 11*t**4/12 + 13*t**3/6 - 9*t**2/2 + 40*t. Is 14 a factor of l(10)?
False
Is (-24 - 1)*(-768)/160 a multiple of 8?
True
Suppose -7*q + 46 + 101 = 0. Suppose 0 = 3*y - 51 - 60. Let d = y - q. Is 7 a factor of d?
False
Suppose f - 2 + 12 = 0. Is 51 - (-3)/((-15)/f) a multiple of 21?
False
Let y be 38/8 + (-2)/(-8). Suppose a - 34 = 5*l, 2*a = 4*a - y*l - 73. Is a a multiple of 38?
False
Let w be ((-3)/2)/((-36)/192). Suppose w*g - 138 = 206. Is 16 a factor of g*5/(4 - -1)?
False
Let h = -313 + 660. Let y = -245 + h. Is 12 a factor of y?
False
Let v(r) = -r**2 - 6*r + 11. Let s be v(-7). Suppose j + 40 = s. Does 16 divide 3 + 1 + j/(-3)?
True
Let o(c) = c**3 + c**2 - 3*c + 5. Let z be o(4). Suppose -x = q - z, 4*q - 286 = x + x. Does 24 divide q?
True
Let n(d) = -13*d + 3. Let r be 3/((-3)/(-6)*-1). Is 9 a factor of n(r)?
True
Suppose 0 = -t - 3 + 401. Suppose -110 = -s + 6*r - r, 4*s = -r + t. Suppose 60 + s = 4*a. Is 8 a factor of a?
True
Let j be 3 + (-9 - -2) + 9. Suppose -5*w - 38 = -j*z + 22, -z - 4*w = 3. Does 10 divide 18 + (-1 - z/3)?
False
Let t be 3/5 + (-8)/(-20). Let w be (-7 - -7) + t*2. Suppose 45 = w*d - 63. Is d a multiple of 22?
False
Let z(p) = -p - 4. Let h be z(-14). Is 15 a factor of (-3 - (-54)/h)/(2/40)?
False
Let k(x) = 5*x**3 + x**2 + 5*x - 3. Let s = -44 - -47. Is k(s) a multiple of 26?
True
Suppose -z - 2*z = -6, 3*m = 3*z + 3. Suppose 184 = m*q + 4*a, 3*q = -q - a + 241. Is 7 a factor of q?
False
Let w = -556 + 867. Is 18 a factor of w?
False
Does 38 divide (2120/(-7))/((400/(-70))/20)?
False
Suppose -s = j - 4, 3*s + 3 = -j + 9. Is 4 a factor of s*(3 - -11) - 2?
True
Is 31 a factor of 5 - (0 + 7)*(3 - 224)?
False
Let t(d) = -2*d - 6. Let g be t(-5). Suppose 112 = -6*o + g*o. Let q = o - -104. Is q a multiple of 34?
False
Suppose 4*n - y - 15985 = 0, -5*y + 2705 = n - 1286. Does 111 divide n?
True
Let h(j) = -j**3 + j**2 + j - 12. Let o be h(0). Suppose -19*c - 29 = -941. Let v = o + c. Does 21 divide v?
False
Let o(w) = -w + 16. Let k be o(11). Suppose k*q + 3*s + 0*s = 3, q - 7 = s. Suppose 97 = 2*h + 5*f, 0*h - 153 = -q*h - 5*f. Does 14 divide h?
True
Let r(j) = 22*j. Let k(y) = -y**3 + 4*y**2 + 4*y - 4. Let f be k(4). Suppose -2*o + 4*o - f = 2*b, 16 = o - 3*b. Does 10 divide r(o)?
False
Suppose -y - 9 = -5*w, y - 3*y = -w. Does 11 divide (-1432)/(-32) + w/8?
False
Suppose 8 = 5*x + g, 3*g + 0*g = 5*x - 16. Suppose 3 = -c + 2*y, -5*y + x = -3*c - 4. Suppose 0 = -c*i + 2*i + 12. Does 4 divide i?
True
Let d(c) = c**3 - 8*c**2 + 18*c - 69. Is 18 a factor of d(8)?
False
Let o be 2 + 0 - (2 + 12). Is 11 a factor of ((-58)/12 - (-8)/o)*-14?
True
Let j(q) = 39*q - 45. Is j(4) a multiple of 5?
False
Let d(y) = -6*y + 2. Let b = -3 - -3. Suppose -2*r - 3*r - 10 = b. Is d(r) a multiple of 14?
True
Suppose 6*g = 1539 + 711. Suppose -11*b = -6*b - g. Is b a multiple of 25?
True
Let f(g) = g**2 - 5*g - 5. Suppose 7*l - 2*l = 2*s + 1, s + 2*l - 13 = 0. Let o be f(s). Is 2 a factor of o/(-10)*-2*5?
False
Let g be (-3 - -1)*(-26)/13. Let r = g + -4. Suppose 68 = 4*i - r*i. Does 17 divide i?
True
Let x be 1232/20 - 0 - (-6)/(-10). Let u = x + 99. Is u a multiple of 12?
False
Suppose -w + 48 = 2*w. Suppose -56 = 4*a - 8. Let u = a + w. Is 2 a factor of u?
True
Let p(x) = 3*x**2 - 2. Let g be p(-2). Suppose 0*i = -4*i - 5*m + 419, 2*i + 5*m - 207 = 0. Let r = g + i. Is 13 a factor of r?
False
Let v be 1/(14/4 - 3). Suppose 22 = 2*n + v*x + 6, -3*n + 3*x + 54 = 0. Does 7 divide n?
False
Is 84/(-24)*792/(-7) a multiple of 9?
True
Suppose -2*o - 9 = o. Let c be o + 104 + (-3 - -3). Let y = -45 + c. Is 12 a factor of y?
False
Let m(f) = f**2 + 7*f + 2. Suppose -3*n = -15, 4*i - 2*n + 49 = -n. Is m(i) a multiple of 23?
True
Suppose 0 = 3*n - 7*n - 3*x + 316, 0 = -4*x. Suppose -6*k + 515 + n = 0. Is 11 a factor of k?
True
Let c(n) = 6*n - 4. Let k be c(4). Suppose -k = -w - 4*w. Suppose 5*x - 71 = -w*t, -x = 2*x + t - 37. Does 11 divide x?
True
Suppose 3*m + 2*y - 496 = 0, -4*m = -2*m + 3*y - 339. Is 18 a factor of m?
True
Let y be (-2)/(-3) + (-125)/(-15). Suppose 0 = y*p - 11*p + 8. Suppose -232 = -p*u - 36. Does 12 divide u?
False
Suppose 26*m - 31*m + 340 = 0. Let t = m + 2. Is 5 a factor of t?
True
Let b(q) = 4*q**2 + 12*q + 24. Let i be b(-5). Is (13 + -14)/((-1)/i) a multiple of 32?
True
Does 49 divide (4*(-4)/(-80))/((-6)/(-3210))?
False
Let c = 4707 - 2826. Is 13 a factor of c?
False
Let x(c) be the first derivative of -c**4/4 + c**3/3 + 53*c - 1. Let l = -1155 + 1155. Is x(l) a multiple of 11?
False
Let c be ((-20)/(-30))/(4/(-6)). Let x(k) = -k. Let b(w) = -2*w. Let g(q) = c*b(q) + 3*x(q). Is 2 a factor of g(-2)?
True
Suppose 0 = 2*h - 5*z - 89, h - 47 = -4*z + 7*z. Is h even?
True
Let q(o) = 297*o + 3. Let n be q(1). Suppose 5*g + 2*u + 2*u - 300 = 0, 0 = -5*g + 5*u + n. Is 22 a factor of g?
False
Let g = 266 + -131. Does 5 divide g?
True
Let d be (-4)/40*-5*4. Does 12 divide (3585/(-30))/((-1)/d)?
False
Let q = -82 - -45. Let h = q - -94. Does 19 divide h?
True
Suppose -600 = -4*b + 2*g, -2*b - 3*g + 316 = -0*g. Is 15 a factor of b?
False
Let g(n) = -5*n**2 + 14*n - 3. Let y(k) = -k**2 + k + 1. Let l(u) = -g(u) + 6*y(u). Let b be l(-9). Let t(d) = -2*d + 2. Is t(b) even?
True
Suppose -4*y + 6233 = 2*h - 4515, 4*y + 4*h = 10744. Does 32 divide y?
True
Let d = 1320 - 1260. Does 4 divide d?
True
Suppose 78 = 2*b - h + 183, -2*h - 240 = 5*b. Let q = 171 + b. Is q a multiple of 30?
False
Suppose 4*o - 734 = 3*t, 0 = 11*o - 7*o + 3*t - 722. Is o a multiple of 14?
True
Let j be (-10 - -6)*-1 - (-54)/1. Suppose -2*t + j = -4*r + 308, 4*r + 4*t - 268 = 0. Does 32 divide