?
False
Let q(h) = -34*h**2 - 2. Suppose 2*n + 7 + 5 = -2*y, 5*y = -2*n - 24. Let b be q(y). Is b/(-27) + 2/(-9) a multiple of 10?
True
Suppose 0 = -2*p + 3*n + 4, p = -3*n + 14 - 3. Suppose -3*z + 77 = p*q, -3 = -5*z + 17. Is 13 a factor of q?
True
Let n = 29 - 78. Let j(t) = -14*t - 4. Let c be j(5). Let k = n - c. Is 25 a factor of k?
True
Let b(s) = 2*s**2 + 3*s + 5. Is 4 a factor of b(-3)?
False
Let l(c) = 24*c**2 - c - 3. Let i(a) = a**2 - a - 1. Let s(q) = -2*i(q) + l(q). Is 10 a factor of s(1)?
False
Is 21 a factor of ((-69)/46)/(1/(-84))?
True
Let z = -5 + 2. Let j(h) = 10*h**2 - 7*h**2 - 3 - 4*h - h**3 - h**2 + h**2. Is 23 a factor of j(z)?
False
Let m be (-4 + 1)/((-12)/(-536)). Let b = -92 - m. Does 21 divide b?
True
Suppose 4 = o, -4*c + 150 = -c - 3*o. Is 18 a factor of c?
True
Suppose -y + 0*y - w - 45 = 0, 3*y + 129 = -w. Let h = -16 - y. Suppose 4*v - 34 = h. Does 9 divide v?
False
Suppose p + 2*f - 260 - 1 = 0, 538 = 2*p - 4*f. Is 13 a factor of p?
False
Let n(i) = -12*i**3 + i**2 + 2*i + 1. Does 12 divide n(-1)?
True
Let d = -117 + 377. Is d a multiple of 20?
True
Let y(v) = v**2 - 7*v - 17. Let a(l) = l**2 - 7*l - 16. Let f(g) = 7*a(g) - 6*y(g). Let c be f(8). Is 6 a factor of (-44)/(4*1/c)?
False
Suppose 0*b + 15 = -5*b. Let l(w) = -w**3 + w**2 + 3. Does 14 divide l(b)?
False
Is (28/10)/(4/60) a multiple of 9?
False
Let v = 15 + -10. Suppose -4*w = -4*x - 72, v*w + 0*w - 90 = 2*x. Is w a multiple of 6?
True
Let p be (-2)/2*(-3 + 3). Suppose 4*f + 11 + 29 = p. Is 5 a factor of (-4)/f*5*6?
False
Let q(f) = -f**2 + 7*f + 4. Suppose 0 = -3*t + 9 + 9. Let d be q(t). Is (-4)/(-2) + -5 + d a multiple of 7?
True
Let w be -3 + 1 - (1 - 45). Does 14 divide (4/(-6) - -1)*w?
True
Let d = 285 - 117. Does 27 divide d?
False
Suppose 0 = 2*u - 3*u + 87. Let q be (-1)/(-5) + u/15. Does 9 divide 1 + -12*q/(-9)?
True
Suppose 4*q - 90 = q. Suppose l - q - 8 = 0. Is l a multiple of 19?
True
Suppose -5*n = -5*r + 25, 4*r - r + 2*n = 10. Suppose 0*q + q - 361 = r*j, -282 = 3*j + 3*q. Let s = j + 131. Does 20 divide s?
True
Let g = 0 + 2. Suppose g*s - 7 = 3. Is 2 a factor of s?
False
Suppose 2*d + 9 = t, 3*d + 3*t = -8 - 1. Is 13 a factor of (d/10)/((-14)/980)?
False
Let y be 15*(-4)/8*-20. Is (y/(-4))/(36/(-48)) a multiple of 25?
True
Let g = 435 + -282. Suppose -4*a = -a + g. Let k = a + 86. Is k a multiple of 16?
False
Is 16 - 6 - 2/(-1) a multiple of 3?
True
Let w(f) = -7*f**2 + 16*f - 1. Let g(r) = -r**2 + r. Let k(m) = -5*g(m) + w(m). Let t(b) = -b**2 + b + 1. Let j(n) = -k(n) + 3*t(n). Is 6 a factor of j(-5)?
False
Suppose -y + 5 - 3 = 0. Suppose -2*w - 2*z = 3*w - 84, -5*z = y*w - 42. Is 4 a factor of w?
True
Is 90/2*48/60 a multiple of 6?
True
Let i = 3 - 1. Let s(z) = -5*z - 1. Let k be s(-1). Suppose -4*x = -i*d + 20, 0*d - 31 = -k*d - x. Does 4 divide d?
True
Suppose -4*b - 16 = -2*a, 2 = -3*a - b + 5. Suppose 8 = -2*w, a*n + 1 = n - 2*w. Is n even?
False
Suppose 5*u - 136 - 136 = 4*g, 5*u - 284 = -2*g. Suppose v + 4*d - 20 = 0, 2*v - 6*v - 2*d = -24. Suppose -v*o = -u + 12. Is o a multiple of 10?
False
Suppose 3 = 3*k + 36. Is 8 a factor of (-69)/(-4) - k/(-44)?
False
Let f(d) = 8*d**2 + 2*d. Is f(2) a multiple of 12?
True
Let p = 5 + 0. Let m = -20 + 37. Suppose -p*v + 42 = m. Does 5 divide v?
True
Let r be (-1 + 1)/(1 + 1). Suppose -31 = -r*x - x. Does 19 divide x?
False
Let l = -9 - -5. Let v be 1*0*(-2)/l. Suppose 4*q + v*q - 64 = 0. Is 16 a factor of q?
True
Suppose 0*a + 5 = a. Suppose -420 = -a*g - g. Does 19 divide g?
False
Suppose q - 4*r = -2*r + 17, 3*q - 63 = 3*r. Suppose q = 4*j - 11. Is 9 a factor of j?
True
Let f(z) = 3*z**2 - 1. Let p be f(-2). Let d be (1 - 3)/((-4)/38). Let l = d - p. Does 4 divide l?
True
Suppose 4*n + 2 = 4*q - 18, -n = 3*q - 23. Does 2 divide q?
False
Let g = 6 - 6. Suppose g*s = -3*h + 4*s + 201, -3*h + 186 = s. Is 17 a factor of h?
False
Let q(z) = 3*z**3 + z + 5. Let s(c) = 4*c**3 - c**2 + 2*c + 6. Let f(p) = -3*q(p) + 2*s(p). Is 14 a factor of f(-4)?
False
Suppose 93 = 2*g - 195. Is g a multiple of 18?
True
Suppose 5*t - 207 + 12 = 0. Suppose 3*f - 18 = t. Does 19 divide f?
True
Let w be ((-1)/(-2))/((-1)/12). Suppose 2*j = -2*s, 3*j + 3*s - 7*s - 14 = 0. Let a = j - w. Is a a multiple of 8?
True
Let n = -10 + 3. Let h(c) be the second derivative of c**5/20 + 3*c**4/4 + 3*c**3/2 + 3*c**2/2 - c. Is h(n) a multiple of 13?
False
Suppose -2*k = 2*k - 156. Is k a multiple of 13?
True
Suppose 24*a - 48 = 21*a. Is 16 a factor of a?
True
Suppose 5*n - 49 = 151. Is 20 a factor of n?
True
Let l = -7 - -4. Let y = 10 + l. Does 3 divide y?
False
Let m be (-1)/((8/(-6))/4). Let a = m + 21. Is a a multiple of 12?
True
Let t = -9 + 8. Does 18 divide (0 + t)*(-38 + 2)?
True
Let t be (-69)/(-1) + (1 - 0). Let v = -42 + t. Does 4 divide ((-2)/2)/((-4)/v)?
False
Suppose -3*w = -3*k + 63, 5*w + 41 = k + 4. Suppose 5*y + 5*a - k = 13, -y + a = -16. Is 3 a factor of y?
False
Let x be (-47)/2*(-5 + 3). Suppose 0 = 3*s + 2 - x. Suppose -5*g = -5*r + 110, r - s = 5*g + 11. Does 7 divide r?
True
Let o(z) = 8*z**2 + 5*z + 4. Is o(-2) a multiple of 10?
False
Let o(v) = -v**2 + 16*v + 11. Is o(15) a multiple of 26?
True
Suppose 20 = -4*o, 9*j - 8*j - 2*o = 220. Does 21 divide j?
True
Suppose 4*s + 4 = 0, -3*d + 5*s - 4 = -6*d. Suppose 2*l + 172 = 4*z, z - 6*z = d*l - 215. Is z a multiple of 11?
False
Suppose 5 = 3*o - 1. Suppose -3*c + c - 4*j + 54 = 0, 5*j + 18 = o*c. Is 5 a factor of c?
False
Let p = 0 - 72. Let b(d) = -27*d**2 + d - 2. Let s be b(2). Let k = p - s. Is 21 a factor of k?
False
Let u(f) = f**3 - 11*f**2 + 20*f - 4. Does 9 divide u(9)?
False
Suppose 3*g + 4*o - 16 = g, 5*g - 3*o = -12. Suppose 2*a - 156 = -g*a. Suppose -3*h - 4*t = -44, 5*h - a - 5 = 3*t. Is h a multiple of 8?
True
Let x(v) = v + 7. Let p be (-3)/(-15) + 26/(-5). Let m be x(p). Suppose 64 = 2*g + m*g. Does 8 divide g?
True
Let i(x) = x**2 - 4*x + 3. Let r be i(5). Suppose -r = 3*w - 86. Does 9 divide w?
False
Let p = 101 + -47. Does 18 divide p?
True
Let t be -1*(-4)/(4/(-11)). Let o = 79 + t. Is o a multiple of 26?
False
Let f be -4 + 0 - -2 - -5. Suppose -5*y - 74 = f*b, -2*y = 5*b + 179 - 62. Let v = 32 + b. Is 5 a factor of v?
False
Let s(p) = p**3 + 6*p**2 - 9*p + 9. Is s(-7) a multiple of 15?
False
Let m(t) = -t**3 + 5*t**2 - 2*t - 2. Let q be m(4). Let b(d) = -d**3 + 7*d**2 - 4*d + 4. Is b(q) a multiple of 10?
False
Is 8 a factor of ((-16)/10)/(9/(-90))?
True
Suppose -6*p - 200 = -10*p. Is p a multiple of 41?
False
Let s be 750/(-8) + (-10)/40. Let r = s + 142. Is 18 a factor of r?
False
Let g(y) = 2*y + 8. Is g(4) a multiple of 4?
True
Let k be (0/2)/(2 - 3). Suppose 0 = -y + 4*q + 10, k = q - 3*q + 10. Is y a multiple of 10?
True
Suppose 0 = f - 5*f. Suppose 8*h - 5*h - 21 = f. Does 3 divide h?
False
Suppose w - 2 - 6 = 0. Is 7 a factor of w?
False
Is 4 a factor of 1*9 + -3 + 6?
True
Let a = 0 - -4. Suppose o = 2*o + 3*q - 2, 0 = -4*o + a*q + 72. Is o a multiple of 13?
False
Let l be 1*-21 + (1 - -1). Let z = l - 17. Let r = z + 52. Is 16 a factor of r?
True
Let q be (-12)/(1/(3/3)). Let p = -1 - q. Is p a multiple of 11?
True
Let p = 22 + -5. Does 17 divide p?
True
Let z(h) = -3*h - 5. Let m be z(-4). Let j(x) = -x**3 + 7*x**2 - 9 + 25*x - 10*x - 12*x. Does 7 divide j(m)?
False
Is (5 - (-102)/12) + (-6)/(-4) a multiple of 5?
True
Let u(q) = 4*q**2 - 14*q - 8. Is u(-7) a multiple of 13?
True
Let u be (-4 + 5 - -3) + -4. Suppose u = 2*w + 3*b - 126, w - 86 + 10 = 5*b. Does 16 divide w?
False
Let a be 3 + (3 + -2 - 1). Suppose -4*s - a*j - 2*j = -122, 0 = -s + 5*j + 18. Is 21 a factor of s?
False
Let u = -1 + 6. Suppose 0*o = -o + u. Is o a multiple of 4?
False
Let t be (-22)/(-4)*(6 + 4). Let c = t - 27. Is c a multiple of 28?
True
Let a be -3 - 3*(-1)/1. Suppose -2*p + a*w = -2*w - 18, 0 = -3*w - 3. Is 8 a factor of p?
True
Let a be (1062/27)/((-2)/(-3)). Let c = -33 + a. Is c a multiple of 7?
False
Suppose 81 + 49 = 2*k. Does 21 divide k?
False
Let s(v) = v + 8. Let w be s(-4). Suppose -25 = -w*q + 7. Is q a multiple of 4?
True
Suppose -4*m - 66 = -0*x - 2*x, 4*x = -5*m + 171. Is 5 a factor of x?
False
Let m = -10 + 16. Let s = 9 - m. Is s a multiple of 3?
True
Let n(o) = -o**2 + 8*o - 3. Let x be n(7). Let q be (-2)/(-2 +