5*t - 12065, 6*f = -t + 14513. Is f a multiple of 2?
True
Suppose 145*j = 158*j - 317044. Is 52 a factor of j?
True
Does 14 divide 10808/(-10)*(-300)/40?
True
Suppose 56 + 177 + 127 = v - 4*y, y = 0. Is 36 a factor of v?
True
Let r(f) be the third derivative of -23*f**4/12 + 2*f**3 + 20*f**2. Let q be r(3). Let t = 291 + q. Does 30 divide t?
False
Suppose l - a = 515, 4*l = -a + 6*a + 2061. Suppose -4*n = -f - 1192, 3*f + 92 = 2*n - l. Is 27 a factor of n?
True
Let s(o) = 71*o**2 - 15*o + 9. Let p be s(3). Does 12 divide 81/(-135) + p/5?
True
Suppose -6*a + 37*a = 124. Suppose -2*r - 3*b + 242 = 0, 0 = -2*b - 0 + a. Does 17 divide r?
False
Let a be -4*7/6*-3. Let t be 13/5 + a/35. Suppose -2*d - 42 = -t*d. Is d a multiple of 14?
True
Let u(m) = 9*m - 15. Let f be (-51)/(-21) + (-12)/(-21). Let j be u(f). Is 10 a factor of 8*2/(j/150)?
True
Let p = -115 + 205. Suppose -595 = -p*b + 83*b. Does 13 divide b?
False
Is 146 a factor of 292/6*-1*(344 - 476)?
True
Suppose 163018 = 42*k - 278150. Does 52 divide k?
True
Suppose 2*y + 6 = 0, -2*f - 49*y + 2755 = -48*y. Is 8 a factor of f?
False
Let z = -85 - -99. Does 3 divide ((-315)/z)/5*-2?
True
Suppose l - 446 = 2*d - 120, -d - 4*l - 154 = 0. Is 13 a factor of d/108 - 165/(-2)?
False
Suppose -3*a + 8*a - 602 = 3*x, 0 = 4*x - 5*a + 796. Let w = -96 - x. Is (-6)/14 + 1316/w a multiple of 9?
False
Suppose 9 = b - 2*n - 4, -4 = n. Suppose -4*i = 5*o - 617, -188 = -2*o + b*i + 72. Does 22 divide o?
False
Is 15 a factor of (-37000)/518*-7*3?
True
Let h(x) be the first derivative of -3*x + 10/3*x**3 - 1/4*x**4 - 11/2*x**2 + 17. Is h(8) a multiple of 15?
False
Let a = 309 - 105. Let v = a - 200. Is v even?
True
Let x(h) = 8*h + 4. Let o = 7 - 5. Let s be x(o). Is 17 a factor of 438/8 - (0 + (-5)/s)?
False
Let z = 9490 - 6197. Is 47 a factor of z?
False
Suppose -4*y + 9 - 106 = -5*x, 0 = -3*x - 5*y + 73. Let a(p) = 5 - 17*p + 4*p - 13*p + x. Does 22 divide a(-10)?
True
Is 8 a factor of 5127 + (-60)/8 + (-5)/(-10)?
True
Let m = -34644 - -65874. Is m a multiple of 30?
True
Suppose -m - 89 = -5*z, -4*m = -8*z + 3*z + 281. Let w = 80 + m. Is w a multiple of 2?
True
Let x = 2822 - 1072. Is x a multiple of 16?
False
Let v = -2 + 4. Suppose 0*r - v*r - 2*j = 70, 2*r + 50 = 3*j. Let t = r - -80. Is 17 a factor of t?
False
Suppose 0 = -4*t + 583 + 2701. Suppose -x - 6 = -1, 3*x + t = 2*m. Is 31 a factor of m?
True
Let v be -4*(3/(-30) + 32/(-80)). Suppose -v*w = -2335 - 797. Is 58 a factor of w?
True
Let o(r) be the first derivative of 2*r**3/3 - 49*r**2/2 - 22*r - 22. Let b(m) be the first derivative of o(m). Does 2 divide b(16)?
False
Let z be 656/(-36) - (-2)/9. Let s be z/2 + (-7 - -11). Let v(k) = -k + 16. Does 2 divide v(s)?
False
Let u(p) = 0*p**2 + 4*p**2 - 80 - 3*p**2 + 23 + 19*p. Is u(-23) a multiple of 31?
False
Suppose 3*h - 18 = 0, -539 = -l + 164*h - 162*h. Does 150 divide l?
False
Suppose -q + 2*a = -904, 0*q + 5*q - 4*a - 4544 = 0. Suppose 3*z - 579 = q. Does 18 divide z?
False
Let d be 2734/8 + (2 - (-49)/(-28)). Let o = -244 + d. Is o a multiple of 14?
True
Let h = 5144 - 3849. Is h a multiple of 35?
True
Let y(s) = -s**2 + 241*s + 63. Does 20 divide y(58)?
False
Suppose -6*a + 394987 = 71*a - 99276. Does 7 divide a?
True
Suppose 39*a + 37*a = 35872. Is 59 a factor of a?
True
Suppose 0 = -4*c + 12 + 8. Suppose -8*u = -f - 10*u + 213, -c*f + 1023 = -4*u. Is 16 a factor of f?
False
Suppose 1256 - 473 = 3*z. Let h(o) = -o**3 + 18*o**2 + 47*o - 265. Let w be h(20). Let v = z + w. Is 28 a factor of v?
False
Let q(j) = 7*j + 21. Let k be q(7). Suppose -k + 0 = -l. Suppose 5*f = 5*m - 173 - 157, -m = -3*f - l. Is 16 a factor of m?
True
Suppose 3*o = -y - 73, -3*o + 4*y - 77 = 6*y. Let t be (-198)/(-4)*(o/(-3) - 7). Suppose -3*s + 4*c = -61 - t, -4*s = -c - 134. Is 17 a factor of s?
True
Let n = -1158 + 5283. Does 15 divide (0 - -6)/(11/(n/6))?
True
Suppose x + 2*k + 8 = 0, -4*x = -3*k - 8 - 4. Suppose x = -14*j + 11*j + 1470. Suppose -4*p + j = -2. Is p a multiple of 21?
False
Suppose 0 = -2232*m + 2176*m + 1410696. Does 199 divide m?
False
Let t(k) be the second derivative of -7/6*k**3 + 0 + 3*k + 35/2*k**2. Is 11 a factor of t(-8)?
False
Let z(h) = -88*h**3 + 3*h**2 + 141*h + 865. Is 12 a factor of z(-6)?
False
Suppose -3*h + 5052 = w, 8*h - 12*w - 13444 = -10*w. Is 29 a factor of h?
True
Let h(i) = -i**3 - 36*i**2 - 19*i - 133. Let u be h(-35). Let y = -235 - u. Is 14 a factor of y?
False
Suppose 2*b = -n - 0*n + 8, -5*n = -5*b + 20. Suppose n = -9*w + 5*w + 144. Is 120*-4*(-3)/w a multiple of 6?
False
Let k(n) = -n**3 - 2*n**2 - 3*n - 2. Let t be k(-2). Does 28 divide 12 - (-6072)/32 - (-1)/t?
False
Suppose 104960 = 67*v - 92288. Is 128 a factor of v?
True
Suppose -22*s + 15*s + 21 = 0. Suppose -327 = -s*y + 363. Suppose t = 2, -3*t = 5*q - 3*q - y. Is q a multiple of 17?
False
Let z(p) = p**3 - 10*p**2 + 5*p + 31. Let h be z(10). Let u = h + 62. Is 13 a factor of u?
True
Let f be ((-3)/2)/3*0 - -120. Suppose -f = -3*n + n. Suppose 2*o = o - 5*q + n, 3 = 3*q. Is o a multiple of 5?
True
Let t = -35 + 138. Suppose 0 = -96*x + t*x - 1050. Is 25 a factor of x?
True
Let q(j) = 34*j**2 - 14*j + 35*j + 13*j**3 - 18*j. Let m(u) = 7*u**3 + 17*u**2 + u. Let c(s) = 11*m(s) - 6*q(s). Is c(-17) a multiple of 21?
False
Let v(j) = 174*j**2 - 71*j - 9. Is 18 a factor of v(2)?
False
Suppose 6 = 3*w - 2*w. Let g(c) = 5*c**2 - 74*c + 248. Let s be g(5). Suppose -3*l = s*o - 750, 7*o - 3 = w*o. Does 19 divide l?
True
Suppose -4335*n = -4337*n + 5450. Is n a multiple of 49?
False
Suppose 5*f + 300 = -5*d, -f + 0*f + 3*d - 60 = 0. Let b = -65 - f. Let v(a) = -20*a - 16. Does 14 divide v(b)?
True
Suppose -6*i = -3*i - 9. Suppose -482*v + 497*v = 135. Does 16 divide (-2)/((v/(-96))/i)?
True
Is 422378/(-438)*(-12)/22 a multiple of 2?
True
Suppose -z = -x, 2*z - 26*x = -28*x + 8. Suppose a - 1357 = 5*s, -z*a + 5*s - 5328 = -6*a. Is a a multiple of 70?
False
Suppose -6*c + 248 = 950. Is 42 a factor of c/78 + (-678)/(-4)?
True
Let g(x) = 9*x**2 + 56*x - 4. Let d be g(-6). Is 3 a factor of -11*(-9 - d/(-8))?
False
Suppose -4 = -2*h, 0*w = w - h + 115. Let x(n) = 7*n + 5. Let a be x(11). Let j = a - w. Does 39 divide j?
True
Suppose -1252*g + 90 = -1246*g. Is g/5*1300/39 a multiple of 5?
True
Let c(m) = 1197*m**2 + 10*m + 9. Is c(-1) a multiple of 2?
True
Suppose -226*q + 841048 = -335960. Is 28 a factor of q?
True
Let g = -5733 + 8071. Is g a multiple of 167?
True
Let b = 60 - 59. Let j(f) = -26*f**2 + 4*f - 4. Let l be j(b). Is (l/12)/((-1)/4)*3 a multiple of 13?
True
Let o be (4/(-3))/((-6)/(-9)). Let y(z) = 2*z**2 + 3*z + 4. Let f be y(o). Let g(c) = 3*c**2 + 3*c + 3. Does 29 divide g(f)?
False
Suppose 0 = -w + 4*w - 2*b + 1909, 0 = -4*b - 4. Let u = -368 - w. Is u a multiple of 10?
False
Let i = 439 - 434. Let w(s) = -85*s + 1. Let j be w(1). Is i/(-3*4/j) a multiple of 7?
True
Suppose -3*d + d - 370 = 0. Let z = 3219 + -3217. Is (d/(-35) - z/7) + -2 a multiple of 2?
False
Suppose 3*t = 2*d + 3162, -t - 4*d - d = -1071. Let g be -2*-2*(-6)/(-8). Suppose -g*s = 8*s - t. Is 11 a factor of s?
False
Suppose 10*h - 19718 = 7*h - 4*x, 5*x + 26301 = 4*h. Does 28 divide h?
False
Suppose 4*g - 28 = -5*i, 4*g - 13 = -2*i + 3. Suppose g*o + 5 = -d, 4*d - 5*o - 40 = -o. Suppose 4*u = -2*n + 982 - 282, n = -d*u + 365. Does 17 divide n?
True
Let f = -81 - -73. Does 7 divide (18/f)/(-3) - 21024/(-128)?
False
Let y(w) = 2*w**2 - 18*w - 23. Let c be y(-10). Suppose 0 = -2*a - 0*a - 5*j + 129, 0 = 5*a + j - c. Let m = 76 - a. Is m even?
True
Suppose p - 2*l - 2457 = 0, -59*p = -54*p + 8*l - 12285. Does 9 divide p?
True
Let d(i) = -72*i + 38*i + 31*i + 13. Does 3 divide d(-7)?
False
Let u(t) = -t**3 - 9*t**2 + 12. Let n be u(-6). Let i = n - -80. Let s(r) = 2*r**2 + 20*r + 20. Is 40 a factor of s(i)?
False
Let a(t) = -t**3 - 6*t**2 + 4*t - 2. Let n be a(-8). Suppose n = w + w. Suppose -m - 3*d = 4 - w, -m + 59 = -5*d. Is 7 a factor of m?
True
Suppose 9*s = 8*s + 3. Suppose -s*f + 382 = -50. Is 12 a factor of f?
True
Suppose 5*v = s - 10604, -s = -4*s + 2*v + 31773. Is 45 a factor of s?
False
Let k be 6*(5/2 - 2/4). Let y(d) = 3*d**3 - d**2 - 13*d**3 + 3*d + k - 8*d**3 - 5. Is y(-2) a multiple of 12?
False
Let f(k) = 64*k - 831. Does 69 divide