- 2*i - 336. Suppose 810 = 128*g - 123*g. Let d = g + n. Is d a multiple of 17?
False
Let x = -188 + 810. Is x a multiple of 17?
False
Suppose 3*w + 236 = 4*g, g + 2*w = -g + 132. Is g a multiple of 2?
True
Let i be ((-5)/(-2) - 2)*18. Suppose 0 = 7*k - i*k + 8. Let v(h) = 4*h + 8. Does 5 divide v(k)?
False
Let z be 3058/16 + (-3)/24. Let n = -99 + z. Does 23 divide n?
True
Suppose 3510 = -43*g + 52*g. Does 13 divide g?
True
Let r be (-4)/1 + (19 - 11). Suppose -r*a = a. Suppose a = 3*q + 8 - 71. Is 7 a factor of q?
True
Let z = 28 - 8. Suppose 5*o + 0*o = z. Suppose m = o*m - 30. Is m a multiple of 10?
True
Suppose 4*d = 4*c - 4, -5 = 4*d - 3*d - 5*c. Suppose 0 = v + 2, d*v + 3*v = f - 115. Is f a multiple of 12?
False
Let b = -427 + 1705. Suppose k = 5*v + 2*k - b, 0 = v + 3*k - 250. Is v a multiple of 35?
False
Let t = 103 + -49. Does 9 divide t?
True
Suppose -2*v = t + 36 - 1, 101 = -3*t - 5*v. Does 10 divide (-112)/(9/(t/6))?
False
Is (-12 + (2 - -1))/(45/(-4755)) a multiple of 45?
False
Let z(y) = 4*y**2 + 6*y - 9. Let g(p) = p**2 + 1. Let q(x) = -3*g(x) + z(x). Is 3 a factor of q(-9)?
True
Let m(z) = -11*z**2 - 7*z + 15. Let t(v) = -7*v + 3*v - 5*v**2 + 7 + 0*v. Let w(d) = 4*m(d) - 9*t(d). Is w(-12) a multiple of 15?
True
Let b = -450 - -523. Is 8 a factor of b?
False
Let c(d) = 4*d**2 - 8*d + 8. Suppose 4*n + 5 - 25 = 0. Is 15 a factor of c(n)?
False
Let l be 26/(1*(-3)/6*-2). Suppose -3892 = -5*n - 3*o - 14437, -4*o = -5*n - 10580. Is (-4)/l - n/39 a multiple of 16?
False
Suppose 18*s - 13*s - 340 = 0. Is 8 a factor of s?
False
Let g(l) = -2*l**2 - 32*l + 12. Let x be g(-16). Let m(u) = u**2 - 10*u - 10. Does 3 divide m(x)?
False
Let r be 4*1 - 30/15. Let m = 11 + -11. Suppose m*i + 26 = r*i. Is 5 a factor of i?
False
Let v(o) = -20*o + 2. Let l(h) = h**2 + 4 - 4 + 11*h - 9*h - 1. Let a be l(-2). Is 5 a factor of v(a)?
False
Let r(y) = -2*y**3 - y**2 + y + 91. Let g(t) = -3*t**3 - 2*t**2 + t + 181. Suppose -3*i + 3 + 6 = 0. Let k(d) = i*g(d) - 5*r(d). Is k(0) a multiple of 22?
True
Suppose b - 5 = -3. Suppose 4*v - 2*v + 68 = 4*y, b*v = -2*y + 46. Does 3 divide y?
False
Let z = -97 - -139. Suppose 2*r - 64 = z. Is 9 a factor of r?
False
Let j(p) = -15*p**2 - 3 + 8*p - p**3 + 10*p**2 + 4*p**2. Does 8 divide j(-5)?
False
Let s(w) = -3*w**3 - 2*w**2 + 1. Let n be s(-1). Let j be 8*(2 + n)/8. Suppose -z = 0, 2*i - j*z + 9*z - 52 = 0. Is 26 a factor of i?
True
Suppose -q - 5*q = -54. Suppose -4*w - 60 = -q*w. Is w a multiple of 4?
True
Does 2 divide (36/14)/(24/504)?
True
Suppose 0*w + 1 = -4*o - 5*w, 0 = 3*w + 3. Let h be (-2)/6*o*-9. Is h - (2 - (-172)/(-4)) a multiple of 10?
False
Let b(y) = -10*y**3 + 2*y**2 - y. Let f(l) = l**2 + 12*l - 2. Let q be f(-12). Is 15 a factor of b(q)?
True
Let w(i) = -9*i + 16. Let u be w(5). Let l = -19 - u. Is 4 a factor of l?
False
Suppose -3*j - 2*j = 65. Let d = -14 - j. Is (-3 - -12)/(d/(-7)) a multiple of 21?
True
Suppose 6*o - 129 = -489. Let t = -5 - o. Suppose -t - 50 = -5*z. Is 8 a factor of z?
False
Let t(a) = 2*a**3 + 3*a + 1. Let f be t(-3). Let r = 13 + f. Let b = r + 81. Does 16 divide b?
True
Suppose -8046 - 5814 = -45*b. Is b a multiple of 5?
False
Let d(p) = -7*p**3 - p**2 + 4*p + 4. Let j be d(-1). Suppose j*t - 9*t + 126 = 0. Is 6 a factor of t?
True
Suppose z = -0*z - 5*x + 101, -504 = -4*z + 5*x. Is 9 a factor of z?
False
Suppose -35 = -4*k - k. Does 34 divide ((-4)/(-10))/(-1*k/(-2975))?
True
Is 644 - (7 - -4) - -10 a multiple of 16?
False
Let r be (-50)/(-125)*(-50)/(-4). Suppose 12*k - r*k = 1547. Does 25 divide k?
False
Suppose -455 - 2401 = -12*d. Is 34 a factor of d?
True
Let d(s) be the first derivative of 57*s**3 + 3*s**2/2 - 2*s + 4. Let l be d(1). Let z = l + -94. Is z a multiple of 26?
True
Let q = -43 + 85. Let s = q - 25. Does 4 divide s?
False
Suppose -138 - 241 = -4*q + 5*c, -c - 191 = -2*q. Is 24 a factor of q?
True
Does 37 divide (-13)/(1001/22) + (-1698)/(-14)?
False
Is 62 a factor of (-5 - 1) + -7 + 7 + 1023?
False
Suppose -8*a + 5157 - 269 = 0. Is a a multiple of 2?
False
Suppose 0 = -x - 3*o + 210 + 967, 3*x = o + 3571. Is 51 a factor of x?
False
Suppose -5*j - 6 = 3*x, 5*x - 5*j - 27 = -j. Suppose x*y = 5*n - 31, -1 = 5*n + 4. Is 11 a factor of (y/(-18))/(1/78)?
False
Suppose -r - 3*r = i - 416, 5*r = -2*i + 520. Is 13 a factor of r?
True
Let s(z) = 4*z**2 + z - 5. Suppose 2*o - 5*x + 56 = 0, -x + 56 = -2*o - 5*x. Let l = -26 - o. Is s(l) a multiple of 3?
False
Let o(i) = -3*i**3 - i**2 - 3*i. Let q(k) = -8 - k + 8 - k**3 + 0*k**3. Let a(h) = o(h) - 2*q(h). Does 13 divide a(-4)?
True
Suppose 2*d + t = 416, -5*t + 6*t + 214 = d. Suppose d = -3*p + 1110. Suppose 0 = -5*f + f + p. Is 22 a factor of f?
False
Let f(h) = h**2 - 2. Let w be f(3). Suppose w*p = 6*p + 36. Does 18 divide p?
True
Let t = 1233 + -1216. Is t a multiple of 9?
False
Suppose 20 = t + 4*v, -2*t - 4*v = -3*t - 12. Let h be 0/(4/(5 - t)). Is -7 - -31 - (h + 0) a multiple of 8?
True
Suppose 2552 = -v + 9*v. Is 11 a factor of v?
True
Suppose -19*n = -14*n + 50. Let w = n + 45. Is 7 a factor of w?
True
Let i(f) = -85*f - 171. Is i(-17) a multiple of 98?
True
Let t be ((-2)/(-7))/(10/70). Let j(n) = 31*n**2 + 4*n - 1. Let q be j(3). Is 13 a factor of (q/15)/(t/3)?
False
Suppose -10*g = -4365 - 5715. Is 72 a factor of g?
True
Let j(x) = 3*x + 136. Is j(8) a multiple of 32?
True
Let d = -259 - -317. Does 4 divide d?
False
Suppose 3*p - 243 = -h, 3*h - 2*p = -0*p + 696. Is h a multiple of 13?
True
Does 17 divide (0 + 2122/2)/1?
False
Let b be (0 - 3/1)*1. Let h = 8 + b. Suppose h*g - 25 - 35 = 0. Does 4 divide g?
True
Let m be (52/6 - 1)*-3. Suppose p = 7*p - 348. Let s = p + m. Is 9 a factor of s?
False
Suppose 5*v - 326 - 2009 = 0. Does 28 divide v?
False
Let h = 1270 + -371. Is h a multiple of 29?
True
Suppose 5*p - i - 1248 = 0, -2*p = 5*i - 563 + 53. Suppose 0 = -5*a, -w = w + 4*a - p. Does 19 divide w?
False
Let r = 678 + -478. Does 50 divide r?
True
Suppose -11*d = -7*d, -d + 1230 = 3*v. Is v a multiple of 5?
True
Suppose -16*b + 27*b - 1947 = 0. Is 14 a factor of b?
False
Is ((-1353)/41)/((-2)/14) a multiple of 77?
True
Does 7 divide (-718)/(-3) + (-432)/324?
True
Let s(x) = -25*x**2 - 4 + 5 + 2*x - 2. Let q(v) = 26*v**2 - 2*v + 1. Let m(a) = -6*q(a) - 7*s(a). Is 6 a factor of m(1)?
True
Let o = -308 - -572. Is o a multiple of 11?
True
Is 22 a factor of 5/(-30) + 338/24*50?
True
Suppose 5*t + 96 = 2*t. Let s be 8/t - (-42)/8. Suppose 0*v - 4*i + 353 = 5*v, -10 = -s*i. Does 13 divide v?
False
Suppose 3*h = -6*l + 3*l + 1311, -4*h = -5*l + 2212. Suppose -l = -w - w. Is 13 a factor of w?
False
Let q(n) = n**3 + 16*n**2 + 8*n + 35. Is q(-14) a multiple of 5?
True
Let z(x) = 9*x**3 - 9*x**2 + 18*x - 16. Let g(n) = 5*n**3 - 4*n**2 + 9*n - 8. Let c(a) = -11*g(a) + 6*z(a). Is 3 a factor of c(-11)?
False
Let s(z) = -z**3 - 4*z**2 + 11*z. Is s(-6) a multiple of 6?
True
Suppose 2*o + 13 = -1. Let c be 0 - -2 - (o + -2). Let l = c - -13. Does 11 divide l?
False
Suppose 0 = -8*g + 1 + 23. Suppose 2*f - g*k + 21 = 5*f, -5*f = -4*k - 17. Suppose 0*p - p + 5*u = -31, 68 = f*p + 4*u. Is p a multiple of 5?
False
Suppose n - 3*j + 10 = 0, 5*n - 2 - 4 = j. Let x(d) be the second derivative of 7*d**3/3 - d**2/2 + 2*d. Does 18 divide x(n)?
False
Is (-126)/42 - (1 + -1223) a multiple of 23?
True
Let z(v) = -4*v - 66. Let s be z(-20). Suppose -1510 = -11*o - s. Is 34 a factor of o?
True
Let i = -22 - -8. Let s(f) = -f**3 - 14*f**2 + 4*f + 11. Let z be s(i). Does 9 divide (1 + z)*(-3)/6?
False
Is (-3 - (0 + 490))*3/(-3) a multiple of 29?
True
Let p(z) = -z**2 + 6*z - 1. Let y be p(5). Suppose 5*h - 6 = -3*s, -3*h = -2*s + 6*s - 8. Suppose 2*a - 56 = -l + y*a, h = -a - 1. Does 18 divide l?
True
Let n(g) = 2*g**3 - 2*g**2 - 2*g + 2. Let c be n(2). Suppose w - 342 = c. Is w a multiple of 45?
False
Let x(v) be the third derivative of -v**5/60 + 3*v**4/8 + v**3/3 - v**2. Let y be x(9). Suppose 0 = g - y*g + 16. Is 10 a factor of g?
False
Let f be 1 + (2 + -2)/1. Let y(l) = 49*l - 2. Let c(v) = -198*v + 9. Let k(i) = 2*c(i) + 9*y(i). Does 11 divide k(f)?
False
Let w(u) = -10*u - 15. Let v be w(-6). Let j = v + -27. Does 4 divide j?
False
Let b = 131 - 95. Is 13 a factor of b?
False
Let k = 891 + -387. Is 18 a factor of k?