*l - 867*l = h. Does 18 divide l?
False
Suppose -6*y + 159132 = 5*q, 12551 + 51129 = 2*q - y. Is q a multiple of 12?
True
Suppose -4*s + f - 61 = 0, -5*s - 3*f + 4*f - 76 = 0. Does 58 divide (-50)/s*((-423)/(-6) - 0)?
False
Let x = -4186 - -7693. Suppose -14*n + x - 581 = 0. Does 14 divide n?
False
Let j = 16027 - 12224. Is 225 a factor of j?
False
Let b be (-8)/(-12) - ((-149)/(-3) + 1). Let i be (-80)/b + 4/10*1. Suppose i*y = 4*y - 88. Is 11 a factor of y?
True
Let v be ((-448)/20)/(((-9)/15)/3). Suppose -v*z + 97*z = -3465. Is z a multiple of 5?
False
Suppose 5*s = -l + 4147, 2*l + 4159 = 5*s - l. Suppose 3*x + 320 - s = 0. Suppose 4*k - y + 11 = x, -k - 2*y = -42. Does 14 divide k?
False
Is 4 a factor of 15410 - (25 + -15 + 16)?
True
Let j be ((-1491)/14 + 6)*(-2)/3. Let y = -54 + j. Suppose -10*t + y*t = 120. Is t a multiple of 8?
True
Suppose 5*v + 21*v - 183700 = 112050. Is 65 a factor of v?
True
Suppose 74*h + 349213 = 900513. Is h a multiple of 180?
False
Is 123 a factor of ((-5757)/2)/((-282)/3760) + -4?
True
Suppose -h + 20 = -5*c, -2*c = -0*c + 3*h - 9. Let s be 1624/10 - 4/10. Does 28 divide s/36*(-26)/c?
False
Does 44 divide -13 - -5 - 56606/(-31)?
False
Let m(w) = 3*w - 14. Suppose -12 = -0*b - 3*b. Let j be m(b). Is (-254)/j - (-6 + 3 - -4) a multiple of 32?
False
Suppose 48 = 4*k - 20. Suppose -5*w + p = -352, -k - 57 = -w - p. Suppose 5*c - 3*m + w = 476, 2*c - m - 161 = 0. Does 13 divide c?
True
Suppose 5*n - 6774 - 4184 = -3*i, 4*n = 5*i + 8796. Is 81 a factor of n?
False
Let r(k) = 3*k**2 + 161*k - 94. Is 140 a factor of r(62)?
True
Does 11 divide (-42)/3*((-4)/(-14) - 559881/882)?
False
Suppose 17*b = 43592 + 30250 + 27784. Is b a multiple of 122?
True
Let o(l) = 28*l**2 - 23*l + 71. Does 43 divide o(12)?
True
Let p = 467 - 31. Let f = 681 - p. Is f a multiple of 35?
True
Suppose 26*a + 12*a + 60*a - 3620218 = 0. Is 16 a factor of a?
False
Let r = -5809 + 9236. Does 19 divide r?
False
Suppose 0 = 6049*d - 6066*d + 10378 - 3748. Is 11 a factor of d?
False
Is (86805/6)/((-55)/(-110)) a multiple of 11?
False
Let t(d) be the first derivative of d**4/4 + d**3/3 - 5*d**2/2 - 2*d - 41. Does 12 divide t(4)?
False
Let r be (-16)/(-6) - 50/75. Suppose r*x - 396 = 4*h, 4*h - 53 = -69. Does 13 divide x?
False
Suppose 131*s = 149*s - 10278. Is s a multiple of 9?
False
Let i(t) = 10*t**3 + 2*t**2 + 6*t + 3. Let a be i(-1). Let c(z) = 8*z**2 - 15*z - 7. Does 15 divide c(a)?
False
Let v(w) = -2*w**2 - 14*w + 19. Let h be v(-8). Suppose -2*s = 28*n - 24*n - 16, 2*n = h*s - 48. Does 7 divide s?
True
Suppose 23*i - 48 = 21. Is (-1)/i + 30001/57 a multiple of 13?
False
Let n = -426 - -411. Does 89 divide 325 - (10/n - (-5)/3)?
False
Suppose -4*s - 13*b + 7892 = -9*b, 2*b + 1961 = s. Is 4 a factor of s?
False
Let f(b) = 58*b - 8. Let g(r) = 57*r - 9. Let u(v) = 4*f(v) - 3*g(v). Let q be u(7). Is q/4 - 4/8 a multiple of 35?
True
Is 15/(-12) + ((-99790)/(-56) - 14/(-49)) a multiple of 13?
True
Let x be -4*(-1 + -6 - -6). Suppose -x*o = 596 - 1648. Does 11 divide o?
False
Suppose -25*l = 60*l - 113*l + 184576. Is 16 a factor of l?
True
Suppose 25 = -18*g - 47. Is 3/(-1)*((-58)/6 - g) a multiple of 5?
False
Let h = 316 - 62. Let s = 289 - h. Does 5 divide s?
True
Let q(b) = 13*b**3 - 25*b**2 + 22*b + 14. Let y be q(16). Is 13 a factor of (-2)/19 + y/171?
False
Let k(c) be the first derivative of -c**4/4 + 23*c**3/3 - 33*c**2/2 - 5*c + 6. Is 43 a factor of k(21)?
False
Suppose 2*i - 17 = -4*r + 1, -4*i = -20. Suppose l = -2*z + 107, r*z = 2*l + 5*z - 213. Is l a multiple of 8?
False
Let y be (7 - 3 - 3) + -1 + 1. Let j(o) = 612*o**2 - 62*o + 61. Does 9 divide j(y)?
False
Let y = 225 - 107. Let i = y - -56. Suppose 2*m - 68 = -2*o, 0 = -5*m - 8*o + 4*o + i. Is m a multiple of 4?
False
Is (3474/(-5))/((-240)/600) a multiple of 2?
False
Suppose -4*o + 8 = -5*k + 28, 0 = 4*o - 4*k + 16. Suppose -4*v - 5*g + 15 + 8 = 0, o = -4*v - 4*g + 24. Suppose -v*f - 13 = -328. Does 9 divide f?
True
Suppose -33*t + 38*t = 70. Suppose -u - 626 = -2*d, -2*u + t = -2*d + 642. Does 63 divide d?
False
Let v = 31 - 44. Is 35 a factor of (v + 15 + (-4)/(-3))*21?
True
Let j = -4091 - -7526. Suppose 432 = -7*a + j. Is 11 a factor of a?
True
Let z(u) = -10*u**3 + 3*u**2 + u + 4. Let c(s) = -11*s**3 + 4*s**2 + 2*s + 4. Let y(g) = -4*c(g) + 5*z(g). Let q be y(2). Does 22 divide q/72 + (-355)/(-4)?
True
Let o(z) = -z**2 + 29*z - 19. Let a(f) = 13*f**2 + 1. Let u be a(-1). Is o(u) a multiple of 13?
False
Suppose 0 = -d + w - 40 + 1619, -7877 = -5*d - w. Is 14 a factor of 12/(-21) + d/14 + 0?
True
Let w = -117 - -120. Suppose 0*n + 3 = n, -w*d + 636 = -n. Is 25 a factor of d?
False
Suppose m + 3*f - 13651 = 0, f = -42*m + 47*m - 68303. Is 48 a factor of m?
False
Let b be -7*(-4)/(-7)*-1. Suppose 2 = -2*r + b*r. Does 20 divide (-8)/(-3)*r*15?
True
Let z(t) = t**3 - 109*t**2 + 44*t + 854. Does 13 divide z(109)?
False
Suppose -4*l = 3*y - 131454 - 12414, 4*y - 3*l - 191799 = 0. Is y a multiple of 48?
True
Suppose -5*a - 4*g + 332 = 0, 266 - 13 = 4*a - g. Let f = a - 62. Suppose 0 = -f*d + 115 - 5. Is 3 a factor of d?
False
Suppose -6 + 0 = 3*m, 117074 = 4*j - 3*m. Suppose 0 = -7*b - 30*b + j. Is b a multiple of 22?
False
Suppose 3*i - 5*q = -0*i + 140, 0 = 2*i + 2*q - 120. Suppose 51*v - i*v = -864. Is v a multiple of 29?
False
Let x(q) = 3*q**2 - 32*q + 38. Let i be x(12). Suppose 4*n + 135 = -3*k + 6*k, -2*k + 4*n + i = 0. Is 7 a factor of k?
True
Let y be 964*3*(2 + 12/(-8)). Suppose 4*t = 2*a + y, 6*a = -t + 4*a + 364. Let w = t - 238. Is 31 a factor of w?
True
Suppose 71 = -10*s - 19. Let l(k) = -k**3 - 10*k**2 - 11*k - 15. Let x be l(s). Suppose -2*f = -0*f - t - 422, x*f = 5*t + 633. Does 14 divide f?
False
Is 7 a factor of (-32)/16*((-86394)/(-12))/(-11)?
True
Let o = -7604 - -10767. Is o a multiple of 54?
False
Let z(m) = 207*m + 12. Let b be z(4). Suppose 3*u + 0*u = g - 154, u + b = 5*g. Does 13 divide g?
True
Suppose -4*o + 229*v - 227*v + 86108 = 0, -3*v = 6. Is 6 a factor of o?
False
Let k(y) = -y**2 + 1116 + 4*y**2 - 1108 - 11*y. Does 35 divide k(-9)?
True
Suppose 27*l + 40*l + 48*l - 1416455 = 0. Is 109 a factor of l?
True
Let b = 14 + 2. Let q = 6 - 2. Suppose -q*i = -5*v + b + 137, 0 = 4*v + 2*i - 138. Is 18 a factor of v?
False
Suppose 9*c + 113 = 320. Let f = c - -3. Does 13 divide f?
True
Let j = 139 + -133. Is ((-308)/j)/(3 + (-44)/12) a multiple of 4?
False
Let l = 7079 - 2115. Is 73 a factor of l?
True
Let w(h) be the second derivative of -5*h**5/4 - h**3 - 2*h**2 - 7*h. Is 26 a factor of w(-2)?
True
Suppose 0 = 2*v - 24 - 6. Let q be 3/v + (-3)/15 + -111. Let b = q + 231. Is 20 a factor of b?
True
Suppose 7*h = 117 - 5. Let s be h + -11 + (2 - -37). Is 11 a factor of (s/12)/(5/270)?
True
Let u = 79 - 8. Let k = 65 - u. Let h(c) = -c**3 + c**2 + c + 1. Is 13 a factor of h(k)?
True
Let f(b) = 7*b**2 + 6*b - 1. Suppose 41 = -5*w + 76. Does 16 divide f(w)?
True
Let w(z) = z**2 + 4*z - 30. Let t be (-66)/(-24) - 3 - 150/8. Does 17 divide w(t)?
True
Let l be 4/16*2*4. Suppose 5*x - 14 = l*h + 3, 3*x - 4*h + 1 = 0. Suppose 4*b - 234 = 2*s, 0 = x*s + 5 - 0. Is 17 a factor of b?
False
Let u be -14*(-5)/(-30)*-3. Let w(r) = 2*r**3 - 14*r**2 + 24*r - 8. Is 8 a factor of w(u)?
True
Let c(x) = -x**2 + 8*x - 10. Let p be c(6). Suppose o = -2*m + 3077, -5*m - p*o = -5*o - 7676. Suppose 0 = -8*h + m + 311. Is h a multiple of 33?
True
Suppose 425*d = 420*d + 15. Let n(x) = 96*x - 18. Let y(v) = -32*v + 6. Let m(o) = 3*n(o) + 8*y(o). Is 9 a factor of m(d)?
True
Let i(l) = -l**2 - 5*l + 4. Let q be i(-5). Suppose 2*y + 8 = q*y. Suppose -2*s + 34 = -4*h, -2*h = -y*h + 2. Is 5 a factor of s?
False
Suppose 0 = 3*d - 2*z + 3, -7 + 25 = -3*d - 3*z. Suppose 22*b + 321 + 9 = 0. Is 6 a factor of b*(-7 - -1 - d)?
False
Suppose -66*u + 69*u - 66 = 0. Suppose -7*n + u*n - 1620 = 0. Does 10 divide n?
False
Suppose 13*f - 10514 = 7309. Does 24 divide f?
False
Let o(g) = 21*g - 37 + 63 + 73 - 24*g. Does 14 divide o(-23)?
True
Let o = 383 + -222. Suppose -143*c = -o*c + 3852. Is 15 a factor of c?
False
Let p be 213/(-142) + (-5)/(-2) + -1. Suppose p = -34*z + 9567 - 523. Does 14 divide z?
True
Suppose -7*f + 11*f - 144 = 0. Suppose -f*x + 31*x + 1680 = 0. Does 20 divide x?
False
Let x