2 = -s*q + 2*q. Is q a multiple of 3?
False
Suppose 4*z = -k + 137, 0*k - 2*z = k - 131. Let w = -114 + k. Is 11 a factor of w?
True
Let t(g) = 5*g**3 + 2*g**2 - 12*g + 3. Is 10 a factor of t(3)?
True
Let u(v) = -3*v + 1. Let n(h) = h**2 - 4*h + 1. Let s(t) = 3*n(t) - 4*u(t). Is 26 a factor of s(3)?
True
Let g = -368 + 1115. Is 83 a factor of g?
True
Suppose 5*f - 16 = n, -12 = 3*f - 4*f - 2*n. Suppose -5*s - 65 = -4*q - 0, -f*s - 26 = 2*q. Is 12 a factor of ((-21)/s)/((-1)/(-6))?
False
Let b(s) = 3*s**2 + 8*s - 3. Suppose 13*z - 3*z - 70 = 0. Is b(z) a multiple of 31?
False
Let l(f) = 4 - 13 - f**2 + 17*f - 5. Let n be l(16). Suppose 3*x - 2 = t - 26, -t - n*x = -49. Is 13 a factor of t?
True
Does 4 divide (-14)/(-2*1)*(-192)/(-336)?
True
Let d(c) = c**2 + 8*c + 12. Let v be d(-7). Suppose 3*i = -v*q - 1, -8 = i - 5*q - 1. Does 2 divide (-6 + 21)*i/(-6)?
False
Let g = -65 - -167. Suppose -2*s - g = -4*s. Is 14 a factor of s?
False
Suppose -3*z - 198 = 3*d - 10479, 0 = -3*z - 4*d + 10286. Does 24 divide z?
False
Suppose 1 = -4*v - 3*t, -3*v + 4*t = -4*v - 10. Suppose v*m + 70 + 38 = 0. Let o = -2 - m. Is 13 a factor of o?
True
Let v be (-2408)/(-42)*(-18)/(-4). Let k = -154 + v. Does 26 divide k?
True
Let d be 5*(3/(-2))/((-15)/6). Suppose d*a - 37 = 23. Is 10 a factor of a?
True
Suppose -37 = -6*y + 11. Does 10 divide -2 + (y - 4) - -38?
True
Let p(h) = -3*h + 30. Let r be p(10). Suppose -6*y - 2*y + 456 = r. Is y a multiple of 19?
True
Let t(k) = k**2 + k - 2. Let j be t(2). Let s be -4 - (2 - 4) - -6. Does 9 divide 7*(j + s/(-4))?
False
Let b = -34 - -338. Does 16 divide b?
True
Suppose 2*h = -6, -5*l + 369 = -2*l - 4*h. Let z = 167 - l. Is 10 a factor of z?
False
Let i(p) be the first derivative of p**4/4 - 4*p**3/3 + 3*p**2/2 - 8*p + 7. Is i(4) a multiple of 2?
True
Let m = 238 - 222. Is m even?
True
Is 11 a factor of (5 + 105)/(16/184)?
True
Suppose 3 = 3*b, -743 = -4*m + 4*b + 853. Suppose -2*f = -6*f + m. Does 10 divide f?
True
Suppose 5*r = -5*h - 45, -2*h - 3*h + r = 39. Does 15 divide (-18)/((-10)/35 - h/(-70))?
True
Is 43 a factor of 99/11 - -2786 - (-1 + 8)?
False
Suppose 7*a - 10*a = -69. Is a a multiple of 5?
False
Let i(a) = -a**3 - 3*a**2 - a - 3. Let o be i(-3). Suppose o = 2*w + 58 - 142. Does 3 divide w?
True
Let z be 6/(-27) - ((-32)/(-18) + -4). Let k(g) = -9*g**2 - g - 2. Let l(n) = n**2 + 1. Let u(p) = -k(p) - 2*l(p). Does 15 divide u(z)?
True
Let q(l) = -l**3 + 10*l**2 + 10*l + 30. Let i be q(11). Suppose -4*v = -2*u - 132, -5*u + i = v - 9*u. Does 13 divide v?
False
Let r = 4451 - 2834. Does 49 divide r?
True
Let k(g) be the third derivative of -7*g**4/12 + 2*g**3 + 2*g**2. Let r = -12 - -5. Is k(r) a multiple of 22?
True
Let u(o) = o**3 + o**2 + 2*o + 2. Let y be u(-1). Suppose y*x = -x, 368 = 2*z - 3*x. Does 38 divide z?
False
Let b be ((-1)/1)/((-4)/(-40)). Let s = b + 13. Suppose -80 + 272 = s*l. Is l a multiple of 32?
True
Suppose 2*y + 8 + 4 = -3*d, y + 16 = -4*d. Suppose y = -i - 4, w + 424 = 4*w + 2*i. Does 29 divide w?
False
Let g(r) = 5*r - 30. Does 3 divide g(27)?
True
Let f = 405 - 207. Suppose 4*q - 92 = -4*z, 5*z = 4*q - 47 + f. Does 16 divide z?
False
Suppose -5*s = -4*p - 101, -2*s = 2*s - 2*p - 82. Suppose 45 + s = 3*n. Is 22 a factor of n?
True
Let t(k) = k**3 - 3*k**2 - 2*k - 7. Suppose c = 3*c + 2*o - 20, -2*o + 10 = 0. Is 15 a factor of t(c)?
False
Let u be (-2052)/(-270)*(-10)/4. Let m be 54 + 0 + (-10)/5. Let t = u + m. Does 11 divide t?
True
Suppose -12 = 4*t - t. Does 50 divide -30*2*5*t/8?
True
Let h(d) be the first derivative of d**6/120 - 7*d**5/60 + d**4/4 + d**3 + 3*d**2/2 - 4. Let t(j) be the second derivative of h(j). Is 3 a factor of t(6)?
True
Let s(v) = v**2 - 9*v - 6. Let z be s(8). Let f be (20/35)/((-4)/z). Suppose i = a + 49, -2*i - f*i + 3*a + 197 = 0. Is 16 a factor of i?
False
Suppose -3*d + 525 = -798. Let x = d + -630. Let s = x - -279. Does 25 divide s?
False
Let v(u) = -u**3 - 26*u**2 + 22*u + 18. Does 17 divide v(-27)?
True
Is 8 a factor of (-108)/5*80/(-6)?
True
Suppose -4*t = -8*t + 4. Let z be t*(4 + (-15)/(-5)). Let b(p) = 12*p - 4. Does 20 divide b(z)?
True
Let d(t) = -t**2 + 15*t - 18. Let w(a) = -2*a**2 + 29*a - 35. Let p(q) = 7*d(q) - 4*w(q). Let b be p(10). Does 29 divide (-10 + 8)*(-106)/b?
False
Suppose 405*f = 428*f - 10120. Is 44 a factor of f?
True
Let w = -5 + 11. Suppose -w*s = -2*s - 80. Is 4 a factor of s?
True
Let i = -21 - -32. Let j = 22 - i. Let d = -8 + j. Does 3 divide d?
True
Suppose f - 60 = 21. Let o = f - -49. Is 10 a factor of o?
True
Let n = -114 - -237. Is n a multiple of 8?
False
Let q be ((-5)/(-25))/((-2)/(-30)). Suppose -q*k - 72 = -4*i + 88, 3*k + 123 = 3*i. Is i a multiple of 8?
False
Let w be 6*(186/(-4) + (0 - -2)). Let s = 459 + w. Is s a multiple of 48?
True
Suppose 0 = 4*x - 4*y - 36, -4*x - 4*y + y = -1. Let k(j) = -3 + j + 2*j**2 - 3*j + 3*j**2. Does 23 divide k(x)?
True
Suppose 3*l + 26 = 32, l = 5*b - 14963. Is b a multiple of 75?
False
Let i be ((-8)/6)/(2/(-3)). Suppose -13 = -5*c + i. Suppose -2*s = 5*r - 209, -s - 3*s - 115 = -c*r. Is r a multiple of 16?
False
Suppose o - 6*o = -h + 140, 4*h = 5*o + 575. Let k be h/(-45) - 6/(-27). Is (-32)/(-6) - 2/k a multiple of 6?
True
Suppose -58 = 5*q - 8. Let u = 96 - q. Does 32 divide u?
False
Suppose 591*q = 583*q + 6992. Is q a multiple of 19?
True
Let a be (-4)/18 - 290/(-90). Suppose -3*v = -4*v, 4*x - a*v = 1344. Suppose -x = d - 5*d. Is 21 a factor of d?
True
Suppose 13423 = 14*d + 823. Does 12 divide d?
True
Let b be -1 - 2*1/(-2). Suppose 3*d + 1 = q, b = 4*d - 5*q + 3 + 2. Suppose d = l - 47 - 7. Does 8 divide l?
False
Let l(s) = s + 9. Let b be l(9). Let m = 38 - b. Does 3 divide m?
False
Suppose 35*d - 16*d - 24738 = 0. Is 29 a factor of d?
False
Let l be (-22)/11 + 3*3. Let h = l - 20. Let x = h + 25. Is x a multiple of 6?
True
Suppose -3*b + 5219 = -5*z, -198*b + 3488 = -196*b + z. Does 21 divide b?
True
Let a be ((-154)/(-8))/(-11) - 9/(-12). Let r(f) = -164*f**3 - 2*f**2 - 3*f - 2. Is 11 a factor of r(a)?
False
Let c(u) = 8*u**2 - 24*u + 103. Is c(11) a multiple of 12?
False
Let i be 0/(4 + (-5 - 0)). Suppose 3*r + 0*r = 4*b - 15, 5*b - 3*r - 15 = i. Suppose b = -m - m + 80. Does 10 divide m?
True
Let n(x) = -8*x + 17. Let y be n(11). Let d = y - -97. Is d a multiple of 11?
False
Does 5 divide 30/4*1504/24?
True
Let c be (395 + 2)*(0 + 1 + 0). Let t = -205 + c. Is t a multiple of 22?
False
Let j be (-1464)/20 - 3/(-15). Let i = 146 + j. Let f = i - 36. Does 19 divide f?
False
Let f(h) = 25*h**2 + 8*h + 43. Is 18 a factor of f(7)?
False
Does 34 divide (-150260)/(-130) - (50/13 - 4)?
True
Suppose -530 = -14*h + 4*h. Let v = 17 - 29. Let x = v + h. Is 6 a factor of x?
False
Suppose j = -2, -2*s + 122 = j - 3*j. Suppose -2*q + 3 = -s. Is q a multiple of 19?
False
Suppose -4*r = -550 - 1266. Suppose 0 = 2*g + 2*g - 2*p - r, -p = -4*g + 451. Is g a multiple of 28?
True
Suppose -3*q + 223 = 2*w - 0*w, 0 = -q + 5. Suppose 5*s = 279 - w. Is 0/(-4) + -1 + s a multiple of 27?
False
Suppose 0 = 60*m - 28*m - 29376. Does 16 divide m?
False
Let f(m) = -4*m - 10. Let k be f(6). Let h = k - -62. Suppose -n + h = -0*n. Does 13 divide n?
False
Suppose 0 = 5*n + 4*q - 24, n + q = -0*n + 5. Suppose 72 = v - 3*l, 58 = -v + 2*v + n*l. Is v a multiple of 6?
True
Let y(f) = -f + 35. Is 3 a factor of y(3)?
False
Suppose 2*g + 2*a - 1140 = 0, -6*a = 4*g - 3*a - 2284. Is g a multiple of 45?
False
Does 125 divide (20/(-30))/((-3)/16038)?
False
Does 33 divide 70/(-8) + (-150)/(-200) + 1691?
True
Let z = -349 + 493. Is z a multiple of 24?
True
Suppose 2*t = -5*h - 225, -4*h - t = -5*h - 45. Suppose 2*w - 5*r = 24, -8*r + 4*r + 13 = 3*w. Does 16 divide w/((-7)/h) + 3?
True
Let n = -358 - -494. Is 8 a factor of n?
True
Let r = -204 - -343. Let n = 74 - 31. Suppose 0 = -2*d - n + r. Is 8 a factor of d?
True
Suppose 5*s = -o + 120, -5*o + 117 = 4*s - 0*o. Let i = s - -18. Is 13 a factor of i?
False
Suppose -15*x - 848 = -5663. Does 9 divide x?
False
Let n be 12*-1*(-15)/30. Does 25 divide (1*-2*13)/(n/(-39))?
False
Suppose -k = 2*k, -2*k + 65 = -5*y. Let x = y + 5. Let u(b) = b + 15. Does 7 divide u(x)?
True
Let h = 1419 + -4109. Let n = -42 + 46. Does 32 divide n/10 + h/(-25)?
False
Let t(h) be