se
Suppose 4*t - 40 = -5*q, -3*q + 37 = 6*t - t. Suppose 3*o = 2*h + 2105 + 831, 0 = -2*o + t*h + 1972. Suppose -14*w + o = -6*w. Is w a multiple of 16?
False
Let q(x) = 6*x**2 + 4*x**2 - x**3 - 3*x**2 + x - 5. Let f be q(7). Suppose 0 = f*u + 4*g - 0*g - 190, u - 92 = g. Is 31 a factor of u?
True
Suppose -2*r + 2110 = -5*h, 4*r - 404 = -2*h + 3*h. Let k = 754 + h. Suppose 0*s - k = -5*s. Does 16 divide s?
False
Let v(a) = 15*a**2 + 1006*a + 60. Does 180 divide v(30)?
True
Suppose 4 = -y - 2*g + 11, 4*g = 16. Is 65 a factor of y/((-1)/(-1377))*(-22)/33?
False
Is 81 a factor of ((-972)/(-30))/((-34)/(-6290))?
True
Suppose -7372 = -2*p - o + 11239, -2*p + o = -18621. Is 13 a factor of p?
True
Suppose 611*k = 532*k + 1540026. Is k a multiple of 27?
True
Let t(p) = 230*p**2 - 65*p + 25. Is 25 a factor of t(-5)?
True
Suppose -2*p = -3*i - 23662, -5*p + 71336 = -i + 12142. Is p a multiple of 20?
True
Is (-1696)/(-32) + -44 + 1 + 4580 a multiple of 135?
True
Does 28 divide (11/(-33))/(0 + -1) - 370431/(-27)?
True
Suppose 0*f + 2*f + 10 = 0, -b + 4*f = -40. Suppose -24*a = -b*a - 76. Is 5 a factor of a?
False
Suppose -3*h - 12*h + 101200 = 5*h. Is 10 a factor of h?
True
Let d(i) be the first derivative of i**6/360 - 13*i**5/120 + i**4/4 + 11*i**3/3 - 18. Let m(v) be the third derivative of d(v). Is 12 a factor of m(15)?
True
Let v = 2244 - 1972. Suppose -j = -2*j + 28. Suppose j*d = 26*d + v. Is d a multiple of 15?
False
Let b(o) be the second derivative of 1/2*o**4 + 1/20*o**5 - 7/6*o**3 + 3/2*o**2 + 13*o + 0. Is 9 a factor of b(3)?
True
Suppose -34065 - 54522 = -27*z. Does 3 divide z?
False
Let v = 5723 - 1201. Is v a multiple of 38?
True
Let a(i) = -i**3 - 17*i**2 + 29*i + 75. Let p be a(-20). Let w = -448 + p. Is 9 a factor of w?
False
Let i(y) = -3*y - 26. Let w be i(-21). Suppose s - 23 = 5*r + w, 4*s + 4*r = 360. Does 2 divide s?
False
Let c = -54 - -68. Let s = -239 - -245. Suppose -c*v + s*v = -1280. Is 16 a factor of v?
True
Let h = -7138 - -12681. Does 140 divide h?
False
Let i = 231 + 76. Let h = 531 + -657. Let u = i + h. Does 28 divide u?
False
Suppose -19372 = -2*z + w, 5*w - 15340 = -2*z + 4068. Is z a multiple of 35?
False
Let y = 68940 - 32560. Is 214 a factor of y?
True
Let a(b) = -b**3 + 5*b**2 + b + 1. Let u be a(4). Suppose -11 = 4*r + u. Does 32 divide 6/(-4 + -20) + (-778)/r?
False
Suppose 3*v = 15, 2*i - 3*v + 960 = 4677. Is i a multiple of 6?
True
Let z be 3 - (56/24 - 8/6). Suppose -8 = z*d, 2*h - 16 = -0*h + 2*d. Suppose -11*p = -h*p - 140. Is p a multiple of 3?
False
Suppose -z + 5*x + 26 = 0, -2*z - 4*x - 19 = -z. Let j be ((-2)/(-3) - 16/(-12)) + z. Is 2/(j*8/228) a multiple of 18?
False
Let d = 341 + -336. Suppose 5*l = d*p + 170, 5*l - 3*p = 67 + 93. Does 5 divide l?
False
Let i(z) = z**3 - 32*z**2 - 125*z - 23. Let m(s) = 3*s - 9. Let b be m(15). Does 14 divide i(b)?
False
Let c(l) = 3*l - 27. Let p(s) = 3*s**2 - 4*s - 7. Let g be p(3). Let k(w) = 4*w - 40. Let q(b) = g*c(b) - 5*k(b). Is 5 a factor of q(10)?
False
Let c = 12659 + -8403. Suppose 0 = -8*q - 872 + c. Is q a multiple of 39?
False
Suppose -3*p = x + 2*x - 156, 5*p - 263 = -2*x. Let b be (-3 + 100/8 + -1)*2. Let d = p - b. Is 12 a factor of d?
True
Suppose 0 = 4*h - 7*q + 3*q - 36, -3*h + q + 19 = 0. Suppose -h*l + 33 = 8, 0 = -4*w - 4*l + 1340. Is w a multiple of 10?
True
Suppose -73*l + 57290 = -39*l. Is l a multiple of 103?
False
Let f = 13763 + -6518. Does 19 divide f?
False
Let q = 9239 - 5089. Is 12 a factor of q?
False
Let g be (-50)/125 - (-1 + (-496)/(-10)). Let w = 4 + g. Does 32 divide (5/w*-3)/(1/117)?
False
Suppose r = -3*s + 14, -2*s + 11 = 2*r - 17. Is (-6 + 105/r)*102/9 a multiple of 13?
False
Let m(r) = r**2 - 2*r - 10. Let n = -59 - -64. Let p be m(n). Suppose -6*f + 2*f - 5*w = -263, f + p*w = 62. Is 47 a factor of f?
False
Let h(i) = -4*i**3 - 4*i - 3. Let b be h(-1). Let w be 2/1*b/(70/(-91)). Let k(g) = -g**2 - 18*g - 9. Does 22 divide k(w)?
False
Let l(a) = a**2 + 2*a - 15. Suppose 5*u - o = 4*o - 175, -113 = 3*u - o. Let s be 260/u*3/2. Is l(s) a multiple of 11?
False
Let d(l) be the second derivative of -41*l**3/3 + 12*l**2 - 2*l + 11. Does 47 divide d(-2)?
True
Let u be ((-15)/(-18)*-4)/((-10)/15). Suppose u*j - 4 = 16. Suppose j*a = 119 + 41. Does 5 divide a?
True
Let g(f) = 2*f**2 - 22*f + 72. Let y be g(20). Suppose -4*t + 0*t + 256 = 3*v, -y = -5*v - 4*t. Does 11 divide v?
True
Let k(t) = -8*t**2 - 1370*t + 7 + 683*t + 683*t + t**3. Is k(9) a multiple of 26?
True
Let n = 419 - 405. Suppose -6762 = -35*f - n*f. Is f a multiple of 6?
True
Suppose 3*v + 5*s - 50 = 0, -s = -v + 33 - 3. Suppose 34 = 23*n - v*n. Let c(l) = -19*l - 17. Is c(n) a multiple of 51?
True
Let r(n) = n**2 - 4*n + 9. Let l(v) = v**2 + v - 17. Let o be l(-10). Let x = 77 - o. Is r(x) a multiple of 2?
False
Suppose 0 = a - 2*l - 3*l - 538, -2*a = l - 1032. Does 19 divide a?
False
Suppose -5 = 5*f - 5*t, f + 9 = -2*t - t. Let p = 14 + f. Let n = p + 45. Is 14 a factor of n?
True
Let v = 430 - 425. Suppose n + v*d = -4*n + 105, 3*d = 9. Is 9 a factor of n?
True
Let n(k) = -8*k - 461. Let v be n(-58). Suppose 3*m + v*s - 2160 = 6*s, -4*m = -2*s - 2890. Is m a multiple of 25?
True
Let j be (-3)/(-2)*(-286)/(-39). Suppose 10*o + 9 = j*o. Suppose 12*s - o*s - v = 176, -4*s = 4*v - 224. Does 19 divide s?
False
Let u = -381 - -562. Suppose w = -4*y + 23, -2*y + u - 47 = 4*w. Is 11 a factor of w?
False
Let j(q) = q + 7. Let b be j(0). Suppose -3*s + 4*r + 0*r = -162, -3*s - 3*r = -162. Is b/(14/s) - 2 a multiple of 5?
True
Let d = 3376 + -2209. Is d a multiple of 41?
False
Let v = 146 - 324. Does 7 divide (-5)/(-2 - 3) + -4 - v?
True
Let k(i) = i**2 - 8*i. Let x be k(9). Suppose -n = -4*n + x. Let s(b) = 2*b**3 - 4*b**2 + 2*b - 7. Is 8 a factor of s(n)?
False
Let b = -21808 + 47818. Does 102 divide b?
True
Does 43 divide 9153*(6/20)/(10/100)?
False
Suppose 5*d - 194 = -2*m, 77 = 4*d - 3*m - 69. Suppose 0 = -3*s + c + 3563, 3*s + d*c - 3583 = 34*c. Does 41 divide s?
True
Suppose i + 13*i = -112. Is 13 a factor of 2 - (-18)/(-8) - 1354/i?
True
Let s = -846 + 4010. Does 28 divide s?
True
Let l(z) = -141*z + 1188. Is l(-76) a multiple of 32?
True
Suppose -10 = -2*t - 3*t, 2*s - 98 = -2*t. Suppose 0 = -41*h + s*h - 1416. Does 27 divide h?
False
Let s be -172*(-2 - (-21)/12). Let y(w) = -24*w**3 + 2*w**2 - 3*w + 2. Let n be y(1). Let x = s + n. Does 2 divide x?
True
Let s(h) = -2 - 18 - 40*h**2 - 16 + 39*h**2 - 20*h. Let l be s(-18). Is 25 a factor of (-352 - l)*15/(-20)?
False
Suppose 0 = 4894*r - 4828*r - 2066196. Is 11 a factor of r?
True
Let u(p) = 11*p**3 - 3*p + 2. Let s be u(1). Suppose -40 = s*l + 80. Is 8/(-6)*2*l/8 even?
True
Let d = -114 + 119. Suppose -55 = -d*b - 10. Suppose -b*y = -263 - 574. Is 10 a factor of y?
False
Let g(c) = c**3 - 9*c**2 + 7*c + 24. Let v be g(8). Let x(l) = l**3 - 17*l**2 + 14*l + 32. Let a be x(v). Suppose a = 9*s - 247 - 41. Is s even?
True
Suppose -28743 + 104731 = 157*q. Is 11 a factor of q?
True
Let j(y) = 9*y**2 + 5*y - 2. Let n be j(-1). Does 3 divide 140/n - (32/(-8) + 1)?
False
Suppose 83 - 38 = 5*t. Suppose 1 = 5*s - t. Suppose 5*n - z - 240 = 0, -z - s*z + 48 = n. Does 16 divide n?
True
Let v = -591 + 597. Is ((-2)/v)/((-20)/15300) a multiple of 5?
True
Let t be (-62912)/(-44) - (2 - 96/44). Suppose 0*j - 5*j = -t. Is 22 a factor of j?
True
Suppose 65537 = -130*k + 782357. Is 9 a factor of k?
False
Suppose 5*k - 14*w = -12*w + 4948, -k + w + 992 = 0. Is 38 a factor of k?
True
Suppose 0 = -9*o + 6*o - 18. Let r(a) be the first derivative of -7*a**2 + 4*a + 6. Does 11 divide r(o)?
True
Let i = 295 - 211. Let z = i + -38. Suppose 0 = 2*j - 8 - z. Does 5 divide j?
False
Suppose -1307 - 8197 = -12*d. Let t = d - -66. Is 33 a factor of t?
True
Let o be 2/(-11) + (-92)/(-22). Suppose 0 = -o*s + 20 - 8. Suppose 4*g = -c + 404, s*c + 174 + 214 = 4*g. Does 23 divide g?
False
Let z(c) = c**2 + 8*c + 19. Let w be z(-4). Let n be (4 - 0)*((-63 - w) + -3). Let u = 418 + n. Does 8 divide u?
False
Suppose 2*b - 4672 = -k, 0 = -4*b - 128 + 148. Is 74 a factor of k?
True
Let i = 83 - 79. Suppose 0*w - 20 = -i*w, 2*w - 10 = 4*t. Suppose t = 3*s + 172 - 913. Is s a multiple of 31?
False
Suppose 12987 = 4*j + u, 2*u + 5627 = 4*j - 7375. Is 8 a