*g + 66. Does 8 divide g?
True
Let c = 377 - 210. Let a = -95 + c. Is 12 a factor of a?
True
Let m(o) = -o**2 + 10*o + 5. Let c be m(10). Let w be 0 - -1 - (-15)/c. Suppose -5*s + 2*f = -60, 2*s - 5*f = w - 1. Is s a multiple of 14?
True
Suppose -19*h + 29*h = 2380. Does 5 divide h?
False
Suppose 0 = -0*d + 4*d - 2*n - 2, -n + 3 = 2*d. Let u be (-2 - 2)*d + 5. Suppose -u = 2*z - w - 104, w - 152 = -3*z. Is z a multiple of 17?
True
Suppose c + 17 = -0*c. Let a = c + 21. Suppose h = a - 1. Is 3 a factor of h?
True
Suppose -8 - 20 = 2*k - 4*m, 0 = 2*k - 3*m + 26. Does 19 divide (-190)/(-38)*(-44)/k?
False
Let v = -16 + 18. Suppose -60 = -d - v*k, d + 3 = -4*k + 63. Let p = -8 + d. Does 12 divide p?
False
Let q be (-9 + 9)/(1*3). Let i(j) = 26 + q + 2*j + 15. Is 14 a factor of i(0)?
False
Does 13 divide (6 - (-1128)/2) + -7?
False
Suppose -5156 = -5*d + 4*a - 204, 4*d = -2*a + 3972. Does 10 divide d?
False
Suppose 4296 = 7*x - 2473. Is x a multiple of 10?
False
Suppose -f - u = -1, 4*f = 3*u - 8 - 23. Let b(x) be the third derivative of x**5/30 + x**4/6 - 2*x**3/3 - 18*x**2 - 2. Is b(f) a multiple of 6?
True
Is 31 a factor of 2/4 - (-21375)/30?
True
Let l(c) = -51*c - 21. Is l(-1) a multiple of 6?
True
Let k be 6/8 + 111/12. Let r be k/15 - (-415)/3. Suppose -2*p + 3*x = -0*x - r, p - 71 = 2*x. Does 17 divide p?
False
Suppose 733 = -5*g - 592. Let u = -149 - g. Is 18 a factor of u?
False
Let n(x) = 2*x**2 + 20*x - 23. Let b(y) = y**2 + 10*y - 11. Let k(t) = 9*b(t) - 4*n(t). Let h be k(-11). Suppose h*c - 6*c + 132 = 0. Is 10 a factor of c?
False
Is 141 - 29 - (-1 + 0 - 2) a multiple of 5?
True
Suppose -19*x = -18*x. Suppose -i = 5*p - 0*i - 451, x = 5*p + 5*i - 455. Is p a multiple of 9?
True
Let v(k) = 3*k**2 + 3*k - 22. Let c be v(-7). Suppose -5*g + 118 = -2*i, 2*g - 4*i = -2*g + c. Is 12 a factor of g?
False
Suppose 0 = -3*o - 0 - 3. Let q(w) = w**2 - 2*w - 1. Let f be q(o). Suppose 2*t + f*t = 3*j - 238, -2*t = 3*j - 232. Is j a multiple of 39?
True
Let x be (12 - 14) + 1*2. Suppose 4*j + k - 507 = x, j - 246 = -j - 2*k. Does 32 divide j?
True
Suppose -y - 40 = -5*n - 0*y, 2*n + 5*y - 16 = 0. Is (-9 + n)/((-2)/358) a multiple of 18?
False
Let u(j) = -2*j**3 - 2*j**2 - 5*j - 18. Let a(y) = y**3 + 2*y + 1. Let x(s) = 3*a(s) + u(s). Does 8 divide x(5)?
False
Let i(k) = 4*k**2 + k - 27. Let q(o) be the second derivative of o**4/12 - 7*o. Let z(r) = -i(r) + 5*q(r). Is z(0) a multiple of 27?
True
Is (-12 + 0)/(3093/(-441) - -7) a multiple of 49?
True
Let t = 28 + -28. Suppose 5*f - 19 + 4 = t, 3*f = -5*x + 584. Is x a multiple of 6?
False
Suppose 3*v = -12*p + 9*p + 732, -3*p - v = -740. Does 31 divide p?
True
Let w = 7 - 14. Let q(l) = -l**2 - 37*l - 79. Let u be q(-34). Let h = w + u. Does 16 divide h?
True
Is 7 a factor of -178*(-25)/(150/36)?
False
Is 111/6*(22 + 7 - -1) a multiple of 9?
False
Let m(q) = -q**3 + q**2 + 4*q. Let i be m(-2). Suppose 2*x - 60 = -i*f + 5*f, 2*x = -4*f + 40. Is x a multiple of 8?
False
Let d = -158 - -263. Suppose 0 = 4*q + h - 106 - 149, d = 2*q + 5*h. Is 13 a factor of q?
True
Let k(f) = -f + 12. Let q be 2/(1/(-4 + 6)). Suppose -q*b - 12 = -4*s, s - 17 = 4*b + 4. Does 9 divide k(b)?
True
Suppose -132 = -5*l + 578. Suppose 3*z = -4*i + 34, 4*z - 2 - 46 = -4*i. Suppose -2*m - z + l = 0. Is m a multiple of 16?
True
Suppose 46*c - 14291 = 3695. Is c a multiple of 3?
False
Let m = 342 - 294. Is m a multiple of 16?
True
Suppose -5*n + 365 = 4*i, 0 = 5*i - 79 + 104. Does 7 divide n?
True
Suppose -4*g - 4*a - 4 = 64, 5*g - 2*a + 106 = 0. Let j = -15 - g. Is j a multiple of 3?
False
Suppose -54 = -3*l - 15. Suppose 41 = -l*s + 2654. Does 12 divide s?
False
Suppose -186 = -8*q + 574. Is q even?
False
Let b(w) = -2*w**2 - 13*w - 9. Let f be b(-11). Let s = -76 - f. Let a = 11 + s. Does 11 divide a?
False
Let j be (0 + 3)/(3 + 70/(-24)). Let b = -9 + j. Is b a multiple of 10?
False
Suppose -3 = 3*h + 5*j, -3*h + 2*j = 2*h + 5. Does 8 divide (-12)/18*(h + 19)*-8?
True
Let v = 188 + -56. Suppose 0 = -3*q + v + 195. Does 41 divide q?
False
Let r = -303 - -401. Is r a multiple of 7?
True
Suppose -94 - 179 = 7*g. Let m = g + 80. Does 12 divide m?
False
Let u(d) = -104*d + 250. Is u(-11) a multiple of 50?
False
Let c(t) = t**3 + 18*t**2 + 15*t - 29. Let u be c(-17). Suppose u*w - 435 = 295. Is 13 a factor of w?
False
Let l(i) = i + 1. Let j be l(-1). Let p be ((-1)/((-3)/2))/(53/159). Suppose j = 2*m - 3*w - 60, -4*w + 31 - 95 = -p*m. Is m a multiple of 6?
True
Let y be -1 + 4 + 0 + 9. Let q be -4 - -6 - y - 3. Let p(o) = -o**3 - 14*o**2 - 15*o + 6. Is 16 a factor of p(q)?
True
Let i = -457 - -503. Is i a multiple of 23?
True
Suppose -m + 5*j + 800 = 0, -2*j - 2202 - 1088 = -4*m. Is 33 a factor of m?
True
Let m(j) = -15*j**2 + 237*j + 4. Does 9 divide m(13)?
False
Let c = -65 + 509. Is 6 a factor of c?
True
Let f(v) = -6*v - 9 - 7*v**2 + 0*v + 8 - v**3. Let k be f(-6). Let u(c) = 52*c**2 - 1. Is 23 a factor of u(k)?
False
Suppose 30*o = 33658 + 44792. Does 30 divide o?
False
Let p(g) be the first derivative of -g - 2*g**2 + 3 + 0*g - 7*g - 1. Does 2 divide p(-4)?
True
Let x = -19 + 23. Suppose 0*r - x*r + 20 = 0, 0 = -3*l + r - 41. Let k = 7 - l. Is 5 a factor of k?
False
Let w(s) = -s + 7. Let l be w(5). Let t(i) = -i**3 - 5*i**2 + 105. Let v be t(0). Suppose l*h = v + 33. Is h a multiple of 23?
True
Suppose 0 = 9*m - 3231 - 198. Is m a multiple of 3?
True
Let y(z) = 195*z - 171. Is y(6) a multiple of 27?
True
Suppose 2225 = 6*n + 641. Is n a multiple of 33?
True
Suppose 0 = 4*j - 2*x - 18, -2 = j + 2*x + 6. Suppose 0*b = -t + j*b + 30, -b - 29 = -t. Suppose 2*m = 6*m - t. Is 2 a factor of m?
False
Let j(v) = v**3 - 8*v**2 - 8*v - 4. Let k be j(11). Let f = k - 171. Is f a multiple of 25?
True
Let t(y) be the first derivative of -y**6/120 - y**5/30 + 7*y**4/24 + 4*y**3/3 + 2*y**2 - 3. Let x(f) be the second derivative of t(f). Does 4 divide x(-4)?
True
Is 17 a factor of 5/2 + 776/16?
True
Let a be ((-36)/42)/((1 + 0)/(-7)). Let j = a + 30. Is j a multiple of 6?
True
Let c(b) = -b**3 + 2*b**2 - b + 8. Let h be c(0). Suppose h*f - 362 = 182. Does 5 divide f?
False
Suppose v + 88 = 3*v. Is 7 a factor of (-3 + v/8)*(0 - -20)?
False
Let o(r) be the third derivative of r**6/10 - r**4/12 + r**3/3 + 13*r**2. Does 6 divide o(1)?
True
Suppose 2*x = -0*r - 2*r + 8, 3*x = r + 4. Suppose -174 = -0*z - x*z. Is z a multiple of 18?
False
Suppose n + 2*r - 19 - 1 = 0, 3*n - 60 = -2*r. Let j = 33 - n. Does 9 divide j?
False
Suppose 3*v + z - 2*z = -67, -v - 4*z = 31. Let l = v + 25. Suppose 69 = 2*j - 3*f, -2*j + l*f + 75 = -3*f. Is j a multiple of 7?
False
Let j be (-4)/(-6) - 365/(-15). Suppose -3*f = 10 - j. Suppose 0 = -5*p + d + 132, f*p = d + 3*d + 138. Does 10 divide p?
False
Let g(q) = 4*q**3 + 4*q**2 + 3*q + 1. Is g(4) a multiple of 8?
False
Suppose -5*c - 4*o = 8, -6 = 4*o - o. Suppose 2*m - 5*b = c, 0*b = 4*m + 3*b. Suppose m*l + l = 22. Is 4 a factor of l?
False
Let f(s) = -s**3 + 7*s**2 + 2*s - 7. Let q be f(7). Suppose -q*w = -6*w + 63. Let i = -29 - w. Is 12 a factor of i?
False
Let y(i) = 28*i + 32. Let f be y(16). Suppose 0 = -12*n + 7*n + f. Is n a multiple of 16?
True
Let z(b) = 4*b**3 - 17*b**2 - 30*b - 21. Does 16 divide z(9)?
True
Suppose 6*u + 176 = 8*u. Is u a multiple of 2?
True
Let b = 16 + -21. Is 14 a factor of (-10)/b + -2 - -42?
True
Let t be 4*-4*(-3)/12. Let w be (-2)/3*60/(-8). Suppose u + 179 = 3*v - u, t*v - w*u = 248. Is v a multiple of 19?
True
Suppose 0 = -22*w + 12*w + 120. Suppose -425 = 7*r - w*r. Does 14 divide r?
False
Let p = 474 + -279. Is p a multiple of 13?
True
Let z = -234 + 147. Let s = 186 + z. Does 33 divide s?
True
Let k = 124 - -11. Let h = 200 - k. Is h a multiple of 14?
False
Is 2 a factor of -594*(-2)/3 - -9?
False
Let f(z) = -z**2 + 29*z - 39. Does 57 divide f(15)?
True
Suppose 12 = -4*h, -3*p + 2*h - 276 = h. Let o = 7 - p. Suppose -3*j - 2*j + 5*a + 120 = 0, -4*j + o = -3*a. Does 18 divide j?
False
Suppose 2*z - 22 - 18 = 0. Suppose a + a = -z. Let q = 11 - a. Does 7 divide q?
True
Suppose 0 = -2*p + 7*p - 225. Let j(r) = -r**2 - 6*r. Let f be j(-6). Suppose -3*g - 6 + p = f. Is g a multiple of 4?
False
Suppose 7*x + 18 = -2*x. Let k(g) = -2*g**3 + 2*g**2 + 2*g + 1. Let q(z) = z**3 -