alse
Is 8 a factor of (-658350)/(-434) - 8/(-124)?
False
Suppose -7*j + 15 + 20 = 0. Let g be -5 + 3 - (-6 + 0). Suppose -g = -j*n + 146. Is 6 a factor of n?
True
Let c(g) = 22*g**2 + 3*g - 3. Suppose 0 = -2*n + 2*i + 8, 4*n - 19 = 3*i - 2*i. Does 30 divide c(n)?
False
Let u = -1346 + 1982. Suppose -v - 2*v = -u. Is 28 a factor of v?
False
Let p be (-2)/11 - 964/22. Let y = 40 + p. Let d(i) = 4*i**2 - 3*i + 2. Is d(y) a multiple of 39?
True
Suppose 0 = -6*s + 16*s - 50. Suppose -4*w + s*z + 13 + 18 = 0, 3*w + 2*z - 52 = 0. Is 122/w + (-12)/(-42) a multiple of 4?
False
Let p be (-2)/(-9) - (-65)/(-9). Let z(w) = -2 - 48 - 16*w - 9 + 19. Does 12 divide z(p)?
True
Let v(a) = -a**3 - 23*a**2 - 32*a + 29. Does 8 divide v(-28)?
False
Let y = 36 - 36. Let p(u) = -u**2 + 6*u + 6. Let f be p(y). Is (-9)/(162/(-1812)) - (-2)/f a multiple of 19?
False
Let j = 33 + -23. Is 49 a factor of 1/((-2)/(-588))*15/j?
True
Is (-4)/(-7)*(-972335)/(-130) - -4 a multiple of 6?
True
Let r = 4693 - 2113. Is r a multiple of 15?
True
Let f = 5775 - 4517. Is 17 a factor of f?
True
Suppose 63 = 5*v - 77. Suppose 8 = 4*d + 4*z, 4*d - 9*d + z = -v. Suppose h + 540 = 4*o, 3*h = d*o - 799 + 124. Does 27 divide o?
True
Suppose 6*n + 5825 = -13. Let f = n + 2417. Does 76 divide f?
True
Let j be (-2388)/3*(-6 - -7)/(-4). Let g = -114 + j. Is g a multiple of 17?
True
Let y = 9229 - 13329. Is 1/(6 + y/684) a multiple of 11?
False
Let k(z) = 10*z**2 + 10*z + 14. Let g be k(-2). Suppose 28*b - g*b + 858 = 0. Does 13 divide b?
True
Let j(y) = 2506*y**2 + 50*y + 50. Is 179 a factor of j(-1)?
True
Suppose -94*s + 90*s - 8944 = 0. Is 43 a factor of (s/5)/(((-30)/(-25))/(-3))?
True
Let n be (1433 - 4)*(-7 + (7 - 3)). Let o = -2969 - n. Suppose w = 5*y - o, -3*y - y + 1040 = 4*w. Does 18 divide y?
False
Is 8 a factor of (-13824)/(-20)*8/(128/(-6))*-20?
True
Let y(q) = 27*q**2 - q - 1. Let w be 2/((-23)/5 - -5). Suppose -w*x = 6*c - 2*c - 22, 0 = -x - 2*c + 8. Does 8 divide y(x)?
False
Suppose m + 0*m = -3*d + 12, -m = -2*d + 8. Let g(h) = h**2 - 5*h + 4. Let z be g(d). Let l(a) = -a**2 - a + 7. Is 7 a factor of l(z)?
True
Let s(a) = -a**3 + 5*a**2 + 12*a + 1. Let v be s(8). Let w = 142 + v. Let t = w + -2. Is t a multiple of 12?
False
Suppose 0 = 4*k - 8, j - 396 = 10*k - 8*k. Is j a multiple of 100?
True
Let o(a) = 33*a + 48. Let x be o(-30). Let z = 1894 + x. Is z a multiple of 68?
True
Suppose -35*v + 66960 = -4*v. Let j = v - 1141. Does 39 divide j?
False
Suppose 141256 = -x + 9*x - 64568. Does 192 divide x?
True
Let z = 504 - 499. Suppose -z*o = 16*o - 6468. Is 31 a factor of o?
False
Suppose -c + 321 = d, 5*c + 0*d = -2*d + 1602. Suppose -5*f + 9*f = c. Is f a multiple of 10?
True
Let k(b) = -6*b - 16. Let l be k(-5). Let d be 18*(10/l + 14/49). Let t(z) = z**3 - 19*z**2 + 26*z - 12. Is t(d) a multiple of 11?
True
Suppose 0 = 50*w - 116*w - 5148. Let q be (-1167)/27 + (-2)/(-9). Let d = q - w. Is 35 a factor of d?
True
Let v = -126 + 1929. Is 3 a factor of v?
True
Let m(b) = 3*b**2 + 9*b - 17. Let r(u) = 3*u - 24. Let l be r(9). Suppose -o = l + 4. Does 8 divide m(o)?
False
Let u(m) = -22*m**2 - m - 1. Let q be u(-1). Let n(l) be the third derivative of -l**6/120 - 23*l**5/60 - l**4 + 19*l**3/3 - l**2. Is n(q) a multiple of 21?
False
Suppose r + 227 - 222 = 0. Does 3 divide (-151)/(-5) + 1/r?
True
Suppose -139*a + 127280 = -102*a. Is a a multiple of 43?
True
Let p(s) = 4*s + 20. Let l be p(10). Let c = l - 55. Suppose 4*f + c*h = 322, -331 = -5*f + h + 57. Is 26 a factor of f?
True
Let d(l) = 11*l - 18. Let t be d(5). Let m = t - 30. Suppose -m*a + 458 = -340. Does 17 divide a?
False
Let m = -235 - -223. Let f(g) = -19*g - 135. Is f(m) a multiple of 8?
False
Suppose -148041 = -15*w - 4*w + 58147. Does 15 divide w?
False
Let p(c) = -840*c - 1. Suppose 55*h = 46*h - 18. Does 23 divide p(h)?
True
Let k = -362 + 420. Suppose 2*i - 3*h = -3, 0 = 4*i + 5*h - 5 - 0. Suppose i = 4*g - 30 - k. Is 9 a factor of g?
False
Let m be 28/49 + (-4)/7 - -69. Suppose 17 = 2*r - m. Does 5 divide r?
False
Let w be -4 + 0 - (-8 + (0 - -1)). Let m be 413 + (-1 - -1) + w. Let n = 621 - m. Does 9 divide n?
False
Let c be (-5 - -71) + -3 + 5 + -6. Suppose k - 262 = -c. Is k a multiple of 13?
False
Is 44537 + 32 + -39 - (-2*1 - -2) a multiple of 122?
True
Suppose 1314 = 2*u - 1826. Suppose 3*g - 910 = 3*q + 635, -3*g - 2*q + u = 0. Is 4 a factor of g?
True
Let n(g) = g**3 - 12*g**2 + 15*g - 1. Let u(r) = -3*r + 58. Let b(s) = -3*s + 57. Let o(m) = -3*b(m) + 2*u(m). Let z be o(22). Is 14 a factor of n(z)?
False
Let s(i) = i**3 - 14*i**2 + 30*i - 715. Does 87 divide s(21)?
False
Let s = 28968 + -28639. Is 12 a factor of s?
False
Let o = -22 + 7. Let k = o - -15. Suppose 2*p = 2*n - 62, -2*n + 5*p = -k*p - 71. Is 7 a factor of n?
True
Let q(n) = n**3 + n**2 + 6*n + 1. Suppose 2*p - 10 = 0, 3*p - 2*p = i + 8. Let a be q(i). Let c = a + 91. Is 15 a factor of c?
False
Let q = 261 + -256. Suppose -q*g - 4*a + 2315 = a, 0 = -5*g + 3*a + 2339. Does 25 divide g?
False
Let t = 4230 - 2683. Is t a multiple of 5?
False
Let l be 13/(572/184) - (-6)/(-33). Suppose w + 5*z + 2221 = l*w, 3*w - 2229 = -3*z. Is 14 a factor of w?
True
Let g = -4954 - -10294. Does 60 divide g?
True
Suppose 20*q = -16*q + 45*q - 646830. Is q a multiple of 10?
True
Let r = -167 + 178. Let n(f) = 2*f - 8*f + 3*f + 0*f**2 + 8 + f**2. Does 48 divide n(r)?
True
Let b(t) = 35*t**2 - 3*t + 10. Let s be b(8). Let x = -804 + s. Is x a multiple of 87?
False
Let b(w) = -w**2 + 5*w + 15. Let y be b(-13). Let u be (4 - 0)/(-12)*y. Let d = u - -29. Does 17 divide d?
True
Suppose s = -2*q + 798, 0 = -2*s + 3*q + 67 + 1536. Is s a multiple of 25?
True
Suppose -5*v - 3*o + 9043 = 0, 28*v - 5421 = 25*v + 3*o. Is 16 a factor of v?
True
Let k be 327/12 + (-11)/44. Suppose 9*r = k + 13068. Does 17 divide r?
False
Suppose -w + 70 = -4*h, 3*h + 4 = -5. Let z = -55 + w. Does 9 divide (z/6)/((-1)/(-6)) - -12?
False
Suppose -7 + 1 = -2*f - y, 0 = 4*f - 5*y + 16. Let l(q) = 3*q**2 - 5*q + 4. Let a be l(f). Suppose a*h = 478 - 64. Is h a multiple of 23?
True
Is 190 a factor of 68*(-10)/2*-38?
True
Let d(v) = -7*v + 410. Let s be d(59). Is 13 a factor of (-7 - 2517/s)/1?
True
Suppose 4 = 3*k + 1, 5*k = -6*p + 35867. Does 18 divide p?
False
Let c(j) = 86*j - 68. Let z be c(28). Let o = -1207 + z. Is 24 a factor of o?
False
Suppose 211163 + 160403 = 31*p. Does 39 divide p?
False
Suppose -94*i + 98*i = 108. Does 24 divide 1/3 - (-9549)/i?
False
Let h = -10822 + 13848. Is h a multiple of 25?
False
Suppose 4*t - 26972 = -2*x, 2*x - 6*t = -4*t + 26984. Does 132 divide x?
False
Does 18 divide -6*((-68364)/24 - 14)?
False
Suppose s = -2*n + 31 - 1, 3*n = -s + 34. Suppose 5*o - 215 = 5*k, 29 = o - 3*k - 22. Let v = o - s. Does 2 divide v?
False
Suppose 0 = -9*k - 119 + 1244. Suppose n - 235 = k. Suppose -4*h = -10*h + n. Is h a multiple of 4?
True
Suppose 53 - 41 = 3*t. Let b(o) = 2*o**3 - 2*o**2 - 6*o - 2. Let j be b(t). Let z = j - -32. Is 26 a factor of z?
False
Suppose -14*n - 210 = 98. Is 4/n + (-45)/55 - -155 a multiple of 14?
True
Let k = 51 - 45. Is (-4)/(-38) - k/57 - -153 a multiple of 3?
True
Let n(t) = t + 1. Let m be n(17). Let b = -16 + m. Does 13 divide 43 + 2*(-4 + b)?
True
Suppose o + 3*w = 30, -o + 4*w = w - 54. Suppose -f + 84 = 2*z, -o - 36 = -f - 4*z. Is f a multiple of 15?
True
Let f(y) = -y**3 - 10*y**2 - 6*y - 22. Let d(i) = -4*i - 16. Let m be d(-13). Suppose 0 = -40*b + m*b - 40. Is 19 a factor of f(b)?
True
Let j(h) be the third derivative of -13*h**4/24 - 10*h**3 - 8*h**2. Let u be j(-5). Suppose 2*q - 3*d = -3*q + 360, -u*d = -q + 72. Is 24 a factor of q?
True
Let g = 4020 - -2730. Is g a multiple of 50?
True
Let i be (4 - -2 - (21 + -25))*42. Is i - ((-112)/7 + 9) a multiple of 23?
False
Suppose -a + 3*o - 54 = -2*a, -5*a = -4*o - 232. Is 13 a factor of ((-320)/a)/(1/(-39))?
True
Let l be 6/48 + 177/(-8). Let g(r) = -2*r + 45. Let s be g(l). Suppose 0 = 2*h + 15 - s. Is 37 a factor of h?
True
Let j(d) = 59*d**2 + 35*d - 237. Does 89 divide j(14)?
False
Let r(c) = 2*c**3 - 2*c**2 + 4*c - 7. Let w be r(2). Does 10 divide (0 + 261/w)*40?
True
Let o(f) be the third derivative of f**6/120 + 17*f**5/60 + 3*f**4/4 + 6*f**3 + 204*f**2. Is 30 a factor of o(-12