 15*t**2 + 26*t - 34. Suppose 99 = 3*d + 51. Does 14 divide n(d)?
True
Let d = 7 + -2. Suppose 39 + 311 = d*p. Is p a multiple of 35?
True
Let t(u) = -2*u**2 - 5*u. Let d(x) = -x**2 - 2*x. Let m(g) = -7*d(g) + 3*t(g). Let h be (3 + -1)*45/(-18). Does 15 divide m(h)?
True
Let k = 324 + -126. Is k a multiple of 18?
True
Let g(h) = -1 - h**3 + 14*h**2 - 6*h**2 - 7*h + 12*h**3 - 3*h**3. Does 14 divide g(3)?
True
Let a be -2*(-4)/4*573/6. Suppose -248 = -4*q - 2*c, 2*q = -q + c + a. Is 9 a factor of q?
True
Does 39 divide 433 - (-8)/(-48)*-4*-6?
True
Suppose -6 = -i + 2*u - 0*u, 2*u = -4*i + 4. Let h(q) = -q**2 + q + 2. Let s be h(i). Suppose 2 = 5*y - 3*y, s = g - 3*y - 10. Does 13 divide g?
True
Let v(w) = -w + 11. Let d be v(6). Suppose 10*s + 465 = d*s. Is s/(-3 - 0) + -4 a multiple of 27?
True
Let z(q) = 8*q**2 + 50*q + 25. Does 66 divide z(11)?
False
Let v(d) = 143*d + 17. Let n be v(4). Suppose 5*m - n + 214 = 0. Is 39 a factor of m?
False
Let g(s) = 2*s + 1. Let f = 5 - 7. Let b be g(f). Does 18 divide 1 + 35 - (b + 3)?
True
Suppose -14*j - f = -19*j + 3585, 5*j - 5*f - 3605 = 0. Is j a multiple of 29?
False
Let s = 61 + 236. Is 11 a factor of (s/9)/((-3)/(-2))?
True
Let i(j) = -j**3 - 7*j**2 + 5*j + 4. Let s be i(-8). Let x = s + -23. Is 238/x + (-20)/(-50) a multiple of 12?
True
Does 14 divide -1 + (-13544)/(-10) + 132/220?
False
Let g(x) = x**2 + 3*x - 13. Suppose -4*h - 56 = -5*t + 49, 4*t = -h + 84. Suppose 17*k - 20*k = t. Does 13 divide g(k)?
False
Let r(p) = -p**3 + 5*p**2 - 3*p + 4. Let j be r(4). Let f = j - -22. Is 15 a factor of f?
True
Suppose 137*b - 86961 = 36*b. Does 10 divide b?
False
Suppose 4*d - 4*s + 22 = 6*d, 0 = -3*d + s - 2. Let n = 8 - d. Does 2 divide n?
False
Suppose a = -a - 48. Let o = 372 - 312. Let h = a + o. Does 18 divide h?
True
Suppose 3*o + 4490 = 13*o. Is o a multiple of 17?
False
Suppose 52 + 894 = 43*r. Is 22 a factor of r?
True
Suppose -2*k = -3*o + 9, -2*o - 24 = -3*k + 5*k. Let h be k - (-2)/(6/9). Does 11 divide (1 - 4)*116/h?
False
Suppose 0 = -10*t + 7*t - 3*d + 2550, 5*t + 2*d - 4238 = 0. Is 47 a factor of t?
True
Let w = -49 + 49. Suppose 58 = b + 2*a, w*b = 4*b + 3*a - 237. Is 7 a factor of b?
False
Suppose 0 = 2*n + 3*m - 330, m = -4*n - m + 660. Is 22 a factor of n?
False
Let j = 86 + -94. Let k(o) = 2*o**2 - 7*o + 11. Does 39 divide k(j)?
True
Let d(q) = q**3 - 19*q**2 + 18*q - 2. Let w be d(18). Let h be -2*(3 - (-8)/w). Suppose -h*r + 151 = -5. Is r a multiple of 26?
True
Let q(l) = 198*l**2 - 11*l - 12. Let y be q(-1). Let z(t) = 5*t**2 - 5*t - 6. Let h be z(-4). Let i = y - h. Is i a multiple of 21?
False
Suppose -5*j - 1229 = -3609. Is j a multiple of 13?
False
Let n(z) = z**2 + 4*z - 2. Let f be n(-5). Suppose 5*j = f + 237. Does 16 divide j?
True
Let h = 25 - 15. Let j = 36 + 37. Suppose 4*p - j = -5*z, -p + z - 5*z = -h. Is 11 a factor of p?
True
Is 22 a factor of (1045/(-10))/((-1)/4)?
True
Is 17 a factor of 5/(20/14)*(-15816)/(-42)?
False
Let x = -18 - -70. Is x a multiple of 4?
True
Suppose 2*s - 12 = -5*z, -5*z = 6*s - 2*s - 34. Let v(g) = -4*g + 12*g - 5*g - g**2 + 10*g + 2. Is 8 a factor of v(s)?
True
Suppose -3*l + 2 = l - 3*g, 2*l = -2*g + 8. Suppose 0 = -4*n + l*n + 52. Suppose -2*a - n = -4*a. Does 13 divide a?
True
Suppose -4*t = -2*x - 96, 3*t - 16 = -5*x + 30. Is 15 a factor of (58 - 0) + -1 - (-25 + t)?
True
Let y(q) = 16*q**2 + 6*q + 7. Let t be y(-1). Suppose t*u = 13*u + 224. Is u a multiple of 5?
False
Let v = 469 - 103. Is 37 a factor of v?
False
Suppose -10 = -2*x, -4*b - 4 = -x - 27. Suppose b*p - 137 - 255 = 0. Is 14 a factor of p?
True
Suppose -281*h + 1510 = -279*h. Is 14 a factor of h?
False
Let r = -8 + 502. Is 19 a factor of r?
True
Suppose -3749 - 13256 = -5*u. Is 82 a factor of u?
False
Let f(j) = 0*j + 5*j**2 - j + 2*j + 4. Suppose -20 = -14*b - 62. Is f(b) a multiple of 23?
True
Let f = 153 + -354. Let w = -121 - f. Does 16 divide w?
True
Let u be (-2 - -3)/(5/10). Suppose 2*v + u*g = v + 33, 4*v - 132 = -3*g. Is v a multiple of 11?
True
Let m(r) = -61*r**3 + r**2 - 5*r + 4. Is m(-2) a multiple of 54?
False
Let s = -62 - -68. Suppose -528 = s*t - 12*t. Is t a multiple of 4?
True
Does 89 divide (86/129)/((8/(-1482))/(-4))?
False
Let g = -479 - -876. Is 13 a factor of g?
False
Let p(h) = 12 - 12*h + 23 - 8. Does 22 divide p(-9)?
False
Let x be 4/(-4) - (72 + -4). Let p = -36 - x. Is 8 a factor of p?
False
Let s(z) be the second derivative of z**4/12 + 7*z**3/6 - 9*z**2/2 + 18*z. Does 12 divide s(-11)?
False
Let t be 1 + 7/(28/12). Let o(f) = -12*f**2 + 14*f**2 + 9*f - 2 + t*f - 5*f. Is o(-6) a multiple of 5?
False
Let n(h) = 15*h**2 - 1. Let w be n(-1). Let r = -12 + w. Suppose -3*t - r*t + 50 = 0. Does 4 divide t?
False
Let r = -38 - -42. Suppose -5*a - 177 = -r*x, -5*a = 4 - 19. Is 4 a factor of x?
True
Let y = -20 + 20. Suppose 17*k - 14*k - 912 = y. Suppose -6*h + k = -62. Is 14 a factor of h?
False
Suppose d + 4 = 3*d. Let w be 6 - (d + 0 - 2). Does 9 divide (-52)/w*(-1 - 2)?
False
Let q = 705 - 709. Let v(x) be the third derivative of x**6/120 + 7*x**5/60 + x**4/6 + x**3/6 - x**2. Is 7 a factor of v(q)?
False
Let c(f) = 3*f - 1. Let x be c(2). Let k(a) = a**2 - 9*a + 14. Let m be k(-5). Suppose b = x*b - m. Is 14 a factor of b?
False
Suppose 33 = 2*u - 3*t, -5*t - 7 + 0 = 2*u. Let p be ((-52)/(-3))/(3/u). Let c = p + -14. Is 30 a factor of c?
False
Let x = -19 - -58. Let t be (-228)/x - (-18)/(-117). Is (-3)/((-7)/((-896)/t)) a multiple of 20?
False
Let u be -1*(3 + 37)/(-4). Suppose -u = 2*m + m + 2*c, -m = -c. Let b(w) = -26*w. Is b(m) a multiple of 22?
False
Is 2/(-14) - ((-2358)/42 - -1) a multiple of 11?
True
Let b(z) = 5*z - 24. Let v = 19 - 5. Does 46 divide b(v)?
True
Let s = -38 - -58. Suppose -s - 8 = -4*a. Does 2 divide a?
False
Let v = -13 - -673. Does 55 divide v?
True
Suppose 3*a - p = 191, -14*p + 10*p + 16 = 0. Is a a multiple of 2?
False
Is 19 a factor of 2072/42 - 3 - 4/(-6)?
False
Let o(b) be the first derivative of -b**3/3 - 9*b**2/2 + 13*b - 7. Let g be o(-10). Suppose -20 = -g*p + 196. Does 18 divide p?
True
Let a(n) = n**2 - 3*n - 14. Let i = 21 - 14. Does 14 divide a(i)?
True
Suppose m - h = -5 + 3, 5*m + 10 = h. Does 23 divide (-468)/20*(m - 3)?
False
Let h(g) = -268*g - 1. Does 11 divide h(-1)?
False
Is 116 a factor of 1028 + (-6)/(-3) - 9?
False
Suppose -4*i - 32 = 4*n, 4*i = i - 5*n - 28. Let c be ((-7)/(-14))/((-2)/36). Is (-400)/(-15) - i/c a multiple of 12?
False
Suppose -4*n = 3 + 1, -4*n - 4 = -5*z. Suppose z*s + s = 2. Suppose 0 = f - 5*b - 37, s*f + 4*b - 98 = -3*f. Is f a multiple of 11?
True
Is 13/(13/2)*714 a multiple of 32?
False
Let k = 41 + -38. Suppose b + 4*s = 97, -206 = k*b - 5*b - 4*s. Does 11 divide b?
False
Is ((-249)/(-6) - -14)/((-6)/(-44)) a multiple of 21?
False
Let c be 1 - 1 - (-6 - -1). Suppose -2*f - 61 = v, -2*v - 90 = c*f - 2*f. Is 10 a factor of f/(-1) - 2/1?
True
Let x = -2 - -4. Suppose d = 10 + x. Suppose 3*c + 4*v = -v + 17, -2*c = 4*v - d. Is 2 a factor of c?
True
Let v(x) = -x**2 + x + 30. Let z be v(0). Let d = 76 - z. Suppose b + 19 = 2*s - d, 0 = 4*s - 4*b - 132. Is 10 a factor of s?
False
Suppose -4*x + 2*x = -3*g - 4, 6 = 3*x. Let y = 4 - g. Suppose -y*i = 5*l - 438, 5*i = -0*i - l + 558. Is i a multiple of 16?
True
Suppose 12*d + o = 11*d + 2473, 4*d = -5*o + 9889. Is d a multiple of 13?
False
Suppose -45*d + 46*d - 918 = 4*q, 0 = q + 1. Does 40 divide d?
False
Suppose -6 + 6 = 6*u. Suppose -5*k + 8*k - 63 = u. Does 21 divide k?
True
Let q = 7 + -4. Suppose -3*p - 3*z + 8 = -5*z, 4*z = -2*p + 32. Is (21/6)/(q/p) even?
False
Suppose 3*r + 3*r + 30 = 0. Is 8 a factor of (-3 + 2)*(r - 3)?
True
Let v(l) = 6*l + 342. Is v(4) a multiple of 6?
True
Suppose -15*r = -3*r - 864. Is 9 a factor of r?
True
Suppose 37*r - 4536 = 23*r. Is 54 a factor of r?
True
Suppose 1694 = 10*a + a. Is 11 a factor of a?
True
Let f(y) = -15*y**3 - y**2 - y + 1. Let q be f(-2). Let o = q + -90. Does 6 divide o?
False
Let c(i) = -i**2 + 17*i + 14. Let t be c(14). Suppose -a = v - t, -2*v + 129 - 42 = -3*a. Does 14 divide v?
False
Suppose 3*h + 1705 = 7732. Is h a multiple of 43?
False
Let n be 3/(-18) + 118/(-12). Let h = 22 - n. Suppose 25*z - 21*z - h = 0. Is z a multiple of 3?
False
Suppose -2*a = 2*a 