*v(a) - 6*z(a). Is p(f) a multiple of 3?
True
Suppose -c = -4*n + 137284, 0 = -3*n + 4*c + 101020 + 1956. Does 130 divide n?
True
Let q(o) = 2126*o**3 + 10*o**2 + 82*o + 34. Let l(t) = -425*t**3 - 2*t**2 - 16*t - 7. Let i(a) = 16*l(a) + 3*q(a). Is i(-1) a multiple of 9?
False
Let h(n) = -n**2 + 26*n - 19. Let y be h(24). Suppose 2*m = 87 - y. Is m a multiple of 3?
False
Let g be 254/(1/((-2)/4)). Let d(k) = k**2 + 5*k + 23. Let h be d(-20). Let i = g + h. Is i a multiple of 49?
True
Let z = -5595 + 9794. Let f = z - 2839. Suppose -5*p = 445 - f. Is 31 a factor of p?
False
Suppose -24 = -4*p - 5*f, 3 + 3 = 2*p + f. Does 19 divide 16728/51 - (4 - (p - 2))?
True
Does 94 divide (-16)/(-18) - 5244704/(-558)?
True
Let p(m) = -m**3 + 12*m**2 + 13*m + 4. Let o be p(11). Let h be 8/(-4) + o/4. Suppose -2*t + x + 45 = -0*t, -3*t - x + h = 0. Is 20 a factor of t?
False
Suppose -4*y = -2*k + 13042, 3*k = -21*y + 20*y + 19521. Is k a multiple of 44?
False
Suppose 5*s + 1557 = -3*m, -3*s + 338 - 2414 = 4*m. Is 2 a factor of (-1)/((-6)/m*(-6)/12)?
False
Let t(l) = 68*l**2 + 10*l + 9. Let c(m) = m**2 - 20*m + 17. Let v be c(19). Is t(v) a multiple of 9?
True
Let t = 615 - 430. Suppose 2*w + t = -3*x + 510, 155 = w + 3*x. Does 46 divide w?
False
Suppose -51121 = 105*u - 209881. Does 8 divide u?
True
Let y = 51 - 48. Suppose 3*s + y = -3. Is 1 + 2/s + 81 a multiple of 9?
True
Let n(t) = 937*t**2 - 109*t - 220. Is n(-2) a multiple of 13?
False
Suppose -16*j + 14*j + 2524 = 0. Suppose -8*z + j + 5234 = 0. Is 14 a factor of z?
True
Let v(f) be the third derivative of -f**5/60 + f**4/24 + 68*f**3/3 - 25*f**2. Is 17 a factor of v(0)?
True
Let d = -417 + 659. Suppose -738 = -8*b - d. Suppose -b*i + 60*i + 60 = 0. Does 2 divide i?
True
Suppose -f - 5*f = -24. Suppose -11*k - f = -12*k. Suppose 3*i + 2*i - k*u = 146, -i = 3*u - 33. Is 6 a factor of i?
True
Let v = 186 - 186. Suppose v = f - 251 - 49. Does 33 divide f?
False
Let i = 409 + -401. Is 16 a factor of (i/12)/(6/1152)?
True
Let b = 4 - -152. Let d = b - -40. Does 49 divide d?
True
Suppose 4*h = 5*o - 4192, -5*h - 573 = -5*o + 3617. Let u be (5/(-10))/(2/o). Let x = u + 318. Is x a multiple of 18?
True
Suppose 4*k = -23*k + 8289. Suppose 6*a - k = 1979. Is a a multiple of 64?
False
Let y = -732 - -739. Suppose -y*w - 116 = -788. Does 3 divide w?
True
Let t(z) = 46 - z**2 + z**2 + 41 - 4*z**3 + 5*z + 3*z**2. Let l(j) = -5*j**3 + 4*j**2 + 6*j + 88. Let a(h) = -3*l(h) + 4*t(h). Is a(0) a multiple of 14?
True
Suppose d = 2*z + 3268, -7*z + 3295 = -8*d + 9*d. Is 8 a factor of d?
False
Suppose -5*k = 0, z - k = -3*z + 35012. Does 72 divide z?
False
Let z(g) = 3*g**3 - 3*g**2 - 5*g - 8. Let m(t) = -2*t**3 + 5*t**2 + 4*t + 7. Let w(y) = -2*m(y) - 3*z(y). Is 23 a factor of w(-3)?
True
Suppose -4*o + 14 = -2*v, -8 = o - 4*v - 1. Suppose -3*c = x + 146 + 46, 0 = o*c + 20. Is 20 a factor of (x/21)/((-7)/49)?
True
Suppose 57*u = 58*u - 1. Let f be u/(-4)*1 - (-85)/20. Suppose 0*r + 28 = f*r. Does 5 divide r?
False
Suppose 248 = -14*f + 18*f. Let a = f - 63. Let w(v) = 75*v**2 - 3. Is w(a) a multiple of 18?
True
Suppose -14*l = -9*l + 21*l - 84266. Is 17 a factor of l?
False
Let n be (476/85)/(2/85). Suppose 4*s - p - 243 = 235, -2*s + p + n = 0. Does 30 divide s?
True
Suppose -12*h + 71*h - 7847 = 0. Let a = 0 + 3. Let s = h + a. Is 34 a factor of s?
True
Let s(r) = -7*r**2 + r + 3. Let h be s(2). Let l = h + 26. Suppose -y + 2*y - l*f = 73, 140 = 2*y - 4*f. Is y a multiple of 17?
False
Let r(f) = 659*f**3 - f**2 + f - 1. Let l be r(1). Let v = 281 - -186. Suppose -5*w + v + l = 0. Is w a multiple of 45?
True
Suppose 10*j - 7*j = 1500. Is ((-23)/(690/(-36)))/(6/j) a multiple of 10?
True
Let p(q) = 11*q - 7. Let o(l) = 3 + 1579*l**3 - 10 - 3*l + 7*l**2 - 1578*l**3. Let b be o(-7). Does 21 divide p(b)?
True
Let f = 39582 - 25002. Does 30 divide f?
True
Let f(k) = 50*k + 28. Suppose -2 = -36*a + 35*a. Is 8 a factor of f(a)?
True
Suppose -38*w - 13*w = -603265 - 660107. Is w a multiple of 11?
True
Let p = -187 + 71. Is p/754 + (-8270)/(-13) a multiple of 7?
False
Suppose u = -4*h - 369, -4*h + 744 = -2*u - 9*h. Suppose -3*i - 829 = -58. Let x = i - u. Is x a multiple of 10?
True
Suppose -4*t = 3*r - r + 2, 31 = 3*t - 5*r. Suppose 5*i + 58 = t*j, -5*i + 215 = -24*j + 29*j. Is j a multiple of 3?
True
Suppose 6*z - 3*z = 2*v + 88, -160 = 4*v - 2*z. Let t = -41 - v. Is 4/6 + (-478)/t a multiple of 17?
False
Let o = 231 - -84. Suppose -7*j + 3*j = -5*r + o, -r - 241 = 3*j. Let g = -46 - j. Is 17 a factor of g?
True
Let c = -94 - -95. Let g be 2*(c/9 - (-140)/(-126)). Let l(f) = -33*f**3 + 7*f + 10. Is 26 a factor of l(g)?
True
Let v be 455/78 - 1/(-6). Suppose -26 + v = -10*p. Suppose -y + 161 = j, -p*j + 5*y - 3*y + 302 = 0. Does 8 divide j?
False
Let j be (272/(-5))/(50/375). Let w = 972 + j. Is 12 a factor of w?
True
Let z = 749 - -3495. Is 20 a factor of z?
False
Let t = -8 + 3. Let m(x) = 70*x + 702. Let z be m(-10). Does 14 divide (-10 - t - -92) + (-1 - z)?
True
Let k be (-6 + 0)/((-6)/4). Let l be (2/4*k)/(-5 - -4). Does 45 divide 6/(-4) + l*2718/(-24)?
True
Suppose 328 = 3*u - 5*h + 98, 4*h = 4*u - 296. Suppose -5*s + 455 = u. Is s a multiple of 10?
False
Suppose 20*p = 5*v + 21*p + 3, -3*v + 15 = -5*p. Suppose v*r + 3*k - 1815 = -4*r, r + 2*k = 455. Is 26 a factor of r?
False
Let s be 12 - 12 - (0 - -22). Let k(g) = -g**3 - 20*g**2 - 135. Is k(s) a multiple of 17?
True
Let f(y) = 4*y - 6. Let d be f(2). Suppose -d*g - 239 = 193. Is ((-33)/44)/(1/g) a multiple of 18?
True
Let f(a) = 8*a + 2. Let x be f(-1). Let t be 0/((-25)/5) - x. Suppose -t*c = -3*c - 201. Does 33 divide c?
False
Let r(c) = -2*c**3 + 5*c**2 - 12*c - 25. Let z = 38 - 44. Let y be r(z). Suppose -3*l = l - g - y, l = -g + 171. Is l a multiple of 23?
False
Let k = -124 - -257. Let a = 75 - k. Let q = a - -73. Is 15 a factor of q?
True
Let m(d) = d**2 + 2*d - 3. Let h be m(0). Let u(l) = -12*l - 1. Let k be u(h). Let t = k - -163. Is 9 a factor of t?
True
Suppose 13*s = 51*s + 494. Let m(v) = -73*v + 17. Is m(s) a multiple of 21?
True
Let b(u) = -2*u**3 - 19*u**2 - 45*u + 89. Does 2 divide b(-12)?
False
Suppose -2115*a = -2074*a - 574574. Does 13 divide a?
True
Let q = -6801 - -10347. Does 10 divide q?
False
Let w(m) = -515*m**3 - 2*m**2 + 1. Is 2 a factor of w(-1)?
True
Suppose 34*y - 28356 = 740384. Is y a multiple of 238?
True
Suppose 2*t - 6456 = 5*i + 6954, -46980 = -7*t - 5*i. Does 305 divide t?
True
Let w(m) be the third derivative of -m**4/4 + 40*m**3/3 - 14*m**2 - m. Is 16 a factor of w(0)?
True
Let b be ((-144)/120)/((-3)/4385). Suppose -3*w - 253 - b = -3*z, -4*w + 3390 = 5*z. Does 51 divide z?
False
Let y = -31 + 31. Suppose y = z - 2 + 1. Does 22 divide z + -4 + 2 + 123?
False
Suppose 2*q - 6*q + m + 22 = 0, -12 = -2*q + m. Let b(p) = p**2 - 5*p + 3. Let o be b(q). Suppose -o*y - 528 = -4*a, -5*a - y = -0*y - 641. Is 43 a factor of a?
True
Let q = -228 + 253. Suppose -6*r = -q*r + 6992. Does 48 divide r?
False
Let t be (-21 + -2 - -2)/(21/(-602)). Let q = t + -241. Does 19 divide q?
True
Let f(r) = -8*r**2 + 14*r - 22. Let h be f(4). Let w = 551 + h. Does 15 divide w?
False
Let i(u) = -14*u. Let l be -3 - (-1 - -1) - (-10 + 11). Let y(x) = 13*x - 1. Let w(d) = l*y(d) - 6*i(d). Does 17 divide w(3)?
False
Suppose 0*r + 15 = 5*r. Suppose -4*m = -5*a + 25, -r*m + 4*a - 2*a = 17. Is 5/10 + ((-1430)/4)/m a multiple of 16?
False
Let y(f) = -96*f - 1380. Does 2 divide y(-41)?
True
Let l = -38 + 35. Suppose 4 = 7*h - 11*h. Is 10 a factor of 1 + -1 + 28 - (l - h)?
True
Let x be 2040/(-3)*(-4 - (-41)/(-2)). Suppose -25*r = -x - 940. Is r a multiple of 18?
False
Let w = 40 + 1. Suppose -4*z - 17 = -w. Let q(f) = f**2 + 18. Does 18 divide q(z)?
True
Suppose -204*i + k + 85081 = -200*i, -4*i - 3*k = -85077. Is i a multiple of 13?
False
Let j be (-2 - 2) + -4 - -41. Suppose j*p - 27*p = 636. Is 2 a factor of p?
True
Let v = 13290 + -933. Is v a multiple of 14?
False
Suppose 59*a - 99*a + 53920 = 0. Does 6 divide a?
False
Suppose 0 = 3*l + 433 - 55. Let p = l - -212. Does 9 divide (9/(-18))/((-1)/p)?
False
Suppose -19*b + 267417 = 81407. Is 89 a factor of b?
True
Does 182 divide (3 - 93/5)/(105/(-93975))?
False
Suppose x - 1 = 3, 2*x + 17 = 5*s. Let t(a) = 