 i be f(-10). Is (1968/(-36))/(1*i/(-6)) a multiple of 57?
False
Let l(v) = 46*v - 569. Is l(29) a multiple of 5?
True
Let j be (4 - 3)*(-18 - 0). Let m be 8/36 + (-86)/j. Suppose 0 = -i + 32 - m. Does 10 divide i?
False
Let n = 297 + 213. Is 30 a factor of n?
True
Let i = 442 - 725. Let u = 570 + i. Is u a multiple of 47?
False
Suppose 0 = -k + 4*k - 24. Let p = -12 + 58. Suppose 4*r - p = 2*i, 5*i = 4*r - k*r + 81. Does 14 divide r?
True
Let m be (-7)/(-5) + (-2)/5 - 1. Suppose m = -0*d + 3*d - 9, 4*d = -3*j + 156. Is 4 a factor of j?
True
Suppose -627 = -4*s + 1133. Is 40 a factor of s?
True
Suppose -k = a - 2*k + 4, -3*k = -2*a - 11. Let o be (-133)/7*(0 + a). Suppose -2*i = -o - 13. Does 2 divide i?
True
Let u be (18/(-8))/(7/(-420)). Suppose 16 = 4*o, 0 = z - 4*z + 3*o - u. Let r = z + 81. Is r a multiple of 13?
False
Suppose 3204 = 4*x - 5*z, 2*z - 20 = -3*z. Does 41 divide x?
False
Let n(r) = -r - 5. Let u be n(-9). Suppose -u*y + 9 + 3 = 0. Suppose 5*d - y*m - 44 = 0, 5*m = -d - 13 + 5. Is 2 a factor of d?
False
Let r be -2*12/(-8) + 1. Is r/(-6) - (-416)/3 a multiple of 19?
False
Let j(u) = u**2 + 2*u - 1. Let m be j(-3). Let p be (5/10)/(m/428). Suppose 4*b - p = 37. Is b a multiple of 9?
True
Let i(b) = 16*b - 1. Let l be i(1). Let q(j) = j**3 - 11*j**2 + 13*j - 4. Let h be q(10). Let z = h - l. Is 11 a factor of z?
True
Does 3 divide (-14697)/(-54) + (-69)/(-18) + -4?
False
Let y be 14/(-42) - ((-7)/3 - -2). Suppose y = 4*t - 48 + 8. Is 10 a factor of t?
True
Suppose 5*l + 34 = -4*c, -2*l + 10 = -c - 5. Let u = c - -14. Suppose -2*k - 10 = 5*q, -k - 18 = -u*k + 2*q. Is k a multiple of 2?
False
Let d(r) = -r**2 + 12*r + 12. Let q be d(14). Let g be ((-8)/q)/((-1)/(-2)). Is 4/4*(g - -4) a multiple of 3?
False
Let s = 2592 - 1831. Suppose 2*k = 199 + s. Suppose 0 = 7*j - 2*j - k. Is j a multiple of 24?
True
Let z(l) = -41 + 9*l + 50 + l**2 - 25. Does 11 divide z(-13)?
False
Let d = 613 + -131. Is d a multiple of 65?
False
Let s = 99 + -55. Let r(m) = 15*m + 1. Let i be r(-1). Let a = s + i. Does 15 divide a?
True
Let t be ((3 - 1) + (-2)/7)*14. Suppose 4*w - w = 2*r - t, 0 = -3*r - 3*w + 66. Is r a multiple of 9?
True
Let t(p) = 2*p**3 - 9*p**2 - 2*p - 11. Let a be t(5). Suppose -4*d + 4 = -0, -a*h = -4*d - 76. Is h a multiple of 10?
True
Let i = -1646 + 5314. Does 21 divide i?
False
Suppose -197 = 9*k - 539. Does 14 divide k?
False
Let r(k) = k**2 - 8*k + 10. Let x be r(6). Let p(c) be the third derivative of -5*c**4/24 - 2*c**3/3 + c**2. Is 6 a factor of p(x)?
True
Let s(g) = g**3 - 4*g**2 + g + 3. Let l be s(4). Suppose 2*x = l*x - 50. Is 20 a factor of 15/(33/x - 3)?
False
Let q(w) = w**3 + 4*w**2 - 8*w - 12. Let d be q(-5). Suppose -d*v + 74 = 5*t, v = -3*t + 5*t - 34. Is 4 a factor of t?
True
Suppose 6*a - 5*a - 3*f - 312 = 0, -1284 = -4*a + 3*f. Is a a multiple of 36?
True
Let s(k) = 4*k**2 + k - 1. Let c = 12 + -8. Suppose -5*p - 6 = c. Is s(p) a multiple of 6?
False
Suppose 21*q = 4*r + 24*q - 945, 0 = 2*q + 10. Does 24 divide r?
True
Let w(g) = 164*g + 222. Does 22 divide w(6)?
False
Suppose -i - 6*i = -3815. Is 10 a factor of i?
False
Let v be (-1044)/(-2)*(-3)/(-6). Let g = 414 - v. Does 28 divide g?
False
Let m(l) = 3*l**2 + 6*l + 5. Let i(r) = -7*r**2 - 11*r - 11. Let w(h) = -6*i(h) - 13*m(h). Does 16 divide w(5)?
True
Let k be (-50)/(-4)*(12 + -14). Let x = -22 - k. Suppose -3*p = -5*s - 0 + 12, 5*s = -x*p + 18. Does 3 divide s?
True
Let v be (24/(-15))/(-4)*-5. Does 20 divide 122 + 4/4*v?
True
Let d = 592 - 307. Is 15 a factor of d?
True
Let a = 97 - -33. Is a a multiple of 26?
True
Let v = 6 - 7. Let i be 276/(-4) - (v + 4). Is ((-1)/2)/(4/i) a multiple of 3?
True
Let z = -566 - -661. Is 4 a factor of z?
False
Let t = -153 + 246. Is 31 a factor of t?
True
Let j = -150 + 144. Does 4 divide (j - -2)*(-66)/8?
False
Let u = 12 - 7. Suppose -b - u*x = b - 290, 3*x + 456 = 3*b. Is 25 a factor of b?
True
Let z be 279 - ((-3 - 0) + 4). Let y = -100 + z. Suppose -3*h + 7*h = -2*k + 84, -y = -4*k + 2*h. Does 37 divide k?
False
Let a = 183 - -90. Does 31 divide a?
False
Let n(v) = 43*v**2 - 47*v + 20. Is 58 a factor of n(7)?
True
Let o(r) = 5*r**2 - 2*r - 3. Let n be (-18)/4*2/3. Let f be o(n). Is ((-18)/(-4))/(f/64) a multiple of 3?
True
Let k = -223 + 340. Let d = k + -38. Does 18 divide d?
False
Let s(k) = -k**3 + 7*k**2 + 3*k + 12. Suppose -p = r - 6, -p + 4*r + 11 - 5 = 0. Is s(p) a multiple of 22?
True
Let o be 9*4/(1*-12). Let d(g) = 5*g**2 - 6*g - 3. Does 20 divide d(o)?
True
Let y = 123 + -121. Suppose -19 = -y*z + 15. Does 6 divide z?
False
Let w = 2509 + -649. Is w a multiple of 62?
True
Let c(p) = -6*p + 13. Let j be c(2). Is 129 + ((-2)/j)/(4/(-6)) a multiple of 33?
True
Suppose 0 = -z + 10 + 26. Let t = 43 - z. Does 7 divide t?
True
Let f(u) = 29*u**2 - 28*u - 2. Is f(-4) a multiple of 14?
True
Suppose 3*y + q + 0*q - 10 = 0, 0 = -5*y + 3*q + 26. Suppose -9 = -y*x + 3. Suppose -x*g = -5*g - 6, -4*f + 123 = -g. Is f a multiple of 13?
False
Let w = -304 - -1264. Does 10 divide w?
True
Let m = 13 - 8. Let n(t) = -m - 2*t + 2*t - t + 0. Does 4 divide n(-9)?
True
Let s = 3898 + -186. Is s a multiple of 128?
True
Let s be 1/(-2) + (-10)/(-4). Suppose -14*j = -28*j + 14. Suppose 0 = -s*q + 63 + j. Is 14 a factor of q?
False
Let h = 2 - -2. Is 158/h + 30/20 a multiple of 12?
False
Let j(i) = 48*i - 22. Suppose -4*r = 2*n + r + 12, 0 = -n + r + 8. Does 10 divide j(n)?
True
Let m(j) = -j**2 + 4*j - 2. Let c be m(3). Let l be (c/3)/((-4)/(-12)). Let u = 5 + l. Does 3 divide u?
True
Let f = -301 - -571. Is f a multiple of 7?
False
Suppose 334*y - 321*y = 56901. Is 30 a factor of y?
False
Let p be 2 - 4 - (-1 + 7 + -10). Suppose -2*t = 5*w - 50, 4*t + p*w = -0*t + 84. Does 20 divide t?
True
Let c(s) be the first derivative of s**3 - s**2 + 9*s - 41. Does 7 divide c(6)?
True
Suppose 0 = l + 18 - 23. Suppose -l*n - 24 = -114. Is 2 a factor of n?
True
Let j(x) be the first derivative of -x**4/4 + 10*x**3/3 - 3*x**2/2 - 13*x + 7. Let r be j(10). Let u = 5 - r. Is u a multiple of 23?
False
Let l be 54/(-4)*(-32)/12. Suppose 0 = 40*g - l*g - 44. Is g a multiple of 2?
False
Let j = 101 + 1. Is j a multiple of 17?
True
Let t(r) = r**2 + 36*r + 81. Let f be t(-34). Suppose p - 18 = 5. Let c = p - f. Is 5 a factor of c?
True
Let c(x) = x**2 - 6*x + 7. Let l be c(5). Suppose 3*n = -5*j + 24, -n - l*n - 36 = -5*j. Suppose -j*h + 216 = -2*h. Is h a multiple of 16?
False
Let l be 2*3*(-5)/(-10). Let m(u) = 7*u - 4. Let k(b) = 13*b - 7. Let j(q) = 3*k(q) - 5*m(q). Does 4 divide j(l)?
False
Is 14 a factor of 3 - 11304/(-3) - (17 + -12)?
True
Suppose -18 = 11*f - 2020. Is 2 a factor of f?
True
Let s(t) = -57*t**3 - t**2 + t - 1. Let u be s(1). Let r = -30 - u. Let o = r + -23. Does 2 divide o?
False
Let a = -5 + 7. Suppose -11 + 51 = 5*j. Suppose -j = -3*v + a*v. Is v a multiple of 8?
True
Suppose -b = -0*b - 1. Let d(v) = v**3 - 4*v**2 + 3*v - 9. Let n be d(4). Does 11 divide 1 - b - (n + -56)?
False
Let g(h) = -2*h**3 - 5*h**2 + 2*h - 4. Let m be g(-4). Is 16 a factor of (m/(2 - -1) - 2)*8?
True
Let t be 630/(0 - -3) - 0. Let v = t - 110. Is ((-3)/4)/((-5)/v) a multiple of 12?
False
Let w(i) = 50*i**2 - 15*i + 4. Is w(4) a multiple of 6?
True
Suppose -5*u + 10 - 85 = 0. Suppose 246 = -8*t + 14*t. Let d = u + t. Does 26 divide d?
True
Let u be (12/15)/(8/(-140)). Let m = 16 + u. Is (-870)/(-105) + m/(-7) even?
True
Suppose 2*g - 3*g + 1200 = 0. Is g a multiple of 26?
False
Let a be (-2)/3 + 2 - 55/(-15). Is 32 a factor of a/((-15)/(-276)) - (-1 + 1)?
False
Let a = -10 - -12. Suppose 0 = -a*c - 2, 6*q - 3*q - 2*c - 62 = 0. Is q a multiple of 10?
True
Suppose -12 = -3*p, -3*p - p - 9440 = -4*s. Is s a multiple of 10?
False
Suppose -4*f - 774 = -2*s, 5*s - s = 5*f + 1533. Is 13 a factor of s?
True
Let m = 1338 + -88. Is m a multiple of 125?
True
Let t(c) = 76*c**2 - 12*c + 15. Is 37 a factor of t(2)?
False
Let j be (16/(-12))/(2/(-3)). Suppose 3*i - j*i = 4. Suppose -39 = -3*r - 5*o, i*r + 0*o = -3*o + 63. Is r a multiple of 6?
True
Let u be 5/10 - 3/6. Suppose u = -n, 2*n + 80 + 34 = 3*i. Is i a multiple of 3?
False
Suppose -k = -2*s + 1115, 3*k - 1686 = -2*s - s. Is 13 a factor of s?
True
Let d(x) = -x**3 - 15*x**2 - 15*x - 10. Let g be d