ppose -7*t - 386 = -9*t. Is t a multiple of 29?
False
Let x(c) = c**2 - c + 5. Does 5 divide x(0)?
True
Let q(c) = -6*c + 3. Let t be (-1)/((-2)/(-34) + 0). Is q(t) a multiple of 35?
True
Let t = 12 + -12. Suppose -4*h - 76 = -4*i, 3*h + 73 = 4*i - t*h. Is 8 a factor of i?
True
Suppose -5*o + 248 - 53 = 0. Does 13 divide o?
True
Let v = -136 + 214. Is v a multiple of 13?
True
Suppose -3*n = -l - 4*n + 121, 4*l = 5*n + 502. Is l a multiple of 14?
False
Is 6 a factor of 55/5 + 15/5?
False
Suppose -76 = -5*f + 4*f. Let t = f - 28. Does 12 divide t?
True
Let b(p) = -p**3 + 4*p**2 - p - 1. Let d be b(3). Suppose 196 = 5*u - 3*o, u - 8 - 18 = d*o. Is u a multiple of 18?
False
Let p = -9 - -14. Suppose -x = 2*b - 103, -4*b - p*x = b - 250. Is 14 a factor of b?
False
Let v = 146 + -73. Suppose -v = -3*c + 2*b, 0*b + 2*b = 5*c - 123. Is 8 a factor of c?
False
Let i be (-1 - 5/3)*-21. Suppose -t - i = -3*t. Is t a multiple of 14?
True
Suppose -144 = 5*j - 719. Let i(g) = g**3 + 7*g**2 - 10*g - 12. Let x be i(-8). Suppose a - j = -x*a. Is a a multiple of 8?
False
Let m = 25 + -52. Is 9 a factor of ((-8)/(-12))/((-1)/m)?
True
Let m be -1 + -2 + 3 + 62. Suppose 3*p - m = 34. Does 16 divide p?
True
Does 27 divide (-128)/3*30/(-20)?
False
Let x(n) = n**2 + 2*n + 70. Is x(0) a multiple of 35?
True
Let i be 1 - 0 - (9 - 114). Suppose 2*p - i + 26 = 0. Is p a multiple of 10?
True
Suppose -7*i + 11 + 10 = 0. Suppose -i*x + 152 = -x. Is x a multiple of 21?
False
Let c(l) = 2*l - 1. Let s be c(1). Does 18 divide (s/3)/((-1)/(-129))?
False
Let d(g) = g**3 - 6*g**2 - g + 2. Let s be d(8). Let z = -66 + s. Is z a multiple of 15?
False
Is (-79)/(-11) - (-8)/(-44) even?
False
Let h = -3 - -5. Suppose 0*r + h*r + 10 = 0. Let x = r - -26. Does 12 divide x?
False
Suppose -144 = -6*w + 234. Does 24 divide w?
False
Let t(s) = -76*s - 1. Let p = -5 + 4. Let w be t(p). Suppose 0 = 7*i - 2*i - w. Is i a multiple of 9?
False
Suppose -6*j + j + 230 = 0. Does 23 divide j?
True
Suppose 71 = 4*l + y, 4*l = -4*y - y + 67. Suppose -2*c = -0*c - l. Does 9 divide c?
True
Suppose 0 = w - 2*w + 33. Is w a multiple of 11?
True
Let m(u) = 10*u + 10. Is 20 a factor of m(5)?
True
Let t = -8 - -12. Is 4 a factor of t?
True
Let s(f) = f**2 + 22*f + 9. Is 12 a factor of s(-25)?
True
Suppose -23*k + 19*k = -240. Does 15 divide k?
True
Let r(s) be the third derivative of s**4/24 + s**3/2 + 2*s**2. Let l be r(-3). Suppose -3*g = -l*g - 24. Is 4 a factor of g?
True
Let g = -12 - -20. Suppose -10*a = -g*a - 80. Is a a multiple of 20?
True
Let a(t) = t + 4. Is a(2) a multiple of 6?
True
Let r = 2 + -5. Let y(x) = -4*x + 3. Let g be y(r). Is 4 a factor of (-53)/(-5) + 6/g?
False
Suppose -39*y = -35*y + 4. Let x = 15 - 28. Let p = y - x. Does 12 divide p?
True
Suppose -5*k = -15, 3*u = -k + 117 + 45. Does 9 divide u?
False
Let m = -12 + 17. Let g(i) = -i**2 + i + 4. Let b be g(m). Is (b/(-12))/((-4)/(-114)) a multiple of 24?
False
Let p(o) be the first derivative of o**4/4 - 5*o**3/3 - o**2 + 4*o - 5. Does 14 divide p(6)?
True
Let f(o) = -o**3 - 8*o**2 + 4*o + 20. Does 5 divide f(-9)?
True
Does 15 divide 2*2 - (-8 - 48)?
True
Is 3 a factor of 592/24 - (2 - 14/6)?
False
Let z(b) = b**3 - b**2 - b - 1. Let p(m) = m**3 - 7*m**2 - 2*m - 1. Let s(j) = p(j) - 2*z(j). Let f be s(-5). Does 7 divide (f + 1)*35/10?
True
Let q(k) = 10 - 6 + 0 - k**3 + k + 20. Does 12 divide q(0)?
True
Let h(o) = 6*o - 6. Is 8 a factor of h(4)?
False
Suppose 0 = y + 5*h - 50, y = -2*y + 5*h + 130. Is y a multiple of 9?
True
Let l(u) = u**3 - u - 4. Let p be l(0). Let q(j) = j**3 + 5*j**2 - 3*j - 1. Let g be q(p). Let k = 45 - g. Is k a multiple of 9?
True
Suppose 16 = 4*y + 4*x - 32, -5*y + 84 = -3*x. Suppose -y*l + 14*l + 43 = 0. Is l a multiple of 10?
False
Suppose 2*r - 26 = 5*c, 3*c - 2 - 1 = -5*r. Suppose 0 = 5*o + 5, k = -2*k - r*o + 78. Is 8 a factor of k?
False
Let w(n) be the second derivative of -n**3/2 - 2*n**2 + 2*n. Suppose 0 = -3*o - 0*o - 24. Is 6 a factor of w(o)?
False
Let h(i) = 2*i**2 - i - 3. Let t be h(2). Suppose -2*u + 10 = 0, -3*u = t*f + 2*f - 180. Is 13 a factor of f?
False
Suppose 0 = -0*b - 2*b + 4. Suppose v = -4*k + 46 + 14, 0 = k + b*v - 22. Is 7 a factor of k?
True
Let d(v) = 3 + 0*v - 4 + v + 0*v. Let y be d(6). Suppose w = -y*o + 27, 2*w + 2*o - 21 = 1. Is 7 a factor of w?
True
Let z(p) = p**2 - 2*p - 4. Let k be z(-4). Suppose -3*q + k = q. Is 2 a factor of q?
False
Let c be ((-3)/2 + 3)*-2. Let d = c + 10. Is 3 a factor of d?
False
Let c(x) be the first derivative of -x**4/4 - 11*x**3/3 - 11*x**2/2 - 4*x + 4. Let p be c(-10). Is (-1 + 2)*(-1 + p) a multiple of 3?
False
Does 26 divide -3 - (0 + 3 - 36)?
False
Let f = 121 - 22. Is 33 a factor of f?
True
Suppose 15*y - 11*y = 524. Does 49 divide y?
False
Let w(l) = -211*l + 5. Does 27 divide w(-1)?
True
Let z(w) = -68*w + 3. Let g be z(2). Let a = 197 + g. Suppose 0 = s + 3*s - a. Is s a multiple of 8?
True
Is 14 a factor of 2/9 + 3199/63?
False
Suppose 0 = 2*k - 2*w - 22, -6*k - 5*w + 1 = -3*k. Let u = 12 + k. Is 19 a factor of u?
True
Let w(i) = 3*i - 1. Let j be w(3). Let b = j - -11. Is b a multiple of 10?
False
Suppose -215 - 125 = -5*g. Does 28 divide g?
False
Let w = -26 - -40. Is w a multiple of 11?
False
Suppose -g + i + 21 = -25, 0 = g - 2*i - 47. Does 22 divide g?
False
Suppose 4*l - 3*l = 24. Is l a multiple of 12?
True
Let n(j) = 7*j - 6. Let a(y) = -y**3 + 10*y**2 - 8*y - 3. Let g be a(9). Let u be n(g). Suppose -2*b = b - u. Is 6 a factor of b?
True
Suppose -r = 3*r + 224. Let k = 95 + r. Is k a multiple of 12?
False
Let h = -32 + 45. Does 2 divide h?
False
Suppose -y - 12 = -5*y. Suppose -2*f + 3*f = y. Is 3 a factor of f?
True
Suppose 7*s = 3*s + 380. Does 19 divide s?
True
Let v(n) be the first derivative of -2*n**2 + 4*n - 2. Is v(-5) a multiple of 12?
True
Suppose -4*f + 6 = -18. Let n = f + -4. Does 8 divide 3 - (-14 - (1 - n))?
True
Let w(h) = 9*h**2 - 2. Suppose -12 = 2*n - 4. Let g be w(n). Is (-12)/30 + g/5 a multiple of 14?
True
Let j = -7 - -14. Let h = 70 + -38. Suppose 0 = g - 3*x - 20, h = 4*g - 3*x + j*x. Is 10 a factor of g?
False
Does 15 divide -142*(25/10)/(-5)?
False
Suppose -2*m + 4 = 4*z, -3*z + 2*m + 25 = -2*m. Suppose g + 0*g - 2*y = 14, 3*g - 51 = -z*y. Does 15 divide g?
False
Suppose 4*r - 14 - 1 = 5*s, -s + r = 2. Let f(g) = -3 - 2 + g**2 + 0*g**2 + 4*g. Is 6 a factor of f(s)?
False
Let m(v) = -v + 40. Does 5 divide m(10)?
True
Let s(r) = r**2 - 13*r + 33. Does 7 divide s(12)?
True
Let a(b) = 6*b**2 - 6*b - 11. Is a(-5) a multiple of 43?
False
Suppose 15 = 3*r, -4*j = -r - 8 - 27. Suppose -5*i + 4*i - 4*g - j = 0, -g + 8 = 2*i. Does 6 divide i?
True
Let z(p) = -3 - 3 - 7*p**2 - 4*p + 11*p + 9*p**2. Is z(-6) a multiple of 22?
False
Suppose k - 3*k = -42. Suppose -k = 2*b - 59. Does 10 divide (-4)/(-2) + b + -1?
True
Let m be 9/6 - (-57)/6. Let g(p) = p**3 - 10*p**2 - 11*p + 5. Is 5 a factor of g(m)?
True
Let x(q) = -q**2 - 9*q - 6. Let z be x(-8). Suppose v = z*v - 6. Is 6 a factor of v?
True
Let l(m) be the third derivative of 1/12*m**5 + 0*m - 2*m**2 + 0*m**3 + 1/24*m**4 + 0. Is l(2) a multiple of 11?
True
Suppose 15 = 2*u + 4*v - v, -u + 2*v + 25 = 0. Suppose -2*z = o + 2*z - u, -5*o - 5*z = -105. Is o a multiple of 5?
False
Let z(w) = -w**2 + w. Let m(t) = t**3 - 9*t**2 + 6*t + 6. Let k(b) = m(b) - 5*z(b). Is 12 a factor of k(5)?
True
Suppose 0 = -5*k + 4*m + 83, 3*k - 51 = -0*k + 3*m. Is k a multiple of 15?
True
Let q(a) = -a + 4. Let t be q(5). Let i be t/2 - 5/(-2). Let j(h) = 13*h + 1. Is j(i) a multiple of 11?
False
Suppose x - 3 = 2*s, -5*s = -3*x - 0*x + 7. Let l(i) = i**3 + 2*i**2 + 3*i + 2. Let a be l(s). Let y = a - -40. Is 15 a factor of y?
False
Suppose y + 5*f = 25, -y + 3*f - 15 = -3*y. Suppose -4*b = 3*x - 129, y = 3*x + 7 + 8. Is 14 a factor of b?
False
Let a be -26 - (3 - 2)/(-1). Let r = 42 + a. Is 17 a factor of r?
True
Let y be (-1 + 0)/((-1)/15). Suppose 2*s - s = 5*k - 55, -k - 5*s = y. Does 3 divide k?
False
Suppose -4*j = 3*o - 9, -4*j - o + 39 = -4*o. Does 3 divide j?
True
Suppose -12*u + 377 = -163. Is u a multiple of 3?
True
Suppose -2*o + 7*l = 5*l - 56, 3*l = -3*o + 72. Suppose o = 5*a - 59. Is a a multiple of 8?
False
Suppose -2*x + 7 = -x - 4*f, 5*f - 70 = -4*x. Let w 