uppose -x*z + g = -51, -4*g + 102 = -2*z + 7*z. Is 9 a factor of z?
True
Let u = -102 + 942. Is u a multiple of 84?
True
Let o be 12*((-3)/2)/((-42)/35). Is (-27)/((-1)/o*35/14) a multiple of 16?
False
Let a = 87 + -169. Let w = -5 - a. Is 11 a factor of w?
True
Let q(b) = 3*b**2 - 5*b - 37. Does 87 divide q(-8)?
False
Let d(k) = 115*k**3 + k**2 - k + 1. Let t be d(1). Suppose -4*w + 3*w = -t. Suppose i - w = -i. Is 20 a factor of i?
False
Suppose 2*l = 5*z - 6824, 227 = 4*z + 3*l - 5223. Does 62 divide z?
True
Let j be 6/2 + 13 - -2. Is ((-184)/5)/(j/(-45)) a multiple of 11?
False
Suppose 0 = -170*h + 168*h + 1184. Does 74 divide h?
True
Let t(z) = -z**2 - 10*z + 2. Let v be t(-9). Let r(u) = 18*u + 6. Is 13 a factor of r(v)?
False
Let i be ((-15)/12)/((-8)/1728). Suppose i = 29*l - 24*l. Is 6 a factor of l?
True
Let k be ((-1)/2)/(1/(-4)). Let n be 73 + -3*(k - 1). Suppose n = a + a. Is 10 a factor of a?
False
Let a(q) = q**3 - q**2 + 780. Let s be a(0). Suppose -3*r = -9*r + s. Is 26 a factor of r?
True
Let s be (-2)/(-6) + 42/9. Suppose s*c - 4 + 74 = 0. Let x(b) = b + 28. Is x(c) a multiple of 2?
True
Suppose z = -0*z + 3. Suppose 5*j = -z*n, 7*n - 2*n - 37 = 4*j. Suppose 7 = q - n. Does 3 divide q?
True
Let u(y) be the second derivative of y**3/6 + 17*y**2 + 2*y + 4. Is u(-17) a multiple of 2?
False
Let k = -134 - -188. Does 20 divide k?
False
Let z(b) = 20*b**2 - 17*b**2 - 6*b + 8 + 5*b**3 - 2. Does 22 divide z(3)?
False
Let n = 309 + -261. Is n a multiple of 2?
True
Let f(g) = g**2 - g - 4. Let a be f(-3). Let r(z) be the first derivative of 5*z**2 + 7*z - 56. Does 29 divide r(a)?
True
Let p = -2268 + 4054. Is p a multiple of 47?
True
Let j = -2 - -10. Let z(d) = d**2 - 4*d + 3. Let l be z(4). Suppose -l*c + 55 + j = 0. Is c a multiple of 6?
False
Suppose -8*l + 810 = -3*l. Suppose 0*y = -y + l. Is 4 a factor of 3/(-12) + y/8?
True
Let z be 42*(0 + 18/4). Suppose 3 = -p, 5*h - p = 2*p + z. Is h a multiple of 6?
True
Let w(z) = 3*z - 10. Let o be w(4). Suppose -o*b - 5*b - 14 = 0. Is -5 + 3 + b - -52 a multiple of 6?
True
Suppose w - 3*w + 6 = 0. Suppose -u + 283 = 5*z, 0*z + z - w*u = 47. Is z a multiple of 14?
True
Is 21 a factor of -2 + 4 + (-4664)/(-11)?
False
Suppose -4*s + 45 = 2*j - 213, 3*j - 4*s - 397 = 0. Is 27 a factor of j?
False
Let d(t) = 1636*t**2 + 6*t - 8. Is 24 a factor of d(1)?
False
Suppose 1216 = 6*t + 2*t. Is t a multiple of 11?
False
Suppose -5*r - 7125 = -3*f + 2094, 0 = 5*f - 4*r - 15352. Does 43 divide f?
False
Suppose 0 = -5*s + s + z + 962, -5*s + 1202 = -z. Does 30 divide s?
True
Let c(s) = s**2 - 2*s - 4. Let q be c(4). Suppose 6 = -2*k, 72 = -4*x - 0*k + q*k. Let b = 53 + x. Is 8 a factor of b?
True
Suppose 0 = o - 4*k - 1528, -509 = 4*o + 2*k - 6711. Does 86 divide o?
True
Let n be (-9)/(-6)*(-12)/9. Let q(p) = -18*p**3 - p**2. Let u be q(n). Let f = -74 + u. Is 22 a factor of f?
True
Suppose 12*h + h = 286. Suppose h = -37*n + 38*n. Is n even?
True
Let y be (-186 + 5)/(-3 + 2). Suppose 5*h - y = -21. Is h a multiple of 18?
False
Let n be (-6)/4*8/6. Let c(z) = -6*z**3 + 1. Let b be c(n). Suppose t - b = -5*i - 0*t, 3*i - 5*t = 7. Is i even?
False
Is ((-180360)/(-378))/(4/14) a multiple of 122?
False
Let f(o) = 0 - 2*o - 3*o**3 - 2 - o**2 + 0. Suppose -8*i = -6*i + 4. Is f(i) a multiple of 11?
True
Let u(q) = q**2 + q + 4. Let z be u(0). Suppose 0 = 2*b + 2*r + 3*r - 330, -5*b + 4*r + 825 = 0. Suppose z*y + 17 = b. Is 11 a factor of y?
False
Let d(s) = 7*s**2 + 2*s + 1. Let g be d(-1). Suppose 5*x - g*x + 3 = 0. Does 23 divide x/(18/(-2))*-114?
False
Let c be 2 + (16/4)/4. Let g(p) = -8 + c*p - 12 + 10*p - p**3 - 9*p + 14*p**2. Is g(14) a multiple of 18?
True
Suppose 7*b - 8*b = 0. Suppose b = -3*v + 4*u + 367, -2*u = -2*v - 0*u + 246. Let s = v - 82. Is s a multiple of 12?
False
Let c = -59 + -1749. Let u be (-12)/8*c/12. Suppose -3*f - 6*p = -p - 180, 4*f = -2*p + u. Does 13 divide f?
False
Let g(y) = 2*y**2 + 17*y + 51. Does 2 divide g(-6)?
False
Let b(p) = 23*p**2 + 5*p - 4. Let d = -12 + 14. Is 14 a factor of b(d)?
True
Let f = -396 - -413. Is f a multiple of 11?
False
Suppose 3*f - w - 6 = 13, -5*f + 15 = -5*w. Suppose -2*s + s = -f. Is 2 a factor of s?
True
Let l be (-2)/(-2) + (-2)/(-2). Suppose 6*b - 528 = l*b. Suppose 3*u + 10*d - b = 5*d, 0 = -3*u + 5*d + 102. Does 15 divide u?
False
Let u(k) = k + 1. Let q be u(-1). Suppose 8 = 4*h - 2*g, -2*g + 19 = 5*h - q*g. Does 20 divide 20/(10/h + -3)?
True
Let o(y) = -2*y**2 + 2*y - 4. Let a be o(-3). Suppose -9 = x + m, m = -x + 3*m - 24. Let j = x - a. Is 5 a factor of j?
False
Let y(s) = -s**3 + 3*s - 2. Let r be y(2). Let d be 10/(-25) + 47*(-4)/5. Is (-2)/6*(r + d) a multiple of 7?
True
Is 13 a factor of 37453/215 + 12/(-10)?
False
Is 8 a factor of 4798/12 - 219/(-1314)?
True
Let w = 104 - 65. Suppose -2*a + 139 + 7 = 5*v, 209 = 3*a + 5*v. Let h = a - w. Is 16 a factor of h?
False
Suppose p - 2182 = -5*s, 2*s - 6*p = -3*p + 866. Is s a multiple of 4?
True
Let p = -469 - -1264. Suppose 123 - p = -6*a. Does 28 divide a?
True
Let o = -34 - -36. Suppose 3*g = 6, 0*g + o = s + g. Suppose -l - 1 + 10 = s. Is l a multiple of 2?
False
Suppose 0 = -0*m - 4*m - z + 721, z = 5*m - 899. Does 45 divide m?
True
Suppose 2 + 1 = -c, -14 = -r + 3*c. Suppose -309 = -r*j + 56. Suppose -3*v = -5*d - 119, -d = 2*v - 2 - j. Is v a multiple of 12?
False
Suppose 1504 = 2*o - n, 4*o + 10*n - 2996 = 9*n. Does 6 divide o?
True
Is (1 + 1699)*34/85 a multiple of 36?
False
Suppose -3*y + 2*c + 951 = 0, -6*y = -2*y - 4*c - 1268. Suppose 2*s + o = -0*o + 125, -2*o - y = -5*s. Suppose m + 49 = a, 4*a - s = m + 148. Does 18 divide a?
True
Let p be (4/(-8))/(2/(-36)). Suppose p = 2*r + k, -3*r + 6*k - k + 7 = 0. Suppose h - 175 = -r*h. Is h a multiple of 13?
False
Suppose -2*d - 2*l - l = -1978, -2965 = -3*d - 4*l. Is 16 a factor of d?
False
Suppose 0 = -2*d - 8, h + d = -3*d + 57. Let a = h - 42. Is a a multiple of 9?
False
Suppose 3*l - 2*l = -4*c + 28, c - 3 = 0. Suppose 5*d + i = 6, l - 2 = 5*d - i. Does 12 divide d/(((-2)/(-26))/1)?
False
Let c(g) = 7*g**2 + 9*g + 17. Suppose -h = 18 - 13. Is 29 a factor of c(h)?
False
Suppose -43*o = -72453 - 10623. Is o a multiple of 55?
False
Let b = 3 + 0. Suppose 3*r = -b*r + 648. Is 12 a factor of r?
True
Let o(q) = 22*q**3 + q**2 + 2*q + 1. Let n be o(-1). Let f(m) = -m**2 - 5*m - 1. Let v be f(-9). Let c = n - v. Does 5 divide c?
True
Let o(f) = f + 1. Let a(d) = -43*d - 45. Let h(r) = a(r) + 2*o(r). Is 10 a factor of h(-6)?
False
Suppose u = 5*u + 28. Let l be 1 - (-2)/((-2)/u). Suppose 2*m + 2*m = 2*f - 46, -5*m - l = -f. Is 11 a factor of f?
True
Let j(y) = -y**3 + 26*y**2 + 76*y + 34. Is 13 a factor of j(25)?
False
Let i = 25 - 22. Let f be 126/(-3) + 3 - i. Let j = f + 66. Is 6 a factor of j?
True
Let w = 212 + -430. Let k = -155 - w. Does 13 divide k?
False
Suppose 3*k - 4*l - 7764 = 0, 91*l - 89*l = 2*k - 5174. Is k a multiple of 39?
False
Is (79 - 0) + 16/8 a multiple of 7?
False
Let z = -252 - -493. Is 43 a factor of z?
False
Let q = 743 + 5. Does 68 divide q?
True
Let f = 3 - -1. Suppose -4*j + 0*c = c - 147, -5*j + f*c + 210 = 0. Suppose -40 = -j*z + 36*z. Is z a multiple of 5?
True
Let f = 1830 + -1136. Does 13 divide f?
False
Let b(g) = -g**3 - 31*g**2 - 44*g - 10. Does 21 divide b(-31)?
False
Let s(n) = 11*n**2 - n - 4. Does 6 divide s(-5)?
True
Let u(d) be the second derivative of -d**4/12 + 7*d**3/3 + 4*d**2 + 16*d. Is 12 a factor of u(5)?
False
Let k(x) = -15*x**3 - 7*x**2 - x + 2. Is 12 a factor of k(-2)?
True
Let z = -365 - -814. Does 13 divide z?
False
Suppose 5*g - 58 = -18. Let v(a) = 2*a**2 + 12*a + 21. Let n be v(-6). Suppose -z = -n + g. Does 13 divide z?
True
Let w(g) = 103*g + 6. Does 38 divide w(4)?
True
Let n(o) = -15*o**2 + 4*o - 10. Let q be n(4). Is q/(-4) - 33/22 a multiple of 12?
False
Suppose -8*x + 11*x = -252. Let k be (-26)/(-7) + (-24)/x. Suppose -k*r - 5*j + 104 = 0, 0 = -r + j + 2*j + 9. Is 16 a factor of r?
False
Let a be (2/(-3))/((-9)/(5994/4)). Suppose 8*h = 25 + a. Does 12 divide h?
False
Suppose -6*l + 12 + 0 = 0. Does 18 divide (21/l)/((-2)/(-24))?
True
Suppose 0*a + a + 5*x + 10 = 0, 0 = -4*a + 3*x - 109. Is 17 a factor of (5/(a/(-68)))/((-2)/(-5))?
True
Let m(c) = -28*c - 20. Is m(-