e
Suppose -3*f = -2*f - 636. Let o be f/(-10) + 4/(-10). Let q = o + 90. Is q a multiple of 10?
False
Let x = -6 + 33. Does 9 divide x?
True
Let b = -185 + 979. Suppose -b + 169 = -5*h. Suppose -5 + h = 5*u. Does 14 divide u?
False
Suppose l + 3*f + 7 = 0, -3*l - 4*f = -0*l + 6. Let z = 19 - 12. Suppose -z = -l*q + 7. Is 7 a factor of q?
True
Suppose 488 = -0*s + 4*s - 5*w, -3*s + 3*w = -366. Is s a multiple of 28?
False
Suppose 4*p - 326 = m, -3*p - 5*m = 2*p - 420. Does 15 divide p?
False
Let a(o) = -o**3 - 6*o**2 - 2*o - 5. Suppose 3*j = 3*k - 21, 19 = -j + k + 4*k. Let d be 0 - (-2 - j) - 4. Is a(d) even?
False
Suppose 2*b = -5*s + 8, -14 = 3*b - 3*s + 16. Let z = -4 - b. Suppose -37 = -4*v + y, 2*v + 3*v = z*y + 50. Is v a multiple of 4?
True
Let a be (3/2)/((-8)/16). Let z be a/1 + 6 + 1. Suppose -3*p - z*c + 47 = 0, 3*p - 37 = -c + 2*c. Is 6 a factor of p?
False
Suppose -5*s = 3*p, 2*s = -2*s - 12. Is 5 a factor of p?
True
Suppose 3*q = -4 + 10. Suppose j - q*j = -16. Let x = j + 7. Does 9 divide x?
False
Is 4 + (-5 - 0 - -41) a multiple of 5?
True
Suppose 0 = -g + 6*g - 10. Suppose 5*o - 280 = -5*i, 3*i - 168 = -g*o + 6*o. Is i a multiple of 14?
True
Let y(r) = -5*r**2 - 4*r - 1. Let h(l) = -14*l**2 - 12*l - 3. Let z(p) = 4*h(p) - 11*y(p). Let i be z(-5). Does 3 divide (-46)/i + (-6)/9?
False
Let f = -9 + 10. Suppose f + 0 = -p. Does 9 divide p/(2*(-2)/72)?
True
Let j(s) = -9*s - 42. Let z(o) = -4*o - 21. Let h(p) = 3*j(p) - 7*z(p). Is h(-11) a multiple of 5?
True
Suppose -3*d + 5*d - 98 = -4*y, 4*y - 4*d - 116 = 0. Does 13 divide y?
True
Let z(b) = b**2 - 6*b - 6. Let m be z(7). Does 5 divide (-1)/m*-7 - 2?
True
Suppose -1 = -2*l + 1. Does 14 divide 43 - (l*-12)/4?
False
Suppose -4*i - 460 = -4*h, h + 2*h - 345 = -4*i. Is 19 a factor of h?
False
Let k = 95 - 62. Does 10 divide k?
False
Let z = 6 + 0. Let x = 10 - z. Suppose 0 = -3*s + 12, -x*v - s + 68 = -6*s. Is 13 a factor of v?
False
Let w(q) = -q**2 + 0*q**2 + 1 + 0*q**2 + 4*q. Let c be w(5). Is 58*(1 + 2/c) a multiple of 10?
False
Suppose 10*k - 7*k = 0. Suppose k*t - 5*t + 90 = 0. Is t a multiple of 7?
False
Let k be (1 + -2 + 0)*-8. Let b = k - 3. Is 5 a factor of b?
True
Suppose -28*y + 24*y + 208 = 0. Is 13 a factor of y?
True
Suppose -12 = -t + f - 3*f, -60 = -5*t + f. Is t a multiple of 12?
True
Let a = -3 + 14. Let g = 35 + -5. Let l = g - a. Is 19 a factor of l?
True
Let u = 40 + -28. Does 14 divide 1*u + 10/5?
True
Let s = -1 - -3. Suppose 4*o + 10 = 3*c, -40 = -s*c - 2*o - 2*o. Is c a multiple of 10?
True
Let u(l) = -l**2 + 8*l + 2. Let z be u(8). Suppose z*c = -0*c. Suppose c = 3*r + 2*r - 40. Does 4 divide r?
True
Suppose y + y - 1232 = -4*a, -5*a + 1540 = 5*y. Is 11 a factor of a?
True
Suppose -4*i + 270 = -34. Suppose -3*p + i = p. Does 10 divide p?
False
Let z be (-6)/(-27) + 32/18. Suppose z*q + 10 = 7*q. Suppose q*n = 5*t - 58, -61 - 3 = -5*t - 4*n. Is 6 a factor of t?
True
Let r(m) be the second derivative of m**5/20 - m**4/12 - m**3/2 + m**2 - m. Let j be r(2). Let o = 38 - j. Is 13 a factor of o?
False
Let t be -2 - (-5)/((-10)/14). Let y = 26 + t. Is 14 a factor of y?
False
Let t(y) = y**3 + 16*y**2 + 20*y - 8. Does 26 divide t(-14)?
True
Let a be (0/2)/((-4)/2). Suppose o + 5*f = -23, a*o + 5*f = o - 17. Let d(k) = k**2 - 3*k - 2. Is 9 a factor of d(o)?
False
Let t(r) = r - 1. Let s(b) = -4*b**2 - 7. Let q(i) = -s(i) + 2*t(i). Let d be q(-4). Suppose -5*o + d = c, -2*o = o - 15. Is c a multiple of 12?
True
Let t = -90 - -50. Let s = 3 - t. Let u = 5 + s. Is 18 a factor of u?
False
Let t be 2 - 2 - 1 - -6. Suppose -3*c - 5*a + 29 = c, t*a - 17 = -2*c. Is 3 a factor of (4/c)/(4/18)?
True
Let s = -122 - -385. Is 20 a factor of s?
False
Suppose -5*l + 3 + 302 = 0. Let j = l - 42. Is j a multiple of 10?
False
Let z(n) = -n**2 - 7*n - 3. Let v = -20 + 14. Is z(v) a multiple of 3?
True
Does 24 divide 12/(-15) + 309/5?
False
Let v be 30/(-7) - 4/(-14). Let i(o) = o**3 - 11*o**2 + 13*o - 6. Let t(w) = -w**3 + 6*w**2 - 7*w + 3. Let y(j) = 3*i(j) + 5*t(j). Does 21 divide y(v)?
False
Suppose -k + 2*g = -2*g, 0 = k - g - 3. Suppose -79 = -4*y + m, k*y - 5*m = -0*y + 91. Is y a multiple of 19?
True
Suppose -3*g = n - 3*n - 78, -4 = -g. Does 4 divide n/(-5) - (-2)/5?
False
Let c(q) = 8*q + 42 - 47 - q. Does 8 divide c(4)?
False
Suppose -5*v + 1020 = 5*u, -3*v + 224 = u - 378. Is 11 a factor of v?
False
Let u be -1*18/(2 + 1). Suppose 3*z = -z - 8, -3*a = -z + 40. Let i = u - a. Does 4 divide i?
True
Suppose -4*v + 10 + 3 = 5*h, 3*v + h - 18 = 0. Suppose v*a - 2*a - 35 = 0. Does 7 divide a?
True
Let g = 421 - 243. Is g a multiple of 12?
False
Let r = -3 - -5. Suppose r*u - 9 = -z, 3*u - 15 = -z - 2*u. Is 2 a factor of z?
False
Suppose 2*u - v = 34, -4*u - 3*v = -v - 60. Is u even?
True
Suppose -15 = 2*b - 5*b. Suppose 2*t - 70 = -b*i, 7*t + 5*i = 3*t + 160. Is 27 a factor of (6/10)/(1/t)?
True
Suppose -19 = -4*b - 3. Suppose 30 = -b*o + 106. Suppose -2*q = 5*j - 104, -j + o = q - 0*q. Is 11 a factor of j?
True
Let y = 84 + -187. Let j = -40 - y. Does 19 divide j?
False
Let v(p) = -p**3 - 2*p - 1. Let m be v(-1). Let n be (m - -1)/(3/(-2)). Does 3 divide (1 - n) + -2 + 6?
False
Is 42/(-28)*76/(-3) a multiple of 16?
False
Let g(j) = -2*j**3 + 5*j**2 - 3*j - 3. Let h(l) = 10*l**3 - 26*l**2 + 15*l + 15. Let k(q) = 11*g(q) + 2*h(q). Let m be k(3). Let p = m - -57. Does 7 divide p?
False
Is (40/50)/(4/710) a multiple of 16?
False
Suppose 3*x + h - 3*h + 13 = 0, 5*h = 5*x + 30. Is 5*x/(5/(-18)) a multiple of 6?
True
Suppose 0 = 3*a + 6, -538 = -5*d - 3*a + 2*a. Does 14 divide d?
False
Suppose -3*p = 4*b + 47, -b - 25 = 4*p + 3. Let w(m) = -m**2 - 6*m + 8. Let r be w(b). Let o = r - -19. Is 11 a factor of o?
True
Is 27 a factor of ((-191 - -4) + -2)*-1?
True
Suppose -5 = -3*t + 1. Suppose 0 = t*j + j. Suppose -u + j*u = -6. Is u a multiple of 4?
False
Let w = 97 + -45. Is w a multiple of 13?
True
Let r be 1206/99 + 2/(-11). Suppose -3*w - 2*q + 56 = -q, -r = 3*q. Is 10 a factor of w?
True
Let o(l) = 16*l - 2. Suppose -5*x + 20 = 5*j, x + 0*x - 3*j + 4 = 0. Does 15 divide o(x)?
True
Let g = 64 + -36. Suppose 0 = -3*s - 3*d + 18, -5*s = d - g - 18. Is 10 a factor of s?
True
Suppose 10*d - 243 = d. Suppose 0*y - y = 0. Suppose j - d = -y*j. Is j a multiple of 10?
False
Let m(u) = -8*u + 4. Is 12 a factor of m(-4)?
True
Suppose 1 = -t - 2. Is 14 a factor of 0 + (-56)/(t + 1)?
True
Let f be 3/(3/(-1))*0. Suppose a = -f*a + 51. Is 18 a factor of a?
False
Suppose 0 = 4*m + 2*n - 14, -m = n + n - 8. Suppose q + 1 = m*q. Is 14 a factor of -6*q/(9/(-42))?
True
Suppose 4*g + 2*s - 10 - 4 = 0, 0 = -3*g - 3*s + 12. Suppose 2*b - 7*f - 36 = -g*f, -4*b - f + 36 = 0. Is b a multiple of 5?
True
Let b(x) = -x - 5. Let t be b(-8). Is 12 a factor of (t + -2)*(0 + 13)?
False
Suppose 0 = -3*q - 0*q. Suppose -2*p + 52 = -3*u + 7*u, -5*p + 4*u + 172 = q. Is 10 a factor of p?
False
Let p = -336 - -190. Is (-4)/20 + p/(-5) a multiple of 21?
False
Let c = 4 + 2. Is (38/4)/(3/c) a multiple of 19?
True
Suppose u = 2*u + 3*b + 6, -3*u + 18 = -3*b. Suppose -2*k + p + 1 = 0, 2*k + 5 = -0*k + u*p. Suppose 5*a + 3*h - 23 = 4*h, 0 = -3*a - k*h + 19. Does 5 divide a?
True
Let u(q) = 18*q. Let d be u(-3). Let b = -21 - d. Is b a multiple of 11?
True
Let y = 8 + 31. Suppose -5*d - 39 = -4*o, 0 = -5*o - d + 4*d + y. Does 2 divide o?
True
Suppose 0 = -2*j - 4*h + 18, 3*j = 5*h - 4 - 2. Suppose 117 + 200 = 4*i + j*z, -4*i + 2*z + 322 = 0. Is 12 a factor of i?
False
Suppose 2*g + 3*y = -2*g - 20, y = 0. Is (g + 0)/((-3)/9) a multiple of 6?
False
Suppose -2*d + 2*w = -174, -5*d - 94 + 484 = 4*w. Does 19 divide d?
False
Suppose 428 = -6*f + 8*f. Is 11 a factor of f?
False
Does 18 divide (-2 - 3)/(-15)*54?
True
Let b(p) = -8*p. Is 14 a factor of b(-4)?
False
Suppose 3 = -2*w + b, -w = -2*b - 1 - 2. Let f be (-1 - -1) + w + 2. Is f*(0 + -3 + -16) a multiple of 7?
False
Suppose n = 4*n - 12. Suppose -5*k + 82 = -n*k. Let b = -41 + k. Is 15 a factor of b?
False
Suppose -4*a - 2*c + 212 = 0, a - 47 = c - 3*c. Is a a multiple of 11?
True
Let s = -11 + 18. Suppose 0 = -s*f + 9*f. Suppose f = z - 0*z, 5*d - 190 = 4*z. Is 15 a factor of d?
False
Let m(s) = s**2 - 3*s - 5. Let b be m(5). Is 8 a factor of ((-24)/(-7))/(b/35)?
True