. Is i a multiple of 8?
False
Suppose 43*t + 535 - 2040 = 0. Is 11 a factor of t?
False
Let i = -26 - -70. Is 18 a factor of (12 - 0)*66/i?
True
Suppose -2*q - 13 = -4*v + 5, -18 = -v + 5*q. Does 12 divide -4 - -2*132/v?
True
Let j(z) be the first derivative of -z**4/4 - 3*z**3 - 9*z**2/2 + 18*z - 9. Is 6 a factor of j(-8)?
False
Let u = -20 + 24. Is 3*-1*(-168)/u a multiple of 42?
True
Let b be (-12)/(-28) - (-3620)/(-35). Let m = b - -199. Is 19 a factor of m?
False
Let k = 33 + -3. Is 21 a factor of k?
False
Suppose -3760 = -4*s - 720. Does 61 divide s?
False
Let q(u) = 7*u - 6. Let j be q(4). Is 22 a factor of (-2)/(1/(j/(-1)))?
True
Let m be ((-8)/(-10))/((-14)/175). Let d(b) = -b**2 - 12*b - 4. Is 4 a factor of d(m)?
True
Let c(x) = -x**3 - 8*x**2 - 10*x - 5. Suppose 2*r = -r + 21. Let l be (r/3)/(9/(-27)). Is c(l) a multiple of 4?
True
Suppose 55*w - 5552 = -1372. Is w a multiple of 4?
True
Let q(m) = 3*m**2 - 12*m - 10. Let g be q(7). Let k = g + -29. Does 9 divide k?
False
Let w = 6 - -5. Suppose 0 = x + 7 - w. Suppose -2*b + 0*k + 47 = -k, -x*k = -5*b + 116. Is b a multiple of 8?
True
Let h = -11 - -14. Suppose -4*p + h*p = -40. Is 10 a factor of p?
True
Let a(b) = -38*b - 510. Is 22 a factor of a(-26)?
False
Suppose 4*b - t - 8 = 0, 2*t + t - 12 = 0. Suppose -2*g = y - 16, -5*g + 1 = -b*y + 27. Let j(l) = -l**3 + 12*l**2 + 9. Does 7 divide j(y)?
False
Suppose 0 = 5*p + 5*d + 10 + 10, 1 = 5*p - 2*d. Let t be p/(-2*(-3)/(-30)). Suppose 0*x + 270 = t*x. Is x a multiple of 21?
False
Let q(o) = o**3 - 9*o**2 + 9*o - 10. Let l be q(8). Let t be (-125)/l + (-3)/6. Suppose -5*z + 252 = 4*a - 2*z, -a = z - t. Is 33 a factor of a?
True
Let k be 1 - -4 - (-5 + 8). Suppose -6*q - 4*m + 984 = -k*q, 4*q - 988 = -3*m. Does 40 divide q?
False
Let x(s) = -118*s - 31. Is 4 a factor of x(-2)?
False
Let s(m) be the second derivative of 1/12*m**4 - 4*m - 3/2*m**2 + 0 + 1/6*m**3. Does 13 divide s(6)?
True
Suppose 5*o - 885 = 3*h, -4*h = -14*o + 12*o + 340. Does 5 divide o?
True
Let y(i) = 5*i**2 + 7*i - 2 + 6*i**3 - 4*i**3 - 3*i**3. Let n be y(5). Suppose 0 = r - 0*r - n. Is r a multiple of 13?
False
Let x(v) = 3*v**2 + 3*v + 2. Let w be x(-1). Let g be 16/24*(-21)/w. Does 12 divide (-300)/(-21) - (-2)/g?
False
Suppose 0 = 3*a + p - 5, 1 = -a - a - 5*p. Suppose -3*t - 104 = -3*r + 79, t - 134 = -a*r. Is r a multiple of 25?
False
Let w(a) = 13*a**2 - 19*a + 13. Let d(b) = -4*b**2 + 6*b - 4. Let z(t) = -7*d(t) - 2*w(t). Is z(5) a multiple of 32?
True
Suppose -2*i - r - 8 + 4 = 0, -3*i - 3*r - 9 = 0. Let c(z) = -215*z + 1. Is c(i) a multiple of 19?
False
Let q(v) = 2*v - 30. Let j be q(17). Suppose -j*z = 3*m - 212, -z + 2*m + 91 = 27. Does 16 divide z?
False
Is (36/27)/(3/3078) a multiple of 4?
True
Let n(x) = -10*x**2 + 11*x + 8. Let u(z) = 3*z**2 - 4*z - 3. Let y(r) = -4*n(r) - 11*u(r). Does 32 divide y(-3)?
True
Suppose 155*j = 157*j - 6. Suppose 0 = -5*q + 2*x + 958, 2*x = j*q - 490 - 88. Is 13 a factor of q?
False
Let y = 768 + -218. Is y a multiple of 55?
True
Let u = 1955 - 1366. Is 40 a factor of u?
False
Let y(z) = -70*z - 67. Is 17 a factor of y(-8)?
True
Let j(y) = 16*y - 3. Let g(x) = -17*x + 4. Let u(m) = 4*g(m) + 5*j(m). Does 22 divide u(9)?
False
Let g be 2/11 - 217/(-77). Suppose -c + g - 2 = 0. Does 16 divide 78 - (c + (-12)/4)?
True
Let c = 11 + -9. Let f = c - -1. Suppose -f*i - 2 = -53. Does 5 divide i?
False
Is 23 - (-3 - 2 - (0 + -9)) a multiple of 3?
False
Let s(l) = -108*l**2 + 1. Let w be s(-1). Let k = w - -151. Is 15 a factor of k?
False
Suppose 0 = -35*n + 43*n - 3544. Does 21 divide n?
False
Let r(m) = m**2 - 1. Let l(a) = a**2 - a + 1. Let y(b) = -4*b**2 - 8*b + 7. Let v(u) = 3*l(u) + y(u). Let s(k) = 3*r(k) + v(k). Is s(7) a multiple of 7?
True
Suppose 4*u + 2*g = 1418, 8*u - 11*u + 3*g + 1077 = 0. Does 2 divide u?
True
Suppose -r + 841 = 387. Does 46 divide r?
False
Let l be (-1)/3 + (-39)/(-9). Suppose 4*b = 20, 3*k + b = -l*b + 34. Suppose -k*c + 16 + 8 = 0. Is 8 a factor of c?
True
Let h = -447 + 447. Let k(d) = 3*d - 8. Let l be k(6). Suppose -4*s = -j - h*j - 11, -j = 3*s - l. Is s a multiple of 3?
True
Suppose 44*h = 36*h + 5080. Is 26 a factor of h?
False
Suppose -5*h - 3*l + 1156 + 2489 = 0, 5*h - 5*l = 3685. Is 12 a factor of h?
True
Does 44 divide (454/(-8))/(3 - (-595)/(-196))?
False
Let s = 11 - 8. Suppose -s*t + 26 = -5*r + r, 2*t + 3*r = -11. Suppose -2 = g + 1, t*w - g - 95 = 0. Is 9 a factor of w?
False
Let p(z) = -z**2 + 6*z + 3. Let g(j) = -j**3 + 5*j**2 + 8*j - 5. Let c be g(6). Let v be p(c). Let s = 8 - v. Is s a multiple of 12?
True
Let t(x) = x**2 + 9*x + 5. Let o be t(-8). Let c be ((-2)/o)/((-11)/33). Does 4 divide (c/3)/(4/(-60))?
False
Let i be ((-2)/(-4))/((-2)/(-36)). Suppose -i*y + 21 = -12*y. Let o = y + 19. Does 3 divide o?
True
Suppose -5*d - 3*x + 212 - 1118 = 0, -3*d - x - 542 = 0. Does 10 divide d/(-14)*(2 + 5)?
True
Suppose 2937 + 4473 = 13*j. Does 15 divide j?
True
Let f be (-1310)/(-2) - 12/4. Suppose a = 4*z - 1301, 13*a = 2*z + 11*a - f. Is z a multiple of 25?
True
Let k be (1 + 4/(-8))*0. Suppose -7 = -u + 4*c, u - c + k = 4. Suppose 2*a = u + 53. Does 14 divide a?
True
Let n be (56/21)/(4/6). Suppose 3*x - 6*x = 5*v - 618, 5*v - 614 = -n*x. Is v a multiple of 7?
True
Suppose 5*m - 183 = -3. Let o = 21 + m. Is 35 a factor of o?
False
Suppose 3*l - j - 168 = 134, j = l - 104. Does 11 divide l?
True
Suppose 9*m = -1335 + 9336. Is m a multiple of 21?
False
Let v = -724 + 1741. Is 14 a factor of v?
False
Does 9 divide 2*(-638)/(-4) + 5?
True
Suppose 2*u - 6 = -0. Suppose 0 = 4*i - u*i - 8. Is 4 a factor of i?
True
Let c = 73 - 76. Let v(o) = 3*o**2 - 3*o - 6. Is v(c) a multiple of 10?
True
Let g be (-24)/(-2*(-3)/(-4)). Let u = g - 9. Let d = 27 + u. Is d a multiple of 17?
True
Let p = 871 - 251. Does 12 divide p?
False
Let d be (-21)/6*(-48)/28. Suppose 264 = d*f - 264. Is f a multiple of 11?
True
Suppose -3*a = -124 - 281. Is a a multiple of 27?
True
Let o = -25 - -77. Suppose q + o - 21 = 0. Let x = 38 + q. Does 2 divide x?
False
Let b = 188 + -8. Suppose b = 9*w - 4*w. Is w a multiple of 4?
True
Let v = 2 + -6. Let c be (46/(-12))/((-1)/6). Is 24 a factor of (c/v)/(3/(-36))?
False
Suppose -3*i - 6 = -42. Suppose 4*k + i = 0, -5*k + 520 = -2*r + 7*r. Is r a multiple of 16?
False
Suppose -2*v = -13 + 1. Suppose 5*k - v = 3*k. Suppose -3*x - k = 0, 4*i - 2*i - 39 = -3*x. Is 11 a factor of i?
False
Let b = 76 + -149. Let i = b - -136. Suppose 2*q = -t + 42 - 16, 5*q + 2*t - i = 0. Is q a multiple of 11?
True
Let d(h) = -h**3 + 8*h**2 + 4*h + 4. Let s be d(9). Is 11 a factor of (s/6)/(1/(-6))?
False
Let b = 4 - 4. Suppose b*n + 2*n - 304 = 0. Suppose 4*s = 3*y + 91 + 35, -y - n = -5*s. Is s a multiple of 11?
False
Suppose 2*p = -y + 105, -5 + 15 = -2*y. Let n = -1 - p. Let r = n + 95. Does 18 divide r?
False
Let h(n) = -n**3 + 13*n**2 - 5*n - 7. Let c be h(6). Let m = 328 - c. Does 38 divide m?
False
Suppose 0 = -2*x - 3*x - 45. Is 2 a factor of (-30)/x*3 - 4?
True
Let w(k) = 14*k - 23. Let f(j) = 7*j - 11. Let g(i) = -7*f(i) + 3*w(i). Let u(y) = -y + 1. Let d be u(5). Is 9 a factor of g(d)?
True
Let j = 2131 - 1015. Is j a multiple of 14?
False
Suppose -31*i + 17640 = -3*i. Is i a multiple of 17?
False
Let m(y) = -272*y - 14. Let u be m(-2). Suppose -3*x - 2*x = -u. Does 3 divide x?
False
Let b(j) be the second derivative of -1/6*j**3 + 0 + 55/12*j**4 - 10*j - j**2. Is 7 a factor of b(-1)?
False
Suppose 1293 = 89*s - 4136. Is s a multiple of 3?
False
Let o be (-3)/(-2) + 20/8. Suppose -o*d - d + 75 = 0. Does 15 divide d?
True
Let u(i) = -i**2 - 13*i. Let f be u(-13). Suppose 3 = -3*o + 3*n, -5*n + f + 5 = o. Suppose o*r + 155 = 5*r. Does 31 divide r?
True
Let i = 1684 + -1216. Does 18 divide i?
True
Suppose -29*k + 32*k = 5*s - 973, -189 = -s + 2*k. Is 9 a factor of s?
False
Suppose 10*k - 4*k = 0. Suppose h - a - 7 = -k*h, -3*a - 3 = 3*h. Suppose 164 = t + h*t. Is 22 a factor of t?
False
Suppose 6*r - 9 - 3 = 0. Suppose 3*y = -5*f + 62, -f = -r*f + 1. Is 4 a factor of y?
False
Let l = -192 - -424. Is 20 a factor of l?
False
Suppose -5*u + 17 = -u + 5*q, 5 = 3*u - 4*q. Suppose -k + 20 = 4*x, -u*x + 6*x - 15 = 3*k. Is (-153 + k)*(-1)/3 a multiple of 17?
True
Let g be ((-16)/12)/((-1)