+ 1. Let r(v) = 32*v - 48. Let g(j) = 48*c(j) + r(j). Is 16 a factor of g(-1)?
True
Suppose 291 + 221 = 4*f. Is f a multiple of 16?
True
Suppose -40*m = -44*m + 264. Does 11 divide m?
True
Let k(d) = -2*d - 1. Suppose -2*i = -6 + 12. Is k(i) a multiple of 2?
False
Suppose 0 = -3*a - 2*f + 73, 0*a = 4*a + 3*f - 99. Suppose -a = -2*l + 29. Does 13 divide l?
False
Let i(l) = -l**3 - 2*l**2 + 2*l + 3. Let o be i(-3). Let t be (-2)/o + 119/(-21). Let w(x) = 2*x**2 + 8*x - 3. Does 12 divide w(t)?
False
Is 14 a factor of -2 + 6 - -1 - -219?
True
Suppose 0*f - 3*f + 42 = 0. Suppose 2 = r, 0*r - 4*r - f = -2*b. Is 7 a factor of b?
False
Let j be (4/(-10))/(3/(-30)). Suppose 3*n - 24 = -9. Suppose -h + 50 = -j*i, 0*i + 155 = n*h - i. Does 16 divide h?
False
Let i be (-5 - -2 - -3)*1. Is (-2)/(1/(-4) - i) a multiple of 4?
True
Suppose 2*o - 32 = 32. Suppose -72 = 2*v - 6*v. Let s = o - v. Does 14 divide s?
True
Let f(g) = g**3 + 5*g**2 + 3*g. Suppose -2*o + 6*o + 16 = 0. Is f(o) a multiple of 4?
True
Let h(o) = o**3 - 11*o**2 - 15*o + 14. Let q = -30 - -42. Let l be h(q). Is 8 a factor of 2/((-4)/l)*2?
False
Let u(y) = 2*y**3 - 7*y**2 - y + 20. Is u(5) a multiple of 15?
True
Suppose 3*r = -5*w - 7, 0*r = -4*r - 5*w - 6. Let a be r*(-2 - 4/(-2)). Is 10 a factor of 12 - (a + -1) - -1?
False
Suppose 0 = v + 2*v - 51. Let s = -12 + v. Suppose 2*m - 2*n = 10, m + 0 + 11 = s*n. Is m a multiple of 9?
True
Let g(x) = x + 4. Let c be 0/(-2 - (-1 - -1)). Let t be g(c). Suppose t*q = 43 + 117. Is 14 a factor of q?
False
Suppose 1299 = 5*n - 486. Let m = n + -209. Suppose -6*p = -2*p - m. Is p a multiple of 17?
False
Suppose -4*w + 420 = 2*k, 2*k - 405 = 3*w - 2*w. Suppose -4*r - 84 = -k. Suppose 4*d - r = 2*d. Is d a multiple of 7?
False
Suppose -h - 6 = 2*s, -5*s = -2*h - 0*h - 21. Let c = 19 - 34. Let f = h - c. Does 3 divide f?
False
Let b(z) = 2*z + 6. Let s(f) = -f**2 - 7*f - 3. Let u be s(-5). Does 8 divide b(u)?
False
Let v(j) = -j**3 + 15*j**2 - 14*j + 9. Is v(14) a multiple of 9?
True
Let a = 0 - -3. Suppose -a*t - t + 20 = 0. Does 16 divide -3 - (1 + -4*t)?
True
Let y(g) = g**2 + 9*g + 6. Is 5 a factor of y(7)?
False
Suppose -20*l - 430 = -25*l. Is 15 a factor of l?
False
Let t(p) = -20*p. Is t(-1) a multiple of 10?
True
Suppose 0 = -3*u + 3, -z + 0*z + 17 = -3*u. Let b be (8/5)/(1/z). Let x = b + -20. Does 12 divide x?
True
Let t be (-2 - (-9)/6)*-4. Suppose -t*m - 45 - 27 = 0. Let j = 52 + m. Is j a multiple of 7?
False
Let m(a) = -3*a**2 - 1. Let s be m(1). Is (-26)/(2*2/s) a multiple of 9?
False
Let t(l) = l**2 - 9*l - 10. Does 14 divide t(-11)?
True
Let c be (3 - 12/3) + 11. Is 12 a factor of 24/c*(-105)/(-7)?
True
Is 19 a factor of 125 - (0 + (-2 - -2))?
False
Let j(m) = -m**2 - 4*m - 1. Let p be j(-3). Suppose -p*s - 2*s = 0. Is 20 a factor of -1 - s - (5 + -47)?
False
Let g be 2*(1 - (-29)/2). Let p = g - 17. Is 6 a factor of 4/p - 75/(-7)?
False
Let g be 110/4*(9 - 1). Suppose 4*q + 5 = 3*b, 2*b = 3*q + 2*q + 1. Does 14 divide q/4 + g/16?
True
Let i = 1 - 1. Suppose i = g - 16 - 2. Is 6 a factor of g?
True
Suppose 4*x = 4*q + 108, 0 = q - 0 - 4. Let v(c) = 6*c**3 - 2*c**2 + 3*c - 1. Let d be v(2). Let j = d - x. Is j a multiple of 7?
True
Let r be 2/(-4)*(0 + -2). Suppose -3*w - 125 = -5*g, -3*w = -g - 5*w + 12. Let k = g - r. Is 12 a factor of k?
False
Suppose -2*s + 0*s = -196. Is 30 a factor of s?
False
Let h(a) = a**2 - 4*a + 5. Let q be h(5). Let b = q - 7. Is b a multiple of 2?
False
Suppose -7*q + 144 = -6*q. Does 12 divide q?
True
Let x be 2/(-4) + 63/6. Suppose -x = 2*v + 5*j, -2*v + 3*v - 9 = j. Suppose -5*c + 115 = v. Is 11 a factor of c?
True
Let z(v) = v**2 + 8*v + 2. Let l be z(-8). Suppose -4*i + 128 = -c + l*c, -i - 2*c + 32 = 0. Does 16 divide i?
True
Let l(n) = -6*n - 63. Is 8 a factor of l(-20)?
False
Suppose -4*j + 7*j - 459 = 0. Does 17 divide j?
True
Suppose 4*w - 4*a = a + 6, 0 = -5*w + 4*a + 12. Suppose 0 = -4*f - 2*c + 7 + 71, -w*f + 93 = -3*c. Is f a multiple of 16?
False
Suppose -3*d + 2*j = d - 14, -j = -3*d + 12. Let y = d - -4. Is y a multiple of 5?
False
Let p(w) = 2*w**2 - 11*w + 5. Does 13 divide p(7)?
True
Let i(p) = -p**3 - p + 2. Let z be i(0). Suppose z*g - 69 = 27. Is (-1)/((-3)/g) + 0 a multiple of 6?
False
Let l be -1 + ((-12)/4 - -8). Is 44 - ((-16)/l)/4 a multiple of 15?
True
Let z = 31 + 17. Does 48 divide z?
True
Let a = 75 + -39. Suppose 0 = -2*q + 14 + 14. Does 12 divide (a/q)/((-7)/(-49))?
False
Let y(i) = 2*i**2 + 6*i - 4. Let p be y(-7). Let b = -28 + p. Is b a multiple of 17?
False
Let u = 17 + 43. Is (-138)/(-5)*u/18 a multiple of 25?
False
Let u = -28 - -40. Suppose t - 7*t + u = 0. Is 2 a factor of t?
True
Let j(a) = a + 10. Let m be j(-6). Let y(q) = -1 - 1 + m + q - 3. Does 9 divide y(10)?
True
Suppose -53 = 2*d - 17. Is (-4)/d + 43/9 a multiple of 5?
True
Let u(p) = 5*p**2 + p + 2. Let j be 14/(-6) - 2/(-6). Is u(j) a multiple of 12?
False
Suppose -25 + 9 = -4*s. Suppose -s*f + 191 = 67. Is f a multiple of 10?
False
Let l(b) = -154*b - 4. Does 30 divide l(-1)?
True
Let g(c) be the third derivative of -c**5/60 - c**4/2 - c**3 + 4*c**2. Is 15 a factor of g(-6)?
True
Let m = 186 + -124. Does 18 divide m?
False
Let g(h) = -7*h - 3. Let t be g(6). Let p = t + 69. Is p a multiple of 7?
False
Suppose -5*u + 42 = -4*u. Let o be 3/((-3)/u*-3). Suppose -2 = -2*y + o. Is y a multiple of 4?
True
Let r(i) = -84*i + 2. Let p be r(-1). Let y = p - 44. Is 6 a factor of y?
True
Let s = 4 + -2. Suppose 3*c = s*c. Suppose c = 2*a + 4*i - 0*i - 100, -4*a + 5*i + 135 = 0. Is a a multiple of 20?
True
Let r(y) = 4*y + 15. Let g be r(-6). Let x(v) = -v**3 - 10*v**2 - 11*v - 11. Is 3 a factor of x(g)?
False
Suppose 0 = 2*z + g - 23, -z + 2*z + 2*g - 13 = 0. Suppose -w + 29 = z. Is 9 a factor of w?
True
Suppose 0 = -5*w - 25, -3*i - 2*w + 5*w = -285. Does 15 divide i?
True
Let f(x) = x**2 + 2*x + 3. Let r be f(-4). Suppose 4*i - 24 = -8. Let s = r + i. Is 12 a factor of s?
False
Let h(b) = 2*b**2 - 2*b + 4. Let c be h(-3). Suppose 2 + c = 3*u. Does 10 divide u?
True
Suppose 4*w - 554 + 118 = 0. Is w a multiple of 34?
False
Suppose -a + 6 + 6 = 0. Let c = 7 + a. Is c a multiple of 13?
False
Let w be (-1)/2*-1*28. Let c = 21 - w. Is c a multiple of 7?
True
Suppose -4*d = -2*d - 240. Is 6 a factor of d?
True
Suppose 1 + 2 = b. Suppose 128 = b*t + t. Does 2 divide (t/4)/(1 + 1)?
True
Let b be 4/10 - 18/45. Suppose 20 = s - b*s + 5*r, -5*s - 2*r = -169. Is s a multiple of 24?
False
Let q(w) = -w**2 - 2*w - 4. Let h be q(6). Let p = -21 - h. Is p a multiple of 8?
False
Let j(w) = -w**3 + 9*w**2 - 8*w - 15. Does 22 divide j(7)?
False
Let a = -11 - -7. Is ((-2)/a)/(11/924) a multiple of 14?
True
Let c(r) = r**2 - r + 27. Is c(0) a multiple of 9?
True
Let x be ((-3)/2)/((-12)/16). Suppose 20 = 5*s, -u + x*s - 26 = -4*u. Is 19 a factor of 2/3 + 194/u?
False
Suppose -4*l - 520 = -6*l. Suppose -3*z + 4*q = -l, 2*z - 3*q - 258 = -z. Is 18 a factor of z?
False
Suppose -m + 3*z - 9 = 0, 0 = -m + z - 0*z + 1. Suppose 3*u + m = 18. Does 3 divide u?
False
Is 39 a factor of (-12 - (-2)/(-2))*-3?
True
Suppose 3*f = -2*t + 9 + 28, 5*t = -4*f + 40. Is f a multiple of 7?
False
Suppose -178 = -4*k - 14. Let n = k + 25. Suppose -n - 14 = -4*a. Is a a multiple of 9?
False
Let z(x) = x + 28. Does 10 divide z(-15)?
False
Let m(v) = 4*v - 6. Is 4 a factor of m(6)?
False
Let j(w) = -3*w - 1. Let l be j(-2). Suppose i + l*y = 5*i - 93, 0 = -4*i - 4*y + 48. Is 9 a factor of i?
False
Suppose 53 = v + h + 2*h, -5*h = 3*v - 159. Is 36 a factor of v?
False
Let u be (-2)/(-6) + (-28)/(-6). Suppose 164 = u*x - 6. Does 14 divide x?
False
Let t(d) be the second derivative of d**5/20 + d**4/12 + d**3/3 + 5*d. Is 4 a factor of t(2)?
True
Let f be -1*(1 + 1)*2. Let i be -6*(12/9)/f. Suppose -i*v + 12 = -34. Is 8 a factor of v?
False
Let l = 4 - 7. Let t = 14 - l. Is 6 a factor of t?
False
Suppose -2*x + 5*x - 6 = 0. Let v(m) = -5 + 4*m**x - 3*m**2 + 1 + 2*m. Is 11 a factor of v(3)?
True
Suppose 3*s - 228 - 72 = 0. Is s a multiple of 24?
False
Let h(d) = -d**3 - d**2 + d + 2. Let l be h(-2). Suppose -n + 3*a = -6*n + 8, 4 = -n + 5*a. Is 12 a factor of (-2)/l*n*-70?
False
Suppose -u = 5*z - 180, 185 = 4*z + z + 2*u. Suppose z - 90 = -5*k. Is k a multiple o