0*v - 36 = -24*v. Is 10 a factor of ((-126)/(v - 3))/(2/4)?
False
Let q(k) = k**2 + 3*k - 18. Let w be q(-12). Let r(p) = 11*p - 1. Let b be r(5). Let g = w - b. Does 12 divide g?
True
Let z be 4*((-3)/(-1))/(-3). Let g be 17 - 7/(14/z). Is 1/(-6) - g/(-6) even?
False
Suppose 8*f = -m + 3*f - 35, m - 3*f = -11. Let s be ((-24)/m)/((-6)/(-20)). Suppose -4*p + 81 = 5*r, -2*p = s*r - 0*r - 48. Does 14 divide p?
True
Suppose -125*g = -105*g - 46860. Is 12 a factor of g?
False
Suppose 535 = l - 3*a, 1360 = 3*l + a - 245. Does 61 divide l?
False
Let b(l) be the third derivative of 15*l**4/8 - 2*l**2. Is b(1) a multiple of 9?
True
Let w = 8 + -10. Is 4*w/4*-8 a multiple of 16?
True
Suppose k = -5*z + 13, 4*z - k + 0*k = 14. Suppose -4*q + 4*g = z - 7, 5*g = -5. Suppose 2*u + 3*u - 25 = q. Is 3 a factor of u?
False
Suppose -8*d = 2*d - 16200. Suppose 0 = 8*o - 18*o + d. Is 27 a factor of o?
True
Let x(v) = v**3 + 5*v**2 - 5*v + 10. Let q(a) = -a**3 + a**2 + 3*a + 3. Let w be q(3). Let d be x(w). Suppose -173 - 67 = -d*o. Is o a multiple of 15?
True
Let o(c) = c. Let t = 20 - 15. Let y be o(t). Suppose -y*w + 26 = -134. Does 32 divide w?
True
Suppose 3*l = -48 - 75. Let t = l - -65. Is 15 a factor of ((-80)/t)/((-2)/9)?
True
Let q = -128 - -287. Is q a multiple of 35?
False
Suppose -99 - 133 = 4*l. Suppose 0 = -3*j - 77 - 43. Let w = j - l. Is 18 a factor of w?
True
Suppose -8*t + 28 = -4*t. Let h = 15 - t. Suppose 82 = 5*j - h. Is j a multiple of 9?
True
Suppose -5*a + 24 = 2*w, -2*w = -4*a - 3*w + 18. Suppose -2*q - 16 = -p, -4*p + a*q + 62 = p. Does 3 divide p?
False
Let v(y) = -23*y**3 + 10*y**2 - 4*y + 15. Is v(-5) a multiple of 40?
True
Let o(l) = -67*l + 87. Does 66 divide o(-8)?
False
Suppose -9 = -6*q + 9. Suppose -5*y = q*y - 1272. Does 34 divide y?
False
Suppose 7*r - 72 = -11*r. Suppose -4*d = -3*s + 406, 0 = r*s - 3*s + d - 126. Does 6 divide s?
False
Suppose -7*q + 2880 - 430 = 0. Is q a multiple of 70?
True
Let g be 9/2*(-28)/(-63). Let f(r) = 53*r - 7. Is 9 a factor of f(g)?
True
Let y(k) = -162*k**3 - k - 1. Suppose -3*b - 13 = -2*p, 3*p = -3*b + 8*b + 20. Does 9 divide y(b)?
True
Suppose 4*g = 6*g + 3*y + 75, 81 = -2*g - 5*y. Let i = g - -59. Is 7 a factor of i?
False
Suppose -6*q + 18*q = 60. Suppose n - 102 = -5*v, q*n - 10 = 2*v - 40. Is 4 a factor of v?
True
Let i(h) = 5*h**3 - h**2 - 2*h - 76. Let f(x) = -x**3 + 1. Let a(n) = -4*f(n) - i(n). Does 8 divide a(0)?
True
Let i = -414 + 670. Suppose y - 5*y + h + i = 0, -335 = -5*y + 5*h. Is y a multiple of 21?
True
Suppose 0 = -2*m + 2 + 18. Let t = m - 6. Is 172/14 - t/14 a multiple of 12?
True
Let g(r) = r**3 - 35*r**2 + 83*r + 35. Is 60 a factor of g(35)?
True
Let j = 1783 - 784. Is 14 a factor of j?
False
Let d be 36/8 + (-3)/2. Suppose -m = -d*m + 626. Suppose 5*q - 3*s = 408, 4*q = 2*s + 15 + m. Does 21 divide q?
True
Let o be ((-10)/8)/((-2)/(-8)). Let y be o/(-2) - 1/(-2). Is ((-2)/y)/((-4)/72) a multiple of 12?
True
Suppose w + 4*b = -149, -4*w - 680 = -0*b - 5*b. Let n = -63 - w. Is 34 a factor of n?
True
Suppose 2*z + x = -2*x - 3, 21 = -4*z - x. Let i be (-313)/z - 4/24. Is 5 a factor of -2 + 1 - i/(-2)?
True
Suppose 3*f - 3*p = 1368, 4*f - 3*f = -5*p + 456. Is 19 a factor of f?
True
Suppose v = -4*g - 94, 0 = -3*g - 2*v - 25 - 48. Let t = g + 28. Suppose -t*c + 11 = -2*l, 5 + 3 = 4*l - 4*c. Does 4 divide l?
False
Let m(b) = -b**3 + 12*b**2 - 4*b. Let n be m(5). Let j = n + -55. Does 25 divide j?
True
Is 8 a factor of ((-34)/17)/(2/(-986))?
False
Let g(o) = 5*o**3 + 2*o**2 - o. Let l be g(1). Let s be (-4)/l - (-40)/15. Suppose s*b - u + 5*u - 28 = 0, 2*b = -5*u + 23. Is 8 a factor of b?
True
Suppose 4*s = 4*j - 20, j - 4*s - 5 = 2*j. Suppose 2*q - q + j*b = 28, -b + 57 = 4*q. Is 2 a factor of q?
False
Let s = -413 + 783. Is s a multiple of 15?
False
Let t(z) = z - 5. Suppose 0 = -2*m + 4*c + 30, m + c = -c - 1. Let f be t(m). Is 7 a factor of f - (3 + -1) - -8?
False
Let l be 2 - -15 - (4 - 1). Is l/(-35) - (-252)/5 a multiple of 10?
True
Let x be -2 + (-4)/(-1 - 3). Let r be 7/(x/4*-2). Let c = r - 4. Is 4 a factor of c?
False
Suppose 6*x - 935 - 469 = 0. Does 78 divide x?
True
Let o be (88/(-6))/((-14)/63). Let s = o + -21. Is 15 a factor of s?
True
Suppose -1304 = -4*w - 4*u, 4*u + 208 = 3*w - 742. Is 23 a factor of w?
True
Suppose 5*l - 366 = -4*h + 192, 0 = -4*l + 4*h + 432. Let u = -80 + l. Is u a multiple of 3?
True
Is 33 a factor of ((-2836)/(-12))/(5/15)?
False
Suppose 0 = -5*x - u + 4, -3 = -4*x + 4*u - 5*u. Is 19 a factor of (-196)/((1 - 4) + x)?
False
Let h be -4*(-1)/10*5. Suppose 0 = -3*v - 2*g + 250, -h*g - 254 = -5*v + 168. Is 12 a factor of v?
True
Suppose -58 = 2*k + 50. Is -5 + k*5/(-10) a multiple of 22?
True
Suppose 0 = -35*v + 5977 + 8863. Is 13 a factor of v?
False
Suppose -1148 = -2*z + w + 728, 0 = 2*z + 4*w - 1856. Does 56 divide z?
False
Let t be (142/6)/(6/18). Let j = t - 14. Is 19 a factor of j?
True
Let j = -309 + 345. Is 6 a factor of j?
True
Suppose -3*y + 12 = -0*y. Suppose -3*c - 5*i = -c - 33, i + 63 = 2*c. Suppose 2*b - 46 = -4*g, -5*g + y*b + c = -2*g. Does 11 divide g?
True
Is 40 a factor of 41 - 41 - (-129)/6*26?
False
Suppose -272 - 106 = -z. Does 54 divide z?
True
Let g = -114 + 270. Is g a multiple of 6?
True
Is 23576/140*(5 + 0) a multiple of 30?
False
Let b be (-9)/6*50/(-15). Suppose 18 = k + b*j, -3*j = -2*j - 3. Suppose 3*l = 3*c - 18, -c - k*c + 18 = -l. Does 3 divide c?
False
Let p be (-6)/(-8) + (-9)/12. Let a be (-224)/(-12) + (-1)/(-3). Let o = a - p. Is o a multiple of 10?
False
Suppose 5*b = 2*w - w - 38, 5*w - 310 = b. Is w a multiple of 11?
False
Is 28 a factor of (-6)/14 - (-84513)/1001?
True
Suppose 16*z = 24*z - 3104. Is z a multiple of 36?
False
Suppose -218*n + 212*n = -13650. Does 35 divide n?
True
Suppose 18*g - 6*g - 1716 = 0. Is g a multiple of 11?
True
Let z(l) = l**3 + l**2 - l + 7. Let q be z(0). Suppose d = -4 + q. Is (-1 + d)*275/22 a multiple of 14?
False
Let a(y) = 63*y + 35. Let u be a(5). Suppose 11*q - u - 211 = 0. Is 17 a factor of q?
True
Suppose 513 = 5*l + 93. Does 6 divide l?
True
Suppose 4*b + 3*w - 193 = 4*w, 233 = 5*b - 4*w. Suppose 188 = -4*x + 180. Let h = b + x. Does 8 divide h?
False
Suppose 254*l + 156 = 258*l. Does 39 divide l?
True
Let f(l) = -13*l**3 - 10*l**2 - 3*l. Is f(-2) a multiple of 10?
True
Suppose 11*o = -27*o + 17100. Does 42 divide o?
False
Suppose -5*z + 5*o - 1160 = 0, -57 + 506 = -2*z + 5*o. Let f = -137 - z. Is f a multiple of 28?
False
Let q(g) = 190*g + 80. Is 28 a factor of q(4)?
True
Suppose -2*i - 3*p = -i - 732, 5*p - 724 = -i. Does 31 divide i?
True
Let x(v) = -4*v**3 - 9*v**2 + 5*v. Is x(-7) a multiple of 28?
True
Let l(n) = 46*n - 2. Let k(v) = -v**2 - 6*v - 3. Let u(z) = z**3 + 6*z**2 - 8*z - 12. Let c be u(-7). Let f be k(c). Is l(f) a multiple of 18?
True
Let t be 5*28 - (4 - 5). Suppose -4*p - 2*n = p - 142, t = 5*p + n. Is 7 a factor of p?
True
Does 74 divide (-7)/((-28)/6)*4144/12?
True
Let x be 60/42 - 6/14. Is 11 a factor of (-1005)/(-15) + (x - 2) + -1?
False
Let o(l) = -l**2 + 6*l + 11. Let h be o(-3). Let p(u) = -u**2 - 25*u + 7. Is 16 a factor of p(h)?
False
Suppose 5*p - 41 + 11 = 0. Suppose n = -n - p. Is ((-44)/20 - n)*35 a multiple of 4?
True
Let z = 356 + -201. Is z a multiple of 7?
False
Let w(k) = 7*k**2 + 5*k - 11. Is w(7) a multiple of 8?
False
Let o = 8 + -6. Suppose 2*t - 2 = o. Suppose k + 0*k + 5*x = -1, -5*k + t*x = -103. Is 13 a factor of k?
False
Let k = -438 + 645. Does 16 divide k?
False
Let u = 439 + -154. Does 19 divide u?
True
Let f be (-19)/(-76) + 2/(-8). Suppose f = -3*u + 2*u. Suppose 5*v - 7*v + 96 = u. Is v a multiple of 12?
True
Suppose 4*v + 4*u - 3812 = 0, -3*v + 2857 = 26*u - 21*u. Does 40 divide v?
False
Let a = -633 + 1447. Is a a multiple of 74?
True
Suppose 42*m = 6*m + 65772. Does 21 divide m?
True
Let q be 0 - -1 - (-1 + (-1 - -5)). Is 7 a factor of (-8)/12*q*(-102)/(-2)?
False
Let z = -339 + 102. Let u = -94 - z. Suppose -2 - 28 = -o - 5*d, -4*o + u = -3*d. Is 28 a factor of o?
False
Let c(b) = -37*b + 3. Does 4 divide c(-10)?
False
Let b(c) = c + 4. Let z be b(-10). Let m(k) = k**3 + 6*k**2 - 2*k - 8. Let o be m(z). Suppose 0 = g - i - 6, -6*g - o*i + 30 = -4*g. Does 3 divide g?
True
Let m(p) = p**3 - 1