125, -5*u + 5*n - 125 = 0. Let l be 225/u - (-2)/4. Does 15 divide ((-2)/(-4))/(l/(-1050))?
True
Let q = 400 + 306. Is 15 a factor of q?
False
Let c = -138 + 97. Let r = c + 81. Let k = r + -23. Is k a multiple of 6?
False
Suppose -3*k - 640 = -5*n, -2*n = n - 5*k - 368. Suppose 2*a + 5*r = 4*r + n, -3*a - 2*r + 196 = 0. Is a + 0/(-3) - 4 a multiple of 27?
False
Suppose q + 105 = 5*w - 4*q, 3*w - 59 = 4*q. Let m = w - 3. Does 19 divide m?
False
Let v(n) = -n**2 - 53*n - 319. Does 29 divide v(-22)?
False
Let x be (-1 - -3)*-1 + -38. Let d = x + 124. Is 21 a factor of d?
True
Suppose 18*b + 29602 = 59*b. Is 33 a factor of b?
False
Suppose 5*b - 20 = 0, 3*b - 182 = c - 528. Suppose 6*p - c = -22. Is p a multiple of 11?
False
Suppose -30 = h + 2*h. Let n = -5 - h. Does 22 divide (0 - -2)/(n/110)?
True
Let m(k) = 2*k**3 - k - 1. Let h be m(2). Let y = 40 - h. Suppose 2*u + u = y. Does 3 divide u?
True
Suppose -5*c = 3*z - 91 - 53, -5*c + 154 = -2*z. Is 4 a factor of c?
False
Let g(b) = -2*b**3 + 4*b**2 - 2 + 0*b**3 + 3*b**3 - 5*b + 6*b. Let r be g(-3). Suppose 0 = i - 3*x - 28, -r*x = -0*x + 16. Is i a multiple of 11?
False
Suppose 220*j = 208*j + 7464. Is j a multiple of 8?
False
Let x(f) = f - 16. Let h(n) = n. Let p(z) = -3*h(z) - x(z). Let o = 22 - 38. Is 26 a factor of p(o)?
False
Does 6 divide 20720/64 + 1/4?
True
Does 32 divide -12*((-64)/(-6))/(-2)?
True
Let x(d) = -2*d - 16. Let t be x(-8). Suppose -7*f + 207 + 465 = t. Is 16 a factor of f?
True
Suppose 4*d = 2*d - 8. Let c be 429/(-7) + d/(-14). Let q = c - -101. Is 10 a factor of q?
True
Does 46 divide (3 + -969)*(-6 - (-25)/5)?
True
Suppose -8*i - 16 = -4*i. Let v(t) = t**3 + 4*t**2 - 6*t - 2. Let s be v(i). Is 2 - 11/(s/(-40)) a multiple of 11?
True
Let a be 690/54 + (-2)/(-9). Suppose 11*d - 1 - 21 = 0. Suppose -u - a = -d*u. Is 3 a factor of u?
False
Suppose -2*r - 3*d = -37, 3*r = 6*r + 5*d - 56. Let h(y) = -y + 11. Let o be h(9). Suppose r = w - o*z, -141 = -5*w + 4*z - 8*z. Is 14 a factor of w?
False
Suppose -5*s = -8 - 12. Suppose -2*b = -s*n + 164, 0 = -2*n + 7*n + b - 212. Is 42 a factor of n?
True
Suppose 5*z - 588 = -1618. Let h be (1 - -2) + 1 - z. Is 5 a factor of h/25*5/2?
False
Let z(a) = 2*a**2 - 4*a - 18. Let s(l) = 5*l - 3. Let p be s(3). Does 17 divide z(p)?
False
Suppose -50 = -w - 4*w. Suppose -m = 11 + w. Is (1 + -4)/(1/m) a multiple of 21?
True
Suppose -12*h + 240 = 3*h. Is 36 a factor of (-2)/(h/78 + 10/(-45))?
False
Is 6 a factor of ((-1)/(-2))/((-11)/(-5808))?
True
Does 7 divide (-256)/(-1) - (-4)/(4/5)?
False
Suppose 0 = 6*p - 5*p - 11. Let v = 21 - p. Is 6/v + 522/30 a multiple of 9?
True
Let a(c) = 402*c**2 + c + 2. Is a(-1) a multiple of 10?
False
Is ((-15)/10 - 0)*7864/(-12) a multiple of 50?
False
Let s be 2*(-5)/30*-24. Is 10/(s/7 + -1) a multiple of 10?
True
Let q(s) be the third derivative of s**4/8 + s**3/6 - 8*s**2. Is 3 a factor of q(3)?
False
Suppose 31*f - 900 = 29*f. Suppose -9*o + f = -6*o. Is o a multiple of 30?
True
Suppose 2*d - 123 = 2*z + 9, -2*d + 3*z + 128 = 0. Is d a multiple of 34?
False
Let a = -385 + 794. Does 7 divide a?
False
Suppose -4*d + 6*d - 36 = -2*r, 2*d = -4*r + 44. Is 7 a factor of d?
True
Suppose 7*f - 2*f - 4*r = 14040, 3*f = -2*r + 8424. Is f a multiple of 108?
True
Let p(g) = g**3 - 15*g**2 + 14*g + 4. Let q be p(14). Suppose 4*u = q + 60. Is 8 a factor of u?
True
Suppose 0 = -5*z + 5*s + 12100, 165*s = -4*z + 167*s + 9682. Is 64 a factor of z?
False
Let t(k) = -k**3 + 11*k**2 - 5. Let v be t(11). Let z be (v - -1)/(-4 + 3). Suppose -z*b + 5*b - 31 = 0. Does 6 divide b?
False
Let r = -116 + 83. Let k = r + 69. Is 4 a factor of k?
True
Let n be -1*(1*4)/(-2). Let h be (-570)/(-10) + (2 - 5). Suppose 4*a = y - h, -n*y + 104 + 4 = -2*a. Is y a multiple of 16?
False
Suppose l = -3*l + 284. Let g = l + -44. Is g a multiple of 16?
False
Let o be (6/2)/(21/18 + -1). Suppose -2*k + 26 = -o. Is 22 a factor of k?
True
Let i be 4/((-45)/48 - -1). Suppose 2*f + 5*m - i - 15 = 0, -2*f + 99 = m. Does 26 divide f?
True
Let i(a) = 7*a**2. Let z be i(-1). Suppose -8*q = -z*q. Is 2 a factor of 4 - 0 - (0 + q)?
True
Let k = -790 - -1258. Let v be k/3*1/(-2). Let h = v - -110. Does 16 divide h?
True
Let h = -371 - -1074. Is 19 a factor of h?
True
Let t = 466 - 143. Does 17 divide t?
True
Suppose 10*d - 151 = 239. Is d a multiple of 26?
False
Suppose -4*c + 7 = -g, -3*c = g - 6*g - 1. Let i(j) = -j**2 - j - 1. Let h(o) = 2*o**2 - 5*o + 10. Let z(b) = g*h(b) + 3*i(b). Does 2 divide z(-8)?
False
Suppose -3136 - 7544 = -40*d. Is 2 a factor of d?
False
Let s(a) be the second derivative of a**4/12 + 19*a**3/6 + 9*a**2 + 10*a. Is 13 a factor of s(-22)?
False
Let m(h) = -65*h + 150. Is 25 a factor of m(-15)?
True
Let f(n) = n**3 + 12*n**2 + 12*n - 6. Let g be f(-10). Suppose -2*b + g = -b. Is 10 a factor of b?
False
Let b(x) = 17*x + 20. Let v be b(9). Suppose 5*n - 2*j = v, -5*n + 177 = -j - 2*j. Does 10 divide n?
False
Let p = 256 + -180. Let y = -32 + p. Let u = 79 - y. Is 11 a factor of u?
False
Suppose -32*t - 10952 = -40*t. Does 16 divide t?
False
Suppose 31*b = 29*b + 312. Does 6 divide b?
True
Let y be -133 + 2 - 4/(4/3). Let u = -2 - y. Does 8 divide u?
False
Suppose 4*g + 48 - 18 = 2*d, -2*d + 40 = -5*g. Is 50/(-125) + 1 + (-1074)/g a multiple of 22?
False
Let y be 80/12*(-3)/(-1). Suppose 3*k = -2*v + v + y, k - 5 = 0. Suppose 0 = 3*q + q - p - 115, 4*q + v*p = 121. Is q a multiple of 9?
False
Let h(q) = 389*q + 517. Does 20 divide h(7)?
True
Does 7 divide 17 - (-43547)/63 - (-2)/(-9)?
False
Let n(f) be the third derivative of f**4/2 + f**3/6 + 29*f**2. Is 14 a factor of n(2)?
False
Is 23 a factor of (17 + (-2585)/10)*(-22)/3?
True
Suppose 2*k - 1 = 5*a + 21, -17 = -k + 4*a. Let d(l) = 28*l**3 - 2*l**2 + 2*l - 1. Is 9 a factor of d(k)?
True
Suppose -19*f = -21*f + 4. Suppose -3*c = -f*y - y + 93, 0 = 4*y + 5*c - 115. Does 10 divide y?
True
Let a(o) = o + 71. Let y be a(-17). Suppose 5*f - y = 696. Is f a multiple of 15?
True
Suppose -u + 3*u - 30 = y, 5*y + 45 = 3*u. Let x(l) = -l**3 + 15*l**2 + 7*l - 4. Is 26 a factor of x(u)?
False
Let g(r) = 6*r - 10. Let z be g(-9). Let n be z/(-12) - (-2)/3. Suppose -x = -3 - n. Is 7 a factor of x?
False
Suppose -7 = -q + 13. Let u be 10/q - (-310)/(-4). Let s = u - -126. Does 21 divide s?
False
Let g(h) = -6*h - 6. Let k(f) = -f + 1. Let u(c) = g(c) + 4*k(c). Let i be u(-5). Suppose 4*z = 2*p - 108, -4*p + 282 = -2*z + i. Is 30 a factor of p?
True
Let h(j) = -188*j - 47. Is h(-5) a multiple of 11?
False
Suppose -15 = -5*g + n - 2*n, g + 3*n + 11 = 0. Suppose -m = -4*l + 11 + 3, g*m - 7 = -5*l. Suppose -l*t - i + 38 = -0*t, 0 = -t - 3*i + 10. Does 8 divide t?
False
Let l be ((-15)/(-45))/(1/(-3)). Let a be 21*(-4)/4*l. Suppose a = 4*c - 3*c. Is c a multiple of 7?
True
Suppose 7*r - 6*r = 2. Let p(i) = 32*i**2 - 3*i + 3. Let g be p(r). Suppose 24 - g = -w. Is w a multiple of 37?
False
Let t = 46 - 26. Suppose -j - t = -5*o, 0 = 3*j + 2*j + 3*o - 12. Suppose -5*f + j*f = -135. Is f a multiple of 7?
False
Suppose -3*b - 36 = 48. Let n = 97 + b. Let t = 100 - n. Does 14 divide t?
False
Suppose -3*w + 3141 = 5*i, -2*w - 965 = -4*i + 1561. Does 9 divide i?
True
Let h be ((-72)/(-14))/(-3)*7. Let t(u) = -3*u. Let w be t(1). Is (-800)/h - 1/w a multiple of 22?
False
Let w(s) = -s**2 + 43*s - 238. Is w(34) a multiple of 48?
False
Let y = 115 - 30. Suppose 179 + y = 3*v. Is v a multiple of 8?
True
Suppose 3*f - 2*s - 1720 = 0, 0 = -f + 3*s + 530 + 55. Does 15 divide f?
True
Let m be (-16)/(-88) - 26/22. Let a(c) = -10. Let t(s) = -s - 1. Let k(n) = m*t(n) - a(n). Is k(5) a multiple of 6?
False
Let v be (-12 - -17) + (-4)/1. Is ((-608)/(-4) + -5)*v a multiple of 19?
False
Let c = 281 + -76. Does 5 divide c?
True
Suppose 0*n + 5*r + 1845 = 5*n, -r - 1111 = -3*n. Is n a multiple of 23?
False
Let l(w) = -w**2 - 18*w + 2. Let g be l(-18). Let v be -3 + 0 + -15 + g. Let q = v + 27. Is 3 a factor of q?
False
Suppose -2158 = -2*n - 2*g, -n + 1307 = -4*g + 243. Is n a multiple of 54?
False
Let t(o) = o**2 + 8*o + 5. Let y be t(-7). Let a = 39 + y. Let h = a + -19. Is h a multiple of 5?
False
Let c(o) = -13*o**2 + 11 + 30*o**2 + 15*o**2 + 10*o - 3*o. Does 35 divide c(-3)?
False
Suppose 525 = 4*t + 3*l, 0 = -3*t -