b**2 + 138*b - 2114. Is v(17) a multiple of 23?
True
Suppose 2*v = 386 + 12. Let d = 234 - v. Is d a multiple of 2?
False
Suppose 0 = 2*r - r + 2*p + 15, 2*p - 6 = 2*r. Is 143/(0 - r/28) a multiple of 11?
True
Let b be (-4 - (-42)/4)*(30 + -2). Let k = -110 + b. Does 18 divide k?
True
Suppose 504 + 1234 = -4*c - 5*r, -5*c = -3*r + 2191. Let q = 917 + c. Is 12 a factor of q?
True
Let d be (-7104)/(-112)*((-23)/(-2) - 1). Let u = d + -204. Is u a multiple of 33?
True
Suppose 1506 = 5*i - 5934. Is 10 a factor of i?
False
Let h = -323 - -296. Is 3248/126 - 6/h a multiple of 3?
False
Let r(c) = 444*c + 556. Is r(6) a multiple of 8?
False
Let t(c) = -c**2 - c + 34. Let k be t(-6). Let f be ((-11)/2 - (k - 6))*-22. Suppose -5*n = -3*p - p - 343, -5*p = -n + f. Is 3 a factor of n?
False
Suppose 5*k + 2*g + 2530 = 70802, 2*k + 2*g - 27304 = 0. Is k a multiple of 17?
False
Suppose -2*t + 0 = -4. Suppose 0 = -4*d - 5*f + 66, 0 = 17*d - 14*d + 3*f - 51. Suppose 2*r - t*i = 42, d = 3*r + i - 52. Is r a multiple of 6?
False
Let r = -600 - -1207. Let j = -319 + r. Is j a multiple of 32?
True
Suppose 9976 = 4*n + 2*s, -8*n - 9980 = -12*n - 3*s. Is n a multiple of 14?
True
Suppose 0 = -d - 0*d + 4*o - 12, 0 = -d - o + 8. Let j(a) = 11 + 2*a - d*a + a. Is j(-11) a multiple of 22?
True
Let f be 5 - (3 - 6 - -46). Let h be 68/18 + f/(-171). Suppose -h*b + 592 = 4*c, 0*b = b - 4. Is 16 a factor of c?
True
Let x(b) = 24*b**2 + 13*b + 29. Let p be x(-4). Suppose 9*i + 4*w - 579 = 4*i, 3*i = w + p. Is i a multiple of 17?
True
Does 73 divide 1 - (-9 + 1 - (-1 + 8241))?
True
Let o(d) = 5806*d**3 - 4*d**2 - 3*d + 6. Let f be o(1). Suppose 795 + f = 12*v. Does 50 divide v?
True
Let s(c) = -c**2 + 7*c - 7. Let o be s(4). Let x(f) = 18*f + 15. Does 7 divide x(o)?
True
Let p be 9*11 - (0 - -4). Suppose -308*l + p = -303*l. Let g = 142 - l. Is g a multiple of 10?
False
Let k be 1 - -2 - (18 + -39). Suppose 63*l - k*l = 12870. Does 55 divide l?
True
Let f = -766 + 1231. Let a = -393 + f. Is a a multiple of 18?
True
Let y be (7*(-36)/(-168))/((-2)/4). Let h(t) = 39*t**2 + 6*t - 4. Does 7 divide h(y)?
True
Let l(x) = 2*x**2 + 8*x. Let o be l(-4). Let y(t) = 2*t**2 + t + 39. Let p be y(o). Suppose 4*n - 64 = 5*j - 8*j, 2*j - n = p. Is j a multiple of 4?
True
Suppose b = -4*f + 1019, 6*b + f - 5152 = b. Is b a multiple of 9?
False
Let w(n) = 37*n + 252. Let l be w(-8). Does 5 divide -19 - -24 - 1*(l + -1)?
True
Let k(f) = -2*f**3 - 12*f**2 + f + 82. Is k(-11) a multiple of 14?
False
Let h be 66/(0 - 6/(-64)). Suppose -4*s - h = -2*a, -2*a - 95 = 3*s - 834. Is a a multiple of 8?
False
Let l(c) = 64*c**2 - 6*c - 10. Let i be l(-7). Suppose i = -0*z + 11*z. Is z a multiple of 32?
True
Suppose -600 = -395*i - 391*i + 783*i. Is i a multiple of 49?
False
Let f(q) = -q**2 + 8*q - 11. Let i be f(3). Let r be 18*(0 - (-186)/4). Suppose o + 511 = 4*o - 2*p, 5*o = -i*p + r. Does 36 divide o?
False
Let q be (49/(-21))/(2/(-24)). Let h be (-50)/4*-6*q/(-15). Let n = h - -232. Does 9 divide n?
False
Let q(n) = 39*n**3 - 2*n**2 - 5*n - 4. Let h be q(-1). Does 2 divide 158 - h/(5 + -10)?
True
Suppose 0 = -20*p - 121 + 1. Is 4/p*(-381 - (-9 - -6)) a multiple of 7?
True
Suppose -4*z = 3*x - 4995, -2*z - 1830 = -2*x + 1500. Suppose 0 = -7*p + x + 1814. Let d = -293 + p. Does 14 divide d?
False
Let k = -8781 + 9003. Does 14 divide k?
False
Let n = 2367 + -3477. Let c = -730 - n. Does 15 divide c?
False
Let z be (-29)/(-3) - (-26)/78. Suppose -431 + 1921 = z*f. Is 15 a factor of f?
False
Suppose a + q + 0 = 5, 0 = -5*a + 2*q + 18. Suppose -12 = -a*h - 0*h. Suppose -2*u + l + 46 = 0, h*u - 62 = -0*l - 2*l. Is 19 a factor of u?
False
Does 47 divide (-4938)/(53/38 + 9/(-6))?
False
Let q(m) = 5*m**2 - 9*m + 4. Let v be q(6). Let t = 526 - v. Is t a multiple of 36?
True
Suppose -1200*s + 1202*s = -8, a - 2*s = 5073. Is 72 a factor of a?
False
Suppose 60*s + 82600 = 74*s. Does 5 divide s?
True
Suppose -3*d - 64 = d. Let h = -6 - d. Suppose -h*q + 12*q = 196. Is 18 a factor of q?
False
Let i = 25767 - 13671. Is i a multiple of 192?
True
Suppose -s = -o + 2351, -5 + 8 = s. Does 102 divide o?
False
Suppose 4*m - 109*h + 105*h - 57864 = 0, 14470 = m - 2*h. Is 32 a factor of m?
False
Let d be (-30)/12*-2 - -98485. Is 12 a factor of -2*(-1)/(-3) - d/(-126)?
False
Let q(i) = 6*i**3 - 6*i**2 - 40*i + 9. Is 12 a factor of q(6)?
False
Let i = 559 - 561. Does 86 divide ((-15 - -9) + 7)*(i + 1030)?
False
Let x(k) = -16*k**3 - 4*k**2 - 80*k - 444. Is 72 a factor of x(-7)?
False
Let c be 7 - 1/(2/4 + 0). Suppose 4*t - 2990 = -c*x + 7*t, -1175 = -2*x - 3*t. Is x a multiple of 39?
False
Suppose -5*h - r = 3*r - 140, 2*h + 5*r = 73. Let n be (2/(-3))/(h/(-180)). Suppose -5*p + 3*s + 356 = 91, 230 = n*p + 4*s. Is 8 a factor of p?
False
Let t = 8639 - 4306. Does 56 divide t?
False
Suppose -4*v + 299 = -201. Suppose -5*o + 125*b - 123*b = 458, -4*o = -b + 367. Let n = o + v. Is n a multiple of 11?
True
Let i(y) = 4*y**2 - 13*y - 6. Let f be i(6). Suppose -f = -2*s + s. Let l = 128 - s. Does 17 divide l?
True
Let f(i) = -i**2 - 8*i + 25. Let k(m) = m - 1. Let t(z) = -f(z) + 2*k(z). Let a be t(-12). Does 26 divide (-111)/6*2/a*3?
False
Let d be (8 - 69385/(-45)) + (-1)/(-9). Let z = d + -751. Does 23 divide z?
False
Let z(v) = -v**2 - 4*v - 3. Let n be z(-5). Let k(g) = -2*g + 1. Let m(h) = -8*h - 3. Let t(u) = 2*k(u) + m(u). Is t(n) a multiple of 32?
False
Suppose -14806 = 132*z - 143*z. Suppose -2*s - 5*p + z = 0, 3*p + p - 3331 = -5*s. Is 17 a factor of s?
True
Let i(p) be the third derivative of p**6/120 + p**5/3 + 4*p**4/3 - 9*p**3/2 - 48*p**2. Does 3 divide i(-18)?
True
Suppose 0 = 41*k - 223664 + 14441. Does 12 divide k?
False
Suppose 13*a - 18926 - 54257 - 30011 = 0. Does 81 divide a?
True
Let l be (68/85)/((-2)/(-290)). Let r = 488 + l. Is 29 a factor of r?
False
Let l(k) be the first derivative of -3*k**2/2 - 9*k + 9. Suppose -4*r = 3*i + 2*i + 7, 5*r + 60 = 4*i. Is 3 a factor of l(r)?
True
Let p(a) = -224*a - 307. Does 27 divide p(-14)?
False
Suppose 5*p - 38115 = -5*u, 2*u - 37*p + 36*p = 15225. Does 32 divide u?
True
Suppose 557 = -5*r + 437. Let w = r + 60. Is 3 a factor of w?
True
Let a(b) = 5332*b + 344. Is 12 a factor of a(4)?
True
Suppose 6258 = 2*l - 6*t + 4*t, -5*l - t = -15639. Suppose l = 3*w + w. Suppose 0 = -c - 4*s + 142, -w = -5*c - 2*s + 6*s. Is 22 a factor of c?
True
Is 29 a factor of 64/(-96) - (-182652)/9?
False
Let a(m) = -2*m**3 - 8*m**2 - 4*m + 11. Suppose 5 = 8*n + 37. Let v be -6 + (-3)/(12/n). Does 6 divide a(v)?
False
Suppose 2*n + 127 = 4*a + 361, a = n - 119. Is n a multiple of 5?
False
Let i = 10 - -27. Let k = i - 16. Does 2 divide 4/14 - (-1 - 603/k)?
True
Let n be (7 + -7)/(-3 - -4). Suppose 2*l - 1695 = -2*l + 3*f, n = -3*l + 4*f + 1266. Is 19 a factor of l?
False
Let c(l) = 42*l**2 + 3*l + 6 - 74*l**2 + 31*l**2. Let t be c(4). Is 8 a factor of (-8 + 68)/(3/t)?
True
Suppose -z = 5*t - 30, -2*t = 17*z - 12*z - 12. Is 36 a factor of (-2425)/(-4) - -5*t/(-120)?
False
Let y = -185 + 209. Is 15 a factor of 5/(-2) + 6 + 37356/y?
True
Let j be -588 + (-1 - (2 + -2)). Let a = j - -631. Is a a multiple of 21?
True
Let b(c) = 2*c**3 + 60*c**2 - 10*c - 23. Is 88 a factor of b(-29)?
False
Let l(u) = 22*u + 42. Let p(b) = 4*b**2 - 8*b + 9. Let q be p(2). Is l(q) a multiple of 15?
True
Let a = -14156 - -31796. Is a a multiple of 40?
True
Suppose 15*l = 9*l + 42. Suppose l*q - 157 = 501. Is q a multiple of 22?
False
Does 2 divide 448*-2*309/(-1236)?
True
Let y(h) = -2*h**2 + 6*h + 53. Let u be y(7). Let w = u - -17. Is w a multiple of 2?
True
Let m = 897 + -521. Let o = 1120 - m. Does 93 divide o?
True
Let x = 49 + -6. Suppose x = 2*y - 4*c + 3, -y - 3*c = -15. Is y a multiple of 13?
False
Suppose 296*c - 408 = 302*c. Let d be 5/(-20) - 139/4. Let p = d - c. Is p a multiple of 12?
False
Suppose 126*f = -5*q + 124*f + 247750, -3*q + 6*f + 148686 = 0. Is 163 a factor of q?
True
Let l(d) = d**3 + 8*d**2 + 9*d - 10. Let n be l(-6). Suppose -n*c - 131 = 61. Is 31 a factor of (496/12)/(1/c*-4)?
True
Let h = -45 + 47. Let u(v) = 67*v**2 + v + 2. Is 14 a factor of u(h)?
False
Is 71 a factor of (25/(-75))/(4/(-87756))?
True
Suppose 4*y - 100 - 444 = 0. Let h = 41 + -59. Is 3 a factor of (h/(-27) - y/(-3