pose 46*n = 719 + 1765. Let a(z) = -5*z**3 + z**2 - 1. Let t be a(-1). Suppose 2*d + 135 = t*w, -n = -w - w + d. Is 15 a factor of w?
False
Let a = 51 + -69. Let n = a - -62. Is 11 a factor of n?
True
Let b = -807 - -927. Does 12 divide b?
True
Suppose -o - 1621 = -4*o - 2*y, 1622 = 3*o + y. Is 69 a factor of o?
False
Let x = -582 + 1107. Does 31 divide x?
False
Let f(w) = w. Suppose -3*p - 4*c + 35 = -3*c, 0 = 3*p + 2*c - 34. Let s be (8 - 0)*9/p. Is 3 a factor of f(s)?
True
Does 22 divide 301 + 12 + -11 + 6?
True
Is 42/112 - (-2559)/24 a multiple of 14?
False
Let m = -169 + 31. Let d = 23 - m. Is d a multiple of 27?
False
Let w(c) = c**2 - 5*c - 6. Let r be w(6). Let a(d) be the second derivative of d**3/6 + 81*d**2/2 - d. Is a(r) a multiple of 27?
True
Let w be 8/(-2) - 0 - -14. Let l be 0*(-2 - w/(-4)). Suppose l*p - 4*p = -160. Is p a multiple of 28?
False
Let z be (6 + -4)/(2 + -1). Suppose z*d - 38 = 4*i - 180, -3 = d. Is i a multiple of 5?
False
Let x be 1/(1*1/(-9)). Let t = 3 - x. Is 9 a factor of 42 + t/3 + -3?
False
Suppose 5*h = 5*d + 460, -248 - 129 = -4*h - 5*d. Is 25 a factor of h?
False
Suppose 763 = 5*w - 5547. Does 42 divide 1/(-3) + w*3/18?
True
Suppose -48 = -h - 7*h. Let y be 18/36*h*1. Suppose 134 + 25 = y*c + 2*p, -2*p + 210 = 4*c. Is c a multiple of 15?
False
Let s = 40 - 19. Suppose 2*w = 3*a + s, w + 3*a = -0*w - 12. Is 4 a factor of 6 - 4*w/6?
True
Let q(o) = 2 + 13*o - 6 + 0 - o**2. Let i = 25 + -13. Does 7 divide q(i)?
False
Let q(f) = -f**3 + 33*f**2 + 39*f - 19. Is 20 a factor of q(33)?
False
Let q be (-35)/2*(-2 - 0). Let z be ((-12)/(-15))/2*q. Let y = -12 + z. Is 2 a factor of y?
True
Let w = -5 - -29. Let u = w + -20. Suppose u*d - 325 - 87 = 0. Is d a multiple of 37?
False
Let h(b) = 3*b - 43. Let y be h(16). Suppose 0 = -4*c, -4*f - y*c + c + 420 = 0. Is f a multiple of 21?
True
Suppose 6*t - 2*t - 524 = 0. Suppose -t = -z + 3*h, -3*z + 127 = -2*z - h. Is z a multiple of 25?
True
Let k(h) = -29*h + 29. Let p(y) = 102*y - 102. Let o(v) = 17*k(v) + 5*p(v). Is o(7) a multiple of 34?
True
Let x = -240 + 295. Does 5 divide x?
True
Let m(j) = -j**3 + 13*j**2. Let p be m(12). Suppose 2*o - 99 = -0*o - s, 0 = 3*o - 3*s - p. Suppose -55 = -4*d + o. Is 9 a factor of d?
False
Let z(p) = -1 + 0 + 8*p + p**2 - 4 - 9*p. Is z(10) a multiple of 17?
True
Let g be -24*(12/9 + (-6)/(-18)). Is (g - 1)/(1 - (-24)/(-20)) a multiple of 41?
True
Let u = 44 - 13. Suppose 30*g = u*g - 36. Is g a multiple of 4?
True
Let w(p) = -p**3 + 2*p**2 + 3*p + 2. Let x be w(-1). Is x/2*159 - (-5 + 4) a multiple of 28?
False
Let o = -30 + 39. Let l be (-3)/o*-9*37. Suppose -3*t + 313 = 2*f + l, 2*t + 87 = f. Does 19 divide f?
True
Let r(b) = -b**3 + b**2 - b + 1. Let p be r(1). Suppose 2 = -u - 4*v - p, v = -5*u + 66. Is u a multiple of 3?
False
Suppose 2 = -p + 7. Suppose 0 = -p*q - 20, 6*n - 244 = 2*n + 3*q. Does 14 divide n?
False
Let z = 3835 - 2356. Let u = z + -919. Suppose u - 125 = 5*k + 4*i, -3*k - 3*i = -258. Is 19 a factor of k?
False
Let l(f) = -2*f + 2. Let d be l(6). Is 9738/90 - (-2)/d*1 a multiple of 9?
True
Suppose -2*s = -2*y - 285 - 179, -s + 2*y = -230. Is s a multiple of 18?
True
Let y(m) = -7*m - 29. Let g be y(-18). Suppose p = -53 + g. Is p a multiple of 13?
False
Suppose -j = -3, 3*z - j + 4778 = 8*z. Is z a multiple of 34?
False
Suppose 28*y = 30433 + 36039. Does 20 divide y?
False
Let b(l) = -5*l. Let i be b(-2). Let j(u) = -5 + 0 - 2 - 7 + 2*u. Is 3 a factor of j(i)?
True
Let y(o) = o**3 + 2. Let v be y(0). Suppose 12 = v*g - 24. Does 3 divide g?
True
Let q(f) = 2*f**2 - f - 2. Let b be q(2). Let i be b/2*1 + -3. Let h = i + 19. Is h a multiple of 6?
True
Suppose -120*u - 14064 = -132*u. Is u a multiple of 75?
False
Let m(x) = x**3 - 11*x**2 + 8*x + 2. Let n be m(10). Let l be 223/3 - 12/n. Suppose 4*y - 9*y = -l. Is y a multiple of 5?
True
Let w(s) = 20 + 3 + 7 + s + 18 - 2*s**2. Is 24 a factor of w(0)?
True
Let f = 104 - -184. Suppose 2*u = -2*u + f. Is (-1)/(-1)*(u - -12) a multiple of 21?
True
Suppose 5*r + 0*r = 45. Suppose -2*q = o - 3, -4*q + r + 12 = -3*o. Is 16 - (-2 + o/3) a multiple of 15?
False
Let u = -227 + 731. Is u a multiple of 8?
True
Suppose -395*i - 159 = -396*i. Does 9 divide i?
False
Suppose 5*g = -15, 2*d + 0*d - 2021 = 5*g. Suppose 3*i - 197 = j - 2*j, 3*i = 5*j - d. Suppose -h + 236 = 4*u, -h - j = -3*u + 4*h. Is 30 a factor of u?
True
Let d = 14 + -20. Does 14 divide d/2*(-62)/3?
False
Suppose 0 = -y - 4*r - 0*r, -5*y - 5*r = 0. Suppose 3*x - 4*x = y. Suppose -4*s + 63 = 5*i, i - s + 2 - 11 = x. Is 4 a factor of i?
False
Suppose 21 = -o + 1. Let l = -4 - o. Suppose -l*i = -21*i + 70. Does 7 divide i?
True
Let u be ((-30)/12)/(1/(-2)). Suppose 434 = 3*o - 2*g, o - 6*o - u*g + 740 = 0. Is o a multiple of 28?
False
Let r(c) = -c - 11. Let u be r(-9). Let l be 4 - (3 - (2 - u)). Is 13 a factor of (1/(l/(-215)))/(-1)?
False
Let j(c) = -18*c + 16. Does 7 divide j(-26)?
False
Let z be (-20)/50*(-70)/4. Let p = z + 7. Does 14 divide p?
True
Suppose 3*y + 4*g - 12 = 7, 0 = 3*y + 3*g - 18. Let q(o) = -4*o + 32. Is 6 a factor of q(y)?
True
Let v be (14 - (0 - 6/(-2)))*-1. Let o = -2 - v. Is o a multiple of 9?
True
Let s = -146 - -381. Is s a multiple of 5?
True
Does 103 divide -14*(178/14*-9 - -3)?
False
Suppose -5*i = 5*a - 485, -2*a - 6*i + 200 = -i. Let h be (-2)/(-4) + a/10. Does 10 divide h/(-25) + 77/5?
False
Suppose -2*l - 4*m + 64 = 0, -4*l + 65 = -4*m - 27. Let q be (-9 + 4)*1 + 7. Suppose x - v = l, -54 = -4*x + q*x + v. Is x a multiple of 16?
False
Let z = -130 + 376. Suppose -3*q - z = -3*t, 5*t + 3*q = -2*q + 390. Is t a multiple of 10?
True
Let f(y) = -y**2 - 4*y - 6. Let q be f(-5). Does 5 divide 2/q + (-1764)/(-22)?
True
Let z(l) = -55*l**2 - l - 1. Let k be z(2). Is 31 a factor of (5 - 3 - (-2 + 5))*k?
False
Suppose 2*s + z - 5 = 0, 5 - 1 = -5*s + 3*z. Let i be (s + -3)/((-2)/39). Suppose k = 4*k - i. Does 11 divide k?
False
Suppose -i + 1093 = 2*q, q - 1705 = -2*i + 496. Does 26 divide i?
False
Suppose -51*v + 23180 = -13*v. Is 46 a factor of v?
False
Suppose 0 = -2*d, -5*b + 5550 = -3*b - 2*d. Is 37 a factor of b?
True
Suppose 5*d - 30 = 10. Suppose 0 = -0*s - d*s + 1728. Suppose -2*c = c - s. Is c a multiple of 12?
True
Let j be (18/8)/((-12)/(-64)). Let i be 9/j - (-12)/(-16). Suppose 3*o + o - 212 = i. Does 16 divide o?
False
Suppose -5*f = 10, -2*z + 5*f + 20 = -z. Suppose 0 = -z*i + 5*i - 15. Let q(a) = -a**3 + a**2 + 2*a - 1. Does 16 divide q(i)?
False
Let h(r) be the second derivative of -5*r**3/2 - 3*r. Let s be h(-4). Suppose -s = -3*q + 3*m + 57, 2*q = -2*m + 58. Is q a multiple of 9?
False
Suppose 4401 = 19*x + 8*x. Does 13 divide x?
False
Let a(v) = 2*v - 6*v - 34 + 26. Is a(-8) a multiple of 8?
True
Is 7 + -1 - (6 + -168) a multiple of 12?
True
Suppose -4*r + 585 = 4*j - 363, 2*j - 2*r = 454. Is 3 a factor of j?
False
Does 95 divide 2/8*(4195 + 5 + 4)?
False
Suppose 5*x - 3*p = -5*p + 5204, -5*p + 10 = 0. Does 55 divide x?
False
Let r be ((-160)/6)/(4/(-24)). Suppose 2*q - 4*s + r = 0, -3 + 6 = 3*s. Let b = -56 - q. Does 10 divide b?
False
Suppose -j - 3*g = 9 - 1, j - 3*g = 22. Suppose -v + j*v = 324. Is 27 a factor of v?
True
Let c = 11 + 7. Let v(z) = 0 - 6*z + 3*z + 0*z - c. Is v(-14) a multiple of 6?
True
Let p be 3 + (-3 + 3 - 1). Suppose p*d = -26 + 234. Is 29 a factor of d?
False
Let y = 67 + -63. Suppose -2*u + 44 = -4*p, y*u - 2*p + 0 = 94. Does 8 divide u?
True
Let s(o) = -o + 2. Suppose 0 = -5*q - 25, -3*q = 2*m + 3*m. Let c be s(m). Is 8 a factor of 24 + c - 0/2?
False
Suppose -2*m = -o - 2765, -87*o = -2*m - 85*o + 2764. Is m a multiple of 8?
False
Let x(a) = 9*a**2 - 4*a + 15. Does 52 divide x(-5)?
True
Does 9 divide (-17256)/(-20) - (5 + (-63)/15)?
False
Suppose -o + 27 = -3*n + 86, -4*n = -3*o - 72. Suppose -n = 2*j - 5*j. Does 3 divide j?
False
Let s(o) = 2*o**3 - 11*o**2 + o + 12. Let f be s(5). Let q be 1/(-4) + (-1076)/(-16). Let c = q + f. Is 29 a factor of c?
False
Suppose d + 3*d = -4. Is 18 a factor of -3 + 0 + (-103)/d?
False
Let k be (3 + -3)/8*(-2)/(-4). Suppose k = 12*j - 13*j + 65. Is 9 a factor of j?
False
Suppose 2*x = 9*x + 371. Is 14 a factor of (4 - x - 1)/2?
True
Let i(r) = r**3 - 4*r**2 - 11*r - 1. Let b be i(6). Suppose b*z - 10