factor of m?
False
Let n(t) = -23*t - 2. Let j be n(-9). Let r = j + -37. Does 28 divide r?
True
Suppose -5*w + 20 = 5*u, 3*w - 4*w = 5. Let x be 1362/48 + u/(-24). Is 10 a factor of (x/(-21))/((-4)/210)?
True
Let q = 526 - -212. Is q a multiple of 7?
False
Let n = 71 - 168. Let g = -46 - n. Is 17 a factor of g?
True
Let h(f) = -2*f**2 + 3*f + 16. Let a be h(8). Let r = a + 144. Does 14 divide r?
True
Let h(a) = -5*a**2 + a + 1. Let n be h(-1). Let u(w) be the third derivative of -w**4/24 - w**3/3 - 50*w**2 + 2. Is u(n) a multiple of 3?
True
Suppose -3*i = 3*b - 3, b - 25 = -i + 6*b. Suppose 4 = -2*d - i*u, -4*d - 3*u - 6 = -d. Let l(m) = -m**3 + m**2 + 3*m + 2. Does 3 divide l(d)?
False
Suppose -8*s = 9*s - 24497. Is s a multiple of 11?
True
Let s(u) = -3*u - 11. Let g be s(-9). Suppose p + 5*t - 3 = 3*p, -4*t = -20. Let a = g - p. Is 3 a factor of a?
False
Let n(l) be the third derivative of l**6/120 + 7*l**5/60 + l**4/6 - l**3/3 - 15*l**2. Is 2 a factor of n(-6)?
True
Suppose 19 = -4*i + 2*c - 7*c, -2*i - 4*c = 8. Is 34 a factor of i/(-39) + (-880)/(-26)?
True
Suppose -403*w + 423*w = 4640. Does 27 divide w?
False
Suppose 2*x = 6*x - 576. Let t(u) = u**3 - u**2 - 2*u + 2. Let f be t(2). Suppose b + 3*j - 46 = 0, -2*j = -f*b + x - 44. Does 14 divide b?
False
Suppose -5*u - 5 = -0*u, -2*u - 2 = -g. Let n = -8 - -12. Does 15 divide n + -1 + g + 12?
True
Let r = -438 + 1279. Is r a multiple of 38?
False
Let k = 807 + -353. Is k a multiple of 5?
False
Is 25*(-5)/((-150)/12) a multiple of 5?
True
Let x = -57 - -219. Is x a multiple of 7?
False
Suppose -3*r + j + 3000 = 129, -3*r = 3*j - 2883. Does 79 divide r?
False
Suppose 57*y = 6*y + 1530. Is y a multiple of 3?
True
Let q(x) = 3*x**2 + 42*x + 34. Does 11 divide q(-17)?
True
Let b(f) = -3*f**3 + 3*f**2 + 5*f + 3. Let x be b(-3). Suppose -5*y + 2*y + x = 0. Does 32 divide y?
True
Let d(v) = -v**2 - 8*v. Let r be d(-9). Suppose -f + 11 + 67 = 0. Is 2 a factor of 6/(-9) - f/r?
True
Let y(v) = v**2 - 9*v + 8. Let u be y(6). Let o be (6/(-6))/(2/u). Let r(h) = h**2 - 3*h + 12. Does 11 divide r(o)?
True
Let r(o) = -329*o - 44. Is r(-2) a multiple of 9?
False
Let w(y) = 37*y - 105. Is w(22) a multiple of 31?
False
Let h(o) = 6*o**2 + 12*o - 22. Let n be h(9). Suppose 0 = 7*b - n - 30. Does 13 divide b?
False
Does 15 divide (-1)/((-2)/7)*(178 + -56)?
False
Suppose -4*f + 5*f = 0. Suppose 75 - 11 = -5*o - 2*d, f = -2*d - 4. Does 22 divide (-1)/(-4) - 897/o?
False
Let s(k) be the first derivative of 45*k**3 + k**2/2 - k - 1. Let m be s(1). Suppose 2*p - 4*h = 72, -3*h + m + 97 = 5*p. Does 9 divide p?
False
Suppose -5*z + 16 = 2*x, -x - 4*x = -5*z + 30. Let o(n) = n**3 + 3*n**2 + n + 2. Let v be o(x). Suppose 6*l - 60 = v*l. Is 15 a factor of l?
True
Let j = 46 - 43. Suppose j*h - 48 = -3*h. Does 3 divide h?
False
Let b be (7 - 5)*(-30)/(-4). Suppose 251 + 211 = 4*z + 2*l, -3*l - b = 0. Does 27 divide z?
False
Let i(a) = 15*a - 33. Suppose 4*h - 96 = -3*t, 3*h + 8*t = 7*t + 72. Is i(h) a multiple of 43?
False
Suppose -2*a - 2*a = -8744. Let v = a + -592. Is 24 a factor of 36/(-270) + v/30?
False
Suppose -5*z = -0*z + 3*x + 19, -4*z + 1 = -3*x. Let r be z/(-14) - (-2432)/28. Suppose 0 = -4*q + r - 31. Is q a multiple of 5?
False
Let i be (-16)/136 + 53/17. Suppose -2*r + i*j = 3*r - 334, 0 = -4*r + 3*j + 266. Is r a multiple of 7?
False
Let o(v) be the second derivative of v**3 - 5*v**2 - 12*v. Does 4 divide o(6)?
False
Suppose -10*q + 2356 + 704 = 0. Does 11 divide q?
False
Suppose 0 = 5*a - 2*a + 18. Is 2 a factor of ((-25)/(-10))/((-3)/a)?
False
Suppose 3*h + 321 = 4*c + 100, 2*c - 2*h - 112 = 0. Suppose 5 = 5*p - 15, 5*m + 4*p - 76 = 0. Let k = m + c. Does 27 divide k?
False
Is (1 - -88)*(-62)/(-62) a multiple of 9?
False
Let z(o) = o**2 - 21*o + 68. Is z(22) a multiple of 18?
True
Let o(w) = -w - 19 - w**3 + 2*w**3 + 33. Is 8 a factor of o(0)?
False
Let o(b) = b**2 + b - 1. Let v(w) = w**3 + 10*w**2 + 2*w - 4. Let y(c) = -o(c) - v(c). Let m be y(-11). Let k = m + -20. Does 9 divide k?
True
Let v = -953 - -2213. Does 90 divide v?
True
Suppose -43 = -d - 15. Let x = -1 + 2. Does 17 divide x - -69 - d/14?
True
Let z(m) = 2*m**2 - 13*m + 30. Let u be z(9). Suppose -35*f + 30*f = -u. Does 3 divide f?
True
Let f = -110 - -417. Is 6 a factor of f?
False
Let n be (-8)/16 - (-39)/6. Suppose 0 = n*m - 5*m - 83. Does 17 divide m?
False
Let v = 22 + -20. Suppose -60 = -v*b - b. Is b a multiple of 10?
True
Let z(o) = -84*o**3 + o**2 - 6*o - 5. Is 12 a factor of z(-3)?
False
Let b(x) = -x**3 - 7*x**2 - 3*x + 69. Is 12 a factor of b(-12)?
False
Let h(q) = -q**3 - q + 3. Let g be h(0). Suppose 2*j = -g*i + 219, -3*j = -2*i - 0*i + 159. Is 24 a factor of i?
False
Let n(j) = j**2 + j + 2. Let t be n(-1). Is 2/(-4*t/(-100)) a multiple of 3?
False
Let v(r) = 13*r**2 - 11*r - 8. Let w(h) = -2*h**2 + 17*h - 17. Let z be w(7). Is v(z) a multiple of 39?
True
Let k = 11 - 9. Suppose 21 = k*s - 21. Let q = 37 - s. Does 16 divide q?
True
Let n(k) be the third derivative of k**6/120 - k**5/4 + k**4/2 + 5*k**3 - 41*k**2. Does 19 divide n(15)?
False
Suppose -5*h - 5 = 0, 4*x - 9*x - h = -17399. Does 145 divide x?
True
Suppose 13 = 4*l + 73. Let t = l + 17. Suppose 0*c + c = -3*j + 34, t*c = 4*j + 38. Does 5 divide c?
True
Is 1294/2 - (11 - (-10 + 22)) a multiple of 36?
True
Suppose 64 = c - 26. Is 15 a factor of c?
True
Let v = 4 + -2. Let m(d) = -d**3 + 2*d**2. Let w be m(v). Suppose -70 = -w*n - 2*n. Is 28 a factor of n?
False
Suppose -3*l = 5*c - 16, 0*c + 3*l = c - 14. Suppose 28 = 7*o - 3*o + 4*v, -c*o + 35 = -2*v. Does 4 divide o?
False
Let a be 30/((-9)/((-135)/2)). Let g = a + -132. Is g a multiple of 31?
True
Let z(m) = 505*m - 575. Is z(6) a multiple of 40?
False
Suppose -2*g - 35 = 3. Let a = -39 - g. Let s = a - -75. Is s a multiple of 22?
False
Suppose 75*x = 68*x + 1365. Does 14 divide x?
False
Suppose 2*y = 3 + 5. Suppose -y*d = -2*d + 2. Is 19 a factor of (-20 + (d - -2))*-3?
True
Let c(j) = -j**3 - 3*j**2 - 3*j - 7. Let t be c(-3). Suppose 2*x + 2*w = 6*x - 616, t*x + 3*w - 324 = 0. Is x a multiple of 12?
True
Suppose 278*v - 271*v - 133 = 0. Is v even?
False
Let v(q) = q**3 - q + 2. Let g be v(-2). Let n = g + 7. Is 10 a factor of 3 + -1*(-20 + n)?
True
Let x be (-208)/(-10) + 3/15. Is ((-14)/x)/(4/(-618)) a multiple of 25?
False
Suppose -2*s - 2*v = -8, -4*s + 5*v = 2*v - 2. Suppose 6 = -2*z + 4*f, 5*z + s*f = z - 22. Let a = z + 13. Is a a multiple of 5?
False
Suppose -4*q - 24 = -10*q. Does 5 divide 2 + 82/6 - q/6?
True
Let l(n) = n**2 - n - 60. Is 2 a factor of l(-9)?
True
Let l(p) = -p**3 - 10*p**2 - 9*p + 6. Let k be l(-9). Suppose k*a - 90 = 3*a. Does 6 divide a?
True
Let w(r) be the first derivative of 2*r**4 - r**3 + r**2/2 + 1. Suppose g - 4 = -2. Is 18 a factor of w(g)?
True
Suppose 6*a = 7*a - 46. Is 4 a factor of a?
False
Suppose -224 = -8*y + 7*y. Does 112 divide y?
True
Suppose -25*u + 20*u = 0. Let k be 5 - (-12)/(-4) - u. Is -50*(-1)/4*k a multiple of 18?
False
Suppose m = -3*m - 5*k + 41, -m = -2*k + 6. Suppose 4*y - 15 + 63 = 4*l, -m*l + 5*y = -47. Is l a multiple of 6?
False
Let g = -5 - -7. Suppose g*t = -3*t + 395. Let p = -47 + t. Is p a multiple of 21?
False
Let d = 73 - 51. Suppose -2*x + 3*m = 0, 4*x + 0*x + 5*m = d. Suppose 0 = -x*z + 1 + 44. Is z a multiple of 3?
True
Suppose 6*b = b - 4*v + 49, -b = 5*v - 14. Let s = 15 - b. Is 358/s - 4/(-12) a multiple of 20?
True
Is 15 a factor of 1*20/15 - 27664/(-42)?
True
Does 6 divide -2 + (-1870)/(-2) + 9?
True
Let x(r) = r**2 - 2*r - 2. Let n be x(-3). Suppose -n = -j + 5. Is j a multiple of 5?
False
Let g = -2689 + 4542. Is g a multiple of 16?
False
Let z = -39 + 39. Suppose z = -3*o + 97 + 116. Is 10 a factor of o?
False
Suppose -3*j + 5*j - 3*m + 2 = 0, 2*m + 17 = 5*j. Suppose -2*q - 804 = -j*r, -q = 5*r - 2*r - 478. Is 20 a factor of r?
True
Suppose -36 - 59 = -5*o. Is 6 a factor of o?
False
Let c be ((-90)/(-4))/(-6 + (-105)/(-20)). Is (26/(-3) + 2)/(1/c) a multiple of 14?
False
Let s be 9*((-7)/(-3) - 2). Let i be (-1 + 5 + s)*1. Suppose 63 = 4*z - 3*y, 2*z - 3*y = -i*y + 26. Is 4 a factor of z?
False
Let o = -323 - -460. Is 10 a factor of o?
False
Suppose 0 = 3*h - 5*a - 447, -2*a - a - 9 = 0. Suppose h - 34 = k. Does 22 divide k?