l) be the first derivative of -2/3*l**3 + 0*l - 1/4*l**4 + 5/2*l**2 - 7. Does 5 divide k(-4)?
False
Let d = -7270 + 12662. Is d a multiple of 16?
True
Let g(h) = 84*h**2 - 6*h - 5. Let a(r) be the third derivative of 3*r**4/8 + 35*r**3/6 + 19*r**2. Let y be a(-4). Is g(y) a multiple of 14?
False
Suppose 2*w + 0 - 11 = -b, 4*b + 4*w = 28. Suppose -c = -4*d + 414 + 109, -b*c = 5*d - 675. Suppose -y + d = 2*y. Is y a multiple of 4?
True
Suppose 57 = -3*q + 2*x, -2*q = -0*x - x + 39. Does 17 divide 213 - (-5)/((-35)/q)?
False
Suppose 31*i = -3*i + 16291 + 34573. Is 17 a factor of i?
True
Suppose 49*r - 23*r - 36520 = 21*r. Is 11 a factor of r?
True
Suppose -y - 68*r + 73*r = -2354, -4*y + 5*r = -9521. Is y a multiple of 5?
False
Does 56 divide 18/8 + 20/(-80) - -103*106?
True
Suppose 0*y = -2*y - 5*j, 0 = -4*y - 4*j. Suppose n - 2*o - 39 = y, 0*o + o - 129 = -4*n. Is n a multiple of 14?
False
Does 26 divide ((-24)/16)/(27/(-625338))?
False
Let o be (80/24)/(2/3780). Suppose -5*n + 23*n = o. Does 14 divide n?
True
Suppose -3*y + 18 = 24. Let k(p) = 9*p**3 + 3*p**2 - p + 2. Let b be k(y). Is b/(-3)*(81/6 + 0) a multiple of 53?
False
Suppose 14*p - 22 - 20 = 0. Suppose 4*j + 1709 = 4*u + 145, -p*u = -j - 1181. Is u a multiple of 4?
False
Let b(z) = 148*z + 1337. Let w be b(-9). Let v be (2 - 4)/2 + 5. Suppose -8*k = -4*k + v*j - 120, -w*k + 122 = -2*j. Is 7 a factor of k?
False
Does 14 divide 21529/3 - (5 + 697/(-123))?
False
Suppose 2*v = -4*t + 10, -5*t + 13 + 1 = 4*v. Let b(o) = 39*o**3 - 2*o**2 - o + 2. Is b(t) a multiple of 38?
True
Let q = 3969 + -3089. Is q a multiple of 8?
True
Suppose -1 = -q, -3*b + 0*b - 23 = -2*q. Let g(y) = y**2 + 7*y - 4. Let u be g(b). Let i = 26 - u. Is i a multiple of 10?
True
Suppose -5*o + 3*o = -18. Suppose o = -6*w + 9*w. Suppose 5*g = 4*t + 434, -2*g + w*t + 44 + 124 = 0. Does 10 divide g?
True
Suppose 0 = -4*p - 2*b + 2378, b - 119 = p - 721. Let y = p + -310. Does 8 divide y?
False
Let s(t) be the third derivative of 61*t**5/60 + 2*t**4/3 - 14*t**3/3 - 59*t**2 + 3. Does 20 divide s(2)?
False
Let x = 5068 - 3538. Is 9 a factor of x?
True
Suppose 3*m - 5*d - 2659 = 0, -3*d - 743 = -m + 146. Suppose -4*s - y = -707, -5*s - 4*y + m = -3*y. Does 8 divide s?
True
Let g be (5/10)/((-116)/40 - -3). Let l(m) = 5*m**2 + 3*m - 6. Let h be l(g). Is ((-8)/3)/(6/9) + h a multiple of 9?
False
Suppose -4*o - 2*h + 158 = 0, 138 = 2*o + 2*o - 2*h. Suppose o = 4*q - 287. Is q a multiple of 81?
True
Let c(h) = -607*h - 147. Is 64 a factor of c(-13)?
True
Suppose -6*y + y = -4*u - 365, 0 = 4*u. Suppose -i - 31 + y = 0. Is 4 a factor of 166/14 + 6/i?
True
Let n(b) = 3*b - 12. Let x be n(4). Suppose -3*f + 3*p - 3 = x, -5 = -f + 4*p - 15. Does 5 divide ((5 - 2) + (-31)/f)*-2?
True
Suppose -7*a + 29 = -41. Suppose -c = a*c - 891. Does 14 divide c?
False
Is 1 - ((-7 - -5) + -1651) a multiple of 40?
False
Does 4 divide (-47*195/26)/(1/(-8))?
True
Let t(s) = -18*s**2 + 8*s - 24. Let y(w) = 10*w**2 - 3*w + 12. Let n(g) = 2*t(g) + 5*y(g). Does 6 divide n(-3)?
False
Let t(m) = -89*m - 7 + 3 + 2 + 22 + 14. Is 9 a factor of t(-7)?
True
Suppose -23*z = -28*z + 3520. Let l be (z/6 - 0)*(-84)/(-28). Suppose -50 = -6*g + l. Is g a multiple of 40?
False
Suppose 4*y = h - 3577, 2*y = h + 8*y - 3547. Is 115 a factor of h?
True
Suppose z - 3707 = 8*c - 9*c, 0 = 3*z - 4*c - 11072. Is 25 a factor of z?
True
Let a = -221 - -231. Suppose 1176 = a*z + 14*z. Is 49 a factor of z?
True
Let l(k) = 18*k**2 + 74*k. Is l(-8) even?
True
Let i = -1740 - -2311. Does 2 divide i?
False
Is 11 a factor of ((-56)/70)/(3*(-2)/12855)?
False
Suppose -24794 = -21*j + 17*j - 2*w, 2*j - 12427 = 5*w. Does 9 divide j?
True
Let a = -258 - -454. Suppose -2*p + 394 = 3*w, -p + 0*p = 2*w - a. Is p a multiple of 10?
True
Let p = 15406 - 215. Is 14 a factor of p?
False
Suppose -3*j = -5*d - 17212, 5*j + 7500*d - 28662 = 7496*d. Is j a multiple of 94?
True
Suppose -4*l - 1924*c + 7692 = -1928*c, 4*c - 5762 = -3*l. Is l a multiple of 62?
True
Suppose -3*l + j = 4*j - 21, 3*j = 3*l - 33. Let w be (-8 + l)*(2 + 0). Suppose -z + 48 = -2*p, w*z - 99 + 23 = -p. Does 7 divide z?
False
Suppose -7404 - 44475 = -281*y + 278*y. Is 15 a factor of y?
False
Suppose 5494958 + 6610080 = 517*o. Does 23 divide o?
True
Let x be (-10)/45 - 1159/9. Let n = 219 + x. Is 26 a factor of n?
False
Suppose 221*r = 229*r - 22800. Is r a multiple of 10?
True
Suppose -80 = -4*o + 4*z, 59 + 21 = 4*o + 4*z. Is 8 a factor of 138 - o/(-8)*32/40?
False
Suppose 80*s + 23*s - 1647175 = -102*s. Is 12 a factor of s?
False
Suppose 0*z + 4*z = 5*x - 10, 0 = x + 5*z - 31. Is 27 a factor of (-4726)/(-51)*9/x?
False
Let i(x) = 4*x**3 + 4. Let q(s) = -s**3 + 5*s**2 + 5*s + 8. Let c be q(6). Let r be -2 + 12/(6/c). Does 6 divide i(r)?
True
Suppose -5*f + 2 = -2*b, 2*f + f = b + 1. Suppose o - 48 + 42 = f. Is 24 a factor of o + -5 - (-201 + 0)?
False
Let r be 18/(-15) + (-1)/(-5). Let m be r/(-1 + 52/54). Suppose 6*c - 507 = -m. Does 10 divide c?
True
Let t(d) = -4*d - 25. Let c be t(-8). Suppose c*n + 18 = n. Is 2 a factor of n/(-7) + 300/35?
False
Suppose -g + 28323 + 13103 = 6*g. Is 177 a factor of g?
False
Let b = -225 - -214. Let q(c) = -16*c - 128. Does 24 divide q(b)?
True
Let g = -47 + 49. Let h be (1 - 4) + 7/2*g. Suppose 0 = -2*o - h*f - 3 + 1, 0 = -o + 2*f + 15. Is o a multiple of 4?
False
Let o(i) = 625*i**3 - i**2 + 2*i - 2. Suppose 4*v + 0 + 8 = 0, 0 = 2*r + 4*v + 6. Is o(r) a multiple of 52?
True
Let f(h) = -6*h**3 - h**2 - h + 2. Let z be f(-2). Let n = 52 - z. Suppose -n = -a + 24. Does 7 divide a?
True
Let j(g) = -10*g**3 + 15*g + 58. Suppose -3*t = 3*m + 12, -64*m + 11 = -69*m + 4*t. Is 6 a factor of j(m)?
False
Suppose -32*n = -4*w - 28*n + 2324, -1751 = -3*w - 5*n. Is w a multiple of 34?
False
Let a(v) = -93*v - 33. Let g be 3 + (2 - (5 - -2)). Is a(g) a multiple of 10?
False
Let l = 56585 - 25933. Is l a multiple of 79?
True
Let p(x) = -x**2 + x + 64. Suppose -26 = -4*t - 14. Suppose 2*c - 5 = t*u + 10, c + 5*u = -25. Is p(c) a multiple of 19?
False
Suppose 5*i - 6736 = 3*u, 4*i - 5*u + 2281 - 7675 = 0. Suppose -76*k + i = -73*k + 2*a, -2*a = -2. Is 22 a factor of k?
False
Is (8162/(-4))/(31/(-62)) a multiple of 53?
True
Let j(p) = 20 + 5*p + 9*p**2 - 63 - 12*p + 20 + 8. Let w(k) = -k**2 + 5. Let r be w(0). Is j(r) a multiple of 25?
True
Let r(q) = -2 - 12 - 7 + 0 + 2*q. Let a(b) = -b**3 + 11*b**2 - 11*b + 24. Let f be a(10). Is r(f) even?
False
Let i be (28 + (0 - 0))/(2/(-4)). Let k = 58 + i. Suppose k*h = -h + 60. Is h a multiple of 3?
False
Suppose -2*c = -43 - 87. Let x = c + -43. Is (-96)/(-5)*165/x a multiple of 35?
False
Let t(r) = 371*r + 2981. Let j be t(-8). Let f(i) be the second derivative of -i**3/6 + 13*i**2 + i. Is f(j) a multiple of 4?
False
Suppose -51*n + 5*n = -276. Suppose 4*h = 5*g + n*h - 5400, -2*g + 4*h + 2160 = 0. Is g a multiple of 90?
True
Let j(k) = k**2 + 6*k + 20. Let s be j(-10). Suppose -s - 300 = -p. Is 16 a factor of p?
False
Let n(x) = 9*x - 15. Let a(d) = -d**2 + d + 6. Let p be a(2). Suppose 5*o + p*g - 31 = 0, -2*o + 7*o = 5*g + 40. Is 16 a factor of n(o)?
True
Let k(o) = 29*o**2 - 25*o - 48. Is 12 a factor of k(-15)?
True
Let y(k) = 2632*k - 452. Does 57 divide y(2)?
False
Let s(q) = q**2 + 102*q - 439. Does 8 divide s(56)?
False
Suppose 2*n = -4 - 2. Let g(r) = -50 - 32*r + 166 - 121. Is 14 a factor of g(n)?
False
Let p(k) = k**3 - 40*k**2 + 75*k + 49. Let d(u) = -31*u + 162. Let a be d(4). Is p(a) a multiple of 4?
False
Let g(u) = 12*u - 1600. Let d be g(0). Is 25 a factor of 3*(-3)/(-9) + d/(-10)?
False
Suppose 4*f = 2*u + 23794, 12*u - 11*u + 5947 = f. Is 3 a factor of f?
False
Let d = 39 + -89. Let v = d - -59. Let r(h) = 4*h - 8. Is 15 a factor of r(v)?
False
Let y be 3 + 3 + 10/(-5) + -225. Let q = y + 391. Does 11 divide q?
False
Suppose -4*i = -4*d - 4, 112*d = 111*d + 2. Suppose 769 = -i*l + 4747. Is l a multiple of 34?
True
Let p = 45 - 41. Suppose 0 = 3*q - 3*a - 3, -a - 12 - 1 = -p*q. Suppose -q*k - 5*l + 247 = 0, 7*l - 48 = -k + 3*l. Is k a multiple of 12?
False
Suppose -v = 2*g - 3640, 3*g = 1 - 13. Is v a multiple of 192?
True
Suppose 0 + 5 = 5*k. Is k + ((-2)/7 - 8805/(-21)) a multiple of 20?
True
Let t(x) = -22*x - 132. Let m(w) = -38*w - 263. Let