 + 8*p + 90. Suppose 3*d + 5*h + 43 = 0, 0 = -3*d + h - 30 - 1. Does 2 divide q(d)?
True
Let f = -267 + 267. Suppose f = 3*h - 17*h + 196. Does 5 divide h?
False
Let n(r) = 18*r**3 - 4*r**2 - 2*r + 2. Let c be n(-3). Does 40 divide -3 + 0/(-2) - (c - 89)?
True
Let r(v) be the first derivative of -8*v**2 - 5*v + 2*v + 15 - 17. Does 10 divide r(-9)?
False
Let t(a) = 8*a**3 - a**2 + 2*a. Let n be t(-2). Let w = 143 - n. Is w a multiple of 17?
False
Let w be (1 - 5) + (-160)/(-20). Suppose 0 = -5*l + w*m + 34, -l + 3*l - 11 = -m. Let u = l + 4. Is u a multiple of 2?
True
Let h = -88 + 92. Suppose -3*v - g + 122 = 0, g - 5*g - h = 0. Suppose -l + 10*w - 5*w + v = 0, -l = 2*w - 34. Does 9 divide l?
True
Suppose 32 = 12*w - 11*w. Suppose -2*c + w = -c. Suppose -b - 5 = -c. Is 27 a factor of b?
True
Let k(m) = -23*m + 29. Let a(i) = -116*i + 145. Let b(f) = 2*a(f) - 11*k(f). Does 13 divide b(10)?
False
Suppose 11284*j - 114192 = 11280*j. Is 18 a factor of j?
True
Let h = -785 - -788. Is ((-4)/h)/(122/(-134871)) a multiple of 22?
True
Let n(k) = k**3 + 73*k**2 + 190*k - 333. Is 39 a factor of n(-68)?
True
Let t(b) = 16*b**2 - 28*b - 11. Let j(c) = c**3 + 17*c**2 - 28*c - 11. Let r(v) = 2*j(v) - 3*t(v). Is r(8) a multiple of 12?
False
Let x(p) = -p**2 - 17*p - 1. Let w be x(-17). Let a be w - 3/6*10. Is a/(-24) + 263/4 a multiple of 11?
True
Is 62 a factor of 1504/(-56)*104377/(-74)?
True
Suppose 0 = -13*j + 22*j - 720. Suppose -2*f + 48 = -2*a, -2*a - 3*a - j = -3*f. Is 3 a factor of f?
False
Let u(o) = -2*o**3 + 246*o**2 - 93*o - 212. Is u(122) a multiple of 10?
True
Suppose d - 6*d = -0*d. Suppose d = -9*f + 5*f + 224. Let a = f - 24. Is 16 a factor of a?
True
Let w = 1223 - 741. Suppose -2*m + 1978 = 4*o, o + 5*m = 2*m + w. Does 34 divide o?
False
Let z = -242 + 243. Does 31 divide (z - -207) + (-111)/(-37)?
False
Suppose -481 = -10*k - 3*k. Suppose -33*w = -k*w + 184. Does 11 divide w?
False
Let h(k) = 2*k**3 + 15*k**2 - 7*k - 7. Suppose 3*m = -4*g - 9, 5*m + 23 = 3*g - 21. Let r be h(m). Let j = -43 + r. Is 12 a factor of j?
True
Suppose 1751 - 5321 = -15*f. Suppose -8*i - f = -1446. Is 4 a factor of i?
False
Let x = 21 - 18. Let m(i) = 4*i**3 - 8*i**2 + 18*i - 17. Does 2 divide m(x)?
False
Suppose 407*h - 14406674 - 1508908 = -70*h. Does 83 divide h?
True
Let p be 192/(-24)*4/2. Let y(h) = -48*h - 68. Is y(p) a multiple of 25?
True
Suppose -a - 12 = 4*j, -a - 2*j + 3 = -3*j. Suppose -4*l + 8 = a, -3*l + 138 = 2*q - l. Let g = 120 - q. Does 4 divide g?
False
Does 166 divide 65818*1*326/652?
False
Suppose -c = 5*v - 104, 14 + 10 = v + c. Suppose -5*g + v = 4*f, -g + 5*f = 4*g + 25. Suppose -2*k + 53 = -0*k + 3*j, g = 5*j - 25. Is 6 a factor of k?
False
Let b(m) = 104*m**2 - m. Let g be b(-1). Suppose 0 = -u + 2*h + g, -u - h + 95 - 2 = 0. Suppose -2*z + 0*k - k = -37, -4*k + u = 5*z. Does 17 divide z?
True
Suppose -43*c + 79*c - 42*c + 117912 = 0. Is c a multiple of 34?
True
Suppose -11*h + 206 - 8 = 0. Suppose -11*d - 581 = -h*d. Does 43 divide d?
False
Does 25 divide (-31600)/(-553)*(1 - -34)?
True
Suppose -27360 = 13548*b - 13552*b. Is 8 a factor of b?
True
Is 7 a factor of 4/1 + 8872 + 12?
False
Let n = 176 - 204. Is 4 + (-5112)/n - 9/(-21) a multiple of 17?
True
Let n = 0 + 0. Let j(i) = 20439 + 20463 + 3*i - 40871 + i. Is 9 a factor of j(n)?
False
Let l be (1 - (-462)/(-9))*1458/(-54). Let t = l + -570. Is 17 a factor of t?
False
Suppose -12 = 5*b - 9*b. Suppose -g + 2 = -b. Suppose 0 = p - g - 279. Is 42 a factor of p?
False
Suppose 5*d + 30245 = 4*f, 9*f - 8*f - 5*d = 7565. Suppose 13*a - f = a. Is 14 a factor of a?
True
Suppose -b = -553*l + 549*l + 80514, -40290 = -2*l - 5*b. Is 68 a factor of l?
False
Let x(w) = -10*w + 102. Let f be x(13). Is 2 a factor of ((-570)/(-133))/((-6)/f)?
True
Does 42 divide 805*2*11*(-24)/(-88)?
True
Suppose 12*d - 509 = 55. Let x = 103 + d. Is x a multiple of 10?
True
Suppose 208*a - 13*a - 3552160 = 35*a. Is 149 a factor of a?
True
Let y(n) = 238*n - 14. Let k be y(5). Let a = -956 + k. Is 22 a factor of a?
True
Let v = -13443 - -19892. Is 135 a factor of v?
False
Suppose 894 = 11*c - 6*c + 3*r, 4*r = -4*c + 712. Does 12 divide c?
True
Let o(u) be the third derivative of u**5/60 + u**4/4 + u**3 - u**2. Let t = 194 - 188. Is o(t) a multiple of 12?
False
Is 162 a factor of 3*-2*(46 - 1306)?
False
Let h be (168/32)/(3/(-8)). Let z = 21 + h. Suppose 6*b = z*b - 41. Is 6 a factor of b?
False
Suppose 3*c = -5*p + 30, 5*p = 4*c - c + 30. Let t(d) = d**2 - 4*d - 12. Let r be t(p). Suppose -5*g = y - 845, r = -3*g + g + 4*y + 316. Is 21 a factor of g?
True
Suppose 2*k = 5*k + 3, 0 = 4*j - k + 335. Let l = 194 + j. Is l a multiple of 22?
True
Suppose -4*g = -4, -1 = -2*j - 4*g + 11. Let x(f) = 24*f**2 - 3*f - 12. Let w be x(j). Suppose 4*v + 101 = i - 69, 4*v + w = 2*i. Is i a multiple of 19?
True
Let d(i) be the first derivative of 2*i**3 + 2*i**2 - 2*i + 1. Let p be d(2). Is 15 a factor of (p/4)/(7/14)?
True
Suppose 2*u - 80 = -2*u + 3*c, -100 = -5*u - 5*c. Suppose 15*y = u*y - 1365. Is 21 a factor of y?
True
Let f(o) = 1185*o - 1685. Is f(18) a multiple of 44?
False
Let d(o) = 47*o**2 - 3*o + 3947. Is d(0) a multiple of 38?
False
Suppose -400 = -25*n + 23*n. Suppose n = 6*j - 304. Does 16 divide j?
False
Suppose 8*g = 4*g - 814 + 26518. Is g a multiple of 27?
True
Does 33 divide (0 - -7509) + 177 + -162?
True
Let y = 23 - 29. Let h = y + 10. Is h/((-4)/26 - (-58)/208) a multiple of 3?
False
Let h = -7 + 11. Suppose 362 + 418 = h*p. Is 20 a factor of p + 3 + -4 + 4 + -3?
False
Is ((-11)/2 + 1)/(387/(-167700)) a multiple of 7?
False
Suppose -4855 = 469*m - 464*m. Let z = 1051 + m. Is z a multiple of 80?
True
Let v be (-3)/(2/(-104)*(-66)/(-209)). Suppose 0 = -2*u - 168 - v. Let c = -199 - u. Does 44 divide c?
True
Let g(i) = 6*i - 10. Let z be g(11). Suppose 30 - 950 = -5*d. Let k = d - z. Does 28 divide k?
False
Let c(s) = 3*s**2 + s - 1. Let b(j) = -j**3 - 6*j**2 - 5*j + 4. Let l be b(-4). Let h be c(l). Let z = h - 69. Is z a multiple of 7?
False
Let a(r) = r**2 - 3*r - 13. Let p be a(7). Suppose -19*s + p*s + 112 = 0. Is 4 a factor of s?
True
Let a = -67 - -69. Suppose -a*b - 3*c = 1, -4*c + 8 = -b + 24. Suppose 0 = k + 2*q - 79, b*q - 91 = -k + 5*q. Is 9 a factor of k?
False
Let y be 1 + ((-78)/65)/((-6)/10). Suppose 5*x - 225 = -3*n - n, 231 = 4*n + y*x. Is n a multiple of 22?
False
Suppose 227 - 212 = 5*d. Suppose 0 = 4*z + d*k - 1545, -2*z + 18*k = 19*k - 771. Is z a multiple of 12?
True
Let x be (13/(-3) + -3)*(-6)/4. Suppose 0 = -x*m + 96 + 454. Let r = 74 - m. Is r a multiple of 12?
True
Let r(j) = 32*j**3 + 3*j**2 + 2*j - 5. Let h = 78 - 75. Is r(h) a multiple of 12?
False
Let t(f) = f**2 - 120*f - 4. Does 4 divide t(128)?
True
Suppose 4*n = 4*z + 1636, 0 = -17*n + 13*n + 5*z + 1632. Is 7 a factor of n?
True
Suppose 17*o - 50575 - 112795 = 0. Suppose 0 = 34*w + 1790 - o. Is 46 a factor of w?
True
Let r = -18448 - -26589. Is 13 a factor of r?
False
Let j = -35 + 692. Is j a multiple of 73?
True
Let q(a) = a**2 - 3*a - 7. Let o be q(5). Suppose 0 - o = -z. Suppose -z*u = -5*i - 326, u - 2*i - 78 = 32. Does 38 divide u?
False
Let t(d) = -998*d + 120. Is t(-5) a multiple of 10?
True
Let w = 396 + -394. Suppose -1440 = -4*h + 5*c, 8*c = w*h + 10*c - 702. Does 17 divide h?
False
Let l = -14 - -17. Suppose -c - 4*x = -36, -l*x = -0*x. Suppose 0*h = 3*h - c. Is h a multiple of 2?
True
Suppose -2*y + 3809 = 2*y + n, 3*y - 2*n = 2854. Suppose 8*j = -6*j + y. Is 34 a factor of j?
True
Suppose 0 = -14*n + 13*n - 7. Let a be (-97)/n - 9/(-63). Suppose 6*l - a = 10. Is l a multiple of 2?
True
Let v(x) = 4*x + 2247. Does 4 divide v(-24)?
False
Let q = -935 - -1255. Does 28 divide q?
False
Let r(x) = -x**2 + 4*x + 6. Let s be r(5). Let g(o) = -1 + 2 + 32*o - 30*o + 31*o**2 - 1 - 1. Is 8 a factor of g(s)?
True
Let x = 714 - 506. Let j = x - 1. Does 21 divide j?
False
Let z(s) = -s**3 + 12*s**2 - 2*s - 21. Let j be z(11). Let y = 81 - j. Suppose y*l - 480 = -3*l. Is l a multiple of 23?
False
Is (9 + -7)/((-8)/68)*-5*145 a multiple of 12?
False
Suppose 2*y - 45 = 11. Let c be (16/y)/(1/7). Suppose -c*d = -f - 169, d + 107 = 3*d - 5*f. Is d a multiple of 11?
False
Suppose 68 = 4*l - 648. Suppose -r = -k - 5*r + 78, -k 