 -21. Suppose 0*i = 3*u + i - 248, u = -x*i + 88. Is u a multiple of 7?
False
Let b = 3696 + -326. Is b a multiple of 7?
False
Let d = 328 + -252. Is d a multiple of 2?
True
Let l be 338 + (-4 - (3 + (-14)/2)). Let b = l + -202. Is b a multiple of 15?
False
Let a(u) = u**3 + u + 4. Let t be a(0). Let x = -1 + t. Is 1/(x/159 + 0) a multiple of 24?
False
Let l = 25 + -15. Let u = -20 + l. Is 13 a factor of (-388)/u - (-5)/25?
True
Let z = 11 + -7. Suppose -3*c - z*n = 14, 0 = c + 4*c - n - 15. Suppose -c*f - 42 = -2*l - f, -4*f = -3*l + 68. Is l a multiple of 10?
True
Let h(k) = 5*k**3 - 2*k**2 - 4*k + 8. Let f be h(4). Suppose 0 = 4*z + 3*v - 0*v - 193, 4*v = 5*z - f. Does 13 divide z?
True
Suppose 4*m - 12684 = -4236. Is m a multiple of 26?
False
Let s(n) = 61*n**3 + 2*n + 2. Let f be s(-1). Let h = 85 + f. Is h a multiple of 24?
True
Let o(y) = -y**2 + 15*y + 18. Let x be o(16). Let t(a) = 7*a - 3. Let i be t(4). Suppose -x*v - 4 = -4*g, -4*g + i = 4*v - 27. Does 4 divide v?
True
Suppose 0 = 3*i - 1323 - 117. Is 10 a factor of i?
True
Suppose j + 126 - 506 = 3*q, 5*j - 4*q - 1955 = 0. Let u = j - 248. Does 27 divide u?
False
Let k(p) be the second derivative of p**3/2 - 5*p**2/2 - 3*p. Let r be k(5). Suppose r = 7*g - 5*g. Is g a multiple of 2?
False
Suppose 0 = 2*f - 2*y - 248, -4*f = y + 3*y - 464. Is 3 + 3 + -1 + f a multiple of 41?
False
Is 12 a factor of 15 + (-32570)/(-55) - (-2)/(-11)?
False
Suppose 4*y + 4*y - 584 = 0. Suppose -2*z = -y - 47. Is 20 a factor of z?
True
Suppose -472 = z - 5*z. Let n = -4 + z. Is n a multiple of 38?
True
Let x be (3 - 4)/(3/(-105)). Let m = x + -13. Is m a multiple of 11?
True
Suppose -4*g - 5 = g, -g - 585 = 2*b. Let l = 482 + b. Let z = l - 124. Is z a multiple of 22?
True
Let c(y) = -10*y**2 - 5*y. Let s(z) = -9*z**2 - 4*z. Let d(b) = 3*c(b) - 4*s(b). Let r be d(-1). Does 5 divide r/(-20) - 244/(-16)?
True
Suppose 0 = 2*v - 4 + 6. Let x(j) = 149*j**2 + 3*j + 2. Is 37 a factor of x(v)?
True
Let h = -53 + 44. Let w(s) = -s**2 - 10*s + 21. Is 10 a factor of w(h)?
True
Let u be (-43)/(-5) - 21/35. Let v(m) = m**3 - 8*m**2 + 4*m + 7. Let c be v(u). Let p = c + -21. Does 9 divide p?
True
Does 36 divide (1 + -4 + 13)*(-2 + 20)?
True
Let t be 4*(1 - 35/20). Is 39 a factor of 150 + 2 + (-12)/t?
True
Let o(z) = 20*z**2 + 41*z + 32. Let f(m) = 7*m**2 + 14*m + 11. Let y(r) = 17*f(r) - 6*o(r). Let n be y(-7). Suppose n = h - 7. Is h a multiple of 9?
True
Suppose -764 = -5*d + 4*k, -5*d = -6*k + 3*k - 768. Is d a multiple of 3?
True
Let a(m) = m**2 - 9*m - 4. Let j(u) be the first derivative of u + 7. Let h(k) = -a(k) - 4*j(k). Is 9 a factor of h(6)?
True
Suppose 10507 = -14*y + 27559. Does 58 divide y?
True
Suppose -3*k - 17 - 7 = 0. Let u be (-3)/((84/k)/7). Is 12 + 8*u/4 a multiple of 4?
True
Let k be (-1 - -5)*(8 + 58/(-8)). Suppose -49 = -r - 2*p - 5, 3*p = k. Does 14 divide r?
True
Let z(j) = -66*j - 80. Does 14 divide z(-4)?
False
Suppose 0 = -d + 65 + 671. Does 92 divide d?
True
Is 45 a factor of 2504/(-24)*(0 + -3)?
False
Let i(t) = t**3 - t + 2. Let a(x) = 2*x - 2. Let q be a(2). Is i(q) a multiple of 6?
False
Let a = -232 + 804. Is 26 a factor of a?
True
Suppose 3*k = 4*b + 6*k - 16, -2*b + k = -8. Suppose -92 = -2*f + 3*y, -56 = 3*f - b*f + 4*y. Is 10 a factor of f?
True
Let k = -59 - -65. Suppose 0 = -k*r + 488 - 68. Is r a multiple of 32?
False
Suppose -3*b = 3*k - 15 - 0, -15 = 5*b. Let s = 51 - 47. Suppose s*c - k = 32. Does 5 divide c?
True
Suppose 2*z + 18 = -t - t, t - 3*z + 13 = 0. Let s = t + 15. Suppose -109 = -s*i + 1. Is i a multiple of 11?
True
Let f = -2 + 5. Suppose 7*g = 4*g - 5*p + 281, g = 5*p + 67. Suppose -36 - g = -f*q. Is 12 a factor of q?
False
Let f = -532 + 782. Is 36 a factor of f?
False
Let b(p) = -7*p**2 - 3. Let s be b(3). Let t = 39 + s. Let a = 92 + t. Is a a multiple of 13?
True
Suppose 14*h - 56 = 16*h. Is 69 a factor of (92/(-2))/(h/3 + 9)?
True
Suppose 2*b - 4*c - 36 = 0, 0 = -b - 3*c + 6*c + 23. Suppose -528 = -b*y + 5*y. Let k = y + -120. Is k a multiple of 28?
True
Suppose 16 = 4*a, 2*b - 2 = 3*b - 3*a. Let d = 3 + b. Does 3 divide d?
False
Suppose -630 = 52*i - 55*i. Is 8 a factor of i?
False
Suppose -3*d = -2 + 8, 3*d + 12 = 3*g. Suppose -5 = -5*x, 0 = g*w - 5*x - 227 - 98. Does 33 divide w?
True
Let i = 1571 + -842. Is 9 a factor of i?
True
Let r be (-1 - -1) + 1*4. Suppose 2 = 2*w + 5*b, r*b - 4 = -4*w + 2*b. Let u(m) = 21*m**2 + 2*m - 1. Does 22 divide u(w)?
True
Let k(o) = 10*o**3 - 6*o**2 + 8*o - 8. Let j(d) = 11*d**3 - 5*d**2 + 7*d - 7. Let f(z) = 6*j(z) - 5*k(z). Does 9 divide f(1)?
False
Let r = 1847 - 1067. Does 6 divide r?
True
Suppose -31*w - 88 = -32*w. Does 8 divide w?
True
Let c be (-4)/(-8)*-2*(-2 + 17). Is 5 a factor of 20/(6/c*-1)?
True
Suppose 0 = 3*l - 1166 - 814. Suppose 2*u - 4*n + l = -2*u, 0 = u + n + 175. Is u/(-6) - 2/6 a multiple of 14?
True
Suppose 0 = -0*d - 5*d + 5*z + 25, 0 = -3*d + 4*z + 20. Let t(w) = w**3 + w**2 - 10*w + 15. Let p be t(3). Is -3 + -2 + (p - d) a multiple of 16?
True
Let l = 23 + -83. Let o = -24 - l. Suppose 12 = -n + o. Does 12 divide n?
True
Let w = -5304 - -9082. Is 59 a factor of w?
False
Suppose 4*o + 1 - 5 = -4*z, -4*o = 5*z - 2. Suppose 4*f = 2*l - 102 - 58, -382 = -5*l + 4*f. Suppose -o*n = l - 323. Does 17 divide n?
False
Let w(g) = g**3 + 2*g**2 - 2*g - 4. Let f be w(-2). Is -2 - ((-76)/2 + f + -2) a multiple of 6?
False
Suppose 524 = 6*d + 74. Let p = 179 + -74. Let s = p - d. Is 6 a factor of s?
True
Suppose 18 = 5*u - 2*o, 2*u + 0 = o + 8. Suppose -5*b + 3*r - 16 = -891, -5*b = 5*r - 835. Is 12 a factor of (b/(-10))/(u/(-5))?
False
Suppose 10990 = 8*h + 2*h. Does 7 divide h?
True
Let u(d) = 9 - 13*d + 7*d + 7*d + d**2. Is 3 a factor of u(0)?
True
Let u(p) = p**3 + 9*p**2 - 49*p + 4. Is u(-8) a multiple of 23?
True
Suppose 18*c - 1055 = 1825. Is c a multiple of 19?
False
Let n(h) = h + 7. Let i be n(-5). Suppose -40 = -3*c - i*c. Is 13 a factor of (-6)/c - 1755/(-52)?
False
Suppose 5 = -3*p + 14. Suppose -y - j = -13, p*y = -3*j + 5*j + 44. Is ((-204)/(-14))/(2/y) a multiple of 30?
False
Suppose -4*x + 0*w - 102 = -w, -108 = 4*x + 2*w. Let k = x + 63. Is 37 a factor of k?
True
Let u(d) = 5*d**3 + 2*d**2 - d - 1. Let b be 1/((21/(-9) + 2)*-3). Is u(b) a multiple of 4?
False
Let k(s) = 126*s**2 + 6*s - 24. Is k(-4) a multiple of 48?
True
Let g = -10 - -14. Let p be -1 + g + -5 + 65. Suppose 2*y - p - 9 = 0. Is 18 a factor of y?
True
Suppose 2 + 6 = r + 3*x, -5*x - 15 = -4*r. Let b be (26/5)/((-1)/(-5)). Suppose 0*q = q + 4*l - b, 0 = -r*q - 5*l + 130. Is 12 a factor of q?
False
Let r(j) = 4*j**2 + 5*j + 3. Let b(g) = -9*g**3 + g**2 - 1. Let l be b(1). Let q = l - -6. Is r(q) a multiple of 13?
False
Let m(a) = a**2 - 8*a - 12. Let u = -36 + 52. Is m(u) a multiple of 16?
False
Let r be 1 - (4 + -5 - -3). Is 184 - (3 + r + -2) a multiple of 34?
False
Let p = 39 + -14. Let m = 40 - p. Does 9 divide m?
False
Suppose -q + 6 = 2*q. Let r = -14 + 18. Suppose -5*i = -r*k + 27, -k - 4*i + q = -10. Is k a multiple of 2?
True
Let u = 86 + -75. Let p be (0 - -7) + (0 - -2). Let z = p + u. Is z a multiple of 10?
True
Suppose -4*a = -6*a + 12. Suppose -7*u + a*u = -18. Is 2 a factor of u?
True
Let l(h) = -h + 34. Suppose 12*d - 175 = 29. Does 3 divide l(d)?
False
Suppose -3*t - 2*t = 2*x - 2, -4*t + 4 = 4*x. Let o(f) = -3 + 9 + 0 - x + 3*f. Is 12 a factor of o(4)?
False
Suppose -2*a + 10 + 0 = 0. Suppose 5*d = -h + 9, 4*d = a - 1. Suppose 0 = 3*k - 2*t - 19, -2*k = -2*t - h - 10. Is k a multiple of 5?
True
Is 2*4/20 + (-72160)/(-100) a multiple of 13?
False
Let h = 715 - -163. Does 10 divide h?
False
Suppose 2*d - 12 = 6*d - w, -2*d - 2*w - 16 = 0. Is d/2*511/(-14) a multiple of 10?
False
Suppose -60507 = -12*r - 18711. Is 24 a factor of r?
False
Let n(r) be the first derivative of 25*r**3/3 - r**2/2 - 8. Suppose -7*s + 3*s + 4 = 0. Is n(s) a multiple of 8?
True
Let m be (-16)/88 + (-290)/(-22). Suppose 5*i - m - 62 = 0. Suppose 3*r + 0*r = i. Is r a multiple of 2?
False
Suppose 4*t - 4*a - 3 - 5 = 0, a + 5 = -2*t. Is 15 a factor of (-8 - (1 - t))*-3?
True
Let w(a) = -21*a - 39. Let k be w(9). Let l = 76 - k. Is 16 a factor of l?
True
Let r(b) = -b**3 - 3*b**2 - b - 1. Let s be r(-3). Suppose 15 = -s*h + 7*h. Let t