0)*1*4. Is 5 a factor of h(r)?
True
Let k(r) = -6*r**3 - r**2 + 6*r + 23. Let y(o) = -7*o**3 - o**2 + 7*o + 23. Let h be 1/((-2)/10 - 0). Let v(z) = h*y(z) + 6*k(z). Is v(0) a multiple of 10?
False
Is 223/3 + 5/(-15) a multiple of 15?
False
Let y be 3/(-2)*8/(-12). Does 10 divide (y/(-2))/(4/(-104))?
False
Suppose 4*q - 4*f = 3*q + 16, -2*q + 4*f = -12. Let a be 122/18 + q/(-18). Suppose 2*d - 31 - a = 0. Is 10 a factor of d?
False
Suppose 2*n - 5*k + 2 + 27 = 0, -3*n + 4*k - 26 = 0. Let h be -3 - -3 - (n + -6). Suppose h*v - 84 = 5*v. Is 12 a factor of v?
False
Suppose -j = j - 8. Suppose k + j*k - 140 = 0. Is k a multiple of 14?
True
Suppose -f = -4, s + s = -5*f + 28. Suppose -3 + 11 = s*u. Does 11 divide 57/6*u*1?
False
Let i(x) = x**3 - x + 4. Let f be i(0). Suppose 0 = f*a - 3*r - 18, -5*r + 28 + 6 = 4*a. Is 3 a factor of a?
True
Let x(g) = 2*g**2 - 2*g + 5. Let t be x(5). Suppose -5*c = 4*o - 217, -2*o + t + 56 = c. Is ((-2)/(-6))/(4/o) a multiple of 4?
True
Let s(z) = -3*z - 5. Let a be s(-4). Suppose -4*v - 22 = -3*d, a*v = -3*d + 3*v + 62. Does 3 divide d?
False
Let w(h) = 13*h. Suppose 2*m + 4 = 6. Is 9 a factor of w(m)?
False
Suppose -2*z = -5*d - 10, 3*d + d = -4*z + 48. Suppose 5*s - 8*s = -75. Let h = s - z. Is 15 a factor of h?
True
Suppose p + 2*o = 13, -o + 18 = 3*p - 31. Is 17 a factor of p?
True
Is (-1518)/4*9/(243/(-18)) a multiple of 7?
False
Let a(v) = 24*v + 6. Is a(1) a multiple of 9?
False
Suppose -4*a = 2*t - 116, 4*t + 0*a + 3*a - 217 = 0. Is 11 a factor of t?
False
Let z = 4 - 2. Let b(d) = -6 - 2*d**z + 3 + 4*d**2 + 2*d. Is b(2) a multiple of 6?
False
Let d = 45 - 30. Suppose 77 = 2*r + d. Is r a multiple of 10?
False
Suppose -6*u + 10*u - 152 = -5*t, 0 = -3*t + 3*u + 102. Does 8 divide t?
True
Suppose 2*h = 3*h + 14. Let t = h - -5. Is 18 a factor of 68/2*t/(-6)?
False
Let f(h) = 51*h - 19. Does 28 divide f(3)?
False
Suppose -176 - 336 = -4*i + 2*t, -2*i - 5*t + 232 = 0. Is i a multiple of 28?
False
Suppose -3*x + 2 = 2*t - 9, 39 = 2*x - 5*t. Let l(z) = -x + 0*z + 2*z + 2*z. Is l(7) a multiple of 6?
False
Let l = 14 + -9. Does 5 divide l?
True
Suppose 5*t = 2*u - 5, 0*t + 11 = 2*u - 3*t. Let j = u + 0. Does 10 divide j?
True
Let r(x) = -x**3 - 9*x**2 - 7*x + 11. Let h be r(-8). Suppose -h*c + 4*f + 31 = 0, -4*f - 49 = -3*c - 2*c. Is 5 a factor of c?
False
Let v(w) = -w**3 + 6*w**2 + 3*w - 3. Is v(6) a multiple of 14?
False
Is 172 + (-4 - (-4 + 4)) a multiple of 6?
True
Let n(g) = 2*g**2 + 3*g - 3. Let r be n(-9). Let d = 202 - r. Is 14 a factor of d?
True
Let k(i) = -51 + 51 + 12*i. Is k(3) a multiple of 18?
True
Let v = -108 + 250. Does 21 divide v?
False
Suppose -n + 167 = 4*j, -2*j - 5*n = 15 - 112. Does 21 divide j?
False
Does 7 divide -7*1*(4 - 7 - 2)?
True
Let h(d) = d**2 - 2*d - 3. Let s be h(3). Suppose 2*q + 4*p = 60, s = 2*q - 7*q - p + 123. Does 8 divide q?
True
Let g(l) = -l + 10. Let z be g(6). Suppose 2*m = z, 2*y = -m - m + 34. Is 6 a factor of y?
False
Suppose -4*r - 5 + 1 = 0. Let k(h) be the second derivative of h**4/4 + h**3/6 - 2*h. Is k(r) even?
True
Suppose 5*y = -4*b + 73, 2*b + 0*b - 53 = 3*y. Is b even?
True
Let z(r) = 61*r**2 + 2*r. Does 15 divide z(-2)?
True
Suppose 4*m + 36 = -36. Let s be (6/9)/((-4)/m). Suppose 5*p = -2*j + 73 + 17, -54 = -s*p - 3*j. Does 9 divide p?
True
Let s = 282 - 152. Is 29 a factor of s?
False
Let g = 19 - 15. Suppose -22 = -d + g*i, 8*d - 3*d - 89 = -i. Is d a multiple of 9?
True
Let w = -1 + 1. Let c be (w/(3 - 2))/2. Suppose -6*d + d + 40 = c. Is d a multiple of 4?
True
Let b(l) = 4*l**2 + 2. Let t(j) = -j - 4. Suppose 2*v + 2 = -10. Let n be t(v). Is 10 a factor of b(n)?
False
Is 16 - (0 - 1) - -1 a multiple of 12?
False
Let r(t) = -t**3 - 8*t**2 - 11*t - 5. Let z(x) = -x**2 - 6*x - 7. Let l = -15 + 9. Let h be z(l). Is 7 a factor of r(h)?
False
Suppose 10*f - 117 = 353. Is f a multiple of 19?
False
Is 62 - (-4)/(4 - 0) a multiple of 16?
False
Let y be (-3)/15*8*-5. Suppose 3*c - o - o - 23 = 0, 0 = -o - 4. Suppose c*w + 90 = y*w. Does 15 divide w?
True
Let h(f) = -4*f + 1. Let w(q) = -q + 3. Let l be w(5). Let o be h(l). Does 2 divide 6/(-4)*(-12)/o?
True
Let q = 30 + 9. Does 8 divide q?
False
Let s = -4 + 16. Let y = s - 7. Is y a multiple of 5?
True
Suppose 5*s - 3*s = 90. Is s a multiple of 20?
False
Let x = 17 + -7. Is 5*(36/x + -2) even?
True
Let f = -50 - -74. Is 8 a factor of f?
True
Suppose 0 = -4*u - 20, 2*u - 142 = -3*b + 136. Let f = b + -38. Suppose -4*c - 4*a - 33 + 145 = 0, -2*c - 3*a = -f. Is 13 a factor of c?
True
Let j = 67 - 19. Is 22 a factor of j?
False
Let f be (18/2)/((-3)/2). Let l(c) = -c**2 - 8*c - 7. Is 2 a factor of l(f)?
False
Is 5 a factor of ((-80)/12)/((-1)/3)?
True
Let x(o) = o**2 + 16. Suppose 0*k + 5 = 3*t - k, 4*k + 20 = -3*t. Does 16 divide x(t)?
True
Let r(u) = u**2 + 7*u + 3. Let w be r(-7). Suppose 5*m = w*m + 2. Suppose m + 11 = 4*k. Does 3 divide k?
True
Suppose -u + 1 = 3. Let z(n) = -9*n**3 - 7*n**2 + 9*n + 9. Let o(x) = 5*x**3 + 3*x**2 - 4*x - 4. Let w(r) = -5*o(r) - 2*z(r). Does 19 divide w(u)?
False
Let u(o) = -4*o - 4. Suppose -2*j - 20 = -4. Is 9 a factor of u(j)?
False
Let q(m) = -2*m - 6. Let x be q(-4). Let a(j) = 6*j - j**x + 0 + 8 - 4. Is 5 a factor of a(3)?
False
Suppose 3*u = 4*u - 41. Let o = u - 15. Is 22 a factor of o?
False
Suppose -116 - 146 = 4*q + 3*f, 5*f = 10. Let r = q + 107. Suppose b + 3*b = r. Is 8 a factor of b?
False
Suppose -3*v + 4*y = -0*y - 13, -14 = -4*v + 2*y. Suppose -v*h - 9 = -0*h. Is h/(-12) + (-59)/(-4) a multiple of 13?
False
Let y = 22 - -22. Suppose 5*n - x - y = 0, 4*n - x = -3*x + 38. Does 4 divide n?
False
Let j(z) = -z**2 - 6*z + 2. Let n be j(-5). Let r = n - 5. Suppose 2*k + r = 8. Is 3 a factor of k?
True
Suppose 4 = r - 2*f - 3, -3*r - 4*f + 51 = 0. Does 13 divide r?
True
Let c be 5 - (4 + -2*1). Suppose -2*j - 67 = -h - j, c*h - 177 = -5*j. Suppose 0*m = -4*m + h. Is m a multiple of 16?
True
Suppose 0 = 3*d - 2*d - 3. Let t = -5 + 7. Suppose d - 9 = -t*v. Is 3 a factor of v?
True
Let b(i) = -7*i - 3 - i + 0. Suppose 0 = -5*s + n - 8 - 14, 4*s + 3*n = -29. Is b(s) a multiple of 13?
False
Let i(m) = m**2 - 4*m + 2. Let y be i(6). Let x(q) = q**2 - 13*q + 10. Does 23 divide x(y)?
False
Let s(h) = h**2 - 12*h. Let r be s(5). Suppose -2*n = 2*n - 220. Let j = r + n. Is j a multiple of 8?
False
Let i(j) = -j**2 - 2*j + 9. Let f be i(-7). Let k = -2 - f. Does 6 divide k?
True
Suppose -7*r + 10*r = 234. Does 28 divide r?
False
Let m(p) = -p**3 - p - 1. Let s be m(0). Is 14 a factor of (-8)/20*(-34 + s)?
True
Let t(a) = -a**2 - 2*a. Let l be t(3). Let g = l - -33. Is g a multiple of 6?
True
Let a(l) = l**3 - 5*l**2 - 1. Let q be a(5). Is ((-87)/(-12))/(q/(-4)) a multiple of 12?
False
Let l(v) = v**3 - 7*v**2 + 8*v - 8. Let d be l(6). Let r be 1/(d/(-30))*2. Is 4/(-10) + (-366)/r a multiple of 12?
True
Let i = -15 + 45. Does 15 divide i?
True
Let z(m) be the third derivative of m**6/180 - 7*m**5/120 + 5*m**4/24 - m**3/3 - m**2. Let s(p) be the first derivative of z(p). Is s(5) a multiple of 20?
True
Let z be (-2)/8 - 13/(-4). Suppose 5*w + z*t - 11 = 67, -3*w + 4*t + 70 = 0. Does 18 divide w?
True
Let w(y) = 3*y - 4. Let k be w(-8). Does 13 divide 1 + -2 - (k - -1)?
True
Let k = 224 - 128. Is 16 a factor of k?
True
Suppose 2*r - 4 = 0, -18 = 6*v - 5*v + 2*r. Is v*((-2)/2 - 0) a multiple of 11?
True
Let l(s) = 4*s**3 + 5*s - 3. Does 40 divide l(3)?
True
Let i = -118 + 168. Is 5 a factor of i?
True
Let g(r) = -8*r + r - 4*r - 9. Does 23 divide g(-5)?
True
Suppose 0 = -5*p - 20, -3*q - 3*p = -7*q + 348. Does 28 divide q*(21/(-9) - -3)?
True
Let x = 6 + -4. Let q be 28/8 + x/(-4). Suppose -5 = -4*b + q. Is 2 a factor of b?
True
Let z = 3 - 2. Let v be (z + 4)*(-36)/(-5). Suppose -64 - v = -5*q. Is q a multiple of 9?
False
Let r be 0/(-4 + 2 + 0). Let v be r + 0 + (-1 - -3). Suppose 2*j + 5*x = -j - v, -5*x = j + 14. Does 3 divide j?
True
Let y(q) = 13*q - 72. Is y(16) a multiple of 34?
True
Let g(s) = 3*s + 5. Suppose -4*w = f, -4*f + 3*w = -2*f - 11. Does 17 divide g(f)?
True
Suppose 0 = w + w + 6. Let i(n) = -2*n. Is 4 a factor of i(w)?
False
Let h(l) = -l**2 + 13*l - 8. Does 7 divide h(9)?
True
Suppose -b = 4*b - 175. Suppose 0 = 2*n + 4*j - 6*j - 22, -2*j = -3*n + b. I