 + 515 = 5*s - 6*f. Is 39 a factor of s?
False
Suppose -2*d + 136 = -4*p, 4*d + 14 = -3*p + 242. Is d a multiple of 20?
True
Let o(j) = -6*j - 29. Is o(-51) a multiple of 11?
False
Let i(v) = -148*v - 4. Let m be i(-4). Suppose 0 = -4*k + 10*k - m. Is 7 a factor of k?
True
Let t = -3701 - -5329. Is 44 a factor of t?
True
Suppose 5*f - 5 = -2*r + 6, 4*r = -5*f + 27. Suppose r*n - 103 - 57 = 0. Is 20 a factor of n?
True
Let v(b) = 84*b - 3. Does 5 divide v(2)?
True
Let y(p) = 6*p + 150. Is y(-23) a multiple of 3?
True
Suppose -12*f - 59 = -311. Suppose -2*t + f + 1 = 0. Is t a multiple of 7?
False
Let o(l) = -l**2 + 9*l - 14. Let a be o(6). Let q = 26 - a. Does 22 divide q?
True
Let s = -80 - 1. Suppose 5*h - 2*h = 387. Let o = h + s. Is o a multiple of 16?
True
Let x = 1404 + 1476. Does 32 divide x?
True
Let q = 7877 + -3498. Does 151 divide q?
True
Suppose 4*g + 12 = -2*q, 4*q + 4 + 5 = -3*g. Suppose -2*t - 1 + 29 = 2*f, -t - 5*f - 2 = q. Is 6 a factor of t?
True
Suppose 36 = 17*f - 21*f. Is ((-17)/2)/(f/54) a multiple of 17?
True
Let s(g) = -53*g + 451. Does 3 divide s(5)?
True
Is 12 a factor of -5 - -7 - 2/((-6)/459)?
False
Suppose 6*o - o - 365 = -g, 3*g = -o + 1081. Does 20 divide g?
True
Let d(b) be the first derivative of b**4/4 + 13*b**3/3 + 7*b**2/2 + 6*b - 17. Does 11 divide d(-12)?
True
Does 5 divide (-1 - (-744)/(-16))/(1/(-4))?
True
Suppose 5*x - 648 = -4*o, 4*o = 5*x + 2*o - 666. Suppose -g = -2*g + x. Is 11 a factor of g?
True
Let i = 3484 + -2460. Is i a multiple of 35?
False
Suppose 4*c + 7 - 3 = 0. Let z(s) = -18*s - 1. Is 7 a factor of z(c)?
False
Let n = -394 + 666. Does 17 divide n?
True
Let s = -828 - -2018. Is s a multiple of 7?
True
Let c(i) = 5*i**2 - 7*i - 5. Let q(p) = -6*p**2 + 7*p + 6. Let d(v) = -5*c(v) - 4*q(v). Let x be d(8). Let j = x + 16. Is j a multiple of 3?
True
Suppose 210 + 2660 = 10*a. Is a a multiple of 16?
False
Let s = 5 - 5. Suppose -2*l + l = c - 12, -5*c - 4*l + 57 = s. Suppose c + 5 = n. Does 4 divide n?
False
Suppose 13*j - j = 684. Suppose j = 6*t - 645. Is t a multiple of 13?
True
Let u = -1 + 134. Suppose -u + 689 = 2*v. Is v a multiple of 12?
False
Let l(z) = 3*z - 10. Suppose -5*h = -3*o - 116, 0*o = -2*h + o + 46. Is l(h) a multiple of 14?
True
Suppose -1808 = -19*y + 149. Is 4 a factor of y?
False
Suppose 0 = 2*u - 0*u + 10, -4*u - 170 = -x. Does 6 divide x?
True
Let f be 1*7*(33 + -76). Let m = f + 622. Does 21 divide m?
False
Suppose 0 = x + 7*x - 64. Suppose 3*v - 424 = 3*o + o, 0 = -4*o + x. Is v a multiple of 24?
True
Suppose -21*r + 6*r = -4635. Does 35 divide r?
False
Suppose 0 = -0*j + 2*j - 12. Suppose 0 = -j*s + 7*s - 7. Suppose 54 = -s*f + 9*f. Does 10 divide f?
False
Suppose -5*t - 22 + 57 = 0. Let c(f) = 3*f**2 + 4*f + 7. Let s(p) = p**2 + 1. Let y(l) = -c(l) + 4*s(l). Is 3 a factor of y(t)?
True
Let q be 2 - 0 - 15/(-15). Suppose 4*g = 8, -2*g = -q*n - 2*n + 976. Is 13 a factor of n?
False
Suppose -6*d + 2*o + 1388 = -0*o, -3*d + 678 = 3*o. Does 5 divide d?
True
Let x(z) be the third derivative of z**4/3 + z**3 - 5*z**2. Let h be x(7). Suppose 3*s - 82 = h. Does 24 divide s?
True
Let t(y) = y**2 - 6*y + 8. Let c be t(4). Suppose 0 = -d - 2*x + 22, 4*d - d - 3*x - 93 = c. Does 28 divide d?
True
Let i = 12 - 10. Suppose 6 = 4*h - 5*t, -i*h + 5*t = h - 2. Is (-123)/(-5) + h/10 a multiple of 16?
False
Let u(i) = -i**2 + 8*i + 22. Let d be u(10). Suppose 5*n = 2*v - 5*v + 176, d*n = -5*v + 325. Does 13 divide v?
False
Suppose -186*q = -181*q - 395. Is q a multiple of 56?
False
Suppose l = -0*l + m + 20, 4*l = 2*m + 76. Does 5 divide ((-126)/l)/((-1)/5)?
True
Let i(s) = s**3 - s**2 + 7*s + 93. Is i(0) a multiple of 10?
False
Let r = 118 + 5. Let l = r + 55. Is 54 a factor of l?
False
Let s = -1 - -4. Suppose -u + 5*u = -5*c - 26, -2*c - s*u - 16 = 0. Let b(m) = 6*m**2 + 1. Does 6 divide b(c)?
False
Is (472/(-32)*1)/(2/(-8)) even?
False
Suppose 1 = -d - 3*d + 3*f, -17 = -d - 5*f. Suppose 2*o = -4*a + 278, d*a + o = -o + 136. Is a a multiple of 13?
False
Suppose 43*z - 104 = 42*z. Is (39/(-2) - 0)/((-12)/z) a multiple of 31?
False
Let u be (460/(-25))/((-3)/30). Let t = -86 + u. Suppose 0 = -k + 3*a + t, 3*k + 0*a - 268 = -4*a. Is k a multiple of 22?
False
Let t(v) = v**3 + 15*v**2 - 17*v - 15. Let a be t(-16). Suppose -5*s + 3*f = -0*s - 15, 0 = -4*s + 5*f - a. Is 6 a factor of s?
True
Suppose -32*i + 10*i + 8800 = 0. Does 16 divide i?
True
Let c = -149 + 284. Suppose -n - 3*m = n - 54, 5*n + 2*m = c. Suppose -v + 5 = u, 5*u - 7 + n = 0. Is v even?
False
Suppose 0 = -v - 0*v + 5. Let n be (-3)/v + (-13)/(-5). Is (1 - n)*-2*13 a multiple of 26?
True
Is (-1 - 43/2)/(22/(-528)) a multiple of 15?
True
Let o(x) = 5*x**3 + 8*x**2 + 14*x + 9. Let h(c) = 9*c**3 + 17*c**2 + 28*c + 17. Let q(n) = 4*h(n) - 7*o(n). Is 13 a factor of q(-10)?
True
Is 5 a factor of 2 - (-14)/(-8) - 2457/(-12)?
True
Let s(p) = -3*p**2 - 3*p - 4. Let n(j) = -7*j**2 - 7*j - 9. Let d(b) = -4*n(b) + 9*s(b). Is d(-4) a multiple of 8?
False
Let q = 10 + -6. Suppose 6 = -q*n - 14, -3*s = 4*n - 220. Let h = s + -35. Is h a multiple of 15?
True
Suppose -6*u = -7*u + 3*c + 215, -426 = -2*u + 2*c. Does 6 divide u?
False
Let x(m) = -541 + 86*m**2 + 4*m + 535 - m**2. Is 18 a factor of x(2)?
True
Let p be (-2)/6*(6 - 12). Let m(i) = -i**3 - 10*i**2 - 8*i - 6. Let a be m(-9). Is 9 a factor of (-6 - -4)*a/p?
False
Let n(b) = -b**2 - 35*b + 56. Does 28 divide n(-28)?
True
Does 38 divide (35/(-3) + -1)/(12/(-576))?
True
Suppose -3*y + 607 = -719. Suppose 0 = 4*p - 3*d + 71 - y, 5*d - 110 = -p. Is 27 a factor of p?
False
Suppose 4*o = 5*q + 4345, -4*o - q - 3245 = -7*o. Is 20 a factor of o?
True
Suppose -4*p - 3 = -3*h - p, -5 = -h - 3*p. Let u be (-3)/h - 2261/(-34). Let y = 166 - u. Is 32 a factor of y?
False
Let g(m) = m**3 - 9*m**2 - 10*m + 2. Let v be g(10). Suppose -v*b - 152 = -w, 5*w - 2*b - 90 - 678 = 0. Does 22 divide w?
True
Let x be -14*(-6)/(-28)*-20. Suppose 5*t - x - 90 = 0. Does 6 divide t?
True
Let g = -17 - -21. Suppose g + 2 = 3*n. Is 14 a factor of 8/n - (6 + -25)?
False
Suppose 2*q + 40043 + 24761 = 0. Is q/(-119) + 2/(-7) a multiple of 34?
True
Suppose 0 = -7*k + 10 + 11. Suppose -4*d = 0, 0*l = 2*l - k*d - 228. Is 13 a factor of l?
False
Suppose 69 - 356 = w. Let k = 431 + w. Suppose 18*b - 16*b = k. Is 24 a factor of b?
True
Let g(r) = 19*r - 51. Is g(9) a multiple of 60?
True
Suppose 28*s - 4*u = 32*s - 5500, -4*s + 5508 = 2*u. Is s a multiple of 26?
False
Suppose 120 = -5*f + 3*t, 0 = -4*t + 3 + 17. Suppose -k = g + 8 + 6, -4*g = -k + 46. Let o = g - f. Is o a multiple of 7?
False
Let u(a) = -a**3 - 7*a**2 - 5*a + 8. Let h be u(-6). Let y be 3/h - (-9)/(-6). Suppose 5*k + 3 - 143 = y. Is k a multiple of 7?
True
Let v(x) = -x**2 - 15*x - 17. Let n be v(-14). Let w be (1 - 1) + (1 - n). Suppose -2*m - s + 165 = 3*m, 121 = w*m + 3*s. Is 17 a factor of m?
True
Let n(d) be the first derivative of 4*d**4 + 3*d**2/2 - 5*d - 11. Let r = -21 - -23. Does 26 divide n(r)?
False
Let q(f) = -f**3 + 16*f**2 - 16*f + 19. Let t be q(14). Let r = t - 75. Suppose j - r = -3*j. Is 6 a factor of j?
False
Suppose -j + 6389 = 4*h, 0 = 2*h - 2*j + 5*j - 3207. Is h a multiple of 21?
True
Let c be 3 - (-3 - -4) - 22. Let o = -4 - c. Let i = 37 - o. Does 10 divide i?
False
Suppose -w + 15 = 4*w. Let p(x) = w*x - 6*x**3 - 2*x + 2*x**3. Does 3 divide p(-1)?
True
Let c = -37 + 7. Let f = -18 - c. Is 4 a factor of f?
True
Does 34 divide (-5 - (-2290)/50)/(2/10)?
True
Let w = 97 + -90. Suppose -w*x + 174 = -x. Is 4 a factor of x?
False
Suppose 5*c - 5*u = -8*u + 7718, -4*u = c - 1530. Does 16 divide c?
False
Let d(a) be the first derivative of a**6/120 - a**5/10 + a**4/6 + a**3 - 4*a**2 - 6. Let b(p) be the second derivative of d(p). Does 15 divide b(6)?
True
Let r = -2244 + 2676. Is r a multiple of 16?
True
Suppose -2*s = -0*s + 4*d - 3210, -2*s + 5*d = -3246. Suppose -7*h + s = -319. Is 32 a factor of h?
False
Let m(y) be the first derivative of y**3/3 - 7*y**2 + 4*y - 1. Does 33 divide m(19)?
True
Is 5 a factor of ((-108)/21)/((-28)/294)?
False
Suppose -38*k + 47*k = 3420. Does 10 divide k?
True
Suppose 2*n - 6 = n. Let c(o) = o. Let m be c(n). Suppose -9*s + m = -7*s. Is 3 a factor of s?
True
Suppose -5*h + 5*z + 108 = -747, 0 = -