alse
Suppose -4140 = -11*l + 1844. Is l a multiple of 6?
False
Let g = -1210 - -1950. Does 15 divide g?
False
Let g = 243 - 231. Is g a multiple of 3?
True
Let n(a) = a + 24. Let y be n(-21). Suppose -17 = -y*p + 88. Is p a multiple of 31?
False
Let x(w) = -5*w - 4*w - 2*w - 43*w + 13. Does 18 divide x(-3)?
False
Let w = 394 + -356. Suppose 5*y + 16 = 1. Is 2/(4/w) + y a multiple of 5?
False
Let x be (-94)/(-4) - (-3)/6. Suppose -178*n + 187*n = 324. Let f = x + n. Is f a multiple of 13?
False
Let q = 670 - 287. Suppose -3*s + 5*h = -300, 0*h = -4*s + h + q. Is s a multiple of 18?
False
Let s(j) = 9*j**3 + 5*j**2 - 3*j + 5. Is 10 a factor of s(3)?
False
Let o be (-4)/(-22) - (-168)/(-77). Is 14 a factor of 824/16 - o/4?
False
Let t = 823 + -509. Does 6 divide t?
False
Suppose -2*q = 2*p - 1120, 2 = 4*q - 6. Does 18 divide p?
True
Does 10 divide (150/4)/3*(-2530)/(-275)?
False
Let g(c) = 2*c**2 + c + 28. Let b be g(6). Let u = b - 68. Is 38 a factor of u?
True
Does 27 divide (366/(-488))/(2/(-1048))?
False
Let m(p) be the first derivative of 5 - 1/2*p**2 + 16*p. Is m(8) a multiple of 4?
True
Suppose 0*u = 2*u - 12. Let r = -5 + u. Is (r - 0) + 0 - -51 a multiple of 17?
False
Suppose 0 = -625*g + 615*g + 12000. Does 16 divide g?
True
Let i(n) be the third derivative of 3*n**4/8 + 41*n**3/6 + 27*n**2. Is i(8) a multiple of 14?
False
Suppose 2*l = 2*g + 42, 5*g - 32 = -4*l + 43. Let f(i) = 2*i**3 + i**2 + 2*i + 5. Let x be f(3). Suppose -a = -x - l. Is a a multiple of 25?
False
Suppose -8*g - 5*i = -10*g + 1670, i + 2479 = 3*g. Does 28 divide g?
False
Let r(n) = 53*n**2 + 13*n + 120. Is 12 a factor of r(-5)?
True
Suppose 5*s - 29 - 2 = 3*j, 5*j - 23 = -s. Suppose -4*o = -s*o + 480. Does 30 divide o?
True
Suppose 5*z - r = -6*r + 19400, 0 = 4*z + 5*r - 15522. Is z a multiple of 13?
False
Suppose l + 16 = -h - 2*h, -3*h + 3*l = 24. Let w be (3/h)/(3/(-18)). Suppose -w*m + 35 = -4*f, 2*f - 30 = -3*m + 5*f. Does 5 divide m?
True
Let p be (-1 - ((-1)/(-1) + -3))*232. Let z = p + -135. Does 20 divide z?
False
Suppose 0 = t - 3*t + m + 118, 2*m = 8. Suppose -17 - t = -3*w. Is 18 a factor of w?
False
Let a(r) = r**2 - 7*r + 11. Let u be a(6). Suppose u*s + 50 = 5*m, -m + 5*s + 2 = -2*m. Is 6 a factor of m - (-12)/(6 - 3)?
True
Suppose -2*a = -236 + 28. Is a a multiple of 3?
False
Let m be (6*-1)/(7/(84/18)). Let o(q) = 14*q**2 + 8*q + 4. Is o(m) a multiple of 14?
True
Let a = 196 - 87. Suppose 107*i = a*i - 88. Is 44 a factor of i?
True
Suppose d + 14 = 3*n, -5*n - 3*d + 5 = -9. Suppose 17 = 3*t - n*o - 11, 2*t - 12 = o. Suppose -t*i + 41 = -4*k - 3, -3*k - 20 = -2*i. Is 13 a factor of i?
True
Does 23 divide 9 + (-410)/(-5) + 1?
True
Let q be (-14)/1*(-12)/24. Suppose -2*i + q*i - 160 = 0. Is i a multiple of 32?
True
Let c = -255 - -268. Is c a multiple of 13?
True
Suppose 2*n - o - 2 = 6*n, -4*n + 5*o + 10 = 0. Suppose 20 = 2*i - 2*k, n*k = 4*i + 4*k - 72. Let c = 19 - i. Is 2 a factor of c?
False
Suppose 0*o + 8 = 4*o. Suppose -2*h - 2*l + 41 = -l, -h + 28 = -o*l. Is 4 a factor of h?
False
Suppose 0 = 2*r - 2*i - i - 86, 0 = -r - 5*i + 56. Let m = 120 - r. Is 11 a factor of m?
False
Let b(p) = -4*p - 24. Let q be b(-6). Suppose 0*k + k - 139 = q. Is k a multiple of 9?
False
Let d(l) = 2*l**3 + 52*l**2 - 2*l - 7. Does 15 divide d(-26)?
True
Let g(i) = 2*i**3 + 21*i - 6. Is 73 a factor of g(8)?
False
Let s(k) = -9*k - 5. Let y be s(-3). Let h = y - 25. Is 3 a factor of 7 + (1 - h) + -1?
False
Suppose -34121 = -62*p + 10891. Does 33 divide p?
True
Let u(y) = -y**2 + 7*y + 7. Let p be u(8). Let r(b) = 15*b. Let h(f) = -135*f. Let c(k) = 4*h(k) + 35*r(k). Does 15 divide c(p)?
True
Suppose 0 = -10*n + 63446 - 14236. Is n a multiple of 10?
False
Let m be ((-4)/8)/((-4)/96). Suppose -2*l + 3*w + 7 = 0, -4*l - l + 2*w + m = 0. Suppose 5*t - l*f - 166 = 0, 50 = 4*t - f - 84. Does 15 divide t?
False
Suppose -p = -3*s - 3, -4*p - 3*s + 10 = -2. Suppose 4*d + 5*u - 119 = -0*d, p = u. Is 23 a factor of d?
False
Let p(o) = 2*o**2 - 7 + 5*o - 5 + 0*o**2. Does 19 divide p(-8)?
True
Is 74 a factor of -4*(-5 - 4245/20)?
False
Let c(h) = 61*h**3 - 8*h**2 + 4*h + 4. Is c(3) a multiple of 31?
False
Let a(c) = -c**3 - 7*c**2 - 9*c + 4. Does 15 divide a(-8)?
False
Suppose 3 = -p - 5*b, -5*p = -4*b + 5*b - 57. Let g(z) = 20*z**2 - z + 30*z**2 - 12*z**2 + p*z**2. Does 13 divide g(-1)?
False
Suppose -6*c + 2598 = -3882. Is c a multiple of 15?
True
Suppose 4*f + a = 11, 0*f + 3*f + 8 = -4*a. Suppose 2*v - r - 40 = 6, -f*v + 68 = 4*r. Does 5 divide v?
False
Let g(w) = -8*w**3 - 4*w**2 - 3*w - 13. Is g(-3) a multiple of 8?
True
Suppose -v + 3*p + 197 = -802, -v + 995 = -2*p. Is 47 a factor of v?
True
Is 100 a factor of (-240)/(-14)*210/4?
True
Let x(o) be the first derivative of o**3/3 - 6*o**2 - 19*o + 4. Let v be x(14). Let w(s) = -s**3 + 10*s**2 - 7*s + 7. Does 5 divide w(v)?
True
Suppose 365*v = 347*v + 11664. Is v a multiple of 12?
True
Suppose h = -2*s - 0*s + 1741, 3*s = 3*h + 2607. Is 10 a factor of s?
True
Let a = -50 - -136. Suppose 0 = -a*n + 84*n + 60. Does 5 divide n?
True
Let l(c) = -c**3 - 14*c**2 - 15*c + 22. Let w = -54 + 41. Is l(w) a multiple of 16?
True
Let a(r) = 9*r + 4. Let p be a(-5). Let w = 5 - p. Suppose -d = d - w. Is 6 a factor of d?
False
Let s(v) be the second derivative of -v**4/4 + v**3/2 + 2*v. Let k be s(2). Let r(w) = w**3 + 6*w**2 - 5*w + 5. Does 7 divide r(k)?
True
Let l be ((-34)/(-4))/(2/(-4)). Let g = l + 59. Is 7 a factor of g?
True
Suppose 11*r = 12*r + 284. Does 39 divide r*3/(-2)*(-1)/(-2)?
False
Suppose 3*d - 5*x = 5734, 3*d + x - 5770 = -3*x. Does 76 divide d?
False
Suppose 5*h + 14 = 6*h. Suppose -q + 18 = -5*p, -2*q + h = -4*p - 10. Is q a multiple of 2?
True
Suppose 868 = -12*l + 19*l. Is 31 a factor of l?
True
Let m(d) = d**2 - 11*d + 4. Let a be m(11). Suppose 5*b - a = 3*b. Is 15 a factor of b/8 + (-444)/(-16)?
False
Let z(v) = -v**2 + 5*v - 3. Suppose -j + 2*p - 5 = 1, 5*p = -4*j + 28. Let o be z(j). Suppose 0 = 5*a + 5*q + 48 - 228, -o*q = 2*a - 67. Is a a multiple of 11?
False
Let r = -68 + 76. Suppose -205 = -5*v + 4*k, -r*k + 41 = v - 3*k. Does 12 divide v?
False
Let h(t) = 11*t**2 + 9*t - 2. Let w be h(-7). Suppose 458 + w = 5*c - 3*r, c = -2*r + 176. Is 11 a factor of c?
False
Let q = -65 - -140. Suppose 4*r - 8*r + 161 = -w, 2*w - 129 = -3*r. Let h = q - r. Does 9 divide h?
False
Let v = 1056 - 104. Is v a multiple of 17?
True
Suppose -6*z + 2*z + 5*u + 185 = 0, 5*u = 3*z - 135. Does 11 divide z?
False
Is 8 a factor of 192 - 0 - (-5 - 10)/5?
False
Let l(g) be the third derivative of g**6/60 + g**5/30 - g**4/24 - g**3/2 + 3*g**2. Let h be l(2). Suppose 3*n = -2*d + h + 87, 0 = -n. Does 19 divide d?
False
Let s(y) = 6*y**2 + 38*y - 3. Is s(-11) a multiple of 12?
False
Let j be 136/(-32) - 1/(-4). Is (j/1 - -79)*4/6 a multiple of 10?
True
Let c(s) = -s**3 - 3*s**2 - 3*s + 189. Is 9 a factor of c(0)?
True
Is 9 a factor of 157 + (-1)/8 + 902/176?
True
Suppose -31 - 40 = -2*o + 5*t, -o + t + 37 = 0. Does 14 divide (-44)/(-6)*o - 68/(-51)?
True
Let r = -23 + 29. Is (-76)/(-6) - r/(-18) even?
False
Suppose 30 = -3*z + 5*z. Suppose -36*u + z = -33*u. Suppose -u = 5*c, -3*f + 4*c = -f - 188. Does 17 divide f?
False
Suppose -4*c + 61 = u, 0 = 4*u - 2*c - 3*c - 181. Suppose b + 5*h - 4*h - 23 = 0, h = 3*b - u. Does 3 divide b?
True
Let q = 55 + -90. Let o = q - -101. Is 7 a factor of o?
False
Let t be (-17)/(-4) + -1 + 1/(-4). Suppose 5*y - 50 = -4*j + 150, t*y = 4*j + 120. Is y a multiple of 5?
True
Does 59 divide (-6 - (-1932)/(-9))*9/(-1)?
False
Let t = 293 - -1797. Is t a multiple of 11?
True
Let j(o) = -o**3 - 3*o**2 + 2. Let f be j(-2). Let t be f + 156 + (2 - -1). Suppose -c + 84 = 4*s, 5*c - 231 = -4*s + t. Does 11 divide c?
False
Let s(u) be the third derivative of u**8/2240 - u**5/120 + 7*u**4/24 - 6*u**2. Let d(g) be the second derivative of s(g). Is 2 a factor of d(1)?
True
Let h be (-1 + -1 + -1)*-1. Suppose -h*k - k = -3*x + 128, -5*x = 3*k - 252. Suppose -x = 13*o - 15*o. Does 12 divide o?
True
Does 6 divide 2 + 216/40 + (-6)/15?
False
Suppose 256 = 6*y + 2*y. Suppose -18 = -4*v + 42. Let x = y - v. Does 7 divide x?
False
Let w(s) = 161*s**2 + 10*s - 1. Is 13 a factor of w(1)?
False
Suppose -y = -5*q - 73, -4*q = -