*u + 1125 = -2*u. Suppose 0 = -n - 2*n + u. Is n a multiple of 21?
False
Let s = 24 - 22. Let c be 129/27 + s/9. Suppose -w - 275 = -5*h + 2*w, w = -c. Is 13 a factor of h?
True
Let k = 64 - 61. Does 4 divide (1/(-3 + 4))/(k/78)?
False
Let c(q) = -q**2 + 6*q - 5. Suppose -5*t = 5*b - 5, -b + 5 = 3*t - 4. Let h be c(t). Suppose 2*z - 8 + 1 = -h*j, 17 = z - 3*j. Is 4 a factor of z?
True
Let s = -1 + 4. Let w(a) = -46*a**s + a**2 - a - 1 - 3*a**3 + 2*a**3 - 2*a**2. Is 10 a factor of w(-1)?
False
Suppose t + 2*t + 51 = -3*b, -t - 25 = -3*b. Let q = -19 - t. Suppose q = 2*p - 4 - 28. Is 7 a factor of p?
False
Let i(d) = d**3 - 2*d**2 + 3*d - 3. Suppose x - 4*r + 8 = 0, x - 32 = 5*x + 2*r. Let y = -5 - x. Is i(y) a multiple of 10?
False
Is (-6)/15 + (-8973)/(-45) a multiple of 28?
False
Suppose 2*f + 3 = 13, -5*x + 3*f + 5 = 0. Suppose -w = 2*w - 66. Suppose -3*p = -x*p + w. Is p a multiple of 11?
True
Suppose 0 = 2505*g - 2487*g - 11016. Is g a multiple of 17?
True
Is 24 a factor of (20/30 - 1848/(-9)) + 4?
False
Let p be 8/16 + (-906)/(-4). Let i = -48 + p. Does 39 divide i?
False
Let o(a) = 4*a**3 - 2*a**2 + a. Let d be o(1). Let x be d + 10 - (-4)/(-4). Let q = 4 + x. Is 16 a factor of q?
True
Let t = -15 + 60. Suppose 495 = 3*s - t. Does 18 divide s?
True
Let s(w) = -w**3 - 10*w**2 - 6*w + 25. Let c be s(-9). Is c/(-9) - 2266/(-9) a multiple of 22?
False
Let h(s) = -s**3 - 17*s**2 + 4*s + 178. Does 15 divide h(-18)?
False
Let m = 805 + -709. Is 3 a factor of m?
True
Is 4 a factor of (1 + 35)*((-1640)/(-12))/10?
True
Suppose -4*h - 16 = 0, -3*l + 21*h - 16*h = -1076. Is 16 a factor of l?
True
Let f(c) = c**3 - 2*c**2 - 3*c + 3. Let v be f(-3). Let a = 64 + v. Is 6 a factor of a?
False
Suppose 35*k - 237785 = -60*k. Is k a multiple of 92?
False
Let q(a) = 4*a + 4. Let c be q(-4). Let r(m) = -2*m + 38. Is r(c) a multiple of 13?
False
Suppose 5*w - 13 - 37 = 0. Suppose 3*h = w*h - 210. Is h a multiple of 6?
True
Let z = -312 + 660. Suppose -3*v + 2*b = -z, -b = -2*v - 4*b + 219. Suppose -v = -6*c + 138. Is 14 a factor of c?
True
Suppose f + 3*i = 1 + 87, -5*f + 5*i + 440 = 0. Is f a multiple of 11?
True
Suppose -20 = -3*i - i. Suppose 5*f - 30 = -i*n, -f - 11 = -2*f - 2*n. Is 22 a factor of -1 + f + 1 + 65?
True
Let p be (-84)/(-49) - 2/(-7). Suppose -f - p*n = -0*n - 144, 4*n = -5*f + 732. Is 42 a factor of f?
False
Suppose 3*a - a - 2 = -4*n, 0 = 3*a + 4*n - 7. Let x(c) = 4*c**2 + 4*c - 11. Is 15 a factor of x(a)?
False
Suppose 5*f = 5*c + 480, 15*c + 264 = 3*f + 20*c. Is f a multiple of 6?
False
Let d(f) = 89*f + 1. Let x(u) = -266*u - 4. Let g(z) = 10*d(z) + 3*x(z). Is g(1) a multiple of 10?
True
Let h(z) = z**3 + 12*z**2 - 18*z + 69. Is h(-12) a multiple of 15?
True
Suppose 3*o + 4*h - 38 = 3, 23 = o - h. Is 17 a factor of o?
False
Suppose -18 = -q + 2*h, q - h = -2*q + 29. Suppose 14*l - 115 = -1473. Let k = q - l. Does 15 divide k?
True
Suppose 0 = -11*q + 3*q + 1032. Suppose 0 = 2*z - q - 117. Does 24 divide z?
False
Suppose 0 = 3*p - 5*p + 22. Let q = p + 1. Is 6 a factor of q?
True
Suppose -12 = 7*h - 10*h. Suppose 0 = j + 4*z + 3, -5*z - 7 = 5*j - h*j. Is 13 a factor of j?
True
Let s = 42 - 28. Let v = s + -10. Suppose -5*z = -5*y + 215, 246 - 22 = 5*y + v*z. Does 11 divide y?
True
Let r(u) = -u**3 - 7*u**2 + 3*u - 16. Let a be r(-7). Let s = -35 - a. Suppose -5*t - 6*o + 22 = -s*o, 3*t - 2*o = 0. Is 2 a factor of t?
True
Suppose 3*j + 2*f - 287 = 3*f, 3*j = 5*f + 295. Is 18 a factor of j?
False
Let n(z) = z - 21. Let d be n(18). Let u = 37 + d. Does 17 divide u?
True
Let k(u) = u**3 + 11*u**2 - 18*u - 1. Let t be k(-12). Let b = -39 + t. Suppose 30*p + b = 31*p. Is p a multiple of 16?
True
Let k(h) = 6*h - 3. Let i(p) = p**2 + 6*p + 1. Let j be i(-7). Suppose -5*o + j + 7 = 0. Is 15 a factor of k(o)?
True
Let f(t) = -10*t + 1203. Does 121 divide f(-37)?
True
Let s(y) = -115*y - 270. Is s(-18) a multiple of 30?
True
Let l(m) = 2*m**2 - 2*m + 5. Let w be l(-8). Let d = w - 97. Suppose i - 3*y - d = 0, 3*i - 113 = -5*y - 13. Is 12 a factor of i?
False
Let i(z) = z**2 + z + 1. Let y(w) = -5*w**2 - 10*w - 5. Let d(o) = 4*i(o) + y(o). Let s be d(-6). Does 14 divide s/1 + -1 + 38?
False
Let f(y) = -7*y**3 + 5 + 4*y**2 + y**2 - y**2 + 8*y**3. Let i be f(-4). Let s = 10 - i. Is 2 a factor of s?
False
Let t = -446 + 471. Is 21 a factor of t?
False
Suppose 0 = -3*c - 9, 4*c + 15 + 11 = x. Let r = x + 14. Is 4 a factor of r?
True
Let i be 4/4 + -1*135. Let x = -84 - i. Is x a multiple of 10?
True
Suppose 0*h + 6 = -4*i - 3*h, -4*i - 5*h = 10. Suppose 0*m - 2*m + 20 = i. Does 10 divide (-2)/10 - (-202)/m?
True
Is 9 a factor of 14/((6/(-597))/(-1)) + -4?
False
Let q(s) = 133*s - 287. Does 5 divide q(8)?
False
Suppose 3*z - 40 = 5*a + 12, 4*a = -z - 11. Suppose -2*t + z*t = 168. Is t a multiple of 2?
True
Let r = -22 - -46. Suppose -5*g + r = -g. Suppose -g*q = -q - 90. Does 14 divide q?
False
Let n = -34 + 40. Suppose 4*l + 5*t - 349 = 0, 3*l - 2*t - 263 = -n*t. Is 6 a factor of l?
False
Let m = 921 + -108. Is m a multiple of 61?
False
Let l(t) = t**2 - t. Let z(a) = -3*a**2 - 4*a - 4. Let i(v) = 6*l(v) - 2*z(v). Is i(-4) a multiple of 32?
True
Suppose 0*i = 2*i + 5*n - 33, -5*i - 5*n = -45. Does 23 divide 370/8 + (-1)/i?
True
Suppose -3*n + n + 76 = 0. Suppose -4*w - 3*h = 4 - 11, 2*h + 6 = 0. Suppose -w*q + 2*q + n = 0. Is 7 a factor of q?
False
Let h = -3 - -5. Let l be ((-40)/25)/(6/(-15)). Suppose h*r = l*r - 108. Is 23 a factor of r?
False
Let n(p) = -p**3 + 17*p**2 - 14*p - 8. Does 4 divide n(16)?
True
Let a = 64 + -5. Let y = a - 23. Suppose -y = -0*h - h. Does 18 divide h?
True
Let o = -15 + 20. Suppose s + 2*s = -9, 5*r = -4*s + 3. Suppose o = -5*y, r*g = -2*g + 3*y + 173. Is g a multiple of 10?
False
Let d(h) = 2*h**3 + 31*h**2 - 2*h - 5. Does 30 divide d(-15)?
False
Let o = 65 + -147. Let m = -49 - o. Is m a multiple of 11?
True
Suppose 388 = 2*d - w, 0 = 3*d + 2*d - 5*w - 965. Suppose -29 = -8*k + d. Is 14 a factor of k?
True
Suppose 5*n - 4715 = 14*d - 19*d, 3*d - 2*n - 2814 = 0. Is d a multiple of 35?
False
Suppose 0 = -5*w - 2*u + 6*u + 2375, 0 = 5*w - 5*u - 2375. Does 12 divide w?
False
Let r(x) = -8*x**3 + 3*x**2 + 6*x - 11. Is 21 a factor of r(-4)?
True
Let u(j) = -j**2 - 6*j - 3. Let r be u(-7). Let v = 70 + r. Does 12 divide v?
True
Is 37 a factor of (-1)/(-4) + 8868/48?
True
Suppose -8*x = -10*x. Suppose x*s = -s. Is 13 a factor of -1 + -3 + s + 43?
True
Does 37 divide (-8 + 26/4)*(-592)/6?
True
Let g(r) = -r**2 + 5*r + 10. Let x be g(-3). Let q = x + 80. Does 11 divide q?
True
Suppose 3*c = -2*c + 2*a + 25, -2*c + 10 = 3*a. Suppose 3*q + 0*q - 2*r - 57 = 0, 0 = -c*r + 15. Suppose 4*m - q - 63 = 0. Is m a multiple of 6?
False
Let h(c) = -21*c + 2. Let s be h(-2). Let m(b) = 19*b - 8. Let z be m(5). Let j = z - s. Is 16 a factor of j?
False
Suppose 9*s + 99 = 6*s. Does 22 divide -20*(s/2)/3?
True
Let t be (-30)/45*(-507)/2. Let w be (-3 - t/(-1)) + 2. Suppose 3*p = 3*b - w, b - 4*p - 49 = -5. Is b a multiple of 19?
False
Let d = 4932 + -2650. Is d a multiple of 14?
True
Let p(h) = h**2 + 12*h + 4. Let z be p(-12). Suppose 2*d + 0*k - 60 = 4*k, -z*k = -20. Suppose -7 = x - d. Is 11 a factor of x?
True
Let p = -53 + 61. Suppose 0 = 2*t + p, 5*d = -2*t + 6*t + 36. Is d a multiple of 4?
True
Does 2 divide (0 + 5)/((-2)/220*-10)?
False
Let y(k) = k**2 + 5*k + 11. Suppose 4*a = -4*j - 0 - 8, 4*a - 5*j - 28 = 0. Suppose -a*o + 8 = -3*o. Does 11 divide y(o)?
False
Let z = -28 - -7. Is (-1760)/(-28) - 3/z a multiple of 17?
False
Let c(q) = -q**3 + 19*q**2 + 13*q - 13. Is c(19) a multiple of 39?
True
Suppose -828 = -3*z - 102. Suppose 0 = 9*i - 917 + z. Is 15 a factor of i?
True
Suppose h = -4*u - 0*h + 1543, -3*u - 4*h = -1141. Suppose -12*o - u = -1107. Is o a multiple of 21?
False
Is 10 a factor of -23 - -1465 - (-40)/(-4)?
False
Let z(u) = -6*u - 7. Let y be z(-2). Suppose y*d - 2*d = 6. Suppose j - 3*s + 1 - 7 = 0, -2*j + d*s + 20 = 0. Is 8 a factor of j?
False
Let v = -47 - -24. Suppose 6*u - 30 = -0*u. Let k = u - v. Does 14 divide k?
True
Suppose 253 = -2*l + 4*o - 7*o, -2*o = 2*l + 256. Let s be (-1)/((-189)/(-94) + -2). Let d = s - l. Is d a multiple of 9?
False
Suppose -4*p + 4*l + 376 = 0, -4*p + 8*p - 2*l = 370. Suppose 0