4))/(6/4) a multiple of 30?
True
Let b(f) = 68*f + 360. Is b(7) a multiple of 11?
True
Is 13/((-26)/6) + 789 a multiple of 12?
False
Suppose l - 4*l = -111. Suppose 5*w - 103 = l. Does 7 divide w?
True
Let c(n) = 5*n - 19. Suppose 4*l = 2*l + 34. Is 11 a factor of c(l)?
True
Suppose 0 = 5*m - 2*j - 1256, 3*j = 107*m - 108*m + 241. Is m a multiple of 6?
False
Suppose -d + 4*d = 0. Suppose 4*b - 12 - 4 = d. Suppose 5*v - 3*s - 25 = -b*s, -3*v = s - 15. Is v even?
False
Let v be (-18)/12*44/(-6). Let u(h) = h - 7. Is 3 a factor of u(v)?
False
Suppose -x + 414 = -4*g, 1611 = 5*x + 4*g - 483. Does 35 divide x?
False
Let x(t) = 18*t**2 - 2*t + 5. Let b(i) = 36*i**2 - 5*i + 10. Let h(a) = -2*b(a) + 5*x(a). Is 11 a factor of h(-2)?
True
Let q(z) = 2*z**2 - 8*z - 16. Does 46 divide q(-12)?
True
Suppose 2882*b = 2869*b + 34593. Is 31 a factor of b?
False
Let n(l) = -l**3 - 6*l**2 - 3*l + 1. Let r be n(-5). Let w(b) = -1. Let k(v) = -4*v + 4. Let z(x) = 2*k(x) + 6*w(x). Is 17 a factor of z(r)?
False
Let y = -54 - -81. Suppose -4*a = -3*m - 2, 5*m - 5*a + 0*a = 0. Does 8 divide y - (m + (-3)/(-3))?
True
Suppose 13*d = -0*d + 65. Is d a multiple of 5?
True
Suppose 0*c + 1125 = 5*c. Is c a multiple of 75?
True
Let q(h) = -25*h + 6. Let f(u) = 26*u - 7. Let j(w) = -6*f(w) - 7*q(w). Does 19 divide j(4)?
True
Let r(f) = -7*f**3 + 0*f + 2*f**2 + 6*f - 4*f. Suppose -j = 5*z - 2*j + 15, -2*z = 3*j - 11. Is r(z) a multiple of 12?
True
Suppose 251 - 75 = 2*z. Suppose -k = -5*k + z. Does 10 divide 708/k + 2/(-11)?
False
Let o(t) = 2*t**2 - 3. Suppose -3*f + 4*p = -27, p + 4 - 11 = -2*f. Does 8 divide o(f)?
False
Let d(t) = t**3 - 19*t**2 - 33*t + 81. Does 27 divide d(21)?
True
Let c(g) = -2*g + 1. Let u be c(-2). Let m be 6/(-14) + 33/77. Suppose m = u*t - 10 - 50. Is t a multiple of 8?
False
Let i(c) = -15*c + 14 + c**2 - 2*c**2 - 29. Suppose -b - 7 = 5. Does 21 divide i(b)?
True
Let z(h) = -32*h + 13. Let s be z(-2). Suppose -2*w - w + 7 = g, 0 = -5*g - w + s. Is g a multiple of 3?
False
Suppose -2*n - 5*d = -17, 4*n + 5*d - 52 = d. Is 5 a factor of 3 + 18 - n/(-1 + -3)?
True
Let x be (-1)/(3*4/(-324)). Let t = x - -9. Does 12 divide t?
True
Let p(q) = 7*q - 7*q - 9*q + 10 - 2*q**2 + 0*q**2. Let v(z) = -4*z**2 - 17*z + 21. Let i(d) = -5*p(d) + 2*v(d). Is i(-9) a multiple of 11?
True
Let c = 94 - 175. Let g = -22 - c. Is g a multiple of 18?
False
Suppose -3*p - 9 = -4*w + 10, w - 4*p = 8. Suppose -5*l + 8 = w*s, -4*l - 2*s + 1 + 9 = 0. Suppose u - l*u = -213. Is 14 a factor of u?
False
Let x = 267 - -376. Is x a multiple of 5?
False
Let f(o) = -6*o**2 - 9*o + 41. Let t(r) = -3*r**2 - 4*r + 20. Let j(u) = 3*f(u) - 7*t(u). Is j(-4) a multiple of 7?
False
Suppose -o = -5*o. Let h be o + 2 - (-2961)/7. Suppose 0 = s - 3*l - 111, -5*s + 91 + h = -2*l. Is s a multiple of 31?
False
Let c = -261 + 271. Is c even?
True
Let m be (-235)/(-35) + 2/7. Let j(y) = 6*y - 14. Is 14 a factor of j(m)?
True
Is ((-922)/2)/(2 - (6 - 3)) a multiple of 7?
False
Let q(y) = y**3 + 22*y**2 + 16*y + 31. Let c = 10 + -31. Is 51 a factor of q(c)?
False
Suppose 3671 = -31*n + 10243. Is n a multiple of 15?
False
Suppose 3*p + 2*h = 4*p - 1, 4*p + 4*h - 28 = 0. Suppose 0 = p*f - 372 - 223. Is 20 a factor of f?
False
Suppose 0 = 216*v - 198*v - 3960. Is 20 a factor of v?
True
Suppose 0 = -3*r + 6*r - 5*a - 6949, 0 = -2*r - 4*a + 4618. Is 57 a factor of r?
False
Let g = -1041 - -1132. Is g a multiple of 6?
False
Does 12 divide 202 - (2 - (0 + -2))?
False
Let n(a) = -a**3 - 14*a**2 + 76*a - 24. Is n(-19) a multiple of 10?
False
Let b = 140 - 29. Suppose p - 466 = -4*g, 5*p - 2*p = -g + b. Does 48 divide g?
False
Let d(z) = -6*z - 41. Let a be d(-7). Is a*27 + 4/3*3 a multiple of 3?
False
Let n = -108 + 110. Is 21 a factor of (((-168)/(-18))/n)/(1/18)?
True
Suppose -3*w + 50 = -40. Suppose -4*n - 5*h + w = 0, 2*h + h = -2*n + 14. Is n a multiple of 10?
True
Let n be (-18)/(2/(2/((-8)/(-28)))). Suppose 34 = -r + c, 4*r - 4*c + 2*c + 136 = 0. Let q = r - n. Does 13 divide q?
False
Let v(x) = -x**2 - 7. Let i(u) = 6. Let r(s) = -6*i(s) - 5*v(s). Does 6 divide r(-2)?
False
Suppose -1853*p + 1857*p - 5620 = 0. Is p a multiple of 21?
False
Is -5*(-10)/125*110/2 a multiple of 8?
False
Is 9 a factor of (-178992)/(-924)*28/6?
False
Let o = -37 - -252. Is 43 a factor of o?
True
Let t = 17 - 15. Let y be t/(((-24)/20)/(-3)). Suppose o = 2*c + 7, 2*o - 4 = 5*c + y. Does 17 divide o?
True
Suppose 0 = 5*r, -8*r + 3*r - 45 = -5*n. Let m be (n/(-6))/((-3)/4). Suppose -m*o = 5*o - 364. Is 10 a factor of o?
False
Does 18 divide 256/(-8)*(-27)/2?
True
Suppose -n = -0*n - 7. Suppose -n - 13 = 5*q. Does 7 divide 328/16 - 2/q?
True
Let v be (-12 - -2) + 1 + -1. Let m = -83 + 109. Let f = m - v. Is f a multiple of 9?
True
Let s = 141 - 57. Is s a multiple of 12?
True
Let r(a) = 4*a + 8. Let h(m) = m. Let b(x) = -44*h(x) + 4*r(x). Is b(-6) a multiple of 20?
True
Suppose y = 5, 4*c - 3*c - y = -3. Suppose 2*m = -4*p + 486, 2*p = -c*p - 4*m + 488. Is 30 a factor of p?
False
Let w(t) = 5*t**2 - t - 4. Let b be w(2). Let o = b + -27. Let f = o - -24. Is f a multiple of 4?
False
Let o(p) = 55*p + 5. Let g be o(16). Suppose -g - 30 = -5*q. Is q a multiple of 19?
False
Suppose 4*d = -5*x + 56, -d = -2*x - 4 + 3. Let l(w) = 29*w - 37. Is 14 a factor of l(d)?
True
Is 2258/5 + 21/(-35) a multiple of 8?
False
Let p(f) = 2*f**3 - 5*f**2 - 2*f + 2. Let k(o) = 4*o**3 + 5*o - 8*o**3 - 5 - o**3 + 14*o**2. Let v(h) = -4*k(h) - 11*p(h). Is 26 a factor of v(-4)?
False
Suppose 6*q = 5*q + 5. Suppose q*u - 99 = -3*v, -2*v + 3*u + 41 = -2*u. Does 14 divide v?
True
Suppose 14*n = -2*n + 37136. Does 78 divide n?
False
Suppose 4*z - 3*a - 7 = 2*z, 5*a - 5 = -5*z. Let h(g) = 87*g**2 + 3*g - 2. Is 22 a factor of h(z)?
True
Let c = 0 + 8. Let s be (-1)/(-4) + (-2)/c. Suppose s = -4*q + 18 + 14. Is 8 a factor of q?
True
Suppose 3*x - 4*q - 16 = 0, 0 = -5*q - 1 - 4. Let s = 8 - x. Does 4 divide 3 - -3*s/6?
False
Let h(k) = 6*k**2 - 10*k + 4. Let p be h(8). Let f = p + -203. Let x = -67 + f. Is x a multiple of 14?
False
Let x = -6 - -7. Suppose 4*d - 2*h - 78 = -16, -5*d - 2*h = -73. Suppose l - 3*l - x = j, -3*l = -3*j + d. Is 2 a factor of j?
False
Let p(v) = 13*v**2 - 2 + 0 + 5*v**3 - 3*v**2 + 2*v. Let h(y) = -14*y**3 - 29*y**2 - 5*y + 7. Let r(i) = -4*h(i) - 11*p(i). Does 13 divide r(-5)?
False
Suppose -3*i + 135 = 2*i. Let m(z) = z**3 + 19*z**2 - 4*z + 7. Let y be m(-19). Let c = y - i. Is c a multiple of 28?
True
Let l(s) = 2*s**3 + 25*s - 6. Let t be l(-5). Is 21 a factor of t/27*-3 + 4/(-12)?
True
Let x(o) = -97*o - 5. Does 9 divide x(-2)?
True
Suppose 0 = 4*b - 8*b + 676. Let g = -97 + b. Is 18 a factor of g?
True
Let n be (12/(-4)*-4)/2. Suppose o = n*o - 570. Let t = o + -72. Is t a multiple of 15?
False
Suppose 30 = -6*y + 2*y - 3*i, 3*y + i + 20 = 0. Is (y + 4)*3*-7 a multiple of 7?
True
Let c(t) = -t**2 + 6*t + 7. Let h be c(11). Let i = h - -96. Does 8 divide i?
True
Let l(i) = i + 22. Let t be l(-18). Suppose 179 = t*x - 53. Is 31 a factor of x?
False
Let k(j) = -22*j - 47. Is 21 a factor of k(-19)?
False
Let p = -90 - -179. Does 7 divide p?
False
Let g = 208 + 351. Is 58 a factor of g?
False
Let a(v) = -2*v**3 - 14*v**2 - 2*v - 14. Let i be a(-7). Suppose -3*m + 134 = -3*u - 34, i = 5*m - 2*u - 295. Is 11 a factor of m?
False
Suppose -426 = -2*w - 0*w - 2*m, 0 = -3*w + 3*m + 663. Let i = 322 - w. Is 7 a factor of i?
True
Let k(c) = -c**3 - 12*c**2 - 39*c + 14. Does 13 divide k(-10)?
False
Suppose 109 + 159 = -3*v + 5*b, 0 = -3*v + 2*b - 262. Let f = v + 154. Does 17 divide f?
True
Suppose 2*s - 36 = -w, -w = -4*s + 2*w + 72. Let n be s/8*(-24)/3. Let m = -5 - n. Is m a multiple of 5?
False
Is 41 a factor of (41*2/(-6))/((-5)/165)?
True
Let p(b) = 20*b - 20. Is p(17) a multiple of 10?
True
Let f be -2 + (-8)/(-5 + 3). Suppose -f*i - 4 = -i. Does 12 divide (-78)/i + 3/(-2)?
False
Is 30 a factor of (-102)/(-714) + 2099/7?
True
Let z = 55 - 50. Suppose -176 = -5*p - c - 8, 0 = z*c - 15. Does 5 divide p?
False
Suppose -137 = -4*a + 163. Suppose -5*q = -10*g + 5*g + 40, 2*q = -5*g + a. Does 13 divide g?
True
Suppose -3*j - 41 = 2*y - 179, 5*y - j - 328 = 0. Is y a multiple of 17?
False
Let p(t) = 2*t**2 + 2*t - 1. Let l be p(-5). Suppose 5