t j = g + 1757. Is 70 a factor of j?
True
Let f(l) = 5*l + 44. Let d be (-88)/(-5)*-4*20/(-32). Does 24 divide f(d)?
True
Suppose -5*n + 2*l - 32 = 0, 3*n - l = -0*n - 19. Let w(a) = -a**2 - 5*a + 16. Let u be w(n). Is 15 a factor of 375/u*(-24)/(-10)?
True
Suppose 0 = 233*k - 247*k + 23100. Does 30 divide k?
True
Let i(z) be the first derivative of 7*z**4/12 - 2*z**3/3 + 5*z**2 + 14*z - 21. Let u(c) be the first derivative of i(c). Does 10 divide u(2)?
True
Let t = 69 - 55. Let b = t - -15. Suppose p = -b + 47. Is 9 a factor of p?
True
Suppose -2*s + b = -2*b + 29, 0 = -2*s - 5*b - 5. Is (-2496)/s + (-10)/(-25) a multiple of 25?
True
Suppose 40*i - 30600 = 29*i - 19*i. Is 34 a factor of i?
True
Suppose 5*n = -2*p + 31, -5*p + 10 = -n - 0. Suppose -1392 = -c - 4*c - a, p*c - 824 = 5*a. Is 9 a factor of c?
False
Let p(a) = a**2 + 8*a - 38. Let k be p(-11). Let o(d) = -4*d**3 - 4*d**2 - 7*d - 22. Does 10 divide o(k)?
False
Suppose 2*v - 4*y = 20486, -87*v - 20492 = -89*v + 3*y. Does 7 divide v?
True
Suppose -g = -8*h - 12250, 4 = 2*h + 14. Is 102 a factor of g?
False
Suppose 2*u - 2*w - 12 = 0, -5*u - 2*w + 8 + 15 = 0. Suppose j - 1740 = -5*z + 1725, z = -u*j + 693. Does 16 divide z?
False
Suppose 25*j + 183 = 28*j. Let m = 79 - j. Suppose m = 6*d - 186. Is 4 a factor of d?
False
Suppose -3*q = -7 - 5, -5*p + 4*q + 1039 = 0. Suppose -3*b - 3*z - p + 877 = 0, -888 = -4*b - 3*z. Is b a multiple of 15?
False
Let s(i) = 9*i**2 - 29*i - 416. Is 8 a factor of s(-14)?
False
Suppose -11*w = -8018 - 298. Suppose -4*z = -18*z + w. Suppose 58*x - 60 = z*x. Is x a multiple of 15?
True
Let i(s) = s**2 + 3. Let r be i(-13). Let k = r - 105. Let x = -11 + k. Is 14 a factor of x?
True
Let j be (-78)/(-13)*2/4. Suppose -4*t + 1460 = 4*p - 8*t, -j*p - 5*t = -1071. Does 27 divide p?
False
Suppose -5776*a + 5755*a + 157309 + 300995 = 0. Does 44 divide a?
True
Let m(i) = -i**3 - 14*i**2 - 35*i - 15. Let z be m(-10). Let s = 104 + z. Is 4 a factor of s?
False
Let f(c) = 7*c**2 - c - 224. Is 14 a factor of f(-14)?
True
Let l(x) = -6*x + 24. Let u be l(4). Suppose u = -j + 177 - 4. Is j a multiple of 5?
False
Let i(k) = k**2 - 2*k + 1. Let o(c) = 130*c**2 + 2*c - 1. Let l(t) = -2*i(t) + o(t). Does 59 divide l(2)?
False
Suppose 5*k + 53 = -m, 3*k + 243 = -4*m - m. Let g = -45 - m. Let c(v) = 7*v**3 - 2*v**2 + 5. Is 16 a factor of c(g)?
True
Let r be (-1)/(3*3/(-720)). Let j = -190 + r. Is (j/(-4))/((-8)/(-32)) a multiple of 22?
True
Suppose 7*t = -t + 1432. Let g = 249 - t. Is 14 a factor of g?
True
Suppose -11354 = -3*m - 5*c, -2*m + 7536 = -0*c - 5*c. Suppose -1330 = 9*s - m. Does 16 divide s?
True
Let a(v) = v**2 + 5*v. Let y = 24 - 29. Let s be a(y). Is s/(-8) + (1 - -71) a multiple of 9?
True
Let r(n) = 130*n**2 - 1. Let l be r(-1). Suppose 8*j = 9*j + l. Let v = 217 + j. Does 11 divide v?
True
Suppose -2*v + 40 = o + 8, -o = 4*v - 40. Let q be (-8)/o - (-3)/9. Suppose 9*p - 492 - 552 = q. Does 38 divide p?
False
Let q = -35 + 42. Suppose -10635 = -q*x - 1444. Is 18 a factor of x?
False
Let j = 33 + -28. Suppose j*n = n + 4. Let q(w) = -w + 5. Is q(n) a multiple of 4?
True
Let i(u) = -138*u**3 + 202*u**2 + 33*u + 141. Is i(-5) a multiple of 308?
False
Let x = 32 - 6. Suppose 166 = 2*n - 5*c, 3*n + 5*c = -x + 250. Let a = n + 0. Is a a multiple of 13?
True
Suppose -z + 41 = -2*k - 16, -123 = -2*z - 5*k. Suppose -4*n - 155 = n. Let q = n + z. Is q a multiple of 4?
True
Let j be (-546)/(-27) - (-6)/(-27). Suppose 5*p + j = -i, i = 3*p + 21 - 1. Is 20 a factor of (-837)/(-6) + (i/2)/5?
True
Let h = -32 + -223. Let k = -82 - h. Does 5 divide k?
False
Suppose 13*y - 12*y - 2*r - 12872 = 0, -4*r = 4. Is 20 a factor of y?
False
Let j(z) = -4 + 19*z**2 + 6*z**2 + 36*z**2 + 56*z**2 - 4*z. Does 42 divide j(-1)?
False
Suppose 3*w = 12, 0*w + 28 = 4*b + 4*w. Suppose -b*l - 24 = -9*l. Suppose f = -l*o + 17, 3*f - 40 = o - 2*o. Is 10 a factor of f?
False
Suppose -2*m + 6*m = -152. Let s = 34 + m. Is s/14 + (-26)/7*-6 a multiple of 5?
False
Let k = 18603 + -11964. Does 18 divide k?
False
Is 14 a factor of 49/(2107/387) - 1*-1041?
True
Suppose -15*k = -180497 - 161968. Is k a multiple of 69?
False
Suppose -9*y = -28*y - 494. Let u = 77 - y. Does 18 divide u?
False
Suppose -34*m = -38*m + 2*k + 12, 0 = -k. Suppose -m*t + 1100 = 287. Is t a multiple of 12?
False
Let q(a) = -1494*a - 1102. Is 23 a factor of q(-7)?
False
Suppose -18 = 13*m + 8. Does 5 divide ((-17 + 0)*-13)/(m/(-2))?
False
Let u be (-175)/(13/(-11) + (-64)/(-352)). Let a = u + -87. Is a a multiple of 5?
False
Let o(h) = 10*h**3 + 3*h**2 + h + 5. Let c be o(4). Suppose -231 = -8*j + c. Is j a multiple of 8?
False
Suppose -h + m + 325 = 2*m, 2*m + 340 = h. Is 110 a factor of h?
True
Let w(q) = 2*q + 1. Let j be w(-7). Let o(h) = h + 15. Let c be o(j). Is 4 a factor of 4 + c + -4 + 4?
False
Is 51 a factor of 1 + (-180)/(-18) - -6466?
True
Suppose -2*k - 564 + 396 = 0. Does 34 divide 1086/8*2 + (-42)/k?
True
Let v = -551 + 372. Let f = v - -311. Is 24 a factor of f?
False
Let n = 6494 - -26. Is 20 a factor of n?
True
Suppose -1 = s + 3*o + 4, 0 = -4*o - 8. Let h be -1 + (6 + -4)/s + 11. Suppose -h - 7 = -n. Does 4 divide n?
False
Let m(f) = -f**3 - 4*f**2 - 7*f - 12. Let j be m(-3). Suppose j = 3*i + 4*s - 22 - 149, -5*s = -4*i + 197. Is i even?
False
Suppose -2*c + 6*c = 48. Suppose -3*s - z + 182 = 0, -100 - c = -2*s + 4*z. Is s a multiple of 10?
True
Let m = 122 - 30. Suppose 3*z + 100 = 4*o, 5*z + m = o + 3*o. Let c = o + 24. Is c a multiple of 26?
True
Let x(y) = 6072*y**2 - 48*y - 96. Is x(-2) a multiple of 16?
True
Let g be (2/(24/100) - 7) + 382/6. Let w(z) = z**2 - z - 5. Let d be w(-6). Let p = g - d. Is p a multiple of 7?
True
Let h = 3 + 29. Suppose h*s - 28*s = -600. Does 26 divide (3/6*-2 + s)*-1?
False
Let s be (4/24 - (-2698)/12) + -3. Let z = s + 568. Suppose -3*o + 666 = -4*n + 166, z = 5*o + 2*n. Is 16 a factor of o?
True
Let n(o) = 258*o**2 + 2074*o - 2. Is 171 a factor of n(-17)?
False
Let a = 124 + -64. Suppose -2*w - 4*u + a = 0, -4*w = -3*u + 7*u - 124. Let j = w - 8. Does 6 divide j?
True
Let k be 41 + 10/((-30)/9)*(-2)/(-6). Let m(z) = z**3 - 6*z**2 + z - 4. Let s be m(5). Let v = s + k. Is v a multiple of 5?
False
Let f(a) = 8*a**2 - a - 28. Suppose 4*b + 0*n - 14 = -n, 2*b - n - 4 = 0. Let r(q) = 1. Let c(k) = b*r(k) + f(k). Is c(-4) a multiple of 13?
False
Let y = -9 + 11960. Does 37 divide y?
True
Suppose -834 = -2*r + 3*t, -t - 214 = -3*r + 1044. Suppose 16*d = 18*d - r. Is d a multiple of 14?
True
Let v(g) = g**3 - 18*g**2 + 28*g + 3. Let q(p) = 79*p**3 + p**2 - p - 1. Let y be q(1). Suppose d - 36 = -2*m, 0 = -4*m - 4*d - d + y. Is v(m) a multiple of 19?
True
Suppose 3*a + 4*a = -42. Let q(i) = -i**3 - 7*i**2 - 8*i + 6. Let t be q(a). Suppose t = -3*o + 87. Is o a multiple of 23?
True
Let u be (-8 - 41)/(3/6). Let k = 194 + u. Is 16 a factor of ((-56)/(-42))/(1/k)?
True
Suppose 0*i + 12660 = 5*i. Suppose -2012 = -4*z - d, 2*z + 3*z = 3*d + i. Suppose 7*q - z = q. Does 42 divide q?
True
Let w(a) be the third derivative of -a**4/24 - 3*a**3/2 - 21*a**2. Let v be w(-11). Is ((96/10)/v)/(8/40) a multiple of 4?
True
Is 7*2705/35 + 9 a multiple of 25?
True
Let i(b) = 5*b + 6. Let f be i(0). Suppose -918 = -3*v - f*v. Suppose 0 = 2*q - y - 72 + 16, 3*y - v = -3*q. Is 10 a factor of q?
True
Let q(g) = 197*g**2 - 2*g + 1. Let j be q(1). Suppose -5*m + 1555 = 4*i, 3*m + 2*i - 3 - 928 = 0. Let y = m - j. Does 11 divide y?
False
Let k(j) = 7*j**2 - 3*j - 2. Let m(v) = -v**3 + 7*v**2 + 17*v + 13. Let q be m(9). Is 7 a factor of k(q)?
True
Suppose 6*y + 41 = -1. Let i be (35/(-20))/y - (-3)/(-12). Is 345*(2 - i)*3/15 a multiple of 46?
True
Let r = 751 + -369. Suppose r = -2*m + 3*c + 3035, -5*c + 5361 = 4*m. Does 37 divide m?
False
Let y = -529 - -605. Suppose -80*f + 500 = -y*f. Is f a multiple of 25?
True
Let r = 14 + -7. Let k(t) = -t**3 - 14*t**2 - 13*t + 3. Let j be k(-13). Suppose 214 = r*m - j. Is m a multiple of 31?
True
Let j = -3553 + 4721. Does 16 divide j?
True
Let g(n) = -n**2 + 9*n - 16. Let c be g(6). Is 24/(-15)*(-535)/c a multiple of 22?
False
Let z(a) = 8*a**3 + 2*a**2 - 2*a. Let b be z(1). Suppose b*o - 2380 = -180. Suppose -15*p + o = -10*p. Is p a multiple of 21?
False
Let o(s) 