 -2*p + 4*p - 3*d = 309. Is 9 a factor of p?
True
Suppose 87*a = 280344 - 37701. Is a a multiple of 18?
False
Let w = -229 - -244. Let v(x) = x + 40. Is v(w) a multiple of 19?
False
Let h(l) = -5*l + 215. Let f be h(43). Suppose -50*g + 40*g + 1850 = f. Is 6 a factor of g?
False
Let s(k) = -2*k**2 - 10*k + 9. Suppose 0 = -7*v - 35. Let w be s(v). Suppose -15*r + 696 = -w*r. Is 15 a factor of r?
False
Let f(o) = -o**2 - 26*o + 13. Let w be (-51)/3 - (-1 - 3). Let a be f(w). Let g = a + -46. Does 34 divide g?
True
Let a = 27 + -21. Let x be 501/(-4) - (-6)/(-8). Is (a - 7)/(2/x) a multiple of 9?
True
Let k = 14796 - 9593. Is 41 a factor of k?
False
Let q = 286 - 268. Suppose 0 = -q*h + 6*h + 13320. Does 37 divide h?
True
Is (-59334)/(-8) - -2 - (-390)/(-520) a multiple of 10?
False
Suppose 0 = -o - 2*q + 3*q + 19, -4*o - 5*q + 103 = 0. Let l(i) = 77*i - 2371. Let u be l(31). Suppose u*t = o*t - 180. Is 6 a factor of t?
True
Suppose -33*b + 127729 = 36649. Suppose 3*z - b = -21*z. Is 2 a factor of z?
False
Let k(h) = 1495*h - 404. Is 39 a factor of k(16)?
False
Suppose 95566 = 3*i + 3*h + 25510, -5*i + h = -116730. Is 85 a factor of i?
False
Let p(m) = 4*m + 39. Let c be p(-9). Suppose 32 = c*v + 4*s, 2*v + 2*s - 12 = 6. Is 11 a factor of -55*((1 - 6) + v)?
True
Suppose 0 = 84*l - 535962 - 589554. Is 81 a factor of l?
False
Suppose 3*j + 6 = -4*p, -p = -2*j + 7 - 0. Let k(x) = -30*x - 358. Let z be k(-12). Suppose -2*w = 4*o - j*o - 166, -4*w = -z*o + 148. Does 8 divide o?
True
Let t = 369 + -367. Suppose 0 = 5*g + 4*d - 5326, -5*g + t*d - 880 = -6182. Is 71 a factor of g?
False
Suppose -10*q + 9*q = 0. Suppose 5*u = q, -5*u + 2*u + 225 = 3*z. Does 12 divide z?
False
Suppose -443*v = 2*b - 439*v - 49912, 3*v = -b + 24954. Does 64 divide b?
True
Let h(v) = v**3 + 16*v**2 - 3*v - 15. Let s be h(-11). Let c(z) = -2*z**3 + 4*z**2 - 11*z + 33. Let u be c(6). Let j = s + u. Is 47 a factor of j?
False
Suppose -2*t + 2*y + 7 = 3, 2*y = -t + 11. Suppose 4*g = -4*s + 152, -194 = -t*g - 0*s - 3*s. Is 20 a factor of g?
True
Let j(r) = 21*r**2 - 8*r - 18. Let h be j(-8). Suppose -h = -5*b + 4*z, b - 4*z + 254 = 2*b. Is b a multiple of 14?
False
Suppose 8*t - 166 = 762. Suppose -932 = t*n - 112*n. Is n/(-6) - (-20)/120 a multiple of 13?
True
Suppose -4*l + 4 = 4*u, 14 = -4*u + 3*l - l. Let r be 7546/63 - u/9. Suppose -14*a - r = -15*a. Is 13 a factor of a?
False
Suppose l - 6*l + 5 = 0, 5*l = -4*b + 13. Suppose -3*k + 387 = -h - 175, 2*h + 376 = b*k. Is k a multiple of 36?
False
Let n = -91 + 66. Does 16 divide 127/((-10)/(-4)*(-10)/n)?
False
Let u(q) = -4*q + 93. Let v(n) = n - 31. Let o(l) = -3*u(l) - 8*v(l). Let c be o(7). Is 50 a factor of -131*(1 + -5 - c)?
False
Let o = 3419 - -2469. Is o a multiple of 23?
True
Let t(m) = 10*m**2 - 29*m + 58. Let a be t(2). Suppose 3110 + a = 18*b. Is 5 a factor of b?
True
Let s = -6580 - -11865. Does 74 divide s?
False
Let b(r) = 642*r**3 + 2*r. Suppose 4*p = 21 - 17. Does 20 divide b(p)?
False
Let h(w) = 2 + 6*w**2 + 26*w - 3 - 23*w - 2. Let i be h(1). Does 59 divide (3 + 159/i)*2?
True
Suppose 93*o = 95*o + 62. Is -5 - o - (-5)/10*2 even?
False
Let n(t) = -3*t**3 - 8*t**2 + 100*t - 45. Is 11 a factor of n(-10)?
True
Is 10 a factor of 1507304/1508 - 12/(-26)?
True
Let j(m) be the third derivative of 19*m**5/30 - m**4/3 + 4*m**3/3 - 36*m**2. Does 6 divide j(1)?
False
Suppose 4*a - c = 7213, 5*a = 6*a + 5*c - 1777. Suppose -4*k + 3*p + 31 = -a, -5*k + 3*p + 2295 = 0. Is 21 a factor of k?
True
Let x(t) = t**2 - 45*t + 390. Is x(-78) a multiple of 24?
True
Suppose 3*i = 5*i - i. Suppose 2*c - 4 = i, -7*w + 5*w + 152 = -c. Is w even?
False
Let q(i) = 83*i**3 + 3*i**2 - 82*i**3 + 3 - 10*i - 10*i**2. Let p be q(7). Let v = 77 + p. Is v a multiple of 2?
True
Let r(f) = f**3 - 2*f**2 + 2*f - 34. Let b be r(5). Let t(j) = -20*j + 1. Let g be t(-1). Suppose -6*c + g = -b. Is c a multiple of 3?
True
Let f(s) = 44*s**3 - 3*s**2 + 2*s - 1. Is f(1) a multiple of 6?
True
Is 164 a factor of 7928/2 - (-34)/((-476)/(-70))?
False
Suppose 3*d + 0*d = -42. Is (63/49)/(-9) - 3922/d a multiple of 10?
True
Let m be 16/20 + (-649)/5. Let y = m + 234. Is y even?
False
Let g(q) = 2*q**3 + 3*q**2 - 10*q + 1. Let b be g(3). Let d = 56 - b. Suppose 2*m - 2*k = 14, 1 + 3 = d*k. Does 8 divide m?
True
Suppose 0 = 3*c + 358 - 1486. Suppose 54*w = 56*w - c. Is 47 a factor of w?
True
Let b(y) = 11*y**2 - 22*y - 12. Is 4 a factor of b(6)?
True
Suppose 7*t - 16*t = 8*t - 705840. Is t a multiple of 120?
True
Let q(g) = g + 13. Let b be q(15). Suppose b = y - 4*u, -63 = -2*y - y + 5*u. Is 16 a factor of y?
True
Let d = -3390 + 16514. Is 17 a factor of d?
True
Suppose 2*c + 4 = -2*s, 3*s - c - 4 = 5*s. Does 10 divide 2/(-1 + s + (-446)/(-148))?
False
Let n(c) = -710*c - 3733. Is n(-16) a multiple of 11?
False
Let x(z) = 12*z**2 + 4*z - 403. Let l be x(16). Suppose -4*m + 2*m = -22. Is 6 a factor of l/33 + 2/m?
False
Does 21 divide (4597*(-4)/8)/((-42)/84)?
False
Let k be (-232)/28 - (-2)/7. Let f be k + 5 - (-2 - -1). Is 19 a factor of 780/(-40)*(-2 + f)/2?
False
Suppose -5 - 170 = -k - 2*p, 0 = -5*p - 25. Is 37 a factor of k?
True
Let w be ((-1736)/(-2))/(16/40). Suppose -4*c - 840 = -6*c + 4*p, 5*c - w = -4*p. Is c a multiple of 11?
False
Let s(d) = -266*d**2 + d - 1. Let v(b) = -266*b**2 + 2*b - 1. Let g(x) = 4*s(x) - 3*v(x). Let a be g(-1). Let q = 455 + a. Is q a multiple of 19?
True
Let h(q) = q**2 + 31*q + 13. Let l be h(-30). Let c(k) = 2*k + 17. Let b(z) = 2*z + 18. Let a(v) = 2*b(v) - 3*c(v). Is a(l) a multiple of 5?
False
Is 57 a factor of ((-7182)/(-168))/((-30)/(-13360))?
True
Suppose -2*j - 52*u = -51*u - 107560, -5*j - 3*u = -268899. Is j a multiple of 13?
True
Let x = 223 - 219. Suppose -x*w - 3*u + 2324 = -u, 1745 = 3*w + 2*u. Is w a multiple of 48?
False
Suppose -116*y - 3*i + 38477 = -111*y, -4*i = -4*y + 30788. Is y a multiple of 6?
False
Let v = -1841 + 2199. Does 5 divide v?
False
Suppose 147*a = 138*a + 18. Suppose -2 = b, -3*b = -k + a*b + 615. Does 11 divide k?
True
Suppose -4*b + 2*b + 4398 = -9858. Does 36 divide b?
True
Let v(l) = 16263*l + 754. Is 91 a factor of v(1)?
True
Let u = 9876 + 13545. Is u a multiple of 45?
False
Let w = 978 - 648. Suppose -32*r + w = -27*r. Is r a multiple of 22?
True
Suppose 6*r + 1067 = -211. Let k = 122 - r. Suppose 5*x - q - q = k, q + 271 = 4*x. Is 23 a factor of x?
True
Suppose 3*s = 17*s - 518. Let m(o) = -o**2 + 44*o - 157. Is 56 a factor of m(s)?
False
Suppose -3*k = -3*z - 16746, -7*z = -3*k - 3*z + 16749. Does 27 divide k?
False
Let u(c) = -c**2 - 19*c + 3. Let p be u(-19). Suppose 5*b + 1639 + 415 = p*s, 2*s - 1401 = -3*b. Does 11 divide s?
True
Let y = 58 + -61. Let p(t) = 48*t**2 + 9*t + 15. Does 15 divide p(y)?
True
Let l(u) = -8*u + 9. Let c be 3/(-6)*(9 + -1). Let t be l(c). Suppose -4*v = 2*z - 30, 4*z - 7 = -4*v + t. Is z a multiple of 2?
False
Suppose -p + 4047 = 4*o, 5*o + p - 3036 = 2*o. Suppose 0 = -3*b - q + o, 2*b - 542 = 2*q + 124. Does 12 divide b?
True
Suppose -11*z + 10805 = -6*z. Let c = z + -1375. Is 20 a factor of c?
False
Suppose 55*r = f + 52*r - 16011, 2*f - 5*r = 32029. Does 48 divide f?
True
Suppose 824 = -6*h - 2*h. Let a = h + 166. Is a a multiple of 8?
False
Let r(a) = a**3 + 27*a - 164. Is r(9) a multiple of 3?
False
Suppose 0 = -5*x + 6*x + 41. Let s = 46 + x. Suppose 0 = -4*w - s*m + 133, 5*w + 0*w - 3*m = 157. Is 30 a factor of w?
False
Let y be (1 + -5)*(-12 + 10). Is 19 a factor of ((-210)/y + -1 - -1)*-4?
False
Let r(q) = 7*q**2 - 51*q - 263. Does 3 divide r(-5)?
False
Does 59 divide -295*(-15)/525*875?
True
Let k(i) = 103*i**2 - 2*i - 2. Let r be k(2). Suppose 170*u - r = 169*u. Does 12 divide u?
False
Let r(b) = 11*b + 71. Let u(j) = -7*j - 47. Let w(z) = -5*r(z) - 8*u(z). Let d(m) = m - 12. Let q be d(-4). Is w(q) a multiple of 3?
False
Let n(t) = -t**3 + 26*t**2 - t + 47. Let o be n(26). Suppose -o*q = -645 - 2820. Is 14 a factor of q?
False
Suppose -2*p = -2*m + 2662 + 2982, 3*p - 5664 = -2*m. Does 53 divide m?
False
Suppose -6 = -27*f + 25*f. Suppose 4*m - 680 = -4*p, f*m = -0*p + p - 162. Is p a multiple of 8?
True
Let g(n) = n**2 + 62*n + 717. Does 104 divide g(-57)?
False
Suppose 95 = 60*i - 205. Let o(v) be the first derivative of v**4/4 - 2*v