 h(w) = -9*w + 14. Let a(r) = 5*r - 7. Let u(g) = 11*a(g) + 6*h(g). Let x be u(-7). Suppose 2*p - 2 = x, 4*i - 4*p + 3*p = 39. Is 10 a factor of i?
True
Let f = 219 + -131. Is f a multiple of 22?
True
Suppose -2*m - 14 + 38 = 0. Is m a multiple of 4?
True
Let m(n) = 5*n - 4. Let b(c) = -c**2 - c - 4. Let u be b(0). Let t be (6 + -10)*6/u. Is m(t) a multiple of 13?
True
Let g(i) = i**2 + 6*i + 1. Let k be g(-6). Let c = -1 + k. Suppose c = 4*t - 57 - 7. Does 6 divide t?
False
Suppose 5*z + 2*f - 14 = 0, 0 = z + 4*f + 2 + 6. Suppose 3*g + 2*n + 7 = 0, z*g + n + n + 8 = 0. Is 3*5/(-3)*g a multiple of 5?
True
Let k be (-2)/(1/(30/(-4))). Suppose 1 = 2*v - k. Does 8 divide v?
True
Suppose -2*t - 67 + 18 = m, -4*t + 4*m - 104 = 0. Let y = t - -91. Is 16 a factor of 3 + 1/2*y?
False
Suppose 0*h - 18 = 3*h. Let a(c) = -3*c - 2. Is a(h) a multiple of 16?
True
Suppose -l = -3*l. Suppose -j - j = -4*v + 122, l = -3*v - 3*j + 87. Is 10 a factor of v?
True
Let c(r) = -r**3 - 3*r + 3. Let d be c(-3). Suppose -l + 133 = 2*n + d, -5*n + 4*l = -235. Is 14 a factor of n?
False
Let l = 17 - 65. Let v be (3 - 3) + l/2. Let u = 50 + v. Does 13 divide u?
True
Suppose -124 = -7*x + 506. Is x a multiple of 10?
True
Let a = 30 + 4. Let r = a + -18. Is 8 a factor of r?
True
Let a(v) = 2*v**2 + 6. Does 17 divide a(4)?
False
Let x = -73 + 145. Does 9 divide x?
True
Does 25 divide 6/(-10) + (-253)/(-5)?
True
Let r be 8/(-6)*(-9)/6. Suppose -r*x - 2*s + 14 = -84, -x + 67 = -5*s. Is x a multiple of 16?
False
Let s(t) = -157343*t**2 - 299*t + 299. Let o(q) = 1056*q**2 + 2*q - 2. Let n(f) = 897*o(f) + 6*s(f). Let a be n(1). Is 20 a factor of (-2)/(-9) - a/(-54)?
False
Is 10 a factor of (1 - -33) + -7 + 9?
False
Suppose -76 = -3*p + 2. Does 7 divide p?
False
Let b = 133 - 38. Is b a multiple of 31?
False
Suppose 3*y = -4*w + 13 + 5, 4*y - 4*w = -4. Does 8 divide (29 - 3) + y*2?
False
Let q(a) = a + 7. Let w be q(-11). Let k(m) = 3*m - 3 - 8*m - 3. Is k(w) a multiple of 14?
True
Suppose 45 = -5*y + 120. Let j be 10*(108/y + -2). Suppose 0 = -3*n - 7 - 5, 3*d - j = n. Is 11 a factor of d?
False
Let u = 308 + -153. Does 34 divide u?
False
Let g = -2 + -8. Let t = g - -26. Does 8 divide t?
True
Let g(b) = -b - 1. Let s be g(-7). Let l = s - 3. Let y = l - -2. Is y a multiple of 3?
False
Let g(h) = h**2 + 16*h + 64. Is 16 a factor of g(-20)?
True
Is 3 a factor of 14/(-21)*(-21)/2*4?
False
Suppose c - 5*c + 520 = 0. Is 33 a factor of c?
False
Does 20 divide 5 + -2 + (-231)/(-3)?
True
Let u = -27 + 82. Let p = u - 38. Is p a multiple of 17?
True
Let u be -1*(-1 - -1) + -5. Let j(v) = -v**2 - 6*v - 2. Let w be j(u). Suppose 20 = -2*s + w*s. Does 9 divide s?
False
Let p(s) = s + 6. Let l(q) = 7*q**3 + q**2 - q + 1. Let m be l(1). Let c be p(m). Let g = c + 10. Is 12 a factor of g?
True
Suppose -10 = -2*i + 34. Suppose -w + 3 = 3*g - i, -2*g = 3*w - 54. Is w a multiple of 16?
True
Let z = -10 + 28. Is 10 a factor of z?
False
Suppose 0 = -3*f + 38 - 2. Is 6 a factor of f?
True
Let m(v) = -v**2 + 7*v + 5. Let s be m(7). Suppose 3*u - s = 13. Suppose 0 = -3*a + 5*y + 75, y = -y - u. Does 10 divide a?
True
Let s(x) = -x**2 - 4*x + 90. Is 11 a factor of s(0)?
False
Suppose 0 = 5*m + 4*f + 5, -m = -2*f - 19 + 6. Let v(s) = -1 - 1 + m - s. Is v(-4) a multiple of 2?
False
Suppose -3*o = -0*o - 33. Let x = 33 - o. Does 9 divide x?
False
Suppose 2*n = w + 13, -3*n + 3*w - 3 = -4*n. Is 5 a factor of n?
False
Suppose 0*w - 5*w = -325. Let i = 3 + 1. Suppose 3*r + m = w, 10 = 3*m + i. Is r a multiple of 11?
False
Let v be 24/14 - (-4)/14. Suppose a = -w, a + 0*w = v*w. Suppose a*j - 14 = -j. Does 14 divide j?
True
Suppose -4 = f + f. Let a = f + -1. Is 4 a factor of 2/a - (-34)/6?
False
Let d = -12 - -20. Is 3 a factor of d?
False
Let m(r) = 6*r - 24. Is 13 a factor of m(10)?
False
Let o be -18*(2 - (-2 - -3)). Let l = o - -79. Does 13 divide l?
False
Is (48/(-9))/((-6)/9) a multiple of 4?
True
Let c = 30 - -7. Is c a multiple of 14?
False
Let y = 6 + -10. Let z be (-246)/y + (-3)/(-6). Let b = z + -26. Does 21 divide b?
False
Let n(q) = 2*q**2 + q + 2. Let m(t) = 2*t - 1. Let g be m(2). Suppose -d = 4*a + 12, -g*a + 2*d = d + 16. Is n(a) a multiple of 15?
True
Suppose 4*x - 150 = x. Is 15 a factor of x?
False
Let q be (10/(-4) - -3)*10. Suppose -j + 2*d + 4 = 3*d, 5*j = q*d + 10. Does 3 divide j?
True
Let r(t) = -t**3 + 8. Is r(0) even?
True
Let g(p) = p - 12. Let s be g(15). Suppose 0 = s*m + 5*d - 214, -d - 279 - 31 = -5*m. Is 21 a factor of m?
True
Let n(w) = w**3 - 6*w**2 + 5*w. Let m = 13 + -7. Is n(m) a multiple of 16?
False
Suppose -o - 79 = 3. Let n = 127 + o. Is n a multiple of 14?
False
Let x be (-2)/(1/(-4) + 0). Let j = x + -3. Suppose j*h - h - 44 = 0. Does 11 divide h?
True
Suppose -24*z = -21*z - 258. Is z a multiple of 7?
False
Suppose 0 = 2*t - 5*t - 6. Let z be -1 + t/(3 - 1). Is ((-46)/(-4) + z)*2 a multiple of 11?
False
Suppose -5*u + 95 = 4*d, 4*d - 2*u + 5*u = 105. Is d a multiple of 8?
False
Suppose -5*r + 11 = 5*b - 3*r, -5*b - r = -8. Let i(g) = -3 - 2*g + 5 + b. Does 12 divide i(-8)?
False
Let c(g) = 2*g**2. Is c(-3) a multiple of 9?
True
Let q(m) = m**3 - 2*m**2 - 4*m + 3. Suppose -2*k = 2*k - 12. Let s be q(k). Is 6 a factor of 0 - (36 + s)/(-3)?
True
Let m = 8 + -9. Let r = m - -2. Is (r - (-2 + 21))*-2 a multiple of 20?
False
Suppose -13*b = -14*b + 57. Is b a multiple of 11?
False
Let r = 110 + -65. Let a = -31 + r. Is 7 a factor of a?
True
Let q = 518 - 288. Is q a multiple of 10?
True
Let s = -19 + 40. Is s a multiple of 3?
True
Let d(l) = l**2 - 19*l + 48. Is d(17) a multiple of 14?
True
Suppose l = -5*u - 0*l + 13, 0 = -u - l + 1. Suppose -z - u*z = -3*v + 65, 3*v - 70 = 5*z. Suppose -v = 2*t - 51. Is t a multiple of 9?
True
Suppose -2*g + g = 1, 23 = 5*p + 2*g. Suppose -4 = 2*l + p*k - 0, -17 = -5*l + k. Suppose -z - l*q + 62 = 19, -2*z - q = -71. Is 17 a factor of z?
True
Let b = -170 + 255. Suppose -4*u = 9 - b. Is 6 a factor of u?
False
Let t = 6 - 2. Suppose 0 = 4*i - 84. Suppose n - t*n = -i. Is 3 a factor of n?
False
Let g be ((-3)/(-2) + -2)*-16. Suppose -5*u + 12 = -g. Suppose -m = u*k - 14, -3*k + 22 = 3*m + 7. Is m a multiple of 2?
True
Let h(m) = m**2 + 5*m + 6. Is h(-4) a multiple of 2?
True
Let j(p) = 7*p**2 - 4*p + 4. Is 5 a factor of j(2)?
False
Suppose 4*m + m - 1290 = 0. Does 17 divide m?
False
Suppose u - 3*t = 53, u + t = 2*u - 47. Let o = u - 23. Is 7 a factor of o?
True
Suppose -2*m - 5*a = -111, -3*a + 7*a = 4*m - 264. Does 18 divide m?
False
Suppose 0 = -3*p + 8*p - 350. Is p a multiple of 2?
True
Suppose d + 4212 = 14*d. Is 54 a factor of d?
True
Suppose 12*g - 300 = 7*g. Does 11 divide g?
False
Let u be ((-2)/(-4))/(5/20). Suppose 3*q - 7*q = 16, -q + 26 = u*a. Does 9 divide a?
False
Suppose a + 1 = -3*h - 1, 5*h - 5*a - 10 = 0. Suppose 2*m - 28 = -h*m. Is 7 a factor of m?
True
Is 2/4*4 - -17 a multiple of 19?
True
Suppose s = -5*i - 18, s - 6*s + 22 = -3*i. Suppose -a - 2*a + 5*n = -140, s*a = -5*n + 85. Does 24 divide a?
False
Let b = 8 - -73. Suppose b = 4*q + 21. Is q a multiple of 5?
True
Suppose -u = -12 - 4. Does 13 divide u?
False
Suppose -2*y + 15 = -57. Is y a multiple of 15?
False
Let r(z) = -7 + 2 + 3*z - 1 - z. Let m be r(4). Is 16 a factor of (m/(-3))/((-8)/204)?
False
Suppose 3*b - 8 = -4*u, -4*b = -4*u - 5*b + 16. Suppose 0 = 3*z - u*z + 100. Is 18 a factor of z?
False
Let l = 88 + -134. Let z = 69 + l. Does 5 divide z?
False
Suppose 0 = -3*g - 49 + 142. Let m be (-106)/6 - (-1)/(-3). Let x = g + m. Is 6 a factor of x?
False
Suppose -t - 54 = -2*n - 4*t, 0 = -n - 4*t + 22. Suppose 0 = 3*j - 3*s - n, 3 = j - 2*s - 2. Does 15 divide j?
True
Suppose 31 = 4*s - 3*r, 4*s + 2*r = -s + 10. Suppose -g - 11 = 3*m + s, -4*m + 5*g = 20. Is 19 a factor of ((-4)/m)/(2/95)?
True
Suppose -5*u + 3*g = -13, 2*u - 2 = 4*g + 6. Is 11/(u/(-8)*-4) a multiple of 8?
False
Suppose -2*r - 3*c + 715 = 2*c, -2*r - 2*c + 700 = 0. Suppose 4*p + r = 4*f + 9, 0 = 4*p - 16. Does 22 divide f?
True
Suppose 21*i - 25*i = -160. Does 9 divide i?
False
Let r = -12 - -6. Let n(c) = -4*c**3 + c**2 - 3*c + 1. Let t(i) = 5*i**3 - i**2 + 4*i - 2. Let d(p) = r*n(p) - 5*t(p). Is d(-3) a multiple of 14?
True
Suppose -3*k + 2*k = -4. Suppose -k*o = o - 55. Is 3 a 