 - 1183, -3*m + 5*t + 1190 = 0. Suppose -2*l + m = 43. Is l a multiple of 6?
False
Let m = -15 - -17. Let z be 5*m/7 + (-36)/(-63). Suppose 124 = 2*u - 0*u + 4*y, 0 = -z*u + 5*y + 97. Does 14 divide u?
True
Let q(j) = j**3 - j + 1. Let u(z) = 4*z**3 + 14*z**2 - z - 6. Let n(o) = -2*q(o) + u(o). Does 14 divide n(-6)?
False
Let x(v) = v**2 - 2*v - 1. Let n(k) = 21*k**2 - 21*k - 15. Let m(c) = n(c) - 9*x(c). Is m(6) a multiple of 17?
True
Suppose 0 = 26*x - 32*x - 54. Let n be 6/(2*x/(-6)). Suppose -n*s = -45 - 5. Does 16 divide s?
False
Suppose 1272 = -3*h + 396. Let y = 76 - h. Is y a multiple of 6?
False
Suppose 0 = 3*i, -4*z = -0*z - 3*i - 14344. Does 22 divide z?
True
Let t(w) = -11 + 4129*w - 2067*w - 2067*w. Suppose 4*z + g + 8 = -g, 3*g - 20 = 2*z. Does 3 divide t(z)?
True
Suppose 0 = -2*t + o - 1 + 2, 0 = -3*t + 2*o + 4. Does 9 divide 60*(30/12 - t)?
True
Let d be 3/5*(-60)/(-4). Suppose 12*u - 4791 = d*u. Suppose 6*k + 421 = u. Is k a multiple of 22?
False
Does 183 divide ((-1 + 1027/(-2))/(-1))/((-3)/(-30))?
False
Let m be ((-24)/10 + 2)/(2/(-20)). Suppose 2*d = -k + 37, d + 116 = m*k - 32. Is k + -1 + -8 + 12 a multiple of 20?
True
Let g = 66 + -62. Suppose -205 = -4*s + 5*z, -3*s = -5*s - 3*z + 75. Suppose g*u = s + 15. Does 5 divide u?
True
Let l(x) = -15*x**3 + 2*x**2 - 9*x + 12. Suppose 0 = -2*p - 52 + 56. Let b be l(p). Does 12 divide (-9)/(b/(-24) - 5)?
True
Let r be (2/3)/(12/108). Let t be -1*(3 - -1) + r. Is 13 a factor of (28/(-6))/(t/(-24))?
False
Suppose -5*k + h + 1 = 4*h, 2*k - h - 7 = 0. Suppose -5*b = j - 4*b - 19, -k = -2*b. Is 8 a factor of j?
False
Let z(q) = 2*q - 24. Let j be z(12). Suppose -4*p + 6*x - 2*x + 120 = j, 0 = 3*p + 3*x - 102. Does 4 divide p?
True
Let i(d) = -115 + 17*d - 77 - 38 + 48. Is i(22) a multiple of 71?
False
Let u be (75/(-4))/(-3) + 3/4. Let f(j) = -5*j + 2. Let o be f(u). Is ((160/15)/8)/((-1)/o) a multiple of 11?
True
Suppose -4*o - 5*l + 474 = -159, 4*l + 12 = 0. Suppose 0 = p + 3*f - 14, 0*p - 3*f = -5*p - 2. Suppose h = -p*a - 2*a + o, 0 = 3*a - 9. Is h a multiple of 24?
False
Is 21 a factor of (-1)/1*6*((-31559)/22)/19?
False
Suppose c + 4*k - 11 = 0, c + 6*k - 10*k - 3 = 0. Suppose 809 = c*t - 1501. Is 10 a factor of t?
True
Let g(w) = 2685*w + 3693. Does 26 divide g(6)?
False
Let x(u) = -5 - 4 - 67784*u + 67812*u - 5 + 1. Suppose 25 = w + 4*p, w + 3*p = -2*w + 30. Is 39 a factor of x(w)?
False
Let f be (-5)/3*(-3 + 2 + -2). Suppose -2*r = -6, -f*r - 262 = -4*z + 291. Is z a multiple of 9?
False
Suppose 0 = -82*k + 613052 + 585460. Is 203 a factor of k?
True
Let i(u) = 4*u**3 - u**2 + 2*u - 1. Let l be i(1). Suppose 3*c + 128 = 5*j, j - 14 = -l*c + 30. Suppose -4*t + j = -148. Does 11 divide t?
True
Let y(h) = h**2 - 2*h - 27. Suppose 44 = -376*s + 380*s. Is 2 a factor of y(s)?
True
Suppose 468437 - 1340928 = -259*y + 358277. Is 13 a factor of y?
False
Let r = -4302 + 11784. Is 86 a factor of r?
True
Suppose 91*a = 35*a + 3385536. Does 30 divide a?
False
Suppose -839913 + 142576 - 411073 = -30*o. Is o a multiple of 87?
False
Let n(t) = 5*t**2 + 423*t + 36. Does 29 divide n(24)?
False
Let m(h) = -h**2 - 24*h - 89. Let i be m(-19). Let z(u) = -296*u - 4. Let p be z(-4). Suppose -p = -i*r + 2*r. Is 45 a factor of r?
False
Let g(c) = 41*c**2 + 3*c - 18. Let v = -269 - -266. Does 18 divide g(v)?
True
Let y = 42 + -38. Suppose a + 9 = -v, -y*v - 83 = -2*a - 29. Let d(f) = f**3 + 11*f**2 - 11*f + 27. Is d(v) a multiple of 15?
True
Is 4 + (-128)/28 + (-14389)/(-7) a multiple of 18?
False
Let b be (-6)/(-7) - 2045/(-7). Suppose 5*g + 111 = j + g, 2*g + b = 3*j. Is j a multiple of 27?
False
Let g = 5915 - 3953. Is g a multiple of 6?
True
Suppose -89140 + 52383 = -24*t + 84587. Is t a multiple of 64?
True
Does 4 divide (1666/(-70) - 2)*(-3 + -162)?
False
Let p(n) = n + 24. Let t be p(-21). Suppose 9 = -t*o - 0*o, o + 298 = 5*b. Is 8 a factor of b?
False
Suppose -2*n = 12*n - 98. Is 48 a factor of ((-3763)/(-6) - n/42) + -3?
True
Let p(z) = -42*z + 2. Let k be p(0). Suppose d = 3*a - 3306, 102 = k*a + 2*d - 2102. Is 38 a factor of a?
True
Suppose -126*l + 936094 = -20876. Is l a multiple of 19?
False
Let p = -10 - -7. Let h = p + -268. Let w = 451 + h. Is 18 a factor of w?
True
Let m = 15911 - 10300. Is 4 a factor of m?
False
Let q(s) = -21*s**3 - 2*s - 1. Let z be q(-1). Suppose 0 = -23*p + z*p + 193. Is p even?
False
Suppose -35*i + 39*i - 8 = 0. Suppose 2 + 2 = -i*p. Is p/(-18) - (-2248)/18 a multiple of 62?
False
Let f = 1088 - -604. Is f a multiple of 26?
False
Let g(j) = -1536*j + 3289. Is g(-20) a multiple of 34?
False
Let g(d) = d**3 + 11*d**2 + 3*d + 22. Let h be g(-11). Let o = -5 - h. Suppose -2*q = -o, x - q - 51 = -x. Does 8 divide x?
False
Let c be (11/(-3) - (-2)/3) + 6. Let u be ((-18)/(-8))/(c - (-52)/(-16)). Is (-18)/8 + u/(-36) - -126 a multiple of 15?
False
Suppose -f + 14*u - 12*u = 8, -5*u + 17 = -f. Let k = 180 - f. Is k a multiple of 10?
False
Let f be ((-6)/18)/((-2)/6) + -53. Let y = 60 + f. Suppose 2*b = y*b - 108. Is 3 a factor of b?
True
Let s(h) = -1022*h - 4428. Is 127 a factor of s(-70)?
False
Let a = -312 + 588. Is 5 a factor of (a + 4/2)/(2*1)?
False
Let x(f) be the first derivative of -3*f**4/4 + 2*f**3/3 - 5*f**2 - 24*f + 189. Is 41 a factor of x(-5)?
True
Let y(l) be the second derivative of 2*l**4/3 + l**3/6 - l**2 + 14*l. Let t be y(1). Suppose 0 = t*s + 3*s - 1360. Does 32 divide s?
False
Is 16 a factor of 10/12 - 1 - (-76816990)/2868?
True
Suppose 10*y = 5*y + 635. Suppose -k + 1 = 3*h - 341, 4*k + y = h. Is h a multiple of 23?
True
Suppose 10*m - 2 = -62. Is 67 a factor of (180/(-27) - -7) + (-1204)/m?
True
Let a be (145/3)/(57/1710). Suppose a = 3*j + s, -5*j = s - 1587 - 829. Is 23 a factor of j?
True
Suppose -6*b - 3*o + 44796 = -b, -5*o = 15. Is 15 a factor of b?
False
Suppose -26*q - 2688 = -15818. Let m = q + -269. Does 21 divide m?
False
Suppose a = 4*c - 4, -3*c + 4*a = 13 - 3. Suppose -464 = -f - 4*j + 215, -j + 1351 = c*f. Does 10 divide (1/5*-2)/((-9)/f)?
True
Suppose 4*y + 20 + 4 = 0. Let b be (-29)/(-9) - y*1/(-27). Suppose -406 = b*q - 1036. Does 30 divide q?
True
Suppose 39 = 72*b - 69*b. Suppose 189 = 3*o - l, 8*o - b*o + 3*l + 319 = 0. Does 10 divide o?
False
Let j = 40258 - 1627. Is j a multiple of 302?
False
Let l(a) = -23*a + 57. Suppose i = 2*v - 3, -4*v - 7 = 4*i + 5. Does 9 divide l(i)?
True
Suppose 15*c - 739 = -64. Let a = c + -30. Suppose -5*o + 0 + a = 0. Is o even?
False
Suppose x - 8935 - 5539 = -4*a, -5*a + x = -18088. Suppose -11*q + a = -650. Does 43 divide q?
False
Let k(c) = -c**3 - 4*c**2 + c + 16. Let z be k(-10). Suppose -9*g + 1212 = -z. Suppose 4*q = -2*h + 266, 3*q - 3*h = -4*h + g. Is q a multiple of 23?
True
Suppose 3*u - 30075 = -4*t, -4*t + 21756 = 5*u - 8321. Is 21 a factor of t?
True
Suppose -64*n + 69*n = -270. Let v = 342 + n. Suppose 1005 = 4*c + s, c + 63 = 5*s + v. Is 17 a factor of c?
False
Is (-10 - (-882 - 4))/((-9)/(-60)) a multiple of 2?
True
Let u(s) = 2*s**2 - 3*s. Let v(b) = 3*b - 44. Let r be v(16). Suppose 3*m + 5*c - 10 = -0*c, 2*c + 22 = r*m. Is 7 a factor of u(m)?
True
Let r = 89 - 85. Suppose 0 = 3*x + z + r*z - 126, 3*z = -3*x + 132. Does 5 divide x?
False
Let p(s) = s**3 + 2*s**2 - 3*s - 7. Let n be p(4). Suppose -11*b + 121 = -n. Suppose 0 = 3*x - 7*x - 2*v + b, -8 = -x - 4*v. Does 3 divide x?
False
Does 13 divide ((-21)/12)/((-10)/(-8)) + 4799457/1105?
True
Let r(t) = -t**3 + 82*t**2 - 178*t + 122. Is 22 a factor of r(79)?
False
Let x(n) = 4*n**2 - n - 6. Let c be x(-2). Suppose -c*h = 11*h - 6417. Does 9 divide h?
True
Let a(l) = 619*l**2 - 274*l + 274. Is a(1) a multiple of 59?
False
Let i = 9800 + 8440. Is 95 a factor of i?
True
Let s be (-6 - -11) + (-3 - 0). Let j = 1930 + -1926. Is 16 a factor of s/j + (-760)/(-16)?
True
Suppose -262*j = -283*j + 779940. Is 60 a factor of j?
True
Let m = 35729 - 29609. Is 9 a factor of m?
True
Let m(q) = 7*q**2 + 77*q - 8. Let t be m(-11). Is (t + 189/18)/(1/582) a multiple of 61?
False
Let l = 960 - 465. Suppose 11*p - l - 319 = 0. Is p a multiple of 15?
False
Let i = 8 + -15. Let t be (-354)/118*(256/6)/(-4). Let p = t + i. Is 2 a factor of p?
False
Let s be (100/(-30))/5*6597/(-6). Let j = s - 96. Is j a multiple of 49?
True
Suppose -690*d