e c(7)?
True
Is 34 a factor of (-6 - (-3 - -3)) + 1230?
True
Let h(t) = -209*t - 129. Does 6 divide h(-1)?
False
Let o(w) = 31*w**2 + 3*w. Let r(j) = -93*j**2 - 8*j - 1. Let h(i) = -8*o(i) - 3*r(i). Is h(2) a multiple of 11?
False
Let i(q) be the first derivative of q**4/4 - 8*q**3/3 + 4*q**2 - 3*q + 2. Let d be i(7). Suppose c - 4 = d. Does 2 divide c?
True
Let d be (10/((-2)/1))/(-1). Suppose 39 = y - d. Does 11 divide y?
True
Let b = -454 - -1316. Is 5 a factor of b?
False
Suppose 0*f + f = 7. Let x(t) = t**2 - 8*t + 9. Let n be x(f). Suppose w + 50 = n*w. Does 15 divide w?
False
Suppose -4*d + 21 = 3*x, -4*x + 24 = x + 3*d. Suppose x*f + 45 + 273 = 3*k, -2*f = -3*k + 320. Is k a multiple of 18?
True
Suppose 10*t - 259 = 3*t. Suppose -3*w = -160 + t. Is 14 a factor of w?
False
Let g = -48 + 33. Let b = -23 - g. Let c = b - -15. Is 4 a factor of c?
False
Suppose -5*r + 2*n = -2200, -6*r + 4*r - 4*n = -904. Is 28 a factor of r?
False
Let q be 20*6/(-16)*2. Let l(r) = -2*r + 46. Let i be l(12). Let v = q + i. Does 4 divide v?
False
Suppose 0 = 7*c - 12 - 2. Suppose -2*y - 185 = -c*r - y, -4*y - 280 = -3*r. Is 23 a factor of r?
True
Suppose -5*o - 4*v - 62 = -702, 3*v + 15 = 0. Suppose 4*p + 364 = 5*h, o = 3*h - h - 5*p. Is h a multiple of 9?
False
Let s = -49 + 88. Is 3 a factor of s?
True
Let x(c) = -34 + 35 + c**3 + 6*c**2 + 0*c + 5*c. Let z be x(-5). Let y = z - -1. Does 2 divide y?
True
Let r = 139 + -96. Suppose 140 = 2*b + 5*b. Let i = r - b. Is 17 a factor of i?
False
Suppose 2*p + 2*h = 8 + 4, 2*h - 2 = 0. Suppose -3*q - 6 - 40 = -p*i, -7 = -2*i + 5*q. Suppose i*c = 10*c + 44. Is 7 a factor of c?
False
Let f(z) = 2*z + 25. Let g be f(-13). Is 157 + (-2)/(-1 + (g - -4)) a multiple of 11?
False
Suppose -6 = 6*k - 3*k. Is 460/(-40)*k/1 a multiple of 8?
False
Let s = 83 + 673. Is s a multiple of 28?
True
Let b be (-40)/140 + 488/(-7). Let t = b - -158. Does 29 divide t?
False
Let f be 0/10 + -1*11*-1. Suppose -f*c + 114 = -5*c. Does 19 divide c?
True
Let t(r) = 40*r - 128. Is 10 a factor of t(15)?
False
Let i = 1126 + 2289. Does 10 divide i?
False
Suppose 0 = 2*z - 3 - 7. Suppose r + 12 = z*r. Suppose -t + 33 = -3*y, r*t + t = 3*y + 141. Is 12 a factor of t?
True
Does 10 divide ((-18)/12)/((-6)/1396 + 0)?
False
Let k(f) = 23*f + 75. Is 9 a factor of k(3)?
True
Let q(d) = -33*d + 5. Let t be q(-6). Let z = 123 - t. Does 6 divide z/(-15) + (-4)/(-6)?
True
Let b be 4/(-20) + 148/(-10). Let l = -16 + b. Let h = l - -67. Is h a multiple of 12?
True
Let s = 24 + -20. Let a(i) = i**3 + 2*i**2. Is 16 a factor of a(s)?
True
Suppose -i + 12*i = 220. Suppose 17*m - i*m + 150 = 0. Is m a multiple of 10?
True
Let j = 892 - 262. Is j a multiple of 14?
True
Suppose 5*n - 11 = 99. Suppose 0 = 2*i + 20 - 4. Let l = i + n. Does 4 divide l?
False
Let d = 12 - -204. Is d a multiple of 8?
True
Suppose 0 = -16*b + 1961 + 151. Is b a multiple of 14?
False
Let d(b) = -127*b - 479. Does 54 divide d(-11)?
True
Let t = -21 - -194. Let o = 52 + t. Is 45 a factor of o?
True
Suppose -4*v + 0*v + 80 = 0. Suppose -2*k - 10 = -4*y - 0, 0 = -y - 4*k - v. Suppose 4*j + 16 = 5*j - u, y = 4*u + 12. Is 13 a factor of j?
True
Let s = 319 - 69. Does 43 divide s?
False
Let a be (-1 - 3)/(-10 - -8). Let d be (-650)/(-15)*3/a. Suppose 0 = -2*y - 9 + d. Does 14 divide y?
True
Let k(n) = 50*n - 19 + n**2 - 50*n. Let r be k(0). Let z = r + 28. Does 6 divide z?
False
Let y be (-1 - 0)/(4/16). Let b be (1 + y - 0) + 11. Suppose b*x - 110 = 3*x. Is x a multiple of 11?
True
Let t(h) = h**3 - 10*h**2 + 13*h + 12. Suppose 0 = -10*a + 9*a + 10. Is 17 a factor of t(a)?
False
Let k = -401 + 645. Is k a multiple of 12?
False
Let f(k) be the third derivative of k**6/120 - k**5/15 + k**4/12 + 7*k**3/6 - 2*k**2. Is f(5) a multiple of 21?
True
Let r = 38 - -55. Suppose -5*k - 23 = -r. Does 2 divide k?
True
Suppose 0 = 35*b - 11*b - 3672. Is 3 a factor of b?
True
Let r(g) = -21*g - 41. Let z be r(4). Let p be (-71)/(-2)*(-6)/(-1). Let k = p + z. Does 18 divide k?
False
Suppose -2*c + 144 = 4*c. Let s = 48 - c. Is s a multiple of 15?
False
Let o = 10 - 16. Let i(y) be the first derivative of y**3/3 + 14*y + 95. Is 14 a factor of i(o)?
False
Suppose 0 = -4*y - 16, -2586 = -3*t - 2*t - y. Let k = t - 361. Does 19 divide k?
False
Let h = 2641 + -2407. Is h a multiple of 26?
True
Does 12 divide (-6)/(-7) - (1 - 152120/70)?
False
Let c = 13 + -8. Suppose -12 = c*t - 37. Suppose -5*a - 129 = -4*h + 188, 3*a + 406 = t*h. Is h a multiple of 20?
False
Suppose -4*m + 5*y + 21 = -94, -4*y = 5*m - 154. Let x = 206 - 111. Let t = x - m. Is 18 a factor of t?
False
Let o = -7 - -9. Let f = 19 - 3. Suppose o*j = j + f. Is 16 a factor of j?
True
Let r(v) = v**2 + 15*v + 6. Let i be r(-15). Is 27 a factor of 57/2 - (-3)/i?
False
Let p(w) = -2*w - 7. Let y(q) = 2*q - 5. Let z be y(5). Suppose 29 = -z*l + 4*j, l + 4*j = 3*j - 4. Is 2 a factor of p(l)?
False
Let p(o) = 4*o + 39. Let j be p(-9). Suppose -j*h + 22 = -2*h. Is 5 a factor of h?
False
Suppose -g = -0*g - 2. Let v(l) = -g + 7 + l + 4 + 3. Does 6 divide v(0)?
True
Let d(j) be the first derivative of -j**4/4 - 3*j**3 - 9*j**2/2 - 6*j - 7. Is 12 a factor of d(-9)?
False
Let i(r) = -r**3 - 15*r**2 + 26*r + 40. Let d be i(-17). Let q = d - 75. Is 27 a factor of q?
False
Suppose 5*n = 5*y + 5, -5*n + y = -y - 11. Let o(d) = -2*d + 8. Let c be o(n). Suppose c*k + 0*k = -3*a + 45, -5*a = -4*k + 123. Does 9 divide k?
True
Suppose 7*l - 5 = 2*l. Let f(w) = 18*w**2 + 3*w - 3. Is f(l) a multiple of 11?
False
Does 59 divide 3 + (-10694)/(-14) + (-3)/(-21)?
True
Is (-1)/(-5) + 719/5 a multiple of 8?
True
Suppose -2*h - 1148 = -9*h. Let c = -98 + h. Is 11 a factor of c?
True
Let d be ((-2)/4)/(2/(-8)). Suppose 15 = d*b + 3. Suppose 0 = 3*q - b*q + 48. Is q a multiple of 8?
True
Let p = -52 - -54. Does 2 divide 0 - (-11 - (p - 3))?
True
Let l = 11 - -85. Does 6 divide l?
True
Suppose 8*v - 1597 = -197. Suppose 0 = 3*b - 4*l - 158, l - 42 = -4*b + v. Let s = 100 - b. Does 23 divide s?
True
Let u = 2132 + -1251. Is u a multiple of 20?
False
Suppose -6*f + f = 50. Let v(q) be the first derivative of -q**2/2 + q - 40. Is 4 a factor of v(f)?
False
Let d(z) be the second derivative of -z**4/6 - z**3/3 + 5*z**2 - 2*z. Let x be d(5). Let m = -36 - x. Is 7 a factor of m?
True
Let z be 3/12 - 0 - (-267)/(-12). Is 6/33 - 3164/z a multiple of 36?
True
Suppose 5*o = 3*c - 57, -c = 3*o - 32 - 1. Suppose 8*q - c = 24. Is q a multiple of 6?
True
Suppose -2*r + 33 = 3*z + 294, 3*r = 3*z - 429. Let u = r - -201. Is u a multiple of 9?
True
Let l(z) = -2*z**2 + 6*z + 16. Let t be l(8). Let s = t - -178. Is s a multiple of 29?
False
Let s = 44 + -37. Suppose 123 = -s*q + 361. Is q a multiple of 15?
False
Does 3 divide (13/(273/140))/(1/3)?
False
Let a(z) = 6*z**3 + 6*z**2 - 11*z - 2. Let o(v) = -7*v**3 - 6*v**2 + 12*v + 2. Let q(y) = 6*a(y) + 5*o(y). Is 9 a factor of q(-4)?
True
Let h(r) = 2*r**2 + 7*r - 8. Let k be h(-6). Suppose 3*w + 5*t - 58 = 0, -2*t = -w - 3*t + k. Is w a multiple of 13?
True
Let d(t) = -11*t**2 + t + 2. Let a be d(2). Let w = a + 16. Is (w + 0)*16/(-12) a multiple of 8?
True
Suppose 108 = 112*n - 111*n. Is n a multiple of 34?
False
Suppose 0 = f - 0*f - 3*g - 735, 0 = 3*f - 2*g - 2212. Is 12 a factor of f?
False
Is 57 a factor of 5/3*96864/160?
False
Suppose -2*r + 113 = 5*u, 3*r - 14 = -2. Let g = 7 + -10. Let y = u + g. Is y a multiple of 9?
True
Let a(o) = -o**3 + 14*o**2 - 12*o + 1. Suppose 0 = 4*x + s - 56, 2*x + 2*s = -0*s + 34. Is a(x) a multiple of 14?
True
Let w(f) = -f + 484. Is w(-47) a multiple of 9?
True
Suppose -2*f = -5*f - 4*i + 28, -2*f = 3*i - 20. Suppose 6 + 4 = 5*d + 3*k, -f*d + 3*k = -35. Suppose h + 14 = 3*h + 5*s, d*s = -5*h + 35. Does 2 divide h?
False
Suppose 5*p + 5*b - 675 = 105, 1 = -b. Is 9 a factor of p?
False
Suppose 3*y + k - 5 = 53, -5*y + 4*k + 125 = 0. Does 21 divide (y/(-2))/(11/(-66))?
True
Suppose 0 = -13*b + 4 + 139. Is b a multiple of 2?
False
Is 2 a factor of 2*1 - (-7)/((-14)/(-78))?
False
Let s(q) = 27*q + 21. Is 14 a factor of s(6)?
False
Let i(l) = -l**3 - 13*l**2 - 17*l - 17. Suppose a - 24 = 3*a. Let o be i(a). Let m = o + -4. Does 9 divide m?
False
Suppose 54 = -a - a. Let s be (-6)/a - (-7)/9. Is 2 a factor of s/(-7) - (