f 16?
True
Suppose 42 = -3*c + 5*c. Does 7 divide c?
True
Let v = -3 + 3. Let g = 10 + v. Is 5 a factor of g?
True
Let v(q) = 4*q**2 + 8*q - 22 - 3*q**2 + 6. Let i be (-2)/(-1) + (-13)/1. Does 9 divide v(i)?
False
Suppose s = -4*o + 117, 3*s + 2*o = 7*s - 414. Suppose 2*n - 17 = -5*v + 93, -5*n = 4*v - s. Is 13 a factor of v?
False
Let v(y) = y**3 - 7*y**2 + 5*y + 4. Let t be v(6). Let l = 3 - 2. Let i = l - t. Is 2 a factor of i?
False
Let q be 5 + -4 - (-6 + 1). Suppose -4*f = -q - 6. Let j(d) = -d**3 + 4*d**2 - 2. Is j(f) a multiple of 2?
False
Let k(a) = -10*a**3 - 3*a**2 - 3*a - 1. Let c be k(-2). Suppose 2*z - c = 145. Is 20 a factor of z?
False
Suppose -8*a + 5*a + 414 = 0. Is 45 a factor of a?
False
Suppose -x = -3*a + 7*a - 28, 0 = -3*a + x + 14. Suppose 2*s - a = -2. Is (3/2)/(s/4) a multiple of 3?
True
Suppose -14*a + 9*a + 650 = 0. Is a a multiple of 29?
False
Suppose -5*m + 25 = 5*x - 25, 0 = -x + 3. Let n be (-7)/(-3)*(22 - m). Suppose -z - n = -c + 4*z, 2*c = -2*z + 70. Is c a multiple of 10?
False
Let l(n) = -34*n - 29. Does 19 divide l(-7)?
True
Let t(z) = -z**3 - z**2 + 12. Let l = -1 + 1. Suppose -12 = s + 3*a, l = -5*s - 3*a - 0*a - 12. Is 6 a factor of t(s)?
True
Let f(m) be the second derivative of m**4/12 - m**3/3 - 17*m**2/2 + 11*m. Does 23 divide f(-7)?
True
Suppose 5*v = -4*k + 25, -2*k + v - 26 = -7*k. Suppose -4*w = 4*s - 4, k*w = -3*s + 2*s + 17. Let o(f) = f**2 - 1. Does 8 divide o(s)?
True
Let r(d) = -d - 3. Let x be r(-6). Suppose -c = x*c - 68. Is c a multiple of 9?
False
Let o be 1 - (-1)/1*2. Suppose -o*s - 21 = -i - 4*s, -99 = -4*i + s. Suppose -v = v - i. Is v a multiple of 6?
True
Let y(l) = -l**2 + 7*l + 5. Let a be y(9). Does 6 divide (-3)/6 + a/(-2)?
True
Suppose -2*p + 25 = -1. Let i = -4 + p. Suppose i = a - 5. Is a a multiple of 14?
True
Suppose -5*r - 4*n + 131 = -378, 2*r - 202 = -2*n. Is 27 a factor of r?
False
Let q be 12/9*1*12. Let j(c) = c**3 + 4*c**2 + 2*c - 3. Let o be j(-4). Let b = o + q. Is b even?
False
Is 27 a factor of -2 + -3 + 288/4 + 0?
False
Is -2 + (-278)/(-6) + 3/(-9) a multiple of 18?
False
Let x(g) = g**2 + 2*g + 2. Is x(-5) a multiple of 14?
False
Let l be (-9)/(1/2 - 2). Let j(p) = -p**3 + 6*p**2 + 6*p + 6. Is j(l) a multiple of 14?
True
Let j(t) be the first derivative of 2*t**3/3 + 3*t - 2. Is 11 a factor of j(3)?
False
Let g(n) = 13*n - 6. Let r be g(4). Suppose -u + r = -10*d + 5*d, u - 34 = 2*d. Suppose 3*h - u = 13. Does 9 divide h?
False
Let p = 90 - 48. Is 21 a factor of p?
True
Suppose 3*l = 6*l + 84. Let p = l + 45. Is 11 a factor of p?
False
Let u(q) be the third derivative of 7*q**4/24 - q**3/3 + 9*q**2. Suppose 0 = -5*t + 4*t + 3*n + 13, -n = -4*t + 19. Does 7 divide u(t)?
False
Suppose 27 = -3*v - 0*v. Does 7 divide (-42)/v*3 + -2?
False
Let h(p) = -45*p + 2. Is 33 a factor of h(-3)?
False
Let i = 60 - 34. Suppose i = u - 0*u. Suppose -2*l + 2*y - 3*y + u = 0, -3*y = -3*l + 30. Is l a multiple of 7?
False
Does 19 divide (-16)/(-12) - 112/(-6)?
False
Suppose 0*x = -2*x - 4*q + 2, -2*q - 35 = 5*x. Let c = 13 - x. Does 11 divide c?
True
Suppose -1 = 4*r + 5*u, -r + 5 = -3*u + 1. Let j(h) = 2 + 0*h + h - 3 + 15*h**3. Does 11 divide j(r)?
False
Suppose -2*q + v + 2 = 0, -q - 8 = -5*q + v. Suppose q*n - 2*n - 5 = 0. Is 3 a factor of 3/(-15) - (-56)/n?
False
Let i(t) = -3*t + 16. Is i(-20) a multiple of 36?
False
Let k(a) = a**3 - 3*a**2 - a. Let v be k(3). Is (-2)/(v - (-43)/15) a multiple of 5?
True
Let n(s) = 2*s**3 - s**2 - s. Let u(i) = i**3 - i**2 - 2*i + 3. Let c be u(2). Let a be n(c). Suppose -a = -2*k + k. Does 14 divide k?
True
Let r be 3/((-9)/78) - -1. Let v = r - -42. Does 17 divide v?
True
Suppose -5*h - 3*y = -1061, -h + 321 = 4*y + 102. Does 21 divide h?
False
Let i(w) = -w**3 + w**2 - w. Let n be i(2). Let r = n - -9. Does 2 divide r?
False
Let v(y) be the first derivative of y**4/4 - 8*y**3/3 + 9*y**2/2 + 3*y + 1. Is v(7) a multiple of 11?
False
Let y(p) = -p + 22. Is y(15) a multiple of 4?
False
Suppose -18 = g - 4*g. Let y be 299/3 - (-2)/g. Suppose -5*v = -30 - y. Is 13 a factor of v?
True
Suppose d + 0 + 8 = 3*x, 2*x - 8 = 2*d. Let p be x/(-7) + (-124)/7. Let q = p - -26. Does 8 divide q?
True
Suppose -20 = -3*u - u, -5*f - 5*u = 80. Does 10 divide (-1248)/(-42) + (-6)/f?
True
Let n be 2 - 76/(1 + 1). Let x be ((-8)/(-6))/(40/30). Is (-1)/(x/n) - -3 a multiple of 10?
False
Let f(c) = 3*c**2 + 11. Does 15 divide f(-4)?
False
Let l(n) = -7*n - 9. Let o be l(7). Let b be 4/14 - o/(-7). Does 7 divide (42/b)/((-6)/16)?
True
Let m(r) = r**3 + 11*r**2 - 12*r + 7. Suppose -4*g + 2*q - 45 = 5*q, -2*q = 5*g + 58. Does 6 divide m(g)?
False
Let v = 15 - -1. Is 4 a factor of v?
True
Let d be ((-8)/(-10))/(6/15). Suppose 2*v - v = -5*m + 84, -5*m = -d*v + 198. Suppose 0 = 6*c - 4*c - v. Does 17 divide c?
False
Let d = 44 - 23. Is 21 a factor of d?
True
Let i(b) = b**2 + 5*b + 8. Let k be 3 + 2/(2/(-9)). Is i(k) a multiple of 7?
True
Suppose -4*k - 10 + 2 = 0. Let z be ((-6)/5)/((-3)/20). Does 14 divide k/z - (-452)/16?
True
Let a(m) = m**2 - 6*m + 9. Let u(l) = -l - 1. Let s(i) = -a(i) - 6*u(i). Does 16 divide s(5)?
True
Let g(s) = -9*s**3 - s**2. Let q be g(1). Let v = q + 38. Is v a multiple of 14?
True
Suppose 6*q - 3*q = 210. Suppose 2*i - 5*f + 3*f - q = 0, -4*f = -i + 44. Is i a multiple of 16?
True
Let y = 60 + 12. Is 24 a factor of y?
True
Let q(p) = p**2 - 7*p + 2. Let m(i) = -i - 1. Let j be m(5). Let t be q(j). Does 12 divide (t/(-6) - -2)*-3?
False
Let q(y) = -y**3 - 21*y**2 - y + 26. Is 3 a factor of q(-21)?
False
Suppose -5*l + 24 = -3*b, b = -5*l + 32 - 0. Let a = -27 - -17. Is a*((-15)/l + 2) a multiple of 3?
False
Suppose 0 = b + 2*o - 63, 2*o + o = 5*b - 328. Is b a multiple of 18?
False
Let z(q) = -q**3 + 9*q**2 - 3*q - 9. Let y be z(8). Suppose 3*m + 2*m = -5*c + 115, -c + y = 5*m. Does 7 divide c?
True
Suppose 0 = 5*y + 5*o - 70, -2*y + 2*o - 7 = -3*o. Let s(a) = a + 6. Is s(y) a multiple of 10?
False
Let m(a) be the first derivative of a**4/4 + 7*a**3/3 - 11*a**2/2 + 6*a + 1. Let l = 16 - 24. Is 15 a factor of m(l)?
True
Suppose -14 = -4*q - 2*f, -2*q + 4*f + f = -1. Suppose -5 = -5*c - 2*a, -18 + 6 = -q*c - 3*a. Does 15 divide (-27)/c - (-5 - -4)?
False
Let z(i) = i**3 + 12*i**2 - 5*i - 13. Is 13 a factor of z(-12)?
False
Let f = 644 + -245. Is 19 a factor of f?
True
Let m(j) = 2*j**2 + 1. Let t be m(-4). Let c be (-6)/2*t/(-9). Suppose -c = -5*l - 3*x - 0, -2*l - 5*x = 7. Does 3 divide l?
False
Suppose -2*a + 5*d - 133 = -4*a, 5*d = 15. Is 8 a factor of a?
False
Suppose 2*m + 121 - 355 = 4*p, 381 = 3*m + 4*p. Suppose 8 = -5*k + m. Is k a multiple of 23?
True
Let b be ((-36)/(-10))/((-4)/(-10)). Let f be -15*(2 + (-21)/b). Suppose 5*j - 25 = -f*z, 2*j - 33 = -3*z + 5*j. Is 8 a factor of z?
True
Suppose 0 = -a - 0 + 1. Does 13 divide a/((-3)/(-114)) + -3?
False
Let u(o) = -o**2 - o + 52. Is u(0) a multiple of 13?
True
Let n(i) = -2*i + 5. Let q be n(4). Is 17 - (q - -3 - 3) a multiple of 20?
True
Suppose 0 = 2*m - 3*m + 1. Let v be m/(3 + 33/(-12)). Suppose v*j = -44 + 140. Is j a multiple of 12?
True
Let b = 1 - 4. Let r = b + 20. Does 6 divide r?
False
Suppose 3 = -2*u - d, -5*u = -0*d - 5*d - 30. Is (-2)/(-2) - (-20)/u a multiple of 14?
False
Suppose 0 = -4*p + 1 - 9. Let r = 3 + -6. Is (21/p)/(r/6) a multiple of 7?
True
Suppose -27 = -5*s + 4*s. Let q = s + -9. Does 9 divide q?
True
Suppose -2*f + 10 = -10. Suppose q - f = -q. Is 4 a factor of q?
False
Suppose s + 4*s = 495. Does 7 divide s?
False
Let o be (-3)/(-2) - 2/(-4). Suppose -v = -0*v - o. Does 12 divide v/(-5) - 246/(-15)?
False
Let l = 66 - 34. Is 16 a factor of l?
True
Let n(y) = y**3 - 4*y**2 - 5*y + 4. Let f be n(5). Suppose -r - 4*h - h + 75 = 0, -4*r + 300 = f*h. Is r a multiple of 25?
True
Suppose 0 = -5*r + 3*r + 130. Let a(n) = n + 7. Let h be a(-5). Is ((-4)/h - r)*-1 a multiple of 23?
False
Let a be (-6)/(-10) + (-72)/(-30). Let u(s) = a*s + s**2 - s**3 - 3*s**2 - 4 + 7*s**2. Does 9 divide u(4)?
False
Let i = -74 + 160. Let b = i - 45. Let d = -19 + b. Does 22 divide d?
True
Let a(s) = 10*s + 2. Does 9 divide a(2)?
False
Let k(h) = 3*h**3 - 3*h**2 - 3*h. Let a(d) = -d**3 - d**2 + d - 1. Let v(w) = -2*a(w) - k(w). Does 6 divide v(5)?
False
Is 16 a factor of ((