 26?
True
Let a be (-162)/(-4)*(-70)/(-3). Suppose -18*r - 235 + 703 = 0. Suppose -31*o + r*o + a = 0. Is o a multiple of 31?
False
Let k be (-5 - -71)/2 + -2. Suppose p - 140 - k = 2*z, -346 = -2*p + 2*z. Is 7 a factor of p?
True
Let d(h) = 8*h**2 + 7*h - 6. Let n(c) = 7*c**2 + 14 - 8*c - 12*c**2 + 4*c**2. Let s be n(-10). Is d(s) a multiple of 30?
True
Let v = 12 + -9. Suppose 20 = -v*y + 23. Is 11 a factor of 0 + 0 - (-80 + y)?
False
Suppose 7*g - 32 = 3. Suppose -c + 56 = -5*l, 3*c - g*l = 5*c - 82. Does 42 divide c?
False
Let l(d) = 182*d + 323. Is 56 a factor of l(68)?
False
Suppose 6*p - 1813 = 1127. Suppose p = 5*o + 3*f - 6*f, -280 = -3*o - f. Does 10 divide o?
False
Suppose 3*g - 35 = 4*s - 12, 18 = -3*s + 3*g. Let u = 308 + s. Let q = -111 + u. Does 16 divide q?
True
Let c = 5 - -2. Suppose 11*y - c*y = 124. Let t = 50 - y. Is 6 a factor of t?
False
Suppose -a = -2*g + 302, -4*g - 3*a = -9*g + 753. Suppose 3*i + g = b, -2*b + 5*i = 3*i - 290. Is b a multiple of 6?
False
Let t = -3916 - -4337. Does 19 divide t?
False
Let y = 2737 + -1400. Let w = y + -816. Is w a multiple of 28?
False
Let a be (-371)/14*(-55 - 7). Suppose 5*r = -2*k + a, -1028 = -k - 5*r - 219. Is 74 a factor of k?
False
Let x be ((-4)/(-12)*2)/(3/54). Suppose -4*p + 132 = 4*b, x*b - 132 = 8*b + 5*p. Is 11 a factor of b?
True
Suppose 5*z = -u + 12, 0 = -4*u - z + 6*z - 2. Suppose -3*h + 0*h - u*t + 1126 = 0, -4 = t. Does 7 divide h?
True
Let a(w) = 902*w + 1232. Is 5 a factor of a(3)?
False
Suppose -58784 + 20372 = -11*z. Suppose 9*f - z - 171 = 0. Does 18 divide f?
False
Suppose 15*j = 17*j + 6*w - 3226, 3*j + 2*w - 4797 = 0. Is 19 a factor of j?
False
Let j(o) = -4*o**3 - o - 2. Let h be j(-1). Suppose 2*n - 10 = l, -h*n = 2*n - 3*l - 26. Suppose 5*f = -4*m + 88, -3*m + 5*f = n*f - 47. Is 2 a factor of m?
False
Let d = 3 - 6. Let a be d + (-28)/(-12) - 2/(-3). Suppose j - 18 - 18 = a. Does 9 divide j?
True
Is 54 a factor of 640 + (-12)/(-3) - (-4 - 0)?
True
Is (-15)/(-9) - (12 - (-27834)/(-18)) a multiple of 69?
False
Suppose -5*l + 5*m + 9 + 1 = 0, -16 = -4*l + 2*m. Let i(c) = 4*c - 10 - 17*c - l*c. Is i(-4) a multiple of 11?
True
Suppose -v - 6 = -4*j + 2, -j = 2*v - 2. Suppose 0 = 2*c + 3*c + 10, 2*d + 4*c = v. Suppose g + d*s - 180 = 0, -5*g - 3*s = -g - 668. Is 37 a factor of g?
False
Suppose -10289 = 23*x - 14999 - 14127. Does 7 divide x?
True
Let f = -246 - 1966. Is 79 a factor of (1 - 21/6)*f/70?
True
Suppose 0 = -3*a + 60 - 0. Suppose q = -4*q + a. Let f = q + 92. Is f a multiple of 38?
False
Let s(p) = 3*p + 30. Let t be s(-9). Suppose 4*a = 2*h + 2*a - 116, 5*h + t*a = 314. Suppose 203 = 3*z - h. Is 10 a factor of z?
False
Let x = -21091 + 40897. Suppose 1451 - 8046 = k - 2*o, -o - x = 3*k. Is k/(-63) + (-40)/(-18) + -2 a multiple of 21?
True
Let i(s) = -4*s**2 - 139*s + 71. Does 7 divide i(-33)?
False
Suppose 12*h - 6095 = 27265 - 2724. Is h a multiple of 23?
True
Let m(h) = h**2 - 3*h + 92. Suppose -17*d + 152 = -9*d. Does 10 divide m(d)?
False
Let t be -39 + 0 + 0 + 4. Let a = 80 + t. Is (1 - 0) + a - -4 a multiple of 10?
True
Suppose 16 = 35*g - 33*g. Suppose -o - w = -203, -g*o + 5*w + 1025 = -3*o. Is 12 a factor of o?
True
Let y(w) = -3*w + 42. Let b be y(7). Does 17 divide (-72)/(-20)*1400/b?
False
Let z be 41/13 + 16/(-104). Suppose -z*i = -6, 5*r + 3*i - 363 = -77. Is r a multiple of 7?
True
Let a = 636 + -373. Suppose -3*o = -461 + a. Is 11 a factor of o?
True
Does 100 divide 143/(-65) + 121656/30?
False
Suppose -o + 41 = p, 2*o - 5*p = 3*o - 29. Let a(d) = -3*d + 44. Let n be a(14). Suppose -6*m + n*m - o = -2*k, -4*m + 4 = 0. Is k a multiple of 3?
True
Let j(a) = a**3 + 13*a**2 - 18*a + 19. Suppose 4*z + 37 = d - 0*d, 270 = 5*d - 3*z. Suppose -7*t = d + 41. Is j(t) a multiple of 15?
True
Let m be (27/21 - (-2)/(-7))/1. Let g be (-2)/(m/((-3)/2)). Suppose -5*o = r - 216, 1 = -r - g. Is 11 a factor of o?
True
Let x(t) = -18*t**3 - 6*t**2 - t + 2. Let y be x(-2). Suppose 1164 = 2*j + y. Does 9 divide j?
False
Let k(y) = y**3 - 7*y**2 - y - 4. Let l be k(17). Suppose l = 2*w + 17*w. Does 31 divide w?
False
Let p(a) = -10*a + 1686. Let u be p(0). Is (2 + 1)*(12 - u/(-18)) a multiple of 17?
False
Let k(v) = -3*v**3 + 19*v**2 - v - 17. Let u be k(6). Suppose u*x - 73*x + 14760 = 0. Is x a multiple of 5?
False
Let n(o) = -2*o**3 - 2*o**2 + 6*o - 1. Is 2 a factor of n(-3)?
False
Suppose 7*c + 399591 = 24*c - 119521. Is c a multiple of 11?
True
Let s(v) = -v**2 + 26*v + 126. Let t be s(29). Suppose -5*n + 35 = -0*n. Suppose -4*r - t = -n*r. Is 5 a factor of r?
False
Let z(b) = -167*b**2 - 2166*b - 43. Does 6 divide z(-12)?
False
Suppose 3*v = -5*g + 116 + 20, 5*v - 220 = -5*g. Let f be (1 - -10) + 3 - 21. Is f/v - (-5997)/18 a multiple of 24?
False
Let z(i) = -823*i + 1121. Is z(-7) a multiple of 93?
True
Let r = 862 + -1520. Let a = r - -985. Is 42 a factor of a?
False
Let i be 4 - 6/4*-2. Let t(l) = -2*l + 37. Is t(i) a multiple of 4?
False
Suppose -5*f = -2 + 62. Let x = 9 + f. Does 3 divide (-8)/(-24) - 44/x?
True
Is (-30)/((4 + -5)*((-4)/1 - -5)) a multiple of 15?
True
Suppose 2*o - 40 = -4*s, -5*s + 25 + 22 = o. Suppose -5*w - s = -2*q, -w = -5*q + 3*q + 29. Let d = 50 - q. Is 12 a factor of d?
False
Let z(w) = -w**2 - 20*w + 28. Let h = 222 + -242. Does 3 divide z(h)?
False
Let y(g) = g**3 - 9*g**2 + 10*g + 22. Let p(c) = 3*c**3 - 18*c**2 + 19*c + 45. Let j(d) = 2*p(d) - 5*y(d). Let l be j(-10). Is 3 a factor of l + 9 + (-4 - -1)?
True
Suppose -21*c + 1146 = 3677 - 20171. Does 40 divide c?
True
Suppose 0 = -3*c - 4 + 10. Suppose 0 = -c*w + 2 + 22. Does 4 divide w?
True
Suppose 5 = t, -2*w - 4*t - 1 = -29. Let d(p) = 6*p**2 - 8 - 1 - p + 1. Is d(w) a multiple of 10?
False
Suppose 34562 + 286980 = 56*n + 2342. Is n a multiple of 12?
True
Let c(q) = -q**3 + 2*q. Let d(m) = -8*m**3 + 9*m**2 + 11*m + 4. Let s(u) = 6*c(u) - d(u). Is s(8) a multiple of 38?
False
Let b(r) = -243*r**3 + 2*r**2 + 3*r + 3. Let s be b(-1). Let f = s - -77. Is 7 a factor of f?
True
Let w(a) = 42*a**2 + 33*a + 183. Is 23 a factor of w(-8)?
False
Is 42 a factor of -3*(-79374)/27 + (-11)/((-165)/10)?
True
Let o = 23460 - 15056. Does 31 divide o?
False
Let w(f) = 5*f**2 + 83*f + 5. Let i be w(-5). Let s = i + 544. Does 25 divide s?
False
Suppose -25601 = -32*i + 28*i + 3*z, i + 5*z = 6406. Is i a multiple of 63?
False
Let r(h) = h**2 + 12*h + 18. Let u be r(-11). Suppose 0 = 2*b - u*b + 25. Suppose -90 = 4*f - 5*f - b*s, -4*f = 5*s - 405. Is 10 a factor of f?
False
Let s be (-1 + 0)*(-4 - 0 - -1). Suppose 53 = s*p + 4*t + 6, -3*p + 37 = -t. Suppose 2*z + p = 49. Is 4 a factor of z?
False
Suppose -15 = 2*i + 303. Does 10 divide (-2)/3 + (-66886)/i?
True
Let t be (-16)/152 - 120/(-57). Suppose 124 - 664 = -t*w. Suppose -4*d + 2*d + 276 = 2*v, 2*d + 5*v - w = 0. Is 10 a factor of d?
True
Suppose 277250 + 178755 - 30755 = 27*k. Is 21 a factor of k?
True
Let s = -970 - -1697. Let x = 1251 - s. Does 39 divide x?
False
Let v = -13005 + 13269. Is v a multiple of 3?
True
Suppose 20*j = -5*i + 15*j + 95, 0 = -i + j + 17. Is (i/(12 + -3))/((-2)/(-8)) a multiple of 4?
True
Let z(w) = 26*w**2 - 55*w + 30. Does 15 divide z(-8)?
False
Suppose 0 = -14*h - 64 - 160. Let u = h - -62. Does 2 divide u?
True
Let w = -4 + 7. Suppose -w*u + u + 4 = 4*n, u - 2*n = 2. Is -5 + (6 - u) + 75 a multiple of 16?
False
Let q = -1458 + 2400. Let f = q - 456. Is f a multiple of 54?
True
Suppose 2*z = -2*n + 6908, 0*n - z = -5*n + 17240. Is n a multiple of 5?
False
Let t be (-10)/(-25) + -1 + (-116)/(-10). Let o be (-4 - (1 - 3)) + t. Suppose -1 = -o*p + 224. Does 6 divide p?
False
Let y(m) = 6*m + 3. Let d be y(-4). Let n be (2/(-6))/((-7)/d). Is 16 + -17 - (-38 - n) a multiple of 12?
True
Let q = -65 + 54. Does 52 divide (183 - 3) + 5 + q?
False
Suppose 3*p = -0*p - 4*h - 1648, -3*h + 15 = 0. Let n = p + 597. Is n a multiple of 9?
False
Suppose 0*t + 106 = 3*t - 4*b, -5 = -b. Let z = -36 + t. Suppose -h = -z - 30. Is 6 a factor of h?
True
Suppose -4*n - 42 = -18*n. Suppose -b - n*q - 848 = -5*b, q = -4. Does 20 divide b?
False
Let p(q) = 20*q**2 + 350*q - 48. Is 33 a factor of p(-18)?
True
Suppose 2*y = 3*x - 0*x - 170, 2*y - 310 = -5*x. Let s = x + 5. Let n = 15 + s. Does 10 divide n?
True
Let t(b) = -b**