. Let v = 48 - q. Is 3 a factor of v?
False
Let x = 22398 - 21675. Is x a multiple of 4?
False
Let g(y) = y**3 + y**2 + 2*y + 8. Let s be g(-2). Suppose 5*v + v + 2514 = s. Let q = v - -613. Does 29 divide q?
False
Suppose -18 = 18*a - 108. Suppose 4*g - 5*h = -6*h + 21, -h = -a. Suppose g*y - 582 - 34 = 0. Does 14 divide y?
True
Let j be 12052/24 + -1*(-2)/(-12). Is 22 a factor of j - (22 - 16)/(9/(-6))?
True
Suppose 0 = 7*o - 24 + 3. Suppose 2*z + 4*w = 532, 6*z + 4*w - 808 = o*z. Does 7 divide z?
False
Let j(s) be the first derivative of 35*s**4/2 + 7*s**3/3 - 3*s**2 - 2*s + 110. Is j(2) a multiple of 14?
True
Let a = -38 + 45. Suppose 2*l = 4*p - a*p - 3, -4*l - 4*p = 0. Suppose l*t + 16 = 2*t - 5*y, 3*t + y - 22 = 0. Does 3 divide t?
True
Suppose -38*n + 143 = -617. Suppose 3*x + 374 = y, n = -78*x + 82*x. Is 13 a factor of y?
False
Let r = 20829 - 13605. Is r a multiple of 19?
False
Is (-240)/(-4*11/902) a multiple of 20?
True
Let g(z) = z**2 + 4*z - 3. Let r be g(-7). Suppose s - 3*s + 20 = 4*h, -5*s - 2*h + r = 0. Does 4 divide 63/s + 1/(-2)?
False
Let i(a) = 2*a**2 + 5*a + 2. Let x be i(-3). Suppose 0 = -3*c - 6*z + 2*z + 116, -10 = -x*z. Is c a multiple of 6?
True
Suppose -11899 = -47*l + 43*l - d, -d + 14875 = 5*l. Is l a multiple of 26?
False
Let g(i) = i**3 - 18*i**2 + 24*i - 74. Let p be g(17). Is 26 a factor of (789 - 1)*(p/18 - 2)?
False
Suppose -18*l + 279 = 13*l. Suppose 0 = l*a + 207 - 639. Is a a multiple of 3?
True
Let b(x) be the first derivative of -3*x**4/4 - 5*x**3/3 + 9*x - 38. Let p(y) = -y**3 + 5*y**2 + 5*y + 3. Let f be p(6). Is 15 a factor of b(f)?
True
Let n be -2*((-10)/12 + 4/(-6)). Let k be 4*(1*(-1 + n))/4. Does 15 divide 31/5*35/14*k?
False
Let v(s) = -s**3 - s**2 + 3*s - 12. Let c be v(-6). Suppose 20*z = 17*z - c. Does 17 divide (-5)/(z/(-255))*(-44)/6?
True
Let u be 12/126 + (-10928)/84. Does 13 divide ((-176)/20 - 2)/(4/u)?
True
Let z = 113 - 124. Let n be 2/z - (-123)/11. Suppose -3*m = -n*m + 88. Is 11 a factor of m?
True
Does 9 divide (62193 - 13)/5 + 5?
False
Let k(x) = -x**2 - 22*x + 77. Let y be k(-25). Suppose 615 = 2*q + 3*b + 244, 4*q = y*b + 750. Is 3 a factor of q?
False
Let b = 123 - 120. Suppose 2*w = -4*k + 4746, b*w + 5927 = 13*k - 8*k. Is 75 a factor of k?
False
Suppose -3*c + 206 = -5*w, -c = 4*c + 5*w - 330. Suppose 3*u = -2*n + 95, -120 = -u - 3*u + 4*n. Let s = c - u. Is s a multiple of 18?
True
Let u(k) = 29*k**2 - 27*k + 218. Is 20 a factor of u(-14)?
True
Let t = 130 - 126. Let g be (t + (-21)/6)*(-24)/(-4). Suppose 0 = 5*m - 2*u - 3*u - 570, 0 = m + g*u - 94. Does 20 divide m?
False
Suppose -37*k = -33*k + 84. Let h = 106 - k. Does 9 divide h?
False
Let p = -30 + 196. Suppose 5*x - w = -5*w + 188, 2*w + p = 4*x. Does 4 divide x?
True
Let l = 168 + -154. Let z = 19 - l. Does 2 divide z?
False
Suppose 5*r = -3*w - 13 - 4, -r + w = 5. Is 51 a factor of 442*((-10)/r - 1)?
True
Let a(o) = -o**3 - 4*o**2 + 7*o + 10. Let g be a(-5). Let m be 84 + 5 + -2 + (1 - g). Suppose -44 - m = -6*t. Does 22 divide t?
True
Suppose 33 - 54 = 3*k, 0 = 2*p - 5*k - 323. Let f = -11 - -22. Suppose f*u + p = 13*u. Does 12 divide u?
True
Let c = 663 - -171. Is c a multiple of 13?
False
Let a = -13088 - -15398. Does 42 divide a?
True
Suppose -2*o - 2214 = -w, 3*o = 2*w + 5*o - 4422. Let x be (5 + (4 - -4))/1. Suppose 6*s = x*s - w. Is s a multiple of 44?
False
Suppose 2*p + 2*t = 15406, 0 = 4*p - 5*t - 41977 + 11237. Is 74 a factor of p?
False
Let c = -138 + 128. Does 3 divide 0 - (9 - -6)*6/c?
True
Let z(f) = -f**3 + 14*f**2 + 31*f - 19. Does 12 divide z(15)?
False
Let z(d) = 509*d**2 - 158*d - 448. Does 71 divide z(-3)?
False
Is 405/(-6)*4368/(-20) a multiple of 63?
True
Let u = -178 + 9. Let l = u - -351. Is l a multiple of 13?
True
Suppose -5*b + t = -15550, 0 = 5*b - 5*t - 11794 - 3776. Is 12 a factor of b?
False
Suppose 361170 = 54*r + 93438. Is 64 a factor of r?
False
Let q(c) = -c**3 - 4*c**2 - c + 1. Let m be q(-5). Let o be 4 - -5*(-2 + m). Let t = -97 + o. Is t a multiple of 26?
True
Suppose 2*a = a + n + 3943, -a = -4*n - 3946. Suppose -8*k = k - a. Does 12 divide k?
False
Let n = 9 - -4. Is (-5247)/(-6)*n/((-234)/(-12)) a multiple of 29?
False
Suppose -4*y - 3 = -7*y, 5*y + 361 = 3*p. Suppose -4*g = 3*k - p, 3*k - 23*g - 106 = -19*g. Does 19 divide k?
True
Let z = 39456 - 18225. Does 11 divide z?
False
Suppose -201875 = 12*p - 519959. Is 11 a factor of p?
False
Let n(v) = v**3 - 26*v**2 + 19*v - 34. Let o be n(25). Let q be (-8)/(-44) - o/(-44). Is 20 a factor of 142/((-16)/q - (-4)/(-2))?
False
Suppose -2*j + 5*n + 14403 = 0, -j + 3*n - 1625 = -8827. Does 36 divide j?
False
Suppose 70*p = 66*p - 4, 0 = 3*v + 3*p - 56175. Does 6 divide v?
True
Suppose -13*b + 592 = -5*b. Let o = b + -93. Let l = 21 + o. Is l even?
True
Suppose u - 147 = -2*u. Let i be 6/21 - (-280)/u. Let k(g) = 4*g**2 - 12*g + 13. Does 17 divide k(i)?
True
Let j = 4647 + -3198. Is j a multiple of 4?
False
Suppose 38*a + 61*a = 1099890. Does 101 divide a?
True
Is 1840 + 4/(-3)*(7 + 66/(-12)) a multiple of 49?
False
Let p(a) = 0 - 6 + 27*a - 1 - 29*a. Let j be p(-5). Suppose 0 = 3*t - 2*t + j*y - 35, 4*y = 3*t - 92. Is 16 a factor of t?
True
Suppose -159974 = -2*x - 41*p + 39*p, -x + 5*p + 80017 = 0. Is 202 a factor of x?
True
Let n(i) = -9*i**3 + 2*i**2 - i + 4. Let f be n(2). Let k be f/(-6)*(-30)/(-2). Suppose o + 15 = 4*o, 2*w + 5*o - k = 0. Does 30 divide w?
False
Suppose -3*w - 5*i = -44 - 256, -4*w + 4*i = -400. Suppose 7*y - w = 5*y. Does 10 divide y?
True
Let f(j) = 3*j**2 + 78*j + 4. Let u be f(-26). Suppose -q = -u*d - 432, 0 = -q + 10*d - 5*d + 437. Is q a multiple of 79?
False
Let x(f) = -19691*f**3 - 11*f**2 - 5*f + 6. Is 203 a factor of x(-1)?
True
Let a(c) = 4*c + 51. Suppose -p + 1 = -o, 0*o + 4*o - 4 = -4*p. Suppose 2*t + 2*t + y = 68, o = -t + y + 22. Does 13 divide a(t)?
False
Let l = -238 - -243. Does 12 divide (1 + 95/l)*36/20?
True
Let w = 165 - 159. Does 19 divide (-18672)/32*3/w*-4?
False
Suppose -33*y = -37*y - 8, 3*w - 2*y - 145354 = 0. Does 15 divide w?
True
Let m(x) = -5*x**2 + 20*x - 25. Let y(r) = 14*r**2 - 59*r + 75. Let k(s) = -11*m(s) - 4*y(s). Let g be k(14). Does 10 divide 135*(g + (-52)/20) - 4?
True
Let k = -5 + 615. Is k a multiple of 163?
False
Let n be (20/15 - 2) + 113/3. Suppose 2*u = 5*x - 56 - n, 3*x = 9. Is 17 a factor of (-16)/104 + (-8820)/u?
False
Suppose h + 40 = 9*h. Let o be h*(-2 + 7 - 3). Suppose -o*w - w = -1705. Does 19 divide w?
False
Suppose 7*n + 14*n = 10752. Let u = n + -349. Is u a multiple of 13?
False
Let r(i) = i**2 - 10*i + 7. Let a be r(-6). Let d = a + 354. Is 40 a factor of d?
False
Suppose 4719 = 73*b - 40*b. Does 37 divide 7 - ((-2)/(-1) - b)?
True
Suppose 0 = -12*s + 6 - 6. Suppose 0*o + o - 4*d - 26 = s, 4*d + 32 = 2*o. Suppose -660 = -o*a - 5*a. Is 5 a factor of a?
True
Let x(b) = -b**3 + 24*b**2 - 31*b + 54. Let t = -76 - -98. Is 34 a factor of x(t)?
True
Let a = 10404 - 4555. Is 22 a factor of a?
False
Let m = -60 - -25. Let n be (150/m)/(2/14). Does 40 divide (n/(-4))/(-5) + 1292/8?
True
Let m be (-3)/(3/16528) - 4. Let b be m/(-12) - (-4)/3. Suppose 6*u + 287 - b = 0. Does 26 divide u?
True
Suppose 0 = 10*r - 268912 + 14152. Is 132 a factor of r?
True
Let w(y) = 995*y - 850. Is w(6) a multiple of 32?
True
Let a(o) = o**2 - 34*o - 4. Let g be a(-8). Suppose 2*q + 172 = -g. Let z = -140 - q. Is 25 a factor of z?
False
Is 94 a factor of (-116 - 30)*(14/(-16))/((-2)/(-232))?
False
Let x = 2187 - 1992. Is x even?
False
Suppose -1561 = 4*r - 553. Let a(o) = 161*o**3 - o**2 + 2*o + 2. Let c be a(-1). Let b = c - r. Is 6 a factor of b?
True
Let q be ((-9)/6)/(7/(-14)). Suppose 0 = 4*m + q*n + 3 - 0, -3*m + n = -1. Suppose 423 = 5*v - o - m*o, 0 = 2*v - 2*o - 174. Does 13 divide v?
False
Let j = -235 + 243. Suppose 605 = j*q - 883. Does 6 divide q?
True
Let i(v) = 9*v + 93. Let k be i(-10). Suppose -830 = -5*w + 5*h, 0*h = -k*w - 2*h + 518. Does 34 divide w?
True
Suppose 7*v = 4*i + 5*v + 8, 0 = -5*i + 3*v - 12. Suppose i = 4*z - 0*z + 5*x - 2309, 3*z - 1708 = x. Does 30 divide z?
False
Suppose 4*g = 328 - 364. Suppose -3*m = 5*h + 98 + 61, 3*h + 109 = 5*m. Does 13 divide (h/g)/(2/54)?
False
Suppose -18*q + 6 = -16*q. Suppose 0 = -9*j - q*j + 3120. Is 19 a 