 (-25 + c + 2)?
True
Suppose 4*v - 3 - 9 = 0. Let g be ((-222)/(-15))/(1/5). Suppose -2*w - w + 60 = v*x, 4*x = -2*w + g. Does 17 divide x?
True
Suppose 2*x - 1 + 6 = -d, -2*d - x + 2 = 0. Does 3 divide d?
True
Suppose -3*i = -i - 68. Suppose 2*g + 2 = 2*k, -5*g + i = 4*k + 3. Is k a multiple of 4?
True
Let m be 16/10*(-125)/(-10). Suppose -6*w + w = -m. Suppose -w*z - 15 = -67. Is z a multiple of 7?
False
Let q(x) = -2*x + 1. Let r be -7 - (-1 + -1)/1. Is q(r) a multiple of 11?
True
Let j = 24 + -10. Suppose 2*y + j = 42. Is y a multiple of 7?
True
Suppose -5*n = 4*a - 35, 2*n + 5*a - 19 = 4*n. Let w be n*-3*(-2)/6. Suppose -w*s + 14 = -s. Is 5 a factor of s?
False
Let u(b) = 3*b**2 - b + 1. Let g be u(1). Suppose 0 = -3*k - d + 22, g*k + 5*d - 33 = -k. Is 7 a factor of k?
True
Let y(f) = f**2 - 6*f + 6. Let a be y(6). Let r(d) = -d**2 + 6*d + 5. Let l be r(a). Let o = 12 + l. Is o a multiple of 11?
False
Let b(o) = -11*o + 8*o - 22*o. Is b(-2) a multiple of 12?
False
Let f(x) = 4*x - x**3 + 1 + 2 - x**3. Let t(d) = -d + 4. Let l be t(6). Does 8 divide f(l)?
False
Suppose -f - 2*f = 4*y - 29, -y - 4 = -3*f. Suppose -4*u + b = -0*b - 201, -f*u = -3*b - 144. Suppose 2*d - u = d. Is d a multiple of 17?
True
Suppose b = -1, 8*x = 4*x + 5*b + 81. Does 3 divide x?
False
Let k be (-3)/(-6)*8 + 0. Suppose 2*r + 15 = -2*t - 3*t, -k*r + 2*t = -30. Is 5 a factor of r?
True
Let h(y) = -y + 14. Let v(r) = 5*r - 71. Let m(k) = 11*h(k) + 2*v(k). Let a be m(9). Suppose 0*d = -a*d + 18. Is d a multiple of 3?
True
Let h = 20 - 20. Let s = 12 - h. Is s a multiple of 12?
True
Suppose 0*v + 4*v - 3*r = -10, 2*r = v. Does 3 divide v/(-14) + (-54)/(-7)?
False
Let t = 93 - 57. Is t a multiple of 18?
True
Let f(b) = -b**3 + 7*b**2 - 5*b + 1. Suppose -2*p + 6*d - d = -28, -d + 12 = 4*p. Is f(p) a multiple of 13?
False
Let v = -15 - -99. Does 42 divide v?
True
Let x(h) = 7*h**3 - h**2 - 3*h. Is x(2) a multiple of 17?
False
Let j = 12 + -41. Let i = 50 + j. Suppose -h = -2*h + i. Is 7 a factor of h?
True
Let q(f) = 2*f + 1. Let w = 3 + 4. Let i be (w - 1) + (1 - 0). Is 15 a factor of q(i)?
True
Suppose 9*g - 528 = g. Is g a multiple of 22?
True
Let w = 32 - 54. Let f = w - -55. Is f a multiple of 11?
True
Suppose -k + 1 = -3. Suppose -k*u + 30 = 5*m, -4*m - 50 = -4*u + m. Is 5 a factor of u?
True
Let w(v) = -7*v + 5. Does 5 divide w(-2)?
False
Suppose -7*q = -9*q. Suppose q = l - 0*l - 5. Is 3 a factor of l?
False
Is 12 a factor of (-3)/(-2) + (-945)/(-42)?
True
Is 266/6 + (-4)/(-6) a multiple of 15?
True
Let x = 0 - -4. Suppose 0 = -x*b + 6*b - 82. Let m = -29 + b. Is 5 a factor of m?
False
Let r(q) be the first derivative of q**4/4 + q**3/3 - q - 1. Does 3 divide r(2)?
False
Let c be (36/(-2) - -1)*-4. Suppose -5*g = -g - c. Suppose g = 3*o - 67. Is o a multiple of 13?
False
Suppose 2*u + u + 2*q - 8 = 0, q = 1. Let k(i) = i**2 + 4*i + 7. Let o be k(-5). Is o + 4 - (1 - u) a multiple of 17?
True
Suppose -3*w + 319 = -389. Let x = w + -144. Is 31 a factor of x?
False
Suppose -118 - 1 = -d. Suppose d = 3*v + 38. Is 13 a factor of v?
False
Suppose -6 = -d - 2. Suppose -3*h + 16 = 2*m + h, -d*h + 16 = 4*m. Suppose -s = -m*s - 26. Is s a multiple of 14?
False
Let l(a) = -2*a - 3. Let g be l(-3). Is ((-48)/7)/(g/(-21)) a multiple of 12?
True
Let k(f) = -2*f**2 - 3*f + 2. Let o be k(2). Let b(z) = -4*z - 6. Does 14 divide b(o)?
True
Let o(h) = -h**3 - 2*h**2 + h - 1. Let y be o(-2). Let v be (5/y)/(10/(-180)). Does 10 divide (-1)/(2 - 63/v)?
True
Let o be (19/(-7) + 6/(-21))*-1. Suppose -g + 25 = -0*g. Suppose 4*z = 3*q - g, -2*q + z + o*z = -14. Is q a multiple of 5?
False
Let s be (-4)/6 - (-67)/(-3). Let z = s - -43. Does 10 divide z?
True
Suppose 0 = 5*r + 3*n - 222, 5*r - 192 = -2*n + 31. Is r a multiple of 14?
False
Let m(y) = 7*y**2 - 1 - 3*y**2 + 2*y + 5*y**2 - 4*y**2. Does 3 divide m(1)?
True
Let q(u) = u**3 + 9*u**2 - 7*u - 10. Let w be q(-9). Let h = -20 + w. Is 14 a factor of h?
False
Does 18 divide 12*(-3 + (-76)/(-8))?
False
Suppose d - 3*b + 13 = b, 5*d + 5*b - 60 = 0. Suppose d*f = 5*f + 102. Is f a multiple of 13?
False
Suppose 6*t - t = -35. Let y = 13 - t. Is y a multiple of 11?
False
Let y = 0 - -4. Suppose y*q - 50 = -5*s, -s - 5*q + 2 + 8 = 0. Does 7 divide s?
False
Let y be -3*1*20/(-15). Let t(d) = 6*d - 4. Is t(y) a multiple of 6?
False
Let p = -53 - -79. Is p a multiple of 13?
True
Let t(j) be the first derivative of j**6/120 - 2*j**5/15 - j**4/3 - j**2/2 - 2. Let r(p) be the second derivative of t(p). Does 3 divide r(9)?
True
Let p(x) = -x**3 + 2*x**2 + x - 1. Let k be p(2). Let f = 10 - k. Does 9 divide f?
True
Suppose 11 = -4*y + 5*h, -3*y - 2 = -h + 9. Does 7 divide 16 + ((-4)/2 - y)?
False
Let z be 1/2 + (-4)/8. Suppose 3*a + 3*x - 27 = z, -3*x = -3*a - 7*x + 32. Suppose -a*l + 2*c + 24 = 0, 3*l + 5*c = c - 4. Is 3 a factor of l?
False
Let f(w) = 2*w - 3. Let d be f(7). Is (2 - 4 - -2) + d a multiple of 3?
False
Suppose 3*u - 137 = 31. Is 14 a factor of u?
True
Let q(p) = -2*p + 3. Let b be q(-3). Let f = b + -4. Suppose 0 = -f*t + 3*t - 2*j + 16, 0 = -5*j - 15. Is t a multiple of 11?
True
Suppose 0 = 3*v - 190 - 104. Does 6 divide v?
False
Let z(w) be the first derivative of -37*w**4/4 - 2*w**3/3 - w**2 - w + 2. Let u be (-20)/28 + (-2)/7. Does 19 divide z(u)?
False
Suppose -4*q + 4*l + 28 = 0, -4*q - 3*l + 18 = -2*l. Does 4 divide q?
False
Let w(h) = -h**2 + h + 3. Let r be w(0). Suppose -r*j + 3*d = 9 - 0, -5*j - 4*d + 21 = 0. Does 7 divide (-8)/(j*3/(-6))?
False
Let c = 32 - 68. Let x = 62 + c. Let m = 36 - x. Is 10 a factor of m?
True
Let a(j) = j**2 - 4*j - 10. Let x(s) = -s**2 + 6*s. Let z be x(5). Let f(b) = -b**2 + 4*b + 11. Let u(w) = z*f(w) + 6*a(w). Is u(7) a multiple of 16?
True
Suppose 3*p - 13 = 2*h, -3*h + 3 = 4*p - 3. Suppose 0 = -o - 0*o. Is 15 a factor of 0 + o/p + 15?
True
Does 27 divide (-647)/(-4) + (-6)/(-24)?
True
Let b be 1 + 6/(-3) + 3. Suppose 4*s - 124 = -b*z, 2*z + 4*s = 7*z - 254. Suppose 2*o = 3*v - z, 2*v + 1 - 26 = 5*o. Does 6 divide v?
False
Suppose 8 - 24 = -4*z. Let s(k) = k**2 - 2*k + 1. Is 9 a factor of s(z)?
True
Let x = -543 - -935. Is 52 a factor of x?
False
Let d(m) = -m**3 - 8*m**2 + 2. Let n be d(-8). Suppose -n*v - l + 80 = -4*v, -2*v - 3*l = 72. Let o = v + 75. Is 14 a factor of o?
False
Let r(c) = -4*c - 7. Let y(k) = k. Let h(s) = r(s) - 2*y(s). Let x be h(-6). Let b = x - 17. Does 6 divide b?
True
Let v(l) = -4*l - 23. Does 5 divide v(-12)?
True
Let y be (2*-1)/(-2) - 1. Suppose 4*f = -20, 4*f + 140 = 5*o - y*o. Is 13 a factor of o?
False
Let t = -19 + 17. Let a(n) = -15*n - 3. Is a(t) a multiple of 9?
True
Suppose -4*v = p + 2*p + 3, v - 4 = 4*p. Suppose 3*w + 70 = x - v*x, -x - 2*w + 45 = 0. Suppose 0 = 4*s - x - 9. Is s a multiple of 9?
False
Let w be 14 + (2 - (-4)/(-1)). Suppose -4*k - w = -k. Let b = 14 + k. Does 10 divide b?
True
Suppose -27 = 4*w - 111. Does 4 divide w?
False
Suppose -2*v + 0*v + 3*g - 2 = 0, -5*g = 3*v - 16. Suppose -11 = v*y + 5*l, -4*y + 17 = -3*y - 5*l. Is ((-128)/24)/(y/(-6)) a multiple of 8?
True
Suppose 0 = -4*j + 3*y + 75, 9*y = -5*j + 4*y + 50. Let c = j - -6. Is c a multiple of 20?
False
Let g(s) = -s**3 - s**2 - s + 2. Let t be g(-2). Suppose 2*v - t = 64. Is 17 a factor of v?
False
Does 2 divide 492/42 + (-4)/(-14)?
True
Suppose 7*g - 350 = 2*g. Is g a multiple of 33?
False
Let g(y) = 3*y + 1 - y + y. Let z be g(2). Is (-2)/z + 172/14 a multiple of 6?
True
Suppose 0 = 4*z - 3*q - 447, 1 = 2*z - 3*q - 230. Suppose 5*b + z = 3*v, 3*v - 108 = -0*v + b. Is 12 a factor of v?
True
Is (-2)/(-6)*-3*-141 a multiple of 18?
False
Is 30 a factor of 92/3 - (-12)/(-18)?
True
Let v = -16 - -73. Suppose v = -5*r + 312. Does 18 divide r?
False
Let t(o) = o**3 + 4*o**2 - 6*o + 1. Let i be t(-5). Suppose 5*v - 328 = -4*c, 310 = 5*v - i*c + c. Is v a multiple of 33?
False
Suppose -53 - 97 = 5*l. Let a = 24 - l. Does 20 divide a?
False
Let y(f) = f**3 + 12*f**2 - 34*f - 4. Is 16 a factor of y(-14)?
True
Let z(g) = 13*g + 4. Let i be z(-7). Let q = 35 + -83. Let o = q - i. Is o a multiple of 14?
False
Let g = -13 + 28. Suppose 0 = m - 4*m + g. Is m a multiple of 5?
True
Suppose -m + 0*m = -3. Let u(n) = 1 - 6*n - m - 3. Does 8 divide u(-4)?
False
Let f be -3 - 603/(-3) - -2. S