 + 2*t. Does 22 divide n(d)?
False
Let i = 252 + -123. Is 8 a factor of i?
False
Let w be (-200)/(-9) + 26/(-117). Is 43 a factor of (-44)/(-242) + 7696/w?
False
Suppose 0 = 3*n - 5*x + 7 - 2, -5*x + 5 = -2*n. Suppose n = -3*t + 7*t - 220. Suppose 0*c + 4*c - 5*g - t = 0, 0 = 4*c - 4*g - 56. Does 7 divide c?
False
Suppose -2*x + 62 = 4*o, -x = -3*o - o + 65. Is 4*548/o + -2 a multiple of 9?
True
Let f be ((-16)/24)/((-1)/75). Suppose 4*w - 2*w = l - 8, 5*l - 5*w = f. Suppose -l = -h + 7. Does 19 divide h?
True
Let b(q) = 2*q**3 + 12*q**2 + 5. Let r be b(-6). Suppose r*f - 330 = -5*g, -g + 54 = -6*f + f. Does 16 divide g?
True
Let i = -312 - -494. Is 7 a factor of i?
True
Let q(l) be the second derivative of 17/2*l**2 - 5*l + 1/12*l**4 + 0 + 4/3*l**3. Is 9 a factor of q(-7)?
False
Let z be (-1 - -4 - -1)/2. Suppose -z*r = r. Suppose 3*d + c = -r*c + 25, 2*d - 3*c = 2. Does 5 divide d?
False
Suppose 7 = -0*x - x. Let w be x/((-21)/12) + 331. Suppose -5*n - w = -805. Does 19 divide n?
False
Let o(w) = w**2 + 2*w - 1. Let s be o(-3). Suppose -k - 4*k = 2*n - 30, 4*n = -s*k + 28. Suppose 20 = -k*j + 8*j. Does 2 divide j?
False
Let w(p) = 4*p**2 - 37*p + 18. Is 46 a factor of w(11)?
False
Let p be (1 - 0)/(-1)*-316. Suppose 4*f - p = 108. Suppose 2*x = -3*i + 46, 0*x - 4*x = -5*i + f. Is 9 a factor of i?
True
Suppose 6*o + 2*l = 2*o + 22, 4*l = 3*o - 22. Let v(y) = 26*y - 33. Is v(o) a multiple of 34?
False
Let t be (-6 + 7)/((-2)/6). Let f be t/(396/(-128) + 3). Let h = -10 + f. Is h a multiple of 4?
False
Let d(n) = n**3 - 7*n**2 - 7*n - 6. Let w be d(8). Suppose y - w*y + 199 = -5*o, 3*y = -5*o + 617. Is y a multiple of 17?
True
Suppose 0*x - 2*x = -0*x. Is (x + 85)*(4 - 112/40) a multiple of 13?
False
Suppose -3*h + 67 = -35. Let z = -29 - -89. Suppose g - z = h. Is 33 a factor of g?
False
Suppose 1125 = 3*l - 2*j, -3*l = 3*j - 438 - 687. Does 15 divide l?
True
Is 8 a factor of (-10754)/(-28) - 46/644?
True
Let c(w) = -6*w - 91. Is c(-16) even?
False
Let y(r) = -2*r**2 + 11*r + 4. Let d = -21 + 28. Suppose 3*n - d = 2*l + 2, 1 = -n + 2*l. Does 9 divide y(n)?
True
Suppose -3*z + 652 = 42*h - 47*h, 4*z - 875 = h. Is 3 a factor of z?
True
Suppose -3*x = -27 - 9. Suppose 3*v = -x - 6. Is (-74)/3*v/2 a multiple of 13?
False
Let h(t) = -4*t**3 - 6*t**2 + 2*t - 1. Let z be h(3). Let m = z + 220. Is 21 a factor of m?
True
Suppose 2*j - 4*r = -16, -2*j + 3*r - 12 = 3*j. Does 43 divide j - -5 - 243/(-3)?
True
Let p = 53 - 48. Suppose p*k = -2*l + 7*l + 200, 4*k + l - 150 = 0. Is 7 a factor of k?
False
Let g(i) = -9*i**3 - 2*i**2 - 29*i - 74. Is g(-3) a multiple of 119?
True
Let d(p) = 188*p + 4. Let g(b) = 47*b + 1. Let w(q) = -2*d(q) + 9*g(q). Does 8 divide w(1)?
True
Does 36 divide 1975 + 50/(6 + 4)?
True
Is 153489/98 + (-18)/84 a multiple of 6?
True
Suppose -d = -4*p - 25, 0 = -4*d - d - 3*p + 10. Suppose d*j = 65 + 230. Let a = j - 11. Is 9 a factor of a?
False
Is 17 a factor of ((-27)/(-2))/(3 - (-201)/(-68))?
True
Suppose -3*p - n - 4*n - 20 = 0, -4 = -3*p + n. Suppose p*a + 2 = -2*a, 3*g - 426 = 3*a. Suppose -2*o = -61 - g. Is o a multiple of 31?
False
Suppose 5*y = -5*m + 2460, 2*m - 964 = -2*y + 4*y. Is m a multiple of 10?
False
Let a be -2*(4 - 10/4). Let i be (-2)/(((-12)/(-10))/a). Let t = 10 - i. Is 2 a factor of t?
False
Let a = 7 + -7. Suppose z - 6*z = -100. Suppose -j + z - 6 = a. Is j a multiple of 7?
True
Let z = 108 + -112. Does 13 divide ((-84)/(-30)*5)/(z/(-26))?
True
Suppose -6*n + 10*n = 0. Let v be (4/(-8) - -1)*n. Let f(h) = h**2 - h + 11. Does 11 divide f(v)?
True
Let x(m) = 2*m**3 - 5 + 2*m**3 + 5*m - 13*m**2 - 3*m**3. Is x(13) a multiple of 10?
True
Suppose 0 = 2*y + 10, 0 = g + y - 4*y - 38. Let q = g + -3. Is 405/q + (-3)/12 a multiple of 5?
True
Does 74 divide 4 - (-15)/((-1)/(-15) + 0)?
False
Let c(y) = -30*y**3 + y. Let t be c(-1). Suppose -16*n = 233 - 633. Let v = n + t. Is 28 a factor of v?
False
Suppose -47 = -2*y + 5*a, -2*y + 3*a + 1 = -36. Let b = y - 17. Does 6 divide 40/(-2)*b/12?
False
Suppose -s + 687 = 3*g - 41, -g = -5*s - 264. Is 54 a factor of g?
False
Let n = -100 - -277. Is n a multiple of 9?
False
Let c(g) = -51*g**3 + 3*g**2 - 6*g - 6. Does 14 divide c(-3)?
False
Suppose 29*p - 13*p - 7552 = 0. Is p a multiple of 59?
True
Suppose 6*t = -195 - 93. Is 21 a factor of t/(-10)*175/10?
True
Let o(f) = 10*f**2 - 3. Let r(p) = -10*p**2 + 3. Let w(a) = -5*o(a) - 6*r(a). Let z be w(-3). Let q = 6 + z. Does 31 divide q?
True
Let c(t) = -t - 9. Let y be c(-12). Suppose y*w = w - 5*f + 51, 4*w - 87 = 5*f. Is 4 a factor of w?
False
Suppose w + 3*w = 2*h + 6, 3*w - 3*h = -3. Suppose 3*p - 162 = 3*l, p - 3*l = -w*l + 58. Is 19 a factor of p?
False
Suppose -5*g - 2*y = -3*y - 12, 2*g - 14 = 5*y. Suppose g*r - 4*r + 98 = w, 4*w - 389 = -5*r. Suppose 5*h = 39 + w. Is h a multiple of 8?
False
Suppose 24*s - 44117 = 31243. Is s a multiple of 90?
False
Suppose -5*v = -1 + 11. Is v - (-47 + 2*-2 + 3) a multiple of 23?
True
Let h be (2 - 3) + 44 + 1. Let s = h + -22. Is s a multiple of 11?
True
Suppose -4*p - 2*a - 600 = 0, -4*a = p - a + 160. Let s = -72 - p. Is s a multiple of 19?
True
Let l(t) = t**2 - 8*t + 13. Let c be l(8). Let q = -10 + c. Suppose 4*g - 15 = 2*r - 3*r, q*g = -4*r + 86. Is r a multiple of 10?
False
Let a = -82 + 81. Let x(f) = -4*f**3 + f**2 - f. Let z be x(1). Is 8 a factor of (-94)/z - a/(-2)?
False
Let a(k) = 12*k**2 - 10*k - 2. Let w(f) = 37*f**2 - 29*f - 5. Let s(d) = -17*a(d) + 6*w(d). Is s(1) a multiple of 6?
True
Suppose 8*v - 3*v = 0. Suppose v*w - 2*w + 3*y = -6, -2*w - 2 = -y. Does 3 divide 7 - (4 + w)*2?
False
Suppose -2 = -4*z - 3*r, 5*z - r - 16 + 4 = 0. Suppose -z*i - 10*i = -636. Is i even?
False
Let x(k) = k + 10. Let m(d) = 2*d**3 - 21*d**2 + 11*d - 3. Let j be m(10). Is x(j) a multiple of 10?
False
Suppose 2*l + 8 = 4*l, -5*o - 5*l = -450. Does 9 divide o?
False
Let b(g) = g**3 + 16*g**2 + 20*g + 56. Is 16 a factor of b(-11)?
False
Let p(t) = -t**3 - 8*t**2 - 9*t - 7. Let f be p(-7). Is (f/2)/((-2)/52)*-1 a multiple of 13?
True
Let o(f) = -1. Let a(y) = 4*y. Let i(j) = a(j) - 2*o(j). Is i(5) a multiple of 22?
True
Let i(x) = -x**3 + x**2 + 3. Let y be i(0). Suppose -3*r + 5*a + 0 = 3, -y*r = -4*a. Suppose r*z - u = 66, 5*z + 4*u - 74 = u. Is z a multiple of 8?
True
Suppose 0 = -9*r + 1775 + 2923. Is 18 a factor of r?
True
Let x be (2 + -1)*(-9 - -26). Let m = 63 - x. Suppose 4*d - 4*r - 224 = 0, 0 = 2*d - r + m - 162. Is d a multiple of 30?
True
Let a(p) = p**2 - 5*p + 6. Let w be a(3). Suppose -i + 5*u + 26 = -w*u, -i + 30 = -3*u. Does 12 divide i?
True
Let d(f) be the first derivative of 68*f**3 - f - 1. Let l be d(1). Let j = l - 145. Does 13 divide j?
False
Let m(o) = -o. Let p(i) = 28*i + 4. Let h(u) = 6*m(u) - p(u). Is 15 a factor of h(-1)?
True
Let c = -11 + 99. Is 16 a factor of c?
False
Let v be -2 + 2 + 0/4. Suppose 6*s - 4*s - 16 = v. Let w = 11 - s. Is 2 a factor of w?
False
Suppose -12265 = 11*o - 16*o - z, 3*o + 4*z = 7376. Does 28 divide o?
False
Let v = -133 - -32. Let y = -59 - v. Is 7 a factor of y?
True
Let r be ((-10)/(-3) - 1)*3. Let f = 11 - r. Is 10 a factor of (-183)/(-4) - f/(-16)?
False
Let i(d) = d**3 + 35*d**2 - 47*d + 190. Is 13 a factor of i(-36)?
False
Let v = -56 - -62. Suppose 7*w = -v*w + 442. Does 15 divide w?
False
Let h(n) = n**3 + 12*n**2 + 15*n + 1. Let r be h(-8). Let u = -96 + r. Does 41 divide u?
True
Let r = 800 + -583. Is r a multiple of 7?
True
Suppose 402 = 4*k - d, -d + 2*d + 302 = 3*k. Suppose 0*u - 2*u = -k. Is 13 a factor of u?
False
Suppose -2*n = 5*d, 5*d - 11 - 14 = 3*n. Suppose t + x - 27 = -t, -t = -d*x - 21. Suppose -t = 5*h - 235. Does 14 divide h?
False
Let c(t) = -t**3 + 13*t**2 + 16*t - 16. Suppose 9 = 3*r - 33. Is 12 a factor of c(r)?
True
Let v(m) = -m**3 - m**2 + m + 4. Let w be v(0). Suppose 0 = -7*t + w*t - 12. Is 4 a factor of 3 + 3 + 4/t?
False
Let u(b) = b**3 - 9*b**2 + 12*b + 3. Let o be u(12). Suppose -o = -3*i - 0*l - 3*l, 0 = -3*i + 3*l + 579. Is i a multiple of 36?
False
Suppose -8*c + 6*c - 268 = 0. Let j = 156 + c. Is j a multiple of 2?
True
Suppose -10 = 5*j, 4*t + t + 4*j - 22 = 0. Is (-15)/10*(592/t)/(-2) a multiple of 37?
True
Let l be (-28)/7*(-9)/2. Let s = 36 - l. Is s a multiple of 6?
True
Suppose 0