ctor of y?
True
Suppose -17*y = 5*y - 89936. Is 13 a factor of y?
False
Let l(m) = -5*m**2 - 5*m + 10. Let b(a) = 2*a - 1. Let o(i) = -3*b(i) - l(i). Let q be o(3). Is (-5)/q + (-20)/7 - -24 even?
False
Let g(u) = -1363*u - 87. Let i be g(-4). Suppose 565 - i = -12*w. Is 20 a factor of w?
True
Suppose -3*a + x + 9 = 1, -4 = -4*a + 3*x. Suppose -3*m + 3910 = a*i, 7*m = 11*m - 4*i - 5260. Does 10 divide m?
True
Let x = -18856 - -24221. Does 3 divide x?
False
Let z = 850 + 14586. Is 182 a factor of z?
False
Let n be -20 - -9 - -3 - -35. Suppose n*f - f = 25766. Does 79 divide f?
False
Let g(d) = -5*d - 8. Let i(j) = -1 + 0*j + 21 - 3*j - 5. Let x be i(8). Does 14 divide g(x)?
False
Let v = -33 - -37. Suppose -v*q + 994 = -398. Does 15 divide q?
False
Let w(g) = -435*g - 2511. Is w(-17) a multiple of 85?
False
Suppose -q + x - 52 = 0, 4*x + 1 + 3 = 0. Let k = q - -23. Is (-1 - k/18)/((-2)/(-561)) a multiple of 11?
True
Suppose 2*m - 1163 = 523. Suppose -2917 = -5*n + 3*h, -m = -4*n + 2*h + 1491. Suppose 5*l = -x + n, -x = -4*l - 5*x + 464. Is l a multiple of 13?
True
Let f = -22010 - -38197. Does 72 divide f?
False
Let i be 3 + 0 + (21 - -1). Let c(b) = 2 - 6*b**3 + 0 - i*b**3 + b**2 + 2*b + 2*b. Is 6 a factor of c(-1)?
True
Let u be ((-7 - -3) + 5)*2073. Suppose -8*c = -5*c - u. Is 17 a factor of c?
False
Suppose 2*o - 9*o = 14. Does 19 divide 32 + -39 + (-686)/o?
False
Suppose -2*n + 3*i = -8, -2*i + 0*i - 16 = -4*n. Suppose 7*p - 90 = n*u + 2*p, 5*u = -4*p - 92. Is (u/5 - -2)/((-1)/51) a multiple of 40?
False
Let i(z) = 13*z + 185. Let r be i(-25). Is r/(-7 - (-133)/21) a multiple of 35?
True
Let o = -241 - -471. Suppose o + 166 = 6*h. Does 11 divide h?
True
Does 9 divide (5379/(-30) - (-19)/(-95))*-1*2?
False
Let y be (-15 - 31)*(-5)/(-2). Let m = y - -119. Suppose -m*z = -12, -5*v - 2*z + 4*z = -239. Does 7 divide v?
True
Is ((1 - 1) + 3)/(626/965292) a multiple of 18?
True
Let u be -6 + (-1182)/(-24) - 1/4. Let h = u + -40. Suppose -405 = -5*g + h*x + 2*x, -403 = -5*g + 3*x. Is 5 a factor of g?
True
Let v = 8732 - 8498. Does 14 divide v?
False
Suppose 4*v = 2*o + 2*o - 6148, -2*o + 4*v + 3080 = 0. Is o a multiple of 42?
False
Let f = 4724 - 4447. Does 16 divide f?
False
Suppose 12*s - 22 = 13*s. Let z be 2*(180/99 - 4/s). Is 17/(-68) + 117/z a multiple of 7?
False
Suppose 465 = 8*c - 95. Let r = 307 - c. Suppose -3*u - 650 = -5*q - 4*u, 5*u - r = -2*q. Is q a multiple of 14?
False
Let x be 18360/(-210) - 6/(-14). Let w = 187 + x. Is 19 a factor of w?
False
Let o(k) = 34*k + 18. Let h(s) = 6*s + 152. Let g be h(-25). Is 43 a factor of o(g)?
True
Let o(h) = -15*h + 68. Let d be (-2 + 7 - 2)*20/6. Let u be o(d). Let a = u + 402. Does 40 divide a?
True
Suppose 2*t - 30*d = -34*d + 3248, 5*d - 6475 = -4*t. Is t a multiple of 46?
True
Let m(p) = p**3 - 4*p**2 + 2*p + 2. Let y be m(4). Let v be (132/y)/(21/70). Suppose -2*h - v = -6*h. Is h a multiple of 11?
True
Let w be (-802)/(-20)*-4 - (-15)/(-25). Let t = 301 + w. Is 70 a factor of t?
True
Let y = 8679 - 4340. Does 17 divide y?
False
Suppose -22*h + 329855 = 86975. Does 10 divide h?
True
Let w(s) be the second derivative of 6*s**3 + 8*s**2 + 57*s + 2. Does 12 divide w(2)?
False
Let h(i) = i**3 + 20*i**2 - 68*i + 29. Let d be h(-23). Suppose d*c = -10*c + 368. Does 3 divide c?
False
Suppose 8*k = 12*k - 12, 5*k - 1017 = -l. Let n = l - -829. Is n a multiple of 14?
False
Let s = 49 + -43. Is 4 a factor of (-27)/4*((-384)/s)/2?
True
Suppose -4*x = 4*y - 6456, -y + 729 = -3*x - 893. Suppose -17*c + y = -c. Is c a multiple of 12?
False
Let i = -18254 - -32574. Does 16 divide i?
True
Suppose 0*k + 3*f = -2*k + 6772, -2*k + f + 6756 = 0. Is k a multiple of 10?
True
Let h be (5/5)/(-4 + 1)*0. Suppose 5*z + 1024 - 4504 = h. Suppose 270 - z = -6*v. Is 17 a factor of v?
False
Let w = 9881 - 6784. Is 2 a factor of w?
False
Suppose -3*m + 2*r - 4*r + 289 = 0, 5*m - 483 = -4*r. Suppose 31*b + 273 = -1401. Let w = m + b. Does 9 divide w?
False
Suppose 0 = 53*f + 91*f - 630576. Is f a multiple of 8?
False
Suppose 3*f = -5*z + 53, 7*z - 3*z = -5*f + 71. Suppose 5*t + 39 = -f. Let m = 39 + t. Is 8 a factor of m?
False
Suppose 5*u - 7*i - 79086 = 136605, -4*u = -5*i - 172551. Is 237 a factor of u?
True
Let u(s) be the first derivative of -8*s**2 + 28*s - 5. Let p be u(-14). Suppose -3*z + 210 + p = 0. Is 13 a factor of z?
False
Let k be (-2)/(-13) - 85876/(-182). Suppose 0 = -3*q + 272 + k. Is 8 a factor of q?
True
Let a(v) = 10*v**2 - 21*v + 88. Does 5 divide a(4)?
False
Let t = -176 + 178. Is (13 - -133)/(((-2)/(-1))/t) a multiple of 18?
False
Let r be (30/(-4))/((-1)/2). Suppose -22*y - 31 = 35. Let d = y + r. Is 2 a factor of d?
True
Suppose -4*y = -238 - 2. Let x be ((-16)/(-10))/(24/y). Does 16 divide 32/12*219/x?
False
Suppose 3*g = -2*l - 1112, 12*l - 5*g = 13*l + 542. Let v = l - -602. Does 22 divide v?
False
Let j(c) = -7*c**3 - 11*c**2 - 3*c + 31. Let n be j(-5). Suppose 0 = l - 4, 0 = -2*q - 3*l + 346 + n. Does 49 divide q?
True
Let q(i) = -i + 4. Let o be q(-1). Suppose 1662 = 4*f - o*w - 264, -3*w = f - 490. Is 44 a factor of f?
True
Is (8659/49)/(1/(-12))*14/(-4) a multiple of 8?
False
Let k = -17008 - -38450. Does 8 divide k?
False
Let g = 314 - 323. Let q(x) = -74*x - 22. Is 23 a factor of q(g)?
True
Let l = -27311 - -29755. Is 4 a factor of l?
True
Suppose 0 = d - 3*p + 13, 19 + 1 = 4*p. Suppose 3*q + d*q = -220. Let c = -40 - q. Does 2 divide c?
True
Suppose -9*i - 14 = -32. Let f be (-370)/(-50) + i/(-5). Let a = f + 22. Is 3 a factor of a?
False
Let x(v) = 11*v + 1. Let c(f) = -22*f - 3. Let n(j) = -6*c(j) - 10*x(j). Let o be n(1). Suppose 19*g - 24*g + o = 0. Is 4 a factor of g?
False
Let r = 190 + -142. Suppose 0 = -6*k + r + 564. Is k a multiple of 6?
True
Let l(c) = -41*c**3 - 9*c**2 - 82*c - 561. Does 15 divide l(-7)?
True
Let t(k) = -3*k**2 + 5*k - 5. Let c be t(4). Is 22/c - (-1312)/6 - -2 a multiple of 55?
True
Let a be 27/36 - 2/(-8). Suppose k + 0*j - 13 = 5*j, -k + a = j. Suppose 7*l - 404 = k*l. Is 15 a factor of l?
False
Let d be ((-122)/(-4) - -2)*(-16)/(-10). Let y = d - -110. Is 27 a factor of y?
True
Let a(x) = -24*x**3 + 14*x**2 + 43*x - 211. Let z(m) = -11*m**3 + 8*m**2 + 22*m - 105. Let d(p) = -6*a(p) + 13*z(p). Is 88 a factor of d(-15)?
False
Let g be (-22)/44 + 1690/(-4)*1. Let s = g - -765. Is 18 a factor of s?
True
Suppose 3*d = -4*o + 1211 + 197, 938 = 2*d + 3*o. Let w = -392 + d. Does 80 divide w?
True
Suppose -1143 = -11*w + 683. Is (w - (0 - 2)) + (-33)/33 a multiple of 8?
False
Suppose 2851*b - 2861*b + 180 = 0. Let g = 5 - 10. Is 15/(3/(b/g) + 1) a multiple of 18?
True
Suppose -2*h - 2*h + 16 = 0, 3*d - 3*h - 393 = 0. Is d a multiple of 9?
True
Let m = -1336 + 2227. Is m a multiple of 9?
True
Let a be 0 - (-1 + 3) - (-5 - -1). Suppose -a*p = -7*p + 3*c + 93, -4*c - 58 = -3*p. Let j = p - -22. Is j a multiple of 10?
True
Let x be (434/(-56))/((-1)/4). Suppose x = -12*z + 367. Is z a multiple of 9?
False
Let z(h) = 6*h**2 - h. Let p be z(1). Suppose -5*i + 3*i = -2*r - 152, -340 = -p*i - 3*r. Is 7 a factor of i?
False
Let p(u) = u**3 - 13*u**2 - 79*u - 89. Is 16 a factor of p(33)?
False
Let y be 6185/5 - (-2 - -6). Suppose -k = w - 409, -w + 5*k = -4*w + y. Is w a multiple of 13?
False
Let m(w) = -24*w**3 + 33*w**2 + 70*w - 214. Is 82 a factor of m(-14)?
False
Suppose -9*j - 4733 = -4*n, 5*n + 3*j - 6497 + 652 = 0. Does 11 divide n?
False
Let c = -17357 + 21089. Does 73 divide c?
False
Let y(k) = 8*k**2 + 4*k - 12. Let h be y(11). Suppose -d = -4*t - 212, -5*t = 2*d - 7*d + h. Suppose 5*l - d = -2*j, j + 12 = 5*j. Is 26 a factor of l?
False
Suppose -6 + 26 = 4*h. Suppose -h*t + 45 = 15. Suppose 0 = -2*u - 2*r + t*r + 320, -2*r + 144 = u. Is u a multiple of 23?
False
Suppose n - 2 = 3*m - 20, 0 = 4*n - 4*m + 72. Let a = 38 + n. Suppose -60 = -4*t + a. Is 20 a factor of t?
True
Let a(c) = 12*c + 90. Does 6 divide a(51)?
True
Does 43 divide 16 + ((-49)/(-7) - -15027)?
True
Suppose -170*r - 168*r = -341*r + 42768. Is 18 a factor of r?
True
Let t(s) = -3*s**2 + 44*s + 6567. Does 33 divide t(0)?
True
Let z(i) = -i**2 + 3*i + 29. Let l be z(8). Let q(h) = 5*h**2 + 9*h + 19. Does 15 divide q(l)?
True
Suppose 0 = -4*k + 2*k + 3*p + 2782, 3*p = 3*k - 4167. Suppose -7*m