rue
Suppose 8 = 3*f - s, -4*f - 4*s = -1 - 15. Suppose g + 8 = -5*d + 84, f = 3*d. Is g a multiple of 16?
False
Let k be (-12)/8*(-250)/15. Let r be (k/30)/((-2)/(-12)). Suppose 0 = 4*l + m - 109, -3*l - r*m + 13 = -2*l. Does 7 divide l?
True
Let v(j) = 30*j**2 - 5*j + 13. Let d(f) = 15*f**2 - 3*f + 6. Let p(k) = 5*d(k) - 2*v(k). Does 14 divide p(1)?
True
Let y = -12 + 13. Suppose -y = -d, 4*d - 336 = -5*m + 358. Is m a multiple of 23?
True
Let m be 2/(-12) + 9/54. Suppose j + 2*n - 48 = -j, -5*j + 5*n + 90 = m. Is 3 a factor of j?
True
Suppose 2*b = 109 + 207. Suppose -69 = -l + b. Is 11 a factor of l?
False
Let s = -243 - -443. Does 40 divide s?
True
Let u be 12*(-4 - 55/(-15)). Let w(d) = 5*d - 1. Let p(a) = 10*a - 3. Let b(k) = 3*p(k) - 7*w(k). Is b(u) a multiple of 12?
False
Let q be 31 - (0 + 2)*1. Suppose 4*w - 23 = -h, -h + 16 + 9 = 5*w. Let a = q - h. Is 14 a factor of a?
True
Let c(a) = -a**2 + 9*a - 16. Let t be c(4). Let z(n) = 5*n**2 + 4*n - 16. Is z(t) a multiple of 7?
False
Suppose 9*x = -5*x - 420. Let a be (-4)/(-6) - 20/3. Does 8 divide (-398)/(-10) + a/x?
True
Suppose 4 = -0*a - 4*a. Let k be (-5)/(5/3)*a. Is 4*22 - (7 - k) a multiple of 13?
False
Let u(d) = 300*d + 5 + 3*d**2 - 2*d**2 - 312*d. Let a(c) = -13*c - 1. Let j be a(-1). Is u(j) a multiple of 3?
False
Let w be 3/9*(4 - 1). Let o(r) = 0*r + 32*r**2 + r - 1 + r - r. Is 16 a factor of o(w)?
True
Let x = 3498 - 1973. Does 61 divide x?
True
Suppose y - 5*y = 4. Let n be y + -2 - 70/(-2). Let x = n + -14. Does 18 divide x?
True
Suppose -5*h + 10*o = 7*o - 3243, -3*o = -h + 651. Is 15 a factor of h?
False
Let y = 9 + -5. Suppose 9*g - 4*g - 25 = 0. Suppose g*a - 21 = -5*s + 74, y*a + 2*s = 70. Is a a multiple of 6?
False
Suppose y = -3*i - 4, -13*y - 44 = -16*y + 5*i. Is 2 a factor of y?
True
Let o be (-2)/3 + (-17)/(-3). Let z(d) = -d + 8. Let q be z(o). Suppose 0 = -2*g - g - q, m + 2*g = 13. Is m a multiple of 15?
True
Suppose -3*n = -6, 2*n + 308 = 5*q - 338. Let v(h) = 50*h - 14. Let g be v(4). Let j = g - q. Is 14 a factor of j?
True
Let y = 121 - 26. Is 14 a factor of y?
False
Suppose -14*f + 13*f = 0. Let y(l) = -l**2 + l + 20. Let q be y(0). Suppose f = -p - p + q. Is 5 a factor of p?
True
Let c = 6 - 5. Suppose -2 = n + 1. Is n/c - (-55 - -1) a multiple of 17?
True
Suppose 3*f + 681 = 3*i + i, f + 3 = 0. Is i a multiple of 6?
True
Suppose 3*a + c - 528 = 2*a, -2*c = 4*a - 2114. Is a a multiple of 30?
False
Let a(b) = b**3 - 17*b**2 - 45*b + 90. Is 18 a factor of a(21)?
False
Suppose -1316*y - 6010 = -1326*y. Is y a multiple of 2?
False
Suppose 0 = 2*v - 5*z - 1739, 15*z - 20*z - 2596 = -3*v. Does 10 divide v?
False
Suppose 68 = 5*j + 2*c - 26, 0 = -4*c + 8. Suppose -j = 5*u - 43. Let k(i) = i**3 - 5*i**2 + 6*i - 4. Does 13 divide k(u)?
True
Let c(o) = -o**3 - 17*o - 12*o**2 + 30*o + o**2 + 16. Let n be c(-12). Suppose 2*k + 2*t = 5 + 67, 5*k + n*t - 183 = 0. Is 13 a factor of k?
True
Let c be (-9 - -8)/(2/(-438)). Let h = 154 - 309. Let b = h + c. Is b a multiple of 32?
True
Let g be (10/(-7))/((-12)/42). Suppose 0 = -3*v - 0*x - g*x + 74, 3*x = -v + 30. Is v a multiple of 9?
True
Suppose -3*y = -5*b + 1437, 12*y = -2*b + 14*y + 578. Is 57 a factor of b?
True
Suppose -3*p + 37 + 126 = 2*n, p - 45 = -3*n. Let f be -4*-1*1/(-4)*0. Suppose g = -f*g + p. Does 16 divide g?
False
Let k = 35 + -18. Let d = 31 + k. Does 20 divide d?
False
Let b(x) = x + 15. Let m(y) = -2*y**2 - 1. Let f be m(-2). Let i be b(f). Suppose z + 50 = i*z - 2*k, 5*z - 50 = -k. Does 10 divide z?
True
Let n be (-2)/3*(-21)/2. Suppose -10*z + 68 = n*z. Does 2 divide z?
True
Suppose -6*r = -2*r - 88. Suppose -718 = -4*d + r. Does 41 divide d?
False
Let t be (-21 + 19)/(2/14). Is (t/(-28))/((-2)/(-268)) a multiple of 10?
False
Let t(k) = k**3 + 3*k**2 - 6*k - 8. Let z be t(-4). Suppose -s = -z*s + 6. Is 11 a factor of s/(-2) + (16 - -3)?
True
Suppose -3*u - 3*o - 348 = 0, 4*u = -u + 2*o - 587. Let z = -5 - u. Does 16 divide z?
True
Let g = 1319 - 946. Is 8 a factor of g?
False
Let j = 550 + -206. Is j a multiple of 19?
False
Let i(w) be the second derivative of -5*w**3/6 + 11*w**2/2 + 7*w. Let l(x) = 9*x - 22. Let n(t) = 5*i(t) + 3*l(t). Does 11 divide n(11)?
True
Let r be 52/2 - 1*4. Suppose 5*z + r = z + 3*v, 4*v - 4 = -z. Is 1/z - (-1595)/44 a multiple of 18?
True
Let k(t) be the second derivative of -t**7/2520 - t**6/60 + t**5/120 + t**4/6 + 3*t. Let i(q) be the third derivative of k(q). Is i(-10) a multiple of 21?
True
Suppose -4*n + 4*t = -5004, 6*n - 5*n + t = 1257. Does 17 divide n?
False
Suppose 3*a + 2*a = -2*p - 194, -p - 5*a - 107 = 0. Let y be (-3 - p)/(3/(-6)). Does 17 divide 36/14*y/(-18)?
False
Does 18 divide 133/(30/(-5) + 2 + 5)?
False
Let z(i) = i**3 + i + 48. Let y(g) = g**3 - g**2 - g - 9. Let a be y(0). Let c = a - -9. Is z(c) a multiple of 24?
True
Let k(a) = a**3. Let f(j) = -3*j**3 + 7*j**2 - 3*j - 19. Let i(b) = -f(b) - 2*k(b). Is i(7) a multiple of 20?
True
Suppose 15*v - 13*v = -10, 3*x - 1279 = -4*v. Is 12 a factor of x?
False
Suppose -4*g + 214 = 26. Let f = g + -17. Is f a multiple of 10?
True
Let y = -7 - -10. Suppose 0 = -3*t + 8*x - 3*x + 151, -y*t + 155 = -4*x. Suppose 18 + t = 5*m. Is 4 a factor of m?
False
Suppose -q + 2*b = -b - 12, -2*q + 64 = 2*b. Is q a multiple of 3?
True
Let g be 3/15 - (-9)/5. Let b = -7 - -10. Suppose p = 5, -g*x - 56 + 159 = b*p. Does 22 divide x?
True
Let n(i) = i**3 - 16*i**2 + 15*i + 3. Let f be n(15). Suppose -2*l - 3*l = -f*r - 245, 0 = -5*l - 2*r + 245. Is l a multiple of 11?
False
Suppose -4 + 2 = r. Let t be r + (-4 - -510) + -3. Is (-2)/(-6) + t/9 a multiple of 9?
False
Let u(q) = 3 + 16*q + 5*q**2 + 4*q**2 - 4*q**2 + 0. Let z(g) = 3*g**2 + 8*g + 1. Let t(d) = 4*u(d) - 7*z(d). Is 5 a factor of t(8)?
True
Suppose 2*f + 4*o = -3*f - 44, -4*o - 28 = 3*f. Let g(r) = 2*r**2 + 6*r - 11. Is 11 a factor of g(f)?
False
Suppose 52*n - 41*n - 2079 = 0. Does 9 divide n?
True
Let q = 66 - 45. Is 3 a factor of q?
True
Let c(t) = t**2 + t + 2. Let f be c(0). Suppose 210 = 5*j - 5*v, -v + 2*v + 87 = f*j. Is 15 a factor of j?
True
Let x(f) = 4*f**2 + 9*f + 6. Let b be ((-9)/(-6))/(27/(-72)). Does 11 divide x(b)?
False
Suppose -4*s + 1 = 5. Let o be -5 + (-12)/(-3) - s. Let c(u) = -u**3 + 2*u + 97. Is c(o) a multiple of 15?
False
Let q(y) = -16*y - 47. Let z(o) = -7*o - 23. Let d(n) = -2*q(n) + 5*z(n). Does 17 divide d(-24)?
True
Let q be (-4 + 1)*(7 + -8). Suppose q*g + 402 = 6*g. Does 20 divide g?
False
Let r(t) = t**2 - t - 10. Let j(w) = 2*w**2 + 6*w - 3. Let m be j(-3). Is 2 a factor of r(m)?
True
Is -24*(-6 + 1945/(-15)) a multiple of 88?
True
Let q be 49/(-28) + (-3)/(-4). Let p = 10 + q. Does 3 divide p?
True
Suppose 3*r = -3*t + 69, r - 2*r = 5*t - 31. Let o = r + -18. Is o even?
False
Let w = -1352 + 2024. Is w a multiple of 16?
True
Suppose -4*q + 271 = 15*r - 10*r, q + 2*r = 64. Is 13 a factor of q?
False
Suppose -31 = -4*z + 17. Let u(y) = -y**2 + 12*y + 6. Let r be u(z). Let i = 24 - r. Does 12 divide i?
False
Suppose n - 23 = -b, 44 = n + 4*b + 6. Does 9 divide n?
True
Suppose 0 = -5*r + 4*v + 215, 2*r + 29*v - 74 = 33*v. Does 38 divide r?
False
Let f(k) = k**3 + 4*k**2 - 4*k + 4. Let q be (-6)/(-14) - (-68)/(-28). Let n = q + -2. Is f(n) a multiple of 5?
True
Let g(b) = -b**3 - 18*b**2 + 10*b - 7. Let c = -67 + 48. Does 21 divide g(c)?
False
Let i be 1/(-1*(-4)/(-28)). Let g = 7 + i. Suppose 3*x - 2*x - 12 = g. Is x a multiple of 6?
True
Let w(u) = -37*u**2 - 2*u - 7. Let n be w(7). Does 29 divide n/(-21) - 1/3?
True
Let z(n) = n**3 + 16*n**2 + 23*n - 12. Let i be z(-11). Let o = i + -157. Is o a multiple of 35?
False
Let c(u) = -u**3 + 5*u**2 + 7*u - 2. Let d be c(6). Suppose -d*l = -3*k + 34, 5*k + l - 34 = 2*l. Suppose -3*r - 165 = -5*x - k*r, -5 = -r. Does 10 divide x?
True
Let s = 1614 - 711. Does 43 divide s?
True
Let u = 92 - 50. Let c = u - 34. Is 8 a factor of c?
True
Let u = -1466 - -4027. Is 19 a factor of u?
False
Let m(l) = l**3 - 9*l**2 - 9*l - 8. Let f be m(10). Let b(r) = -1 + 4*r**3 - 3*r**f - 3*r + r**2 + 4*r. Is 8 a factor of b(2)?
False
Suppose 0 = -4*t - 5*d - 4 + 26, -2*d = 2*t - 10. Suppose -5*s + t*s + 4 = 0. Is ((-12)/(-3) - -96)/s a multiple of 10?
True
Let h be (1 + 15)*(-2 - (-63)/6). Let s = h +