= -4*l. Suppose -41*o = -38*o - 6. Suppose -o*p + 0*p = 0, -f + b = 4*p. Is f a multiple of 9?
True
Let a be -2*(-2)/(-1) - -11. Does 17 divide 12/42 - (-712)/a?
True
Let n = -11 + 16. Let g(i) = -1 + n*i + 9*i - 12*i**2 + 11*i**2 + 5*i. Is g(18) a multiple of 14?
False
Let v be 0*(-2 - (-15)/10). Let h = -8 - -12. Suppose v = -h*n + 3 + 33. Does 9 divide n?
True
Suppose -6*i - 4845 = -15423. Is i a multiple of 27?
False
Is (100/3)/(-12 + 494/39) a multiple of 5?
True
Let q(w) = 188*w**2 - 2*w + 8. Let b be q(2). Suppose b = 9*k + 3*k. Is k a multiple of 7?
True
Let h(b) = -b - 2. Let s be h(3). Is (4/s)/(8/20)*-25 a multiple of 25?
True
Let z = 0 + 9. Let a(s) = -3*s**3 + s + 4*s**2 - 2*s + z*s**3 - 6*s**2. Is a(2) a multiple of 19?
True
Let j = 558 + 104. Is 13 a factor of j?
False
Let p(r) = -12*r + 22. Let k be p(-6). Suppose 0 = 5*b + d - 470, 0*b + b - k = 3*d. Is b a multiple of 26?
False
Let t = -4 - -12. Suppose t = 2*j - 0. Suppose 4*g + j = 5*i - 71, 4*i + 4*g = 60. Is i a multiple of 10?
False
Suppose 13*x - 29764 = 7663. Is x a multiple of 15?
False
Let r be (-36)/90 - 2/(-5). Suppose 0 = -3*a - r*a + 48. Suppose d - 77 - a = 0. Is 25 a factor of d?
False
Let t = -18 + 93. Let i = -8 + t. Suppose v + 2*n = 7*n + i, 4*v - 193 = 5*n. Does 15 divide v?
False
Suppose 5*j + 2*j - 5*j = 0. Suppose j = 6*v - 430 - 458. Is 37 a factor of v?
True
Let p = 2811 + -1833. Does 13 divide p?
False
Let j(r) = 22*r + 9. Let k be j(6). Suppose 2*q - 29 = -k. Does 6 divide 4 + 11/((-22)/q)?
False
Let y = -42 - -383. Does 26 divide y?
False
Let y = -1039 + 1579. Is y a multiple of 12?
True
Does 14 divide (-16)/2*-1 - -1336?
True
Let p(i) = -3*i - 14. Let f be p(7). Does 34 divide 2 + 0 + (1 - f)?
False
Suppose 4*k + 465 = -5*i, -2*i + i - 117 = k. Is (12/(-9))/(5/k) a multiple of 8?
True
Suppose 0 = -7*o + 5641 - 1406. Is o a multiple of 3?
False
Let f(v) = v**3 - 4*v + 2. Let q be f(2). Suppose 0 = 3*u + q*z - 250, 3*u - 2*u = 4*z + 60. Is u a multiple of 5?
True
Suppose 0 = 3*a + a - 48. Let h = a - -5. Is 4 a factor of h?
False
Suppose -18*a + 2880 = -828. Is 10 a factor of a?
False
Suppose 3 = p + 3*n, -2*p + 2*n - 5*n = -3. Let k be (4/4 - p)/1. Does 29 divide 87 - (k + 3 + -4)?
True
Suppose 0 = 7*f - 10 - 11. Suppose 0*m + 401 = f*r - m, r = -2*m + 136. Is r a multiple of 23?
False
Let o(x) = x**3 - 8*x**2 - 2*x + 11. Let k be o(5). Let y = -22 - k. Is 26 a factor of y?
True
Let s(g) = 36*g**2 + 2*g - 3. Let m(h) = -1. Let v(w) = -4*m(w) + s(w). Is 6 a factor of v(-1)?
False
Suppose -28*o + 1104 = -24*o. Suppose -6*g + 3*g + 3*b = -o, -3*g + 2*b = -274. Is g a multiple of 45?
True
Suppose -219780 = 16*s - 70*s. Is 99 a factor of s?
False
Suppose -5*i - 4*c = -1664, 0 = 16*c - 11*c + 20. Does 24 divide i?
True
Suppose -13 = -b - 5*y, 5*b - y = 1 + 12. Suppose -4*k - b*o = -153, 0*k + 3*o = 2*k - 81. Does 35 divide k?
False
Let f = -5 - -8. Suppose 3*c - 2*c - 3*l - 11 = 0, -4*c = -5*l - 23. Suppose 3*u - 66 = f*m, -2*m - 60 - c = -3*u. Does 17 divide u?
False
Let x = -125 + 411. Is x a multiple of 22?
True
Let t(h) = h**2 - 3*h - 6. Suppose -2*g - z = -14, 3*z - 10 = -2*z. Suppose 4*l + 10 = 2*q, 4*q - 3*l - g = 19. Is t(q) a multiple of 11?
True
Let v be 3/(-6) - (-18)/4. Suppose -v*s + 19 = -41. Does 25 divide (-894)/(-30) + 3/s?
False
Let a be 3/6 + (-69)/(-6). Let z be a/(-15) + (-42)/(-15). Is 14 a factor of ((-1)/z)/(12/(-336))?
True
Let u be ((-99)/(-22))/(6/(-8)). Let c be u/3 - 114/(-6). Suppose 3*y + 9 = 3*o, -3*o - 2*y = -3*y - c. Does 3 divide o?
False
Let d(w) = -23*w**2 - 751*w - 13. Does 35 divide d(-28)?
False
Let y(d) = d + 6. Let r = -9 + 4. Let g = r - -5. Is y(g) a multiple of 6?
True
Suppose -3*f - 8 = 4*w, -2*f - 9 = 3*w - 2. Let i(z) = 5 + 14*z + 1 - f. Is i(2) a multiple of 15?
True
Suppose -41*g = -0*g - 53505. Does 15 divide g?
True
Suppose 0 = -5*v + 4*j + 190, v + 4*j + j = 38. Suppose -4*p = -3*t + 170, 0 = -2*t + 5*p + 73 + v. Does 18 divide t?
False
Suppose 4 = 4*r, 18*g - 527 = 14*g - 3*r. Is 10 a factor of g?
False
Suppose -d + 4*r - 32 = -5*d, -5*r = -15. Suppose 0 = -d*k - h + 93, k - 81 = -3*k - 3*h. Does 2 divide k?
True
Let l be 1 - 3/((-6)/8). Suppose -3*d = 5*b - 5*d - 21, -3*b = l*d - 25. Is 4/b - 2016/(-30) a multiple of 17?
True
Suppose 0 = 2*k - 6, 3*k + 64 - 21 = p. Is 5 a factor of p?
False
Let l = 20 - 4. Suppose -s + 3*s + 3*u - l = 0, -5*s + 3*u = -19. Suppose -4*w + 43 + s = 0. Does 12 divide w?
True
Let c(j) = -j**3 - 5*j**2 + 5*j - 2. Let y be c(-9). Suppose k = -3*x + 446, 2*x = -k + 20 + y. Suppose -3*i = 5 - x. Is i a multiple of 10?
False
Let n(i) = 2*i**3 - 3*i**2 + 3*i - 2. Let k(l) = l + 18. Let c be k(-15). Suppose -7*h + 2*h - c*v + 1 = 0, -2*h = -4*v - 16. Does 4 divide n(h)?
True
Suppose -18*i + 14*i = -236. Is i a multiple of 11?
False
Is 53 a factor of 14/(-63) - (-24305)/45*2?
False
Suppose -5*q + 32 = -3*q. Let f = -14 + q. Is 6 a factor of 8/f + (14 - 0)?
True
Suppose -5962 = -3*b + 5*t, 5*t + 2998 - 10959 = -4*b. Is b a multiple of 117?
True
Let g(b) = b**2 + b + 1. Let n(f) = 2*f**3 + 2*f. Let k(r) = -4*g(r) + n(r). Let y be 18/12*((-24)/(-9) + 0). Is k(y) a multiple of 26?
True
Let j be (3/(-3)*20)/1. Let u = -86 - j. Is u/(-5) - (-4)/5 a multiple of 2?
True
Suppose 2*a + 9 = 2*h - 3*h, 2*a = -4*h - 6. Suppose 0 = -s + h - 0. Is -2 - (s/(-1) - 12) a multiple of 11?
True
Let r(q) be the first derivative of -9*q**2/2 - 4*q + 3. Is 15 a factor of r(-19)?
False
Let r(y) = -2*y - 4. Suppose 3*x - x + 16 = 0. Is r(x) a multiple of 12?
True
Suppose 3*v - 94 = 4*l, 3*l + 0 = 6. Let r be (-1)/(-1) - (-13 - v). Let u = r + -28. Is 4 a factor of u?
True
Let g(x) = -2*x**2 - 3*x + 11. Let r be g(-5). Let p = 24 + r. Does 20 divide -4 + 3 + (p - -59)?
False
Let n(p) = 2*p**2 + 5*p + 2. Let z = 9 - 9. Suppose 3*c - v = -16, -3*c - 5*v + z + 8 = 0. Is 4 a factor of n(c)?
False
Suppose -19*b - 254 + 3674 = 0. Does 20 divide b?
True
Suppose 102311 = 104*m - 52129. Is 11 a factor of m?
True
Suppose 0 = 20*b + 4338 - 16338. Is 40 a factor of b?
True
Let n(q) be the second derivative of -q**4/12 + 13*q**3/6 + 2*q**2 + q. Suppose 5*g = -5*b + 65, -3*b + 43 = 5*g - 22. Is 2 a factor of n(g)?
True
Suppose -11 = -4*a - v, 2*a + a + 5*v + 13 = 0. Suppose a*h = p + 96, 4*h - 1 - 3 = 0. Does 23 divide (-3 + 6)*p/(-6)?
True
Let g = -62 + 64. Suppose -4*t = -2*s - 5*t + 442, 0 = -s + g*t + 221. Is s a multiple of 17?
True
Let p = -1837 + 4672. Is p a multiple of 81?
True
Let d = -3 - -2. Let t(z) = z**2 - z - 8. Let n be t(3). Is 24 a factor of 70 - (6 + n + d)?
False
Suppose -2*b + 212795 = 71*b. Is b a multiple of 53?
True
Suppose 2*q + 4 = -2*q. Let o(k) = -46*k**3 - k**2 + 1. Does 15 divide o(q)?
False
Suppose 44 = j - 65. Suppose -j + 13 = -h. Does 8 divide h?
True
Let z = 59 + -43. Suppose 0*f + f = 0. Suppose f = 2*c - 12 - z. Is c a multiple of 7?
True
Let m = -617 - -2647. Is 7 a factor of m?
True
Let s(a) = -a**3 - 10*a**2 + 6*a + 10. Let g be s(-10). Is g/(-30)*12/10 even?
True
Suppose -53*n + 57*n - 5*v = 2015, -2*v + 1994 = 4*n. Does 25 divide n?
True
Let p(o) = o**3 - 7*o**2 - 9*o - 10. Let r be p(12). Suppose 6*u + 80 = r. Is 18 a factor of u?
False
Suppose 0*u + 12 = 4*u. Suppose -5*x + 20 = 0, -11 - 2 = u*b - x. Is (b - (-86 - 3)) + 3 a multiple of 26?
False
Suppose 5*b - 13*b = -24. Suppose -2*j + b = -3*p, 2*p + 26 = 4*j - 0*p. Does 8 divide j?
False
Suppose 3*p - 2822 = i, -4*p + 3776 = -i + 3*i. Does 20 divide p?
False
Let b(l) = -37*l**3 + l**2 + 4*l + 2. Let d be 39/12 + (-3)/12. Suppose -7*n + 2*r = -3*n, -n - 7 = d*r. Is 18 a factor of b(n)?
True
Let x = 8 - -16. Let w = 1 + x. Does 6 divide (-4 - (-90)/w)*-45?
True
Let b = 18 - 2. Suppose -w = -2*m + b, 4*m - 92 = 6*w - w. Is 9 a factor of (-21)/14*w/3?
False
Is (-66)/231 - 1838/(-14) a multiple of 5?
False
Suppose -110 = -j + 2*k - 16, 2*j - 184 = 2*k. Let q = 45 + j. Is q a multiple of 12?
False
Let y(g) = 4*g + 6 - 2 - 10. Let f be (-1)/((-5)/(-6) + -1). Is y(f) a multiple of 9?
True
Suppose 4 = 4*z - f, -4*z = f - 4 - 8. Suppose -5*h - z*t + 1124 = 0, 5*h - 3*t - 1114 = -0*t. Does 14 divide h?
True
Let k = 2793 + 210. Is k a multiple of 13?
True
Suppose 24*g - 4080 = -16*g. Is 10 a factor of g?
False
Let n = -368 - -521