3*m - 6 = 0, -4*m + 118 = 5*p - 3*p. Is p a multiple of 18?
False
Suppose -26 = -3*o + o + 4*b, 5*b = -o - 22. Suppose -f = -4*u - 65, 0 = -5*u + 5 - 0. Suppose 4*g + o*m = g + f, -23 = -g - 2*m. Is 13 a factor of g?
False
Let r(g) = g**2 - 5*g + 1. Is r(6) even?
False
Suppose 5*h + 19 - 59 = 0. Is 14 a factor of (-4)/(-16) + 326/h?
False
Let l = 64 + 1. Is l a multiple of 14?
False
Let j(z) = -5*z**2 + 37*z - 1. Let f(a) = a**2 - 9*a. Let g(t) = 9*f(t) + 2*j(t). Let u be g(-6). Suppose u*h + 0 = 36. Does 8 divide h?
False
Is 2/(-12) + 366/36 a multiple of 5?
True
Let y = 11 + -9. Suppose 0*n = g + 2*n - 22, 0 = -y*n - 6. Is g a multiple of 11?
False
Let s = -2 - -4. Suppose -p - s*p - 12 = 0. Does 3 divide (2/p + 0)*-10?
False
Let v = -20 + 32. Let a = v + -17. Let l(q) = q**2 + 3*q - 3. Is 5 a factor of l(a)?
False
Suppose 0 = -7*n + 3*n + 20. Let x = -209 - -330. Suppose n*w = -41 + x. Is w a multiple of 16?
True
Suppose -r - 52 = 3*b + 28, 0 = 3*r + 2*b + 219. Let j = 107 + r. Is j a multiple of 15?
False
Let s(b) = b**3 + 7*b**2 + b + 9. Let y be s(-7). Let t be 2*1*(y - 1). Suppose -t*i - w + 27 = 0, -3*i = -w - w - 44. Does 14 divide i?
True
Let o be (-168)/(-18)*3/(-2). Let a be ((-24)/(-28))/((-2)/o). Let r(g) = -g**2 + 7*g - 2. Is r(a) a multiple of 4?
True
Suppose 4*q = 4*l - 392, -q + 282 = -l + 4*l. Is l a multiple of 26?
False
Suppose -4*r - 4*t = 0, 2*t = -3*t - 15. Suppose 0 = r*i - 25 - 8. Suppose 61 = 2*z + i. Is z a multiple of 11?
False
Let a(t) = 3*t**2 + 2*t - 1. Let n be a(1). Let m = 13 - n. Is 8 a factor of ((-30)/m + 3)*-69?
False
Let a(b) = -11*b**2 + 2*b - 1. Let f(x) = -10*x**2 + 2*x - 1. Let u(c) = -5*a(c) + 4*f(c). Let g be 1/(-2) + 9/6. Does 14 divide u(g)?
True
Let g(z) = -z**2 + 7*z + 36. Is g(7) a multiple of 9?
True
Let p(y) = y**2 - 8*y + 12. Let n be p(8). Is n/2 - (5 + -7) a multiple of 8?
True
Let n = -8 - 1. Does 9 divide (-105)/n - 4/6?
False
Suppose -125 = -5*j + 210. Is 9 a factor of j?
False
Suppose -3 = -2*b + 3. Suppose 2 = -2*h + 4, 5*h = 2*g - b. Suppose -d = 4*o - 8, o + 0*o = -g*d + 107. Does 14 divide d?
True
Suppose 0*k + 87 = 2*k + b, 218 = 5*k + 2*b. Is 11 a factor of (k/(-6))/((-14)/42)?
True
Suppose 0 = 4*t - 5*i + 17, 3*i + 49 = t - 6*t. Is 3 a factor of (1 + -2)*2 - t?
True
Let q be (-69)/(-15) - (-4)/10. Let v = 8 - q. Suppose -c = 5*w - 80, 3*c + c + 71 = v*w. Does 7 divide w?
False
Let m be 716/6 + (-2)/6. Let w = -78 + m. Suppose -4*r - 1 = -w. Does 8 divide r?
False
Is (5/(-4))/((-3)/12) a multiple of 2?
False
Suppose -y = -5*b - 4*y + 217, -5*y = -20. Is 5 a factor of b?
False
Suppose 4*j - 3*j + 3*a - 22 = 0, -5*j - 4*a + 110 = 0. Is j a multiple of 7?
False
Let a be 2188/26 + (-22)/143. Let l = 4 + a. Is 30 a factor of l?
False
Suppose 4*x + 15 = -x, -33 = -2*q - 5*x. Let y = q + -4. Does 10 divide y?
True
Suppose 0*l + 2 = l, f + 3*l - 69 = 0. Suppose m - 60 = -3*t, 0 = -2*m - 4*t + 51 + f. Is m a multiple of 17?
True
Let o(p) = 3*p**2 - 6*p + 5. Let n be o(-6). Suppose g + z + n = 4*g, 0 = -5*g + z + 247. Does 13 divide g?
False
Suppose 0 = -3*r + 2*r + 4. Suppose -5*c + 2*i + i = 2, r*c = -2*i + 16. Suppose 50 = c*v + 3*v. Does 3 divide v?
False
Let b be (-3)/18 - (-502)/(-12). Let t = b - -70. Does 14 divide t?
True
Let a(i) = -i**2 + 12*i + 8. Is a(8) a multiple of 10?
True
Let y(g) be the first derivative of -g**4/2 - 4*g**3/3 - g**2 - 8*g + 7. Does 16 divide y(-4)?
True
Suppose 2*b + 2 = -2*q, -b + 3*b + 5*q = -14. Suppose -b*r - 1 = -49. Is 13 a factor of r?
False
Let c be -4 - (2 - (-2 - -3)). Let u = c + 7. Suppose 2*g + u*f = f + 53, -4*g + 111 = 3*f. Does 9 divide g?
False
Suppose -b - 2*s = -6, 3*b - 10 = -3*s + 2. Suppose 0 = -4*o + 5*k - 13, 0 = b*k - 3 + 1. Does 7 divide 4 - (o + 0) - -1?
True
Let b(d) = -d**3 - d**2 + 758. Let y be b(0). Suppose 4*x - y - 82 = 0. Suppose 5*n = -2*p + 224, -5*n + x = -0*n - 5*p. Is 17 a factor of n?
False
Let i be ((-6)/(-12))/((-1)/4). Does 12 divide (-12)/(-9)*(-69)/i?
False
Suppose 7*n - 197 = 2*n + i, -3*n + 123 = -3*i. Does 7 divide n?
False
Suppose d - 1 = 2*b, 4*b = 4*d + 7 - 27. Suppose 0 = 4*z - 20, 4*z = 5*k - 1 - d. Does 2 divide k?
True
Let m be (-6 - 16)/(1 - 2). Is 18 a factor of (m + -4)*6/4?
False
Let u = 90 + -23. Suppose 0 = 4*c - u + 19. Does 6 divide c?
True
Suppose -2*c + 2*j + 32 = 0, -c - c - j + 47 = 0. Is 8 a factor of c?
False
Does 4 divide 4 + 474/10 + 6/(-15)?
False
Suppose c + 4 = -4*k, 4*c - 20 - 16 = -3*k. Let n = 7 - c. Let x = n + 20. Is 7 a factor of x?
False
Let n(s) = -20*s. Does 5 divide n(-2)?
True
Suppose -2*m = -5*m + 12. Let s be (6 + 4)*6/m. Suppose 0 = -3*b + 123 - s. Is 22 a factor of b?
False
Let r = -224 - -104. Let j be r/(-65) - 4/(-26). Suppose j*z - 41 + 5 = 0. Is z a multiple of 18?
True
Let i(m) = -2*m - 1. Let x be i(2). Let c be x/10 + (-121)/(-2). Suppose -8*w + 3*w = -c. Is w a multiple of 7?
False
Let a be (0/(-2))/(-1 - -3). Suppose a = -4*n - n + 5. Is -3*(-3 + n + -4) a multiple of 10?
False
Suppose -4*l + 28 = l + 2*c, -l + 2*c - 4 = 0. Suppose 5*m - 2*w + 0*w = 21, -18 = -2*m - l*w. Does 3 divide m?
False
Let g(y) = -40*y. Let x be g(-1). Let w = x - 4. Is w a multiple of 18?
True
Let i(g) = g**2 + 12. Let b be i(0). Suppose 0*c = 3*c - b. Suppose -4*v - 2*u = -0*v - 50, -c*v - u = -47. Is 5 a factor of v?
False
Is 414/6 - (1 + -2) a multiple of 28?
False
Suppose -4*u + 2*u = -x + 13, -30 = 5*u - 2*x. Let i(d) = -d**3 - 3*d**2 - 2*d - 6. Is 18 a factor of i(u)?
True
Let f = 4 - 1. Is (-28)/6*(-6 - f) a multiple of 21?
True
Let t be -9*(1 + (-8)/(-3)). Let n be -73 + 1 + 8/(3 + 1). Let b = t - n. Is 16 a factor of b?
False
Suppose w = 3*u + 54, 18 = 3*w + 2*u - 122. Is w a multiple of 12?
True
Let d(x) = -8 + 10 - 2*x + 7. Is d(-8) a multiple of 5?
True
Let k(t) = -t**2 + 8*t - 8. Let r be k(6). Let m(p) = p**3 - 9*p**2 + p - 6. Let l be m(9). Suppose r*s = 0, -l*h + 108 = h + s. Does 12 divide h?
False
Let k = 161 - 35. Is 14 a factor of k?
True
Let s = 190 + -163. Is s a multiple of 9?
True
Let y = -22 + 52. Let w = y - 53. Let x = 3 - w. Is x a multiple of 10?
False
Suppose 2*a = 4*i - 2*i - 248, a + 1 = 0. Does 23 divide i?
False
Let w = -4 + 7. Is 12 a factor of (-70)/(-3) - (-2)/w?
True
Let v = 26 + -36. Let u = -2 - v. Suppose -3*r = -u*r + 85. Is 13 a factor of r?
False
Suppose -5*t - 3*r = 0, -t = 4*t - 3*r. Suppose 5*v - 2*q = 23, -5*v + 3*v - 5*q + 15 = t. Suppose l + o = 5*o + 6, -v*o = 2*l - 12. Is l a multiple of 6?
True
Let h = -7 + 14. Is h a multiple of 2?
False
Let m = -40 - -117. Is m a multiple of 4?
False
Let j be (-4)/(-6)*(12 - 3). Suppose -3*l - 7 = 38. Is (16/(-5))/(j/l) a multiple of 4?
True
Let x = 116 + 9. Suppose 3*o = -5*j + x, 51 = o + 4*j - 0*j. Is 15 a factor of o?
False
Is (-610)/(-20) + 2/(-4) a multiple of 15?
True
Let s be (-1)/1 + 4*1. Let m = -77 + 119. Suppose -m = -q + s. Does 13 divide q?
False
Let x(o) = -115*o + 3. Let z be x(-4). Let y = z - 314. Let s = y + -98. Is s a multiple of 17?
True
Suppose 0 = -2*l - 1 + 5. Suppose 4*t - 20 = -w, -w = -2*w + l*t - 10. Suppose -4*q + w*q = -92. Is q a multiple of 15?
False
Let r = 12 - 30. Let a = 25 + r. Is a a multiple of 7?
True
Let n(y) = y**2 - 5. Let b be n(-5). Suppose b = 5*g - 40. Is g a multiple of 12?
True
Suppose -7 + 27 = 4*a. Suppose -5*v - 3*f = -a*f - 79, 5*f = 2*v - 40. Is 15 a factor of v?
True
Let b(r) = r**2 + r - 61. Let g be b(0). Let u = 43 + g. Is u/4*(-20)/3 a multiple of 15?
True
Suppose -12*x - 250 = -14*x. Is x a multiple of 43?
False
Let z(a) be the first derivative of a**4/2 + a**3 - 5*a**2/2 + a + 2. Let u be z(-4). Does 13 divide 2/8 + u/(-4)?
False
Let v(t) = 2*t**2 + 2*t + 3. Is v(-3) a multiple of 15?
True
Let a(o) = -7*o**3 + 7*o + 6. Let w(c) = 8*c**3 - 6*c - 5. Let d(f) = 5*a(f) + 6*w(f). Let b be 3*(10/(-6) + 2). Is d(b) a multiple of 11?
False
Let o = 37 + -19. Let f = 29 - o. Is -2 - (f*-1 + 2) a multiple of 7?
True
Let w = -45 + 61. Does 4 divide w?
True
Let f = 205 + -124. Is 18 a factor of f?
False
Let p(o) = -5*o**3 - 3*o**2 - 2*o - 1. Let a be p(-2). Let r(i) = -i**2 - 13*i + 44. Let k be r(-13). Let j = k - a. Is j a multiple of 13?
True
Suppose 0*w + 5*w = 4*c + 1808, 4*w = 2*c + 1444. Is 36 a factor of w?
True
Let t(i) = 7*i**3 + 