False
Let h(y) = y - 4. Suppose -8*f + 24 = -4*f. Let k be h(f). Suppose -k*v + 8*v = 270. Does 7 divide v?
False
Let p be (-6)/((-24)/(-5))*12/(-3). Suppose 3*c + 6*f = 4*f + 2332, p*c = -f + 3896. Is 52 a factor of c?
True
Let g(k) = -39*k - 120. Let p be g(-5). Does 23 divide p/200 + (-2021)/(-8)?
True
Let b = -357 - -357. Suppose 4*q + q = 2*u + 836, 5*q = -5*u + 850. Suppose q = 4*n + 5*x, -4*n + 2*x - 4*x + 156 = b. Is n a multiple of 14?
False
Let v(u) = -u**3 + 11*u**2 - 4*u + 11. Let d be v(11). Let l be 4/6 - 0 - (-418)/d. Is l*74*(1/(-6) - 0) a multiple of 15?
False
Let q(r) = r**3 - 3*r**2 + 4*r - 4. Let m be q(4). Suppose 3*j - 2 = -20. Let y = j + m. Is y a multiple of 9?
False
Let z(p) = 27*p**2 + 26*p - 280. Is z(7) a multiple of 7?
True
Is (34740/(-24) + -15)*2/(-1) a multiple of 65?
True
Let x(c) be the first derivative of 2*c**3/3 + 11*c**2/2 - c - 116. Let u(l) = l + 2. Let w be u(-8). Is x(w) a multiple of 5?
True
Suppose 36*c - 148676 = -8*c. Is c a multiple of 12?
False
Suppose 104*n - 2687 = 24977. Is n a multiple of 7?
True
Suppose -4*y + 3*d = -5852 - 1047, 8616 = 5*y + 4*d. Suppose 0 = 5*i - y + 419. Is i a multiple of 34?
False
Suppose -1429 = 8*r + 699. Let q = r - -572. Does 9 divide q?
True
Let y be (-56)/7*(-1 + 1 - 2). Suppose 0 = y*n + 10*n - 15808. Does 32 divide n?
True
Suppose -1263 = -7*m + 137. Let j = m + -67. Is 54 a factor of j?
False
Suppose 0 = 17*a - 10*a. Suppose a*c + 4*s = c - 12, -3*s = -2*c + 24. Suppose -404 - 280 = -c*m. Does 15 divide m?
False
Let o(k) = -k**3 - 4*k**2 + 4*k + 4. Let c be o(-5). Let w be 2/(-2) - 6/c*-9. Suppose -x - 2*u + 9 = -3, -w*x - 4*u = -60. Is x even?
True
Does 115 divide (-9 + 27 - 2) + 1560?
False
Let y be -2 - (99/(-9) - 4/(-1)). Does 11 divide 30 - ((9 - y) + -7)?
True
Let p(w) = 4273*w**3 + w**2 - 1. Is 21 a factor of p(1)?
False
Suppose 10*z - 34 - 6 = 0. Suppose z*x - 986 = 1362. Is x a multiple of 41?
False
Let t be 8/(32/2574) - 3/6. Suppose -2*n + t = -337. Is 12 a factor of n?
False
Let f = 740 + -423. Let i = f - 199. Does 11 divide i?
False
Suppose -3*i + 0*i - w = -175, -i + 5*w + 85 = 0. Suppose l = n - i, 288 = 5*n - l + 8. Suppose 2*x - n = 13. Is 9 a factor of x?
False
Suppose -3*t + 8007 = 7*h + 1248, 5*h - 4828 = -2*t. Is h a multiple of 138?
True
Suppose 5*c + 3*l - 6195 = 0, -843*c + 847*c = 5*l + 4993. Does 23 divide c?
True
Suppose 45221 - 25610 + 1053699 = 133*d. Is 10 a factor of d?
True
Let t(n) be the third derivative of n**6/120 + n**5/60 - n**4/24 + 4*n**3 + n**2. Let b be t(0). Is 16 a factor of ((-178)/(-3))/(16/b)?
False
Suppose -c - 5445 = -4*k, k - 1812 = c - 447. Is k even?
True
Let d(b) be the second derivative of b**5/20 - b**4/2 + 2*b**3/3 + 7*b**2/2 + 12*b. Let j be d(5). Is (-2 + 0)/j*-90 a multiple of 10?
True
Let x = 63 - 59. Let f be x/(-3) - (-40)/12. Does 15 divide f/(-7) - 5992/(-49)?
False
Let y(o) be the third derivative of -21*o**2 - 7/6*o**3 + 0*o + 3/8*o**4 + 0. Does 8 divide y(5)?
False
Suppose -10*x + 3*x + 13792 = 9*x. Is 66 a factor of x?
False
Let h(w) = 223*w**2 + 291*w + 1168. Is 47 a factor of h(-4)?
True
Suppose 0*h - 76450 = 5*h - 16*h. Is h a multiple of 28?
False
Let c(d) = d - 5. Let n be c(6). Does 35 divide 16980/90 + n + 5/(-3)?
False
Let q be 3/(-117)*-6*13. Suppose -q*l + 182 = -4*g - 28, -3*g = 2*l - 175. Is l a multiple of 6?
False
Let m(x) = -23*x + 21. Let v be m(11). Let b be v/3 - 32/48. Let j = b + 138. Is j a multiple of 12?
True
Let d = 3515 - -602. Does 104 divide d?
False
Let g(x) = -x**2 - 9*x + 292. Let w be g(13). Does 7 divide w/(-2*1) + (-45710)/(-70)?
False
Let k(t) = 166*t - 5. Let l(z) = -2*z - 20. Let n be l(-11). Is 15 a factor of k(n)?
False
Let u(o) = -o + 18. Let b be u(7). Let w be 10/3 + -1 + b/(-33). Suppose 29 = w*l + k, -4*k = 2*l + k - 33. Is l a multiple of 8?
False
Suppose -4*q = 7*g - 12*g + 1160, -602 = 2*q + 3*g. Let c = -90 - q. Is c a multiple of 41?
True
Let s(w) = w**3 - 5*w**2 - 8*w + 15. Let z be s(6). Suppose 7 + z = 2*r. Suppose 0 = r*p + 25, 7*a = 4*a + 5*p + 454. Is 33 a factor of a?
False
Suppose 26*d + 4260 + 5646 = 0. Let v = d + 392. Does 11 divide v?
True
Let r = -161 - -99. Is (-31)/r - (-615)/2 a multiple of 20?
False
Let g(m) = -m**3 - 2*m**2 + 11*m + 1. Let f be g(4). Let d = 195 - 109. Let s = d + f. Is s a multiple of 16?
False
Let f(z) = 2*z + 35. Let d(n) = -2*n - 16. Let i be d(0). Let y be f(i). Suppose 586 = 5*u - y*x, -2*u - 2*u - x = -479. Is 17 a factor of u?
True
Suppose -2*j = -5*p + j + 279, 0 = 4*p - 3*j - 222. Let g = p - 52. Is (682 + g)/(9/3) a multiple of 59?
False
Let z(h) = h + 6 + 7 - 11 + 4*h**2. Let a be z(-1). Suppose -2*v - 3*k - 85 = -4*v, k + 206 = a*v. Is v a multiple of 6?
False
Let u = 3297 - -407. Does 4 divide u?
True
Suppose 0 = -9*x + 152*x + 55806 - 609359. Does 49 divide x?
True
Suppose 1090*f = 1058*f + 204768. Is f a multiple of 14?
False
Let m be ((-40)/24)/(5/(-33)). Suppose 0 = m*l - 460 - 277. Is l a multiple of 48?
False
Suppose 3*p - 292 = 194. Suppose -156*a - 1110 = -p*a. Does 19 divide a?
False
Suppose 2*x - 8*x - 6 = 0. Let d(f) = 207*f**2 + 1. Does 19 divide d(x)?
False
Let w = 35 - 35. Suppose w = n - 4*n - 2*z + 504, 4*n + 5*z - 665 = 0. Is 17 a factor of n?
True
Let l be (0 - -2)*(-2)/(5 - 7). Let v be 8 - (l/(-1))/(2/(-4)). Suppose 5*h - 481 = v*p, 184 - 575 = -4*h - 3*p. Is 27 a factor of h?
False
Let z = -91 - -93. Let v(a) = -a**2 + 5*a - 2. Let s be v(z). Suppose 5*p - 65 = -3*w, -s*p - p = w - 5. Is w a multiple of 24?
False
Suppose 4*k = -3*k + 35. Let q be (1 - 8)*(k + (-109 - -3)). Does 28 divide 2/(-5) + (q/5 - 1)?
True
Let x be -4 - (-3)/(-6)*-14. Suppose -2*y = -y - x. Suppose 112 = 4*n - 4*r, -n = -y*r - 16 - 16. Is 13 a factor of n?
True
Let b(h) = -h**3 - 40*h**2 + 122*h + 56. Is 112 a factor of b(-43)?
False
Let z(l) = -6*l + 132. Let b be z(22). Is 416/1 + b + 0 a multiple of 16?
True
Let t(k) = -2*k - 32. Let s be t(-16). Let v(f) = -2*f + 32. Is 4 a factor of v(s)?
True
Let s be (-2)/(1 - 7)*15. Suppose -1374 = -s*j - j. Is 9 a factor of j?
False
Suppose g = 5*v - 152, -4*g = -2*v - 3*g + 59. Suppose 13104 = -19*d + v*d. Does 28 divide d?
True
Let f = -211 + 220. Suppose 7*o - f*o = -182. Does 13 divide o?
True
Let v be 24/9*(20/(-8) - -1). Does 12 divide v - (-39)/9 - (-1833)/9?
True
Suppose d - 5*a - 86 = 27, 0 = -2*d + 5*a + 236. Let u = -22 - -26. Suppose -157 = -u*n + d. Is n a multiple of 10?
True
Let k(s) = 4*s**3 + 24*s**2 - s + 9. Let z be k(-6). Does 29 divide z*3*(-5)/(-75) - -231?
False
Suppose -8*w - 96 + 864 = 0. Suppose h = 5*h - w. Is 7 a factor of 9/24 + 1959/h?
False
Let b(x) = x**2 + 16*x + 25. Let r be b(-15). Let s(f) = -3*f**3 + 31*f**2 - 2*f - 3. Is s(r) a multiple of 5?
False
Let g = 105 + -2661. Let d = -163 - -162. Is d/(-5) - g/20 a multiple of 28?
False
Suppose 15 = 3*r - 27. Let d be (-9790)/r - (-10)/35. Let h = -416 - d. Is h a multiple of 15?
False
Let v be 2/3 - (7 + 42/(-18)). Does 14 divide 677*4/v*(-2 + 1)?
False
Let i be 62/4 + (-18)/(-12) + -2. Suppose 0 = -2*z - 63 + i. Is (z/3 + -329)*1*-1 a multiple of 30?
False
Let y = 2566 - -6183. Is 13 a factor of y?
True
Suppose 0 = 15*j - 19*j - 440. Is ((1 - -2) + 0)/((-2)/j) a multiple of 33?
True
Suppose 5*a - 79 = -94. Let f be ((-28)/(-63)*a)/(4/(-9)). Does 21 divide f/(18/42*(-14)/(-296))?
False
Let x = 68162 + -45484. Is x a multiple of 15?
False
Suppose 2*x - 8 = 2*i, 0 = -3*i - 2 - 4. Suppose x*p = -2*p + 176. Is p a multiple of 44?
True
Let f be -6*(-4)/((-40)/(-15)). Let x = -17 - -19. Suppose x*q = f*q - 224. Is 4 a factor of q?
True
Suppose -p = m - 6 - 69, m + 159 = 2*p. Suppose 2*a + 2 = 0, 4*a + p = 3*b - 346. Does 20 divide b?
True
Does 2 divide 8/((-9 - (-1841)/210)*(-24)/4592)?
True
Let k be 8/2 - (-66)/6. Suppose -17*f + 20*f = k. Suppose r - f*q + 136 = 2*r, 3*q = 15. Is r a multiple of 37?
True
Suppose z = -2 - 1, d = -2*z + 1144. Let h = d - 793. Is 51 a factor of h?
True
Suppose -5*h + h + 3*w + 20 = 0, 3*h + 14 = -5*w. Suppose 4*v + 5*a - 272 = 0, -3*v + h*a = -249 + 68. Is 63 a factor of v?
True
Let l = -293 + 294. Does 10 divide 2/l + 21*(-44)/(-33)?
True
Is 16 a factor of 6/(-5)*(3637800/(-108) - 10)?
True
Let y = -1974 - -1141. Let p = -693 - y. Is p a multiple o