se 5*k = 2*f + 490, 0*k = 3*k - 2*f - 290. Is k a multiple of 25?
True
Suppose -29 = -5*y + 3*p, 3 = -5*p - 12. Does 11 divide ((-11)/y)/(2/(-24))?
True
Let l(x) = x**2 + 9*x. Let v be l(-9). Suppose -y = -2*p + p + 9, v = 4*y + 20. Does 5 divide (-2)/((-3)/90*p)?
True
Let r be ((-48)/(-4))/(2/22). Suppose -2*g + r = -0*g. Suppose 3*k = -3 + g. Is k a multiple of 5?
False
Let y(a) = 2*a - 14. Let r be y(7). Suppose 0 = k - 0*k - 27. Suppose d + 12 - k = r. Does 15 divide d?
True
Let a(r) be the third derivative of -55*r**4/24 + 10*r**3/3 - 15*r**2. Is a(-2) a multiple of 26?
True
Let x = -118 + 104. Is 14 a factor of (-7)/(-3 - 41/x)?
True
Let o(v) = -6*v + 31. Let y be o(6). Let n(j) = 5*j**2 - 3*j. Is 28 a factor of n(y)?
True
Let b(n) = -4*n - 12. Let w be ((-4)/(-8))/((-1)/40). Let o be (-8 + 11)*w/6. Is b(o) a multiple of 14?
True
Suppose 6*x = 1132 + 902. Is 120 a factor of x?
False
Let q(r) = r + 23. Let k be q(-18). Suppose -b + 126 = k*b. Is b a multiple of 14?
False
Let t(q) = 6*q**2 - 14*q - 17. Let m(w) = -w + 14. Let n be m(7). Is 14 a factor of t(n)?
False
Does 11 divide ((-3)/(-6))/(4/(-12864)*-4)?
False
Let x(k) = 53 + 48 + 55 + 2*k - 160 + 58*k**2. Is 58 a factor of x(2)?
True
Suppose -3*j + 3*a = -0*j - 120, -2*j + 74 = -4*a. Suppose -75 - j = -2*o. Does 8 divide o?
False
Let x be -4*(-2)/(-4) - -302. Suppose -18*b + 22*b = x. Does 5 divide b?
True
Does 10 divide (-3)/(-33) + (-42354)/(-198)?
False
Let m(n) = 60*n**2 + 10*n - 65. Is m(-6) a multiple of 37?
True
Suppose 3*t - 8 = 1. Suppose 0 = 5*l - 3*x - 526 + 119, -t*x + 383 = 5*l. Does 17 divide l?
False
Let p(l) = l**3 - l**2 + 248. Let b be p(0). Suppose -3*t + 140 = -s, -2*t - b = -7*t - 2*s. Does 8 divide t?
True
Is (198/(-10))/((-135)/2250) a multiple of 55?
True
Let l(y) = y**3 - 4*y**2 - 4*y + 4. Let u be l(4). Let o = 39 + u. Suppose 10*n + o = 11*n. Is n a multiple of 27?
True
Suppose 4*l + 4*b + 101 - 241 = 0, 5*b - 138 = -4*l. Is 11 a factor of -2 + l - (2 - 0)?
True
Let s(q) = q - 1. Let x(h) = h**3 - 13*h**2 - 11*h + 37. Let u(m) = 2*s(m) + x(m). Is u(14) a multiple of 35?
True
Suppose 92 = 9*m + 56. Suppose -5*c + 362 = -k, 14 - 150 = -2*c - m*k. Is c a multiple of 46?
False
Let p(f) = -f**3 - 28*f**2 + 13*f - 175. Is p(-29) a multiple of 5?
False
Let k be 1 - ((-2 - 3) + 2). Suppose t = -k*g - 1, -g + 37 = 5*t - 2*g. Suppose -r + t = -8. Does 15 divide r?
True
Suppose b - 843 - 91 = -4*p, 2*p - 3722 = -4*b. Does 62 divide b?
True
Let f be 4 + -2 + (4 - 0). Let z(d) = -12 - 14 - 10*d + 7*d**2 - f*d**2. Is z(13) a multiple of 13?
True
Let b = -64 + 67. Suppose 4*m - 354 = -2*a + 706, 0 = b*m + 3*a - 801. Does 28 divide m?
False
Suppose -4*s = -5*s - 246. Is 15 a factor of s/(-8) - 24/32?
True
Let a(n) be the first derivative of -n**2 + 3*n - 11. Let m be a(1). Let k(t) = 10*t**3 + 2*t**2 - 2*t + 1. Is 11 a factor of k(m)?
True
Let s(m) = 6*m - 7. Let h be s(4). Let x = h + 2. Is 13 a factor of x?
False
Let q = 48 + -37. Does 2 divide q?
False
Suppose 3*i - 104 = -35. Let q = -10 + 14. Let s = i - q. Is 7 a factor of s?
False
Let o(b) be the first derivative of 57*b**4/4 + b**3/3 + b**2 - 2*b + 6. Is o(1) a multiple of 14?
False
Is 18 a factor of (-53354)/(-185) - (-1 - (-14)/10)?
True
Let k(v) = 5 + 166*v - 162*v + 1. Is 22 a factor of k(4)?
True
Let x be (0 - -3) + (22 - 4). Let o = x - 17. Suppose -o*l = -152 + 8. Is l a multiple of 12?
True
Suppose 0 = -3*n - 4*i - 0*i + 1503, -5*n + 2505 = 5*i. Let x = -228 + n. Does 36 divide x?
False
Let p = -61 - -213. Suppose 2*m + 202 = 5*v, m = -4*v + 5*m + p. Is 34 a factor of v?
False
Let p = -317 - -201. Let s = 172 + p. Does 8 divide s?
True
Suppose 0 = -4*a + 33 - 1. Suppose a = 2*h + 2*h. Suppose -h*d + 34 = -d. Does 17 divide d?
True
Is (-3 - (-38)/10)/((-62)/(-209560)) a multiple of 13?
True
Let v(m) = 5*m**2 + m + 1. Let i be v(-1). Suppose 4*h - i*g = -2*g + 236, 0 = 4*h + g - 220. Does 7 divide h?
True
Let r(i) = 24*i**3 - 25*i**3 - 6 + 0 + 6*i**2 - 3*i - 1. Is r(5) a multiple of 3?
True
Suppose -2*c - 3*c + 265 = 2*u, 3*u = -2*c + 117. Suppose -2*v - b = -c, -6*b - 108 = -5*v - 2*b. Is 8 a factor of v?
True
Suppose 0 = 7*t - 3*t + 3*j - 12, 5*t = 2*j + 38. Suppose -w + t*w = 50. Let g = 2 + w. Is g a multiple of 4?
True
Let d(c) be the third derivative of c**6/120 - c**5/10 + c**4/4 + 5*c**3/6 + 22*c**2. Is 10 a factor of d(5)?
True
Let l(s) = s**3 + 16*s**2 + 13*s + 10. Let d be l(-14). Suppose k = -k + d. Does 24 divide k?
False
Is 9 a factor of (2 - 15/2)/((-21)/42)?
False
Let c be -1*5/(-5) + -47. Let t = c + 134. Does 44 divide t?
True
Is 3 a factor of (0 + -2)/(1/(-56))?
False
Let y be (-8)/28 + 44/7. Let n(g) be the first derivative of -g**4/4 + 7*g**3/3 - 2*g**2 + 7*g + 3. Is n(y) a multiple of 19?
True
Is 59 a factor of 962/2 + -8 + 4?
False
Let v = 7 - -1. Let g be (12/6)/(-3 - -2). Is 3 a factor of g - 9/((-9)/v)?
True
Suppose 0 = o + 2*o. Suppose 4*d + 696 = 8*i - 4*i, i + 5*d - 198 = 0. Suppose o = -3*y + i + 59. Is 17 a factor of y?
False
Let a be 6 - (27/3)/3. Let b = 80 + a. Is 12 a factor of b?
False
Suppose -5*o = -6*o - 30. Does 8 divide (8/10)/(o/(-75)) - -26?
False
Let g(o) = -52*o - 142. Is 18 a factor of g(-19)?
True
Let a(s) = -s + 10. Let b be a(0). Let m be (-56)/16*(-36)/(-21). Let f = b + m. Is f a multiple of 4?
True
Suppose -1020 = -9*t + 3*t. Does 66 divide t?
False
Let w(i) = -i + 12. Suppose -d - u + 9 = 0, -72 = -5*d - 3*u + 7*u. Let x be w(d). Suppose -2*n - 4*r = -3*n + 22, -4*n - r + 37 = x. Is n a multiple of 5?
True
Suppose -4*w = -698 - 114. Suppose 67 = 3*a - w. Is a a multiple of 9?
True
Let q(j) = -33 + 44 + 9*j - 23 + 2*j**2 + 3*j. Is q(-8) a multiple of 20?
True
Let m be 13/4 + ((-11)/(-4))/(-11). Suppose 64 = -m*x + 4*x. Does 30 divide x?
False
Let v be (-28)/(-10)*(-2 + -3). Is 368/14 + 1/(v/4) a multiple of 13?
True
Let w(b) = 29*b + 38. Let q(y) = 1. Let s(r) = 6*q(r) - w(r). Is s(-4) a multiple of 16?
False
Suppose -2*d + d + 6151 = 5*z, 2*d - 1232 = -z. Is 41 a factor of z?
True
Suppose 34*l - 38*l - 1280 = 0. Is l/(-12) + (-8)/12 a multiple of 13?
True
Let g(t) = -t**3 - 9*t**2 + 9*t - 6. Let l be g(-8). Let u = l - -270. Is u a multiple of 18?
False
Let a be (12/(-14))/((-9)/42). Does 7 divide 0 + a + 10*3?
False
Suppose -13*f - 7*f + 3060 = 0. Is 17 a factor of f?
True
Let b(r) = 72*r**3 + 4*r**2 + 3*r - 6. Is 16 a factor of b(2)?
True
Let y be 83/((21/(-6))/(-7)). Is y/3 + (-2)/(-3) a multiple of 6?
False
Let n(l) = 2*l + 24. Does 12 divide n(6)?
True
Let d = -36 + 56. Does 12 divide 2/d - (-33999)/210?
False
Suppose -5*h + 3 = -2. Let y be 1 + 2 + -3 + h. Does 9 divide (-2 + 1)/(y/(-9))?
True
Is 20 a factor of ((-234)/4)/((51/18)/(-17))?
False
Let y(m) = -2*m + 3 + 1 + 5 + m. Is 2 a factor of y(3)?
True
Let q = 1487 - 863. Is q a multiple of 24?
True
Let a = -3 - -8. Suppose 830 = -3*p + 8*p. Suppose 0*z = b - a*z - 82, -3*b - 5*z = -p. Is b a multiple of 24?
False
Suppose -3*y - 4*q = 396, -137 = 5*y - 3*q + 523. Does 21 divide (-2 + y/8)*-14?
False
Let p = -89 - -505. Is 32 a factor of p?
True
Suppose -3*l - 3*x - 11 = 1, l + 3*x = -12. Suppose 2*i - 5 - 3 = l. Suppose i*n - 98 = 3*n. Is n a multiple of 24?
False
Suppose 2*n = -23*n + 68400. Does 19 divide n?
True
Is (-6 - (-498)/7)*7 a multiple of 14?
False
Let n = -2243 - -4140. Is 7 a factor of n?
True
Let n(u) = -19*u - 11. Let x(k) = -3*k - 2. Let r(m) = -6*n(m) + 39*x(m). Let c be r(-5). Suppose 5*d + c*z = 147, -d + 5*z = -6*d + 145. Is 6 a factor of d?
True
Is 6 a factor of 1207 + (-11 - 176/(-11))?
True
Let p(w) = -14*w + 1. Let x(s) = s**2 + 8*s + 6. Let h be x(-7). Is p(h) a multiple of 3?
True
Let g(s) = 10*s - 47. Let x(f) = 15*f - 71. Let l(b) = -7*g(b) + 5*x(b). Is 4 a factor of l(10)?
True
Let h = 652 + -199. Is h a multiple of 17?
False
Let a(v) be the second derivative of 12*v + 0 - 1/2*v**3 - 1/4*v**4 - 1/10*v**5 - 1/2*v**2. Is 3 a factor of a(-2)?
True
Suppose -4*v + 99 = -2*b + b, -4*b = -3*v + 383. Let u = 17 + b. Let y = -53 - u. Is y a multiple of 25?
True
Suppose 0 = 3*v + 5*f - 718 + 189, 4*f = -2*v + 356. Is v a multiple of 4?
True
Suppose 9*g - 14*g + 2*r = -3740, -4*r - 3004 = -4*g. Is g a multiple of 9?
False
Suppose 74*n - 192213 = -7*n. Is n a multiple of 7?
Tru