Let z be (-3 - -5)/(-2) + -82. Let x = 161 + z. Suppose -5*v + 11*v = x. Does 13 divide v?
True
Suppose 18*s - 10 = 13*s. Let t be (-6)/((-5)/5) - s*1. Suppose 0 = 2*o - 5*j - 205, -2*j + t*j - 260 = -3*o. Is 15 a factor of o?
True
Suppose 3*l = 14 - 35. Is 15 a factor of (20/l)/((-58)/7511)?
False
Let n(r) = -4*r**3 + 12*r**2 - 6*r + 111. Is n(-8) a multiple of 35?
True
Let d(u) = -u**3 + 4*u**2 - 3*u + 5. Let z be d(3). Suppose -z*g - 4*t - 6 = 0, t = -2*g - 1 - 2. Is (0/g + -2)*212/(-8) a multiple of 6?
False
Suppose -5*t - 4*i + 235622 = 0, -2*i + 47118 = t + 2*i. Does 104 divide t?
False
Let j = -4 - -10. Is ((-18)/(-27))/(j/2367) a multiple of 24?
False
Let h(g) be the first derivative of 5 + 1/3*g**3 - 9*g**2 + 18*g. Is 9 a factor of h(18)?
True
Let q(h) = 187*h + 358. Is 2 a factor of q(6)?
True
Suppose x = 4*v + 234 + 299, -4 = -2*v. Suppose -11*i + x = -1461. Is i a multiple of 13?
True
Suppose -2*i = -90*i + 925437 - 161069. Is 101 a factor of i?
True
Let v(d) = -9*d**2 + d + 408. Let i be v(0). Suppose 0*m + 594 = 3*q - 3*m, i = 2*q + 4*m. Does 13 divide q?
False
Suppose -4*m = 5*o + 14, 4*m + 10 = -4*o - 2. Let f be o + 2/(-4)*2. Is (f/(-3))/(-4) - (-130)/8 a multiple of 8?
True
Let i be (-5)/((-590)/589 - 3 - -4). Suppose 0 = -3*c - 15, -4*c = o - 4*o + i. Does 35 divide o?
False
Let t = 985 + 214. Is 109 a factor of t?
True
Let s = -5188 - -13686. Does 31 divide s?
False
Suppose -2*m - 2*s + 316 = -0*s, -5*m - 3*s = -784. Suppose 2*x = -2*z + 3*z + m, -5*x - 3*z = -415. Suppose 3*y = -y + x. Does 5 divide y?
True
Let p be 1/(-1) + (1/1 - 0). Suppose p = 11*w - 198 - 440. Does 36 divide w?
False
Let p be 1/(5 + (-5 - (-5)/15)). Suppose 0*m - 1694 = -p*m - f, -4*f + 572 = m. Is m a multiple of 6?
True
Let k(a) = a**2 + 2*a + 2. Let y(r) = -2*r**2 - 15*r - 12. Let o(s) = k(s) - y(s). Let b(m) = -9*m**2 + m - 1. Let w be b(1). Is o(w) a multiple of 8?
True
Does 14 divide ((-22134)/(-124) - (-3)/(-6))*218?
False
Suppose 5*s - 3*c = 12310 + 5389, -2*s + 7073 = c. Is s a multiple of 58?
True
Does 143 divide 6/((-2 - (-6 - -3))/(15464/24))?
False
Let r(v) = -913*v - 17923. Does 13 divide r(-42)?
True
Let m(x) = 40 + 24*x + 82 - 31*x. Is m(4) a multiple of 4?
False
Suppose -10*v + 7*v = 3*o - 93, 0 = -v - 5*o + 39. Is 6 a factor of (1*-1)/(-28 + v) - -241?
True
Let g(j) = -j**2 + j. Let f(d) = -171*d**2 + 21*d - 6. Let r(v) = -f(v) + 18*g(v). Is 13 a factor of r(-2)?
True
Is 10084/8 + ((-22)/(-4) + 0 - 5) a multiple of 3?
False
Let a = -14104 + 20074. Is 169 a factor of a?
False
Let b(z) = 3*z**2 - 14*z + 273. Is 26 a factor of b(-17)?
True
Let i(t) = 5*t**2 - 3*t - 9. Let l(d) = d**2 - 10. Let g be l(-4). Suppose -3*m - 20 = -2*y, 5 + g = -m + 5*y. Is 17 a factor of i(m)?
False
Suppose -5*n = -2*g - 12 - 3, 3*n + 5*g - 40 = 0. Suppose 2500 = -n*x + 25*x. Is x a multiple of 5?
True
Let f(t) = -2999*t + 257. Does 15 divide f(-2)?
True
Let t be ((-21)/(-14))/((-21)/(-12) + -1). Does 15 divide 6*((-10)/4 + t - -57)?
False
Let a(u) = -2*u. Let v be a(4). Let w(x) = -8*x - 24. Let l be w(-4). Is 13 a factor of (-6)/l - (310/v - 1)?
True
Suppose -3*i + 4*i + 19*i = 13460. Is i a multiple of 2?
False
Suppose 0 = -9*y + 128 - 20. Suppose -y*q + 4*q + 384 = 0. Does 3 divide q?
True
Suppose -73030 = -42*q + 163472. Does 93 divide q?
False
Let j(y) = y**3 + y**2 - 2*y - 4. Let i be j(2). Suppose -t + 322 = -i*b - 144, -5*b = 3*t - 1364. Is 23 a factor of t?
False
Let l(h) = 18*h**2 + h - 2. Let j be l(-4). Suppose j = -2*t - 5*m, -4*t + 0*m = -2*m + 540. Let y = 201 + t. Is y a multiple of 18?
False
Let x(l) = 4*l**2 - 9*l + 6. Let c be x(8). Let a = 266 - c. Is 4 a factor of a?
True
Let l be (27/(-6))/(3/359)*-2. Let u = l - 580. Does 5 divide u?
False
Let j(m) = 37*m**2 - 2*m - 1. Let i be j(-2). Suppose -157 = -k + 5*z, -4*k + 5*k - 2*z = i. Is 9 a factor of k?
False
Is 215 a factor of (-736030)/(-21) - 4 - 7/147?
True
Suppose 6*w - 911 = 17665. Does 72 divide w?
True
Suppose 0 = 2*i - 10*h + 5*h - 42, -3*h - 42 = -2*i. Is 7 a factor of ((-42)/5)/(i/(-105))?
True
Let l(g) = 133*g**2 - 18*g - 54. Is 21 a factor of l(-3)?
True
Suppose -2*c - 75*p = -70*p - 5180, 2*c + 3*p - 5172 = 0. Is c a multiple of 60?
True
Suppose -2*l + 30 = -5*z, 2*l - 3*z - 19 = 7. Suppose -5*c + l = -5. Suppose c*s + 314 = 5*s. Is 43 a factor of s?
False
Suppose -20160 = -4*c + 4*a, 10*a - 25236 = -5*c + 9*a. Does 58 divide c?
True
Let l(n) = -7*n**2 + 1. Let t(s) = 15*s**2 - s - 3. Let d(i) = -13*l(i) - 6*t(i). Let u be d(-3). Does 18 divide ((-96)/(-20))/u*-90?
True
Suppose 42*t - 5195 = 129205. Is t a multiple of 65?
False
Let t = -2428 + 3591. Suppose 0 = -5*y + t - 338. Is 19 a factor of y?
False
Let w(a) = 9*a**2 + 18*a - 12. Let z be w(-22). Suppose 17*r - 11*r = z. Is r a multiple of 27?
False
Let w(s) = 6*s**2 - 154*s - 320. Let j be w(-2). Let m(l) = -l - 4. Let x be m(-6). Is 8 a factor of (-62)/((40/j - x) + -2)?
False
Suppose 22030 = 2*j - 2*q, -4*q - 413 = -429. Is j a multiple of 10?
False
Let p = -53 + 56. Suppose p*t = 13*t - 130. Suppose t*x - 177 = 31. Does 3 divide x?
False
Let u(h) = 2*h**2 + 96. Let p be u(0). Let g be p/(-28) + 3 - 1546/(-14). Suppose 2*y = 66 + g. Is y a multiple of 22?
True
Suppose 242*d - 239*d + 105269 = 5*x, x - 7*d = 21073. Does 68 divide x?
False
Let z(g) = g**2 - 8*g - 6. Let v be z(9). Let f(h) = -158*h**2 + 20*h + 157*h**2 - 9 + v. Does 6 divide f(14)?
True
Let d(y) = y**2 + y - 245. Let a be d(15). Let k(t) = 3*t**2 - 6*t - 16. Let s(i) = i**2 + i - 1. Let h(u) = k(u) + s(u). Does 9 divide h(a)?
True
Suppose 273*w = 189176 + 1014208. Is w a multiple of 76?
True
Let v(f) = f + 7. Let n be v(-8). Let m(s) = -3*s**2 - s**3 - 1 - 9*s - 13*s**3 - 6*s**3 + 2*s + 4*s. Does 3 divide m(n)?
False
Let m(a) = -8 - 3*a - 8 + 4 - 4. Let z be m(-6). Suppose -z*p + 56 = -46. Is 17 a factor of p?
True
Let j(d) = 4*d**2 + 45*d - 469. Does 204 divide j(-56)?
False
Let k = 6397 - 2008. Does 33 divide k?
True
Suppose -2*p + 2066 = 5*w, -3*p - 3*w + 5593 - 2494 = 0. Is 23 a factor of p?
False
Suppose -4*z + 43*u = 45*u - 8340, -2*u = 12. Is 87 a factor of z?
True
Suppose z = -4, -5*o + 34*z - 38*z = -9219. Does 17 divide o?
False
Let q = -142 + 143. Is 10 a factor of ((-14)/(-21))/(q/3) + 63?
False
Let w = 3074 - 1947. Suppose 5*u - 1123 = w. Is 9 a factor of u?
True
Let u(w) = 17*w**2 - 44*w + 1477. Is u(41) a multiple of 226?
True
Suppose -4*j - 3*q + 50 = -6*q, 5*j - 3*q = 64. Let u(r) be the first derivative of -r**3/3 + 15*r**2/2 - 4*r + 763. Is 10 a factor of u(j)?
True
Suppose a = 2*n - 4*a - 146, 2*a = 2*n - 152. Let b = 79 - n. Does 14 divide (-462)/(-11)*b/2?
False
Let d = 1416 + 777. Is 51 a factor of d?
True
Let w(c) = -c**3 + 4*c**2 - 2*c. Let h(x) = x**2 - x. Let y(q) = -4*h(q) + w(q). Let r be y(0). Suppose -5*m + 598 + 137 = r. Does 17 divide m?
False
Let i be (2 + -5 - 3)*(-2)/3. Suppose 3*c = i*f + 472, c - 110 - 46 = f. Is 9 a factor of c?
False
Let v = 23588 + -19838. Is 180 a factor of v?
False
Let k(o) = 2*o**3 - 35*o**2 + 129*o + 40. Does 83 divide k(24)?
True
Let d be (-1 - -13)/(-3) - -16. Suppose 5616 = 5*t - 2*w, -d*t + 5*w = -10*t - 2238. Does 26 divide (-2)/5 + t/10?
False
Suppose 4*m - 2*s = 7894, m + 4*s = 1575 + 367. Is 7 a factor of m?
False
Suppose u = 6*x - 512, 0 = 5*x - 5*u + 4*u - 427. Suppose -94*g + x*g = -2475. Does 11 divide g?
True
Let f be (3/(-2))/(6*2/(-56)). Let q(m) = m**3 - 2*m**2 - 9*m. Let k be q(f). Suppose -x + 136 = w, 3*x - 2*w - 206 = k. Does 12 divide x?
True
Let r(b) = 36*b**2 + 430*b + 25. Is r(-19) a multiple of 11?
True
Let p be (-2)/11 - (3 - 3) - (-37624)/22. Let f(k) = k**3 + 4*k**2 - 4*k - 5. Let a be f(-4). Suppose q + p = a*q. Is q a multiple of 29?
False
Let q be 2 - -14*(0 + (-3)/(-3)). Let c be -3 - 244/q - 2/(-8). Does 16 divide c/(-21)*8*(16 - 2)?
True
Suppose 0 = 4*d - 5*q - 0*q - 59167, -5*d - q = -73995. Is d a multiple of 45?
False
Let z = -16 - -18. Let g(k) = -7*k**2 + 58 + 0*k**2 + 2 - k**3 + 8*k**z. Is g(0) a multiple of 10?
True
Suppose -251171 = -20*u + 361849. Is u a multiple of 51?
True
Let o(d) = 205*d**2 + 36*d + 404. Is 67 a factor of o(-11)?
False
Let r(l) = l**2 + 1707*l - 3405*l + 43 + 1708*l. Is r(-3) a multiple of 9?
False
Let f(m) = 83*m**2 - 9*m.