*4/12 - 19*g**3/6 - 31*g**2 - 79*g. Is s(-10) a multiple of 4?
True
Suppose 0 = 12*r - 356 - 28. Suppose 35*b - 61 = r*b + 2*y, y = 4*b - 88. Is b a multiple of 3?
False
Let g(r) = -31*r**2 + 2*r - 4. Let w = -16 + 18. Let t be g(w). Is (4/(-4))/((-2)/t*-1) a multiple of 10?
False
Let w = 1241 - 781. Suppose -2131 = -3*g - 2*h, -2*g + 970 + w = -h. Is 23 a factor of g?
True
Let a be (-1 + 11)/(3 + (-1 - 0)). Suppose 0 = -a*l - 2*l + 35. Suppose -l*d = -478 + 158. Is 8 a factor of d?
True
Is (1240624/55)/28*(-30)/(4/(-2)) a multiple of 106?
True
Let m(x) = x**3 + 3*x**2 + x - 17. Let i be m(6). Let r = i - 78. Does 47 divide r?
True
Suppose -110*j + 107*j + 1088 = 2*a, 1456 = 4*j + 4*a. Does 30 divide j?
True
Suppose 0 = -10*w + 36*w - 20436. Let q(d) = -d**3 + 11*d**2 - 8*d - 13. Let g be q(10). Suppose z - g*z = -w. Does 18 divide z?
False
Suppose 10*o = 1702 + 31798. Suppose 892 + o = 14*k. Is 5 a factor of k?
False
Suppose -7*j + 13*j = 0. Let k = 5 + j. Suppose 0 = 3*m - 65 + k. Is m a multiple of 5?
True
Suppose -4*s + 8524 = 2*j, 54*j - 52*j - 8559 = s. Is 15 a factor of j?
False
Let i(t) = -56*t + 89. Let v be i(-9). Let y = -321 + v. Is y a multiple of 34?
True
Let q(t) = -3*t**3 - 35*t**2 - 267*t - 12. Is 12 a factor of q(-12)?
True
Let u(v) = 120*v**2 - 23*v - 82. Let w = 421 - 424. Is 15 a factor of u(w)?
False
Let j = -303 + 441. Suppose y - 129 = j. Suppose -7*k + 2*k = 4*a - y, -114 = -2*a + 4*k. Is a a multiple of 9?
True
Let v(u) = u**2 - u - 8. Let i(g) = 2*g**2 - 10*g + 5. Let l be i(4). Let c be v(l). Suppose 5*a + c*o - 233 = 0, -7*o + 187 = 4*a - 4*o. Does 7 divide a?
True
Suppose k - 316*i = -315*i + 10615, k + 3*i - 10595 = 0. Is k a multiple of 27?
False
Let s(w) = 2*w + 15. Let o be s(-6). Suppose x + 3*l - o = -x, -2*x + l = -15. Does 13 divide 311/x + 7/42?
True
Let i = -68 - -418. Let p(o) = -o**2 + 6*o + 4. Let n be p(6). Suppose n*q - 585 = 5*z, 80 = 3*q - 2*z - i. Does 28 divide q?
True
Let p = -11416 - -23138. Is 15 a factor of p?
False
Let c = 792 + -376. Suppose -5*x + 2*x = 2*u - c, -5*u = -4*x + 524. Is x a multiple of 16?
False
Suppose 0 = -13*z + 117, 3*y - 32052 = 18*z - 23*z. Is y a multiple of 8?
False
Let k(r) = 170*r + 2624. Is 42 a factor of k(-10)?
True
Let g(h) = h**2 + h - 3. Let o be g(2). Let d be (-2 - -2) + -1 + o. Suppose -276 = -3*z + d*j, z = 3*j + 89 - 4. Is z a multiple of 12?
False
Suppose -5*k + 2*x = -3*x - 10, 11 = 5*k - 4*x. Suppose -3*n + 2*m = -163, 2*m - k*m + 263 = 5*n. Suppose -n = 8*h - 893. Does 21 divide h?
True
Let p(i) = i**3 - 110*i**2 + 95*i - 258. Is 98 a factor of p(110)?
True
Let u = 250 - 252. Is 56 a factor of u - 11/((-55)/1130)?
True
Suppose 900 + 6247 = 8*s - 2853. Does 10 divide s?
True
Suppose -74*b + 79*b = 60. Suppose -7*z + b*z + 60 = 0. Does 4 divide (z/(-10))/(-6*5/(-375))?
False
Let u be -6 + 26/4 - (-2308)/(-8). Let z = u + 1013. Is z a multiple of 13?
False
Suppose 5*t = -10*t. Suppose 8*o - 31 - 9 = t. Suppose -o*j - 8 = -j, -248 = -4*w - 4*j. Is 5 a factor of w?
False
Let n(l) be the second derivative of 4*l**4/3 - 2*l**3 - 3*l**2/2 - 3*l. Let i(s) = -67*s - 270. Let j be i(-4). Is 23 a factor of n(j)?
False
Suppose 13*r = 18*r - 1100. Let z = -145 + r. Does 3 divide z?
True
Suppose -13*z + 90511 = -25410. Suppose 20567 = 39*g - z. Does 47 divide g?
False
Suppose 14*c + 25 = 9*c. Let r(t) = -39*t - 14. Is 22 a factor of r(c)?
False
Let w(q) = -9*q**3 + 14*q**3 - 11 + 12*q - 20*q - 3*q**2 - 6*q**3 - q. Let a = -4 - 1. Is 42 a factor of w(a)?
True
Let x = 192 - 57. Let i = 347 - x. Is i a multiple of 15?
False
Let t(d) = -d**2 - 5*d + 2. Let s be 2/5 - (-156)/(-15). Let h be t(s). Let g = 52 + h. Is g a multiple of 2?
True
Let y(h) be the first derivative of 3*h**2/2 - 2*h + 8. Is 5 a factor of y(11)?
False
Suppose 4*d - 12 = -2*f, f + 3 = -d + 4. Suppose -c = -d*c + 980. Is 49 a factor of c?
True
Let y(j) = -346*j**2 - 17*j - 16. Let s be y(-1). Let m = 386 + 114. Let p = s + m. Is p a multiple of 31?
True
Suppose -4*y + a + 159 = 0, 0 = 4*y + y - 3*a - 197. Let k = y - 24. Is (k/6)/(-6*6/(-432)) a multiple of 8?
True
Let c be (-4 - 550/(-125))/((-2)/(-755)). Let u(i) = -i**3 + 4*i**2 - 2. Let q be u(2). Suppose -q*y = -565 + c. Does 23 divide y?
True
Suppose 3*n + 264 = 9*n. Suppose 0 = -6*i + n*i - 11438. Is 43 a factor of i?
True
Suppose 371 = d + 3*c, 0*d + d + c = 375. Let w(o) = -o**3 + 10*o**2 - 14*o + 8. Let q be w(11). Let m = q + d. Is 48 a factor of m?
False
Let r(t) = -2*t**3 - 24*t**2 + 145*t. Does 5 divide r(-25)?
True
Let l = 21474 + -13794. Does 16 divide l?
True
Let p = 3855 - 2514. Is 79 a factor of p?
False
Let p be (-10 + 9)*1*-3. Suppose -p*c + 2 = 8. Does 23 divide (1 + -8)/(c/12)?
False
Let r = 232 + -52. Suppose 3*l - 213 = -5*p, -3*p + 5*l = -83 - 38. Suppose -p*n - r = -43*n. Is 45 a factor of n?
True
Let p(x) = 151*x + 843. Is p(46) a multiple of 7?
False
Let w(d) = 23*d**2 + 2*d + 2. Let q be w(-8). Suppose h = -y + 618, 1647 + q = 5*h + 2*y. Is 18 a factor of h?
False
Suppose 5*y = -0*k - 4*k - 26, -5*k - 12 = -4*y. Let u be (77/14)/(((-1)/k)/1). Suppose u - 69 = -x. Is 27 a factor of x?
False
Is 47 a factor of (6834/(-459))/((-4)/18)?
False
Suppose 301*u - 279*u = 8822. Is 16 a factor of u?
False
Suppose -5*g + 1505 + 515 = 0. Let p = g + -276. Is p a multiple of 32?
True
Let g(q) = 3*q**2 - 31*q + 193. Let i be g(6). Suppose -119*b + 2604 = -i*b. Is 34 a factor of b?
False
Let u = -37 - -25. Let t(r) = r**2 + 12*r + 17. Let z be t(u). Let l(o) = o**2 - 14*o + 20. Is 13 a factor of l(z)?
False
Suppose 1403*g - 1390*g - 169 = 0. Suppose -5*f + 72 + 33 = 0. Suppose g*c + 928 = f*c. Does 22 divide c?
False
Let u = 460 + -458. Suppose -2*n + u*l + 706 = 0, 0 = -5*n - 0*n - 5*l + 1755. Is n a multiple of 44?
True
Let l(h) = -8*h - 56. Let u be l(-8). Suppose x = -u + 10, 4*b - 116 = 4*x. Does 2 divide b?
False
Suppose 5*s = -5*n + 6*n + 24, -5*n - 28 = -2*s. Let r be 4/(n/327) - -2. Let t = r - -484. Is t a multiple of 9?
False
Suppose j = -28 + 32. Suppose 2*s - 114 = -j*u, 7*u - 4*u - 4*s - 102 = 0. Is u a multiple of 18?
False
Suppose -5*j = 4*o + 235 - 3365, 0 = -2*j - 5*o + 1252. Let d = -402 + j. Is 25 a factor of d?
False
Let x(s) = 2*s**2 - 6*s + 4. Let g be x(4). Suppose -8*m = m - 369. Let l = m - g. Is l a multiple of 29?
True
Let o be (-30)/(-75) - (-63)/5. Let l = -8 + o. Suppose -2*q = 4*b - 280, 4*b - 388 + 94 = l*q. Is 17 a factor of b?
False
Suppose -4*x + 5*x = w + 38, -x = 2*w + 76. Let y = w + 37. Does 5 divide 2/((-4)/6) + (-15)/y?
False
Suppose -26 = -8*y - 2. Suppose -z = -5*f - 2 - 12, -2*z + y*f = -14. Is 49 a factor of 2066/14 + z/(-7)?
True
Let h be (11442/27 - 0) + 8/36. Suppose 2*u + 2*u - 134 = -t, u - h = -3*t. Is 11 a factor of t?
False
Let x(m) = m**2 - 3*m - 16. Suppose -18 = -y - 7. Let b = y - 4. Does 12 divide x(b)?
True
Let s(z) = z**3 + 3*z**2 - 5*z - 6. Let l be s(-4). Let r = l - 30. Let h = -2 - r. Is h a multiple of 10?
True
Suppose 6*u - 15 = 15. Suppose -4*b = -b + u*v - 80, 2*v = -4*b + 130. Does 35 divide b?
True
Let m(f) = f**3 + 11*f**2 - 12*f - 1. Let q be -1*(-52)/(-4) + 1. Let o be m(q). Does 12 divide (o/(-2))/((-2)/(-120))?
False
Let x(h) = -5*h**3 - h**2 + 28*h - 12. Does 14 divide x(-5)?
True
Let h(w) = -39*w - 15*w**2 + 7*w**3 + 371 - 16*w**2 - 382 - 8*w**3. Is 20 a factor of h(-30)?
False
Let w = 996 + -282. Is (6/(-4))/((-17)/w) a multiple of 21?
True
Let i(k) = 22*k**2 + 32*k + 33 - 14*k**2 - 9*k**2. Is 28 a factor of i(27)?
True
Let v = -13257 + 30490. Is 35 a factor of v?
False
Let d be 355/(-7) + 5/7 + -1. Let l = d - -43. Let i = l - -48. Is i a multiple of 20?
True
Let p = 67 + -64. Does 34 divide 226 - (-3 - -12)*p/(-9)?
False
Let k(g) = g**3 - 6*g**2 - 16*g + 4. Let m be k(8). Suppose -3*b + 572 = m*w, -w - 3*b + 205 = 53. Is w a multiple of 7?
True
Let d be 24/6 + 1014 + -2. Suppose 0 = 3*g + x - 1512, -2*x - d = g - 3*g. Is g a multiple of 13?
False
Suppose -2 = 2*l, -2392 = -3*q - 2*l + 222. Does 2 divide q?
True
Let z = -36 - -39. Suppose -z*t - t = -12. Suppose -s - 221 = -t*h + s, -4*h + 308 = 4*s. Is 14 a factor of h?
False
Let a = -3 - -4. Let g(z) = -36*z - 304. Let h be g(-9). Is a + -2 + (-15)/h*-28 a multiple of 5?
True
Let m(u) = -u**3 + 42*u**2