a multiple of 16?
True
Suppose 0 = 2*u - h - 2*h + 11, 8 = -3*u - 4*h. Does 7 divide (-1)/u*3*28?
True
Suppose -5*x - 9 = -129. Suppose 43 = o - x. Suppose u + 0*u - o = -5*f, -4*u - 4*f = -188. Is u a multiple of 21?
True
Let v(b) = -3*b**3 - 30*b**2 - 15*b + 9. Is 81 a factor of v(-12)?
True
Let s(j) = -184*j + 12. Is s(-1) a multiple of 28?
True
Let u be ((-10)/(-25))/((-3)/(-30)). Suppose 4*x = u + 188. Does 8 divide x?
True
Suppose -4*x + 6*x = 10. Suppose -337 = -x*l + 168. Is 14 a factor of l?
False
Suppose 0*i - 18 = -6*i. Let t(g) = g**2 + 3*g - 2. Is t(i) a multiple of 5?
False
Let f(s) = 3*s. Let p be f(1). Suppose 6*h - 21 = p*h. Suppose -3*a + h*a = 320. Is a a multiple of 20?
True
Let x(z) = -z + 19. Let p be x(15). Let v be 0/(-1 + (-4)/p). Is 15 a factor of 63 + v + 0 + -3?
True
Let o(h) = 101*h - 3. Let v be o(1). Suppose 3*b - 64 - v = 0. Does 34 divide b?
False
Let p = -3772 - -5719. Does 11 divide p?
True
Let y be (-10)/135*3 + 140/(-18). Is -4*-1*(-28)/y*5 a multiple of 7?
True
Suppose 0*t = 4*t - 1248. Suppose -4*a + t = -260. Does 7 divide a?
False
Suppose -177 = -5*z + 133. Does 15 divide (-3)/1 + 2 + z?
False
Suppose -21 = -11*s + 4*s. Suppose 0 = -5*d - 3*y + 70, 17 = d + y + s. Is d even?
True
Suppose -33*c = -30*c. Suppose c*l - 3281 = -17*l. Is l a multiple of 17?
False
Let p = 1328 - 716. Is 34 a factor of p?
True
Suppose -3*w + w - s + 351 = 0, -2*w - 4*s + 360 = 0. Is w a multiple of 6?
True
Suppose -501 - 589 = 2*a. Let i = 839 + a. Does 42 divide i?
True
Let u = -118 - -131. Is 9 a factor of u?
False
Let t be (-4)/4 - -18 - 2. Does 20 divide -4 + 5/(t/261)?
False
Let h = -11429 - -16504. Is h a multiple of 25?
True
Let t(l) = l**3 + 4*l**2 - l - 4. Let v = 11 - 14. Let x be t(v). Suppose h - x = -h. Does 2 divide h?
True
Let r be (-1)/((-3)/12 + 0). Suppose 3*q = r*q + 7. Let g(y) = y**2 + 5*y + 5. Does 11 divide g(q)?
False
Let q(d) = -9 + 4 + 0*d + 4*d. Let b be q(2). Suppose u + 247 = b*l + 5*u, -3*l + 3*u + 240 = 0. Is l a multiple of 14?
False
Suppose 0 = -9*p - 67 + 1291. Does 8 divide p?
True
Let j = 45 - -243. Is j a multiple of 25?
False
Let v(b) = -2*b**2 + b. Let s(t) = t**3 - 8*t**2 + 10*t - 3. Let h(y) = s(y) - 3*v(y). Is 24 a factor of h(6)?
False
Suppose 0 = q + 5*v + 22, 2*q + v = 2*v. Does 15 divide -70*(q - 1)*(-14)/(-28)?
True
Let r be ((-1780)/(-15))/(6/9) + 1. Let p = -143 + r. Does 4 divide p?
True
Let m(s) = -4*s**3 + 12*s**2 - 7*s - 6. Let l(n) = -6*n**3 + 5*n**3 + 6 - n - 6. Let p(x) = 3*l(x) - m(x). Is 9 a factor of p(12)?
True
Suppose 3*g + y + 4*y - 37 = 0, 5*g - 73 = 3*y. Let q = g - 5. Let s = 36 - q. Is 15 a factor of s?
False
Let y(h) = -1 - 13*h - 5 - 2 + 5*h. Is 48 a factor of y(-7)?
True
Suppose 8*y + 298 + 158 = 0. Let q = 72 - y. Is q a multiple of 9?
False
Suppose 15*r = 17*r - 42. Suppose -93 - r = -2*b. Let s = 161 - b. Does 26 divide s?
True
Let s = 1772 - 824. Is s a multiple of 12?
True
Let j = -53 + 50. Let k(w) = -2*w**3 - 4*w**2 + 3*w + 7. Is k(j) a multiple of 11?
False
Let b(f) = -390*f - 86. Is 37 a factor of b(-4)?
False
Let w = 15 + -22. Let q = -7 - w. Let f(h) = 2*h + 48. Is f(q) a multiple of 7?
False
Let o(i) = 5*i**2 - 3*i + 9. Let f be o(-7). Suppose -5*z + 0*z + f = 0. Is z a multiple of 10?
False
Suppose -5*d = 4*y - 5225, 4*d - 6520 = -13*y + 8*y. Is 52 a factor of y?
True
Suppose d = -0*d + j + 21, 4*j + 21 = d. Does 27 divide (-2)/(-3) - 959/d*-2?
False
Suppose r + 4 = 3*h, r + 58 = 4*r + 5*h. Suppose 5*q + 4 + r = 0. Is 13 a factor of ((-4)/q)/((-6)/(-234))?
True
Let j(f) = f**3 - 6*f**2 - 6*f + 9. Let s be (-86)/(-12) + (-2)/12. Is 7 a factor of j(s)?
False
Let m(n) = 3*n**3 - 5*n**2 - 56*n + 9. Let w(h) = h**3 - 2*h**2 - 19*h + 3. Let j(g) = -4*m(g) + 11*w(g). Is 6 a factor of j(-6)?
False
Let r be 8 + -4 - (4 - 2). Suppose r*l - 97 = -17. Is 7 a factor of l?
False
Let x be (81/(-15) + 6)/((-2)/(-10)). Does 18 divide (285/(-5) + x)*(-10)/3?
True
Let n be (9 + 1 + -3)/1. Suppose n*r - 883 = -148. Is r a multiple of 8?
False
Suppose 42 = -g + 4*g. Let i = g - 9. Let o(p) = 2*p**2 - 7*p + 6. Is 21 a factor of o(i)?
True
Let d(b) = -b**3 + 10*b**2 - 3*b. Suppose -4*k = 3*c - 21, -4*c = 3*k + 5 - 19. Is 32 a factor of d(k)?
False
Suppose 18*v + 3 = 19*v. Is (161 - (v + -3))/1 a multiple of 33?
False
Suppose m = 5*x + 1947, x - 930 = m - 2885. Is m a multiple of 19?
True
Let u(c) = 1195*c**3 - 2*c**2 - c + 2. Let p be u(1). Suppose 169 = -5*s + p. Is 14 a factor of s?
False
Let d be 12/7*7/2. Suppose -18 + d = -5*k + 4*b, -15 = 3*k + 5*b. Suppose 2*t = -t + 5*q + 51, k = -3*t + 2*q + 60. Is 11 a factor of t?
True
Let t be -1 + (-7)/((-14)/6). Let i(p) = -10*p - 2*p**2 + 3*p**t + 0*p**2 - 14 - 2*p**2. Is i(-7) a multiple of 7?
True
Suppose 12*v = 9*v + 90. Let p be 6*(-2 + 4/(-6)). Let l = v + p. Does 3 divide l?
False
Is 2/26 - (-18)/(2574/150139) a multiple of 33?
False
Suppose 6755 = 2*k - 18*r + 13*r, r = -5*k + 16874. Is k a multiple of 125?
True
Let f be 6*5/45*6. Suppose -468 = o - f*o. Does 26 divide o?
True
Suppose 2*r + 2*z = 250, 2*z = -3*r + 94 + 283. Is r a multiple of 10?
False
Is (-2)/(-3) + (-24)/(-18) + 25 a multiple of 6?
False
Suppose -2023 - 3528 = -7*m. Is m a multiple of 61?
True
Let d(s) = -s**2 + s + 3. Let c be d(0). Let x(u) = -u**3 + 4*u**2 + 2*u - 5. Let q be x(4). Suppose 2*y - c = q. Is y a multiple of 2?
False
Let h be (5 - 3)*1/1. Suppose h*a + o - 12 = 0, 4*a + 4*o - 26 = o. Suppose -a = y - 22. Is y a multiple of 9?
False
Let w(p) be the first derivative of p**2/2 + 2*p + 1. Let i be w(-11). Is i/1*(-44)/6 a multiple of 11?
True
Let x(w) = w**2 + 7*w + 11. Let d be x(-4). Is (d - (-85)/(-10))*-4 a multiple of 19?
True
Let a be ((-212)/16)/(4/(-28 - 4)). Let f = 155 - a. Is f a multiple of 8?
False
Suppose -5*l - 5*g = -8450, -3*g - 1 + 16 = 0. Is 42 a factor of l?
False
Is 12 a factor of (-791)/(-3) + (-156)/(-468)?
True
Suppose 0*m = -3*m + m. Suppose 4*f = -0*f. Suppose d - 22 = -2*u, 3*u + m + 3 = f. Is d a multiple of 11?
False
Suppose -3*o - 35 - 406 = 0. Let f = 210 + o. Is f a multiple of 7?
True
Is 10 a factor of (-1)/((-12)/(-1160))*-3?
True
Let r = -646 + 1022. Is 9 a factor of r?
False
Let x = 22 + -20. Suppose 0 = 5*u + x + 13. Does 15 divide (2 + u)/((-2)/34)?
False
Suppose 3*q - f - 9 = 0, 4*q + 11 = 2*q - 5*f. Suppose -5*k - 8 = 2*h, -2*k + 4 = -4*k - h. Suppose q*y - 3 - 31 = k. Is y a multiple of 17?
True
Let k be ((-6)/(-4))/(3/6). Suppose -j + 56 = -5*i + 505, -k*i + 274 = 4*j. Is 18 a factor of i?
True
Let n(i) = i + 13. Let t be n(-11). Let h be (-3)/(-9) - 32/(-3). Suppose b - 15 = -y, t*b - 12 = 5*y + h. Is 14 a factor of b?
True
Suppose 20*r - 19*r - 225 = -3*a, 0 = -a + 3*r + 75. Is 15 a factor of a?
True
Let l = 39 + 141. Suppose s = -5*s + l. Is 10 a factor of 24/36*1*s?
True
Suppose 5*v - 1530 = 2*i, -1499 = -5*v - i + 31. Is v a multiple of 81?
False
Let t = -323 + 419. Does 5 divide t?
False
Suppose -29*m + 32*m = -12, 0 = 2*q + 5*m - 808. Does 46 divide q?
True
Let w = -300 + 447. Is w a multiple of 2?
False
Suppose -2*x + 5 = -81. Let o = x + 57. Is o a multiple of 10?
True
Suppose 36 = 2*h + m, 4*m = -2*h + 2*m + 40. Is h a multiple of 4?
True
Suppose 1870 = 11*y + 352. Is 3 a factor of y?
True
Let m be ((-4)/((-8)/6))/((-3)/(-562)). Let d = m + -388. Is 29 a factor of d?
True
Let s be (-3396)/18 + (-1)/3. Let a = -93 - s. Does 32 divide a?
True
Let h(m) = -24*m + 5. Suppose 0*p + 5*o = -4*p - 26, -o = 5*p + 22. Let i be h(p). Let f = i - 2. Is f a multiple of 26?
False
Let n be 1/1*(-9 + -6). Let o be (-3)/((-18)/2)*n. Let k = o + 56. Is k a multiple of 17?
True
Suppose 6*g = -5*g + 935. Is g a multiple of 17?
True
Suppose -11*y + 387 = -2242. Is 16 a factor of y?
False
Let p(v) = -6*v. Let r be p(-1). Suppose 2*n - 5*n = -5*u - 20, 0 = n - u - r. Let w = 8 + n. Does 13 divide w?
True
Let f = -1 - -1. Suppose f = 8*p - 827 + 99. Is 5 a factor of p?
False
Let c(n) = n**2 + 14*n + 13. Let t be c(-13). Suppose -2*x + 5*l + 4 = -t*l, -4*x + 8 = 5*l. Is x a multiple of 2?
True
Let u(z) = -z**2 + 8*z + 1. Let q be u(7). Let t(d) = -3*d + 11*d**2 - q*d**3 - 13 + 6*d + 9*d**3. Is 11 a factor of t(-10)?
False
Is (-86)/(-3)*(13 - (4 + -6)) a multiple of 43?
True
Suppose 3*s - 133770 = -36*s.