- 5*d + h = 0. Suppose 0 = w*s + 10, 51 = 2*l - s - 2*s. Does 3 divide l?
True
Suppose -2 + 10 = -3*i - j, 4*i + 10 = -j. Let s be i*(-2)/8*88. Let z = s + -33. Does 2 divide z?
False
Suppose -3936 = -3*c - 0*u - u, -2*u = 6. Does 13 divide c?
True
Suppose -1464 = -f + 3*c - 337, -2*f + 2256 = -4*c. Is 38 a factor of f?
False
Let f(x) be the second derivative of x**4/3 - x**3/3 - x**2/2 - x. Let j = 12 - 16. Is 20 a factor of f(j)?
False
Suppose 5*f = -4*c + 1209, 13*c + 1189 = 17*c + f. Does 5 divide c?
False
Let u(l) = -l - 11. Let n be u(-11). Suppose n = -g + 2 + 14. Is g a multiple of 11?
False
Let w(o) = -3*o**3 - 9*o**2 + o - 7. Is w(-5) a multiple of 9?
False
Suppose 9*p - 471 = -4*u + 4*p, -5*u = -4*p - 558. Let z(h) = h - 1. Let t be z(5). Suppose v = -b + 3*b + 26, t*v + 2*b - u = 0. Is v a multiple of 9?
False
Suppose 3 = -c + 2*c - 2*n, 4*n = 0. Suppose 8*u - 620 = 3*u. Suppose 4*t + 3*i - u = -11, -c*t + 121 = -5*i. Is 13 a factor of t?
False
Suppose -3*x = 5*t - 16, -5*t + 3*x - 8*x + 20 = 0. Suppose -t*p = -2*h - 0*h + 300, 0 = h - 2*p - 153. Is 7 a factor of h?
True
Is (120/14)/((-116)/(-12586)) a multiple of 15?
True
Let n(z) be the second derivative of -z**5/20 + 5*z**4/6 - 7*z**3/6 + z**2/2 + 30*z. Suppose 0 = 4*p - 11 - 25. Does 19 divide n(p)?
True
Let j = -1036 + 1630. Is j a multiple of 5?
False
Let u = -1611 - -2579. Suppose -3*k + u = 8*k. Does 11 divide k?
True
Is 0 + (8 - (-1267 + 3)) a multiple of 12?
True
Let q be ((-16)/12)/(2/9). Is 20 a factor of (2/q)/(6/(4248/(-4)))?
False
Let k(s) = 4*s + 9. Let g be k(-6). Let u(l) = l**2 - 26*l + 43. Let m be u(23). Let o = g - m. Is 10 a factor of o?
False
Let n = -1932 + 2216. Is 4 a factor of n?
True
Suppose -v + 12 = 2*v. Suppose -24 + v = -4*t. Is (-20)/6*(-18)/t a multiple of 4?
True
Let g = 433 - 382. Is g a multiple of 23?
False
Let t be 30*(4 + (1 - -1)). Suppose 0 = -33*x + 36*x - t. Does 20 divide x?
True
Suppose -3356 = -5*z + 1264. Does 66 divide z?
True
Suppose -3*q - 18 = -w, -3*w - w + 17 = -q. Suppose -w*n = 3*m - 105, -2*m - 6*n = -2*n - 62. Does 13 divide m?
True
Let n(g) = 17*g**3 + 1 + 2*g**2 + 10*g**2 + 3*g - 20*g**2. Is 9 a factor of n(2)?
False
Let x(t) be the third derivative of t**5/30 - 5*t**4/12 - 19*t**3/6 - 9*t**2. Is x(10) a multiple of 13?
False
Let b(l) be the third derivative of -11*l**4/24 - 17*l**3/3 - 17*l**2. Is b(-18) a multiple of 8?
False
Is 31 a factor of ((-744)/(-9))/((-98)/(-21) + -4)?
True
Let j be (4 - -6)*(5 - 0). Let c = -33 + j. Is c a multiple of 2?
False
Let r(h) = 9*h + 3. Let k(g) = -g**3 + 4*g**2 + 4*g + 4. Let s be k(4). Suppose t + 4*t = s. Does 26 divide r(t)?
False
Let y = -45 + 13. Let a = y - -84. Is a a multiple of 13?
True
Let l(c) = 3*c**2 - 3*c + 4. Suppose k - 2*h - 2 = 2, 3*k + h = -9. Let a(i) = 3*i**2 - 3*i + 4. Let y(q) = k*a(q) + 3*l(q). Does 26 divide y(4)?
False
Let h(j) = -j**3 + 11*j**2 + 4*j + 1. Let p = -78 + 88. Is h(p) a multiple of 41?
False
Is 70 a factor of 5/((-4786)/532 + 9)?
True
Let u(m) = m**3 + 2*m**2 - 20*m - 15. Does 26 divide u(7)?
True
Let w(x) = -x - 4 - 7 - 9*x. Let r be w(-8). Is (r/2)/((-6)/(-8)) a multiple of 12?
False
Suppose 2*t = 3*g - 2*t - 2413, 5*t + 2408 = 3*g. Suppose 5*h - 3014 = g. Is h/(-30)*2/(-1) a multiple of 17?
True
Let l(p) = -p**3 + 15*p**2 - 14*p + 35. Let c be l(14). Suppose 0 = 5*u - 5*g - 140, 5*u - 175 + c = -2*g. Does 28 divide u?
True
Let t(r) = -10*r - 13*r - 3*r**2 - 16*r - 42. Let a(c) = -c**2 - 13*c - 14. Let w(q) = 7*a(q) - 2*t(q). Is 4 a factor of w(-11)?
True
Suppose -y + 374 = -348. Does 29 divide y?
False
Let h(y) = 8*y**3 - 3*y**2 + 2*y + 4. Suppose -q - 8 = -5*q. Is 4 a factor of h(q)?
True
Let r be 9/6*40/12. Suppose r*l = -4*v + 304, 0*v + 3*l + 76 = v. Is 7 a factor of v?
False
Let w = 5 - 11. Let x = 6 - 5. Is w/(x/(-6*1)) a multiple of 18?
True
Suppose -66*j + 783 = -63*j. Does 29 divide j?
True
Let y(d) = d**2 + 24. Let l be y(0). Suppose 2*r = 5*r - l. Is r even?
True
Suppose -4*y + 380 = -816. Is 13 a factor of y?
True
Suppose -55 = -4*m + 153. Suppose t - 4*h - m = -3*t, -t - 3*h = -1. Is t - -5*2/(-5) a multiple of 2?
True
Let r(j) be the second derivative of -j**5/20 + 7*j**4/4 - 3*j**3 + 3*j**2/2 + 12*j. Does 9 divide r(20)?
False
Let c(n) = n + 4. Let r be c(19). Suppose 5*k - 353 = -r. Is 11 a factor of k?
True
Suppose 9*j = 8*j + 12. Suppose 0 = -5*x, -2*f + 2*x + j = -46. Is f a multiple of 29?
True
Let b = -3 - -8. Suppose -b*a + 43 = -4*o, 39 = 5*a + o - 3*o. Suppose -3*m + 14 = 4*i, 2*m + 7 = 2*i - a. Is 2 a factor of i?
False
Let j(m) = 2*m**2 + 3*m - 24. Is j(11) a multiple of 8?
False
Let q be (-621)/(-108) + 2/(8*1). Suppose 0 = -q*l + 4*l + 540. Is l a multiple of 47?
False
Let n be 2/(-8) - 50*13/(-8). Suppose -6*c - n + 1251 = 0. Is 31 a factor of c?
False
Suppose 2*z = -3*z + 105. Suppose l - z = 4*q, -3*l - 6*q + 4*q + 91 = 0. Is 6 a factor of l?
False
Let k be 3 - -8*4/(-8). Is 7/(0/15 + k/(-10)) a multiple of 10?
True
Let n(f) = -23*f + 1. Let a be (-144)/78 + 8/(-52). Is n(a) a multiple of 17?
False
Let p(y) = -y - 1. Let m be p(-3). Suppose -16 = -g - 3*n, 2*n - 22 = -4*g + 2. Does 5 divide (-14 - g/m)*-1?
False
Suppose 5*f - 5*h = -5, 3*h + 2*h = 15. Suppose -29 = -f*v + 29. Does 13 divide v + (-9)/(4 + -1)?
True
Let p(m) = 2*m**2 - 132*m - 4. Does 11 divide p(-19)?
False
Let v(s) = -s**3 + 20*s**2 - 23*s - 38. Does 14 divide v(18)?
True
Let l(q) = q**2 - 9*q + 61. Is l(-8) a multiple of 11?
False
Suppose 2*t = t - 4*g - 5, 15 = -5*g. Suppose -c - 10 - t = 0. Let l = 7 - c. Is 8 a factor of l?
True
Suppose -q + 348 = 2*h - 1442, -3*h - 8963 = -5*q. Does 8 divide q?
True
Let o be (-48)/9*180/16. Is (42/(-15))/(2/o) a multiple of 14?
True
Let a = 51 + -51. Suppose a = -5*o + 391 + 959. Is 15 a factor of o?
True
Suppose 2*h - v = 55 + 19, 0 = -3*h + 3*v + 114. Let q = h - 22. Does 14 divide q?
True
Suppose -17*v + 4*v = -1638. Let f = 288 - v. Does 23 divide f?
False
Suppose 0*c - 3*c + 5 = -2*s, 3*s - 3*c = -9. Is (-13)/52 - 85/s a multiple of 21?
True
Suppose 25 = 2*l - 123. Is 33 a factor of l?
False
Let x(p) = -p**2 - 12*p - 10. Let q be x(-16). Let c = q - -115. Is c a multiple of 9?
False
Suppose 0*y = 11*y - 121. Let o = 107 - y. Is 12 a factor of o?
True
Let y(s) = 23*s**2 - 5*s - 4. Is y(-1) a multiple of 12?
True
Let m = 142 - -234. Let i = -228 + m. Is 11 a factor of i?
False
Let k(c) = 4*c + 29. Let d(b) = b + 15. Let g(v) = 5*d(v) - 2*k(v). Is g(-4) a multiple of 4?
False
Suppose 0 = 3*n - 3*u - 36, 10*u - 52 = -3*n + 5*u. Let v(h) = 7*h + 16. Let d be v(n). Suppose -5*o = -d - 21. Is 9 a factor of o?
True
Does 5 divide ((-672)/(-504))/(1 - (-1939)/(-1941))?
False
Let a(i) be the third derivative of i**5/30 + i**4/24 + 13*i**3/6 - 48*i**2. Does 20 divide a(4)?
False
Suppose 7*t + 4*z = 3*t + 976, -3*t = -5*z - 724. Is 23 a factor of t?
False
Let i = 2674 - 1565. Does 18 divide i?
False
Suppose -f - 102 = 5*f. Let d = 19 + f. Is 5 a factor of ((-30)/(-24))/(d/48)?
True
Suppose 3*p = y + 4, -4*y = 4*p - 0*p - 16. Let o be 1 + (-4 + y - -6). Suppose -x - n = -0 - 3, 2*x + o*n = 0. Is x even?
False
Let v(s) be the first derivative of -23*s**2/2 + s + 8. Does 20 divide v(-6)?
False
Suppose 0 = -3*x + 2*t + 6 + 13, 0 = 5*t - 5. Suppose x*g = 14*g - 518. Is 10 a factor of g?
False
Suppose -4*i + 0*i = 2*c - 138, c - 2*i = 89. Let a = -39 + c. Does 7 divide a?
False
Suppose 21 = -6*t + 3*t. Suppose -4*v = -0*v - 40. Let a = t + v. Is 2 a factor of a?
False
Suppose 350 + 1886 = 13*c. Is 7 a factor of c?
False
Let v(y) = 4*y**2 - 17*y + 59. Is v(7) a multiple of 4?
True
Suppose 321*r - 314*r = 4158. Is r a multiple of 49?
False
Suppose 0 = k - 3*h - 346, 0*h - 345 = -k + 4*h. Suppose 3*c - 107 = -x + 237, 3*c - k = 4*x. Does 32 divide c?
False
Suppose 1400 = 5*i - 2*g, 7*g - 12*g + 531 = 2*i. Is 30 a factor of i?
False
Suppose 0 = -t + 2*t. Suppose t = -r - 1, 8*u = 4*u + 3*r + 159. Let h = u + -19. Is h a multiple of 5?
True
Let h(c) = -15 + 27 + 2*c + 3*c**2 + 2*c**2 - 20. Does 18 divide h(-4)?
False
Let j(f) = -50*f + 47. Does 16 divide j(-7)?
False
Let b = 2845 + -1107. Is 8 a factor of b?
False
Let b be (2 + -7 - -3)/(4/8). Let r(k) = -3*k**3 - 7*k**2 - 5*k - 8. Is r(b) a multiple of 18?
False
Is 4 -