*x(q) - 3*z(q). Is p(7) a multiple of 10?
True
Let t(v) = -9*v + 30. Let x(c) = -c**3 + 10*c**2 - 11*c + 12. Let n be x(9). Is 14 a factor of t(n)?
True
Suppose 2*k - 5*k = -15. Let h be (102/15 - -2)*k. Is 11 a factor of (3/12 + 1)*h?
True
Suppose 2*k - 36 = 5*q, -k - 3 - 9 = 5*q. Suppose -k*i + 2*o + 438 = -6*i, 3*i - 659 = 4*o. Is i a multiple of 30?
False
Let i = 41 - -9. Suppose -i = 3*a - 155. Is 7 a factor of a?
True
Suppose 3*r = 3*a + 217 - 1558, -5*a + 2*r + 2226 = 0. Is 25 a factor of a?
False
Let p be -9 + 4 + 3 + -3. Let o be (3 + -1 + p)*5. Is 106/3 + (-10)/o a multiple of 12?
True
Let a be 108 + -1 + 6/2. Is a/6 - (-5)/(-15) a multiple of 9?
True
Suppose -2 = l - 8. Suppose l*y - 930 = 540. Is 18 a factor of y?
False
Let m = 760 + 677. Does 10 divide m?
False
Suppose -p - 5*t = 3*p - 25, 59 = 5*p - 3*t. Let c(w) = 2*w**2 - 6*w - 26. Does 19 divide c(p)?
True
Let w(x) = -x**2 + 2*x - 1. Let t be w(1). Suppose -4 + t = -2*z. Suppose -16 = -0*i - z*i - 3*y, 0 = -2*y. Is i a multiple of 5?
False
Let z(g) = 31*g**2 + 5*g - 2. Does 73 divide z(3)?
True
Suppose 90*z = 107512 + 10658. Does 13 divide z?
True
Suppose -3*c = k + 1, -3*k - 4 + 1 = 3*c. Suppose c = 5*t - 5*h - 1180, 0 = -7*t + 5*t - 5*h + 507. Is 13 a factor of t?
False
Let m be (40/25)/((-4)/(-710)). Suppose -5*v + 5*j + 705 = 0, -m = 2*v - 4*v + j. Is v a multiple of 13?
True
Let b be (-2 + 0)/2*-5. Suppose 0 = -5*i - 3*t + 12, -t = i - b*t + 16. Suppose -5*s + 5 + 20 = i. Is s a multiple of 3?
False
Does 2 divide 914/10 - (-10)/(-175)*7?
False
Let a = -132 - -134. Suppose 184 + 62 = a*x. Is x a multiple of 45?
False
Let o = 92 + -87. Let f(a) = -a**2 - 8*a + 1. Let r be f(-4). Let n = r - o. Is 3 a factor of n?
True
Suppose -9 = 3*d - 15. Suppose 0 = -2*k + 2*z - 0*z + 726, z = d. Suppose -3*p + k = -0*a - a, -2*p + 254 = 2*a. Is 44 a factor of p?
False
Suppose -270 = -57*f + 52*f. Is f a multiple of 3?
True
Let a = 9 + -4. Suppose 27 = -a*r - 38. Let g(p) = p**3 + 13*p**2 - 5*p - 15. Is g(r) a multiple of 14?
False
Does 10 divide (-8)/2 - -5 - (-4 + -497)?
False
Is 19 a factor of 15/25 - 1632/(-30)?
False
Let d be -2 + -1 + -1 + 0. Let g(p) be the second derivative of p**4/4 + p**3 + p**2 + 8*p. Is 25 a factor of g(d)?
False
Let q be (-19 + 12/3)*-6. Suppose q = -27*j + 28*j. Is 18 a factor of j?
True
Let q(z) = z - 7. Suppose -7*i + 51 = -40. Let c be q(i). Suppose c*s - 3*s = 210. Is 16 a factor of s?
False
Let j(f) = f**2 + 14*f - 12. Let v = -26 - -11. Let s be j(v). Suppose w = 6*w + 4*x - 50, -7 = s*w - 5*x. Is w a multiple of 3?
True
Suppose 0 = j + 49 + 20. Does 26 divide (j - -36)/(1/(-3))?
False
Suppose 0 = -199*a + 220*a - 26145. Is 13 a factor of a?
False
Let f(v) = -v + 6. Let r be f(-5). Suppose -5*y - r + 1 = 0. Is 3 a factor of (-50)/(-18) + y/(-9)?
True
Suppose -2*h = -4 - 4. Suppose -43 = -a + h*f - 7*f, -4*f + 4 = 0. Is a a multiple of 8?
True
Let c be -3 + (-4 - -3 - 0/1). Is (-46)/c - (-6)/(-12) a multiple of 11?
True
Let h = 3 + -3. Suppose h = s - 6*s + 210. Is 3 a factor of ((-8)/12)/((-4)/s)?
False
Suppose 99 = 5*k - 31. Suppose -2*f = -0*f + 4*o - 38, 8 = -4*o. Let p = f + k. Is 13 a factor of p?
False
Let l = -494 - -645. Does 4 divide l?
False
Let n(f) be the first derivative of -81*f**4/4 - f**3/3 + f**2/2 + f + 5. Is n(-1) a multiple of 20?
True
Suppose 7*h + 110 = 313. Is h a multiple of 29?
True
Let p be (-2)/(-5) - 223/(-5). Suppose 504 = p*n - 42*n. Is 21 a factor of n?
True
Suppose 2*r + 8*q - 3*q - 85 = 0, -r + 3*q = -70. Suppose -k + r = -s + 6*s, -2*k + 143 = -s. Is 2 a factor of k/(-25)*15/(-6)?
False
Let n be 44/6 - 8/6. Suppose t + 1 - n = 0. Suppose -133 = -s - 3*h, -t*s - 2*h = 3*h - 645. Does 22 divide s?
False
Let z(k) = -k**3 - 41*k**2 - k + 120. Is z(-41) a multiple of 8?
False
Let y(p) = 2*p**2 + p - 2. Let k be y(-2). Suppose -k*a + 6*a - 24 = 0. Is 4 a factor of (4/a)/(3/63)?
False
Let a be (4/3*2)/((-2)/(-3)). Suppose 0 = c + a*c + 2*o - 456, -5*c = 5*o - 465. Does 15 divide c?
True
Is 51 a factor of (-67 + 91)*1233/6?
False
Let a(k) be the second derivative of -2*k**3/3 - 9*k**2/2 + 4*k. Let p be a(-7). Let m = 28 - p. Does 6 divide m?
False
Let c = -107 - -159. Let o = 88 - c. Let f = o - 14. Is 7 a factor of f?
False
Let u(n) be the first derivative of 7*n**4/4 - n**3/3 + 9*n**2/2 - 8*n + 4. Let j(i) = 3*i**3 + 4*i - 4. Let g(b) = 5*j(b) - 2*u(b). Is 8 a factor of g(2)?
True
Let h(c) = -191*c + 3. Does 9 divide h(-1)?
False
Suppose -7 = -k - 5. Suppose -k*b + b = -22. Does 4 divide b?
False
Let b = 12 + -7. Suppose -6*c + 131 = -c - 3*p, c = -b*p + 43. Suppose 2*d = -j + c, -3*j - 4 - 3 = -d. Is d a multiple of 5?
False
Let s(c) = -3*c**2 - 6*c + 2*c**2 - 7 + 2*c - 2*c. Let z be s(-3). Suppose z*x + 0*x = 62. Is 8 a factor of x?
False
Let k(m) = 49*m**3 + 3*m**2 - 2*m + 6. Is 54 a factor of k(3)?
True
Let q = -92 + 94. Suppose -t - 31 = -3*p - 0*p, -4*t = -2*p + 24. Suppose -p = -7*g + q*g. Is g a multiple of 2?
True
Let b be (-30)/12*8/(-10). Suppose -b*x - 3*k = -6*x + 946, 4*x + k = 954. Is 32 a factor of x?
False
Suppose 0 = 5*g - 2*g - 144. Is g/6*(-62)/(-8)*2 a multiple of 31?
True
Suppose 2*n - 5*n + 42 = 0. Suppose 6*b - 200 + n = 0. Does 6 divide b?
False
Let z be 2/(-3) + (-1)/3 - -1. Suppose z*r - 192 = -2*r. Is r a multiple of 18?
False
Let a(c) = 4*c**2 - 11*c - 5. Does 40 divide a(5)?
True
Let a(o) be the second derivative of o**5/12 - o**4/8 + 7*o**2/2 + 3*o. Let r(x) be the first derivative of a(x). Is 18 a factor of r(3)?
True
Suppose -2386 = j + 4*j + v, 955 = -2*j - v. Is 31 a factor of (j + 0)*(-7 - (-140)/21)?
False
Suppose -345 = i + 4*i. Let h = i - -29. Let f = 64 + h. Is f a multiple of 12?
True
Suppose 3*w - 42 + 153 = 0. Suppose 240 = g + 2*g. Let u = g + w. Is 11 a factor of u?
False
Let u = -7 + 22. Let d be 62/u + (-2)/15. Suppose -3*l = -3*y + 60, -8*l + d*l = -3*y + 64. Is y a multiple of 8?
True
Let d = 2243 - 2092. Does 4 divide d?
False
Suppose 0*y - y - 7 = 2*g, 4*y - 32 = 4*g. Suppose -y*t - 2*t = -245. Does 20 divide t?
False
Does 16 divide 390/(-45)*(-70 + -2)?
True
Suppose -5*m - 3*h + 1874 + 2423 = 0, 2*h + 2 = 0. Does 10 divide m?
True
Let q(z) be the second derivative of -1/20*z**5 + 0 - 1/2*z**3 + 7/12*z**4 + z - z**2. Is 12 a factor of q(6)?
False
Is 2/(-5) + 360/(-100) + 932 a multiple of 9?
False
Suppose 100 + 20 = 3*a. Let w = a - 23. Suppose -2*c + 44 = -5*q - w, -c - q = -27. Does 22 divide c?
False
Let n be (20/(-3))/(1/(-3)). Suppose i = -2*i + 129. Let l = n + i. Does 14 divide l?
False
Suppose 0 = -2*x + 4*x + 118. Let l = 113 + x. Is 9 a factor of l?
True
Suppose -9*r + 5*r + 36 = 0. Let d(g) = 5 - 7 - r*g + 0. Does 7 divide d(-2)?
False
Suppose -n = 4*f + 2*n - 48, -52 = -4*f - 4*n. Suppose -3*x - f = 9. Let v(k) = -2*k + 2. Does 7 divide v(x)?
True
Suppose -3*q = 0, -3*n = -2*n - 4*q + 36. Let a(m) = m**3 + 7*m**2 - 2*m + 7. Let h be a(-6). Let u = h + n. Does 9 divide u?
False
Suppose 5*f + y - 139 + 34 = 0, 0 = 3*f + 3*y - 75. Suppose 0 = -2*d + 4*p + 48, -4*d + 3*d = -4*p - f. Is 17 a factor of d?
False
Let p be (-19 - -64)*(-2 + 14/6). Is 15 a factor of (4/(-3))/((-20)/p) + 103?
False
Let u(k) be the third derivative of k**7/2520 - k**6/720 + k**5/10 + k**4/12 - 4*k**2. Let z(c) be the second derivative of u(c). Is z(0) a multiple of 6?
True
Let s = -1 - 1. Let i be (1 - s/(-4))*8. Suppose i*y + y = t + 87, -24 = -2*y - 5*t. Is y a multiple of 17?
True
Let y(h) = -h**3 + 5*h**2 + 6*h - 6. Let m be y(6). Let f(c) = c**2 - 5*c - 4. Is 12 a factor of f(m)?
False
Let t be -13 - -151 - (0 + 2). Suppose 5*n = -q - 41 + t, -n = -q + 89. Suppose -5*i = -q - 15. Is i a multiple of 7?
True
Let q(m) = 49*m - 163. Is q(7) a multiple of 18?
True
Let g be 27/6 + 15/(-10). Suppose 0 = -5*p - 4*h + 796, g*h - 193 + 36 = -p. Is p a multiple of 10?
True
Let n(y) = -7*y - 8. Let a be n(-1). Is (-13515)/(-90) - a/(-6) a multiple of 15?
True
Let j = -21 + 23. Suppose -3*n = 4*k - 135, n + 3*k + j*k - 34 = 0. Does 19 divide n?
False
Let f(i) = -8*i - 13. Let l be f(12). Does 7 divide -2*(-7 + 8) - (l - 1)?
False
Let i = 80 + -43. Let p = i + 20. Does 19 divide p?
True
Let m(p) be the third derivative of p**4/4 + 2*p**3 - 14*p**2. Does 8 divide m(5)?
False
Let w = 607 - 346. 