. Let d be (1 - f) + 4 - 1. Is d/(-38)*(-376)/(-3) a multiple of 13?
False
Let g be ((-618)/(-9))/(9/(-162)). Let d = g + 3174. Is 102 a factor of d?
True
Suppose 16 = -4*y, -n - 2408 = 4*n + 2*y. Let w = n - -684. Does 26 divide w?
False
Suppose 1223*g - 1170*g - 599112 = 0. Is 55 a factor of g?
False
Suppose -4*u = 5*g - 257793 - 96557, 3*g + 2*u = 212612. Does 14 divide g?
False
Suppose -3*f - 15 = -6*f. Let a(q) = -23*q + 5. Let v be a(-7). Suppose -v = -f*m + 139. Does 25 divide m?
False
Suppose -p = 4*x - 3*p + 2286, -1716 = 3*x - 3*p. Let h = -397 - x. Is h a multiple of 58?
True
Let u be 418/(-6)*(0 - 18/6). Suppose 4*y + 199 = -u. Let k = y + 285. Is k a multiple of 16?
False
Let y(p) = -15*p**2 + 4*p + 6. Let x(i) = -42*i**2 + 11*i + 17. Let d(w) = -4*x(w) + 11*y(w). Suppose -5*m + 8 = -3*m. Is 26 a factor of d(m)?
False
Let f be (-6 - (-4 - 3)) + -1. Suppose -n - 5*k = -128, -3*k + f*k + 118 = n. Does 26 divide n?
False
Let q(c) be the third derivative of -c**5/60 - 13*c**4/24 - 8*c**3/3 - 20*c**2. Let s be q(-4). Is (6 - 132/s)/((-1)/115) a multiple of 13?
False
Let y(n) = 3580*n**2 - 21*n - 7. Does 9 divide y(2)?
False
Let s = -32 + 24. Let l = s - -7. Let z(g) = -65*g - 3. Does 13 divide z(l)?
False
Let m = -6862 + 9663. Is m a multiple of 40?
False
Let v = 1649 + 999. Does 5 divide v?
False
Suppose 3*v = -3*u + 7260, -4*v - 9672 = 4*u - 8*u. Does 41 divide u?
True
Let b(t) = t**3 + t**2 + 5*t - 5. Let p be b(0). Let s(m) = 8*m**2 + 12*m - 40. Does 20 divide s(p)?
True
Let i be 21*-1*(110/(-33))/(-10). Let q(g) = 2*g**2 + 12*g + 7. Does 3 divide q(i)?
True
Suppose 0 = -23*y + 69029 + 4387. Is 6 a factor of y?
True
Let k = 3784 - 2978. Does 31 divide k?
True
Let j(u) = 20*u**3 - 19*u - 31 + 60 + 10*u**2 + 0*u**3 - 33 - 5*u**2. Is 13 a factor of j(3)?
False
Suppose -2*c + 44644 = -111*t + 110*t, 0 = c - 2*t - 22310. Is 183 a factor of c?
True
Suppose -c - 2*c + 335 = -35428. Is 13 a factor of c?
True
Suppose -29 = -3*n + 2*v, 3*n - 2*n = 2*v + 11. Suppose -j - w + 9 = w, 5*w - n = -j. Suppose 132 = -j*u + 1608. Is u a multiple of 11?
False
Let i = -79 + 81. Suppose -i*d - 17 + 33 = 0. Suppose d = -2*l, 6*s = s - 2*l + 417. Is 41 a factor of s?
False
Let j be -39 + (-4 - (-1)/(-1)*-3). Let f = j + -16. Let g = 68 + f. Does 12 divide g?
True
Does 28 divide 46/115*(-5)/2*-557?
False
Let k(q) = -2*q**2 - 100*q + 299. Is k(-23) a multiple of 67?
True
Let f(h) = -19*h - 199. Let d be f(16). Let k = d + 648. Is k a multiple of 11?
False
Let u(t) = 30*t**2 - 23*t - 90. Does 5 divide u(-5)?
True
Let w be (-4)/(-6) - (4 - (-3880)/(-12)). Suppose 0 = 21*d - 16*d - w. Is d a multiple of 4?
True
Suppose 112*j = -105*j + 933270 + 265872. Is 19 a factor of j?
False
Let y(t) = -113*t**2 + t. Let l be y(1). Let n be 4/5 + l/40. Does 6 divide (-378)/(-12) + (15/n)/5?
True
Let s(k) = -4*k + 1. Let v be s(-1). Suppose -n + 50 = v*y, -15*y - 40 = -19*y - 3*n. Does 55 divide (708/y)/((-4)/(-10))?
False
Let v be 24*(-2)/3 - 0. Let b(f) = -f**2 - 15*f + 28. Let x be b(v). Suppose -3*c + x*o - 7*o = -181, -2*c = -o - 109. Does 3 divide c?
False
Let w(v) = -v**2 + 15*v + 33. Let a = 72 - 55. Let d be w(a). Is 9 a factor of (-9 - -4 - -50) + 3 + d?
False
Let t be 1/(700/(-701) + 1). Let q = -58 + 56. Does 14 divide q/(-18) + t/9?
False
Let l = -6912 + 4438. Let q = l + 4467. Is q a multiple of 108?
False
Does 112 divide (-68)/119 - ((-468744)/(-21))/(-2)?
False
Let i = -481 + 1633. Is i a multiple of 32?
True
Let p = -162 + 395. Let v = p + 504. Is 62 a factor of v?
False
Let k(l) = 5*l**2 + 17*l - 66. Is k(-14) a multiple of 6?
False
Let i be (4/(-2))/(63/(-189)). Does 18 divide ((-72)/(-28))/(1180/196 - i)?
True
Suppose -116 - 2806 = -7*d + 172. Does 2 divide d?
True
Let b(z) = -z**3 + 23*z**2 + 23*z + 17. Suppose 1 - 145 = -6*h. Let j be b(h). Is 5 a factor of j/(6/9 + -1)?
False
Suppose -14*r + 2793 - 189 = 0. Suppose 7*m - 13*m + r = 0. Is m a multiple of 19?
False
Suppose -3*q = -5*h + 12, -2*h + q - 6*q = 20. Suppose 3*b + h*f = -f + 983, 0 = b + 4*f - 324. Does 25 divide b?
False
Suppose 4581 = 14*h - 753. Let f = 755 - h. Is f a multiple of 11?
True
Is (-25 - -1283) + 20 + -6 a multiple of 8?
True
Suppose 0 = v - 9*v + 40. Does 9 divide v*5224/40 - 5?
True
Let f(c) = -8*c**3 - 5*c**2 - 3*c + 3. Let a(b) = -b**2 - b + 6. Let x be a(-3). Suppose -5*k + 93 - 103 = x. Is 7 a factor of f(k)?
False
Suppose 32*p - 435 = 31*p - 5*h, 5*p + 3*h - 2065 = 0. Is 2 a factor of p?
True
Let b(c) = 6*c**2 + 548*c + 427. Is b(-98) a multiple of 8?
False
Let w be 6*(245/15 - 0). Suppose 0 = -m + 2, w = 4*f - 3*m - 44. Is 5 a factor of f?
False
Is 7 a factor of (90/(-20))/(60/(-45920))?
True
Let q(w) = -14*w - 114. Let u be q(-9). Suppose -u*z - 244 = -988. Is 6 a factor of z?
False
Let i be (3/(-9))/(6/234). Let f(q) = -2*q**3 - 24*q**2 + 27*q + 19. Let b be f(i). Suppose b*a - 571 = 419. Does 11 divide a?
True
Suppose 0 = 5*j - 2*g + 7, -g = -2*j + 3*j. Let v(l) = 125*l**2 + 5*l + 4. Is v(j) a multiple of 31?
True
Suppose -11*u = 4*u - 450. Suppose 9692 = -u*f + 35852. Is 29 a factor of f?
False
Let t(a) = -2*a**2 + 43*a - 18. Let y be t(21). Let b(s) = 51*s + 9. Let u be b(y). Suppose 9 = -9*k + u. Is k even?
False
Let c be (-530)/(1 + 0/2). Let t = -278 - c. Is t a multiple of 4?
True
Let r(n) = n + 11. Let q be r(-9). Let h(c) = 3*c**3 - 2*c**2 - 3*c + 2. Let w be h(q). Suppose w*x - 88 - 68 = 0. Does 13 divide x?
True
Let k = -9544 - -9564. Is k a multiple of 10?
True
Let l = 10842 - 5772. Suppose -3*y + 1694 = -2*j - 1352, -5*y + l = -5*j. Is y a multiple of 47?
False
Suppose -9*x - 7*x = -2*x. Suppose -8 - 4 = -2*j. Suppose -4*g = -j*g - 3*t + 132, x = -2*g + 3*t + 108. Is 12 a factor of g?
True
Let h(p) = -100*p + 579. Let m be h(5). Let k = 0 + 6. Let n = k + m. Is n a multiple of 17?
True
Suppose 0 = 4*g + 4*h - 25584, 2*h = -5*g - 0*g + 31992. Suppose -103*v - g = -108*v. Is 33 a factor of v?
False
Let g be 1 + 3*1/3. Let b(m) = 3*m**g + 10 - m + 8*m + 11 + 2*m. Is b(-6) a multiple of 10?
False
Let i(s) = -5467*s - 98. Let a be i(-8). Does 17 divide a/714 - 5/(170/4)?
False
Let s be (4854/(-4) + 4)/((-2)/4). Let m = s + -1654. Is m a multiple of 15?
True
Suppose -44339 = -6*t - 2075. Does 32 divide t?
False
Suppose 14*x + 8648 = f + 15*x, -2*f - x + 17302 = 0. Is 10 a factor of f?
False
Let u(i) = i**3 + 9*i**2 + 10*i + 12. Let w be u(-6). Suppose 3*o - 185 = -5*b, -4*o + 345 - w = -b. Is 70 a factor of o?
True
Let u = 31638 + -18870. Is 42 a factor of u?
True
Is 1070046/72 - 32/(-128) a multiple of 10?
False
Suppose 2*p - 155 = -1. Let s = p - 26. Let z = 6 + s. Does 14 divide z?
False
Let n(u) = 1251*u**2 + 97*u + 192. Does 15 divide n(7)?
False
Let g(v) = 31*v - 11*v - 15*v + 140. Is g(-10) a multiple of 10?
True
Is 32 a factor of 4353 + 5/(95/323)?
False
Let j = 92 + 151. Let v = j + -187. Does 28 divide v?
True
Let t = -8458 - -23769. Is 61 a factor of t?
True
Let r = 29 - 9. Let f = r - 22. Is (119 + f - 2) + 10/(-5) a multiple of 26?
False
Let z = -45 - -309. Suppose -30*s + 33*s - z = 0. Suppose -4*a = 8 - s. Is a a multiple of 4?
True
Suppose -147408 = -2*r - 5*v, 4*r - 47879 - 246849 = v. Is 13 a factor of r?
True
Suppose -35*y - 4418 = -b - 33*y, 0 = 2*b - 2*y - 8844. Is b a multiple of 46?
False
Suppose -7*c + 30 = -c. Let j(o) = 7*o - 16. Let m be j(c). Let n(h) = h**3 - 17*h**2 - 34*h - 24. Does 18 divide n(m)?
False
Suppose -253 = -z + 3*o, z + 3*o - 937 = -3*z. Let m = z + -171. Is 8 a factor of m?
False
Does 7 divide 21904/44 - 1*((-18)/33)/3?
False
Suppose 4*w - 4*n = 64800, w + 5*n - 1863 = 14337. Is 15 a factor of w?
True
Suppose 6220*r - 6223*r = -66678. Does 5 divide r?
False
Let j(a) = 3*a**3 - 19*a**2 + 11*a + 106. Let s(f) = -4*f**3 + 20*f**2 - 10*f - 106. Let d(p) = -5*j(p) - 4*s(p). Is d(-14) a multiple of 30?
True
Suppose -j = -6*o + 9*o - 15421, 4*o + 4*j = 20556. Is o a multiple of 34?
False
Suppose -4*v + 5*a = -948, -2*v - 3*v - 3*a + 1185 = 0. Suppose v = 5*x - 143. Suppose -4 = -4*k + x. Does 6 divide k?
False
Let r be (4 - (23 + -5))/1. Let t be 4*3*(5 - r/(-3)). Is t/((-117)/252 + 2/4) a multiple of 14?
True
Let v be 1*-2 - (17 + 5)*2. Let n = 50 + v. Is 9 a factor of ((-4)/n - -62) + 2?
True
Suppose -d + 0*d = -7. S