 Suppose 2*n = -2 + 4. Let c be q(n). Let z = c - 168. Does 22 divide z?
True
Suppose -10442 = -2*i + 2*h, -5*i + 4*h = 11698 - 37802. Is i a multiple of 20?
True
Let c = -17933 + 34943. Is c a multiple of 105?
True
Let y(f) be the second derivative of 11*f**4/12 + f**3/2 - 11*f**2/2 - 36*f. Is 7 a factor of y(3)?
False
Suppose -47 = -o - 4*o + d, 0 = 5*d - 15. Suppose o*n - 4*n - 78 = 0. Let g(y) = 25*y - 59. Is 21 a factor of g(n)?
False
Let v(h) = 5*h - 46. Let i be v(24). Does 37 divide i/6*(14 + 1)?
True
Let f(a) = -59*a**3 - 5*a**2 - 13*a - 67. Is 46 a factor of f(-6)?
False
Let s(u) = -103*u**3 + 10*u + 13. Suppose -2*r + d + 1 = -4*d, r = d - 1. Is s(r) a multiple of 14?
False
Let i = 111 + -111. Suppose 0 = c + 4*b + 14, i = -6*c + 2*c - 2*b. Suppose -4*f - c*k + 66 = 0, 4*f - f = -k + 47. Is f a multiple of 2?
True
Let j = 59 + 661. Suppose 0 = -8*x - 176 + j. Suppose 364 - x = 4*v. Is 7 a factor of v?
False
Suppose 69*k + 59919 = 3*w + 64*k, -k = -6. Does 13 divide w?
False
Does 14 divide ((-4)/6*1334/92)/(2/(-5424))?
False
Suppose 0 = -3*f + 2*f - 238. Let x(d) = -254*d - 138. Let h be x(-2). Let b = f + h. Does 22 divide b?
True
Suppose 57*g + 8*g = 129285. Let s = g - 1082. Does 29 divide s?
False
Let y(k) = k**3 - 7*k**2 - 20*k + 26. Let a be y(-8). Is (-21)/(-14) - a/12 a multiple of 33?
True
Suppose 0 = -4*o + a + 152, 5*a + 25 = 2*o - 69. Let w = o + 275. Does 39 divide w?
True
Let c(i) = -69*i - 8. Let b be c(3). Let h be 3*b*(3 + (-51)/15). Let x = h + -60. Is 11 a factor of x?
True
Suppose -4*r - 24 = 48. Let q be (4 + 0)/(r/(-513)). Let u = q + 47. Is 11 a factor of u?
False
Suppose 0 = -27*t + 3*t - 72. Is (7 + -6)*(109 - t) a multiple of 14?
True
Let a = -58 - -69. Let i(u) = u - 7. Let y be i(a). Suppose 4 + 8 = y*l. Is 3 a factor of l?
True
Suppose 296*s = 226*s + 108500. Is s a multiple of 10?
True
Let s = 20 - 15. Suppose 0 = -4*q + s*o + 1, 5*o + 20 = q + 1. Is 16 a factor of 46/8 + q + (-1794)/(-8)?
True
Let x be (-1)/(0 - 4/(-12)). Let k(c) = c**2 + 3*c - 4. Let p be k(x). Is p + 171/1 + 0 + -4 a multiple of 29?
False
Let i(n) = 99*n**2. Suppose 5*o = -0*o + 320. Let b = 65 - o. Does 30 divide i(b)?
False
Let w(t) = 2*t**2 + 117*t + 44. Does 59 divide w(27)?
True
Suppose 0 = -120*w + 117*w + 12. Is -10 + 5 + w/(8/462) a multiple of 11?
False
Let h(g) = g**2 + 8*g - 4. Let v be h(-8). Let l be (v + 9)*(-9)/(-15). Let i = 5 + l. Does 4 divide i?
True
Let o = -719 - -1263. Suppose 4*s - o = 612. Is s a multiple of 13?
False
Let s(m) = -2*m**2 - 18*m. Let c be s(-9). Suppose c = -4*h + 6*h - 3*n - 1353, -5*n = -2*h + 1355. Is 27 a factor of h?
True
Suppose -3 = q, -2*r + 1086 = 2*q - 312. Is r a multiple of 5?
False
Suppose 1748*q - 8512 - 43878 = 1735*q. Does 13 divide q?
True
Suppose 5*a = -10, -2*s + s + 11 = -4*a. Suppose -s*l + 117 = -0*l + h, -5*l = -5*h - 195. Does 13 divide l?
True
Let o = 16825 + -13305. Does 110 divide o?
True
Let o = 3418 + -2006. Does 122 divide o?
False
Does 161 divide (-459045)/(-25) - ((-8)/(-10))/(-4)?
False
Suppose 3*l + 4 = -5*p, 0 = 3*p + 7*l - 2*l + 12. Let y(d) = 226*d**3 + 2*d - 1. Let a be y(p). Let s = a + -152. Is 15 a factor of s?
True
Suppose 0 = 3*m + 4*o - 736, 4*m - 1000 = -15*o + 19*o. Is m a multiple of 2?
True
Suppose -4*t = 5*m - 9818 - 12527, -10 = -2*m. Is t a multiple of 20?
True
Let u(w) = 33*w + 60*w - 57*w. Does 4 divide u(5)?
True
Suppose -4*z - 4*y + 1787 = 19, 0 = 3*z + y - 1318. Is z a multiple of 9?
False
Suppose 4*c - 366 = -46. Let d be (-32)/c - 2954/(-10). Suppose -3*b - 103 = -d. Is b a multiple of 26?
False
Let x = 117 - 126. Is x - (-36)/6 - 2 - -513 a multiple of 21?
False
Let p(a) = 15*a - 22. Let z be p(7). Suppose -2*b = -z - 61. Suppose b = -42*o + 45*o. Is 12 a factor of o?
True
Let i(f) = -f**2 - 42*f - 64. Let g = -50 - -34. Is i(g) a multiple of 11?
True
Is 22 a factor of (-7 + (-12)/(-2))/((-7)/104069)?
False
Suppose i = -2*i + 3*w - 27, -4*i + w = 45. Let u be 6*(28/i)/(-7). Suppose -30 = -u*o - o. Is o a multiple of 8?
False
Let t be (-3)/12 + (-106)/(-8). Let s(m) = 13 - t*m - 3*m**2 - 13*m**2 + 54*m**3 - 53*m**3. Is s(17) a multiple of 29?
False
Suppose 0 = -84*z + 22*z + 442680. Does 153 divide z?
False
Let j(d) = -2*d**2 + 87*d + 23. Is j(10) a multiple of 8?
False
Let a = -54742 - -102809. Is 70 a factor of a?
False
Let q = 69 - 67. Suppose -12 = -j + 2*h, -7*j + q*j - 4*h + 4 = 0. Let p(m) = 9*m + 21. Is 2 a factor of p(j)?
False
Suppose 394*f - 5031 = 385*f. Is 30 a factor of f?
False
Let q(l) = 11*l**2 - 6*l + 28. Suppose -5*c + 8*w - 5*w + 32 = 0, 4 = 4*w. Let g be q(c). Suppose 20*f - g = 15*f. Is f a multiple of 21?
True
Suppose -16*f = -4*f. Suppose o + 2*w = 39, f = 3*o - 5*o + 5*w + 123. Does 8 divide o?
False
Let t(f) be the second derivative of f**4/12 + f**3/3 - 11*f**2/2 - 19*f. Let x be t(-5). Suppose -49 = -x*w + 127. Is w a multiple of 8?
False
Suppose 3*a - 4*l = -6*l, 0 = 5*a + 3*l. Suppose a = 336*t - 343*t + 7224. Does 43 divide t?
True
Suppose -5*m + 4 = 2*d, 0 = m + 5*d - 12 + 2. Suppose -3*q + q - 3*z + 17 = m, -24 = -3*q - 4*z. Suppose -q*c = -355 + 83. Is 10 a factor of c?
False
Suppose 5*j = 3*n - 515 - 241, -3*j = -n + 248. Let w = n + -173. Is w a multiple of 4?
True
Suppose -2*u - 5*u + 2346 = -2*n, -u + 333 = -n. Is 28 a factor of u?
True
Let f = 9783 - 6104. Does 47 divide f?
False
Is (-6)/4 + (264/(-594) - (-388330)/36) a multiple of 79?
False
Suppose -x - 54 = x. Let a(t) = 2*t**2 - 19*t - 400. Let z be a(22). Let l = z + x. Does 39 divide l?
False
Let m be (-17 - -2) + (-36)/6. Does 13 divide 335/2 + m/(-14)?
True
Suppose -35 = 9*i - 16*i. Suppose -z + 73 = -5*b, -i*b = -3*z - 2*b + 231. Is z a multiple of 6?
True
Suppose 55*i - 221510 - 275518 = -42*i. Is 83 a factor of i?
False
Let i(r) = 15*r + 293. Let y be i(-47). Let j = y - -517. Does 7 divide j?
True
Suppose -123659*t + 123612*t + 28952 = 0. Is t a multiple of 154?
True
Let n = -1021 + 1344. Is 6 a factor of n?
False
Suppose z - 4*z = -6. Suppose 50 = -0*o + z*o - 2*b, 5*o - 117 = 3*b. Suppose 0 = -4*q + 3*w + 47, -2*q = -5*w - o - 20. Is q a multiple of 2?
True
Suppose 6*r - 5192 = -692. Suppose -r*m + 185 = -749*m. Does 37 divide m?
True
Let k be -7 - ((-564)/329)/(2/7). Let m be -2*((0 - -1) + 0). Does 44 divide 8/(k/44*m)?
True
Let w = 7331 + -2293. Is 11 a factor of w?
True
Let d(w) = 7*w + 7*w + 2*w**2 + 2645 - 2663. Let g = -29 + 20. Does 6 divide d(g)?
True
Let f(r) = 3*r**3 + 15*r**2 - 3*r - 7. Let p be f(-5). Suppose p*o - 4832 = -8*o. Does 36 divide o?
False
Suppose 2*f + 0 - 6 = 0. Suppose -6*m - 25 - 11 = 0. Does 7 divide (-8)/m + -2 + 569/f?
True
Let k = -17069 + 34133. Does 52 divide k?
False
Let p be (-27)/5 + (-30)/50. Let a be (6 + 15/p)*-1*10. Does 6 divide (231/a)/((-9)/(-5) - 2)?
False
Suppose 3*q + 4*a = -44, 17 = 3*q - 4*q + a. Let m(t) = -t**3 - 17*t**2 + 7*t + 12. Let o be m(q). Let k = o - -554. Does 33 divide k?
True
Does 93 divide 346/8*157 + -27 + (-721)/(-28)?
True
Let t(l) = -l**2 + 4*l. Let o be t(3). Suppose -4*h = -g + 131, 2*g + h - 882 + 683 = 0. Suppose -g = -o*i + 2*i. Is 5 a factor of i?
False
Let g(o) = o**3 + 27*o**2 - 40*o - 218. Is g(-24) a multiple of 26?
True
Let b = -635 + 977. Let y be (-1 + 0 - 0) + 13. Suppose -y*t + 15*t - b = 0. Does 11 divide t?
False
Suppose 3*l + 7*a + 15 = 10*a, -5*l - 2*a = 11. Suppose -2*s - s + 9 = 0. Is (l + 0 - s)/(9/(-168)) a multiple of 7?
True
Suppose 0*k + s = -2*k + 4746, s + 2370 = k. Suppose 0 = -11*c + 147 + k. Is c a multiple of 12?
False
Let y be (8/28)/((-1)/(-7)). Suppose v - y*k - 3*k - 59 = 0, k = -v + 29. Let w = v + -20. Does 7 divide w?
True
Let f be ((-12)/(-8))/(3/(-30)). Let r(b) = -b**3 + 2*b**2 + 58. Let j be r(0). Let a = j + f. Is 9 a factor of a?
False
Suppose -61 = 12*i + 11. Let c(q) = -q**3 - 6*q**2 + 2*q - 3. Let v be c(i). Is 19 a factor of 12/v + (-2684)/(-55)?
False
Let z = -30 + 35. Let h = 1 + z. Suppose 0 = -3*i + h*i - 81. Is i a multiple of 27?
True
Is 7 a factor of 104/208 + (-33158)/(-4)?
False
Let n(f) = 0 + 40*f - 32*f - 20. Let v be n(14). Suppose -7*q + 2*w + 168 = -3*q, -w + v = 2*q. Is 22 a factor of q?
True
Let l(n) = 9*n**2 - 17*n - 8. Let c be l(-7). Suppose -c + 1776 = 36*s. Is s a multiple of 3?
False
Suppose 3*