- 2) + 4834)/(-8 + 10) a multiple of 13?
False
Suppose -4 = -2*d + 12. Suppose 6 = 2*c - d. Suppose 0*w - 196 = -c*w. Is w a multiple of 11?
False
Let h = -223 + 347. Is h a multiple of 5?
False
Suppose -454 = -7*a + 295. Is a even?
False
Suppose 0 = 51*b - 53*b + 1132. Does 30 divide b?
False
Let a(g) = -g**2 - 6*g - 6. Let t be a(-4). Suppose -7 = -2*v - l + 8, -3*l - 45 = -4*v. Suppose -4*p + 4*h = -96, -t*h + v - 1 = 0. Is p a multiple of 28?
True
Let u(q) = 4*q + 17. Let w be u(-5). Let t(f) = -8*f - 16. Does 8 divide t(w)?
True
Let w be (-1)/((-1)/(-2)*-1). Suppose 603*d + 80 = 604*d. Suppose 10*y = w*v + 5*y - d, 136 = 4*v - 4*y. Does 15 divide v?
True
Suppose 0 = 18*o - 1067 - 2911. Does 17 divide o?
True
Suppose 32*q - 12784 = 12656. Is 48 a factor of q?
False
Let z(v) = -105*v - 77. Is 17 a factor of z(-10)?
False
Suppose -2421 + 275 = -2*w + 2*o, 5*o + 1073 = w. Is w a multiple of 29?
True
Suppose 0 = -51*j + 8457 + 19185. Is j a multiple of 6?
False
Suppose 5*v - 1255 = 4*z, -4*z = 2*v - 0*v + 1290. Is (-3*z/12)/1 a multiple of 16?
True
Suppose -8*c + 5*c = -153. Does 17 divide c?
True
Suppose -22*s - 4*q = -25*s + 895, -4*s - q = -1225. Does 19 divide s?
False
Does 24 divide (-6318)/(-135) - 4/(-20)?
False
Let b be 1*4/(-4)*34. Is 13 a factor of (b/(-10) + -3)*40?
False
Let v(f) = -4*f - 30. Let k(l) = 3*l - 2. Let s be k(-4). Let q be v(s). Suppose g - 101 = -q. Is g a multiple of 25?
True
Suppose -z = -3*i - 5 - 7, 4*i = z - 11. Let y be 0/(-2 + 1 - 1). Suppose -o + y = -z. Does 15 divide o?
True
Suppose -b - 28 = -i, 2*i + 5*b - 25 = 66. Is i a multiple of 4?
False
Suppose -d = -0*d + 2*a - 1128, 2*d - 2250 = -a. Is 4 a factor of d?
True
Let c(s) = -181*s + 1305. Is c(0) a multiple of 68?
False
Let g = 715 - 3. Is 9 a factor of g?
False
Let o = -310 + 351. Is 41 a factor of o?
True
Suppose 7*r - 2*r + 3315 = 5*g, -2622 = -4*g - 2*r. Is g a multiple of 47?
True
Let u = 44 + 67. Suppose -3*l + 21 + u = 0. Is 5 a factor of l?
False
Let z be (323/(-76))/((-2)/8). Suppose 19*c - 116 = z*c. Is c a multiple of 20?
False
Suppose -2*v + 36 = -80. Let h = 73 - v. Does 5 divide h?
True
Suppose g - 222 = 5*m, -639 = -4*g + 5*m + 189. Suppose g = 5*c - 333. Is c a multiple of 15?
False
Suppose -118 = 5*c - 7*c. Suppose -10*q = -6*q - 488. Let x = q - c. Is 21 a factor of x?
True
Let a = -219 + 336. Is a a multiple of 30?
False
Suppose -3*o + 5*o + 5*d + 362 = 0, -362 = 2*o - d. Let t = 257 + o. Does 19 divide t?
True
Suppose -w + 928 = -5*p - 586, -4*p + 7512 = 5*w. Is w a multiple of 11?
False
Let t(i) = -i**3 - 8*i**2 - 5*i - 6. Does 30 divide t(-9)?
True
Does 18 divide (5 + (-3143)/28)*-24?
True
Let k be (10/15)/(5/30). Suppose -4*c - 9 = -c. Does 12 divide -27*(c + k/12)?
True
Suppose 2*j - 2*a + 136 = -0*a, 0 = -2*a + 4. Let w = j + 84. Is w a multiple of 3?
True
Let f = -70 + 336. Is 26 a factor of f?
False
Suppose 0 = 2*b - 12 - 0. Suppose -m = -b*m - 100. Does 11 divide 10/3*(-168)/m?
False
Let u be (30/(-20))/(6/(-8)). Suppose -u*g - 3*x + 37 = 0, -3*g + 0*x + 56 = 4*x. Is 3 a factor of g?
False
Let y(z) be the first derivative of 28*z**3/3 + 3*z**2/2 - z + 39. Is 11 a factor of y(2)?
False
Suppose 4*l + 6 = -2*j + 9*l, 3*l - 2 = 2*j. Suppose -j*w - 1 = -19. Is 11 a factor of (12/w)/(4/66)?
True
Suppose -13 = 2*i - 0*c + 3*c, 8 = -i - 3*c. Let w = i - 3. Let u(h) = -h**2 - 13*h - 11. Is 17 a factor of u(w)?
False
Let x = -44 - -16. Let k = -25 - x. Let q(p) = 3*p**3 - 4*p**2 + 3*p + 2. Does 18 divide q(k)?
False
Let j(d) = -d - 8 - 3*d**2 + d**3 - 10*d + d**3 - d**3. Does 17 divide j(6)?
True
Let i = -83 + 85. Is 14 a factor of (-1)/((i/(-24))/(98/21))?
True
Is (-3002)/(-6) - (-1)/(-3) a multiple of 25?
True
Let x(k) = -202*k + 33. Is x(-5) a multiple of 44?
False
Suppose 93 = -5*p - 7. Let w = p - -10. Is 14 a factor of 9/45 - 178/w?
False
Suppose 41*z + 730 = 52390. Does 28 divide z?
True
Let s(l) be the second derivative of -l**6/240 - 13*l**5/120 + l**4/3 - 3*l. Let q(t) be the third derivative of s(t). Is q(-6) a multiple of 2?
False
Suppose 8*m = 8142 + 13530. Is m a multiple of 63?
True
Let v = 266 - 63. Does 7 divide v?
True
Is 2/8 + 660/240 a multiple of 2?
False
Let f = 294 - 240. Does 3 divide f?
True
Let s = 543 + -330. Suppose -18 = 5*g - s. Is 13 a factor of g?
True
Let k = -187 - -360. Is k a multiple of 15?
False
Suppose 0 = 59*m - 69*m + 5110. Is 73 a factor of m?
True
Suppose -2*i + 0*k + 84 = -2*k, -4*i + 150 = 5*k. Let v = -1 + 4. Is 2/v + i/3 a multiple of 14?
True
Suppose 0 = 5*x - 124 - 1. Does 2 divide x?
False
Let a = 59 + -58. Does 34 divide (-5 - -6) + 146*a?
False
Let y(n) = n**3 - 4*n**2 - 5*n - 1. Let j be y(5). Let r be (j - -4)/((-2)/(-2)). Suppose 0 = r*s - 0*s - 5*m - 111, 4*m + 198 = 5*s. Is 9 a factor of s?
False
Suppose 21*h = -8*h + 2030. Is 11 a factor of h?
False
Is 34 a factor of 3*-1 - (-2052)/(-8)*-2?
True
Let x(g) = 8*g - 1. Let q(f) be the second derivative of 2*f**3/3 - 5*f. Let b(d) = 7*q(d) - 3*x(d). Is b(4) a multiple of 19?
True
Let y be -3 - (-2 + (-35)/(-5)). Is 30 a factor of -94*(20/y + 2)?
False
Suppose 26 = 4*i + 6, 2713 = 4*v + 5*i. Does 16 divide v?
True
Let f(z) = -z**3 + 3*z**2 + 31*z - 6. Does 66 divide f(-6)?
True
Suppose 2*w - 4*w - 6 = -3*x, -4*x + 8 = -4*w. Is 18 a factor of (664/(-8))/((-2)/x)?
False
Let z = 81 + 59. Is 7 a factor of z?
True
Suppose -3*r = 5*w - 844 - 527, -4*w + r = -1090. Is 23 a factor of w?
False
Let i = 3002 - 1821. Is i a multiple of 7?
False
Let c = -1116 + 1149. Is 8 a factor of c?
False
Let d(w) = 115*w + 69. Does 23 divide d(8)?
True
Let b(j) = 1530*j - 110. Is 29 a factor of b(2)?
False
Suppose 16*i - 95449 = -35609. Is i a multiple of 34?
True
Let t = -106 - -85. Is 7 a factor of t*(-2)/(-4)*(2 + -4)?
True
Suppose -2 = -2*c + q - 0, 3*c - 3*q + 3 = 0. Let b(j) = 3*j. Let g be b(1). Suppose 0 = -g*w - 3, -66 = -c*o - w + 185. Does 28 divide o?
True
Suppose 3*m = -5*x + 7016, -8*x = -10*x - 2*m + 2804. Is x a multiple of 122?
False
Suppose -3*a - 351 = -3*v, 2*a - 122 = -v - 2*a. Suppose -2*l = -4*p + 2*p + v, 5*p - 3*l - 291 = 0. Is p a multiple of 33?
False
Let m be ((-15)/10)/((-6)/(-16)). Let b(f) = f**2 - 7*f + 1. Is 15 a factor of b(m)?
True
Suppose 0 = r - 6*u + 7*u - 78, 0 = -5*r + 3*u + 358. Suppose 5*o + n + 224 = 0, -212 = o + 4*o - 2*n. Let x = r + o. Is 15 a factor of x?
True
Let b = 58 - 55. Suppose -3*g = -12, -b*j + g + 391 = 2*j. Does 20 divide j?
False
Let c = -25 + -16. Does 11 divide (-6)/((-144)/(-30))*(c - -1)?
False
Let k(a) = 2*a**2 + 13*a - 17. Suppose v - 3*x - x = -14, -3*v - 2*x = 28. Does 11 divide k(v)?
False
Suppose 7*u - 900 = -3*u. Is u a multiple of 61?
False
Suppose -4*s - 2*k = -6, 4*k - 2*k - 6 = 3*s. Suppose -6*l + 43 + 221 = s. Does 20 divide l?
False
Let p be 6/10*4*(-30)/(-9). Suppose 0 = -5*w + 5*v + 1205, -5*w = -p*v + 5*v - 1215. Does 41 divide w?
True
Let x(b) = -b**3 + 10*b**2 - 8*b - 10. Let v(h) = h**2 - h - 2. Let o be v(-4). Let y be 1/(-6) - (-147)/o. Does 15 divide x(y)?
False
Let q be (-44)/(-6) + (-2)/(-3). Suppose 4*w - 6*w - c - q = 0, c = -w - 2. Is 20 + w + 2 + -4 a multiple of 6?
True
Suppose 4*t - 8 = 12. Let z be 6/((-1)/14*-1). Suppose z + 6 = t*f. Is 6 a factor of f?
True
Suppose 10*p - 5 = 5*p. Does 4 divide (-34 - (1 - -2))*(p - 2)?
False
Let h = 35 - 33. Suppose -h*l - 128 = -2*q + 2*l, q + 5*l - 64 = 0. Is 16 a factor of q?
True
Let a(x) = -5*x - 1. Let q be a(-1). Suppose q*z - 380 = 120. Suppose 3*b - z = -50. Does 25 divide b?
True
Let s = 23 - 24. Is (-78)/4*(-3 - s) a multiple of 5?
False
Suppose -178*b + 836 = -176*b. Is b a multiple of 38?
True
Is 8 a factor of -2*1 - (4 - (-1 - -268))?
False
Let m = -17 - -22. Let v be (9/(2 - m))/(-1). Let x = v + 9. Does 4 divide x?
True
Suppose 3*u - 24 = -0*u. Let z = u - 14. Is (3/z)/((-1)/26) a multiple of 5?
False
Suppose 0 = -0*r - r - 6. Let d(x) be the third derivative of -x**4/8 + 4*x**3/3 - 2*x**2. Is 26 a factor of d(r)?
True
Is 57 a factor of (-2)/12 + -395*156/(-360)?
True
Suppose 3*s - 3*a - 3324 + 267 = 0, a + 3059 = 3*s. Is 85 a factor of s?
True
Let g = 349 - 97. Is g a multiple of 21?
True
Let i = -1853 + 4004. Suppose -411 = 6*x - i. Is 38 a factor of x?
False
Let r(x) be the second derivative of x**4/12 + 7