c) = -3*c + 55. Let n be m(17). Let a be v(n). Suppose -968 = -a*h + 3*f, -944 - 20 = -5*h + 4*f. Is h a multiple of 15?
False
Let r(b) = -2*b + 10. Let t be r(6). Is t/(-1) - (-4401)/27 a multiple of 14?
False
Let w = 242 + 134. Suppose 9*o - 272 = w. Is 9 a factor of o?
True
Is 1/(-21) - 51453831/(-1953) a multiple of 24?
False
Let s be ((-195)/(-20))/13*-8. Is ((-1194)/s)/(3/6) a multiple of 11?
False
Suppose 5 = -3*j + 11. Suppose j*w = -w + 9. Does 6 divide (w + 36/28)*7?
True
Suppose -430 = -7*n - 3*n. Suppose -15 = c + 2*a - 7*a, -4*c - n = -3*a. Does 13 divide (-5)/(c/56) + -2?
True
Let y(u) = u**3 - 2*u**2 + 2*u - 2. Let f be y(2). Suppose 38*c - f = 37*c. Suppose -c*n + 3*n = 27. Is 3 a factor of n?
True
Suppose -y = -3*k - 7 - 2, -y - 3 = 0. Does 48 divide (-1)/((12/5958)/(k/6))?
False
Let f = 3964 + -3837. Let w = -251 - -142. Let u = w + f. Does 18 divide u?
True
Does 13 divide (61860/108 - -12) + 5/(90/4)?
True
Suppose -4*c = -2*l - 124, -2*c - 54 = -0*l + l. Let w = l - -128. Suppose 2*j + 6 = w. Is 4 a factor of j?
True
Let q(k) = 204*k**2 - 128*k + 371. Does 5 divide q(3)?
False
Let y(r) = -4*r - 59. Let a(t) = -2*t - 60. Let l(s) = -4*a(s) + 5*y(s). Does 13 divide l(-10)?
True
Let p(s) = 3*s - 1. Let q be (-2)/2 - (0 - -4). Let i be p(q). Is i/(((-48)/(-52))/(-6)) a multiple of 15?
False
Let r(w) = 7*w**2 + 16*w - 39. Let l(p) = p**3 + p**2 - 2*p - 4. Let o be l(2). Is r(o) a multiple of 21?
False
Let d = 0 + -39. Let i = d + 35. Let m(f) = -40*f - 10. Does 30 divide m(i)?
True
Let s(f) = -5*f + 7. Let w be s(1). Suppose -13*b + w = -12*b. Suppose -2*p + 790 = 3*p - 5*i, 0 = b*p + 2*i - 332. Is 9 a factor of p?
True
Let u = -5907 - -8987. Is u a multiple of 22?
True
Suppose 0 = 36*u - 34*u - a + 10, -6 = a. Let k(r) = r**2 - 5*r - 2. Let l be k(5). Is 20 a factor of (l - 0)*812/u?
False
Let w = -14 + 19. Suppose 0 = 3*t + 4*o + 27, 0*o - 5*o + 45 = -w*t. Is t/((-12)/(-4)) + 15 a multiple of 11?
False
Suppose -130*m - 29191 + 159191 = 0. Is 68 a factor of m?
False
Let b(s) = 411*s**2 + 197*s + 582. Is 246 a factor of b(-3)?
True
Let d(o) = -7*o**3 + 12*o**2 + 13*o + 3. Let j(b) = -6*b**3 + 12*b**2 + 12*b + 2. Let a(t) = -5*d(t) + 6*j(t). Let v be a(13). Let c = -73 - v. Does 3 divide c?
False
Suppose -k = 3*y + 2*y - 17, -y = -4*k - 16. Let o be ((-1)/(-2))/(k/(-1116)). Suppose -4*x + 2*x = -o. Does 31 divide x?
True
Suppose 5*o - 85*c = -86*c + 6015, -2*o = -c - 2413. Is o a multiple of 7?
True
Let r = 19130 - 11594. Is r a multiple of 97?
False
Let s(u) = 22*u**3 - 2*u**2 - 3*u + 5. Let b(f) = -23*f**3 + 2*f**2 + 4*f - 6. Let z(c) = -4*b(c) - 5*s(c). Suppose t + 14*t + 30 = 0. Does 23 divide z(t)?
False
Let w be (0 - -1)*(-2 + 6). Suppose 9*q - 10*q = -w. Suppose -12 = -2*x - q*x. Is 2 a factor of x?
True
Does 28 divide (44190/15)/((-18)/(-420))?
True
Suppose 0 = -3*z + 3, -4*y - 3*z + 72 = -15. Does 31 divide (178/56 - (-6)/24)*y?
False
Suppose -8*j + 13*j = -3*n + 4, -j - 2*n - 2 = 0. Suppose -20 = -j*s + 54. Is 21 a factor of s?
False
Is 103 a factor of -6 - 3299/(7/(-21)*12/8)?
True
Suppose 0 = 4*x - 153 - 71. Suppose 0 = 11*w + 33*w + 1276. Let c = x + w. Does 6 divide c?
False
Suppose -8*y + 6*y - 76750 = -4*r, r - 19184 = 4*y. Suppose 0 = 12*i + 5268 - r. Is (i/(-25))/((-6)/15) a multiple of 13?
False
Let o be ((-4537)/(-4))/(114/24 - 5). Is 14 a factor of o/65*(-5 - 0)?
False
Let t(f) = 26*f - 103. Suppose 34*s = 35*s - 17. Does 4 divide t(s)?
False
Does 16 divide 4080197/249 + -2*(-14)/(-12)?
True
Let u be ((-66)/(-44))/(1/4). Let n(m) = 29*m**2 - 7*m - 11. Does 27 divide n(u)?
False
Let g = 21345 + -4146. Is g a multiple of 49?
True
Let p(l) = 105*l - 1. Let n be p(1). Let s = -19 + -76. Let i = s + n. Does 3 divide i?
True
Let d = -255 + 257. Does 12 divide 552*(d/6 + 50/75)?
True
Let y = 21 - 17. Suppose -y*x - d + 2 = -5, 5*x - 2*d = 12. Suppose 3*k - 167 = -x*a - 59, 64 = a - k. Is a a multiple of 20?
True
Let r(f) = 6*f - 4. Let j be r(15). Suppose -2*v = 3*d - 127 - 155, d - 2*v - j = 0. Is (3/12)/(1/d) a multiple of 4?
False
Let b = 17 - -61. Suppose 10*y - 4*y - b = 0. Let a(u) = 2*u + 20. Is a(y) a multiple of 23?
True
Let k be ((-28)/21*6)/((-6)/15). Suppose -1695 = -k*u + 17*u. Does 62 divide u?
False
Suppose 61*r - 214200 = 312745 + 474431. Does 72 divide r?
True
Let b = -4119 + 8108. Is 126 a factor of b?
False
Let a(u) = -u**3 - 2*u**2. Let k be a(0). Suppose -y + 14 = 5*i, 5*i - 5*y = -k*i - 10. Suppose 1710 = 7*o + i*o. Does 38 divide o?
True
Let l be (0 + -3)*1 + 0. Let g be (11 - -212)*(3 + (l - -1)). Suppose t - g = 5*a - 724, -a + 4*t = -104. Does 25 divide a?
True
Suppose -6 + 161 = 5*k. Let d = k - -41. Is 6 a factor of d?
True
Let u(a) = -295*a - 47. Let o be u(-12). Suppose -4*s - 1333 = -o. Does 31 divide s?
False
Let r = 257 - -5631. Is 64 a factor of r?
True
Let j = 5491 + -211. Is j a multiple of 60?
True
Let y(p) = -p**2 + 3*p + 30. Suppose 60*b = 56*b + 28. Let q be y(b). Suppose q*h + 3*h = 5*z + 550, 4*h + 5*z - 467 = 0. Is 27 a factor of h?
False
Let h(t) = 3*t**3 + 21*t**2 - 17*t - 30. Let y(p) = -5*p**3 - 32*p**2 + 25*p + 45. Let w(q) = -8*h(q) - 5*y(q). Let l be w(7). Does 3 divide -3*1 + -19 + l?
True
Let t = 21781 + -15581. Is 9 a factor of t?
False
Suppose -6*b - 14490 = -44308 - 15170. Is b a multiple of 46?
True
Let l = 161 - 188. Let n = 203 + l. Does 44 divide n?
True
Suppose 38*g - 181647 = -7*g + 69903. Is 19 a factor of g?
False
Let b = -478 + 484. Suppose b*n = n + 4500. Is n a multiple of 36?
True
Suppose -2*m + 4*g = 2 - 10, -g + 13 = 2*m. Let n be 8 - m/(-2 - -4). Suppose z - 4 = 2*v, -5*z + 0*v - n*v + 95 = 0. Does 6 divide z?
False
Let d(r) = -5*r**3 + 4*r**2 - r - 5. Let w be d(-5). Let p = w - 464. Suppose -7*a + p = -4*a. Is a a multiple of 17?
False
Let a(d) = -2*d + 3. Let i be a(0). Suppose 0*q + 4*q = -2*x, -i*q = 5*x. Suppose q = -4*u + n + 334, 2*u + n = 7*u - 417. Is 19 a factor of u?
False
Suppose 4*d + 190 = 5*x, -d = -0*d + 5. Let c = x + -28. Is 8 a factor of (c - 2)/((-2)/(-12))?
True
Let w = -112 - -126. Is 42/49 - (-2522)/w a multiple of 24?
False
Is ((-37668)/20)/(2/(-10)) a multiple of 73?
True
Let i be 1*0/(-7 - -3). Let d = i - 3. Let x(s) = -17*s + 15. Is 43 a factor of x(d)?
False
Suppose -2*v = 59 + 53. Let k = -8164 - -8058. Let u = v - k. Is 18 a factor of u?
False
Suppose 8*f = 32*f + 360. Does 13 divide (-513)/f*(-510)/(-9)?
False
Let f(m) = -m**2 + 4*m + 30. Suppose -19*c = 12*c. Is 2 a factor of f(c)?
True
Suppose 1463*c - 1458*c = 5605. Is 26 a factor of c?
False
Let c = -579 - -596. Does 8 divide 406/c + 4/34?
True
Let z(m) = 6*m**2 - 31. Suppose 5*n - 3*h = -40, -20 = 2*n - 6*h + 4*h. Is 21 a factor of z(n)?
False
Let v = 2736 + -2537. Is v a multiple of 4?
False
Let d(v) = 2131*v + 42. Is 32 a factor of d(3)?
False
Let z(l) = l + 12. Let c be z(-7). Let w(f) = -3*f**2 + 2. Let n be w(0). Suppose 5*y - 75 = -n*r + c*r, 4*r = 2*y - 44. Is 6 a factor of y?
True
Let t = 9553 + -8388. Does 13 divide t?
False
Let r(p) = 375*p + 222. Is 96 a factor of r(46)?
True
Suppose 2 = c - 1, 0 = 2*q + 5*c - 25. Suppose q*i + 21 - 8 = 3*v, -v + 3*i = -3. Suppose 0*a + v*a - 216 = 0. Is a a multiple of 18?
True
Is (1505 - -1)/(((-1575)/30)/(-35)) a multiple of 2?
True
Let s(c) = -2092 + 2240 + 26*c + 38*c. Is s(5) a multiple of 26?
True
Let b(r) = -r**3 - 6*r**2 - 5*r - 3. Let s be b(-3). Let i = 47 + s. Suppose h - i = 99. Is h a multiple of 10?
False
Let k = 369 - 279. Suppose 13*c - 3*c - k = 0. Does 9 divide c?
True
Suppose 0 = z - 2*x - 18327, -14090 = -z - 2*x + 4249. Is z a multiple of 5?
False
Suppose 2*s + 8*z - 28 = 9*z, -36 = -s - 5*z. Suppose s*r = 31*r - 10080. Is 56 a factor of r?
True
Suppose -33 + 37 = -n, 3*o + n = 55100. Is 14 a factor of o?
True
Let u(p) = -3*p**2 - 3*p**2 - 37 + 11 + 5*p**2 + 7*p. Let n be u(11). Is 11 a factor of 4/14 + (-6910)/n?
True
Suppose 1425 = -5*o - 1025. Let u be (-2 - 2/(-4))/(21/o). Let q = 58 - u. Is 8 a factor of q?
False
Let q = -12908 - -13463. Is q even?
False
Let q = -23 + 91. Suppose -y = -4*n + 107 - 73, -5*y = 2*n + 236. Let b = q + y. Does 22 divide b?
True
Let g(t) = 2*t + 1273. Does 10 divide g(-21)?
False
Suppose 2*r + 61 = 107. Suppose r*s = 31*s - 4104. Is s a multiple of 19?
True
