- 5*l = 280, 8*g - 2*l - 210 = 5*g. Let x be 2*(155/g - 4/(-14)). Suppose -y + 32 - x = 0. Is y a multiple of 27?
True
Suppose 1563*s = -2*w + 1560*s + 51714, -5*w = -s - 129319. Is w a multiple of 50?
False
Suppose 22*p = -4*l + 9970, -7*l + 11*l + 2*p = 10110. Is 112 a factor of l?
False
Let k be (32/6 - 4)*(-3)/2. Let p(v) = -v**2 - 2*v - 3. Let m be p(k). Does 10 divide (-170)/m + 0 + 3/9?
False
Let m(f) = -51*f - 49. Suppose 2*k - 14 = 3*k + 2*y, 4*y = k + 26. Let g be m(k). Suppose 4*l = -229 + g. Is 32 a factor of l?
True
Let t(s) = s**2 - 11*s. Let v(i) = i**3 + 7*i**2 + i - 22. Let d be v(-6). Let f = 4 + d. Does 6 divide t(f)?
True
Suppose -33*x = -35*x + 6228. Suppose 13*m - 4*m = x. Is m a multiple of 46?
False
Let n be -3 + (-26)/(-8) + 1551/4. Suppose -4*b + n = 6*i - 2*i, 4*b - 16 = 0. Let g = i - -6. Is 9 a factor of g?
True
Suppose 29 + 7 = 12*k. Suppose -c + 5*d = -316 + 65, -2*d = -k*c + 701. Let w = c - 117. Is w a multiple of 19?
True
Is ((-338)/(8 - 34))/(1/342) a multiple of 18?
True
Suppose -68 = -33*j + 16*j. Suppose 0 = j*i - 16, -3*m + 162 = 5*i + 46. Is 9 a factor of m?
False
Suppose 5*c - 16650 = -2*j, 3*c = 4*j - 2*j - 16682. Is j a multiple of 11?
False
Suppose -7750 = -3*k - 4*y, -372*y = -368*y - 28. Is 39 a factor of k?
True
Suppose 5*w + 3741 = -2*k, 4*k + 3*w = -2*w - 7507. Let o = -1331 - k. Does 54 divide o?
False
Let r(a) = -5*a**2 + 4*a - 2. Let n be r(2). Does 51 divide (-113820)/(-186) + n/(-217)?
True
Let k(p) = -8*p - 45. Let d be k(-18). Let n be (-4)/2 + -4 + 2. Let z = d - n. Is z a multiple of 13?
False
Suppose 2*d - 24 - 6 = 0. Let w(c) = -2 - 7 - 8 + 30*c + d. Does 28 divide w(1)?
True
Let h be 0 + (273/26)/(2/4). Suppose h*u = 68*u - 5922. Is u a multiple of 9?
True
Suppose -4*m = 4*c + 1708, 0 = -0*m - 5*m + 2*c - 2142. Let h = m - -500. Is h a multiple of 4?
True
Suppose -5*r + 30 = -5*t, -4*r - 4*t = -r - 11. Suppose k - 114 = r*j, 3*j = 4*k - 259 - 163. Is 8 a factor of k?
True
Suppose 3*t + 3 = 0, 14*t + 26764 = 2*c + 10*t. Does 20 divide c?
True
Let q(f) = f**2 - 48*f + 3696. Is q(98) a multiple of 24?
False
Suppose -6*c - 239 = -23. Let l be 20/(-6)*c/(-10). Is 23 a factor of (2/1)/((-8)/l) + 114?
False
Let g be 2 + 7 + 2 + -8. Suppose 0 = o - 5*c + 4*c - 315, g*c = -o + 307. Does 23 divide o?
False
Suppose 5*s - 4*b + 8 = 0, 3*b - 2 = s - 7. Let z be 4/(-1) + 6 - s. Suppose z*y = -0*y + 522. Is 29 a factor of y?
True
Let c(i) = -8*i + 7*i + 149 + 2*i**2 + i. Let k be c(0). Let g = k - 99. Is 5 a factor of g?
True
Let b = -72 - -85. Suppose 1 = -4*m + b. Suppose -o + m*c + 73 = 0, 2*o - 102 = -7*c + 2*c. Is o a multiple of 11?
False
Suppose -2*d - 888 = -6*d. Suppose -t + q = -3*q + d, -5*t - q - 1005 = 0. Let a = 353 + t. Does 33 divide a?
False
Suppose -4*v + 5*g = -8870, 2*v + 2188 = -g + 6630. Is v a multiple of 19?
False
Suppose 0 = 25*u - 15480 - 34220. Is 14 a factor of u?
True
Let f be (3/9 + 0)/((-1)/(-15)). Suppose f*m + 19 = y, -m - 3 - 40 = -3*y. Let h = 68 - y. Does 27 divide h?
True
Let m(d) = -d**3 + 4*d**2 - 3*d + 5. Suppose -s - 2*z = 14, 3*s - 4*z = -z + 3. Let t be m(s). Let y = t + -63. Is 41 a factor of y?
True
Suppose 0 = 64*d - 49*d - 2430. Suppose 0*i = -3*s - 3*i + d, 3*s - 174 = i. Does 19 divide s?
True
Let v be 1832957/1547 - (2/13)/(-1). Suppose 1411 - 210 = 3*u + l, 3*l + v = 3*u. Is 19 a factor of u?
True
Suppose 4*j - 5 = -5*x + 8*j, -5 = -4*x + 3*j. Suppose 0 = f - x*v - 68, -2*v = -4*f - 0*f + 200. Does 7 divide f?
False
Is 16 a factor of 160/(-140) + (-207624)/(-28)?
False
Suppose 511 = -9*a + 2230. Is 51 a factor of a?
False
Let j(c) = 4*c**3 - 26*c**2 - 8*c + 41. Let v(b) = 3*b**3 - 27*b**2 - 9*b + 42. Let o(f) = 4*j(f) - 5*v(f). Is o(-30) a multiple of 17?
False
Let a = -13 - 11. Let f(g) = -38 + 6 + 2 - 5*g. Is f(a) a multiple of 9?
True
Let v(n) = -n**3 + 16*n**2 + 16*n - 2. Let d be v(18). Let r = -227 - d. Suppose r = 3*y - 0*w - 3*w, 3*y + 2*w - 110 = 0. Is 40 a factor of y?
True
Suppose 2*z = -2*o + 402, 2*o - 3*o - 211 = -z. Let y be (-1)/(((-6)/z)/3). Suppose 5*u - y = 5*g + 82, 5*u + 2*g = 206. Is u a multiple of 9?
False
Let j be 3/(-4) + (7 - (-100)/(-16)). Suppose j = -12*x - 208 + 808. Is x a multiple of 18?
False
Let l(m) = 2*m**3 - 9 + 5*m**3 - 3*m**3 - 3*m**3 - 4*m**2 + 4*m. Let r = -156 - -163. Is 12 a factor of l(r)?
False
Let j(u) = -37*u - 4314. Does 22 divide j(-182)?
True
Let i be (-4)/6*(-9)/(-6). Let x be (4/1 + -1 - 5)*i. Suppose -20 - 184 = -x*l. Does 19 divide l?
False
Let v(f) = -13*f - 64. Let a be v(-11). Suppose -5*s + 62 + 353 = 0. Let n = s + a. Does 19 divide n?
False
Let t = 28 + -28. Suppose m + 5*m + 120 = t. Does 12 divide -30*(-4)/m*-2?
True
Let s = 6961 + -813. Does 91 divide s?
False
Let d(h) = 6*h + 773. Is 8 a factor of d(-47)?
False
Suppose -7 = -4*w + 1. Does 30 divide 2 - w - (1 - -11)*-25?
True
Suppose -6*p = -20 - 16. Let i(q) = -15*q + p - q**2 - 15 + 0*q**2 + 5. Is i(-12) a multiple of 16?
True
Suppose 0 = -0*o - 4*o - 28. Suppose -251*x = -250*x - 92. Is 24 a factor of 6/2 + o + x?
False
Suppose 3*q + 66 + 34 = s, 4*s - 4*q = 408. Let u(x) = -2*x**3 + x**2 + 13*x + 12. Let f be u(-2). Suppose 3*p - f = 0, 3*p + s = 2*v + 11. Does 19 divide v?
False
Let s be (-2 - -4 - 0) + 36. Suppose 5*d - 273 = -s. Let g = -33 + d. Does 4 divide g?
False
Let f(k) = -k**2 - k + 2. Let y(l) = -3*l**2 - 3*l + 6. Let q(j) = -11*f(j) + 4*y(j). Let d be q(-3). Is 10 a factor of ((282 - -1) + d)*2/6?
False
Let q be -6*6/27*9/(-4). Suppose -q*b + 0*s = 5*s + 22, 4*b + 5*s + 21 = 0. Is b*4/(-6) - (-2568)/18 a multiple of 17?
False
Suppose -5*c + 0*c = 2*v - 20, -2*c + 8 = -v. Suppose -w + 0*w + 73 = v. Let k = w + 37. Is 12 a factor of k?
False
Let w(s) = -2 - s**2 + 72*s - 73*s - 168*s**3 + 2. Let j(k) = k**2 - 10. Let g be j(3). Is w(g) a multiple of 21?
True
Is 2/(228988/(-16359) + 14) a multiple of 41?
True
Let q = -11285 + 20735. Does 27 divide q?
True
Suppose -2158 - 1027 = -o - 4*x, -2*x - 12740 = -4*o. Is o a multiple of 15?
False
Let a = -17553 + 20686. Is 13 a factor of a?
True
Let k be 1/((-4)/(3 + -15)). Suppose k*t = -4*f + 228, 136 = 2*f + t - 5*t. Suppose f = -87*r + 90*r. Is r a multiple of 5?
True
Let f be 0*((-1 - -2 - -2) + -2). Suppose f = -c + 2*r + 3, -4*c = -5*c - 5*r + 10. Suppose 63 = x + c*l, -4*x = 3*l - 273 + 4. Does 17 divide x?
True
Suppose 464*s - 465*s = -6, 2*c - 4*s = 17400. Is 72 a factor of c?
True
Let q(n) = n**3 - 7*n**2 + 8*n - 4. Let y be q(6). Suppose 1 = 4*v - 5*x - 19, -v - 2*x - y = 0. Suppose 4*f - 640 = -v*f. Does 32 divide f?
True
Let i = -1274 - -1955. Is i a multiple of 26?
False
Let y(g) = g**2 + 14*g + 18. Let q be y(-13). Suppose -q*t - 3*c = -11, 0*c = -3*t + c + 15. Is (-124)/(t - (4 + 2)) a multiple of 19?
False
Let l(a) = -a**3 - 2*a**2 - 6*a - 5. Let k be l(-9). Let c = k - 412. Suppose -2*m + c = m. Is m a multiple of 34?
True
Suppose -4 = -h - x, 3*h - 2*x + x - 28 = 0. Let f(l) = -7*l - 22. Let n be f(h). Let y = 200 + n. Is y a multiple of 34?
False
Let k(r) = 2228*r + 37. Let t be k(5). Suppose -3842 = -23*y + t. Does 41 divide y?
False
Let c(b) = -31*b + 6*b - 34 - 40. Let g be c(-22). Let t = g + -308. Is t a multiple of 8?
True
Let h(o) = 7*o + 9. Let w be h(-2). Let c = 439 - w. Is c a multiple of 6?
True
Suppose 128*b + 5292 = 134316. Is b a multiple of 11?
False
Let t be 3/((-6 - -1)/70). Let m = t - -75. Suppose 0 = 31*u - m*u + 140. Does 16 divide u?
False
Let k(o) = -5*o + 4*o + o**2 - 5*o - 12. Let u be k(10). Let w = u + -3. Is w a multiple of 7?
False
Let p(r) = 418*r + 2378. Is 83 a factor of p(65)?
True
Suppose 0 = l - 5, l = 4*j + 8 - 99. Suppose -2*h + j = n + 1, -37 = -4*h + n. Suppose -7*y = -h*y + 375. Is y a multiple of 25?
True
Let j(s) = -186*s - 79. Is 136 a factor of j(-11)?
False
Let y(d) = -d**3 + 15*d**2 - 13*d + 34. Let j(g) = -g**2 - 9*g + 14. Let h be (-7)/(28/32) + -1. Let a be j(h). Is 24 a factor of y(a)?
True
Let q = 1177 + -473. Is 64 a factor of q?
True
Let q be (36/15)/(8/20 - 0). Suppose -q*o + 50 = -10. Is 3 a factor of (2/(-6))/(o/(-660))?
False
Let s = 155 + -38. Suppose 2*o - 8 = 0, -2*v + 183 + s = -4*o. Does 3 divide v?
False
Suppose -17*b - 215 + 300 = 0. Suppose 0 = -b*i + 22*i - 9962. Is i a multiple of 5?
Fals