 199 = 4*r - x, 0 = u*r + 2*x - 37 - 215. Is r a multiple of 25?
True
Let n be -2 - ((-2 - -4) + -6). Suppose 8*p + n*p = 2800. Is p a multiple of 14?
True
Suppose -5*x = -14*x - 1908. Let t = 369 + x. Does 12 divide t?
False
Suppose 2*q = -p + 15, -3*p + 8*p = 15. Does 47 divide -1 + 3/6 - (-7827)/q?
False
Suppose -7*m = -3*m - 8. Let t(f) = 6 - 2 - 2*f - 5*f + 7*f**m. Does 18 divide t(5)?
True
Let p(b) = 85*b + 87*b + 138*b**3 - 167*b - 5 + 182*b**3. Does 39 divide p(1)?
False
Let a(t) = -2*t**2 + 31*t + 5. Suppose w = 3*w. Suppose -m - 6 + 19 = w. Does 22 divide a(m)?
False
Let d(b) = 2*b - 10*b + 34*b**2 + 13 - 24*b**2 - 24. Is d(-8) a multiple of 16?
False
Let l be 3/(-9)*(4 + 209). Let z = l - -87. Suppose 9*c - 8*c - z = 0. Is 4 a factor of c?
True
Is 45 a factor of 8/52*-13 - (-10256 + 3 + -5)?
False
Suppose -12*p - 747394 = -66*p - 40*p. Is 8 a factor of p?
False
Suppose -11*h + 8*h = -3. Is ((-3 - -1) + 4)*(6 - h) a multiple of 10?
True
Suppose 0 = -140*p + 3067593 - 538633. Does 68 divide p?
False
Let y(q) = -79*q**3 + 3*q + 2. Let r be y(-1). Suppose -7*g + 148 - r = 0. Is 4 a factor of g?
False
Suppose 11*o - 5115 - 7293 = 0. Let p be (-8)/(-20) + o/(-20). Is (-2)/(-6) + (-5)/15 - p a multiple of 28?
True
Let z = -54 - -59. Suppose 4*a = z*a - 3. Is 10 a factor of (20 + -6)*a/((-12)/(-34))?
False
Let n be (-72 + 78)*(0 + (-123)/(-2)). Let w = n - 325. Is 23 a factor of w?
False
Suppose 3*l - 771 = -2*i + 1001, -4*i + 3562 = -3*l. Is 9 a factor of i + 0 - (-224)/32?
False
Let w be 5/(-4)*(7 + -1807). Suppose 0 = -s + 2*s + 4*u - 450, -5*s + w = -2*u. Is s a multiple of 6?
True
Suppose -3*v = 12, -15*v + 6218 = 2*x - 11*v. Does 48 divide x?
False
Let n(d) = 25*d + d**2 - 16 + 9 + 13. Is n(8) a multiple of 10?
True
Let w = 11372 - 9770. Does 89 divide w?
True
Suppose 4*q - 84 = 5*k, 4*k = -3*q + 41 + 22. Let i = 65 - q. Suppose -w - 4*c + i = 0, 9 = -c - 2*c. Does 14 divide w?
True
Suppose -118*f = -11*f - 399859. Is f a multiple of 12?
False
Let s(c) = -2. Let u(n) = 2*n**2 - 5*n - 5. Let i(h) = 3*s(h) + u(h). Does 27 divide i(13)?
False
Suppose -2*n + 23*n - 18*n - 21483 = 0. Does 77 divide n?
True
Let k(l) = 3*l**2. Let b be k(1). Suppose 5*m + b*m - 3208 = 0. Suppose -5*i = -m - 409. Does 28 divide i?
False
Let r(m) = 4 - 16*m + 26 - 63 - 85. Does 13 divide r(-12)?
False
Let m = -1628 - -2322. Let f be 3 + (-1 - 6) + m. Suppose 12*u - f = 6*u. Is u a multiple of 22?
False
Suppose -166*j = 2589897 - 7125681. Does 132 divide j?
True
Let r = -1036 + -670. Is r*3/2*2/(-6) a multiple of 28?
False
Is (-4 + -5371 + 2)*1/(-3) even?
False
Suppose 0 = -33*f + 8*f + f. Suppose f = -13*t + 19*t - 774. Does 23 divide t?
False
Let v(t) = -t**3 + 4*t**2 - 15*t + 37. Let l be v(3). Is 7 a factor of (6 + -3)/(494/491 - l)?
False
Suppose -280*m + 299*m = 60648. Is 21 a factor of m?
True
Let o = 74 + -94. Let i be 4*(4/(-10) - 18/o). Suppose -i*z = 5*y - 520, -4*z - 798 = -7*z - 3*y. Is 18 a factor of z?
True
Let w(a) = 4*a**2 - 41*a - 2. Let x be w(12). Suppose 77*c + 80 = x*c. Does 4 divide c?
True
Let c(d) = 89*d + 6. Let m be c(-3). Let g be 1*(-6)/9*m/(-6). Let z = g - -51. Is 4 a factor of z?
False
Let y(i) = 32*i - 12. Let h be 3/(-2)*630/(-27). Suppose -4*m = m - 5*x - h, -7 = -5*m - 2*x. Does 13 divide y(m)?
False
Suppose 5*m + 14*m - 152 = 0. Suppose -m*l - 97 = -489. Does 8 divide l?
False
Let w be -2 - ((-96)/(-6))/(-4). Suppose -152 = -w*p + 520. Is p a multiple of 12?
True
Suppose -50*b - 1196424 = -266*b. Is 12 a factor of b?
False
Is 163 a factor of 14349 + 2 - (-7)/(-1)?
True
Suppose -30 = -8*v + 10. Suppose -4*c - 189 = -c - 4*m, -2*m + 315 = -v*c. Does 27 divide (-8428)/c + 8/36?
False
Let c = -60 + 65. Suppose c*v - 35 = -0*v. Let t(j) = j**3 - 5*j**2 + 11*j + 4. Is t(v) a multiple of 7?
False
Let i be (4 - 0)*(7/2)/(-1). Let f be 12/(-15)*(i/(-4) - 1). Is f/(-4) - 194/(-4) a multiple of 4?
False
Let x be (0 - (-10)/(-6)) + (-3)/9. Let n(p) = -5*p + 66. Let z be n(22). Does 30 divide -4 + x/1*z?
False
Let t = 13292 - 10641. Is 11 a factor of t?
True
Let n be 136/5*100/24*-6. Let t = -363 - n. Does 16 divide t?
False
Let j(s) = -2*s**3 + 19*s**2 - 10*s + 9. Let k be j(9). Suppose -9*f + 13*f - 5040 = k. Suppose -6*w = 3*w - f. Does 7 divide w?
True
Is (18/12)/(15/9020) a multiple of 41?
True
Suppose -d + 9 = 5. Suppose 10*l - 7*l - 466 = -2*h, d*h = -l + 142. Is l a multiple of 36?
False
Let o = 419 - -1274. Does 63 divide o?
False
Let r(i) = -i**2 + 2*i + 1. Let p(a) = 25*a - 4. Let z(f) = -p(f) - 3*r(f). Is z(-9) a multiple of 70?
False
Let a = -35 + 41. Suppose -h - a = -50. Suppose 2*g + h = 5*q - 0*g, 0 = 5*q + 5*g - 30. Is q even?
True
Let y(t) be the first derivative of 5*t**2 + 379*t + 80. Does 10 divide y(0)?
False
Let q(l) = 56*l. Suppose 10*r + 9 = 39. Let w be q(r). Suppose -7*c + 11*c = w. Is c a multiple of 6?
True
Suppose -5*l + 3*y = 18, -l + 3*y = 3 + 3. Let b = 13 - l. Does 12 divide b?
False
Let s = 74 - 71. Suppose 11*m = s*m + 304. Suppose -5*p + m + 72 = 0. Is 22 a factor of p?
True
Let f(i) = -2*i**3 - 23*i**2 - 12*i - 8. Let z be f(-11). Is 37 a factor of 4/6*(357 - z)?
False
Is 11 a factor of (7 - 3483/(-18))*30 + -8 + 1?
False
Suppose -2498*m + 2496*m + 1960 = 0. Is m a multiple of 14?
True
Let h(l) = -l**2 + 15*l - 10. Suppose -8*y + 13*y = 50. Suppose -y*d - 7 = -107. Does 20 divide h(d)?
True
Is 8 a factor of -16*((-78385)/122 + 0 + 0)?
True
Let h = 35 + -32. Suppose h*a - 9 - 6 = 0. Suppose 7*d - 72 = -a*d. Is d a multiple of 5?
False
Let x(y) = 37*y - 253. Let l(v) = 76*v - 507. Let r(s) = -6*l(s) + 11*x(s). Does 13 divide r(-4)?
True
Let o(m) = -2*m + 6. Let l be o(-3). Suppose 3400 = l*b - 2*b. Suppose 0 = -4*a - n + b, -5*n = 3*a + a - 340. Does 8 divide a?
False
Let y(i) = -i**3 + 35*i**2 + 123*i + 302. Is 14 a factor of y(38)?
True
Let i(r) = -r - 32*r - 9428 + 7*r + 9452 + 21*r**2 - r**3. Let q be i(10). Suppose 15*m - q = 3*m. Is m a multiple of 8?
True
Let c = 70 + -62. Suppose 79 = -3*b - x + c, 0 = -5*x - 10. Let m = b - -66. Is m a multiple of 8?
False
Let c(y) = -2*y**3 - 14*y + 5 + 9*y**2 + y**3 + y + 0*y. Let q be c(7). Suppose -q*p = -8*p - 180. Does 11 divide p?
False
Suppose -40 = 5*x + 5*s, 0*x + 3*s = 5*x. Let y be 76*(-4 + 100/16 + x). Let f = y - -191. Is f a multiple of 20?
False
Suppose -a - 5 = 4*y, -3*a - 5*y = -8*a. Let b be (a/2)/((-2)/348). Suppose 0*z + b = 5*z + 4*r, 0 = -4*z - r + 74. Is 19 a factor of z?
True
Suppose -6*b - 45 = -147. Let p = -17 + b. Suppose -4*s = 20, 3*y - 4*s + p*s = 191. Does 21 divide y?
False
Suppose k - 284 = -3*k + 4*f, k + 3*f = 63. Let h = 26 - k. Let v = h - -68. Is 11 a factor of v?
False
Suppose -w + 4*r = 125, 0 = -0*w + 3*w + 5*r + 307. Let l = w - -116. Suppose 4*q + 92 = z, 3*q = -3*z + l*q + 260. Does 10 divide z?
False
Let k = 89 - 71. Let q = -12 + k. Is 54 a factor of q/(8/((-4736)/(-12)))?
False
Suppose 3*s - 62 = 3*g - 4*g, g - 66 = -5*s. Let l(t) = -3*t**2 + 74*t + 43. Let p be l(17). Suppose g = -7*n + p. Does 27 divide n?
True
Let o = 939 + 2294. Is 18 a factor of o?
False
Suppose -4*q - 2*s = 670, 2*q + 3*s = -512 + 179. Let a = 363 + q. Does 39 divide a?
True
Suppose 0 = -0*n + 14*n - 70. Suppose -785 = -10*b + n*b. Does 4 divide b?
False
Suppose 7*c + 3 = 17. Suppose c = q - 0. Suppose 0 = -q*w + 15 + 15. Is w a multiple of 12?
False
Suppose 0 = -4*r - 5*n - 0*n + 27, 0 = 3*r + 3*n - 18. Suppose 2*s - 714 = -2*a, -6*a - r*s = -9*a + 1041. Is 13 a factor of a?
False
Suppose -8*l + 18*l = 850. Let i be 4/(-14) + (-2799)/(-21). Let y = i - l. Is 8 a factor of y?
True
Let l(y) = -5*y**3 + 8*y**2 - 62*y - 76. Is l(-10) a multiple of 4?
True
Suppose 2*z - 23648 = -3*z + 3*j, -4*z - 2*j + 18936 = 0. Does 14 divide z?
True
Let k be 26/2 - (-23 - -22). Let t(q) = 36*q - 322. Does 26 divide t(k)?
True
Let l = 29506 + -15271. Is 39 a factor of l?
True
Let h(z) be the first derivative of z**3 + 11*z**2/2 + z + 61. Let y = -18 + 12. Is 20 a factor of h(y)?
False
Suppose -q = 4*c - 0*q - 27, 35 = 5*c + q. Suppose c*n - 6*n - 246 = 0. Suppose -n + 75 = -4*b. Is 3 a factor of b?
True
Let c(m) = 4*m**2 + 22*m + 49. Let b be c(-4). Suppose -3*n = 12, b = k - 5*n - 18. Is k a multiple of 4?
False
Let r(t) = 41*t**2 - 194*t - 1619. Is 3