/28*-2?
True
Suppose -5*n = -4*a - 16, 7*n = 5*n + 3*a + 12. Does 33 divide 33/2*(n - -10)?
True
Let z be 0/(0 + -1) - -5. Suppose 70 = z*o - 5*x, -2*x - 4 = -x. Suppose -244 = -14*q + o*q. Does 12 divide q?
False
Let j = 10 - 6. Suppose -j*r - 4*g = -17 + 5, 2*r = -g + 10. Is 11 a factor of -3 + r - (-54 + 3)?
True
Suppose 0 = -5*b + 3*g + 1045, 0 = -4*b - 2*g + 18 + 840. Does 11 divide b?
False
Let n(l) = l**2 - 15*l + 35. Let r be n(10). Let q = 37 + r. Does 11 divide q?
True
Let v(h) be the third derivative of 233*h**5/60 - h**4/24 - h**3/3 + 25*h**2 + h. Is v(-1) a multiple of 22?
False
Is (271 - 6)*(5 - 1) a multiple of 53?
True
Let s(r) = -1 + 14*r**2 - r - 9*r**2 + 71*r**2 + 121*r**2. Does 13 divide s(1)?
True
Suppose 3*p + 2199 = 4*n, 5*n - p + 4*p = 2715. Let c = -849 + n. Is 15 a factor of (2/6)/((-1)/c)?
False
Suppose -3*a - 10 = 62. Let p be a/(-18) + (-2)/6. Is 9 a factor of 1 - -27 - (3 + p)?
False
Is -216*(-2 - (-6)/24) a multiple of 27?
True
Suppose -86 = -7*s - 408. Let q = s + 105. Is q a multiple of 8?
False
Let x = 80 + -77. Suppose 7*s = x*s + 60. Is 14 a factor of s?
False
Let v(w) = -48*w - 56. Let q be v(-8). Suppose -4*h + 2*a - 6*a + q = 0, -324 = -4*h - 5*a. Is h a multiple of 5?
False
Let h(j) = 3*j**2 + 7*j + 10. Let n be ((2 - 0) + 1)*-5. Let b = n + 10. Does 10 divide h(b)?
True
Let x(d) = -16*d**3 + 3*d**2 + 10*d + 15. Is x(-2) a multiple of 27?
True
Suppose 2*s = -2*p + 130, -31 = 5*s + p - 352. Let v = s - 28. Does 11 divide v?
False
Let b be 18/9 - (0 + 2). Suppose 3*u - 4*u + 109 = b. Does 20 divide u?
False
Let k(z) = -z**2 + 16*z - 5. Let s be k(8). Suppose u + s = 4*o + 149, -522 = -5*u + 2*o. Does 12 divide u?
False
Let l(x) = x**3 + 11*x**2 - 25*x + 11. Does 16 divide l(-12)?
False
Let i(y) = -6*y**2 - 2*y + 2. Let u be i(1). Let o(k) = 6*k**2 + 5*k - 11. Is 25 a factor of o(u)?
True
Suppose -k + 27 = q, -38 - 70 = -4*q + 5*k. Let v(r) = 2*r + 5. Let d be v(6). Let p = q - d. Does 10 divide p?
True
Let j(t) = t. Let k(h) = 6*h - 1. Let w(z) = -5*j(z) + k(z). Let i be w(6). Suppose 208 = i*o + 6*s - 2*s, -38 = -o + s. Is 10 a factor of o?
True
Let z be (-702)/390 + (1 - (-12)/(-10)). Is (-2)/((z/176)/(8/16)) a multiple of 11?
True
Let p(n) = 2*n**2 + 90*n + 1 - 108*n - 3*n**2. Let q be (-14 + (-3)/(-3))*1. Is 18 a factor of p(q)?
False
Let j = 12 - 12. Let r(f) = 3*f + 5. Is 2 a factor of r(j)?
False
Let x be (-1)/(-2)*(1 + 149). Suppose -4*l = -3*l - x. Is l a multiple of 19?
False
Let l be (11 + -5)/(2 - 0). Suppose 3*i + 4*w = -1, -4*i = -l*w - 32 - 0. Suppose -5*j = 5*q - 235, 31 + 28 = j - i*q. Is j a multiple of 10?
False
Let o(n) = -n**3 + 5*n**2 + 7*n - 6. Let v be o(6). Let t be (v + (-15)/9)*-18. Suppose -b - 4*k + t = k, b - 27 = -2*k. Is b a multiple of 25?
True
Suppose 3*f + w - 207 = 0, 0 = -5*w + 19 - 4. Let r = f - 28. Is 10 a factor of r?
True
Let j = 795 + -344. Is j a multiple of 11?
True
Suppose -2*s - 4*u + 0*u + 176 = 0, 4*u + 94 = s. Is 30 a factor of s?
True
Let c = 280 + -481. Let o = 374 + c. Is o a multiple of 35?
False
Suppose 0*f - 2*f = 5*n + 19, -3*n = -5*f - 32. Let b be f - (0 - (1 + -2)). Is (-148)/(-8) - 4/b a multiple of 8?
False
Let g = 2057 - 815. Is g a multiple of 54?
True
Suppose -5*p = 211 + 109. Let d be (-2398)/(-18) + (-6)/27. Let y = p + d. Is y a multiple of 24?
False
Let b(r) = r**3 - r**2 - r - 6. Let k be b(3). Let q = -5 + k. Suppose 3*y - 58 = -2*m + 4, 0 = -q*m + 5*y + 102. Does 14 divide m?
True
Let z = 1381 + 440. Is 16 a factor of z?
False
Let t = 1746 - 1015. Is 9 a factor of t?
False
Let t = 5182 - 1256. Is t a multiple of 119?
False
Let j = 4 + -2. Suppose 3*b = 2*n, -b - j*n - 12 = 2*b. Let t(p) = 3*p**2 - p - 1. Is 13 a factor of t(b)?
True
Suppose 2*n - 3*n = -5*q + 28, q - 4*n = -2. Suppose 687 = q*a + 267. Is a a multiple of 35?
True
Suppose 3*m + 8 = w, -6*m = -3*w - 4*m + 59. Does 9 divide w?
False
Suppose 0 = -3*v + 5*v - 6. Suppose -4*w = -4*a - 66 - 6, -3*w + 78 = v*a. Suppose 2*q - q - w = -4*k, -2*k = -3*q + 52. Does 9 divide q?
True
Suppose 4*a - 4647 = -4*u + 7857, 15622 = 5*u + a. Is u a multiple of 44?
True
Let a(t) = t**3 + 6*t**2 + 6*t + 1. Let d(z) = z - 25. Let n be d(21). Is a(n) a multiple of 9?
True
Let j be 200/(-35) + 2/(-7). Let l be j/(-4) - 2/(-4). Is (15/(-20))/(l/(-24)) a multiple of 4?
False
Suppose 0 = 41*n + 40129 - 151977. Does 14 divide n?
False
Suppose 0 = 4*q + 7 - 31. Suppose 0 = -q*z + z. Suppose z*t = -t + 17. Does 5 divide t?
False
Suppose 22*p - 930 = 21*p - k, -4*p + 5*k + 3720 = 0. Is p a multiple of 93?
True
Let g(m) = 2*m**3 - 22*m**2 + 23*m - 18. Let s be g(10). Suppose z - 3 + 2 = 0. Let o = z + s. Is 13 a factor of o?
True
Suppose -29*y + 220 = -27*y. Is 5 a factor of y?
True
Let x(p) = -p**3 + 12*p**2 - 13*p + 24. Let j be x(11). Suppose 3*k - 3*z - 46 = z, -50 = -3*k + j*z. Does 6 divide k?
True
Is 6 a factor of (-1)/(31577/3510 - 9)?
True
Let v(k) = -14*k - 1. Let m(w) = -15*w - 1. Let t(b) = 6*m(b) - 7*v(b). Let q = 9 + -7. Does 6 divide t(q)?
False
Let s(q) = -3*q**2 - 3*q - 6. Let t = 37 + -39. Let y be s(t). Does 4 divide -2 + y/4 + 27?
False
Let d(c) = -15*c**3 - 6*c**2 - 14*c. Does 46 divide d(-4)?
True
Let s(x) = x**3 - 20*x**2 + 5*x - 52. Let g be s(21). Is 15390/g - 2/13 a multiple of 6?
False
Let t = 2228 + -1185. Is 8 a factor of t?
False
Let x(n) = -n**3 + 3*n**2 + 3*n - 4. Let i be x(3). Suppose -f + 96 = i*q - 9, -3*q = 2*f - 63. Let d = q + 3. Is d a multiple of 8?
True
Let i = 28 + -23. Is (8 - i)*98/6 a multiple of 10?
False
Suppose 0 = -d - 5*c + 40, -2*c + 111 = 4*d - 31. Let f = d - -50. Is f a multiple of 24?
False
Suppose -4*x + 1229 + 1627 = 0. Is x a multiple of 34?
True
Let g(d) = d**2 - d - 22. Suppose 6*i + 21 = -39. Is g(i) a multiple of 22?
True
Suppose 7*d - 2071 = -657. Is 4 a factor of d?
False
Is 31 a factor of 14 + 20300/42 - 8/6?
True
Let k(p) = 23*p**2 - p - 5. Does 9 divide k(-2)?
False
Suppose 4*m + 0*m - 4*k - 56 = 0, 2 = -2*m - 4*k. Let x = 30 - 13. Let t = x - m. Is 5 a factor of t?
False
Let b = 3458 + -458. Does 17 divide b?
False
Let x(i) = i**3 + 11*i**2 - i - 9. Let w = 18 - 29. Let a be x(w). Suppose -2*v - a*v + 48 = 0. Is v a multiple of 3?
True
Suppose -8 = 3*x - 7*x. Let h = 151 + -96. Suppose x*z = h + 59. Is 19 a factor of z?
True
Is (-19845)/(-175) + (-3)/(-5) a multiple of 16?
False
Let i = 2745 + -2154. Is 3 a factor of i?
True
Let w(k) = -k**2 + 15*k + 3. Let x be w(15). Suppose 0 = 3*r + 3, 4*g - 63 - x = -2*r. Does 17 divide g?
True
Let i(z) = 9*z - 281 + 281. Is 16 a factor of i(10)?
False
Suppose -82*m + 91*m - 1080 = 0. Does 8 divide m?
True
Let v = 2 + -3. Is 2/1 - (-1*25 - v) a multiple of 26?
True
Suppose 15*j + 11*j = 2184. Is j a multiple of 9?
False
Let w(p) = -30*p + 3. Let n be w(2). Let y(q) = 6*q - 144. Let g be y(22). Let j = g - n. Does 15 divide j?
True
Is (12/30)/(-3*(-5)/86025) a multiple of 7?
False
Let v(b) = -b**2 + 7*b - 1. Let n be v(6). Suppose -d + n*d = 16, 2*c + 2*d = 136. Is 16 a factor of c?
True
Let a be (-20)/(-1) - 0/1. Is 6 a factor of (-1)/(a/22 + -1)?
False
Suppose 10*a = 2549 + 7891. Is 9 a factor of a?
True
Let d(o) = -10*o**3 + 7*o**2 + o - 1. Let m = -14 + 8. Let t(n) = -n**3 - n**2. Let q(x) = m*t(x) - d(x). Is q(1) a multiple of 15?
True
Suppose 11*q - 9*q - 286 = 0. Suppose -2*n = -n - q. Is n a multiple of 12?
False
Suppose -2*r - 2 = 6. Is (r - (-9)/4)*-20 a multiple of 8?
False
Suppose 6*n + 20 = n, 0 = 3*f - n + 5. Is 16 a factor of 328/5 - f/(-5)?
False
Let v(l) = 3*l**3 + l**2 + 2*l - 1. Let i be v(2). Suppose -25 = -a - i. Let q = a - -18. Does 12 divide q?
True
Let x(q) = -q**2 - q - 1. Let r(b) = b**2 + 13*b + 2. Let y(i) = -r(i) - 6*x(i). Is 7 a factor of y(2)?
False
Let a(v) be the second derivative of -1/6*v**4 + 5*v + 0 + 9/20*v**5 + 1/3*v**3 - 1/2*v**2. Does 4 divide a(1)?
True
Let s = 39 - 3. Suppose -2 = g - 4*z - 3, g = 5*z + 5. Let m = s + g. Does 7 divide m?
True
Let b(g) = 2*g + 17. Does 8 divide b(-4)?
False
Let f = 18 + -16. Suppose -2*q - f*n = 2*n - 14, 0 = n - 4. Is 11 a factor of q/4 + 1212/48?
False
Let p(a) = 2*a**3 + a. Let n be p(1). Suppose n*t - 96 = 84. Does 5 divide t?
True
Let n(s) = -s**3 + 6*s**2 + 4*s - 17. Let b be n(7). Is (-1 + b)*(-7 + 6) a multiple