be t(-1). Suppose -h*k + 67 = q*b, -2*b + 3*k + 11 = -2. Does 11 divide b?
True
Let d(t) = -2 + 8*t**2 + 4 - 9*t**2 + t + t**3 - 2*t. Let w be d(0). Suppose 2*v + 144 = 3*l, 2*l - 35 = -w*v + 51. Is 23 a factor of l?
True
Let t = -2028 - -2884. Is 6 a factor of t?
False
Suppose 3*q = 2*y + 52, -4*q + 9*q - y - 96 = 0. Does 5 divide q?
True
Let k(u) = 109*u**2 + 7*u - 10 - 14 - 107*u**2 + 6. Is 6 a factor of k(-8)?
True
Suppose 5*l - 131 = 84. Let z = -5 + l. Does 7 divide z?
False
Let d(j) = j**3 - 6*j + 5 + 8 - 7 - 6*j**2 + 0*j**3. Suppose -a - 8 = -r, -3*r = -4*r - 2*a + 5. Is d(r) a multiple of 5?
False
Let v = -2520 + 3888. Is 38 a factor of v?
True
Let y be 1 + (-920)/(-14) + 2/7. Let c = 70 - y. Is c a multiple of 3?
True
Let r(h) = 85*h + 75. Is 39 a factor of r(6)?
True
Let t = -2428 - -3409. Does 109 divide t?
True
Let m(z) = z**2 - 19*z - 68. Does 8 divide m(-20)?
True
Let h = 15 - -3. Suppose 3*k + h = -w, 3*w + 17 = -2*k - 2. Let p = 25 + k. Is p a multiple of 12?
False
Suppose 0 = i - 8 + 6. Let m be ((-37)/2)/((-1)/i). Suppose 4*u + u - m = -3*d, -19 = -3*u - 5*d. Is u a multiple of 8?
True
Is 19 a factor of 5/((-5)/(-22)) + 0 - 3?
True
Let s(z) = -z**2 + 7*z - 7. Let u be s(5). Suppose f - 4 - u = 0. Does 7 divide (14/(-5))/(f/(-35))?
True
Suppose 5*q - 595 = l - 0*l, 0 = 3*q - 5*l - 357. Is 7 a factor of q?
True
Let l(m) = m**2 - 4. Let k = 28 + -25. Let d be l(k). Suppose q = -q - 5*s + 155, 4*s + 470 = d*q. Is q a multiple of 15?
True
Let p(x) = -x**3 + 2*x**2 - 3*x + 21. Let t be p(0). Suppose -147 = -14*y - t. Is 3 a factor of y?
True
Let s = 114 - -1316. Does 55 divide s?
True
Let t = 18 - -82. Let w = t - 46. Is w a multiple of 14?
False
Is ((-18)/4)/(50180/(-4560) + 11) a multiple of 92?
False
Suppose -5*a = 4*v - 15, v = -a - 0*v + 3. Let n(h) = -2*h + 13. Let c(x) = x - 1. Let i(d) = a*c(d) + n(d). Does 5 divide i(10)?
True
Suppose 3*b + 2*b - 45 = 0. Let y be (-33)/b*(-72)/4. Suppose 0 = -3*z - 5*j + y, 3*z + j - 66 = -j. Is z a multiple of 22?
True
Suppose 3*m = 2 + 82. Let q = m + -21. Is 2 a factor of q?
False
Let m(t) = t + t**3 - 4*t - 2*t**3 + 8*t**2 - 6. Is m(6) a multiple of 16?
True
Let g(k) = k**3 - 8*k**2 + 13*k + 10. Let v be g(10). Suppose 2*s - 6*s = -v. Does 20 divide s?
False
Suppose -c - 2*c + 3*p = -165, -3*p - 225 = -4*c. Let f = c - 23. Is 10 a factor of f?
False
Let o(a) = 45 - 26 - 21 - 135*a. Does 26 divide o(-1)?
False
Suppose 0 = -5*v - 2*a + 1505, -5*v - 2*a + 301 = -4*v. Does 26 divide v?
False
Let x(s) = -2*s**2 + 25*s - 9. Let a be x(13). Let f = 209 - a. Does 21 divide f?
True
Suppose -5*q - u = 22, -2*u = 2*q + 11 + 1. Let t = 64 + q. Is t a multiple of 10?
True
Suppose 284*w - 3252 = 272*w. Is w a multiple of 3?
False
Let s be ((-6)/9)/((-1)/6). Suppose 7 = 2*z - 1. Suppose 16 = l + z*b - b, -4*b + 80 = s*l. Is l a multiple of 22?
True
Let g(u) = 232*u**2 + 1. Let h be g(-1). Suppose 0 = 4*i - h - 427. Suppose 3*f = 3*l - i, f + f - 4 = 0. Is 19 a factor of l?
True
Does 9 divide ((-126)/294)/(2/(-1302))?
True
Let u(c) = -124*c**3 - 3*c**2 + 4*c + 6. Let v(j) = 248*j**3 + 6*j**2 - 7*j - 11. Let o(y) = -11*u(y) - 6*v(y). Is o(-1) a multiple of 41?
True
Is 11 a factor of (4*(-8)/24)/(2/(-201))?
False
Is 53 a factor of (17 - (2 + 1))*(-7632)/(-56)?
True
Suppose -72 = -2*c + 4*w, 5*c + 76 = -w + 201. Is 10 a factor of (-4)/c + (-2096)/(-104)?
True
Suppose -2 - 252 = -3*p + 2*h, 2*h = -2. Suppose -8*b + p = -7*b. Is 21 a factor of b?
True
Let v be -23*(1 - 0/3). Let p be 117/(-2) + (-27)/18. Let l = v - p. Does 10 divide l?
False
Suppose -2*t - 2*t + 5 = w, -4 = -5*t - 2*w. Suppose t*s - 3 = -7. Is 0/s + (-1020)/(-17) a multiple of 20?
True
Let r(o) = 35*o**2 - 15*o - 138. Is r(-7) a multiple of 29?
True
Let g(k) = 8*k**2 + 2*k - 1. Let d(z) = z + 9. Let m be d(-7). Let y be g(m). Suppose 13 = t + 4*c - 37, -t - c = -y. Is 10 a factor of t?
True
Let f(c) = -c - 30. Let b be f(-12). Is 3 a factor of 1 - -1 - b/6?
False
Let c = -10 - -21. Let y = c + 5. Suppose 18*d = y*d + 62. Does 25 divide d?
False
Suppose 2*w - 18 = -4*h, 3 = -h - 3*w + 5*w. Suppose 6 = -h*i + 12. Let j(f) = 2*f**3 + 3*f**2 - 2*f + 1. Is j(i) a multiple of 16?
False
Let b be 2/12 - (-18)/(-108). Suppose 4*q + u - 167 = 285, b = 5*u + 20. Is q a multiple of 38?
True
Let b(p) = p**3 - 18*p**2 + 26*p - 33. Let w be b(16). Let u = -108 - w. Is u a multiple of 21?
True
Suppose 5*y = -794 + 2094. Is 13 a factor of y?
True
Let s be (-614)/(-8) + (-9)/12. Let m be s - (0 + -2)*-1. Does 12 divide m/3 + (-12)/18?
True
Let k(f) = -21*f - 12. Let h be k(-12). Suppose h = 4*l - 76. Let y = -17 + l. Is 16 a factor of y?
False
Let t(v) = v**2 - 5*v - 7. Let i be t(8). Suppose -6*q + 1 = -i. Is q/3 - 9/(-1) a multiple of 6?
False
Let m(h) = h**2 + h - 205. Is 30 a factor of m(-26)?
False
Let m(f) = -f**2 - 5*f + 10. Let q be m(-7). Let u be (-2)/q*(161 - -5). Let l = u + -43. Does 20 divide l?
True
Let i(m) = m**2 - 2*m + 4. Let w = 7 - 3. Is 12 a factor of i(w)?
True
Let q be 6*2/(-28) + (-24)/(-7). Suppose 0 = q*x - 522 - 171. Is x a multiple of 7?
True
Let z = 127 + -122. Suppose z*w + 47 - 224 = -3*f, 2*f + w - 125 = 0. Does 16 divide f?
True
Let f(i) = 13*i**2 + 60*i + 619. Is 14 a factor of f(-12)?
False
Let f(d) = -d**3 + 14*d**2 + 4*d + 28. Let b be (-4 - -6)/(1/7). Is f(b) a multiple of 28?
True
Suppose -384 = 4*a - 1044. Does 55 divide a?
True
Let w(t) = 9*t**2 - 10*t - 11. Is w(5) a multiple of 4?
True
Suppose z + n + 0*n + 1 = 0, 0 = -2*z - n - 2. Let u = 37 - z. Let b = u - 11. Is b a multiple of 19?
False
Let o(y) = -y + 12. Let k be o(10). Suppose -g = 0, 0 = -k*w - g + 5*g + 144. Let t = 125 - w. Is t a multiple of 21?
False
Let j be ((-3700)/(-8) - -1)*4/3. Suppose 0 = -5*m - 2*l - 202 + j, -5*m + 404 = -2*l. Is 5 a factor of m?
False
Suppose -p - 3*o = -18, -p = 7*o - 3*o - 22. Let z be 1/(-3) + 56/p. Is 13 a factor of (3/(-2))/(z/(-228))?
False
Suppose 4*t = -2*o + 964, -4*o + 5*o = 2. Is t a multiple of 6?
True
Let j be ((-78)/65)/(6/(-20)). Suppose -51 + 6 = -3*d - j*k, -d - 5*k = -4. Does 12 divide d?
False
Suppose -4*j = -16, -2*j + 4*j = h - 558. Is 11 a factor of h?
False
Let v(u) = u**3 + 5. Let h be v(0). Let y(i) = 8*i - 10. Let s be y(h). Does 4 divide 3/((s/(-14))/(-5))?
False
Suppose -2*a - 114 = -3*i - a, -3*a = i - 38. Let b = i + -10. Does 7 divide b?
True
Suppose 5*c + 278 = 3*w, -3*w + c + 48 = -250. Does 2 divide w?
False
Let i = 1472 + -692. Does 38 divide i?
False
Let w = -190 + 195. Let a = -1 + 1. Suppose a*q - w*q = -300. Does 15 divide q?
True
Suppose 2*l = -3*l + 60. Is 26 a factor of 91 - 4/l*9?
False
Let y = 2259 + -1139. Does 56 divide y?
True
Let x(p) = 218*p**2 - 7*p - 17. Is x(-2) a multiple of 45?
False
Let z = 22 - 28. Let d be (3 + 9/z)*6. Suppose 0 = -14*l + d*l + 70. Is l a multiple of 14?
True
Let q(d) = -11*d**3 + d**2 - 1. Let f be q(-1). Let c = -8 + f. Suppose 135 = 3*n + c*w, -5*n = -2*w - 3*w - 255. Is n a multiple of 16?
True
Suppose 653*k - 5460 = 646*k. Does 12 divide k?
True
Suppose -10465 = 77*n - 84*n. Does 115 divide n?
True
Let h(x) = -18*x**3 - 6*x - 5. Is 70 a factor of h(-2)?
False
Let u = -523 - -795. Is u a multiple of 34?
True
Let m(b) = -3*b**2 + 6*b - 2. Let s be m(2). Is (-200)/(-8) - (-1 - s) a multiple of 12?
True
Let d(a) = -9*a**3 - 18*a**2 + 7*a - 23. Let q(o) = -5*o**3 - 9*o**2 + 3*o - 12. Let i(n) = 6*d(n) - 11*q(n). Is 35 a factor of i(9)?
False
Suppose 2*r + 221 = 3*i, 72 = i - 0*r - r. Suppose 4*h = 297 - i. Is 43 a factor of h?
False
Suppose 2*u = 5*u. Suppose 2*l - 6*l - 7 = 3*m, -5*m + 5*l + 35 = u. Is 2 a factor of m?
False
Let b = 353 + -229. Does 62 divide b?
True
Let v be (5 - -3) + -3 + -1. Suppose v*q + 3*q = 441. Is 9 a factor of q?
True
Let l = -3 + 1. Let a = 1 - l. Suppose -5*u = -a*u - 64. Is u a multiple of 7?
False
Let f(x) = 3*x**2 - 2*x + 6. Is f(-4) a multiple of 4?
False
Suppose -9 + 3 = -2*b, -3*o = -3*b + 12. Let a be (o - 4/(-3))*399. Suppose 5*g - 153 = -2*r, -4*r = 5*g - 7*r - a. Is 8 a factor of g?
False
Let l(k) = 112*k**2 + 3*k - 4. Let p be l(3). Suppose 280 = 2*h - 2*n, n + p - 313 = 5*h. Suppose 2*m - h = -14. Is 21 a factor of m?
True
Let x(p) = 2*p**2 - 5*p - 69. Is x(-6) a multiple of 11?
True
Suppose -4*m + 1374 