Suppose -l*a + 123 = 3*t, -5*t = 4*a - 58 - 59. Let s = 58 - a. Is s a multiple of 15?
False
Let m be (-13)/(-2) - 19/38. Let k(p) = 27*p + 2. Is k(m) a multiple of 5?
False
Let b(h) = 12*h + 13. Let u be b(7). Suppose 5*i + 200 = -5*f, 283 = -5*f + 2*i + u. Let k = f - -68. Is 11 a factor of k?
False
Does 16 divide 580/6 + (4 - (-70)/(-15))?
True
Let c be 7 - (6/21 + 12/7). Suppose 85 = 2*v + 3*u - 57, 0 = c*v - u - 372. Is v a multiple of 6?
False
Suppose -5 = 5*g + 5. Is 12 a factor of 54*(g + 2/8*14)?
False
Suppose 2*c = -19 + 9, 2*j - 3*c - 59 = 0. Is 3 a factor of j?
False
Suppose 5 + 10 = -3*n. Let p(c) = -9*c - 12. Is 5 a factor of p(n)?
False
Let o(w) = w**3 - 12*w**2 + 3*w - 17. Let y be o(11). Let v be 168 + (-2)/(-4)*0. Let i = y + v. Is i a multiple of 16?
False
Suppose -g = 0, -5*z = -4*g - 0*g. Suppose -5*u + 21 + 4 = z. Suppose u*w = -5*h + 388 + 272, -4*h + 123 = w. Is 34 a factor of w?
False
Let q(w) = w**3 - 16*w**2 + 71*w - 2. Let s be q(8). Let a be (4/(-6))/(4/(-30)). Suppose y - 3*y - a*l = 0, 0 = 5*y - l - s. Is 5 a factor of y?
True
Let u(m) be the second derivative of m**4/12 + 7*m**3/6 - 4*m**2 + 10*m. Is 5 a factor of u(-9)?
True
Let t be ((-2)/(-5))/(2/20). Let l be -3 + -10 + -3 + t. Is 21 a factor of (-1 - -43)*(-6)/l?
True
Let o = 504 - -388. Does 28 divide o?
False
Let q(h) = -26*h + 1. Let b(f) = -26*f + 1. Let a(d) = -2*b(d) + 3*q(d). Is a(-4) a multiple of 17?
False
Is 43 a factor of ((-1856)/6)/(46/(-69))?
False
Let i(t) = -t**2 - 5. Let p be i(0). Let h = p - -6. Does 11 divide 9/3*(h - -9)?
False
Let m be -1 + 3 + 3 + -42. Let n = 97 + m. Does 10 divide n?
True
Let v(d) = 28*d + 68. Is v(10) a multiple of 11?
False
Let j = -4 - -7. Suppose -v + 6 = 4*x, 2*v = 3*x + j*v - 4. Suppose x*t = 48 + 40. Is 11 a factor of t?
True
Let b(s) be the third derivative of 6*s**2 + 0*s + 41/24*s**4 + 0 - 2/3*s**3. Is b(2) a multiple of 15?
False
Suppose 6*g + 2*g = 184. Is 2 a factor of g?
False
Let t = 2226 + -1467. Is t a multiple of 23?
True
Suppose 0 = -4*p - r + 7686, -2*r + 3535 + 311 = 2*p. Is 22 a factor of p?
False
Suppose 36564 - 6214 = 25*v. Is 24 a factor of v?
False
Let w = 489 - 426. Does 7 divide w?
True
Suppose -901 - 6931 = -8*q. Is 70 a factor of q?
False
Let f(m) = -3*m - m**2 + 143 - 5*m - 151. Let d be f(-6). Suppose -l = -d*n + 351, -3*n + 2*l + 260 = -2*l. Does 22 divide n?
True
Let z(o) = -o - 11. Let j be z(-4). Let m(x) = x**3 + 5*x**2 - 13*x + 9. Let l be m(j). Is 15/l*72/10 a multiple of 18?
True
Suppose 9*t = 12*t + 27. Let j(y) = y**2 + 7*y - 13. Let c be j(t). Suppose -c*o + 64 = -86. Is 23 a factor of o?
False
Let i(m) be the second derivative of 0 + 10*m + 0*m**2 - 5/2*m**3. Is i(-2) a multiple of 5?
True
Let u(d) = d**2 + 7*d - 89. Does 2 divide u(-17)?
False
Suppose 2*c = 6 + 6. Suppose 0 = c*k - k - 535. Is 13 a factor of k?
False
Let p(r) = r**2 - 12*r + 23. Is p(-11) a multiple of 12?
True
Let r(j) = 4*j**2 + 4*j + 3. Let p be r(-6). Let v be (-12)/15 + 9864/(-120). Let h = v + p. Does 26 divide h?
False
Let g(o) = -4*o**2 - 2*o + 1. Let i be g(1). Let q = 8 + i. Is 6/(-3) + q + 82 a multiple of 24?
False
Let c(f) = -3*f - 12. Suppose -20 = 4*m, -5*k = m + 9 + 16. Let u be c(k). Suppose u = 4*x - 3*x - 78. Is x a multiple of 13?
True
Let h = 51 - 49. Suppose 7 = -h*x + 39. Is x a multiple of 13?
False
Let c = 268 + -440. Does 12 divide c/(-14) - (-8)/(-28)?
True
Suppose 1472 = 2*t + 2*t + u, 0 = -5*t + 4*u + 1819. Is t a multiple of 11?
False
Suppose -g - 16*g = -17. Let r be 0 + -2 - 1*-2. Suppose a = r, -p + 4 = 5*a - g. Does 4 divide p?
False
Let k be 3 + 0 + 159/(-3). Does 17 divide 2*(-1022)/(-20) + 10/k?
True
Let g = -860 + 2093. Is g a multiple of 9?
True
Let n = 766 + 32. Is 21 a factor of n?
True
Let i(x) = -10*x + 11. Suppose 0 = -11*a - 14 - 30. Is i(a) a multiple of 17?
True
Is ((-76050)/260)/((-6)/40) a multiple of 23?
False
Suppose 4*a = -5*y - 2 - 16, -y + 2 = 0. Is 7 a factor of ((-9)/3 - a)/(4/26)?
False
Suppose -6*o = -9*o + 21. Is o/((-14)/(-6)) + 53 a multiple of 7?
True
Let u(p) = 20*p**2 + 43*p - 198. Does 123 divide u(12)?
True
Suppose 0 = 8*y - 12*y - 107520. Does 23 divide y/(-195) + 2/13?
True
Let x = 9 - -54. Is 3 a factor of x?
True
Suppose 5*w - 5*n + 0*n = -695, 273 = -2*w + 3*n. Let c be (2/(-6))/(6/w). Suppose 5*g + c = -2*v + 323, -234 = -4*g + 2*v. Does 30 divide g?
False
Suppose 0 = -9*b + 1091 + 1087. Is b a multiple of 4?
False
Let p(q) = 34*q**3 + q**2 + 7*q. Let s(w) = 17*w**3 + w**2 + 3*w. Let x(f) = 2*p(f) - 5*s(f). Is 3 a factor of x(-1)?
True
Suppose 3*l + 32 = 4*p - 3, -4*p - 1 = l. Let a = 56 + l. Let x = -37 + a. Does 5 divide x?
True
Suppose -9*r + 8 = -8*r. Let x(t) = t**2 + 5*t - 19. Is 22 a factor of x(r)?
False
Let r = 8 - 8. Suppose r = -3*x + 72 + 240. Is 13 a factor of x?
True
Suppose 2*q = 5*m + 1185, -5*q + 3*m + 2938 + 15 = 0. Does 36 divide q?
False
Suppose 5*p = -3*i - 23, -3*i = -0*p + 4*p + 22. Is 7 a factor of (50/(-15) - -3) + (-188)/i?
False
Suppose -2*g - 3065 = -i, 0 = 127*i - 122*i - g - 15361. Is i a multiple of 94?
False
Let p = 52 + -37. Is p/35 + (-543)/(-7) a multiple of 4?
False
Let x(m) = -3*m**2 - 100*m - 8. Is 39 a factor of x(-25)?
False
Suppose -4*d + 4 = -a, -3*d + 2 = -a - 0. Suppose 42*n - 45*n + 15 = 0. Suppose -4*v - o = -v - 13, n*v + d*o = 22. Is v a multiple of 2?
True
Let g be (-5 - -7) + 12/2. Let i = -3 + g. Is i a multiple of 5?
True
Suppose 13 = 3*s + h, -2*s + 7 = s + 4*h. Suppose 123 - 43 = s*z. Is z a multiple of 16?
True
Let u = -44 - -60. Let l(s) = s**2 - 13*s - 16. Is 9 a factor of l(u)?
False
Is (2*1*9)/((-453)/(-24764)) a multiple of 24?
True
Suppose -10*a = -13*a + 36. Suppose -3*s = a, 2*f - 51 - 155 = -4*s. Is f a multiple of 29?
False
Let t(s) = s**2 - 8*s - 9. Let y be t(-6). Suppose 0 = f - y + 12. Suppose -195 = -3*p - f. Is p a multiple of 22?
True
Let k(c) = 60*c + 525. Does 35 divide k(0)?
True
Let t(v) = v + 11. Let s be t(-13). Let p(c) = -c**3 - 19*c**2 - 18*c - 25. Let h be p(-18). Does 26 divide h/s*216/30?
False
Let p = 43 - 39. Suppose 3*l + p*z = 285 + 180, -2*l = -5*z - 333. Is l a multiple of 18?
False
Let n be 2 + 1 - (5 - 6). Suppose n*g = -315 - 257. Is (-403)/g + (-4)/(-22) a multiple of 2?
False
Suppose 0*d + d - 5 = -3*f, -2*d = -2*f + 6. Suppose y - 2*v + 4 = 0, -4*y + 12*v - 8*v = 4. Suppose s - 58 = -7*c + y*c, f*c = -3*s + 109. Is 9 a factor of s?
False
Let h be 0/(-1) + -2 + 6/3. Suppose -4*q + 2*y + 438 = h, -q + 4*y = -0*q - 92. Is q a multiple of 28?
True
Let h = 15 - 13. Suppose -h + 8 = 3*w. Let c = 14 - w. Is c a multiple of 6?
True
Suppose 3*q - 4*z = 7172, -2*z + 10 = 2. Is q a multiple of 23?
False
Let m = -3 - -9. Suppose 7*a + 20 = m*a. Let r = a - -58. Is 19 a factor of r?
True
Let r = 109 + -198. Let l = -13 - r. Suppose 7*i - 3*i - l = 0. Is 4 a factor of i?
False
Suppose 54 - 414 = -12*z. Does 30 divide z?
True
Let r(j) = -16*j - 2. Let a be r(5). Let i = a + 197. Is 23 a factor of i?
True
Let n = 1 - -5. Suppose -n = 2*w - 12. Suppose -5*p - 5*t = -200, -4*p + 132 = -0*p - w*t. Is p a multiple of 26?
False
Suppose 5*k - 5*n = 2365, -5*k = -4*k - 2*n - 477. Does 67 divide k?
True
Let d(c) = c**3 - 6*c**2 + 3*c - 9. Let n = 23 + -17. Is d(n) a multiple of 4?
False
Suppose -5 = -2*x + 5. Let j(s) = 4*s - 2 - 7*s + x*s. Does 5 divide j(7)?
False
Let n be 15/5 - -3 - -3. Suppose n*j - 3*j - 306 = 0. Does 9 divide j?
False
Let f = 925 - 481. Does 37 divide f?
True
Let t = 19 - 13. Let j be 0 - 64 - 18/t. Let d = -24 - j. Is d a multiple of 16?
False
Let x = 710 - -604. Is 19 a factor of x?
False
Let f(y) = 2*y**2 - 16*y - 5. Suppose 0*o - 3*o = 18. Does 10 divide f(o)?
False
Suppose 0 = 2*j + 6, 2*m + 3*j + 2*j + 9 = 0. Let n be 0*(m - 5/2). Let s = 10 + n. Does 5 divide s?
True
Let y = -21 - -26. Let d = -10 + y. Let c(r) = r**2 + 4*r + 1. Is c(d) a multiple of 2?
True
Let g be 14*5/(105/(-18)). Is g/(-1*(-2)/(-3)) a multiple of 18?
True
Let o be 9 - 1 - (2 + 0). Let s(h) = h**3 - 7*h**2 - 2*h + 7. Let j be s(o). Let q = j + 91. Is q a multiple of 25?
True
Suppose 4*x + 5*c = 7*x - 10975, 4*c = -3*x + 10930. Is x a multiple of 81?
False
Let p(c) = -12*c**3 - 5*c**2 - 6*c + 4. Let i(b) = 61*b**3 + 26*b**2 + 31*b - 21. Let g(o) = 2*i(o) + 11