 17?
True
Let i(a) = a**2 + 2*a - 4. Let s be i(-3). Let d be (s/(-2))/((-3)/(-462)). Let m = d + -55. Is 11 a factor of m?
True
Let f(k) = 633*k - 636*k - 11 - 31. Is f(-22) a multiple of 6?
True
Suppose 1399 = 6*h + 559. Let c be h/(-15)*(2 - -1). Let g = 38 + c. Is 10 a factor of g?
True
Let b be 4/2 - 40/(-10). Let p be 15/(-3)*(-236)/10. Does 25 divide (-3 + p/b)*3?
True
Let i(g) = -17*g**3 - 18*g**2 - 118*g + 10. Does 65 divide i(-5)?
True
Let k = 258 - -1095. Is 33 a factor of k?
True
Let a(w) = w**2 + 8*w + 7. Let o be a(-1). Suppose -5*v + 10 = o, -3*y - 2*v - 2 + 276 = 0. Is 18 a factor of y?
True
Let k be 1*-1*(-17 + 12). Let h(a) = -3*a + 21. Is h(k) a multiple of 6?
True
Suppose h + 48 = -h. Let b = h - -51. Does 3 divide b?
True
Suppose -11 = u + u + 3*k, 5*u + 3*k + 14 = 0. Let g be (1 + 0 + u)*-1. Suppose g = -z - h + 8, -h - 1 - 3 = 0. Is z a multiple of 6?
True
Suppose 7*o + 6209 = 29757. Is o a multiple of 20?
False
Let k be (-6)/9*-6 + -1. Suppose 3 = -t - k. Let g = t + 24. Is 5 a factor of g?
False
Suppose 4*j = -4*y - 0*j + 12, 3*y - 30 = 4*j. Let s(f) = f**3 - 7*f**2 + 6*f + 3. Let b be s(y). Is 2 a factor of -6*b/(-6) + 3?
True
Let o(d) = 43*d - 4 + 3 + 4 - 1. Does 9 divide o(1)?
True
Suppose 4*g - 2*g - 6 = 0. Suppose 141 = g*t - 39. Does 20 divide t?
True
Let a(r) = r**2 + 7*r + 5. Let u be a(-8). Suppose -90 = -16*w + u*w. Does 6 divide w?
True
Suppose -1919 = -13*f + 4737. Is 14 a factor of f?
False
Suppose -2*o + 5*i + 74 + 96 = 0, -o = 5*i - 70. Let z = o + -20. Is z a multiple of 5?
True
Suppose 14 - 8 = -3*i. Let g(n) = -n**3 + 9*n**2 + 3. Let t(w) = 2*w**3 - 19*w**2 - w - 5. Let q(a) = i*t(a) - 5*g(a). Is 3 a factor of q(7)?
True
Suppose 5*o - 1711 - 3679 = 0. Does 7 divide o?
True
Let y be (-9)/11 + (-30)/165. Let c be (y + -1)*(-16)/(-32). Is (-1 - -4) + (c - -11) a multiple of 3?
False
Let q = -616 - -1096. Does 10 divide q?
True
Suppose -4*d - g + 3 = 0, 3*d + 0*g - 6 = -2*g. Suppose -2*t + 3*r + 17 = d, -t + 4*r + 19 = -2*t. Does 2 divide (2*t)/((-10)/(-25))?
False
Let o(l) = 4*l + 172. Does 24 divide o(5)?
True
Suppose 60 = -4*b + 6*b. Does 15 divide (b/(-4))/((-7)/42)?
True
Let i(j) = -3*j + 21. Let y be i(9). Let k be 274 - 3*(-4)/y. Suppose 0*u + k = 4*u. Does 18 divide u?
False
Suppose 5*b - 3*i - 10412 = 0, -10*i + 6228 = 3*b - 7*i. Is 13 a factor of b?
True
Let k(x) be the first derivative of 5*x**3/3 + 13*x**2/2 + 2*x + 4. Let o(j) = -2*j**2 - 4*j - 1. Let s(l) = 3*k(l) + 8*o(l). Is s(5) a multiple of 8?
True
Let h be 0*((-15)/(-6) - 2). Suppose h*x - x - 3*n - 19 = 0, 2*n = -2*x - 26. Does 7 divide 36/3*x/(-5)?
False
Is 50127/91 - 8/(-52) a multiple of 29?
True
Let y(u) be the first derivative of -8*u - 1/2*u**2 + 7 + 2/3*u**3. Is y(-7) a multiple of 27?
False
Suppose 7 = 3*k - 2*w - 0*w, -2*k + 2*w + 8 = 0. Let v be 116/(-24) - k/(-6). Let r(x) = x + 17. Is 8 a factor of r(v)?
False
Suppose 0 = -p - p + 228. Is 14 a factor of (0 + p)*2/3?
False
Let m be 28*(36/8 + -1). Let l = m - 92. Is l a multiple of 3?
True
Suppose -5*i + 3*a + 16 = -0*a, 5*a - 20 = -i. Suppose -i*f + 0*f = -2*y - 935, -570 = -3*f + 3*y. Is 19 a factor of f?
False
Let z be (-282)/(-4) - (-1)/(-2). Suppose -g = -4*c + 62 + 32, 3*c - g - z = 0. Is 12 a factor of c?
True
Let n(b) = 8*b**2 - 6*b - 94. Is n(-9) a multiple of 32?
True
Let k = -219 - -816. Is k a multiple of 13?
False
Let i(d) = 6*d + 25. Is i(31) a multiple of 68?
False
Suppose 0 = 6*s - 33 - 15. Let a(v) = 7*v**2 + v + 2. Let m(j) = 6*j**2 + 1. Let g(h) = -5*a(h) + 6*m(h). Does 18 divide g(s)?
False
Let y = -159 - -278. Does 7 divide y?
True
Let r = -11 + 14. Let p be 1 + -3*1/r. Suppose p = -5*h + 15 + 20. Is h a multiple of 5?
False
Let v be 3/24 + (-330)/(-48). Suppose v*x = 12*x - 320. Is 44 a factor of x?
False
Let s(z) = z**2 - 3*z + 2. Let n(w) = w - 9. Let k be 2 + 0 + 15 - 2. Let o be n(k). Does 20 divide s(o)?
True
Let w(d) = d**3 + 9*d**2 + 6*d - 12. Let b be w(-8). Suppose 8*r + 71 = 4*f + 3*r, -2*f - b*r = -16. Is 5 a factor of f?
False
Suppose -3*g + 2*x + 3285 = 0, -8*x + 7*x + 5462 = 5*g. Is 58 a factor of g?
False
Let v = 1986 + 514. Is 25 a factor of v?
True
Suppose -5*v = 5*s - 135 + 1110, 0 = 4*s + v + 783. Let u = -80 - s. Is u a multiple of 26?
False
Let z be (0 - 0)*1/(-1). Let p = z - -3. Suppose 232 = p*f + f. Is 12 a factor of f?
False
Let y(o) = o**3 + 5*o**2 - 23*o - 4. Does 12 divide y(-5)?
False
Suppose 2*d - 4*d + 5*w + 224 = 0, 0 = -5*w - 20. Let q be -5*(3 - 34/10). Suppose -5*f - q*a + 3 + d = 0, -2*a = -5*f + 85. Is f a multiple of 14?
False
Is 16 a factor of 67*(-4 - (-3 - 2))?
False
Let h(o) = 4*o + 3. Let u be h(-4). Let g be -2 - (u - (-1 - -4)). Is 19 a factor of 1218/26 - g/(-91)?
False
Suppose 3*u + u + 5*z - 1014 = 0, 508 = 2*u + 2*z. Suppose -20*s + 24*s = u. Is s a multiple of 17?
False
Let x be 6 - (6/(-3) + 2). Let g(k) = 3*k - 16. Let y be g(x). Suppose 0*p - 328 = -y*p. Does 41 divide p?
True
Let v(o) = -o**2 + 7*o - 7. Let m be v(4). Suppose 1323 = m*a - j, -3*j = -3*a + j + 804. Suppose -5*n + a = -36. Is 20 a factor of n?
True
Does 4 divide 24/14*7455/30?
False
Let k = -39 - -30. Does 4 divide (-97)/(-4) - k/(-36)?
True
Suppose 7*n - 72 = 3*n. Let g = n - -8. Is 13 a factor of g?
True
Suppose 319*y = 315*y + 136. Does 6 divide y?
False
Let k(q) = q**3 - q**2 - 12*q - 2. Does 7 divide k(6)?
False
Suppose -4*b + 55 - 15 = n, 3*b + 5*n = 47. Is (-200)/(-6)*b/6 a multiple of 25?
True
Let f be 36/(-16) + 2 + (-113)/(-4). Is 9 a factor of f*(0 + (-3)/2 + 2)?
False
Let z be 8*1 - (5 + -14 - -6). Let k = z + 29. Is 10 a factor of k?
True
Does 52 divide (2 - -1489 - 4) + (-17 - -11)?
False
Is 2 a factor of (-45)/9 + (-2 - 2 - -156)?
False
Suppose -4*v - 24 = 2*c, 2*c + 3*c - 45 = 5*v. Let y = 11 - v. Does 4 divide y?
False
Suppose -6*m + 2*m - 12 = 0. Let p be 5/m + (-10)/30. Is p/(-8) - (-175)/4 a multiple of 11?
True
Suppose -410 = -4*w - 5*n, 0 = -0*w + 3*w - 5*n - 290. Let h = -71 + w. Let q = -14 + h. Is 6 a factor of q?
False
Let t(c) = c**2 + 7*c + 10. Let l be t(-5). Is ((-4)/(l + -4))/(1/165) a multiple of 11?
True
Let y = -11 + 11. Suppose -2*x = -2, -i + x + 2 - 4 = y. Does 14 divide i/(-4) - 444/(-16)?
True
Is 3696/64 + (-3)/4 a multiple of 3?
True
Let t(u) = u**3 - 7*u**2 + 2*u + 10. Let h be t(7). Suppose 0 = -4*s + s - h. Is 3 a factor of (-4)/(s/2)*4?
False
Let y(r) = 10*r + 8. Suppose 4*t = 4*h - 8, -5*h - t - 6 + 40 = 0. Does 17 divide y(h)?
True
Let p(y) = y**2 - 7*y + 13. Let t be p(8). Let n = 45 - t. Does 6 divide n?
True
Suppose 9 = -2*o - 5*k - 8, 0 = 3*o + 3*k + 3. Suppose -561 = -2*r + 3*p, -5*r - 7*p = -o*p - 1455. Is r a multiple of 18?
True
Let p = 277 + -88. Suppose 2*s - 22 = 4*o, 3*s + 0*o - 18 = o. Suppose 4*t = -s*t + p. Does 7 divide t?
True
Let m = 43 - 28. Suppose -2*u = -m - 9. Does 12 divide u?
True
Suppose -2*r - 57 = -5*r. Let b(y) = -3*y**2 + 14*y - 4. Let c(n) = 13*n**2 - 53*n + 15. Let h(q) = 9*b(q) + 2*c(q). Does 2 divide h(r)?
False
Let w(n) = 113*n - 2. Let q be w(2). Suppose 5*b = 12*b - q. Is 4 a factor of b?
True
Let u = -428 + 862. Is u a multiple of 88?
False
Let d be -1 - -5 - (-9 - -2). Let z(b) = b**2 - 6*b - 13. Is 24 a factor of z(d)?
False
Suppose -2*a + 113 + 3 = 0. Suppose 48*b + 2880 = a*b. Is b a multiple of 18?
True
Suppose 13 - 3 = 5*y. Let c(u) = 4 + 4*u**3 + 8*u**y - 3*u**3 - 9 + 6*u + 12. Does 13 divide c(-5)?
True
Let z = -574 - -315. Let y = z + 183. Let u = 108 + y. Does 7 divide u?
False
Let v(x) = -2*x + 28. Let j be v(13). Let g be (-149)/j + (-9)/(-18). Let a = g - -126. Is 13 a factor of a?
True
Suppose 4*a - 48 = i + 3*i, -5*a + 46 = -3*i. Let o(u) = u + 72. Let s be o(0). Let t = s + i. Is t a multiple of 10?
False
Let l(r) = 2*r - 21. Suppose -3*o + 4*o + 7 = 0. Let j(z) = -z**3 - 8*z**2 - 8*z + 7. Let b be j(o). Is 7 a factor of l(b)?
True
Is 9 a factor of (364/(-49) - 2)*(-112)/2?
False
Suppose 4*p - 7957 = -2*l - l, -7977 = -4*p + l. Is 94 a factor of p?
False
Suppose -3*h - 40 = -7*h. Suppose 7*l = 2*l + h. Suppose 0*g = -2*v + 5*g + 11, -6 = -v + l*g. Is 2 a factor of v?
True
Let y be -1 + (-1204)/(-9) - 2/(-9). Suppose 0 = 5*i - y - 32. Does 10 divide i?
False
Let n(c) = -1 + 123*c - 55*c + c**2 - 63*c - 6. Is 7 a factor of n(-12)?
T