t k = i + n. Does 24 divide k?
False
Suppose -5*p = -s - 8, 2*s + 4 = 3*p + 2. Suppose -2*g - 3*v = 102, s*v = g + 30 + 7. Let h = 47 - g. Does 20 divide h?
False
Let o(f) be the third derivative of -f**5/60 - f**4/4 - f**3/6 + f**2. Let j be o(-5). Suppose 56 = 4*z + 4*k, 3 = z - j*k - 11. Is 7 a factor of z?
True
Suppose -3620 = -6*b + 2164. Does 13 divide b?
False
Suppose -b = z - 91 - 463, -5*b + 2*z + 2798 = 0. Does 9 divide b?
True
Suppose 0 = 11*p - 49*p + 33592. Is p a multiple of 17?
True
Let p = 1982 + -702. Does 40 divide p?
True
Suppose 0 = -2*i + 2*g + 1328, 4*g = 4*i - 7*i + 1964. Is i a multiple of 44?
True
Let l(f) = -2*f**3 - 2*f**2 + f - 1. Let h be l(-2). Is (120/14)/(h/35) a multiple of 15?
True
Let o = 10 + -6. Let h be 95 - 2 - o/2. Let m = h - 64. Is 9 a factor of m?
True
Let l = 2587 - 729. Does 59 divide l?
False
Let c be ((-14)/(-7))/(2/2). Suppose 60 = c*v + 2*d - d, 0 = 3*d + 12. Let g = 64 - v. Does 7 divide g?
False
Let v(c) = 23*c - 158. Does 3 divide v(9)?
False
Let p = -366 + 842. Is p a multiple of 28?
True
Suppose -4*v - 2*t = -5862, 8*t + 7 = 31. Is 61 a factor of v?
True
Suppose -2*k - 14 = 4*d, -k + 2 = -2*d - 7. Let u be (-1 + -13)*d/14. Suppose -5*o + 0*o + 75 = x, -150 = -2*x + u*o. Is 15 a factor of x?
True
Suppose -10*p + 2692 = 3*i - 12*p, i - 912 = -3*p. Is i a multiple of 15?
True
Suppose -25 = -5*w, -8 - 11 = -2*m + w. Let k(d) = -d**2 + 17*d - 9. Let g be k(m). Is 595/g + (-4)/6 a multiple of 4?
False
Suppose 0 = -15*c + 8664 - 1824. Is 76 a factor of c?
True
Suppose -36*m = -25*m - 1991. Does 41 divide m?
False
Let a be ((-72)/(-20))/(2/10). Let x be a/3 + (2 - 2). Suppose k - 3*t = 19, -x*k + 57 = -k + 4*t. Does 3 divide k?
False
Let o be 3 + 47 - (10 - 4). Let n = 13 + 0. Let c = n + o. Is 19 a factor of c?
True
Suppose 7623 = -249*m + 260*m. Is 57 a factor of m?
False
Suppose -4*j - 4*n - 12 = 0, 4*j - 4 = 3*n + n. Let v(r) = -5*r - 1. Let w be v(j). Suppose -4*y + 32 = w*p, -y - y + 2 = 0. Is p a multiple of 3?
False
Let p = -6 + 12. Suppose -2 = -p*t + 16. Suppose -k - t*n + 42 = 0, -33 - 19 = -k + 2*n. Does 16 divide k?
True
Does 11 divide (111/(-9) - 6)*-9?
True
Suppose -5*n - w + 4*w = -296, -n - 3*w + 52 = 0. Suppose -n*g + 575 = -53*g. Does 45 divide g?
False
Suppose -26*r - 96*r + 852048 = 0. Does 12 divide r?
True
Let t(n) = -n**2 + 16*n - 6. Suppose 27 = 3*k - 2*w, 2*k + 2*w + 20 = 4*k. Is t(k) a multiple of 13?
False
Let f = 6 + -3. Let l be 26/8 - f/(-4). Suppose l*r - 8*r = -36. Does 9 divide r?
True
Let m = -366 - -1506. Does 60 divide m?
True
Let i(c) = c**3 + 11*c**2 + 11*c + 8. Let j be i(-10). Is 8 a factor of (-29)/j - (-3 - (-3)/2)?
True
Let t = -373 - -256. Let i = t - -190. Does 42 divide i?
False
Let v = 7 - 0. Let l = 1 + v. Is 7 a factor of 10*(-3)/l*-4?
False
Let g(z) = -406*z**2 - 2*z + 2. Let r be g(1). Is 16 a factor of 8/(-14)*r/4?
False
Let d = 15 + 169. Suppose -5*q - 86 = -2*h, 6*h - 4*q = 2*h + d. Is 6 a factor of h?
True
Suppose 3*q - 8*q + 106 = r, -3*r - 4*q = -263. Let l = -8 + r. Is l a multiple of 10?
False
Suppose 3 = -y + 5*x, -5*y - 2*x - 3 = -15. Suppose 0*s = y*k + 5*s - 9, 4*k + s = 9. Suppose 0 = -3*c + 12, -4*q + 6*q = k*c + 116. Is 10 a factor of q?
False
Let h be 30657/(-55) + (2 - (-16)/(-10)). Let f = -382 - h. Is 18 a factor of f?
False
Suppose 0 = 3*u + 2 + 1. Let a be (-4 - u - -3)/(-1). Suppose a = 2*x - 55 + 7. Is x a multiple of 8?
True
Let a = -57 + 51. Does 32 divide (-2082)/4*-5*a/(-45)?
False
Suppose 0 = 5*k + p - 282, 52*k - 54*k + 108 = 2*p. Is 25 a factor of k?
False
Let g be (-31)/(-1) + (-8 - -10). Let h be (-1)/(-2) - g/(-6). Is 12 a factor of 6*-7*h/(-7)?
True
Let o = 1073 - 801. Does 34 divide o?
True
Let r = 3 + -1. Let k = 2 + r. Suppose 3*s - k*s + 11 = 0. Is s a multiple of 3?
False
Let b = -180 - 352. Is -2 + (0 + b/(-16))*4 a multiple of 40?
False
Let b(j) = j - 1. Let o be b(0). Let t(g) be the first derivative of -11*g**2 + 2*g - 3. Does 16 divide t(o)?
False
Let z(j) be the third derivative of j**5/60 - 3*j**4/8 + 11*j**3/6 + 2*j**2. Let v be z(8). Suppose 4*g + 12 = 0, v*t + 0*g = 3*g + 84. Is t a multiple of 13?
False
Let c(i) be the third derivative of -i**4/24 - i**3/2 - 2*i**2. Let z be c(-5). Suppose 0*u + 2*u - 116 = 2*r, 5*u - z*r = 305. Does 27 divide u?
False
Let r = 3012 - 1712. Is 20 a factor of r?
True
Let u = 67 + -67. Suppose 0 = 3*o - 2*s - 352, u*s = 2*o + 2*s - 248. Is 15 a factor of o?
True
Suppose 0*o = 2*o + 22. Let w(m) = 12*m. Let n(q) = -q + 1. Let h(y) = -10*n(y) - w(y). Does 4 divide h(o)?
True
Let w(q) = -2*q - 2 - 5 + 6 - 3. Is 11 a factor of w(-13)?
True
Suppose -12*i + 3267 = 531. Is 19 a factor of i?
True
Let h(u) be the third derivative of 5*u**4/3 - u**3/3 + 13*u**2. Does 13 divide h(2)?
True
Let k(u) = -5 - u**2 - 6*u + 0*u + 2*u - 14*u. Does 17 divide k(-13)?
False
Let s = 27 - -24. Suppose 0 = 4*q - s + 11. Let h = q + 8. Is h a multiple of 18?
True
Let v be ((0/5)/1)/1. Suppose 75*m - 71*m - 340 = v. Is m a multiple of 17?
True
Let m(r) = r**3 - 6*r**2 + 3*r - 1. Let q be m(4). Let b be 1 - (-69 - -19)*2/4. Let o = q + b. Is 4 a factor of o?
False
Let n(s) be the first derivative of -s**4/2 - 4*s**3 - 2*s**2 + s + 4. Is 10 a factor of n(-6)?
False
Suppose 0 = -2*l + 8, 3*t - 53 - 156 = l. Let m = t + 24. Is m a multiple of 11?
False
Let k(z) = z - 16. Let t be k(10). Let y(v) = v**2 + v - 14. Does 4 divide y(t)?
True
Does 12 divide (-91 + 28/(-2))*(-158)/5?
False
Suppose -5*j + 773 = 2*w, 1 = 4*j - 3*j. Suppose -18*b + 12*b + w = 0. Let d = -38 + b. Is d a multiple of 13?
True
Suppose 0 = -5*i + 5*k + 9885, 21*i = 22*i - 3*k - 1971. Is i a multiple of 15?
True
Let t be (-3)/((-3)/(-1143)*(-9)/3). Let h = t - 228. Is 38 a factor of h?
False
Let h be 9 - (2 - -2) - 1. Suppose h*r = -r - 220. Let x = r - -72. Does 9 divide x?
False
Suppose -53*a - 181 = -54*a. Is a a multiple of 9?
False
Let a(p) = -50*p - 2. Let f be a(1). Let d = f - -177. Is 47 a factor of d?
False
Let m(j) = j**2 - j. Let t(x) = -14*x**2 + 2*x + 1. Let u(a) = -2*m(a) - t(a). Does 39 divide u(2)?
False
Let t = -22 - -13. Let n be (-78)/(-1*t/(-12)). Suppose 5*x = 2*l - 38, -4*l + 0*x = 4*x - n. Does 12 divide l?
True
Suppose t - 4*n = 140, -4*t + 776 - 216 = -5*n. Does 10 divide t?
True
Let a(j) = -61*j**3 + 2*j**2 + 4*j + 1. Let t be a(-1). Let h = -54 + t. Is 4 a factor of h?
False
Is 6 a factor of (5 - (-70)/(-20))/((-6)/(-788))?
False
Suppose j - 5*j + 4*n + 132 = 0, 3*j - 4*n = 103. Suppose 5*x - 2*q - 59 = 0, j = -x + 3*x + q. Is x a multiple of 5?
False
Let z(d) = -d**2 - 6*d + 2. Let c be z(-6). Suppose -h - 4*m = -2 - c, -2*m = 4*h - 44. Is h a multiple of 12?
True
Does 10 divide (1/2)/(22/8404)?
False
Let d = -17 + 2. Let h be (-1 - -4)/(d/(-140)). Suppose h = -0*w + w. Is w a multiple of 14?
True
Suppose 0*k + 2*v = k - 220, 2*v + 4 = 0. Is k a multiple of 24?
True
Let i = 16 + -10. Let a(j) = j**3 - 5*j**2 - 6*j + 4. Let r be a(i). Does 3 divide (24/(-20))/(r/(-30))?
True
Let f be (-1)/(-1) + 0 + 6. Let a(q) = 4*q + 5. Let n be a(f). Let r = n - 22. Is r a multiple of 11?
True
Does 50 divide 13/(351/180)*24?
False
Let s = -2408 - -3494. Is s a multiple of 13?
False
Suppose 2*q + 20 = -4*z, z - 6*z - 14 = -3*q. Let o = -22 + 58. Let p = z + o. Does 16 divide p?
True
Let i(x) = -x**3 - 5*x**2 + 10*x. Let l be i(-9). Let t be 4 - ((-44)/(-198) - (-1442)/(-9)). Let k = l - t. Is 12 a factor of k?
False
Let m be 1667/5 - 6/(-10). Let l be 6/(-14) + 72/21. Suppose -u = 3*u - 8, 4*f - m = -l*u. Is f a multiple of 25?
False
Let p(n) = 92*n**2 - 58*n - 2. Does 14 divide p(3)?
False
Suppose -49*h = -52*h + 6. Suppose 7*v = 4*v + h*q + 506, 0 = v - 4*q - 162. Is 39 a factor of v?
False
Suppose 3*o - 1882 = -4*m, 2*m + 2*m + 1268 = 2*o. Is o even?
True
Let v(g) = -g**2 - 7*g + 32. Is v(-8) a multiple of 24?
True
Suppose 0 = -24*q + 20*q + 20. Suppose -500 = -q*d - 40. Is d a multiple of 18?
False
Let x(v) = 2*v - 24. Let b be x(13). Suppose 4*p - 21 = -2*c + 7, -p + b*c + 12 = 0. Suppose 4*h - 38 = 5*o, -4*o - 29 = -p*h + 5*h. Is h even?
False
Is 15 a factor of 34/1 + -4*4/(-16)?
False
Let j(r) = -11*r - 4. Let d(i) = 7*i + 3. Let c(w) = -7*d(w) - 5*j(w). Let p = -7 - -9. Is 7 a factor of c(p)?
False
Is 12 