/50)?
True
Let w = -15 + 21. Suppose 0 = -x - 2*x - w. Does 4 divide 72/(-9)*x/1?
True
Let k = 362 - 31. Is 5 a factor of k?
False
Suppose k = 6*k + 3*z + 52, -60 = 5*k + 5*z. Let o = -5 - k. Suppose -45 = o*n - 4*n. Does 15 divide n?
True
Let k = -220 - -250. Is 2 a factor of k?
True
Let i = 208 + -3. Suppose -4*x - i = -789. Suppose 0 = o + 4*y + 36 - x, y + 445 = 5*o. Does 30 divide o?
True
Does 4 divide -2*(1695/(-6))/5 - -3?
True
Let r(h) = -24*h - 34. Let z = -47 + 38. Does 13 divide r(z)?
True
Let z(x) = 9*x**3 - 100*x**2 + 37*x + 6. Is z(12) a multiple of 6?
True
Let t = 65 + -60. Suppose -4*i - t*p + 498 = -168, -4*i = -p - 654. Is i a multiple of 18?
False
Let l(s) = -s**3 - 2*s**2 - 21*s + 273. Is 91 a factor of l(0)?
True
Does 4 divide -116*(-3)/9*3?
True
Let z be 20*-1*(-8)/32. Let f(i) = 2*i**3 - 7*i**2 + 2*i - 7. Is 6 a factor of f(z)?
True
Is (2380/(-112))/((-2)/488) a multiple of 75?
False
Let f = 6 + -6. Let m(g) = 3*g**2 + 18. Does 5 divide m(f)?
False
Let v(x) = 18*x**3 - 2*x**2 + x. Let r be v(1). Let y = -16 + r. Is 4 a factor of 1 + y + -2 + 12?
True
Suppose -t - 13 = 3*y, -27 = -4*t + 6*t + 5*y. Let m = t - -18. Suppose -2*v - 43 + 185 = -2*i, -m*v + 145 = -3*i. Does 17 divide v?
True
Suppose 0 = 331*t - 322*t - 1584. Is 11 a factor of t?
True
Suppose 176 = 10*t + 6*t. Does 21 divide (t/22)/(2/252)?
True
Let z(l) = l - 16. Let h be z(16). Suppose -2*s + 6*s - 88 = h. Does 7 divide s?
False
Suppose -4*u - 2 = 5*d + 3, 2*u = 3*d + 25. Suppose 3*l + 18 = t, -u*t + 18 = l - 4*l. Does 7 divide ((-4)/l)/(14/441)?
True
Let a be (-141)/4 + (-9)/12 + 0. Let f = a - -72. Is 4 a factor of f?
True
Let p be 4 - -2 - (-8 - -10). Let d(v) = 24*v + 6*v**2 - 19 - 4*v - 10*v - v**3 + p*v**2. Is 27 a factor of d(10)?
True
Let b(o) = -o**2 - 5*o + 10. Let x be b(-9). Let g = 28 + x. Suppose -g*v + 7*v - 75 = 0. Does 11 divide v?
False
Suppose -p + 3*i + 517 = 0, 4*p - 1741 - 299 = -2*i. Is p a multiple of 73?
True
Let f(x) = 83*x**3 - 4*x**2 - 7*x + 19. Is f(2) a multiple of 25?
False
Suppose 0 = -2*d + 5*m + 385, -3*d + 515 = 8*m - 3*m. Does 10 divide d?
True
Suppose 0 = -t + 181 + 23. Suppose -3*c = -5*c + t. Is c a multiple of 41?
False
Suppose 5*a - 2*o + 19 = -6*o, -4*a = -4*o + 8. Is -101*3*a/9 a multiple of 18?
False
Suppose -168*l + 188*l = 4380. Does 2 divide l?
False
Suppose 12*m - 1207 = 2201. Does 6 divide m?
False
Suppose h - 4*r = 2389, -11*h + 3*r - 9651 = -15*h. Is h a multiple of 59?
False
Let t(b) = -2 - 9*b**3 + 9*b + 10*b**3 - 8*b**2 + 2. Let z be t(7). Let v(n) = -n**3 + 13*n**2 + 15*n + 3. Is 17 a factor of v(z)?
True
Let r(m) = m**2 - 28*m - 35. Is 8 a factor of r(-12)?
False
Is 13 a factor of (1521/(-15))/((-142)/70 - -2)?
True
Let p = -802 + 913. Is 2 a factor of p?
False
Let i be (-4)/10 + 3585/25. Let q = -101 + i. Is q a multiple of 21?
True
Let q = -10 - -22. Suppose 5*b - q = 4*p, -2 = -b + 4*p + 10. Suppose b*z + 51 = 3*z. Does 5 divide z?
False
Let k(o) = -177*o + 46. Does 11 divide k(-1)?
False
Suppose -33*y - 7*y = -5880. Does 7 divide y?
True
Suppose -16 = -2*f - 6. Suppose f*d = 3*z + 372, 124 = -z - 3*d + 2*d. Let u = -48 - z. Is u a multiple of 19?
True
Suppose 12 + 10 = 2*a. Suppose -4*c + 19 - 83 = -4*r, 0 = r + 4*c - a. Is r a multiple of 7?
False
Let r be (1 + 13)*(0 + 1). Let q be 3132/(-14) - 4/r. Does 28 divide (q/(-20))/((-1)/(-10))?
True
Let s = -5 - -25. Let n be (s/15)/(4/12). Suppose -2*u = -0*p - 2*p - 262, -3*p - 527 = -n*u. Does 34 divide u?
False
Suppose -8*k + 4*k + 5*t = -6058, -k = -3*t - 1518. Is 12 a factor of k?
True
Let h(f) be the second derivative of -73*f**3/3 + f**2/2 - 33*f. Does 21 divide h(-1)?
True
Let f(b) = 74*b**3 + 3*b**2 - 9. Is f(3) a multiple of 14?
True
Suppose 3*r - 4066 = 6*g - g, g - 5406 = -4*r. Suppose 6*f = 2*f + r. Suppose 2*j = 3*t + 214, -f = -3*j - 5*t + t. Is 20 a factor of j?
False
Suppose 5*w - 5 = -m - 0, 0 = 5*w + 4*m - 20. Suppose 0 = 5*c - 2*i + i - 181, -3*c + 4*i + 112 = w. Is c a multiple of 9?
True
Let f(q) = 7*q - 49. Does 7 divide f(20)?
True
Let g be (-2)/((-2)/(-124)*-4). Let y = 44 - g. Is y a multiple of 5?
False
Suppose 0 = 5*p - 9 - 6. Let g be (p + -9)*34/4. Let j = -6 - g. Is j a multiple of 19?
False
Suppose -4101 = -14*d + 7995. Does 24 divide d?
True
Suppose 2*x + 340 = -56. Let l = 374 + x. Is l a multiple of 14?
False
Let s = 473 - 308. Let d = -98 + s. Is d a multiple of 23?
False
Suppose -23*v = -24*v - 64. Let c = v + 140. Suppose -2*d = -w - 3*w + 52, 5*w + 3*d = c. Is w a multiple of 7?
True
Let b = -28 + 30. Suppose 108 = b*n + 2*l, 2*n + 2*l = l + 105. Is n a multiple of 14?
False
Suppose -2*f = 3*l - 169, l + 4*l + 15 = 0. Let s = -116 + 121. Suppose 0 = -3*j - h + 85, s*j - f = 2*j - 5*h. Does 14 divide j?
True
Does 7 divide 2/4*(1427 - -43)?
True
Let b = -102 + 138. Is (-8)/b - (4 + 1084/(-18)) a multiple of 5?
False
Let c(b) = -5*b**3 - b - 9. Is 7 a factor of c(-4)?
True
Suppose -j - 3*j + 324 = 0. Suppose -j = -19*s + 16*s. Does 24 divide s?
False
Is ((-19938)/54)/(-1) + 2/(-9) a multiple of 23?
False
Suppose 68*n = 20*n + 27840. Is n a multiple of 5?
True
Let l = -16 + 4. Let z(m) be the third derivative of -m**5/60 - m**4/2 + 17*m**3/6 + 2*m**2. Does 5 divide z(l)?
False
Let n(x) = -320*x + 25. Is n(-3) a multiple of 34?
False
Let r = 0 - 5. Let v = r - -8. Does 11 divide 22 - (1 + -1)/v?
True
Suppose -41*z - 2250 = -46*z. Does 25 divide z?
True
Let w be (-2)/(((-45)/1780)/9). Does 30 divide w/2*5/20?
False
Suppose 0 = y - 2*v - 218, -136 = -5*y - 5*v + 999. Does 16 divide y?
True
Let j(m) = m + 14. Let l be j(-7). Suppose l*c = 188 + 281. Is 10 a factor of c?
False
Let f(a) = -3*a**3 - 6*a**2 - 8*a - 22. Is f(-5) a multiple of 15?
False
Suppose -r - b - 2 = 0, 4*r - 2*b - 4 + 0 = 0. Suppose 3*y + r*n - 118 = n, 0 = 2*y - 2*n - 76. Does 10 divide y?
True
Suppose -2 = -d - 0*d. Let x(h) = d*h + 2*h + 15 - 3*h + 47. Is 31 a factor of x(0)?
True
Suppose -5*q + 1257 = 3*b + 339, 298 = b - q. Is 25 a factor of b?
False
Let l = 114 + 90. Is l a multiple of 15?
False
Suppose x - 162 = 4*k + 47, 5*x = -2*k + 1155. Is 6 a factor of x?
False
Let x(g) = 8*g + 54. Let k(z) = 2*z**2 - 21*z - 27. Let y be k(12). Is x(y) a multiple of 15?
False
Let r(k) = 2 + 0 + 0*k - k**2 + 4*k. Let z be r(4). Suppose 3*t + 20 = -z*t, -3*t - 224 = -4*p. Is 13 a factor of p?
False
Let r = 201 - 158. Suppose 0 = -3*h + h - 56. Let t = r + h. Is 15 a factor of t?
True
Let j(t) = -10*t**3 + 2*t**2 + 4*t - 4. Is j(-3) a multiple of 16?
True
Let u = 136 - 11. Is u a multiple of 27?
False
Let q(y) = 14*y**3 + y**2 - y + 1. Let h be q(1). Suppose -3*k = 4*z + 36, -3*z + h = -3*k - 0*z. Let t = k + 24. Does 16 divide t?
True
Suppose -5*b + 4*r + 2060 = 0, 0*r - 412 = -b + 4*r. Let l = b - 241. Is l a multiple of 16?
False
Let x be 2/(1 - (-3)/(-5)). Suppose -x*w + 3*w = -84. Does 10 divide w?
False
Let l = 13 - 16. Let d = 24 + l. Suppose 4*o = 133 - d. Is 8 a factor of o?
False
Let b(c) = 7*c**2 - 16*c + 21. Let i(x) = -x**2 - 1. Let a(m) = b(m) - 4*i(m). Let y(j) = 6*j**2 - 8*j + 13. Let k(o) = 3*a(o) - 5*y(o). Is 35 a factor of k(7)?
False
Let j(d) = -114*d**3 + 7*d**2 - 7*d - 3. Let o(r) = -38*r**3 + 2*r**2 - 2*r - 1. Let i(a) = 2*j(a) - 7*o(a). Let t = 9 + -8. Is i(t) a multiple of 11?
False
Let p(i) = -i - 1. Let u(r) = 16*r**3 - 4*r**2 - 2*r - 8. Let l(x) = -4*p(x) + u(x). Let o be l(3). Suppose 4*z - o - 10 = 0. Is z a multiple of 17?
True
Suppose 0 = -4*v - 19*v + 6486. Is v a multiple of 21?
False
Let x(a) = -a**3 + 13*a**2 - 1. Let u be x(13). Is 14 a factor of (-330)/11*u/1?
False
Suppose 3*x - 5*c + 9 + 40 = 0, 2*x - 5*c + 36 = 0. Let q = 29 - x. Is q a multiple of 21?
True
Suppose 0 = -n + 6*n + 2*m - 1983, 4*m = -n + 411. Suppose 5*k - a = -145 + n, 0 = -a. Let b = 8 + k. Is b a multiple of 23?
False
Suppose 3*c = -8 + 14. Suppose 2*g - g - 65 = -5*t, -3*t - 143 = -c*g. Is g a multiple of 25?
False
Let h(m) = -5*m**3 - 4*m**2 - 18*m + 5. Let f(i) = 3*i**3 + 3*i**2 + 12*i - 3. Let t(d) = -8*f(d) - 5*h(d). Let p be t(5). Is 6 a factor of ((-8)/10)/(p/45)?
True
Let h(d) = d - 1. Let c be h(8). Suppose c*t = 275 + 33. Is 11 a factor of t?
True
Suppose -984 = -21*a + 19*a. Is 52 a factor of a?
False
Suppose -3*i + 423 = -4*n, 2*i = -3*n 