c be v(-11). Let t be d(c). Suppose 10*g - 1891 + 491 = t. Does 20 divide g?
True
Let j = -221 + 112. Let o = -77 - j. Is o a multiple of 4?
True
Suppose 489*x - 88*x - 2388963 = -122912. Does 25 divide x?
False
Suppose -3 = -a + 4*p, -4*a + 16 - 4 = 4*p. Suppose d + 2*c - 398 = 0, -a*d - 396 = -4*d - 4*c. Is 40 a factor of d?
True
Suppose -4*b + 1768 + 5572 = 0. Let a = b - 379. Suppose -5*z - w + a = 0, -4*z + 1176 = -2*w - 0*w. Is 28 a factor of z?
False
Is -10 - (-9)/(135/161520) a multiple of 22?
True
Suppose -13*d + 36045 = -153209. Is 56 a factor of d?
False
Let f(q) = -104*q - 3250. Does 6 divide f(-35)?
True
Let k(c) = -c - 3. Let x be k(-2). Is (2/(-4) - x) + (-4375)/(-70) a multiple of 21?
True
Let u = -169 + 173. Suppose -77 = u*s - 5*s. Is 11 a factor of s?
True
Let p(h) = 25*h**3 - 4*h**2 + h - 6. Let b be p(3). Suppose -x - x = -b. Suppose -2*j = -5*j + 4*n + 194, -5*j + x = -4*n. Is j a multiple of 31?
True
Let s(g) be the third derivative of -g**6/120 + 11*g**5/60 + 5*g**4/24 - 9*g**3/2 + 21*g**2. Let l be s(11). Suppose 0 = -2*u + l + 116. Is u a multiple of 18?
True
Let j = 338 + -362. Let t(y) = -11*y - 33. Does 8 divide t(j)?
False
Suppose 0 = 10*f - 27*f + 208981. Does 19 divide f?
True
Let q(p) = 5*p**2 + 70*p - 31. Does 14 divide q(11)?
True
Suppose 0 = -9*u + 2846 + 2698. Suppose -9*w + u = 22. Is w a multiple of 2?
True
Suppose -2 - 22 = -3*q + 3*g, 49 = 5*q + 4*g. Suppose q*m = 6*m + 42. Suppose -11*z + m*z = 420. Is 10 a factor of z?
True
Suppose 8*y = 7 - 7. Let n be (y - 4/(-10))/(1/(-215)). Is n/8*(7 - 27) a multiple of 43?
True
Suppose -13*h - 944 - 278 = 0. Let w = h - -229. Does 15 divide w?
True
Let f = -58 - -103. Let a be 3*1*330/f. Let l = -4 + a. Is l a multiple of 18?
True
Suppose -k + 12 = -4*w - 22, 4*k - 2*w - 150 = 0. Let s = k - 34. Suppose s*c = 53 + 15. Does 6 divide c?
False
Let x(f) = -f + 1. Let y(j) = j**2 - 49*j + 58. Let c(d) = 3*x(d) - y(d). Is c(23) a multiple of 13?
False
Is 17 a factor of (-9 + 368/56)*-371?
True
Suppose r - 1283 + 473 = 5*p, 4*p = 3*r - 2386. Let b = -532 + r. Does 5 divide b?
False
Suppose -2*r = -5*b + 245, 0 = 3*b + 3*r - 6*r - 138. Suppose 0 = -b*a + 46*a + 115. Does 6 divide a?
False
Suppose 3*y = c - 0*c + 3, -3*y - 21 = -5*c. Let j(x) = 65*x + 18. Let b be j(c). Suppose b = 7*t + 100. Does 4 divide t?
True
Let r = 431 + -297. Suppose 4*h - 1062 + r = 0. Is h a multiple of 29?
True
Suppose 6*v = 73 - 43. Suppose 3*n - v = 1, 3*n = -5*r + 2791. Is 47 a factor of r?
False
Let o(g) = -2*g**2 + 14*g + 2. Let u be o(7). Suppose -u*p + 15 = 19. Let a(y) = -18*y - 7. Is 6 a factor of a(p)?
False
Suppose -5*h + 7*h = 4*h - 5*i - 11552, 0 = 4*i. Does 38 divide h?
True
Let c(o) = 2*o**3 + o**2 + 6*o - 8. Let h = 69 - 65. Is 16 a factor of c(h)?
True
Let o = 72331 + -42918. Is 152 a factor of o?
False
Let i be (34*3/(-12))/((-3)/18). Suppose i = -b + 41. Is 0 + (24/b)/((-21)/70) a multiple of 3?
False
Let j(r) = 2*r**3 + 15*r**2 + r - 9. Let b be j(-6). Let n = b - -306. Is 50 a factor of n?
False
Let p(o) = 54*o**3 - 3*o**2 - 16*o + 47. Is p(2) a multiple of 30?
False
Suppose 88*a + 175*a = 15491 + 94443. Does 11 divide a?
True
Suppose 63180 = -6*t + 11*t + 5*b, 0 = t - 4*b - 12636. Is 52 a factor of t?
True
Let u(t) = 30717*t**2 - 81*t + 82. Is 98 a factor of u(1)?
False
Let x = 572 - 559. Suppose -3220 = -y - x*y. Is 11 a factor of y?
False
Let b(j) = -9*j**2 - 29*j - 8. Let c be b(-12). Let d = 1367 + c. Is d a multiple of 10?
False
Suppose 190*l - 447387 = 535673. Does 37 divide l?
False
Let k = 3720 + 10530. Is k a multiple of 15?
True
Suppose 10*i - 178 = 12*i. Let o = i - -317. Is 19 a factor of o?
True
Suppose 0 = 45*k - 426993 + 34082 - 211124. Does 12 divide k?
False
Suppose 1433 = 2*z - 3*c, -3*z + 41*c = 36*c - 2147. Is z a multiple of 17?
False
Suppose -12208 = 5*q - 63508. Is 228 a factor of q?
True
Suppose 8*s = -0*s + 2192. Suppose -v = 3*x + s, -434 = 5*x - 6*v + 2*v. Let l = x + 129. Is l a multiple of 13?
True
Let n(t) = 10*t - 2*t + 12 - 20*t**2 - 22*t**2 + 41*t**2. Let i be n(9). Suppose 0 = i*c + 1 - 31. Does 2 divide c?
True
Let q = 28 + -84. Let z be (-15)/(-75) + 151/(-5). Let i = z - q. Does 10 divide i?
False
Let z = -6768 + 10166. Is z a multiple of 21?
False
Let a = 19 + -14. Suppose 4*p - 44 = -2*l, -5*p - 4*l - a + 57 = 0. Is (p/(-5))/((-1)/35) a multiple of 42?
True
Suppose -j = -5*o + 29024, 36*o - 35*o - 5800 = -j. Does 4 divide o?
True
Suppose -8*v = -13*v + 2695. Suppose -v = -a + 301. Is 20 a factor of a?
True
Suppose 8*i + 3*v - 45 = 3*i, -4*i + 4*v + 36 = 0. Let o be (-19)/((4 - 2) + i/(-3)). Suppose -3*j + o = 7, 4*f = -3*j + 584. Is f a multiple of 15?
False
Suppose 14*r - 15 = 9*r. Suppose -r*m + 3796 = 4*c, 2*c + 2*m - 1912 = 4*m. Is 56 a factor of c?
True
Does 188 divide (77 - 81)/(2/(-5452))?
True
Let k = -1012 - -2193. Let y = k + -291. Does 37 divide y?
False
Let s(j) = -j**2 + 3*j - 5. Let v be s(7). Let t be -4 - (22/v)/(2/12). Suppose t = -12*a + 10*a + 4*c + 70, 4*c - 105 = -5*a. Is a a multiple of 4?
False
Let t(w) = 3 + 9*w**2 + 3*w**2 - w**2 + 12*w - 9*w**2. Let m be t(-10). Let b = m - 23. Does 12 divide b?
True
Suppose -16406 = -2*l + r, 3*r - 58678 + 9448 = -6*l. Is 124 a factor of l?
False
Let i(z) = z**2 - 3*z - 16. Let r be i(6). Let s be (-8)/((-56)/21) + r/(-2). Suppose -2*j + 3*d = -42 + 3, 10 = -s*d. Is j a multiple of 6?
True
Let y(o) = o**2 + 16*o + 57. Let z be y(-8). Does 20 divide ((-2)/3*z)/(70/25515)?
False
Suppose 0 = -64*n + 293*n - 755765 - 94283. Is 29 a factor of n?
True
Is (-4)/((-12)/227289) - 13*40/260 a multiple of 182?
False
Let w = 55 - 127. Let n be 173*(-1)/2*-2. Let r = n + w. Is 20 a factor of r?
False
Let l = -26350 + 42750. Does 328 divide l?
True
Suppose 3*p - 53159 = -8*j, 4*p + 21415 = 2*j + 8149. Is j a multiple of 4?
False
Let r(x) = -x**2 + 3*x + 4. Let d be r(4). Let b(m) be the second derivative of m**4/6 + 13*m**2 - 21*m. Does 7 divide b(d)?
False
Suppose -6 = m - 8. Suppose 0 = -m*a + v + 159, v + 9 = -2*v. Is a a multiple of 16?
False
Let v = 822 + 1128. Is v a multiple of 65?
True
Let l be (5 - 1)*54/72. Let r(q) = 2*q**l - 87*q + 91*q + 0*q**3 + 4 - 7*q**2. Does 4 divide r(4)?
True
Suppose -19*p + 7 = -12*p. Let f(w) = 448*w**3 + 4*w**2 - 3. Is f(p) a multiple of 14?
False
Let a(z) = 15*z**2 - 66*z + 108. Does 6 divide a(18)?
True
Suppose -9*s = 16 - 43. Let x(f) = 2*f + s - 4 + f - 7*f. Is x(-3) a multiple of 4?
False
Let o be 7/(-49)*-7 + 2. Let g = 106 - o. Does 4 divide g?
False
Suppose -t - 6*t + 28 = 0. Suppose -z + t*z + 216 = -2*a, 4*a = z + 58. Is 56/z*(-180)/2 a multiple of 8?
True
Let x(v) = v + 3. Let r be x(-6). Suppose 186*s - 190*s = t - 12, -12 = -4*s + t. Is 10 a factor of r/15*s - (-103)/5?
True
Let f(j) = 10*j**3 - 4*j**2 - 14*j + 98. Is 49 a factor of f(7)?
True
Let t(y) = 14*y + 258. Let o be t(-23). Let j = -27 - -112. Let p = o + j. Does 11 divide p?
False
Let d be -3 - 34/(-14) - (-56)/98. Suppose d = -h + 394 + 453. Does 16 divide h?
False
Let k = 28 + -26. Suppose 4*s + 0*z - 12 = z, 0 = 4*s + k*z. Suppose -s*q - q + 195 = 4*a, -47 = -a + q. Does 12 divide a?
True
Let r = -54 - -172. Suppose -71 = 9*t + r. Is (-3186)/t - 6/(-21) a multiple of 13?
False
Let k(c) be the third derivative of -13*c**5/120 + 7*c**4/24 + 11*c**3/6 + 22*c**2. Let l(x) be the first derivative of k(x). Does 15 divide l(-11)?
True
Suppose -6 = 4*d + 10. Let z be 22 - (-3 - 3 - d). Suppose -t + 1 = -z. Is t a multiple of 5?
True
Let w be 2/(-5) - ((-252)/30 + 5). Suppose 0 = -w*q - 3*b - 0*b + 93, -4*q = -5*b - 142. Does 15 divide q?
False
Suppose -5*p - 3*m - 286200 = -9*p, -2*p - m = -143110. Is 303 a factor of p?
False
Suppose 0 = -65*p - 57*p + 152*p - 467280. Does 177 divide p?
True
Does 9 divide 9314 - (140/(-10) + 7)?
False
Let k(d) = -7*d - 4*d + 5*d + d**3 + 0*d**3 - 11*d**2 - 15*d. Is 65 a factor of k(15)?
True
Suppose 70*h - 201870 = -23510. Is 5 a factor of h?
False
Let b(h) = -66*h + 637. Is 6 a factor of b(-70)?
False
Suppose -2*q = -11*u - 622, 9*q + u + 933 = 12*q. Does 2 divide q?
False
Let r(y) = -54*y**3 + y**2 + y - 3. Let b be r(-2). Suppose -2*i + 1034 = -t + 6*t, -5*i = -2*t + b. Does 16 divide t?
True
Suppose -1878 + 1806 = 6*b. Is 27 a factor of 20