f 20?
True
Suppose -14 = 4*o - 5*o - 2*j, 2*o - 4*j + 12 = 0. Suppose 0 = 5*x, -5*q + o*q - 5*x = 0. Is 15 a factor of (-15 - q)/(-5) - -38?
False
Let f = 2182 + -2182. Suppose a = -a + 10. Suppose -4*v + 671 = -5*q, 0 = -f*v + a*v + 3*q - 811. Is 33 a factor of v?
False
Suppose 3*y + 2*l = -13, 0 = 3*y + l - 4*l - 12. Let o be y/((-6 - -1)/965). Suppose 164 = 7*a - o. Does 6 divide a?
False
Let l = 5340 - -224. Is l a multiple of 9?
False
Suppose -25*v + 31*v - 90 = 0. Let o = v + 138. Does 11 divide o?
False
Suppose 4*r + 273 = -j, 0 = -6*r + r - 5*j - 330. Let t = r + 66. Let u(m) = -2*m**3 - 3*m**2 - 6. Is u(t) a multiple of 21?
True
Let p = 8772 - 3347. Suppose -46*j + 13849 = -p. Is j a multiple of 19?
False
Let m(p) = 16*p + 22. Let j be m(17). Is 14 a factor of j*5/(-25)*-5 + -3?
False
Let x = 4945 + -3296. Is 17 a factor of x?
True
Suppose -6*h + 14602 = -440. Does 109 divide h?
True
Does 109 divide (-81820)/((-4*9/36)/1)?
False
Suppose 0 = -2*v - 2*v + 44. Suppose c - 10 = -v. Is 2 a factor of c/(((-2)/22)/1)?
False
Let t(q) = 3*q**2 + 11*q + 13. Let f be t(-2). Suppose -f*v + 1499 = 464. Is 69 a factor of v?
True
Let s(x) be the third derivative of 0*x + 2/3*x**4 + 0 - 9/2*x**3 - 6*x**2 - 1/60*x**5. Does 7 divide s(11)?
True
Let k(o) = 4*o - 30. Let f be k(13). Suppose 69*h = 71*h - f. Let m = h - -3. Does 5 divide m?
False
Suppose 3*f - 3*l = 68355, 0 = -0*f + 3*f - 2*l - 68362. Is f a multiple of 45?
False
Let w = -6084 + 39486. Is w a multiple of 114?
True
Let h = -2027 - -7088. Is 7 a factor of h?
True
Let v be (1 - -1)*70/20. Suppose -5*r - 48 = -2*y - v*r, -2 = -r. Does 11 divide y?
True
Let d be (-3)/15 + 44/20. Is 8 a factor of (d + 16)*(-39)/(-9)?
False
Let v = 223 + -218. Suppose -4*x + 2*u = -138, v*x = -44*u + 49*u + 170. Does 3 divide x?
False
Let l(r) = 4*r**2 + 13*r + 104. Let y(s) = 5*s**2 + 12*s + 106. Let f(k) = 4*l(k) - 3*y(k). Does 46 divide f(-33)?
False
Suppose 5*o = 11*o + 1536. Is (16/6)/(o/(-186432)) a multiple of 14?
False
Suppose -222*k - 79*k + 5127234 = 0. Is 11 a factor of k?
False
Let c(w) = 2*w**3 - 6*w**2 - 8*w + 12. Let z be c(5). Let n(x) = 2*x + 40. Let d be n(-18). Suppose -m - z = -d*m. Does 3 divide m?
True
Let s be -3 - (3/6 + (-135)/6). Suppose c + 17 - s = 0. Suppose -5*o + 1030 = 5*i, -935 - 74 = -5*o + c*i. Is 29 a factor of o?
True
Let p(u) = -4*u**2 + 2*u + 252. Let j(s) = 3*s**2 - s - 168. Suppose 3 + 17 = 4*v. Let z(b) = v*p(b) + 7*j(b). Is z(0) a multiple of 11?
False
Let t be (-6)/(-4)*(-17 - -11 - 24). Is 15 a factor of 11/((-55)/t) - -628?
False
Let m = -30 + -803. Let u = m - -1817. Does 24 divide u?
True
Suppose 63*h + 711 = 66*h + 3*f, 957 = 4*h + f. Is h a multiple of 24?
True
Is 56 a factor of 5/(-50) - 90782*(-11)/220?
False
Suppose 320*n - 300*n = 155980. Is 11 a factor of n?
True
Let v be 0 + 1 + (6/39 - (-1104)/598). Let x be (-3 + 1)/(0 + -1). Suppose x*y + 3*g = 88, -3*y = v*g - 7*g - 115. Does 5 divide y?
False
Let m(x) be the third derivative of -8*x**2 + 0*x - 7/6*x**3 + 0 - 7/12*x**4. Is m(-4) a multiple of 7?
True
Suppose 2*f = -6*f + 120. Is 63 a factor of -1*(-4)/20 - (-10197)/f?
False
Let u(c) = c**2 - 18*c + 37. Let f be u(16). Suppose -2*v = f*r - 210, -3*v = -5*r + v + 180. Does 8 divide r?
True
Let s(w) = -255*w - 43. Does 50 divide s(-3)?
False
Let k be 4 + (-6 + -141)/(-1). Let i = 169 - k. Is i a multiple of 5?
False
Let x = -33 - -36. Suppose 0 = 5*o - 3*n + n - 248, 140 = x*o + n. Suppose o = q - 3. Does 17 divide q?
True
Suppose 0 = 5*x - 26 + 11. Suppose x*d + z + 0*z = 4, 4*d = -4*z - 8. Suppose t + d*i = 45, 4*t - 187 = -i - 4*i. Is t a multiple of 12?
True
Let p(l) = -l**3 + 37*l**2 - 4*l - 599. Is p(23) a multiple of 60?
False
Suppose i + 116042 = 3*x, 5*i - 154708 = -4*x + 10*i. Is 9 a factor of x?
True
Suppose -3*l - 2*d = 408, -6 = l + d + 131. Let w = 144 + l. Does 3 divide (20/12)/(w/36)?
True
Let y be 86/(-8) - (-30)/40. Let q(p) = -p**3 - 10*p**2 + p + 12. Let j be q(y). Suppose -2*t = x - 73, j*t - 65 - 89 = -2*x. Is x a multiple of 26?
False
Let s = -317 - -467. Let d = s - 143. Is 2 a factor of d?
False
Suppose 43*i - 660323 = -185216. Is 50 a factor of i?
False
Let a be -7 + 1146 + (-8 - 0). Let l = -670 + a. Does 12 divide l?
False
Let c(z) = -z**3 - 19*z**2 - 3*z - 24. Let d be 12/(-66) - (-598)/22. Suppose -5*j = 2*q + 6 + d, -3*j = -3. Is 11 a factor of c(q)?
True
Let w(v) = v**2 - 35*v + 85. Let l(h) = h**2 + 4*h + 13. Let m be l(3). Is w(m) a multiple of 5?
False
Let k = -66 + -165. Let m = k - -393. Does 6 divide m?
True
Let o be ((-4)/(-8))/(1/6). Is 3452/o + (-2)/3 + 2 a multiple of 16?
True
Let n(a) = a**3 + 3*a**2 + 8095. Let y be n(0). Is y/45 + 4/36 a multiple of 9?
True
Let s(d) = 1271*d**2 - 56*d - 3. Is s(6) a multiple of 49?
False
Let t be (-8)/(-52) + (-148)/(-52) + 3. Is (57/t + -3)*(35 - -5) a multiple of 10?
True
Let b(q) = 17*q**3 - 14*q**2 + 51*q + 2. Let h be b(7). Suppose 0 = -23*f - 9*f + h. Is 7 a factor of f?
False
Is (-6)/(-4)*1136400/72 a multiple of 48?
False
Suppose -37*a - 45259 = -300559. Does 20 divide a?
True
Let c(q) = 9*q**2 + 17*q - 10. Let z be c(3). Suppose -7*k = -z - 550. Does 5 divide k?
False
Let q(x) = -x**2 + 14*x + 1. Let y be q(19). Let v = -113 - y. Let w = 101 + v. Is w a multiple of 35?
False
Is (19032 - -6)/((-16)/(-10) + 36/90) a multiple of 19?
True
Let w(n) = n**3 + 7*n**2 - 11*n + 12. Let u be w(-9). Let i = 229 - u. Suppose 224 = 4*d - 4*t, -3*d = 2*d + 4*t - i. Is d a multiple of 8?
True
Let r = -203 - -185. Let d(o) = 3*o**3 + 21*o**2 + 18*o - 26. Let q(t) = -13*t**3 - 85*t**2 - 73*t + 104. Let z(a) = 9*d(a) + 2*q(a). Is 5 a factor of z(r)?
True
Let w = -1334 + 2423. Let x = -658 + w. Is 17 a factor of x?
False
Let a(c) = 10*c**2 - 25*c + 17. Let x(j) = 15*j**2 - 37*j + 26. Let u(h) = -7*a(h) + 5*x(h). Does 7 divide u(6)?
False
Let s be 2 - 1*(-2 - 4). Suppose j - s = 5*j, 4*j = 2*r - 64. Let b = r - 23. Does 3 divide b?
False
Let i = -10554 - -17726. Is i a multiple of 73?
False
Suppose -4*s - 4*k = -3*k - 71, 2*s - 4*k - 22 = 0. Is 12 a factor of s/((-68)/16) - -1318?
False
Let o(f) = 2*f**2 + 15*f - 8. Let r be o(-9). Let k be -1 - (-1 + 1) - (-698 + r). Suppose h = 7*h - k. Is 19 a factor of h?
False
Suppose n = 4*m + 2947, 87*m - 84*m = -4*n + 11845. Is n a multiple of 9?
False
Let n = 5445 + -3195. Does 10 divide n?
True
Let r be 6/10*340/51. Is 37 a factor of 1*r + 7859/29?
False
Suppose 3*t - 22587 + 6930 = -5*u, -6263 = -2*u - t. Is u a multiple of 10?
False
Let r(n) = n**2 + n - 8. Let k = 2 - 25. Let d = k - -29. Does 17 divide r(d)?
True
Let c(o) = 3*o**2 + 4*o - 24. Let h(w) = -3*w**2 - 3*w + 24. Let j(b) = -5*c(b) - 6*h(b). Suppose i - 51 = -46. Is j(i) a multiple of 3?
False
Let m = 329 - 866. Is 4 a factor of -3 - m/5 - 4/10?
True
Let f(w) be the first derivative of -65*w**2/2 - 11*w - 59. Is 3 a factor of f(-3)?
False
Is 2 a factor of (((-30)/42)/(-1))/((6 - 4)/9142)?
False
Let m(z) be the second derivative of -z**5/5 - 19*z**4/3 - 13*z**3/3 + 14*z**2 + 21*z. Is m(-19) a multiple of 10?
False
Let h = -13410 + 21312. Is h a multiple of 41?
False
Suppose 24 = 3*u - 3*i + 6*i, -4*u + 5*i + 5 = 0. Suppose -1179 = -4*o - 3*w, -8*w + u = -3*w. Does 21 divide o?
True
Let j = -282 + 1062. Let m be (76/10)/(4/j). Is 56 a factor of m/9 + 10/(-15)?
False
Let f be 72/(-180) - (-11594)/10. Suppose 21*r - f = -67. Is 3 a factor of r?
False
Let f = 59017 + -32887. Does 155 divide f?
False
Suppose -7*q = -12*q + 410. Let t = 351 - q. Is t a multiple of 49?
False
Let a(n) = n**3 - 2*n**2 - 9*n + 12. Let d be a(6). Let z = 137 + d. Suppose 0 = -8*x + 3*x - 3*i + z, 9 = 3*i. Is 23 a factor of x?
True
Suppose -6*b + 8*b = 5*u + 2163, -2*u - 1080 = -b. Suppose g = 4*d - b, -4*g + 815 = 12*d - 9*d. Does 26 divide d?
False
Let z be (-32)/(-12)*9/2. Let s(g) be the first derivative of 4*g**2 - 13*g - 41. Is 14 a factor of s(z)?
False
Suppose 177*r = 131*r - 299*r + 4216245. Is 93 a factor of r?
False
Suppose 5*h + 5*v = 885, 0*v - 720 = -4*h - v. Suppose 0 = 3*z - 5*d + 145 + 172, 2*z + d + 220 = 0. Let i = z + h. Does 36 divide i?
True
Suppose 2*j = -2*h + 798, -36*j + 40*j = -5*h + 1989. Does 131 divide h?
True
Let o(l) = 32*l + 36. Let z be o(-8). Let s(t) = 2*t**2 - 21*t - 12.