 = -5*j. Is 51 a factor of j?
False
Let r = 173 + 133. Is r a multiple of 51?
True
Let a = 6 - 23. Does 25 divide (133 - a)*(-2)/(-3)?
True
Suppose -140*m + 134*m = -17952. Is m a multiple of 34?
True
Does 15 divide ((-38)/(-76))/(1/232)?
False
Suppose -5*k + 5*l = -30, 0 = l - 3. Let z(b) = b**3 - 9*b**2 + 3*b + 22. Does 20 divide z(k)?
False
Suppose 0 = -2*k + 2*b - 10, -5*k + 8 = 4*b - 12. Let o be (k/(2 + -3))/(-2). Suppose o*j - 75 = -5*j. Does 5 divide j?
True
Let b = 642 + -468. Does 29 divide b?
True
Is 51/221 + (-94764)/(-26) a multiple of 81?
True
Let k(w) = -w**2 + w + 1. Let c be k(-1). Does 20 divide 2/c - (7 + -39)?
False
Suppose i - 9 = -2. Suppose 0 = i*o - 4*o + 42. Let q = o - -44. Is 10 a factor of q?
True
Suppose 132 - 624 = 4*u + 4*i, 0 = -3*u + 4*i - 348. Let n = u - -192. Is 8 a factor of n?
True
Is (((-40)/3)/2)/((-23)/552) a multiple of 3?
False
Let l = -373 + 76. Is 6 a factor of 6/10 - l/55?
True
Let z be ((-48)/30)/((-4)/(-10)). Does 3 divide 60/(2 + 0) + z?
False
Let l(d) = 2*d - 70. Let i be l(0). Let k = 100 + i. Is 3 a factor of k?
True
Let j(p) = -10*p. Let m(u) = 125 - 125 - 10*u. Let d(r) = 2*j(r) - 3*m(r). Is 14 a factor of d(7)?
True
Let r = 29 + 6. Is r a multiple of 4?
False
Let c(f) = -328*f - 928. Is c(-10) a multiple of 98?
True
Suppose 0*c - 3*c + 5*d = -35, 5*d + 20 = 0. Suppose -42 = -12*l + c*l. Suppose -l = -2*v - 2*b - 0, 5*b = -v - 5. Is 5 a factor of v?
True
Let b be (1 - 0)/((-2)/(-8)). Let m(o) = 6*o + 1. Is m(b) a multiple of 3?
False
Let v be 2/1 + (2 - -1). Suppose -5*j + 240 = 5*m, v*j = 8*m - 3*m + 210. Is 9 a factor of j?
True
Let a be 2067/21 + -3 - (-12)/21. Is 14 a factor of a - ((-3)/(-5) + 104/(-40))?
True
Suppose -5*r + 4*u + 282 = -3*r, -3*u = r - 156. Let y = 246 - r. Suppose 0 = -0*j - 3*j + y. Is 11 a factor of j?
True
Let f = 1890 + -918. Does 36 divide f?
True
Let y be -2 + (1 - 3)*48. Let c = y - -162. Is 4 a factor of c?
True
Let g(l) = -l**3 + 5*l**2 - l + 9. Let x be g(5). Does 24 divide 48*(10 - 2)/x?
True
Suppose 5*j - 27 = -2. Suppose -4*v - 304 = -j*l, 5*l - 2*v = -7*v + 295. Does 9 divide l?
False
Let q = -31 - -43. Let x = q - -17. Is x a multiple of 6?
False
Is 31 a factor of (496/(-56))/((-3)/42)?
True
Is 17 a factor of 1 + (-121)/99 + (-17446)/(-18)?
True
Suppose -2*o = -26 - 282. Does 28 divide o?
False
Let v(x) = -9*x + 8. Let l be v(6). Let m be ((-161)/l)/(2/80). Suppose 42 = -2*k + m. Is 7 a factor of k?
True
Let w(n) = -20*n**2 + 12*n**2 + 3*n + 5*n**3 - 1 + 10*n**2 - n. Let m be w(-3). Let c = m + 186. Is c a multiple of 19?
False
Let s(u) = 4*u**2 - 11*u - 22. Suppose 0 = 3*h - 12, 3*p - 2*h + 27 = 4. Is s(p) a multiple of 5?
False
Let l = 38 + -34. Suppose 5*b + 4*u = 1336, l*u = -0*b - b + 280. Is b a multiple of 33?
True
Suppose 0 = 2*s - 4 - 2. Let z be (-1 - 0) + 39/s. Is 8 a factor of z + 6 - (-2 + -1)?
False
Let g be 1/(2/510*3). Suppose -5*d + 4*k = -g, -3*d = 5*k + 41 - 129. Is d a multiple of 21?
True
Let r be 925/(-55) - (-2)/(-11). Let x(n) = -n**3 - 17*n**2 - 6*n - 22. Is 5 a factor of x(r)?
True
Let p be (-4 - 26)/(2/(-5)). Let l = -49 + p. Is l a multiple of 13?
True
Let f = 212 - 104. Let w be 306/f - 2/(-12). Suppose 0 = -5*v - 4*d + 173, -d - w*d + 25 = v. Is 7 a factor of v?
False
Suppose 3*z = 6*z - 21. Is 26 a factor of (2/4 - (z - 7))*56?
False
Let s(c) = -3*c - 12. Let f be s(-5). Suppose -f*l - 2*l + 780 = 0. Does 12 divide l?
True
Is 18/(-27)*-6*597/12 a multiple of 3?
False
Let b(u) be the second derivative of 61*u**3/6 - 11*u**2/2 + 16*u. Is 13 a factor of b(2)?
False
Suppose 0 = a - 6*a - 2*f + 265, -5*f + 280 = 5*a. Is a a multiple of 17?
True
Let d(l) = -l**3 + 21*l**2 - 21*l + 16. Let h be 15/(-1 + 28/16). Let a be d(h). Let s = 12 - a. Is 9 a factor of s?
False
Let d(a) = -a**3 + 3*a**2 - 5*a - 3. Let j be d(-3). Suppose v = -3*z + 170, 5*v - j = -2*z + z. Does 11 divide z?
False
Let m(o) = -89*o**3 - 2*o**2 - 4*o - 8. Is 62 a factor of m(-2)?
False
Let h = 118 + -87. Is h a multiple of 9?
False
Suppose 4*d - 3*d - 29 = 0. Suppose 2*l + r + 4 = 11, -2*l = -r - 1. Suppose l*a + 7 = d. Is 11 a factor of a?
True
Suppose -b = 4, 848 = 6*o - 3*o + b. Let m(n) = n**3 + 14*n**2 + 6*n - 1. Let y be m(-11). Suppose 0 = 5*j + p - y, -o = j - 6*j - 4*p. Is 18 a factor of j?
False
Let b be (-4 - 0) + -44*2/(-8). Does 19 divide 26/(-91) - (-1262)/b?
False
Let a = 8 + -4. Suppose 8 = 4*r, 12 - 112 = -a*m - 2*r. Is 6 a factor of m?
True
Let f = 1353 + -799. Does 50 divide f?
False
Let c(x) = -x + 1. Suppose 4*s - 3 = -11. Let o be c(s). Suppose -o = 4*h - 79. Is 4 a factor of h?
False
Let d = 738 - 570. Is 21 a factor of d?
True
Let r(c) = 323*c**3 - 5*c**2 + 6*c - 2. Is r(1) a multiple of 46?
True
Let v = 80 + -73. Suppose -w - 3*w + 1984 = 5*r, -4*w + 1984 = -5*r. Suppose -v*y + w = 55. Is y a multiple of 11?
False
Suppose 19 + 1 = -5*g. Let a be (2/g)/((-6)/372). Suppose 0 = -5*v + a + 4. Is 7 a factor of v?
True
Let x(q) = q**2 - 18*q + 15. Let t = -1 + 13. Let p be x(t). Does 16 divide (-2)/(6/p) - 3?
True
Let y be ((-12)/6)/(4/(-6)). Suppose i = 2*i - y. Suppose -4*f - 5*p = -36 - 63, -i*f + 78 = 5*p. Does 8 divide f?
False
Let r = 2882 - 152. Is r a multiple of 91?
True
Let n(h) = -10*h - 10. Suppose 2*c + 0*c = -5*i - 28, -2*c = i + 20. Let b be n(c). Suppose -d + 6*d = b. Is d a multiple of 5?
False
Let f = 3923 - -264. Does 17 divide f?
False
Suppose -14579 = -22*u + 62993. Is u a multiple of 37?
False
Let y be 2/9 + 8/(-36). Suppose -4*w = 4*p - 68, 5*w - 61 = -3*p - y*w. Is 6 a factor of p?
True
Let h(k) = k**3 - 6*k**2 + 5. Let y be h(6). Suppose 0 = -n - 4*n - y. Let t(v) = -38*v - 1. Is t(n) a multiple of 13?
False
Let g = 120 - 111. Is g a multiple of 9?
True
Suppose 2*n - 56 = -2*b, 3*n - 60 = -3*b + 6*n. Let k be (-1)/3*b/(-8). Is (-130)/(-8) + k/(-4) a multiple of 16?
True
Let b be (13/(-26))/(1/(-2)). Let o(c) = 182*c**3 + 2*c**2 - 4*c + 3. Is o(b) a multiple of 35?
False
Let l(w) = -2*w**3 - 61*w**2 - 5*w + 21. Does 40 divide l(-32)?
False
Suppose 10*d - 4618 = -658. Is d a multiple of 99?
True
Suppose -3*o = -2*c + 57, o - 7*c + 2*c = -19. Is (12/(-10))/(o/190) a multiple of 4?
True
Suppose -19 = -4*t + 3*o, -2*t - 25 = -7*t + 5*o. Suppose -3*x = -t*j - 214, 4*x - 2*j + 5*j = 327. Does 26 divide x?
True
Let q = -90 + 302. Suppose 0 = 4*f + v - 7, -22 = -f - 3*f + 2*v. Suppose -f*m + 5*w = -2*m - 71, -q = -4*m + 2*w. Is 11 a factor of m?
False
Let o be (-79)/(-3)*3120/(-26). Does 9 divide 6/(-15) + o/(-25)?
True
Let z(d) = d**3 - 4*d**2 - 6*d + 9. Let q be z(6). Let c = 0 + q. Is c a multiple of 3?
True
Suppose -372 = 5*m + y - 1906, 0 = -4*y + 16. Is 18 a factor of m?
True
Let p = 15 - 13. Suppose 3*c - 5*c + p*k = -18, 4*c = -k + 46. Suppose -38 = 10*n - c*n. Is n a multiple of 11?
False
Suppose 0 = -11*f - 2*f - 3276. Does 21 divide (14/8)/((-3)/f)?
True
Let n(v) = -1001*v + 19. Is 17 a factor of n(-4)?
False
Let h be 4/(-3)*(-9)/6. Let i(g) = 55*g**2 - 5*g - 4. Let c be i(-1). Suppose -h*n + n = -c. Is n a multiple of 8?
True
Let p(m) = m**2 - 3*m - 28. Let z be p(12). Suppose -2*w = 2*w - z. Does 6 divide w?
False
Let z(v) = -33 - 13*v - 5*v - 13*v + 18*v. Is z(-7) a multiple of 10?
False
Let z(w) = -10*w + 18. Let k = -10 - -1. Is 36 a factor of z(k)?
True
Let q = -66 + 1825. Is 82 a factor of q?
False
Let x(i) = i**3 + 9*i**2 + 2*i + 159. Is x(0) a multiple of 3?
True
Suppose 3*o - 6*y + y + 46 = 0, 2*o + 3*y - 1 = 0. Let x(c) = c**2 + 11*c + 3. Let q(v) = 2*v**2 + 23*v + 7. Let l(k) = 2*q(k) - 5*x(k). Does 12 divide l(o)?
False
Suppose -p = -3*w + 967, -3*w = 4*p - 0*p - 992. Is 54 a factor of w?
True
Let s = 21 + -19. Let b(y) = 14*y - 1. Is b(s) a multiple of 9?
True
Let x(k) be the third derivative of k**6/120 - k**5/60 - k**4/24 + 32*k**3/3 - k**2. Let p = 188 + -188. Is x(p) a multiple of 32?
True
Suppose 4*y + 4928 = 18*y. Is 53 a factor of y?
False
Suppose -6*b + 7*b - 2 = 0. Suppose b*r = -5*s - 45, -4*s = -3*r - 7*s - 54. Is 2 a factor of (-55)/r + (-1)/(-3)?
True
Suppose -14*d + 8736 = 12*d. Is d a multiple of 16?
True
Suppose 3*k + 2*q + 2 = -2, -2*k - 5*q - 21 = 0. Suppose 3*d + 9 + 114 = 3*o, k = -2*d. Is 8 a factor of o?
True
Does 32 divide 4 - 1740/((-20)/4)?
True
Suppose 12*p + 3 = 13*p. 