 + 2214. Does 74 divide p(68)?
True
Let o(z) = z**3 + 10*z**2 - 13*z + 10. Let h(n) = n**3 + 9*n**2 - 12*n + 11. Let r(b) = 6*h(b) - 5*o(b). Does 22 divide r(7)?
True
Does 110 divide (61706/(-4) - 1)/(1391/(-52) + 26)?
True
Let u(i) = 13 - 1 + 55*i - 1 - 9. Does 14 divide u(3)?
False
Let k = -3211 + 6379. Is 44 a factor of k?
True
Let v = -13 + 15. Let g be (-16)/72 - 160/9. Let z = v - g. Does 20 divide z?
True
Suppose -2*r = 3*h + 1, 2*r + 2 = -2*h - 2*h. Let i be (1 + 1)*((-5)/2 - h). Is 31 - ((5 - 1) + i/1) a multiple of 9?
False
Let q be (-3 - -2)*2273 + (11 - 11). Let g = -1328 - q. Is 74 a factor of g?
False
Let y(c) = c**3 - 5*c**2 - 7*c + 57. Let a be y(5). Suppose -7*w - a = -2472. Does 25 divide w?
True
Suppose -4*d = -3*u - 6387, -2*u = -3*d + 4717 + 73. Does 57 divide d?
True
Let t be (-1)/(24/126)*(-128)/12. Suppose t*c + 702 = 62*c. Is 13 a factor of c?
True
Let p = 64 + -59. Suppose 5*c = 3*c + 8, 0 = -p*u - 3*c + 17. Is 114/(3 + -1) - -2*u a multiple of 16?
False
Suppose -b + 3*c + 583 = 0, 169*c - 16 = 165*c. Is b a multiple of 85?
True
Let z be -2 + 5 + -1 + 3. Let n(o) = 9*o**2 - 15*o + 17. Is 21 a factor of n(z)?
False
Suppose -25 = -s - 7. Suppose 29*q + s = 35*q. Suppose 134 + 361 = q*x. Is x a multiple of 33?
True
Suppose 19*j = 17*j + 14. Let f(a) = a**2 - 8*a + 12. Let y be f(j). Suppose 3*l + 236 = g - 28, -971 = -4*g - y*l. Is g a multiple of 23?
False
Let w(n) = -24*n**3 + 2*n - 4. Let y be 6/21*49/(-7). Is 20 a factor of w(y)?
False
Let v(p) = 65*p**2 - 21*p + 3. Let s be v(2). Suppose j + 1899 = 5*l, -3*j + 162 + s = l. Is 20 a factor of l?
True
Let g = -2914 + 6754. Is 30 a factor of g?
True
Suppose -5230 = 10*w + 770. Let j = w - -1360. Is j a multiple of 38?
True
Let g(b) = -7*b**2 + 3*b + 9. Let p(o) = 8*o**2 - 3*o - 10. Let q(l) = -7*g(l) - 6*p(l). Let m be q(-4). Does 10 divide (6 + -14)*m/(-2)?
True
Let j = -137 + 106. Suppose -39 + 167 = 2*b. Let p = j + b. Is 11 a factor of p?
True
Let b(p) = 198*p**2 + 196*p + 596. Is b(-3) a multiple of 5?
True
Suppose -u + 4*d = d - 198, -u + 5*d = -190. Suppose -p + 78 = -m, -5*p + 2*p - 5*m + u = 0. Let y = p + -55. Is 10 a factor of y?
True
Suppose 13*w - 6619 = 17717. Suppose -3*s = 6*s - w. Is 8 a factor of s?
True
Let p(f) = -2*f**3 - 130*f**2 - 49*f - 172. Does 7 divide p(-66)?
True
Suppose -z + 4*g = -609, z - 2*z = -5*g - 608. Suppose 7*q + z = -143. Let d = q - -187. Is 16 a factor of d?
False
Let x be 0/3 - (114*1)/(-3). Let u = x - 34. Suppose -b + 275 = u*b. Does 15 divide b?
False
Suppose -g = -7*a + 11*a - 34, 2*a - 3*g - 24 = 0. Let l(o) = 2*o**3 - 14*o**2 + 13*o - 4. Does 19 divide l(a)?
True
Suppose -5*g + 0 = 3*p - 55, -5*p + 33 = 3*g. Suppose -g*i + 216 = 4*t - 15*i, -3*i + 168 = 3*t. Is 3 a factor of t?
False
Let n = 1972 + -684. Let k = n + -917. Is k a multiple of 53?
True
Let k be (-22)/((2 + -6)/(-4)). Let p be (5 + k/4)*2. Does 3 divide (17 - 0) + (4 - p)?
False
Let s(h) = -158*h + 34*h - 10 + 3 - 105*h. Does 6 divide s(-1)?
True
Let r(q) = 2*q**3 + 14*q**2 + 7*q. Let h(x) = x**3 + 4*x**2 + 3*x - 5. Let a be h(-3). Does 14 divide r(a)?
False
Is 1998 + 32/(-6)*(-111)/(-74) a multiple of 7?
False
Suppose -3*l + 3*r = -0*l - 42540, -r = -4*l + 56711. Suppose -163 = -30*t + l. Is t a multiple of 6?
False
Does 5 divide 17/(34/30) - -947?
False
Suppose -313 = -8*z - 65. Suppose 3*i - 114 = r, -z + 1 = -i + 3*r. Is 13 a factor of i?
True
Suppose 65*v + 4 = 63*v. Is 709382/533 - v/26 a multiple of 20?
False
Does 20 divide 31707/(-65)*1475/(-15)?
False
Let d(z) = 20*z**3 + 57*z**2 + 109*z - 22. Let q(x) = 7*x**3 + 19*x**2 + 36*x - 7. Let k(j) = 6*d(j) - 17*q(j). Is k(-14) a multiple of 35?
False
Suppose -44238 = -204*i + 1006974. Is 3 a factor of i?
False
Suppose -8*p + 18*p - 46368 = -18*p. Is p a multiple of 9?
True
Let n(r) = 9*r - 3. Let c be n(19). Suppose 20*j = 8*j - c. Is j*((-45)/(-28))/((-6)/32) a multiple of 12?
True
Suppose t = 4*c + 2*t - 19, t + 21 = 4*c. Suppose 4*m = -3*v + 208 + 65, -c*m - 5*v + 340 = 0. Is m a multiple of 29?
False
Is 6 a factor of (35 + 775615/(-122))*((-18)/10 - -1)?
True
Let f be -3 + ((-2)/11 - (-210)/66). Suppose f = -3*d - o + 27, -2*o = -30*d + 27*d + 27. Does 9 divide d?
True
Suppose 0 = -2*q - 8, -4*b - 2*q - 92 = -432. Let l = 173 + b. Is l a multiple of 28?
False
Suppose -96399 - 84349 = -17*c - 42215. Does 65 divide c?
False
Let x(b) = -b**3 + b**2 - 3*b + 109. Let g(a) = -a**3 + 9*a + 8. Let i be g(-1). Let h be x(i). Suppose h - 69 = 4*k. Is 10 a factor of k?
True
Let d = -715 + 1694. Suppose 0 = 3*x + 2*y - d - 1031, -2673 = -4*x - 5*y. Does 42 divide x?
True
Suppose 0 = -3*a - 8 + 38. Suppose 2*d - 48 + 22 = -f, -88 = -3*f - 4*d. Suppose -h = -a*h + f. Is h even?
True
Let h = 40252 + -18958. Suppose -h = -82*o + 56*o. Is 14 a factor of o?
False
Suppose 2*n + 5*u - 28440 = 0, -2*n - 2*u + 15611 = -12817. Does 145 divide n?
True
Suppose 92494 = 5*c - 3*w, -72*w - 18508 = -c - 76*w. Does 10 divide c?
True
Suppose 0 = 9*d - 76 - 230. Let a = d + -31. Suppose -241 = -a*j - 43. Is j a multiple of 11?
True
Suppose -703023 - 84006 = -21*i + 187581. Is i a multiple of 119?
True
Let j = 18287 + 4438. Is 6 a factor of j?
False
Suppose -38*j = -45*j + 1155. Suppose 0 = -42*b + 27*b + j. Is b even?
False
Let x be 1540/66*126/(-10). Is 21 a factor of x/(4/(-2 + 0))?
True
Suppose 10*j + 327 = 13*j. Suppose 3*g = -113 - j. Let w = -46 - g. Does 28 divide w?
True
Suppose -26*v + 30*v + 9240 = 0. Is (44/(-55))/(-2)*(0 - v) a multiple of 22?
True
Let y(m) = m**3 + 4*m**2 - 4*m**2 + 6 - 4*m**2 + 2*m**2 + 2*m. Let o be y(-3). Does 5 divide (-116)/(-6) + (-30)/o?
True
Suppose j - 42 = -n, -5*j + 8*j = -5*n + 220. Does 7 divide -1 + n - (-59 + 63)?
True
Let c = 18870 + -10641. Is c a multiple of 39?
True
Is 94 a factor of 4/22 - 1153834/(-121)?
False
Suppose 0 = -87*o + 86*o - 4. Is o/10 + (-136068)/(-345) a multiple of 32?
False
Let z(q) = -78*q + 17. Let c(p) = -77*p + 20. Let t(g) = -2*c(g) + 3*z(g). Does 8 divide t(-11)?
False
Suppose -4*d - 5*i + 3 = -28, d - 7 = -i. Suppose q - 2*q = -d. Suppose -5*u + 44 = q*f - 267, 5*u = -2*f + 143. Is f a multiple of 14?
True
Suppose -20*k + 107*k - 30624 = 0. Is 11 a factor of k?
True
Let d = -82 + 157. Let v = -9 - -12. Suppose -5*u + 47 = -2*u - 4*h, -v*h = 3*u - d. Is 5 a factor of u?
False
Suppose -13*f = -15*f. Suppose 2*w - 107 - 75 = f. Is w a multiple of 7?
True
Let s(v) = 4*v**2 + 30*v + 1. Let f = 170 - 162. Is s(f) a multiple of 28?
False
Let y be 215/(-10) + (-6)/4. Let j = 4 - y. Let q = 75 - j. Is q a multiple of 8?
True
Suppose 2048 + 18026 = 2*q + 3*l, 24 = 4*l. Is q a multiple of 23?
True
Suppose 0 = 4*z + 4*q + 8, -8*z + 9*z - 5*q - 22 = 0. Suppose -2 = z*n, 2*r - 357 - 144 = -n. Does 47 divide r?
False
Let h = -2263 - -1285. Let f = 403 - h. Is 19 a factor of f?
False
Suppose -2*a + 2*s = -716, 0 = 18*a - 16*a + 4*s - 722. Let u = 398 - a. Is u a multiple of 12?
False
Let w(k) = 25*k + 132 + 14*k + 287. Is 14 a factor of w(23)?
True
Let i(u) = u**2 - 20*u + 38. Let s be i(-16). Let b = s + -610. Does 4 divide b?
True
Suppose 2*f + l - 2 = 0, 4*f - 10 = 5*f - 5*l. Suppose f = 13*t - 79 - 545. Is t a multiple of 5?
False
Let v(k) = -k**2 + 51. Let o be v(6). Is (-81 + 1)*2/((-6)/o) a multiple of 35?
False
Let b be 3/((45/(-30))/((-2846)/4)). Suppose 4*o + 2*i - 714 = 2144, b = 2*o - 5*i. Is o a multiple of 14?
True
Suppose -242*v - 105777 = -251*v. Is 28 a factor of v?
False
Suppose 0 = q - 10 + 4. Let z(r) = -r**3 + 4*r**2 + 4*r + 16. Let j be z(q). Let h = -2 - j. Is 8 a factor of h?
False
Let b(l) = -l**3 - 3*l**2 - l - 12. Suppose 3*u - q = -18, 0 = -2*u - 0*q + q - 13. Let f be b(u). Let h = f + -22. Is 7 a factor of h?
True
Let n(r) = r**3 - 33*r**2 + 64*r + 5. Suppose -25*y + 434 = -11*y. Is n(y) a multiple of 13?
False
Let h = -1150 + 1670. Suppose -58 + h = 4*p - 3*b, 4*p - 5*b = 458. Suppose 4*u = 3 + p. Is u a multiple of 5?
True
Suppose -2*y = c - 4*y - 14, 5*c = 2*y + 30. Let j be 2/8 - (-13583)/68. Suppose 20 = c*x - j. Is x a multiple of 15?
False
Suppose 5*k + 219 = f, -237*f = -234*f + 5*k - 477. Does 29 divide f?
True
Let f = 540 + -938. Let q = 843 + f. Does 19 divide q?
False
Let r(p) be the first derivative of 10 - 1/3*p**3 - 2*p + 27/2*