 = 6*l + 1603. Does 14 divide l?
True
Suppose 6*v - 25 = v. Suppose p = u + 5 - 0, -v*p + 3*u + 21 = 0. Suppose -4*q - 569 = -7*r + 2*r, 0 = p*r - 2*q - 343. Is r a multiple of 13?
True
Suppose -4*u = -31*f + 29*f + 6224, 4*f - 12472 = 2*u. Suppose -13*v = -5*v - f. Is 10 a factor of v?
True
Let v(q) = 57*q - 227. Let u be v(7). Suppose u*h - 167*h = 3300. Is h a multiple of 26?
False
Suppose h - 91 = o, 0 = 3*h + 4*o - 293 + 41. Suppose h = -0*p + 8*p. Suppose -p*z + 16*z = 255. Does 27 divide z?
False
Let h be 3/(-3)*1*0. Suppose 318 = -h*a + a. Suppose 2*t - a - 2 = 0. Is t a multiple of 16?
True
Is 3 a factor of (-5460)/525*(-1 - 4)?
False
Suppose 32*j - 10959 = 147729. Is j a multiple of 29?
True
Let q(h) = -1528*h - 1736. Does 32 divide q(-20)?
False
Let x = 5841 - 4478. Is 17 a factor of x?
False
Is 5 a factor of (26/65)/(1/1225)?
True
Let j(y) = -72 - y**2 + 79 + 4*y + 2*y**2. Let b be j(0). Let i(o) = -o**3 + 13*o**2 - 18*o + 5. Is 10 a factor of i(b)?
False
Suppose 7*d - 79248 = -17*d + 118536. Is d a multiple of 143?
False
Suppose -36 = -5*u + 2*n + 2*n, -4*n = 2*u + 8. Does 11 divide u*(4 - 3) + 392?
True
Let j be (-2 + 3)*((-3)/1 + 6). Suppose 1195 = j*m + 265. Is m a multiple of 62?
True
Is 12 a factor of ((432/(-14))/(-9))/((-15)/(-43260))?
True
Suppose 0 = -25*t + 85*t - 167580. Is 147 a factor of t?
True
Suppose 2*y = -0*y + r + 51, -5*r + 25 = 0. Does 12 divide -70*(2 - 80/y)?
True
Let f(z) = 35*z**2 + 2*z + 8. Suppose -18 = 23*d - 14*d. Is 12 a factor of f(d)?
True
Suppose 2 = -w + 2*l + 4, -l = -5*w + 19. Let y(f) = 36*f + 28. Is 23 a factor of y(w)?
False
Let b be (-7)/(-4) + 7/28 - -2. Suppose 5*f - 532 = -b*p, -p - 4*f - 32 = -176. Is p a multiple of 18?
False
Let y = -112 - -118. Suppose -284 - 424 = -y*l. Does 4 divide l?
False
Suppose -590*k - g = -592*k + 109954, 8 = 4*g. Is k a multiple of 187?
True
Is 21 a factor of 1 + ((3 - -4) + -14)/2*-962?
False
Let s(u) = 15*u + 146*u**2 - 76*u**2 + 13 - 69*u**2. Let w be s(-14). Is (-7)/(-12)*-2*(w + -5) a multiple of 7?
True
Is 43 a factor of (-17 - (-40 + 10)) + 1148?
True
Does 4 divide ((-630)/60)/((-4)/448)?
True
Is (-101952)/(-18) + 4 + (-8)/1 a multiple of 5?
True
Suppose -43706*p + 21021 = -43693*p. Does 49 divide p?
True
Suppose y - 918 = -0*o + 3*o, 2*y - 1857 = -o. Let f = 1042 - y. Is f a multiple of 5?
True
Suppose -3*f + 100 = 4*b, 0*f = 2*f + 5*b - 55. Let o = f - 36. Is 0 + o/(4/45) a multiple of 15?
True
Let l(g) = -3*g + 46. Let t be l(0). Let a = t - 18. Let f = a - -84. Is 28 a factor of f?
True
Let n(f) = 886*f**2 + 148*f + 453. Is n(-3) a multiple of 15?
False
Let c be 3/((-18)/(-12))*2153. Is c/8 - (-4 + 26/8) a multiple of 12?
False
Suppose -2*w = 3*x - 43193, 4*w = -2*x + 26764 + 59602. Is 33 a factor of w?
False
Suppose -8 = -14*x + 10*x. Suppose x*c - 19 - 71 = 0. Is 2 a factor of -3*170/c*(-6)/4?
False
Suppose 71*y - 140 = 76*y. Let v = 138 + y. Does 17 divide v?
False
Let t = 6730 + -1184. Let z be t/8 - (-12)/16. Suppose 8 - z = -7*m. Is 14 a factor of m?
True
Let b be ((-5)/2)/(3/6). Suppose 71*o - 90*o = -1159. Let a = o - b. Is a a multiple of 33?
True
Is 115 a factor of (305 + 0)/((-14)/8694*-9)?
True
Let t(o) = 2*o**2 + 8*o + 5. Let i be t(-4). Suppose 0 = -3*v - 6*h + 4*h + 810, -3*h + 1349 = i*v. Does 67 divide v?
True
Let o(l) = l**3 + 2*l**2 - 2*l + 24. Let r be o(-4). Suppose 913 = 3*q - h, r = -2*q + 9*h - 10*h + 617. Is 6 a factor of q?
True
Let g(k) = 26157*k - 1431. Does 7 divide g(1)?
False
Let r(w) = 11*w + 713. Let l be r(0). Suppose -11*v + l = 130. Is v a multiple of 3?
False
Is 8 a factor of -5 + (-83)/(-17) - 2586/(-17)?
True
Suppose -5875 = -8*a + 16373. Does 9 divide a?
True
Let d(b) = -b + 8. Let u be d(7). Let v be (-47*(1 - 2))/u. Let p = v + -15. Is p a multiple of 9?
False
Let p = 845 - 838. Let l(g) = 29*g**2 - 14*g - 16. Is 25 a factor of l(p)?
False
Let w(d) be the first derivative of d**7/840 - d**6/60 + d**5/40 + 13*d**4/24 + 19*d**3/3 - 9. Let m(f) be the third derivative of w(f). Does 5 divide m(6)?
False
Suppose -3*r = 2*n + 116, -7*r - 44 = -6*r + 2*n. Let j = -31 - r. Suppose 0 = j*o - 5 - 5, 2*o = -4*w + 1060. Is 15 a factor of w?
False
Let t = 35 - 5. Let a be (3/7 - t/21) + 102. Suppose -5*x + a + 214 = 0. Is x a multiple of 34?
False
Let w(s) = -5*s + 33. Let m be w(7). Does 27 divide m/10 - (-29052)/60?
False
Let j be 476 + 18/48*8. Suppose -3*b = b + 1132. Let z = b + j. Is 12 a factor of z?
False
Let z be 1*-17*8/8. Let b(g) = -g**3 - 11*g**2 + 15*g + 54. Is b(z) a multiple of 90?
False
Suppose 8*x + 492 - 4620 = 0. Let r = x + -342. Does 6 divide r?
True
Does 101 divide (6/(-4))/((-28)/((-3416224)/(-12)))?
True
Let o(z) = -182*z + 1255. Is 10 a factor of o(-9)?
False
Suppose -12*y - 178 = -13*y. Suppose 0 = -0*u - 5*u + 600. Let d = y - u. Is d a multiple of 10?
False
Suppose -4*o = -5*k + 620, 3*o - 5 = 2*o. Let x be (-1)/8*-18 + 1/(-4). Suppose x*h - k = -2*h. Is h a multiple of 9?
False
Let j(h) = 2*h**2 - 11*h + 23. Let q be j(6). Suppose -q = -2*k - 27, -4*w + 4*k + 860 = 0. Is 8 a factor of w?
True
Suppose -5*v - g + 1266 = 0, 0 = -5*g - 258 + 288. Is 4 a factor of v?
True
Let a = 32 - 2. Suppose c - 7*c = -a. Suppose -v - v + 22 = 4*z, c*v = -2*z - 9. Is 8 a factor of z?
True
Let s be 2 + -4 - (0 - -4 - 1691). Suppose 0 = 17*u - 2956 - s. Does 54 divide u?
False
Suppose 0 = a + 2*x - 3139 - 1765, -14757 = -3*a + 3*x. Is 54 a factor of a?
True
Let f = 42 - 30. Let i(h) = -2*h - 27. Let l be i(f). Let c = 69 + l. Does 8 divide c?
False
Let d = 454 - 441. Suppose -7212 = -d*x + 7049. Is x a multiple of 92?
False
Let g be -241*(-5 + (8 - 2)). Let x = g - -843. Is 22 a factor of x?
False
Let v(s) = -30*s**3 - 2*s**2 - 8*s + 12. Does 23 divide v(-3)?
True
Suppose -5*y - 8930 = -5*a, 5*a - 7*y + 11*y - 8930 = 0. Is a a multiple of 47?
True
Suppose -91*s = -86*s. Suppose -5*o = -s*a - 3*a + 425, 15 = 3*o. Is a a multiple of 50?
True
Suppose -5*f + f + v - 21 = 0, -4*f - 23 = -3*v. Let i be ((-42)/f)/(6/135). Does 17 divide (i/(-6))/(1/2*-1)?
False
Let n(j) = -3*j**3 + 65*j**2 + 13*j - 206. Does 16 divide n(20)?
False
Let n = -17 - -19. Suppose -n*v - 72 = -11*v. Suppose -12*c = -v*c - 48. Does 3 divide c?
True
Let z(a) = 19*a**3 - 5*a**2 + 6*a - 4. Let b(f) = f**3 + 13*f**2 + 26*f + 46. Let x be b(-11). Is 3 a factor of z(x)?
False
Let i be (-280)/770*(2 + (-45)/6). Let h = 212 - 58. Suppose -3*a - h = -i*q, q + 9*a - 4*a - 90 = 0. Does 10 divide q?
True
Suppose 1763 + 4072 = 5*a. Let y = -538 + a. Let n = -312 + y. Is n a multiple of 18?
False
Let r be 9 + (-2)/3*3/(-2). Suppose r = 4*c - 2*g - 44, 3*c = -3*g + 63. Is c even?
True
Let g(w) = w**3 - 26*w**2 - 6*w - 15. Let u be g(26). Let s = -69 - u. Does 21 divide s?
False
Suppose -8*k + 152 - 504 = 0. Let p = -36 - k. Suppose p*d + 240 = 11*d. Does 8 divide d?
True
Suppose -5*r + 15 = -5*q, 0 = -3*q - r - 3*r + 19. Let j(a) = 289*a**3 - a**2 - 5*a + 5. Is 16 a factor of j(q)?
True
Let u be (-1359)/(-6)*(-100)/(-75). Let m = 727 - u. Does 27 divide m?
False
Is 11 a factor of (-3314 + 18 + 9)/(2/(-4))?
False
Suppose 0 = -74*d + 68*d - 3876. Let q = d - -925. Is q a multiple of 8?
False
Let q = -47 - 121. Is (-1302)/q*(69 + -1) a multiple of 35?
False
Suppose -4*a - 13*j = -12*j - 28095, -a = 3*j - 7021. Is 29 a factor of a?
False
Let s = -432 - -430. Let c(b) = -64*b**3 - 8*b**2 - 15*b. Is 34 a factor of c(s)?
True
Let s be -18*((-35)/(-15))/1. Let p = -38 - s. Suppose -p*g + 1962 = 5*g. Is 16 a factor of g?
False
Let w be (-3 + 5/5)*53. Let p = -38 - w. Does 15 divide p?
False
Is ((-2)/8)/(-3 + 113878/37960) a multiple of 10?
False
Let g be (-231)/22*(-8)/6. Suppose -2*k + p = -1123, 17*p + 2249 = 4*k + g*p. Is 28 a factor of k?
True
Let c be (-1)/2 - 658*(-5)/20. Suppose -c = -a - 2*s, -2*a - 5*s = -3*s - 320. Is 14 a factor of a?
False
Let y(o) = -o**2 + 10*o + 1. Let f be y(10). Let k be (-1)/(f/(-52)) + (-1 - -4). Suppose 0 = -5*c + 25, -5*c = -7*m + 2*m + k. Is m a multiple of 4?
True
Suppose -29 = -5*m - v, 3*m + 3*v - 21 = 6. Suppose 2*c + 2*w + 17 + m = 0, -5*c - 5 = -5*w. Does 7 divide 1 - -8 - (c - -8)?
True
Let l(w) = -w**2 + 13*w - 1. Let d be l(4). Let s = -85 + d. Is 24 a factor of 20/(-8)*s - (1 - 0)?
False
Suppose 2221 + 2104 = -