iple of 26?
False
Let f = 1574 + -1050. Is 4 a factor of f?
True
Let x(t) = -2*t - 75. Let a(g) = -g - 25. Let v(p) = -11*a(p) + 4*x(p). Let c be v(8). Is 9*(-1 + 13 + c) a multiple of 30?
False
Suppose 0 = -2*w - 3*z + 24, 3*w - 58 = -w - z. Is 13 a factor of 243/5 + (-9)/w?
False
Let f = 2728 + -2522. Is f a multiple of 34?
False
Suppose -524 = -2*c - 4*p, -p + 251 = 6*c - 1332. Does 2 divide c?
True
Does 45 divide -50*(4/(-22) + (-1140)/264)?
True
Suppose -10 = -5*f, -5*f = -2*g - 0*f + 2. Suppose -g*c + 0 = -12. Suppose c*a = 2*v + 10, -5*a + 4*v + 0*v + 30 = 0. Is 9 a factor of a?
False
Suppose 85 = v - 5*t - 2025, -t + 4264 = 2*v. Does 10 divide v?
True
Suppose -5*r = 4*m - 3322, -3*r - 5*m = -6*r + 1971. Is r a multiple of 27?
False
Suppose 3*z + 47 = 5*m + 5*z, 0 = 4*z + 16. Suppose -3*g - 38 = -q - m, 4*g - 44 = -4*q. Does 7 divide q?
False
Is 102 a factor of (-61 - -66) + 2774/((-2)/(-2))?
False
Let d = -164 + 169. Suppose 5*h - 84 = h. Suppose -4*v - 5*x = -273, v + d*x = 36 + h. Is v a multiple of 18?
True
Let k be 1/((4/(-4))/(-1)) + 11. Let t = k - -74. Does 26 divide t?
False
Suppose 6*z = -0*z - 6. Does 12 divide 207/9 + 2 + z?
True
Let n = -507 - -791. Let j be n/4*2/(-2). Let p = 122 + j. Is p a multiple of 14?
False
Suppose -3*n - 261 = 123. Is (n/(-5))/((-6)/(-15)) a multiple of 16?
True
Suppose 700 = 95*s - 91*s. Does 25 divide s?
True
Suppose 3*o - 5*j - 5236 = 0, -26*j - 5244 = -3*o - 29*j. Is o a multiple of 28?
False
Suppose 0 = -67*x + 75*x - 696. Is x a multiple of 29?
True
Let h(r) = r**3 + r**2 - r + 1. Let b be (-4)/(-12) + (-6)/(-9). Let l(z) = -2*z**3 - 9*z**2 - z + 4. Let x(t) = b*l(t) + 3*h(t). Is 14 a factor of x(7)?
True
Let h be 1386/24 - (-1)/4. Let m = h + 35. Is 9 a factor of m?
False
Let z be 34/(-6) - 10/(-15). Let b(t) = t**3 + 7*t**2 + 3*t + 2. Let j be b(z). Let c = 55 - j. Does 18 divide c?
True
Let k(n) = n**3 - 6*n**2 - 6*n - 10. Let y be k(7). Is 45 a factor of 135*(y + 4/1)?
True
Let g(x) = -3*x**3 - 13 + 5*x**3 + 1 + 11*x - 18*x**2. Is g(9) a multiple of 11?
False
Suppose -5*n = -2*a + 903, -1657 = -3*a + n - 296. Does 3 divide a?
False
Suppose -2*w - 8360 = -12*w. Does 19 divide w?
True
Let t be 27/(-36) - 2166/(-8). Suppose 3*f - 28 = 4*a + 99, 0 = -5*f - 5*a + t. Let z = -18 + f. Is z a multiple of 27?
False
Suppose 4161 = 3*g - 5*m, -3*m = 5*g - 9253 + 2318. Does 19 divide g?
True
Let p(i) = 2*i**2 + 3*i - 7. Suppose -2*s - 12 = -n + 5*n, -5*s + 2*n = 18. Let q be s/(-10) - 65/(-25). Is 10 a factor of p(q)?
True
Suppose -12*n = -326 - 538. Does 8 divide n?
True
Let k = 822 - 470. Does 8 divide k?
True
Suppose 6*p - 874 = 56. Is 17 a factor of p?
False
Suppose -4*f = -f + 105. Let u = f - -154. Does 17 divide u?
True
Let z be 224/(-9) - (-3)/(-27). Let v = 23 + z. Is 26 a factor of -3 + (36 + 1 - v)?
False
Suppose -66 = -4*x + g + 819, 2*x = 5*g + 465. Is 21 a factor of x?
False
Suppose -4*v + t = -t - 16, 0 = 3*v - 3*t - 15. Suppose v*w - 58 = 5*w. Let y = -14 - w. Does 3 divide y?
True
Suppose 7*x = 300 - 55. Is 33 a factor of x?
False
Let t = 781 + -717. Is t a multiple of 13?
False
Let m(t) = 8*t - 6. Let h be m(3). Let s = 22 + h. Is s a multiple of 4?
True
Let p(i) be the second derivative of -i**5/10 - 5*i**4/3 - 5*i**3/6 - 13*i**2/2 - 28*i. Is 6 a factor of p(-10)?
False
Let y(w) = -20*w**3 - 3*w - 12. Is 14 a factor of y(-2)?
True
Let y be -5*(-2 - 6/(-5)). Suppose 4*z + 2*i = -149 + 41, 0 = 3*z + y*i + 81. Let h = z - -41. Does 14 divide h?
True
Suppose -4*z + 5*m = 1291, 325 = 2*z - 3*z - m. Does 15 divide z/(-24)*8/6?
False
Let w(k) = 8*k**2 - 9*k + 19. Is w(11) a multiple of 24?
True
Suppose 6*r - 11*r + 3862 = 2*l, 0 = -l + 3*r + 1953. Does 27 divide 2/(18/l) + (-8)/(-24)?
True
Suppose -2*d + 5*l = -405, 0 = 5*d - 0*l + l - 972. Suppose 5*k + f + 4*f - 185 = 0, 3*f - d = -5*k. Is k a multiple of 7?
True
Suppose -137 = 5*u - 1372. Does 19 divide u?
True
Is 23 a factor of -228*-69*(-9)/(-54)?
True
Suppose c - 43 = 2*w - 7*w, 3*c = 2*w - 7. Let h = 36 - w. Does 13 divide h - (-2 + 1 + 3)?
True
Suppose 0 = -17*m + 12*m + 380. Suppose 5*w - 12 = -3*q + m, -q - 4*w = -20. Does 6 divide q?
True
Let j = 20 + -18. Suppose 2*v - j*n + 4 = -8, -5*v - n - 6 = 0. Is v/5 + 362/5 a multiple of 12?
True
Let t(j) = -j**3 - 3*j**2 - 5*j - 3. Let b be t(-5). Let u be 16/b + (-2)/9. Suppose 4*z - 3*i - 151 = u, z + i + 3 = 39. Does 16 divide z?
False
Suppose 13883 + 1285 = 6*c. Is 77 a factor of c?
False
Let q(z) = 2*z**2 - 4*z + 2. Let c be q(2). Let g(i) = 1 - 14*i + 2 - i**c + 6*i. Does 5 divide g(-7)?
True
Suppose 0 = -u + 4*m + 135 - 529, -u - 439 = 5*m. Let r = -148 - u. Is 15 a factor of r?
False
Let d = -96 - -95. Is 11 a factor of ((d - 0) + -10)/((-12)/156)?
True
Does 6 divide ((4 - 9) + 4)*(3 - 387)?
True
Let u(q) = 4*q + 148. Does 25 divide u(-12)?
True
Suppose -x = x - 30. Suppose -15 = 4*d - 3*a, 6*d - 3*d + 3*a = x. Suppose d = 5*u + 2*u - 196. Is 7 a factor of u?
True
Let d be 1 + -4 - (-2 - 9). Let h(w) = -w**2 - 4. Let g(m) = -5*m**2 - m - 21. Let p(x) = 2*g(x) - 11*h(x). Does 13 divide p(d)?
False
Suppose -625 = -3*p - 100. Suppose -2*g + p = 5. Does 18 divide g?
False
Let l(d) be the third derivative of -d**6/60 - d**5/60 - d**4/24 + d**3/3 + 7*d**2 + d. Is l(-5) a multiple of 8?
True
Suppose -3*c = 3*r - 450, 2*r = -6*c + 7*c + 309. Is r a multiple of 17?
True
Suppose 0 = -2*q + 271 - 25. Is q a multiple of 9?
False
Let m = 127 - -178. Is 42 a factor of m?
False
Suppose 7*a - 12*a = 25, 5*r = 5*a + 2245. Suppose w - r = -v, 0*v - 436 = -v - 5*w. Does 46 divide v?
False
Let j be (-2)/(-8) + (-1764)/(-48). Is 30 a factor of 18/((-3 - j/40) + 4)?
True
Let i be 0*((-18)/4)/(-9). Is (i - -15)*102/10 a multiple of 32?
False
Let j = 14 + -11. Let b be 1 - (j + 5/(-1)). Let m(y) = 3*y**3 - 3*y**2 - 4*y. Is 17 a factor of m(b)?
False
Let d(n) = n**2 - 2*n + 2. Suppose -3*k = k - 8. Let s be d(k). Suppose -s*b - 40 = -4*b. Does 8 divide b?
False
Suppose 3*p - 2*z + z - 17 = 0, 0 = 3*z - 12. Let u(c) = -c**3 + 7*c**2 + 6*c - 3. Let h be u(p). Suppose 31 = 5*j - h. Is j a multiple of 4?
False
Suppose 4*y = -4*r + 160, -4*r + 119 = -2*y - 41. Is r a multiple of 10?
True
Let h(q) = -92*q - 11 + 2*q**2 - q**2 + 99*q. Does 6 divide h(4)?
False
Suppose 0 = -215*l + 221*l - 288. Is 2 a factor of l?
True
Let k(h) = -14*h + 8. Let x be k(-7). Let v be (-30 - -1) + 0/(0 + -2). Let l = v + x. Is l a multiple of 21?
False
Is 22 a factor of (-14)/(-21)*(-2868)/(-8)?
False
Suppose -3*n - 18 = 2*m + 26, 65 = -5*n + 5*m. Let v be ((-2)/2)/((-5 - -7)/(-64)). Let l = v + n. Is l a multiple of 6?
True
Suppose 13*h = 2*k + 10*h - 2989, -k + 1478 = 4*h. Is 58 a factor of k?
False
Suppose -10 = -5*x - 0*x. Let h(f) = 7*f**3 - 2*f - 3. Is h(x) a multiple of 34?
False
Let n = 2 + 0. Suppose n*x + x = 147. Suppose -4*z = -d - 131, -3*d = -2*z - 8*d + x. Is z a multiple of 16?
True
Suppose 5 = 3*r - 7, 3*l + 4*r = 22. Suppose 2*z = 2*n + 110 - 32, 5*n + 63 = l*z. Does 11 divide z?
True
Let n(m) = m**3 - 8*m**2 - 22*m - 17. Is n(12) a multiple of 3?
False
Let x(y) = y**3 + 27*y**2 - 37*y - 120. Is x(-28) a multiple of 33?
True
Let a(k) = k + 39. Let m(f) = -f - 116. Let y(r) = -8*a(r) - 3*m(r). Does 16 divide y(-13)?
False
Suppose 0 = -13*m - 39 - 0. Is 10 a factor of (m + 1 - -10) + 2?
True
Suppose -9*z = -13*z + 232. Suppose -3*g + 2*g + z = -2*a, 0 = 3*a + 4*g + 109. Is (a/2)/((-4)/8) a multiple of 8?
False
Suppose -f - 15 = -4*f. Suppose -f - 5 = -2*m. Suppose 400 = -4*y + 8*y + 4*b, -308 = -3*y + m*b. Is y a multiple of 28?
False
Suppose 6*q + 10 = 11*q. Suppose -q*n = 5 - 1. Is 20 a factor of n/11 + (-2210)/(-55)?
True
Suppose -80 = -3*m + 2*q - 4*q, 0 = -5*m + 4*q + 148. Is m a multiple of 2?
True
Let l(i) = i**2 + 32*i + 162. Is 27 a factor of l(-37)?
False
Let n(j) be the third derivative of -j**6/30 - j**5/20 + j**4/12 + 2*j**3/3 - 6*j**2. Let r be n(-3). Let w = r + -33. Is 25 a factor of w?
False
Let l(j) = 82*j + 273. Is l(-3) a multiple of 27?
True
Let p = -459 - -699. Is p a multiple of 24?
True
Suppose -1452 = -123*s + 117*s. Does 26 divide s?
False
Let y(a) = a**3 - 7*a**2 - 4*a - 8. Let t be y(9). Suppose 3*n - 141 = -2*j, t = 3*j + 3*n - 101. Is 9 a factor of j?
False
Let j(q) be the secon