. Suppose 4*r = 2*r - 84. Let c = z - r. Is c a multiple of 11?
False
Suppose -o = -0 - 10. Is 17 a factor of 72 - (-2 + o)/2?
True
Suppose g = 3*g - 8, -z - 5*g + 25 = 0. Let k(r) = r**3 - 5*r**2 + 3*r + 1. Is k(z) a multiple of 16?
True
Let d = -148 + 97. Let l = d + 77. Does 13 divide l?
True
Let a(c) = -c**2 + 5*c - 6. Let o(v) = -2*v**2 + 4*v - 5. Let f(t) = 3*a(t) - 4*o(t). Suppose -7 = 3*u - k + 3, 0 = -u - 2*k + 6. Is f(u) a multiple of 12?
True
Let s = 340 - 184. Is 39 a factor of s?
True
Let y be (-2)/(-6) + 14/(-6). Is 12 a factor of 69/2 - 1/y?
False
Let j = -543 - -843. Is 46 a factor of j?
False
Let i(t) = -105*t - 7. Is 29 a factor of i(-2)?
True
Suppose -2 - 3 = 5*l, 5*l - 160 = -3*y. Let q = y + -15. Is 20 a factor of q?
True
Suppose -x + 0*x + 28 = 0. Is 11 a factor of x?
False
Suppose -38 = -7*f + 298. Is 16 a factor of f?
True
Suppose 3*t - 29 = 5*f, -8 = -4*t - 3*f + 2*f. Let a be 1/(2/12*t). Suppose 5*l - 60 = a*z, -4*z + z - 13 = -2*l. Is l a multiple of 10?
False
Suppose -19 = 2*m + 15. Let x = 31 + m. Does 13 divide x?
False
Suppose 9*a = 7*a + 180. Suppose -a = h - 6*h. Is h a multiple of 9?
True
Suppose 0*b = -4*b + 244. Does 6 divide b?
False
Suppose 3*n + 63 = -2*w - 45, n + 5*w + 49 = 0. Let m = -7 - n. Is m a multiple of 8?
False
Does 30 divide (-2*2)/(4 + (-372)/90)?
True
Suppose -5*v + 152 = -13. Is 11 a factor of v?
True
Suppose n - 2*z - 13 = 0, -2*n + 5*z + 31 = -0*n. Suppose -2*d + n*d + 55 = 0. Let t = -27 - d. Does 10 divide t?
False
Suppose 5*h + 25 = 0, 82 = 4*m - m + 4*h. Does 9 divide m?
False
Suppose -865 = -19*p + 180. Is p a multiple of 22?
False
Let f = -15 - -29. Is 7 a factor of f?
True
Suppose -5*z = -3*s - z + 276, 9 = 3*z. Suppose -16 + s = 4*k. Suppose -4*f = k - 196. Is 22 a factor of f?
True
Suppose -2 - 4 = -3*d. Let a be 77/15 + (-6)/45. Suppose a + 75 = d*x. Does 16 divide x?
False
Suppose 4*m + 2*u - 54 = 0, -u - 6 = -5*m + 4*m. Is m a multiple of 10?
False
Suppose -121 = -2*w + 57. Is 15 a factor of w?
False
Let d = 0 + -5. Let q = d - -5. Let h = 11 - q. Does 11 divide h?
True
Suppose -2*p - 15 = -3*v, v + 5*p - 5 = -0*p. Is 3 a factor of v?
False
Let g = -24 + 102. Is 26 a factor of g?
True
Suppose -6*l + 2*l = -4*i, 3*l = 6. Does 9 divide (i/(-4))/((-3)/60)?
False
Suppose 12 = 5*y - y. Let m(d) = 2*d**2 + d. Does 14 divide m(y)?
False
Suppose 5*f - 2 = 4*f. Does 29 divide (3/3)/(f/58)?
True
Let o = 1 + 2. Let m be o*(-2)/(-3) + 89. Let f = -63 + m. Does 13 divide f?
False
Suppose 0*g - 2*g + 140 = 0. Does 14 divide g?
True
Suppose 2*u = -u + 12. Suppose 0 = u*q - 20 - 68. Is q a multiple of 11?
True
Let o = -6 + 6. Suppose o*f + f = 7. Suppose -2*c + f - 1 = 0. Does 2 divide c?
False
Let u(h) = 5*h**2 + 2*h - 6. Does 22 divide u(-4)?
True
Suppose -2*j + k = -8 - 1, -j = 4*k. Suppose 5*x - j*y = 85, 5*x + 3*y = 39 + 46. Does 10 divide x?
False
Let a(m) = 9*m + 4. Let j(u) = u**3 - 7*u**2 + 7*u - 2. Let y be j(6). Is 11 a factor of a(y)?
False
Let i(t) = 2*t**3 - t**2 - 3*t. Suppose 5*f - 12 = f. Is i(f) a multiple of 12?
True
Let y be -2 + 0 + 1 - -1. Is 19 a factor of -1*((1 - 20) + y)?
True
Let v(t) = 8*t + 2. Suppose 5*f = 8 + 7. Suppose q + 0*q = f*y - 8, 4*y = -4*q + 16. Is 13 a factor of v(y)?
True
Is ((-406)/35)/(1/(-5)) a multiple of 25?
False
Is 10/8 + (-18)/(-24) even?
True
Let b be 12/(-2) + 3 + -2. Let g = b + 8. Suppose -6 = -3*k - g*m, -2*k + 7 = -3*k - 4*m. Does 2 divide k?
False
Let m(g) = g**2 - g - 3. Let z be m(5). Suppose a - 109 = -4*i - 4*a, 4*i + 3*a - 99 = 0. Suppose 2*s - z = -q, 3*s - 2*q - i = q. Is s a multiple of 4?
True
Suppose 0*y = -y + 155. Is 16 a factor of y?
False
Is ((-22)/(-5))/(48/120) a multiple of 4?
False
Suppose 2*p + 8 = 0, -3*x - 2*x = 3*p - 483. Let o = x + -14. Suppose 34 = 2*b - 5*t, 0 = -b + 6*b + t - o. Does 17 divide b?
True
Let c(h) = -13*h + 14*h**2 + 4*h - 5 + h**3 + 10 - 7*h**2. Does 5 divide c(-8)?
False
Suppose -4*g - 2*x + 112 = 0, -g - 23 = -2*g - 3*x. Is 12 a factor of g?
False
Let w be 3*(2 + 2 + 2). Is w + (1 - 1) + -2 a multiple of 12?
False
Let n = 9 + -1. Let b(r) = -2 + 10*r**2 + 13*r**2 - 16*r**2 + 11*r - r**3. Is b(n) a multiple of 14?
False
Let c be ((-27)/(-6))/(-1)*-8. Suppose -4*y + y + c = 0. Is y a multiple of 12?
True
Suppose v = 5*v + 5*m - 90, 0 = 3*v + m - 73. Is 5 a factor of v?
True
Does 15 divide (-1 - (-10)/4) + (-1335)/(-10)?
True
Let l(u) = 4*u**2 + 3*u + 2. Let g be l(3). Is 5 a factor of g/5 - (-4)/(-10)?
False
Let h be (-15)/(-10)*40/3. Suppose -3*z - h = -62. Is z a multiple of 5?
False
Let r = 5 - 3. Suppose 0 = -5*s + 13 + 7. Suppose r*b + 28 = s*b. Does 7 divide b?
True
Suppose 10*f - 1855 = 645. Is 25 a factor of f?
True
Let o(b) = b. Let r be o(7). Let z(f) = -11*f + 2. Let u(v) = -11*v + 2. Let w(d) = r*z(d) - 6*u(d). Does 15 divide w(-2)?
False
Let o = -5 + 2. Let u = o - -3. Suppose -q - q + 32 = u. Does 8 divide q?
True
Suppose 0*m + 5*b = -2*m + 330, -3*m + 5*b + 495 = 0. Suppose -22*o - m = -27*o. Is 11 a factor of o?
True
Suppose -5*w + 3*a = a - 161, 35 = w + a. Does 6 divide w?
False
Suppose 0 = -3*q + 1 + 8. Is 2 a factor of 3/(((-5)/q)/(-5))?
False
Let z(d) = d**2 + d + 43. Let y be z(0). Suppose -3*l - 59 - y = 0. Let s = l - -50. Is 16 a factor of s?
True
Let b(r) be the first derivative of -r**2 - 7*r + 1. Let g be b(-5). Suppose 2*c + 0*i + g*i = 35, 2*c = 3*i + 5. Does 10 divide c?
True
Suppose -3*g + 7*g - 331 = -c, 0 = -3*g + 4*c + 272. Is g a multiple of 21?
True
Let u = 1 + -1. Let h(s) = -4*s**3 - s**2 - 3*s + 9. Let p(b) = -5*b**3 - b**2 - 4*b + 8. Let j(r) = 4*h(r) - 3*p(r). Is 12 a factor of j(u)?
True
Suppose 3*k - 2*k + 1 = 0. Does 3 divide ((-15)/10)/(k/10)?
True
Let y(k) be the first derivative of k**2 - k - 1. Suppose -s - 2*c + 3 = -7, 25 = 4*s + 3*c. Is y(s) a multiple of 7?
True
Let a = -156 + 371. Suppose 351 + a = 5*y - 4*f, 0 = 4*y + f - 457. Is y a multiple of 30?
False
Suppose -33 = -d + 29. Does 8 divide d?
False
Let x = 77 + -37. Suppose 0 = a + 6 - x. Is a a multiple of 14?
False
Let r = 17 - 11. Let v(i) = 3*i - 4. Is 14 a factor of v(r)?
True
Let i = -15 - -6. Let n(q) = -2*q**2 + 11*q - 10. Let d(j) = 3*j**2 - 12*j + 11. Let k(u) = 3*d(u) + 4*n(u). Is 2 a factor of k(i)?
True
Suppose -4*y + 28 + 316 = 0. Does 3 divide y?
False
Let p(f) = -12*f**2 + 2*f + 4. Let r be p(-2). Is 19 a factor of 2/(r/(-44) - 1)?
False
Let z = -16 - -16. Suppose 4*j - 5 - 19 = z. Does 2 divide j?
True
Suppose -4*v + 8*v - 16 = 0. Is v a multiple of 3?
False
Let c(m) = 3*m**3 - 3*m**2 - m. Let t be c(2). Suppose -p = -4*j + 148, 5*j = 5*p - 0*p + 740. Is 13 a factor of (-6)/t + p/(-5)?
False
Let f(y) = -3*y - 4 - 4*y + 3 + y**2. Let u be f(6). Let g = 23 + u. Is 16 a factor of g?
True
Is 19 a factor of (20/5 - -72)/2?
True
Let k(j) = 2*j**2 - 19*j + 19. Is k(12) a multiple of 6?
False
Let c(j) = 2*j + 6. Suppose 0 = -2*p - 8, 3*z - 5*p = -4*p - 8. Let k be c(z). Is k/5 + (-294)/(-35) a multiple of 3?
False
Let i be ((-14)/6)/((-1)/15). Let g = i + -2. Does 11 divide g?
True
Suppose 0 = b + r - 9 - 77, 0 = r + 3. Let x(l) = -6*l + 8. Let u be x(8). Let m = u + b. Is m a multiple of 17?
False
Suppose h - 10 = -5, 2*h = 4*u + 46. Let w = 1 - u. Does 5 divide w?
True
Suppose -4*a = x - 13, 0 = -a + 5*a. Is 3 a factor of x?
False
Suppose -5*w + 144 = -2*w. Is w a multiple of 8?
True
Let k be 4/(-10)*(-6 - -1). Let u(r) = k*r + 2*r + r. Is u(1) even?
False
Suppose -3*f - 3 = -4*f. Suppose -f*n = n - 4. Does 10 divide ((-17)/(-4))/(n/4)?
False
Is 24 a factor of (13 - 1)*(-2 + 10)?
True
Let d = 10 - 7. Suppose 10 = -5*h, -d*h - h = -z + 26. Suppose -5*s - t + 4*t + z = 0, 5*s + 5*t - 50 = 0. Is 3 a factor of s?
True
Let m(q) = q**3 - 11*q**2 - 13*q + 11. Let f be m(12). Let h be 0/(f/(-2)*2). Suppose -l + 0*l + 42 = h. Is l a multiple of 14?
True
Let b = -5 + 3. Let d = -4 + 10. Is (-39)/b + 9/d a multiple of 9?
False
Let s = -96 - -201. Suppose -s = -3*g - 0*g. Does 16 divide g?
False
Does 12 divide 10 - 5 - (-39 + -3)?
False
Does 7 divide (-1)/4 - 2358/(-24)?
True
Let k be 1*428*1/2. Suppose -2*v - v = -5*n - 146, 5*v - n - k = 0. Does 14 divide v?
True
Suppose -5*n - 14 - 16 = 0. Let l = n + 36. Suppose 0*t = 3*t - l. Does 4 divide t?
False
Suppose 1 = l - 15. Is 6 a facto