 m = g - 23. Is 32 a factor of m?
True
Let y(n) = -6 - 2*n + 0*n + 3*n. Let h be y(9). Suppose -8*z + h*z - 68 = -c, -3*c = 4*z - 185. Does 21 divide c?
True
Suppose -15*i + 66 = 21. Does 11 divide ((-44)/5)/(5/(-75)*i)?
True
Let k(c) be the third derivative of c**4/12 - 7*c**3/6 + 5*c**2. Let r be k(5). Suppose 0 = 2*d - 5*u - 34, -r*d + 2*u + 36 = -26. Is d a multiple of 9?
False
Let i(l) = 20*l + 9. Let w be i(1). Suppose 0 = -5*t + 1069 - w. Is 20 a factor of t?
False
Let n(i) be the first derivative of 4*i**2 - 22*i - 37. Does 13 divide n(18)?
False
Is 2091 + (-11 - (-29 + 9)) a multiple of 42?
True
Suppose p + 2361 = m + 4*p, -5*m + 11788 = -2*p. Is m a multiple of 19?
False
Suppose 2*q - 5 = 7. Suppose -x + q*x = 65. Does 3 divide x?
False
Suppose 4*i - 10 = 2, -3*x = -4*i + 3. Is 2 a factor of x?
False
Suppose 6*b - 2965 - 5 = 0. Is b a multiple of 33?
True
Suppose -10*z = -3*z + 7. Does 9 divide (z - (-314)/(-4))*(-16)/12?
False
Let z(d) be the first derivative of 2*d**3/3 - 7*d**2/2 + 17*d - 15. Is 16 a factor of z(5)?
True
Suppose 3*k - 2*w = 815, -4*k - 2*w + w + 1094 = 0. Is k a multiple of 7?
True
Let t be -230*6/36*(-6)/2. Let j = t + -69. Is 14 a factor of j?
False
Let r(c) = c**3 - 5*c**2 - 5*c. Let i be r(6). Suppose 5*d + 10 = i*d - 4*l, 8 = d - 2*l. Suppose -3*w + 70 = a - d*a, 3*w + 3*a - 30 = 0. Is 5 a factor of w?
True
Suppose 7097 - 83933 = -19*v. Does 12 divide v?
True
Let o(r) = 2*r**2 - 6*r + 24. Let a = -54 - -49. Is 19 a factor of o(a)?
False
Let m(k) be the first derivative of k**3 + 7*k**2/2 + 26*k - 27. Does 11 divide m(-4)?
False
Suppose -3*l + 980 = 3*s - 3625, 0 = l + 3*s - 1531. Is l a multiple of 29?
True
Is (-24)/7*(-7 + (5 - 5)) a multiple of 4?
True
Suppose 3*w - 32 = -0*k + 4*k, -4*w + 3*k + 31 = 0. Suppose -b + 7 + 19 = 2*q, w*q - 100 = -4*b. Suppose b + 6 = 2*x. Does 6 divide x?
False
Let k = 385 - 74. Let f = k - 221. Is f a multiple of 18?
True
Let u(n) = -16*n - 115. Is 31 a factor of u(-13)?
True
Let w(o) = -3 - 5*o + 4 + 6*o - 2*o. Let g(n) = -5*n - 5. Let m(y) = -g(y) + 4*w(y). Is m(-4) a multiple of 3?
False
Suppose 2*g = -6*g + 3072. Is 12 a factor of g?
True
Let g(a) = 4*a + 8. Let p be g(-4). Let t be (3 - 2)*(p + 5). Is 29 a factor of (-1)/t - (-404)/3?
False
Let z = -11 - -3. Let d be (-492)/(-8)*z/(-12). Let i = d - 3. Is i a multiple of 12?
False
Let g = 906 + -591. Does 3 divide g?
True
Let g be ((-3)/((-6)/(-26)))/(1/(-10)). Suppose -8*f + 3*f = -g. Is 3 a factor of f?
False
Let m(c) be the third derivative of c**4/6 + 5*c**3/6 + 8*c**2. Does 3 divide m(4)?
True
Suppose -7*i + 2889 = 20*i. Is i a multiple of 18?
False
Let v(p) = 5*p**3 + 27*p**2 - 8*p - 5. Does 11 divide v(-5)?
False
Does 6 divide (14/(-6) - (8 + -11))*72?
True
Suppose -z - 5*l = 2*z - 6760, -4*l = z - 2244. Is z a multiple of 10?
True
Suppose 0 = -3*h + 2*h + 24. Let w = 35 - h. Suppose 12*y = w*y + 7. Does 2 divide y?
False
Let y = 26 - 21. Suppose -w = -3, y*m + 6*w = 2*w + 667. Is 51 a factor of m?
False
Let d be ((-4)/5)/((-10)/25). Let j(b) = -b**3 - 4*b**2 + 0*b**2 + 2*b**d + 2*b - 6 + 4. Is j(-4) a multiple of 11?
True
Is (98/(-28))/((-2)/(-516)*-3) a multiple of 3?
False
Is 25 a factor of 198 + (-13)/(52/(-8))?
True
Let h(n) = 1 - 2 - 11 + 3 - 8*n. Is 24 a factor of h(-9)?
False
Suppose 1064 = -38*h + 45*h. Let d = 106 + h. Is d a multiple of 43?
True
Let a(q) be the first derivative of 1/3*q**3 + 5 + 5*q**2 - 3*q. Is a(-11) a multiple of 4?
True
Let a = 4078 - 2846. Is a a multiple of 28?
True
Let o be (-5)/((-2)/1 + 3). Let t = o + 10. Suppose 0 = -3*x - 4*m + 219, -t*x + 5*m = -8*x + 216. Is x a multiple of 13?
False
Let n(u) = u + 10. Let d be n(-9). Let l be (d - -1) + (-30)/15. Suppose -3*t + t + 168 = l. Is t a multiple of 21?
True
Suppose 0 = -3*a + 4*j + 1293, -556 = -3*a - j + 737. Does 40 divide a?
False
Let f(k) = k**2 + 4*k. Let v be f(-4). Let y = v - 0. Suppose 4*d - 4 = 0, y = -5*c - 7*d + 2*d + 35. Does 6 divide c?
True
Does 15 divide (-5399)/(-4) - 7*3/(-84)?
True
Let j be (-1 + 160)/(20/40). Suppose j = 8*f - 178. Is f a multiple of 19?
False
Suppose 4*n = -5*j + 16, 5*n = 3*j - 0*j - 17. Is j/6 - ((-1048)/6)/2 a multiple of 11?
True
Suppose 0 = -3*b + 5*y + 133, 5*b - 14*y = -17*y + 165. Is b a multiple of 6?
True
Let f(p) = -15*p - 3. Let v be f(-4). Let r be -5 - (2 - 0)*-5. Suppose 0*y + 4*y - 5*x = v, 78 = r*y - 4*x. Does 6 divide y?
True
Suppose 20 = 4*n, 6*m - 4*n + 140 = m. Let b = m - -51. Does 9 divide b?
True
Let p(c) = 8*c**2 - 22*c + 113. Is p(6) a multiple of 32?
False
Let n(m) = 21*m**3 - 7*m**2 + 8*m - 10. Does 34 divide n(4)?
False
Is 13 a factor of 6/(-9) + (-26960)/(-48) + 0?
False
Let r(t) = t**2 - 5*t + 3. Let o be r(6). Let h be o/(-6)*2 + 1. Is -1 + 9 - (-3 - h) a multiple of 2?
False
Let p(q) = -3*q**3 - 2*q**2 - 3*q - 3. Suppose -3 = 4*n - z, 4*n - 4*z - 17 = -5. Let g be p(n). Let h = g - 9. Is 4 a factor of h?
False
Suppose -13 - 33 = 2*t. Let l(i) = -5*i + 25. Does 20 divide l(t)?
True
Suppose 0 = 7*r - 15 + 1. Suppose -h - 4*q = -34, 86 = -0*h + r*h + 2*q. Is 15 a factor of h?
False
Suppose 3*q + 2 + 4 = 0. Let s be 0 - 1/(q/4). Suppose -c - s*c = -42. Is c a multiple of 13?
False
Is (-1 + 2)*(-21098)/(224/(-16)) a multiple of 11?
True
Suppose 0 = -5*h - 2*q + 39, -h + 0*h - 2*q = -11. Suppose -2*m = 4*l - 36, h*l = 3*m + 9*l - 42. Does 5 divide m?
False
Suppose 48*p + 8372 = 71*p. Does 102 divide p?
False
Suppose -21*o - 1722 = -28*o. Is 6 a factor of o?
True
Let g = 590 - -166. Does 42 divide g?
True
Suppose 8*o - 6*o - 24 = 0. Suppose 0 = 6*t - 2*t - o. Is t a multiple of 2?
False
Is (-1)/(5/(-7845)*3) a multiple of 15?
False
Let h(l) = -4*l + 10. Let r be h(-5). Suppose 5*s - r = 115. Is s a multiple of 5?
False
Let c = 1160 - 617. Suppose 4*i + u - 420 = -3*u, -5*i + c = -4*u. Is 33 a factor of i?
False
Let k(l) be the second derivative of 3*l**5/20 + l**4/6 - l**3/2 + 3*l**2/2 + l. Let t be (-168)/(-72) - (-1)/(-3). Is k(t) a multiple of 11?
False
Is 26 a factor of 235 + (-6)/24*4?
True
Suppose 20*d + 763 = 2523. Is d a multiple of 7?
False
Suppose 4*t = 7*t - 4*p + 5, 0 = 4*t - 4*p + 4. Suppose -t = 3*b - 13. Is b - (0 + 3 - 43) a multiple of 24?
False
Suppose -255 = -28*a + 445. Is a a multiple of 13?
False
Suppose o - 2*o = 0. Suppose z + 5*r - 77 = 188, o = -3*z + 2*r + 710. Suppose -27*s = -23*s - z. Is 15 a factor of s?
True
Let x = 563 - 377. Is 31 a factor of x?
True
Is 5 a factor of (28/12)/(11/1023)?
False
Suppose -8*y = 58 + 566. Let x(o) = -o**3 + 2*o**2 - 3*o + 2. Let m be x(4). Let n = m - y. Is n a multiple of 8?
False
Let i(w) = 2*w**2 + 11*w - 28. Does 6 divide i(4)?
True
Let j = -54 + 63. Suppose 0 = -j*d - 4 + 85. Is 2 a factor of d?
False
Let i = -200 + 297. Suppose -8*n = -7*n + i. Let j = n + 159. Does 14 divide j?
False
Suppose -9*s = -5*k - 4*s + 2980, -3*k + 1820 = 5*s. Is 50 a factor of k?
True
Is 1463 + (-7 - -2 - -2) a multiple of 34?
False
Suppose -4*v + 0*o + 15 = 3*o, 2*v + 3*o - 9 = 0. Suppose d = -v*u - d + 40, 4*u + 4*d - 48 = 0. Does 8 divide u?
True
Let h(i) = -7*i - 16. Let z be h(-4). Let w(b) = b + 36. Is 16 a factor of w(z)?
True
Let w be (93 - 0)*8/24. Suppose -4*j + 68 = 3*h - 3*j, -2*j + w = h. Is 18 a factor of h?
False
Let p be 6*-3*28/24 + 3. Does 23 divide (-27)/p*362/3?
False
Let s = 9 + -8. Let t(w) = -w + 1 - 2 + s. Does 3 divide t(-4)?
False
Suppose -2*g + 8 = 0, -4*z = 2*g - 189 - 151. Let y = z + -17. Is 33 a factor of y?
True
Is 9 a factor of (22/4)/(-11)*-1062?
True
Let v(c) = 10*c**2 + 3*c + 2. Let r be -18*1*(-3)/9. Let f(b) = -b**2 - 1. Let m(x) = r*f(x) + v(x). Is 4 a factor of m(2)?
False
Let j be (5/((-5)/(-28)))/(4/14). Does 19 divide 2 + (j - (-8)/2)?
False
Suppose g - 5 = 6. Let c(p) = p**2 - 19*p + 17. Let u be c(19). Let a = u - g. Does 3 divide a?
True
Suppose 4*l = -l. Suppose l = 20*u - 23*u + 12. Suppose u = -4*f, 2*f - 107 = -4*a + 83. Does 6 divide a?
True
Suppose -5*b + 58 = 183. Let q = b - -38. Suppose 12*y = q*y - 36. Is y a multiple of 9?
True
Let o be (-2)/((-5)/((-60)/(-8))). Suppose -a - o*a = 0. Let v(p) = -p + 10. Is 4 a factor of v(a)?
False
Suppose 4*a - 3347 = 3*y, 35*a - 31*a = 5*y + 3357. Is 17 a factor of a?
True
Let y(p) = -p**3 + 2*p**2 + 5*p - 2. Let z be y(3). S