of 16?
True
Suppose 2*p - 10 = -4. Suppose 29*r = 12*r + 85. Let s = r + p. Is s a multiple of 8?
True
Let h = -418 + 590. Is 43 a factor of h?
True
Suppose 4*n = 7555 - 1755. Is n a multiple of 75?
False
Suppose 5*s - 390 = 770. Suppose -5*d - 5*t + t + s = 0, -150 = -3*d + 3*t. Is d a multiple of 6?
True
Let g be 28 - 0*(-1)/(-3). Suppose -3*i + g = 4*j, -2*j = -7*j + 5*i. Suppose -42 = -j*r + 114. Does 13 divide r?
True
Let s = 2047 + -883. Is s a multiple of 12?
True
Let r(x) = x**3 + 16*x**2 + 15*x + 2. Let v be r(-15). Is (-5)/v*160/(-25) a multiple of 3?
False
Let s be -6 + 11 + -3 + (-217)/(-1). Suppose -8*g + 907 = s. Is g a multiple of 43?
True
Let q be -12 + (-1 - (3 + -3)). Let b = q + 15. Suppose -3*i - b*k + 28 = -0*k, -2*i + 17 = 3*k. Is i a multiple of 10?
True
Suppose f + g - 42 = 0, f - 5*f = 5*g - 173. Let u be 2/(-1) + f - -1. Suppose -2*y = -5*y + u. Does 6 divide y?
True
Suppose -3*g - 3*o = 39, g - 2*g + 4*o + 12 = 0. Let w(y) = -1 - 9*y - y**2 - 2 - 2 + 4. Is w(g) even?
False
Let y = 3 - -200. Is 5 a factor of y?
False
Suppose -2*n = 3*n + 35. Is 4 a factor of -2 + (5 - 1 - n)?
False
Let x(f) = -f**3 - 40*f**2 + 5*f + 206. Is x(-40) even?
True
Suppose x + 2*x + 2*a - 22 = 0, -2*a = -3*x + 2. Is 9 a factor of 7/28 + 11/x - -133?
False
Suppose -f - 27 + 26 = 0, -4*f + 4136 = 5*x. Is x a multiple of 92?
True
Let k be 2 + 0/(3 - 7). Suppose 9 = k*i - 5*i. Is ((-30)/(-4))/(i/(-8)) a multiple of 17?
False
Suppose 0 = 2*z, 4*k + 4*z = 329 - 9. Let y = k + -40. Is y a multiple of 20?
True
Let s(f) = -f**3 - 13*f**2 - 7*f - 7. Let n(i) = -2*i - 1. Let k be n(5). Let d(v) = -v - 24. Let y be d(k). Does 28 divide s(y)?
True
Let r be 2/(-8) + (-1603)/(-28). Suppose 4*g + r = 3*z + 288, g - 2*z = 54. Is 12 a factor of g?
True
Let j = 388 - 270. Is 28 a factor of (0 + j)/2 - 3?
True
Suppose 100*d - 2448 = 99*d. Is d a multiple of 36?
True
Let y = 1566 + -994. Is y a multiple of 40?
False
Suppose 6*l - 2*l = -4*j - 4, 0 = -5*l - 20. Suppose -v - 6 = -j*v. Let q(p) = p**3 - 5*p + 7. Does 19 divide q(v)?
True
Let z = 634 - -248. Suppose -4*m - 2*m + z = 0. Does 16 divide m?
False
Suppose -313*i + 289*i + 56640 = 0. Does 59 divide i?
True
Let w(m) = -6*m - 36. Let i = -47 + 27. Is 14 a factor of w(i)?
True
Suppose 21*w + 1088 = 4868. Is w a multiple of 15?
True
Let k(s) = -s**2 + 4*s + 5. Let d be k(0). Suppose 5*r - 4*o = 8*r - 266, -5*o = d*r - 435. Is r a multiple of 8?
False
Suppose -124*f - 20 = -129*f. Let z be 1/2 + 9/(-6). Is 5 a factor of (-5)/(2*z/f)?
True
Let i be 118/((-4)/(-4)) - -4. Suppose 3*u = 15, 0*a - 2*a - 4*u + i = 0. Is 9 a factor of a?
False
Let u(z) = 2*z + 29. Let h be u(-13). Suppose 5*b + 17 = h*i, i + 0*i + 5*b = 39. Is i a multiple of 12?
False
Suppose t - 4*d - 2 = 0, t + 2*d - 20 = -2*t. Let w(b) = 2*b**3 - 10*b**2 + 10*b - 12. Is 30 a factor of w(t)?
True
Suppose 4*s - 2 - 110 = 0. Does 2 divide s?
True
Suppose 4*u + 4*y = 2*u - 156, 3*y + 159 = -2*u. Let q = u - -90. Does 6 divide q?
True
Let t be 12/18 - 8/3. Let o(p) be the second derivative of -29*p**3/3 + 2*p**2 + 14*p. Is o(t) a multiple of 28?
False
Suppose 22*c - 9794 = 194. Is c a multiple of 4?
False
Let n = 15 - 11. Suppose -4*t + 110 = -138. Suppose -x + 5*f = f - 33, -n*f = -2*x + t. Is 29 a factor of x?
True
Suppose 6 = -4*s + 2*s. Does 8 divide (-105)/(-14) + s/(-2)?
False
Let j(m) = 3*m**3 + 4*m**2 + 12*m + 15. Let r(y) = y**3 + y**2 + y + 1. Let x(b) = j(b) - 4*r(b). Does 29 divide x(-5)?
False
Does 8 divide (6 + -7)/(14075/(-2345) - -6)?
False
Let f be 8*(-5 - (-105)/20). Suppose 4*d - 5*y - 361 = 0, -d - y + 69 = f*y. Is d a multiple of 21?
True
Let b(u) = -u**3 - 21*u**2 + 53*u + 23. Let g be b(-23). Let i = g - -144. Is 6 a factor of i?
True
Suppose -16*s = -6*s - 12620. Is 14 a factor of 46/(-115) + s/5?
True
Let s(t) = -9*t - 13. Let l = -44 - -27. Is 14 a factor of s(l)?
True
Let i = -142 - -569. Does 12 divide i?
False
Let l(a) = -a**3 + a**2 - 2*a + 2. Let b be l(2). Let k be (-4)/5*70/4. Is 11 a factor of (-628)/(-28) - b/k?
True
Suppose 3*c - 3*x - 2*x = -76, -c - 22 = -x. Let j = -2 - 7. Let i = j - c. Is 8 a factor of i?
True
Suppose -9*n - 156 = -606. Is n a multiple of 25?
True
Let f(k) be the first derivative of -k**3/3 - k**2/2 + 3*k + 2. Does 2 divide f(0)?
False
Let y(d) = -3*d - 1. Let r be y(-3). Let x(v) = -2*v**3 - 9*v**2 + 0*v**3 + 10 + 3*v**3 + 9*v. Is x(r) a multiple of 17?
False
Let m = -891 + 1563. Is m a multiple of 83?
False
Suppose 0 = 5*a - 4*w + 10, 2*w = 2*a + 2 + 4. Suppose x + 4*r - 315 = 0, -3*r = -a*x - 0*x + 575. Is 59 a factor of x?
True
Let r(m) be the second derivative of -m**5/20 - m**4/2 - m**3 + 5*m**2 + 16*m. Is r(-5) a multiple of 15?
True
Let f(c) = -5*c**3 - 8*c**2 - c - 2. Let j(v) = -6*v**3 - 8*v**2 - 3. Let m(d) = -5*f(d) + 4*j(d). Does 12 divide m(-7)?
True
Suppose 2 = q - 1. Suppose 0 = -n - 2*a - 12 - 9, q*a = -n - 25. Let m = n + 21. Is m a multiple of 4?
True
Suppose 0 = -2*m - 84 - 28. Let f = -40 - m. Is 9 a factor of f?
False
Let h be (7/14)/(2/44). Let a(o) = -o - 4. Let w(r) = r + 4. Let p(n) = -6*a(n) - 5*w(n). Is p(h) a multiple of 5?
True
Suppose -13*n + 14*n = -7. Let a = 3 - n. Is a a multiple of 4?
False
Let v(p) = 14*p + 34. Let h be v(14). Suppose 0 = k + 3*n - 42, 0 = 5*k + 4*n - 9*n - h. Does 14 divide k?
False
Let p be 28/(-35) - 57/(-15). Suppose p*a + a - 146 = -m, -140 = -4*a + 2*m. Does 9 divide a?
True
Suppose -4*i = -241 + 57. Let r = i + -78. Let g = r - -68. Is 9 a factor of g?
True
Let i = 906 - 447. Is i a multiple of 9?
True
Let g(f) = -f**3 + 2*f**2 + 4*f - 5. Let u be g(2). Suppose -5*a + u*d + 194 = -916, -4*a + 881 = -d. Is 37 a factor of a?
False
Let t = -15 - -18. Suppose 6*j + 4*n = 4*j - 4, j - 8 = t*n. Suppose 18 = 4*q - j*q. Is 9 a factor of q?
True
Let w(g) = g**3 + 10*g**2 - 2*g - 11. Let r be 1/2 - 84/8. Let i be w(r). Suppose -z - i + 26 = 0. Is 17 a factor of z?
True
Let i be -164*13 + 1 + -4. Is 11 a factor of (i/(-3))/5 - 2/6?
False
Suppose -5710 = -2*w - 4*k, 0 = 3*w - k + 4*k - 8577. Is w a multiple of 54?
False
Suppose 4*v - 4663 = -5*t, 2*t = -5*v + 24 + 1848. Is 64 a factor of t?
False
Let l(s) = -s**2 - 79*s + 182. Is 21 a factor of l(-56)?
True
Let g(x) = -13*x + 461. Is g(-13) a multiple of 30?
True
Suppose -5*k - 34 = -214. Let u = 61 + k. Suppose 4*j - 2*c = -c + u, -3*c = 4*j - 109. Does 7 divide j?
False
Let d(c) = c**2 - 4*c + 17. Is d(13) a multiple of 11?
False
Suppose 4*h + 38 = -3*r, 1 = r - 4*h + 35. Let l = 48 + -21. Let u = r + l. Does 3 divide u?
True
Suppose -2*l + 9 + 13 = 0. Suppose -a + 62 = l. Suppose -a = -d - n, 2*n = -3*d + 5*d - 94. Does 14 divide d?
False
Suppose 5*j + 5 = 3*r - 1, 0 = 4*r + 4*j - 8. Suppose 5*a + 257 = 4*k, -2*a = r*a + 20. Is k a multiple of 29?
True
Let s(t) = -t**2 - 227*t + 0*t**2 + 237*t. Does 4 divide s(8)?
True
Let h(k) = k**3 + 15*k**2 + 22*k + 30. Suppose -9*d + 13*d + 52 = 0. Does 3 divide h(d)?
False
Let a be 1308/48 - 6/(-8). Let p be a/1 + -2 + 3. Suppose 2*m - 3*m = -4*r - 21, -3*m = 5*r - p. Is 4 a factor of m?
False
Let t be (-2)/(-4)*-1*-4. Suppose 30 = 5*j + 5*y, -j + 2*j + 5*y - 22 = 0. Suppose -2*h = -j*l - 24, -2*l = -t*h - h + 34. Does 7 divide h?
False
Suppose -26 = -4*v + 2*y - 4*y, 4*y - 8 = 3*v. Suppose 5*z = -3*w + 490, 326 = -w + 3*w + v*z. Is w a multiple of 33?
True
Let i(s) = s**3 + 7*s**2 + 8*s + 6. Let m be i(-6). Let a(d) = d**2 + 6*d + 3. Let q be a(m). Suppose -90 = -q*x - 0*x. Is 15 a factor of x?
True
Suppose 4*s - 154 = 22. Let t = 92 - s. Does 17 divide t?
False
Let y(r) be the first derivative of r**2 + 13*r - 1. Let l = 1 + -4. Is y(l) a multiple of 3?
False
Let t = 2 + -54. Let i = t + 246. Is i a multiple of 15?
False
Suppose 3*f - 3010 = -5*d, 30*f - 26*f - 3992 = 4*d. Is f a multiple of 42?
False
Suppose 9 = 4*z + 5. Is z - 1 - (-6 + 4) a multiple of 2?
True
Suppose 0 - 6 = -y. Suppose 2*j + 8 = y*j. Suppose 0 = j*s + x - 6, 0*s - 2*s + 6 = 5*x. Is 3 a factor of s?
True
Let a(y) = 5*y + 18. Let d be a(6). Let s = 1 - -17. Let x = d - s. Does 15 divide x?
True
Let f = 1276 - 744. Does 19 divide f?
True
Let a = 29 - 31. Let t(h) = -9*h + 6. Let g(y) = -10*y + 7. Let q(j) = -5*g(j) + 6*t(j). Is 3 a factor of q(a)?
True
Is 23 a factor of (-2)/(3/