 Is 56 a factor of m?
False
Suppose 0 = a - 4*a - 24. Let l = a + 17. Let z = l - -17. Is z a multiple of 20?
False
Let g(b) be the first derivative of b**3 + 5*b**2/2 - 4*b - 1796. Let l be 0 + 1/((-2)/(-6)). Is g(l) a multiple of 11?
False
Suppose 34025 + 13126 = 93*c. Is 10 a factor of c?
False
Suppose 0*d + 5*d - 5*r - 15 = 0, -2*d - 5*r = 15. Suppose -31*f = -1462 - 4676. Suppose d = 3*o - 57 - f. Does 16 divide o?
False
Let a(r) = -39*r**2 + 86 - 451 - r - 43*r**2 + 78*r**2. Let c(z) = -6*z**2 - 2*z - 548. Let w(o) = -8*a(o) + 5*c(o). Does 32 divide w(0)?
False
Let h = 25158 + -18430. Is 8 a factor of h?
True
Let n(y) = y**3 + 2*y**2 - y + 4. Let v be (-18)/(-6)*(-2)/(-3). Let q be n(v). Suppose -110 = -4*u + q. Does 4 divide u?
True
Let v = -2833 - -4536. Is v a multiple of 13?
True
Suppose 1 = -a + 4, 2*o = 4*a + 6450. Let y be (-4)/(-3) - o/(-27). Suppose 341 + y = 6*d. Does 13 divide d?
False
Let b = -11248 - -23421. Is b a multiple of 11?
False
Let u = 0 + 2. Let r = -199 - -205. Suppose -240 = -r*g + u*g. Does 12 divide g?
True
Let f(j) = -j**2 + 15*j + 21. Let p be f(13). Suppose -6*a + 66780 = p*a. Is a a multiple of 14?
True
Suppose 4*a = 5*p + 4523, 0 = 4*a - 2*p - 5135 + 597. Does 69 divide a?
False
Suppose 5*o + 5*y + 145 + 25 = 0, -y + 38 = -o. Let h be (-6)/(-4) - 18/o. Suppose -h*z + 141 = -13. Does 21 divide z?
False
Let d(q) = -q**2 + 18*q - 23. Let g = -82 + 162. Suppose 2*h + 7*s - 23 = 6*s, g = 5*h - 2*s. Is d(h) a multiple of 11?
True
Let c = 12151 + -3295. Is 26 a factor of c?
False
Let m(y) = -y**3 + 72*y**2 + 109*y + 291. Is 55 a factor of m(59)?
True
Suppose -2*b - 2*w + 110 = -3416, 5*w = 35. Is 30 a factor of b?
False
Let n(s) = s**2 + 17*s + 5. Let u be n(-8). Let t = 70 + u. Does 3 divide (2/t)/((-6)/(-45))?
False
Let n(c) = -c**3 + 7*c**2 + 9*c - 6. Let y(b) = 2*b + 61. Let x be y(0). Suppose 65*q - x*q - 28 = 0. Is n(q) a multiple of 5?
False
Let w(i) = -i**3 + 48*i**2 - 79*i - 173. Does 13 divide w(34)?
True
Suppose -26 = -8*f + 6. Suppose 0 = 2*a - 3*i - 1 - 1, 4*i + 36 = -f*a. Does 10 divide a - (-224 - (-2)/(-2))?
True
Suppose 0 = 3*s + s - 3*x - 8, -4*s - 2*x + 28 = 0. Suppose 0 = 3*v - 3*b - 9, v - s*v + 5*b = -16. Let z(o) = 3*o**2 - 5*o - 4. Is 4 a factor of z(v)?
True
Suppose 2*u = 4*y - 3*u - 60, -5*u = 2*y. Suppose -v + 109 = -y. Suppose 0 = -3*w + v + 100. Is 10 a factor of w?
False
Suppose -5*q - 25084 = 2996. Is 26 a factor of q/45*1*(-30)/9?
True
Let f be (-1)/(-1 + 0 + 9/10). Suppose f*w = 6*w + 880. Suppose 0 = u - 4 - 1, 0 = -5*k + 5*u + w. Is k a multiple of 6?
False
Let w be ((-344)/215)/(4/770). Let a = -233 - w. Is a a multiple of 5?
True
Let z be (-3 - 1) + 1 - -6. Suppose -2*l - 119 = -2*f + 103, 0 = z*f - 2*l - 335. Let n = 374 - f. Is 22 a factor of n?
False
Let c(f) = 12268*f - 2588. Is c(5) a multiple of 108?
True
Let w(r) = -11*r**2 - 109*r + 88. Let q(b) = 3*b**2 + 27*b - 22. Let f(t) = 9*q(t) + 2*w(t). Does 39 divide f(11)?
True
Suppose 5*b + 4484 + 1255 = 3*j, 0 = 3*b - 18. Is 70 a factor of j?
False
Let n = -4 - -17. Suppose -16*t + 15 = -n*t. Suppose t*i - 145 = 420. Is i a multiple of 9?
False
Let b(w) = 32*w**2 - 46*w + 142. Is b(13) a multiple of 8?
True
Suppose q = 3*j + 1461, 3*q - 3359 - 1054 = 3*j. Let v = 3051 - q. Is 75 a factor of v?
True
Let i be 6/(-4)*((-4)/(-12) - 3). Suppose 3*w - 18 = -i*u - 0, 2*u - 14 = -4*w. Suppose 3*d - 309 = -w*f, -d - 3*f = 4*d - 515. Is 23 a factor of d?
False
Suppose 4*r + 3*f + 166 = 61, -3*r - 78 = 2*f. Does 39 divide (-2)/(-12) - 3956/r?
False
Let z = 522 - -3419. Is 7 a factor of z?
True
Let g(m) = m**2 + 13*m - 48. Is g(65) a multiple of 31?
True
Let d be (-16)/(-14) - 5/35. Let y = 4 - d. Suppose y*l + 60 = 6*l. Is 4 a factor of l?
True
Is 59 a factor of (10982 - 139)*(-4)/(-7)?
False
Let u(j) = 5*j**3 - 5*j**2 + 191*j + 117. Is 167 a factor of u(14)?
True
Let n(p) = -78*p + 419. Is n(5) a multiple of 29?
True
Let m(z) = -z**3 - z**2 - z - 8. Let o be m(0). Let h(l) = 7*l**2 - l - 16. Is h(o) a multiple of 44?
True
Let p(f) = -16*f**2 + 9*f + 13. Let d(s) = s + 2. Let q(r) = 3*d(r) - p(r). Is q(-2) a multiple of 11?
False
Is 281916/31 + (-30)/465 + 4 a multiple of 26?
False
Let y = -4690 + 6436. Is 6 a factor of y?
True
Let u = 1351 - 727. Suppose -3*v = 13*v - u. Is v a multiple of 27?
False
Suppose -268*u - 152258 = -650202. Does 20 divide u?
False
Let m = 41974 + -17736. Is 13 a factor of m?
False
Let v(a) = a**3 + 15*a**2 - 16*a + 5. Let q(z) = 7*z - 2. Let r be q(-2). Let s be v(r). Suppose 2*y + 60 = s*y. Is 7 a factor of y?
False
Suppose 24*n - 21*n - 6 = 0. Is 18 a factor of ((-42)/28)/(1990/(-992) + n)?
False
Let b(w) = -97 - 10*w + 49 + 48. Does 5 divide b(-11)?
True
Does 23 divide (-7)/((-84)/60) - (2 - (0 - -9289))?
True
Suppose 6*v = 7*v + 6. Let m be (-1230)/50 + v/(-10). Is 6 a factor of -2 + m/(-15) + 302/5?
True
Let c be 16/(-12)*(-9)/2. Suppose -17 = -c*j + 7. Let v = j - -5. Is 5 a factor of v?
False
Let m(d) = 2*d + 14. Let y be m(0). Suppose n + 11 = -5*r, 2*r + 0*n + y = 2*n. Is 27 a factor of r/(4 - 109/27)?
True
Let k = -65 + 115. Suppose k = -5*t - 0*t. Is (-2 + t)*10/(-3) a multiple of 10?
True
Suppose -75*k + 13640 = -20*k. Suppose 255*y = k*y + 3024. Is y a multiple of 8?
True
Suppose 5*f + o + 0*o - 128222 = 0, 4 = 2*o. Does 12 divide f?
True
Let a(k) be the second derivative of -k**4/12 - 3*k**3/2 - 8*k**2 - 8*k. Let w be a(-4). Suppose 5*m = w*m + 48. Does 4 divide m?
True
Let t = 180 - -2885. Is 156 a factor of t?
False
Let c(q) = 10*q**3 - 8*q**2 + 10*q - 5. Let o(t) = t**3 - t**2 + t. Let g(f) = -c(f) + 4*o(f). Let l be g(-6). Suppose 14*p - l = 367. Is p a multiple of 22?
True
Let q(m) = 215*m - 249. Is 8 a factor of q(7)?
True
Is (10332/9)/((-10)/(-25)) a multiple of 14?
True
Let h(z) = -z**3 - 8*z**2 + z + 1. Let o(k) = -k**3 - 24*k**2 + 13. Let b(l) = -3*h(l) + o(l). Suppose -3*f + 0 + 6 = 0. Does 4 divide b(f)?
True
Let y = -697 - -707. Let w(t) = 2 - t + 0*t + 18. Is 5 a factor of w(y)?
True
Let r = 49826 + -31808. Is 7 a factor of r?
True
Suppose 5*h - 10670 = -5*w, 1149*w - 2116 = -h + 1154*w. Is 27 a factor of h?
False
Let x(y) = -5*y**2 + 194*y - 65. Let j be x(36). Suppose -442*i + 2175 = -j*i. Does 6 divide i?
False
Let v = 116 - -632. Let x = v - 462. Is 6 a factor of x?
False
Suppose 40256 + 47831 = 59*x. Is x a multiple of 7?
False
Let g = 16921 - 14512. Is g a multiple of 73?
True
Let x(d) = d**3 + 33*d**2 + 24*d - 52. Is x(-25) a multiple of 42?
False
Let a(m) = -199*m - 25. Let x = -17 + 15. Is 15 a factor of a(x)?
False
Suppose 32*l - 57*l = -32*l + 28875. Does 6 divide l?
False
Let w(b) = -b**2 - 5*b - 13. Let n be w(-9). Let s = -44 - n. Suppose r - 68 = -3*d, -204 = -s*r + 2*r + 5*d. Does 34 divide r?
True
Suppose 23*m + 119 = 30*m. Let b(f) be the second derivative of f**5/20 - 4*f**4/3 - 13*f**3/6 + 31*f**2/2 - 15*f. Is b(m) a multiple of 33?
True
Let x(j) = -5*j - 1. Let l be x(-3). Let d = l + -28. Is 16 + d - (-110 + 0) a multiple of 28?
True
Let n(m) = -2*m + 10. Let v be n(-9). Suppose -12*d + 8256 = -v*d. Let c = d + 746. Is c a multiple of 23?
True
Does 9 divide 18/6*(-3)/15 - (-412532)/20?
False
Let d(r) be the third derivative of -r**4/12 + r**3/3 - 9*r**2. Let c be d(-1). Suppose 4*n - 4*l = 5*n - 16, 0 = 2*n + c*l - 28. Does 12 divide n?
True
Is 92 a factor of 10 + ((-27)/((-27)/10684) - -2)?
False
Let r(y) = 52*y - 140. Let h be r(20). Suppose 5*w - 7*a - h = -9*a, a + 369 = 2*w. Is w a multiple of 7?
True
Let l = 284 + -229. Is (1100/l)/((-2)/(-76)) a multiple of 10?
True
Let p(j) = j**3 + 19*j**2 - 20*j + 1. Let s be p(-20). Let u be s*(-5)/((-5)/311). Suppose 6 - 2 = c, -5*n + u = -c. Is n a multiple of 7?
True
Suppose 4*a = 3*v + 29649, 14793 = 21*a - 19*a + 3*v. Does 7 divide a?
False
Let z(v) = -v**2 + v - 1. Let m(d) = 3*d**2 - 7*d + 18. Let g = 5 - 6. Let k(b) = g*m(b) - 4*z(b). Is k(6) a multiple of 8?
True
Is 123 a factor of (1*(-1095)/6)/(7/(-854))?
False
Suppose 0 = -5*t + 12*t + 14. Let i be ((-75)/2)/(12/32*t). Suppose 0 = 2*m - u - i, m - 4*m + 75 = -5*u. Is 3 a factor of m?
False
Let w(t) = -3*t**3 - 8*t**2 - 15*t - 47. Let x(o) = -5*o**3 - 10*o**2 - 16*o - 46. Let y(p) = -3*w(p) + 2*x(p). Is 20 a factor of y(-4)?
False
Suppose 44*t + 12