 + 12. Does 2 divide t(7)?
True
Let j(m) = -m**3 + 10*m**2 - 7*m - 3. Let z = -82 - -58. Let d = -15 - z. Is j(d) a multiple of 15?
True
Let v(a) = -a**3 - 5*a**2 + 8*a + 10. Let g = 65 + -73. Is 27 a factor of v(g)?
False
Let v(q) = -61*q. Does 6 divide v(-6)?
True
Let v = 1192 + -257. Does 76 divide v?
False
Let l be (-2)/7 + 8/28. Suppose l = -3*h - 5*r - 26, -r + 2*r + 8 = -2*h. Is (-33)/(-3) - 6/h a multiple of 6?
False
Let l(t) = 5*t - 6*t - 3 + 0*t. Let d be l(-7). Is 3 a factor of d/(3 - 1 - 1)?
False
Let s(f) = 3*f + 3. Let i be s(0). Suppose -2*y - a = -6*a - 73, i*y + 4*a = 52. Does 13 divide y?
False
Let l(c) be the third derivative of 0 - c**3 + 4*c**2 + 1/60*c**5 + 0*c + 0*c**4. Is 7 a factor of l(-6)?
False
Let i(y) = 4*y**2 + y + 1. Let t be i(-1). Is 327/5 + (-9)/(-60)*t a multiple of 31?
False
Suppose 0 = 2*j + 4, 4*k - 3*j - 508 = -5*j. Suppose 21*h = 25*h - k. Is 4 a factor of h?
True
Suppose 5*i + 16 = 6*i. Suppose c - 5*c - i = 0. Is 23 a factor of c/(-6) - 1224/(-27)?
True
Let a = 24 + 138. Does 18 divide a?
True
Is 22 a factor of 134589/255 + 1/5?
True
Suppose s - 2*s = 3. Does 12 divide 49/s*-3 + -1?
True
Let b(o) = -27*o - 55. Is 14 a factor of b(-15)?
True
Let f = -728 - -435. Let t = -139 - f. Does 14 divide t?
True
Let p(m) = -6*m - 3. Let w be p(-1). Suppose -k + b + 286 = k, -5*k + w*b = -715. Does 11 divide k?
True
Suppose 4*d + 7 = 23. Suppose -2*n + d*w - 16 = -0*n, 5*n - 3*w + 5 = 0. Is n/6 - 142/(-6) a multiple of 8?
True
Suppose -2*p - 2*w + 22 = 0, -2*p = w - 13 - 4. Is 10 a factor of 484/24 + (-1)/p?
True
Let z = 1 - -18. Let x = z + -14. Suppose -5*g + 10 = 0, 5*g + 13 = -x*p + 123. Is p a multiple of 10?
True
Suppose 0 = 4*b - 39 - 13. Let q = b + -5. Does 4 divide q?
True
Suppose -6*s - 11744 = 10*s. Let t = -494 - s. Does 23 divide t?
False
Let t(y) = -y**2 - 12*y - 17. Let g be t(-10). Let f be -1 - (-3 - (-2 - -4)). Suppose -i - f*o - 14 = -4*i, g*o = -5*i + 33. Does 6 divide i?
True
Suppose 0 = 15*p - 1967 + 332. Is p a multiple of 20?
False
Let w be 1 + (-1)/((-3)/21). Is (-3 - -117)*w/12 a multiple of 9?
False
Let n = -2775 + 5036. Is 19 a factor of n?
True
Let j = -39 + 51. Is (20/(-40))/((-1)/j) a multiple of 2?
True
Let g(s) = -47*s - 6. Let x be 4/(-10) + 414/(-115). Is g(x) a multiple of 14?
True
Let m be 2/(-12) + 1/6. Suppose m = -j + 4*j. Suppose 3*a - 2*q = -j*q + 29, -3*a + 22 = 5*q. Is a a multiple of 9?
True
Let a(d) = -d**3 - 12*d**2 + 5*d - 8. Let f = -30 - -17. Does 12 divide a(f)?
True
Let w = 1167 - 462. Is w a multiple of 47?
True
Suppose 6*s - 2397 - 171 = 0. Is 6 a factor of s?
False
Suppose 4*r - 2*g - 139 = 5, 2*r - 2*g - 70 = 0. Is 8 a factor of r?
False
Let t be (-6)/30 - 72/(-10). Let n be (-429)/(-91) + ((-4)/7)/(-2). Suppose -t*x + n*x = -40. Is x a multiple of 10?
True
Let h be 9 + 0/(-1) + 1. Is 17 a factor of (-10)/(-14)*71 - h/(-35)?
True
Let c = -18 - -30. Let d(k) = k**2 - 8*k + 9. Is 19 a factor of d(c)?
True
Let d(p) = 211*p**2 + 6*p + 1. Is 5 a factor of d(-1)?
False
Suppose 30*y = 30702 + 738. Is y a multiple of 6?
False
Let n(a) = 15*a**2 + 153*a + 18. Does 5 divide n(-11)?
True
Let k(o) be the second derivative of o**4/12 - o**3/3 + 3*o**2/2 + 12*o. Is k(9) a multiple of 14?
False
Let o = -9 + 653. Suppose 9*l - o = -5*l. Does 2 divide l?
True
Let g(q) = -3*q + 23. Let z be g(-10). Let c = 177 + z. Is c a multiple of 22?
False
Let g(z) = 0*z - 71*z**3 + 0*z + 1 - 60*z**3. Is 47 a factor of g(-1)?
False
Suppose 4*x = -16, 4*t - 4*x = 503 + 525. Is t a multiple of 11?
True
Let g(r) = -r**2 - 11*r - 27. Let p be g(-5). Suppose 647 = 4*x + p*j, 0*x + j + 643 = 4*x. Is 23 a factor of x?
True
Let p = -25 - -206. Does 8 divide p?
False
Let w be 96/42 - 4/14. Suppose w*a - 2 = 3*a, 3*h = -5*a + 380. Suppose -d = -6*d + h. Is d a multiple of 8?
False
Let n(f) = -32*f + 13. Let q be n(-3). Let s = q + -37. Does 12 divide s?
True
Let p(b) = -b**3 - 2*b**2 - b - 4. Let z be p(-4). Suppose -24 = -4*d + z. Let l = 42 - d. Does 8 divide l?
False
Let a(x) = 83*x + 184. Does 9 divide a(7)?
True
Let l(s) = s**3 + 9*s**2 + 2*s - 2. Let t(d) = -d**2 - d - 1. Let m(n) = -l(n) - 6*t(n). Is 4 a factor of m(-4)?
True
Let q(v) = 2*v + 3. Let z(c) = 13*c + 17. Let w(g) = -7*g - 9. Let t(r) = -5*w(r) - 3*z(r). Let p(m) = -10*q(m) - 4*t(m). Is p(-3) a multiple of 2?
True
Let w = -92 + 311. Does 52 divide w?
False
Let s(b) = -2*b + 40. Let i be s(9). Is 9 a factor of (i/(-4) + 3)/(8/(-144))?
True
Let d(a) = -132*a - 3. Let n be d(1). Let g = n - -303. Does 12 divide g?
True
Suppose 4*r - 18 = 2*r. Let x(s) = -3*s**3 - 10*s**2 + 6*s - 8. Let f(h) = 2*h**3 + 10*h**2 - 7*h + 9. Let a(g) = 4*f(g) + 3*x(g). Is a(r) a multiple of 3?
True
Suppose 8*i = 3*i. Let j = i - -48. Is j a multiple of 24?
True
Let i = -5 + 2. Let l(n) = 10*n - 5. Let j be l(i). Let w = 8 - j. Is 20 a factor of w?
False
Let o(m) = 353*m**3 - m**2 - 4*m + 4. Is o(1) a multiple of 32?
True
Let z(g) = 10*g**3 - 5*g**2 - 6*g + 11. Does 9 divide z(4)?
False
Suppose 198*n = 150*n + 89568. Is 25 a factor of n?
False
Let p be (-4)/(-14) + 24/14. Suppose r + 25 = 2*r + p*m, 0 = -r - 3*m + 23. Does 3 divide r?
False
Suppose -3*k - 21 = -3*b - 0*k, 3*k = -2*b - 1. Suppose 4*p - b*a = -a + 582, -8 = 4*a. Is p a multiple of 18?
True
Let s = -75 - -92. Suppose -o = -s - 23. Does 5 divide o?
True
Let l = -2 + 2. Suppose l = 8*y - 9*y. Suppose y = 3*s - 5*n - 115, 8 = 5*s + 2*n - 163. Is s a multiple of 7?
True
Let l(q) = 2*q**2 - 8*q - 123. Is 85 a factor of l(-11)?
False
Let g(c) = 5*c - 7. Let x be g(-5). Let q be x/3*(-21)/14. Let v = q - -51. Is 17 a factor of v?
False
Let m = -21 + 28. Suppose -m*d = -d - 72. Does 13 divide 4 + (25 - d/(-4))?
False
Let x = -28 + 28. Suppose x = 4*z + j - 4, -2*z + 10 = -z - 2*j. Suppose -6*w = -z*w - 84. Is w a multiple of 7?
True
Let i = -2 - -11. Suppose 0 = b - 4*r - i, -b + 1 + 8 = -r. Does 3 divide b?
True
Suppose -2*o - 8 = -6*o. Is (20/o)/((-2)/(-36)) a multiple of 15?
True
Let r(v) = -2*v**2 - 6*v - 10. Let b(h) = 5*h**2 + 13*h + 22. Let y(g) = 3*b(g) + 7*r(g). Suppose 2*c + 14 = -2*f, -3*c = -3*f + c - 7. Is 12 a factor of y(f)?
True
Let u(c) be the third derivative of c**5/60 - c**4/24 - c**3/2 + 2*c**2. Let s(g) = g**3 - 9*g**2 + 7*g + 4. Let l be s(8). Is 17 a factor of u(l)?
True
Let q = 114 + -22. Does 5 divide q?
False
Let o be (-1 - (-6)/(-3))/((-3)/8). Is 35 a factor of ((-202)/o + -1)/((-11)/44)?
True
Let a(n) = -3*n + 7*n - n + 0*n + 2*n**2. Let o be a(-2). Suppose o*y - 5*q - 15 - 8 = 0, -46 = -5*y + q. Does 9 divide y?
True
Let y = -51 - -73. Let o = 60 - y. Is o a multiple of 27?
False
Suppose 5*z + 47 + 88 = 0. Let x(y) = -y**3 + 12*y**2 - 8*y + 12. Let a be x(11). Let k = z + a. Does 9 divide k?
True
Let s(k) = -k**3 - 14*k**2 + 15*k + 9. Let m(h) = -3*h**3 + 3*h**2 + 3*h + 1. Let j be m(-2). Let d = 16 - j. Does 9 divide s(d)?
True
Let x(n) be the third derivative of n**6/120 - 7*n**5/60 - 11*n**4/24 - 7*n**3/2 - 51*n**2. Is 6 a factor of x(9)?
True
Let b = -138 + 144. Suppose b*r + 3*r = 1836. Is r a multiple of 12?
True
Suppose 3*g = -c + 26, 2*g = -c - 8 + 29. Let v = 17 - c. Is 33/(-2)*v/(-9) a multiple of 5?
False
Let g = 2201 - 901. Is 25 a factor of g?
True
Let o be ((-8)/(-28))/(2/14). Let v be o*((-2 - 3) + 4). Let f = 1 - v. Does 3 divide f?
True
Does 18 divide (20 - 19)*(-7)/(7/(-720))?
True
Suppose 4703 = 6*p - 4051. Let l = p - -764. Is 39 a factor of l/15 + 5/(-25)?
False
Is (926/7)/((-70)/(-245)) a multiple of 45?
False
Let v(m) = 10*m**2 + 5. Let a be 24/(-12) - (0 - 6). Let z be v(a). Suppose -6*k + z = 9. Is k a multiple of 13?
True
Let g be ((-2 - -3) + 1)/2. Let s be g/(-4) - (-3208)/32. Suppose 5*t - 5*a = 270 - s, -10 = 2*a. Is t a multiple of 7?
False
Let h be 6 + -2 + 1*-3. Let g be (h - 2)/((-5)/(-935)). Let v = -113 - g. Is 31 a factor of v?
False
Let t(w) = 21*w**3 + 6*w**2 + w - 9. Does 15 divide t(3)?
True
Let n(f) = 7*f - 10. Let l be n(6). Suppose 2*t - 46 - l = 0. Is 13 a factor of t?
True
Let f(c) = -c + 6. Suppose 2*s + 4*p = -8, p = s - 2*p + 9. Let q be f(s). Is ((-188)/5)/(q/(-30)) a multiple of 19?
False
Does 16 divide (12/(-24))/((-1)/922)?
False
Suppose -154 = -58*y + 56*y + 3*x, 2*x - 244 = -3*y. Is y a multiple of 16?
True
Le