7)?
True
Let w = 27 + -20. Let m be 371/w - (3 - 0). Suppose 3*g + m = 2*z + 2*z, -5*z + g + 68 = 0. Is z a multiple of 14?
True
Suppose u + 1044 = -4*y, 2*y + 3*u + 522 = 4*u. Let p = -79 - y. Is 14 a factor of p?
True
Suppose 648 = 5*a - 452. Is 55 a factor of a?
True
Let u(l) = 7*l**2 - l + 2. Suppose 4*k = -2*w - 2, -w - 4*w - 17 = -2*k. Let s be u(w). Suppose -3*v + 100 = -3*a + 34, -a = 4*v - s. Does 18 divide v?
True
Let w = 88 + -80. Let a(i) be the third derivative of i**5/60 - i**4/8 - i**3/3 - i**2. Is 9 a factor of a(w)?
False
Suppose -q = -40 + 102. Let v = 110 + q. Does 12 divide v?
True
Let z be 2/(-3) - 1887/(-9). Suppose -z = 4*g + 71. Does 7 divide g/15*(-6)/4?
True
Suppose -20 = -f - 4*f. Suppose -4 = -f*b, 0 = 5*x + 3*b - b - 82. Let d = 18 + x. Is d a multiple of 17?
True
Suppose 0 = -4*x - 3*b + 60, -2*b + 42 = 2*x + 10. Suppose -x*w = -11*w - 34. Does 17 divide w?
True
Let b = 17 - 68. Let x = b + 86. Is 35 a factor of x?
True
Suppose -z - 10*r = -2438, -3*z = r - 2281 - 5149. Does 74 divide z?
False
Let f(c) = 38*c**2 + 22. Does 25 divide f(9)?
True
Let k = -17 - -22. Suppose 0 = -o - 1 - k. Let g(s) = -s**3 - 5*s**2 - s + 8. Does 10 divide g(o)?
True
Suppose 37 + 21 = x. Suppose -26 = -q - 4*z, 18 = -5*q - 2*z + x. Does 13 divide 1/2 - (-255)/q?
False
Let g(l) = 4*l**3 + l**2 + l - 2. Let q = 12 - 2. Let r = -8 + q. Does 12 divide g(r)?
True
Suppose 6*u = -2 + 26. Suppose m - 243 = -3*r, -r = 2*r - u*m - 243. Does 9 divide r?
True
Let s = -9 + 16. Let g = 25 - s. Suppose g = t - 3. Is 21 a factor of t?
True
Let c = 44 - 34. Is 24/c*3/((-9)/(-260)) a multiple of 8?
True
Let d be (16/(-20))/((-4)/(-70)). Is 16 a factor of 3/21 + (-1258)/d?
False
Let n(x) = x + 11. Suppose 0 = -2*v - 3*u - 27, 2*v - 3*u + 9 = -0*u. Let f be n(v). Suppose 5*o = -c + 40, -f*o - c = -6*c - 43. Is o a multiple of 3?
True
Let g(h) = -2*h**2 + 11*h - 5. Let v be g(5). Suppose v*w + 5 = y + 2*w, -y - w + 4 = 0. Suppose -r = y*r - 164. Does 26 divide r?
False
Let n = -740 - -1063. Does 19 divide n?
True
Suppose 3*j - 1694 = 2*k, 0*j + 574 = j + 4*k. Suppose 3*v - q = 859, -v - q = v - j. Is v/6 - 6/(-4) a multiple of 22?
False
Let r(a) = -3*a + 3. Let i be r(5). Let l = i - -17. Suppose -l*s + 2*s + 69 = 0. Is s a multiple of 16?
False
Suppose 2466 = 16*u - 10*u. Is u a multiple of 21?
False
Suppose -77*w = 19*w - 204864. Does 23 divide w?
False
Suppose -128 = -4*u + 228. Suppose 0 = -8*m - u + 265. Is 15 a factor of m?
False
Let j(t) = 5*t**2 + 2*t + 1 + t - 1 + 4. Let b be j(-3). Suppose b = 4*h - 20. Is h a multiple of 8?
False
Suppose 56*a = 35*a + 45675. Is 12 a factor of a?
False
Let l = -210 - -648. Does 73 divide l?
True
Suppose u - 4*u = 45. Is 32 a factor of 230/u*-3 + -2?
False
Is -2 + 0 + 681 + -2 + 3 a multiple of 32?
False
Suppose 0 = 2*c + 5*d - 503, 269 = 4*c + 2*d - 713. Suppose 7*b - 3*b - c = 0. Is 15 a factor of b?
False
Let g be (8/(-18))/(6/(-27)). Suppose -4*c = -s - 10, -6*s + 4 = -s - g*c. Let y = s - -20. Is 11 a factor of y?
True
Let h be (-5)/5 - 45/(-3). Suppose -28 = -2*w + h. Is w a multiple of 3?
True
Suppose 31*t + 2772 = 28*t. Is 11 a factor of (2/(-4))/((-2765)/t - 3)?
True
Let u = 21 - 26. Is 14 + (-2)/u*5 a multiple of 15?
False
Suppose 171*p = 177*p - 3834. Does 9 divide p?
True
Suppose 0 = -5*m - 3*k - 201, 0*k + 189 = -5*m + 3*k. Suppose -2*x - 8 = 3*t, 0 = -4*x - 5*t + 2*t - 10. Does 14 divide (m + 3/x)*-1?
True
Let s = 25 - 38. Let n(h) be the second derivative of -h**5/20 - 7*h**4/6 - 5*h**3/2 + 3*h**2 + 2*h. Does 7 divide n(s)?
False
Let i = 140 - 19. Is i a multiple of 11?
True
Let q(u) = 2*u**3 + 21*u**2 + 11*u + 31. Is q(-10) a multiple of 21?
True
Let o = -9 - 4. Let x be o - 2*2/(-4). Let s = 25 + x. Does 13 divide s?
True
Let p(y) = 10*y**2 + 4*y + 8. Let s be p(4). Suppose 0*c - s = -4*c. Suppose 4*i - c = -2*v, -3*i = -3*v - i + 45. Is 10 a factor of v?
False
Let k(f) be the first derivative of f**3/3 + f**2 - 3*f + 6. Let h be k(-5). Suppose 2*q - h = 20. Is q a multiple of 4?
True
Let a(p) = -4*p**2 - 2*p + 1 + 0 + 5*p**2. Let m = -95 + 100. Does 4 divide a(m)?
True
Suppose l + 0*l - 121 = 0. Suppose 2*t - 89 = 29. Let z = l - t. Is 31 a factor of z?
True
Suppose 2*q - 64 = 206. Let y = q + -96. Is 13 a factor of y?
True
Let u(i) = -29*i**3 - 7*i**2 - 9*i - 3. Is u(-3) a multiple of 12?
True
Let k(w) = 7*w**2 - 6*w - 10. Let j be k(6). Let c = j + 189. Suppose -5*g - c = -5*i, 0*i = i - 3*g - 85. Does 29 divide i?
False
Suppose -5*u + t - 503 = -7*u, 4*t + 738 = 3*u. Suppose 9*f + u = 10*f. Is f a multiple of 25?
True
Let t(m) = 20*m - 16*m**2 + 12*m**2 + 3*m**2 - 7. Is t(18) a multiple of 11?
False
Suppose -10*n - 630 = -11*n - 2*m, 3*n - 1895 = -5*m. Does 40 divide n?
True
Let q(g) be the first derivative of -g**2/2 - 14*g + 8. Let r be q(-10). Is 27*r*(-4)/8 a multiple of 16?
False
Suppose -2*d = -c - 17, 10*c = 11*c - 5. Does 11 divide d?
True
Let i = -1888 - -3736. Suppose -12*d = 2*d - i. Does 14 divide d?
False
Let n = -3 + 3. Suppose n = 3*d - 4*d. Suppose 0 = -4*w - 4*s + s + 180, d = -3*w - 4*s + 142. Is w a multiple of 21?
True
Suppose -k - 3*k + 764 = 0. Let a = k - 115. Is a a multiple of 17?
False
Let c(a) = -12*a - 6. Let u be c(-4). Suppose -20 = 2*h + 2*f, -4*h - 44 = 4*f - f. Let y = h + u. Is y a multiple of 7?
True
Suppose 114 = -a + 3*a. Let n be a/(-6) + 4/(-8). Let o = n + 16. Is 6 a factor of o?
True
Let k(t) = 1 + t - 2 + 1 - 1. Let a(p) = 34*p**2 - 1. Let u(h) = a(h) - 2*k(h). Is 11 a factor of u(1)?
True
Let h(q) = 1194*q - 3. Let l be h(2). Suppose -10*k = -k - l. Does 53 divide k?
True
Suppose -2*g + 2 = -4*d + 54, -62 = 2*g + d. Is 20 a factor of (-120)/((1 - g/(-32))*-6)?
True
Suppose -333 = -n + s, 0*n + n = -3*s + 313. Is n a multiple of 22?
False
Does 40 divide -750*(-2)/8*4?
False
Is 60 a factor of 9534/38 + -9 + 1903/209?
False
Suppose 6*v - 462 - 240 = 0. Does 13 divide v?
True
Suppose 32*l - 33*l + 7 = 0. Is 5 a factor of 278/l - ((-24)/(-14) + -2)?
True
Let n(v) = -v**2 + 2*v + 5. Suppose 0 = 2*f - a - 3, 2*f - 5*a - 5 = -3*f. Suppose 2*g - 3*t = g - 12, -f*t = 2*g - 8. Does 3 divide n(g)?
False
Let v = 14 - 35. Let l be ((-18)/v)/((-1)/7). Let t = l + 19. Does 10 divide t?
False
Suppose 0 = r + 11 + 5. Let n = 19 + r. Suppose n*j = 1 + 146. Does 11 divide j?
False
Let w = 2000 - 1454. Does 3 divide w?
True
Suppose -2*t + p = -161, -p - 73 = -t + p. Does 16 divide t?
False
Let i = -19 - -22. Suppose i*z + 2*z - 35 = 0. Suppose 3*y = z*y - 96. Is y a multiple of 4?
True
Let g(w) = -353*w - 333. Is g(-8) a multiple of 129?
False
Suppose 5*f = b - 0*f - 23, 3*b + 3 = -3*f. Is 2 a factor of -4 - (b + -2 - 21)?
True
Let o = 14 - 20. Is 17 a factor of (1 - (-3)/o)/(2/348)?
False
Let x be -3 + (822/(-3) - -3). Let y be x/(-18) - (-2)/(-9). Is 24 a factor of (3 - (-27)/y)*5?
True
Let i be (-2314)/(-10) + (-16)/40. Let y be (2/(-3))/(4/12). Is 13 a factor of y/(-4) - i/(-6)?
True
Suppose 3*m + 7 = -6*x + 2*x, -3*m + 17 = -2*x. Let p(z) = z - z + 4 - m*z + 3*z**2 - 3*z. Is 10 a factor of p(4)?
False
Suppose 44 = -6*s + 10*s. Let a = -5 + s. Let j = 39 + a. Does 17 divide j?
False
Let h = 3631 - 2371. Does 12 divide h?
True
Suppose 34*o - 13314 = 13*o. Is 46 a factor of o?
False
Suppose 8 = 4*a + 4*c, -3*a + 13 + 11 = -3*c. Suppose a*j + 234 = 4*r, 3*r + 3*j = 40 + 122. Does 14 divide r?
True
Let x be 786/(6/(2 + 1)). Suppose r + x = 4*r. Let k = r - 94. Is 16 a factor of k?
False
Does 8 divide (116/(-6))/(1 + (-77)/66)?
False
Suppose -3*o + 4 = -o. Suppose 3*u - 7 = o. Suppose u*n + 12 = 6*n. Is n a multiple of 3?
False
Does 2 divide (104/(-20))/(3*2/(-15))?
False
Suppose 0 = -132*h + 86*h + 164818. Is 12 a factor of h?
False
Suppose 5*l + 0*f - 77 = -f, -l - 4*f = -4. Suppose 31*k - l = 27*k. Let y = 42 - k. Is y a multiple of 19?
True
Let a(z) = 214*z + 600. Is a(4) a multiple of 52?
True
Suppose 0*s = -s - 18. Let d = 12 + s. Is 10 a factor of 538/9 + d/(-27)?
True
Suppose 0 = 7*y - 3370 - 361. Is 6 a factor of y?
False
Let j(c) = 0*c + 0*c - 2 + 2*c - 4. Let l be j(15). Suppose -p + 4 + l = 0. Does 14 divide p?
True
Let f be 6*(1/(-3) - 0). Let x be 1/f*(-5 + 7). Is 7 a factor of (-40 - x)*(-2)/3?
False
Let s = 7 + 2. Suppose 60 = 2*w - 2*g, 0 = 5*g - 2*g 