e 65*j - 16421 = 64*j + 2*o, -5*o = 35. Is 40 a factor of j?
False
Let u = -10710 + 15139. Is u a multiple of 154?
False
Let c = 56 - 56. Suppose 3*p = -c*p + 243. Does 9 divide p?
True
Let q(a) = a**3 + a**2 - 3*a + 2. Let u be q(1). Let m be (u - (-5)/(-3))*-15 + -2. Let z(i) = -i**3 + 8*i**2 + i. Does 2 divide z(m)?
True
Suppose -4*n - 2*w + w = -1375, 0 = 5*n - 4*w - 1745. Let z = 481 - n. Is 12 a factor of z?
False
Suppose -3*i = -3*s + 1479, -5*s + 2017 = -s + 5*i. Let o = 927 - s. Is 13 a factor of o?
True
Suppose -190*q + 2992362 = -1209678. Does 48 divide q?
False
Let v(j) = -13*j + 26. Let d(f) = 14*f - 26. Let n(m) = 5*d(m) + 6*v(m). Let s be 1/(-2 + 39/21). Does 41 divide n(s)?
True
Let s(z) = z**2 - 2*z + 312. Let h be s(0). Let a = 238 + h. Is 55 a factor of a?
True
Suppose 13*y + 5*y + 5*y = 479021. Is y a multiple of 59?
True
Let p(x) = -6550*x - 74. Does 4 divide p(-1)?
True
Suppose -3*p - 181 = 5*t, t + 2*p + 27 = 6*p. Let z be 3 - 0 - t/(-7). Let u(f) = -10*f - 2. Does 9 divide u(z)?
True
Suppose 9*l - 4*l = -2*g + 3370, -4*g - l + 6812 = 0. Is 6 a factor of g?
False
Suppose 0 = -4*d + 5*x + 9190, 4*d + 87*x = 85*x + 9232. Is 5 a factor of d?
True
Let m(a) = a**3 - 14*a**2 - 19. Let k = -146 + 162. Is 27 a factor of m(k)?
False
Suppose 335*u - 336*u + 16 = 0. Suppose u*l = -12*l + 3864. Is 82 a factor of l?
False
Let v(p) = -47*p - 2817. Let f be v(-60). Suppose -o = -5*u - 6*o + 205, 190 = 5*u + 2*o. Suppose -f*t + u + 72 = 0. Is t a multiple of 18?
True
Let d(a) = 227*a - 9825. Is 11 a factor of d(159)?
True
Suppose b + 4 = 5. Let k(q) be the second derivative of 37*q**3/3 - 3*q**2/2 + 2*q + 13. Is k(b) a multiple of 48?
False
Let x = -54 - -66. Suppose -2*r - 141 = -4*z + 691, -x = -3*r. Is 15 a factor of z?
True
Let f = -169 - -77. Let l = 148 + f. Is l a multiple of 8?
True
Let b be 0/(-3 + (6 - 4)). Suppose b = -5*j - 3*k + 4741 + 151, -5*j + 3*k + 4868 = 0. Is 61 a factor of j?
True
Suppose 2*s + f = 45, -2*f = -s + 26 + 9. Let m = 29 - s. Suppose 2*u + u = 2*b + 412, 686 = 5*u - m*b. Is 29 a factor of u?
False
Suppose -3*k = 2*l - 97470, -5*l - 4*k = -123206 - 120441. Is 109 a factor of l?
True
Suppose -37796 - 9346 = -18*r. Is r a multiple of 27?
True
Let b(j) = 3265*j + 745. Does 116 divide b(2)?
False
Suppose -t = l - 282, -4*t - 3*l - 559 + 1687 = 0. Let v = t + -4. Does 21 divide v?
False
Suppose -10*k - k - 451 = 0. Let x = -18 - k. Does 23 divide x?
True
Let b be 1/1 - (-10)/1. Suppose -f + 15 = 2*g, 60 - 31 = 2*f + 5*g. Suppose -f - b = -y. Is y a multiple of 2?
True
Suppose 3*g + 70 = 3*j - g, -g + 50 = 3*j. Suppose 0 = 2*p - 5*p + 4*z + j, -13 = -p - z. Is (141/6)/(5/p) a multiple of 21?
False
Suppose 2*q + 110 = 5*b, -2*q + 0*b = b + 98. Let r = -47 - q. Suppose 0 = -r*t + 4*x + 326, -t - 4*x = -18 - 64. Does 18 divide t?
False
Suppose 0 = -5*g - 852 - 1683. Let j = g + 927. Does 84 divide j?
True
Let h be (4/7)/(-2) - 19932/(-84). Suppose -8 = -4*c, -6*w + 4*c = -w - h. Does 10 divide w?
False
Let m(d) = 5*d**3 + 9*d**2 - 37*d - 8. Let k(q) = 6*q**3 + 8*q**2 - 38*q - 8. Let v(i) = -4*k(i) + 5*m(i). Is v(-15) a multiple of 2?
False
Suppose -2014*n = -2008*n - 62496. Is n a multiple of 112?
True
Let s(v) = -v**3 - 15*v**2 + 13*v - 16. Suppose 2 = -z - 3*o - 12, -5*o = -2*z - 6. Let n be (-35)/2 - 12/z. Is s(n) a multiple of 8?
True
Let j(m) = 7*m**3 + 9*m**2 + m - 13. Let c = 8 - 7. Let x(h) = -h**3 - h. Let y(p) = c*j(p) + 6*x(p). Is y(-9) a multiple of 11?
False
Let o(m) = -m**2 - 32*m - 53. Is o(-25) a multiple of 26?
False
Let o(w) = w**2 - 4*w - 30. Let i be o(9). Suppose -16*j + 316 = -i*j. Is j a multiple of 79?
True
Suppose 5*d + 54803 = 4*z, -10*z + 8*z + 3*d = -27403. Does 33 divide z?
False
Let b(y) = -y**3 - 13*y**2 + 2*y + 26. Let n be b(-13). Suppose -3*m + m + 6 = n. Suppose 0 = -m*x - 126 + 492. Is x a multiple of 21?
False
Let j = -583 + 610. Suppose x = 4*w - 6652, -5*w - j*x = -32*x - 8315. Is 84 a factor of w?
False
Let b be (-16)/72 + 0 + 60/27. Suppose 2*d + 88 = o, -2*d = -3*o + b*d + 256. Suppose -p = -s + o, -2*s + 2*p + 397 = 3*s. Does 15 divide s?
False
Let t = 1239 - 873. Let z = -158 + t. Is 8 a factor of z?
True
Let g(u) = -87*u + 252. Suppose 2*z = -32 + 10. Is 13 a factor of g(z)?
True
Let x = -361 - -366. Suppose 0*l - 3*l + 63 = -3*r, -x*l + 77 = 2*r. Does 17 divide l?
True
Suppose -42*v + 711 = 195*v. Suppose -27 = -5*m - 7. Suppose 0 = v*u - 2*x - 386, -m*u - 5*x = -u - 421. Is u a multiple of 34?
False
Let h = -119 - -151. Suppose 0 = h*b - 26*b - 1320. Does 22 divide b?
True
Suppose 151*x - 558*x = -2175822. Does 99 divide x?
True
Suppose 0 = 3*t + 3*g - 2208, 4*g + 0*g + 2944 = 4*t. Let a = -116 + t. Is 62 a factor of a?
True
Is (-628)/(-3)*79/(9164/5655) a multiple of 156?
False
Suppose 0 = -2*k - 3*s + 2*s + 792, -4*s - 1572 = -4*k. Suppose -2*o - 3*o - k = -3*t, 5 = -5*o. Suppose -t = -2*a - 30. Is a a multiple of 13?
False
Suppose -3*z = -171 + 156, -t + 5*z = -19047. Does 290 divide t?
False
Let l = -59 + 129. Is (l - 0)/(6/24) a multiple of 7?
True
Suppose 10*v + 9 = -31. Does 46 divide (v + 1)/((-1589)/(-398) + -4)?
False
Suppose -75568 = -92*q + 665124. Is 97 a factor of q?
True
Let k be (-3 - -6)*(-11 - -14). Is 21 a factor of 7192/12 + (-3)/k?
False
Let c(n) = 2*n**2 - 34*n - 456. Is 24 a factor of c(32)?
True
Suppose 2*i + 16 = 6*i, -3*y - i = -31. Suppose -y*n - 20 = -14*n. Suppose -n*s + g - 130 = -5*s, 3*s - 400 = 2*g. Is s a multiple of 12?
True
Is 40/12*(-7 - 1115149/(-85)) a multiple of 112?
False
Let s = -219 - -227. Suppose 20*y - s*y = 1044. Does 5 divide y?
False
Let v(z) = 423*z + 3016. Does 2 divide v(-4)?
True
Suppose 3*u + 138 = u. Let b = 48 + u. Does 7 divide (24 + b)*34/3?
False
Is 13 a factor of (-270)/(-20)*(140 + 16)?
True
Let a be 200/3 + 4 + (-18)/27. Suppose a = 3*j + 4*j. Is j a multiple of 10?
True
Is 42 a factor of 214/((45/(-60))/(234/(-16)))?
False
Let d be (-2*7)/(-1)*(-2)/(-7). Suppose 78 = -d*h + 1518. Suppose -s = -5*s - 20, 0 = 5*v - 4*s - h. Is 24 a factor of v?
False
Suppose 2865 = 5*i - 2*a, -3*i = i + 4*a - 2320. Let o = i + -359. Is 27 a factor of o?
True
Let j(r) = -r**3 - 11*r**2 + 19. Suppose 3*d = 3*p - 39, -5*d - 2*p = -2*d + 34. Does 27 divide j(d)?
False
Let r = 17564 + -8708. Is 36 a factor of r?
True
Let n = 153 - -2. Let q = n - 108. Is 28 a factor of q?
False
Suppose -32 = 4*t - 320. Suppose 5*y - 3*l - 70 = 0, 236*l = 3*y + 233*l - 42. Suppose y*f = 17*f - t. Is 6 a factor of f?
True
Let b(i) = -i**2 - 9*i - 7. Let x be b(-4). Suppose -2*j + 17 = x. Suppose -4*q - 2*s = -26, j*q - 35 = -3*q - 2*s. Is 9 a factor of q?
True
Suppose 0 = f + 3*q - 592 - 89, f = -2*q + 677. Does 9 divide f?
False
Suppose -79676 = -33*k + 20413. Is k a multiple of 92?
False
Suppose -19*h = -11*h + 1032. Let f = h - -33. Let v = f - -193. Is 12 a factor of v?
False
Let f(u) be the third derivative of u**6/360 - u**5/10 + 49*u**4/24 + 10*u**3/3 + 21*u**2. Let v(d) be the first derivative of f(d). Is v(7) a multiple of 12?
False
Let z = 12029 - -7484. Is 12 a factor of z?
False
Suppose -8*i + 1326 = -20714. Suppose -4*u + i = -5*m, 4*u + u = 5*m + 3445. Is 13 a factor of u?
False
Suppose -59*i + 28 = -55*i. Suppose 0 = -g - 4*m + 699, -2*m + i*m = -g + 697. Suppose h - 3*b = 107 + 37, 5*h - g = 2*b. Does 15 divide h?
False
Suppose m - 6 = -m, 3*m - 954 = -3*s. Is ((-83)/3 + -3)/((-10)/s) a multiple of 23?
True
Let q(j) = -j**2 - 5*j + 4. Let d = 45 + -49. Let s be q(d). Does 13 divide 13*-3*s/(-12)?
True
Suppose -5*c - 9*o - 580 = -4*o, -5*c - 2*o - 565 = 0. Is (c/(-9))/(5/45) a multiple of 37?
True
Let t(k) = k + 14. Let i be t(-12). Let b be (-3)/((-15)/2380*i). Suppose -172 = -5*x + b. Is x a multiple of 38?
False
Let v(d) = -3*d - 62. Suppose 9*l - 1 + 1 = 0. Let r be v(l). Let c = r + 69. Is c even?
False
Let k(y) = 264*y + 726. Is k(12) a multiple of 66?
True
Let q(u) = 4*u**2 - 4*u - 8. Suppose -2*v + 37 = 5*m, 5*v - 35 = -0*v - m. Is q(v) a multiple of 11?
False
Does 14 divide (266358/(-1545))/(4/(-10))?
False
Let z be 8/(0 + -4 + 3). Let c be ((-8)/(-12))/(z/(-996)). Suppose -2*r - 2*b = -4*r + 146, 0 = -r - 4*b + c. Does 5 divide r?
True
Does 16 divide (-2 + -323)/(527/(-18445))?
False
Suppose -3*h + 2*d = -30 + 1, 3*d 