t s(a) = -3*a**3 + 6 + 0*a - 2 - 25*a**2 + 19*a**2 - 3*a. Does 9 divide s(-3)?
False
Let v = 3193 + -1758. Is 11 a factor of v?
False
Suppose r + 1940 = 11*r. Does 41 divide r?
False
Let p(f) = f**2 - 4*f. Let q be p(4). Suppose 0 = 3*z - q*z. Suppose -6*c + 1 + 29 = z. Is 2 a factor of c?
False
Let c = 48 + -27. Suppose h - 139 = -c. Does 23 divide h?
False
Let i = -1267 + 3287. Does 101 divide i?
True
Let o(a) = a**2 + 3. Let n be o(0). Suppose n*v - 17 - 73 = 0. Suppose -3*j + 57 = 4*l - 2*l, 0 = -j + 3*l + v. Is 7 a factor of j?
True
Let g = -837 - -588. Does 10 divide g*(21/(-9))/7?
False
Suppose -34 = 5*w - 4. Let t = w + 75. Let k = 117 - t. Does 16 divide k?
True
Suppose 2*r + 3*i = 1 + 35, -i = 5*r - 64. Suppose 0 = m, r + 28 = 4*w + m. Is 3 a factor of w?
False
Let a(i) be the second derivative of i**5/20 - i**4/4 + 2*i**3/3 - 13*i**2/2 - 22*i. Is 14 a factor of a(6)?
False
Let k(i) = 3*i**2 - 7*i + 5. Let f(v) = -v**3 - 16*v**2 - 13*v + 38. Let n be f(-15). Is 21 a factor of k(n)?
False
Does 7 divide ((-3)/1)/((-1854)/616 - -3)?
True
Let q(m) = m**2 + m + 46. Is q(-19) a multiple of 4?
True
Let y(m) = 64*m - 2. Let d(h) = h. Let f(g) = -10*d(g) - y(g). Does 21 divide f(-1)?
False
Let i = 10 - -2. Let s = -16 + i. Is 9 a factor of (-976)/(-24)*(-6)/s?
False
Let k = 196 - 151. Is k a multiple of 2?
False
Suppose -4 = -m + j, 5*j - 2 = m - 22. Suppose -2*l + 159 = 2*h + 39, l = m. Is h a multiple of 5?
True
Let x = -206 - -754. Does 64 divide x?
False
Suppose 4*o - 4*l = 537 + 435, 0 = -2*o + l + 490. Is 19 a factor of o?
True
Let h(j) = -j**3 - 7*j**2 - 5*j + 5. Let x be h(-6). Suppose -2*b + 4*b = -8. Is -4 - -5 - (x + b) a multiple of 5?
False
Suppose 0 = -h - 4*h - 15. Let b be (-1 + 6/h)*-13. Let a = b - -15. Is a a multiple of 17?
False
Suppose -3*h + 4*s + 4964 = 0, 3*h - 453 - 4495 = -4*s. Is 21 a factor of h?
False
Let t(s) = 12*s - 6. Let g be t(3). Is 4 a factor of (112/30 + (-12)/g)*6?
True
Suppose 228 = 16*k - 15*k. Does 52 divide k?
False
Let k be 2/((-8)/12)*-7. Let v be (-4)/18 - k/27. Does 30 divide 0 - -4 - (v + -25)?
True
Let s = -3 - -5. Suppose -36 = -6*w + s*w. Is 2 a factor of w?
False
Let z(m) = m**3 + 11*m**2 - 20*m + 28. Suppose 0 = 14*i + 225 - 57. Does 31 divide z(i)?
True
Suppose 4*s = 9*s + 425. Let r = 124 + s. Is r a multiple of 5?
False
Let q be (-4 + -1)*(-2082)/15. Is ((-9)/(-6))/(2 + q/(-348)) a multiple of 46?
False
Let h(i) = -14*i**3 + 6*i**2 + 4*i + 3. Suppose -f - 5*u = 12, -5*f = -4*u - 1 + 3. Is 29 a factor of h(f)?
False
Let x(u) = 2*u**2 - 5*u - 9. Let l be x(4). Does 5 divide (-540)/(-24)*2/l?
True
Let u be 3/30*-4 - 35/(-25). Let d(n) = 81*n + 2. Is d(u) a multiple of 15?
False
Does 32 divide ((-5)/(-4) - 0)/((-1)/(-52))?
False
Let o(x) = x**3 - 18*x**2 - 6*x - 65. Is o(19) a multiple of 77?
False
Suppose b + 8 = -3*b. Let x be 3/b*(-32)/24. Suppose -84 = -2*z + k + 26, -100 = -x*z - 4*k. Is z a multiple of 19?
False
Does 18 divide 0 - -5 - 252043/(-121)?
True
Suppose 2*k = k + 85. Let o = 26 + k. Does 37 divide o?
True
Let f = -9 - 9. Let n(w) = -w**2 - 28*w - 11. Is n(f) a multiple of 13?
True
Suppose 25993 = 40*b - 29*b. Does 15 divide b?
False
Let n(w) = -75*w - 180. Is n(-4) a multiple of 5?
True
Let w = 10428 - 6542. Is w a multiple of 29?
True
Suppose 2*u = -23 - 11. Does 2 divide (-3 - -1)/(2/u)?
False
Let h be 6 - (-2 - -5)*1. Suppose -k = h*k - 600. Suppose -2*l + 2*p = -60, 5*l = -0*p - 3*p + k. Does 10 divide l?
True
Suppose 0 = -0*b + b + 10. Let r(t) = 4*t + 10. Let j be r(b). Is 10 a factor of (-34)/(-2) - j/10?
True
Suppose 5*s - g = 4135, -5*s + 974 = 3*g - 3181. Suppose -t + s = 2*t. Suppose -3*j - j + t = 0. Is 16 a factor of j?
False
Let o(d) = d**2 - 6. Let n be o(3). Suppose -n*r + 12 = r. Suppose 90 = -m + r*m. Is m a multiple of 9?
True
Let v = 801 - 612. Is v a multiple of 3?
True
Let r = 83 + -93. Is (r/(-8))/((-2)/(-104)) a multiple of 8?
False
Let n(d) = -3*d**2 - 5*d + 7. Let o be n(-4). Is 9 a factor of ((-4)/10)/(o/5670)?
True
Suppose -2496 = -37*x + 2795. Is x a multiple of 11?
True
Suppose -12 + 92 = 5*i. Let t be ((-23)/3 - 2) + (-6)/18. Let j = i + t. Is j a multiple of 2?
True
Let q = 8 + 131. Suppose 0 = -5*u + q + 276. Suppose 3*n = u + 34. Does 17 divide n?
False
Let q = 342 + -307. Does 2 divide q?
False
Let p(x) = -2*x**3 + 43*x**2 + 12*x + 126. Does 46 divide p(20)?
False
Let l(t) = 44*t - 28. Is 8 a factor of l(5)?
True
Let k be (-1)/(-3)*(-1 - -31). Let o = 18 - k. Does 4 divide o?
True
Suppose l = 6*l - 60. Suppose -100 - 128 = -l*d. Does 17 divide d?
False
Let m(h) = -21*h**3 - 3*h**2 + 3*h - 9. Is 51 a factor of m(-4)?
True
Let y(g) = g**3 + 14*g**2 + 13*g + 6. Is 46 a factor of y(-10)?
True
Suppose -5*v = -3*v + 12. Suppose 8*z - 99 = -91. Does 26 divide 42 - (z + (v - -2))?
False
Suppose 23*x = 34838 + 23467. Is x a multiple of 13?
True
Let n(k) = 4*k**2 + 10 + k + 1 - 5. Is 13 a factor of n(-3)?
True
Suppose 16 = l - 3*l. Suppose u = 4*u + 111. Let o = l - u. Does 11 divide o?
False
Suppose -63*h + 73*h - 2370 = 0. Is 2 a factor of h?
False
Suppose 4*w - d = -2272 + 6484, -5*w + d + 5266 = 0. Is 35 a factor of w?
False
Suppose -2*q + 30 = 3*o - 6*q, 0 = q. Is 38 a factor of (1/(-5) + 1902/o)/1?
True
Let h(g) = -g**3 - 6*g**2 + 16*g + 9. Is h(-8) even?
False
Let o(d) = 9*d - 4. Let j be o(1). Suppose 0 = -j*p + 78 + 37. Is p a multiple of 4?
False
Let q = -14 + 8. Let v be (-675)/(-15) + q/(-2). Suppose -h = -v + 9. Is 13 a factor of h?
True
Suppose -4*c + 5685 + 9227 = -2*d, -3*c + 3*d = -11181. Is c a multiple of 20?
False
Suppose 0 = -10*v - 10250 + 48150. Is 133 a factor of v?
False
Let w = -136 + 271. Does 27 divide -1*4/((-20)/w)?
True
Suppose 3*f - 200 = 2*f - 4*r, -5*f - r = -1057. Does 8 divide f?
False
Let t(l) = -21*l - 6. Let h = 14 - 16. Does 6 divide t(h)?
True
Suppose -15 = 3*u, 0*z = -3*z + 5*u + 181. Suppose -3*f = c + 40, 7*f + 44 = -c + 3*f. Let s = c + z. Does 14 divide s?
False
Let h(t) = t**3 - 4*t**2 + 2*t + 2. Let i be h(3). Let n = 1425 - 1431. Is 20 a factor of i/((n/81)/2)?
False
Let s(g) = 54*g - 2. Let k be s(3). Suppose -5 = 4*p + 219. Let j = k + p. Does 11 divide j?
False
Suppose -s = -0*s + 25. Let p = s + 59. Is 12 a factor of p?
False
Suppose -5*g - 23 = -0*f - 4*f, g + 3 = 0. Suppose -n + 149 = 4*v, 0 = -0*n + 2*n - f*v - 288. Is 29 a factor of n?
True
Suppose 29 - 8 = 3*z. Suppose z + 1 = 4*o. Suppose -o*x = -4*x + 48. Is x a multiple of 6?
True
Let y(v) = 9*v**2 - 2*v - 8. Let p = 11 - 7. Does 16 divide y(p)?
True
Is (-64)/(-48) - ((-1454)/3 - 3) a multiple of 25?
False
Let u(r) = 14 + 15 - 4*r - 12. Let b be u(8). Let l = -8 - b. Does 3 divide l?
False
Let g = 11 + 17. Let c be (-3)/7 - 1640/g. Let l = c + 82. Is l a multiple of 12?
False
Let u(w) = w**2 - 6*w - 9. Let a be u(7). Let y(c) = -146*c - 4. Let r be y(a). Suppose -108 = 4*d - r. Does 9 divide d?
True
Let q = 1455 + -1323. Is 2 a factor of q?
True
Suppose -11*l + 922 = -2301. Does 30 divide l?
False
Suppose 0 = -n - 3*n + 336. Suppose -h - 3*h = -2*o + n, 0 = 2*o - 5*h - 87. Does 9 divide o?
True
Let h = 9 + -7. Let d(x) = -x**3 + 4*x**2 - 4*x + 3. Let p be d(h). Suppose 72 = 5*s - p. Is 10 a factor of s?
False
Let t(g) = g**2 + 3*g - 10. Let j be t(-5). Suppose -12*q + 10*q + 276 = j. Is 15 a factor of q?
False
Let j = -1 + 4. Suppose 0 = j*o - 6*o. Suppose 3*s + o*s - 171 = -5*g, 2*g - 60 = -4*s. Is 18 a factor of g?
True
Suppose 11*i - 7*i - 372 = 0. Suppose -i - 11 = -4*z. Does 19 divide z?
False
Suppose h - 45 = -n, -2*h + 0*h - 54 = -n. Is 3 a factor of n?
True
Let w = 7 - 5. Suppose -3*r + w*r - 17 = -3*u, -5*u + 4*r = -26. Suppose k - u*k = -180. Is 14 a factor of k?
False
Suppose 0 = 5*p - z - 6, -4*p + 9*z - 12 = 4*z. Suppose 3*g - 5*d = 170, 66 = g - p*d - 2*d. Is 14 a factor of g?
False
Let h(c) = 12 - 15 + 18 + 5*c. Let u be h(-13). Let o = -34 - u. Is 11 a factor of o?
False
Let b = -23 - 9. Let c = 3 - b. Is c a multiple of 35?
True
Let y be (108/15)/((-8)/(-20)). Let t = 24 + y. Is t a multiple of 14?
True
Let o = -96 - -62. Let m = o - -51. Suppose 5 = -q + m. Does 3 divide q?
True
Suppose 3*l - 3068 = -l. Suppose 2*c + 274 = -2*x + 658, 0 = -4*x - 3*c + l. Suppose -4*i + 229 + x = 0. Is 24 a factor of i?
False
Suppose 9