rue
Does 55 divide (-264)/4*10*-1?
True
Suppose 11 = 4*q - 1. Let d = q + 11. Is 4/d - 26/(-7) a multiple of 4?
True
Let b = -18 + -2. Let p be ((-10)/b)/((-2)/(-8)). Suppose -p*a - 3*a = 5, -2*g - a = -47. Does 6 divide g?
True
Let s be 4 - ((0 - -3) + -1). Suppose -12 = s*m - 3*y, 0*y - 5*y = -2*m - 16. Does 15 divide m/(-9) + (-134)/(-3)?
True
Let u(z) = 9*z + 61. Let w be u(-7). Let j(o) = -65*o - 10. Does 24 divide j(w)?
True
Suppose -r - 126 = 5*q, 0*q + 3*r = 3*q + 90. Let d = q + 43. Suppose -13 = -3*p + d. Is 10 a factor of p?
True
Suppose 3*q - 4*q - 2*i + 627 = 0, 3*q - 1901 = -2*i. Is q a multiple of 40?
False
Let g = 15 + -24. Let x = g - -9. Suppose -2*b + 120 = 5*n, 3*b - 134 = -x*b + 4*n. Is 11 a factor of b?
False
Let c = -339 - -172. Let d = -84 - c. Let m = d + -42. Is 11 a factor of m?
False
Suppose -17*o + 5190 = -33060. Is o a multiple of 45?
True
Suppose -3*t = a - 72, -a + 76 = 5*t - 44. Let m(n) = -24*n - 197. Let i be m(-8). Is 4 a factor of t + (-1 - 10/i)?
False
Let i(p) = -413*p - 6. Is i(-1) a multiple of 19?
False
Suppose 46*b - 27*b = 4180. Is 22 a factor of b?
True
Suppose 239 = 28*g - 2561. Does 10 divide g?
True
Let u(m) = 9*m - 213. Is 12 a factor of u(25)?
True
Let z(p) be the first derivative of -p**7/840 + p**6/36 - p**5/15 + p**4/8 - 7*p**3/3 - 9. Let b(a) be the third derivative of z(a). Is 4 a factor of b(9)?
True
Let h = -22 + 28. Suppose -h*a - 192 = -10*a. Is 12 a factor of a?
True
Let r be 1 - (0 + (-4 - -3)). Suppose 2*u - 3*z = 0, 3*u = r*u - 2*z + 7. Suppose u*y - 65 = -2. Is y a multiple of 7?
True
Suppose 5 = 2*u - 15. Suppose -79 + u = -l. Does 8 divide l?
False
Suppose 15 = -2*r + 5*r. Let p(g) = -3*g**2 + 16*g - 2. Is 3 a factor of p(r)?
True
Suppose -5*t = -2*l + 6*l - 3, 4*t + 4 = 0. Suppose -5*w = l*o - 1800, -2*w = 3*w - o - 1800. Is (4/10)/(2/w) a multiple of 13?
False
Is ((-723)/12)/(41/(-492)) a multiple of 35?
False
Let k = 2429 + -887. Is 66 a factor of k?
False
Suppose 10*u + 24480 = 55*u. Is u a multiple of 34?
True
Let q = 68 - 104. Let f = 122 + q. Is f a multiple of 11?
False
Let d = -31 + -26. Let b = -21 - d. Does 9 divide b?
True
Let g be 12/4*(-1)/3*2. Let n(v) = -11*v + 1. Is n(g) a multiple of 23?
True
Let h(n) = -n**3 - 3*n**2 + 3*n. Let c be h(-4). Is 15 a factor of c - 4 - 10*-9?
True
Suppose 492 = 3*a - s, 3*a + 2*s = -a + 656. Does 6 divide a?
False
Let s(q) = 2*q**2 - 2*q + 4. Let u be s(3). Suppose 3*r - u = -2*y, 3*y - 16 = -4*r + 6. Suppose j = 2*i + 18, 69 = 5*j - y*j - 3*i. Is 7 a factor of j?
True
Let s = 10 - 28. Let v = 3 - s. Does 3 divide v?
True
Let v = 3 - 1. Suppose 6 = x + v. Suppose -x*k + 5 + 3 = 0. Is k even?
True
Let j(z) = -z**3 + 11*z**2 - z + 5. Let i be (-10)/(-4 + 9) + 7. Is j(i) a multiple of 33?
False
Suppose -101 = -13*i - 426. Does 13 divide 20*6/((-30)/i)?
False
Let r be 24/(4/(-8) + -1). Let y = 18 + r. Suppose -3*l = 3*a + y*l - 67, -3*a = -3*l - 27. Is a a multiple of 10?
False
Suppose 3*v - 4922 = 4*u, 106*v - 104*v - 2*u - 3280 = 0. Does 26 divide v?
True
Is 77 a factor of 68/(-85) - (-3469)/5?
True
Suppose -5*m = 5*s, 2*s - 3*s - 4*m = -9. Let v be 215 - (3 - s)/(-2). Suppose 0 = -3*l - l + 5*u + 164, -3*u = -5*l + v. Is l a multiple of 26?
False
Suppose 5*i = 3*a + 1179, 4*a - i + 1942 = 370. Let q be (1/(-2))/(3/12). Is q/4 - a/6 a multiple of 16?
False
Let u(c) be the first derivative of c**4/12 + 9*c**2/2 + 3*c - 11. Let w(g) be the first derivative of u(g). Is 21 a factor of w(7)?
False
Let r(j) = j**3 + 4*j**2 - 5*j + 3. Let y be r(-5). Suppose -n - 4*m + 10 = -0*m, -y*m = 3*n + 15. Is 12 a factor of (156/(-10))/(n/25)?
False
Let n be (-451)/11*(-2)/2. Suppose -21 = -5*q + 3*z - 198, q + 5*z = -n. Does 8 divide (-48)/q*66/4?
False
Let k(p) = -4*p**3 + 7*p**2 - p + 9. Let v(g) = -g**3 - g**2 + g - 1. Let r(j) = k(j) - 3*v(j). Let f be r(9). Suppose -47 = -2*t + f. Does 28 divide t?
False
Let a(z) = 4*z + 2. Let x be a(3). Let b be x/49 - 66/(-14). Suppose 162 = b*p + 52. Is p a multiple of 16?
False
Let m(a) = -a**2 - 2*a + 3. Let t be m(0). Suppose -2*b - 37 = -4*v - t, -19 = -4*v - b. Suppose -v = o - 11. Is 5 a factor of o?
True
Let a(f) = 20*f**2 + 44*f. Does 38 divide a(-6)?
True
Let l be 7 + 281 + 0/2. Suppose -z + 5*z - l = 0. Is z a multiple of 12?
True
Let u be ((-6)/5)/((-14)/35). Suppose 0 = v + 4, -u*z - 4*v = v + 2. Suppose -z - 20 = -2*w. Is 13 a factor of w?
True
Let v(o) = -19*o + 9*o**2 + o**2 + 20*o. Is 7 a factor of v(2)?
True
Let w(z) = -z - z + 1 - 51*z**2 + 68*z**2. Is 15 a factor of w(-2)?
False
Let x(h) = 2*h - 7. Let a be x(5). Let d = -232 - -270. Suppose a*l = l + d. Is l a multiple of 4?
False
Suppose -2*q = 3*a - 3*q - 247, 332 = 4*a - 2*q. Suppose -176 - a = -d. Suppose 0 = 5*u - o - d, 4*u + 202 = 8*u - 2*o. Is 9 a factor of u?
False
Let a = 9 - -12. Suppose a = 4*r - 59. Does 5 divide r?
True
Let t = 4773 + -2890. Is t a multiple of 7?
True
Let i = 87 + -11. Is i a multiple of 6?
False
Suppose 8*z - 3*z + 25 = 0. Let u(o) = -2*o - 6. Let p be u(z). Suppose -4*q + 70 = 5*d, -p*q - q + 5*d = -65. Is 11 a factor of q?
False
Suppose -2*h = -1671 - 2697. Is h a multiple of 28?
True
Let p = 3 + 2. Suppose -11 = 3*b + 2*i - 43, p*b - 28 = 3*i. Let y(w) = w + 8. Is 4 a factor of y(b)?
True
Let o(z) = -10*z**3 + 8*z**2 - 18. Does 2 divide o(-3)?
True
Suppose -12*w + 320 = -16*w. Let b = -32 - w. Is b a multiple of 16?
True
Suppose -3*j = -2*j - 4. Suppose -4*t + 1 = -5*t. Let n = j + t. Is n a multiple of 3?
True
Suppose -5*x = -4*n - 0*n + 16, 0 = 5*x - 2*n + 18. Let t = -2 + x. Is 12 a factor of (-38)/(-3) + t/9?
True
Suppose 160 = 2*s - s. Suppose y - s = -3*y. Is y a multiple of 10?
True
Let x(d) = -d - 2. Let k be x(-6). Suppose k*l + 208 = -0*l. Is 11 a factor of 2/(-13) + (-1360)/l?
False
Let q(v) = 2*v - 14. Let m be q(-11). Let s = m + 76. Is s a multiple of 7?
False
Suppose s = 4*q - 38, -q + 5*q - 4*s = 44. Suppose -10*p + q*p + 76 = 0. Does 38 divide p?
True
Suppose 9*g + 124 = 13*g. Let s = g + -1. Does 15 divide s?
True
Let n be 4/10 - (-24)/15. Let m(r) = -1 + 9*r**2 + 5*r**n + 0. Is 10 a factor of m(-1)?
False
Let a(w) = -w**3 - 12*w**2 - 12*w - 8. Let z be a(-11). Does 26 divide z/9 - ((-154)/6)/1?
True
Suppose -6*v + 3 = 3. Suppose v = 4*b - w - 184, -4*b + 274 = -2*w + 86. Does 10 divide b?
False
Let x(w) = -17*w - 166. Does 4 divide x(-11)?
False
Let t(y) = 49*y**2 - 4*y - 5. Let m(o) = 49*o**2 - 3*o - 4. Let h(i) = 6*m(i) - 5*t(i). Is h(-1) a multiple of 24?
True
Let w be (-1 - (-28)/10) + 4/20. Suppose h + d - 598 = -2*h, 396 = w*h - 2*d. Is h a multiple of 41?
False
Let o(k) = 51*k**2 - 2 + 1 - k + 0 - k. Is o(-1) a multiple of 26?
True
Suppose -4445 = -3*x - 4*g, 34*x - 1471 = 33*x + 4*g. Is 51 a factor of x?
True
Let m(z) = -2*z - 13. Let o be m(-5). Let f = 4 + o. Is 4 a factor of (138/12)/(f/2)?
False
Let p = 3 + -9. Let a(f) be the first derivative of -5*f**2/2 - 4*f + 65. Does 16 divide a(p)?
False
Suppose 0 = 66*q - 81*q + 8265. Is q a multiple of 45?
False
Suppose b - 162 = 2*c, 2*c = -5*b - c + 784. Suppose -b = -v + 22. Does 45 divide v?
True
Let q(d) = d**3 - 7*d**2 + 8*d - 9. Let k be q(6). Suppose 2*g = 2*c + k*g + 14, -13 = 5*c - 3*g. Let h = 9 - c. Does 3 divide h?
False
Let x(q) = -8*q + 3. Let i be x(1). Let c be 16/10*i/2. Is (-234)/27*6/c a multiple of 2?
False
Does 13 divide (-164*12/72)/((-4)/18)?
False
Is (24/4)/(18/1050) a multiple of 7?
True
Suppose l - 4*i = -1, -l + 32 = 4*i + 1. Let h = l - 15. Suppose h = -5*w + 6*j - j + 105, -2*j = 5*w - 105. Does 8 divide w?
False
Let v be ((-56)/21)/(2/(-6)). Suppose 11*n - v*n = 36. Is n a multiple of 8?
False
Let f(v) = 13*v**2 + 18*v - 9. Is 14 a factor of f(-6)?
False
Let o(n) = n**2 + 6*n - 10. Let c = -13 + 5. Let t be o(c). Suppose 15 = 2*m - 3*x, -x + 3*x - t = 0. Is m a multiple of 2?
True
Let u be (2 - 118*-1) + 0. Let p be (10/(-4))/((-50)/u). Suppose -4*w + g = -131, -5*w + 2*g - p*g + 169 = 0. Is 7 a factor of w?
False
Let g(q) = -q**2 - 22*q - 36. Is 22 a factor of g(-11)?
False
Let x(k) = 2*k + 2. Let r be x(12). Suppose 0 = h + r - 211. Is h a multiple of 37?
True
Let n(l) = l**2 + 8*l + 11. Let x(y) = -y**2 + y - 3. Let b be x(3). Is 3 a factor of n(b)?
False
Let z = 32 + -19. Let n = -28 + z. L