ivide ((-65)/20)/(-13) - l/12?
True
Let a(d) = 29*d**2 + 150*d**2 - 37*d + 40*d - 55*d**2 - 2. Does 25 divide a(1)?
True
Let l(n) = -1325*n**3 + 3*n**2 + 26*n + 24. Let j be ((-1)/3)/(9/(0 - -27)). Is l(j) a multiple of 17?
True
Suppose 60 = -52*j + 56*j. Suppose -13*r + j*r - 430 = 0. Is r a multiple of 28?
False
Suppose 11024 = 47*w - 35*w + 3872. Does 3 divide w?
False
Let s be 1/((2/(-10))/((-282)/15)). Does 8 divide s/((96/(-18))/(-8))?
False
Suppose -5*z - 4*w = -2*w - 34, z - 2 = 2*w. Suppose 6 = 4*k - z. Suppose -k*a = -6*n + n - 5, 0 = -4*a + n + 35. Is 2 a factor of a?
True
Let h(c) be the second derivative of -7*c**3/3 + 13*c**2 + 2*c. Let p be h(-14). Let n = p - 120. Does 10 divide n?
False
Suppose 3*t = -2*y + 3693, -10*t + 6*t = -4*y - 4924. Let j = -829 + t. Suppose 3*r - j + 75 = 0. Is r a multiple of 25?
False
Let b(a) be the second derivative of 13*a**3/6 - 50*a**2 + 98*a. Is b(28) a multiple of 22?
True
Suppose -8417 = -14*q - 1137. Suppose 22 = 2*f + 2*a - 256, -q = -4*f + 5*a. Is f a multiple of 27?
True
Suppose b - 59309 = 4*g, 296503 = 5*b - 1154*g + 1155*g. Is 33 a factor of b?
True
Suppose -53 = -h + 20. Let s = -54 + h. Suppose 2*z - 5 = s. Is 4 a factor of z?
True
Let x be (136/6)/(1/3). Suppose 0*q = 4*i - 2*q - 344, 2*i - 5*q - 180 = 0. Suppose 9*j - i = x. Is 17 a factor of j?
True
Let p(q) = 5*q**2 + 16*q + 10. Let c(y) = 9*y**2 + 33*y + 21. Let o(d) = 6*c(d) - 11*p(d). Let z be o(22). Is 21 a factor of 3 + 2972/z - 3/(-12)?
True
Let i(o) = o**3 - o**2 + 1. Let q(t) = 3*t**3 - 4*t**2 - 7. Let g(y) = 5*i(y) - q(y). Is 51 a factor of g(6)?
True
Suppose 0 = f + 3*t - 16453, 0 = 2*f - 4*t - 48526 + 15610. Does 40 divide f?
False
Suppose -25*j - 179474 = 259*j - 2009570. Is 36 a factor of j?
True
Does 9 divide (-11)/(-4) + 12/(-4) - 2666/(-8)?
True
Suppose 4*i - 12 = -4. Suppose 46 + i = 8*j. Is (6 + -3)*(244/j - 4) a multiple of 22?
True
Suppose 0 = -2*t + 263 + 97. Suppose 169 = 186*y - 173*y. Suppose -y*n + t = -10*n. Is n a multiple of 30?
True
Let t = 6436 - 4669. Does 3 divide t?
True
Let v(h) = -h**2. Let i(o) = -201*o**2 - o - 1. Let d(j) = -i(j) - 2*v(j). Does 7 divide d(-1)?
True
Suppose 5*m - 826 = -2*l, -2*m + 0*l + 334 = 2*l. Let p = 225 - m. Is p a multiple of 4?
False
Let p be (22 - 1)*((-490)/(-21))/(-14). Let b be ((-1036)/p)/(2/5). Suppose -90 = -79*g + b*g. Does 7 divide g?
False
Suppose 84*b = 88*b + 1856. Let g = b + 1122. Is 10 a factor of g?
False
Let i(h) = h**2 - 13*h + 1. Let o be i(14). Suppose -5*s = -2*s + o. Is 10 a factor of 284/28 + s/35?
True
Let t be 46/(-207) + (-156)/27. Does 10 divide (3290/20)/(t/(-12))?
False
Suppose -q + 6*q - 10 = -2*j, 5*j = -3*q + 44. Suppose -j*u - 2*u = -4008. Is 23 a factor of u?
False
Suppose -8*k + 5*k + 9 = 0. Is 29 a factor of (k/6)/(-5 + 11605/2320)?
True
Let d(q) = -q**2 - 40*q - 256. Let x be d(-8). Is (-22 - -11)*(-65 - x/1) a multiple of 13?
True
Let o(c) = 1123*c**2 - 440*c + 888. Is 90 a factor of o(2)?
True
Does 115 divide (-58 + 59)/((-1)/5 + (-2372)/(-11855))?
False
Let l(q) = q**3 + 55*q**2 + 77*q - 131. Is l(-52) a multiple of 27?
False
Let h be 48 - (1 - (2 + 4)). Suppose 0 = 3*i - h - 163. Is i a multiple of 7?
False
Suppose 27 = 2*s + 7*s. Suppose 82 = -s*q - k + 266, k + 131 = 2*q. Is (-54)/q*(-2 + -103) a multiple of 15?
True
Suppose 3*q + 15 = 8*q. Suppose -q*g + 1368 = -6*g. Let v = -291 - g. Is 11 a factor of v?
True
Let j = 56 + -50. Let x be 1244/j + (-19)/57. Let n = x + -81. Is n a multiple of 18?
True
Let m = -3461 + 5565. Is m a multiple of 33?
False
Let g = 61 + -61. Let d = -44 - -47. Is 4 a factor of d + (0 - (-49 - g))?
True
Let j(a) = -6*a**3 + 19*a**2 + 9*a - 11. Let i = -19 + 8. Let u(x) = -3*x**3 + 10*x**2 + 5*x - 6. Let o(r) = i*u(r) + 6*j(r). Is o(-3) a multiple of 10?
True
Let l = 162 - 288. Is 3 a factor of ((-9)/15 - l/10) + 2?
False
Is 3 + -2 + -1 - (6 - 12972) a multiple of 20?
False
Suppose -3*d = -4*n + 18, 1 = -2*d + 5*n - 18. Let b be (-4)/(-2 - 6)*d. Is 24 a factor of 107*1/(-2)*(b + -1)?
False
Let f be (-42 - (0 - 2))*-1. Suppose 36*c - f*c = 296. Is (-3 - c)/((-1 - 1) + 3) a multiple of 10?
False
Suppose -109*k + 8 = -113*k. Does 60 divide (-7 + 7)/(1 + k) + 1077?
False
Suppose -12*i = -12740 + 692. Suppose -a + x = -243, 2*x + i = 3*a + 273. Is 15 a factor of a?
False
Let k = 201 - 203. Is 32 a factor of (33*(-28)/(-12))/(k/(-6))?
False
Is 23 a factor of -6*(760/(-6) + 4)?
True
Suppose -3*f + 36*u + 2721 = 31*u, 4*u - 3628 = -4*f. Is 36 a factor of f?
False
Let u(x) = 425*x**2 - 10*x + 9. Let k be u(1). Let g = 533 + k. Is 87 a factor of g?
True
Suppose 0 = -25*k + 18*k - 5999. Let i = k - -1104. Is i a multiple of 4?
False
Suppose 32*u + 33*u + 16*u = 1142262. Is 11 a factor of u?
True
Let u(b) = -4*b**3 + 5*b**2 + 64*b + 714. Is u(-21) a multiple of 9?
True
Suppose 0 = k - f - 2 - 19, 4*k = 2*f + 74. Suppose 10*t + 792 = k*t. Is t a multiple of 12?
True
Suppose 2*v + 18 = 22. Suppose -i - 60 = 5*g - 6*g, v*i = 0. Is 37 a factor of g?
False
Let s(a) = 2*a**2 - 30*a - 1722. Is 5 a factor of s(-34)?
True
Let i = 5105 + -3380. Is i a multiple of 5?
True
Let l = -76 + 79. Let a be (3 - (-6 + 50)) + (l - 1). Let m = a + 78. Does 13 divide m?
True
Suppose 2*w + 569 = 14*u - 9447, 2*u - 1448 = -4*w. Is 14 a factor of u?
False
Suppose -693*a + 17924 = 4*m - 689*a, -5*a = 3*m - 13445. Is 70 a factor of m?
True
Suppose 124*k - 37*k = 1062879. Is 53 a factor of k?
False
Suppose 6*a + 428 = 4*i + 2*a, 4*a - 412 = -4*i. Suppose 5*u - i = -b, -2*u + 50 = b + b. Is u even?
True
Let s(t) = -t**2 + 6*t + 7. Let b be s(6). Let x(k) = -389962*k + 2*k**2 + 389972*k - k**3 - 10 + 5*k**2. Does 20 divide x(b)?
True
Let m(y) = -208*y**3 + 2*y**2 - 1. Suppose 3*j - 2*q - 25 = 0, -2*j - 6*q = -q + 15. Suppose -1 = -a + 2*w - 4*w, j*a = -w - 4. Does 19 divide m(a)?
True
Suppose -4420 = -39*m + 7319. Is 6 a factor of m?
False
Let l be 7/(-28)*(-16 + 0). Suppose -1 = l*j - g, -6*j - 10 = -j - 3*g. Is 12 a factor of ((-452)/20)/(2/(-10)*j)?
False
Suppose 225 = 6*k + 15. Suppose 2*a + 168 = 2*z, 4*a - 196 = -3*z + k. Is z a multiple of 2?
False
Suppose 13*v - 16*v = -12. Suppose 0 = -v*d - 38 + 78. Does 10 divide d?
True
Let z = -59 - -69. Suppose -h + 5 = -0*h, -z = -5*o - 2*h. Suppose 4*m + 25 - 141 = o. Is m a multiple of 9?
False
Suppose 5*g + 193806 = 10*g - q, 5*g = -4*q + 193801. Does 15 divide g?
False
Let w be ((-486)/(-8))/(-9)*(-400)/15. Let l = 1 - -6. Suppose -w = -l*g + g. Is 5 a factor of g?
True
Let b = -121 - -67. Is 22/(-3)*b/4 a multiple of 8?
False
Suppose -11*h = -6*h - 5. Is (-5 + 0 + h)/(32/(-592)) a multiple of 32?
False
Let q(u) = u**3 - 2*u - 3. Let s(y) = 7*y**2 + 7*y + 3. Let o be s(-1). Is q(o) even?
True
Let m(b) = 9*b**2 + 61*b + 246. Does 14 divide m(-16)?
False
Does 53 divide (-6708)/(-2) - 840/(-60)?
False
Let n(o) = 3*o**2 + 11*o + 10. Let q be n(-8). Let k = q - 119. Is 29 a factor of (-114)/95*k*49/2?
False
Suppose -27*c + 438864 = 55*c. Is 12 a factor of c?
True
Let b = -171 + 178. Let q(v) = -v**3 + 9*v**2 - 7*v + 7. Does 24 divide q(b)?
False
Does 292 divide (1169 + -1)*10812/2544?
True
Suppose -569 = -12*w - 89. Suppose -5749 = -w*m + 1211. Is m a multiple of 12?
False
Let c = 3684 - 481. Is c a multiple of 3?
False
Let a = 3468 + -3420. Does 3 divide a?
True
Suppose -3293 = -22*m + 887. Suppose -904 = -7*v - m. Is v a multiple of 30?
False
Let g(w) = 27*w**2 + 4*w - 6. Suppose -5*d = 2*t - 39, 4*d = d + 4*t + 13. Let f be 24/14 - ((-9)/d - -1). Is 10 a factor of g(f)?
True
Suppose 735*t - 755*t = -130640. Does 92 divide t?
True
Let w = 63 - 62. Suppose w = 4*q + 3*j, -2*q - 20 + 3 = 5*j. Suppose q*l + 5*o - 280 = 0, 6*l = 2*l + 3*o + 280. Does 33 divide l?
False
Let i = -62159 - -119935. Does 184 divide i?
True
Suppose -1021 = 4*u - 7*u - b, 0 = 4*u + 5*b - 1365. Let c = u - 160. Is 18 a factor of c?
True
Let g(q) = 4*q**2 + 15*q - 55. Suppose -8*d - 1 + 89 = 0. Is 11 a factor of g(d)?
True
Is 124 a factor of 3*564 - (12 + (-38)/2)?
False
Let b be 6 - (364/(-2))/1. Suppose -3*g + b = -4*w - 105, -5*g - 3*w = -527. Is 12 a factor of g?
False
Let b = 49878 - 25038. Is 46 a factor of b?
True
Let j(g) = 2*g**2 - 13*g + 83. Does 12 divide j(13)?
True
Let y(m) = -1 - 2*m**2 - m**2 - 11*m**3 +