0?
False
Let o be 12*(-1)/(-5)*(-20)/(-8). Suppose o*j - 639 = -165. Is 11 a factor of j?
False
Let k be (-1 - 3) + (3 - 0). Let q be k + 5 - (-9 - -13). Suppose 3*r = -q*r + 51. Is 9 a factor of r?
False
Suppose -65*o + 192 = -64*o. Suppose -6*d = -0*d - o. Does 3 divide d?
False
Suppose -2*q - 1 = -85. Suppose -5*d + 25 = l - 13, -3*d - q = -3*l. Does 9 divide l?
True
Let t = 11 - 5. Suppose 2*y - t*y = -548. Does 13 divide y?
False
Let s = -7 + 6. Let c(n) = -331*n - 1. Let t be c(s). Suppose 2*r - t = -3*r. Is r a multiple of 22?
True
Let h(i) = i**3 - 11*i**2 + 17*i - 25. Let z be h(10). Suppose 49*j - 88 = z*j. Is j a multiple of 6?
False
Let g(p) = p**2 + 18*p - 217. Is g(-27) a multiple of 13?
True
Let q(v) = 25*v + 2. Let g be q(2). Let x = g - 2. Does 10 divide x?
True
Let r(a) = -740*a - 44. Is 24 a factor of r(-1)?
True
Suppose -4*a = -r - 143, 2*r = -0*r + 10. Does 4 divide a?
False
Let r(j) = -12*j - 20. Is r(-19) a multiple of 8?
True
Let z be (34/(-3))/((-5)/(-15)). Let s = 60 + z. Is 13 a factor of s?
True
Let s be (-15)/20 + 34/(-8). Let b(v) = -v**2 - 4*v. Let m be b(s). Is 2 a factor of (6/m)/(2/(-10))?
True
Is 56 a factor of (-7074)/(-17) + 20/(-170)?
False
Let s be 3 - (2 + -1) - 0. Let d(r) = -3*r**s + 3 - 13*r + 4*r**2 - 13. Is d(15) a multiple of 5?
True
Let c = 502 + -179. Does 19 divide c?
True
Suppose -2*n + 22 = -2*r - 16, -39 = 2*r - n. Let b be (-134)/10*r/4. Let l = b + -38. Is l a multiple of 29?
True
Let p be 5*(532/(-20) - 4). Suppose -4*f + 2*z - 166 = z, -5*f - 212 = z. Let c = f - p. Does 25 divide c?
False
Let q = -58 + 85. Does 4 divide q?
False
Let x = -378 + 557. Let q = -120 + x. Is q a multiple of 7?
False
Let c(t) = -13*t**2 + 6*t - 3. Let w(u) = u**2. Let s(o) = -c(o) + 6*w(o). Suppose 3*x + 0*m - m - 8 = 0, 0 = -5*x + m + 12. Is 9 a factor of s(x)?
False
Let a be 12/9*-3 - -8. Suppose a*s - 471 = 89. Does 30 divide s?
False
Suppose 3*g = 5*a - 482, 5*a + 3*g - 2*g - 466 = 0. Let j = -65 + a. Is 21 a factor of j?
False
Let m = 258 - 104. Suppose -1061 = -9*j + m. Is j a multiple of 9?
True
Suppose 5*u = -3*k + 3433, -4*k + 32*u = 29*u - 4587. Is 25 a factor of k?
False
Let u = -22 - -18. Let y be (480/(-16))/(u/6). Suppose i + y = 2*i. Is i a multiple of 9?
True
Suppose -2*z = -3*z + 2. Let u(j) = 2*j - 3*j - 17 + 19*j**2 + 21. Is 39 a factor of u(z)?
True
Suppose -6*u - 44 = -2*u - 2*o, -3*o - 12 = 0. Let t(y) = -y**3 + 3*y**2 + 3*y + 3. Let d be t(4). Is d*(-2 - -3)*u a multiple of 13?
True
Let k(z) = z**2 + z. Suppose -20 = -16*a + 21*a. Let r = a - -9. Does 8 divide k(r)?
False
Let l = -95 + 97. Suppose l*s - 54 = -u + 90, 4*u = -2*s + 594. Is 15 a factor of u?
True
Suppose -365 = -4*i + 3*k, 407 - 39 = 4*i - 4*k. Is i a multiple of 9?
False
Suppose 1675 = 16*y - 11381. Is y a multiple of 16?
True
Let h(j) = -j**3 - j**2 - 4*j - 6. Let t be h(-4). Let l = t + -2. Is l a multiple of 28?
True
Let r = 7 + 10. Suppose 8*b + 3*b = 308. Let v = r + b. Is v a multiple of 14?
False
Suppose 0 = -13*r + 19899 - 919. Does 119 divide r?
False
Let g = 1182 + -637. Does 12 divide g?
False
Suppose 5*l - 5981 = 7*f - 8*f, 0 = 4*l + 3*f - 4787. Does 13 divide l?
True
Is 768*(40/(-8) + 6) a multiple of 6?
True
Suppose -w - 16*w = 1870. Let a(q) = -4*q**2 - q - 4. Let u be a(-3). Let f = u - w. Does 15 divide f?
False
Let w(n) = 5*n. Let j be w(1). Suppose -2*r + r - 63 = 3*b, -j*r + 3*b = 315. Is 8 a factor of r/(-4) + 6/24?
True
Let g = 470 + 1069. Is 57 a factor of g?
True
Suppose -34*d = -38*d + 18840. Is 15 a factor of d?
True
Let g be ((-6)/4)/(9/(-24)). Is 293/g - (-51)/68 a multiple of 19?
False
Let m(s) = -9*s**3 + 2*s**2 - 6*s + 5. Let b(t) = -t**3 + t. Let k(w) = -2*b(w) - m(w). Is 13 a factor of k(3)?
True
Suppose 2*r = b - 150, -156 = -3*b - 5*r + 283. Is b a multiple of 28?
False
Suppose -24 = -m - 6. Suppose 15*p - m*p = -99. Does 9 divide p?
False
Let f = 21 + -21. Is (-245 - f)*(-6)/15 a multiple of 14?
True
Suppose 2*s + 3*b = -12, -4*s + 20 = b - 6*b. Suppose i - 19 = -s*i. Suppose -i = -d + 8. Is 9 a factor of d?
True
Let r(o) be the third derivative of -o**5/60 - 17*o**4/24 - 23*o**3/6 - 26*o**2. Is r(-12) a multiple of 11?
False
Let b(x) = x + 5. Let y be b(-1). Suppose -y*g + 3*l - 1 = -345, 5*g + 3*l = 403. Does 15 divide g?
False
Let g(t) = 243*t - 11. Let m be (-3)/((0 - 3)*1). Does 9 divide g(m)?
False
Suppose -3*p = -2*q + 159, 0 = 3*p + 5*q - 0*q + 138. Let v = 91 + p. Does 20 divide v?
True
Suppose -4*i + 410 = 3*b, -i - 3*i = b - 142. Let l = b - 95. Suppose 4*x - 353 - l = 0. Is x a multiple of 28?
False
Suppose -155 = -4*c + 2*j + 383, 5*c = 4*j + 668. Let z = c - 47. Does 18 divide z?
False
Let u(z) = -2*z**2 - 3*z. Let j be u(-4). Let w be 2 - (20 - -2)/2. Let i = w - j. Does 5 divide i?
False
Suppose -14 = -v - 31. Does 51 divide (v/2)/((-30)/1440)?
True
Suppose -24*t = -21*t - 2466. Does 87 divide t?
False
Suppose 17*i - 2881 = 1199. Is 12 a factor of i?
True
Let x(s) = -1. Let r(a) = -a - 5. Let y(t) = r(t) + x(t). Let w be y(-2). Let q(i) = -i - 2. Is 2 a factor of q(w)?
True
Let s be ((-7)/(-2))/(3/18). Let q = 26 - s. Suppose -q*b + 609 = 149. Does 24 divide b?
False
Let p(k) = 2*k**2 + 7*k. Let h be p(-4). Suppose -h*u + 15 = -u. Suppose u*c = -3*t + 144, 3*c = -4*t + 4*c + 192. Does 8 divide t?
True
Is 121 a factor of (1 + (-828)/(-8))/((-5)/(-110))?
True
Let x = -1398 - -1819. Is 20 a factor of x?
False
Suppose 3*f = 174 + 483. Is 6 a factor of f?
False
Suppose 4*x + 3*q - 3 = x, 5*x + 4*q = 0. Let b(d) = -29*d - 2. Let z be b(x). Suppose -6*p + 4*p = -z. Is 21 a factor of p?
False
Suppose 25 - 286 = -k - 3*g, k = -g + 267. Suppose -11*i - k = -2316. Is i a multiple of 31?
True
Does 34 divide 1*-412*(-6 - 90/(-20))?
False
Let s = 136 - 69. Suppose -s = -4*i + 3*b, 2*i - 5*b = 4*i - 27. Let z = i + 10. Is 13 a factor of z?
True
Suppose 8*b - 2*a = 3*b + 1530, 0 = -5*a. Suppose 7*y - b = 65. Is 13 a factor of y?
False
Let m(r) = -r**2 - 13*r - 6. Let d be m(-13). Let b be (d/(-12))/(1/(-192)). Let k = b + 202. Does 31 divide k?
False
Let h(d) = 34*d**3 + 5*d**2 + d. Is h(3) a multiple of 69?
True
Let j = 25 + -23. Let o = j - -22. Is 5 a factor of o?
False
Let p = -47 + 34. Let b = -28 - p. Does 15 divide -8*3*b/6?
True
Suppose -k + 13 = -5*m, k + 2*m = -k - 10. Let h be k/(-2 + (-21)/(-10)). Let c = 2 - h. Is 11 a factor of c?
True
Let d = 5396 - 3762. Is 12 a factor of d?
False
Let n = 94 - -1768. Is 19 a factor of n?
True
Is ((-11)/(11/(-1)))/(1/86) even?
True
Suppose 3500 = -40*p + 44*p. Is p a multiple of 7?
True
Suppose -4*q - 5*g + 825 = 0, 0 = 4*q + q + 5*g - 1030. Suppose 0 = -2*y - 5*w - 115, 0*y - 4*y - 5*w - q = 0. Let d = 32 - y. Is 24 a factor of d?
False
Let d(f) = 3*f**2 + 17*f - 16. Let k be d(-13). Suppose -2*v = v - k. Is 17 a factor of 4520/v - (-4)/(-18)?
False
Suppose -2*n - 5*u = 19, -3*n - n + 2*u + 22 = 0. Suppose n*v = a + 107, 5*v - 88 - 57 = -5*a. Is 8 a factor of v?
False
Let k(v) = v. Let i be k(-4). Let h(a) be the third derivative of -3*a**4/4 - 5*a**3/2 + 606*a**2. Does 30 divide h(i)?
False
Let u = -144 - -243. Does 12 divide 8991/u + 4/22?
False
Is -183*(-26)/(-18)*-6 a multiple of 13?
True
Let o = 166 + -164. Suppose -51 = -4*k + 181. Suppose -i + k = 3*m - o, -m = -4. Is 16 a factor of i?
True
Let n = 2 - 23. Let s = -21 - n. Suppose 2*b - 7*b + 165 = s. Does 11 divide b?
True
Does 25 divide (-1)/(-5) + (-16966)/(-170)?
True
Let f = -43 + 25. Let b be (-2)/((-2)/(-3)) + (43 - 1). Let g = b + f. Is g a multiple of 7?
True
Suppose 6*q = 4*q + 2*j + 790, -2*q = j - 793. Is q a multiple of 12?
True
Suppose 9*d - 17 = -53. Is 19 a factor of 2/d*(-104 - 2)*1?
False
Let o = -1502 - -2108. Is o a multiple of 27?
False
Let c(j) = -2*j + 2. Let o be c(-2). Let b(g) = -130 + g**2 + 64 - g + 61. Is 16 a factor of b(o)?
False
Let d(r) = -r**2 + 21*r - 17. Let p = -19 - -27. Let c be (3 + -4 + 3)*p. Is d(c) a multiple of 9?
True
Suppose 0 = -5*f + 3*m + 396, -2*f - 5*m + 42 = -135. Suppose 82*h - f*h - 46 = 0. Is 41 a factor of h?
False
Let n = -3 - 0. Let y(p) be the first derivative of -p**4/4 - p**3 - p**2 + 4*p + 35. Does 5 divide y(n)?
True
Let o(x) = 58*x**2 + 4*x + 2. Let i(y) = -y**2 + y. Let r(l) = -3*i(l) + o(l). Let j be r(-1). Let a