 i*r. Is 13 a factor of r?
True
Let s(v) = -v**3 - 20*v**2 - 48*v + 1. Let z be s(-14). Let w = z - -635. Is 7 a factor of w?
False
Let z be 0 - (-7 + 3 + -239). Let k = 399 - z. Does 4 divide k?
True
Suppose 5*q - q = -3*j + 18634, -5*q + 6204 = j. Is j a multiple of 47?
False
Let d be (111/444)/((-2)/(-40)). Suppose -2*m + d*m - 3*q = 1395, 3*q + 2323 = 5*m. Is 16 a factor of m?
True
Let j = 343 + -337. Suppose -j*m = 9*m - 5460. Does 14 divide m?
True
Suppose 4*j + 30 = -2*b, -4*b - 57 = -4*j + 51. Let n(w) = -2*w**2 - 68*w - 32. Is n(b) a multiple of 60?
False
Let y = -806 - -1282. Is y a multiple of 17?
True
Let i = -43 - -26. Let h = -143 + 216. Let g = h - i. Is 9 a factor of g?
True
Let h = 6 + -8. Let k be 1/(h + 297/150). Let x = -8 - k. Is x a multiple of 10?
False
Let o(n) = n**3 - 41*n**2 + 241*n + 90. Does 3 divide o(34)?
True
Let h(c) = c**3 + 12*c**2 + 19*c + 10. Let j be -6 - (13 + -7) - (-3 + -1). Does 19 divide h(j)?
True
Let g = 5544 + -44. Does 63 divide g?
False
Suppose -10*j = -3*j - 6265. Suppose 1388 = 2*l - u - 395, -l = -4*u - j. Is 48 a factor of l?
False
Let l be (-2 + 1)*(190 - 12). Let k = l + 224. Is k a multiple of 14?
False
Let k(h) = -2*h**2 - 4*h - 10. Let t be k(-7). Let x = t - -80. Suppose x = n - 7*n + 480. Does 16 divide n?
True
Let k = -61 + 65. Suppose 3*r = 4*z - 252, -r + 252 = k*z + 3*r. Suppose 0 = -s + 4*u + 135 + z, 4*s - 732 = u. Is s a multiple of 31?
False
Let p(f) = f**2 + 3*f - 12. Let n be p(3). Let z = n + 190. Is 7 a factor of z?
True
Suppose -94*z = 5*x - 95*z - 32724, -5*x - 5*z = -32700. Is 16 a factor of x?
True
Suppose 57885 = 1219*o - 1204*o. Does 20 divide o?
False
Let s = 243 - 222. Suppose -31731 + 4305 = -s*o. Does 32 divide o?
False
Let f be (-1 + 4 - 98/28)*-12. Suppose 2 = -2*z + f, -4*z = 3*d - 1547. Suppose 0 = v, 5*b = -2*v + d - 38. Is b a multiple of 19?
True
Let j = 1160 + -208. Suppose 2*h + j = 3*h. Does 28 divide h?
True
Suppose 3*q - 182 = -38. Suppose -3*l - 2*w = -74 - 90, -l = -w - q. Is l a multiple of 13?
True
Suppose 0 = -16*b + 21*b + 225. Let n be (-9)/b + (-19)/(-5). Suppose -n*l + l = -96. Is 32 a factor of l?
True
Let s be (253 - (-4 - 1))/2. Suppose 3*h + 0*w + w = 91, -4*w = -5*h + s. Let t = h - 21. Is t a multiple of 4?
True
Let v(b) = b**3 - 6*b**2 + 5*b + 5. Let d be v(6). Let f = 79 - d. Is f a multiple of 11?
True
Let w(p) = -3*p - 9. Let t be w(-1). Is 3 a factor of t/(-48)*12*62?
True
Is 4 a factor of (-80)/9*135/36*-2*27?
True
Let c = -20130 + 35503. Does 77 divide c?
False
Let j be 30/5 - -16 - 1/(-1). Suppose -5*x = -j - 247. Does 54 divide x?
True
Let a = -21 + -10. Let g = 116 - a. Let x = -117 + g. Is x a multiple of 6?
True
Let x(y) = -y**3 + 7*y**2 + 4*y + 9. Let c be x(-7). Suppose -5*j = -0*j - 2*i - 1113, -3*j = -2*i - c. Let t = 379 - j. Is 26 a factor of t?
True
Let m = 4 + -3. Does 4 divide m*-5 + 154 + 11?
True
Let d(f) = -21*f**3 - 11*f**2 + 13*f + 84. Is 60 a factor of d(-4)?
True
Let h(u) = 13*u - 7. Let z be h(3). Let f be (-5)/(20/z)*11/(-2). Suppose -54 = -y + f. Is y a multiple of 11?
False
Let s = 133 - 151. Does 25 divide ((-18568)/33)/(12/s)?
False
Let h(y) = -3*y**2 + 54*y + 3. Let j(r) = -4*r**2 + 55*r + 1. Let n(v) = -6*h(v) + 5*j(v). Suppose -z - 72 = 2*z. Is 5 a factor of n(z)?
False
Let m(p) = 21*p + 85 - 28 - 16*p. Let q be m(-11). Suppose q*k + 86 = 2*s, 2*k - 4*k = 3*s - 154. Does 18 divide s?
False
Let n(q) = 2*q**2 + q - 76. Suppose -4*p + 46*p - 504 = 0. Does 25 divide n(p)?
False
Suppose 0 = -2*b + 4*d + 7732, -2*d + 8975 - 1273 = 2*b. Is 130 a factor of b?
False
Let u be ((-65)/15)/((-2)/(-48)). Let n = u + 194. Does 18 divide n?
True
Let q = -28 - -10. Let u be (-1)/(((-8)/(-1120))/(q/(-8))). Is ((-1)/(-3))/((-948)/u - 3) a multiple of 5?
True
Suppose s + 6040 = 2*l - 2463, -4*l = -s - 17009. Is l a multiple of 67?
False
Does 46 divide ((-1)/(20/8))/(16/(-1028560))?
True
Let t be -9*(-6 + 4/(-24)*-4). Let a = -99 + t. Let x = 113 + a. Is x a multiple of 19?
False
Suppose -121*j = 77*j + 16193 - 70049. Is 36 a factor of j?
False
Let u(r) = -r**3 + 9*r**2 - 4*r - 10. Let o(q) = 2*q**2 - 5*q - 17. Let m be o(-7). Suppose 4*b + 84 = m. Is 8 a factor of u(b)?
False
Let m(c) be the second derivative of -4/3*c**3 + 7*c + 0 + 11/2*c**4 + 5*c**2. Is 43 a factor of m(2)?
True
Is -336 + 326 - (-2 - (6613 + 2)) a multiple of 55?
False
Let g = 1031 - 506. Is 25 a factor of g?
True
Suppose 2*v - 2*w = 14, w = 4*v + 4*w - 7. Let o(n) = -5 + 3 - 6*n**3 + 2*n - v*n. Does 10 divide o(-2)?
True
Let n(t) = 136*t**3 + t + 2. Let k be n(-1). Is k/(-2)*(-112)/(-84) a multiple of 10?
True
Let c be 25 - (1/3 - 255/(-45)). Suppose -12048 = -c*h - 952. Does 30 divide h?
False
Suppose -3*b - 2 = -8. Suppose -3*p - 5*l + 10*l = -17, 4*p = -2*l + 14. Suppose 2*t - 3*r + b*r = 7, -12 = p*r. Does 2 divide t?
True
Let b(c) = c**2 - 10*c - 89. Let l(z) = -z**3 - 28*z**2 - 26*z + 14. Let o be l(-27). Does 14 divide b(o)?
True
Let a = 588 - -176. Is 2 a factor of a?
True
Let y(p) = -p**3 - 8*p**2 - 14*p. Let k(d) = -21*d + 56. Let x be k(3). Is 7 a factor of y(x)?
True
Let g(c) = -c**2 - 16*c + 170. Let p be g(-23). Let y(x) = -3 + 5*x**2 + 0*x - 10*x - 3*x**2. Is 15 a factor of y(p)?
False
Let u(s) = 22*s**2 - 9*s + 18. Let z(q) = -20*q**2 + 10*q - 18. Let r(d) = 4*u(d) + 3*z(d). Does 34 divide r(4)?
True
Suppose -r - 3*x = 15, -5*x - 24 - 1 = -r. Suppose r = 18*c - 1259 - 703. Does 29 divide c?
False
Let x be -18 + 22 - (0 + 1 + -3). Let v be (-12 + x - 0)/((-6)/4). Is (-11 + 1)/(v/(-2)) a multiple of 5?
True
Is 84 a factor of 28/((-1 - 15/6)*35/(-735))?
True
Let l = 291 + -203. Is 15296/l + 8/44 a multiple of 6?
True
Does 12 divide 105628/5 + 28/70?
False
Suppose -4*l + l = -3*v - 177, -v - 295 = -5*l. Suppose u + 11 = l. Is u a multiple of 26?
False
Let l be -2 + (8 - 18/(-6)). Suppose 4*z - l*z + 2505 = 0. Is z a multiple of 53?
False
Suppose -j = -3 - 0. Suppose -12*b + j*b + 144 = 0. Suppose -b*h + 891 = -5*h. Is 12 a factor of h?
False
Let r = -182 + 1650. Is 13 a factor of (27/4 + -6)*r?
False
Suppose 0 = -r + 5*o + 5175, 4*o + 20634 = 5*r - 5241. Does 23 divide r?
True
Suppose 0 = 114781*v - 114789*v + 2136. Does 15 divide v?
False
Let m(x) = 4*x**3 - 38*x**2 - 35*x - 82. Let b(o) = 11*o**3 - 113*o**2 - 105*o - 244. Let s(h) = -3*b(h) + 8*m(h). Does 2 divide s(36)?
True
Let c(o) = o**2 + 16*o + 24. Let k be c(-10). Let h = k + 44. Suppose 2*q - 14 = -f, h = -5*q - 17. Does 12 divide f?
True
Suppose -3*c - 341 = -2*n + 222, 5*n = -c + 1433. Suppose -s = 76 - n. Is 30 a factor of s?
True
Let g(z) = -63*z + 606. Is g(-52) a multiple of 15?
False
Let i(g) = 0*g + 2 + 135*g**2 - 2*g + 281*g**2 - g. Does 88 divide i(-2)?
True
Let z = 2389 - 223. Is z a multiple of 67?
False
Suppose -155 + 158 = 3*w. Let f be (-4)/(w*(-12)/9). Suppose 0 = -f*k - 3, a + k - 14 - 48 = 0. Is a a multiple of 9?
True
Suppose -5*h - q + 11 = 0, -2 - 16 = -2*h + 3*q. Suppose -1572 = -5*d - h*m, -4*m = -36*d + 31*d + 1579. Does 63 divide d?
True
Suppose -7*y - 15926 = -9*y - 4*f, 0 = 2*y - 5*f - 15935. Is y a multiple of 5?
True
Suppose 14*j = -4493 + 1441. Let y = -52 - j. Does 19 divide y?
False
Let s = -1618 + 9142. Is 198 a factor of s?
True
Let j = 380 + -371. Suppose -p + 643 = -g, 0 = 5*p - j*g + 5*g - 3219. Is 52 a factor of p?
False
Suppose 3*x - 361 = i, -4*x + 5*x - 111 = -2*i. Suppose 5*d - 2*a - x = 0, -17*d - 116 = -22*d + 3*a. Is 8 a factor of d?
False
Let h be (-30)/5*(-1600)/(-15). Let i be -451 + 1/(-2)*0. Let f = i - h. Does 32 divide f?
False
Suppose 2192 + 986 = 7*d. Does 13 divide d + (6/(-2) - -4)?
True
Suppose -3*p + p - s - 52 = 0, -2*s + 64 = -3*p. Let w = p + 403. Does 52 divide w?
False
Does 41 divide 5639 + -1 + -8 + -21*3/(-9)?
False
Suppose 5*g + 11 - 21 = 0. Suppose 5*f + 10 = -5*v, 8 = -3*f - 2*v - g*v. Suppose 0 = a - 4*k - 61 - 131, f = -5*k. Is a a multiple of 48?
True
Does 39 divide 4*8035/(-2)*((-324)/15 + 21)?
False
Let y(f) = -168*f + 496. Does 2 divide y(-8)?
True
Let z(v) = v**3 - 6*v**2 - 6*v + 1. Let b(x) = 3*x - 14. Let a be b(7). Let s be z(a). Suppose 6*k - s*k = -272. Does 27 divide k?
False
Let p be 132/20*2890/102. Suppose k - 844 = -k. Suppose p + k = 7*t. Does 11 divide t?
False
Let k(l) = 5*l + 21. Let i 