e of 9?
True
Suppose -t + 22 + 22 = 0. Let b = -31 + t. Does 10 divide b?
False
Suppose -3*p - 4*m - 2 = 0, -p + 3*m + 0*m - 5 = 0. Let c(n) = 5 + 1 - 3*n - 4. Does 8 divide c(p)?
True
Let p be ((-98)/(-35))/((-1)/(-15)). Suppose 2*j - p = -j. Does 7 divide j?
True
Let u be (-5)/(-2)*(6 + -4). Suppose 5*m - 205 = -3*b, b + 33 = -4*m + u*m. Is m a multiple of 19?
True
Suppose -2*l = -244 + 36. Suppose u - 37 + 6 = -s, s = 4*u - l. Suppose -h + u + 12 = 0. Is 13 a factor of h?
True
Suppose -2*k = -23 - 51. Suppose k = 3*t - 2. Does 4 divide t?
False
Suppose -4*i - 20 = -2*h, -h - 32 = -4*h + 5*i. Is h a multiple of 7?
True
Let o(y) = 3*y**3 + 5 - y - 2*y**3 + 0*y**2 + 6*y**2 + 0*y**3. Is 3 a factor of o(-6)?
False
Suppose f - 4 = 226. Suppose -6*p + 2*z = -p - 227, 5*p - f = 5*z. Does 14 divide p?
False
Let m(q) = 2*q**2 - 9*q - 6. Let g(p) = -p**2 + 4*p + 3. Let x(o) = -5*g(o) - 2*m(o). Does 12 divide x(-6)?
False
Suppose -4*l + 2*l - 54 = 0. Let o = l - -47. Is 4 a factor of o?
True
Let n(h) = -h + 1. Let m be n(-3). Let p be ((-27)/m)/((-3)/12). Suppose -3*x + p = -15. Is x a multiple of 14?
True
Let t be (6/(-15))/(1/5). Let b be -2*(-1 - t/4). Is b/(-2) + (-17)/(-2) a multiple of 3?
False
Suppose 0*p - 2*z + 2 = p, p = -4*z - 8. Let q = 38 - p. Does 5 divide q?
False
Suppose -31 = -o + 48. Let c = o + -26. Is c a multiple of 18?
False
Does 32 divide -40*2*-4*2/10?
True
Let c = 50 - 0. Is c a multiple of 10?
True
Suppose -2*v = 3*v - 320. Does 32 divide v?
True
Let y be 10/(-4)*2*-1. Suppose -3*p - 14 = 4*d, -2*p = -p + d + y. Is 8 a factor of (-8)/10*75/p?
False
Suppose 4*i = 140 + 44. Is i a multiple of 23?
True
Let b be (1 - -3)*30/8. Suppose 0 = 3*j - 90 + b. Let z = j - 13. Does 12 divide z?
True
Suppose -s + 30 + 24 = 0. Is 6 a factor of s?
True
Let h(i) = i**3 + 9*i**2 + 6*i - 11. Let g be h(-8). Suppose -5*p - 145 = -g*t, 2*t + 2*p = -3*t + 173. Is t a multiple of 11?
True
Let o(l) = l**3 + 4*l**2 - 2. Let j be o(-4). Suppose 3*r + 0*r = -27. Does 6 divide j/6 - 111/r?
True
Suppose 0 = 8*s - 3*s - 300. Suppose s = 2*h + 3*h. Is h a multiple of 4?
True
Suppose 2*k - 6 - 39 = 3*t, 0 = k + 3*t - 18. Suppose -4*s - 9 = -k. Is 3 a factor of s?
True
Let c(k) = k**2 - 9*k - 66. Is c(16) a multiple of 23?
True
Let t(d) = -2*d + 15. Let j be t(-7). Suppose 0 = 3*y - j - 1. Does 10 divide y?
True
Let a = -6 + -6. Is 5 a factor of (-2)/((-4)/a*-1)?
False
Let k(g) = -g**2 + 4*g - 3. Let n be k(3). Suppose 5*p = -n*i - i + 480, -3*i = -3*p + 270. Does 29 divide p?
False
Let q = -10 + 15. Suppose -5*a + 6 = -3*y, -3 = 2*y - q*y + 2*a. Does 2 divide y?
False
Let j(r) = r - 3. Let i be j(5). Suppose -2*d = 2, g - 1 = 5*d + 8. Suppose -i*c - m + g*m + 25 = 0, m - 10 = -c. Is 11 a factor of c?
True
Let q = 17 - 12. Let w(h) = h - 1. Let m be w(6). Suppose 0 = -m*o - 3*n + 75, q*o - 62 = n - 7. Is 7 a factor of o?
False
Let v(m) = -m**3 + 5*m**2 + 6*m - 1. Let i be v(5). Suppose 3 = -p + i. Is p a multiple of 10?
False
Is (68/(-2) - 0/(-4))*-2 a multiple of 34?
True
Let r = 65 - 40. Suppose j + 2*f - r = f, -3*f = -2*j + 60. Is 10 a factor of j?
False
Suppose 6625 = 22*g + 3*g. Is 13 a factor of g?
False
Let t be ((-2)/(-4))/((-1)/12). Is 7 a factor of (-214)/(-10) + t/15?
True
Let f(y) = -3*y - 3*y**3 + 9*y**2 - 2 - 2*y**3 - 10*y**2. Is 11 a factor of f(-2)?
False
Let z(q) = -q - 2. Let s be z(-6). Suppose 0*l = -l - s. Is (l + 2)/(4/(-10)) even?
False
Let m = -6 - -8. Suppose o + 0*o - 150 = -3*k, 290 = m*o + k. Suppose g = -3*g + o. Is g a multiple of 18?
True
Suppose 3*p - 129 = 3*k, k - 2*k - 127 = -3*p. Does 6 divide p?
True
Let o(g) = -g**2 + 10*g - 10. Let i be o(8). Let j = 8 - i. Suppose -j*u - 55 = -7*u. Is u a multiple of 11?
True
Let z = -24 - -54. Is z a multiple of 5?
True
Let z(p) = 3*p**2 - 4*p - 3. Let m(i) = -i**2. Suppose 0 = -5*w + 10, 3*w + 4 = 3*q + 2*q. Let a(s) = q*m(s) + z(s). Is 5 a factor of a(6)?
False
Let v = 8 - 3. Let l = v - 3. Suppose -l*j = j - 9. Is j a multiple of 2?
False
Suppose -14 = -5*s + 11. Let t = -2 + s. Is 3 a factor of t?
True
Let w = -3 - -4. Suppose -3*p - 2*o = 4, -11 = 2*p + 2*o + o. Is 7 a factor of (14 + -2 + p)/w?
True
Let v(l) be the third derivative of -l**6/360 + 11*l**5/120 + l**4/6 + 2*l**3/3 + 4*l**2. Let w(o) be the first derivative of v(o). Is w(11) even?
True
Let p = -93 + 288. Does 15 divide p?
True
Suppose -4*g = 2*k - 156, -k - 4*k = 3*g - 110. Is g a multiple of 9?
False
Suppose -5*g = -0 - 15. Suppose g*n = 72 + 93. Is 11 a factor of n?
True
Let p be (-1 - 4)*(-1 - 0). Suppose 6*b - 23 = 4*b - p*g, 4*g = 5*b - 140. Does 13 divide b?
False
Let n(k) = 9*k**3 + k**2 + k - 2. Let u(h) = -h**2 + h - 1. Let v(t) = n(t) - u(t). Is 3 a factor of v(1)?
False
Let a = -4 - -6. Let y = 4 - a. Suppose 27 = y*x - 3. Is x a multiple of 14?
False
Let b(n) = -n + 2. Let y be b(5). Let v be 0 + -1 + 172 + y. Suppose -v = -3*a - a. Does 14 divide a?
True
Let y(c) = -c**2 - 8*c + 5. Let z be y(-8). Suppose -z*s + 313 = 63. Is s a multiple of 13?
False
Suppose -75 = -3*a + 3*v, 2*v - 2 = 2. Does 9 divide a?
True
Suppose -2*r + 125 = -5*t, 4*r - 239 = -0*r - t. Is r a multiple of 32?
False
Suppose 0 = -w - 5*r + 3 + 4, 0 = -4*r - 20. Is 30 a factor of w?
False
Is 6 a factor of 36/27*9*1?
True
Does 14 divide (-2)/3 - (-1470)/18?
False
Let r(g) = g. Let t be r(-4). Is 35/2 + 2/t a multiple of 17?
True
Let v be 4/2*6*-1. Let x = v + 8. Let o(w) = w**3 + 6*w**2 + 4*w + 2. Is o(x) a multiple of 7?
False
Let o(n) = -n - 4. Let m be o(-6). Let t = 7 + m. Is t a multiple of 6?
False
Let n be (0 - (-1 - 0))*4. Let d(t) = -1 + 2*t**3 - 2*t**2 + 0 - t**3 - 5*t. Does 11 divide d(n)?
True
Let k = 164 + -55. Is 5 a factor of k?
False
Suppose n + 295 = 3*x, 0 = x + 4*n - 60 - 34. Is 7 a factor of x?
True
Let x be ((-28)/6)/((-2)/(-9)). Let a = -9 - x. Is 3*23*4/a a multiple of 17?
False
Suppose 0*v = -5*v. Suppose 0 = r + 3*r - 5*q - 33, v = 4*r + 3*q - 57. Is r a multiple of 6?
True
Let f(y) = -y**3 - 12*y**2 + 4. Let p be f(-12). Suppose i - 134 = -5*t, -5*t + 9*i - p*i + 140 = 0. Is 12 a factor of t?
False
Does 8 divide ((-4)/(-8))/(3/144)?
True
Let z be (1 + 1 - -5) + -2. Let b(o) = 7*o - 7. Is b(z) a multiple of 11?
False
Let o be 5*(96/10)/3. Let x be (-6)/(-4)*o/6. Suppose 0 = -2*u + 6 + x. Is u even?
False
Let h = 4 + -1. Let c(l) = -3*l**2 + l**h + 0*l**2 + 4*l - 2 + 2*l**2. Is c(3) a multiple of 14?
True
Is (80/(-60))/(((-8)/(-390))/(-2)) a multiple of 13?
True
Suppose 4 = -w + 3*w. Suppose w*x = -2*x + 720. Suppose -8 = -2*m, -5*c = 2*m + 3*m - x. Is c a multiple of 16?
True
Let h be (-1)/(3/(-39) + 0). Let b = 19 - h. Does 2 divide b?
True
Suppose -5*w - 6*a = -2*a - 40, 0 = 2*a. Let r = -44 + 28. Let z = w - r. Does 12 divide z?
True
Let b(a) be the first derivative of a**4/4 - 8*a**3/3 - 5*a**2/2 - 4*a + 3. Let g be b(9). Let o = -3 + g. Is o a multiple of 11?
False
Let g = -7 + 27. Is g a multiple of 4?
True
Suppose 5*o + 0*o + 165 = 0. Let w = o - 3. Let r = 64 + w. Does 14 divide r?
True
Let h(m) = m**2 - 6*m + 5. Let v be h(5). Suppose -4*i + 8*i - 204 = v. Is 15 a factor of i?
False
Suppose 3*r - 5*b = 162, -3*r - 5*b - 108 = -5*r. Let i = 8 - 5. Suppose 198 = i*u + r. Is 20 a factor of u?
False
Let n(d) = -d**3 + 4*d**2 + 2*d - 3. Let z be n(4). Let l = -9 + z. Is l*(3/(-12) + -1) a multiple of 5?
True
Suppose -3*l + 2*z + 746 = -0*z, -l + 5*z = -240. Is 50 a factor of l?
True
Suppose 0 = i - 2*i + k + 15, 2*i = 3*k + 31. Let z = i + -2. Is 6 a factor of z?
True
Let q = 208 - 100. Suppose 5*l + 3 - q = 0. Is l*1 + (-2)/1 a multiple of 11?
False
Suppose -5*r = -u + 2*u - 199, -4*r - 4*u = -172. Is 26 a factor of r?
False
Suppose -7 = -3*j + 98. Suppose -4*w + 0*u + u = -69, 0 = -2*w + u + j. Is 17 a factor of w?
True
Let h(q) = 2*q + 6. Let i be h(5). Suppose 5*z - z + 20 = 0. Does 10 divide (-4)/(i/z)*16?
True
Let k(w) = -7*w - 1. Let l(f) = -f. Let u(m) = -3*k(m) - 24*l(m). Let i be u(4). Suppose 33 = s + 2*x, 4*s + 4*x = -s + i. Is s a multiple of 21?
False
Let b(p) = 2*p**3. Let u = -5 + 3. Let s be b(u). Let o = s - -29. Does 9 divide o?
False
Let y(j) = 28*j. Let k(h) = h + 5. Suppose -2*l - 4 - 4 = 0. Let v be k(l). Is y(v) a multiple of 10?
False
Suppose -5*a - 5*k = 215, -3*k = 3*a + k + 