*z. Is 14 a factor of r?
False
Suppose 5*f - 3*i + 518 = 0, -f - 5*i - 62 = 36. Let p = f - -124. Is p a multiple of 7?
True
Let o = -19 + 15. Let z be (-50)/o*96/20 + 0. Let r = 102 + z. Is 27 a factor of r?
True
Let r be 0/(2/(-1)) + 0 + 652. Let n = r - 446. Is n a multiple of 35?
False
Does 36 divide (-2088*(-2)/(-14))/((-7)/49)?
True
Let b(m) = 17*m - 71. Let n = 28 - 15. Does 15 divide b(n)?
True
Suppose -39*x - 11832 + 119277 = 0. Is 95 a factor of x?
True
Suppose -f - 90 = 44*f. Does 9 divide 91235/213*(4/(-5) - f)?
False
Suppose b - 3*b + 6 = 0. Suppose -b*t = -2*t - 521. Suppose t - 87 = 7*w. Is 41 a factor of w?
False
Suppose -3*u = -3*w + 27, -3*w + 33 = -20*u + 15*u. Suppose -w*f + 5*f + 3*o = -145, -o + 645 = 5*f. Is 26 a factor of f?
True
Let i be (-5)/(15/(-9))*(3 + 6). Let q = i - 22. Suppose -q*s - 8 + 218 = 0. Is 21 a factor of s?
True
Let v(d) = d**3 - 33*d**2 - 8*d + 14. Let f be v(33). Let l = f + 299. Does 19 divide l?
False
Let d(n) = n**3 + 101*n**2 - 151*n - 478. Does 79 divide d(-101)?
True
Let l = 320 + -140. Suppose -4*r = -9*r + l. Does 39 divide (39/9 + 0)*r?
True
Suppose 5*v = 3*j - 27286, 5*j + 0*j - 4*v - 45481 = 0. Is 238 a factor of j?
False
Let v(f) = 2*f**3 - 26*f**2 - 49*f - 70. Is v(24) a multiple of 4?
False
Suppose -191*b + 414411 - 832161 = -3213226. Is b a multiple of 201?
False
Let g = 3009 + -239. Is (-4)/14 + g/(-35)*-2 a multiple of 23?
False
Let k = 85 + -90. Let i(d) = 11*d**2 - 3*d + 18. Let v be i(k). Let x = -180 + v. Does 32 divide x?
True
Let v be (-1 + (2 - 1))*(-205)/(-410). Suppose 5*z - 2*i - 1550 = v, -2*z - 322 = -3*z - 2*i. Is z a multiple of 24?
True
Suppose 11 + 54 = 5*c. Let j(w) = 2*w**2 - 25*w - 8. Let s be j(c). Suppose -3*d - s*d + 320 = 0. Does 37 divide d?
False
Suppose -5*i = -93 - 62. Suppose 0*f = 5*w + f + 28, -2*f = 5*w + i. Let c(b) = -21*b - 16. Is c(w) a multiple of 21?
False
Let u(p) = -13*p - 21. Let x(j) = -4*j + 1. Let h(f) = 3*u(f) + 15*x(f). Does 42 divide h(-6)?
True
Let v be 162 + (4 - 2) - (-6 + 2). Suppose -y - 13*z + 18*z = -v, -5*y + 5*z + 880 = 0. Is 9 a factor of y?
False
Let h be ((-3)/6 - -1)*110. Let x be 17/5 - 22/h. Suppose 0 = 5*b - 0*z + x*z - 815, -b + z + 171 = 0. Is b a multiple of 23?
False
Let l(v) = v**2 - 61*v + 1260. Does 4 divide l(33)?
True
Let w be (-12)/18 + 195/9. Let f = 47 - w. Suppose h - f = -2*o, 4*o - 68 = -5*h + 92. Does 9 divide h?
True
Let c = -11933 - -18778. Suppose 0 = -5*p - 5*b + c, -5*p - 3*b = -2*b - 6841. Is p/14 - ((-222)/42 + 5) a multiple of 49?
True
Suppose -5*o + 313 = -182. Let n(k) = -101*k - 40*k**3 - 14*k**3 - 3 + o*k. Is 26 a factor of n(-1)?
False
Let y(w) = 273*w - 173*w - 32 - 140*w. Does 33 divide y(-10)?
False
Suppose 0 = k + h - 77, k + 164 = 3*k - 3*h. Suppose -7*s + 4*s + 3*r + 225 = 0, 3*s + 3*r - 201 = 0. Suppose -5*v + s + k = 0. Does 10 divide v?
True
Let z(k) = 196 + k**2 - 3*k - 11*k - 221. Let m = 9 - -7. Does 7 divide z(m)?
True
Let x = -415 - -1767. Is 4 a factor of x?
True
Let y = -121 + 794. Is 2 a factor of y?
False
Let k(x) = -3*x + 36. Let z be k(9). Let i(n) = -5 + n**2 - 10*n - 6 + 1 - z. Is i(12) a multiple of 3?
False
Let v = -482 + 514. Suppose -180 = -4*j + 4*f, -v*j + 2*f = -34*j + 86. Does 2 divide j?
True
Suppose 0 = -5*b + q + 2424 + 2869, 0 = b - 5*q - 1049. Does 20 divide b?
False
Let a be -2 + -3 + 12 - -3. Suppose -2*m = -a*m + 2680. Does 5 divide m?
True
Let j(q) = -58*q - 56. Suppose -5*f - 25 - 15 = 0. Let u be j(f). Suppose -x = x - u. Is x a multiple of 51?
True
Let c = 45 + -42. Suppose 2*a = c*z - 90, 3*z - 28 = -4*a + 62. Is 2235/z + 6/4 a multiple of 26?
False
Suppose r = 5*y + 3728, -3*r + 11254 = -51*y + 50*y. Does 12 divide r?
False
Suppose 24*n - 4779 = -12291. Let h = n + 951. Does 22 divide h?
True
Let p be 18/4*1/(2/(-36)). Let z = p - -141. Suppose -2*s + 4*s + 6 = 0, -4*s - z = -3*h. Is h a multiple of 2?
True
Suppose 17464 = -5561*x + 5544*x + 209020. Is 7 a factor of x?
False
Suppose 3*y - 8712 = -6*n, 3*n = -y - n + 2896. Suppose 6*z - 4*z = 3*d + y, 0 = 4*d. Does 56 divide z?
True
Suppose 72*z = 458695 + 163961. Is z a multiple of 8?
True
Let v(y) = -y**3 + 40*y**2 - 42*y + 465. Does 13 divide v(33)?
False
Is ((-28)/8 + -2)/((-101715)/14530 + 7) a multiple of 92?
False
Let q(d) = 26*d + 124. Let u be q(-15). Let v = u - -401. Does 3 divide v?
True
Suppose 0 = 2*i + 8*i. Suppose i = 3*s - 7*s - 60. Let v = s + 21. Is 6 a factor of v?
True
Let z = 0 - -2. Suppose 3*o + 3*n - 717 = -2*o, 274 = z*o - 2*n. Does 47 divide o?
True
Let h(b) = 4*b**2 - 8*b - 107. Let y(z) = 5*z**2 - 9*z - 107. Let k(n) = 3*h(n) - 2*y(n). Is k(22) a multiple of 32?
False
Let s = 717 + -423. Let i = s - 214. Is 8 a factor of i?
True
Suppose 32*m = 35*m + 270. Let w be (-270)/4 - (m/4)/15. Is 21 a factor of 98/(-4)*w/11?
True
Let d(r) = 90*r**2 - 35*r + 97. Is 15 a factor of d(3)?
False
Let h(c) = -c**3 + 10*c**2 - 3*c - 9. Let d = 92 - 48. Let m = -37 + d. Is h(m) a multiple of 9?
True
Let x be -3*15/(-54) - 3/(-18). Is 10 a factor of (((-54)/21)/x)/(14/(-882))?
False
Suppose -6*f + 22046 = 5*j - 7*f, 2*f = -3*j + 13225. Is 26 a factor of j?
False
Suppose 2*o = 35 - 299. Suppose -3*n + 2*n = 217. Let z = o - n. Is 17 a factor of z?
True
Let l(y) = -y**3 - 9*y**2 - 8*y + 2. Let n be 3/(-2)*1*(-176)/(-33). Let v be l(n). Does 18 divide 546/8*v - (-3)/(-2)?
False
Suppose 21*x + 831 - 4380 = 0. Let y = x - -151. Is 12 a factor of y?
False
Let a = -812 + 65. Let w = -187 - a. Suppose 11*y - 7*y = 4*h - 432, 5*y - w = -5*h. Does 22 divide h?
True
Let n = -739 - -235. Let k = n - -854. Does 70 divide k?
True
Suppose 0*d - 3*d = -3*c + 12, -3*d - c = -4. Suppose d = -k + 2*m + 23, k = 2*k - 5*m - 26. Let o = k + 3. Does 6 divide o?
True
Let l(c) = -990*c - 1137. Does 47 divide l(-3)?
True
Let q be (3/(-30)*4)/(1/(-1380)). Suppose -18*v = -q - 960. Is 12 a factor of v?
True
Suppose 18 = 4*y + 2*r, 2*y + 0*r + 4*r = 6. Let o be 192/30 - (-3)/y. Suppose 0 = 6*b - o*b + 48. Is 28 a factor of b?
False
Suppose 2 = b - x, -5 = 4*b + 4*x + 3. Suppose 0 = -4*a - i - 105 + 357, -63 = -a - 4*i. Suppose -r + a = -b*r. Is r a multiple of 13?
False
Suppose -6 = 2*f, -3*f + 0*f - 5928 = -p. Is p a multiple of 7?
False
Suppose 4*o + 4 = m - 14, 3*o = 4*m - 33. Let z = m + 22. Let x = z + 116. Is x a multiple of 24?
True
Suppose 20 = -2*v + 30. Let f = 11 - v. Let m(h) = -h**3 + 9*h**2 - 14*h + 4. Is m(f) a multiple of 14?
True
Let c(k) be the first derivative of 1/4*k**4 + 16*k - 25/2*k**2 + 10 + 19/3*k**3. Does 29 divide c(-20)?
True
Suppose 5094 = 48*g - 1626. Is g even?
True
Suppose -4*z + 4*s = 8, -4*z - 18 = 2*s - 4*s. Does 7 divide (645/6)/((-6)/(84/z))?
False
Let f(u) = u**3 - 6*u**2 - 9*u - 2. Let x be f(7). Let c = 121 + x. Is 5 a factor of c?
True
Let v(a) = -295 + 399 - a + 0*a. Let u be v(25). Let o = u + -29. Is o a multiple of 5?
True
Let q(u) be the first derivative of u**3/3 - 5*u**2 - 16*u - 28. Let f be q(8). Let n = f + 72. Is 13 a factor of n?
False
Suppose -6*p + 11*p = -5, 4*l - 2*p = 12854. Is l a multiple of 3?
True
Suppose -4*y - 99*b + 94*b = -61, -2*y + 23 = 5*b. Let n(k) = -k - 1. Let r be n(-5). Is (r - y)*(-24)/5 a multiple of 18?
True
Suppose 2 - 4 = 2*g + 2*t, -3*g + 7 = t. Suppose 0 = -g*o + 400 + 160. Is o a multiple of 20?
True
Suppose 165*w - 387052 - 605895 = 42593. Is w a multiple of 43?
False
Let j(w) = -2*w - 12. Let x be j(-10). Suppose 5*f = 0, 3*f - f - x = -4*p. Is 26 a factor of (p - 0)*(-2 - (-54 - 0))?
True
Let z be (-28)/(-42) + -1 + 208/(-6). Let u be (-1)/7 - 285/z. Suppose u*w = 357 + 347. Is w a multiple of 11?
True
Suppose -t + 425 = -2*l, 2*l + 2141 = 16*t - 11*t. Is t a multiple of 8?
False
Suppose 107115 = 37*s - 17*s - 28605. Is 96 a factor of s?
False
Let c(s) = 112*s**2 - 101*s - 619. Does 8 divide c(-7)?
True
Suppose 0 = -4*p + 2*m + 18 + 6, 5*p = m + 24. Let c be (0/p)/(-1 - (-2)/(-2)). Suppose -2*h - 10 = c, -5*a = -h + 2*h - 225. Is a a multiple of 23?
True
Is 194 a factor of 550/(-14 - -24)*582/5?
True
Does 312 divide -8 - 1 - ((-1269 - 3) + 30/2)?
True
Suppose -9*z + 5*z = 4*q - 17740, q - 2 = 0. Is 11 a factor of z?
True
Suppose 5*w + 8*k - 5*k - 2447 = 0, -3*w + 1453 = -2*k. Is 3 a factor of w?
False
Suppose -205*n + 97*n + 21537