e -173*t = -163*t - 2480. Does 34 divide t?
False
Let h(t) = -t**2 - 16*t - 22. Let n(r) = 2*r**2 + 15*r + 23. Let a(x) = 5*h(x) + 4*n(x). Is a(10) a multiple of 14?
False
Suppose -5*c - 86 = -3*g, 0 = 2*g - 19*c + 16*c - 58. Is 32 a factor of g?
True
Suppose -3*f = 10 - 1, 4*r = -5*f - 19. Let s(y) = -86*y**3 - y**2 - 1. Is s(r) a multiple of 28?
True
Suppose 2*o + 0*f = 5*f + 27, -4*f - 6 = o. Is 3 + -6*4/o + 209 a multiple of 26?
True
Is (204/(-48))/((-4)/112) a multiple of 7?
True
Let a be (-235 + 3)*2/4. Let u = a + 211. Does 19 divide u?
True
Let n be ((-372)/16 + 1/4)/1. Let j = n - -35. Is j a multiple of 3?
True
Let f = 58 - -168. Does 10 divide f?
False
Let h(q) be the third derivative of q**5/60 - q**4/6 + 7*q**3/6 - 5*q**2. Let m be h(17). Suppose 4*i - 3*t = m, -4*t = 3*i + t - 200. Is 30 a factor of i?
True
Let g(z) = 2*z + 2. Let o be g(0). Suppose 50 = o*l - 46. Is 12 a factor of l?
True
Suppose -2*o + 3*o + 5 = 0. Let r be 38*(-3 - (1 + o)). Let q = r + 4. Does 21 divide q?
True
Suppose -4417 - 4590 = -4*a + 3*z, 3*z = 2*a - 4505. Does 24 divide a?
False
Let j(d) be the second derivative of -8*d**3 - 5*d**2/2 - 11*d. Let o be j(-3). Suppose 9*g - o = 5. Is 2 a factor of g?
True
Suppose -2*l - 13*l + 2610 = 0. Let r = 49 + l. Is 12 a factor of r?
False
Suppose -o + 23 + 21 = -3*m, -5*o + 176 = -4*m. Is o a multiple of 25?
False
Let g = -5664 + 8504. Is g a multiple of 71?
True
Suppose -3*r = 2*t - 21, -4*t + t + 4*r + 23 = 0. Let z(j) = j - 7. Let l be z(t). Suppose -l*y - 3*y + 280 = 0. Is y a multiple of 14?
True
Let q be 344/(-6) + (-20)/30. Let a be 24/8*q/(-3). Let i = 130 - a. Is 13 a factor of i?
False
Suppose -38 = -5*o + 4*t, -2*t - 3*t - 22 = -2*o. Suppose 2*l - 2*g - o = 0, 3*l = 2*g + 3 + 6. Suppose 4*x - 23 = l*x. Is x a multiple of 11?
False
Let o be (-7)/(42/12) + 262 + 0. Suppose -k + o = 4*k. Is 12 a factor of k?
False
Suppose 0*f = -f - 8. Let g = f - -3. Let x = 7 + g. Is 2 a factor of x?
True
Let s be (-26)/(-6) - 3/9. Suppose 5*y - 14 = s*y. Suppose -50 + y = -2*q. Is 18 a factor of q?
True
Let q(r) = r - 12. Suppose 5*u - 7 - 11 = -2*j, -18 = -2*j + 3*u. Let y be q(j). Let n(p) = 5*p**2 + 5*p + 4. Is n(y) a multiple of 16?
False
Is 385/165 + 1931/3 a multiple of 19?
True
Let l be 0/(0 + 3) - -9. Suppose 0*i + l = 2*i + 3*m, -i + 3 = 3*m. Suppose -i*j + 3*j + 102 = 0. Is j a multiple of 17?
True
Suppose -5*k - 2*b = -25, 2*k - 3*b + 4 = -b. Suppose 125 = k*s - 1. Is 21 a factor of s?
True
Let j(w) = -7*w**2 - 5*w + 1. Let n(x) = 3*x**2 + 2*x. Let g(a) = -4*j(a) - 9*n(a). Let t be g(-4). Suppose -39 - 41 = -t*f. Is 10 a factor of f?
True
Let w = 831 - 666. Does 8 divide w?
False
Does 45 divide (1905/9)/5*27?
False
Let x = 3 + -5. Let c be x/(-8) - 284/(-16). Let o = 28 + c. Is o a multiple of 23?
True
Suppose -122 = -11*j + 241. Suppose 0 = -j*m + 32*m + 152. Is 19 a factor of m?
True
Let l(g) = -g**3 - 5*g**2 + 15*g + 10. Let n be l(-7). Suppose 2*b + b - n*r - 750 = 0, 5*b - 1215 = -2*r. Does 18 divide b?
False
Let v(s) = -6*s - 11. Let u(a) = a**3 - 3*a**2 + 1. Let d be u(2). Does 7 divide v(d)?
True
Let z = 2074 + 292. Does 33 divide z?
False
Suppose -5*m - 4 - 1 = 0. Let x = m + 16. Is 15 a factor of x?
True
Let z(k) = 3*k**2 + 5*k + 3. Let y be z(9). Suppose -3*p - y + 66 = -5*b, 3*b = 5*p + 119. Is 16 a factor of b?
True
Let s be (-14848)/352 + 2/11. Let t = 93 + s. Is t a multiple of 3?
True
Suppose 17*n - 15*n = 10. Suppose 475 = 5*y - n*q, 5*q = -0*y + 3*y - 279. Is 14 a factor of y?
True
Let r = 16 + -12. Suppose 38 = 2*q + 2*o + o, 0 = 2*o + r. Is q a multiple of 18?
False
Let a be -5*(-3 - (-81)/(-15)). Suppose 7*r + a = 273. Is r a multiple of 4?
False
Suppose -4*q + 2*t - 662 = -8*q, -1 = -t. Is 7 a factor of q?
False
Let u = 445 + 75. Does 8 divide u?
True
Let q(r) = -404*r - 12. Is 11 a factor of q(-7)?
True
Let u(l) = l**2 - 9*l + 21. Let j be u(6). Suppose -2*r = j*h - 213, -6*h - 20 = -2*h. Is r a multiple of 38?
True
Let c = 310 - -414. Does 35 divide c?
False
Let h(y) = y**3 - 7*y**2 - 5*y + 8. Let n be h(10). Suppose 4*o - 2*k - 362 = 0, 3*o + 5*k - n = 2*k. Let t = -55 + o. Is t a multiple of 14?
False
Suppose 0 = -5*q - 2*g + 726, -2*g - 3 = -9. Suppose -q = -6*u + 3*u. Is 12 a factor of u?
True
Let y be (-90)/(-8)*(-600)/(-45). Suppose 4*z - 2*f = y + 50, -z = -3*f - 45. Is z a multiple of 3?
True
Does 40 divide (-64)/80 + 7604/5?
True
Suppose o - v + 5*v + 14 = 0, -o + 21 = -3*v. Suppose 2*n - o = -0*n. Let l(j) = 6*j - 4. Is l(n) a multiple of 7?
True
Let c(w) = -w + 101. Does 9 divide c(-30)?
False
Suppose -3*w - 288 = -3*v - 4*w, -4*v + 384 = -4*w. Suppose -v = -30*r + 27*r. Let d = -2 + r. Is 15 a factor of d?
True
Let m(g) = 7*g**3 + 7*g**2 - 4*g - 4. Does 19 divide m(5)?
True
Let h = 7 + -8. Let a = h - 10. Let j = a + 36. Is 25 a factor of j?
True
Let h(n) = 3*n**3 + 2*n**2 + 9*n - 2. Let c(b) = 4*b**3 + b**2 + 10*b - 2. Let o(y) = -4*c(y) + 5*h(y). Let t be o(6). Suppose -14 = z - t. Does 5 divide z?
False
Suppose -2*m = -4 - 20. Suppose -4*v = 5*h - 5*v - 112, -5*v + m = h. Is 17 a factor of h?
False
Suppose 14*y - 415 = 9*y. Let w = y + -9. Is w a multiple of 21?
False
Let y(a) = -83*a + 431. Is y(-8) a multiple of 15?
True
Suppose -56 = -2*k + 5*y, 2*k - 3*k + 6 = 3*y. Suppose -2*l - 104 = -k. Let p = -25 - l. Is p a multiple of 10?
False
Let f = 16 + -14. Suppose -h + 4*x = -60, 4*x = -0*h + f*h - 136. Suppose -p = -h + 3. Does 17 divide p?
False
Suppose -o + 15 = -26. Let n(i) = -i**2 + 27*i + 5. Let k be n(27). Suppose -k*a + 279 = -4*r + o, -3*r - 236 = -5*a. Does 23 divide a?
True
Suppose -2325 = -5*t - 6*k + 5*k, -4*t = -2*k - 1846. Does 29 divide t?
True
Does 36 divide 7/((-539)/(-44)) - (-12084)/21?
True
Let j(x) = 3*x - 11. Let l be j(5). Let k = 0 - 0. Suppose -l*t + t + 81 = k. Is t a multiple of 9?
True
Let a(m) = -70*m - 4. Is 2 a factor of a(-1)?
True
Suppose 2*m + 3*h = 213, 0 = 2*m - m - 5*h - 113. Does 7 divide m?
False
Let h = 8 + -3. Suppose 40*q - 16 = 56*q. Let m = q + h. Is m a multiple of 2?
True
Let k(v) = 14*v - 5*v - 58 + 59. Suppose -2*p - 1 = -3. Is k(p) a multiple of 5?
True
Does 32 divide 825 - ((-2)/6 + (-203)/(-87))?
False
Let f be (-3)/(-2 + 8) - 62/(-4). Suppose 4*z + 10 = i - f, -2*i + 63 = 5*z. Does 9 divide i?
False
Suppose 3*j = -1 + 4. Let b = 3 + j. Suppose -b*t + 109 + 43 = 0. Is t a multiple of 23?
False
Let p(b) be the second derivative of -b**4 + 3*b**2 - 6*b. Let n(h) be the first derivative of p(h). Does 23 divide n(-2)?
False
Suppose -3*c - q + 5 + 23 = 0, 0 = 2*c - 3*q - 26. Let u(r) = -2*r**2 + 34*r + 15. Let a be u(17). Let i = a - c. Is i a multiple of 2?
False
Is (-2)/24*-123*44 a multiple of 9?
False
Let s = 721 + -112. Is s a multiple of 29?
True
Let p = 32 - -13. Suppose -3*v - 2*v = -p. Let l(r) = r**3 - 7*r**2 - 13*r + 11. Does 14 divide l(v)?
True
Suppose 0*b + 5*b - 180 = 0. Let g = b - 1. Let i = g - -22. Is 19 a factor of i?
True
Let d be ((-2)/(-4))/((-3)/(-498)). Suppose 0 = 3*f - d - 70. Does 15 divide f?
False
Let q be (512/48)/(2/3). Let l(t) = -t**3 + 16*t**2 + 3*t - 20. Does 14 divide l(q)?
True
Let g be 1/((-10)/25)*4. Let c(d) = 2*d**2 + 9*d - 18. Does 6 divide c(g)?
False
Suppose 4*z - 2596 = -4*u, -91*u + 1945 = -88*u + z. Is 33 a factor of u?
False
Let u(f) = -f**3 - 18*f**2 - 20*f + 19. Let x = 23 + -18. Suppose 30 = -3*l - 2*k - 19, 5*l + 80 = -x*k. Does 16 divide u(l)?
False
Suppose 3*k + 3 = -5*u, 2*k - 4*u - 16 = k. Is 15 a factor of (k/5)/(-3*(-2)/225)?
True
Suppose -2*k = 3*n + 20, 0 + 8 = 2*k - 4*n. Let w(p) = p**3 + 5*p**2 + p + 4. Is w(k) a multiple of 2?
True
Let t(s) = -12*s - 19. Let x be t(-2). Suppose -x*c - r + 1120 = -66, -230 = -c - 2*r. Does 34 divide c?
True
Let r = 15 + 377. Is r a multiple of 24?
False
Let q(u) = 4*u**2 + 5*u - 5. Let r(c) = 39*c - 5 - 8*c**2 + 27*c + c**3 - 59*c. Let b be r(7). Does 12 divide q(b)?
False
Does 52 divide (-17)/(119/(-13713)) - 10?
False
Suppose -5*h = 5*r - h + 44, -2*h + 22 = -3*r. Let g be (-1*1)/(r/32). Suppose 39 - 15 = g*z. Is z a multiple of 4?
False
Let k be (45/9)/(-1*1) - -105. Suppose -1 = -s + 1. Suppose -4*j + 97 = 5*v, -s*j + k = 3*j + 2*v. Is 9 a factor of j?
True
Suppose -4 = 3*c - c. Is 4 a factor of 12 - c/2*-3?
False
Let l