 c?
True
Suppose -5 = -4*n + 7. Let b be 8/(-2)*(-4)/8. Suppose -n*r + 20 = -b*r. Is r a multiple of 7?
False
Suppose -4*n = -4*l - 0 + 4, 32 = 3*n + 4*l. Let b = -4 + n. Let y = b + 3. Is y a multiple of 2?
False
Let u(c) = 26*c - 2. Let j be u(-5). Let i = j + 31. Let w = -69 - i. Is w a multiple of 16?
True
Let l = -9 + 22. Does 13 divide l?
True
Let r be -1 + 1 + 2 + -41. Let v be (1 - 2)*(2 + r). Let x = -20 + v. Is x a multiple of 5?
False
Let y(z) = -6*z + 34. Is 41 a factor of y(-8)?
True
Let i(h) = 4*h**2 - 2. Suppose -j = 1 - 3. Let k be i(j). Let w = 24 - k. Is 7 a factor of w?
False
Let c = 66 + -47. Is 2 a factor of c?
False
Suppose -4*l = -16 - 56. Does 9 divide l?
True
Let x(u) = 5*u + 5. Let z be x(-6). Let l = 15 - z. Is 11 a factor of l?
False
Suppose 4*i + 3*l - 7 - 3 = 0, 3*l = -6. Suppose 79 = i*t - 85. Is 25 a factor of t?
False
Does 11 divide (3/4)/(16/896)?
False
Let g(m) = 4*m. Let a be (-1)/(-3 + (-8)/(-3)). Is g(a) a multiple of 12?
True
Does 21 divide -18 + 84 + -3 + 0?
True
Let b = -10 - -15. Suppose -5*q + 3*v = -3*q - 128, 5*v = -b*q + 295. Does 21 divide q?
False
Let n(a) = a**2 - 9*a - 13. Let x be n(10). Let r(o) = o**2 + 4. Does 5 divide r(x)?
False
Let o = 58 - -4. Does 14 divide o?
False
Is (-5)/15 + (-120)/(-9) a multiple of 13?
True
Suppose -7 = -4*j + 5. Let z(k) = 5*k**2 - 2*k - 3. Let m be z(-2). Let n = m - j. Does 18 divide n?
True
Let b = 28 - 28. Suppose 3*o - 5*v = -b*o + 111, -4*v + 116 = 4*o. Is 16 a factor of o?
True
Let l(w) = -32*w**3 + w**2 + w + 1. Let y be l(-1). Suppose -3 = 5*x - y. Is 6 a factor of x?
True
Let s = -29 - -18. Suppose 5*p = -t + 31, -2*p + 63 = 3*t - 4. Let o = t + s. Does 10 divide o?
True
Suppose 3*x + 86 = 26. Is (-1 + x)*(-6)/7 a multiple of 7?
False
Suppose 31 = 4*x - 25. Is x a multiple of 14?
True
Let v = -13 - -20. Let g(u) = 4*u - 10. Let q be g(v). Suppose -3*x = 3*j - 12 - q, -x - 5*j = -10. Does 10 divide x?
True
Let s be (-8)/6 - (-1)/3. Let i(h) = -112*h**3 + h. Let r be i(s). Suppose 5*j = 4 + r. Is j a multiple of 10?
False
Let b = 429 + -297. Suppose 3*a - b = -a. Does 11 divide a?
True
Suppose 0 = 9*q - 55 - 458. Let w(s) = 3*s**2 - 5*s + 2. Let p be w(4). Let r = q - p. Does 11 divide r?
False
Let q = 169 - 33. Is 34 a factor of q?
True
Let z(m) = m**3 - 10*m**2 + m - 3. Let i be z(10). Suppose -i*t + 68 = -3*t. Is 9 a factor of t?
False
Let d be 14/(-10) + (-4)/(-10). Let u be 5/(-15) + 4/(-6) + -2. Is 9 a factor of d/((-3)/36) + u?
True
Suppose -3*s = -9, -4*s + 5 = -3*f - 1. Suppose 30 = 2*m + f. Is 6 a factor of m?
False
Let p = -7 - -19. Suppose -4*l = -20, -l - 3*l - p = -4*d. Is d a multiple of 6?
False
Let z(h) = 7*h**2 - 3*h + 12. Let q(o) = -1 + 2*o**2 + 0*o**2 - 3*o**2. Let j(r) = 6*q(r) + z(r). Is 5 a factor of j(4)?
True
Let k = -36 - -121. Is k a multiple of 17?
True
Is 284/8 - 1/(-2) a multiple of 29?
False
Let z(t) = -t**3 - 2*t**2 + 4*t. Let g be (-154)/(-8) - (-5)/(-20). Suppose -17 = 2*i - 3*c, 4*c - g = 4*i + 3*c. Does 12 divide z(i)?
False
Suppose -194 = -3*c - 5. Is 6 a factor of c?
False
Let d(b) = 61*b**3 - b**2 + b - 1. Let t be ((-2)/5)/((-10)/25). Is 12 a factor of d(t)?
True
Suppose w + 3*w = 40. Suppose 3*u - 7 = -2*r, -3*r = -6*r - 5*u + 11. Suppose -z + w + 4 = h, 16 = z + r*h. Is 9 a factor of z?
False
Suppose 6 = -3*i - 3*t, -2 + 0 = -2*i + t. Let z(g) = -g + 4. Is z(i) a multiple of 4?
True
Let q = 7 - 4. Is q a multiple of 3?
True
Let m = -294 - -510. Is 12 a factor of m?
True
Let q be 1 + (17 - (1 - 0)). Suppose -20 = -2*h + 4*l, 5*h + 6 = -5*l - 4. Suppose -2*a = -h*n - 68, -a - n + q = -17. Does 19 divide a?
False
Let h = 5 + -1. Suppose -4*m - h = -5*m. Suppose -2*x + 46 = 2*a - 2, 0 = -2*x + m. Is 11 a factor of a?
True
Let y(g) = -g - 1. Let n be y(-4). Suppose n*b + 88 = -b. Is b/(3 + 33/(-9)) a multiple of 18?
False
Suppose 2*g + 4*x + 4 - 16 = 0, -2*g - 3*x = -12. Does 9 divide g/(-12) - (-55)/2?
True
Let i(l) = -6*l**2 - 3*l - 1. Let x be i(-2). Let u = 35 + x. Does 16 divide u?
True
Let z = 32 - 23. Let s = 25 - z. Does 9 divide s?
False
Suppose -2*d - 3*d - 75 = -3*y, 100 = 4*y - 3*d. Is y a multiple of 6?
False
Let i(s) = -11*s + 2. Let u(h) = -h**3 - 7*h**2 + h + 5. Let a be u(-7). Does 12 divide i(a)?
True
Let o = 2 - 1. Let v(x) = 5*x**2 - x. Let k be v(o). Suppose -2*r + q - 20 = -3*r, k*r + 2*q - 78 = 0. Is r a multiple of 19?
True
Suppose 3*r + 20 = 6*u - 2*u, 3*u = 4*r + 8. Let v(m) = m**3 - 8*m**2 + 2*m - 1. Is v(u) a multiple of 3?
True
Suppose 5*i = -3*n - 2*n + 355, 0 = 4*n + 3*i - 289. Let k(p) = -2*p**2 + 5*p + 1. Let z be k(6). Let w = n + z. Is 14 a factor of w?
False
Is 14/(-77) - (-796)/22 a multiple of 12?
True
Let d(k) be the first derivative of -k**4/4 + 2*k**3/3 + 3*k**2/2 + 4*k + 1. Let m = -4 + 7. Is d(m) even?
True
Let i(d) = -d**2 + 2*d + 4. Let q be i(4). Let b be (-3)/((-6)/q) - -11. Is ((-3)/b)/(2/(-78)) a multiple of 13?
True
Suppose 4*v - 28 = 20. Suppose -2*z - k + 42 = 0, -3*z = -k + v - 85. Does 9 divide z?
False
Let d(p) = 24*p + 2. Let j be d(2). Suppose 0 = 2*z - j + 2. Is z a multiple of 10?
False
Let p(j) = -9*j - 6 + 1 + 3*j. Is p(-4) a multiple of 8?
False
Is 5 a factor of 77/3 + (-2)/3?
True
Is -3 + 44/4*(0 + 1) a multiple of 2?
True
Let u(j) = -j - 4. Let g be u(-3). Let b(o) = -1 + o - 2*o**3 - 2*o - 15*o**3 - o**2. Is 16 a factor of b(g)?
True
Suppose -5*f - g + 202 = 0, 0 = 4*f - f + 3*g - 126. Is f a multiple of 30?
False
Suppose a - 3*n = -2*n, 2*a + 16 = -2*n. Suppose 2*c + 4*k + 92 = -36, 2 = 2*k. Does 11 divide ((-14)/(-21))/(a/c)?
True
Let g be 951/9 + (-2)/3. Suppose 0 = 4*j + j - g. Is 11 a factor of j?
False
Let i be ((-8)/6)/((-2)/57). Let g = i - 20. Is 9 a factor of g?
True
Suppose -j + 1 = -2*u, -8 = -4*j + 12. Suppose 4*l + 1 - 23 = -2*g, u*l + 44 = 4*g. Is g a multiple of 10?
False
Let m be 0 + 1 + 0 + -4. Suppose 35 = 7*x - 2*x. Let z = x - m. Is 7 a factor of z?
False
Suppose 5*d - d - 8 = 0. Does 5 divide (-10)/(-3 + d)*1?
True
Let t = -51 - -95. Does 7 divide 2/(-1 - (-46)/t)?
False
Let z(v) = v**2 + 3*v - 7. Is 23 a factor of z(9)?
False
Let a(b) = 10*b + 15. Let f(n) = n. Let c(z) = -a(z) - 3*f(z). Does 27 divide c(-6)?
False
Let w = 7 + -6. Let f = w - -2. Suppose -2*j + f*g = -13, 4*g - 7 - 60 = -5*j. Does 9 divide j?
False
Let h(u) = 2*u**2 + 21*u - 1. Does 35 divide h(-12)?
True
Suppose -2*x - 5 = 3*x. Is 7 a factor of (-4)/12*21/x?
True
Let x(n) be the first derivative of n**2/2 + n + 2. Does 5 divide x(6)?
False
Suppose m = 8*m - 336. Does 13 divide m?
False
Suppose 0*s - 3*c = 2*s - 149, 2*s - 151 = -c. Is s a multiple of 18?
False
Let w(h) = 3*h + 1. Suppose 5*t - f - 1 = -5*f, -5*t = -3*f - 8. Let l be w(t). Suppose -3*i - s + 15 = 2*s, -l*s - 8 = 0. Is 4 a factor of i?
False
Let z = 162 + -248. Let b = 121 + z. Is b a multiple of 12?
False
Let m be 2 - -25 - 2 - 0. Let x(j) = 2*j**3 - j**2 + 2*j - 1. Let o be x(1). Suppose -o*p + 7*p = m. Is 3 a factor of p?
False
Suppose -5*k = -95 - 5. Suppose -3*u - 5*c = -3*c - 16, 3*u - k = 2*c. Is 4 a factor of u?
False
Suppose 4*l = -6 - 6. Let p be (-2 + 1)*2 - 0. Is -3*p/l - -19 a multiple of 13?
False
Suppose 0 = -x - 3*x + 384. Let z = -68 + 132. Let h = x - z. Is 14 a factor of h?
False
Does 3 divide 34 - 1*(2 + 2)?
True
Suppose -5*m - 5*v - 10 = 0, 13 = -3*m + 4*v - 0. Let t = m + 7. Suppose 0 = w + t*k - 12 - 18, 54 = 5*w - 4*k. Is w a multiple of 14?
True
Let j = -8 + 13. Suppose j*y - 48 = y. Does 12 divide y?
True
Let u = 21 + -12. Let w be 1*(-2 - 0) - u. Let t = w - -25. Is 7 a factor of t?
True
Suppose -2*s - 131 = -3*f, 6*f + 4*s - 82 = 4*f. Does 6 divide f?
False
Let k be 6/(-3 - -1) - -5. Is 14 a factor of k + 0/(-2) - -12?
True
Let l(v) = v + 9. Let x be l(-7). Let w be (x/(-4))/((-2)/(-8)). Does 12 divide 69/6 + w/(-4)?
True
Suppose -4*y + 19 = 2*c + 3, -5*y + 2*c = -2. Suppose z + y*z = 0. Suppose z*p - 56 = -4*p. Does 14 divide p?
True
Let h be ((-2)/(-7))/(2/14). Suppose -h*k - 4*o = -30, -11 = -4*k - 2*o + 19. Suppose 2*g + g - b - 45 = 0, k*g = -2*b + 75. Does 6 divide g?
False
Suppose -10*n = -8*n - 4. Suppose -4*r + 97 = s - 5, n*r - 4*s = 60. Does 13 divide r?
True
Let c be (-2)/7 - (-138)/42. Suppose -c*j - 295 = -5*v, -j - 4*j = -25. Is 21 a factor of v?
Fals