 factor of x?
True
Suppose -2*d + 2 = 2*h, 4*d - 23 = -5*h + 5*d. Suppose 1 = -t - 0*z - h*z, -2*t - 3*z = 2. Is 8 a factor of t/(-2)*-4*-4?
True
Suppose -z + 73 + 521 = 0. Does 54 divide z?
True
Let g = 56 - 51. Suppose -n = -4*p + 38 + 468, -3*p + g*n + 388 = 0. Is 14 a factor of p?
True
Suppose p + l - 11 = 0, 0 = -3*p + 5*l - 1 - 6. Does 20 divide (800/(-60))/((-2)/p)?
True
Suppose 3*q + 0*q = 135. Suppose 0 = -4*t - 8, -4*f = -5*f + t + q. Suppose f = 5*r - 2. Is 5 a factor of r?
False
Suppose 11*u = 6*u + 10. Suppose -7*w + u*w + 25 = 0. Suppose -m - w*n = -12, 0*m - 15 = -m - 2*n. Does 17 divide m?
True
Suppose -5*j + 3*s = -16 - 12, 20 = 5*j - 5*s. Does 12 divide (j/3 - 2)*87/2?
False
Suppose -2*l - 15 = -5*l. Let w(x) = 6 - 3*x + 3*x + 4*x - 10*x + 2*x**2. Is 7 a factor of w(l)?
False
Let c be 4 - 194/(2 - 4). Let g = c - -27. Is g a multiple of 27?
False
Let k(h) = -h**3 - h. Let o(x) be the first derivative of 3*x**4/4 + x**3 + x**2 + 3*x - 4. Let b(u) = -4*k(u) - o(u). Does 21 divide b(5)?
False
Let s = 1867 + -1004. Does 20 divide s?
False
Is 51/((-153)/(-170) + 6/10) a multiple of 19?
False
Let c be ((-143)/(-10)*2 - -1)*5. Suppose 5*h - 684 = 4*m, 3*h - 2*h - c = -2*m. Is 20 a factor of h?
True
Let z = 67 + -67. Let c(u) = -u + 25 + 16 + 2*u. Is 30 a factor of c(z)?
False
Let k = -71 - -501. Suppose -14*w + k - 94 = 0. Is 7 a factor of w?
False
Let z(u) = u + 7. Let s be z(-6). Suppose 0 = 2*j - j - s. Is 4 a factor of 14 + j + (0 - 4)?
False
Let l(k) = 92*k + 2. Suppose 0 = 6*d - 4*d - 2, 2*c - 2*d = 0. Let g be l(c). Does 11 divide -1*g/(-3 + 1)?
False
Is 11 a factor of (3 - 7 - 0) + 301?
True
Suppose -42 = -4*x - 50. Does 10 divide 62*(1/(x/(-7)) + -3)?
False
Let n(o) be the first derivative of 11*o**2 - 10*o - 14. Is n(4) a multiple of 25?
False
Let v = -28 + 33. Suppose v*l = -5*r + 55, -2*r + 2*l - 4 = -r. Is r a multiple of 6?
True
Let s(d) = 16*d**2 + 1. Suppose 2*u + 4*t + 1 = -1, 2*u + 3*t + 2 = 0. Let o be s(u). Suppose -o - 63 = -5*m. Does 4 divide m?
True
Suppose 65 = -14*c + 9*c. Let h = 0 - c. Is 13 a factor of h?
True
Let c = 33 - -30. Does 3 divide c?
True
Suppose -124 + 22 = -3*m. Let y = -25 - -11. Let h = y + m. Does 16 divide h?
False
Let m(k) be the first derivative of -k**4/4 - k**3/3 - k**2/2 + 4*k + 8. Does 3 divide m(-3)?
False
Suppose -179 = -v - v + 5*u, 0 = 2*u - 6. Is 5 a factor of v?
False
Let j(g) = -3 - 17*g**3 + g**2 + 5 + 2*g + 7*g**3. Is 3 a factor of j(-1)?
False
Suppose -2*o + 34 = p, -p = -3*o - 48 + 14. Does 17 divide p?
True
Suppose -4*l - 7 = -27. Suppose -2*r = -0*r - 4*z - 186, -4*r + l*z + 372 = 0. Is r a multiple of 17?
False
Suppose 2*t - 5*c - 1592 = 0, 4 = -5*c - 6. Is t a multiple of 7?
True
Let m = 34 + -30. Suppose m*j - 8*j = -156. Is 13 a factor of j?
True
Suppose 0 = 4*d + 27 + 25. Let i = 19 - d. Does 16 divide i?
True
Does 51 divide (-4 + 8 + -17)/((-1)/134)?
False
Let h(j) = 4*j**2 - 2. Let g = 14 + -18. Let q be h(g). Suppose -s + q = 2*m - 2*s, 75 = 3*m + 3*s. Is 29 a factor of m?
True
Suppose 74 = -3*g + 83. Does 32 divide g/(1655/2180 - (-6)/(-8))?
False
Let b = 1 - -7. Suppose -7*j = -3*j - b. Does 25 divide j/(-15) - (-3728)/60?
False
Suppose 3*b - 2*b - 183 = 3*w, 2*w + 8 = 0. Suppose -5*g - 4*q = -276, -4*g + 51 = 2*q - b. Is g a multiple of 15?
False
Suppose 12*r - 417 - 39 = 0. Is 4 a factor of r?
False
Suppose -3*m + 4*n = -19, m + 9*n + 19 = 4*n. Suppose -4*p = -m + 5. Let d = p - -13. Is d a multiple of 12?
True
Suppose 0 = 5*t - 4*k + 6 + 2, -6 = -5*t - 3*k. Suppose -5*g = -r + 24, 0 = -4*r - t*g + 4*g + 80. Does 3 divide r?
False
Let u(r) = r**2 + 6*r + 10. Let m be u(-4). Suppose -2*w = m*w - 36. Does 14 divide (-425)/(-15) - 3/w?
True
Let k = 136 + -48. Suppose 4*s = 4*q + k, 3*q + q = 2*s - 46. Is s a multiple of 7?
True
Let r(f) = 39*f - 2. Let q be r(3). Suppose 2*s = -31 + q. Is s a multiple of 7?
True
Let j be (-4)/(-20) + 19/5. Let t(k) = -3*k + 11. Let x be t(j). Does 6 divide x/(-6) + (-2364)/(-72)?
False
Let z = -4 - -31. Let j be (-6)/z + (-75)/27. Is 4 a factor of j + (-3 - (2 + -24))?
True
Let c(b) be the second derivative of -7*b**3/6 - 19*b**2/2 - 4*b. Is c(-8) a multiple of 37?
True
Let l = -483 + 1176. Does 11 divide l?
True
Let y = 14 - 10. Suppose -52 = -5*o - y*q, -3*q = -q - 6. Is 4 a factor of o?
True
Let a(x) = -x**3 + 10*x**2 + 6*x + 6. Let v(f) = -f**3 + 11*f**2 + 5*f + 6. Let w(n) = 3*a(n) - 2*v(n). Let o be w(9). Does 9 divide o*2*(-72)/16?
True
Does 22 divide (-5)/(20/(-4581))*(-52)/(-39)?
False
Let h(v) = -26*v + 26. Is h(-29) a multiple of 10?
True
Let u be ((-3)/(-12)*4)/(-1). Let y = u - -29. Is 7 a factor of y?
True
Suppose -117 = -h + 99. Suppose h = -61*x + 64*x. Does 26 divide x?
False
Let t(p) be the third derivative of p**6/40 + p**5/30 + p**4/12 - 5*p**3/6 + 20*p**2. Is 32 a factor of t(4)?
False
Let q = -38 + 20. Let t = -9 - q. Is t a multiple of 9?
True
Let k(x) be the second derivative of 8*x**3/3 - 3*x**2/2 - 3*x. Let a be k(2). Suppose -5*v + 2*m = -125, -v + a - 7 = -m. Does 27 divide v?
True
Is 23 a factor of -7 + 283 - (1 + -1)?
True
Let f(l) = -7*l**2 + 1. Let r(h) = -h + 10. Let x be r(9). Let d be f(x). Let j(z) = z**3 + 9*z**2 + 8*z + 4. Does 20 divide j(d)?
False
Suppose 4*q = 310 + 558. Is q a multiple of 31?
True
Let m be (-565)/(-6) + 8/(-48). Let n = 285 - m. Is n a multiple of 27?
False
Is (((-2)/3)/((-1)/222))/1 a multiple of 37?
True
Is 25 a factor of 66/(-1056) - 28002/(-32)?
True
Suppose -54*f + 76338 + 17406 = 0. Does 95 divide f?
False
Let o(n) = -5*n - 7 - 3*n + 10*n. Let b be o(6). Suppose -k = b*j - 55, -2*j + 14 = 2*k - 0. Is j a multiple of 12?
True
Let s(l) be the first derivative of -l**4/2 - l**3/3 + l**2/2 - l + 19. Let r(x) = x**2 - 4*x + 2. Let a be r(2). Does 9 divide s(a)?
True
Let y(w) = -2*w**3 - 2*w**2 - w + 7. Let n be y(3). Let c = n + 95. Does 3 divide c?
True
Let t(w) be the third derivative of w**5/30 + w**3/6 - 4*w**2. Let x be t(1). Suppose -x*n + 7*n + 334 = 5*p, -p - 5*n + 61 = 0. Is p a multiple of 22?
True
Suppose -k - 15 = -x, 6*x - 3*x = -3. Let v = k - -4. Does 4 divide 38/4 + v/(-24)?
False
Let u(l) = 4*l + 14. Let f be u(-4). Let t be 46/10 + (-2)/(-5). Is t + f - (-27)/3 a multiple of 6?
True
Let x = 825 - 709. Is x a multiple of 10?
False
Let a = -209 + 339. Suppose 5*s - a = -0*s. Is 7 a factor of s?
False
Let o(a) = 80*a - 36. Is 57 a factor of o(9)?
True
Suppose -28*y = -46*y + 4410. Is 6 a factor of y?
False
Is 9 a factor of (8 + -5)/(2*(-2)/(-792))?
True
Let z(m) be the third derivative of -m**4/24 + 13*m**3/3 + 56*m**2. Is 4 a factor of z(-14)?
True
Let a(l) = 2*l**3 - 34*l**2 - 16*l - 24. Does 18 divide a(19)?
True
Let t(j) = -2*j + 84. Is t(-12) a multiple of 36?
True
Let t(v) = 16*v + 1624. Is 42 a factor of t(0)?
False
Let a(m) be the second derivative of -7*m**5/120 + 5*m**4/24 - 7*m**3/6 - 9*m. Let y(n) be the second derivative of a(n). Is y(-9) a multiple of 17?
True
Let z(g) = -2501*g - 282. Does 49 divide z(-2)?
False
Suppose 2*t + 5*p = 7, t + 0*t + p = -1. Let f = 1 - t. Suppose -f*z + 288 = -z. Is z a multiple of 24?
True
Let z(v) = 37*v**3 + v**2 - v + 1. Let j = 19 - 25. Let n be ((-1)/3)/(j/18). Is z(n) a multiple of 19?
True
Let w be 4*3/12*5. Suppose -2*m + w*c = 25, m - 6*m = c - 5. Suppose -3*y + 55 - 16 = m. Is 13 a factor of y?
True
Suppose -18*r - 735 = -13*r. Let u = 271 + r. Does 49 divide u?
False
Suppose 321*v - 303*v - 39744 = 0. Does 8 divide v?
True
Suppose 2*m + 169 = -2*h + 639, m + 4*h = 238. Let s = m - 154. Is 9 a factor of s?
False
Suppose 4*m - 2*m - 699 = s, -5*m = -3*s - 1750. Is m a multiple of 8?
False
Suppose 5*s = 2*s + 2*l - 2, l = 4*s - 4. Suppose 4*d - f = 3*d + 135, d = s*f + 138. Is d a multiple of 22?
True
Suppose s = 2*m + 159, -m + 4 = m. Is s a multiple of 5?
False
Suppose 5 = -0*u + 2*u + 5*f, -3*f + 3 = 4*u. Let v be (u - 3) + 62/2. Let l = v - 11. Is 12 a factor of l?
False
Is 25 a factor of (-180)/(-48)*(-200)/(-6)?
True
Let r(k) = k**2 + 7*k - 186. Is r(15) a multiple of 16?
True
Suppose -1 - 55 = -4*s. Suppose s = -m + 18. Does 4 divide 13 + (3 - m/1)?
True
Let q(s) be the third derivative of s**4/3 + 4*s**3 - 2*s**2. Does 32 divide q(13)?
True
Suppose 16*r = 11*r + 660. Is 44 a factor of r?
T