k. Let q be f(9). Is 25 a factor of m(q)?
True
Let x(p) = p**3 + 11*p**2 + 10*p + 2. Suppose 2*y - s = -y - 27, 5*y = -s - 53. Let d be x(y). Is 23 a factor of (146/(-4) + d)*-2?
True
Let p = 149 + 691. Suppose w + 2*w - q = 504, p = 5*w + 3*q. Is 24 a factor of w?
True
Let j = 64319 + -38678. Is j a multiple of 37?
True
Suppose n = -4*b + 26657, b = -n + 5619 + 1046. Is 43 a factor of b?
False
Suppose -4*j = 5*u - 15, 3*u = -2*j - 0*j + 9. Let y = 15 - u. Suppose -32 = -11*v + y. Is 3 a factor of v?
False
Let b be 1*(-2)/(-4)*660/(-15). Does 6 divide 48/(-132) - 13560/b?
False
Let m(q) = q**2 + 11*q - 7. Let a be m(-12). Suppose 5*h - 5*x - 155 = 0, 5*h + a*x = 88 + 77. Is 4 a factor of h?
True
Let x(l) = -l**3 - 14*l**2 + 5*l + 46. Let y = 18 - 34. Is 21 a factor of x(y)?
False
Let z(a) = 2*a**2 + 13*a + 18. Let d be z(-5). Suppose -2*l = -c + 174, d*l + 856 = 8*c - 3*c. Does 10 divide c?
True
Suppose 0 = -11*g + 13*g + 634. Let x = g + 618. Does 43 divide x?
True
Let m(x) = -40*x + 24. Let k(j) = 3*j**2 - 15*j + 3. Let s be k(4). Is 8 a factor of m(s)?
True
Let g = -3 + 8. Let q(n) = -2*n**3 + 5*n**2 + n + 5. Let h(a) = -1. Let z(s) = -6*h(s) - q(s). Does 35 divide z(g)?
False
Let i(r) = r**2 + 6*r - 22. Let h(m) = -m**2 + 6*m - 2. Suppose 0 = -5*l + l + 28. Let n be h(l). Is 5 a factor of i(n)?
True
Let q be 3/(-15) - (-3 + 21576/(-30)). Let w = q + -522. Is w a multiple of 4?
True
Is 23 a factor of ((-330)/(-24) - 12)*-4 - (0 - 11990)?
True
Suppose -54*r - 12 = -57*r. Does 58 divide (-1278)/(-11) + 0 - r/22?
True
Suppose -55 + 19 = 12*f. Does 15 divide ((-86)/4 - 0)*(f - 5)?
False
Let x(z) = 3*z - 1. Let o be x(0). Let t = o - 12. Let b = t + 106. Is b a multiple of 17?
False
Let o(m) = -3*m**3 - 36*m**2 + 31*m + 81. Is o(-17) a multiple of 108?
False
Let z = 3611 - 3431. Does 6 divide z?
True
Suppose 6 + 9 = -3*t, -2*t - 26 = -4*r. Let h(y) = y**3 - 12*y + 25. Is h(r) a multiple of 4?
False
Suppose 3*s + 60 = -5*p - 146, 4*p + 5*s + 170 = 0. Let c = p + 40. Suppose -26*r + 28*r - 624 = c. Is r a multiple of 24?
True
Let u be -11 - (30/(-3) - -5). Let j = u - -90. Is j a multiple of 14?
True
Let p = -20027 - -51482. Is p a multiple of 5?
True
Suppose -l - 8737 = -3*o + 19491, 28212 = 3*o + 3*l. Suppose -44*i - o = -65*i. Is 28 a factor of i?
True
Let l = 131007 - 89598. Does 9 divide l?
True
Let f = 33 - 24. Suppose f*s + 0 - 153 = 0. Let t = 77 - s. Is 15 a factor of t?
True
Let p = -3 + 1345. Is p a multiple of 14?
False
Let t be ((-7)/(-7))/((6/(-10))/3). Is 5 + 229 - t - (4 - 0) a multiple of 11?
False
Suppose 71 - 86 = -3*y. Suppose y*p - 6*p + 440 = 2*f, p - 446 = f. Is p a multiple of 12?
True
Let r(c) be the third derivative of c**6/120 - 11*c**5/120 + 2*c**4/3 - 4*c**3 - 11*c**2. Let h(k) be the first derivative of r(k). Is 4 a factor of h(6)?
False
Suppose -902 - 734 = 4*p. Let l = p - -589. Does 6 divide l?
True
Let h(y) = 77*y + 1990. Is 9 a factor of h(9)?
False
Suppose 21055*c = 21053*c + 5800. Is 50 a factor of c?
True
Suppose -2948 - 686 = -i. Suppose 4*r - i = -5*l, -3*l - 2*r + 1712 + 468 = 0. Does 39 divide l?
False
Let r(h) = h**3 - 3*h**2 - 3*h + 6. Let n be r(4). Let f(j) = -369 + j**3 + 739 - 348 - 5*j - 9*j**2. Does 24 divide f(n)?
True
Let f be ((-4826)/(-19))/((0 - 2)/2). Is 3 a factor of f/(-3) + -2 - 5/(-15)?
False
Let n = 5467 + -2587. Is n a multiple of 36?
True
Let q(y) = -12*y**2 + 359*y + 55. Is 17 a factor of q(29)?
True
Let d = 36281 - 17396. Is d a multiple of 134?
False
Let o = 87 - 83. Suppose 4 = -4*c - o*r, -4*c - r + 3 = -2*c. Is 8 a factor of (-32)/(-2) + 0/c?
True
Suppose -21*h - 3984 = -24*h. Let t = h + -735. Is t a multiple of 34?
False
Suppose -5*b + 3*s + 9 = 0, -2*b + 8 = -2*s + 2. Let w be 4 + 1 + (7 + -3 - -327). Suppose -w = -4*j - b*j. Does 15 divide j?
False
Let t(c) = 6*c**2 + 7*c - 4. Suppose -9*u + 6 = -7*u. Suppose 26 = 5*l - u*b, l - 4*l - b + 10 = 0. Is t(l) a multiple of 16?
False
Suppose -5*n + 6*n + 2310 = 6*n. Does 48 divide n?
False
Suppose 0 = 2*c + 2*o - 1732 - 1782, 4*c - 7064 = 5*o. Is 15 a factor of c?
False
Suppose 0 = -3*q + 5*c + 64, -5*q + 24 = -4*q - 3*c. Let s(h) = -7*h**2 + 65*h + 124. Let p be s(10). Let r = p + q. Is 40 a factor of r?
False
Is 3 - ((-1332)/54)/((-8)/(-924)) a multiple of 62?
True
Let q = -600 + 926. Is q a multiple of 7?
False
Suppose -3*r + 227 = -73. Suppose -21*u + r = -19*u. Suppose 0 = 4*v - u - 98. Does 9 divide v?
False
Let v(u) = u**2 - 29*u + 290. Does 10 divide v(45)?
True
Suppose -5*t + 2*t = -15. Suppose 4*p + p - 430 = t*q, 2*p + 4*q - 178 = 0. Suppose -14*i = -13*i - p. Is 8 a factor of i?
False
Let y = -33 - -53. Suppose -2*m = -0*m - y. Let o(q) = 4*q + 4. Is o(m) a multiple of 10?
False
Let x be 3/(-3) + 2 + -1. Let o(h) = h**3 + h**2 - 2*h + 217. Let t be o(x). Suppose -2*n - 2*w = 3*n - 211, 0 = -5*n - 4*w + t. Does 8 divide n?
False
Is 43 a factor of 495/6*(98 - -4)?
False
Does 44 divide (10338/15)/((-17)/(-255))?
False
Let m(z) = -z**2 + 52*z - 29. Let v be -78*(-5 + 6 + (-9)/6). Does 10 divide m(v)?
False
Suppose 2*d - 4 = 0, -8 = 3*j - 4*d - 60. Suppose 1528*k = 1531*k - 6. Suppose -k*n + j = -n. Is 5 a factor of n?
True
Suppose -45*s + 1145424 = 80*s - 13*s. Does 7 divide s?
True
Let d = -31 + 48. Suppose 3*w - d = 4. Is 1 + (-2)/w + (-12278)/(-98) a multiple of 16?
False
Suppose -166*x - 31*x + 398728 = 0. Is 11 a factor of x?
True
Let j = 21 + -18. Suppose -t + 10 = l, j*t = t + 5*l + 34. Suppose -16*x + 112 = -t*x. Does 28 divide x?
True
Let c be (-5 - (-1705)/(-15))*(-6)/4. Suppose -18*u + 910 = 5*l - 13*u, 0 = l - u - c. Does 18 divide l?
True
Let i = -4461 + 5725. Is 8 a factor of i?
True
Is 2 - -3 - (-40)/(3 + 2 + -3) a multiple of 19?
False
Let c = -885 + 4003. Is 47 a factor of c?
False
Let j be (10 - 1) + (-1 - (1 + -1)). Suppose j = -30*i + 26*i. Is (4 + 58*i)/(-1) a multiple of 22?
False
Let v(x) = -3*x**2 - 24*x + 79. Let s(p) = 11*p**2 + 71*p - 237. Let c(u) = -2*s(u) - 7*v(u). Does 9 divide c(8)?
False
Suppose -28*n + 8473 = 4*d - 23*n, d - 3*n - 2131 = 0. Is d a multiple of 18?
False
Suppose 1 - 5 = -c - n, 6 = 2*c + n. Suppose -c*w - 25 = -7*w. Suppose 7*t - 4 = w*t. Is 2 a factor of t?
True
Let l be (2/(-2))/(8/32). Let n be (-26)/l - (-33)/(-22). Let d(f) = 4*f + 4. Is d(n) a multiple of 9?
False
Let g(t) = 1359*t**2 + 2*t + 3. Suppose -5*j = 0, 10*l - 12*l - j - 2 = 0. Is g(l) a multiple of 20?
True
Suppose -4637 = -5*y + f, -y + 244 = 3*f - 693. Is y a multiple of 32?
True
Suppose -1177*o = -1160*o - 84847. Is 8 a factor of o?
False
Suppose 7*w - 5*w - 14 = 0. Let u be -14 + -2 - w/7. Let f = u - -93. Is f a multiple of 24?
False
Suppose -7*v = 107*v - 14364. Is v even?
True
Suppose 565*q + 18 = 571*q. Suppose 4*d - 8*d = 3*x - 74, -q*x = 5*d - 70. Is x a multiple of 8?
False
Let v(p) = -50*p**3 + 16*p**2 + 2*p - 12. Does 61 divide v(-8)?
True
Suppose 2*d + 0*d + 40 = 0. Let p = d - -26. Suppose p*s - 306 = s - 3*f, 0 = -5*s - 4*f + 308. Is 12 a factor of s?
True
Let i = 0 + 75. Let u = 77 - i. Suppose -u*q - o + 87 = -0*o, -q + 36 = 3*o. Is q a multiple of 17?
False
Suppose -3*s - 94 = -130. Suppose 3*z - 1016 = 4*k, 339 = z - 13*k + s*k. Is 10 a factor of z?
True
Let h(l) = 2*l + 2. Let x be h(0). Suppose -5*o = x*d - 19 - 61, 4*o + 2*d - 66 = 0. Does 14 divide o?
True
Suppose 12*l - 22732 = 17318 + 57798. Does 18 divide l?
True
Suppose -167 + 1037 = -3*n. Let a = 740 + n. Suppose 3*w = 9*w - a. Is 25 a factor of w?
True
Let j = 446 - 67. Suppose 5*c = 4149 - j. Is c a multiple of 26?
True
Let q(y) = y**2 + 3*y - 15. Let g = -3 + -3. Let w be q(g). Suppose 128 = w*z + 4*l, 13 = 2*z - 2*l - 63. Is 10 a factor of z?
True
Suppose -37*j = -39*j + 64. Suppose 31*v + 47 = j*v. Does 12 divide v?
False
Suppose -4 - 2 = -3*t, 3*t = 2*c + 8. Let y be -29 - 0*c/(0 - -1). Let w = y - -95. Is 11 a factor of w?
True
Let f = 8167 - -5399. Does 114 divide f?
True
Let d be (-1828)/20 + -1 + 15/(-25). Does 6 divide (-3 - d/33) + (-268)/(-22)?
True
Let h = 58 - 62. Let i be h/20 + (-4)/(-60)*3. Is 10 a factor of 2 + -2 - i - -69*2?
False
Let f(g) = 5*g**2 + 27*g - 14. Let u be f(-6). Suppose -2*h - 5*c + 1830 = 3*h, u*h - 1428 = 5*c. Does 15 divide h?
False
Suppose t + 161 = q, 5*q - t = 3*q + 327. Suppose 3*l -