0*s. Let f(i) = 3*l(i) - 4*n(i). Does 17 divide f(-3)?
False
Suppose -84 = 13*c - 14*c. Does 20 divide c?
False
Suppose 140 - 6 = 3*z - 2*m, 4*z = -m + 197. Is 24 a factor of z?
True
Let q(w) = -w + 9. Let m be q(8). Let k(r) = -54*r - 1. Let d be k(m). Let g = -31 - d. Is 8 a factor of g?
True
Suppose 46 = x + 5*q - 6, -5*x - q = -212. Suppose -x = -j - 3*m, -2*j - m - 290 = -7*j. Does 24 divide j?
False
Let l = 356 + -136. Is 11 a factor of l?
True
Suppose 11 = -3*m + 26. Suppose 0*o + 2*z - 50 = -5*o, -5*o - m*z + 35 = 0. Is o a multiple of 12?
True
Is 11 a factor of (-192 + 1/1)/(-1)?
False
Suppose 3*w = -2*w + 10. Suppose -r - w*r = -15. Is r a multiple of 4?
False
Is 9 a factor of 55/2*5/((-20)/(-24))?
False
Does 33 divide (-904)/(-10) + 1/((-30)/12)?
False
Let f(y) = y - 1. Let i be f(1). Suppose -5*c - 5*a + 82 - 32 = i, 5*c + a - 30 = 0. Suppose 0 = c*l - 4*l - 4*j, -45 = -3*l + 3*j. Is 10 a factor of l?
True
Let s = -20 - -6. Suppose -w - 24 = w. Is 12 a factor of (-2)/s*w*-14?
True
Suppose -3*o - o = 0. Is 2 a factor of 5 - (o + 3 + -6)?
True
Suppose 4*l - l = 0. Suppose -3*j - j + 156 = l. Is j a multiple of 13?
True
Suppose -70 = -16*a + 11*a. Is a a multiple of 14?
True
Let o be ((-9)/3)/(2/(-4)). Let u = o + -3. Suppose 65 = u*c - 5*r, -2*c + 7*r + 42 = 4*r. Is c a multiple of 15?
True
Let y(k) = 10*k - 26. Does 2 divide y(5)?
True
Let c(b) = 0*b**2 - b - 2 + 2*b - 3*b**2 + 4*b**2. Let m be c(9). Suppose -27 = 5*y + 2*k - m, k + 8 = y. Is 6 a factor of y?
False
Let l(x) = -x - 1. Let f be l(-5). Suppose -176 = -4*g - 3*w, -4*g + f*w - 44 = -5*g. Is 22 a factor of g?
True
Let g = -9 - -6. Is 60 - (g - -8 - 3) a multiple of 29?
True
Let v be (-14)/(-6) - 18/(-27). Suppose 4*k - 2*z = v*z + 100, -2*k - 3*z + 72 = 0. Is 15 a factor of k?
True
Suppose -30 = -0*w - 5*w. Is 6 a factor of w?
True
Let d = 1 + -10. Is 4 a factor of d/2*(-16)/6?
True
Does 31 divide (840/32)/(1/8)?
False
Let o(x) be the first derivative of x**6/90 - x**4/24 - 2*x**3/3 + 1. Let y(s) be the third derivative of o(s). Is y(-1) even?
False
Let f(m) = m - 4. Let n = 12 + -9. Let x be f(n). Is 7 a factor of -6*(12/9)/x?
False
Let c = -107 - -158. Is 8 a factor of c?
False
Let l(c) = -3*c + 2. Let v be l(4). Let o = -2 - v. Is o a multiple of 4?
True
Let c be -10 + (-1 - (-3 + 0)). Let k be (-2 - -62)*(-4)/c. Suppose -i - 3*s + k = 0, -2*i + 56 = -0*i + 4*s. Is 12 a factor of i?
True
Suppose 5*w = 2*p - 18, -p + 14 = -6*w + w. Is 16 a factor of ((-16)/20)/(w/145)?
False
Suppose 4*a - 142 = -2*f - a, 302 = 4*f + a. Is 22 a factor of f?
False
Suppose -2*w - 3 = -3*w. Suppose -2*a - w + 19 = 0. Is a a multiple of 4?
True
Suppose 5*w - 218 + 3 = 0. Is 18 a factor of w?
False
Let r(w) = 7*w + 0*w + 5*w**2 + 7 + 1 + 0. Is 12 a factor of r(-4)?
True
Let n(z) = z**2 + 4*z + 2. Let c be n(-4). Let u(v) = v**3 + 11*v**2 + c*v + 0*v**3 - 2*v**3 - 5*v**2. Does 16 divide u(4)?
False
Is 11 a factor of -2*(-9 - 8) - 3*-1?
False
Let k(i) = 5 + 1 - 5 + i. Suppose 3 + 13 = 4*y. Is k(y) a multiple of 2?
False
Is 8/12 - 111/(-9) a multiple of 13?
True
Suppose h - 2*c = c, -c = -h. Let n(u) = -3*u**3 - 7*u**2 - 4*u + 24. Let s(i) = i**3 + 2*i**2 + i - 8. Let w(g) = -2*n(g) - 7*s(g). Does 3 divide w(h)?
False
Let f be 1 + 1 - -3*1. Let d be (-2)/(-5) - 122/f. Let m = 1 - d. Is 12 a factor of m?
False
Let q(r) = 5*r + 1. Let j be q(1). Is 6 a factor of -1 - -22 - 12/j?
False
Let j(p) = p**3 + 8*p**2 - 9*p - 4. Let a be j(-9). Let f be ((-122)/a)/(2/4). Let g = f + -40. Does 7 divide g?
True
Suppose -10 = 5*o - 0. Let m be 1 - (-5)/((-5)/o). Suppose p - 2 = -3*s, 4*p - m*s = -8*s + 36. Is p a multiple of 14?
True
Suppose 2*q - 12 = -2*f, -3*q - q + 4 = 0. Suppose -2*n + f*h + 43 = 0, 4*h - 3 = -4*n + 41. Is n a multiple of 14?
True
Suppose 4*m - 12*m = -88. Is 5 a factor of m?
False
Suppose -5*c = -c - 4, 5*c + 65 = -5*v. Let m = -5 - v. Is m a multiple of 6?
False
Let d = -151 - -80. Let u = -21 - d. Is 25 a factor of u?
True
Is (35/(-14) - -2)/(2/(-48)) a multiple of 7?
False
Let u be 3/(-2)*2 + 3. Let q(z) = -3*z - 1. Let c be q(-1). Suppose -c*n = -3*k + 3, 2*n - k + 3*k - 12 = u. Is 3 a factor of n?
True
Suppose 9 = d - 4*x + 5*x, 3*d = -5*x + 33. Suppose -g = -6 - d. Is g a multiple of 12?
True
Does 35 divide (548/6)/1*42/28?
False
Let g = 14 - 2. Let q = 46 - g. Is 17 a factor of q?
True
Let n(u) = -3*u**3 - 4. Is 7 a factor of n(-3)?
True
Let f = 207 - 62. Does 12 divide f/10 - 1/(-2)?
False
Let f(h) = 6*h**2 + 2*h. Let z(i) = 5*i**2 + 2*i. Let v(l) = -4*f(l) + 5*z(l). Let t be v(-2). Suppose -2*p - 3*p + 195 = t. Is 13 a factor of p?
True
Is ((-3)/(-2))/((-3)/(-104)) a multiple of 13?
True
Suppose 0 = 3*n + n. Let h be 6/(-12)*n/1. Suppose h = -5*q - 0*q + 90. Is q a multiple of 9?
True
Let a(b) = -6*b**2 - 3*b + 2. Let t = 2 + -4. Let g(p) = 13*p**2 + 6*p - 5. Let h(i) = t*g(i) - 5*a(i). Is 10 a factor of h(-2)?
True
Let u = 97 - -247. Suppose -4*v + 12 = 0, -2*v = 5*f + 2*v - 152. Is 12 a factor of u/f + 2/(-7)?
True
Suppose -6*u = -2*u - o - 38, u - 4 = 3*o. Does 4 divide (4 + -1)*u/3?
False
Is (4 - -5) + (0 - -2) a multiple of 4?
False
Let q = -7 + 31. Is q a multiple of 13?
False
Is 12 a factor of (-5)/((-90)/12)*18?
True
Suppose 0 = 4*f - 506 + 166. Does 10 divide f?
False
Let p(b) = b**2 + 8*b + 5. Let z be p(-6). Suppose 209 = -11*f + 77. Let u = z - f. Is 2 a factor of u?
False
Suppose 0*g + 630 = 5*g. Is g a multiple of 42?
True
Let i(q) = 3*q + 7. Is 8 a factor of i(3)?
True
Suppose 0 = -3*i + 2*c + 2*c + 23, 5*i - 3*c - 42 = 0. Does 2 divide i?
False
Suppose y + 4*g - 17 = 101, -y = 3*g - 120. Does 21 divide y?
True
Let b be -4*-3*3/2. Is b - 1 - (0 + 1) a multiple of 8?
True
Let g(a) = -9*a - 20. Is g(-5) a multiple of 9?
False
Let f = 3 - 0. Let g(j) = 2*j + 1 - 6*j - 8*j - f. Is 23 a factor of g(-3)?
False
Let k(n) = -n**3 - 5 - n**3 + 7*n - n**3 + 3*n**2 + 2*n**3. Does 2 divide k(4)?
False
Let a be 12/3*15/(-12). Let o(r) = 2*r - 6. Let k(z) = -z + 6. Let v(d) = -6*k(d) - 5*o(d). Is v(a) a multiple of 9?
False
Suppose -3 = -3*j - 0. Let n = 11 - j. Is 10 a factor of n?
True
Suppose j - 12 = -2*a + 3*a, -5*a = -3*j + 58. Let x = 25 + a. Is x a multiple of 7?
True
Let k = -9 - -14. Suppose 4*p + 4*c - 3*c = 22, 0 = 2*p - k*c. Let u(g) = -g**2 + 8*g - 7. Is u(p) a multiple of 4?
True
Suppose -c = -g + 159, 2*g + 2*c = 185 + 145. Suppose g = 3*d - 30. Let j = d + -44. Is j a multiple of 10?
True
Let a(q) = q**2 - 2*q + 3. Let b be a(2). Suppose 15 = j - 3*k - 39, 4*j = -b*k + 156. Is j a multiple of 14?
True
Let g(v) = v**3 + 6*v**2 - 5*v + 6. Let c be g(-7). Let n = 7 - c. Does 15 divide n?
True
Let s be 6*((-10)/4)/1. Suppose 2*d - 4*i = -36, 2*i = -3 - 5. Let k = s - d. Does 5 divide k?
False
Suppose 0 = 3*l - 220 - 5. Is 25 a factor of l?
True
Suppose 0 = 3*u + w - 151, -4*w - 51 = 5*u - 291. Suppose -3*d = 4*g - 106, g + g + u = 2*d. Is 19 a factor of d?
False
Let r be -1 - -1 - (27 - -9). Let c = -21 - r. Does 8 divide c?
False
Let n be (-1)/(-2)*8/1. Does 6 divide ((-20)/(-25))/(n/50)?
False
Suppose -s + 0*s + 7 = 0. Let a(m) = m**2 - m - 3. Is 14 a factor of a(s)?
False
Let y = -16 - -23. Suppose 0 = -y*b + 4*b + 39. Is 3 a factor of b?
False
Suppose 32 = k - 2*d, -44 = -3*k + 3*d + 46. Does 18 divide k?
False
Suppose 0 = -4*r - 4*d + 368, 4*r + 5*d = 9*d + 360. Does 13 divide r?
True
Suppose 0 = 2*d - i + 1, 2*d = 3*i + 2 - 5. Let v(y) = -y**3 - 10*y**2 - 7*y + 10. Let a be v(-10). Suppose 5*n + 0*n - a = d. Is n a multiple of 8?
True
Let y = 9 - -166. Suppose y = l + 4*l. Does 21 divide l?
False
Let q be ((-2)/3)/((-2)/(-3)). Let h be (-6)/(-3) + 1 + q. Suppose h*l = 1 + 47. Is 10 a factor of l?
False
Let v be -3 + 3 - (1 + -1). Suppose v = 2*f - 4 - 0. Does 2 divide (-2 - -1)*(-1 - f)?
False
Let b = -50 + 155. Is 21 a factor of b?
True
Let k(p) = 8*p**2 - 2*p. Let x be k(3). Suppose -3 - x = -3*j. Does 10 divide j?
False
Suppose -5*i - 107 = -g, 2*g - i + 70 = 293. Suppose 4*d + g = 6*d. Is 21 a factor of d?
False
Suppose -5*k = -t - 364, 255 - 103 = 2*k - 2*t. Let y(b) = b**3 - 2*b**2 - 3*b + 4. Let c be y(3). Suppose 0 - k = -c*v. Does 18 divide v?
True
Let p(g) = g**3 + 2*g**2 - 3*g - 2. Let o be p(-2). Let y(r) = 6 + o*r - 3*r + 0*r. Is y(7) a mult