. Suppose -589 - 771 = -5*q. Suppose 0 = p*x - x - q. Is 26 a factor of x?
False
Let b(x) = 3*x + 135. Is 9 a factor of b(-21)?
True
Suppose -4*p + 1 - 81 = 0. Let a = 98 + p. Is a a multiple of 13?
True
Suppose 0 = -0*m - m + 4*c + 19, 0 = -4*m + 2*c + 146. Suppose 3*q = 5*u + 7*q - 28, -u - 4 = -4*q. Suppose u*f - 33 = m. Is f a multiple of 13?
False
Suppose -2*w - 3*w - 5*c + 2500 = 0, -2*c + 2506 = 5*w. Does 36 divide w?
False
Let s(v) be the first derivative of -v**4/4 - 10*v**3/3 + 19*v**2/2 + 14*v + 25. Is s(-12) a multiple of 10?
False
Suppose 3*z - 16 = f, -f = 5*z - 15 - 25. Let b = -5 + z. Suppose -b*v = 5*s - 26, -v + 2*s + 20 = s. Is v a multiple of 13?
False
Let s = 16 - 16. Suppose -6*a + 223 - 55 = s. Suppose -a = -3*o - o. Does 3 divide o?
False
Let n(y) = -23*y - 73. Is 9 a factor of n(-8)?
False
Let y be (-8)/10 - 619/(-5). Suppose 5*m = -25, -u + 3*u - y = -3*m. Is u a multiple of 12?
False
Let g(k) be the third derivative of -7*k**6/120 - k**4/8 - 2*k**3/3 + k**2. Let h(s) = 2*s**2 + 13*s + 4. Let p be h(-6). Is g(p) a multiple of 16?
False
Suppose -86 = -y + 2*p, 0 = 4*y + 4*p + 58 - 462. Is y a multiple of 4?
True
Let o = -15 + 9. Let q = 61 - 41. Let c = o + q. Is c a multiple of 7?
True
Suppose 3*p - 4*s + 4 = 0, -2*p - 4*s + 3 + 1 = 0. Suppose p*f = f - 16. Is f a multiple of 8?
True
Suppose w + 3 = -0*w. Let x be 0 - (w - (3 - -70)). Suppose 17 + x = 3*d. Is 8 a factor of d?
False
Let k = 850 - 603. Is 14 a factor of (-38)/k - (-3)/((-39)/(-2459))?
False
Let t be ((-17)/(-17))/(1/3). Suppose t*n + 1728 = 12*n. Is n a multiple of 32?
True
Let i(q) = 37*q - 6. Let j(r) = -3255*r + 527. Suppose 4*w + 1593 = -3*m, -w - 28 - 502 = m. Let x(g) = m*i(g) - 6*j(g). Does 7 divide x(1)?
False
Is 34 a factor of -4 + 2/2*(553 + 29)?
True
Let s(w) = 2*w**2 - 9*w - 4. Let f be s(7). Let d = f + 11. Is d a multiple of 9?
False
Suppose 5*z + 10 = 0, 5*z + 7 + 54 = 3*u. Is 3 a factor of u?
False
Let o(t) = -13 + 16 - 4*t**2 - t**3 - 10 + 4*t. Does 17 divide o(-6)?
False
Suppose 3*l = -5*y + 348 + 217, 3*l - 3*y - 597 = 0. Is l a multiple of 15?
True
Suppose -7*m = -3*m. Let a(g) = g + 8. Is 4 a factor of a(m)?
True
Let y(m) = 2*m - 91. Suppose 0 = 5*g - g. Let o be y(g). Let v = o - -134. Is 13 a factor of v?
False
Let c(x) = -2*x**3 - 3*x**2 + 7*x + 14. Let k be c(-4). Is (-3)/((3/k)/(-1)) a multiple of 11?
True
Let y = -102 - -104. Let r = -28 + 61. Suppose 0*h - r = -5*p - h, 0 = y*h - 6. Does 6 divide p?
True
Let k(i) = 99*i**2 - i + 1. Let w be k(-1). Suppose -j = -4*j + h + 275, -5*h - w = -j. Is j a multiple of 6?
False
Suppose -9*z = -6*z - 450. Does 25 divide z?
True
Suppose -6*w - 8 = -2*w - 5*v, 0 = w + 5*v - 23. Let g = -1 - w. Is 14 a factor of 21 + -2*(-6)/g?
False
Suppose 4*l - 5 = 3*l. Suppose -l*m = 12 - 2. Does 14 divide 2*(-1)/m - -15?
False
Suppose 0*j = -4*j + 120. Does 7 divide 324/j*(4 + 1)?
False
Let l(r) = -r**3 + 3*r**2 + r - 2. Let m be l(3). Let d(f) = 29*f - 1. Let h be d(m). Is 18 a factor of 4/(116/h - 4)?
False
Does 2 divide 2*2/10 + 1007/95?
False
Let w be ((-2)/(-3) - -2) + (-2)/(-6). Is 36 a factor of 83/(((-6)/w)/(-2))?
False
Let s(f) be the second derivative of f**3 - 9*f**2/2 - 7*f. Is 11 a factor of s(4)?
False
Suppose -3*p + p - 2*c - 4 = 0, 5*c + 10 = 0. Suppose -g + 125 = -p*g. Is 39 a factor of g?
False
Suppose -10 = 2*p - 4*p. Let s = 8 - p. Is 4 a factor of 1/(0 + 1) + s?
True
Let z(x) = x**3 + 12*x**2 - 3*x + 19. Let p be z(-9). Suppose p = 5*y - 356. Does 38 divide y?
False
Let u = 543 + 445. Does 13 divide u?
True
Suppose 136*m = 113*m + 11937. Is m a multiple of 5?
False
Let r(y) = 9*y**2 + y + 1. Suppose -8 = 3*i - 4*i. Let k(x) = -x**3 + 7*x**2 + 8*x + 2. Let d be k(i). Is r(d) a multiple of 20?
False
Suppose 4*c = 12, -5*r + 155 = -11*c + 16*c. Suppose 2*j + 2*j = 144. Let h = j - r. Is 2 a factor of h?
True
Suppose -2*p - 40 + 140 = 0. Let b = 188 - p. Suppose 3*h = 78 + b. Is h a multiple of 15?
False
Suppose -27 = -3*i - 9. Suppose -i*j = -3*j - 216. Suppose -g - g = -j. Is 9 a factor of g?
True
Let d(y) = y**3 - 15*y**2 - 14*y + 1. Is d(18) a multiple of 37?
False
Let m = -767 + 1251. Does 26 divide m?
False
Let h = -17 - -911. Does 34 divide h?
False
Suppose 0 = 4*z + t - 371, -z + 2*t + 68 = -36. Suppose -f - f = -4*p - 182, -5*p + f = 223. Let y = z + p. Is y a multiple of 15?
False
Let w(m) = m**3 + 5*m**2 - 9*m - 8. Let a be w(-6). Let g = -10 + a. Suppose t - 9 - 17 = g. Is 6 a factor of t?
False
Let q(p) = p**3 - 3*p**2 - 4*p + 4. Let w be q(3). Let m(k) = k + 11. Let v be m(w). Is v/3*-2 - -50 a multiple of 21?
False
Suppose -3*i + 2*i = o + 11, -3*i = 15. Is 33 a factor of ((-112)/1)/(-1) - o/2?
False
Suppose -4*t - l + 18 = 0, -3*t + 1 + 22 = -4*l. Suppose 0 = -t*z - 9 + 29. Suppose n + 3*o - z = -2*o, -3*o = -2*n + 47. Is n a multiple of 8?
False
Does 95 divide (32/12)/4 - 4840/(-12)?
False
Suppose -119 = -12*o + 5*o. Let g = o - -102. Is 17 a factor of g?
True
Suppose 0 = -12*z + 55*z - 60157. Is z a multiple of 14?
False
Let f = 418 - 155. Is f a multiple of 36?
False
Let m = -103 + 39. Suppose -3*h = z - 109, 0 = 3*z + 2*z - 3*h - 527. Let k = z + m. Is 16 a factor of k?
False
Let h = 10 - 10. Let j = 5 - h. Suppose -3*i - 56 = -5*i + 2*c, -2*c + 126 = j*i. Is 10 a factor of i?
False
Suppose -3*z + 0*z = -5*b + 4775, -5*b + 4770 = -4*z. Is 54 a factor of b?
False
Let r(f) = -f**3 - 14*f**2 + 13*f - 35. Let u be r(-15). Is (-2)/5 + 0 + (-32)/u even?
True
Let w be 6*(1 - 0/(-4)). Let h = -4 + w. Suppose 0*p - 26 = -h*p. Is p a multiple of 5?
False
Suppose 6*l - 3*l = 24. Let x be 16/12*12/l. Suppose -10 = -x*b + 74. Is 11 a factor of b?
False
Let k be (-45)/(-6)*(1 + 1). Let w = k + -9. Does 6 divide w?
True
Suppose -p - 12 = -5*y, 2*p + 3*p + 18 = 4*y. Let b be -12*(-3 + 7/4). Suppose y*m + b = 71. Does 14 divide m?
True
Let z be (-24)/(-84) - (-12)/7. Suppose l + z*u - 130 = -3*u, -4*l + 536 = 4*u. Is l a multiple of 27?
True
Let z(h) = -4*h + 64. Let g(b) = 12*b - 192. Let x(l) = -3*g(l) - 8*z(l). Does 32 divide x(-8)?
True
Let z(j) be the first derivative of -2*j**2 - 10*j - 28. Let y(i) = i**2 - 5*i - 3. Let d be y(4). Is z(d) a multiple of 18?
True
Suppose 4*s - 535 - 585 = 0. Is s a multiple of 7?
True
Suppose 32*w = 31*w + 423. Does 9 divide w?
True
Let o = -10 - -15. Suppose -4*h - 40 = -2*u - 2*u, -o*h = -2*u + 23. Does 3 divide u?
True
Let j(r) = -r**3 - 9*r**2 - 17*r - 10. Suppose 2*v + 5*n + 13 = 3*v, 0 = 4*n + 16. Is 8 a factor of j(v)?
False
Let v(k) = -6*k - 18. Let z(l) = -11*l - 36. Let g(u) = -5*v(u) + 2*z(u). Is 44 a factor of g(18)?
False
Let n = 264 - -29. Does 10 divide n?
False
Suppose -q + 5 = -5*m - 4*q, -m = -2*q - 12. Is 8 a factor of (-1 + 47)/m - (-3)/3?
True
Suppose -6*q + 3*q = -15. Let b = 10 - q. Suppose b*n = 9*n - 292. Does 28 divide n?
False
Suppose -2*z + 2 = -4*o, 4 = -2*o + 4*z - 2*z. Let n(d) = 920*d**2 + d - 1. Let i be n(o). Is ((-3)/(-4))/(10/i) a multiple of 19?
False
Suppose 4*n = n + 7998. Is 81 a factor of n?
False
Suppose 17*g + 245 - 4631 = 0. Is 51 a factor of g?
False
Is (-6 - -1792) + 12/(10 - 8) a multiple of 4?
True
Suppose -15*y + 22282 = -1343. Is y a multiple of 27?
False
Suppose -z + 3352 = 3*f + f, 2*f - 1690 = 3*z. Suppose s - 4 = 0, 3*o + 0*o - 4*s = f. Suppose 4*n = -n + o. Is n a multiple of 11?
False
Let i(r) = -3 + 6 - 1 + 5*r - r**2. Let y be i(5). Suppose -y*c - 3*h + 8 = h, 20 = -5*h. Is c a multiple of 6?
True
Let j(m) = -m**2 - 3*m + 4. Let i be j(-8). Let q = 58 + i. Is q a multiple of 5?
False
Suppose 5*k - 5*d - 180 = 0, -4*k + 116 = 9*d - 6*d. Does 17 divide k?
False
Let x be (-3*2/6)/1. Does 40 divide 3/(57/(-120) + x/(-2))?
True
Suppose 2*s - 2487 = -h, 5*s - 4*h + h - 6223 = 0. Does 32 divide s?
False
Suppose 0 = -7*z + 9*z - 4, 2*z - 26 = -b. Is b a multiple of 3?
False
Let a = -2230 + 3709. Does 25 divide a?
False
Let j(f) = 9*f - 6. Let t be -18*9/((-135)/10). Is 11 a factor of j(t)?
False
Suppose -15 = -4*r - 3*m, 0 = -4*r - 5*m + 6 + 3. Suppose -4*k - b + r*b = -53, 4*k - 51 = 3*b. Is k a multiple of 3?
True
Let g(z) = -135*z - 9. Is 13 a factor of g(-8)?
False
Let i(l) = -l**2 - 13*l - 2. Let w(x) = 2*x**2 + 25*x + 4. Let m(a) = -7*i(a) - 4*w(a). Does 8 divide m(-6)?
True
Suppose 