r be j(w). Is 78 - (-3)/6*r a multiple of 30?
False
Let u = -1 + 5. Let y be (-1)/(-2)*(-8 + u). Let g = 38 + y. Does 14 divide g?
False
Suppose -17*t + 144 = -6486. Is t a multiple of 13?
True
Is ((-1)/(-4)*18)/(31/682) a multiple of 9?
True
Is 15 a factor of (86 - -20) + 1/(-1)?
True
Let u = 73 + -63. Suppose u*p - 12*p = -14. Is 7 a factor of p?
True
Let o = 635 + -431. Is o a multiple of 59?
False
Let q = 83 - -4. Suppose -4*h + 3*z = -q - 181, 2*h = -5*z + 108. Does 22 divide h?
False
Suppose 0 = -5*i + 5*s + 200, 4*i - 83 = -5*s + 41. Is 25 a factor of (150/8)/(9/i)?
True
Let b = 1997 + -1392. Suppose -o - 3*f = -0*o - 132, -5*o - 4*f = -b. Does 39 divide o?
True
Let h(g) = g**3 + 11*g**2 + 8*g - 10. Let l be h(-10). Let w = l + -4. Is w a multiple of 3?
True
Let o(h) be the second derivative of h**3/6 - 15*h**2/2 + 5*h. Let f be o(18). Suppose 3*t = -2*v + 27, 0 = f*v + 3*t - 53 + 8. Does 11 divide v?
False
Let k = 460 + -379. Is k a multiple of 27?
True
Let v = -105 + 257. Suppose 812 = 4*y + v. Does 14 divide y?
False
Let x = 636 - 428. Is x a multiple of 23?
False
Let j(r) = 14*r - 45. Let p be j(4). Suppose -111 = -4*l - p. Is l a multiple of 2?
False
Let c(s) = s**2 + 8*s + 11. Let j be c(-12). Suppose -175 = -6*m + j. Is m a multiple of 14?
False
Let c(u) = 3*u. Let g be c(1). Suppose 0 = -10*o + 23 + 197. Suppose g*w - 85 + o = 0. Is w a multiple of 7?
True
Suppose r = -3*q + 103, 0*r = -r - 2*q + 99. Is 13 a factor of r?
True
Let d = -2274 - 528. Is 26 a factor of 1/3 - d/18?
True
Suppose 5*r = -t + 21, 3*t - 4*r = -0*t + 6. Suppose -2 = 4*z - 6, -5*o = z - t. Suppose o = -m + 10. Is m a multiple of 6?
False
Let a(m) = 15*m**2 + 12*m - 17. Does 32 divide a(-9)?
False
Suppose 10*a - 72 + 22 = 0. Suppose -363 = -a*t - 2*w, 5*t + w - 320 - 44 = 0. Is t a multiple of 48?
False
Let m = 20 + -15. Suppose -h + 216 = m*f, -f + 6*h + 40 = 3*h. Is f a multiple of 12?
False
Suppose 4*m - 486 = -2*c, 4*m - 566 + 100 = 2*c. Let b = m - 77. Is 42 a factor of b?
True
Let f(s) = -s**3 - 4*s**2 + 5*s + 2. Let q be f(-5). Suppose 0 = q*m + 3*m - 15. Suppose 0 = m*j - 4*j - 2*t + 19, 2*t + 31 = j. Does 16 divide j?
False
Let x = 93 - -277. Does 37 divide x?
True
Let f be -55 - (4/8)/(2/4). Let l = f + 127. Does 12 divide l?
False
Let t(m) be the second derivative of m**5/20 - m**4/4 + m**3/6 + 2*m. Let q be t(3). Is 4/(q + -7) + 43 a multiple of 14?
True
Let g(l) = -141 + 142 + l**2 + l**2 + 12*l. Is g(-7) a multiple of 3?
True
Let k(a) = a**3 - 5*a**2 - 11*a - 4. Let u be k(7). Let d be -2*(-1)/(-2)*-1. Let s = d + u. Is 9 a factor of s?
True
Let w(f) = -739*f - 23. Is w(-1) a multiple of 10?
False
Let j(c) = 0 + 2*c**2 + 16*c - 15 - 5*c**2 + 4*c**2. Let y be j(-9). Is (-5 - -3)/(3/y) a multiple of 13?
True
Let k(u) = 2*u - 6. Let w be (-18)/15*40/(-12). Let s be k(w). Suppose -2*x = -s*l - 60, 0 = -x - 3*l + 23 - 5. Is 22 a factor of x?
False
Is -58 - -52 - 1406/(-1) a multiple of 25?
True
Let y(s) = s**3 + 15*s**2 - 44*s - 40. Is y(-14) a multiple of 4?
True
Let t be (8/20)/(1/5). Suppose -4*l + y + 62 = 0, t*l = -0*l + 5*y + 22. Is l even?
True
Let d = 1 + 107. Let a = d + -99. Does 2 divide a?
False
Let a(x) = -2*x**2 + 36*x + 20. Is a(9) a multiple of 4?
False
Let r(y) = 0 - 9*y + 19*y**2 - y**3 - 23*y**2 + 2. Is r(-5) a multiple of 12?
True
Let w be -4*3/(-15)*5. Suppose -5*u = -w*u - 4. Is 12 a factor of u/12 + 142/6?
True
Let x(y) = -5*y - 5. Let b be x(-5). Let r = -38 + b. Let g = 18 - r. Does 12 divide g?
True
Let l = -7 - -7. Suppose -4*m + 34 = 4*a - 34, l = -m + 3*a + 29. Is 20 a factor of (m/1)/((-2)/(-4))?
True
Let f(j) = -2*j - 3. Let q be f(-4). Let h = q + 0. Suppose 46 = h*r - 89. Is r a multiple of 9?
True
Suppose -o + 4*o = 33. Let x(a) = -a**3 + 11*a**2 - a + 15. Let z be x(o). Suppose 9*m - z*l - 259 = 4*m, -4*l + 236 = 4*m. Is 10 a factor of m?
False
Let u(l) = 19 + 5*l - 4 - 8*l. Let w be u(5). Suppose -5*m + 195 = -w*m. Is m a multiple of 10?
False
Suppose 4*m - 3*p = -5*p + 32, 3*p = -12. Does 10 divide m?
True
Let n = -26 + 29. Suppose 2*g - y - n*y = 234, 4*g - 477 = -y. Is 30 a factor of g?
False
Let y = 148 + -79. Let r = y + -61. Is 8 a factor of r?
True
Suppose -178*c = -181*c + 1131. Is 9 a factor of c?
False
Suppose 2*i + 2 = 0, -5*j = -5*i + 109 - 319. Let o = -38 + j. Is 3 a factor of o?
True
Let g(y) = -y**2 - 5*y + 6. Let f be g(-5). Let w(b) = 2*b**3 - 12*b**2 + 4. Let s be w(f). Suppose 0 = s*i - 152 + 36. Does 10 divide i?
False
Let s(p) = p**3 + 2*p**2 + 2. Let d be s(-2). Let u be ((-42)/(-5))/(9/60). Suppose 0*g = -d*g + u. Is 6 a factor of g?
False
Suppose -4*x = -2*s - 22, 24 = -2*s + x + 5. Let j = s - -9. Suppose 2*t - 52 - 2 = j. Does 6 divide t?
False
Is ((-3374)/(-8))/(46/184) a multiple of 5?
False
Suppose -973 = -5*d + 4*g + 1256, -4*d + 4*g + 1784 = 0. Let p = -214 + d. Suppose -4*w = w - u - p, 5*w - 227 = 2*u. Is 7 a factor of w?
False
Suppose 2*w - 1415 = 3*z, 0 = -4*w - 2*z - 210 + 3032. Does 15 divide w?
False
Let p = -3 + 24. Suppose -l + 15 = -p. Does 9 divide l?
True
Let o = 122 + -45. Let k be (o + 1)*1/2. Suppose 0 = 2*r - 69 - k. Is 14 a factor of r?
False
Let q be -2 + 3/((-3)/(-5)). Let a(j) = q*j + 1 - 2*j - 1. Is 4 a factor of a(7)?
False
Let h = -451 - -660. Is 28 a factor of h?
False
Let l be 0/(0 + -1 + 0). Suppose l = 4*d - u + 363, u - 273 = 3*d - 0*u. Let r = -57 - d. Is 11 a factor of r?
True
Let z be 281 + -2 + -2*(-4)/(-8). Suppose 4*c + 2*m = z, c + 3 = -m + 71. Is c a multiple of 12?
False
Let w(v) = 314 + 13*v - v**2 + 10*v - 316. Does 3 divide w(22)?
False
Suppose -61*w + 233857 = -73644. Is 71 a factor of w?
True
Let f be (-168 - (-2 - -4))/(-2). Let z = f - 61. Does 4 divide z?
True
Let z(u) = -u**2 + 6*u - 1. Let s be z(5). Suppose -4*r + s = -12. Suppose 0*d + 2*d = -2*w + 90, 3*d - 139 = -r*w. Is d a multiple of 6?
False
Let u = 7 + -2. Suppose u*b - 17 = 4*b. Let d = 18 + b. Is 15 a factor of d?
False
Let u be 4/10 + (-132)/(-20). Suppose -2*n - 43 = -p, n - u*p = -2*p - 44. Let c = n + 51. Is 16 a factor of c?
True
Suppose -14 = 4*m - 6*m. Let v(k) = 34*k + 0 + 3 - m + 3. Is 12 a factor of v(1)?
False
Suppose 7*n - 624 = 4*n. Let s = n - 132. Let z = -44 + s. Is 16 a factor of z?
True
Let m = -76 + 81. Suppose 8*q - 3*q + 5*l = 85, m*q = 5*l + 125. Is q a multiple of 8?
False
Suppose -7 - 25 = 8*d. Is 8 a factor of (d - (-312)/3) + -4?
True
Let n(m) = m**2 - 3*m - 1. Suppose 0*c - 28 = 4*c. Let a = -10 - c. Is 11 a factor of n(a)?
False
Let r(a) = a**3 - 34*a**2 + 35*a - 55. Does 3 divide r(33)?
False
Let h = -3 - -40. Suppose -5*w - h = -4*g, -4*g = -g + 2*w + 1. Suppose g*n = q - 4*q + 246, -4*q - n = -313. Does 24 divide q?
False
Let g = -4 + 8. Suppose -s = 4*y - 14, 34 = 6*s - 3*s + g*y. Let x = 29 - s. Is 10 a factor of x?
False
Suppose 34*b - 30*b - 12 = 0. Suppose 27 = b*i - 18. Is i even?
False
Let n(y) = 44*y**2 - 7. Does 23 divide n(-3)?
False
Let n be (-2)/(-2) + 4/2. Let w be (15/(-3))/1 + n. Is 3 a factor of ((-1)/3)/(w/36)?
True
Suppose 32 = -6*i + i + 2*m, 44 = -3*i - 5*m. Let n = -1 - i. Suppose -2*j = -j - n. Is j a multiple of 3?
False
Suppose -5*m - 5*n + 740 = -n, -3*n + 303 = 2*m. Is 24 a factor of m?
True
Let r = 58 - 55. Is (7 - 8)/((-1 + r)/(-414)) a multiple of 12?
False
Suppose -11*x + 12*x = 1210. Does 55 divide x?
True
Let g = 8 - -4. Let o be 10/3*g/10. Suppose o*b - y + 2*y = 17, 4*y = -2*b + 12. Is b a multiple of 4?
True
Let n = -108 - -15. Let g = 7 - n. Is 20 a factor of g?
True
Suppose -7*d = d + 80. Is 6/d - 0 - 1176/(-10) a multiple of 26?
False
Let o(a) = -a**3 - 2*a**2 + 42*a + 55. Is o(-13) a multiple of 38?
True
Suppose 0 = -28*l + 23*l - 5. Is 13 a factor of l/3 + (-944)/(-24)?
True
Let p(z) = -5*z - 3. Let v be p(-2). Let g be 2/4 + v/2. Suppose u + u - 2*r - g = 0, 0 = u - 2*r. Is 4 a factor of u?
True
Suppose 0 = s + 4*s - 2160. Let w = -221 + s. Suppose 3 = b, 4*l + 4*b = -b + w. Is 9 a factor of l?
False
Suppose 53*g - 3120 = 45*g. Does 13 divide g?
True
Suppose -2*n = 2*g + 20, -2*g + 5*n = -3*g - 22. Let h = 43 + g. Is h a multiple of 6?
True
Let f = -12 - 4. Does 10 divide 3 + f/4 + 31?
True
Suppose -19*c = 38 - 0. Let d(k) = -8*k**3 - 11*k**2 - 11*k - 1. Let q(t) = 4*t**3 + 6*t**2 + 6*t. Let b(i) = 3*