5. Does 69 divide g?
False
Suppose 0 = -7*o + 4*o + 6. Suppose 2*k - 535 = -5*a, -5*k + 203 = 2*a - o*k. Is 26 a factor of a?
False
Suppose -5*i + 13 = -7. Does 43 divide i/(-3) + 2 - (-2572)/12?
True
Let x = -18 + 17. Let t = x - -4. Suppose 19 - 1 = t*h. Is h a multiple of 2?
True
Suppose 10*o - 2*o - 32 = 0. Let p(t) = t**3 + 7*t**2 - t - 4. Let l be p(-7). Suppose -14 = -o*g + 3*v + 123, -v + 93 = l*g. Does 8 divide g?
True
Let f = 220 + -79. Suppose -u + 2*u + 2*a = 42, 0 = -4*u + a + f. Is u a multiple of 6?
True
Let l(t) = t**3 - t**2 + t - 3. Let n be l(0). Let p = n - -6. Suppose -g - 2*g + 4*z + 202 = 0, -311 = -4*g - p*z. Does 18 divide g?
False
Is 2 a factor of -322*((-198)/88 - (-2)/8)?
True
Suppose -2*a + 20832 = 30*a. Is 21 a factor of a?
True
Suppose 5*o + 22 = j - 3, j - 3*o = 17. Suppose -3*b - 5*f - j = b, -b = -5*f - 30. Suppose 11 = b*h - 19. Is h a multiple of 4?
False
Suppose 26*p - 4378 = -140. Is 8 a factor of p?
False
Suppose 3*a + 6 = 2*h, -h = -4*a - 0*h - 13. Is (a - -3)*24*-1 a multiple of 8?
True
Suppose 0*j - 914 = -3*h + j, -3*h = -3*j - 906. Is h/(-119)*56/(-6) a multiple of 2?
True
Let f(n) = 70*n**2 - 115*n - 836. Is f(-7) a multiple of 11?
True
Suppose 2*r - 52 = 24. Let f = r - -28. Does 5 divide f?
False
Is ((-156)/65)/(2/(-895)) - 4 a multiple of 107?
True
Let r = -48 + 67. Suppose k - r + 4 = 0. Is k a multiple of 7?
False
Is 16 a factor of (-123)/(-5*6/30)?
False
Let p(c) = -c + 19. Let x be (54/(-4) - 18/(-12)) + 0. Does 13 divide p(x)?
False
Let o(z) = 94*z + 205. Does 24 divide o(7)?
False
Suppose -5*y + 79 = 3*f, -5*f + 0 = 10. Suppose -y*b + 0*b = -1037. Does 19 divide b?
False
Let h be (-6 - -1)*(-280)/25. Suppose h + 25 = y. Let v = -41 + y. Is v a multiple of 10?
True
Let n = 4 + -11. Let z = n - -12. Suppose -245 = -z*v + a + a, 74 = 2*v + 4*a. Is 15 a factor of v?
False
Let q be 191/3 - 10/15. Suppose 4*y - 1 + q = 2*o, -2*y + 8 = 0. Does 8 divide o?
False
Let n(u) = -u**3 + 5*u**2 - 7*u + 4. Let o be n(4). Let a be (-42)/(-12)*o/(-14). Suppose a*z + 3*z - 50 = 0. Does 7 divide z?
False
Let p(z) = -4*z - 24. Let d be p(-7). Suppose d*i + 3*b = 188, -94 = -2*i - b - b. Does 37 divide i?
False
Let f(x) = 20*x - 6. Let a(q) = 19*q - 5. Let i(t) = -3*a(t) + 2*f(t). Let g(o) = 1. Let h(j) = g(j) - i(j). Is h(1) a multiple of 15?
True
Let u = -449 + 164. Let o = -197 - u. Does 20 divide o?
False
Suppose -5*d + 6 - 71 = 0. Let r = 5 - d. Does 6 divide r?
True
Suppose 0 = -10*b - 3*b. Suppose 2*s + 0*a + 2*a - 202 = b, 307 = 3*s + 2*a. Does 17 divide s?
False
Let t = 48 + -14. Suppose -4*x = -x - i + 17, -5*x - t = 4*i. Is 2/x - 132/(-18) a multiple of 2?
False
Suppose 2*g = -2*g + 20. Suppose 5*f - 150 = -5*l, l = -4*f + 5 + 31. Suppose 0 = -3*z + g*z - l. Does 12 divide z?
False
Let x be 20/(-16)*(-15 - -11). Let w be (-2)/(-4)*6*1. Suppose b = x + w. Is b a multiple of 4?
True
Let a(t) = 3*t + t**3 + 5*t**2 + 3 - 4*t - t - 6*t. Let c be a(-6). Let x = 40 - c. Is 25 a factor of x?
True
Suppose 3*w = d + 14, -2*w - 46 = -7*w - 4*d. Is w even?
True
Let y(n) = -6*n - 7. Does 29 divide y(-6)?
True
Let y(g) = 2*g**2 - 16*g + 75. Is y(23) a multiple of 15?
True
Let j = 86 + 1. Suppose -4*v + 77 = -j. Is 6 a factor of v?
False
Is ((-9)/6)/(((-5)/24)/5) a multiple of 4?
True
Let x(k) = -k**2 + 16*k - 35. Let u be x(13). Let t(g) = 4*g**2 + 5*g + 3. Let f be t(-3). Suppose d + 2*d - f = y, -32 = -u*d - 5*y. Is 2 a factor of d?
True
Let d(u) = -u**2 + 7*u - 10. Let r be d(4). Suppose 0 = -r*f + 254 + 82. Is 28 a factor of f?
True
Let v = 132 - 141. Is 2 a factor of (169/39)/(0 + (-1)/v)?
False
Let u = 0 - 13. Let h be -2 + (u + 4)*-1. Suppose -h*n + 156 = -n. Is 10 a factor of n?
False
Suppose -2*b + 30 = 5*l - 0, 5*l - 50 = 2*b. Suppose l*y - 588 = 148. Is y a multiple of 23?
True
Let g(d) = 29*d + 11 + 10 - 13. Does 9 divide g(3)?
False
Suppose 0 = -2*h, 156 = 3*k + 2*h - 0*h. Does 7 divide k?
False
Let a = 613 - 253. Is 18 a factor of a?
True
Is (-42864)/(-15) + 36/90 a multiple of 118?
False
Let h = 1941 - 1366. Is h a multiple of 23?
True
Suppose 4*h + l = -h - 93, -4*h - 74 = l. Let j = h - -22. Suppose j*u - 61 = -13. Does 16 divide u?
True
Let y = -274 + 978. Suppose 14*g - 584 = y. Is 20 a factor of g?
False
Let s = 11419 - 4884. Is 5/(275/s) + 4/22 a multiple of 14?
False
Let g be (1 - -14)*(-4 + 124/6). Suppose 14*p = 12*p + g. Does 18 divide p?
False
Suppose 2*h + 5*g - 1 = 66, 0 = 2*h - 2*g - 46. Let i = 29 - h. Suppose p = 4*p - 5*j - 66, 0 = -p - i*j + 22. Is p a multiple of 5?
False
Let b(d) = d + 2. Let z be b(-2). Suppose -x + 1 + 5 = z. Is 24 a factor of 1*45 - (x + -9)?
True
Let t(n) = 49*n**2 - 20*n - 18. Is t(-1) a multiple of 33?
False
Suppose -25*k + 16646 = -4329. Is 60 a factor of k?
False
Let k = 6 - 15. Let m be 30/(-4)*84/k. Suppose -2*l + 128 = 2*d, -2*l = -4*d - 34 - m. Does 12 divide l?
True
Let u = 11 - 0. Let z(l) = l**3 - 9*l**2 - 15*l - 10. Let y be z(u). Does 17 divide 1/(202/y + -3)?
False
Let s(n) = -4*n - 11. Does 3 divide s(-9)?
False
Let j(t) = 16*t**2 - 35*t - 6. Let i(c) = 11*c**2 - 23*c - 4. Let d(a) = -7*i(a) + 5*j(a). Does 9 divide d(6)?
False
Is (29/(-2))/((-9)/414) a multiple of 43?
False
Suppose 0 = -5*z + 5*y + 190, 4*z + z + y = 220. Let t = -42 + 69. Let u = z - t. Is 6 a factor of u?
False
Suppose 0 = -o + 8 + 118. Suppose 27 = 3*p - o. Is 14 a factor of p?
False
Let p(r) = -r. Let l be p(-3). Suppose 5*g - 42 = l. Suppose -4*k + g*z = 4*z - 95, 4*z - 68 = -4*k. Is k a multiple of 20?
True
Suppose 15*z - 29236 = -5476. Is z a multiple of 13?
False
Let g(n) = 140*n - 4. Let x be g(3). Suppose 2*h = a - 3*a + x, -4*h = -4. Is a a multiple of 23?
True
Is ((-4048)/(-24))/(2/(-12)*-2) a multiple of 22?
True
Let f(u) = -2*u**3 + 40*u**2 - 46*u + 88. Does 40 divide f(17)?
True
Let w be 72/4 - (-2 - 0). Let a be (-254)/(-10) - 8/w. Suppose -h = -a - 10. Is h a multiple of 10?
False
Let j(f) = f**2 + 9*f + 64. Is j(-8) a multiple of 28?
True
Let v = 2581 - 1460. Is v a multiple of 80?
False
Let i = -99 - -434. Is i a multiple of 5?
True
Let a(o) = -110*o - 334. Is 17 a factor of a(-8)?
False
Suppose -10*v + 1765 = -5*v. Let r = -185 + v. Is r a multiple of 28?
True
Let y(o) be the second derivative of -o**8/2240 - o**5/40 + o**4 - 10*o. Let h(x) be the third derivative of y(x). Is h(-2) a multiple of 7?
True
Let z(i) = 0*i - 6*i - 4*i + 13 - 10*i - i**2. Is z(-17) a multiple of 18?
False
Let q(i) = 9*i. Let z = 14 - 5. Let y = z - 5. Does 18 divide q(y)?
True
Suppose 2*x - 6*x = -480. Is 10 a factor of x?
True
Let j(z) = -3*z. Suppose -5*i - 9 = -4. Let b be j(i). Suppose -b*a + 357 = 54. Is a a multiple of 21?
False
Let u(f) = f**2 + f + 37. Suppose 12*v - 9*v = 0. Does 11 divide u(v)?
False
Let v = 1216 - -1456. Is 19 a factor of v?
False
Suppose r - 124 = 5*i, -11 = -3*i + 1. Suppose y = -x + 33, 0*x + 4*x = -y + r. Does 37 divide x?
True
Suppose 0 = -4*l + 5*l + 13. Let o be 2 - (29 + 0)/(-1). Let x = l + o. Is 9 a factor of x?
True
Suppose 7*z - 125 - 2115 = 0. Is z a multiple of 15?
False
Let i be ((-20)/(-4) - 1) + 1. Suppose -w = 1 - i. Suppose w*m = -7 + 91. Is 7 a factor of m?
True
Let t = 242 + -111. Suppose 32 - t = 3*o. Let p = -6 - o. Does 12 divide p?
False
Suppose 0 = -3*g + 3*y + 7503, -15671 + 3216 = -5*g - 5*y. Does 31 divide g?
False
Suppose -g = -5*g + 292. Let q = -40 + g. Is q a multiple of 27?
False
Let w = -1094 - -2204. Is 15 a factor of w?
True
Let z(d) = 6*d**3 - d + 5. Let b(i) = -i**3 + i - 1. Let r(n) = 5*n**3 - 6*n + 7. Let m(x) = 6*b(x) + r(x). Let h(s) = 5*m(s) + z(s). Does 9 divide h(0)?
False
Let u(c) be the second derivative of c**5/20 + 11*c**4/12 + 2*c**3/3 + 3*c**2/2 + 10*c. Does 12 divide u(-10)?
False
Suppose 5*n + 4*r = 185, -5*n - 2*r = -6*r - 225. Suppose -3*m + 9 = 3. Suppose m*c - n = 47. Is c a multiple of 11?
True
Let c be ((-4)/1 + 2)*-2. Let l(g) = 3*g**2 - 12*g + 2. Let b be l(4). Suppose 2*s - b*a - 20 = -0, 0 = c*s + 5*a - 76. Is s a multiple of 4?
False
Suppose 0*q = 4*q - 804. Suppose j + 3*c - q = -2*c, 5*j = 2*c + 870. Suppose -j = -4*d - 4*n, -d + 4*n + 2 = -32. Does 25 divide d?
False
Suppose -3*n - j = -20, -2*n + 8 + 7 = j. Suppose -s = -0*s - 2*q - 62, -4*s = -n*q - 236. Does 18 divide s?
True
Sup