j?
False
Let u = 113 - 40. Let x = 99 + u. Is 8 a factor of x?
False
Suppose -345 = 3*q - 906. Suppose 3*i = 2*a + q + 286, -5*a - 162 = -i. Is 6 a factor of i?
False
Suppose 7*w - w = -0*w + 30528. Is 24 a factor of w?
True
Let w be (20/(0 + 5) - 2)*2. Let p = w + 38. Is 4 a factor of p?
False
Let f(x) = 2751*x**2 - 116*x + 116. Is 110 a factor of f(1)?
False
Suppose 2*c - 2 = 0, z + 5*c = -2*z + 9545. Does 20 divide z?
True
Let i(q) = q**3 - q**2. Let d(x) = -5*x**3 + 5*x**2 - 3*x - 8. Let v(u) = -d(u) - 6*i(u). Let f be v(4). Is ((-80)/f)/((-6)/(-63)) a multiple of 13?
False
Suppose 14555 = 3*o + 2*r - 7*r, 5*o + 2*r = 24217. Is o a multiple of 5?
True
Let y(b) = -56*b - 207. Let s(u) = 110*u + 415. Let j(l) = 4*s(l) + 7*y(l). Is j(18) a multiple of 17?
False
Let k(d) = -13*d**3 + 316*d**2 - d + 24. Is k(22) a multiple of 31?
False
Let d(k) = 10*k**2 + 3*k - 13. Let x be d(-7). Suppose -4*s + 10*s = -x. Let q = s + 231. Does 35 divide q?
False
Let x be ((-2)/5)/((-18)/180). Suppose x*g = -3*k + 1674, 5*g - 4*g - 558 = -k. Is 21 a factor of k?
False
Suppose -3*d + 2460 = 5*a - 8*d, -5*d + 2004 = 4*a. Let t = 6 - 3. Suppose 2*b - 339 = t*n, 5*n = -3*b + 7*n + a. Does 10 divide b?
False
Suppose 0*n = 3*n. Suppose n = x - 7 - 108. Suppose -5*y + x = 2*i, -5*i + 4*i - 4*y + 56 = 0. Does 10 divide i?
True
Let k(p) = -p**3 + 6*p**2 + 5*p + 16. Let a be k(7). Suppose 5*d - 11 = -141. Let j = a - d. Is 28 a factor of j?
True
Suppose 4*x - f + 0*f - 24 = 0, -5*x = f - 21. Suppose x*z + 63 = -112. Let g = z + 45. Is g a multiple of 9?
False
Suppose 3*d - 6 = -w, -4*d = -2*w - 2*w - 8. Suppose 9 = -79*h + 82*h, i = h + 1. Suppose i*j + j - 40 = w. Does 2 divide j?
True
Let p(k) = -4*k - 28. Let i be p(-6). Let t = i + 7. Suppose -2*r = -t*b + 79 + 5, -3*r = 0. Is 7 a factor of b?
True
Suppose 4*q - 3608 = q + 4*d, 0 = -2*q - d + 2398. Let w = q - 540. Is 30 a factor of w?
True
Let v be 4799 + (-3 - 12/6). Suppose 0 = 25*d - v + 494. Is d a multiple of 12?
False
Let x = -66593 - -105563. Is 10 a factor of x?
True
Let p = -15867 - -27172. Is 119 a factor of p?
True
Suppose -4*c - 161 = -3561. Let o = c - 278. Is o a multiple of 13?
True
Let n(k) = k**3 - 19*k**2 - 6*k - 25. Let d be 52/(-13)*(-2)/8 + 19. Let z be n(d). Let i = 599 - z. Is 21 a factor of i?
False
Let i(x) = x**2 - 159*x + 5087. Does 7 divide i(30)?
False
Let x be -9*(6/21 - 376/(-56)). Is (-5 - -6)*x/(-3) a multiple of 3?
True
Let b = 8664 + -3756. Does 12 divide b?
True
Suppose 9*r = 67874 - 2273. Does 109 divide r?
False
Let x(i) = 1 + 10356*i - 10339*i - 5. Is 42 a factor of x(10)?
False
Let o(y) = y**2 + 141*y - 133. Is 102 a factor of o(63)?
False
Suppose 3*i + 9 = -5*q, 0*i + i = -4*q - 3. Let j(y) = -y**3 - 2*y**2 + 5*y + 7. Let u be j(i). Is (4/5)/(u/155) a multiple of 31?
True
Does 14 divide (28/(-70))/(1/(-25340))?
True
Is 49 a factor of 3 + 2396 + -14 + 11 + 6?
False
Suppose 0 = 3*q + 2*t - 136, -4*q + 3*t = -q - 141. Let r = 149 - q. Is 21 a factor of r?
False
Let v(j) = -12*j**3 + j**2 - 14. Let d be v(4). Let z = -213 - d. Is 6 a factor of z?
False
Suppose -4014358 + 803852 = -134*d. Does 19 divide d?
True
Suppose 4*k - 13 = -x, -5*x - 36 = -2*k + 9. Is (-173 - 5 - 5)*x/3 a multiple of 8?
False
Let n = -221 + 191. Is (680/n + -4)/((-1)/6) a multiple of 16?
True
Suppose -q = -5*w + 2*w - 16, 0 = -5*q - 5*w + 180. Let k = 47 + -44. Suppose 4*m - 66 = -2*i, 0*i = 2*i - k*m - q. Is 14 a factor of i?
False
Let y(c) = c**3 + 124*c**2 + 58*c + 53. Does 50 divide y(-19)?
False
Suppose 8952 = 7*z - 3*z. Suppose 0 = -20*s + 26*s - z. Suppose 2*j - 150 = l, 0 = -2*j + 7*j - 2*l - s. Is j a multiple of 11?
False
Does 7 divide 58*2983/228 + (-1)/(-6)?
False
Suppose -4*j = 4*h - 8, 0 = -5*j - 0*j - 2*h + 13. Let t be (149 - j)*(-5)/(-10). Let g = 141 - t. Is 34 a factor of g?
True
Suppose n + 15311 = 4*w, 2*w - 317*n - 7659 = -320*n. Is w a multiple of 162?
False
Suppose -15*w - 43320 = 5*w. Let y = -1412 - w. Is y a multiple of 19?
False
Is 89825/600*6 - (-1)/(-4) a multiple of 57?
False
Suppose 2*h = -h + 5*p + 32, -5*h + 2*p + 28 = 0. Suppose -5*l + 17 + 55 = h*m, 0 = l. Suppose -3*n + 21 = 5*v, 0*n - n + m = -2*v. Is 3 a factor of n?
True
Let k(q) = 4*q - 164. Let d be k(42). Suppose 3*g = -d*l + 1529, 3*l - 441 = -4*g + 697. Is 6 a factor of l?
False
Let a = -31603 - -62309. Is 15 a factor of a?
False
Suppose -3*s = -4*o - 25194, -64*s = -65*s + 4*o + 8398. Is s a multiple of 10?
False
Suppose -4540 = -16*g + 21*g. Let w = -476 - g. Is 10 a factor of w?
False
Is (3793 - 13)*(-1)/((-30)/36) a multiple of 27?
True
Let o = 645 - 665. Let v = -20 + 12. Does 8 divide v/o + (-204)/(-15)?
False
Let o be ((-5)/(-10))/(2/8). Suppose 2*q - 200 = o*i - 3*i, 2*q - 200 = -2*i. Does 20 divide q?
True
Suppose 0 = -335*f + 336*f + 3*v - 5800, 23242 = 4*f - 2*v. Is 83 a factor of f?
False
Let a(r) = 41*r**2 - 11*r + 5 + 17*r**2 + 11*r**2 - 15*r**2. Does 6 divide a(3)?
False
Let o be (5/(-2))/(14/(-2296)). Let k = 522 - o. Does 7 divide k?
True
Suppose -14*g - 31 = -1095. Let l = -36 + g. Let d = l - -6. Does 22 divide d?
False
Let h(f) = -2539*f + 1850. Is h(-2) a multiple of 12?
False
Let n = 54 + -45. Let j(z) be the second derivative of -z**4/6 + 23*z**3/6 - 5*z**2/2 - 3*z. Does 11 divide j(n)?
False
Is (-73091)/14*-2 - 792/(-1848) a multiple of 13?
False
Let o(b) = -16*b + 25. Let y be 4 - 2/(12/78). Does 27 divide o(y)?
False
Suppose -p = -5*b + 12276, -3*b + 10*p = -0*b - 7328. Is 10 a factor of b?
False
Let j(i) = -6*i**2 - 12*i. Let o(f) = 2*f**2 + 4*f. Let c(l) = -6*j(l) - 17*o(l). Is 22 a factor of c(9)?
True
Suppose -12*n - 8*n = 260. Let f(x) = 3*x**2 - 4*x - 27. Is 14 a factor of f(n)?
True
Is 46 a factor of 11454/(-10)*(-140)/42?
True
Suppose r - 2*t - 150 = 32, -5*r - 2*t + 898 = 0. Is 45 a factor of r?
True
Suppose 0 = 45*t - 49*t + 32. Suppose -8 = -t*y + 32. Suppose -61 = -i - y. Is i a multiple of 27?
False
Does 47 divide (42/1*(-17 - -20))/(24/2892)?
False
Let d(m) = -m - 3. Suppose 2*x = -8 - 4. Let w be d(x). Let k(j) = 3*j**2 - 3*j + 3. Is 2 a factor of k(w)?
False
Suppose 13*u + 6*u + 4313 = 0. Let k be (-9)/(0 - (-6)/332). Let x = u - k. Is 51 a factor of x?
False
Suppose 14*b - 10583 = -5*b. Suppose -2*c + b + 811 = -4*j, -j - 3411 = -5*c. Is 36 a factor of c?
False
Suppose -2282 = -22*q + 20*q. Let x = q - 519. Is x a multiple of 19?
False
Let f be 1*9 - (-216)/(-36). Is 2 - (f - (616 - -5)) a multiple of 13?
False
Let x(r) = -16*r**2 - 4*r + 18*r**2 + 6 + 9 + r**3 + 5*r. Let n be x(-3). Does 31 divide 39 - (0 - n)/3?
False
Let l be 8 - -3*(-2)/(-3). Suppose 15*d - 600 = l*d + f, 5*d = 2*f + 600. Is d a multiple of 5?
True
Let h = -74 + 83. Does 56 divide 2519/h + 2/18?
True
Suppose 2467 - 217 = 5*l. Let m = 639 - l. Does 27 divide m?
True
Let g(a) = 19*a**2 + 128*a + 316. Is 31 a factor of g(-22)?
True
Suppose 0 = 1202*j - 1210*j + 968. Is j a multiple of 7?
False
Let c be 0 - -3 - (-13 + 16). Suppose 4*f - 288 = -2*w + 12, c = -5*f + 4*w + 362. Is 37 a factor of f?
True
Let g = 11129 + 7905. Is 62 a factor of g?
True
Let j(k) = -7*k - 1. Let l(x) = 2*x. Let f(t) = 3*j(t) + 8*l(t). Let z be f(-1). Is 27 a factor of z/9 - 0 - (-54324)/486?
False
Let i(a) = 11*a**2 - 14*a - 8. Is i(12) a multiple of 44?
True
Let h be 8*((-9)/6*-1 + -1). Suppose -720 = -5*v + 8*k - h*k, -5*k + 144 = v. Suppose 0*l - 2*l = 4*d - 100, -3*l + v = 4*d. Is 11 a factor of l?
True
Let i(j) = 2*j**3 - 31*j**2 - 8*j - 655. Is 12 a factor of i(27)?
False
Suppose 27*b - 4*b - 8901 = 0. Suppose b = 11*o - 735. Does 17 divide o?
True
Let h(j) = -j**3 + 100*j**2 + 16*j + 1159. Does 196 divide h(99)?
True
Let w(t) be the third derivative of -4*t**2 + 1/60*t**5 + 0*t - 11/24*t**4 + 35/6*t**3 + 0. Is w(9) a multiple of 4?
False
Let g(x) = -2*x**3 - 219*x**2 - 274*x - 67. Is 17 a factor of g(-109)?
True
Suppose -254*d + 261*d = -63. Is (-44 + -2)/(d - 1611/(-180)) a multiple of 20?
True
Let w = 9644 - 3329. Does 76 divide w?
False
Let f(i) be the first derivative of 1/2*i**4 - i**3 + 3*i**2 + 5*i - 20. Is 27 a factor of f(4)?
False
Let q be (-1 + -3)/1 - (-125 + 72). Let h = q + 122. Is 11 a factor of h?
False
Let x(g) = g**3 + 17*g**2 - 19*g - 4. Let j be x(-18). Let n = j + 23. Suppose -m + n + 39 = 0. 