78*l - 147. Is 51 a factor of f(12)?
True
Let t(l) be the first derivative of l**3/3 + 2*l**2 - l - 6. Let g be t(-2). Let s(b) = 2*b**2 + 2*b. Does 7 divide s(g)?
False
Let j = -257 - -375. Does 20 divide j?
False
Let u(g) = 3*g + 25. Let l be u(-5). Suppose -l - 198 = -2*p. Is 10 a factor of p?
False
Let u(p) = -p + 8*p**2 + 0*p**2 - 5*p + 0*p**2 - p**3 + 7. Is u(6) a multiple of 11?
False
Let z be 2/(0 + 4/14). Suppose -5*v - z - 8 = -3*w, 2*w - 10 = -5*v. Is 31/w - (-5)/(-25) a multiple of 2?
True
Suppose 3*d - 1644 = 3606. Is 14 a factor of d?
True
Does 69 divide ((-622)/14 + 5)/(4/(-42))?
True
Let s = -11 - -14. Suppose 5*a - 22 = 2*l - 422, -4*l + s*a = -786. Is 39 a factor of l?
True
Let f(h) = 7*h**2 - 7*h - 3. Let k(c) = 6*c**2 - 6*c - 2. Let d(t) = -5*f(t) + 6*k(t). Let z be d(3). Suppose -10*n + 42 = -z*n. Does 9 divide n?
False
Let k(m) = -30*m**2 + 3. Let g be k(2). Let l = -94 - g. Is 5 a factor of l?
False
Is 55 a factor of -8 + 397 + ((-12)/(-1))/(-3)?
True
Let j(b) = 90*b**3 - 3*b**2 + 2*b + 3. Does 37 divide j(3)?
False
Let w be ((-12)/(-8) - 2) + (-2)/(-4). Let u(z) = z**2 - z + 137. Does 26 divide u(w)?
False
Let y = 3680 + -2173. Is 63 a factor of y?
False
Let x = 19 - 11. Let d = -3 + x. Does 11 divide (-330)/12*(-4)/d?
True
Suppose 4*t = 0, 7*w = 2*w - 5*t - 15. Let n be (2 + -2)/(w - -2). Suppose n = -3*p + 12, -p - 76 = -4*u + 3*p. Does 11 divide u?
False
Suppose -52*h + 48*h + 48 = 0. Is h a multiple of 4?
True
Suppose -5*m - 12 = 3. Let x(l) = 2*l**2 - 3*l - 2. Let y be x(3). Let u = y + m. Is 2 a factor of u?
True
Let s = -244 - -281. Is s a multiple of 9?
False
Suppose 48*v - 59494 = -24166. Is 11 a factor of v?
False
Suppose -1440*l + 1454*l - 11508 = 0. Is l a multiple of 6?
True
Let o = 174 - -54. Is 12 a factor of o?
True
Let f be (1 + -2)/(2 - 1). Let b(o) = -9*o. Let w be b(f). Let j = 20 - w. Is 3 a factor of j?
False
Suppose z = 1, 0 = 5*g + 5*z - 3*z - 197. Suppose 7*k - 3*k - x = 439, -3*k - 3*x + 348 = 0. Suppose -k = -5*j + g. Is 5 a factor of j?
True
Suppose -7 = 2*h + 1. Suppose -2*x + 12 = 2*x. Is x/((-6)/4) - h a multiple of 2?
True
Suppose -4*w = -3*z + 9, -12 = -z - 3*z + 4*w. Suppose -70 = -z*y + 5*i, 0 = 4*i - 9 - 7. Is y a multiple of 10?
True
Let d be 30*(-3 + 66/9). Does 13 divide d*(36/15)/6?
True
Let n(u) = 149*u**3 + 2*u**2 - 2*u - 1. Is 46 a factor of n(2)?
False
Let t(q) = -q**3 - 2*q**2 + 6*q - 6. Let o be t(-6). Suppose -4*r = -962 + o. Does 18 divide r?
False
Suppose 0 = 2*u + 5*p - 2515, -8*p + 15 = -13*p. Is u a multiple of 55?
True
Suppose -92*x + 90*x = -2080. Does 16 divide x?
True
Let q(x) = x**2 - 7*x + 9. Let n be q(6). Let y = 1 + n. Suppose 0 = 4*l + 2*f - 102, 3*f - 77 = -y*l + 30. Is 12 a factor of l?
False
Suppose -3*c = -0*c + 4*o - 21, 0 = -3*o + 9. Suppose c*r + 180 = 2*d, -4*r - 368 = -2*d - 2*d. Is 24 a factor of d?
True
Let k = -1 - -1. Suppose k = c - 2*c. Suppose -n + 12 + 2 = c. Does 8 divide n?
False
Is 71/5 + 8/10 a multiple of 15?
True
Suppose -92 = -5*v - m - 2*m, v - 3*m - 4 = 0. Suppose 19*j - 144 = v*j. Does 11 divide j?
False
Suppose 0 = 4*v - 4*h - 4, 2*h + 0*h - 10 = -4*v. Let j = -12 - -48. Suppose v*k = -k + j. Does 6 divide k?
True
Let k = 3786 + -1994. Is k a multiple of 16?
True
Let h(a) = 2*a**2 - 9*a - 9. Let b(o) = -12*o - 12 + 11 + 4*o. Let p be b(-1). Is h(p) a multiple of 14?
False
Is 11 a factor of (-104)/(-104) - (-1)/(2/914)?
False
Suppose 2 = 8*t - 7*t. Let f be (-40)/(-16)*28/t. Suppose -f = -14*x + 9*x. Does 2 divide x?
False
Does 9 divide (497 + 16)*4/(-6)*-1?
True
Suppose -5*q + 2*q + 9 = 0, -2*n + 5*q - 23 = 0. Let m(h) = 4*h**2 - 7. Let v be m(n). Let k = v - -30. Is 29 a factor of k?
True
Let o(a) = -73*a - 86. Does 3 divide o(-3)?
False
Suppose 5*q - 15 = -5*n, -5*n = -0*n + 3*q - 17. Is ((-24)/n)/(-24) - (-495)/4 a multiple of 12?
False
Let u(k) = 4*k - 2. Let t be u(-2). Is 11 a factor of 51/(-85) + (-376)/t?
False
Suppose -h - 134 = -3*h. Let x = -2 - -28. Let w = h - x. Is 9 a factor of w?
False
Suppose -288 = -19*m + 17*m. Does 8 divide m?
True
Suppose 10*h - 5*h = -2*h. Suppose 0*k + 9*k - 1044 = h. Does 29 divide k?
True
Let p = -237 - -342. Suppose 0 = 3*h - p - 90. Does 13 divide h?
True
Let a(c) = 20*c**2 + 230*c - 22. Is a(-15) a multiple of 25?
False
Suppose 799 = u + 18*f - 22*f, u + f = 809. Is 34 a factor of u?
False
Does 38 divide 5/15*-2546*(3 - 6)?
True
Let m be 4/(-3) - 470/30. Let k = m + 35. Is 10 a factor of k?
False
Let t = 48 + 22. Is t a multiple of 5?
True
Let j = 17 + -17. Suppose 5*k = -10, 0 = -j*f + f - k + 65. Let w = f + 99. Is w a multiple of 16?
True
Suppose 4*j = -3*q + 4188, 0*q + 5*j - 1385 = -q. Does 100 divide q?
True
Let q = -2 + 2. Let r(b) = -6*b**2 + 12*b**2 + 27 - 7*b**2 + 6 + b. Is r(q) a multiple of 11?
True
Let n be (6/4)/((-6)/16). Let y(q) = -q - 6. Let h be y(n). Let z(t) = -20*t + 1. Does 13 divide z(h)?
False
Let a(u) be the second derivative of -u**5/10 - u**4/2 - u**3 - u**2 + 16*u. Does 4 divide a(-3)?
True
Suppose 0*v - 4*y - 2356 = -2*v, -3*v + 4*y = -3544. Suppose -b = 11*b - v. Does 33 divide b?
True
Let w = -67 - -1188. Is w a multiple of 59?
True
Suppose i - 4*i + 2586 = 0. Suppose 4*o = 3*u + i, -2*o + 0*o = -4*u - 436. Is o a multiple of 47?
False
Let d = -14 + 18. Is 30 a factor of 97 - (25/5 - d)?
False
Let n be (12/3)/(6/501). Let b = 16 + n. Suppose -2*g = 3*g - b. Is 14 a factor of g?
True
Suppose -21*l = -23*l + 20. Suppose 120 + 210 = l*s. Is 11 a factor of s?
True
Let f be (-3)/6*0/(-1). Let d(t) = t**3 - t**2 - t + 173. Is 25 a factor of d(f)?
False
Let w = 88 + 32. Suppose 4*s = -3*m + w, 2*s = s - m + 30. Does 15 divide s?
True
Suppose 4*r = 3*j - 33, -j - 53 = -3*r + 7*r. Let x = r - -6. Let b = 14 + x. Does 4 divide b?
True
Suppose 0 = -2*l - 207 + 625. Does 19 divide l?
True
Suppose 4*d + 6*a - 2*a = 1484, -3*a - 391 = -d. Is 5 a factor of d?
False
Let w(c) = -c**2 - 9*c - 1. Let p be w(-5). Let u = p + -5. Does 14 divide u?
True
Let w(j) = -2*j - 4. Let l be w(-4). Suppose -2*h + 5*t = -0*h - 19, l*t = -h - 10. Is (-51)/(-6) - h/4 even?
True
Let f(x) be the first derivative of x**4/12 + 11*x**3/6 - x**2/2 + 10. Let n(p) be the second derivative of f(p). Is 25 a factor of n(7)?
True
Let t be (-104)/10*10/(-4). Suppose -3*b = 3*x - t - 1144, 384 = x - 5*b. Suppose -r + 5*r = -4*w + 304, 0 = 5*w + 2*r - x. Is w a multiple of 21?
False
Let t be 13*-1*(-4 + 3). Suppose -57 = -5*v + t. Let j(o) = o**2 - 14*o + 14. Is j(v) a multiple of 14?
True
Let s(j) be the third derivative of j**6/120 + 11*j**5/60 - j**4/8 + 9*j**3/2 + 18*j**2. Does 10 divide s(-11)?
True
Does 51 divide 18429/12 - (42/24)/(-7)?
False
Let m(f) = 2*f**2 - f. Let d be m(-1). Suppose -4*z - 4*o - 8 = 0, -5*z + 2*o + d*o = -40. Suppose 198 + 0 = z*a. Is 22 a factor of a?
True
Let y(o) = -3 + 0*o - o + 0 - 5*o - o**2. Is y(-2) even?
False
Let v(h) be the first derivative of 5*h**2/2 + 60*h - 11. Is 14 a factor of v(0)?
False
Is 7 a factor of ((-72)/64*28)/((-2)/52)?
True
Suppose 0 = -u + 4. Suppose -483 = -u*x - 159. Suppose -2*w + x = w. Does 9 divide w?
True
Let l(q) = -11*q**3 + 31*q**2 - 5*q + 41. Let h(d) = 5*d**3 - 15*d**2 + 2*d - 20. Let m(f) = -13*h(f) - 6*l(f). Does 28 divide m(-7)?
True
Let k(p) = 2*p**2 + 4*p + 2. Let n be k(-3). Let f be 6/n + 171/(-36). Is 12 a factor of 2/f - (-47)/2?
False
Let i(s) = -s - 27. Let u be i(-18). Let w(c) = -5*c - 18. Does 9 divide w(u)?
True
Let l = -854 - -1250. Is l/4 + 2 + 3 a multiple of 26?
True
Let q(b) = 65*b**2 - b - 3. Is q(3) a multiple of 42?
False
Let z be (-3)/6 - 15/(-6). Let g(h) = -2*h + h**3 - 2 + h + 4*h + 4*h**2 - z*h. Is g(-2) a multiple of 3?
False
Suppose 5*f - n - 3846 = n, -3828 = -5*f - 4*n. Is f a multiple of 16?
True
Suppose 10*m = -7*m + 3400. Is 40 a factor of m?
True
Suppose -82 = -2*o - 0*w - w, 3*o - 4*w = 112. Suppose -f - f = -o. Does 35 divide f/(-140) + 982/14?
True
Suppose -407 + 109 = 2*f. Let b = f + 218. Let u = -9 + b. Is u a multiple of 15?
True
Let x be 0 + 3 + (-92)/(-8)*14. Let v = 232 - x. Does 17 divide v?
True
Let m = 9 + -36. Does 32 divide (-442)/(-14) + m/(-63)?
True
Let j(g) = g**2 - g - 12. Let c be j(0). Let t(a) = a**2 + 11*a + 13. Let i be t(c). Does 2 divide i + -25 - (-1 - 15)?
True
Supp