
True
Suppose 5*v - 4 = 4*x, 3*x - 3*v = -2*v + 8. Suppose 2*i = 4, -7 + x = y - 4*i. Is 3 a factor of y?
False
Is 121 a factor of 347 - (-6 + -4) - -6?
True
Let u = 7 + 20. Is 31 a factor of ((-62)/6)/((-1)/u)?
True
Let f be (8/(-10))/(1/5). Let t(o) = -3 + 5 - 2 - 2*o + o**3 + 4*o**2. Does 4 divide t(f)?
True
Let g = 65 - 11. Is 1 + 3 + g/6 a multiple of 13?
True
Does 18 divide (-3)/4 + (-142092)/(-144)?
False
Suppose 5*z + u = 1468, -u = -z - 0*u + 290. Is 44 a factor of z?
False
Does 23 divide 96/(-720) + (8344/30 - 2)?
True
Suppose 2*g + 3*f - 5*f = 8, 0 = -2*f - 4. Let y be (-209)/3 - g/(-3). Let p = y + 109. Is 8 a factor of p?
True
Let m(w) = 6*w + 3. Let y(s) = -s - 1. Let q(l) = -m(l) - 3*y(l). Let n(b) = -2*b**2 - 9*b + 30. Let i be n(3). Is 15 a factor of q(i)?
True
Is 344/(-24) + 14 + (-4696)/(-3) a multiple of 41?
False
Let n(w) = w**2 - 4*w - 59. Does 22 divide n(13)?
False
Suppose 5*k - 6456 + 1273 = 4*o, 5*o + 4150 = 4*k. Is 5 a factor of k?
True
Suppose -u = -3*q - 9, 3*u - 37 = 2*u - 4*q. Is ((-6)/10)/(u/(-210)) a multiple of 3?
True
Let y = 18 - 14. Suppose -1410 = -5*x + 2*d + 3*d, 2*x = y*d + 566. Is x a multiple of 41?
False
Let x = -37 - -37. Suppose -377 = -5*l - 4*k + 75, 3*l - 3*k - 255 = x. Is 28 a factor of l?
False
Let g = -40 + 75. Does 32 divide g?
False
Is 7 a factor of 8/(-6)*((-875)/14 + 10)?
True
Let y(s) = -2*s**3 + 2*s**2 - s - 2. Let q be y(-1). Suppose 2*k - 7*t = -4*t + 235, 4*k + q*t = 461. Is k a multiple of 24?
False
Let m(p) = -4*p**2 + 16*p - 10. Let u(g) = -3*g**2 + 11*g - 7. Let i(v) = 5*m(v) - 7*u(v). Does 6 divide i(4)?
False
Let k(z) = 7*z**2 + z. Let m be k(1). Suppose -8 = -2*g + m. Let r = 17 - g. Does 6 divide r?
False
Let f = -8 - -50. Let t be (8 + -5)/(2/f). Suppose 5*k - 183 = -t. Is 8 a factor of k?
True
Suppose -s = -2*s - 22. Let o = s - -33. Is 5 a factor of o?
False
Let h(a) = 5*a**2 - 4*a - 8. Let n be 1 + 0 + 5/(-1). Is h(n) a multiple of 44?
True
Let r = 8 - 5. Suppose -2*q = 5*l - 265, q + r*l - 55 - 75 = 0. Is q a multiple of 39?
False
Let g(z) = -14 - 7*z - z**3 + 13 + z + 0*z - 6*z**2. Let j be g(-5). Suppose 0 = 3*k - 3*r - 27, 4*k + j*r - 2*r = 18. Is 6 a factor of k?
True
Let q(w) = -46*w + 18. Let f be q(-5). Suppose 8*n - f = 56. Does 30 divide n?
False
Suppose 2*o - o - 8 = 0. Let p be (-226)/(-7) + o/(-28). Suppose p + 88 = 5*y. Does 8 divide y?
True
Suppose t + 5*i + 0*i - 28 = 0, 3*t + 5*i = 34. Suppose 4*j - 19 = t*u + 29, -j - u = -5. Does 2 divide j?
False
Let n be (-15)/3 - (7 - 5). Let j(i) = 2*i**2 - 2*i - 14. Is 8 a factor of j(n)?
False
Suppose -3 = -3*j + 9. Suppose j*f - 4 = 4. Suppose -f*t - 24 = -2*m + 12, -12 = -3*t. Is m a multiple of 8?
False
Suppose 7*t - 7817 - 12259 = 0. Is t a multiple of 25?
False
Suppose 0 = 2*l + 4 + 2. Does 3 divide 8/(-24) - 31/l?
False
Let d = 1288 + -676. Is 18 a factor of d?
True
Let x be 1/4 + 1142/8. Let d = x + -64. Suppose r = -2*r - n + d, 5*n + 37 = r. Is 11 a factor of r?
False
Suppose 6*p + 6 = -6. Does 15 divide 179 + 6/(5 + p)?
False
Suppose 4*j - 512 = -3*l + 176, 226 = l + 3*j. Is 8 a factor of l?
True
Let u = -52 + -42. Let o = 322 + u. Is 24 a factor of o?
False
Let j = 323 - 82. Does 37 divide j?
False
Let o(p) = -p**3 + 4*p - 7. Let a be o(0). Is 7 a factor of -4 + (-855)/(-35) + (-4)/a?
True
Let g = 39 + -36. Let h = 21 - g. Is 4 a factor of h?
False
Suppose -22*i + 970 - 90 = 0. Does 6 divide i?
False
Let p(v) = 3*v**3 - 12*v**2 + 4*v + 12. Is p(5) a multiple of 2?
False
Let g(i) = 3 - 4 + 0 + 8*i + 3*i - i**2. Is 2 a factor of g(10)?
False
Suppose -9374 = -32*v + 6114. Is 19 a factor of v?
False
Suppose -3*v + 0*v = -w - 1123, 0 = 3*v + 4*w - 1148. Does 4 divide v?
True
Suppose -30*g - 11*g + 111930 = 0. Is 91 a factor of g?
True
Suppose 0 = -9*k + 504 + 612. Is k a multiple of 31?
True
Suppose -16*k - 188 + 1836 = 0. Is k a multiple of 103?
True
Let b(d) = -4220*d**3 + 4*d**2 + 4*d + 3. Does 25 divide b(-1)?
False
Let o = 116 + -27. Suppose 2*c - 136 = -5*x, -3*c - c - 2*x = -288. Suppose 0 = -2*n + 3*r + o, r - c - 4 = -2*n. Is 13 a factor of n?
False
Suppose 7*f - 4*f - 2*k - 510 = 0, -4*f = k - 669. Is f a multiple of 9?
False
Let w(m) = 22*m**2 + m + 1. Let n be w(1). Suppose 0 = -2*r + 6*r - n. Is r a multiple of 3?
True
Let h(j) be the third derivative of j**4/12 + 5*j**3/6 - j**2. Let d be 0 - (-12)/(6 + -3). Does 13 divide h(d)?
True
Suppose -3*h = s - 4909, 95*s + 3*h = 92*s + 14721. Is 22 a factor of s?
True
Let r(g) = 2*g**3 + 8*g**2 + 7*g + 14. Let z be r(-7). Does 42 divide -44*(2/3 + z/84)?
False
Let c(d) = 64*d**2 - 63*d**2 + 18*d + 9 - d. Is c(-21) a multiple of 34?
False
Let s = 183 - -22. Does 7 divide s?
False
Let i(n) = n**3 - 10*n**2 - 10*n - 8. Let d be i(11). Is d/2*(-832)/(-12) a multiple of 15?
False
Suppose 4*c + 416 = h, h + 4*c + 1676 = 5*h. Is 28 a factor of h?
True
Does 7 divide -8 - ((-32)/4 + -343)?
True
Suppose 6*l + 9 = 9*l. Suppose 2*x = -2*x + 2*k + 342, l*x + 4*k - 240 = 0. Does 21 divide x?
True
Suppose 6 = 5*s - 3*s. Suppose g + j - 8 = -2, 2*g - s*j = 7. Suppose -23 = -g*m + 137. Does 18 divide m?
False
Let i(j) = 2*j**2 + 77*j - 321. Is 92 a factor of i(-48)?
False
Let k(b) be the first derivative of -b**4/4 + 10*b**3/3 - 7*b**2/2 - 8*b - 10. Is 18 a factor of k(8)?
False
Suppose -689 = -0*u - 5*u + 3*x, x - 2 = 0. Suppose -3*v + u = 22. Let f = 57 - v. Does 11 divide f?
False
Suppose -l + 82 = -2*g, 0*l + 3*g = 3*l - 258. Is 18 a factor of l?
True
Let q(l) be the first derivative of 13*l**4/4 - l**3/3 + l**2/2 - l - 2. Let j be 3/9*3*(5 + -4). Is q(j) a multiple of 2?
True
Suppose -r - 177 = -28. Let m = 247 + r. Is m a multiple of 14?
True
Let m(j) = 32*j**2 - 1. Suppose 1 = -5*o - 4*c, -2*c + 0 + 1 = o. Let q be m(o). Does 21 divide 2/(-2) + q/1?
False
Let m = 0 + -1. Let a be 2/(-2) + m + 8. Is 8 a factor of -1*a*(-15 - -12)?
False
Suppose -27 = 22*s - 23*s - 3*f, f + 68 = 2*s. Is s a multiple of 9?
False
Let i(a) be the first derivative of a**5/20 - a**4/4 - a**3/2 + 3*a**2/2 - 8*a + 8. Let z(l) be the first derivative of i(l). Does 2 divide z(4)?
False
Suppose -2*m + 0*m + 88 = -4*p, m = 3*p + 45. Let q = m + -39. Does 3 divide q?
True
Let w(d) = -18*d - 1. Let s be w(-10). Suppose 4*c = s + 137. Is c a multiple of 7?
False
Let f = 266 + -600. Is 17 a factor of (-16)/32 - f/4?
False
Let h(d) = 3*d**2 + 6*d - 29. Is h(-10) a multiple of 60?
False
Let y be 103/(-5) - 6/15. Let a = y + 20. Does 10 divide -2 - -37 - (a - -3)?
False
Suppose 912 = 3*t + t. Suppose 0 = -82*p + 80*p + t. Is 15 a factor of p?
False
Let u = 29 - -29. Let p be u/(-6) - (-4)/(-12). Let c = 18 + p. Is c a multiple of 4?
True
Let y = 6 + -3. Suppose 95 = -2*m + k + 15, y*k = -m - 33. Is (-2*(m - 2))/1 a multiple of 21?
False
Let h(p) = -p**2 + 13*p + 85. Let c be h(19). Let f = -21 - c. Is f a multiple of 4?
True
Let t(f) = 13 - f**2 + 6*f**2 - 14 - 3*f**2. Is t(3) even?
False
Let b = -210 - -249. Is b a multiple of 7?
False
Let q(m) = m**3 - 2*m**2 - m + 2. Let u be q(-2). Does 11 divide 6/(u/(-11))*4?
True
Suppose 6*v - 5*v = -139. Is 1 - (v + 0 + -4) a multiple of 24?
True
Suppose -17 = -b + 3. Suppose 0 = -u + b + 26. Suppose a = -5*p - 9 - 3, -4*p = -2*a + u. Is a a multiple of 13?
True
Let j(t) = -t**3 + 16*t**2 + 23*t + 24. Let a be ((-76)/(-4) - 3) + (2 - 1). Does 12 divide j(a)?
False
Is (-28)/(-6)*(3672/(-14))/(-3) a multiple of 51?
True
Let o(r) = -r - 5. Suppose l + 24 = -l. Let c be o(l). Is 14 a factor of 88 - (7 + -3 - c)?
False
Does 62 divide -2325*(115/(-15) + 7)?
True
Suppose i = n - 2, -i = 2*n + 2*i + 6. Suppose -2*g + 6 = n, h - 4*g - 458 = -4*h. Does 29 divide h?
False
Suppose 6*g - 3*g = 9. Suppose 3*o - 11 = -3*x + 28, g*x = 4*o - 52. Suppose o = 2*r - 23. Is 9 a factor of r?
True
Suppose o = -4*c - 253, -c - 40 = -4*o + 2. Let z(w) = -3*w**3 - 4*w**2 + 4*w - 3. Let h be z(2). Let t = h - c. Is 17 a factor of t?
False
Let y be (-2)/(-6) + (-444)/(-18). Suppose y = 3*x + 2*x. Suppose 39 = x*g - 81. Is g a multiple of 8?
True
Let w = 18 - 24. Let g be w/10 + (-99)/(-15). Is (8/(-10))/(g/(-15)) a multiple of 2?
True
Let h be ((-4)/(-16))/(3/(-6))*0. Suppose 3*w + 2*u - 373 = 6*u, -5*w + 4*u + 619 = h. Does 33 divide w?
False
Let p = 532 - 362. Is 21 a factor of