 Let t = s - 19. Let l = -10 - t. Is l a multiple of 14?
True
Suppose -p + 22 = 4*o - 78, 4*o - 340 = -4*p. Is 12 a factor of p?
False
Suppose 13*r - 17*r = c - 81, r - 348 = -5*c. Is c a multiple of 3?
True
Suppose -7*l + 883 + 118 = 0. Is 27 a factor of l?
False
Let t be (-1)/2*(-7 - -3). Suppose 0 = t*g + 2*p + 2 - 50, 5*g + 4*p = 120. Does 3 divide g?
True
Let b = -10 - -14. Suppose 0 = 5*f - 5*w + 10, -16 = -b*f - 5*w + 21. Does 15 divide (-1)/(f + (-232)/76)?
False
Is -2*(-2 + 5103/(-18)) a multiple of 56?
False
Suppose -2*w + 4*i - 20 = 82, -w = 2*i + 39. Is 36 a factor of 54/((-2)/20*w/6)?
True
Let u(p) = 19*p**3 + 4*p**2 - 6*p + 46. Does 8 divide u(4)?
False
Suppose 2 - 5 = -3*b. Suppose 0 = 5*v + 21 - b, 0 = -k - 5*v + 42. Suppose -2*p + 4 = 12, a - p = k. Is 21 a factor of a?
False
Let j be 8/8 + (-2)/(2/(-1)). Suppose b - 222 = -3*r, b = -j*r + 5*r - 216. Does 22 divide r?
False
Suppose 0 = 4*b - 2*p - 622, -2*b - 2*p + 782 = 3*b. Is 13 a factor of b?
True
Suppose -b = 14 - 1. Let y(j) = j**3 + 13*j**2 + j + 16. Let w be y(b). Suppose 2*g - w*g + 88 = 0. Does 25 divide g?
False
Suppose 14*o = 3*o + 3685. Suppose 5*t = -0*i + i + o, -3*i = -3*t + 201. Does 24 divide t?
False
Let h(j) = 34*j**2 - j - 1. Let x be h(-2). Suppose 4*q = x - 17. Is ((-3)/(-2))/(q/1480) a multiple of 35?
False
Let o(w) = -w - 5. Let h be (10/(-4))/(2/4). Let c be o(h). Suppose l = 3*n + 32, n - 56 = -3*l - c*n. Is 4 a factor of l?
True
Let f = 14 + -24. Let h(d) = -d**3 - 3*d**2 + 4*d - 1. Let n be h(3). Let g = f - n. Is g a multiple of 12?
False
Suppose -d - 2*d - 2*f + 2 = 0, 4*d - 2 = -3*f. Let x be (124/6)/((-2)/(-3)). Suppose -d*w = -7*w + 2*h + 82, -2*w = h - x. Is w a multiple of 14?
False
Suppose -4*l = -3*u - 33, 8*u + 4 = l + 3*u. Let z(h) = 2*h - 3*h**2 + 7 - 13 + l*h + 6*h**2. Is 22 a factor of z(4)?
False
Let i = -532 + 1013. Is 57 a factor of i?
False
Let x(p) = -51*p - 51. Is 9 a factor of x(-7)?
True
Let c = 31 + -143. Let b = -67 - c. Does 28 divide b?
False
Let l be (-3)/3 - 4/(-2). Let t(m) = 78*m**3 - m**2 + 2*m - 1. Is 13 a factor of t(l)?
True
Let m(c) = c**3 + 18*c**2 - 20*c - 4. Let n be m(-19). Let d(y) be the second derivative of y**3/3 - 17*y**2/2 + y. Is d(n) a multiple of 4?
False
Let b be 33/4*(-136)/51. Let t = -17 - b. Is 5 a factor of t + -8 + 42/2?
False
Let z(m) = m**2 + 9*m + 10. Let v be z(-8). Let j be (0/v)/(-2 - -1). Suppose j = 3*h + 74 - 290. Does 19 divide h?
False
Let m = 12 + -12. Suppose -1 + m = a. Does 12 divide (a/3)/((-2)/306)?
False
Suppose -5*j + 3*u = -26, -4*u = j - 0*u + 4. Suppose -j*f + 307 = 59. Is f a multiple of 7?
False
Let b(o) be the first derivative of -o**4/4 - 4*o**3 + 2*o - 3. Let x be b(-12). Suppose z + x - 14 = 0. Does 5 divide z?
False
Let h = -18 - -13. Let d(o) be the first derivative of o**4/4 + 2*o**3 - 3*o**2/2 - 3*o - 3. Is 14 a factor of d(h)?
False
Suppose 2*l = 5*t - 25, 2*l + 4 = -2*t - 0. Let v(s) = 12*s**2 - 7. Does 7 divide v(t)?
False
Suppose 0*u + 20 = 2*u. Let k be 3 + (-5)/(u/18). Is 20 a factor of (-15)/10*400/k?
True
Let a = 139 + -108. Let v = a + -15. Is v a multiple of 2?
True
Suppose -5*z + 6*u + 2271 = -17501, 2*u = 5*z - 19784. Is 138 a factor of z?
False
Suppose -h + 101 + 4 = 0. Is 4 a factor of h?
False
Let g = 1516 - 975. Suppose g = 5*f + 156. Does 7 divide f?
True
Let z(v) = 21*v**2 + 14*v + 35. Is z(-10) a multiple of 95?
True
Suppose 4*a - 4681 = 5*n, 5*a - 1762 = 3*n + 4073. Does 6 divide a?
True
Suppose -5*x + 4*r = 175, 2*x + 94 = -4*r - 4. Let s(o) = -76*o**3 - 2*o**2 - o. Let v be s(-1). Let z = x + v. Does 17 divide z?
False
Suppose 86 = 22*n - 1674. Is n a multiple of 10?
True
Let l(u) = -7 - 28*u**2 + 1 + 31*u**2. Let j = 3 - 0. Is 14 a factor of l(j)?
False
Let j = 3 - 162. Suppose 4*v + 558 = -2*v. Let q = v - j. Is 22 a factor of q?
True
Let a be (-7)/((-7)/(-2)) + 0 - -170. Suppose 0 = 2*l + l - a. Does 14 divide l?
True
Let f be (-4)/2*(24/(-4) - -5). Suppose -6*v = -v + m - 207, 0 = -f*v - m + 81. Is v a multiple of 14?
True
Suppose -5*j + 176 = 2*p, 3*p - 5*p + 176 = -5*j. Is 22 a factor of p?
True
Suppose 1212 = 5635*s - 5629*s. Is 8 a factor of s?
False
Suppose 5*z = -3*l + 1378, 2*l - 2*z = -3*l + 2276. Does 57 divide l?
True
Let c(z) = -z**2 - 7*z - 6. Let u be c(-7). Let f be 302/8 + u/8. Let n = -24 + f. Is n a multiple of 4?
False
Let p(r) = 39*r + 10. Let w be p(10). Suppose x + 9*x - w = 0. Does 10 divide x?
True
Let i(v) = v**3 - v**2 + 1. Let j(t) = 5*t**3 - 7*t**2 + t + 30. Let s(h) = -6*i(h) + j(h). Does 6 divide s(0)?
True
Let k(g) be the third derivative of -g**5/40 - 19*g**4/24 + 13*g**3/6 + 14*g**2. Let c(b) be the first derivative of k(b). Is c(-14) a multiple of 4?
False
Suppose 9 = 4*i - 11. Suppose 5*t = i*x + 1415, 0*t - 578 = -2*t + 5*x. Is 19 a factor of t?
False
Let z(o) = -o**3 + 7*o**2 + 19*o - 22. Is z(8) a multiple of 2?
True
Let v(z) = -16*z - 10. Is 7 a factor of v(-22)?
False
Let i = -29 + 8. Let j be (i/7)/((-1)/7). Is 3/2*616/j a multiple of 32?
False
Suppose -4 = 9*p + 14. Is (-58)/p - (-1 + -2 - -3) even?
False
Let v be (-90)/105*14/(-3). Let n be (88/33)/(v/294). Suppose -74 - n = -5*u. Does 9 divide u?
True
Let h = 17 - 14. Suppose -s = s - 5*i + 2, -5*i = -3*s + 2. Suppose h*d + 2*t = 27, d - s*t + 5 = -0. Is d a multiple of 6?
False
Let n(z) = -9*z + 79. Let i be n(8). Suppose -10*w + 884 = i*w. Does 7 divide w?
False
Let n(c) = 4*c**2 - 26*c + 72. Does 54 divide n(9)?
True
Suppose -3*k = 3*l - 270, 20*k - 5 = 25*k. Does 13 divide l?
True
Let n(d) = -539*d + 22. Let x be n(-2). Suppose -44*g + 49*g = x. Does 44 divide g?
True
Let u = -797 + 1164. Let s = u + -223. Is s a multiple of 16?
True
Let m = 33 - 28. Suppose -3*g - 4*w + 139 = 0, -5*g - 3 = -m*w - 293. Does 17 divide g?
False
Let l = 15 - 1. Let o(f) = -f**3 - 5*f**2 + 5*f - 1. Let j be o(-6). Suppose j*r - 21 = l. Does 2 divide r?
False
Let c(q) = -q. Let u(k) = -10. Let m(x) = 4*c(x) + u(x). Is m(-4) a multiple of 2?
True
Suppose 5*h = -3*c + c + 74, -24 = -h - 5*c. Is h a multiple of 14?
True
Let h(r) = -r**2 + 29*r + 36. Is h(9) a multiple of 31?
False
Let v(j) = 2*j - 21. Let d be v(13). Let x = 20 + d. Does 9 divide x?
False
Let w(z) = -z**3 + 4*z**2 - 2*z - 3. Let g be w(3). Suppose -413 = -5*h + 3*a, 5*a + g*a - 20 = 0. Is h a multiple of 17?
True
Let i(j) = j + 13. Let k be i(-10). Suppose -k*t = 2*t + 15, 2*t + 9 = o. Does 2 divide o?
False
Let j be (-20 - 3) + (-1 - -2). Does 10 divide (-656)/j + 6/33?
True
Let h(s) = s + 1. Let y be h(4). Suppose c = -y*z + 2*z, -2*c = 5*z. Let j(f) = f**3 - f**2 + 42. Does 14 divide j(c)?
True
Let f be 2/6 + (-4)/((-12)/5). Is (((-4)/(-5))/f)/((-4)/(-500)) a multiple of 25?
True
Let o(m) = 15*m**2 - 3*m - 2. Let n(f) = f**2 + 2*f - 1. Let q be n(-2). Let s be 1/q*(0 - -1). Does 11 divide o(s)?
False
Suppose 0 = -15*s + 40 + 80. Is (s/(-14))/(14/(-637)) a multiple of 8?
False
Suppose -3 = -c - 25. Let k = c - -22. Suppose 0*s + 2*s - 3*g - 38 = k, 5*s = 2*g + 106. Does 11 divide s?
True
Suppose 33*a = 14*a + 3838. Is 30 a factor of a?
False
Suppose 3*k - 2*k - 6 = 0. Suppose 5*d = -k + 26. Suppose d*t - 165 = -t. Is 11 a factor of t?
True
Suppose -4*g + 48 = -4*m, 0*g - 70 = -5*g - 5*m. Let p be g/5 - (-10)/25. Suppose 0 = n - 22 + p. Does 7 divide n?
False
Suppose -36*f = -34*f + 4. Let r(b) = -35*b + 1. Is r(f) a multiple of 33?
False
Is 48 a factor of (-15)/2*(-96)/15?
True
Let w(y) = y**3 + 6*y**2 - 8*y - 4. Let v be w(-7). Suppose h + k - 18 = 0, 8 = 2*h - v*k - 28. Is 6 a factor of h?
True
Let f be 4/10 - (-87)/(-5). Let u = f - -99. Is u a multiple of 5?
False
Let p = 3292 - 2236. Is p a multiple of 48?
True
Let n(j) = j**3 + 39*j**2 - 8*j - 261. Is n(-39) a multiple of 6?
False
Let i(d) = d**3 - 6*d**2 + 9*d - 19. Let a be i(5). Suppose s - 15 - 4 = 0. Suppose -s + a = -3*x. Is x a multiple of 2?
True
Suppose -4*i - 116 = -4*f, 3*f - i = 4*i + 97. Suppose -m + f = 4*j, -2*m - 2*j = m - 22. Suppose 30 = -m*v + 118. Is 22 a factor of v?
True
Suppose 5*x + 34 - 44 = 0. Is x + (-564)/(-18)*6/4 a multiple of 7?
True
Is 54 a factor of 50 + 1/(1 + (-6)/8)?
True
Suppose 95*j - 115*j + 5900 = 0. Is j a multiple of 6?
False
Let m(x) = -28*x - 2. Is 33 a factor of m(-26)?
True
Let f = -658 - -1