5?
False
Suppose -3*v + 0 = -5*h + 1, v + 6 = -4*h. Is (-11 - -9)/(h/64) a multiple of 32?
True
Let r(u) = -u**3 + 4*u**2 + u. Let y be r(4). Suppose a + 0*g - 148 = 5*g, -y*g = -16. Is 14 a factor of a?
True
Suppose 5*r - 3*t - t - 18 = 0, -r = -2*t - 6. Suppose -7*p = -r*p + y - 57, -3*p + 3*y = -27. Is p a multiple of 6?
False
Let n be (0 - -1)*(7 + 0). Suppose -2*r - 2*z + 0 - 6 = 0, -3*z - n = r. Is (3/3)/r - -4 a multiple of 3?
True
Suppose 0 = 20*g - 31*g + 5720. Is g a multiple of 8?
True
Let g be (-9)/36 - (-18)/8. Suppose -4*k - 4 = -4*v, -g*v - 2*v + 3 = -3*k. Let n(j) = -8*j - 1. Is n(k) a multiple of 2?
False
Let m be -3 - (-3)/6*14. Suppose 0 = m*j + 2 - 18, 2*p = j + 64. Suppose 2*o - p = -0*o. Does 17 divide o?
True
Let f(y) = 8*y + 35. Let n(s) = 12*s + 52. Let w(q) = -7*f(q) + 5*n(q). Let c(b) = -b**3 + 11*b**2 + 12*b + 5. Let d be c(12). Does 6 divide w(d)?
False
Let b(c) = -33*c + 4. Let i(x) = 65*x - 8. Let h(d) = 7*b(d) + 3*i(d). Is h(-1) a multiple of 20?
True
Suppose 2252 + 1528 = 14*g. Is 18 a factor of g?
True
Suppose -4*p - 797 = -5*u + 1487, -p + 911 = 2*u. Is u a multiple of 24?
True
Let u(l) = l**2 + 4*l + 6. Let y be u(-4). Suppose y*g - 3*g = -21. Let w(j) = -6*j - 6. Is 18 a factor of w(g)?
True
Let h be 2/5 - 8/(-5). Does 4 divide 225/21 + h/7?
False
Let n be (-62)/(-6) - (-3)/(-9). Suppose -4*p = -n - 10. Suppose 5*w = -m + p*m - 61, m = -w + 13. Does 5 divide m?
False
Suppose 0*x + 5*x + 10 = 0. Let n = x - -6. Let u(r) = 2*r**3 - 6*r**2 + 3*r. Does 17 divide u(n)?
False
Let o(k) = -k**3 - 6*k**2 - 3*k + 7. Let h be o(-5). Let m(l) = -4*l**3 + l**2 - 5*l - 3. Does 24 divide m(h)?
False
Suppose 20 = o - 61. Let c = -51 + o. Suppose -3*r + c = -0*r. Is 9 a factor of r?
False
Let b(w) = -w + 4. Let o be b(5). Let l be 2 + -3 + (-2)/o. Is (-33)/(-11) + l + 55 a multiple of 19?
False
Suppose -3*g = -2*o - 1456, -4*g + 3*o = -0*o - 1941. Is 24 a factor of g?
False
Suppose 4*u - 2395 = -335. Is 10 a factor of u?
False
Suppose 7*c = 3*f + 11*c - 417, -3*f + 423 = 2*c. Is f a multiple of 14?
False
Let m(i) = -i**3 + 29*i**2 - 24*i - 40. Does 2 divide m(28)?
True
Let g = 1951 - 1688. Is 5 a factor of g?
False
Let p(t) = 2*t**3 + t**2 + 4*t. Suppose 5*x - 22 = -3*o, 0 = o + o - 2*x - 4. Is p(o) a multiple of 10?
True
Suppose 0*k - k + 5*i = -38, 0 = k + 2*i - 3. Suppose -k + 23 = h. Is h a multiple of 2?
True
Let o be (-6)/9*3/2. Let x be (-1*(o - -1))/2. Suppose -3*a + 0*a + 42 = x. Is 7 a factor of a?
True
Let l(w) = 3*w**2 + 2*w + 140. Does 3 divide l(-19)?
True
Suppose 528 = -5*t + 1133. Is 7 a factor of t?
False
Let y = 5322 - 3166. Is 28 a factor of y?
True
Let z = -43 - -45. Suppose -18 = -4*n + z. Is 3 a factor of n?
False
Suppose -79 - 74 = 9*p. Suppose 2*o + 0*o - 70 = 0. Let a = p + o. Does 9 divide a?
True
Let o(g) = -g**3 - 9*g**2 - 3*g - 4. Let v be o(-9). Suppose -4*w + 25 = -v. Is w a multiple of 6?
True
Suppose -s = 3, 4*f - 38 = 3*s + 31. Let j be 11*f/(-3) - 3. Is 3 + -5 - j - -2 a multiple of 17?
False
Suppose 34*d + 22 = 35*d. Is (d/(-44))/((-2)/24) a multiple of 3?
True
Let m = 4 + 0. Let a(i) = 2*i - 4. Let h be a(m). Let d = 25 + h. Is d a multiple of 15?
False
Let u = -102 - -309. Suppose 12*a - 9*a = u. Is a a multiple of 31?
False
Suppose 4768 = 3*z + 2*w, w = -3*z + 4*w + 4773. Does 45 divide z?
False
Suppose 1379 = -7*y + 14*y. Suppose -y = -5*f + 8. Is f a multiple of 11?
False
Let k(u) = -14*u**3 + u**2 - 3*u + 2. Let i be k(1). Let m = -4 - i. Is m a multiple of 10?
True
Let k(v) = -133*v - 34. Is 83 a factor of k(-7)?
False
Let d = -20 - -24. Suppose -5*m = -5*w - 55, -24 = -d*m - 3*w + 41. Suppose -50 = -5*s - 3*v, -s + 8 = 3*v - m. Is s a multiple of 7?
True
Let u = 20 - 29. Let y(h) = -h**3 + 8*h**2 + 8*h + 5. Let r be y(9). Is 5 a factor of u/36 - 73/r?
False
Suppose c - 5*c + 477 = 5*h, 2*c - 255 = 3*h. Let q = -59 + c. Is q a multiple of 16?
True
Let h be -1 + (1 - 5/(25/(-90))). Suppose -9*f + h*f - 2259 = 0. Does 10 divide f?
False
Let s = -12 + 15. Let q be (-4 + s)/((-3)/(-174)). Let y = -10 - q. Is 16 a factor of y?
True
Let p be (5/(-10))/(1/14). Let v(r) = r**3 + 9*r**2 + 8*r + 6. Does 12 divide v(p)?
True
Suppose 24378 + 1700 = 17*o. Does 7 divide o?
False
Let s be (-11319)/(-133) - (-4)/(-38). Let m = -65 + s. Is m a multiple of 8?
False
Let z be (-3)/2*(0 + 40). Suppose -2*r = -0*r - 182. Let n = r + z. Is 21 a factor of n?
False
Is 1267 + 14 + (-10)/1 a multiple of 44?
False
Suppose 3*o - 12 = -5*r, -4*o = 5*r - 7 - 9. Suppose -o*q - 12 = -3*q. Is q/(3/(-4)*1) a multiple of 16?
True
Let s = -1958 + 3173. Does 81 divide s?
True
Suppose 66 - 10 = 2*d. Is 18 a factor of 3/(-4) + 3297/d?
False
Let r = 2411 - 1046. Is r a multiple of 35?
True
Let b(g) = -5*g**3 - 19*g**2 + 2*g - 24. Let m(p) = 6*p**3 + 19*p**2 - 3*p + 24. Let w(d) = 5*b(d) + 4*m(d). Does 7 divide w(-19)?
True
Is 47 a factor of (14 + -17)*(-3 - 91)?
True
Let z = -49 - 60. Let l = -65 - z. Does 4 divide l?
True
Suppose 6*m - 327 = -4*k + 5*m, 0 = m - 3. Does 14 divide (k/(-15))/(1/(-5))?
False
Let j be (-2)/(-3 - (-20)/6). Does 4 divide 13 - (-3)/9*j?
False
Suppose u - 4*h + 3 = 0, -3*u + 13 + 4 = h. Suppose 5*c = -2*v + 86, 5*v = u*c - 40 - 60. Is 11 a factor of c?
False
Let z be (215/(-35) - -7)/(2/168). Suppose 71*r = z*r - 11. Does 11 divide r?
True
Let z = 8 - 7. Let h(k) = 15*k**3 + k**2 - k. Is h(z) a multiple of 11?
False
Let t = -189 + 198. Does 3 divide t?
True
Let f = 882 + -769. Is f a multiple of 16?
False
Suppose -4*l = 201 + 415. Let x = l - -269. Does 41 divide x?
False
Suppose -3*k - 16*i + 11*i = -813, 4*i + 12 = 0. Does 6 divide k?
True
Let k(g) = -10*g - 21. Let x(m) be the second derivative of 5*m**3 + 31*m**2 - 3*m. Let c(t) = 7*k(t) + 2*x(t). Is 11 a factor of c(-7)?
False
Let b = -3 + -2. Let g = b + 5. Suppose v - 2*v + 51 = g. Is v a multiple of 18?
False
Suppose 5*a - 850 = -0*a. Let d(n) = n**3 + 12*n**2 + 11*n + 3. Let z be d(-11). Suppose a = 2*l + z*l. Does 17 divide l?
True
Let x(c) = -2*c + 13. Let s be x(7). Let w(n) = -17*n**3 + 2*n**2 + 4*n + 2. Is w(s) a multiple of 3?
False
Let d(q) = 1 + 1 + 4 - 5 - 752*q. Let v be d(-4). Is 12 a factor of v/34*4/6?
False
Suppose -3*p = -9, 82 = -5*b + 4*b - p. Let m = b + 248. Does 32 divide m?
False
Suppose -6*r + 286 = -368. Does 58 divide r?
False
Suppose 4*l - 147 = -0*l + 3*p, -l + 41 = -5*p. Suppose 0 = 48*i - 45*i - l. Is 4 a factor of i?
True
Suppose -342 = 18*p - 24*p. Suppose -138 = -3*s - 3*z, -42 = -2*s - 5*z + 65. Suppose -y - s = -k, 4*k - 2*k = -3*y + p. Is k a multiple of 9?
True
Suppose 0 = 762*r - 757*r - 3600. Is r a multiple of 36?
True
Let s(u) = -u**3 + u**2 + 43. Let q = -29 - -22. Let z be q/(7/4) + 4. Is s(z) a multiple of 9?
False
Let v = 13 - 11. Suppose 5*w + y - 17 = 0, 2 + 0 = 2*w + v*y. Suppose 0*d = -w*d + 72. Is 3 a factor of d?
True
Suppose -101 - 144 = -5*d. Let s(f) = -f**3 + 7*f**2 - 6*f + 3. Let q be s(6). Does 18 divide (q - 2)/(1/d)?
False
Let b(f) = 9*f**2 + 12*f - 5. Let p = 20 - 15. Does 49 divide b(p)?
False
Let f(k) = 2*k**2. Let t(v) = -3*v**2 - v - 1. Let i(s) = -4*f(s) - 3*t(s). Let z be i(-2). Is ((-30)/z)/(2 + -3) a multiple of 10?
True
Let s(j) = j**3 + 7*j**2 + 6*j + 40. Let c be s(-7). Let r(l) = -l + 4. Let k be r(2). Is (k/6)/(c/(-126)) a multiple of 14?
False
Suppose c - 13 = -12. Suppose 2 = z + c, -121 = -2*i + 3*z. Suppose -3*f - i = -2*x, -4*f + 80 = 3*x - 2*f. Does 12 divide x?
False
Suppose 6*d = d - 5*k + 505, 5*k - 202 = -2*d. Does 13 divide d?
False
Let l(w) = 4*w**2 - 15*w + 20. Let r(o) = -5*o**2 + 15*o - 21. Let y(p) = -4*l(p) - 3*r(p). Is 3 a factor of y(13)?
True
Suppose -8*y + 11*y - 6 = 0. Suppose 3*b + 10 = 2*z, -2*b - y*z - 11 = z. Let k(w) = 3*w**2 - 3*w + 1. Is k(b) a multiple of 16?
False
Let m = 571 + -261. Does 47 divide m?
False
Suppose 0 = -27*d + 20*d - 35. Does 4 divide 86 - (-9)/15*d?
False
Let c = -6 + 7. Let l = 127 + -265. Does 23 divide (l/6)/(c + -2)?
True
Let p = 3674 + -1543. Is 25 a factor of p?
False
Let g(r) be the third derivative of 4*r**2 + 0 + 1/8*r**4 - 3/2*r**3 + 0*r. Does 6 divide g(9)?
True
Let l = -55 - -39. Let n = 19 + l. Is 91/n - 3/9 a multiple of 11?
False
Suppose 12 = -3*m + m - 2*y, 5*y - 5 = 2*m. Let l be m*((-2)/(-1) - 3).