(y) = -14*y + 26. Suppose 2 = 9*s + 119. Does 26 divide d(s)?
True
Suppose 3*h - 1450 = 2*f, -6*h + 2*h - 3*f = -1905. Does 10 divide h?
True
Suppose 70*g = 66*g + 6196. Is g a multiple of 19?
False
Suppose -4*c + 1846 = -854. Is c a multiple of 15?
True
Let t(u) = 25*u**2 + 149*u - 20. Is t(-16) a multiple of 55?
False
Let b(u) = -17*u**2 - 10*u + 14*u**2 + 4*u**2 - 19. Is b(13) a multiple of 10?
True
Let k(d) = 14*d + 2. Let r be k(2). Let v = r - 25. Suppose 2*b = -a + v, 5*b - 23 = -5*a - 8. Is b a multiple of 2?
True
Suppose 3*j - 7577 = -2*f, 4*j + 5*f + 2537 = 5*j. Is 27 a factor of j?
False
Let n(g) = -4*g**3 + 7*g**2 + 44*g - 1. Let b(d) = 5*d**3 - 7*d**2 - 43*d + 2. Let h(x) = -3*b(x) - 4*n(x). Is 14 a factor of h(12)?
True
Suppose -6 = 9*s - 3*s. Does 6 divide ((-8)/(-6))/s*-18?
True
Let m be (-6)/14 - (-148)/(-14). Let n be (-1652)/m - 2/11. Suppose -5*f + p = -n, 3*p - 14 = -f - 0*p. Is 11 a factor of f?
False
Suppose 97*h + 1638 = 99*h. Suppose 4*q - h = -31. Is 34 a factor of q?
False
Suppose 24 = 133*v - 130*v. Suppose -v = 2*i, j = 4*i + i + 70. Is 11 a factor of j?
False
Let i be -2*9*6/(-9). Suppose 0 = r + r - i. Let t = r - -2. Is 3 a factor of t?
False
Is 2 a factor of (75/(-12))/((-44)/(-16) - 3)?
False
Let n(f) = 16 + 14*f - f**2 + f + f. Is n(13) a multiple of 16?
False
Let u(a) = -a**3 - 5*a**2 + 4*a - 8. Let x be u(-6). Suppose -2*y + 140 = g, 4*g = 2*y + 514 - x. Is 37 a factor of g?
False
Let a = -52 + 56. Suppose -3*j - a*z = -540, 23 = 2*j - z - 337. Does 18 divide j?
True
Suppose 3*k - 2*f - 259 = 835, 2*f = -4*k + 1482. Is k a multiple of 17?
False
Let u = -6 - -29. Let z be (-56)/(-7)*u/2. Is 12 a factor of (-2)/(-6) - z/(-3)?
False
Let w(f) = -6*f**2 - 294*f - 26. Does 18 divide w(-47)?
False
Suppose 5*u + 225 = -2*m, -u + 3*u - 246 = 2*m. Let z = m - -194. Is 40 a factor of z?
False
Does 8 divide -2 - (-296)/16*4?
True
Let n(y) = 3*y**2 + 6. Let h be n(6). Is 9 a factor of 1/6*1 - (-5111)/h?
True
Let n(d) = d**3 - 17*d**2 + 20*d + 5. Let o = 47 - 31. Let c be n(o). Let t = c - 40. Does 10 divide t?
False
Let n(i) = -i**2 - i + 3*i - i + 14. Suppose -5*y + 5 = -5*v, -5*y + 2*v + 1 = v. Is n(y) a multiple of 7?
True
Let a(d) = 6*d**2 - 25*d + 10. Let q = -91 + 97. Does 4 divide a(q)?
True
Suppose -2*v + 24 = 4*f, -2*f = 3*f - 25. Suppose -k + i + 388 = v*k, -k + 120 = 2*i. Does 16 divide k?
True
Suppose 37*o + 5160 = 40*o. Does 40 divide o?
True
Let a be -1 + (-9)/(-3 - 0). Let k be 32/(-12)*33/a. Let y = -14 - k. Is 24 a factor of y?
False
Let m be 24/16*(-320)/(-6). Suppose -8*c + m = -200. Is 7 a factor of c?
True
Does 24 divide (-2)/(-7) - 38*(-137)/7?
True
Let p(g) = 11*g - 13. Let l(a) = -a**2 - 7*a - 5. Let h be l(-4). Is 16 a factor of p(h)?
True
Suppose 21 = -4*n + 185. Is n even?
False
Suppose 9 = -9*u + 27. Let b be -4 - ((4 - u) + -13). Suppose 3*r - 34 = -b. Is r a multiple of 3?
True
Suppose 0 = -21*q + 8*q + 9945. Is q a multiple of 17?
True
Let i(o) be the second derivative of -o**5/20 - 13*o**4/12 + 13*o**3/6 - 15*o**2/2 + 10*o. Let w be i(-14). Is (-35)/w + 18 + -18 a multiple of 6?
False
Let r(h) = -h**2 + 12*h + 2. Let m be r(13). Let g = m - -13. Suppose 0*j + 5*j + o = 95, -g*j + 5*o = -11. Is 6 a factor of j?
True
Let n = -31 + 30. Let j(m) = -63*m - 5. Is 19 a factor of j(n)?
False
Let j be (-91)/(-21) - 4/(-6). Suppose 3 = o - 2*l + 1, o = -l + j. Suppose 3*y + 4 = o*y. Is y even?
True
Let g = -4 - 0. Let z be 10*(g + 24/15). Is (15/12)/((-3)/z) a multiple of 5?
True
Let f be (-2)/(4/(-18))*(-2)/(-3). Suppose -f*s - 676 = -10*s. Is 13 a factor of s?
True
Does 2 divide 152 + (-50 + 49)/(-1 - -2)?
False
Let l(b) = b**3 + 6*b**2 - b - 2. Let f be l(-6). Suppose 0 = -f*h + 5*r + 776, -5*h + 515 = -5*r - 455. Is 8 a factor of h?
False
Let b(w) = -3*w - 16. Let i be b(-6). Suppose 4*p = -i*p + 108. Is 6 a factor of p?
True
Let b(x) = 2*x**2 - x + 43. Let n(f) = -f**3 + 9*f**2 + 2*f - 18. Let l be n(9). Is 8 a factor of b(l)?
False
Let p = 28 - -4. Suppose -p = -0*j + j. Let q = j - -47. Is q a multiple of 7?
False
Let j(c) = 6*c**3 - 2*c**2 - 1. Let x be (-2)/(8/28*-1). Suppose 2*o = x*o - 10. Is 14 a factor of j(o)?
False
Let z = 720 + 450. Does 15 divide z?
True
Suppose 7*a - 10*a = 5*h - 1115, 4*a = 2*h + 1452. Does 14 divide a?
False
Suppose -2*l + 6*y - 10*y + 356 = 0, -4*l = -3*y - 745. Is l a multiple of 46?
True
Suppose -n + 4087 - 3101 = 0. Does 58 divide n?
True
Suppose 6 + 23 = x. Let k be 1*16 - (-3 + 3). Let n = x - k. Is 9 a factor of n?
False
Suppose 550 = -12*i + 7*i. Let k = -26 - i. Is k a multiple of 7?
True
Let r(o) = -o**2 + 51 - 8*o - 24 - 24. Let c be r(-9). Is 5 a factor of (-4)/c - 22/(-3)?
False
Suppose -12*v - 12*v + 14904 = 0. Is 16 a factor of v?
False
Let q(h) = -h - 1. Let l be q(1). Let r be (l/3)/(4/168). Let m = r + 49. Does 21 divide m?
True
Suppose 8417 = 73*y - 28375. Is y a multiple of 40?
False
Suppose 18 = 4*r + 5*q - 4, -4*r - 2*q = -28. Let y(m) = 17*m + 24. Does 20 divide y(r)?
True
Suppose 25 = -3*h - 2*k, -5*h + 0*k - 2*k - 43 = 0. Let f be 3*(615/h)/(-5). Suppose -5 + f = d. Is d a multiple of 12?
True
Suppose 2*b = 10*b - 64. Suppose 46 = 3*m - 3*w - b, -3*m + w = -64. Is m a multiple of 23?
True
Let g(p) = -2*p**3 - p**2 - 6*p + 4. Let k be g(-4). Let v = 210 - k. Is v a multiple of 10?
True
Suppose 96*a - 94*a - 324 = 0. Is a a multiple of 23?
False
Suppose 2*g - 144 = -4*b, -5*g + 2*b + 372 = -0*g. Let u = g + -51. Let s = 12 + u. Does 10 divide s?
False
Let o = 2297 - 1625. Suppose 5*l - o = -l. Does 6 divide l?
False
Let o = -10 + 0. Let h(r) = -2*r + 12. Does 8 divide h(o)?
True
Let n(r) be the second derivative of -r**3/6 + 5*r**2 + 7*r. Let g be n(14). Does 6 divide 134/11 + g/22?
True
Let i = 59 + -59. Is 80 + 4 - (3/1 - i) a multiple of 27?
True
Let z(r) = r**2 - 8*r - 7. Let i be z(7). Let s = i + 30. Is s a multiple of 12?
False
Suppose 310 = 2*r - 3*l, 4*r + 44 = 5*l + 668. Let z = r + -98. Does 21 divide z?
True
Suppose -10 = -0*p - p. Let q = p + -8. Does 23 divide -50*q/(-3 - -1)?
False
Suppose 24*p = 26*p + 4*c - 532, -2*p - c = -517. Is 35 a factor of p?
False
Let u(l) = 9*l - 1. Suppose 5*o - 4*h - 70 = 0, -o = o - h - 31. Let c = -12 + o. Does 9 divide u(c)?
False
Suppose -9*w = 3*w + 24. Is 17 a factor of ((-16 - -20) + 9/w)*-382?
False
Suppose 4*n - 4*v + 53 - 929 = 0, 0 = 3*n + 3*v - 669. Suppose -6*h + n = -259. Does 5 divide h?
True
Let h(t) = 5*t**3 - 14*t**2 - 7. Is 21 a factor of h(5)?
False
Let b = 900 - 526. Does 34 divide b?
True
Suppose 1916 + 3108 = 3*g - 4*v, -5*g = -3*v - 8355. Is g a multiple of 6?
True
Is (-132)/110 + 12472/10 a multiple of 6?
False
Suppose 0 = -14*h + 3979 - 479. Does 5 divide h?
True
Let p(l) = 3*l**2 - 5*l + 3. Let m be p(-5). Suppose 5*a = -5, 0 = -3*b - 6*a + a + 4. Suppose m = b*i - 83. Is i a multiple of 21?
False
Suppose -15 = -3*p + 18. Suppose -224 = -p*u + 7*u. Does 10 divide u?
False
Let z(i) = i**2 - 11*i + 348. Does 45 divide z(-25)?
False
Let w be (-9)/(-6)*114/9. Suppose h - 36 = 5*f + 14, -f + 2*h - w = 0. Let j = -4 - f. Is j even?
False
Let f be 342/12*-16*(-3)/9. Suppose -6*p + 2*p = -f. Is p a multiple of 3?
False
Suppose 129*k = 158*k - 957. Is 11 a factor of k?
True
Let j(i) = i**3 - 14*i**2 + 31*i - 12. Is j(12) a multiple of 10?
False
Let v = -64 + 66. Suppose 6*y - v*y - 184 = 0. Is 8 a factor of y?
False
Let l(p) = -127*p**2 - 6*p + 4. Let i(c) = -64*c**2 - 3*c + 2. Let w(z) = -7*i(z) + 3*l(z). Is 11 a factor of w(1)?
False
Suppose -h - 3*y = -2527, -5*h - y + 473 = -12120. Is h a multiple of 46?
False
Suppose 0 = -500*y + 508*y - 19448. Is 17 a factor of y?
True
Suppose 5*r = 5*y + 15, 3 = 2*y + 2*r + 17. Let h(g) = -g**3 - 5*g**2 + g + 5. Let w be h(y). Suppose l + 2*l - 54 = w. Is l a multiple of 9?
True
Let w be -3*((-4)/2 + 5). Let s(x) = -9*x + 2*x + x - 6 + 2*x. Does 10 divide s(w)?
True
Suppose -3*z + 2*a - 394 = -1832, a - 1 = 0. Is z a multiple of 30?
True
Let i(z) = -z**3 - 39*z**2 - 39*z + 38. Is i(-39) a multiple of 15?
False
Does 7 divide ((-2)/7)/(12/2212)*-12?
False
Suppose -2*v + h + 10 = 1, 0 = -h - 3. Does 26 divide -13*-6*(v - 2)?
True
Let i = 12 - 2. Let g be 32/i - (-3)/(-15). Suppose -g*a = -5*n - 28, 0*a + n = 3*a - 20. Is 3 a factor of 