uppose -f*x = -68 - 212. Is x a multiple of 3?
False
Is 10/(80/(-6092))*(-2 - 0) a multiple of 12?
False
Let k(w) = -905*w - 65. Does 14 divide k(-1)?
True
Suppose 11*y - 6*y - x - 319 = 0, 2*x = -y + 55. Is y a multiple of 21?
True
Suppose -3*d + 2256 = -2*h, 5*d - 2*h - 3753 = -h. Is 11 a factor of d?
False
Suppose 7*r - 10080 = -r. Is r a multiple of 60?
True
Let d(g) = -g**2 + 24*g - 24. Suppose 4*j = -12 + 28. Suppose 96 = j*w + 20. Is 22 a factor of d(w)?
False
Suppose -32*u = -1364 - 27820. Is u a multiple of 24?
True
Let z(k) = 262*k + 12. Does 47 divide z(5)?
False
Suppose -u - 2*u + 4*v = -17, 0 = u + 4*v + 5. Suppose 47 = u*s - 115. Does 9 divide s?
True
Let j = -124 - -344. Is j a multiple of 4?
True
Suppose 7*l = -s + 6*l + 1078, -3238 = -3*s - l. Is s a multiple of 40?
True
Let n(l) be the third derivative of l**6/120 + l**5/60 + l**4/24 + 5*l**3/3 - 14*l**2. Is n(0) a multiple of 10?
True
Suppose 2*n = -4*c + 3*n + 136, 4*n = -16. Is 4 - c*6/(-9) a multiple of 9?
False
Suppose -441 = 4*b - 129. Is b/(6*(-3)/12) a multiple of 10?
False
Suppose 4*m - 10 = -5*c, -3*m - 3*c = 2*c - 5. Suppose 3*z + 89 = m*y, 0 = z + 3 - 0. Is 4 a factor of y?
True
Suppose -66 = -9*c + 582. Does 9 divide c?
True
Does 3 divide (-39*24/108)/((-1)/9)?
True
Let x(z) = -z**2 - 2*z + 13. Let q be x(3). Let d(k) be the third derivative of 7*k**5/20 + k**4/8 + k**3/3 - 2*k**2. Is 17 a factor of d(q)?
False
Let f(h) = -h**2 - 13*h + 18. Let r be f(-14). Suppose -s + 26 = 2*s + 5*p, 2*s + 12 = r*p. Suppose -u - 25 = -2*q - 10, s*u - 6 = 0. Does 3 divide q?
True
Let v = 2418 - 1186. Is 41 a factor of v?
False
Is 13 a factor of (-5165)/(-11) + 186/(-341)?
False
Let o(m) = 12*m - 6. Let l be o(-8). Does 14 divide ((-12)/(-18)*3)/((-4)/l)?
False
Let v = 406 + -241. Is 10 a factor of v?
False
Suppose -4 - 5 = -5*f - 4*r, 3*f = -4*r + 7. Is 18 a factor of 90*(2/5)/f?
True
Let s(h) = -h**3 - 13*h**2 + 11*h + 20. Is 26 a factor of s(-18)?
False
Suppose 3*i + 4*w - 20 = 0, 7*i + 3*w - 15 = 3*i. Let o(y) = y + 5. Let r be o(i). Suppose 4*p + r*z = 2*z + 40, -z + 10 = p. Is 3 a factor of p?
False
Let u be ((-357)/(-2) - -2) + 6/(-12). Suppose 4*w + 2*p - u = 124, 377 = 5*w + p. Is 15 a factor of w?
True
Suppose 0 = 2*i - 168 + 20. Suppose i = -10*m + 434. Does 18 divide m?
True
Let k = -115 - -145. Suppose 64*b = 63*b + k. Is b a multiple of 15?
True
Let u = -295 - -429. Suppose -u = -4*g - 0*c - 3*c, 4*g - 2*c - 124 = 0. Is 15 a factor of g?
False
Suppose 0*g + 5*g - 423 = -3*v, -4*v + g + 564 = 0. Is 5 a factor of v?
False
Let k(a) be the second derivative of 7*a**5/10 + a**4/12 - a**3/6 + a**2 - 40*a. Does 24 divide k(2)?
False
Suppose -2*a + 35 = 2*a + 3*l, 4*a = 4*l. Suppose 0 = o - a*t - 87, 0*o = o - t - 87. Let y = -22 + o. Is y a multiple of 13?
True
Let c = 137 - 79. Let d = c - 37. Is d a multiple of 4?
False
Let i be 23 + (1 - 2 - (0 - -2)). Is 6 a factor of -9 + i - (1 - 0)?
False
Suppose 0*y = -3*y - 24. Let k = y + 9. Does 8 divide (-192)/(-12)*(k - -1)?
True
Let k = 17 + -9. Let s(q) = 13*q + 8. Is 28 a factor of s(k)?
True
Let k(v) = -139*v - 132. Is k(-16) a multiple of 29?
False
Suppose 0 = -t + 2*t + 3*j - 18, 3*t - j = 4. Suppose t*s - 31 = 2*c, -5*c = s - 2*c + 8. Suppose 11*d - 32 = s*d. Is d a multiple of 3?
False
Let x = -11 + -12. Let o = -19 - x. Suppose s = 4*s - o*j - 191, 25 = -5*j. Is s a multiple of 19?
True
Let g = -235 - -428. Is 38 a factor of g?
False
Let n(l) = l**3 + 14*l**2 + 5*l - 16. Let z(i) = i**2 + 7*i + 1. Let s be z(-8). Suppose 0 = -s*f + 4*f - 65. Does 22 divide n(f)?
True
Suppose -2*u + 54 = 5*d - 136, 0 = -5*u + 25. Let g be 6/27 + (-80)/d. Does 12 divide (-4)/(0 + g) - -13?
False
Suppose 4*u + 2*c + 12 = 5*u, 5*c = 2*u - 20. Let f = u - 18. Suppose 7*j - 4*m = 2*j + 126, -2*j + 50 = -f*m. Is j a multiple of 8?
False
Suppose -f - 2*f = 24. Suppose w + 4*w = 60. Is w/f - (-22)/4 a multiple of 3?
False
Let x(o) = o**2 - o - 14. Is 14 a factor of x(8)?
True
Let v(k) = 9*k + 17. Let y be v(-16). Let a = 270 + y. Let b = a + -95. Does 12 divide b?
True
Suppose -2*k = -5*q - 370, 4*q - 185 = -k - 0*q. Is k a multiple of 5?
True
Let l be (0 + 3 - 2)*-1. Let d be (-12)/(-16)*(l + 5). Suppose d*q = 5*q - 24. Does 9 divide q?
False
Let k be ((-40)/(-32))/((-2)/(-8)). Does 4 divide k/25 + (-54)/(-5)?
False
Let z(h) = h - 4. Let y be z(5). Suppose -3*u + 4*u = 18. Does 5 divide (-2 - (1 - u))/y?
True
Suppose 13*l - 73451 = -36*l. Is 15 a factor of l?
False
Let d(v) = 3*v**2 + 5*v - 8. Let m(h) = 4*h**2 + 6*h - 8. Let a(y) = 5*d(y) - 4*m(y). Let i be a(-7). Let r = i - -120. Is r a multiple of 9?
False
Is 60 a factor of (3 - -12)*(7 - 3)?
True
Suppose -135 = -4*a + 157. Suppose -a = -2*z + 3*i - 26, 0 = 4*z - 4*i - 92. Is z a multiple of 17?
False
Let l(g) = g - 3. Let f be l(12). Suppose -f = -y - 5. Does 3 divide y?
False
Suppose 4*y = 204 - 4. Let s = 496 + -422. Let p = s - y. Is p a multiple of 14?
False
Does 11 divide 2142 + (3 - 2)*(-6 - -7)?
False
Let l(x) = x. Let i be l(1). Let w(u) = -5*u - 2 + 1 - i + 2*u. Is 3 a factor of w(-2)?
False
Let a(q) = 3*q**2 + 52*q + 41. Does 4 divide a(-17)?
True
Suppose 3*c = y - 2*c, 2*y - 5 = 5*c. Suppose 2*q = y*q. Suppose q = 2*g + 2*g - 204. Is 15 a factor of g?
False
Let n(t) = -t**3 - 8*t**2 - 5*t + 11. Let o be n(-7). Is 3 a factor of -8*(81/(-24) - o)?
True
Let v(t) = -t - 9. Let i be v(-12). Let o = 5 - i. Suppose -6*c + 188 = -o*c. Does 24 divide c?
False
Let p(k) = -3*k + 17. Let u be p(-9). Let v = -15 + u. Is 19 a factor of v?
False
Suppose 5*c + 6130 = 3*p, -5*c = -93*p + 91*p + 4090. Is p a multiple of 30?
True
Let c(p) = 1. Let w(b) = 8*b + 6. Let q(h) = -10*c(h) + 2*w(h). Does 18 divide q(1)?
True
Let l = 0 - -8. Suppose -10 = -l*n + 7*n + 2*o, n + 2*o = -2. Is n a multiple of 2?
True
Let u = -122 + 194. Suppose -u = 3*i - 5*i. Let b = -27 + i. Is b a multiple of 9?
True
Let i be (-7881)/9 - (-2)/(-6). Is 2/11 + i/(-22) a multiple of 9?
False
Let g = -92 - -91. Is (-3 + 4 - 1) + (-48)/g a multiple of 2?
True
Suppose 0*x + 36 = -3*x. Let b be (3/(x/20))/(-1). Suppose j - b*v = -v + 35, 3*v + 80 = 2*j. Does 18 divide j?
False
Let j = 9 - 14. Let m be ((-105)/j)/(3/2). Suppose -5*r = -5*k - 105, m = 3*r + 4*k - 14. Is r a multiple of 16?
True
Let r(y) = -y**2 + 4*y. Let t be r(4). Suppose t = -2*g + 3*f + 96, g - 2*f - 33 = 17. Suppose 0*o - 2*o = -g. Is 7 a factor of o?
True
Is 11 a factor of (132/(-10))/(2/(-5))?
True
Let m(x) = -360*x + 133. Does 92 divide m(-4)?
False
Suppose -122*l = -125*l + 2244. Does 22 divide l?
True
Let v = 252 + -47. Is v a multiple of 10?
False
Let v(c) = -22*c**3 + c**2 - 1. Let b be v(-1). Let x be ((-2)/4)/(2/(-16)). Suppose -x*y + b = 2*m, 2*y - 1 = -3*m + 4. Does 7 divide y?
True
Let v = 18 + -16. Let x(a) = -139*a - 2 + 2 + 38*a - v. Is 33 a factor of x(-1)?
True
Let b(h) = 8*h**3 + h**2 + 3*h - 3. Let q(p) = -9*p**3 - 3*p + 4. Let w(n) = -4*b(n) - 3*q(n). Let v = -2 - 0. Does 10 divide w(v)?
True
Let r be 2764*((-2)/1)/(-8) - 3. Suppose -5*i + i + r = 4*y, i = -4*y + 157. Does 26 divide i?
False
Suppose -29*m = -35*m + 1308. Is m a multiple of 4?
False
Let x(y) = 6*y**3 - 92*y**2 - y + 14. Is 14 a factor of x(16)?
True
Does 17 divide 727 + 5*((1 - 7) + 7)?
False
Suppose 5*o - 337 - 333 = 0. Does 76 divide o?
False
Let o(p) be the second derivative of -3*p**5/20 + p**4/4 + p**3/6 - p**2 - 4*p. Let j be o(2). Is 54/8 - 3/j a multiple of 3?
False
Let s(g) = 4*g**2 + g - 1. Let d be s(1). Let a be (10/(-4))/(2/d). Let p = a - -18. Does 13 divide p?
True
Let g(l) = -2*l**2 + 6*l. Let n be g(3). Suppose n = 4*d - 62 - 154. Is 18 a factor of d?
True
Let b(k) = 15*k**2 + 6*k - 5. Does 20 divide b(5)?
True
Suppose -18*s = -19*s + 5*c + 333, 0 = -c - 2. Is s a multiple of 17?
True
Let l(a) = -a**2 + a. Let o be l(1). Suppose -2*b + 4*v + 278 = 0, -3*b = -0*b - 3*v - 411. Suppose 6*c - c - b = o. Is c a multiple of 11?
False
Suppose 3*y = -2*w + y + 230, -5*w - 2*y = -587. Is 7 a factor of w?
True
Suppose 20*t = 43*t - 31027. Is t a multiple of 33?
False
Suppose 2*s - 222 = 2*z, -4*s + 107 = -3*s + z. Suppose -3*b + s + 47 = 0. Does 13 divide b?
True
Suppose 3*q + 82 = 2*g - 260, 4*q = 0. Suppose -3*i = -540 - g. Is 2 + (3 - i)/(-3) a multiple of 2