of 25?
False
Is 140/(-6)*(-17 - -14) a multiple of 14?
True
Let r be (-51)/(-2)*(-16)/(-6). Suppose -3*x - 1 = -m, -4*x + 0*x = 4*m - r. Is m a multiple of 6?
False
Let r(j) = j**3 - 8*j**2 - 8*j - 7. Let v be r(9). Let h be -64*(10/(-4) + v). Suppose 0 = -3*t + t - k + 49, t - h = k. Is 13 a factor of t?
False
Let s be (45/(-12))/((-3)/(-8)). Let h = 8 - s. Is 6 a factor of h?
True
Let l(q) = 2*q**2 - 5*q + 3. Let d be l(3). Does 12 divide (8/d)/(2/72)?
True
Suppose 0*n + 4*n = 20. Suppose 0 = -n*f + 3*g - 2*g - 69, 5*g = -5*f - 75. Does 15 divide (-416)/f + 2/7?
True
Let f = -30 + 87. Let a(c) = c**2 - 12*c + 9. Let i be a(12). Is 9 a factor of f/i*3 - 1?
True
Let x = 136 - -40. Is 11 a factor of x?
True
Suppose 0*x + x = 3*j + 52, -2*j - 8 = 0. Is 2 a factor of x?
True
Let k(u) = u**3 + 12*u**2 + 4. Let b be k(-12). Suppose 38 = 4*f + 3*a, -f - b*f - 4*a = -47. Is f a multiple of 3?
False
Let z = -208 + 421. Is z a multiple of 35?
False
Suppose 3*y + 2*p - 16 = -2, 4*p = y. Suppose -2*x + 3 = -4*g - 1, -2*x + y = -g. Is 38*(1 - 1/x) a multiple of 19?
True
Suppose 4*x - 214 = -2*r, -3*x = -3*r + 302 - 26. Is r a multiple of 14?
False
Let p(v) = 4*v - 3. Is p(6) a multiple of 7?
True
Let t = -5 + 5. Suppose t*n = -3*n + 24. Is 8 a factor of n?
True
Let o = 45 + 95. Is 35 a factor of o?
True
Suppose 0 = -4*q - 1941 - 1483. Let i be (-1)/(-3) + q/(-6). Suppose 5*d = i - 13. Does 13 divide d?
True
Suppose 35 = 4*c - 29. Does 4 divide c?
True
Let p(w) = 3*w**2 + 3*w - 1. Let h be p(-4). Suppose -h = -m - 4*m. Does 7 divide m?
True
Let l(k) = 16*k**3 + k**2 + k - 1. Let g(c) = -c**3 - 7*c**2 + 7*c - 7. Let w be g(-8). Is l(w) a multiple of 12?
False
Suppose -2 = -2*q - 4. Let y = 1 + q. Suppose 0 = 2*j - 0*a - a - 31, 4*a + 12 = y. Is j a multiple of 14?
True
Let u(r) = -r**3 + 6*r**2 - 7*r + 4. Let m(c) = c - 3. Let n be m(7). Does 3 divide u(n)?
False
Let m(j) = -j - 14. Let k be m(0). Is 7 a factor of k/(-3)*9/6?
True
Let l(d) = -d**3 - 8*d**2 - 11*d - 8. Suppose 3*o - 3 = 2*o. Suppose -o*k + 14 = -5*k. Does 14 divide l(k)?
False
Let k = 44 - 29. Is 3 a factor of k?
True
Let d = 4 - -43. Suppose 0 = -4*v - 4*z + 280, 4*v - 3*z - 212 = d. Is v a multiple of 23?
False
Suppose 3*m = -k + 15, 7 = -5*m + 27. Suppose -2*y + 6 = i - 3, 0 = 4*y - 12. Suppose -o = -l + k*l - 11, i*l = -o + 8. Is 8 a factor of o?
False
Let r(c) = -2 + 1 + c**2 - 19*c**3 + 59*c**3. Let y be r(1). Suppose -5*p + y = -2*m, 3*p - 5*m - 15 = 9. Is p a multiple of 8?
True
Let j(f) be the first derivative of 5*f**4/4 - 4*f**3/3 - 2*f - 1. Let w be j(3). Let s = w - 61. Does 18 divide s?
True
Let v(b) = b**3 - b**2 + b + 102. Is v(0) a multiple of 26?
False
Let g(q) = 29*q**3 - 1. Does 7 divide g(1)?
True
Let t = -183 + 420. Is t a multiple of 10?
False
Suppose -n + 6*n = -10. Let w(q) = q**3 + 9*q**2 - q - 6. Let l be w(-9). Does 11 divide (28/n)/(-1) - l?
True
Let p be 3 - 0 - (-3 - -2). Suppose 50 = 3*b + 5*i, p*b = b + i + 62. Let y = 41 - b. Does 7 divide y?
True
Let c(f) = -10*f - 8. Let t be c(-4). Suppose -2*q - t = -2*s, 0*q - 44 = -4*s - q. Does 6 divide s?
True
Let q = 26 + 22. Is 10 a factor of q?
False
Let b = -8 - -20. Let o(m) = -m**3 + 13*m**2 - 12*m + 8. Does 8 divide o(b)?
True
Let m(g) be the first derivative of -g**2 - 2*g + 4. Suppose f + 4*f = -25. Is m(f) a multiple of 8?
True
Let s(f) = -10*f**3. Let t be s(-1). Let r be (t/4)/(2/4). Suppose -12 = -r*n + 2*n. Is 4 a factor of n?
True
Suppose 56 = -19*q + 23*q. Is q a multiple of 3?
False
Suppose 0*w - 6 = -3*w. Suppose 2*s = 6*s - 5*r - 95, -2 = -w*r. Is s a multiple of 11?
False
Suppose -2*f - 2*q = -6, -2*f - 21 = -5*f + q. Let s(d) = -4*d + 2. Let z be s(-1). Is (-1)/f + 187/z a multiple of 15?
False
Let j(i) = 3*i**2 - 4*i + 3. Let z be j(4). Let q = 48 + z. Suppose -2*y + 5*y = -u + q, u = 5*y - 125. Is 13 a factor of y?
True
Let l(v) = 26*v + 4. Is 18 a factor of l(3)?
False
Suppose 2*h - 3 = 3*d - h, 2*d = -3*h + 13. Suppose 3*a - 45 = -d*a. Suppose a*z - 52 = 5*z. Does 13 divide z?
True
Let i = -12 - -22. Suppose 4*y = 6 + i. Does 3 divide y?
False
Suppose -3 - 9 = 4*o. Let q(z) = -11*z. Does 13 divide q(o)?
False
Let o(i) = -i**3 + 2*i**2 - 2*i + 3. Let f be o(0). Suppose -2*z - 258 = -3*j, f*j - j - 173 = z. Is 27 a factor of j?
False
Let w(k) = 3*k**2 + 29*k - 7. Is w(-12) a multiple of 11?
True
Let r be 2 + -2 + -3 - -8. Suppose 3*p - 100 = 2*y, 0 = -2*p + r*y + 55 + 19. Suppose -4*x + v + 115 = 0, x + 5*v - p = 23. Does 12 divide x?
False
Let t = -2 + 3. Let c = 3 - t. Suppose 0 = 5*v - n - 50, -n - c*n - 29 = -4*v. Is v a multiple of 11?
True
Let l be (-2 + 5)*(-28)/(-12). Let i(q) = -q**2 + 10*q - 17. Does 2 divide i(l)?
True
Let c be 2/(-11) - 35/(-11). Let w be (c/(-2) - -1)*-12. Suppose 5*a - 43 = 2*k, 2*a + w*k = 2*k - 2. Does 7 divide a?
True
Suppose 2*j - 11 = j + 4*i, -118 = -5*j - i. Is (j - 11)*3*1 a multiple of 9?
True
Let v(h) = -5*h**3 - 2*h**2 - 4*h - 3. Is 21 a factor of v(-2)?
False
Let o = -136 - -64. Let h(g) = -g**3 + 7*g**2 + 2*g + 2. Let q be h(8). Let v = q - o. Is 13 a factor of v?
True
Suppose v = 2*x + 16 + 7, -5*v + 91 = -4*x. Let z = -9 + v. Is z a multiple of 2?
True
Let m(d) = -11*d + 52. Is m(-5) a multiple of 25?
False
Let i(o) = -4*o - 6. Is i(-3) a multiple of 3?
True
Is 16 a factor of 3*(-624)/(-9)*1?
True
Let b = 15 + -1. Is b even?
True
Let q = 294 - 174. Does 12 divide (-6)/4*q/(-4)?
False
Suppose 2*y = -2*y + 4*v + 172, 3*y - 122 = -4*v. Let i = 88 - y. Is i a multiple of 11?
False
Suppose 4*l - 238 = -5*u + 106, 0 = -3*l + 3. Is (5 - (-2 + 4)) + u a multiple of 18?
False
Let b(u) = -u**3 + 7*u**2 + 4*u - 3. Let j be b(7). Let p = j - 14. Let c = 8 + p. Is 19 a factor of c?
True
Suppose -2*h = -h - 13. Does 6 divide h?
False
Let k = 79 - 32. Does 47 divide k?
True
Let r(n) = -n - 6. Let s(b) = -5*b. Let l be s(2). Let k be r(l). Suppose -y - 156 = -k*y. Does 22 divide y?
False
Let c = -22 - -46. Is 7 a factor of c?
False
Let h = 86 + -11. Suppose 4*x - 119 - h = -5*k, k = -3*x + 140. Is x a multiple of 12?
False
Let n(j) = j**3 - j**2 - 3*j + 5. Let s be n(5). Suppose t - 6*t = -s. Is 9 a factor of t?
True
Let c be (-622)/(-10) - (-3)/(-15). Let r = c - 11. Suppose -4*o + 61 + r = 0. Does 19 divide o?
False
Let v(u) = 2*u + 6. Let p be v(7). Suppose -5*g = -50 - p. Is g a multiple of 14?
True
Suppose -q + 196 = 4*z, 1086 = 4*q + 2*z + 344. Is q a multiple of 29?
False
Let n = 12 + -4. Suppose 2*q - 24 = n. Let c = 27 - q. Does 11 divide c?
True
Let r(n) = -n**2 - n + 3. Let t be r(0). Suppose -t*o + 11 + 79 = 0. Is 10 a factor of o?
True
Suppose 6*y + 621 = 9*y. Does 25 divide y?
False
Suppose 4*m = o - m - 7, -5*o + 7 = 3*m. Suppose -242 = -4*a + o*n, -5*a + 2*n + 305 = -3*n. Is 10 a factor of a?
True
Suppose 2*x = -12 + 82. Does 8 divide 16/5*x/14?
True
Let j(l) = l**2 - 5*l - 2. Let q be j(6). Let a = -4 - q. Does 21 divide 2*a*(-9)/6?
False
Suppose 5*n - 101 = -h, -1 = -2*h + h. Does 18 divide n?
False
Let o(d) be the second derivative of d**5/20 - 5*d**4/12 + d**3/2 - 2*d**2 + 3*d. Is 3 a factor of o(5)?
False
Suppose 49 = 2*u - 1. Let h = -6 + u. Is 9 a factor of h?
False
Let x = -198 + 356. Does 26 divide x?
False
Let m(g) = g - 10. Let s be m(7). Let n = -3 - s. Suppose n = -4*c + 18 + 22. Is c a multiple of 5?
True
Let a(y) = 4*y**2. Let p be a(-1). Suppose m - 4 = p. Is m a multiple of 8?
True
Let b be (-3 - -3)/(-1 - -3). Suppose 2*j + 35 - 117 = b. Suppose -5*h - 3*c + 85 = 0, -2*h + 3*c + j = 2*h. Is 7 a factor of h?
True
Let i(v) = v**3 - 10*v**2 + 6. Let g be i(10). Suppose y = g*y. Suppose y*r - 3*r + 54 = 0. Is 17 a factor of r?
False
Suppose -3*a - 8 = 4. Let q be (-1 - a)*52/6. Let x = q - 1. Is x a multiple of 11?
False
Suppose 0 = -3*t - 3 - 9, 34 = -o - 5*t. Does 10 divide o/(-3)*(-90)/(-12)?
False
Suppose -5*k - 25 + 90 = 0. Let q(t) = -2 - 1 + 1 + k*t - t**2. Is q(10) a multiple of 14?
True
Suppose 3*d = 4*g - 362 - 276, g - 2*d = 162. Is 33 a factor of g?
False
Let g(u) = 2*u**2 + 52*u + 59. Is 19 a factor of g(-28)?
True
Suppose y - 4 = -0*y + 3*o, -y + 4*o = -5. Is 9 a factor of -3 - (-38 + y)*1?
False
Let d(u) = -9*u**2 - 3*u - 2. Let v be d(3). Let q = -54 - v. Is 21 a factor of q?
False
Let u(o) = 3*o**2 + 30*o - 12. Is